arXiv++ Combinatorics

We study linear codes for insertion and deletion (insdel) errors through the lens of evaluation codes. We develop a general framework for analyzing random puncturings of evaluation codes, where the edit distance is controlled by only the size of the evaluation domain and the maximum number of zeros of a nonzero function in the underlying function space. Our proof generalizes the results of Con, Guo, Li, and Zhang (ICALP 2025), and simultaneously simplifies their arguments by avoiding an in-depth analysis of longest common subsequences. We demonstrate the applicability of our core theorem by instantiating it with random puncturings of Reed--Muller codes. We then recover the result that random Reed--Solomon codes approach the half-Singleton bound over linear-sized fields while also improving the dependence on the additive gap $\varepsilon$ from $2^{O(1/\varepsilon^2)}$ to $2^{O(1/\varepsilon)}$. Finally, by applying the framework to algebraic geometry codes arising from asymptotically good towers of function fields, we show that there exist randomized families of structured linear codes over constant-sized fields that approach the half-Singleton bound.

Several important fans studied at the interface of combinatorics and algebraic geometry arise from barycentric subdivisions of other fans; the central example is the braid arrangement. The collection of faces of the standard simplex forms a basis for the deformation cone of the braid arrangement, i.e. the cone of generalized permutahedra. We reinterpret this simplicial basis as the collection of deep truncations of the standard simplex, and systematically abstract this perspective to produce polytopal bases for the deformation cones of barycentric subdivisions of simplicial projective fans. We further demonstrate that these bases restrict to bases for deformation cones of fans obtained by a sequence of stellar subdivisions induced by a building set. When the starting polytope is smooth with all edge lengths equal to 1, we show that we can upgrade our basis to a collection of flat truncations. We then investigate two extensions of the braid arrangement where we are able to further upgrade our flat truncation basis to an indecomposable polytopal basis: 1.the barycentric subdivision of the normal fan of a product of standard simplices and 2.the barycentric subdivision of the braid arrangement. We discuss connections to, and implications for, Archimedean solids and regular polytopes, permutahedral plates, root polytopes, permutoassociahedra, simple permutonestohedra, cosmohedra, omnitruncations of Coxeter permutahedra, bipermutahedra, $π$-colored fans, and tropical $α$ and $β$ classes.

When a variety $V_\varphi$ equals the image of a polynomial map $\varphi$ whose coordinate functions are combinatorial generating polynomials (i.e.~polynomials enumerating combinatorial objects), the geometry of $V_\varphi$ reflects identities satisfied by the generating polynomials. The resulting interplay between combinatorics and algebraic geometry can be used to answer questions about $V_\varphi$. A recent technique proposes to do so using a partially ordered set (poset) $P_\varphi$ defined via the coefficient vectors of the polynomials defining $\varphi$. This paper characterizes the poset $P_\varphi$ when the generating polynomials defining $\varphi$ enumerate subgraphs of a directed tree known as treks. The characterization is used to compute the linear span of $V_\varphi$, prove it is toric and deduce a basis for its vanishing ideal. It is also shown that this poset of trek polynomials for a directed tree is a so-called $π$-system if and only if the tree satisfies a property characterized via Stanley's P-partitions. As an additional consequence, it is shown that the varieties for two distinct directed trees intersect in a strictly lower-dimensional variety. This solves an instance of the structural identifiability problem in the graphical models program from statistics.

We study continuous-time quantum walks (CTQWs) on cycles. In particular, we prove that the cycle $C_9$ does not admit uniform mixing at any time via algebraic geometry and Gröbner basis techniques to rule out all cyclic 9-roots.

We use partially ordered sets (posets) to provide a canonical parameterization for the Zariski closure of the image of a semialgebraic set under a rational map whose coordinate functions are polynomials with nonnegative integral coefficients. The resulting poset parametrization of such a unirational variety allows us to translate several well-studied problems into combinatorics; e.g. reducing the problems to describing the poset associated to the variety. These problems include, the implicitization problem from algebraic geometry, the toric reparameterization problem, the computation of the linear span of the variety, and the problem of distinguishing two semialgebraic subsets of the same ambient space. The technique applies to instances of these problems in several fields, including algebraic geometry, algebraic combinatorics, statistics and applied algebra. We demonstrate the technique on examples from each field, including degenerate subvarieties of secant varieties, matroid flat varieties -- which generalize toric varieties of edge polytopes, as well as varieties arising in multivariate data analysis and evolutionary biology.

