Showing 20 papers (Total: 83842 papers, 48355 authors in database)
On equivariant quantum Schubert calculus for G/P
Published
• View Publication
• BIB
We show a Z^2-filtered algebraic structure and a "quantum to classical" principle on the torus-equivariant quantum cohomology of a complete flag variety of general Lie type, generalizing earlier works of Leung and the second author. We also provide various applications on equivariant quantum Schubert calculus, including an equivariant quantum Pieri rule for any partial flag variety of Lie type A.
Nilprogressions and groups with moderate growth
Published in Adv. Math. 289 (2016), 1008-1055
• View Publication
• BIB
We show that doubling at some large scale in a Cayley graph implies uniform doubling at all subsequent scales. The proof is based on the structure theorem for approximate subgroups proved by Green, Tao and the first author. We also give a number of applications to the geometry and spectrum of finite Cayley graphs. For example, we show that a finite group has moderate growth in the sense of Diaconis and Saloff-Coste if and only if its diameter is larger than a fixed power of the cardinality of the group. We call such groups almost flat and show that they have a subgroup of bounded index admitting a cyclic quotient of comparable diameter. We also give bounds on the Cheeger constant, first eigenvalue of the Laplacian, and mixing time. This can be seen as a finite-group version of Gromov's theorem on groups with polynomial growth. It also improves on a result of Lackenby regarding property (tau) in towers of coverings. Another consequence is a universal upper bound on the diameter of all finite simple groups, independent of the CFSG.
A Curved Brunn-Minkowski Inequality for the Symmetric Group
Published in Electron. J. Combin. 23 (2016), no. 1, P1.27
• View Publication
• BIB
In this paper, we construct an injection $A \times B \rightarrow M \times M$ from the product of any two nonempty subsets of the symmetric group into the square of their midpoint set, where the metric is that corresponding to the conjugacy class of transpositions. If $A$ and $B$ are disjoint, our construction allows to inject two copies of $A \times B$ into $M \times M$. These injections imply a positively curved Brunn-Minkowski inequality for the symmetric group analogous to that obtained by Ollivier and Villani for the hypercube. However, while Ollivier and Villani's inequality is optimal, we believe that the curvature term in our inequality can be improved. We identify a hypothetical concentration inequality in the symmetric group and prove that it yields an optimally curved Brunn-Minkowski inequality.
Triangular fully packed loop configurations of excess 2
Published
• View Publication
• BIB
Triangular fully packed loop configurations (TFPLs) came up in the study of fully packed loop configurations on a square (FPLs) corresponding to link patterns with a large number of nested arches. To a TFPL is assigned a triple $(u,v;w)$ of $01$-words encoding its boundary conditions which must necessarily satisfy that $d(u)+d(v)\leq d(w)$, where $d(u)$ denotes the number of inversions in $u$. Wieland gyration, on the other hand, was invented to show the rotational invariance of the numbers $A_π$ of FPLs corresponding to a given link pattern $π$. Later, Wieland drift - a map on TFPLs that is based on Wieland gyration - was defined. The main contribution of this article is a linear expression for the number of TFPLs with boundary $(u,v;w)$ where $d(w)-d(u)-d(v)=2$ in terms of numbers of stable TFPLs, that is, TFPLs invariant under Wieland drift. This linear expression is consistent with already existing enumeration results for TFPLs with boundary $(u,v;w)$ where $d(w)-d(u)-d(v)=0,1$.
Concentration of the mixed discriminant of well-conditioned matrices
Published
• View Publication
• BIB
We call an n-tuple Q_1, ..., Q_n of positive definite nxn matrices alpha-conditioned for some alpha > 1 if the ratio of the largest among the eigenvalues of Q_1, ..., Q_n to the smallest among the eigenvalues of Q_1, ..., Q_n does not exceed alpha. An n-tuple is called doubly stochastic if the sum of Q_i is the identity matrix and the trace of each Q_i is 1. We prove that for any fixed alpha > 1 the mixed discriminant of an alpha-conditioned doubly stochastic n-tuple is n^{O(1)} e^{-n}. As a corollary, for any alpha > 1 fixed in advance, we obtain a polynomial time algorithm approximating the mixed discriminant of an alpha-conditioned n-tuple within a polynomial in n factor.
On the maximum number of Latin transversals
Published
• View Publication
• BIB
Let $T(n)$ denote the maximal number of transversals in an order-$n$ Latin square. Improving on the bounds obtained by McKay et al., Taranenko recently proved that $T(n) \leq \left((1+o(1))\frac{n}{e^2}\right)^{n}$, and conjectured that this bound is tight.
We prove via a probabilistic construction that indeed $T(n) = \left((1+o(1))\frac{n}{e^2}\right)^{n}$. Until the present paper, no superexponential lower bound for $T(n)$ was known. We also give a simpler proof of the upper bound.
Homology of FI-modules
Published in Geom. Topol. 21 (2017) 2373-2418
• View Publication
• BIB
We prove an explicit and sharp upper bound for the Castelnuovo-Mumford regularity of an FI-module V in terms of the degrees of its generators and relations. We use this to refine a result of Putman on the stability of homology of congruence subgroups, extending his theorem to previously excluded small characteristics and to integral homology while maintaining explicit bounds for the stable range.
Impossibility Theorems and the Universal Algebraic Toolkit
We elucidate a close connection between the Theory of Judgment Aggregation (more generally, Evaluation Aggregation), and a relatively young but rapidly growing field of universal algebra, that was primarily developed to investigate constraint satisfaction problems. Our connection yields a full classification of non-binary evaluations into possibility and impossibility domains both under the idempotent and the supportive conditions. Prior to the current result E. Dokow and R. Holzman nearly classified non-binary evaluations in the supportive case, by combinatorial means. The algebraic approach gives us new insights to the easier binary case as well, which had been fully classified by the above authors. Our algebraic view lets us put forth a suggestion about a strengthening of the Non-dictatorship criterion, that helps us avoid "outliers" like the affine subspace. Finally, we give upper bounds on the complexity of computing if a domain is impossible or not (to our best knowledge no finite time bounds were given earlier).
Further results on multiple coverings of the farthest-off points
Published
• View Publication
• BIB
Multiple coverings of the farthest-off points ($(R,μ)$-MCF codes) and the corresponding $(ρ,μ)$-saturating sets in projective spaces $PG(N,q)$ are considered. We propose and develop some methods which allow us to obtain new small $(1,μ)$-saturating sets and short $(2,μ)$-MCF codes with $μ$-density either equal to 1 (optimal saturating sets and almost perfect MCF-codes) or close to 1 (roughly $1+1/cq$, $c\ge1$). In particular, we provide new algebraic constructions and some bounds. Also, we classify minimal and optimal $(1,μ)$-saturating sets in $PG(2,q)$, $q$ small.
A structure theorem for sets of small popular doubling
Published
• View Publication
• BIB
In this paper we prove that every set $A\subset\mathbb{Z}$ satisfying the inequality $\sum_{x}\min(1_A*1_A(x),t)\le(2+δ)t|A|$ for $t$ and $δ$ in suitable ranges, then $A$ must be very close to an arithmetic progression. We use this result to improve the estimates of Green and Morris for the probability that a random subset $A\subset\mathbb{N}$ satisfies $|\mathbb{N}\setminus(A+A)|\ge k$; specifically we show that $\mathbb{P}(|\mathbb{N}\setminus(A+A)|\ge k)=Θ(2^{-k/2})$.
A structure theorem for sets of small popular doubling, revisited
We prove that every set $A\subset\mathbb{Z}/p\mathbb{Z}$ with $\mathbb{E}_x\min(1_A*1_A(x),t)\le(2+δ)t\mathbb{E}_x 1_A(a)$ is very close to an arithmetic progression. Here $p$ stands for a large prime and $δ,t$ are small real numbers. This shows that the Vosper theorem is stable in the case of a single set.
Veronese subspace codes
Published
• View Publication
• BIB
Using the correspondence between quadrics of ${\rm PG}(2,q)$ and points of ${\rm PG}(5,q)$, a family of $(6,q^3(q^2-1)(q-1)/3+(q^2+1)(q^2+q+1),4;3)_q$ constant dimension subspace codes is constructed.
Ehrhart polynomials with negative coefficients
Published
• View Publication
• BIB
It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. Moreover, it is also shown that for each $d \geq 3$ and $1 \leq k \leq d-2$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that the coefficient of $n^k$ of the Ehrhart polynomial $i(\mathcal{P},n)$ of $\mathcal{P}$ is negative and all its remaining coefficients are positive. Finally, we consider all the possible sign patterns of the coefficients of the Ehrhart polynomials of low dimensional integral convex polytopes.
Isomorphisms in Multilayer Networks
Published
• View Publication
• BIB
We extend the concept of graph isomorphisms to multilayer networks with any number of "aspects" (i.e., types of layering). In developing this generalization, we identify multiple types of isomorphisms. For example, in multilayer networks with a single aspect, permuting vertex labels, layer labels, and both vertex labels and layer labels each yield different isomorphism relations between multilayer networks. Multilayer network isomorphisms lead naturally to defining isomorphisms in any of the numerous types of networks that can be represented as a multilayer network, and we thereby obtain isomorphisms for multiplex networks, temporal networks, networks with both of these features, and more. We reduce each of the multilayer network isomorphism problems to a graph isomorphism problem, where the size of the graph isomorphism problem grows linearly with the size of the multilayer network isomorphism problem. One can thus use software that has been developed to solve graph isomorphism problems as a practical means for solving multilayer network isomorphism problems. Our theory lays a foundation for extending many network analysis methods --- including motifs, graphlets, structural roles, and network alignment --- to any multilayer network.
Genera of Brill-Noether curves and staircase paths in Young tableaux
Published in Trans. Amer. Math. Soc. 370 (2018), no. 5, 3405-3439
• View Publication
• BIB
In this paper, we compute the genus of the variety of linear series of rank $r$ and degree $d$ on a general curve of genus $g$, with ramification at least $α$ and $β$ at two given points, when that variety is 1-dimensional. Our proof uses degenerations and limit linear series along with an analysis of random staircase paths in Young tableaux, and produces an explicit scheme-theoretic description of the limit linear series of fixed rank and degree on a generic chain of elliptic curves when that scheme is itself a curve.
A Winning Strategy for the Game of Antonim
The game of Antonim is a variant of the game Nim, with the additional rule that heaps are not allowed to be the same size. A winning strategy for three heap Antonim has been solved. We will discuss the solution to three-heap Antonim and generalize this theory to an arbitrary number of heaps.
Totally nonnegative Grassmannian and Grassmann polytopes
Published
• View Publication
• BIB
These are lecture notes intended to supplement my second lecture at the Current Developments in Mathematics conference in 2014. In the first half of article, we give an introduction to the totally nonnegative Grassmannian together with a survey of some more recent work. In the second half of the article, we give a definition of a Grassmann polytope motivated by work of physicists on the amplituhedron. We propose to use Schubert calculus and canonical bases to replace linear algebra and convexity in the theory of polytopes.
Packing, Counting and Covering Hamilton cycles in random directed graphs
Published
• View Publication
• BIB
A Hamilton cycle in a digraph is a cycle that passes through all the vertices, where all the arcs are oriented in the same direction. The problem of finding Hamilton cycles in directed graphs is well studied and is known to be hard. One of the main reasons for this, is that there is no general tool for finding Hamilton cycles in directed graphs comparable to the so called Pos?a `rotation-extension' technique for the undirected analogue. Let ${\mathcal D}(n,p)$ denote the random digraph on vertex set $[n]$, obtained by adding each directed edge independently with probability $p$. Here, we present a general and a very simple method, using known results, to attack problems of packing and counting Hamilton cycles in random directed graphs, for every edge-probability $p>\log^C(n)/n$. Our results are asymptotically optimal with respect to all parameters and apply equally well to the undirected case.
What Moser Could Have Asked: Counting Hamilton Cycles in Tournaments
Moser asked for a construction of explicit tournaments on $n$ vertices having at least $(\frac{n}{3e})^n$ Hamilton cycles. We show that he could have asked for rather more.
A note on graphs with characteristic-dependent well-covered dimension
We investigate graphs that have characteristic-dependent well-covered dimension and show how more of these graphs can be constructed from known ones.