variety
2681 papers tagged with this keyword
Line-Graph Lattices: Euclidean and Non-Euclidean Flat Bands, and Implementations in Circuit Quantum Electrodynamics
Published
• View Publication
• BIB
Materials science and the study of the electronic properties of solids are a major field of interest in both physics and engineering. The starting point for all such calculations is single-electron, or non-interacting, band structure calculations, and in the limit of strong on-site confinement this can be reduced to graph-like tight-binding models. In this context, both mathematicians and physicists have developed largely independent methods for solving these models. In this paper we will combine and present results from both fields. In particular, we will discuss a class of lattices which can be realized as line graphs of other lattices, both in Euclidean and hyperbolic space. These lattices display highly unusual features including flat bands and localized eigenstates of compact support. We will use the methods of both fields to show how these properties arise and systems for classifying the phenomenology of these lattices, as well as criteria for maximizing the gaps. Furthermore, we will present a particular hardware implementation using superconducting coplanar waveguide resonators that can realize a wide variety of these lattices in both non-interacting and interacting form.
Properties of high rank subvarieties of affine spaces
We use tools of additive combinatorics for the study of subvarieties defined by {\it high rank} families of polynomials in high dimensional $\mathbb{F} _q$-vector spaces. In the first, analytic part of the paper we prove a number properties of high rank systems of polynomials. In the second, we use these properties to deduce results in Algebraic Geometry, such as an effective Stillman conjecture over algebraically closed fields, an analogue of Nullstellensatz for varieties over finite fields, and a strengthening of a recent result of [5]. We also show that for $k$-varieties $\mathbb X \subset \mathbb{A}^n$ of high rank any weakly polynomial function on a set $\mathbb{X}(k)\subset k^n$ extends to a polynomial.
Cluster structures in Schubert varieties in the Grassmannian
Published
• View Publication
• BIB
In this article we explain how the coordinate ring of each (open) Schubert variety in the Grassmannian can be identified with a cluster algebra, whose combinatorial structure is encoded using (target labelings of) Postnikov's plabic graphs. This result generalizes a theorem of Scott (Scott 2006) for the Grassmannian, and proves a folklore conjecture for Schubert varieties that has been believed by experts since (Scott 2006), though the statement was not formally written down until Müller-Speyer explicitly conjectured it (Müller-Speyer 2016). To prove this conjecture we use a result of Leclerc (Leclerc 2016), who used the module category of the preprojective algebra to prove that coordinate rings of many Richardson varieties in the complete flag variety can be identified with cluster algebras. Our proof also uses a construction of Karpman (Karpman 2016) to build plabic graphs associated to reduced expressions. We additionally generalize our result to the setting of skew Schubert varieties; the latter result uses generalized plabic graphs, i.e. plabic graphs whose boundary vertices need not be labeled in cyclic order.
Linear degenerations of flag varieties: partial flags, defining equations, and group actions
We continue, generalize and expand our study of linear degenerations of flag varieties from [G. Cerulli Irelli, X. Fang, E. Feigin, G. Fourier, M. Reineke, Math. Z. 287 (2017), no. 1-2, 615-654]. We realize partial flag varieties as quiver Grassmannians for equi-oriented type A quivers and construct linear degenerations by varying the corresponding quiver representation. We prove that there exists the deepest flat degeneration and the deepest flat irreducible degeneration: the former is the partial analogue of the mf-degenerate flag variety and the latter coincides with the partial PBW-degenerate flag variety. We compute the generating function of the number of orbits in the flat irreducible locus and study the natural family of line bundles on the degenerations from the flat irreducible locus. We also describe explicitly the reduced scheme structure on these degenerations and conjecture that similar results hold for the whole flat locus. Finally, we prove an analogue of the Borel-Weil theorem for the flat irreducible locus.
Successive minima of line bundles
We introduce and study the successive minima of line bundles on proper algebraic varieties. The first (resp. last) minima are the width (resp. Seshadri constant) of the line bundle at very general points. The volume of the line bundle is equivalent to the product of the successive minima. For line bundles on toric varieties, the successive minima are equivalent to the (reciprocal of) usual successive minima of the difference of the moment polytope.
Some new $q$-congruences for truncated basic hypergeometric series
Published in Symmetry 2019, 11(2), 268
• View Publication
• BIB
We provide several new $q$-congruences for truncated basic hypergeometric series, mostly of arbitrary order. Our results include congruences modulo the square or the cube of a cyclotomic polynomial, and in some instances, parametric generalizations thereof. These are established by a variety of techniques including polynomial argument, creative microscoping (a method recently introduced by the first author in collaboration with Zudilin), Andrews' multiseries generalization of the Watson transformation, and induction. We also give a number of related conjectures including congruences modulo the fourth power of a cyclotomic polynomial.
A symplectic refinement of shifted Hecke insertion
Published in J. Combin. Theory Ser. A 173 (2020), 105216
• View Publication
• BIB
Buch, Kresch, Shimozono, Tamvakis, and Yong defined Hecke insertion to formulate a combinatorial rule for the expansion of the stable Grothendieck polynomials $G_π$ indexed by permutations in the basis of stable Grothendieck polynomials $G_λ$ indexed by partitions. Patrias and Pylyavskyy introduced a shifted analogue of Hecke insertion whose natural domain is the set of maximal chains in a weak order on orbit closures of the orthogonal group acting on the complete flag variety. We construct a generalization of shifted Hecke insertion for maximal chains in an analogous weak order on orbit closures of the symplectic group. As an application, we identify a combinatorial rule for the expansion of "orthogonal" and "symplectic" shifted analogues of $G_π$ in Ikeda and Naruse's basis of $K$-theoretic Schur $P$-functions.
An Exponential Lower Bound on the Sub-Packetization of MSR Codes
An $(n,k,\ell)$-vector MDS code is a $\mathbb{F}$-linear subspace of $(\mathbb{F}^\ell)^n$ (for some field $\mathbb{F}$) of dimension $k\ell$, such that any $k$ (vector) symbols of the codeword suffice to determine the remaining $r=n-k$ (vector) symbols. The length $\ell$ of each codeword symbol is called the sub-packetization of the code. Such a code is called minimum storage regenerating (MSR), if any single symbol of a codeword can be recovered by downloading $\ell/r$ field elements (which is known to be the least possible) from each of the other symbols.
MSR codes are attractive for use in distributed storage systems, and by now a variety of ingenious constructions of MSR codes are available. However, they all suffer from exponentially large sub-packetization $\ell \gtrsim r^{k/r}$. Our main result is an almost tight lower bound showing that for an MSR code, one must have $\ell \ge \exp(Ω(k/r))$. This settles a central open question concerning MSR codes that has received much attention. Previously, a lower bound of $\approx \exp(\sqrt{k/r})$, and a tight lower bound for a restricted class of "optimal access" MSR codes, were known.
Complete intersection Calabi--Yau threefolds in Hibi toric varieties and their smoothing
In this article, we summarize combinatorial description of complete intersection Calabi-Yau threefolds in Hibi toric varieties. Such Calabi-Yau threefolds have at worst conifold singularities, and are often smoothable to non-singular Calabi-Yau threefolds. We focus on such non-singular Calabi-Yau threefolds of Picard number one, and illustrate the calculation of topological invariants, using new motivating examples.
Semi-Grundy function, an hereditary approach to Grundy function
Grundy functions have found many applications in a wide variety of games, in solving relevant problems in Game Theory. Many authors have been working on this topic for over many years. Since the existence of a Grundy function on a digraph implies that it must have a kernel, the problem of deciding if a digraph has a Grundy function is NP-complete, and how to calculate one is not clearly answered. In this paper, we introduce the concept: Semi-Grundy function, which arises naturally from the connection between kernel and semi-kernel and the connection between kernel and Grundy function. We explore the relationship of this concept with the Grundy function, proving that for digraphs with a defining hereditary property is sufficient to get a semi-grundy function to obtain a Grundy function. Then we prove sufficient and necessary conditions for some products of digraphs to have a semi-Grundy function. Also, it is shown a relationship between the size of the semi-Grundy function obtained for the Cartesian Product and the size of the semi-Grundy functions of the factors. This size is an upper bound of the chromatic number. We present a family of digraphs with the following property: for each natural number $n\geq 2$, there is a digraph $R_n$ that has two Grundy functions such that the difference between their maximum values is equal to n. Then it is important to have bounds for the Grundy or semi-Grundy functions.
Existence of cube terms in finite algebras
We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of dimension at most $N$, where the number $N$ depends on the arities of basic operations of the algebra and the size of the basic set. For finite idempotent algebras we give a tight bound on $N$ that, in the special case of algebras with more than $\binom{|A|}2$ basic operations, improves an earlier result of K. Kearnes and A. Szendrei. On the algorithmic side, we show that deciding the existence of cube terms is in P for idempotent algebras and in EXPTIME in general.
Since an algebra contains a $k$-ary near unanimity operation if and only if it contains a $k$-dimensional cube term and generates a congruence distributive variety, our algorithm also lets us decide whether a given finite algebra has a near unanimity operation.
On geometric complexity theory: Multiplicity obstructions are stronger than occurrence obstructions
Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two papers (SIAM J Comput 2001, 2008) aims to separate algebraic complexity classes via representation theoretic multiplicities in coordinate rings of specific group varieties. The papers also conjecture that the vanishing behavior of these multiplicities would be sufficient to separate complexity classes (so-called occurrence obstructions). The existence of such strong occurrence obstructions has been recently disproven in 2016 in two successive papers, Ikenmeyer-Panova (Adv. Math.) and Bürgisser-Ikenmeyer-Panova (J. AMS). This raises the question whether separating group varieties via representation theoretic multiplicities is stronger than separating them via occurrences. This paper provides for the first time a setting where separating with multiplicities can be achieved, while the separation with occurrences is provably impossible. Our setting is surprisingly simple and natural: We study the variety of products of homogeneous linear forms (the so-called Chow variety) and the variety of polynomials of bounded border Waring rank (i.e. a higher secant variety of the Veronese variety). As a side result we prove a slight generalization of Hermite's reciprocity theorem, which proves Foulkes' conjecture for a new infinite family of cases.
Orbigraphs: a graph theoretic analog to Riemannian orbifolds
Published in Involve 12 (2019) 721-736
• View Publication
• BIB
A Riemannian orbifold is a mildly singular generalization of a Riemannian manifold that is locally modeled on $R^n$ modulo the action of a finite group. Orbifolds have proven interesting in a variety of settings. Spectral geometers have examined the link between the Laplace spectrum of an orbifold and the singularities of the orbifold. One open question in this field is whether or not a singular orbifold and a manifold can be Laplace isospectral. Motivated by the connection between spectral geometry and spectral graph theory, we define a graph theoretic analogue of an orbifold called an orbigraph. We obtain results about the relationship between an orbigraph and the spectrum of its adjacency matrix. We prove that the number of singular vertices present in an orbigraph is bounded above and below by spectrally determined quantities, and show that an orbigraph with a singular point and a regular graph cannot be cospectral. We also provide a lower bound on the Cheeger constant of an orbigraph.
Reduced word enumeration, complexity, and randomization
Published in Electronic J. Combinatorics 29 (2) (2022), #P2.46
• View Publication
• BIB
A reduced word of a permutation $w$ is a minimal length expression of $w$ as a product of simple transpositions. We examine the computational complexity, formulas and (randomized) algorithms for their enumeration. In particular, we prove that the Edelman-Greene statistic, defined by S. Billey-B. Pawlowski, is typically exponentially large. This implies a result of B. Pawlowski, that it has exponentially growing expectation. Our result is established by a formal run-time analysis of A. Lascoux-M.-P. Schützenberger's transition algorithm. The more general problem of Hecke word enumeration, and its closely related question of counting set-valued standard Young tableaux, is also investigated. The latter enumeration problem is further motivated by work on Brill-Noether varieties due to M. Chan-N. Pflueger and D. Anderson-L. Chen-N. Tarasca.
The Erdős-Ulam problem, Lang's conjecture, and uniformity
Published
• View Publication
• BIB
A rational distance set is a subset of the plane such that the distance between any two points is a rational number. We show, assuming Lang's Conjecture, that the cardinalities of rational distance sets in general position are uniformly bounded, generalizing results of Solymosi-de Zeeuw, Makhul-Shaffaf, Shaffaf, and Tao. In the process, we give a criterion for certain varieties with non-canonical singularities to be of general type.
The smooth torus orbit closures in the Grassmannians
It is known that for the natural algebraic torus actions on the Grassmannians, the closures of torus orbits are toric varieties, and that these toric varieties are smooth if and only if the corresponding matroid polytopes are simple. We prove that simple matroid polytopes are products of simplices and smooth torus orbit closures in the Grassmannians are products of complex projective spaces. Moreover, it turns out that the smooth torus orbit closures are uniquely determined by the corresponding simple matroid polytopes.
Combinatorial Lefschetz theorems beyond positivity
Consider a simplicial complex that allows for an embedding into $\mathbb{R}^d$. How many faces of dimension $\frac{d}{2}$ or higher can it have? How dense can they be?
This basic question goes back to Descartes' "Lost Theorem" and Euler's work on polyhedra. Using it and other fundamental combinatorial problems, we introduce a version of the Kähler package beyond positivity, allowing us to prove the hard Lefschetz theorem for toric varieties (and beyond) even when the ample cone is empty. A particular focus lies on replacing the Hodge-Riemann relations by a non-degeneracy relation at torus-invariant subspaces, allowing us to state and prove a generalization of theorems of Hall and Laman in the setting of toric varieties and, more generally, the face rings of Hochster, Reisner and Stanley. This has several applications:
- We fully characterize the possible face numbers of simplicial rational homology spheres, resolving the $g$-conjecture of McMullen in full generality and generalizing Stanley's earlier proof for simplicial polytopes. The same methods also verify a conjecture of Kühnel: if $M$ is a triangulated closed $(d-1)$-manifold on $n$ vertices, then \[\binom{d+1}{j}\mathrm{b}_{j-1}(M)\ \le \ \binom{n-d+j-2}{j}\ \quad \text{for}\ 1\le j\le \frac{d}{2}.\]
- We prove that for a simplicial complex that embeds into $\mathbb{R}^{2d}$, the number of $d$-dimensional simplices exceeds the number of $(d-1)$-dimensional simplices by a factor of at most $d+2$. This generalizes a result going back to Descartes and Euler, and resolves the Grünbaum-Kalai-Sarkaria conjecture. We obtain from this a generalization of the celebrated crossing lemma: For a map of a simplicial complex $Δ$ into $\mathbb{R}^{2d}$, the number of pairwise intersections of $d$-simplices is at least \[\frac{f_d^{d+2}(Δ)}{(d+3)^{d+2}f_{d-1}^{d+1}(Δ)}\] provided $f_d(Δ)> (d+3)f_{d-1}(Δ)$.
The volume polynomial of regular semisimple Hessenberg varieties and the Gelfand-Zetlin polytope
Regular semisimple Hessenberg varieties are subvarieties of the flag variety $\mathrm{Flag}(\mathbb{C}^n)$ arising naturally in the intersection of geometry, representation theory, and combinatorics. Recent results of Abe-Horiguchi-Masuda-Murai-Sato and Abe-DeDieu-Galetto-Harada relate the volume polynomials of regular semisimple Hessenberg varieties to the volume polynomial of the Gelfand-Zetlin polytope $\mathrm{GZ}(λ)$ for $λ=(λ_1,λ_2,\ldots,λ_n)$. The main results of this manuscript use and generalize tools developed by Anderson-Tymoczko, Kiritchenko-Smirnov-Timorin, and Postnikov, in order to derive an explicit formula for the volume polynomials of regular semisimple Hessenberg varieties in terms of the volumes of certain faces of the Gelfand-Zetlin polytope, and also exhibit a manifestly positive, combinatorial formula for their coefficients with respect to the basis of monomials in the $α_i := λ_i-λ_{i+1}$. In addition, motivated by these considerations, we carefully analyze the special case of the permutohedral variety, which is also known as the toric variety associated to Weyl chambers. In this case, we obtain an explicit decomposition of the permutohedron (the moment map image of the permutohedral variety) into combinatorial $(n-1)$-cubes, and also give a geometric interpretation of this decomposition by expressing the cohomology class of the permutohedral variety in $\mathrm{Flag}(\mathbb{C}^n)$ as a sum of the cohomology classes of a certain set of Richardson varieties.
Upper-triangular linear relations on multiplicities and the Stanley-Stembridge conjecture
In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a refined (graded) version of the Stanley-Stembridge conjecture in a special case. In this manuscript, we derive a new set of linear relations satisfied by the multiplicities of certain permutation representations in Tymoczko's representation. We also show that these relations are upper-triangular in an appropriate sense, and in particular, they uniquely determine the multiplicities. As an application of these results, we prove an inductive formula for the multiplicity coefficients corresponding to partitions with a maximal number of parts. It follows from our formula that these coefficients are non-negative, thus giving additional positive evidence for the graded Stanley--Stembridge conjecture in the general case.
The tropical Cayley-Menger variety
Published in SIAM J. Discrete Math. 33 (2019) no. 3 pp. 1725-1742
• Search Publication
The Cayley-Menger variety is the Zariski closure of the set of vectors specifying the pairwise squared distances between $n$ points in $\mathbb{R}^d$. This variety is fundamental to algebraic approaches in rigidity theory. We study the tropicalization of the Cayley-Menger variety. In particular, when $d = 2$, we show that it is the Minkowski sum of the set of ultrametrics on $n$ leaves with itself, and we describe its polyhedral structure. We then give a new, tropical, proof of Laman's theorem.