variety
2681 papers tagged with this keyword
Divided Difference Operator for the Highest root Hessenberg variety
Published
• View Publication
• BIB
We construct a divided difference operator using GKM theory. This generalizes the classical divided difference operator for the cohomology of the complete flag variety. This construction proves a special case of a recent conjecture of Shareshian and Wachs. Our methods are entirely combinatorial and algebraic, and rely heavily on the combinatorics of root systems and Bruhat order.
Permutation patterns, Stanley symmetric functions and generalized Specht modules
Published
• View Publication
• BIB
Generalizing the notion of a vexillary permutation, we introduce a filtration of S_infinity by the number of Schur function terms in the Stanley symmetric function, with the kth filtration level called the k-vexillary permutations. We show that for each k, the k-vexillary permutations are characterized by avoiding a finite set of patterns. A key step is the construction of a Specht series, in the sense of James and Peel, for the Specht module associated to the diagram of a permutation. As a corollary, we prove a conjecture of Liu on diagram varieties for certain classes of permutation diagrams. We apply similar techniques to characterize multiplicity-free Stanley symmetric functions, as well as permutations whose diagram is equivalent to a forest in the sense of Liu.
The Kirchhoff indices and the matching numbers of unicyclic graphs
Published in Appl. Math. Comput. 289, p. 464--480 (2016)
• View Publication
• BIB
The Kirchhoff index of a connected graph is the sum of resistance distances between all unordered pairs of vertices in the graph. It found considerable applications in a variety of fields. In this paper, we determine the minimum Kirchhoff index among the unicyclic graphs with fixed number of vertices and matching number, and characterize the extremal graphs.
Unimodular triangulations of dilated 3-polytopes
Published in Trans. Moscow Math. Soc. 74 (2013), 293-311
• View Publication
• BIB
A seminal result in the theory of toric varieties, due to Knudsen, Mumford and Waterman (1973), asserts that for every lattice polytope $P$ there is a positive integer $k$ such that the dilated polytope $kP$ has a unimodular triangulation. In dimension 3, Kantor and Sarkaria (2003) have shown that $k=4$ works for every polytope. But this does not imply that every $k>4$ works as well. We here study the values of $k$ for which the result holds showing that:
1. It contains all composite numbers.
2. It is an additive semigroup.
These two properties imply that the only values of $k$ that may not work (besides 1 and 2, which are known not to work) are $k\in\{3,5,7,11\}$. With an ad-hoc construction we show that $k=7$ and $k=11$ also work, except in this case the triangulation cannot be guaranteed to be "standard" in the boundary. All in all, the only open cases are $k=3$ and $k=5$.
Mod-phi convergence I: Normality zones and precise deviations
Published
• View Publication
• BIB
In this paper, we use the framework of mod-$φ$ convergence to prove precise large or moderate deviations for quite general sequences of real valued random variables $(X_{n})_{n \in \mathbb{N}}$, which can be lattice or non-lattice distributed. We establish precise estimates of the fluctuations $P[X_{n} \in t_{n}B]$, instead of the usual estimates for the rate of exponential decay $\log( P[X_{n}\in t_{n}B])$. Our approach provides us with a systematic way to characterise the normality zone, that is the zone in which the Gaussian approximation for the tails is still valid. Besides, the residue function measures the extent to which this approximation fails to hold at the edge of the normality zone.
The first sections of the article are devoted to a proof of these abstract results and comparisons with existing results. We then propose new examples covered by this theory and coming from various areas of mathematics: classical probability theory, number theory (statistics of additive arithmetic functions), combinatorics (statistics of random permutations), random matrix theory (characteristic polynomials of random matrices in compact Lie groups), graph theory (number of subgraphs in a random Erdős-Rényi graph), and non-commutative probability theory (asymptotics of random character values of symmetric groups). In particular, we complete our theory of precise deviations by a concrete method of cumulants and dependency graphs, which applies to many examples of sums of "weakly dependent" random variables. The large number as well as the variety of examples hint at a universality class for second order fluctuations.
On the equational complexity of RRA
Published in Algebra Universalis, (68), 2012, p. 321-324
• View Publication
• BIB
We prove that the equational complexity function for the variety of representable relation algebras is bounded below by a log-log function.
Limits of local algorithms over sparse random graphs
Published
• View Publication
• BIB
Local algorithms on graphs are algorithms that run in parallel on the nodes of a graph to compute some global structural feature of the graph. Such algorithms use only local information available at nodes to determine local aspects of the global structure, while also potentially using some randomness. Recent research has shown that such algorithms show significant promise in computing structures like large independent sets in graphs locally. Indeed the promise led to a conjecture by Hatami, \Lovasz and Szegedy \cite{HatamiLovaszSzegedy} that local algorithms may be able to compute maximum independent sets in (sparse) random $d$-regular graphs. In this paper we refute this conjecture and show that every independent set produced by local algorithms is multiplicative factor $1/2+1/(2\sqrt{2})$ smaller than the largest, asymptotically as $d\rightarrow\infty$.
Our result is based on an important clustering phenomena predicted first in the literature on spin glasses, and recently proved rigorously for a variety of constraint satisfaction problems on random graphs. Such properties suggest that the geometry of the solution space can be quite intricate. The specific clustering property, that we prove and apply in this paper shows that typically every two large independent sets in a random graph either have a significant intersection, or have a nearly empty intersection. As a result, large independent sets are clustered according to the proximity to each other. While the clustering property was postulated earlier as an obstruction for the success of local algorithms, such as for example, the Belief Propagation algorithm, our result is the first one where the clustering property is used to formally prove limits on local algorithms.
Lifting of divisible designs
Published in Des. Codes Cryptogr., 42 (2007), 1-14
• View Publication
• BIB
The aim of this paper is to present a construction of $t$-divisible designs for $t>3$, because such divisible designs seem to be missing in the literature. To this end, tools such as finite projective spaces and their algebraic varieties are employed. More precisely, in a first step an abstract construction, called $t$-lifting, is developed. It starts from a set $X$ containing a $t$-divisible design and a group $G$ acting on $X$. Then several explicit examples are given, where $X$ is a subset of $PG(n,q)$ and $G$ is a subgroup of $GL_{n+1}(q)$. In some cases $X$ is obtained from a cone with a Veronesean or an $h$-sphere as its basis. In other examples $X$ arises from a projective embedding of a Witt design. As a result, for any integer $t\geq 2$ infinitely many non-isomorphic $t$-divisible designs are found.
Veronese Varieties over Fields with non-zero Characteristic: A Survey
Published in Discrete Math., 267 (2003), 159-173
• View Publication
• BIB
In the present survey we collect some recent results on nuclei of Veronese varieties and invariant subspaces of normal rational curves. We must assume, however, that the ground field is not "too small", since otherwise a Veronese variety is like dust: "few points" in some "high-dimensional" space.
A Dimension Formula for the Nucleus of a Veronese Variety
Published in Linear Algebra Appl. 305 (2000), 191-201
• View Publication
• BIB
The nucleus of a Veronese variety is the intersection of all its osculating hyperplanes. Various authors have given necessary and sufficient conditions for the nucleus to be empty. We present an explicit formula for the dimension of this nucleus for arbitrary characteristic of the ground field. As a corollary, we obtain a dimension formula for that subspace in the $t$-th symmetric power of a finite-dimensional vector space $V$ which is spanned by the powers $a^t$ with $\a\in\V$.
Curve neighborhoods of Schubert varieties
Published
• View Publication
• BIB
A previous result of the authors with Chaput and Perrin states that the union of all rational curves of fixed degree passing through a Schubert variety in a homogeneous space G/P is again a Schubert variety. In this paper we identify this Schubert variety explicitly in terms of the Hecke product of Weyl group elements. We apply our result to give an explicit formula for any two-point Gromov-Witten invariant as well as a new proof of the quantum Chevalley formula and its equivariant generalization. We also recover a formula for the minimal degree of a rational curve between two given points in a cominuscule variety.
Smoothness and singularities of the perfect form and the second Voronoi compactification of ${\mathcal A}_g$
We study the cones in the first Voronoi or perfect cone decomposition of quadratic forms with respect to the question which of these cones are basic or simplicial. As a consequence we deduce that the singular locus of the moduli stack ${\mathcal A_g^{\mathop{Perf}}}$, the toroidal compactification of the moduli space of principally polarized abelian varieties of dimension $g$ given by this decomposition, has codimension $10$ if $g \geq 4$. Moreover we describe the non-simplicial locus in codimension $10$. We also show that the second Voronoi compactification ${\mathcal A_{g}^{\mathop{Vor}}}$ has singularities in codimension $3$ for $g\geq 5$.
Derangements in Subspace Actions of Finite Classical Groups
Published
• View Publication
• BIB
This is the third in a series of papers in which we prove a conjecture of Boston and Shalev that the proportion of derangements (fixed point free elements) is bounded away from zero for transitive actions of finite simple groups on a set of size greater than one. This paper treats the case of primitive subspace actions. It is also shown that if the dimension and codimension of the subspace go to infinity, then the proportion of derangements goes to one. Similar results are proved for elements in finite classical groups in cosets of the simple group. The results in this paper have applications to probabilistic generation of finite simple groups and maps between varieties over finite fields.
Universal Cycles of Complementary Classes
Universal Cycles, or U-cycles, as originally defined by de Bruijn, are an efficient method to exhibit a large class of combinatorial objects in a compressed fashion, and with no repeats. de Bruijn's theorem states that U-cycles for $n$ letter words on a $k$ letter alphabet exist for all $k$ and $n$. Much has already been proved about Universal Cycles for a variety of other objects. This work is intended to augment the current research in the area by exhibiting U-cycles for {\it complementary classes}. Results will be presented that exhibit the existence of U-cycles for class-alternating words such as alternating vowel-consonant (VCVC) words; words with at least one repeated letter (non-injective functions); words with at least one letter of the alphabet missing (functions that are not onto); words that represent illegal tournament rankings; and words that do not constitute "strong" legal computer passwords. As with previous papers pertaining to U-cycles, connectedness proves to be a nontrivial step.
On a real analogue of Bezout inequality and the number of connected components of sign conditions
Published
• View Publication
• BIB
Let $\mathrm{R}$ be a real closed field and $Q_1, \ldots, Q_{\ell} \in \mathrm{R}[X_1, \ldots,X_k]$ such that for each $i, 1 \leq i \leq \ell$, $\mathrm{deg} (Q_i) \leq d_i$. For $1 \leq i \leq \ell$, denote by $\mathcal{Q}_i = \{Q_1, \ldots, Q_i \}$, $V_i$ the real variety defined by $\mathcal{Q}_i$, and $k_i$ an upper bound on the real dimension of $V_i$ (by convention $V_0 = \mathrm{R}^k$ and $k_0 = k$). Suppose also that \[ 2 \leq d_1 \leq d_2 \leq \frac{1}{k + 1} d_3 \leq \frac{1}{(k + 1)^2} d_4 \leq \cdots \leq \frac{1}{(k + 1)^{\ell - 3}} d_{\ell - 1} \leq \frac{1}{(k + 1)^{\ell - 2}} d_{\ell}, \] and that $\ell \leq k$. We prove that the number of semi-algebraically connected components of $V_{\ell}$ is bounded by \[ O (k)^{2 k} \left(\prod_{1 \leq j < \ell} d_j^{k_{j - 1} - k_j} \right) d_{\ell}^{k_{\ell - 1}}. \] This bound can be seen as a weak extension of the classical Bezout inequality (which holds only over algebraically closed fields and is false over real closed fields) to varieties defined over real closed fields. Additionally, if $\mathcal{P} \subset \mathrm{R}[X_1, \ldots, X_k]$ is a finite family of polynomials with $\mathrm{deg} (P) \leq d$ for all $P \in \mathcal{P}$, $\mathrm{card}( \mathcal{P}) = s$, and $d_{\ell} \leq \frac{1}{k + 1} d$, we prove that the number of semi-algebraically connected components of the realizations of all realizable sign conditions of the family $\mathcal{P}$ restricted to $V_{\ell}$ is bounded by \[ O (k)^{2 k} (s d)^{k_{\ell}} \left(\prod_{1 \leq j \leq \ell} d_j^{k_{j - 1} - k_j} \right). \]
A new statistic on the hyperoctahedral groups
Published
• View Publication
• BIB
We introduce a new statistic on the hyperoctahedral groups (Coxeter groups of type B), and give a conjectural formula for its signed distributions over arbitrary descent classes. The statistic is analogous to the classical Coxeter length function, and features a parity condition. For descent classes which are singletons the conjectured formula gives the Poincaré polynomials of the varieties of symmetric matrices of fixed rank.
For several descent classes we prove the conjectural formula. For this we construct suitable "supporting sets" for the relevant generating functions. We prove cancellations on the complements of these supporting sets using suitably defined sign reversing involutions.
A cluster algebra approach to q-characters of Kirillov-Reshetikhin modules
Published in J. Eur. Math. Soc. 18 (2016), 1113-1159
• View Publication
• BIB
We describe a cluster algebra algorithm for calculating q-characters of Kirillov-Reshetikhin modules for any untwisted quantum affine algebra. This yields a geometric q-character formula for tensor products of Kirillov-Reshetikhin modules. In simply laced type this formula extends Nakajima's formula for q-characters of standard modules in terms of homology of graded quiver varieties.
Andrews Style Partition Identities
We propose a method to construct a variety of partition identities at once. The main application is an all-moduli generalization of some of Andrews' results in [5]. The novelty is that the method constructs solutions to functional equations which are satisfied by the generating functions. In contrast, the conventional approach is to show that a variant of well-known series satisfies the system of functional equations, thus reconciling two separate lines of computations.
Complete intersections in simplicial toric varieties
Published in J. Symbolic Comput. 68 (2015), part 1, 265-286
• View Publication
• BIB
Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether $I_{\mathcal A}$ is a complete intersection. This algorithm does not require the explicit computation of a minimal set of generators of $I_{\mathcal A}$. The algorithm is based on the application of some new results concerning toric ideals to the simplicial case. For homogenous simplicial toric ideals, we provide a simpler version of this algorithm. Moreover, when $k$ is an algebraically closed field, we list all ideal-theoretic complete intersection simplicial projective toric varieties that are either smooth or have one singular point.
Positivity of Chern classes of Schubert cells and varieties
Published
• View Publication
• BIB
We show that the Chern-Schwartz-MacPherson class of a Schubert cell in a Grassmannian is represented by a reduced and irreducible subvariety in each degree. This gives an affirmative answer to a positivity conjecture of Aluffi and Mihalcea.