variety
2681 papers tagged with this keyword
Springer fibers and Schubert points
Published in European Journal of Combinatorics 76 (2019), pp. 10-26
• View Publication
• BIB
Springer fibers are subvarieties of the flag variety parametrized by partitions; they are central objects of study in geometric representation theory. Schubert varieties are subvarieties of the flag variety that induce a well-known basis for the cohomology of the flag variety. This paper relates these two varieties combinatorially. We prove that the Betti numbers of the Springer fiber associated to a partition with at most three rows or two columns are equal to the Betti numbers of a specific union of Schubert varieties.
Schur P-positivity and involution Stanley symmetric functions
Published in IMRN (2017), rnx274
• View Publication
• BIB
The involution Stanley symmetric functions $\hat{F}_y$ are the stable limits of the analogues of Schubert polynomials for the orbits of the orthogonal group in the flag variety. These symmetric functions are also generating functions for involution words, and are indexed by the involutions in the symmetric group. By construction each $\hat{F}_y$ is a sum of Stanley symmetric functions and therefore Schur positive. We prove the stronger fact that these power series are Schur $P$-positive. We give an algorithm to efficiently compute the decomposition of $\hat{F}_y$ into Schur $P$-summands, and prove that this decomposition is triangular with respect to the dominance order on partitions. As an application, we derive pattern avoidance conditions which characterize the involution Stanley symmetric functions which are equal to Schur $P$-functions. We deduce as a corollary that the involution Stanley symmetric function of the reverse permutation is a Schur $P$-function indexed by a shifted staircase shape. These results lead to alternate proofs of theorems of Ardila-Serrano and DeWitt on skew Schur functions which are Schur $P$-functions. We also prove new Pfaffian formulas for certain related involution Schubert polynomials.
Governing singularities of symmetric orbit closures
Published in Alg. Number Th. 12 (2018) 173-225
• View Publication
• BIB
We develop interval pattern avoidance and Mars-Springer ideals to study singularities of symmetric orbit closures in a flag variety. This paper focuses on the case of the Levi subgroup GL_p x GL_q acting on the classical flag variety. We prove that all reasonable singularity properties can be classified in terms of interval patterns of clans.
On short cycle enumeration in biregular bipartite graphs
Published
• View Publication
• BIB
A number of recent works have used a variety of combinatorial constructions to derive Tanner graphs for LDPC codes and some of these have been shown to perform well in terms of their probability of error curves and error floors. Such graphs are bipartite and many of these constructions yield biregular graphs where the degree of left vertices is a constant $c+1$ and that of the right vertices is a constant $d+1$. Such graphs are termed $(c+1,d+1)$ biregular bipartite graphs here. One property of interest in such work is the girth of the graph and the number of short cycles in the graph, cycles of length either the girth or slightly larger. Such numbers have been shown to be related to the error floor of the probability of error curve of the related LDPC code. Using known results of graph theory, it is shown how the girth and the number of cycles of length equal to the girth may be computed for these $(c+1,d+1)$ biregular bipartite graphs knowing only the parameters $c$ and $d$ and the numbers of left and right vertices. While numerous algorithms to determine the number of short cycles in arbitrary graphs exist, the reduction of the problem from an algorithm to a computation for these biregular bipartite graphs is of interest.
Shuffled equi-n-squares
A formal n-square is the set of positions in an square matrix of size n. A shuffle of a formal n-square consists of independent rotations of each row and of each column. A key result turns out to be valid at least for n <= 34 and n = 37: Each set of n positions can be mapped with one shuffle onto a transversal of the columns. We consider two applications to equi-n-squares (i.e., n-matrices filled with digits 0, .., n - 1 in equal amounts).
First, a shuffled equi-n-square can be seen as a torus with n colors and two orthogonal layers of n rings that can be rotated. Unlike Rubik's cube, each permutation of colored cells can be implemented with shuffles. An upper bound of $3*(-1)^{n-1} + 6n$ shuffles is derived from the key result.
Our second application invokes column transversals and a process of indirection to produce theoretically unpredictable sequences of integers in shuffled equi-n-squares.
Our proof of the key result involves optimizing position sets, averaging, computations based on number partitions, rotating subsets of a regular $n$-gon apart, and the use of cyclotomic polynomials. A few intermediate results need computer assistence. These efforts also generated a variety of (partially) unsolved problems. We selected eight of these for a brief discussion based on the available theoretical and computer evidence.
The transition matrix between the Specht and web bases is unipotent with additional vanishing entries
Published
• View Publication
• BIB
We compare two important bases of an irreducible representation of the symmetric group: the web basis and the Specht basis. The web basis has its roots in the Temperley-Lieb algebra and knot-theoretic considerations. The Specht basis is a classic algebraic and combinatorial construction of symmetric group representations which arises in this context through the geometry of varieties called Springer fibers. We describe a graph that encapsulates combinatorial relations between each of these bases, prove that there is a unique way (up to scaling) to map the Specht basis into the web representation, and use this to recover a result of Garsia-McLarnan that the transition matrix between the Specht and web bases is upper-triangular with ones along the diagonal. We then strengthen their result to prove vanishing of certain additional entries unless a nesting condition on webs is satisfied. In fact we conjecture that the entries of the transition matrix are nonnegative and are nonzero precisely when certain directed paths exist in the web graph.
Estimation of Graphlet Statistics
Published
• View Publication
• BIB
Graphlets are induced subgraphs of a large network and are important for understanding and modeling complex networks. Despite their practical importance, graphlets have been severely limited to applications and domains with relatively small graphs. Most previous work has focused on exact algorithms, however, it is often too expensive to compute graphlets exactly in massive networks with billions of edges, and finding an approximate count is usually sufficient for many applications. In this work, we propose an unbiased graphlet estimation framework that is (a) fast with significant speedups compared to the state-of-the-art, (b) parallel with nearly linear-speedups, (c) accurate with <1% relative error, (d) scalable and space-efficient for massive networks with billions of edges, and (e) flexible for a variety of real-world settings, as well as estimating macro and micro-level graphlet statistics (e.g., counts) of both connected and disconnected graphlets. In addition, an adaptive approach is introduced that finds the smallest sample size required to obtain estimates within a given user-defined error bound. On 300 networks from 20 domains, we obtain <1% relative error for all graphlets. This is significantly more accurate than existing methods while using less data. Moreover, it takes a few seconds on billion edge graphs (as opposed to days/weeks). These are by far the largest graphlet computations to date.
Diagonal splittings of toric varieties and unimodularity
Published in Proc. Amer. Math. Soc. 146 (2018), no. 5, 1911-1920
• View Publication
• BIB
We use a polyhedral criterion for the existence of diagonal splittings to investigate which toric varieties X are diagonally split. Our results are stated in terms of the vector configuration given by primitive generators of the 1-dimensional cones in the fan defining X. We show, in particular, that X is diagonally split at all q if and only if this configuration is unimodular, and X is not diagonally split at any q if this configuration is not 2-regular. We also study implications for the possibilities for the set of q at which a toric variety X is diagonally split.
Geometry of Hessenberg varieties with applications to Newton-Okounkov bodies
Published in Sel. Math. New Ser. (2018) 24: 2129
• View Publication
• BIB
In this paper, we study the geometry of various Hessenberg varieties in type A, as well as families thereof, with the additional goal of laying the groundwork for future computations of Newton-Okounkov bodies of Hessenberg varieties. Our main results are as follows. We find explicit and computationally convenient generators for the local defining ideals of indecomposable regular nilpotent Hessenberg varieties, and then show that all regular nilpotent Hessenberg varieties are local complete intersections. We also show that certain families of Hessenberg varieties, whose generic fibers are regular semisimple Hessenberg varieties and the special fiber is a regular nilpotent Hessenberg variety, are flat and have reduced fibres. This result further allows us to give a computationally effective formula for the degree of a regular nilpotent Hessenberg variety with respect to a Plücker embedding. Furthermore, we construct certain flags of subvarieties of a regular nilpotent Hessenberg variety, obtained by intersecting with Schubert varieties, which are suitable for computing Newton-Okounkov bodies. As an application of our results, we explicitly compute many Newton-Okounkov bodies of the two-dimensional Peterson variety with respect to Plücker embeddings.
Diagrams and essential sets for signed permutations
Published
• View Publication
• BIB
We introduce diagrams and essential sets for signed permutations, extending the analogous notions for ordinary permutations. In particular, we show that the essential set provides a minimal list of rank conditions defining the Schubert variety or degeneracy locus corresponding to a signed permutation. Our essential set is in bijection with the poset-theoretic version defined by Reiner, Woo, and Yong, and thus gives an explicit, diagrammatic method for computing the latter.
On Garland's vanishing theorem for $\mathrm{SL}_n$
Published in European Journal of Mathematics 2 (2016), 579-613
• View Publication
• BIB
This is an expository paper on Garland's vanishing theorem specialized to the case when the linear algebraic group is $\mathrm{SL}_n$. Garland's theorem can be stated as a vanishing of the cohomology groups of certain finite simplicial complexes. The method of the proof is quite interesting on its own. It relates the vanishing of cohomology to the assertion that the minimal positive eigenvalue of a certain combinatorial laplacian is sufficiently large. Since the 1970's, this idea has found applications in a variety of problems in representation theory, group theory, and combinatorics, so the paper might be of interest to a wide audience. The paper is intended for non-specialists and graduate students.
Combinatorial Invariance of Kazhdan-Lusztig-Vogan Polyomials for Fixed Point Free Involutions
Published
• View Publication
• BIB
When $Sp(2n,\mathbb{C})$ acts on the flag variety of $SL(2n,\mathbb{C})$, the orbits are in bijection with fixed point free involutions in the symmetric group $S_{2n}$. In this case, the associated Kazhdan-Lusztig-Vogan polynomials $P_{v,u}$ can be indexed by pairs of fixed point free involutions $v\geq u$, where $\geq$ denotes the Bruhat order on $S_{2n}$. We prove that these polynomials are combinatorial invariants in the sense that if $f: [u, w_0 ] \rightarrow [u , w_0]$ is a poset isomorphism of upper intervals in the Bruhat order on fixed point free involutions, then $P_{v,u} = P_{f(v),u}$ for all $v \geq u$.
On the absolute irreducibility of hyperplane sections of generalized Fermat varieties in $\Bbb{P}^3$ and the conjecture on exceptional APN functions: the Kasami-Welch degree case
Let $f$ be a function on a finite field $F$. The decomposition of the generalized Fermat variety $X$ defined by the multivariate polynomial of degree $n$, $φ(x,y,z)=f(x)+f(y)+f(z)$ in $\Bbb{P}^3(\overline{\mathbb{F}}_2)$, plays a crucial role in the study of almost perfect non-linear (APN) functions and exceptional APN functions. Their structure depends fundamentally on the Fermat varieties corresponding to the monomial functions of exceptional degrees $n=2^k+1$ and $n=2^{2k}-2^k+1$ (Gold and Kasami-Welch numbers, respectively). Very important results for these have been obtained by Janwa, McGuire and Wilson in [12,13]. In this paper we study $X$ related to the Kasami-Welch degree monomials and its decomposition into absolutely irreducible components. We show that, in this decomposition, the components intersect transversally at a singular point.
This structural fact implies that the corresponding generalized Fermat hypersurfaces, related to Kasami-Welch degree polynomial families, are absolutely irreducible. In particular, we prove that if $f(x)=x^{2^{2k}-2^k+1}+h(x)$, where ${\rm deg}(h)\equiv 3{\pmod 4}$, then the corresponding APN multivariate hypersurface is absolutely irreducible, and hence $f(x)$ is not exceptional APN function. We also prove conditional result in the case when ${\rm deg}(h)\equiv 5{\pmod 8}$. Since for odd degree $f(x)$, the conjecture needs to be resolved only for the Gold degree and the Kasami-Welch degree cases our results contribute substantially to the proof of the conjecture on exceptional APN functions---in the hardest case: the Kasami-Welch degree.
Loop Models and $K$-Theory
Published in SIGMA 14 (2018), 069, 48 pages
• View Publication
• BIB
This is a review/announcement of results concerning the connection between certain exactly solvable two-dimensional models of statistical mechanics, namely loop models, and the equivariant $K$-theory of the cotangent bundle of the Grassmannian. We interpret various concepts from integrable systems ($R$-matrix, partition function on a finite domain) in geometric terms. As a byproduct, we provide explicit formulae for $K$-classes of various coherent sheaves, including structure and (conjecturally) square roots of canonical sheaves and canonical sheaves of conormal varieties of Schubert varieties.
Weak Separation, Pure Domains and Cluster Distance
Published in Selecta Math. (N.S.), 24(3):2093--2127, 2018
• View Publication
• BIB
Following the proof of the purity conjecture for weakly separated collections, recent years have revealed a variety of wider examples of purity in different settings. In this paper we consider the collection $\mathcal A_{I,J}$ of sets that are weakly separated from two fixed sets $I$ and $J$. We show that all maximal by inclusion weakly separated collections $\mathcal W\subset\mathcal A_{I,J}$ are also maximal by size, provided that $I$ and $J$ are sufficiently "generic". We also give a simple formula for the cardinality of $\mathcal W$ in terms of $I$ and $J$. We apply our result to calculate the cluster distance and to give lower bounds on the mutation distance between cluster variables in the cluster algebra structure on the coordinate ring of the Grassmannian. Using a linear projection that relates weak separation to the octahedron recurrence, we also find the exact mutation distances and cluster distances for a family of cluster variables.
Tropical Chow Hypersurfaces
Published
• View Publication
• BIB
Given a projective variety $X$ of codimension $k+1$ in $\mathbb{P}^n$ the Chow hypersurface $Z_X$ is the hypersurface of the Grassmannian $\operatorname{Gr}(k, n)$ parametrizing projective linear spaces that intersect $X$. We introduce the tropical Chow hypersurface $\operatorname{Trop}(Z_X)$. This object only depends on the tropical variety $\operatorname{Trop}(X)$ and we provide an explicit way to obtain $\operatorname{Trop}(Z_X)$ from $\operatorname{Trop}(X)$. We also give a geometric description of $\operatorname{Trop}(Z_X)$. We conjecture that, as in the classical case, $\operatorname{Trop}(X)$ can be reconstructed from $\operatorname{Trop}(Z_X)$ and prove it for the case when $X$ is a curve in $\mathbb{P}^3$. This suggests that the tropical Chow hypersurface can be used to construct a tropical Chow variety.
Grassmann-Grassmann conormal varieties, integrability, and plane partitions
Published
• View Publication
• BIB
We give a conjectural formula for sheaves supported on (irreducible) conormal varieties inside the cotangent bundle of the Grassmannian, such that their equivariant $K$-class is given by the partition function of an integrable loop model, and furthermore their $K$-theoretic pushforward to a point is a solution of the level $1$ quantum Knizhnik-Zamolodchikov equation. We prove these results in the case that the Lagrangian is smooth (hence is the conormal bundle to a subGrassmannian). To compute the pushforward to a point, or equivalently to the affinization, we simultaneously degenerate the Lagrangian and sheaf (over the affinization); the sheaf degenerates to a direct sum of cyclic modules over the geometric components, which are in bijection with plane partitions, giving a geometric interpretation to the Razumov-Stroganov correspondence satisfied by the loop model.
Relative projectivity and transferability for partial lattices
Published
• View Publication
• BIB
A partial lattice P is ideal-projective, with respect to a class C of lattices, if for every K $\in$ C and every homomorphism $φ$ of partial lattices from P to the ideal lattice of K, there are arbitrarily large choice functions f : P $\rightarrow$ K for $φ$ that are also homomorphisms of partial lattices. This extends the traditional concept of (sharp) transferability of a lattice with respect to C. We prove the following: (1) A finite lattice P, belonging to a variety V, is sharply transferable with respect to V iff it is projective with respect to V and weakly distributive lattice homomorphisms, iff it is ideal-projective with respect to V. (2) Every finite distributive lattice is sharply transferable with respect to the class R mod of all relatively complemented modular lattices. (3) The gluing D 4 of two squares, the top of one being identified with the bottom of the other one, is sharply transferable with respect to a variety V iff V is contained in the variety M$ω$ generated by all lattices of length 2. (4) D 4 is projective, but not ideal-projective, with respect to R mod. (5) D 4 is transferable, but not sharply transferable, with respect to the variety M of all modular lattices. This solves a 1978 problem of G. Grätzer. (6) We construct a modular lattice whose canonical embedding into its ideal lattice is not pure. This solves a 1974 problem of E. Nelson.
Arithmetic of commutative semigroups with a focus on semigroups of ideals and modules
Published in Journal of Algebra and Its Applications, Vol. 16, No. 11 (2017), 42 pp
• View Publication
• BIB
Let $H$ be a commutative semigroup with unit element such that every non-unit can be written as a finite product of irreducible elements (atoms). For every $k \in \mathbb N$, let $\mathscr U_k (H)$ denote the set of all $\ell \in \mathbb N$ with the property that there are atoms $u_1, \ldots, u_k, v_1, \ldots, v_{\ell}$ such that $u_1 \cdot \ldots \cdot u_k = v_1 \cdot \ldots \cdot v_{\ell}$ (thus, $\mathscr U_k (H)$ is the union of all sets of lengths containing $k$).
The Structure Theorem for Unions states that, for all sufficiently large $k$, the sets $\mathscr U_k (H)$ are almost arithmetical progressions with the same difference and global bound. We present a new approach to this result in the framework of arithmetic combinatorics, by deriving, for suitably defined families of subsets of the non-negative integers, a characterization of when the Structure Theorem holds.
This abstract approach allows us to verify, for the first time, the Structure Theorem for a variety of possibly non-cancellative semigroups, including semigroups of (not necessarily invertible) ideals and semigroups of modules. Furthermore, we provide the very first example of a semigroup (actually, a locally tame Krull monoid) that does not satisfy the Structure Theorem.
Multiranks and classical theta functions
Published
• View Publication
• BIB
Multiranks and new rank/crank analogs for a variety of partitions are given, so as to imply combinatorially some arithmetic properties enjoyed by these types of partitions. Our methods are elementary relying entirely on the three classical theta functions, and are motivated by the seminal work of Ramanujan, Garvan, Hammond and Lewis.