Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Clean handshake sequences
After a basketball game, each of the $n$ players on Team A must shake hands with each of the $n$ players on Team B. What is the minimum number of (reversible, ambidextrous) gloves required so that zero germ transmission occurs? We show that the answer is $3n/2+o(n)$ and develop a general theory for prescribed handshake sets.
Almost every Boolean function has central threshold degree
The polynomial threshold degree (or threshold degree) of a Boolean function is the least degree of a real polynomial whose sign represents it. We prove that almost every Boolean function has polynomial threshold degree among the central one or two integers. More precisely, a uniformly chosen Boolean function on $n$ variables has threshold degree either $\lfloor n/2\rfloor$ or $\lceil n/2\rceil$, except with probability at most $\exp(-c2^{n/2}/n)$, for an absolute constant $c>0$ and all sufficiently large $n$. The paper proves a 1991 conjecture of Aspnes, Beigel, Furst and Rudich. It also proves a 1991 conjecture of Wang and Williams for even $n$ and its main concentration assertion for odd $n$. A parity example gives a lower bound on the exceptional probability whose exponent differs from ours by a factor of order $n$. The proof relates polynomial sign representation to recovery of Reed--Muller codes from random erasures, and combines sharp-threshold estimates with bounds on generalized Hamming weights and minimum distance.
Facets of nondegeneracy: central type factor groups, Heisenberg representations and Hadamard matrices
Given a pair of complementary subgroups $P$ and $N$ of a finite group $G$, we first discuss how the same type of functions $\mathbb E\colon P\times N\to \mathbb T$, which we call bi-$1$-cocycles, appear naturally in the study of projective representations of $G$ of Heisenberg type and second cohomology of $G$ and of its dual quantum group $\widehat G$. We show then that such representations are irreducible and the corresponding ordinary and dual $2$-cocycles are nondegenerate if and only if the matrix $(\mathbb E(p,n))_{p,n}$ is invertible, if and only if it is Hadamard. We illustrate the result with examples arising from symplectic nilpotent Lie algebras over finite fields with two complementary Lagrangian subalgebras.
Turán densities of hypergraph augmentations
For a $t$-graph $F$ and an integer $r\ge t$, the \emph{$r$-augmentation} $F(r)$ is the $r$-graph obtained by adding the same set of $r-t$ new vertices to every edge of $F$. We investigate the behaviour of the \emph{Turán density $π(F(r))$}, which is the asymptotically maximum edge density of a large $F(r)$-free $r$-graph, as a function of $r\to\infty$.
Let $H_k^r$ be the $r$-augmentation of the complete $(k-1)$-graph on $k$ vertices; equivalently, $H_k^r$ is the (unique up to isomorphism) $r$-graph with $r+1$ vertices and $k$ edges. This paper determines the Turán density of each $r$-graph $H_k^r$ within a constant factor and estimates the lower bounds on $π(H_k^r)$ coming from the circular construction of Sidorenko. In particular, it is shown that if $k/\log r\to\infty$ then $π(H_k^r)=(1+o(1))k/r$.
Also, we consider augmentations of graphs (that is, the case $t=2$) and prove that $π(F(r))\ge(\log r)^{-1-o(1)}/r$ for every 3-chromatic graph $F$, which comes close to the known upper bound $1/r$. Note that, for all other graphs $F$, the function $π(F(r))$ is known to be either identically 0 or uniformly bounded away from 0.
On Densities in the Erdős-Falconer Distance Problems over the Integers
Motivated by the classical Erdős and Falconer distance problems and Magyar's work on distance sets in $\mathbb Z^d$, we study discrete analogues of the Erdős-Falconer unpinned and pinned distance problems over the integers. We ask how the discrete Hausdorff dimension of a set $A\subseteq\mathbb Z^d$ influences the size of its squared-distance sets, measured by generalized upper natural density and upper discrete mass dimension. We propose conjectures for both problems and prove the unpinned conjecture in dimensions $d=1,2,3$ and the pinned conjecture in dimensions $d=1,2$. For the unpinned problem in higher dimensions, we obtain explicit lower bounds for the dimensions of distance sets using elementary integer sphere counting, results on the Erdős distinct distances problem, and $\ell^p$-improving inequalities for discrete spherical averages. For the pinned problem, we obtain lower bounds for the dimensions of distance sets for some or every pin. We also establish more general results involving upper discrete mass dimension, upper discrete Banach dimension, and affine dimension, including bounds on the affine dimension of the exceptional set of pins. We construct examples showing that both conjectures are sharp in low dimensions. Further examples demonstrate how the distinctions among discrete Hausdorff dimension, upper discrete mass dimension, and upper discrete Banach dimension lead to different phenomena in the unpinned and pinned distance problems, including limitations on the nontrivial upper bounds these dimensions can provide for the dimensions of distance sets.
On the maximum degree and order of $K_t$-minor-free graphs with positive Lin--Lu--Yau curvature
Motivated by recent results on the order of connected graphs with positive Lin--Lu--Yau Ricci curvature under forbidden minor or forbidden subgraph conditions and minimum degree assumptions, we prove that, for every integer $t\ge 5$, every locally finite graph $G$ with no $K_t$ minor, minimum degree at least $t-1$ and positive Lin--Lu--Yau Ricci curvature on every edge satisfies \[ Δ(G)=O(t^5\log^{3/2}t). \] The minimum degree condition $t-1$ is best possible. Moreover, if $G$ is connected, then $G$ is finite and \[|V(G)|<2tΔ(G)^6=O(t^{31}\log^9 t). \]
Proper circular arc graphs are $e$-positive
We prove an $e$-positive formula for the chromatic symmetric function of proper circular arc graphs solving the $q=1$ case of a conjecture of Ellzey and of Alexandersson and Panova. In doing so, we provide a new proof of the $e$-positivity of unit interval graphs, which alongside Guay-Paquet's reduction gives a new proof of the Stanley--Stembridge conjecture. We define color matrices, which count proper colorings, and tableau matrices, whose entries are nonnegative rational numbers and ratios of elementary symmetric functions. We prove the two matrices are related by a single family of change of basis matrices, which become invertible after restricting to finitely many colors, and we show the chromatic symmetric function of proper circular arc graphs comes from taking the trace of these matrices. Using Hikita's tableaux, this gives an explicit formula for the chromatic symmetric function of a proper circular arc graph as a weighted sum over tableaux whose first and last $k$ vertices lie in the same columns.
Chvátal's conjecture: a proof from The Book
Chvátal conjectured that every downset has a maximum-size intersecting family which is a star, that is, consists of all members of the downset containing a fixed element.
Recently, Chang, Liu and Liu gave a proof of this conjecture, which follows as a corollary of more general results such as Kleitman's conjecture and a version of Kahn's conjecture (which they also prove). We give a short, direct (spectral) proof of Chvátal's conjecture, and a proof of Kleitman's conjecture along the same lines. We also prove a strengthening of Chvátal's conjecture concerning the projection packing number. Finally, we propose two spectral Chvátal conjectures which are motivated by extensive numerical experiments.
Abelian maximal pattern complexity and extremal words
In this paper, we study the Abelian maximal pattern complexity $p_α^{\ast \mathrm{ab}}(k)$, introduced by Kamae, Widmer and Zamboni, of infinite words $α\in \mathbb{A}^{\mathbb{N}_{0}}$ over finite alphabets $\mathbb{A}$.
For recurrent aperiodic words, we determine a lower bound and prove its sharpness. We further give a structural characterization of the words with minimal Abelian maximal pattern complexity.
In the general case, we prove that an infinite word $α$ is aperiodic if and only if $\binom{p_{α}^{\ast \mathrm{ab}}(k)}{2}\geq k$ for every $k.$ For aperiodic words over $\ell \geq 2$ letters, each occurring infinitely often, we further prove that $p_{α}^{\ast \mathrm{ab}}(k)\geq m$ whenever $\binom{m}{2}\leq (\ell -1)(k-\ell +2)$, for all $m,k$. Together with a matching construction, this shows that the minimum Abelian maximal pattern complexity in this class is $\sqrt{2(\ell -1)k}+O_{\ell }(1)$.
We call a word an Abelian pattern Sturmian word if, at every $k$, its Abelian maximal pattern complexity is the least positive integer $m$ satisfying $\binom{m}{2}\geq k$. We show that a word is Abelian pattern Sturmian if and only if, after relabeling its alphabet, it is the characteristic word of an infinite set $E\subset \mathbb{N}_{0}$ for which the bipartite graph on two disjoint copies of $\mathbb{N}_{0}$, with a left vertex $r$ adjacent to a right vertex $s$ exactly when $r+s\in E$, is a forest.
Erdős-Sós via random cyclic orderings
We present a simplified proof of the Erdős-Sós conjecture on trees in graphs, which is based on its recent resolution by GPT-6 Astra. At the same time, we also give another proof of the corresponding conjecture for antidirected trees in digraphs, posed by Addario-Berry, Havet, Linhares Sales, Reed, and Thomassé, and we simplify recent proofs of Kalai's conjecture for tight trees in hypergraphs. Our proof uses the language of random cyclic orderings in order to take advantage of symmetries that were obscured in the original argument, and we hope that the reader will find it intuitive. We also characterize the extremal examples for Kalai's conjecture, and we generalize it to the setting of so-called fully directed $r$-uniform hypergraphs, whose edges are ordered $r$-tuples.
Connected irregular cospectral graphs with distinct Lovász numbers
For every integer $n \geq 11$, we construct connected, irregular, nonisomorphic graphs on $n$ vertices with equal adjacency, Laplacian, signless Laplacian, normalized Laplacian, and Seidel spectra and equal independence, clique, chromatic, complement chromatic, and maximum-cut numbers, but distinct Lovász $\vartheta$-numbers. We join each graph in a fixed cospectral, nonisomorphic regular pair on ten vertices, due to van Dam and Haemers (2003), with $K_{n-10}$. We prove that these joins preserve equality of the five spectra and stated integer-valued invariants, and leave the respective Lovász numbers unchanged. We derive exact expressions for these numbers and prove that they are distinct. We also determine the cardinality-constrained maximum-cut profiles of both base graphs and their complements, yielding exact formulas and equality of maximum-cut numbers for the joins of either the base graphs or their complements with $K_{n-10}$. For $n=10$, we present a regular pair satisfying all stated properties except irregularity, followed by a connected, irregular, nonisomorphic pair satisfying all properties. An exhaustive computer search finds no connected, irregular, nonisomorphic pair on at most nine vertices sharing the first four spectra and all stated integer-valued invariants. Thus, ten is the smallest possible order, and such pairs exist for every $n \geq 10$. This extends and strengthens Sason's (2024) result for \emph{even} $n \geq 14$, which used the neighbors splitting join operation and did not address Seidel matrices, complement chromatic numbers, or maximum-cut numbers of the graphs or joins of their complements. Thus, the Lovász number efficiently certifies nonisomorphism even when all five spectra and stated integer-valued invariants coincide.
Kronecker Products, Polarity Quotients and Large Graph Constructions
In this paper, we establish a structural compatibility between the Kronecker product of bipartite graphs that admit polarity and their polarity quotients, and provide a sharp upper bound on the diameter of these graphs. We use these properties to construct new families of graphs, all of which have orders that asymptotically approach the Moore bound.
We show that the bipartite compatibility graphs have a natural polarity, and that the corresponding polarity quotients comprise a new family of graphs of any even diameter $2k$ with degree $(q+1)^k$ for any prime power $q$, much smaller than those of other known families of that diameter and field order $q$. These families generalize the Erdős-Rényi-Brown polarity graphs. Kronecker products of these polarity quotients give another new family of graphs of any even diameter for every pair of prime powers $q,r$.
Certain generalized polygons are known to admit polarity with polarity quotients approaching the Moore bound asymptotically. Kronecker products of these polarity quotients give another new family of graphs of diameters $2$, $3$ and $5$, including a diameter-$3$ degree-$18$ graph of order larger than any previously known for that degree and diameter.
A proof of the 3-Decomposition Conjecture
We prove the 3-Decomposition Conjecture: every finite connected cubic loopless multigraph decomposes into a spanning tree, a 2-regular subgraph, and a matching. The proof rests on a new theorem on matching complements in subcubic graphs. Let H be a finite connected bridgeless simple graph of maximum degree three, and let S be its set of degree-two vertices, with |S| = k >= 2. We show that H has a matching of size equal to its cyclomatic number, |E(H)| - |V(H)| + 1, whose deletion leaves a single tree containing all of S, together with cycles disjoint from S. The proof is by induction on k.
Eventual polynomiality and dualities of relative Ehrhart functions
Classical Ehrhart theory measures the discrete capacity of a convex rational (or integral) polytope $P$ by counting the number of lattice points in the $t$-th dilate $tP$ of $P$. In this paper, we extend this paradigm by replacing a lattice point with a geometric object $Q$ of dimension at most $\dim P$. We show that the counting function $\mathrm{ehr}(P,Q;t)$ of such valid translations of $Q$ into $tP$ inherits eventual quasi-polynomiality (or eventual polynomiality) with leading term $\mathrm{vol}(P)t^d$, where $d = \dim P$. This result is naturally derived by induction on the dimension, based on the classical quasi-polynomiality (or polynomiality) of Ehrhart functions. Similarly, replacing $P$ with its relative interior $P^\circ$ defines $\mathrm{ehr}^\circ(P,Q;t)$, which is also shown to be an eventual quasi-polynomial (or eventual polynomial). Furthermore, we prove several formulas for relative Ehrhart functions under the condition that $P = kP_0$ and $Q = lQ_0$ for some integers $k$, $l > 0$, and polytopes $P_0$ and $Q_0$ with $\dim Q_0 > 0$ such that $Q_0$ is inscribed in $P_0$. In particular, we prove that under this condition, $\mathrm{ehr}(P,Q;-t) = (-1)^{d}\mathrm{ehr}^\circ (P,Q;t+ρ)$ $(t \gg 0)$ holds for some integer $ρ> 0$ if and only if $k \mid 2l$ via the classical Ehrhart--Macdonald reciprocity law. We also prove that under the same condition, $\mathrm{ehr}(P,Q;t) = \mathrm{ehr}^\circ (P,Q;t+σ)$ $(t \gg 0)$ holds for some integer $σ> 0$ if and only if $\mathrm{ehr}^\circ (P_0;\mathrm{codeg}\,P_0) = 1$ and $k \mid \mathrm{codeg}\,P_0$.
On the Realizability of Edge-Girth Sequences
The edge-girth of an edge $e$ in a simple connected graph is the length of a shortest cycle containing $e$, with $g_e = \infty$ if no such cycle exists, and the edge-girth sequence of a graph is the nondecreasing sequence of the edge-girths of its edges. We characterize the sequences that are realizable as the edge-girth sequence of a simple connected graph. A constant sequence $(g^{(m)})$ with $g$ finite and $m \geq 1$ is realizable if and only if $m = g$ or $m \geq \lceil 3g/2 \rceil$. Otherwise, writing $S = S_0 \uplus (g^{(m)})$, where $g$ is the maximum value of $S$ and $m$ its multiplicity, we prove that $S$ is realizable if and only if $S_0$ is realizable and $m$ lies in an explicit set determined by $g$ and by the maximum diameters of the graphs realizing $S_0$, alone or extended by fewer than $g$ edges of edge-girth $g$. The proof rests on a chaining lemma, which turns a shortest cycle of a realization into a lower bound on the maximum diameter of the realizations of a shorter sequence.
Quartic Fourier-Laplace limits for $(p,q)$-Rogers-Szegő polynomials
We prove asymptotic formulae for $(p,q)$-Rogers--Szegő polynomials with positive real parameters when the leading quadratic term in the logarithmic expansion about the middle coefficient vanishes. For coefficient indices whose distance from $n/2$ is of order $n^{3/4}$, the coefficient ratios have a quadratic--quartic exponential limit. A uniform bound valid for all indices allows the ratios to be summed and gives locally uniform convergence of the centred and normalised generating polynomials to a Fourier--Laplace integral. We also obtain an asymptotic formula for the sum of the coefficients, convergence of all rescaled moments, weak convergence of the normalised coefficient measures, and convergence with multiplicity of the zeros near $w=1$ for which $n^{3/4}\log w$ remains bounded.
On $(p,q)$-binomial coefficient ratios for complex parameters
We prove local asymptotics for near-central complex $(p,q)$-binomial coefficient modulus ratios allowing an imaginary parameter perturbation of order $n^{-3/4}$ at a $\sqrt{n}$ length scale from the centre. Moreover, we obtain ratio asymptotics for a smaller imaginary perturbation of order $n^{-5/4}$ at the length scale $n^{3/4}$. These results were obtained by reducing the two-parameter coefficients to just one parameter, giving a branch-free logarithmic representation of the second-order ratio and, hence, uniform complex curvature asymptotics for near-central ratios.
On $4$-perfect-matching covers of cubic graphs with two adjacent odd circuits in a $2$-factor
Let $G$ be a cubic graph admitting a $2$-factor consisting of exactly two odd circuits, and let the complementary $1$-factor contain precisely three spokes (along with an arbitrary number of chords). We show that four perfect matchings can cover $G$. As a consequence, $G$ fulfils the $7/5$-Conjecture of Alon and Tarsi.
Signless Laplacian spectral radius of simplicial complexes without $r$-dimensional wheels
An $r$-dimensional wheel is defined as the join of an $(r-2)$-simplex and a cycle. In this paper, we study the maximum signless Laplacian spectral radius of $n$-vertex $r$-dimensional pure simplicial complexes that contain no $r$-dimensional wheels. For sufficiently large $n$, we determine the extremal complexes that attain this maximum. Our result generalizes the corresponding extremal results of signless Laplacian on graphs and provides a spectral anlogue of a theorem of Brown, Erdős and Sós on the maximum number of facets of simplicial complexes in the case $r=2$.
On Stanley-Reisner Rings with Minimal Betti Numbers
We study simplicial complexes with a given number of vertices whose Stanley-Reisner ring has the minimal sum of Betti numbers. We prove that every full subcomplex of them is homotopy equivalent either to a point or to a sphere. Moreover, we prove that such kind of simplicial complexes coincide with those having minimal Taylor resolutions.