variety
2744 papers tagged with this keyword
A singular Coxeter presentation
Published
• View Publication
• BIB
We enlarge a Coxeter group into a category, with one object for each finite parabolic subgroup, encoding the combinatorics of double cosets. This category, the singular Coxeter monoid, is connected to the geometry of partial flag varieties. Our main result is a presentation of this category by generators and relations. We also provide a new description of reduced expressions for double cosets. We describe all the braid relations between such reduced expressions, and prove an analogue of Matsumoto's theorem. This gives a proper development of ideas first introduced by Geordie Williamson. In type A we also equip the singular Coxeter monoid with a diagrammatic presentation using webs.
Normality of closure of orthogonal nilpotent symmetric orbits
Published in Transformation Groups (2022) published online: 10 March 2022
• View Publication
• BIB
We study closures of conjugacy classes in the symmetric matrices of the orthogonal group and we determine which one are normal varieties. In contrast to the result for the symplectic group where all classes have normal closure, there is only a relatively small portion of classes with normal closure. We perform a combinatorial computation on top of the same methods used by Kraft-Procesi and Ohta.
Euler obstructions for the Lagrangian Grassmannian
Published
• View Publication
• BIB
We prove a case of a positivity conjecture of Mihalcea-Singh, concerned with the local Euler obstructions associated to the Schubert stratification of the Lagrangian Grassmannian LG(n,2n). Combined with work of Aluffi-Mihalcea-Schürmann-Su, this further implies the positivity of the Mather classes for Schubert varieties in LG(n,2n), which Mihalcea-Singh had verified for the other cominuscule spaces of classical Lie type. Building on the work of Boe and Fu, we give a positive recursion for the local Euler obstructions, and use it to show that they provide a positive count of admissible labelings of certain trees, analogous to the ones describing Kazhdan-Lusztig polynomials. Unlike in the case of the Grassmannians in types A and D, for LG(n,2n) the Euler obstructions e_{y,w} may vanish for certain pairs (y,w) with y <= w in the Bruhat order. Our combinatorial description allows us to classify all the pairs (y,w) for which e_{y,w}=0. Restricting to the big opposite cell in LG(n,2n), which is naturally identified with the space of n x n symmetric matrices, we recover the formulas for the local Euler obstructions associated with the matrix rank stratification.
Toric orbifolds associated with partitioned weight polytopes in classical types
Published
• View Publication
• BIB
Given a root system $Φ$ of type $A_n$, $B_n$, $C_n$, or $D_n$ in Euclidean space $E$, let $W$ be the associated Weyl group. For a point $p \in E$ not orthogonal to any of the roots in $Φ$, we consider the $W$-permutohedron $P_W$, which is the convex hull of the $W$-orbit of $p$. The representation of $W$ on the rational cohomology ring $H^\ast(X_Φ)$ of the toric variety $X_Φ$ associated to (the normal fan to) $P_W$ has been studied by various authors. Let $\{s_1,\ldots,s_n\}$ be a complete set of simple reflections in $W$. For $K \subseteq [n]$, let $W_K$ be the standard parabolic subgroup of $W$ generated by $\{s_k:k \in K\}$. We show that the fixed subring $H^\ast(X_Φ)^{W_K}$ is isomorphic to the cohomology ring of the toric variety $X_Φ(K)$ associated to a polytope obtained by intersecting $P_W$ with half-spaces bounded by reflecting hyperplanes for the given generators of $W_K$. By a result of Balibanu--Crooks, the cohomology rings $H^\ast(X_Φ(K))$ are isomorphic with cohomology rings of certain regular Hessenberg varieties.
Rational points of lattice ideals on a toric variety and toric codes
We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice. This generalizes and yields a concise toric geometric proof of the same fact proven purely algebraically by Lopez and Villarreal for the case of a projective space and a standard homogeneous lattice ideal of dimension one. We also prove a Nullstellensatz type theorem over a finite field establishing a one to one correspondence between subgroups of the dense split torus and certain homogeneous lattice ideals. As application, we compute the main parameters of generalized toric codes on subgroups of the torus of Hirzebruch surfaces, generalizing the existing literature.
Partitioning H-Free Graphs of Bounded Diameter
Published
• View Publication
• BIB
A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have proven to be an ideal testbed for such a complexity study. However, if the forbidden graph $H$ contains a cycle or claw, then these problems often stay NP-complete. A recent complexity study on the $k$-Colouring problem shows that we may still obtain tractable results if we also bound the diameter of the $H$-free input graph. We continue this line of research by initiating a complexity study on the impact of bounding the diameter for a variety of classical vertex partitioning problems restricted to $H$-free graphs. We prove that bounding the diameter does not help for Independent Set, but leads to new tractable cases for problems closely related to 3-Colouring. That is, we show that Near-Bipartiteness, Independent Feedback Vertex Set, Independent Odd Cycle Transversal, Acyclic 3-Colouring and Star 3-Colouring are all polynomial-time solvable for chair-free graphs of bounded diameter. To obtain these results we exploit a new structural property of 3-colourable chair-free graphs.
Universal height and width bounds for random trees
Published
• View Publication
• BIB
We prove non-asymptotic stretched exponential tail bounds on the height of a randomly sampled node in a random combinatorial tree, which we use to prove bounds on the heights and widths of random trees from a variety of models. Our results allow us to prove a conjecture and settle an open problem of Janson (https://doi.org/10.1214/11-PS188), and nearly prove another conjecture and settle another open problem from the same work (up to a polylogarithmic factor).
The key tool for our work is an equivalence in law between the degrees along the path to a random node in a random tree with given degree statistics, and a random truncation of a size-biased ordering of the degrees of such a tree. We also exploit a Poissonization trick introduced by Camarri and Pitman (https://doi.org/10.1214/EJP.v5-58) in the context of inhomogeneous continuum random trees, which we adapt to the setting of random trees with fixed degrees.
Finally, we propose and justify a change to the conventions of branching process nomenclature: the name "Galton-Watson trees" should be permanently retired by the community, and replaced with the name "Bienaymé trees".
Homology of tropical fans
The aim of this paper is to study homological properties of tropical fans and to propose a notion of smoothness in tropical geometry, which goes beyond matroids and their Bergman fans and which leads to an enrichment of the category of smooth tropical varieties.
Among the resulting applications, we prove the Hodge isomorphism theorem which asserts that the Chow rings of smooth unimodular tropical fans are isomorphic to the tropical cohomology rings of their corresponding canonical compactifications, and prove a slightly weaker statement for any unimodular fan. We furthermore introduce a notion of shellability for tropical fans and show that shellable tropical fans are smooth and thus enjoy all the nice homological properties of smooth tropical fans. Several other interesting properties for tropical fans are shown to be shellable. Finally, we obtain a generalization, both in the tropical and in the classical setting, of the pioneering work of Feichtner-Yuzvinsky and De Concini-Procesi on the cohomology ring of wonderful compactifications of complements of hyperplane arrangements.
The results in this paper form the basis for our subsequent works on Hodge theory for tropical and non-Archimedean varieties.
Generalized Kings and Single-Elimination Winners in Random Tournaments
Published in Autonomous Agents and Multi-Agent Systems, 36(2):28 (2022)
• View Publication
• BIB
Tournaments can be used to model a variety of practical scenarios including sports competitions and elections. A natural notion of strength of alternatives in a tournament is a generalized king: an alternative is said to be a $k$-king if it can reach every other alternative in the tournament via a directed path of length at most $k$. In this paper, we provide an almost complete characterization of the probability threshold such that all, a large number, or a small number of alternatives are $k$-kings with high probability in two random models. We show that, perhaps surprisingly, all changes in the threshold occur in the range of constant $k$, with the biggest change being between $k=2$ and $k=3$. In addition, we establish an asymptotically tight bound on the probability threshold for which all alternatives are likely able to win a single-elimination tournament under some bracket.
Non-splitting flags, Iterated Circuits, $\underline{\mathbf σ}$-matrices and Cayley configurations
Published
• View Publication
• BIB
We explore four approaches to the question of defectivity for a complex projective toric variety $X_A$ associated with an integral configuration $A$. The explicit tropicalization of the dual variety $X_A^\vee$ due to Dickenstein, Feichtner, and Sturmfels allows for the computation of the defect in terms of an affine combinatorial invariant $ρ(A)$. We express $ρ(A)$ in terms of affine invariants $ι(A)$ associated to Esterov's iterated circuits and $λ(A)$, an invariant defined by Curran and Cattani in terms of a Gale dual of $A$. Thus we obtain formulae for the dual defect in terms of iterated circuits and Gale duals. An alternative expression for the dual defect of $X_A$ is given by Furukawa-Ito in terms of Cayley decompositions of $A$. We give a Gale dual interpretation of these decompositions and apply it to the study of defective configurations.
Tropical tangents for complete intersection curves
Published
• View Publication
• BIB
We consider the tropicalization of tangent lines to a complete intersection curve $X$ in $\mathbb{P}^n$. Under mild hypotheses, we describe a procedure for computing the tropicalization of the image of the Gauss map of $X$ in terms of the tropicalizations of the hypersurfaces cutting out $X$. We apply this to obtain descriptions of the tropicalization of the dual variety $X^*$ and tangential variety $τ(X)$ of $X$. In particular, we are able to compute the degrees of $X^*$ and $τ(X)$ and the Newton polytope of $τ(X)$ without using any elimination theory.
Distinguishing Level-2 Phylogenetic Networks Using Phylogenetic Invariants
In phylogenetics, it is important for the phylogenetic network model parameters to be identifiable so that the evolutionary histories of a group of species can be consistently inferred. However, as the complexity of the phylogenetic network models grows, the identifiability of network models becomes increasingly difficult to analyze. As an attempt to analyze the identifiability of network models, we check whether two networks are distinguishable. In this paper, we specifically study the distinguishability of phylogenetic network models associated with level-2 networks. Using an algebraic approach, namely using discrete Fourier transformation, we present some results on the distinguishability of some level-2 networks, which generalize earlier work on the distinguishability of level-1 networks. In particular, we study simple and semisimple level-2 networks. Simple and semisimple level-2 networks can be thought as generalizations of level-1 sunlet and cycle networks, respectively. Moreover, we also compare the varieties associated with semisimple level-2 and cycle networks.
Embedding Grid Graphs on Surfaces
Published in Graphs and Combinatorics, vol. 38, Article number 87 (2022)
• View Publication
• BIB
In this paper, we analyze embeddings of grid graphs on orientable surfaces. We determine the genus of a large class of k-dimensional grid graphs and effective two-sided bounds for the genus of any 3-dimensional grid graph, both in terms of a grid graph's combinatorics. As an application, we provide a complete classification of planar and toroidal grid graphs. Our work requires a variety of combinatorial arguments to determine effective lower bounds on the genus of a grid graph, along with explicitly constructing embeddings of grid graphs on surfaces to determine effective upper bounds on their genera.
Newton-Okounkov polytopes of flag varieties and marked chain-order polytopes
Published
• View Publication
• BIB
Marked chain-order polytopes are convex polytopes constructed from a marked poset, which give a discrete family relating a marked order polytope with a marked chain polytope. In this paper, we consider the Gelfand-Tsetlin poset of type A, and realize the associated marked chain-order polytopes as Newton-Okounkov bodies of the flag variety. Our realization connects previous realizations of Gelfand-Tsetlin polytopes and Feigin-Fourier-Littelmann-Vinberg polytopes as Newton-Okounkov bodies in a uniform way. As an application, we prove that the flag variety degenerates into the irreducible normal projective toric variety corresponding to a marked chain-order polytope. We also construct a specific basis of an irreducible highest weight representation which is naturally parametrized by the set of lattice points in a marked chain-order polytope.
Classification of Levi-spherical Schubert varieties
Published in Selecta Math. (N.S.) 29 (2023), no. 4, Paper No. 55, 40 pages
• View Publication
• BIB
A Schubert variety in the complete flag manifold $GL_n/B$ is Levi-spherical if the action of a Borel subgroup in a Levi subgroup of a standard parabolic has a dense orbit. We give a combinatorial classification of these Schubert varieties. This establishes a conjecture of the latter two authors, and a new formulation in terms of standard Coxeter elements. Our proof uses the theory of key polynomials (type A Demazure module characters).
What are higher-order networks?
Published in SIAM Review 65(3), 686-731 (2023)
• View Publication
• BIB
Network-based modeling of complex systems and data using the language of graphs has become an essential topic across a range of different disciplines. Arguably, this graph-based perspective derives its success from the relative simplicity of graphs: A graph consists of nothing more than a set of vertices and a set of edges, describing relationships between pairs of such vertices. This simple combinatorial structure makes graphs interpretable and flexible modeling tools. The simplicity of graphs as system models, however, has been scrutinized in the literature recently. Specifically, it has been argued from a variety of different angles that there is a need for higher-order networks, which go beyond the paradigm of modeling pairwise relationships, as encapsulated by graphs. In this survey article we take stock of these recent developments. Our goals are to clarify (i) what higher-order networks are, (ii) why these are interesting objects of study, and (iii) how they can be used in applications.
The Explorer-Director Game on Graphs
Published
• View Publication
• BIB
The Explorer-Director game, first introduced by Nedev and Muthukrishnan, can be described as a game where two players -- Explorer and Director -- determine the movement of a token on the vertices of a graph. At each time step, the Explorer specifies a distance that the token must move hoping to maximize the amount of vertices ultimately visited, and the Director adversarially chooses where to move token in an effort to minimize this number. Given a graph and a starting vertex, the number of vertices that are visited under optimal play is denoted by $f_d(G,v)$.
In this paper, we first reduce the study of $f_d (G,v)$ to the determination of the minimal sets of vertices that are \textit{closed} in a certain combinatorial sense, thus providing a structural understanding of each player's optimal strategies. As an application, we address the problem on lattices and trees. In the case of trees, we also provide a complete solution even in the more restrictive setting where the strategy used by the Explorer is not allowed to depend on their opponent's responses. In addition to this paper, a supplementary companion note will be posted to arXiv providing additional results about the game in a variety of specific graph families.
Gröbner bases, symmetric matrices, and type C Kazhdan-Lusztig varieties
Published
• View Publication
• BIB
We study a class of combinatorially-defined polynomial ideals which are generated by minors of a generic symmetric matrix. Included within this class are the symmetric determinantal ideals, the symmetric ladder determinantal ideals, and the symmetric Schubert determinantal ideals of A. Fink, J. Rajchgot, and S. Sullivant. Each ideal in our class is a type C analog of a Kazhdan-Lusztig ideal of A. Woo and A. Yong; that is, it is the scheme-theoretic defining ideal of the intersection of a type C Schubert variety with a type C opposite Schubert cell, appropriately coordinatized. The Kazhdan-Lusztig ideals that arise are exactly those where the opposite cell is $123$-avoiding. Our main results include Gröbner bases for these ideals, prime decompositions of their initial ideals (which are Stanley-Reisner ideals of subword complexes) and combinatorial formulas for their multigraded Hilbert series in terms of pipe dreams.
The B-orbits on a Hermitian symmetric variety in characteristic 2
Published
• View Publication
• BIB
Let $G$ be a reductive linear algebraic group over an algebraically closed field $\mathbb{K}$ of characteristic $2$. Fix a parabolic subgroup $P$ such that the corresponding parabolic subgroup over $\mathbb{C}$ has abelian unipotent radical and fix a Levi subgroup $L\subseteq P$. We parametrize the orbits of a Borel $B\subseteq P$ over the Hermitian symmetric variety $G/L$ supposing the root system $Φ$ is irreducible. For $Φ$ simply laced we prove a combinatorial characterization of the Bruhat order over these orbits. We also prove a formula to compute the dimension of the orbits from combinatorial characteristics of their representatives.
Chromatic symmetric functions of Dyck paths and q-rook theory
Published in European Journal of Combinatorics, Vol 107 (2023) 103595
• View Publication
• BIB
The chromatic symmetric function (CSF) of Dyck paths of Stanley and its Shareshian-Wachs $q$-analogue have important connections to Hessenberg varieties, diagonal harmonics and LLT polynomials. In the, so called, abelian case they are also curiously related to placements of non-attacking rooks by results of Stanley-Stembridge (1993) and Guay-Paquet (2013). For the $q$-analogue, these results have been generalized by Abreu-Nigro (2020) and Guay-Paquet (private communication), using $q$-hit numbers. Among our main results is a new proof of Guay-Paquet's elegant identity expressing the $q$-CSFs in a CSF basis with $q$-hit coefficients. We further show its equivalence to the Abreu-Nigro identity expanding the $q$-CSF in the elementary symmetric functions. In the course of our work we establish that the $q$-hit numbers in these expansions differ from the originally assumed Garsia-Remmel $q$-hit numbers by certain powers of $q$. We prove new identities for these $q$-hit numbers, and establish connections between the three different variants.