math.CO ↗ arXiv
7121 papers in this category
On $p$-Spread Measures
We study $p$-spread probability measures on the Boolean lattice. We show that if a family of sets $A$ is large under the product Bernoulli-$p$ measure, then no $p$-spread measure can be supported on sets that are not covered by the union of two members of $A$, answering the fractional version of Talagrand's discrete convexity problem. Consequently, we establish a coupling theorem between $p$-spread and product Bernoulli-$p$ measures.
The Multiorbital Bivariate Chromatic Polynomial: A Subgroup-Lattice Refinement
We introduce the multiorbital bivariate chromatic polynomial F_Γ(G;x,y) = \sum_{H\leq G}\frac{1}{|H|}\sum_{h\in H}P_{Γ/h}(x,y), which aggregates the orbital bivariate chromatic polynomials associated with all subgroups of a finite group acting on a graph. We derive the equivalent element-wise representation F_Γ(G;x,y) = \sum_{g\in G}c_G(g)P_{Γ/g}(x,y), where c_G(g) = \sum_{\langle g\rangle\leq H\leq G}\frac{1}{|H|}. The coefficient function depends only on the cyclic subgroup generated by the element and is constant on conjugacy classes. This yields decompositions by cyclic subgroups and conjugacy classes and an interpretation in terms of the incidence algebra of the subgroup lattice. After normalization, the coefficients define a probability distribution obtained by choosing a subgroup uniformly and then an element uniformly from that subgroup. We also establish diagonal multiplicativity for disjoint unions and a weighted cycle-index expression for edgeless graphs.
A further contribution concerns the distinguishing power of the orbital bivariate chromatic polynomial. We answer a question of Dohmen and Lange-Geisler affirmatively by exhibiting two non-isomorphic graphs, P_3 and K_2 \mathbin{\dot\cup} K_1 under C_2-actions, with identical orbital bivariate chromatic polynomials. The two actions nevertheless have different multiorbital bivariate chromatic polynomials. Thus the multiorbital polynomial is not determined by the orbital bivariate polynomial, whereas the converse question remains open.
Infinite series of Deza graphs with strongly regular children
A Deza graph is a regular graph in which the number of common neighbours of two distinct vertices takes at most two values, regardless of adjacency. Its children are the graphs on the same vertex set in which adjacency is determined by these two common-neighbour counts. A Deza graph is called strongly Deza if both children are strongly regular. We construct an infinite family of edge-regular strongly Deza graphs using non-degenerate quadratic forms over the field with five elements. For every odd dimension greater than three and each of the two determinant square classes, we obtain a graph on the projective points represented by vectors of norm one. Its children are complementary strongly regular graphs with the parameters of the corresponding orthogonality graph on non-isotropic points and its complement. We determine the parameters by counting solutions to systems involving the associated bilinear form. These counts also yield symmetric association schemes over finite fields of odd characteristic. Further constructions include Deza graphs in dimension four, orthogonality graphs in odd dimensions, unions of relations in even dimensions over the field with nine elements, and an odd-dimensional family over the field with thirteen elements. We also give low-dimensional examples, including one whose children are a triangular graph and its complement.
Polynomial-Time Lattice-Point Counting without Barvinok Decomposition
By using constant term manipulations, we present the first polynomial-time algorithm for lattice-point counting in fixed dimension that does not rely on Barvinok's unimodular decomposition. Our method starts from partial fraction decompositions and root-of-unity formulas for the lattice-point generating function of a rational simplicial cone. By means of a residue-lattice argument based on Minkowski's theorem, we construct a short multiplier that enables an exact recursive reduction. Smith normal form is then used to normalize the resulting child terms and restore the recursive structure. These transformations are justified by algebraic identities involving roots of binomial equations, while the algorithm itself works with integer exponent data and requires no explicit root computations. More precisely, for a rational simplicial cone \(\mathcal K\) in fixed dimension \(d\), with dual cone \(\mathcal K^*\), the algorithm achieves recursion depth \(O_d(1+\log\log(2+\ind(\mathcal K^*)))\) and produces a signed sum of at most \((1+\log\ind(\mathcal K^*))^{O_d(1)}\) unimodular cone generating functions. The framework uniformly handles numerators that are Laurent polynomials, not merely monomials, thereby giving a polynomial-time algorithm for MacMahon's partition analysis when the dimension is fixed.
A Moser-spindle-free 5-chromatic unit distance graph on 2131 vertices in the plane
With regard to the Hadwiger-Nelson problem, several 5-chromatic unit distance graphs in the Euclidean plane have been discovered in recent years. While most constructions rely heavily on the Moser spindle, a few recent examples completely avoid it, the smallest one consisting of 1441 vertices. In this note, we introduce an original geometric approach to constructing such graphs by utilizing the arcs of a 7-fold symmetric unit distance graph on 21 vertices, and obtain a Moser-spindle-free 5-chromatic unit distance graph on 2131 vertices. While this is not a record small result, it arises from a straightforward, structured rule rather than a purely automated or brute-force search.
Additive decompositions of multiplicative subgroups via differential identities
We develop a local-to-global differential framework for additive decomposition problems involving multiplicative subgroups of prime fields. Starting from Hanson--Petridis-type auxiliary polynomials, we use degree bounds, in the spirit of Stepanov's method, to lift local coefficient relations at their roots to global differential identities. This yields a unified treatment of \[
H=A+B,\qquad H\cup\{0\}=A-A,\qquad H=A\mathbin{\widehat{+}} A,\qquad H\cup\{0\}=A\mathbin{\widehat{+}} A, \] where $H$ is a proper multiplicative subgroup. This circle of problems is motivated by Sárközy's conjecture on the additive irreducibility of nonzero quadratic residues and its generalizations to multiplicative subgroups. Rudnev and Tyrrell recently classified all decompositions $H=A+B$, building on the approach introduced by Hanson--Petridis and further developed by Kalmynin.
Our framework gives a new polynomial proof of the Rudnev--Tyrrell classification and substantially streamlines the existing proofs: it gives an independent proof of Kalmynin's equal-size theorem and reduces the classification to direct coefficient comparisons, avoiding the residue-theoretic input and more elaborate arithmetic analysis of earlier proofs. It also yields a streamlined proof of Kalmynin's resolution of a conjecture of Lev and Sonn on $H\cup\{0\}=A-A$. For the two restricted-sumset problems, we obtain complete classifications, substantially improving earlier results of Shkredov and Yip. We also establish some stability refinements.
Multiplicative subgroups are not restricted sumsets
We determine exactly which proper multiplicative subgroups of a prime field can be represented as a restricted sumset of the form $A\mathbin{\widehat{+}} A=\{a+a':a,a'\in A,\ a\ne a'\}$. We prove that a proper multiplicative subgroup $H\le\mathbb F_p^*$ cannot satisfy $H=A\mathbin{\widehat{+}} A$ whenever $|H|\ge7$, and that this threshold is sharp. In fact, such a decomposition exists precisely when $|H|\in\{1,3,6\}$, and we classify all decompositions in these exceptional cases. This gives a sharp, complete resolution of the restricted-sumset analogue of the generalized Sárközy conjecture over prime fields. This significantly extends and refines previous results of Shkredov and Yip.
Stationary Online Contention Resolution Schemes: Theory and Applications to Bayesian Online Resource Allocation
Published
• View Publication
• BIB
Motivated by problems in Bayesian reusable resource allocation, we introduce the concept of stationary online contention resolution schemes (S-OCRSs). OCRSs are a central tool used to solve non-reusable resource allocation problems. They convert solutions to fluid approximations of problems into feasible online policies while approximately preserving allocation probabilities. S-OCRSs depart from standard OCRSs in that they ensure that the probability of allocating any given set of resources is independent of the arrival order of requests.
We show how S-OCRSs can be used to solve reusable resource allocation problems, and discuss a general 'maximum-entropy' approach to construct and analyze S-OCRSs. Our approach, using a unified method for a variety of feasibility constraints, obtains results that match the state-of-the-art for OCRSs, and even improves it for a bipartite matching feasibility constraint. Our results for reusable resource allocation also extend to the assortment optimization setting, and our policies can be implemented using prices.
Twin-star hypothesis and cycle-free $d$-partitions of $K_{2d}$
In this paper we study an equivalence relation defined on the set of cycle-free $d$-partitions of the complete graph $K_{2d}$. We discuss a conjecture which states that this equivalence relation has only one equivalence class, and show that the conjecture is equivalent with the so called twin-star hypothesis. We check the conjecture in the case $d=4$ and disuses how this relates to the determinant-like map $det^{S^2}$.
Oriented trees in digraphs without short non-directed cycles
The girth of a graph $G$ is the length of a shortest cycle of $G$. Jiang (JCT-B, 2001) showed that every graph $G$ with girth at least $2\ell+1$ and minimum degree at least $k/\ell$ contains every tree with $k$ edges whose maximum degree does not exceed the minimum degree of $G$. In this paper, we extend Jiang's result to digraphs by proving that every digraph $D$ with no non-directed cycle of length between $3$ and $2\ell$ and minimum semidegree at least $k/\ell$ contains every oriented tree with $k$ edges whose maximum degree does not exceed the minimum semidegree of $D$. This answers a question raised by Stein and Trujillo-Negrete in the affirmative.
Vanishing theorems for combinatorial geometries
We establish strong vanishing theorems for line bundles on wonderful varieties of hyperplane arrangements, and we show that the resulting positivity properties of Euler characteristics extend to all matroids. We achieve this by showing that every degeneration of a wonderful variety within the permutohedral toric variety is reduced and Cohen--Macaulay. The same holds for a larger class of subschemes in products of projective lines that we call "kindred," which are characterized by matroidal Hilbert polynomials. We establish positivity properties for K-rings of matroids. Our results give a new proof of the nonnegativity of the omega invariant of a matroid, in support of Speyer's f-vector conjecture, and resolve the conjecture of Tohaneanu that higher order Orlik--Terao algebras are Cohen--Macaulay.
Parameterized Complexity of Temporal Connected Components
We study the parameterized complexity of maximum temporal connected components (tccs) in temporal graphs, that is, graphs whose edges are available only at specific points in time. In a tcc, every pair of vertices must be able to reach one another via time-respecting paths. We consider both maximum open tccs (openTCC), which allow temporal paths through vertices outside the component, and closed tccs (closedTCC), which require at least one temporal path entirely within the component for every pair of vertices. We perform a comprehensive study of the openTCC and closedTCC problems with respect to both structural parameters (treewidth, pathwidth, vertex cover number) and a temporal parameter (temporal path number). We show that the exact complexity, i.e., paraNP-hardness vs XP-tractability, depends on both whether we seek an open or closed tcc and on whether the temporal graph is directed or not. Vertex cover number suffices for XP algorithms for both openTCC and closedTCC on undirected temporal graphs only, while temporal path number suffices only for openTCC in both directed and undirected temporal graphs. Our results are tight: every XP algorithm is complemented by a matching W[1]-hardness result, and for every other case we prove NP-hardness for small constant values of the parameters even on planar graphs. Finally, we prove that both problems become fixed-parameter tractable on both directed and undirected graphs when parameterized by treewidth and temporal path number together.
The 3-state Potts model on planar triangulations: explicit algebraic solution
We consider the $3$-state Potts generating function $T(ν,w)$ of planar triangulations; that is, the bivariate series that counts planar triangulations with vertices coloured in $3$ colours, weighted by their size (number of vertices, recorded by the variable $w$) and by the number of monochromatic edges (variable $ν$).
This series was proved to be algebraic 15 years ago by Bernardi and the first author: this follows from its link with the solution of a discrete differential equation (DDE), and from general algebraicity results on such equations. However, despite recent progresses on the effective solution of DDEs, the exact value of $T(ν,w)$ has remained unknown so far -- except in the case $ν=0$, corresponding to proper colourings and solved by Tutte in the sixties. We determine here this exact value, proving that $T(ν,w)$ satisfies a polynomial equation of degree $11$ in $T$ and genus $1$ in $w$ and $T$. We prove that the critical value of $ν$ is $ν_c=1+3/\sqrt{47}$, with a critical exponent $6/5$ in the series $T(ν_c, \cdot)$, while the other values of $ν$ yield the usual map exponent $3/2$.
By duality of the planar Potts model, our results also characterize the 3-state Potts generating function of planar cubic maps, in which all vertices have degree $3$. In particular, the annihilating polynomial, still of degree $11$, that we obtain for properly 3-coloured cubic maps proves a conjecture by Bruno Salvy from 2009.
Sharp Quantitative Stability for the Prékopa-Leindler and Borell-Brascamp-Lieb Inequalities
The Borell-Brascamp-Lieb inequality is a classical extension of the Prékopa-Leindler inequality, which in turn is a functional counterpart of the Brunn-Minkowski inequality. The stability of these inequalities has received significant attention in recent years. Despite substantial progress in the geometric setting, a sharp quantitative stability result for the Prékopa-Leindler inequality has remained elusive, even in the special case of log-concave functions. In this work, we provide a unified and definitive stability framework for these foundational inequalities. By establishing the optimal quantitative stability for the Borell-Brascamp-Lieb inequality in full generality, we resolve the conjectured sharp stability for the Prékopa-Leindler inequality as a particular case. Our approach builds on the recent sharp stability results for the Brunn-Minkowski inequality obtained by the authors.
Distributions of Mesh Patterns of Short Lengths on Separable Permutations
This paper contributes to the long line of research on the distribution of mesh patterns in permutations. We extend these studies to separable permutations and carry out a comprehensive analysis of mesh patterns of length at most~2. For mesh patterns of length~1, we determine the distributions for all six equivalence classes. In addition, we obtain the joint distribution for the patterns in the class containing the well-known permutation statistic known as the strict fixed point.
Furthermore, computer experiments suggest that at most 124 pairs of mesh patterns of type 12 and 21 with identical shading are equidistributed. Using symmetry operations, we partition these pairs into 38 equivalence classes with respect to distribution. By explicitly determining 24 of these distributions (in many cases, in fact, joint equidistributions of the respective pairs), we reduce the number of equivalence classes to~31, which turns out to be the true number of equivalence classes. Enumerating 14 of these classes is left as an open problem.
Higher additive energies on discrete cubes
Let $m,n\geq2$ be integers. We study the least exponent $t_{m,n}$ such that the $m$-fold additive energy of any subset $A$ of the discrete cube $\{0,1,\cdots,n-1\}^d$ in any dimension $d$ satisfies $E_m(A)\leq |A|^{t_{m,n}}$. For every fixed $m$, we obtain the asymptotic formula $$
t_{m,n}=2m-1-(1+o(1))\log_n
\frac{(2m-1)^{m-1/2}}{(2m)^{m-1}}
\qquad(n\to\infty). $$ For $m=2$, this gives $$ t_{2,n} = 3 - (1+o(1)) \log_n\frac{3\sqrt{3}}{4}, $$ proving a conjecture of the first author.
Separating Path Systems of Size at most $7.75n$
A family of paths in a graph $G$ strongly separates the edges of $G$ if for every ordered pair of distinct edges $(e,f)$ some path in the family contains $e$ and avoids $f$; the minimum size of such a family is denoted by $\operatorname{ssp}(G)$. Bonamy, Botler, Dross, Naia, and Skokan proved, for every $n$-vertex graph $G$, that $\operatorname{ssp}(G)\le 19n$; Liu, Xu, and Yang recently improved this to $\operatorname{ssp}(G)\le 10n-o(n)$. We prove, for every $n$-vertex graph $G$, that $\operatorname{ssp}(G)\le 7.75n$.
On fusion product and N!/k-conjecture
We formulate a version of Schur--Weyl duality for the current Lie algebra $\mathfrak{gl}_V[x,y]=\mathfrak{gl}_V\otimes\mathbb{C}[x,y]$. Under this duality, the Garsia--Haiman modules of the $N!$-conjecture become cyclic and cocyclic $\mathfrak{gl}_V[x,y]$-modules, and we describe them as iterated fusion and cofusion products of tautological $\mathfrak{gl}_V$-modules. We show that Haiman's $N!$-theorem for a diagram is equivalent to the coincidence of the fusion and the cofusion filtrations on the tensor product of the local Weyl modules attached to its rows, and that the fusion and cofusion products of Garsia--Haiman modules are associative. Let $λ$ and $μ$ be Young diagrams obtained by removing two different corners from the same diagram. We construct an iterated fusion product of $S^2V$ with local Weyl modules, which is a quotient of the common quotient of the Garsia--Haiman modules of $λ$ and $μ$, fits into short exact sequences with each of them, and has Butler's intersection polynomial as its character. This gives a representation-theoretic proof of Butler's conjecture. The same construction gives lower bounds for the dimensions in the $N!/k$-conjecture.
A flag refinement of the $ h^* $-formula for the hypersimplices
The hypersimplex $Δ_{k,n}$ is the convex hull of all 0/1-vectors of length $ n $ with coordinate sum $ k $. Early conjectured, and Kim proved, a combinatorial formula for the $ h^* $-polynomial of $Δ_{k,n}$ in terms of hypersimplicial decorated ordered set partitions. In this paper, we refine the Early--Kim formula to the flag $h$-numbers of the alcove triangulation of $\hyp$. We also give a representation-theoretic interpretation of its flag $f$-numbers in terms of Young permutation modules.
Pattern avoidance in alternating sign rectangles I: Extended avoidance
We introduce extendable pattern avoidance for alternating sign rectangles (ASRs), the natural rectangular generalization of alternating sign matrices (ASMs). An ASR extendably avoids a pattern $π$ if it is the upper left corner of an ASM avoiding $π$. For each of the four length-three patterns in the equivalence class $\{312, 132, 213, 231\}$ we establish a complete system of recurrence relations enumerating extendably $π$-avoiding ASRs of size $r \times k$ with a prescribed number $d$ of nonempty rows. For $π= 312$ we further conjecture a closed-form expression and prove it on several diagonal slices via bijections involving Schröder ballot numbers, refined Schröder numbers and Delannoy paths that do not cross the main diagonal vertically. For ASRs of size $(r-1) \times (r+1)$ extendably avoiding $213$ we give a bijection to little Schröder paths of length $r$. The remaining patterns of length three, $123$ and $321$, are more elusive, mirroring the situation of ASMs.