arXiv++ Combinatorics

We study spanning quadrangulations of even triangulations of real projective spaces, using the higher-dimensional notion of quadrangulation introduced by Kaiser and Stehl\'ık. We prove that every even triangulation of $\RP^d$, where $d\ge 2$, admits a spanning bipartite quadrangulation. Moreover, such a triangulation admits a spanning non-bipartite quadrangulation if and only if it is not balanced; if it is balanced, every spanning quadrangulation is bipartite. Our proofs use coloring monodromy: its orbits yield bipartite quadrangulations, while a covering-space construction gives non-bipartite ones. %In dimension three, a bipartite quadrangulation can always be chosen to induce $K_{2,2}$ on each tetrahedron. More generally, we establish a sufficient condition for the existence of spanning bipartite quadrangulations on closed manifolds in terms of the monodromy action, and derive a consequence involving the fundamental group.

We establish a connection between linear complementary dual (LCD) codes and caps in projective space. Using this framework and the structure theory of maximal binary caps, we derive nonexistence theorems for binary LCD codes with minimum distance at least $4$, providing computation-free proofs that were previously obtained only through exhaustive search. As an application, we completely determine the optimal minimum distances for codimensions $7$ and $8$ for the first time. The framework applies to ternary LCD codes and quaternary Hermitian LCD codes, where it reduces the problem to the structure of large caps. Using known results on large caps, we determine the optimal minimum distances of ternary LCD codes of codimension $6$ for all lengths, and we explain why the phenomena behind the binary nonexistence theorems, such as the dependence on the parity of the length, have no counterpart for these codes.

Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\operatorname{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $J\mathbb{C}\mathbb{P}^\infty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $\operatorname{QSym}$ and initiate a Schubert calculus for $J\mathbb{C}\mathbb{P}^\infty$ in both cohomology and $K$-theory. Here, we study the torus-equivariant cohomology of $J\mathbb{C}\mathbb{P}^\infty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson-type rule for the structure coefficients of this basis. Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex (quasi-)projective variety also carries the structure of a (quasi-)projective variety.

We identify universal polar dual pairs of spherical codes $C$ and $D$ such that for a large class of potential functions $h$ the minima of the discrete $h$-potential of $C$ on the sphere occur at the points of $D$ and vice versa. Moreover, the minimal values of their normalized potentials are equal. These codes arise from the known hierarchies of sharp codes embedded in the even unimodular extremal lattices $E_8$ and $Λ_{24}$ (Leech lattice). This embedding allows us to use the lattices' properties to find new universal polar dual pairs. In the process we extensively utilize the interplay between the binary Golay codes and the Leech lattice. As a byproduct of our analysis, we identify a new universally optimal (in the sense of energy) code in the projective space $\mathbb{RP}^{21}$ with $1408$ points (lines). Furthermore, we extend the Delsarte-Goethals-Seidel definition of derived codes from their seminal $1977$ paper and generalize their Theorem 8.2 to show that if a $τ$-design is enclosed in $k\leq τ$ parallel hyperplanes, then each derived code is a $(τ+1-k)$-design in the ambient subspace.

The classical theory of arcs in finite projective spaces provides a powerful geometric framework for studying maximum distance separable (MDS) codes and their possible lengths. In this paper, we investigate how this perspective extends to maximum sum-rank distance (MSRD) codes, whose geometric description involves systems of linear sets rather than individual projective points. Our main goal is to understand how the block structure of an MSRD code constrains its length. In dimension three, we determine the possible intersection patterns of lines with the associated linear sets and obtain explicit formulas for their characters and the weight distribution of the corresponding codes. These results lead to new length bounds and show that the block structure comes at a cost: the presence of a block of rank at least two reduces the maximum possible total length by at least $q-1$, and sufficiently long MSRD codes must be classical, that is, MDS codes over $\mathbb F_{q^m}$. We also prove that three-dimensional one-weight MSRD codes do not exist. In arbitrary dimension, we interpret shortening geometrically as projection and establish a general projection bound that extends classical counting arguments for arcs. This yields restrictions depending explicitly on the block profile and, for full-length blocks, identifies parameter ranges in which linearized Reed--Solomon codes attain the maximum possible number of blocks. Finally, we construct an exceptional three-dimensional MSRD code over $\mathbb F_9$ with three blocks of length two and propose a sum-rank analogue of the MDS conjecture.

The binary length function $\ell_2(r,R)$ is the smallest length of a binary linear code with codimension (redundancy) $r$ and covering radius $R$. Let $s_2(N,ρ)$ be the smallest size of a $ρ$-saturating set in the binary projective space $\mathrm{PG}(N,2)$. It is known that the binary length function satisfies $\ell_2(r,R)=s_2(r-1,R-1)$. We obtain the following new upper bounds on $\ell_2(r,R)$, improving the previously known upper bounds by $Δ(r,R)$: $R=2,r=2t\ge28$, and $r=10,18,20$, $\ell_2(r,2)=s_2(r-1,1)\le51\cdot2^{r/2-5}-1,Δ(r,2)=2^{r/2-5}$; $R=3,r=3t-1\ge41$ and $r=26$, $\ell_2(r,3)=s_2(r-1,2)\le818\cdot2^{(r-26)/3}-1$, $Δ(41,3)=63,Δ(r,3)=2^{(r-26)/3}$ if $r\ge44$. To obtain these bounds, we construct new infinite code families, using distinct versions of the $q^m$-concatenating constructions of covering codes, including new versions proposed in this paper. We also obtain new useful partitions of column sets of parity check matrices of some codes. The new code families provide the asymptotic covering-density bounds $\overlineμ(2)\le2601/2048<1.27002$, $\overlineμ(3)\le1.35935$, improving the previously known bounds and giving rise to the new upper bounds $f(2)\le2601/2048<1.27002$, $f(3)\le1.35935$ on the constants $f(2),f(3)$ of the Green's Open Problem 40.

Alon, Bishnoi, Das and Neri constructed sequences of strong blocking sets in $(k-1)$-dimension projective space $P({\bf F}_q, k-1)$ with sizes at most $Cqk$, where $k$ goes to the infinity and $C$ is a fixed positive constant not depending on $q$, in their paper published in Transactions AMS, vol. 277, pp. 5389-5410, 2024. This is equivalent to a sequence of minimal $[n_i,k_i]_q$ codes with positive rate $\frac{k_i}{n_i} \geq c$, where $k_i$ goes to the infinity and $c$ is a fixed positive constant only depending on $q$. They solved one of the main open problems on minimal codes. The Alon-Bishnoi-Das-Neri construction was based on asymptotically good sequences of algebraic geometric codes and expander graphs. However, the constant $C$ is large for small prime power $q$. In this paper, based on a simple approach using $(q-1)$-power intersecting algebraic geometric codes via concatenation to construct minimal codes, we construct explicit strong blocking sets in $(k-1)$-dimension projective space with sizes around $2(q^2-1)k$, equivalently, explicit minimal $[n,k]_q$ codes with length around $2(q^2-1)k$. This is an essential improvement on the previous result of Alon-Bishnoi-Das-Neri, when $q \leq 11$. For large $q$, strong blocking sets and minimal codes in our construction are worse than the previous construction of Alon-Bishnoi-Das-Neri. However, our approach is much simpler and does not depend on expander graphs.

We give an explicit strong deformation retraction of the complement of a Fermat hypersurface of degree $d$ in the complex projective space of dimension $n$ into a $Δ$-complex of real dimension~$n$. This retraction is performed in several steps, using the branched cover structure of the Fermat hypersurfaces to the degree $1$ case. Moreover, an implementation of the method in \texttt{Sagemath} is provided.

Linked projective spaces are quiver Grassmannians of subspaces of dimension 1 of certain quiver representations. Degenerations of linear series produce these representations, with the limit divisors parameterized by the associated linked projective spaces. It is not known whether all linked projective spaces arise this way. If they do, they are degenerations of the (small) diagonal in a product of projective spaces. In any case, we prove here that they have the (multivariate) Hilbert polynomial of the diagonal. To achieve this, we first extend a Hilbert-polynomial formula for multiplicity-free varieties to (simple) normal-crossings schemes with multiplicity-free strata in products of projective spaces. Then we prove that a linked projective space is normal-crossings, by describing it locally in terms of Mustafin varieties. Finally, we use a relation between intersections of components of the linked projective space and certain polytopes in the tiling of a simplex associated to the linked net to prove that our formula for the Hilbert polynomial applies.

We study the hard-core model on recursively defined sequences $(G_n)_{n\geq0}$ of graphs with a fixed number $k\geq 1$ of labeled vertices in each graph. The next graph in the sequence is constructed by taking a fixed number $m\geq 2$ of copies of the previous graph, connecting these copies by identifying some labeled vertices according to a fixed rule, and afterward choosing $k$ labeled vertices in the resulting graph, again in accordance with a fixed rule. Examples of such sequences include the Sierpiński gasket graphs, hierarchical lattices, and many more. We prove that, when the vertex degrees of the graphs $G_n$ are uniformly bounded and the distances between the labeled vertices in $G_n$ diverge, the complex zeros of the univariate independence polynomials $Z_{G_n}(λ)$ avoid a neighborhood of the non-negative real axis. By the Lee--Yang theory this implies that no phase transitions occur for the hard-core model on these recursive sequences of graphs, independently of the starting graph $G_0$. The proof relies on the study of the dynamical properties of a one-parameter family of rational maps $F_λ$ on the $(2^k-1)$-dimensional complex projective space induced by the graph recursion operator. The dynamical framework developed in this paper can be naturally extended to other classical models in statistical mechanics (such as the Ising or Potts models) and to more general notions of graph recursions.

The notion of a linear subspace code in a projective space was introduced by Braun, Etzion and Vardy (2013), who conjectured that a linear subspace code in the projective space has at most 2^n codewords. We resolve this conjecture. A novel character-theoretic argument is used to prove the conjecture and the proof is self-contained.

We present a $6$-dimensional centrally symmetric simplicial polytope for which the antipodal quotient of its boundary forms a $24$-vertex triangulation of the $5$-dimensional real projective space. This $6$-polytope is highly symmetric with an automorphism group of order $192$, and is of independent interest. We conjecture that our construction uses the fewest number of vertices among all triangulations of $\mathbb{R}P^5$. Our method also produces two triangulations of $\mathbb{R}P^6$ on $45$ and $49$ vertices; both improve the previously best known construction in dimension $6$ that used $53$ vertices.

We obtain upper bounds, independent of the ambient dimension, for the number of realizable zero-nonzero patterns and (over ordered fields) sign conditions of a finite family of polynomials $\mathcal P$ restricted to an algebraic subset $V$ of affine or projective space. The bounds depend only on $\mathrm{card}(\mathcal P)$ and the degrees of the polynomials in $\mathcal P$, together with $\mathrm{deg}(V)$ and $\dim(V)$, and not on the dimension of the space in which $V$ is embedded. This feature is particularly useful when $V$ has small intrinsic dimension but is presented in a very high-dimensional ambient space. We describe several applications. First, we extend existing results on bounding the $\varepsilon$-entropy of real algebraic varieties. Second, we derive lower bounds (in terms of the number of connected components) for membership testing in semi-algebraic sets in the algebraic computation tree model. Finally, motivated by quantum complexity theory, we introduce additive and multiplicative notions of \emph{relative rank} in finite-dimensional vector spaces and algebras with respect to a fixed algebraic subset, generalizing the classical notion of tensor rank. We prove a general lower bound on the maximum relative rank of finite subsets with respect to algebraic sets of bounded degree and dimension that is again independent of the ambient dimension. As an illustration, we obtain a quantum analog of Shannon's classical lower bound. We prove that if $Δ_n$ is an algebraic family of allowed gates with $$ \dim Δ_n=\operatorname{poly}(n), \qquad \log\mathrm{deg} Δ_n=\operatorname{poly}(n), $$ then some Boolean functions require $2^n/\operatorname{poly}(n)$ gates from $Δ_n$, even when individual gates in $Δ_n$ may be highly nonlocal.

We prove that every simplicial triangulation of real projective $d$-space has $\exp(Ω(\sqrt d))$ vertices. Together with known constructions, this determines the minimum vertex number as $μ_d=\exp(d^{1/2+o(1)})$. The result follows from a topological generalization of the Figiel--Lindenstrauss--Milman inequality, answering a recent question of Frick, Hosseini, and Vasileuski: a finite strongly regular CW complex with a free cellular involution, $v$ vertices, and $f$ maximal cells has $\mathbb{Z}/2$-index at most $O(\log v\log f)$. We bound the dimensions of Morse cells by a trace estimate for a constrained Hessian, obtaining a Morse-theoretic proof of the classical inequality for centrally symmetric polytopes. As further applications of this inequality, we give an $\exp(Ω(\sqrt t))$ lower bound for the order of a triangle-free topologically $t$-chromatic graph and bound the index of sign complexes by $O(d\log^2 N)$ for total matrices and $O(d\log^3 N)$ for partial matrices, where $N\geq2$ is the number of columns and $d\geq1$ is the VC dimension.

We construct finite geproci sets in every projective dimension and in every positive characteristic by introducing $\mathbb{F}_N$-Artin-Schreier configurations. In $\mathbb{P}^3$, we characterize exactly when such configurations are geproci: an $\mathbb{F}_N$-Artin-Schreier configuration on $q$ lines spanning $\mathbb{P}^3$ is $(q,N)$-geproci if and only if $q\leq N$. We then develop a lifting construction which produces geproci sets in $\mathbb{P}^n$ for every $n\geq 3$.

Let $X$ be a projective line bundle over a nonsingular toric surface which is a blowup the projective plane along at most 4 invariant points, or a blowup the product of the projective lines along at most 4 invariant points. Let $L$ be an ample line bundle on $X$. Then $L$ defines a projectively normal embedding to big projective space. We show the ideal of this embedded $X$ is generated by elements of degree two.

We study the action of the Fourier transform on the Stokes data of irregular connections on the complex affine line with symmetric irregular classes at infinity, both from the point of view of Stokes filtered local systems and of Stokes local systems, and we show that it is governed by a rich combinatorial structure: (1) Observing that, in this setup, a Stokes filtration is fully determined by the data of either its recessive or subdominant solution spaces, and making the link with results of T. Mochizuki, we show that the Fourier transform amounts to exchanging recessive and subdominant solutions via the Gale transform of configurations of points in projective spaces. (2) We show that the equivalence between recessive solutions and Stokes local systems is deeply connected with the triality relating point configurations, superperiodic linear difference equations and frieze patterns obtained by Morier-Genoud-Ovsienko-Schwartz-Tabachnikov: Up to signs, the coefficients of the difference equations and friezes coincide with the nontrivial Stokes matrix entries. It follows from this Stokes-frieze correspondence that the Fourier transform of Stokes representations is given by their combinatorial Gale transform, leading to explicit closed formulas.

For every fixed integer $t \geq 2$, we give an upper bound on the multicolor vector space Ramsey number $R_2(t; k)$ that is a tower function of height independent of $k$. For $t \geq 3$, this is the first bound of its form, significantly improving upon the earlier bounds that are towers of height linear in $k$. We achieve this by reducing the problem to a classical hypergraph Ramsey problem via binary simplex codes. In particular, we prove that $$R_2(t; k) \leq \left\lceil \log R(K_s^{(r)}; k + 1) \right\rceil \leq \mathrm{twr}_{r-1}(c k\log k),$$ for $r = 2^{t - 1}$ and $s = 2^t - 1$, where $R(K_{s}^{(r)}; k + 1)$ is the classical $(k + 1)$-color Ramsey number for the complete $r$-uniform hypergraph on $s$ vertices. This improvement also translates into an improved lower bound on the chromatic number of the binary projective space with respect to $(t - 1)$-flats. For $t = 2$, it recovers the connection with multicolor Ramsey numbers for triangles.

The term tropical pseudonorm refers to a family of (not necessarily symmetric) gauge functions that arise in tropical or idempotent geometry. An important characteristic of these gauges is their invariance under translation by a constant vector, allowing them to descent naturally to tropical projective spaces. In this work, we explore the tropical one-infinity pseudonorm, a polyhedral hybrid gauge that allows for tunable asymmetry, in the context of a Fermat--Weber location problem. We extend previous formulations in considering non-finite data, and we investigate several variants of the inverse problem, providing linear programming formulations for their solution.

We consider a partition of the projective space PG(m + n - 1, K), with K any (commutative) field, into one space of dimension m - 1 while all other spaces of the partition have dimension n - 1. Characterizations of particular partitions of this type are given. This research is motivated by some interesting problems on translation generalized quadrangles. In the paper we apply our results to generalized ovoids and generalized quadrangles. Finally we give some ideas for further research.