math.CO ↗ arXiv
5220 papers in this category
Positive Charts of Toric Varieties
We construct affine charts of a smooth projective toric variety which contain its nonnegative points, and which admit a closed embedding into the total coordinate space of Cox's quotient construction. We show that such positive charts arise from smooth subcones of the nef cone. To each positive chart we associate an algebraic moment map, the fibers of which are the critical points of a monomial function in Cox coordinates. This work provides a toric framework for the theory of $u$-equations in positive geometry.
Remarks on the inverse Littlewood conjecture
The Littlewood conjecture, proven by Konyagin and McGehee-Pigno-Smith in the 1980s, states that if $A\subset \mathbb{Z}$ is a finite set of integers with $\lvert A\rvert=N$ then $\| \widehat{1_A}\|_1\geq c\log N$ for some absolute constant $c > 0$. We explore what structure $A$ must have if $\| \widehat{1_A}\|_1\leq K\log N$ for some constant $K$. Under such an assumption we prove, for instance, that $A$ contains a subset $A'\subseteq A$ with $\lvert A\rvert \geq N^{0.99}$ such that $\lvert A'+A'\rvert \ll K^{O(1)}\lvert A'\rvert$. As a consequence, for any $k\geq 3$, if $N$ is sufficiently large depending on $k$ and $K$, then $A$ must contain an arithmetic progression of length $k$. A byproduct of our analysis is a (slightly) improved bound for the constant $c$.
A New Lower Bound for the Diagonal Poset Ramsey Numbers
Given two finite posets $\mathcal P$ and $\mathcal Q$, their Ramsey number, denoted by $R(\mathcal P,\mathcal Q)$, is defined to be the smallest integer $N$ such that any blue/red colouring of the vertices of the hypercube $Q_N$ has either a blue induced copy of $\mathcal P$, or a red induced copy of $\mathcal Q$.
Axenovich and Walzer showed that, for fixed $\mathcal P$, $R(\mathcal P, Q_n)$ grows linearly with $n$. However, for the diagonal question, we do not even come close to knowing the order of growth of $R(Q_n,Q_n)$. The current upper bound is $R(Q_n,Q_n)\leq n^2-(1-o(1))n\log n$, due to Axenovich and Winter.
What about lower bounds? It is trivial to see that $2n\leq R(Q_n,Q_n)$, but surprisingly, even an incremental improvement required significant work. Recently, an elegant probabilistic argument of Winter gave that, for large enough $n$, $R(Q_n,Q_n)\geq 2.02n$.
In this paper we show that $R(Q_n,Q_n)\geq 2.7n+k$, where $k$ is a constant. Our current techniques might in principle show that in fact, for every $ε>0$, for large enough $n$, $R(Q_n,Q_n)\geq (3-ε)n$. Our methods exploit careful modifications of layered-colourings, for a large number of layers. These modifications are stronger than previous arguments as they are more constructive, rather than purely probabilistic.
Anticoncentration of Random Sums in $\mathbb{Z}_p$
In this paper we investigate the probability distribution of the sum $Y$ of $\ell$ independent identically distributed random variables taking values in $\mathbb{Z}_p$. Our main focus is the regime of small values of $\ell$, which is less explored compared to the asymptotic case $\ell \to \infty$.
Starting with the case $\ell=3$, we prove that if the distributions of the $Y_i$ are uniformly bounded by $λ< 1$ and $p > 2/λ$, then there exists a constant $C_{3,λ} < 1$ such that \[ \max_{x \in \mathbb{Z}_p} \mathbb{P}[Y = x] \leq C_{3,λ}λ. \] Moreover, when the distributions are uniformly separated from $1$, the constant $C_{3,λ}$ can be made explicit. By iterating this argument, we obtain effective anticoncentration bounds for larger values of $\ell$, yielding nontrivial estimates already in small and moderate regimes where asymptotic results do not apply.
Fast Shortest Path in Graphs With Sparse Signed Tree Models and Applications
A signed tree model of a graph $G$ is a compact binary structure consisting of a rooted binary tree whose leaves are bijectively mapped to the vertices of $G$, together with 2-colored edges $xy$, called transversal pairs, interpreted as bicliques or anti-bicliques whose sides are the leaves of the subtrees rooted at $x$ and at $y$. We design an algorithm that, given such a representation of an $n$-vertex graph $G$ with $p$ transversal pairs and a source $v \in V(G)$, computes a shortest-path tree rooted at $v$ in $G$ in time $O(p \log n)$. A wide variety of graph classes are such that for all $n$, their $n$-vertex graphs admit signed tree models with $O(n)$ transversal pairs: for instance, those of bounded symmetric difference, more generally of bounded sd-degeneracy, as well as interval graphs.
As applications of our Single-Source Shortest Path algorithm and new techniques, we
- improve the runtime of the fixed-parameter algorithm for first-order model checking on graphs given with a witness of low merge-width from cubic [Dreier and Toruńczyk, STOC '25] to quadratic;
- give an $O(n^2 \log n)$-time algorithm for All-Pairs Shortest Path (APSP) on graphs given with a witness of low merge-width, generalizing a result known on twin-width [Twin-Width III, SICOMP '24];
- extend and simplify an $O(n^2 \log n)$-time algorithm for multiplying two $n \times n$ matrices $A, B$ of bounded twin-width in [Twin-Width V, STACS '23]: now $A$ solely has to be an adjacency matrix of a graph of bounded twin-width and $B$ can be arbitrary;
- give an $O(n^2 \log^2 n)$-time algorithm for APSP on graphs of bounded twin-width, bypassing the need for contraction sequences in [Twin-Width III, SICOMP '24; Bannach et al. STACS '24];
- give an $O(n^{7/3} \log^2 n)$-time algorithm for APSP on graphs of symmetric difference $O(n^{1/3})$.
Comparability of random permutations in the strong Bruhat order
The (strong) Bruhat order for permutations provides a partial ordering defined as follows: two permutations are comparable if one can be obtained from the other by a sequence of adjacent transpositions that each increase the number of inversions by $1$. Given two random permutations, what is the probability that they are comparable in the Bruhat order? This problem was first considered in a 2006 work of Hammett and Pittel, which showed an exponential lower bound and a polynomial upper bound. The lower bound was very recently improved to the subexponential bound of $\exp(-n^{1/2 + o(1)})$ by Boretsky, Cornejo, Hodges, Horn, Lesnevich, and McAllister. Hammett and Pittel predicted that the probability should decrease polynomially. We show that the probability decreases faster than any polynomial and is on the order of $\exp(-Θ(\log^2 n))$.
Disjoint Correspondence Colorings for $K_5$-Minor-free Graphs
Thomassen famously proved that every planar graph is 5-choosable. We explore variants of this result, focusing on finding disjoint correspondence colorings, in the more general class of $K_5$-minor-free graphs. Correspondence colorings generalize list colorings as follows. Given a graph $G$ and a positive integer $t$, a correspondence $t$-cover $\textbf{M}$ assigns to each $v\in V(G)$ a set of allowable colors $\{1_v,\ldots,t_v\}$ and to each edge $vw\in E(G)$ a matching between $\{1_v,\ldots,t_v\}$ and $\{1_w,\ldots,t_w\}$. An $\textbf{M}$-coloring $\varphi$ picks for each vertex $v$ a color $\varphi(v)$ (from the set $\{1_v,\ldots,t_v\}$) such that for each edge $vw\in E(G)$ the colors $\varphi(v),\varphi(w)$ are not matched to each other. Two $\textbf{M}$-colorings $\varphi_1,\varphi_2$ of $G$ are called disjoint if $\varphi_1(v)\ne\varphi_2(v)$ for all $v\in V(G)$. For every $K_5$-minor-free graph $G$ and every correspondence 6-cover $\textbf{M}$ of $G$, we construct 3 pairwise disjoint $\textbf{M}$-colorings $\varphi_1,\varphi_2,\varphi_3$. In contrast, we provide examples of $K_5$-minor-free graphs and correspondence 5-covers $\textbf{M}$ that do not admit 3 disjoint $\textbf{M}$-colorings.
On the Gap Structure of Generalized Stirling Numbers
Katugampola's 2015 study of generalized fractional differential operators produced triangular arrays of integer coefficients indexed by a fractional order r and by dimensions n and k, but no combinatorial interpretation has been established for any fractional order. We give the first such interpretation, with two main results: (i) a complete combinatorial interpretation for r = 1/2 and n = 1,2,3, and (ii) a rigorous proof that this interpretation cannot extend to n >= 4 within the same framework. For n = 1,2,3, we show that the coefficients for r = 1/2 count binary sequences satisfying two conditions: they contain at least one symbol B, and they have gap <= 1, where the gap is the distance between the first and last occurrence of B. Each sequence is assigned a type k by a parity-dependent rule involving the gap value, and exhaustive enumeration matches Katugampola's coefficients exactly. We then prove an obstruction theorem showing that the gap <= 1 condition forces any such model to produce at most two distinct types per row, whereas Katugampola's array requires at least three types for every n >= 4. Thus the gap <= 1 binary-sequence interpretation works if and only if n = 1,2,3. Our results turn a computational observation into a rigorous impossibility theorem and provide guidance for future attempts to obtain complete combinatorial interpretations of fractional-calculus coefficients.
A complete solution to the directed Oberwolfach problem of order $2 \pmod{4}$ with cycles of even lengths
The Oberwolfach problem asks for a $2$-factorization of the complete graph in which each $2$-factor is isomorphic to a specific factor $F$. Recently, this problem has been extended to directed graphs. In this case, the directed Oberwolfach problem asks for a directed 2-factorization of the complete symmetric digraph in which each directed $2$-factor is isomorphic to a specific directed factor $F$. In this paper, we consider the directed Oberwolfach problem with directed 2-factors comprised of cycles of even lengths. Specifically, we provide a complete solution to this particular case when the order of the complete symmetric digraph is congruent to 2 modulo 4.
Webs and smooth components of two column Springer fibers
Webs and Springer fibers are separately important objects in representation theory: webs give a diagrammatic calculus for tensor invariants of $\mathfrak{sl}_k$, and the cohomology group of Springer fibers can be used to construct the irreducible representations of the symmetric group. Fung's 1997 thesis gave the first evidence of a connection between $\mathfrak{sl}_2$ webs and Springer fibers, showing that webs naturally index and describe the components of certain "two row" Springer fibers. However, this case is known to be far from generic.
This paper deepens this connection with a similar correspondence in the substantially more complicated "two column" case. In particular, and building on works of Fresse, Melnikov, and Sakas-Obeid, we use webs to give a clean characterization of the smooth components of two column rectangle Springer fibers and a simple description of the geometry of these smooth components. We also show that the Poincaré polynomial of the smooth components is invariant under the natural dihedral action on the corresponding webs.
Some Families of Type $B$ Set Partitions Counted by the Dowling Numbers
In this paper, we study type $B$ set partitions without zero block.
Certain classes of these partitions, such as merging-free and separated
partitions (enumerated by the Dowling numbers), are investigated.
We show that these classes are in bijection with type $B$ set partitions.
The intersection of these two classes is also studied, and we prove that their block-generating polynomials
are real-rooted.
Finally, we study the descent statistics on the class of permutations obtained by flattening type $B$ merging-free partitions. Using the valley-hopping action,
we prove the Gamma-positivity of the descent
distribution and provide a combinatorial interpretation of the Gamma-coefficients.
We also show that the descent statistic is homomesic under valley-hopping.
A weighted Murnaghan-Nakayama rule for $(P, w)$-partitions
Published in European Journal of Combinatorics, Volume 134, April 2026, 104332
• View Publication
• BIB
The $(P, w)$-partition generating function $K_{(P,w)}(x)$ is a quasisymmetric function obtained from a labeled poset. Recently, Liu and Weselcouch gave a formula for the coefficients of $K_{(P,w)}(x)$ when expanded in the quasisymmetric power sum function basis. This formula generalizes the classical Murnaghan--Nakayama rule for Schur functions.
We extend this result to weighted $(P, w)$-partitions and provide a short combinatorial proof, avoiding the Hopf algebra machinery used by Liu--Weselcouch.
Veronese sections and interlacing matrices of polynomials and formal power series
The concept of a fully interlacing matrix of formal power series with real coefficients is introduced. This concept extends and strengthens that of an interlacing sequence of real-rooted polynomials with nonnegative coefficients, in the special case of row and column matrices. The fully interlacing property is shown to be preserved under matrix products, flips across the reverse diagonal and Veronese sections of the power series involved. These results and their corollaries generalize, unify and simplify several results which have previously appeared in the literature. An application to the theory of uniform triangulations of simplicial complexes is included.
Flattened Stirling Permutations
Published
• View Publication
• BIB
Recall that a Stirling permutation is a permutation on the multiset $\{1,1,2,2,\ldots,n,n\}$ such that any numbers appearing between repeated values of $i$ must be greater than $i$. We call a Stirling permutation ``flattened'' if the leading terms of maximal chains of ascents (called runs) are in weakly increasing order. Our main result establishes a bijection between flattened Stirling permutations and type $B$ set partitions of $\{0,\pm1,\pm2,\ldots,\pm (n-1)\}$, which are known to be enumerated by the Dowling numbers, and we give an independent proof of this fact. We also determine the maximal number of runs for any flattened Stirling permutation, and we enumerate flattened Stirling permutations with a small number of runs or with two runs of equal length. We conclude with some conjectures and generalizations worthy of future investigation.
Supermagic labeling of $C_n\Box C_m$
Published
• View Publication
• BIB
A supermagic labeling (often also called supermagic labeling) of a graph $G(V,E)$ with $|E|=k$ is a bijection from $E$ to the set of first $k$ positive integers such that the sum of labels of all incident edges of every vertex $x\in V$ is equal to the same integer $c$. An existence of a supermagic labeling of Cartesian product of two cycles, $C_{n}\Box C_m$ for $n,m\geq4$ and both $n,m$ even and for any $C_n\Box C_n$ with $n\geq3$ was proved by Ivančo. Ivančo also conjectured that such labeling is possible for any $C_n\Box C_m$ with $n,m\geq3$. We prove his conjecture for all $n,m$ odd that are not relatively prime.
Spectrum of $3$-uniform $6$- and $9$-cycle systems over $K_v^{(3)}-I$
Published in Discrete Mathematics 347 (3), 2024, 113782
• View Publication
• BIB
We consider edge decompositions of $K_v^{(3)}-I$, the complete 3-uniform hypergraph of order $v$ minus a 1-factor (parallel class, packing of $v/3$ disjoint edges). We prove that a decomposition into tight 6-cycles exists if and only if $v\equiv 0,3,6$ (mod 12) and $v\geq 6$; and a decomposition into tight 9-cycles exists for all $v\geq 9$ divisible by 3. These results are complementary to the theorems of Akin et al. [Discrete Math. 345 (2022)] and Bunge et al. [Australas. J. Combin. 80 (2021)].
On the inducibility problem for random Cayley graphs of abelian groups with a few deleted vertices
Published
• View Publication
• BIB
Given a $k$-vertex graph $H$ and an integer $n$, what are the $n$-vertex graphs with the maximum number of induced copies of $H$? This question is closely related to the inducibility problem introduced by Pippenger and Golumbic in 1975, which asks for the maximum possible fraction of $k$-vertex subsets of an $n$-vertex graph that induce a copy of $H$. Huang, Lee and the first author proved that for a random $k$-vertex graph $H$, almost surely the $n$-vertex graphs maximizing the number of induced copies of $H$ are the balanced iterated blow-ups of $H$. In this paper, we consider the case where the graph $H$ is obtained by deleting a small number of vertices from a random Cayley graph $\widetilde{H}$ of an abelian group. We prove that in this case, almost surely all $n$-vertex graphs maximizing the number of induced copies of $H$ are balanced iterated blow-ups of $\widetilde{H}$.
Popular progression differences in vector spaces II
Published in Discrete Analysis, 2019:16, 39 pp
• View Publication
• BIB
Green used an arithmetic analogue of Szemerédi's celebrated regularity lemma to prove the following strengthening of Roth's theorem in vector spaces. For every $α>0$, $β<α^3$, and prime number $p$, there is a least positive integer $n_p(α,β)$ such that if $n \geq n_p(α,β)$, then for every subset of $\mathbb{F}_p^n$ of density at least $α$ there is a nonzero $d$ for which the density of three-term arithmetic progressions with common difference $d$ is at least $β$. We determine for $p \geq 19$ the tower height of $n_p(α,β)$ up to an absolute constant factor and an additive term depending only on $p$. In particular, if we want half the random bound (so $β=α^3/2$), then the dimension $n$ required is a tower of twos of height $Θ\left((\log p) \log \log (1/α)\right)$. It turns out that the tower height in general takes on a different form in several different regions of $α$ and $β$, and different arguments are used both in the upper and lower bounds to handle these cases.
Cayley graphs of order 30p are hamiltonian
Published
• View Publication
• BIB
Suppose G is a finite group of order 30p, where p is prime. We show that if S is any generating set of G, then there is a hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
A first order phase transition in the threshold-$θ\ge 2$ contact process on random $r$-regular graphs and $r$-trees
Published in Stochastic Processes and Their Applications 123 (2013), no. 2, 561-578
• View Publication
• BIB
We consider the discrete-time threshold-$θ\ge 2$ contact process on a random r-regular graph on n vertices. In this process, a vertex with at least θoccupied neighbors at time t will be occupied at time t+1 with probability p, and vacant otherwise. We show that if $θ\ge 2$ and $r \ge θ+2$, $ε_1$ is small and p is at least $p_1(ε_1)$, then starting from all vertices occupied the fraction of occupied vertices stays above $1-2ε_1$ up to time $\exp(γ_1(r)n)$ with probability at least $1 - \exp(-γ_1(r)n)$. In the other direction, we show that for $p_2 < 1$ there is an $ε_2(p_2)>0$ so that if $p \le p_2$ and the number of occupied vertices in the initial configuration is at most $ε_2(p_2)n$, then with high probability all vertices are vacant at time $C_2(p_2) \log(n)$. These two conclusions imply that on the random r-regular graph there cannot be a quasi-stationary distribution with density of occupied vertices between 0 and $ε_2(p_1)$, and allow us to conclude that the process on the r-tree has a first order phase transition.