Hessenberg varieties are subvarieties of the flag variety, defined by containment conditions on flags with respect to a linear operator. The study of these varieties lies in the intersection of algebraic geometry, combinatorics, and representation theory. In this paper, we develop an algebro-geometric procedure for determining the closed subvariety structure of a Hessenberg variety $\mathcal{H}(X,h)$ in the flag variety for any linear operator $X$ and Hessenberg function $h$, by imposing a partial order on the Hessenberg functions and analyzing the relation of the corresponding Hessenberg varieties. In particular, we give a concrete recursive formula for determining all equations cutting out a given Hessenberg variety in each Schubert cell. As an application, we provide an alternative geometric proof of Tymoczko's results on the existence of affine pavings of a given Hessenberg variety and on the dimension count of its cells.

Recent work of Lam, Bychkov-Gorbounov-Kazakov-Talalaev, and Chepuri-George-Speyer gave a stratification of the totally nonnegative Lagrangian Grassmannian into electroid cells parameterized by cactus networks, paralleling Postnikov's stratification of the totally nonnegative Grassmannian by positroid cells. Electroid varieties arise as an algebro-geometric extension of electroid cells. The combinatorics of these varieties was studied by Lam in 2018. We build on this work and study the geometric properties of electroid varieties. In analogy to results of Knutson, Lam, and Speyer on positroid varieties, we show that electroid varieties are reduced, irreducible, regular in codimension one, compatibly Frobenius split, and form a stratification. We also show a decomposition of certain electroid varieties as a product of two electroid varieties. As a consequence, the grove measurement map that embeds electroid cells can be extended algebraically to embed an algebraic torus.

This ArXiv preprint of my doctoral dissertation, which, at this stage, has not yet been accepted by the doctoral thesis committee, is intended both to lay the groundwork for a series of papers, and to confirm the existence of a first proposed solution to the "Dual Amplituhedron" problem posed in 2014 by Princeton physicists N. Arkani-Hamed and J. Trnka, a mathematical object which encapsulate the calculation of scattering amplitudes in high-energy particle colliders. The first part of this thesis deals with a rewriting of the positive real Grassmannian and performing the singular gluing of its positroid varieties in a new way via Spectral Algebraic Geometry of J. Lurie on "structured" spaces and a categorification of his "Tannaka Duality for Quasi-coherent Stacks", finding in this formal moduli problem, a compact yet holistic formulation via perverse intersection complexes of P. Deligne. This algebraico-geometric perspective paired with a synthetic differential-geometric perspective, namely the Differential Cohesion of B. Lawvere and U. Schreiber, subsumes infinitesimal thickenings, crystalline cohomology of De Rham stacks, the "Modalities of Structured Geometries" and the unification of their cohomologies of the underlying concrete topological etale algebraic space. The second part uses this rewriting of positive Schubert geometry and "The Cohomology of Brauer-Grothendieck Spaces" of B. Toën and B. Antieau, to show that, instead of the Grassmannian spectral Deligne-Mumford stack which is autodual in the infinity-category of prestable infinity-categories of modules on E\infty-ring spectra, the Amplituhedron, categorified in a functor between infinity topoï, possesses a concrete non-trivial dual, and has a De Rham volume, facts of interest for the expected Duality between the Standard Model of particles and String Theory. This new construction yields the Dual Amplituhedron.

The relationship between linear codes in the Hamming metric and projective algebraic varieties has led to deep interactions between coding theory and algebraic geometry, with classical examples such as Reed-Solomon codes and the rational normal curve. On the other hand, the sum-rank metric has recently gained attention due to applications in network coding, distributed storage, and post-quantum cryptography, with linearized Reed-Solomon codes emerging as optimal constructions. Despite recent advances, their structural and geometric properties are still not fully understood, and existing distinguishers remain limited. In this paper, we develop a geometric framework for linearized Reed-Solomon codes by considering a $q$-analogue of the rational normal curve. This yields a geometric characterization for certain parameter choices and reveals that the corresponding sets of points satisfy unexpectedly many $(q+1)$-degree hypersurface conditions. Our approach extends Schur-product-based techniques from the Hamming and rank-metric settings to the sum-rank metric case. Finally, we study the Hilbert function of the associated coordinate ring, providing a detailed description of its behavior and identifying its regularity, which also sheds new light on Gabidulin codes.

Rank-metric codes are subspaces of matrices over finite fields endowed with the rank metric and admit a natural tensorial representation. The tensor rank provides a measure of the minimal size of a decomposition of a code into rank-one tensors. Kruskal showed that the tensor rank of a rank-metric code of dimension $k$ and minimum rank distance $d$ is at least $k + d - 1$, and codes meeting this bound with equality are called minimal tensor rank (MTR) codes. It is known from algebraic complexity theory that the existence of an MTR code implies the existence of a maximum distance separable (MDS) code. In this work, we establish new results relating the tensor rank of a rank-metric code to the parameters of associated linear codes in the Hamming metric and introduce the notion of tensor rank defect. We then develop new constructions of rank-metric codes with small tensor rank defect using algebraic geometry (AG) codes.

