variety
2680 papers tagged with this keyword
A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs
Published in Mathematical Programming, Volume 133, Numbers 1-2, pp. 203-225, (2012)
• View Publication
• BIB
The theta bodies of a polynomial ideal are a series of semidefinite programming relaxations of the convex hull of the real variety of the ideal. In this paper we construct the theta bodies of the vanishing ideal of cycles in a binary matroid. Applied to cuts in graphs, this yields a new hierarchy of semidefinite programming relaxations of the cut polytope of the graph. If the binary matroid avoids certain minors we can characterize when the first theta body in the hierarchy equals the cycle polytope of the matroid. Specialized to cuts in graphs, this result solves a problem posed by Lovász.
A combinatorial approach to Alexander-Hirschowitz Theorem based on toric degenerations
Published
• View Publication
• BIB
We present an alternative proof of the Alexander-Hirschowitz Theorem in dimension 3 using degenerations of toric varieties.
Schubert polynomials and Arakelov theory of orthogonal flag varieties
Published in Math. Zeitschrift 268 (2011), 355-370
• View Publication
• BIB
We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of orthogonal flag varieties. We use these polynomials to describe the arithmetic Schubert calculus on these spaces. We also give a method to compute the natural arithmetic intersection numbers which arise, and prove that they are all rational numbers.
On the tropical Torelli map
Published in Advances in Mathematics 226 (2011), 2546-2586
• View Publication
• BIB
We construct the moduli spaces of tropical curves and tropical principally polarized abelian varieties, working in the category of (what we call) stacky fans. We define the tropical Torelli map between these two moduli spaces and we study the fibers (tropical Torelli theorem) and the image of this map (tropical Schottky problem). Finally we determine the image of the planar tropical curves via the tropical Torelli map and we use it to give a positive answer to a question raised by Namikawa on the compactified classical Torelli map.
Closed form expressions for Hodge numbers of complete intersection Calabi-Yau threefolds in toric varieties
Published in Mirror Symmetry and Tropical Geometry, Contemporary Mathematics, vol. 527, Amer. Math. Soc., Providence, RI, 2010, pp. 1-14
• View Publication
• BIB
We use Batyrev-Borisov's formula for the generating function of stringy Hodge numbers of Calabi-Yau varieties realized as complete intersections in toric varieties in order to get closed form expressions for Hodge numbers of Calabi-Yau threefolds in five-dimensional ambient spaces. These expressions involve counts of lattice points on faces of associated Cayley polytopes. Using the same techniques, similar expressions may be obtained for higher dimensional varieties realized as complete intersections of two hypersurfaces.
Tropical mixtures of star tree metrics
Published
• View Publication
• BIB
We study tree metrics that can be realized as a mixture of two star tree metrics. We prove that the only trees admitting such a decomposition are the ones coming from a tree with at most one internal edge, and whose weight satisfies certain linear inequalities. We also characterize the fibers of the corresponding mixture map. In addition, we discuss the general framework of tropical secant varieties and we interpret our results within this setting. Finally, we show that the set of tree metric ranks of metrics on $n$ taxa is unbounded.
On representation of an integer as a sum by X^2+Y^2+Z^2 and the modular equations of degree 3 and 5
Published
• View Publication
• BIB
I discuss a variety of results involving s(n), the number of representations of n as a sum of three squares. One of my objectives is to reveal numerous interesting connections between the properties of this function and certain modular equations of degree 3 and 5. In particular, I show that s(25n)=(6-(-n|5))s(n)-5s(n/25) follows easily from the well known Ramanujan modular equation of degree 5. Moreover, I establish new relations between s(n) and h(n), g(n), the number of representations of $n$ by the ternary quadratic forms 2x^2+2y^2+2z^2-yz+zx+xy and x^2+y^2+3z^2+xy, respectively. I propose an interesting identity for s(p^2n)- p s(n) with p being an odd prime. This identity makes nontrivial use of the ternary quadratic forms with discriminants p^2, 16p^2.
Criteria for rational smoothness of some symmetric orbit closures
Published
• View Publication
• BIB
Let $G$ be a connected reductive linear algebraic group over $\C$ with an involution $θ$. Denote by $K$ the subgroup of fixed points. In certain cases, the $K$-orbits in the flag variety $G/B$ are indexed by the twisted identities $\iot = \{θ(w^{-1})w\mid w\in W\}$ in the Weyl group $W$. Under this assumption, we establish a criterion for rational smoothness of orbit closures which generalises classical results of Carrell and Peterson for Schubert varieties. That is, whether an orbit closure is rationally smooth at a given point can be determined by examining the degrees in a ``Bruhat graph'' whose vertices form a subset of $\iot$. Moreover, an orbit closure is rationally smooth everywhere if and only if its corresponding interval in the Bruhat order on $\iot$ is rank symmetric.
In the special case $K=\Sp_{2n}(\C)$, $G=\SL_{2n}(\C)$, we strengthen our criterion by showing that only the degree of a single vertex, the ``bottom one'', needs to be examined. This generalises a result of Deodhar for type $A$ Schubert varieties.
Critical points and resonance of hyperplane arrangements
Published in Can. J. Math.-J. Can. Math. 63 (2011) 1038-1057
• View Publication
• BIB
If F is a master function corresponding to a hyperplane arrangement A and a collection of weights y, we investigate the relationship between the critical set of F, the variety defined by the vanishing of the one-form w = d log F, and the resonance of y. For arrangements satisfying certain conditions, we show that if y is resonant in dimension p, then the critical set of F has codimension at most p. These include all free arrangements and all rank 3 arrangements.
Ternary Quadratic Forms, Modular Equations and Certain Positivity Conjectures
Published
• View Publication
• BIB
We show that many of Ramanujan's modular equations of degree 3 can be interpreted in terms of integral ternary quadratic forms. This way we establish that for any n in N
|{n= x(x+1)/2 + y^2 +z^2 : x,y,z in Z}| >= |{n= x(x+1)/2 + 3y^2 +3z^2: x,y,zin Z}|, just to mention one among many similar positive results of this type. In particular, we prove the recent conjecture of H. Yesilyurt and the first author stating that for any n in N |{n= x(x+1)/2 + y^2 +z^2 : x,y,z in Z}| >= |{n= x(x+1)/2 + 7y^2 + 7z^2: x,y,z in Z}|. We prove a variety of identities for certain ternary forms with discriminants 144,400, 784,3600 by converting these into identities for appropriate eta- quotients. In the process we discover and prove a few new modular equations of degree 5 and 7. For any square free odd integer S with prime factorization p_1.....p_r, we define the S-genus as a union of 2^r specially selected genera of ternary quadratic forms, all with discriminant 16 S^2. This notion of S-genus arises naturally in the course of our investigation. It entails an interesting injection from genera of binary quadratic forms with discriminant -8 S to genera of ternary quadratic forms with discriminant 16 S^2.
A $q$-analogue of the FKG inequality and some applications
Let $L$ be a finite distributive lattice and $μ: L \to {\mathbb R}^{+}$ a log-supermodular function. For functions $k: L \to {\mathbb R}^{+}$ let $$E_μ (k; q) \defeq \sum_{x\in L} k(x) μ(x) q^{{\mathrm rank}(x)} \in {\mathbb R}^{+}[q].$$ We prove for any pair $g,h: L\to {\mathbb R}^{+}$ of monotonely increasing functions, that $$E_μ (g; q)\cdot E_μ (h; q) \ll
E_μ (1; q)\cdot E_μ (gh; q), $$ where ``$ \ll $'' denotes coefficientwise inequality of real polynomials. The FKG inequality of Fortuin, Kasteleyn and Ginibre (1971) is the real number inequality obtained by specializing to $q=1$.
The polynomial FKG inequality has applications to $f$-vectors of joins and intersections of simplicial complexes, to Betti numbers of intersections of certain Schubert varieties, and to the following kind of correlation inequality for power series weighted by Young tableaux. Let $Y$ be the set of all integer partitions. Given functions $k, μ: Y \rarr \R^+$, and parameters $0\le s\le t$, define the formal power series $$F_μ(k ; z) \defeq \sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{(|\la| !)^s} \in \R^+ [[z]], $$ %\sum_{\la\in Y} k(\la) μ(\la) (f_{\la})^t \frac{z^{|\la|}}{|\la| !} \in \R^+ [[z]],$$ where $f_{\la}$ is the number of standard Young tableaux of shape $\la$. Assume that $μ: Y\rarr \R^+$ is log-supermodular, and that $g, h: Y \rarr \R^+$ are monotonely increasing with respect to containment order of partition shapes. Then $$F_μ(g;z) \cdot F_μ(h;z) \ll F_μ(1;z) \cdot F_μ(gh;z). $$
Updown numbers and the initial monomials of the slope variety
Published in Electronic J. Combin. 16, no. 1 (2009), R82
• View Publication
• BIB
Let $I_n$ be the ideal of all algebraic relations on the slopes of the $\binom{n}{2}$ lines formed by placing $n$ points in a plane and connecting each pair of points with a line. Under each of two natural term orders, the initial ideal of $I_n$ is generated by monomials corresponding to permutations satisfying a certain pattern-avoidance condition. We show bijectively that these permutations are enumerated by the updown (or Euler) numbers, thereby obtaining a formula for the number of generators of the initial ideal of $I_n$ in each degree.
The poset perspective on alternating sign matrices
Published in Discrete Math. Theor. Comput. Sci. Proc., AK, (2009) 813-824
• View Publication
• BIB
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self--complementary plane partitions (TSSCPPs), Catalan objects, tournaments, semistandard Young tableaux, and totally symmetric plane partitions. We use this perspective to prove an expansion of the tournament generating function as a sum over TSSCPPs which is analogous to a known formula involving ASMs.
Totally nonnegative cells and matrix Poisson varieties
Published
• View Publication
• BIB
We describe explicitly the admissible families of minors for the totally nonnegative cells of real matrices, that is, the families of minors that produce nonempty cells in the cell decompositions of spaces of totally nonnegative matrices introduced by A. Postnikov. In order to do this, we relate the totally nonnegative cells to torus orbits of symplectic leaves of the Poisson varieties of complex matrices. In particular, we describe the minors that vanish on a torus orbit of symplectic leaves, we prove that such families of minors are exactly the admissible families, and we show that the nonempty totally nonnegative cells are the intersections of the torus orbits of symplectic leaves with the spaces of totally nonnegative matrices.
Projective normality of finite group quotients and EGZ theorem
In this note, we prove that for any finite dimensional vector space $V$ over $\mathbb {C}$, and for a finite cyclic group $G$, the projective variety $\mathbb P(V)/G$ is projectively normal with respect to the descent of $\mathcal O(1)^{\otimes |G|}$ by a method using toric variety, and deduce the EGZ theorem as a consequence.
Inverse folding of RNA pseudoknot structures
Published
• View Publication
• BIB
Background:
RNA exhibits a variety of structural configurations. Here we consider a structure to be tantamount to the noncrossing Watson-Crick and \pairGU-base pairings (secondary structure) and additional cross-serial base pairs. These interactions are called pseudoknots and are observed across the whole spectrum of RNA functionalities. In the context of studying natural RNA structures, searching for new ribozymes and designing artificial RNA, it is of interest to find RNA sequences folding into a specific structure and to analyze their induced neutral networks. Since the established inverse folding algorithms, {\tt RNAinverse}, {\tt RNA-SSD} as well as {\tt INFO-RNA} are limited to RNA secondary structures, we present in this paper the inverse folding algorithm {\tt Inv} which can deal with 3-noncrossing, canonical pseudoknot structures.
Results:
In this paper we present the inverse folding algorithm {\tt Inv}. We give a detailed analysis of {\tt Inv}, including pseudocodes. We show that {\tt Inv} allows to design in particular 3-noncrossing nonplanar RNA pseudoknot 3-noncrossing RNA structures-a class which is difficult to construct via dynamic programming routines. {\tt Inv} is freely available at \url{http://www.combinatorics.cn/cbpc/inv.html}.
Conclusions:
The algorithm {\tt Inv} extends inverse folding capabilities to RNA pseudoknot structures. In comparison with {\tt RNAinverse} it uses new ideas, for instance by considering sets of competing structures. As a result, {\tt Inv} is not only able to find novel sequences even for RNA secondary structures, it does so in the context of competing structures that potentially exhibit cross-serial interactions.
Pattern avoidance and smoothness of closures for orbits of a symmetric subgroup in the flag variety
Published
• View Publication
• BIB
We give a pattern avoidance criterion to classify the orbits of Sp(p,C) x Sp(q,C) (resp. GL(n,C)) on the flag variety of type C_{p+q} (resp. D_n) with rationally smooth closure. We show that all such orbit closures fiber (with smooth fiber) over a smaller flag variety, and hence are in fact smooth. In addition we prove that the classification is insensitive to isogeny.
Nonstandard Digraphs
Nonstandard graphs have been defined and examined in prior works. The present work does the same for nonstandard digraphs. Since digraphs have more structure than do graphs, the present discussion requires more complicated definitions and yields a variety of results peculiar to nonstandard digraphs. A nonstandard digraph can be obtained by means of an ultrapower construction based on a sequence of digraphs or more elegantly by using the transfer principle. We use either or both techniques in particular circumstances. As special cases, we have the enlargement of a single infinite digraph and also hyperfinite digraphs based on sequences of finite digraphs. Also examined are such ideas as incidences and adjacencies for nonstandard arcs and vertices, connectedness, components, and galaxies in nonstandard digraphs.
Transfinite Digraphs
Transfinite graphs have been defined and examined in a variety of prior works, but transfinite digraphs had not as yet been investigated. The present work embarks upon such a task. As with the ordinals, transfinite digraphs appear in a hierarchy of ranks indexed by the countable ordinals. The digraphs of rank 0 are the conventional digraphs. Those of rank 1 are constructed by defining certain extremities of 0-ranked digraphs, and then partitioning those extremities to obtain vertices of rank 1. Then, digraphs of rank 0 are connected together at those vertices of rank 1 to obtain a digraph of rank 1. This process can be continued through the natural-number ranks. However, to achieve a digraph whose rank is the first infinite ordinal $ω$ (i.e., the first limit ordinal), a special kind of transfinite digraph, which we call a digraph with an "arrow rank" must first be constructed in a way different from those of natural-number rank. Then, digraphs of still higher ranks can be constructed in a way similar to that for the natural-number ranked digraphs. However, just before each limit-ordinal rank, a digraph of arrow rank must be set up.
Topological flatness of orthogonal local models in the split, even case. I
Published
• View Publication
• BIB
Local models are schemes, defined in terms of linear algebra, that were introduced by Rapoport and Zink to study the étale-local structure of integral models of certain PEL Shimura varieties over p-adic fields. A basic requirement for the integral models, or equivalently for the local models, is that they be flat. In the case of local models for even orthogonal groups, Genestier observed that the original definition of the local model does not yield a flat scheme. In a recent article, Pappas and Rapoport introduced a new condition to the moduli problem defining the local model, the so-called spin condition, and conjectured that the resulting "spin" local model is flat. We prove a weak form of their conjecture in the split, Iwahori case, namely that the spin local model is topologically flat. An essential combinatorial ingredient is the equivalence of mu-admissibility and mu-permissibility for two minuscule cocharacters mu in root systems of type D.