variety
2744 papers tagged with this keyword
A decomposition of graph a-numbers
We study the $a$-sequence $(a_0(G), a_1(G), \cdots)$ of a finite simple graph $G$, defined recursively through a combinatorial rule and known to coincide with the sequence of rational Betti numbers of the real toric variety associated with $G$.
In this paper, we establish a combinatorial and topological decomposition formula for the $a$-sequence. As an application, we show that the $a$-sequence is monotone under graph inclusion; that is, $a_i(G) \geq a_i(H)$ for all $i \geq 0$ whenever $H$ is a subgraph of $G$, and obtain the lower and upper bounds of $a_i$-numbers. We also prove that the $a$-sequence is unimodal in $i$ for a broad class of graphs $G$, including those with a Hamiltonian circuit or a universal vertex. These results provide a new class of topological spaces whose Betti number sequences are unimodal but not necessarily log concave, contributing to the study of real loci in algebraic geometry.
Round Aztec windows, a dual of the Aztec diamond theorem and a curious symmetry of the correlation of diagonal slits
Published
• View Publication
• BIB
Fairly shortly after the publication of the Aztec diamond theorem of Elkies, Kuperberg, Larsen and Propp in 1992, interest arose in finding the number of domino tilings of an Aztec diamond with an ``Aztec window,'' i.e.\ a hole in the shape of a smaller Aztec diamond at its center. Several intriguing patterns were discovered for the number of tilings of such regions, but the numbers themselves were not ``round'' -- they didn't seem to be given by a simple product formula. In this paper we consider a very closely related shape of holes (namely, odd Aztec rectangles), and prove that a large variety of regions obtained from Aztec rectangles by making such holes in them possess the sought-after property that the number of their domino tilings is given by a simple product formula. We find the same to be true for certain symmetric cruciform regions. We also consider graphs obtained from a toroidal Aztec diamond by making such holes in them, and prove a simple formula that governs the way the number of their perfect matchings changes under a natural evolution of the holes. This yields in particular a natural dual of the Aztec diamond theorem. Some implications for the correlation of such holes are also presented, including an unexpected symmetry for the correlation of diagonal slits on the square grid.
Tropical fans supporting a reduced 0-dimensional complete intersection
An affine tropical fan is called regular if it supports a reduced 0-dimensional complete intersection. For some cases the classification of regular fans is already complete. It was proved by Fink that tropical varieties of degree 1 are exactly Bergman fans, and later Esterov and Gusev classified all lattice polytopes whose mixed volume equals 1. We introduce the notion of a gallery for tropical fans and use it to classify all one-dimensional regular fans, thereby obtaining a minimal model programme for such fans. In dimension 2 we prove a finiteness theorem: every regular fan that satisfies the given upper bound condition is precisely the support of a finite covering by two-dimensional galleries, and only finitely many such fans exist.
Comparing cluster algebras on braid varieties
Braid varieties parametrize linear configurations of flags with transversality conditions dictated by positive braids. They include and generalize reduced double Bruhat cells, positroid varieties, open Bott-Samelson varieties, and Richardson varieties, among others. Recently, two cluster algebra structures were independently constructed in the coordinate rings of braid varieties: one using weaves and the other using Deodhar geometry. The main result of the article is that these two cluster algebras coincide. More generally, our comparative study matches the different concepts and results from each approach to the other, both on the combinatorial and algebraic geometric aspects.
Slow graph bootstrap percolation III: Chain constructions
Published
• View Publication
• BIB
For graphs $H$, we study the extremal function $M_H(n)$ which is the maximum running time (until stabilisation) of an $H$-bootstrap percolation process on $n$ vertices. Building on previous work in the clique case $H=K_k$, we develop a general framework of chain constructions. We demonstrate the flexibility of this framework by applying several variations of the method to give lower bounds on $M_H(n)$ for a wide variety of different graphs $H$ including dense graphs, random graphs and complete bipartite graphs. In particular, we focus on the question of whether $M_H(n)$ is (almost) quadratic or not and our lower bounds develop connections with additive combinatorics, utilising constructions of sets free of solutions to certain linear equations. Finally, our lower bounds are complemented by upper bounds which connect $M_H(n)$ to other problems in extremal graph theory such as the Ruzsa-Szemerédi (6,3)-Theorem.
On a class of quasi-Hermitian surfaces in even characteristic
In [1], a new quasi-Hermitian variety $\mathcal{H}_\varepsilon^r$ in $\mathrm{PG}(r, q^2)$, with $q = 2^e$ and $e \geq 3$ an odd integer, was constructed. The variety depends on a primitive element $\varepsilon$ of the underlying field $\mathrm{GF}(q^2)$.11
In the present paper, we first provide a classification of such varieties up to projective equivalence in finite projective spaces of arbitrary dimension. Then, we focus on the case $r = 3$ and study the structure of the lines contained in $\mathcal{H}_\varepsilon^3$; as a consequence, we determine the full automorphism group of $\mathcal{H}_\varepsilon^3$ . Finally, as a byproduct, we prove the equivalence of certain minimal codes introduced in [3].
Plabic Tangles and Cluster Promotion Maps
Published
• View Publication
• BIB
Inspired by the BCFW recurrence for tilings of the amplituhedron, we introduce the general framework of `plabic tangles' that utilizes plabic graphs to define rational maps between products of Grassmannians called `promotions'. The central conjecture of the paper is that promotion maps are quasi-cluster homomorphisms, which we prove for several classes of promotions. In order to define promotion maps, we utilize $m$-vector-relation configurations ($m$-VRCs) on plabic graphs. We relate $m$-VRCs to the degree (a.k.a `intersection number') of the amplituhedron map on positroid varieties and characterize all plabic trees with intersection number one and their VRCs. Finally, we show that promotion maps admit an operad structure and, supported by the class of `$4$-mass box' promotion, we point at new positivity properties for non-rational maps beyond cluster algebras. Promotion maps have important connections to the geometry and cluster structure of the amplituhedron and singularities of scattering amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory.
Tropical cluster varieties of type C
Published
• View Publication
• BIB
We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron. As additional results, we construct Gröbner and tropical bases for the defining ideals of both varieties, and classify the arising toric degenerations.
Saturation for Non-Symmetric Macdonald Polynomials
We prove that supports of non-symmetric Macdonald polynomials are $M$-convex. As a consequence, we resolve a 2019 conjecture of Monical, Tokcan, and Yong that they have the saturated Newton polytope property. As a further consequence, we prove that the moment polytopes of affine Schubert varieties in the affine Grassmannian of type $\mathrm{GL}$ are generalized permutahedra.
Notes on the cohomology of partial Hessenberg varieties
Hessenberg varieties are a family of subvarieties of full flag varieties. This family contains well-known varieties such as Springer fibers, Peterson varieties, and permutohedral varieties. It was introduced by De Mari-Procesi-Shayman in 1992 and has been actively studied in this decade. In particular, unexpected relations to hyperplane arrangements and the Stanley-Stembridge conjecture in graph theory have been discovered. Hessenberg varieties can be defined in partial flag varieties. In this paper, we study their cohomology by relating them to the cohomology of Hessenberg varieties in the full flag varieties.
Recent advances in arrow relations and traces of sets
Published
• View Publication
• BIB
The arrow relation, a central concept in extremal set theory, captures quantitative relationships between families of sets and their traces. Formally, the arrow relation $(n, m) \rightarrow (a, b)$ signifies that for any family $\mathcal{F} \subseteq 2^{[n]}$ with $|\mathcal{F}| \geqslant m$, there exists an $a$-element subset $T \subseteq [n]$ such that the trace $\mathcal{F}_{|T} = \{ F \cap T : F \in \mathcal{F} \}$ contains at least $b$ distinct sets. This survey highlights recent progress on a variety of problems and results connected to arrow relations. We explore diverse topics, broadly categorized by different extremal perspectives on these relations, offering a cohesive overview of the field.
Domino tilings beyond 2D
Published
• View Publication
• BIB
There is a rich history of domino tilings in two dimensions. Through a variety of techniques we can answer questions such as: how many tilings are there of a given region or what does the space of all tilings look like? These questions and their answers become significantly more difficult in dimension three and above. Despite this curse of dimensionality, there have been exciting recent advances in the theory. Here we briefly review foundational results of two-dimensional domino tilings and highlight where challenges arise when generalizing to higher dimensions. We then survey results in higher dimensional domino tilings, focusing on the question of connectivity of the space of tilings, and the open problems that still remain.
Limits of biconditioned Bienayme-Galton-Watson trees
We study the limiting behavior of a Bienayme-Galton-Watson tree conditioned to have a large number of vertices and either a fixed number of leaves or a fixed number of internal nodes. The first biconditioning gives a universal result with respect to the offspring distribution. In contrast, the second case leads to a variety of limiting behaviors, ranging from condensation phenomena to more elongated tree structures, depending on the properties of the offspring distribution. To prove these results, we use tools from conditioned random walk theory and from analytic combinatorics.
Exterior Cyclic Polytopes and Convexity of Amplituhedra
The amplituhedron is a semialgebraic set in the Grassmannian. We study convexity and duality of amplituhedra. We introduce a notion of convexity, called \textit{extendable convexity}, for real semialgebraic sets in any embedded projective variety. We show that the $k=m=2$ amplituhedron is extendably convex in the Grassmannian of lines in projective three-space. In the process we introduce a new polytope called the \emph{exterior cyclic polytope}, generalizing the cyclic polytope. It is equal to the convex hull of the amplituhedron in the Plücker embedding. We undertake a combinatorial analysis of the exterior cyclic polytope, its facets, and its dual. Finally, we introduce the \textit{(extendable) dual amplituhedron}, which is closely related to the dual of the exterior cyclic polytope. We show that the dual amplituhedron for $k=m=2$ is again an amplituhedron, where the external matrix data is changed by the twist map.
Delta-matroids and toric degenerations in OG(n,2n+1)
We construct an explicit, embedded degeneration of the general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties. In particular, we deduce a formula for the cohomology class of the torus orbit closure, as a sum of products of Schubert classes. The moment map images of the degenerate pieces are the base polytopes of their underlying delta-matroids, and give a polyhedral decomposition of the unit hypercube, which had previously been studied by Chen-Sanchez-Veliz-Ying.
SASH: Decoding Community Structure in Graphs
Published
• View Publication
• BIB
Detection of communities in a graph entails identifying clusters of densely connected vertices; the area has a variety of important applications and a rich literature. The problem has previously been situated in the realm of error correcting codes by viewing a graph as a noisy version of the assumed underlying communities. In this paper, we introduce an encoding of community structure along with the resulting code's parameters. We then present a novel algorithm, SASH, to decode to estimated communities given an observed dataset. We demonstrate the performance of SASH via simulations on an assortative planted partition model and on the Zachary's Karate Club dataset.
Reflexive polytopes and the Picard ranks of Gorenstein toric Fano varieties
We prove that the sum of the Picard ranks of a polar pair of Gorenstein toric Fano varieties of dimension $d\geq 3$ is at most the minimum of the number of facets and vertices of the corresponding pair of reflexive polytopes minus $(d-1)$. This is a generalization of Eikelberg's theory of affine dependences describing the Picard groups of toric varieties. The upper bound is achieved if and only if the polar pair is a simple-simplicial pair.
Matroids and the integral Hodge conjecture for abelian varieties
We prove that the cohomology class of any curve on a very general principally polarized abelian variety of dimension at least 4 is an even multiple of the minimal class. The same holds for the intermediate Jacobian of a very general cubic threefold. This disproves the integral Hodge conjecture for abelian varieties and shows that very general cubic threefolds are not stably rational. Our proof is motivated by tropical geometry; it relies on multivariable Mumford constructions, monodromy considerations, and the combinatorial theory of matroids.
Some Lagrangian quiver Grassmannians for the equioriented cycle
The goal of this paper is to better understand a family of linear degenerations of the classical Lagrangian Grassmannians $Λ(2n)$. It is the special case for $k=n$ of the varieties $X(k,2n)^{sp}$, introduced in previous joint work with Evgeny Feigin, Martina Lanini and Alexander Pütz. These varieties are obtained as isotropic subvarieties of a family of quiver Grassmannians $X(n,2n)$, and are acted on by a linear degeneration of the algebraic group $Sp_{2n}$. We prove a conjecture proposed in the paper above for this particular case, which states that the ordering on the set of orbits in $X(n,2n)^{sp}$ given by closure-inclusion coincides with a combinatorially defined order on what are called symplectic $(n,2n)$-juggling patterns, much in the same way that the $Sp_{2n}$ orbits in $Λ(2n)$ are parametrized by a type C Weyl group with the Bruhat order. The dimension of such orbits is computed via the combinatorics of bounded affine permutations, and it coincides with the length of some permutation in a Coxeter group of affine type C. Furthermore, the varieties $X(n,2n)$ are GKM, that is, they have trivial cohomology in odd degree and are equipped with the action of an algebraic torus with finitely many fixed points and 1-dimensional orbits. In this paper it is proven that $X(n,2n)^{sp}$ is also GKM, with respect to the action of a subtorus of the above torus.
Degenerations of families of bands and strings for gentle algebras
Published
• View Publication
• BIB
Let $A$ be a gentle algebra. For every collection of string and band diagrammes, we consider the constructible subset of the variety of representations containing all modules with this underlying diagramme. We study degenerations of such sets. We show that these sets are defined by vectors of integers which we call $h$-vectors and which are related to a restricted version of the hom-order. We provide combinatorial criteria for the existence of a degeneration, involving the removal of an arrow or the resolving of a type of configuration called "reaching".