variety
2752 papers tagged with this keyword
Quiver varieties, category O for rational Cherednik algebras, and Hecke algebras
Published
• View Publication
• BIB
We relate the representations of the rational Cherednik algebras associated with the complex reflection group G(m,1,n) to sheaves on Nakajima quiver varieties associated with extended Dynkin gaphs via a Z-algebra construction. As the parameters defining the Cherednik algebra vary, the stability conditions defining the quiver variety change. We interpret the ordering on category O geometrically using this relationship; we also relate the geometry to the a-function for Hecke algebras with unequal parameters.
Threshold graphs, shifted complexes, and graphical complexes
Published
• View Publication
• BIB
We consider a variety of connections between threshold graphs, shifted complexes, and simplicial complexes naturally formed from a graph. These graphical complexes include the independent set, neighborhood, and dominance complexes. We present a number of structural results and relations among them including new characterizations of the class of threshold graphs.
Classification of toric Fano 5-folds
Published in Adv. Geom. 9 (2009), 85-97
• View Publication
• BIB
We obtain 866 isomorphism classes of five-dimensional nonsingular toric Fano varieties using a computer program and the database of four-dimensional reflexive polytopes. The algorithm is based on the existence of facets of Fano polytopes having small integral distance from any vertex.
Correspondences with split polynomial equations
Published
• View Publication
• BIB
We introduce endomorphisms of special jacobians and show that they satisfy polynomial equations with all integer roots which we compute. The eigen-abelian varieties for these endomorphisms are generalizations of Prym-Tjurin varieties and naturally contain special curves representing cohomology classes which are not expected to be represented by curves in generic abelian varieties.
Finite size scaling for the core of large random hypergraphs
Published in Annals of Applied Probability 2008, Vol. 18, No. 5, 1993-2040
• View Publication
• BIB
The (two) core of a hypergraph is the maximal collection of hyperedges within which no vertex appears only once. It is of importance in tasks such as efficiently solving a large linear system over GF[2], or iterative decoding of low-density parity-check codes used over the binary erasure channel. Similar structures emerge in a variety of NP-hard combinatorial optimization and decision problems, from vertex cover to satisfiability. For a uniformly chosen random hypergraph of $m=nρ$ vertices and $n$ hyperedges, each consisting of the same fixed number $l\geq3$ of vertices, the size of the core exhibits for large $n$ a first-order phase transition, changing from $o(n)$ for $ρ>ρ_{\mathrm{c}}$ to a positive fraction of $n$ for $ρ<ρ_{\mathrm{c}}$, with a transition window size $Θ(n^{-1/2})$ around $ρ_{\mathrm{c}}>0$. Analyzing the corresponding ``leaf removal'' algorithm, we determine the associated finite-size scaling behavior. In particular, if $ρ$ is inside the scaling window (more precisely, $ρ=ρ_{\mathrm{c}}+rn^{-1/2}$), the probability of having a core of size $Θ(n)$ has a limit strictly between 0 and 1, and a leading correction of order $Θ(n^{-1/6})$. The correction admits a sharp characterization in terms of the distribution of a Brownian motion with quadratic shift, from which it inherits the scaling with $n$. This behavior is expected to be universal for a wide collection of combinatorial problems.
Completely reducible hypersurfaces in a pencil
Published in Advances in Mathematics 219 (2008), no. 2, 672--688.
• View Publication
• BIB
We study completely reducible fibers of pencils of hypersurfaces on $\mathbb P^n$ and associated codimension one foliations of $\mathbb P^n$.
Using methods from theory of foliations we obtain certain upper bounds for the number of these fibers as functions only of $n$.
Equivalently this gives upper bounds for the dimensions of resonance varieties of hyperplane arrangements.
We obtain similar bounds for the dimensions of the characteristic varieties of the arrangement complements.
Jacobian varieties of reduced tropical curves
On tropical geometry in $\rr^2$, the divisor and the Jacobian variety are defined in analogy to algebraic geometry. For study of these objects, it is important to think of the `bunch' of a tropical curve. In this paper, we will show that if the bunch is a bouquet, then the Jacobian is a higher-dimensional torus.
Hamilton cycles in highly connected and expanding graphs
Published
• View Publication
• BIB
In this paper we prove a sufficient condition for the existence of a Hamilton cycle, which is applicable to a wide variety of graphs, including relatively sparse graphs. In contrast to previous criteria, ours is based on only two properties: one requiring expansion of ``small'' sets, the other ensuring the existence of an edge between any two disjoint ``large'' sets. We also discuss applications in positional games, random graphs and extremal graph theory.
Tropical curves, their Jacobians and Theta functions
Published
• View Publication
• BIB
We study Jacobian varieties for tropical curves. These are real tori equipped with integral affine structure and symmetric bilinear form. We define tropical counterpart of the theta function and establish tropical versions of the Abel-Jacobi, Riemann-Roch and Riemann theta divisor theorems.
Codes defined by forms of degree 2 on quadric and non-degenerate hermitian varieties in $\mathbb{P}^{4}(\mathbb{F}_q)$}
Published
• View Publication
• BIB
We study the functional codes of second order defined by G. Lachaud on $\mathcal{X} \subset {\mathbb{P}}^4(\mathbb{F}_q)$ a quadric of rank($\mathcal{X}$)=3,4,5 or a non-degenerate hermitian variety. We give some bounds for %$# \mathcal{X}_{Z(\mathcal{Q})}(\mathbb{F}_{q})$, the number of points of quadratic sections of $\mathcal{X}$, which are the best possible and show that codes defined on non-degenerate quadrics are better than those defined on degenerate quadrics. We also show the geometric structure of the minimum weight codewords and estimate the second weight of these codes. For $\mathcal{X}$ a non-degenerate hermitian variety, we list the first five weights and the corresponding codewords. The paper ends with two conjectures. One on the minimum distance for the functional codes of order $h$ on $\mathcal{X} \subset {\mathbb{P}}^4(\mathbb{F}_q)$ a non-singular hermitian variety. The second conjecture on the distribution of the codewords of the first five weights of the functional codes of second order on $\mathcal{X} \subset {\mathbb{P}}^N(\mathbb{F}_q)$ the non-singular hermitian variety.
Embedded factor patterns for Deodhar elements in Kazhdan-Lusztig theory
Published
• View Publication
• BIB
The Kazhdan-Lusztig polynomials for finite Weyl groups arise in the geometry of Schubert varieties and representation theory. It was proved very soon after their introduction that they have nonnegative integer coefficients, but no completely combinatorial interpretation for them is known in general. Deodhar (1990) has given a framework for computing the Kazhdan-Lusztig polynomials, which generally involves recursion. We define embedded factor pattern avoidance for general Coxeter groups and use it to characterize when Deodhar's algorithm yields a simple combinatorial formula for the Kazhdan-Lusztig polynomials of finite Weyl groups. Equivalently, if $(W, S)$ is a Coxeter system for a finite Weyl group, we classify the elements $w \in W$ for which the Kazhdan-Lusztig basis element $C'_w$ can be written as a monomial of $C'_s$ where $s \in S$. This work generalizes results of Billey-Warrington (2001) which identified the Deodhar elements in type $A$ as 321-hexagon-avoiding permutations, and Fan-Green (1997) which identified the fully-tight Coxeter groups.
The cohomology of real De Concini-Procesi models of Coxeter type
Published in International Mathematics Research Notices 2008 (2008), rnn001, 29pp.
• View Publication
• BIB
We study the rational cohomology groups of the real De Concini-Procesi model corresponding to a finite Coxeter group, generalizing the type-A case of the moduli space of stable genus 0 curves with marked points. We compute the Betti numbers in the exceptional types, and give formulae for them in types B and D. We give a generating-function formula for the characters of the representations of a Coxeter group of type B on the rational cohomology groups of the corresponding real De Concini-Procesi model, and deduce the multiplicities of one-dimensional characters in the representations, and a formula for the Euler character. We also give a moduli space interpretation of this type-B variety, and hence show that the action of the Coxeter group extends to a slightly larger group.
Some explicit constructions of sets with more sums than differences
Published
• View Publication
• BIB
We present a variety of new results on finite sets A of integers for which the sumset A+A is larger than the difference set A-A, so-called MSTD (more sums than differences) sets. First we show that there is, up to affine transformation, a unique MSTD subset of {\bf Z} of size 8. Secondly, starting from some examples of size 9, we present several new constructions of infinite families of MSTD sets. Thirdly we show that for every fixed ordered pair of non-negative integers (j,k), as n -> \infty a positive proportion of the subsets of {0,1,2,...,n} satisfy |A+A| = (2n+1) - j, |A-A| = (2n+1) - 2k.
Decomposition theorem for the cd-index of Gorenstein* posets
Published
• View Publication
• BIB
We prove a decomposition theorem for the cd-index of a Gorenstein* poset analogous to the decomposition theorem for the intersection cohomology of a toric variety. From this we settle a conjecture of Stanley that the cd-index of Gorenstein* lattices is minimized on Boolean algebras.
Interval pattern avoidance for arbitrary root systems
Published in Canad. Math. Bull. 53 (2010) 757--762
• View Publication
• BIB
We extend the idea of interval pattern avoidance defined by Yong and the author for $S_n$ to arbitrary Weyl groups using the definition of pattern avoidance due to Billey and Braden, and Billey and Postnikov. We show that, as previously shown by Yong and the author for $GL_n$, interval pattern avoidance is a universal tool for characterizing which Schubert varieties have certain local properties, and where these local properties hold.
Resonance varieties over fields of positive characteristic
Published
• View Publication
• BIB
This is a revision and update of the part of the preprint math.CO/0405210 concerning field coefficients, line complexes, and the Hessian arrangement. The material from that paper concerning coefficients in arbitrary commutative rings and the deleted B_3 arrangement will appear separately.
A set theoretic framework for enumerating matches in surveys and its application to reducing inaccuracies in vehicle roadside surveys
Published in European Journal of Operational Research, 175(3) pp 1501-1513 2006
• View Publication
• BIB
This paper describes a framework for analysing matches in multiple data sets. The framework described is quite general and can be applied to a variety of problems where matches are to be found in data surveyed at a number of locations (or at a single location over a number of days). As an example, the framework is applied to the problem of false matches in licence plate survey data. The specific problem addressed is that of estimating how many vehicles were genuinely sighted at every one of a number of survey points when there is a possibility of accidentally confusing two vehicles due to the nature of the survey undertaken.
In this paper, a method for representing the possible "types of match" is outlined using set theory. The phrase "types of match" will be defined and formalised in this paper. A method for enumerating the set of all types of match over n survey sites, is described. The method is applied to the problem of correcting survey data for false matches using a simple probabalistic method. An algorithm is developed for correcting false matches over multiple survey sites and its use is demonstrated with simulation results.
Bounds on the number of inference functions of a graphical model
Directed and undirected graphical models, also called Bayesian networks and Markov random fields, respectively, are important statistical tools in a wide variety of fields, ranging from computational biology to probabilistic artificial intelligence. We give an upper bound on the number of inference functions of any graphical model. This bound is polynomial on the size of the model, for a fixed number of parameters, thus improving the exponential upper bound given by Pachter and Sturmfels. We also show that our bound is tight up to a constant factor, by constructing a family of hidden Markov models whose number of inference functions agrees asymptotically with the upper bound. Finally, we apply this bound to a model for sequence alignment that is used in computational biology.
Using Equivariant Obstruction Theory in Combinatorial Geometry
A significant group of problems coming from the realm of Combinatorial Geometry can only be approached through the use of Algebraic Topology. From the first such application to Kneser's problem in 1978 by Lov% ász \cite{Lovasz} through the solution of the Lovász conjecture \cite% {Babson-Kozlov}, \cite{Carsten}, many methods from Algebraic Topology have been used. Specifically, it appears that the understanding of equivariant theories is of the most importance. The solution of many problems depends on the existence of an elegantly constructed equivariant map. For example, the following problems were approached by discussing the existence of appropriate equivariant maps.A variety of results from algebraic topology were applied in solving these problems. The methods used ranged from well known theorems like Borsuk Ulam and Dold theorem to the integer / ideal valued index theories. In this paper we are going to extract the essence of the equivariant obstruction theory in order to obtain an effective \emph{general position map%} scheme for analyzing the problem of existence of equivariant maps.
Tensor product decompositions and open orbits in multiple flag varieties
Published in J. Algebra, Vol. 313 (2007), 392-416
• View Publication
• BIB
For a connected semisimple algebraic group $G$, we consider some special infinite series of tensor products of simple $G$-modules whose
$G$-fixed point spaces are at most one-dimensional. We prove that their existence is closely related to the existence of open $G$-orbits in multiple flag varieties and address the problem of classifying such series.