Problem of the Week
Math Club
BUGCAT
Zassenhaus Conference
Hilton Memorial Lecture
BingAWM
Organizers: Laura Anderson, Michael Dobbins, Seunghun Lee, and Thomas Zaslavsky.
Tuesday, 8/31
Title: Polytopes Arising From {1,3}-Graphs: Ehrhart Quasi-Polynomial and Scissors Congruence Phenomenon
Speaker: Jorge L. Ramírez Alfonsín (Montpellier)
Time: 1:15-2:15
Location: Zoom https://binghamton.zoom.us/j/95302383985
in WH 100E and wherever you want to Zoom.
Liu and Osserman introduced a family of polytopes, naturally associated to graphs whose vertices have degrees one and three, and studied their Ehrhart quasi-polynomials. The scissors congruence conjecture for the unimodular group is an analogue of Hilbert's third problem, for the equidecomposability of polytopes. After a gentle introduction to Ehrhart theory, I present a proof of this conjecture for the class of polytopes mentioned above. The key ingredient in the proof is the nearest neighbor interchange on graphs.
I also present some results on the period of the Ehrhart quasi-polynomial as well as some nice geometric and combinatorial properties of such polytopes.
This is joint work with Cristina G. Fernandes, José C. de Pina, and Sinai Robins.
Tuesday, 9/7
No seminar (holiday).
Tuesday, 9/14
Title: What I've Been Thinking About, Part I
Speakers: Uly Alvarez (Topological posets), Seunghun Lee (Geometric hypergraph transversals)
Time: 1:15-2:15
Location: WH 100E
Tuesday, 9/21
Title: What I've Been Thinking About, Part II
Speakers: Chris Eppolito (Pythagorean hyperplanes), Mike Gottstein (Partition containment), Tom Zaslavsky (Projective rectangles)
Time: 1:15-2:15
Location: WH 100E
Thursday, 9/23, in the Geometry/Topology Seminar
Title: A Strong Equivariant Deformation Retraction from the Homeomorphism Group of the Projective Plane to the Special Orthogonal Group
Speaker: Michael Dobbins (Binghamton)
Time: 2:50-3:50
Location: WH 100E
I will present the construction of a strong G-equivariant deformation retraction from the homeomorphism group of the 2-sphere to the orthogonal group, where G acts on the left by isometry and on the right by reflection through the origin. This induces a strong G-equivariant deformation retraction from the homeomorphism group of the projective plane to the special orthogonal group, where G is the special orthogonal group acting on the projective plane. The same holds for subgroups of homeomorphisms that preserve the system of null sets. This confirms a conjecture of Mary-Elizabeth Hamstrom.
Tuesday, 9/28
Title: Recent Work of Baker and Lorscheid on “Foundations of a Matroid”
Speaker: Laura Anderson (Binghamton)
Time: 1:15-2:15
Location: WH 100E
Thursday, 9/30, in the Geometry/Topology Seminar
Title: The topology of a corank-1 matroid over Φ
Speaker: Ulysses Alvarez (Binghamton)
Time: 2:50-3:50
Location: WH 100E
Topological posets allow for the construction of a space which can be viewed as a generalization of the order complex of a discrete poset. We will discuss how this structure can be used to understand the topology of a corank 1 matroid over the tropical phase hyperfield on 4 elements.
AND: Thursday, 9/30, UCLA Combinatorics Seminar
Title: Log-Concave Inequalities for Posets
Speaker: Swee Hong Chan (UCLA)
Time: 2:00-3:00 PDT, 5:00-6:00 EDT
URL for livestream access from UCLA: https://www.math.ucla.edu/~galashin/ucla_comb_sem.html
The study of log-concave inequalities for combinatorial objects has seen much progress in recent years. One such progress is the solution to the strongest form of Mason's conjecture (independently by Anari et al. and Brándën–Huh) that the $f$-vectors of matroid independence complexes are ultra-log-concave [i.e., binomially concave–T.Z.]. In this talk, I discuss a new proof of this result through linear algebra and discuss generalizations to greedoids and posets. This is a joint work with Igor Pak.
The talk is aimed at a general audience.
Tuesday, 10/5
Title: Ehrhart Theory of Rank-Two Matroids
Speaker: Benjamin Schröter (KTH Royal Institute of Technology)
Time: 1:15-2:15
Location: Zoom https://binghamton.zoom.us/j/95302383985
in WH 100E and wherever you want to Zoom.
There are many questions that are equivalent to the enumeration of lattice points in convex sets. Ehrhart theory is the systematic study of lattice point counting in dilations of polytopes. Over a decade ago De Loera, Haws and Köppe conjectured that the lattice point enumerator of dilations of matroid basis polytopes is a polynomial with positive coefficients. This intensively studied conjecture has recently been disproved in all ranks greater than or equal to three. However, the questions of what characterizes these polynomials remain wide open.
In this talk I will report on my work, with Katharina Jochemko and Luis Ferroni, in which we complete the picture on Ehrhart polynomials of matroid basis polytopes by showing that they have indeed only positive coefficients in low rank. Moreover, we also prove that the closely related $h^*$-polynomials of sparse paving matroids of rank two are real-rooted, which implies that their coefficients form log-concave and unimodal sequences.
Tuesday, 10/12
Title: Balanced Matchings and Admissible Division
Speaker: Joseph Briggs (Auburn University)
Time: 1:15-2:15
Location: Zoom https://binghamton.zoom.us/j/95302383985
in WH 100E and wherever you want to Zoom.
The KKM theorem offers a sufficient topological condition for a collection of $d$ closed sets covering the $(n-1)$-dimensional simplex to have a common point in their intersection. It is a continuous version of Sperner's Lemma, and it has important relations to game theory. For example, a classical result of Gale, Woodall and Stromquist says that it is always possible to divide a cake among $n$ hungry players so that each is content with their own assigned piece.
But unfortunately, the same desirable situation is no longer true once there is more than one cake. I will introduce this multiple-cake division problem: If we allow some pieces of cake to be left uneaten (or some players left hungry), how many players can still be simultaneously placated? I will also discuss its relation to an extremal parameter involving matchings in fractionally balanced hypergraphs, which I will use to answer some questions of this form.
Tuesday, 10/19
Title: Quiver Representations Over the Field with One Element
Speaker: Jaiung Jun (New Paltz)
Time: 1:15-2:15
Location: Zoom https://binghamton.zoom.us/j/95302383985
in WH 100E and wherever you want to Zoom.
A quiver is a directed graph, and a representation of a quiver assigns a vector space to each vertex and a linear map to each arrow. Quiver representations arise naturally from problems in the representation theory of associative algebras. Instead of vector spaces and linear maps, one may consider a combinatorial model for quiver representations by replacing vector spaces and linear maps with “vector spaces over the field with one element $F_1$” and “$F_1$-linear maps”. I will introduce several aspects of quiver representations over the field with one element.
This is joint work with Jaehoon Kim and Alex Sistko.
Tuesday, 10/26
Title: Covering Numbers of Graphs
Speaker: Casey Donoven (Montana State-Northern)
Time: 1:15-2:15
Location: WH 100E (in person)
Given a structure $A$ and a class $C$ of substructures, the covering number of $A$ with respect to $C$ is the minimum number of substructures whose union is $A$. Covering numbers have been explored in various disciplines, such as algebra (for groups, rings, loops, semigroups, etc.) and graph theory (biparticity, etc.). I will discuss several covering numbers for graphs, including: covering graphs with complete subgraphs, covering bipartite graphs with complete bipartite subgraphs, and covering digraphs with dicuts. For each, I will establish a theorem describing the covering number obeying the following meta-theorem: there exists a sequence of graphs $\Delta_n$ such that the covering number of $\Gamma$ is the minimum $n$ such that there is an appropriate function from $\Gamma$ into $\Delta_n$.
Tuesday, 11/2
Title: Pairs of Graphs With the Same Even Cycles
Speaker: Bertrand Guenin (Waterloo)
Time: 1:15-2:15
Location: Zoom https://binghamton.zoom.us/j/95302383985
in WH 100E and wherever you want to Zoom.
Whitney proved that if two 3-connected graphs have the same set of cycles (or equivalently, the same set of cuts) then both graphs must be the same. I characterize when two 4-connected signed graphs have the same set of even cycles, and I characterize when two 4-connected grafts have the same set of even cuts.
This is joint work with Cheolwon Heo and Irene Pivotto.
[Notes: “Even” means positive. A graft is a kind of dual of a signed graph. – TZ]
Tuesday, 11/9
No seminar today.
Tuesday, 11/16
Title: Point Arrangements and Oriented Matroids from Biological Data
Speaker: Caitlin Leinkamper (Penn State)
Time: 1:15-2:15
Location: WH 100E (in person)
Determining the rank of a matrix derived from data is a fundamental problem in many fields of biology. However, it is often impossible to measure the true quantity of interest, and we must instead measure a proxy value which has a monotone relationship with the true value. This motivates the following definition: the underlying rank of a matrix A is the minimum rank d such that there is a rank-d matrix B whose entries are in the same order as the entries of A. I introduce a variety of strategies for estimating underlying rank. Using results about random polytopes, I give techniques for estimating the underlying ranks of random matrices which I use to estimate the dimensionality of neural activity in zebrafish. Next, I use Radon's theorem to derive a basic lower bound for underlying rank. I show that underlying rank can exceed this bound using examples derived from oriented matroids and allowable sequences. I show that for d≥2, determining whether a matrix has underlying rank at most d is complete for the existential theory of the reals, and therefore NP hard. However, for d=2, one can solve a combinatorial relaxation of this problem in polynomial time.
Tuesday, 11/23
No seminar today.
Tuesday, 11/30
Title:
Speaker:
Time: 1:15-2:15
Location:
Tuesday, 12/7
Title:
Speaker:
Time: 1:15-2:15
Location:
Friday, 7/9 (special day)
Title: Homotopy Type of the Independence Complexes of Forests
Speaker: Michael Gottstein (Binghamton)
Time: 1:00-3:00
Zoom meeting https://binghamton.zoom.us/j/95302383985
Abstract: I first will show the independence complexes of forests are instances of a class of simplicial complexes for which I show that each member is contractible or homotopy equivalent to a sphere. I then will provide an inductive method of detecting the contractibility of the complex or the dimension of the sphere associated to a forest. Time permitting I will mention other examples of complexes in this class. The talk is based on two papers: “The topology of the independence complex” by Richard Ehrenborg and Gabor Hetyei (2006) and “Homotopy types of independence complexes of forests” by Kazuhiro Kawamura (2010).
This is Mr. Gottstein's examination for admission to candidacy. The examining committee consists of Laura Anderson, Michael Dobbins, and Thomas Zaslavsky (chair).
All interested persons are welcome to participate by Zoom.
Tuesday, 2/16
Organizational meeting
Time: 1:15-2:15
Zoom meeting id: 953 0238 3985
Tuesday, 2/23
Title: What I've Been Doing, Part I
Speakers: Thomas Zaslavsky, James West, Michael Dobbins
Time: 1:15-2:15
Zoom meeting id: 953 0238 3985
Tuesday, 3/2
Title: What I've Been Doing, Part II
Speakers: Olakunle Abawonse, Seunghun Lee
Time: 1:15-2:15
Zoom meeting id: 953 0238 3985
Tuesday, 3/9
Title: None
Speakers: None
Time: 1:15-2:15
Zoom meeting https://binghamton.zoom.us/j/95302383985
Tuesday, 3/16
Title: The Erdös–Faber–Lovász Conjecture and Related Results
Speaker: Dong-yeap Kang (Birmingham [U.K.])
Time: 1:15-2:15
A hypergraph is linear if every pair of two distinct edges shares at most one vertex. A longstanding conjecture by Erdös, Faber, and Lovász in 1972, states that the chromatic index of any linear hypergraph on $n$ vertices is at most $n$. I will discuss the ideas to prove the conjecture for all large $n$.
This is joint work with Tom Kelly, Daniela Kühn, Abhishek Methuku, and Deryk Osthus.
Zoom meeting https://binghamton.zoom.us/j/95302383985
Tuesday, 3/23
Title: Chi-Boundedness
Speaker: Peter Maceli (Ithaca College)
Time: 1:15-2:15
Zoom meeting https://binghamton.zoom.us/j/95302383985
If a graph has bounded clique number and sufficiently large chromatic number, what can we say about its induced subgraphs? In the early 1980’s András Gyárfás made a number of challenging conjectures about this. I will give a survey of how these questions seek to generalize the class of perfect graphs, along with some recent results.
Tuesday, 3/30
Title: Quantitative Helly Theorems
Speaker: Pablo Soberón (Baruch)
Time: 1:15-2:15
Given a family of convex sets in R^{d}, how do we know that their intersection has a large volume or a large diameter? A large family of results in combinatorial geometry, called Helly-type theorems, characterize families of convex sets whose intersections are not empty. I will describe how some bootstrapping arguments allow us to extend classic results, to describe when the intersection of a family of convex sets in R^{d} is quantifiably large.
The work presented in this talk was done in collaboration with Travis Dillon, Jack Messina, Sherry Sarkar, and Alexander Xue.
Zoom meeting https://binghamton.zoom.us/j/95302383985
Thursday, 4/1 in the Topology Seminar
Title: Gelfand and MacPherson's Combinatorial Formula for Pontrjagin Classes, Part I: The Topology
Speaker: Olakunle Abawonse
Time: 2:50-3:50
Zoom meeting TBA
See the abstract for the next talk, 4/6.
Tuesday, 4/6
Title: Gelfand and MacPherson's Combinatorial Formula for Pontrjagin Classes, Part II: The Combinatorics
Speaker: Laura Anderson
Time: 1:15-2:15
Let X be a simplicial manifold. A smoothing of X is a smooth manifold M together with a homeomorphism from X to M that is smooth on each closed simplex. Rohlin and Švarc(1957) and Thom(1958) showed that all smoothings of X have the same rational Pontrjagin classes. This raised the hope for a combinatorial formula for these classes. In 1992 Gelfand and MacPheron announced such a formula and gave a very terse proof. In these two talks we'll explain their proof.
The first part of their proof is an alternative form of Chern–Weil theory, which will be the topic of Part I (in the Topology Seminar on 4/1). The second part is a combinatorial model for differential manifolds that admits a combinatorialization of this Chern–Weil theory. We'll discuss this in Part II (in the Combinatorics Seminar on 4/6).
Either talk should be of interest independently of the other.
Zoom meeting https://binghamton.zoom.us/j/95302383985
Tuesday, 4/13
Title: Oriented Matroids from Triangulations of Products of Simplices
Speaker: Chi Ho Yuen (Brown)
Time: 1:15-2:15
Marcel Celaya, Georg Loho, and I introduce a construction of oriented matroids from a triangulation of a product of two simplices. For this, we use the structure of such a triangulation in terms of polyhedral matching fields. The oriented matroid is composed of compatible chirotopes on the cells in a matroid subdivision of the hypersimplex, which might be of independent interest. We also derive a topological representation of the oriented matroid using a variant of Viros patchworking and we describe the extension to matroids over hyperfields.
Zoom meeting https://binghamton.zoom.us/j/95302383985
Tuesday, 4/20
Title: Fork-Free Graphs and Perfect Divisibility
Speaker: Vaidyanathan Sivaraman (Mississippi State)
Time: 1:15-2:15
The fork is the graph obtained from the complete bipartite graph $K_{1,3}$ by subdividing an edge once. What is the structure of graphs not containing the fork as an induced subgraph? In particular, can we bound the chromatic number of such a graph in terms of its clique number? Such a chi-bounding function is known but it is not known whether a polynomial function would suffice. I conjectured that such graphs satisfy a strong property called ''perfect divisibility”, which in turn will yield a quadratic chi-bounding function. I will discuss results proving the conjecture in some subclasses of the class of fork-free graphs.
This is joint work with T. Karthick and Jenny Kaufmann.
Zoom meeting https://binghamton.zoom.us/j/95302383985
Tuesday, 4/27
Speaker: Nemo (the Odyssey)
Tuesday, 5/4
Title: Shellable Dissections for Root Polytopes of Graphs and Digraphs
Speaker: Lilla Tóthmérész (Eötvös)
Time: 1:15-2:15
The root polytope of a bipartite graph $G=(U,W,E)$ is a polytope in $\mathbb{R}^{U\cup W}$ defined as Conv$\{\mathbf{1}_u -\mathbf{1}_w : u \in U, w \in W, uv \in E\}$. This is a well-studied polytope that has nice connections to graph theory. For example its dimension is $|U|+|W|-2$ and its maximal simplices correspond to spanning trees of the graph.
I examine the root polytope of directed graphs $G=(V,E)$, defined as Conv$\{\mathbf{1}_h -\mathbf{1}_t : \overrightarrow{th} \in E\}$. The root polytope of a bipartite (undirected) graph is a special case in which we orient each edge towards $U$.
The root polytope of a digraph might have dimension $|V|-1$. I am interested in the case that the dimension is $|V|-2$ (as in the undirected case). This turns out to be true if each cycle of the digraph has equal numbers of edges going in the two cyclic directions. We call these digraphs semibalanced.
A reason why root polytopes of semibalanced digraphs are interesting is that the facets of so-called symmetric edge polytopes (yet another class of polytopes associated to graphs, whose volume has a relevance to physics) are root polytopes of semibalanced digraphs.
I show a shellable dissection for root polytopes of semibalanced digraphs. Combinatorially, this means giving a nice set of spanning trees. The elements of the $h$-vector also have a combinatorial meaning in terms of the spanning trees.
I also tangentially touch the theory of greedoids.
This is joint work with Tamás Kálmán.
Zoom meeting https://binghamton.zoom.us/j/95302383985
Tuesday, 5/11
Title: Expressing the Skew Spectrum of an Oriented Graphs in Terms of the Spectrum of an Associated Signed Graph
Speaker: Zoran Stanić (Belgrade)
Time: 1:15-2:15
For an oriented graph G′ = (G,σ′) and a signed graph G ̇ = (G,σ), both underlined by the same finite simple graph G, we say that the signature σ is associated with the orientation σ′, and simultaneously that G ̇ is associated with G′, if σ(ik)σ(jk) = s_{ik}s_{jk} holds for every pair of edges ik and jk, where (s_{ij}) is the skew adjacency matrix of G′. We prove that such a signature and orientation exist if and only if G is bipartite. On the basis of this result, we prove that, in the bipartite case, the skew spectrum of G′ is fully determined by the spectrum of an associated signed graph G ̇, and vice versa. In the non-bipartite case, we prove that the skew spectrum of G′ is fully determined by the spectrum of a signed graph associated with the bipartite double of G′. In this way, we show that the theory of skew spectra of oriented graphs has a strong relationship with the theory of spectra of signed graphs. In particular, a problem concerning the spectrum of an oriented graph can be transferred to the domain of signed graphs, considered there (where we deal with spectra of real symmetric matrices) and then the result can be ‘returned’ to the framework of oriented graphs. We apply this approach to some particular problems.
Zoom meeting https://binghamton.zoom.us/j/95302383985
Tuesday, 5/18
Title: The Varchenko-Gel’fand Ring of a Hyperplane Arrangement or a Cone
Speaker: Galen Dorpalen-Barry (Minnesota)
Time: 1:15-2:15
The coefficients of the characteristic polynomial of an arrangement in a real vector space have many interpretations. An interesting one is provided by the Varchenko-Gel’fand ring, which is the ring of functions from the chambers of the arrangement to the integers with pointwise multiplication. Varchenko and Gel’fand gave a simple presentation for this ring, along with a filtration whose associated graded ring has its Hilbert function given by the coefficients of the characteristic polynomial. I generalize these results to cones defined by intersections of halfspaces of some of the hyperplanes.
Time permitting, I will discuss Varchenko–Gel’fand analogues of some well-known results in the Orlik–Solomon algebra regarding Koszulity and supersolvable arrangements.
Zoom meeting https://binghamton.zoom.us/j/95302383985
Tuesday, 9/8
Title: Like speed dating, except combinatorics
Speakers: Michael Dobbins, Laura Anderson, Tom Zaslavsky
Time: 1:10-2:10
Zoom meeting id: 925 2894 7102
Today some of us will give very brief introductions to our current research.
Tuesday, 9/15
Title: Like speed dating, except combinatorics, part 2
Speakers: Nick Lacasse, Seunghun Lee
Time: 1:15 - 2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
Tuesday, 9/22
Title: Like speed dating, except combinatorics, part 3
Speakers: Chris Eppolito, Kunle Abawonse
Time: 1:15 - 2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
Tuesday, 9/29
Speaker: Thomas Zaslavsky (Binghamton)
Title: Structure for Signed Graphs
Time: 1:15 - 2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
A signed graph is a graph whose edges are labelled positive or negative. I survey a selection of aspects of signed-graph structure, beginning with Harary's founding “Structure Theorem” and including edges in circles, kinds of connection, a signed Kuratowski-type theorem, and structures that guarantee negative circles are not very disjoint.
Tuesday, 10/6
Speaker: Tillmann Miltzow (Utrecht University)
Title: A Practical Algorithm with Performance Guarantees for the Art Gallery Problem
Time: 1:15-2:15
Zoom meeting id: 925 2894 7102
Given a closed simple polygon P, we say two points p,q see each other if the segment pq is fully contained in P. The art gallery problem seeks a smallest set G of guards that sees P completely. Previous algorithms for the art gallery problem either had theoretical run time bounds (not necessarily good ones) but were utterly impractical, or were practical but could take forever on certain inputs without ever terminating. I present an algorithm that has both theoretical guarantees and practical performance.
This is joint work with Simon Hengeveld.
Tuesday, 10/13
Speaker: Shira Zerbib (Iowa State)
Title: Cutting Cakes with Topological Hall
Time: 1:15-2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
An r-partite hypergraph is called fractionally balanced if there exists a non-negative function on its edge set that has constant degree in each vertex side. Using a topological version of Hall's theorem, I prove bounds on the matching number of such hypergraphs. Combined with an approach of Meunier and Su (2018), this yields results on envy-free division of multiple cakes, and on rental harmony with multiple houses.
This is joint work with Ron Aharoni, Eli Berger, Joseph Briggs and Erel Segal-Halevi.
Tuesday, 10/20
Speaker: Geva Yashfe (Hebrew University of Jerusalem)
Title: Representability of $c$-Arrangements
Time: 1:15-2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
This talk is about two undecidability results in matroid theory and their applications to secret-sharing and to the study of rank inequalities for representable matroids. After a brief discussion of the applications, I will outline a proof that the following problem, together with an approximate variant, is undecidable: given a matroid, decide whether its rank function has a positive multiple which is a representable polymatroid.
This is based on joint work with Lukas Kühne.
Tuesday, 10/27
Speaker: Michael Dobbins (Binghamton)
Title: Continuous Dependence of Curvature Flow on Initial Conditions in the Sphere
Time: 1:15-2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
Consider the space of all simple closed curves of area 0 in the sphere that evenly divide the sphere. I will show that the restriction of level-set flow, which is a weakening of curvature flow, to this space is continuous. This was motivated by a problem of showing that the space of weighted pseudoline arrangements is homotopy equivalent to the corresponding rank 3 real Grassmannian.
Tuesday, 11/3
Speaker: Jo Ellis-Monaghan (Korteweg-de Vries Instituut voor Wiskunde, Universiteit van Amsterdam)
Title: An Introduction to Twualities
Time: 1:15-2:15
Place: Zoomland, opening at 11:45.
Zoom meeting id: 925 2894 7102
Zoomland LUNCH at noon with the speaker; all invited (no crowding, please).
We develop tools to identify and generate new surface embeddings of graphs with various forms of self-twuality including geometric duality, Petrie duality, Wilson duality, and both forms of triality (which is like duality, but of order three instead of two). Previous work typically focused on regular maps (special, highly symmetric, embedded graphs), but the methods presented here apply to general embedded graphs. In contrast to Wilson’s very large self-trial map of type {9,9}_9 we show that there are self-trial graphs on as few as three edges. We reduce the search for graphs with some form of self-twuality to the study of one-vertex ribbon graphs. Our results include a fast algorithm that will find all graphs with any of the various forms of self-twuality in the orbit of a graph that is isomorphic to any twisted dual of itself.
This is joint work with Lowell Abrams (George Washington University).
Tuesday, 11/10
Speaker: Seunghun Lee (Binghamton)
Title: The Near-$d$-Leray Property of Non-Matching Complexes
Time: 1:15-2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
Given a graph $G$ on the fixed vertex set $V$, the non-matching complex of $G$, denoted by NM$_k(G)$, is the family of all subgraphs $G'$ of $G$ whose matching number $\nu(G')$ is strictly less than $k$. As an attempt to generalize a result by Linusson, Shareshian and Welker, we show that (i) NM$_k(G)$ is $(3k-3)$-Leray, and (ii) if $G$ is bipartite, then NM$_k(G)$ is $(2k-2)$-Leray. This result is obtained by analyzing the homology of the links of non-empty faces of the complex NM$_k(G)$, which vanishes in all dimensions $d \geq 3k-4$, and all dimensions $d \geq 2k-3$ when $G$ is bipartite.
As a corollary, we have the following rainbow matching theorem, which generalizes a result by Aharoni et al. and Drisko's theorem: Given a graph $G=(V,E)$, let $E_1,\ldots, E_{3k-2}$ be non-empty edge sets (not necessarily disjoint), each colored with a different color, that cover $E$. If $\nu(E_i\cup E_j) \geq k$ for every distinct $i$ and $j$, then $G$ has a rainbow matching (where each edge has a different color) of size $k$. The number of edge sets $E_i$ can be reduced to $2k-1$ when $G$ is bipartite.
This is a joint work with Andreas Holmsen.
Tuesday, 11/17
Speaker: Vaidy Sivaraman (Mississippi State)
Title: Double-Threshold Graphs
Time: 1:15-2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
A graph is double-threshold if there exists a weight assignment to its vertices and real numbers $L$, $U$ such that two vertices are adjacent if and only if the sum of their weights is between $L$ and $U$. The class of double-threshold graphs is closed under induced subgraphs but not under complementation. Kobayashi, Okamoto, Otachi, Uno asked whether the set of forbidden induced subgraphs for the class is finite. We answer this question negatively and make progress on determining the complete set of forbidden induced subgraphs.
This is joint work with Deven Gill.
Tuesday, 11/24
Speaker: Kunle Abawonse (Binghamton)
Title: Homeomorphism Type of Combinatorial Grassmannnian and Combinatorial Flag Manifold
Time: 1:15-2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
I will consider combinatorial analogues to the Grassmannian G(2,n) and flag manifold G(1,2,n), denoted by MacP(2,n) and MacP(1,2,n) respectively. R. MacPherson conjectured that MacP(2,n) is homeomorphic to G(2,n), while it was later proven by Eric Babson that the manifolds are homotopy equivalent to their respective combinatorial analogues. I will establish that the manifolds are homeomorphic to their combinatorial analogues.
Tuesday, 12/1
Speaker: Benjamin Schröter (KTH Royal Institute of Technology)
Title: Reconstructibility of Matroid Polytopes
Paper: arXiv:2010.10227
Time: 1:15-2:15
Place: Zoomland, opening at 1:00.
Zoom meeting id: 925 2894 7102
My talk will deal with two fundamental objects of discrete mathematics that are closely related - (convex) polytopes and matroids. Both appear in many areas of mathematics, e.g., algebraic geometry, topology and optimization.
A classical question in polyhedral combinatorics is, 'Does the vertex-edge graph of a d-dimensional polytope determine its face lattice?'. In general the answer is no, but a famous result of Blind and Mani, and later Kalai, is a positive answer to that question for simple polytopes. In my talk I discuss this reconstructability question for the special class of matroid (base) polytopes. Matroids encode an abstract version of dependency and independency, and thus generalize graphs, point configurations in vector spaces and algebraic extensions of fields.
This is joint work with Guillermo Pineda-Villavicencio.
Tuesday, January 21
Virtual Combinatorics Colloquium
Speaker: Matjaz Konvalinka (Ljubljana)
Title: The First Bijective Proof of the ASM Theorem
Time: 2:00 - 3:00 (Note special time), preceded by a brief organizational meeting at 1:40
Room: WH-100E
Tuesday, January 28
No meeting today; we're all too busy.
Tuesday, February 4
Speaker: Laura Anderson (Binghamton)
Title: A Charming Conjecture Coming From Mathematical Psychology
Time: 1:15 - 2:15
Room: WH-100E
Tuesday, February 11
Speaker: Michael Dobbins (Binghamton)
Title: The Real RAM Analogue to the Cook--Levin Theorem
Time: 1:15 - 2:15
Room: WH-100E
Tuesday, February 18
No meeting today; we're warming up for next week's exciting talk.
Tuesday, February 25
Speaker: Ed Swartz (Cornell)
Title: Polymatroids are to Finite Groups as Matroids are to Finite Fields
Time: 1:15 - 2:15
Room: WH-100E
Tuesday, March 3
No meeting today.
Tuesday, March 10
Speaker: Chris Eppolito (Binghamton)
Title: Extension Spaces of Strongly Euclidean Oriented Matroids
Time: 1:15 - 2:15
Room: WH-100E
Tuesday, March 17
Speaker: Casey Donoven (Binghamton)
Title: Intersection Numbers and Minimal Subbases
Time: 1:15 - 2:15
Location: https://binghamton.zoom.us/j/951503518
The seminar will exist exclusively online, via Zoom. Casey will open the Zoom meeting at 1:00 to give time to work out any technical difficulties.
[Tuesday, March 24] POSTPONED: new date will be announced
Speaker: Olakunle Abawonse (Binghamton)
Title: Homeomorphism Types of the Combinatorial Grassmannian MacP(2,n) and the Combinatorial Flag Manifold MacP(1,2,n)
Time: 1:15 - 2:15
Location: TBA
Tuesday, March 31
No meeting today.
Tuesday, April 7
Virtual Combinatorics Colloquium
Speaker: Maria Chudnovsky (Princeton)
Title: Recent Progress on the Erdos--Hajnal Conjecture
Time: 2:00 p.m.
Location: https://smcvt.zoom.us/j/831984515
Tuesday, April 14
No meeting today $\because$ COVID-19.
Tuesday, April 21
Speaker: Amelia (Mattern) Cyr
Title: Deficiency in Signed Graphs
Time: 1:15 - 2:15, a break, and continuing for a while.
Location: https://zoom.us/j/96771786644?pwd=Q0Y4S2IveTVOU2ljZzdtV2F2bDdTUT09.
This is Ms. Cyr's doctoral dissertation defense. The examining committee consists of Laura Anderson, Michael Dobbins, Leslie Lander (outside examiner), and Thomas Zaslavsky (chair).
Saturday–Sunday, April 25–26, 2020 (virtual online meeting)
DISCRETE MATHEMATICS DAY at the University at Albany
Tuesday, April 28
Cancelled on account of COVID-19.
Tuesday, May 5
Cancelled on account of COVID-19.
Tuesday, June 9
Speaker: Nicholas Lacasse (Binghamton)
Title: A Survey of the Shi Arrangement
Time: 1:15 - 4:30 (with a break around 2:15)
Location: https://binghamton.zoom.us/j/92388564905 (opening at 1:00)
The Shi arrangement and its relatives like the Linial arrangement are arrangements of hyperplanes in Euclidean space that have gathered a lot of attention in recent years, not only from combinatorists. This talk, based on a paper of the same title by Susanna Fishel, will survey combinatorial aspects of the Shi arrangement.
This is Mr. Lacasse's exam for admission to candidacy. The examining committee consists of Laura Anderson, Michael Dobbins, and Thomas Zaslavsky (chair). The talk is open to the public and all are welcome.
Fall 2019 | Spring 2019 | Fall 2018 | Spring 2018 | Fall 2017 | Spring 2017 | Fall 2016 | Spring-Summer 2016 | Fall 2015 | Spring 2015 | Fall 2014 | Spring-Summer 2014 | Fall 2013 | Spring-Summer 2013 | Fall 2012 | Spring 2012 | Fall 2011 | Spring-Summer 2011 | Fall 2010 | Spring-Summer 2010 | Fall 2009 | Spring-Summer 2009 | Fall 2008 | Spring 2008 | Fall 2007 | Spring 2007 | Fall 2006 | Spring 2006 | Fall 2005 | Spring 2005 | Fall 2004 | Spring 2004 | Fall 2003 | Spring 2003 | Fall 2002 | Spring 2002 | Fall 2001 | Spring 2001 | Fall 2000 | Spring 2000 | Fall 1999 | Spring 1999 | Fall 1998 |