variety
2719 papers tagged with this keyword
On the variety of general position problems under vertex and edge removal
Published
• View Publication
• BIB
Let ${\rm gp}_{\rm t}(G)$, ${\rm gp}_{\rm o}(G)$, and ${\rm gp}_{\rm d}(G)$ be the total, the outer, and the dual general position number of a graph $G$, respectively. This paper investigates how removing a vertex or removing an edge affects these graph invariants. It is proved that if $x$ is not a cut vertex, then ${\rm gp}_{\rm t}(G) -1 \le {\rm gp}_{\rm t}(G-x) \le {\rm gp}_{\rm t}(G) + {\rm deg}_G(x)$. On the other hand, ${\rm gp}_{\rm o}(G-x)$ and ${\rm gp}_{\rm d}(G-x)$ can be respectively arbitrarily larger/smaller than ${\rm gp}_{\rm o}(G)$ and ${\rm gp}_{\rm d}(G)$. On the positive side, it is proved that if $x$ lies in some ${\rm gp}_{\rm o}$-set, then ${\rm gp}_{\rm o}(G)-1 \le {\rm gp}_{\rm o}(G-x)$, and that if $x$ is not a cut vertex and lies in some ${\rm gp}_{\rm d}$-set of $G$, then $ {\rm gp}_{\rm d}(G)-1 \le {\rm gp}_{\rm d}(G-x)$. For the edge removal, it is proved that (i) ${\rm gp}_{\rm t}(G) -|S(G)_{e}| \le {\rm gp}_{\rm t}(G-e) \le {\rm gp}_{\rm t}(G) +2$, where $S(G)_{e}$ is the set of simplicial vertices adjacent to both endvertices of $e$, (ii) ${\rm gp}_{\rm o}(G)/2\le {\rm gp}_{\rm o}(G-e)\leq\ 2{\rm gp}_{\rm o}(G)$, and (iii) that ${\rm gp}_{\rm d}(G) - {\rm gp}_{\rm d}(G-e)$ can be arbitrarily large. All bounds are demonstrated to be sharp.
Complexity of the Zero Set of a Matrix Schubert Ideal
Published
• View Publication
• BIB
$T$-varieties are normal varieties equipped with an action of an algebraic torus $T$. When the action is effective, the complexity of a $T$-variety $X$ is $\dim(X)-\dim(T)$. Matrix Schubert varieties, introduced by Fulton in 1992, are $T$-varieties consisting of $n \times n$ matrices satisfying certain constraints on the ranks of their submatrices. In this paper, we focus on the complexity of certain torus-fixed affine subvarieties of matrix Schubert varieties. Concretely, given a matrix Schubert variety $\overline{X_{w}}$ where $w\in S_n$, we study the complexity of $Y_w$ obtained by the decomposition $\overline{X_{w}} = Y_{w} \times \mathbb{C}^{k}$ with $k$ as large as possible. Building up from results by Escobar and Mészáros and Donten-Bury, Escobar, and Portakal, we show that for a fixed $n$, the complexity of $Y_{w}$ with respect to this action can be any integer between $0$ and $(n-1)(n-3)$, except $1$.
Torus Actions on Matrix Schubert and Kazhdan-Lusztig Varieties, and their Links to Statistical Models
We investigate the toric geometry of two families of generalised determinantal varieties arising from permutations: Matrix Schubert varieties ($\overline{X_w}$) and Kazhdan-Lusztig varieties ($\mathcal{N}_{v,w}$). Matrix Schubert varieties can be written as $\overline{X_w} = Y_w \times \mathbb C^d$, where $d$ is maximal. We are especially interested in the structure and complexity of these varieties $Y_w$ and $\mathcal{N}_{v,w}$ under the so-called usual torus actions. In the case when $Y_w$ is toric, we provide a full characterisation of the simple reflections $s_i$ that render ${Y_{w \cdot s_i}}$ toric, as well as the corresponding changes to the weight cone. For Kazhdan-Lusztig varieties, we consider how moving one of the two permutations $v,w$ along a chain in the Bruhat poset affects their complexity. Additionally, we study the complexity of these varieties, for permutations $v$ and $w$ of a specific structure. Finally, we consider the links between these determinantal varieties and two classes of statistical models; namely conditional independence and quasi-independence models.
Motivic Classes of Isotropic Degeneracy Loci and Symmetric Orbit Closures
Published
• View Publication
• BIB
We provide explicit formulas for computing the motivic Chern and Hirzebruch classes of degeneracy loci, especially those coming from the symplectic and odd orthogonal Grassmannians. The Chern--Schwartz--MacPherson classes, K-theory classes, and Cappell--Shaneson L-classes arise as specializations of the motivic Chern and Hirzebruch classes. Our result is the analogue of the result of Anderson--Chen--Tarasca for the degeneracy loci from the ordinary Grassmannians. As applications, we obtain the motivic Chern and Hirzebruch classes of orthogonal and symplectic orbit closures in flag varieties.
Discrete flat disks: rigid quadrangulations
Inspired by a question of Ferrari in the physics context of JT gravity, we introduce and enumerate a combinatorial family of quadrangulations of the disk, called rigid quadrangulations. These form a subclass of the flat quadrangulations in the sense that every inner vertex has degree 4, and therefore it can be viewed as a discrete model of flat metrics on the disk. Our main result is a bijection between rigid quadrangulations and certain colorful integer-labeled quadrangulations of the sphere, together with a dictionary relating a variety of natural statistics on both sides. Adaptions of the bijection to various boundary conditions allow us to import recent enumerative results for colorful quadrangulation obtained by Bousquet-Mélou and Elvey Price. We discuss some consequences of the enumeration of rigid quadrangulations for a flat version of JT gravity at finite cutoff, and comment on potential scaling limits.
Totally positive Toeplitz matrices: classical and modern
Published
• View Publication
• BIB
By a theorem of Edrei, an infinite, normalised totally nonnegative upper-triangular Toeplitz matrix is determined by a pair of nonnegative parameter sequences, the `Schoenberg parameters', where nonzero parameters correspond to the roots and poles of a naturally associated generating function. These totally nonnegative Toeplitz matrices and their parameters also arise in the classification of characters of the infinite symmetric group by later work of Thoma. Moreover the Schoenberg parameters have an asymptotic interpretation in terms of irreducible representations of S_n and their Young diagrams by Vershik-Kerov. In this article we consider infinite totally positive Toeplitz matrices as limits of finite ones, and we obtain two further asymptotic descriptions of the Schoenberg parameters that are now related to quantum cohomology of the flag variety as n goes to infinity. One is related to asymptotics of normalised quantum parameters, and the other to asymptotics of the Chern classes of the tautological line bundles. We also describe the asymptotics of (quantum) Schubert classes in terms of the Schoenberg parameters. Our limit formulas relate to and were motivated by a tropical analogue of this theory that we survey. In the tropical setting one finds an asymptotic relationship between the `tropical Schoenberg parameters' and the weight map from Lusztig's parametrisation of the canonical basis.
The combinatorial geometry of particle physics
Published
• View Publication
• BIB
Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians -- to more modern developments including positroid varieties and the amplituhedron. Together they point toward the unifying framework of positive geometry, in which geometric domains canonically determine analytic functions governing scattering processes. This survey traces the emergence of positive geometry from the physics of amplitudes, building towards recent progress on amplitudes for matroids.
Resonance varieties and Lie algebras of matroids and hyperplane arrangements
Published in Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie 68 (2025), no. 3, 349-382
• Search Publication
The resonance varieties, the holonomy Lie algebra, and the holonomy Chen Lie algebra associated with the Orlik-Solomon algebra of a matroid provide an algebraic lens through which to examine the rich combinatorial structure of matroids and their geometric realizations as complex hyperplane arrangements. In this survey paper, we emphasize the commonalities between these objects but also the possible ways in which realizable and non-realizable matroids differ, leading to some open questions.
Bigraded Polynomials for the Cohomology of Wild Hitchin Systems
We introduce a bi-graded polynomial that encodes the cohomology groups of the wild Hitchin system of type~$A_{n-1}$, constructed using an irregular singularity (determined by an integer~$m$) and an arbitrary regular singularity~$f$. When the regular singularity is of the form~$f = [1, \ldots, 1]$, the bi-graded polynomial~$C_{m,n}(q,t)$ coincides with the bigraded rational parking function defined combinatorially, admitting a Schur expansion~$C_{m,n}(q,t) = \sum_λf_λ(q,t) s_λ(x)$. For general~$f$, the polynomial takes the form~$C^f_{m,n}(q,t) = \sum_λf_λ(q,t) K_{λf}$, where~$K_{λf}$ denotes the Kostka number. We conjecture that this bi-graded polynomial agrees with the one arising from the perverse filtration of the Hitchin fibration, or equivalently, from the weight filtration of the mixed Hodge structure from the character variety. We also give a description by using the geometry of affine Springer fiber.}
Stochastically Evolving Graphs via Edit Semigroups
Published
• View Publication
• BIB
We investigate a randomly evolving process of subgraphs in an underlying host graph using the spectral theory of semigroups related to the Tsetlin library and hyperplane arrangements. Starting with some initial subgraph, at each iteration, we apply a randomly selected edit to the current subgraph. Such edits vary in nature from simple edits consisting of adding or deleting an edge, or compound edits which can affect several edges at once. This evolving process generates a random walk on the set of all possible subgraphs of the host graph. We show that the eigenvalues of this random walk can be naturally indexed by subsets of edges of the host graph. We also provide, in the case of simple edits, a closed-form formula for the eigenvectors of the transition probability matrix and a sharp bound for the rate of convergence of this random walk. We consider extensions to the case of compound edits; examples of this model include the previously studied Moran forest model and a dynamic random intersection graph model. Evolving graphs arise in a variety of fields ranging from deep learning and graph neural networks to epidemic modeling and social networks. Our random evolving process serves as a general stochastic model for sampling random subgraphs from a given graph.
Pair state transfer in tensor product and double cover
Published
• View Publication
• BIB
Quantum state transfer, first introduced by Bose in 2003, is an important physical phenomenon in quantum networks, which plays a vital role in quantum communication and quantum computing. In 2004, Christandl et al. proposed the concept of perfect state transfer on graphs by modeling the quantum network using graphs, and unveiled the feasibility of applying graph theory to quantum state transfer. In 2018, Chen and Godsil proposed the definition of Laplacian perfect pair state transfer on graphs, which is a brilliant generalization of perfect state transfer. In this paper, we investigate the existence of Laplacian perfect pair state transfer in tensor product and double cover of two regular graphs, respectively, and reveal fundamental connections between perfect state transfer and Laplacian perfect pair state transfer. We give necessary and sufficient conditions for the tensor product of two regular graphs to admit Laplacian perfect pair state transfer, where one of the two regular graphs admits perfect state transfer or Laplacian perfect pair state transfer. Additionally, we characterize the existence of Laplacian perfect pair state transfer in the double cover of two regular graphs. By our results, a variety of families of graphs admitting Laplacian perfect pair state transfer can be constructed.
Entropy approximations of algebraic matroids over finite fields
We investigate the asymptotic behavior of entropy polymatroids associated with algebraic matroids over finite fields. Given an algebraic matroid ${\sf M}:=(\mathcal{E},r)$ and the irreducible variety $V$ associated with ${\sf M}$, we consider the polymatroid $h_{\mathbb{F}}$ induced by the entropies of the projections of $V(\mathbb{F})$, where $\mathbb{F}$ is a finite extension of $\mathbb{G}$. Revisiting a construction of Matú$\check{\mathrm{s}}$, we show that the polymatroid $h_{\mathbb{F}}$ converges to the rank function $r$ of ${\sf M}$ as $q:=|\mathbb{F}|$ tends to infinity.
Our main contribution is to make this convergence quantitative: we derive explicit uniform error bounds for the deviation $|h_\mathbb{F}-r|$, expressed in terms of the degree of $V$, the ground set size $|\mathcal{E}|$, the rank $r(\mathcal{E})$, and $q$. The proofs combine tools of algebraic geometry (effective Lang-Weil estimates and intrinsic degree bounds for annihilating polynomials of circuits) with information-theoretic arguments (submodularity of entropy and conditional entropy estimates).
These results provide the first effective and uniform approximation bounds for algebraic matroids by entropy polymatroids, clarifying the quantitative link between algebraic independence (captured by matroid rank) and information-theoretic independence (captured by entropy).
Signature 0 toric varieties, wall crossings, and cross polytope-like structures
We describe the structure of simplicial locally convex fans associated to even-dimensional complete toric varieties with signature 0. They belong to the set of such toric varieties whose even degree Betti numbers yield a top gamma vector component equal to 0. The gamma vector is an invariant of palindromic polynomials whose nonnegativity lies between unimodality and real-rootedness. It is known (and expected more generally) that the cases where this top component is 0 are among the "building blocks" of those where it is nonnegative. This means minimality with respect to a certain restricted class of blowups. However, this equality to 0 case is currently poorly understood. In the course of addressing this situation, we find that this interpretation encodes *intrinsic* combinatorial information on the fan in addition to earlier compatibility with existing natural combinatorial examples.
Our main method uses wall crossings. The links of the fan come from a repeated suspension of the maximal linear subspace in its realization in the ambient space of the fan. Conversely, the centers of these links containing any particular line form a cone or a repeated suspension of one. The intersection patterns between these "anchoring" linear subspaces come from how far certain submodularity inequalities are from equality and parity conditions on their dimensions. This involves linear dependence and containment relations between them which are connected to optimization. We obtain these relations by viewing the vanishing of certain mixed volumes from the perspective of the exponents. Finally, these wall crossings yield a simple method of generating induced 4-cycles covering the minimal objects described above. We intersect rational equivalence relations with 2-dimensional orbit closures instead of 1-dimensional ones as in most combinatorial applications.
Improved Bounds on Ultra-Log Concavity of the Grothendieck Class of $\overline{\mathcal{M}_{0,n}}$
The class of the fine moduli space of stable $n$-pointed curves of genus zero, $\overline{\mathcal{M}_{0,n}}$, in the Grothendieck ring of varieties encodes its Poincaré polynomial. Aluffi-Chen-Marcolli conjecture that the Grothendieck class of $\overline{\mathcal{M}_{0,n}}$ is real-rooted (and hence ultra-log-concave), and they proved an asymptotic ultra-log-concavity result for these polynomials. We build upon their work, by providing effectively computable bounds for the error term in their asymptotic formula for $\mathrm{rk}\, H^{2l}(\overline{\mathcal{M}_{0,n}})$. As a consequence, we prove that in the range $l \le \frac{n}{10\log n}$, the ultra-log-concavity inequality \[\left(\frac{\mathrm{rk}\, H^{2(l-1)}(\overline{\mathcal{M}_{0,n}})}{\binom{n-3}{l-1}}\right)^2 \ge \frac{\mathrm{rk}\, H^{2(l-2)}(\overline{\mathcal{M}_{0,n}})\mathrm{rk}\, H^{2l}(\overline{\mathcal{M}_{0,n}})}{\binom{n-3}{l-2}\binom{n-3}{l}} \]
holds for $n$ sufficiently large.
Parke-Taylor varieties
Parke-Taylor functions are certain rational functions on the Grassmannian of lines encoding MHV amplitudes in particle physics. For $n$ particles there are $n!$ Parke-Taylor functions, corresponding to all orderings of the particles. Linear relations between these functions have been extensively studied in the last years. We here describe all non-linear polynomial relations between these functions in a simple combinatorial way and study the variety parametrized by them, called the Parke-Taylor variety. We show that the Parke-Taylor variety is linearly isomorphic to the log canonical embedding of the moduli space $\overline{\mathcal{M}}_{0,n}$ due to Keel and Tevelev, and that the intersection with the algebraic torus recovers the open part, $\mathcal{M}_{0,n}$. We give an explicit description of this isomorphism. Unlike the log canonical embedding, this Parke-Taylor embedding respects the symmetry of the $n$ marked points and is constructed in a single-step procedure, avoiding the intermediate embedding into a product of projective spaces.
Special restricted partition functions for the stable sheaf cohomology on flag varieties
Let $\mathbf a:=(a_1,\ldots,a_r)$ be a sequence of positive integers, $d\geq 2$ and $j\geq 1$, some integers. We study the functions $p_{\mathbf a,d}(n):=$ the number of integer solutions $(x_1,\dots,x_r)$ of $\sum_{i=1}^r a_ix_i=n$, with $x_i\geq 0$ and $x_i \equiv 0,1(\bmod\;d)$, for all $1\leq i\leq r$, and $p_{\mathbf a,d}(n;j):=$ the number of $(x_1,\ldots,x_r)$ as above which satisfy also the condition $\sum_{i=1}^r \left(x_i-(d-2)\left\lfloor \frac{x_i}{d} \right\rfloor\right) =j$.
We give formulas for $p_{\mathbf a,d}(n)$ and its polynomial part $P_{\mathbf a,d}(n)$, and also for $p_{\mathbf a,d}(n;j)$. As an application, we compute the dimensions of the stable cohomology groups for certain line bundles associated to flag varieties, defined over an algebraically closed field of positive characteristic.
Global positroid varieties
Positroid subvarieties of complex Grassmannians are the images of the Richardson subvarieties of the full flag varieties under the natural projection map. Positroid varieties admit natural embedding into certain quiver Grassmannians for equioriented cyclic quivers. Varying representations of the quiver, one defines global positroid varieties inside the type A global affine Grassmannian. General fiber of a family is isomorphic to the corresponding classical positroid variety and the special fiber is a subvariety of the juggling variety. We show that the global positroid families are flat and describe their (conjecturally reduced) scheme structures. We also describe the special fibers inside the product of classical positroid varieties and realize the irreducible components of the special fibers in terms of the affine Richardson varieties.
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
We present a Weitz-type FPTAS for the ferromagnetic Ising model across the entire Lee--Yang zero-free region, without relying on the strong spatial mixing (SSM) property. Our algorithm is Weitz-type for two reasons. First, it expresses the partition function as a telescoping product of ratios, with the key being to approximate each ratio. Second, it uses Weitz's self-avoiding walk tree, and truncates it at logarithmic depth to give a good and efficient approximation. The key difference from the standard Weitz algorithm is that we approximate a carefully designed edge-deletion ratio instead of the marginal probability of a vertex being assigned a particular spin, ensuring our algorithm does not require SSM.
Furthermore, by establishing local dependence of coefficients (LDC), we prove a novel form of SSM for these edge-deletion ratios, which, in turn, implies the standard SSM for the random cluster model. This is the first SSM result for the random cluster model on general graphs, beyond lattices. Our proof of LDC is based on a new divisibility relation, and we show such relations hold quite universally. This leads to a broadly applicable framework for proving LDC across a variety of models, including the Potts model, the hypergraph independence polynomial, and Holant problems. Combined with existing zero-freeness results for these models, we derive new SSM results for them.
On the integral cohomology of real toric manifolds
Real toric manifolds are the real loci of nonsingular complete toric varieties. In this paper, we calculate the integral cohomology groups of real toric manifolds in terms of the combinatorial data contained in the underlying simplicial fans, generalizing a formula due to Cai and Choi. We also present a combinatorial formula to describe the ring structure, modulo the ideal consisting of elements of order $2$. As an application, a combinatorial-algebraic criterion is established for when a real toric manifold is spin$^c$.
A scheme-theoretic interpretation of generalized splines
Classical splines feature prominently in approximation theory and numerical analysis, while GKM theory arises in the study of equivariant cohomology. More recently, generalized splines have been studied which simultaneously generalize both classical splines and GKM theory. We show that generalized splines can be understood as a scheme-theoretic phenomenon, and establish the foundations for working with generalized splines via scheme theory. To do this, we first prove that the ring of generalized splines over an edge-labeled graph is isomorphic to the limit of a diagram associated to the edge-labeled graph. This is used to establish the connection to scheme theory, and in particular to secure a local--global principle for generalized splines.
The secondary aim of the paper is to catalog a variety of initial local--global results. We prove a module of multivariate generalized splines over $k[x,y]$ is free when an edge-labeled graph is locally trivial or determined by a cycle on a standard cover, provide criteria for generalized splines over UFDs to be finite projective, for multivariate generalized splines to be free, along with other results. The appendix includes a variety of examples which demonstrate precise experimental control over when a module of splines is free, with computer verification by Macaulay2. We conclude with an account of how deletion and contraction affect the spectrum of a ring of splines.