math.CO ↗ arXiv
7121 papers in this category
A Slice-Rank Drift Bound for Random Quantum \(k\)-SAT
Random quantum satisfiability is a natural quantum analogue of random constraint satisfaction and a basic model for frustration-free local Hamiltonians. Despite extensive work on its satisfiable and unsatisfiable regimes, the quantitative location of the random quantum \(k\)-SAT threshold has remained poorly understood, with the best general upper bounds leaving a large gap to the known lower bounds. In this paper we prove a new upper bound on the satisfiability threshold of random quantum \(k\)-SAT. Our result improves the previously known asymptotic upper bound by a factor of order \(k\), giving a bound of order \(2^k/k\). The improvement is also significant at small values of \(k\); in particular, for random quantum \(3\)-SAT we obtain a substantially smaller explicit upper bound than the one previously available. The proof combines the geometric formulation of generic quantum satisfiability with a dimension-decay analysis of the full satisfying subspace. The key input is a multiplicative Shearer-type inequality for tensor-product subspaces, which quantifies how global dimension forces nontrivial local dimension on typical sets of qubits.
Frucht's theorem and other set-theoretic principles below the axiom of choice and the axiom of foundation
We take the first step toward the study of set-theoretic principles below the axiom of choice $\mathsf{AC}$ and the axiom of foundation $\mathsf{AF}$ by studying Frucht's theorem, an ordinary mathematical theorem which is provable with either $\mathsf{AC}$ or $\mathsf{AF}$ but not provable without both, and its variants. Specifically, we propose a number of such principles, study the relations between these principles and the standard axioms, and prove provability and unprovability results using (infinite) graph-theoretic constructions and permutation models, which draw a preliminary map of this new area of set theory.
Complex coordinates forced by finite orthogonality hypergraphs in dimension three
We exhibit two finite orthogonality hypergraphs that admit faithful orthogonal representations by rays in complex three-dimensional space but admit none in real three-dimensional space. Thus, although each orthogonality diagram is unchanged, its coordinatizability in dimension three depends on whether the scalar field is complex or real. The first hypergraph has 20 vertices and 12 contexts. The second hypergraph adds one vertex and two contexts. Phase-adjusted realification also gives explicit faithful orthogonal representations of both hypergraphs in real six-dimensional space.
Two-distance and list-two-distance coloring of cacti: the subcubic case and the C5 obstruction
The square $G^2$ of a graph joins two vertices at distance at most two; a proper coloring of $G^2$ is a 2-distance coloring of $G$. For a cactus $G$ (every edge on at most one cycle) we determine both the 2-distance chromatic number $χ(G^2)$ and the choice number $\mathrm{ch}(G^2)$ exactly: they are always equal, and the common value is $Δ+1$ if $Δ\ge4$, is 4 if $Δ=3$ and $G$ has no block equal to $C_5$, is 5 if $Δ=3$ and $G$ has a $C_5$ block, and is the classical value if $Δ\le2$. For $Δ\ge6$ the value $Δ+1$ is already known, since cacti are outerplanar and hence $K_{2,3}$-minor-free (Hetherington-Woodall; Agnarsson-Halldorsson). Our contribution is the small-degree regime. For subcubic cacti we obtain a complete classification in both the ordinary and list settings, with the 5-cycle as the unique obstruction; the list statement has no prior analogue and is a genuine positive instance of the List Square Coloring Conjecture, which is false in general. A single elimination order then handles all $Δ\ge4$ uniformly and, in particular, settles the two cases $Δ\in\{4,5\}$ that the superclass bounds leave at $Δ+2$. The number 5 turns out to be one obstruction wearing three disguises: $C_5^2=K_5$, the Frobenius number of $\{3,4\}$, and a degenerate $K_4$ list-coloring instance.
Exact three-component covers in 2-coloured random bipartite graphs
We resolve the two-colour three-component conjecture of Fernández, Pavez-Signé and Stein for random bipartite graphs. More precisely, we prove that if $G\sim G(n,n,p)$ and $p\gg\sqrt{\log n/n}$, then with high probability every red--blue edge-colouring of $G$ admits a cover of its vertex set by at most three monochromatic connected components. The proof is based on a uniform expansion lemma for unions of common neighbourhoods and an alternating common-neighbourhood expansion argument.
Cyclotomy, External Difference Families, and Algebraic Manipulation Detection Codes
External difference families (EDFs) are closely related to algebraic manipulation detection (AMD) codes, a cryptographic primitive that protects messages against additive tampering by an adversary who cannot observe the transmitted codeword. We first study a cyclotomic construction of external partial difference families over finite fields and derive a necessary and sufficient condition under which the resulting families are EDFs. For even block sizes up to $14$, we obtain explicit criteria in terms of quadratic and biquadratic residues, yielding new $R$-optimal weak AMD codes. We then construct bounded generalized strong external difference families using cyclotomic classes over finite fields, direct products of finite fields, and generalized cyclotomic classes over integer residue rings. These constructions give infinite families of systematic $G$-optimal strong AMD codes with flexible parameters.
Isoperimetric-Combinatorial Bounds for Range-Controlled Matchings and Quasi-Interpolation from Scattered Data
We develop a mesoscopic framework for analyzing perturbations of finite point sets. Given a reference node set $Y$ with known cubature and approximation properties, we consider a disordered node set $Q$ that is observed only through its populations in cubes at scale $r>0$. By imposing Hall-type (HT) combinatorial constraints on these populations, we prove the existence of a perfect matching between $Y$ and $Q$ with $O(r)$ range. This allows integral approximation estimates on coarser cubes at scale $h>r$ to be transferred from $Y$ to $Q$ with explicit error control and anchors $Q$ to a periodic grid. We then use translation-invariant quasi-interpolation methods to obtain high-order estimates of order $h^s$ as in the quasi-uniform setting, but for a different class of geometries. The key restrictions are the HT conditions and the bound $r\le Ch$, where $C<1$ is scale independent.
An Explicit Counterexample to Stanley's Rankwise Lower-Bound Conjecture for Differential Posets
In Problem~6 of his 1988 paper on differential posets, Stanley asked for the least possible cardinality of a fixed rank of an $r$-differential poset and suggested that the minimum should be attained by $Y^r$, the $r$-fold Cartesian power of Young's lattice. We disprove the resulting universal coefficientwise lower bound. For every $r\geq 3$, we construct an infinite $r$-differential poset $P^{(r)}$ satisfying \[
\card{P^{(r)}_4}
=\card{(Y^r)_4}-\left\lfloor\frac r3\right\rfloor. \] For $r=3$, the construction replaces thirteen rank-four lower-cover blocks of $Y^3$ by twelve blocks with the same point and pair incidence multiplicities, producing the initial rank sequence $1,3,9,22,50$ instead of $1,3,9,22,51$. A reflection extension then yields an infinite differential poset. The construction does not address the cases $r=1$ and $r=2$.
A polyhedral approach to homotopy theorems in matroid theory
We give a new proof of Maurer's homotopy theorem for matroids using polyhedral methods, in contrast to Maurer's original combinatorial proof. The same polyhedral approach yields a homotopy theorem for delta-matroids, from which the corresponding results for matroids, even delta-matroids, and antisymmetric matroids follow. We further prove an analogous theorem for integral polymatroids.
Exact values and exact upper bounds for families of integers with arithmetic progression intersections (Erdős Problem #272)
Let $t(N)$ be the largest $t$ for which there exist distinct sets $A_1,\dots,A_t \subseteq \{1,\dots,N\}$ such that $A_i \cap A_j$ is a nonempty arithmetic progression for all $i \neq j$ (Erdos Problem #272). Simonovits and Sos proved $t(N)=O(N^2)$ and conjectured $\binom{N}{2}+1$ is best possible; Szabo disproved this by a construction giving $t(N) \geq \binom{N}{2}+1+\lfloor(N-1)/4\rfloor$, proved the asymptotics $t(N)=N^2/2+O(N^{5/3}(\log N)^3)$, and asked whether $t(N)=\binom{N}{2}+O(N)$ and whether some element lies in all sets of any extremal family (the kernel question). We determine $t(N)$ exactly for all $3 \leq N \leq 12$ by exhaustive computation: in this entire range Szabo's lower bound is exact, and we conjecture that $t(N)=\binom{N}{2}+1+\lfloor(N-1)/4\rfloor$ for every $N$. Towards the matching upper bound we prove, for every $N$, that Szabo's bound is the exact maximum over all families with a common element (starred families). The proof combines a self-contained ``defect-one'' counting inequality for staircase regions with a new structural theorem: every non-progression member of such a family contains a bad pair that no other member can share. Consequently the sharpened conjecture reduces to a single remaining statement, namely Szabo's kernel conjecture that some element lies in all sets of an extremal family, and we prove first structural constraints on putative non-starred extremal families.
Spectrality of Moran-Type Measures Generated by Two-Element and Three-Element Digit Sets
The necessary and sufficient conditions for the Moran-type measures generated by two-element and three-element digit sets to be spectral have been given. The main result indicates that the spectrality of such a Moran-type measure is completely determined by the number of 2-factors and 3-factors in the zero set of the Fourier transform of each term in the convolution. The proof shows that, without the existence of Hadamard triples, the problem becomes much more complicated and difficult than the case with the existence of Hadamard triples.
On the Frobenius Number of Quotients of Numerical Semigroups
Given a numerical semigroup $S$ and a positive integer $p$, the quotient $\frac{S}{p}=\{n\in \mathbb{N} \mid pn\in S\}$ also forms a numerical semigroup. When $S=\langle a,b\rangle$ with $\gcd(a,b)=1$, a well-known open problem is to find a closed-form formula for the Frobenius number $g\!\left(\frac{\langle a,b\rangle}{p}\right)$, which remains open even in the special case $b=a+1$. Inspired by Curtis's theorem on the non-existence of polynomial formulas for the Frobenius number $g(\langle s_1,s_2,s_3\rangle)$, we provide a negative answer to this open problem in a certain sense. Concretely, we obtain the following three main results.
(i): The Frobenius number $g\!\left(\frac{\langle a,b\rangle}{p}\right)$ cannot be represented, uniformly in $a,b,p$, by any finite collection of polynomial (or rational) formulas.
(ii): For each fixed $p$, the function $a\mapsto g\!\left(\frac{\langle a,a+1\rangle}{p}\right)$ is a quadratic quasi-polynomial with period dividing $p$.
(iii): There is no nonzero polynomial $F\in \mathbb{C}[X_1,X_2,X_3]$ satisfying $F\left(a,p,g\!\left(\frac{\langle a,a+1\rangle}{p}\right)\right)=0$ for all primes $a,p$ with $2<p<a$; the same conclusion already holds if only $p$ is required to be prime and $a$ ranges over all integers greater than $p$.
While (iii) is stronger than (i), the proofs of the two results reveal different insights. Dirichlet's theorem on primes in arithmetic progressions plays a crucial role in our arguments.
The Exact Maximum of the Spectral Sum of Graphs
For a simple graph $G$ of order $n$, let $S_2(G)=λ_1(G)+λ_2(G)$ denote its spectral sum. We determine, for every $n\geq5$, the exact maximum of $S_2(G)$ and all equality cases. The unique maximizer, up to isomorphism, is the complement of the disjoint union of a suitably balanced complete bipartite graph and isolated vertices, with the sizes of its three parts determined by $n$ modulo $7$. Denoting this graph by $K_n^\star$, we further show that $ S_2(K_n^\star)\leq\frac{8n}{7}-2,$ with equality exactly when $7\mid n$. This proves a conjecture of Kumar, Liu, Monterde, Pragada and Tait, which strengthens the Aouchiche--Hansen 2010 conjecture by extending it from connected graphs to all graphs and by asserting uniqueness of the extremal graph. The result also subsumes the 2008 conjecture of Ebrahimi B., Mohar, Nikiforov, and Ahmady. The proof combines Ky Fan's variational principle with a spectral inequality for weighted Ferrers quotients to reduce the problem to an explicit family whose complements have incidence rank one. Exact integer optimization and a separate equality analysis then yield the maximum and uniqueness.
The Excluded Vertex-Minors and Pivot-Minors for Rank-Width at Most Two
We determine both the excluded vertex-minors and the excluded pivot-minors for the class of graphs of rank-width at most two. Up to local equivalence and graph isomorphism, there are exactly 25 excluded vertex-minors: 1 graph on 8 vertices, 18 on 9 vertices, and 6 on 10 vertices. Up to pivot equivalence and graph isomorphism, there are exactly 609 excluded pivot-minors: 2 on 8 vertices, 447 on 9 vertices, 146 on 10 vertices, 10 on 11 vertices, and 4 on 12 vertices. No excluded vertex-minor occurs on 11--16 vertices, and no excluded pivot-minor occurs on 13--16 vertices; the author's 16-vertex bound makes both lists complete.
The proof is computer-assisted. Instead of enumerating all graphs, we reverse the one-vertex reduction theorem for prime graphs. For each $n$, we retain exactly the prime $n$-vertex graphs of rank-width at most two, modulo local equivalence and isomorphism, and extend those graphs by one vertex. Local-equivalence classes are identified by an exact canonical key obtained from the associated isotropic system, the binary row space of $[I\mid A(G)]$. A restricted version of the same key classifies pivot equivalence exactly. The vertex-minor and pivot-minor computations examine, respectively, more than $9.0\times 10^{10}$ and $4.9\times 10^{11}$ prime extensions in their 16-vertex final layers.
Oddtown and eventown theorems for lattice paths
For North-East lattice paths (which we simply call lattice paths), we define intersection in terms of common edges. We prove that a family of paths from $(0,0)$ to $(n,n)$ in which every two distinct paths have an even number of common edges has size at most $2^n$, and that this bound is attained. If $M_{\mathrm{odd}}(n)$ denotes the maximum size of a family in which every two distinct paths have an odd number of common edges, then we prove \[
M_{\mathrm{odd}}(n)\le n(n-1)+1 \] and construct families showing that $M_{\mathrm{odd}}(n)=Θ(n^2)$. Finally, we construct at least $C_n$ distinct extremal even-intersecting families, where $C_n$ is the $n$th Catalan number, and conjecture that these are all the extremal families.
A Linear Lower Bound for Dominating Sets in $k$-Majority Tournaments
A $k$-majority tournament on a finite vertex set is defined by $2k-1$ linear orders, with $u\to v$ when $u$ lies above $v$ in at least $k$ of the orders. Let $F(k)$ be the maximum, over all $k$-majority tournaments, of the size of a minimum dominating set. Alon, Brightwell, Kierstead, Kostochka, and Winkler proved that $C_1k/\log k \leq F(k) \leq C_2k\log k$ for suitable positive constants $C_1$ and $C_2$. In this paper, we prove the linear lower bound $F(k)\ge \left\lfloor\frac{k+1}{2}\right\rfloor $ for $k\ge 3$.
1-Planar graphs without 6-cycles are 6-choosable
A graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge. A graph is $k$-degenerate if each of its subgraphs contains a vertex of degree at most $k$. It was known that every 1-planar graph is 8-choosable. In this paper, we show that every 1-planar graph without 6-cycles is 5-degenerate and hence 6-choosable.
The extremal gap for scattered $q$-systems
Two general estimates govern the rank of an $h$-scattered $q$-system: the scattered upper bound and the lower bound for systems maximal under inclusion. We determine exactly when they coincide. Besides $m=h+1$ and $m=h+2$, equality occurs precisely when $h$ is even, $m=h+3$, and $k\equiv h/2\pmod{h+1}$. We also prove rigidity in the first two cases: every extremal system is equivalent to either $\mathbb{F}_q^k$ or a direct sum of elementary Gabidulin systems and $\mathbb{F}_q$-directions.
For $h=m-3$ and $k=\ell(m-2)+s$, with $1\leq s<(m-2)/2$, the two bounds differ by one, apart from one boundary case. Starting from an arbitrary maximum scattered $q$-system, we construct extremal quasi-maximum $(m-3)$-scattered systems of rank $\ell m+s$. Every such extension preserves lower bounds on the generalized rank weights of the initial code. When an explicit independence condition holds, the construction also produces a nondegenerate dual pair of quasi-MRD codes. We parametrize these extensions by subspaces of a quotient space and derive a uniform lower bound on the number of inequivalent outputs. Known order-two families yield codes separated from every nontrivial direct sum under an explicit numerical condition, while higher-order families are separated from a specified order-one direct-sum class. We conclude with a fully explicit binary example.
List Coloring of the Square of 4-Irregular Graphs
The square of a graph $G$ is the graph obtained from $G$ after adding an edge between any two vertices of distance $2$. A $k$-irregular graph is a graph with maximum degree $k$ such that vertices of degree $k$ are not adjacent. A \textit{list assignment} of a graph is a function $L$ that assigns to each vertex a list of permissible colors. The graph is said to be \textit{$L$-colorable} if there exists a proper coloring $f$ such that $f(v) \in L(v)$ for every vertex $v$. A graph $G$ is called \textit{$k$-choosable} if it is $L$-colorable for every list assignment where each list has exactly $k$ colors. The \textit{list chromatic number} of $G$, denoted by $χ_l(G)$, is the smallest integer $k$ for which $G$ is $k$-choosable. Cranston and Kim \cite{ck} showed that $χ_l(G^2) \leq 8$ for all subcubic graphs except the Petersen Graph. Moreover, Cranston and Kim \cite{ck} conjectured that for graphs with maximum degree $k$ and maximum clique size $w (G^2)\leq k^2-1$, we have $χ_l(G^2) \leq k^2-1$. We prove that for a 4-irregular graph $G$, we have $χ_l(G^2) \leq 11$. Moreover, we provide an example to show that this bound is sharp.
An infinite family of trees with irreducible characteristic polynomials
Consider the tree obtained by attaching a leaf to the third vertex of a path with n-1 vertices. In this note, we prove that the characteristic polynomial of this tree is irreducible when n belongs to certain arithmetic progressions modulo 30. As a result there are infinitely many pairwise non-isomorphic trees with an irreducible the characteristic polynomial. Our proof combines several number-theoretic arguments with a result of Gross, Hironaka, and McMullen [GHM09] concerning the cyclotomic factors of the Coxeter polynomials associated with the diagrams En. This resolves affirmatively a conjecture of Akbari, Kumar, Mohar and Pragada.