math.CO ↗ arXiv
7121 papers in this category
Laurent Symmetric Functions
We describe the ring of Laurent symmetric polynomials in terms of generators and relations, giving an analogue of the Fundamental Theorem of Symmetric Polynomials. We extend the Hall inner product, and give an algebraic proof that the Laurent Schur polynomials form an orthonormal basis of this ring. In the case of infinitely many variables, we realize the ring of Laurent symmetric functions as a direct limit of inverse limits, and relate them to characters of rational and algebraic representations of general linear groups.
Sharp stability for cross $t$-intersecting families of permutations in the linear range
Two families $\mathcal{F},\mathcal{G}\subseteq S_n$ are cross $t$-intersecting if every $σ\in\mathcal{F}$ and $τ\in\mathcal{G}$ agree on at least $t$ points. A $t$-coset is a coset of the stabilizer of $t$ points. A subset of $S_n$ is non-trivial if it is not contained in any $t$-coset. Let $d_m$ denote the $m$-th derangement number. We prove that, for all $t\geq1$ and $n\geq400t$, every pair of cross $t$-intersecting families $\mathcal{F},\mathcal{G}\subseteq S_n$ satisfies the following:
(i) $|\mathcal{F}||\mathcal{G}|\leq((n-t)!-d_{n-t}-d_{n-t-1})((n-t)!+t)$ if $\mathcal{F}\cup\mathcal{G}$ is non-trivial.
(ii) $|\mathcal{F}||\mathcal{G}|\leq((n-t)!-d_{n-t}-d_{n-t-1}+t)^2$ if both $\mathcal{F}$ and $\mathcal{G}$ are non-trivial.
(iii) $\min\{|\mathcal{F}\setminus\mathcal{C}|,|\mathcal{G}\setminus\mathcal{C}|\}\leq t((n-t-1)!-(n-t-2)!)$ for some $t$-coset $\mathcal{C}$ if $t\geq2$.
We also characterize all extremal configurations. The first result extends a theorem of Ellis (2011) to an exponentially wider range and sharpens the stability theorem of Keller, Lifshitz, Minzer and Sheinfeld (2024); the second gives a product version of the classical Hilton--Milner--Frankl theorem for permutations; and the third settles the remaining cases $t\geq2$ of a conjecture of Ellis (2011) in a stronger form. In all three results, the linear dependence on $t$ is essentially optimal. Our proofs are based on the spread approximation method introduced by Kupavskii and Zakharov and on an approach to cross $t$-intersection problems developed by the present authors, with several essential refinements. As an application of our approach, we prove a product version of the Hilton--Milner--Frankl theorem for the alternating group.
On the Critical Window for Adaptable 2-Colorability
We determine a sharp threshold for the adaptable 2-colorability of a random graph equipped with a uniformly random, not necessarily proper, red/blue coloring of the edges. To accomplish this, we characterize a family of subgraphs along with edge colorings whose inclusion or exclusion determines adaptable $2$-colorability. We further show that above the threshold, a long path with alternating edge colors is formed. We use this path to prove the existence of such a subgraph in the supercritical regime. We then provide and prove symmetric bounds on the critical window for $2$-adaptable colorability. Particularly, we prove bounds matching that of the critical windows for the giant component in the Erd$ő$s-R$é$nyi random graph model as well as the satisfiability of a random $2$-SAT instance. Finally, we show that below the critical window, the solution space of adaptable $2$-colorings remains connected, that is one can travel from one adaptable $2$-coloring to another by a sequence of $2$-colorings which differ on $O(\log{n})$ many vertices.
Ramsey multiplicity and extremal colorings for odd cycles
The Ramsey number $r(H)$ of a graph $H$ is the minimum positive integer $N$ such that every red/blue edge-coloring of the complete graph $K_N$ on $N$ vertices contains a monochromatic copy of $H$. The Ramsey multiplicity $M(H,n)$ is the minimum number of monochromatic copies of $H$ over all red/blue edge-colorings of $K_n$. It is called threshold Ramsey multiplicity if $n=r(H)$, and denoted by $m(H)$. The only previously known general infinite family for which $m(H)$ has been determined is stars, due to Harary and Prins (1974). Let $C_k$ denote a cycle on $k$ vertices. Conlon, Fox, Sudakov, and Wei (2022) conjectured that $m(C_k)=(k-1)!/2$ for every sufficiently large odd integer $k$. In this paper, we determine $M(C_k,r(C_k)+\ell)$ for every fixed nonnegative integer $\ell$ and all sufficiently large odd $k$, and characterize all extremal colorings, thereby confirming the conjecture. This is also a second general infinite family for which $m(H)$ has been determined.
Combinatorics in 1-semi-equational theories
We give direct combinatorial proofs that 1-semi-equational theories satisfy two combinatorial properties that imply the non-interpretability of certain fields. Our main result is that Boolean combinations of 1-semi-equations have almost linear Zarankiewicz bounds, and hence no infinite field is interpretable in a 1-semi-equational theory; this answers a question of Chernikov--Mennen and Chernikov--Starchenko, who had respectively established almost linear Zarankiewicz bounds for Boolean combinations of $(2,1)$-semi-equations and Boolean combinations of weakly normal relations. (This was recently and independently established by Gou, Mirabi, Mittal, Tran, and Yang, using different techniques and producing different bounds.) We also show that $(k,1)$-semi-equations satisfy the $δ$-strong Erdős--Hajnal property with $δ=1/6^{k-1}$; this had previously been established by Chernikov--Starchenko for an ineffective constant $δ>0$.
Hamiltonicity of graphs of acyclic orientations and acyclic polynomials
We study the graph $\mathcal{AO}(G)$ of acyclic orientations of a graph $G$. Two acyclic orientations are adjacent in this graph if they disagree on the orientation of a single arc. In particular, we focus on the Hamiltonicity of the graphs $\mathcal{AO}(G)$.
Using two methods of pattern lacing which generalize the zig-zag method of Brenner, Cardinal, McConville, Merino and Mütze, we characterize which multipaths are $\mathcal{AO}$-Hamiltonian. Moreover, we give a criterion for the gluing of a multipath on a given graph to preserve $\mathcal{AO}$-Hamiltonicity. Building towards an inductive certification of $\mathcal{AO}$-Hamiltonicity via the (open) ear decomposition of 2-connected graphs, we propose three ways of gluing several multipaths to a given graph.
In addition, we define the acyclic polynomials to encapsulate both the number of acyclic orientations of a graph and the "parity problem" proposed by Savage, Squire and West: if $-1$ is not a root of the acyclic polynomial of $G$, then $G$ is not $\mathcal{AO}$-Hamiltonian. We explore numerous properties of the acyclic polynomials, proving that they are not instances of the famous Tutte-Whitney polynomials, but that they too exhibit a partial deletion-contraction phenomenon.
A nowhere-zero point for several linear mappings simultaneously
Let $q=p^k$, and let $A_1,\ldots,A_{r-1}$ be invertible $n\times n$ matrices over ${\mathbb F}_q$. We prove that, if $k\ge r$, there is a vector $x$ for which \[
x,A_1x,\ldots,A_{r-1}x \] are all nowhere zero. For $r=2$ this recovers the theorem of Alon and Tarsi over nonprime finite fields. The proof tracks one monomial in the product of the coordinate forms. Frobenius powers keep every exponent below $p^r$, and finite-field polynomial nonvanishing supplies the required vector. The same method treats rectangular matrices with independent rows and prescribed forbidden values.
The method also gives an extension-degree criterion for representable matroids and clarifies an unpublished prime-field conjecture of M. J. Moghaddamzadeh. Projective-geometric examples explain why the analogous field-size statement fails over proper extensions and, translated back to matrices, give lower bounds for the large-field problem.
Streaming Hypergraph Coloring via Palette Sparsification
For every fixed $k\ge2$, we give a randomized one-pass insertion-only algorithm that colors an $n$-vertex $k$-uniform hypergraph of maximum degree $Δ$ with $O(Δ^{1/(k-1)})$ colors using $\widetilde O_k(n)$ bits of working memory. As a graph-theoretic result of independent interest, we also prove a tight palette-sparsification theorem for general uniform hypergraphs. Independently sampled lists of $Θ(\sqrt{\log n})$ colors from a palette of size $O(Δ^{1/(k-1)})$ preserve colorability with high probability; the list-size dependence is asymptotically optimal. These results extend to bounded-rank hypergraphs.
We complement the algorithm with a deterministic lower bound: for every fixed polylogarithmic semi-streaming space bound, there are polylogarithmic values of $Δ$ for which any deterministic one-pass algorithm requires $\exp(Δ^{Ω(1)})$ colors.
Topological line arrangements and their topological invariants
A topological line arrangement is an arrangement of embedded spheres in the complex projective plane that topologically generalizes a complex line arrangement. In this paper, we establish foundational results on the topology of the complement of topological line arrangements. First, we prove that the cohomology ring of the complement is isomorphic to the Orlik-Solomon algebra, as for classical complex line arrangements. We then study the homotopy type of the complement. We prove that the complement of a symplectic line arrangement has the homotopy type of a minimal CW complex. In contrast, every combinatorial type realizable by a topological line arrangement admits a realization with a non-minimal complement. Moreover, every such combinatorial type admits infinitely many realizations whose complements are pairwise non-homotopy equivalent.
A combinatorial model for the canonical join complex of alt $ν$-Tamari lattices
Alt $ν$-Tamari lattices constitute a remarkable family of lattices associated with lattice paths that broadly generalize the Dyck and Tamari lattices. To systematically study the structural properties of this family, we introduce a combinatorial model that realizes the canonical join complex of alt $ν$-Tamari lattices. Serving as a universal tool, this model allows us to prove vertex decomposability, establish an explicit shelling order, and reveal the underlying homology of the canonical join complex of alt $ν$-Tamari lattices.
Hamilton decompositions of equal-side directed tori
Let $D_d(m)$ be the Cartesian product of $d$ positively oriented directed cycles of length $m$. We prove that $D_d(m)$ decomposes into $d$ directed Hamilton cycles for every $m\ge3$ and $d\ge2$. The construction proceeds by splitting coordinate directions in directed multitori. An integer selection theorem supplies unit voltages compatible with the prescribed arc multiplicities; at even modulus, the decisive condition is the parity of each incidence component. For even $m$ and odd $d\ge7$, we satisfy this condition with a factorization having one additional cycle. A relative lifting theorem preserves the first-return data of a three-colour recolouring through successive coordinate splits, after which the recolouring removes the additional cycle on a set whose size is independent of the dimension. Explicit constructions complete the low-dimensional cases. The theorem yields Hamilton decompositions of Cartesian products of equal-order, equal-degree Hamilton-decomposable digraphs, of abelian Cayley digraphs whose generators partition into module bases, and of a family of height-stretched directed tori.
Quasimonophobic graphs and degree spectral sequences in discrete cubical homology
We introduce the degree filtration on the discrete cubical chain complex of a graph, defined in terms of the maximal injective dimension of the facets of singular $n$-cubes, and study the degree spectral sequence which arises from this filtration. This spectral sequence interpolates between the discrete cubical homology of a graph $H_n(G)$ and the injective homology $H_n^{inj}(G)$, a variant of the discrete cubical homology based on injective singular cubes. Building on the work of Greene and the first author, we introduce the combinatorial condition of quasimonophobicity on graphs, and show quasimonophobicity implies both the vanishing of the degree spectral sequence in certain bidegrees, and implies $H_n^{inj}(G)$ is isomorphic to the homology of the CW complex obtained by ``filling in'' subcubes of the graph. These results are applied to compute $H_2(G_n^{sph})$ for the Greene sphere graphs $G^{sph}_n$.
The $d$-dimensional realisation number of a rigid graph
Determining the number of (complex) realisations of a rigid graph for a specific choice of edge lengths is a fundamental problem in discrete geometry. In this article we provide two new tools for determining realisation numbers in arbitrary dimensions: (i) we prove that subgraph inclusion translates to realisation number divisibility; and (ii) we provide lower bounds on realisation numbers under specific graph operations in all dimensions. We use these methods to prove that every triangulated sphere with $n$ vertices has at least $2^{n-4}$ edge-length equivalent realisations in 3-dimensions, extending a 2-dimensional result of Jackson and Owen in the case of planar graphs. Additionally, our tools solve a family of conjectures set by Grasegger regarding how 1-extensions, X-replacements, and V-replacements affect realisation numbers.
Finite Free Information Inequalities
We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials. We further characterize the equality cases in our inequalities, which arise from Hermite polynomials.
Counting five-node subgraphs
For a simple undirected graph $G$, we derive exact formulae for the number of copies of each of the 21 non-isomorphic connected graphs on five vertices. For nine of these graphs (the stingray, spinning top, kite, ufo, crown, envelope, lamp, arrowhead, and cat's cradle) the resulting analytical formulae appear to provide substantially new formulations; we also identify and correct five erroneous published formulae for the 5-path, banner, and lollipop. The proofs use elementary combinatorial arguments, organized around recurring constructions based on incident structures, walks, common neighbourhoods, and neighbourhood subgraphs, several of which extend naturally to larger subgraphs. We illustrate the formulae by deriving analytical results for several regular graphs and by applying them to a real-world network, where induced five-node subgraph counts, obtained as linear combinations of general counts, are compared with Erdős-Rényi and degree-preserving null ensembles.
On Hypergraph Supports
Published
• View Publication
• BIB
Let $\mathcal{H}=(X,\mathcal{E})$ be a hypergraph. A support is a graph $Q$ on $X$ such that for each $E\in\mathcal{E}$, the subgraph of $Q$ induced on the elements in $E$ is connected. In this paper, we consider hypergraphs defined on a host graph. Given a graph $G=(V,E)$, with $c:V\to\{\mathbf{r},\mathbf{b}\}$, and a collection of connected subgraphs $\mathcal{H}$ of $G$, a primal support is a graph $Q$ on $\mathbf{b}(V)$ such that for each $H\in \mathcal{H}$, the induced subgraph $Q[\mathbf{b}(H)]$ on vertices $\mathbf{b}(H)=H\cap c^{-1}(\mathbf{b})$ is connected. A \emph{dual support} is a graph $Q^*$ on $\mathcal{H}$ s.t. for each $v\in X$, the induced subgraph $Q^*[\mathcal{H}_v]$ is connected, where $\mathcal{H}_v=\{H\in\mathcal{H}: v\in H\}$. We present sufficient conditions on the host graph and hyperedges so that the resulting support comes from a restricted family.
We primarily study two classes of graphs: $(1)$ If the host graph has genus $g$ and the hypergraphs satisfy a topological condition of being \emph{cross-free}, then there is a primal and a dual support of genus at most $g$. $(2)$ If the host graph has treewidth $t$ and the hyperedges satisfy a combinatorial condition of being \emph{non-piercing}, then there exist primal and dual supports of treewidth $O(2^t)$. We show that this exponential blow-up is sometimes necessary. As an intermediate case, we also study the case when the host graph is outerplanar. Finally, we show applications of our results to packing and covering, and coloring problems on geometric hypergraphs.
Nordhaus--Gaddum relations for degrees and connectivities under the $δ$-complement
The $δ$-complement $G_δ$ of a graph $G$ complements adjacency within each degree class and preserves adjacency between distinct degree classes. We establish sharp lower and upper additive and product Nordhaus--Gaddum bounds for the minimum degree, maximum degree, vertex connectivity, and edge connectivity of $G$ and $G_δ$. We give explicit constructions attaining all stated sharp bounds.
Counting List Colorings of Unlabeled Graphs
The classic enumerative functions for counting colorings of a graph $G$, such as the chromatic polynomial $P(G,k)$, do so under the assumption that the given graph is labeled. In 1985, Hanlon defined and studied the chromatic polynomial for an unlabeled graph $\mathcal{G}$, $P(\mathcal{G}, k)$. Determining $P(\mathcal{G}, k)$ amounts to counting colorings under the action of automorphisms of $\mathcal{G}$. In this paper, we consider the problem of counting list colorings of unlabeled graphs. We extend Hanlon's definition to the list context and define the unlabeled list color function, $P_\ell(\mathcal{G}, k)$, of an unlabeled graph $\mathcal{G}$. In this context, we pursue a fundamental question whose analogues have driven much of the research on counting list colorings and its generalizations: For a given unlabeled graph $\mathcal{G}$, does $P_\ell(\mathcal{G}, k) = P(\mathcal{G}, k)$ when $k$ is large enough? We show the answer to this question is yes for almost all graphs, in particular, for a large class of unlabeled graphs that includes point-determining graphs (also known as twin-free graphs, irreducible graphs, and mating graphs).
Covariance matrices of volume power functionals of random simplicial complexes -- an asymptotic analysis
This work analyzes and compares the asymptotic properties of the covariance matrices of vectors of volume power functionals of random Vietoris-Rips complexes, as the intensity of the underlying homogeneous Poisson point process grows. Several key results are established which, in particular, generalize well-known facts on random graphs. Findings regarding rank, definiteness, determinant, eigenspaces, and related decompositions are presented within three distinct regimes. Moreover, we derive stochastic applications of these algebraic properties, leading to interesting results for vectors of volume power functionals.
Flip Combinatorial Invariance and Weyl groups
In this work, we investigate the approach via flipclasses to the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials of all Coxeter groups. We prove the combinatorial invariance of Kazhdan--Lusztig $\widetilde{R}$-polynomials of Weyl groups modulo $q^7$ and of Kazhdan--Lusztig $\widetilde{R}$-polynomials of type $A$ Weyl groups modulo $q^8$. As a consequence, we establish the Combinatorial Invariance Conjecture for all intervals up to length 10 in Weyl groups and up to length 12 in type $A$ Weyl groups.