variety
2681 papers tagged with this keyword
Parabolic double cosets in Coxeter groups
Published
• View Publication
• BIB
Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double coset are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element.
A representation-theoretic interpretation of positroid classes
Published
• View Publication
• BIB
A positroid is the matroid of a real matrix with nonnegative maximal minors, a positroid variety is the closure of the locus of points in a complex Grassmannian whose matroid is a fixed positroid, and a positroid class is the cohomology class Poincaré dual to a positroid variety. We define a family of representations of general linear groups whose characters are symmetric polynomials representing positroid classes. These representations are certain diagram Schur modules in the sense of James and Peel. This gives a new algebraic interpretation of the Schubert structure constants for the product of a Schubert polynomial and Schur polynomial, and of the 3-point Gromov-Witten invariants for Grassmannians, proving a conjecture of Postnikov. As a byproduct, we obtain an effective algorithm for decomposing positroid classes into Schubert classes.
An integration approach to the Toeplitz square peg problem
Published
• View Publication
• BIB
The "square peg problem" or "inscribed square problem" of Toeplitz asks if every simple closed curve in the plane inscribes a (non-degenerate) square, in the sense that all four vertices of that square lie on the curve. By a variety of arguments of a "homological" nature, it is known that the answer to this question is positive if the curve is sufficiently regular. The regularity hypotheses are needed to rule out the possibility of arbitrarily small squares that are inscribed or almost inscribed on the curve; because of this, these arguments do not appear to be robust enough to handle arbitrarily rough curves.
In this paper we augment the homological approach by introducing certain integrals associated to the curve. This approach is able to give positive answers to the square peg problem in some new cases, for instance if the curve is the union of two Lipschitz graphs $f, g \colon [t_0,t_1] \to \mathbf{R}$ that agree at the endpoints, and whose Lipschitz constants are strictly less than one. We also present some simpler variants of the square problem which seem particularly amenable to this integration approach, including a a periodic version of the problem that is not subject to the problem of arbitrarily small squares (and remains open even for regular curves), as well as an almost purely combinatorial conjecture regarding the sign patterns of sums $y_1+y_2+y_3$ for $y_1,y_2,y_3$ ranging in finite sets of real numbers.
String cone and Superpotential combinatorics for flag and Schubert varieties in type A
Published
• View Publication
• BIB
We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetry by Gross-Hacking-Keel-Kontsevich: for the flag variety the cone is the tropicalization of their superpotential while for Schubert varieties a restriction of the superpotential is necessary.
We prove that the two cones are unimodularly equivalent. As a corollary of our combinatorial result we realize Caldero's toric degenerations of Schubert varieties as GHKK-degeneration using cluster theory.
Enumeration of permutations indexing local complete intersection Schubert varieties
We find the generating function for the permutation class $\mathcal{A}'=\text{Av}(52341,53241,52431,35142,42513,351624)$ whose permutations index local complete intersection Schubert varieties. The method we apply is the extension of how Albert and Brignall discover the generating function for $\mathcal{A}=\text{Av}(4231,35142,42513,351624)$ in their paper. This completes the enumerations of all classical permutation classes indexing certain types of Schubert varieties.
Real Stable Polynomials and Matroids: Optimization and Counting
Published
• View Publication
• BIB
A great variety of fundamental optimization and counting problems arising in computer science, mathematics and physics can be reduced to one of the following computational tasks involving polynomials and set systems: given an $m$-variate real polynomial $g$ and a family of subsets $B$ of $[m]$, (1) find $S\in B$ such that the monomial in $g$ corresponding to $S$ has the largest coefficient in $g$, or (2) compute the sum of coefficients of monomials in $g$ corresponding to all the sets in $B$. Special cases of these problems, such as computing permanents, sampling from DPPs and maximizing subdeterminants have been topics of recent interest in theoretical computer science.
In this paper we present a general convex programming framework geared to solve both of these problems. We show that roughly, when $g$ is a real stable polynomial with non-negative coefficients and $B$ is a matroid, the integrality gap of our relaxation is finite and depends only on $m$ (and not on the coefficients of g).
Prior to our work, such results were known only in sporadic cases that relied on the structure of $g$ and $B$; it was not even clear if one could formulate a convex relaxation that has a finite integrality gap beyond these special cases. Two notable examples are a result by Gurvits on the van der Waerden conjecture for real stable $g$ when $B$ is a single element and a result by Nikolov and Singh for multilinear real stable polynomials when $B$ is a partition matroid. Our work, which encapsulates most interesting cases of $g$ and $B$, benefits from both - we were inspired by the latter in deriving the right convex programming relaxation and the former in establishing the integrality gap. However, proving our results requires significant extensions of both; in that process we come up with new notions and connections between stable polynomials and matroids which should be of independent interest.
Computing tropical points and tropical links
Published in Discrete Comput. Geom. (2018)
• View Publication
• BIB
We present an algorithm for computing zero-dimensional tropical varieties based on triangular decomposition and Newton polygon methods. From it, we derive algorithms for computing points on and links of higher-dimensional tropical varieties, using intersections with affine hyperplanes to reduce the dimension to zero. We use the algorithms to show that the tropical Grassmannians $\mathcal G_{3,8}$ and $\mathcal G_{4,8}$ are not simplicial.
New CRT sequence sets for a collision channel without feedback
Published
• View Publication
• BIB
Protocol sequences are binary and periodic sequences used for deterministic multiple access in a collision channel without feedback. In this paper, we focus on user-irrepressible (UI) protocol sequences that can guarantee a positive individual throughput per sequence period with probability one for a slot-synchronous channel, regardless of the delay offsets among the users. As the sequence period has a fundamental impact on the worst-case channel access delay, a common objective of designing UI sequences is to make the sequence period as short as possible. Consider a communication channel that is shared by $M$ active users, and assume that each protocol sequence has a constant Hamming weight $w$. To attain a better delay performance than previously known UI sequences, this paper presents a CRTm construction of UI sequences with $w=M+1$, which is a variation of the previously known CRT construction. For all non-prime $M\geq 8$, our construction produces the shortest known sequence period and the shortest known worst-case delay of UI sequences. Numerical results show that the new construction enjoys a better average delay performance than the optimal random access scheme and other constructions with the same sequence period, in a variety of traffic conditions. In addition, we derive an asymptotic lower bound on the minimum sequence period for $w=M+1$ if the sequence structure satisfies some technical conditions, called equi-difference, and prove the tightness of this lower bound by using the CRTm construction.
On the maximum dual volume of a canonical Fano polytope
Published
• View Publication
• BIB
We give an upper bound on the volume vol(P*) of a polytope P* dual to a d-dimensional lattice polytope P with exactly one interior lattice point, in each dimension d. This bound, expressed in terms of the Sylvester sequence, is sharp, and is achieved by the dual to a particular reflexive simplex. Our result implies a sharp upper bound on the volume of a d-dimensional reflexive polytope. Translated into toric geometry, this gives a sharp upper bound on the anti-canonical degree $(-K_X)^d$ of a d-dimensional toric Fano variety X with at worst canonical singularities.
Decompositions of Grothendieck Polynomials
Published in International Mathematics Research Notices 2019(10), 2019, 3214-3241
• View Publication
• BIB
We investigate the longstanding problem of finding a combinatorial rule for the Schubert structure constants in the $K$-theory of flag varieties (in type $A$). The Grothendieck polynomials of A. Lascoux-M.-P. Schützenberger (1982) serve as polynomial representatives for $K$-theoretic Schubert classes; however no positive rule for their multiplication is known outside the Grassmannian case. We contribute a new basis for polynomials, give a positive combinatorial formula for the expansion of Grothendieck polynomials in these glide polynomials, and provide a positive combinatorial Littlewood-Richardson rule for expanding a product of Grothendieck polynomials in the glide basis. Our techniques easily extend to the $β$-Grothendieck polynomials of S. Fomin-A. Kirillov (1994), representing classes in connective $K$-theory, and we state our results in this more general context.
A specialization of the glide basis recovers the fundamental slide polynomials of S. Assaf-D. Searles (2016), which play an analogous role with respect to the Chow ring of flag varieties. Additionally, the stable limits of another specialization of glide polynomials are T. Lam-P. Pylyavskyy's (2007) basis of multi-fundamental quasisymmetric functions, $K$-theoretic analogues of I. Gessel's (1984) fundamental quasisymmetric functions. Those glide polynomials that are themselves quasisymmetric are truncations of multi-fundamental quasisymmetric functions and form a basis of quasisymmetric polynomials.
Toric Fano varieties associated to building sets
Published in Kyoto J. Math. 60, no. 1 (2020), 45-59
• View Publication
• BIB
We characterize building sets whose associated nonsingular projective toric varieties are Fano. Furthermore, we show that all such toric Fano varieties are obtained from smooth Fano polytopes associated to finite directed graphs.
Hessenberg varieties and hyperplane arrangements
Published
• View Publication
• BIB
Given a semisimple complex linear algebraic group $G$ and a lower ideal $I$ in positive roots of $G$, three objects arise: the ideal arrangement $\mathcal{A}_I$, the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$, and the regular semisimple Hessenberg variety $\mbox{Hess}(S,I)$. We show that a certain graded ring derived from the logarithmic derivation module of $\mathcal{A}_I$ is isomorphic to $H^*(\mbox{Hess}(N,I))$ and $H^*(\mbox{Hess}(S,I))^W$, the invariants in $H^*(\mbox{Hess}(S,I))$ under an action of the Weyl group $W$ of $G$. This isomorphism is shown for general Lie type, and generalizes Borel's celebrated theorem showing that the coinvariant algebra of $W$ is isomorphic to the cohomology ring of the flag variety $G/B$.
This surprising connection between Hessenberg varieties and hyperplane arrangements enables us to produce a number of interesting consequences. For instance, the surjectivity of the restriction map $H^*(G/B)\to H^*(\mbox{Hess}(N,I))$ announced by Dale Peterson and an affirmative answer to a conjecture of Sommers-Tymoczko are immediate consequences. We also give an explicit ring presentation of $H^*(\mbox{Hess}(N,I))$ in types $B$, $C$, and $G$. Such a presentation was already known in type $A$ or when $\mbox{Hess}(N,I)$ is the Peterson variety. Moreover, we find the volume polynomial of $\mbox{Hess}(N,I)$ and see that the hard Lefschetz property and the Hodge-Riemann relations hold for $\mbox{Hess}(N,I)$, despite the fact that it is a singular variety in general.
On the interplay between notions of additive and multiplicative largeness and its combinatorial applications
Published in J. Combin. Theory Ser. A172 (2020), 105203
• View Publication
• BIB
Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. We also give a variety of applications arising from the connection between additive and multiplicative largeness. For example, we show that given any $n, k \in \mathbb{N}$, any finite set with fewer than $n$ elements in a sufficiently large finite field can be translated so that each of its elements becomes a non-zero $k^{\text{th}}$ power. We also prove a theorem concerning Diophantine approximation along multiplicatively syndetic subsets of $\mathbb{N}$ and a theorem showing that subsets of positive upper Banach density in certain multiplicative sub-semigroups of $\mathbb{N}$ of zero density contain arbitrarily long arithmetic progressions. Along the way, we develop a new characterization of upper Banach density in a wide class of amenable semigroups and make explicit the uniformity in recurrence theorems from measure theoretic and topological dynamics. This in turn leads to strengthened forms of classical theorems of Szemerédi and van der Waerden on arithmetic progressions.
The design of efficient algorithms for enumeration
Published
• View Publication
• BIB
Many algorithms have been developed for enumerating various combinatorial objects in time exponentially less than the number of objects. Two common classes of algorithms are dynamic programming and the transfer matrix method. This paper covers the design and implementation of such algorithms.
A host of general techniques for improving efficiency are described. Three quite different example problems are used for examples: 1324 pattern avoiding permutations, three-dimensional polycubes, and two-dimensional directed animals.
For those new to the field, this paper is designed to be an introduction to many of the tricks for producing efficient enumeration algorithms. For those more experienced, it will hopefully help them understand the interrelationship and implications of a variety of techniques, many or most of which will be familiar. The author certainly found his understanding improved as a result of writing this paper.
New bounds for the Moser-Tardos distribution
Published in Random Structures & Algorithms 57(1), pp. 97-131 (2020)
• View Publication
• BIB
The Lovasz Local Lemma (LLL) is a probabilistic tool which has been used to show the existence of a variety of combinatorial structures with good "local" properties. The "LLL-distribution" can be used to show that the resulting structures have good global properties in expectation.
The simplest, variable-based setting of the LLL was covered by the seminal algorithm of Moser & Tardos (2010). This has since been extended to other probability spaces including random permutations. One can similarly define an "MT-distribution" for these algorithms, that is, the distribution of the configuration they produce. Haeupler et al. (2011) showed bounds on the MT-distribution which essentially match the LLL-distribution for the variable-assignment setting; Harris & Srinivasan showed similar results for the permutation setting.
In this work, we show new bounds on the MT-distribution which are significantly stronger than those known to hold for the LLL-distribution. In the variable-assignment setting, we show a tighter bound on the probability of a disjunctive event or singleton event. As a consequence, in $k$-SAT instances with bounded variable occurrence, the MT-distribution satisfies an $ε$-approximate independence condition asymptotically stronger than the LLL-distribution. We use this to show a nearly tight bound on the minimum implicate size of a CNF boolean formula. Another noteworthy application is constructing independent transversals which avoid a given subset of vertices; this provides a constructive analogue to a result of Rabern (2014).
In the permutation LLL setting, we show a new type of bound which is similar to the cluster-expansion LLL criterion of Bissacot et al. (2011), but is stronger and takes advantage of the extra structure in permutations. We illustrate with improved bounds on weighted Latin transversals and partial Latin transversals.
Asymptotics of the number of standard Young tableaux of skew shape
Published
• View Publication
• BIB
We give new bounds and asymptotic estimates on the number of standard Young tableaux of skew shape in a variety of special cases. Our approach is based on Naruse's hook-length formula. We also compare our bounds with the existing bounds on the numbers of linear extensions of the corresponding posets.
Colouring of (P3UP2)-free graphs
Published in Graphs and Combinatorics, Vol. 34, No. 1 (2018) 97-107
• View Publication
• BIB
The class of 2K2-free graphs and its various subclasses have been studied in a variety of contexts. In this paper, we are concerned with the colouring of (P3UP2)-free graphs, a super class of 2K2-free graphs. We derive a O(w^3) upper bound for the chromatic number of (P3UP2)-free graphs, and sharper bounds for (P3UP2), diamond)-free graphs, where w denotes the clique number. By applying similar proof techniques we obtain chromatic bounds for (2K2, diamond)-free graphs. The last two classes are perfect if w >=5 and >= 4 respectively.
Generating functions and statistics on spaces of maximal tori in classical Lie groups
Published in New York J. Math. 23 (2017) 165-191
• Search Publication
In this paper we use generating function methods to obtain new asymptotic results about spaces of $F$-stable maximal tori in $GL_n(\overline{F_q})$, $Sp_{2n}(\overline{F_q})$, and $SO_{2n+1}(\overline{F_q})$. We recover stability results of Church--Ellenberg--Farb and Jiménez Rolland--Wilson for "polynomial" statistics on these spaces, and we compute explicit formulas for their stable values. We derive a double generating function for the characters of the cohomology of flag varieties in type B/C, which we use to obtain analogs in type B/C of results of Chen: we recover "twisted homological stability" for the spaces of maximal tori in $Sp_{2n}(\mathbb{C})$ and $SO_{2n+1}(\mathbb{C})$, and we compute a generating function for their "stable twisted Betti numbers". We also give a new proof of a result of Lehrer using symmetric function theory.
Perfect quantum state transfer using Hadamard diagonalizable graphs
Published in Linear Algebra and its Applications, 531:375-398, 2017
• View Publication
• BIB
Quantum state transfer within a quantum computer can be achieved by using a network of qubits, and such a network can be modelled mathematically by a graph. Here, we focus on the corresponding Laplacian matrix, and those graphs for which the Laplacian can be diagonalized by a Hadamard matrix. We give a simple eigenvalue characterization for when such a graph has perfect state transfer at time $π/2$; this characterization allows one to choose the correct eigenvalues to build graphs having perfect state transfer. We characterize the graphs that are diagonalizable by the standard Hadamard matrix, showing a direct relationship to cubelike graphs. We then give a number of constructions producing a wide variety of new graphs that exhibit perfect state transfer, and we consider several corollaries in the settings of both weighted and unweighted graphs, as well as how our results relate to the notion of pretty good state transfer. Finally, we give an optimality result, showing that among regular graphs of degree at most $4$, the hypercube is the sparsest Hadamard diagonalizable connected unweighted graph with perfect state transfer.
The Chow form of a reciprocal linear space
Published
• View Publication
• BIB
A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciprocal linear spaces. Another is a representation of the entropic discriminant as a sum of squares. For generic linear spaces, the determinantal formulas obtained are closely related to the Laplacian of the complete graph and generalizations to simplicial matroids. This raises interesting questions about the combinatorics of hyperbolic varieties and connections with the positive Grassmannian.