This work establishes rigorous mathematical foundations connecting spectral graph theory, algebraic geometry, and string theory. We construct a canonical mapping whereby any finite graph \(G\) defines a compact Riemann surface \(X_{G}\) (the spectral curve) whose period matrix \(Ω_{G}\) encodes the graph's coarse-grained spectral information. We demonstrate that in the continuum limit of graph sequences converging to Riemannian manifolds, these spectral curves converge in the Deligne-Mumford compactification sense to the classical stable curves associated with the manifold. We establish connections to the topological recursion framework of Eynard-Orantin, showing that under appropriate conditions the spectral curve satisfies the loop equations of multi-cut matrix models. The spectral memory field \(Φ_{G}(u)\) is introduced and shown to provide a discrete regularization of minimal string partition functions. We construct quantum scattering operators on spectral curves and prove that their unitarity is equivalent to a positivity condition on the spectral memory field. Furthermore, we apply this framework to resolve spacelike singularities in general relativity, proving that the Belinski-Khalatnikov-Lifshitz (BKL) chaotic regime is isospectral to a critical random graph ensemble. The classical singularity is replaced by an infinite nodal chain of rational curves, and the Bekenstein-Hawking entropy emerges from the automorphism group of the spectral curve. This work provides rigorous mathematical underpinnings for discrete approaches to quantum gravity and establishes new connections between graph theory, algebraic geometry, and theoretical physics.

We show that the asymptotic behavior of the two main competing notions of rank of a linear series on a tropical curve is governed by a single invariant, closely paralleling the theory of volumes in algebraic geometry. In addition, we show that the tropical volume is compatible with the tropicalization of curves.

The Chow polynomial of a matroid is a fundamental invariant whose coefficients exhibit strong positivity properties, including $γ$-positivity. We interpret the normalized Chow coefficients as a probability distribution and establish new inequalities for its central moments. As consequences, we obtain bounds on the number of flags of flats and inequalities on the roots of the Chow polynomial. We further relate these moment inequalities to algebraic geometry via the Hirzebruch $χ_y$-genus. This yields new inequalities for matroidal Chern numbers. In particular, for any matroid of rank $d+1$, we prove that $c_1c_{d-1}\le c_d$, with equality if and only if $d=1$ or the simplification of the matroid is Boolean.

The ABCT variety $V(3,n)$ is the image closure of the rational Veronese map from the Grassmannian $\operatorname{Gr}(2,n)$ to the Grassmannian $\operatorname{Gr}(3,n)$. It was studied by Arkani-Hamed--Bourjaily--Cachazo--Trnka in the context of tree-level scattering amplitudes arising in planar $\mathcal N=4$ supersymmetric Yang-Mills theory and Witten's twistor string theory. From this perspective, $V(3,n)$ is conjectured to be a positive geometry by Lam. In this paper, we study the combinatorial and algebraic geometry aspects of $V(3,n)$ and its subvarieties induced by iteratively taking analytic boundaries of the totally nonnegative part. We interpret these subvarieties as point configurations on $\mathbb{P}^2$ by the Gelfand-MacPherson correspondence. We construct a top-degree meromorphic form on $V(3,n)$ and show that it is a positive geometry, proving Lam's conjecture.

Morphisms between schemes arising from multigraded rings are essential for understanding geometric relationships in algebraic geometry, yet a systematic theory for such maps has been lacking. In this paper, we develop a comprehensive framework for rational maps between multigraded Proj schemes by introducing several notions of maps between their underlying multigraded rings. A key challenge is that to induce actual morphisms (rather than just rational maps), the ring homomorphism $\varphi\colon R \to S$ must hit every relevant element in $S$. To address this, we introduce the use of relevant subsets $B \subseteq S_+$ (where $S_+$ is the ideal generated by all relevant elements), $B \unlhd S$, which allow us to control this condition more flexibly. As an application, we show that multigraded noetherian polynomial rings naturally encode combinatorial data, giving rise to systems of fans and thus to toric prevarieties. By leveraging our notion of rational maps with those relevant subsets, we prove that the category of triples $(D, S, B)$ - where $D$ is a finitely generated abelian group, $S$ is a $D$-graded noetherian polynomial ring, and $B \unlhd S$ is a subset of $S_+$ - together with rational maps of conical rings, is anti-equivalent to the category of simplicial toric prevarieties.

