Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Modular Nahm Sums for the Inverse Cartan Matrix of Type $D_r$
For $r\geq 3$ we denote by $\mathcal{C}(D_r)$ the Cartan matrix of type $D_r$. Recently, Sun and Wang conjectured a Rogers--Ramanujan type identity for the Nahm sum associated with $\mathcal{C}(D_r)^{-1}$ and the zero vector. They further conjecture that there exist $r-1$ companion modular Nahm sums associated with nonzero vectors. We partially prove this conjecture by constructing $\lfloor (r+4)/2\rfloor$ modular Nahm sums for $\mathcal{C}(D_r)^{-1}$. To prove their modularity, we utilize the method of Bailey pairs to establish various Rogers--Ramanujan type identities. In particular, we confirm their conjectural identity.
Sandpile groups of random bipartite graphs and families of distributions with the same moments
Recently, there has been significant interest in applying the method of moments developed by Wood and others to study distributions of finite abelian groups that arise in number theory and combinatorics. When the moments do not grow too fast, they determine a unique distribution. We construct large families of distributions that have the same moments. These families include several distributions that arise naturally in the study of sandpile groups of families of random graphs. Wood determined the distribution of Sylow $p$-subgroups of sandpile groups of Erdős--Rényi random graphs. This was extended by Mészáros to sandpile groups of random $d$-regular graphs, who observed an interesting special case when $d$ is even and $p = 2$. We study Sylow $p$-subgroups of sandpile groups of random bipartite graphs and similarly find a special case for $p =2$. Although this distribution differs from that of Mészáros, we show that they have the same moments and fit into our broader construction. To compute the moments of the distributions we study, we apply combinatorial tools from the theory of Hall--Littlewood functions.
Perfect Matchings with Prescribed Differences Beyond Hall: The Two-Hole Problem
The Balister--Győri--Schelp (BGS) conjecture asks whether every zero-sum list of $2^{s-1}$ nonzero vectors in $\mathbb{F}_2^s$ is the prescribed-difference profile of a perfect matching. The conjecture remains open in general, whereas the classical Hall hyperplane case is solved when all prescribed differences cross between two affine copies of a hyperplane. We isolate the smallest mixed case beyond Hall: exactly two prescribed differences are internal. Although only two requests have changed type, the complete Hall permutation is replaced by a prescribed-difference bijection between two punctured copies of the hyperplane, with two unknown deleted vertices on each side. We call this the two-hole problem.
We develop a new combinatorial method for prescribed-difference matchings, based on counting and the character structure of the binary vector space. Unlike the known Hall-type methods, which construct a matching through a sequence of local algorithmic choices, our approach proves existence through a global noncancellation phenomenon. This loss of algorithmic structure is compensated by a different advantage: the method can retain global boundary information that local exchanges do not control. As a first application, it gives a new proof of the binary Hall theorem, and it then yields a complete solution of the two-hole problem with no multiplicity assumption. We also give direct constructive proofs for symmetric even-multiplicity two-hole and four-hole families. More broadly, the new technique provides a framework for studying further subfamilies of the BGS problem by measuring how far their matching structure departs from the Hall case.
Two-block cycles and chromatic number of Hamiltonian digraphs
Let $k$ and $\ell$ be positive integers. The family $C(k,\ell)$ consists of all digraphs obtained from two internally vertex-disjoint directed paths of lengths at least $k$ and $\ell$, respectively, and identifying their initial vertices and their terminal vertices. Addario-Berry, Havet and Thomassé (JCT-B, 2007) asked whether, for any positive integers $k$ and $\ell$ with $k+\ell \ge 4$, the chromatic number $χ(D)$ is at most $k+\ell-1$ for every $C(k,\ell)$-free strongly connected digraph $D$. Let $D$ be a $C(k,\ell)$-free Hamiltonian digraph. Kim, Kim, Ma and Park (JGT, 2018) showed that $χ(D) \le k+\ell$ and the bound is attained when $k+\ell=5$. In this paper, we prove that $χ(D) \le k+\ell-1$ for $k+\ell\ge 6$ and this bound is best possible for all $k+\ell\geq 6$, which resolves the problem posed by Addario-Berry, Havet and Thomassé for Hamiltonian digraphs.
Twofold universality of large-$N$ melonic random tensors
We construct a measure that exhibits two aspects of a new type of universality and dramatically simplifies the integration of tensors $T_{a_1,a_2,\ldots,a_D} \in \mathbb{C}$ ($a_1,\ldots,a_D=1,\ldots,N$) at large $N$. In contrast to matrix integration, in which matrix traces canonically yield the integrand, tensors need additional information (equivalent to a $D$-coloured graph $B$) to contract their indices and form a tensor trace $B(T)$. We show that, whenever each $B_1,\ldots, B_n$ can be obtained by a recursive construction known as melonicity, then the leading order in $N$ of the integral of $ {B_1}(T) {B_2}(T) \cdots {B_n}(T) $ is independent of the -- often intricate -- combinatorics of the traces $B_i$, but also, to our surprise, independent of $D$ as far as $D\geq 3$. Instead, at large $N$, these integrals are some functions (indexed by $n$) of the number of vertices $2p_i$ of $B_i$ which we call melonic polynomials. Melonic traces cumulants with respect to any ('interacting') measure \[ \exp\Big\{-N^{D-1} \sum_{i=1}^m g_i {B_i}(T)\Big\} \mathrm{d}μ_0(T) \quad (g_1,\ldots,g_m \in \mathbb{R}, \mathrm{d}μ_0(T) =\text{the tensor Gaussian}) \] with each $B_i$ melonic, can be computed with our universal measure that replaces each $B_i$ by a canonical trace depending only on $p_i$. We prove that any two melonic tensor models are indistinguishable at large-$N$, independently of the number of tensor indices (first universality aspect), and of the fine-grainedness of their interactions (second universality), being a sufficient condition that the couplings (the parameters $g_i$ above) agree and their respective traces are monomials with the same degree in $T$.
Gilbreath's conjecture: a Cramér random model and a deterministic analysis
Gilbreath's conjecture asserts that if one starts with the sequence of primes and takes successive absolute differences to create a triangular array, then the left diagonal of this array consists entirely of ones after the first row. In this paper, we show that the analogue of this conjecture for a Cramér random model holds, in which the (normalized) prime gaps are replaced by independent random variables with geometric distributions of logarithmic size. We also give some preliminary analysis of the associated continuous probabilistic model for this problem, as well as a deterministic "inverse theorem" that isolates the specific obstructions to Gilbreath's conjecture (assuming a Cramér type bound on prime gaps), namely long blocks of zeroes, or very long shallow $\{0,d\}$-valued blocks for some $d \geq 2$.
Discrete Faà di Bruno via Möbius Inversion
We approach discrete and differential Faà di Bruno formulas from a Möbius inversion angle. On the Boolean cube, Newton's discrete Taylor formula and the definition of iterated forward differences form a zeta--Möbius dual pair, and composing two Taylor expansions and inverting once yields a closed discrete Faà di Bruno formula at a fixed basepoint: for arbitrary maps $f, g$ between abelian groups, $$ Δ(f \circ g;\,x;\,u_1,\dots,u_k) = \sum_{H \in \mathrm{Cov}(k)} Δ(f;\,g(x);\,(Δ(g;x;u_T))_{T\in H}), $$ where $\mathrm{Cov}(k)$ denotes the coverings of $[k]$ by nonempty subsets. Grouping repeated directions gives binomial versions on multi-index grids, and iterating gives formulas for $m$-fold composites, with integer covering coefficients governed by explicit cross and level recursions, a discrete analogue of the Constantine--Savits formulas.
The relationship between coverings and partitions appearing in classical Faà di Bruno formulas is exhibited in an algebraic setting. The discrete formulas are Taylor expansions over the function algebra of the Boolean cube, whose idempotent generators absorb overlapping products; in the differential analogue nilpotent generators annihilate overlaps and only partitions remain.
We demonstrate how these algebraic identities can be lifted to the analytical setting of $C^n$ maps between Banach spaces, recovering the multivariate Faà di Bruno formula of Constantine--Savits and extending it to composites of several maps. Boolean finite differences, binomial grid formulas, infinitesimal Taylor algebras, and Fréchet derivatives thus appear as four realizations of one Möbius-dual Faà di Bruno formula, connected by a flat family.
Combinatorial constructions of Schubert subspace codes
We study Schubert subspace codes, which are constant-dimension subspace codes with prescribed intersection conditions with a fixed subspace. Our goal is to construct codes of maximum possible size in the extremal distance cases where a natural counting upper bound applies. We give two families of constructions. The first one uses a direct-sum decomposition of the ambient space, together with partial spreads and colorings of powers of $q$-Johnson graphs. For this construction, we also prove necessary conditions, which show how chromatic and clique obstructions arise. The second family is obtained by field reduction from evasive and scattered subspaces over extension fields. This gives codes whose size can be computed exactly in the scattered case and recovers the only previously known construction as a special case.
Separation profiles of hyperbolic planar and apex-minor-free graphs
We show that the separation profile of a hyperbolic planar graph and, more generally, a hyperbolic apex-minor-free graph, grows at most logarithmically, answering a question of Benjamini, Schramm, and Timár in the affirmative.
On Two Combinatorial Inequalities That Explain the Blimpy Shape of Heady-s and Taily-s Bit Strings
We prove two inequalities introduced in our prior study of the graphical shape of the number of bit strings with a given score under an interesting scoring system. Generating functions are used to establish the inequalities, which in turn imply two of the salient graphical features, uni-modality near the zero score and shape asymmetry for positive versus negative scores. One inequality provides a lower bound on the expected value of a discrete random variable with probabilities proportional to a product of two binomial coefficients. The other inequality states that the expected value with respect to near central binomial coefficients of other binomial coefficients lying on an oblique ray in Pascal's triangle exceeds the expected value along an adjacent parallel ray to its left.
On the recolorability of $(2K_2, K_4)$-free graphs
Given a graph $G$ and an integer $\ell>χ(G)$, the reconfiguration graph of the $\ell$-colorings of $G$ has as its vertices as the proper $\ell$-colorings of $G$, with an edge between two colorings whenever they differ on exactly one vertex. We say that $G$ is \emph{recolorable} if this reconfiguration graph is connected for every $\ell>χ(G)$. Belavadi and Cameron determined which $(F_1,F_2)$-free graphs are recolorable whenever $F_1$ and $F_2$ are graphs on at most four vertices, with the single exception of $(2K_2,K_4)$-free graphs. Gaspers and Huang showed such graphs are $4$-colorable. The $3$-colorable case within this class has also been resolved, leaving the open question of whether every $(2K_2,K_4)$-free graph with chromatic number $4$ is recolorable. In this paper, we provide evidence toward an affirmative answer by establishing recolorability for three subclasses: $(2K_2,K_4,C_5)$-free graphs, $(2K_2,K_4,H_a,H_b)$-free graphs for any distinct $a,b\in \{2,3,4\}$, and $(2K_2,K_4,H_4)$-free graphs containing an induced $W_5$, where $H_i$ denotes the unique $2K_2$-free graph obtained from a $W_5$ by keeping exactly $i$ edges from the universal vertex to the cycle.
An edge-bicolored graph approach to the Ising model on random regular graphs
We give an exact solution of the ferromagnetic Ising model on a random regular graph ensemble via analytic combinatorics. Expressing the partition function as the generating function of labeled edge-bicolored graphs, we obtain the free energy in the thermodynamic limit from the asymptotic enumeration of these graphs. A simple analysis of the resulting formula reveals a second-order phase transition with critical exponents of the mean-field universality class.
The Antipodes of $q$-Quasi-Symmetric Functions and Non-Commutative Quasi-Symmetric Functions
We prove the antipode formula for the $q$-deformations of quasi-symmetric functions. We also define a fundamental basis for non-commutative quasi-symmetric functions, and establish a partial antipode formula there. Our method also reduce to a new proof for the known antipode formula on the usual quasi-symmetric functions.
A majorization relation for a sum of two tensor products of positive semidefinite operators
We use linear programming to prove a separable version of Ky Fan's majorization relation for a sum of two operators that are each a tensor product of $n$ positive semidefinite operators. We give an example showing that such a relation does not hold in general for sums of three or more tensor products of three or more positive semidefinite operators.
Minimal Isometric Embeddings of Graphs into Cayley Graphs of Finite Abelian Groups
We study when, and how compactly, a finite connected graph (G) embeds isometrically into a Cayley graph of a finite abelian group. The classical theory of partial cubes answers this for isometric subgraphs of hypercubes through the Djokovic-Winkler relation (θ); we extend the question to the full family of abelian Cayley graphs, whose hosts may carry composite generators and cyclic factors of any order. We introduce an involutive edge relation (\varphi), defined by two simultaneous distance equalities, which coincides with (θ) exactly on partial cubes and remains informative beyond them, together with an oriented relation (Φ) for non-involutive hosts, where generator classes are constrained to be partial permutations rather than matchings.The central result is a quotient labeling theorem: for any partition of the edge set into candidate generator classes, the most generic consistent vertex labeling is the quotient of the free module on the classes by the lattice of signed cycle-class incidences, computed by the Smith normal form; the binary case is its reduction modulo two. We prove that the finest partition always yields an isometric labeling, that compactifying the resulting universal group is itself an instance of the same quotient construction, and that the whole construction is algorithmic and certifiable. Worked examples include the triangle, the Petersen graph (embedding into the Clebsch graph of order 16), the Pappus graph (a 1024-fold compaction), and the diamond (a non-diagonal fold). Sharp dimension bounds and an exhaustive census of small graphs are developed in a companion paper. 2020 MSC: 05C12, 05C25, 20K01, 05C50
Modular Constructions of g-Golomb Rulers
A set \(\mathcal{G}\) of integers is a \(g\)-Golomb ruler if each positive difference appears at most \(g\) times between any 2 elements of the set, and \(G(g,n)\) denotes the minimum diameter of such a ruler with \(n\) marks. We prove a general lemma for passing from certain modular constructions to ordinary \(g\)-Golomb rulers. The key point is that, in a modular \(g\)-Golomb ruler, no cyclic gap length can occur more than \(g\) times. This gives a larger guaranteed cut than the previous average gap argument. We apply this lemma to cyclic relative difference sets, Singer sets, Ruzsa--Spence rulers, and Paley quadratic residues to provide many competing constructions for \(g\)-Golomb Rulers. A computation on the grid \(1\le g\le500\), \(n=g+b\), \(2\le b\le500\), compares the four resulting construction families.
Dimension and Order Bounds for Isometric Embeddings of Graphs into Abelian Cayley Graphs, and the Abelian Dividend
We investigate the minimum size of finite abelian Cayley graphs that admit an isometric embedding of a finite connected graph. While every connected graph on n vertices embeds isometrically into a binary Cayley graph of dimension at most n-1, the smallest possible abelian host has remained largely unexplored. We establish fundamental lower bounds showing that every binary host has dimension at least max(diam(G), floor(log2 n)), whereas every finite abelian host has order at least max(n, 2^diam(G)). Moreover, we prove that the minimum host order equals n if and only if G is itself an abelian Cayley graph. Exact binary dimensions are obtained for several important graph families. Hypercubes, complete graphs of order 2^k, and even cycles attain the lower bound. For stars we prove k_min(K1,q)=floor(log2 q)+1 using maximum sum-free sets, yielding an exponential improvement over the naive and isometric dimensions. For odd cycles we prove k_min(Cm)=m-1 for all m<17 and reduce the general case to a cyclic-interval lemma, showing that the universal upper bound is tight. Our computational contribution is a certified exhaustive census of all 995 connected graphs with 2<=n<=7 vertices under general abelian compactifications. The data reveal an "abelian dividend": 569 graphs (57 percent) admit a strictly smaller abelian host than the best binary host, 707 (71 percent) admit an optimal host containing a cyclic factor Zm with m>2, and only 17 graphs attain the theoretical order floor max(n,2^diam(G)). These results demonstrate that compact non-binary abelian hosts are typical rather than exceptional, while binary hosts remain the universal worst-case construction. 2020 MSC:05C12, 05C25, 05C30, 11B75, 20K01
On the largest size of sum-free sets in symmetric regions
A subset $S$ of a group $G$ is said to be sum-free (resp. $Δ$-free) if there are no solutions to $a+b=c$ (resp. $a+b+c=0$) with $a,b,c\in S$. For a convex region $R\subset\mathbb{R}^d$, let $σ(R)$ denote the maximal proportion of the volume of $R$ that a sum-free subset of $R$ can occupy.
We prove that $σ([-1,1]^d)=1/2$. Our proof employs a careful application of the Brunn-Minkowski inequality. Moreover, for the $d$-dimensional Euclidean ball $\mathbb{B}^d(0,1)$, we show that $σ(\mathbb{B}^d(0,1))\leq 1/2+o_d(1)$. We present two arguments for this. The first combines some routine harmonic analysis on the sphere with known bounds on values of the ultraspherical polynomials. The second more elementary argument proceeds by establishing that the maximal $Δ$-free subset of the unit sphere $\mathbb{S}^{d-1}$ occupies $1/2+O(d^{-1})$ of the sphere's surface measure. This answers a question raised by Bukh.
An Upper Bound on the Hat Guessing Number of Graphs
The hat guessing number $HG(G)$ of a graph is defined by the following game: each player is placed on a vertex and assigned a hat with one of $k$ colors. Each vertex can see only the hat color of the other vertices it is connected to in $G$. All vertices guess, simultaneously, the color of their own hat. The hat guessing number $HG(G)$ is the largest $k$ such that the players can guarantee that at least one of them guesses correctly. In this paper, we show a general bound on the hat guessing number of a graph $G$ as a function of its order $n$ and its maximum degree $Δ$. This is the first nontrivial upper bound on $HG(G)$ as a function of $Δ$ and $n$ when $Δ\geq \frac{n}{e}$. From this result we also obtain that the hat guessing number of the random graph $G_{n,1/2}$ is at most asymptotically $cn$ for $c\sim 0.809$, and that graphs with maximum degrees of $ (1-\varepsilon )n$ for fixed $\varepsilon>0$ cannot have $HG(G)=(1-o(1))n$.
An Erdős-Pósa theorem for cycles and faces of distinct lengths
We show that for every $k \in \mathbb{N}$, every graph $G$ contains $k$ vertex-disjoint cycles of different lengths, or there exists a set $X \subseteq V(G)$ with $|X| \in \mathcal{O}(k^6\mathsf{polylog}(k))$ such that $G-X$ has at most $k-1$ cycle lengths.
We also prove analogous results for facial lengths of embedded graphs. Let $G$ be a graph with a closed 2-cell embedding $ψ$ on a surface $Σ$ of Euler genus $g$, let $c$ be a colouring of the faces $\mathcal{F}(ψ)$ of $ψ$, and let $R(G,ψ)$ be the radial graph of $(G, ψ)$. Then there exist $k$ faces $F_1, \ldots , F_k \in \mathcal{F}(ψ)$ that are given pairwise distinct colours by $c$ and are pairwise at distance at least $d$ in $ψ$, or there exists a set $X \subseteq V(G)$ of order at most $\mathcal{O}(k^2dg)$ such that $|\{ c(F) \mid F \in \mathcal{F}(ψ) \text{ and } V(F) \cap \bigcup_{x \in X} N^d_{R(G,ψ)}(x) = \emptyset \}| \leq k(k+2)$.
Finally, using a result from additive combinatorics, we show that there are subdivided ladders with only a small number of cycle lengths. This suggests that it may be difficult to improve our bounds.