Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Incidence geometry and universality in the tropical plane
Published in Journal of Combinatorial Theory, Series A Volume 159, October 2018, Pages 26-53
• View Publication
• BIB
We examine the incidence geometry of lines in the tropical plane. We prove tropical analogs of the Sylvester-Gallai and Motzkin-Rabin theorems in classical incidence geometry. This study leads naturally to a discussion of the realizability of incidence data of tropical lines. Drawing inspiration from the von Staudt constructions and Mnëv's universality theorem, we prove that determining whether a given tropical linear incidence datum is realizable by a tropical line arrangement requires solving an arbitrary linear programming problem over the integers.
The homotopy theory of polyhedral products associated with flag complexes
Published in Compositio Math. 155 (2019), no. 1, 206-228
• View Publication
• BIB
If $K$ is a simplicial complex on $m$ vertices the flagification of $K$ is the minimal flag complex $K^f$ on the same vertex set that contains $K$. Letting $L$ be the set of vertices, there is a sequence of simplicial inclusions $L\to K\to K^f$. This induces a sequence of maps of polyhedral products $(\underline X,\underline A)^L\stackrel g\longrightarrow(\underline X,\underline A)^K\stackrel f\longrightarrow (\underline X,\underline A)^{K^f}$. We show that $Ωf$ and $Ωf\circΩg$ have right homotopy inverses and draw consequences. For a flag complex $K$ the polyhedral product of the form $(\underline{CY},\underline Y)^K$ is a co-$H$-space if and only if the $1$-skeleton of $K$ is a chordal graph, and we deduce that the maps $f$ and $f\circ g$ have right homotopy inverses in this case.
A note on graph compositions and their connection to minimax of set partitions
A graph composition is a partition of the vertex set such that each member of the partition induces a connected sub- graph, and the composition number of a graph is the number of possible graph compositions. A partition of a set S of consecutive labelled vertices is said to have a minimax vertex v in S if the label of v is the smallest label in the set of all maximum labels over all members of the partition. This paper exhibits a recursive formula for the composition number of a certain class of graphs and estab- lishes a connection between the composition numbers of this class of graphs and that of the minimax of partitions of a labelled set (the minimum label of the set of all maximum labels over every member of the partition).
A directed graph generalization of chromatic quasisymmetric functions
Stanley defined the chromatic symmetric function of a graph, and Shareshian and Wachs introduced a refinement, namely the chromatic quasisymmetric function of a labeled graph. In this paper, we define the chromatic quasisymmetric function of a directed graph, which agrees with the Shareshian-Wachs definition in the acyclic case. We give an F-basis expansion for all digraphs in terms of a permutation statistic, which we call G-descents. We use this expansion to derive a p-positivity formula for all digraphs with symmetric chromatic quasisymmetric functions. We show that the chromatic quasisymmetric functions of a certain class of digraphs, called circular indifference digraphs, have symmetric coefficients. We present an e-positivity formula for the chromatic quasisymmetric function of the directed cycle, which is a t-analog of a result of Stanley. Lastly, we give a generalization of the Shareshian-Wachs e-positivity conjecture to a larger class of digraphs.
$b$-vectors of chordal graphs
Published in J. Comm. Alg. 12 (2020) 539-557
• View Publication
• BIB
The $b$-vector $(b_1,b_2\ldots,b_d)$ of a graph $G$ is defined in terms of its clique vector $(c_1,c_2\ldots,c_d)$ by the equation $\sum^d_{i=1}b_i(x+1)^{i-1}=\sum^d_{i=1} c_i x^{i-1},$ where $d$ is the largest cardinality of a clique in $G$. We study the relation of the $b$-vector of a chordal graph $G$ with some structural properties of $G$. In particular, we show that the $b$-vector encodes different aspects of the connectivity and clique dominance of $G$. Furthermore, we relate the $b$-vector with the Betti numbers of the Stanley-Reisner ring associated to clique simplicial complex of $G$.
Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4
Published in Combinatorica 39 (2019), Issue 6, 1267-1279
• View Publication
• BIB
We find a graph of genus $5$ and its drawing on the orientable surface of genus $4$ with every pair of independent edges crossing an even number of times. This shows that the strong Hanani-Tutte theorem cannot be extended to the orientable surface of genus $4$. As a base step in the construction we use a counterexample to an extension of the unified Hanani-Tutte theorem on the torus.
Decompositions of amplituhedra
Published in Ann. Inst. Henri Poincaré D 7 (2020), no. 3, 303-363
• View Publication
• BIB
The (tree) amplituhedron A(n,k,m) is the image in the Grassmannian Gr(k,k+m) of the totally nonnegative part of Gr(k,n), under a (map induced by a) linear map which is totally positive. It was introduced by Arkani-Hamed and Trnka in 2013 in order to give a geometric basis for the computation of scattering amplitudes in N=4 supersymmetric Yang-Mills theory. In the case relevant to physics (m=4), there is a collection of recursively-defined 4k-dimensional BCFW cells in the totally nonnegative part of Gr(k,n), whose images conjecturally "triangulate" the amplituhedron--that is, their images are disjoint and cover a dense subset of A(n,k,4). In this paper, we approach this problem by first giving an explicit (as opposed to recursive) description of the BCFW cells. We then develop sign-variational tools which we use to prove that when k=2, the images of these cells are disjoint in A(n,k,4). We also conjecture that for arbitrary even m, there is a decomposition of the amplituhedron A(n,k,m) involving precisely M(k, n-k-m, m/2) top-dimensional cells (of dimension km), where M(a,b,c) is the number of plane partitions contained in an a x b x c box. This agrees with the fact that when m=4, the number of BCFW cells is the Narayana number N(n-3, k+1).
Apéry sets of shifted numerical monoids
Published in Advances in Applied Mathematics 97 (2018), 27-35
• View Publication
• BIB
A numerical monoid is an additive submonoid of the non-negative integers. Given a numerical monoid $S$, consider the family of "shifted" monoids $M_n$ obtained by adding $n$ to each generator of $S$. In this paper, we characterize the Apéry set of $M_n$ in terms of the Apéry set of the base monoid $S$ when $n$ is sufficiently large. We give a highly efficient algorithm for computing the Apéry set of $M_n$ in this case, and prove that several numerical monoid invariants, such as the genus and Frobenius number, are eventually quasipolynomial as a function of $n$.
Whipple-type $_3F_2$-series and summation formulae involving generalized harmonic numbers
Published
• View Publication
• BIB
By means of the derivative operator and Whipple-type $_3F_2$-series identities, two families of summation formulae involving generalized harmonic numbers are established.
Universal simplicial complexes inspired by toric topology
Let $\mathbf{k}$ be the field $\mathbb{F}_p$ or the ring $\mathbb{Z}$. We study combinatorial and topological properties of the universal simplicial complexes $X(\mathbf{k}^n)$ and $K(\mathbf{k}^n)$ whose simplices are certain unimodular subsets of $\mathbf{k}^n$. As a main result we show that $X(\mathbf{k}^n)$, $K(\mathbf{k}^n)$ and the links of their simplicies are homotopy equivalent to a wedge of spheres specifying the exact number of spheres in the corresponding wedge decompositions. This is a generalisation of Davis and Januszkiewicz's result that $K(\mathbb{Z}^n)$ and $K(\mathbb{F}_2^n)$ are $(n-2)$-connected simplicial complexes.
We discuss applications of these universal simplicial complexes to toric topology and number theory.
Anagram-free colourings of graph subdivisions
Published
• View Publication
• BIB
An anagram is a word of the form $WP$ where $W$ is a non-empty word and $P$ is a permutation of $W$. A vertex colouring of a graph is anagram-free if no subpath of the graph is an anagram. Anagram-free graph colouring was independently introduced by Kamčev, Łuczak and Sudakov and ourselves. In this paper we introduce the study of anagram-free colourings of graph subdivisions. We show that every graph has an anagram-free $8$-colourable subdivision. The number of division vertices per edge is exponential in the number of edges. For trees, we construct anagram-free $10$-colourable subdivisions with fewer division vertices per edge. Conversely, we prove lower bounds, in terms of division vertices per edge, on the anagram-free chromatic number for subdivisions of the complete graph and subdivisions of complete trees of bounded degree.
Exponentially many nowhere-zero $Z_3$-, $Z_4$-, and $Z_6$-flows
We prove that, in several settings, a graph has exponentially many nowhere-zero flows. These results may be seen as a counting alternative to the well-known proofs of existence of $Z_3$-, $Z_4$-, and $Z_6$-flows.
In the dual setting, proving exponential number of 3-colorings of planar triangle-free graphs is a related open question due to Thomassen. As a part of the proof we obtain a new splitting lemma for 6-edge-connected graphs, that may be of independent interest.
Speeding up non-Markovian First Passage Percolation with a few extra edges
Published
• View Publication
• BIB
One model of real-life spreading processes is First Passage Percolation (also called SI model) on random graphs. Social interactions often follow bursty patterns, which are usually modelled with i.i.d.~heavy-tailed passage times on edges. On the other hand, random graphs are often locally tree-like, and spreading on trees with leaves might be very slow, because of bottleneck edges with huge passage times. Here we consider the SI model with passage times following a power law distribution $\mathbb{P}(ξ>t)\sim t^{-α}$, with infinite mean. For any finite connected graph $G$ with a root $s$, we find the largest number of vertices $κ(G,s)$ that are infected in finite expected time, and prove that for every $k \leq κ(G,s)$, the expected time to infect $k$ vertices is at most $O(k^{1/α})$. Then, we show that adding a single edge from $s$ to a random vertex in a random tree $\mathcal{T}$ typically increases $κ(\mathcal{T},s)$ from a bounded variable to a fraction of the size of $\mathcal{T}$, thus severely accelerating the process. We examine this acceleration effect on some natural models of random graphs: critical Galton-Watson trees conditioned to be large, uniform spanning trees of the complete graph, and on the largest cluster of near-critical Erdős-Rényi graphs. In particular, at the upper end of the critical window, the process is already much faster than exactly at criticality.
Walk entropy and walk-regularity
Published
• View Publication
• BIB
A graph is said to be walk-regular if, for each $\ell \geq 1$, every vertex is contained in the same number of closed walks of length $\ell$. We construct a $24$-vertex graph $H_4$ that is not walk-regular yet has maximized walk entropy, $S^V(H_4,β) = \log 24$, for some $β>0$. This graph is a counterexample to a conjecture of Benzi [Linear Algebra Appl.~443 (2014), 395--399, Conjecture 3.1]. We also show that there exist infinitely many temperatures $β_0>0$ so that $S^V(G,β_0)=\log n_G$ if and only if a graph $G$ is walk-regular.
Greene--Kleitman invariants for Sulzgruber insertion
Published
• View Publication
• BIB
R. Sulzgruber's rim hook insertion and the Hillman-Grassl correspondence are two distinct bijections between the reverse plane partitions of a fixed partition shape and multisets of rim-hooks of the same partition shape. It is known that Hillman-Grassl may be equivalently defined using the Robinson-Schensted-Knuth correspondence, and we show the analogous result for Sulzgruber's insertion. We refer to our description of Sulzgruber's insertion as diagonal RSK. As a consequence of this equivalence, we show that Sulzgruber's map from multisets of rim hooks to reverse plane partitions can be expressed in terms of Greene-Kleitman invariants.
Disjoint Dominating Sets with a Perfect Matching
Published
• View Publication
• BIB
In this paper, we consider dominating sets $D$ and $D'$ such that $D$ and $D'$ are disjoint and there exists a perfect matching between them. Let $DD_{\textrm{m}}(G)$ denote the cardinality of smallest such sets $D, D'$ in $G$ (provided they exist, otherwise $DD_{\textrm{m}}(G) = \infty$). This concept was introduced in [Klostermeyer et al., Theory and Application of Graphs, 2017] in the context of studying a certain graph protection problem. We characterize the trees $T$ for which $DD_{\textrm{m}}(T)$ equals a certain graph protection parameter and for which $DD_{\textrm{m}}(T) = α(T)$, where $α(G)$ is the independence number of $G$. We also further study this parameter in graph products, e.g., by giving bounds for grid graphs, and in graphs of small independence number.
Zero-sum $K_m$ over $\mathbb{Z}$ and the story of $K_4$
Published
• View Publication
• BIB
We prove the following results solving a problem raised in [Y. Caro, R. Yuster, On zero-sum and almost zero-sum subgraphs over $\mathbb{Z}$, Graphs Combin. 32 (2016), 49--63]. For a positive integer $m\geq 2$, $m\neq 4$, there are infinitely many values of $n$ such that the following holds: There is a weighting function $f:E(K_n)\to \{-1,1\}$ (and hence a weighting function $f: E(K_n)\to \{-1,0,1\}$), such that $\sum_{e\in E(K_n)}f(e)=0$ but, for every copy $H$ of $K_m$ in $K_n$, $\sum_{e\in E(H)}f(e)\neq 0$. On the other hand, for every integer $n\geq 5$ and every weighting function $f:E(K_n)\to \{-1,1\}$ such that $|\sum_{e\in E(K_n)}f(e)|\leq \binom{n}{2}-h(n)$, where $h(n)=2(n+1)$ if $n \equiv 0$ (mod $4$) and $h(n)=2n$ if $n \not\equiv 0$ (mod $4$), there is always a copy $H$ of $K_4$ in $K_n$ for which $\sum_{e\in E(H)}f(e)=0$, and the value of $h(n)$ is sharp.
Few Sequence Pairs Suffice: Representing All Rectangle Placements
Published
• View Publication
• BIB
We consider representations of general non-overlapping placements of rectangles by spatial relations (west, south, east, north) of pairs of rectangles. We call a set of representations complete if it contains a representation of every placement of $n$ rectangles.
We prove a new upper bound of $\mathcal{O}(\frac{n!}{n^6} \cdot (\frac{11+5 \sqrt 5}{2})^n)$ and a new lower bound of $Ω(\frac{n!}{n^4} \cdot (4 + 2 \sqrt2)^n)$ on the minimum cardinality of complete sets of representations. A key concept in the proofs of these results are pattern-avoiding permutations.
The new upper bound directly improves upon the well-known sequence pair representation, which has size $(n!)^2$, by only considering a restricted set of sequence pairs. It implies theoretically faster algorithms for VLSI placement problems.
Box polynomials and the excedance matrix
We consider properties of the box polynomials, a one variable polynomial defined over all integer partitions $λ$ whose Young diagrams fit in an $m$ by $n$ box. We show that these polynomials can be expressed by the finite difference operator applied to the power $x^{m+n}$. Evaluating box polynomials yields a variety of identities involving set partition enumeration. We extend the latter identities using restricted growth words and a new operator called the fast Fourier operator, and consider connections between set partition enumeration and the chromatic polynomial on graphs. We also give connections between the box polynomials and the excedance matrix, which encodes combinatorial data from a noncommutative quotient algebra motivated by the recurrence for the excedance set statistic on permutations.
On Baire Measurable Colorings of Group Actions
Published in Ergod. Th. Dynam. Sys. 41 (2021) 818-845
• View Publication
• BIB
The field of descriptive combinatorics investigates the question, to what extent can classical combinatorial results and techniques be made topologically or measure-theoretically well-behaved? This paper examines a class of coloring problems induced by actions of countable groups on Polish spaces, with the requirement that the desired coloring be Baire measurable. We show that the set of all such coloring problems that admit a Baire measurable solution for a particular free action $α$ is complete analytic (apart from the trivial situation when the orbit equivalence relation induced by $α$ is smooth on a comeager set); this result confirms the "hardness" of finding a topologically well-behaved coloring. When $α$ is the shift action, we characterize the class of problems for which $α$ has a Baire measurable coloring in purely combinatorial terms; it turns out that closely related concepts have already been studied in graph theory with no relation to descriptive set theory. We remark that our framework permits a wholly dynamical interpretation (with colorings corresponding to equivariant maps to a given subshift), so this article can also be viewed as a contribution to generic dynamics.