math.CO ↗ arXiv
5274 papers in this category
Singularities of star cluster algebras
We introduce the class of star cluster algebras and classify their singularities. Then we focus on the combinatorial structure of the desingularization by determining the number of irreducible centers that are blown up.
An Independent Border-Free Type-A Cover of Q221 and Improved Asymptotic Bounds for Queen Domination
The queen's graph $Q_n$ has the squares of the $n\times n$ chessboard as vertices, with adjacency defined by a common row, column, or diagonal. We give an explicit set of 111 pairwise nonattacking queens on $Q_{221}$. The set contains no queen on an outer row or column and satisfies the original type-A 1-cover conditions of Ostergard and Weakley with parameters $(e,f,u)=(24,23,31)$. A direct enumeration checks all $221^2=48{,}841$ board squares and finds none uncovered. The lower bound of Finozhenok and Weakley therefore gives $γ(Q_{221})=i(Q_{221})=111$. Neuhaus previously established the equality for ordinary domination. The no-edge-square branch of the type-A amplification theorem gives $γ(Q_N)\leq(112/221)N+O(1)$ and $i(Q_N)\leq(113/221)N+O(1)$. These coefficients improve, respectively, the coefficients $30/59$ and $91/177$ stated by Neuhaus. We also describe the exact four-family matching model used to obtain the certificate. An assignment-dual identity gives a lossless reduced-cost deletion rule, and alternating allowed-edge tests give a second lossless reduction. The complete coordinates, two independently implemented standard-library certificate verifiers, and a deterministic reduction audit accompany the manuscript.
Multiplicative comparisons of Rényi entropies for weighted Bernoulli sums
We establish improved multiplicative bounds relating the Rényi entropies of different orders for weighted sums of independent Bernoulli random variables. In particular, we prove a logarithmic bound between the zeroth-order and infinity-order Rényi entropies, which yields a polynomial improvement over the square-root bound of Jain, Sah, and Sawhney. Additionally, we obtain explicit constant-factor bounds for comparisons among Rényi entropies of nonzero orders.
Points of maximal traffic on a grid with obstruction
For $n\in\mathbb{N}$, we consider the set of lattice paths from $(0,0)$ to $(n,n)$ using only unit north and east steps. Given a point $B$ to be avoided, we ask: at which point $A$ on the grid with corners $(0,0)$ and $(n,n)$, different from the endpoints, does the largest number of $B$-avoiding lattice paths pass through? We show that for $n\ge 9$, regardless of the location of $B$, the maximum is attained at one of ten specific points clustered near the two endpoints of the grid. This stability, however, conceals an interesting anomaly. When the obstruction $B$ lies on the antidiagonal $x+y=n$, the points of maximal traffic migrate from the near-corner points $(1,1)$ and $(n-1,n-1)$ to boundary points in the set of possible maximizers. The migration occurs for every $8\le n\le 375$, and intermittently up to $n=495$. We conjecture that the anomaly disappears for $n\ge 496$.
Folded-Algebraic Matroids: Characteristic Rigidity and Almost-Entropic Separation
We introduce folded-algebraic matroids. In such a representation, every matroid element is replaced by a finite tuple of algebraic quantities, and transcendence degree agrees with matroid rank after one uniform scaling. The resulting class contains both algebraic and folded-linear matroids and is contained in the class of almost-entropic matroids, whose rank functions are limits of scaled entropy functions. We prove that the latter containment is proper. Our main result concerns the classical rank-three matroids $M(p)$ of Gordon. For every prime $p$, we show that $M(p)$ has a folded-algebraic representation over a field $K$ if and only if $K$ has characteristic $p$. We then use a point-identification construction that preserves almost-entropicity to obtain a $13$-element rank-three $3$-connected matroid $C_{2,3}$ that is almost entropic but not folded algebraic. Choosing a common element as dealer also yields a connected $12$-participant port with incompatible characteristic requirements. Finally, we record compact explicit witnesses and size bounds for several other separating regions among the representation classes.
Double basic hypergeometric sums via a regularized Jackson $q$-integral
Using the Andrews--Askey integral, we derive a holomorphic extension formula for a Jackson $q$-integral. This formula allows identities established for terminating specializations to be continued to the nonterminating case. Our first application yields two companion binomial-type double-sum formulas. The second formula contains, as special cases, the nonterminating Sears--Carlitz transformation of Gasper and Rahman and Rahman's generating function for the Askey--Wilson polynomials. Applying the same method to the $q$-Chu--Vandermonde and Rogers' ${}_6φ_5$ summations, we obtain two further integral representations for double sums of basic hypergeometric type. A balanced ${}_4φ_3$ specialization of the latter identity is equivalent, via Sears' transformation, to the double-series transformation of Ismail, Rahman, and Suslov.
On the Generating Graph of Finite Abelian Groups
The generating graph $Γ(G)$ of a group $G$ is the graph whose vertex set is $G$, where two distinct vertices are adjacent if and only if they generate $G$. In this paper, we systematically study the structure of generating graphs of finite abelian groups (non-cyclic) and determine the set of all generating pairs. Moreover, we give some structural characterizations, in particular, we determine conditions under which $Γ(G)$ is regular, characterize when the isolated vertices form a subgroup, and establish necessary and sufficient conditions for two non-isomorphic finite abelian groups $G$ and $H$ to satisfy $Γ(G)\cong Γ(H)$. Furthermore, we compute the spectra of the adjacency and Laplacian matrices of these graphs.
Subleading Collinear Limits of Yang-Mills Amplitudes from Gravity
We show that the subleading collinear sector of Yang-Mills (YM) amplitudes is controlled by ordinary Einstein-Yang-Mills (EYM) amplitudes and their higher-derivative corrections. The complete set of strict subleading collinear limits associated with an equal-helicity collinear pair can be extracted from open-closed string disk amplitudes. The latter generate $\frac12 (n-3)!$ BCJ-like relations with non-linear kinematic coefficients, reducing the $(n-3)!$ collinear data to a basis of dimension $\frac12 (n-3)!$. This reduced basis can be represented by gravitational amplitudes in EYM theories and by their higher-derivative open-string corrections. At multiplicity $n$ this gravitational basis consists of the $(n-4)!$ independent EYM subamplitudes together with $\frac12 (n-5)(n-4)!$ higher-order corrections involving one graviton and $n-2$ gluons. The resulting decomposition is governed by unsigned Stirling numbers of the first kind: the ordinary EYM amplitudes correspond to the sector $\left[{n-3\atop 1}\right]$, the higher-order BCJ-like relations to even sectors $\left[{n-3\atop 2j}\right]$, and the higher-derivative EYM corrections to odd sectors $\left[{n-3\atop 2j+1}\right]$ with $j\geq 1$.
Varieties of chain complexes and mixed dimer covers
A quiver representation consists of a collection of vector spaces along with a set of arrows, which are linear maps between these spaces. In this work, we study quiver representations in equioriented type $A$ which are also chain complexes; that is, in which consecutive arrows compose to zero. We show that orbits of these representations under a change of basis action are in bijection with mixed dimer covers of a $2 \times n$ grid graph. The latter object can be endowed with a partial order which is a distributive lattice, and we show that the degeneration order on the orbits of chain complexes is a coarsening of this partial order. In addition, we use recent matrix formulae of Claussen and Ovenhouse to enumerate these orbits. This also computes the Kostant partition function applied to height-restricted, type $A$ roots. When the dimension vector is uniform, we discuss a correspondence with paths of a beam of light bouncing between glass plates and give an explicit generating function.
Localization of the Caro-Wei bound and its applications to bipartiteness
We confirm a conjecture of Brause, Randerath, Rautenbach and Schiermeyer (2016) by proving a localized lower bound on the independence number of a graph that strengthens the classical bounds of Fajtlowicz (1978) and of Caro (1979) and Wei (1981), which in turn settles a conjecture by Bertram and Horák (1996). Our proof is based on a new Motzkin--Straus-type inequality involving local clique numbers and the independence number. We then apply the developed methods to study spectral and algebraic measures of graph bipartiteness. In particular, we extend a theorem of Brandt (1998) on spectral bipartiteness from regular $K_{r+1}$-free graphs to all $K_{r+1}$-free graphs, we improve a general upper bound for the least signless Laplacian eigenvalue of $K_{r+1}$-free graphs, and we disprove a conjecture of de Lima, Nikiforov and Oliveira (2016) in the case of $K_4$-free graphs.
On the gonality of Kneser graphs
The Kneser graphs $\text{KG}(n,k)$ are a classically studied family of graphs. One known invariant of graphs is gonality (also called divisorial gonality), which is the minimum degree of a rank 1 divisor on the graph. Using known bounds on gonality of simple, connected graphs, one may obtain that the gonality of $\text{KG}(n,k)$ is bounded above by $\binom{n-1}{k}$. In 2014, Harvey and Wood showed that the treewidth (a lower bound on gonality) for $\text{KG}(n,k)$ is $\binom{n-1}{k}-1$ for $n\geq 4k^2-3k+2$. In this paper, using scramble number, another lower bound on gonality, we improve this polynomial bound and show that the gonality of $\text{KG}(n,k)$ is exactly $\binom{n-1}{k}$ for $n\geq \frac{3k^2+k+2}{2}$, and conjecture an even stricter polynomial bound using the uniform edge scramble. We then extend our argument to the family of generalized Kneser Graphs, computing the scramble number and gonality using the same polynomial bound.
List coloring $C_3$-free planar graphs with a sparse matching of restricted lists
A graph $G$ is $k$-choosable if it has a proper coloring for every $k$-list assignment. While every $C_3$-free planar graph is $4$-choosable, some of them are not $3$-choosable, as constructed by Voigt. Hu and Zhu conjectured that if $G$ is a $C_3$-free planar graph and $X \subseteq V(G)$ induces a bipartite subgraph, then $G$ has a proper $L$-coloring whenever $|L(x)| = 3$ for $x \in X$ and $|L(v)| = 4$ for $v \in V(G) \setminus X$. As evidence, they proved the conjecture when $X$ is an independent set. We provide further evidence by proving the conjecture when the induced subgraph $G[X]$ is an induced sparse matching. This is the first result supporting the conjecture in which the set $X$ receiving smaller lists may induce a subgraph with edges.
Two problems about subgroups of free groups concerning the lengths of their generators
We will answer a problem of Dotsenko that asks for a tight upper bound on the rank of subgroups given a maximum length for its generators. Then, we will use the same tools to answer a longstanding problem of Grigorchuk in the 10th edition of the Kourovka notebook. We accomplish this using Stallings foldings and simple graph theory.
Graphs with Long Pseudosimilarity Chains under Consecutive Vertex Deletions
Pseudosimilar vertices are vertices in distinct automorphism orbits whose deletions produce isomorphic graphs. Classical work has studied the existence, group-theoretic origin, and construction of large sets of such vertices. We ask a different recursive question: how long can one repeatedly delete a vertex that is pseudosimilar at the moment of deletion? We define the pseudosimilarity depth of a graph and construct connected graphs in which this process continues through all but a sublinear number of vertices. A two-clock construction gives a square-root deficit uniformly in the order, while a Chinese-remainder construction with many cyclic clocks yields an infinite family of asymmetric graphs with only a polylogarithmic number of vertices left outside the active chain. The mechanism realizes pseudosimilarity by breaking a long hidden automorphism orbit and enlarging the break one vertex at a time. Thus pseudosimilarity can persist through an asymptotically full sequence of vertex deletions, even though every graph encountered in the main construction is asymmetric.
On Unavoidable Faces of High-Dimensional Polytopes
Kalai's cube--simplex conjecture asserts that for all positive integers $\ell,k$, there is an integer $f(\ell,k)$ such that every polytope of dimension at least $f(\ell,k)$ has either a simplex $\ell$-face or a cube $k$-face; let $f_s(\ell,k)$ denote the threshold restricted to simple polytopes. Finiteness of $f(\ell,k)$ is known only for $\ell,k \leq 2$. In addition, Kalai proved that $f_s(2,k) \leq 2k^2$. Here we prove that $f_s(\ell,k)$ is finite for all $\ell \geq 2$ and $k \geq 3$, the first such result beyond $\ell = 2$, with $f_s(2,k) \leq 2k^2-1$ and $f_s(\ell,k) \leq \tfrac{1}{2}k^2\ell\,2^k$ for $\ell \geq 3$. In the opposite direction, we obtain the lower bounds $f(\ell,k) \geq (5\lfloor \ell/2 \rfloor + (\ell \bmod 2) - 1)(k-1)+1$ and $f_s(\ell,k) \geq \max\{4,\,2(\ell-1)\}(k-1)+1$.
A companion question asks for the minimum possible size of a 3-face within a higher-dimensional polytope. Meisinger, Kleinschmidt and Kalai proved that every rational $d$-polytope with $d \geq 9$ has a $3$-face with fewer than $78$ vertices or fewer than $78$ facets. Here we improve their bound: every convex polytope of dimension at least $15$ has a $3$-face with at most $13$ facets. One step of our proof requires an explicit exact rational certificate or identity on flag numbers. This certificate is computed using linear programming.
Shannon's problem on the monotonicity of entropy and a Conjecture of Tao
Let $X_1,X_2,\ldots$ be i.i.d. finitely supported random variables in a torsion-free abelian group, and write $S_k=X_1+\cdots+X_k$, and $H(S_k)$ is the Shannon entropy $S_k$, for all $k \ge 1$. We prove that, for every fixed $n\geq1$, \[
H(S_{n+1})-H(S_n)
\geq \frac12\log\frac{n+1}{n}
-o_{H(X_1)\to\infty}(1), \] uniformly over the ambient group and the input law. This proves a conjecture of Tao [29] in 2010.
Two-basepoint Terwilliger algebras and the quantum symmetry of prime-order circulants
Which vertex-transitive graphs of prime order have quantum symmetry? The question of Banica, Bichon and Chenevier is open in the dense regime of Paley graphs, where coherent-algebra methods give no information. To each such graph we attach a two-basepoint Terwilliger algebra of its cyclotomic scheme and study the module it generates from the basepoints: fullness forces the quantum permutation algebra to be commutative, and the module admits no intermediate state, containing either exactly two point masses or all $p$ of them. One point mass, captured at any depth, therefore suffices, and Chassaniol's orbital criterion is the depth-one case. Three consequences follow. A sharp counting argument replaces the Banica--Bichon--Chenevier threshold $p>6^{\varphi(k)}$ by the quadratic bound $p>(k-1)(k-2)+2$, where $k$ is the type. Four certificates, each a short list of additions modulo $p$, settle $C_{31}(2,4,8,15)$ and $C_{41}(4,10,16,18)$, the two graphs left open by Chassaniol, and complete the classification for type at most $10$ without machine assistance. An exact computation extends the dichotomy ``quantum symmetry if and only if complete or empty'' to all prime orders $p\le250$, settling the Paley graphs $P_{p}$ with $p\le241$, the first beyond $P_{17}$. What remains is the capture of a single explicit vector: the midpoint $2^{-1}$ of the two basepoints.
Prime and Touchard Congruences of Mixed-Type Bell Numbers
This paper establishes a comprehensive combinatorial and arithmetic framework for mixed Stirling and mixed Bell numbers, bridging partition structures, Touchard polynomials, and prime-power congruences. Furthermore, we develop to $p$-adic valuation theory, proving prime-power Touchard congruences and higher-order modulo-$p^2$ refinements that generalize classical arithmetic properties of combinatorial sequences.
A requested analytic proof of an identity of Dixit, Kumar, and Srivastava
Recently Dixit, Kumar, and Srivastava investigated what they called Rascoe and non-Rascoe partitions. These are defined to be the set of distinct partitions where the length of the partition is a part of the partition and is not a part respectively. In this note we provide a $q$-series theoretic proof of two identities regarding the generating function for unrestricted Rascoe and non-Rascoe partitions fulfilling a request of Dixit, Kumar, and Srivastava. We also prove a conjecture of Beck relating non-Rascoe partitions and the rank of a partition.
Regular, and (bi-)rotary Hall Cayley maps
A classification is given of regular, rotary, and birotary Cayley maps of which the vertex number is coprime to the valency. The classification is involved in constructions of new examples of interesting Cayley maps.