The canonical projections of the unit spheres are generalized to special generic maps and round fold maps, for example. They are generalizations from the viewpoint of singularity theory of differentiable maps and these maps restrict the topologies and the differentiable structures of the manifolds. We are concerned with round fold maps, defined as smooth maps locally represented as the product map of a Morse function and the identity map on a smooth manifold, and maps with singular value sets being concentric spheres. A bit different from differential topology, we are concerned with real algebraic geometric aspects of these maps. We discuss real algebraic realization of round fold maps of codimension $-1$ as our new work. Real algebraic realization of these maps is of fundamental and important studies in real algebraic geometry and a new study recently developing mainly due to the author.

The author has been interested in regions surrounded by real algebraic curves of degree $1$ or $2$ in the plane. The author is mainly interested in their shapes and combinatorics. This is a fundamental and natural problem in mathematics being also elementary and connected to various fields. The shapes are understood via graphs the regions collapsing to respecting the canonical projection onto the 1st component. Our main result is the following: each tree is realized by regions surrounded by parabolas of two types, here. Related studies are elementary and interesting and surprisingly, this explicit field is started very recently, by Bodin, Popescu-Pampu and Sorea in the 2020s. After that, this is developing, due to the author. The author also investigates this motivated by studies on explicit construction of real algebraic maps onto the regions locally so-called moment maps: this comes from singularity theory of differentiable maps and real algebraic geometry.

The study of the flag variety $\mathrm{Fl}_n$ and its subvarieties, including Schubert and Richardson varieties, plays a fundamental role in algebraic geometry and algebraic combinatorics. In this paper, we introduce and develop the theory of tilted Richardson varieties $\mathrm{T}_{u,v}$, a new family of subvarieties of the flag variety that provides a geometric framework for the quantum Bruhat graphs. These varieties are defined for all pairs of permutations $u$ and $v$, extending the classical Richardson varieties in the case where $u\leq v$ in the Bruhat order. We establish their fundamental geometric properties, proving irreducibility and providing explicit dimension formulas. Moreover, we show that they have a well-defined stratification indexed by tilted Bruhat intervals, a generalization of classical Bruhat intervals previously introduced by Brenti, Fomin, and Postnikov. Additionally, we introduce a tilted generalization of the classical Deodhar decomposition of Richardson varieties, which leads to a combinatorial formula for tilted Kazhdan--Lusztig R-polynomials, a notion that arises naturally in our framework. We further develop a theory of total positivity for tilted Richardson varieties. In particular, we define and study the totally nonnegative parts of tilted Richardson varieties, proving they form a CW complex. This generalizes earlier results on the totally nonnegative flag variety and answers Björner's questions regarding geometric realizations of tilted Bruhat intervals. Finally, we establish explicit connections between tilted Richardson varieties and quantum Schubert calculus. Specifically, we prove that $\mathrm{T}_{u,v}$ coincides with minimal-degree two-point curve neighborhoods. As a result, we compute their cohomology classes and derive new relationships among Gromov--Witten invariants of the flag variety.

In algebraic geometry, trigonal curves can always be embedded into Hirzebruch surfaces. In tropical geometry, the notion of trigonality does not have a unique translation. We focus on the characterization in terms of the existence of a degree 3 morphism to a line, and discuss relations to possible embeddings into $\mathbb R^2$ reflecting an embedding into a Hirzebruch surface. Our results can be divided into three parts: for tropical curves of low genus 3 and 4, we discuss the relation between a trigonal morphism and an embedding dual to the polygon of a Hirzebruch surface, building on works on embeddings of hyperelliptic tropical curves and curves of low genus. We compare obstructions for embeddings with obstructions for the existence of a degree 3 morphism to a line. Finally, we showcase examples where a non-smooth embedding can be unfolded to reflect certain features of a degree 3 morphism to a line.

This paper establishes a novel combinatorial framework at the intersection of Lie theory and algebraic combinatorics, based on a generalization of the Kostant game. We begin by reviewing the foundations of root systems, the classification of Dynkin diagrams, and the structure of Weyl groups. Subsequently, we analyze the original Kostant game as a tool for generating positive roots, demonstrating its unique termination on simply-laced diagrams and its role in an alternative classification thereof. The main contribution of this work -- which, to our knowledge, has not been studied before -- is a multi-vertex generalization of the game that allows for the simultaneous modification of multiple vertices of a Dynkin diagram. We prove that the resulting configurations of this new game establish a natural bijection with the elements of the quotient W/W_J of Weyl groups by parabolic subgroups. This formalism is applied to problems in algebraic geometry, specifically addressing cases of the Mukai conjecture via Hilbert polynomials, and is accompanied by a computational implementation in Java. These results offer new combinatorial perspectives for studying root counting problems, the regularity of reduced word languages, and the construction of Young Tableaux.