variety
2748 papers tagged with this keyword
Nonlocal, noncommutative diagrammatics and the linked cluster Theorems
Published
• View Publication
• BIB
Recent developments in quantum chemistry, perturbative quantum field theory, statistical physics or stochastic differential equations require the introduction of new families of Feynman-type diagrams. These new families arise in various ways. In some generalizations of the classical diagrams, the notion of Feynman propagator is extended to generalized propagators connecting more than two vertices of the graphs. In some others (introduced in the present article), the diagrams, associated to noncommuting product of operators inherit from the noncommutativity of the products extra graphical properties. The purpose of the present article is to introduce a general way of dealing with such diagrams. We prove in particular a "universal" linked cluster theorem and introduce, in the process, a Feynman-type "diagrammatics" that allows to handle simultaneously nonlocal (Coulomb-type) interactions, the generalized diagrams arising from the study of interacting systems (such as the ones where the ground state is not the vacuum but e.g. a vacuum perturbed by a magnetic or electric field, by impurities...) or Wightman fields (that is, expectation values of products of interacting fields). Our diagrammatics seems to be the first attempt to encode in a unified algebraic framework such a wide variety of situations. In the process, we promote two ideas. First, Feynman-type diagrammatics belong mathematically to the theory of linear forms on combinatorial Hopf algebras. Second, linked cluster-type theorems rely ultimately on Möbius inversion on the partition lattice. The two theories should therefore be introduced and presented accordingly
An incidence theorem in higher dimensions
Published in Discrete Comput. Geom. 48 (2012), no. 2, 255-280
• View Publication
• BIB
We prove almost tight bounds on incidences between points and $k$-dimensional varieties of bounded degree in $\R^d$. Our main tools are the Polynomial Ham Sandwich Theorem and induction on both the dimension and the number of points.
Local cohomology of logarithmic forms
Published in Ann. Inst. Fourier (Grenoble) 63 (2013), no. 3, 1177-1203
• View Publication
• BIB
Let Y be a divisor on a smooth algebraic variety X. We investigate the geometry of the Jacobian scheme of Y, homological invariants derived from logarithmic differential forms along Y, and their relationship with the property that Y is a free divisor.
We consider arrangements of hyperplanes as a source of examples and counterexamples. In particular, we make a complete calculation of the local cohomology of logarithmic forms of generic hyperplane arrangements.
Smooth Fano polytopes arising from finite directed graphs
Published in Kyoto J. Math. 55, no. 3 (2015), 579-592
• View Publication
• BIB
In this paper, we consider terminal reflexive polytopes arising from finite directed graphs and study the problem of deciding which directed graphs yield smooth Fano polytopes. We show that any centrally symmetric or pseudo-symmetric smooth Fano polytopes can be obtained from directed graphs. Moreover, by using directed graphs, we provide new examples of smooth Fano polytopes whose corresponding varieties admit Kähler--Einstein metrics.
Binary Cumulant Varieties
Published
• View Publication
• BIB
Algebraic statistics for binary random variables is concerned with highly structured algebraic varieties in the space of 2x2x...x2-tensors. We demonstrate the advantages of representing such varieties in the coordinate system of binary cumulants. Our primary focus lies on hidden subset models. Parametrizations and implicit equations in cumulants are derived for hyperdeterminants, for secant and tangential varieties of Segre varieties, and for certain context-specific independence models. Extending work of Rota and collaborators, we explore the polynomial inequalities satisfied by cumulants.
Avoiding Colored Partitions of Lengths Two and Three
Pattern avoidance in the symmetric group $S_n$ has provided a number of useful connections between seemingly unrelated problems from stack-sorting to Schubert varieties. Recent work has generalized these results to $S_n\wr C_c$, the objects of which can be viewed as "colored permutations".
Another body of research that has grown from the study of pattern avoidance in permutations is pattern avoidance in $Π_n$, the set of set partitions of $[n]$. Pattern avoidance in set partitions is a generalization of the well-studied notion of noncrossing partitions.
Motivated by recent results in pattern avoidance in $S_n \wr C_c$ we provide a catalog of initial results for pattern avoidance in colored partitions, $Π_n \wr C_c$. We note that colored set partitions are not a completely new concept. \emph{Signed} (2-colored) set partitions appear in the work of Björner and Wachs involving the homology of partition lattices. However, we seek to study these objects in a new enumerative context.
Loops with exponent three in all isotopes
Published in Internat. J. Algebra Comput. 25 (2015), 1159-1177
• View Publication
• BIB
It was shown by van Rees \cite{vR} that a latin square of order $n$ has at most $n^2(n-1)/18$ latin subsquares of order $3$. He conjectured that this bound is only achieved if $n$ is a power of $3$. We show that it can only be achieved if $n\equiv3\bmod6$. We also state several conditions that are equivalent to achieving the van Rees bound. One of these is that the Cayley table of a loop achieves the van Rees bound if and only if every loop isotope has exponent $3$. We call such loops \emph{van Rees loops} and show that they form an equationally defined variety.
We also show that (1) In a van Rees loop, any subloop of index 3 is normal, (2) There are exactly 6 nonassociative van Rees loops of order $27$ with a non-trivial nucleus and at least 1 with all nuclei trivial, (3) Every commutative van Rees loop has the weak inverse property and (4) For each van Rees loop there is an associated family of Steiner quasigroups.
Normality and quadraticity for special ample line bundles on toric varieties arising from root systems
Published
• View Publication
• BIB
We prove that special ample line bundles on toric varieties arising from root systems are projectively normal. Here the maximal cones of the fans correspond to the Weyl chambers, and special means that the bundle is torus-equivariant such that the character of the line bundle that corresponds to a maximal Weyl chamber is dominant with respect to that chamber. Moreover, we prove that the associated semigroup rings are quadratic.
The decimation process in random k-SAT
Published in SIAM Journal on Discrete Mathematics 26 (2012) 1471 - 1509
• View Publication
• BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. Non-rigorous statistical mechanics ideas have inspired a message passing algorithm called Belief Propagation Guided Decimation for finding satisfying assignments of F. This algorithm can be viewed as an attempt at implementing a certain thought experiment that we call the Decimation Process. In this paper we identify a variety of phase transitions in the decimation process and link these phase transitions to the performance of the algorithm.
Polynomials for Crystal Frameworks and the Rigid Unit Mode Spectrum
Published
• View Publication
• BIB
To each discrete translationally periodic bar-joint framework $\C$ in $\bR^d$ we associate a matrix-valued function $Φ_\C(z)$ defined on the d-torus. The rigid unit mode spectrum $Ω(\C)$ of $\C$ is defined in terms of the multi-phases of phase-periodic infinitesimal flexes and is shown to correspond to the singular points of the function $z \to \rank Φ_\C(z)$ and also to the set of wave vectors of harmonic excitations which have vanishing energy in the long wavelength limit. To a crystal framework in Maxwell counting equilibrium, which corresponds to $Φ_\C(z)$ being square, the determinant of $Φ_\C(z)$ gives rise to a unique multi-variable polynomial $p_\C(z_1,\dots,z_d)$. For ideal zeolites the algebraic variety of zeros of $p_\C(z)$ on the d-torus coincides with the RUM spectrum. The matrix function is related to other aspects of idealised framework rigidity and flexibility and in particular leads to an explicit formula for the number of supercell-periodic floppy modes. In the case of certain zeolite frameworks in dimensions 2 and 3 direct proofs are given to show the maximal floppy mode property (order $N$). In particular this is the case for the cubic symmetry sodalite framework and some other idealised zeolites.
Aspects of the Segre variety S_{1,1,1}(2)
Published in Des. Codes Cryptogr. 62 (2012), 235-239
• View Publication
• BIB
We consider various aspects of the Segre variety S := S_{1,1,1}(2) in PG(7,2), whose stabilizer group G_S < GL(8, 2) has the structure N {\rtimes} Sym(3), where N := GL(2,2)\times GL(2,2)\times GL(2,2). In particular we prove that S determines a distinguished Z_3-subgroup Z < GL(8, 2) such that AZA^{-1} = Z, for all A in G_S, and in consequence S determines a G_S-invariant spread of 85 lines in PG(7,2). Furthermore we see that Segre varieties S_{1,1,1}(2) in PG(7,2) come along in triplets {S,S',S"} which share the same distinguished Z_3-subgroup Z < GL(8,2). We conclude by determining all fifteen G_S-invariant polynomial functions on PG(7,2) which have degree < 8, and their relation to the five G_S-orbits of points in PG(7,2).
Quantum loop algebras, quiver varieties, and cluster algebras
Published
• View Publication
• BIB
These notes reflect the contents of three lectures given at the workshop of the 14th International Conference on Representations of Algebras (ICRA XIV), held in August 2010 in Tokyo. We first provide an introduction to quantum loop algebras and their finite-dimensional representations. We explain in particular Nakajima's geometric description of the irreducible q-characters in terms of graded quiver varieties. We then present a recent attempt to understand the tensor structure of the category of finite- dimensional representations by means of cluster algebras.
Total positivity criteria for partial flag varieties
Published
• View Publication
• BIB
We prove a new family of total positivity criteria for partial flag varieties for simply-connected complex algebraic group in the simply laced case.
Arc Spaces and Rogers-Ramanujan Identities
Published
• View Publication
• BIB
Arc spaces have been introduced in algebraic geometry as a tool to study singularities but they show strong connections with combinatorics as well. Exploiting these relations we obtain a new approach to the classical Rogers-Ramanujan Identities. The linking object is the Hilbert-Poincaré series of the arc space over a point of the base variety. In the case of the double point this is precisely the generating series for the integer partitions without equal or consecutive parts.
Inequivalent Representations of Matroids over Prime Fields
Published
• View Publication
• BIB
It is proved that for each prime field $GF(p)$, there is an integer $f(p)$ such that a 4-connected matroid has at most $f(p)$ inequivalent representations over $GF(p)$. We also prove a stronger theorem that obtains the same conclusion for matroids satisfying a connectivity condition, intermediate between 3-connectivity and 4-connectivity that we term "$k$-coherence".
We obtain a variety of other results on inequivalent representations including the following curious one. For a prime power $q$, let ${\mathcal R}(q)$ denote the set of matroids representable over all fields with at least $q$ elements. Then there are infinitely many Mersenne primes if and only if, for each prime power $q$, there is an integer $m_q$ such that a 3-connected member of ${\mathcal R}(q)$ has at most $m_q$ inequivalent GF(7)-representations.
The theorems on inequivalent representations of matroids are consequences of structural results that do not rely on representability. The bulk of this paper is devoted to proving such results.
Patch ideals and Peterson varieties
Published in Transformation Groups, December 2012, Volume 17, Issue 4, pp 1011-1036
• View Publication
• BIB
Patch ideals encode neighbourhoods of a variety in GL_n/B. For Peterson varieties we determine generators for these ideals and show they are complete intersections, and thus Cohen-Macaulay and Gorenstein. Consequently, we combinatorially describe the singular locus of the Peterson variety; give an explicit equivariant K-theory localization formula; and extend some results of [B. Kostant '96] and of D. Peterson to intersections of Peterson varieties with Schubert varieties. We conjecture that the projectivized tangent cones are Cohen-Macaulay, and that their h-polynomials are nonnegative and upper-semicontinuous. Similarly, we use patch ideals to briefly analyze other examples of torus invariant subvarieties of GL_n/B, including Richardson varieties and Springer fibers.
N-fold integer programming in cubic time
Published in Mathematical Programming, 137:325--341, 2013
• View Publication
• BIB
N-fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer programming. The fastest algorithm for $n$-fold integer programming predating the present article runs in time $O(n^{g(A)}L)$ with $L$ the binary length of the numerical part of the input and $g(A)$ the so-called Graver complexity of the bimatrix $A$ defining the system. In this article we provide a drastic improvement and establish an algorithm which runs in time $O(n^3 L)$ having cubic dependency on $n$ regardless of the bimatrix $A$. Our algorithm can be extended to separable convex piecewise affine objectives as well, and also to systems defined by bimatrices with variable entries. Moreover, it can be used to define a hierarchy of approximations for any integer programming problem.
The non-commutative A-polynomial of (-2,3,n) pretzel knots
Published in Experimental Mathematics 21(3), pp. 241-251, 2012
• View Publication
• BIB
We study q-holonomic sequences that arise as the colored Jones polynomial of knots in 3-space. The minimal-order recurrence for such a sequence is called the (non-commutative) A-polynomial of a knot. Using the "method of guessing", we obtain this polynomial explicitly for the K_p = (-2, 3, 3+2p) pretzel knots for p = -5, ..., 5. This is a particularly interesting family since the pairs (K_p, -K_{-p}) are geometrically similar (in particular, scissors congruent) with similar character varieties. Our computation of the non-commutative A-polynomial (a) complements the computation of the A-polynomial of the pretzel knots done by the first author and Mattman, (b) supports the AJ Conjecture for knots with reducible A-polynomial and (c) numerically computes the Kashaev invariant of pretzel knots in linear time. In a later publication, we will use the numerical computation of the Kashaev invariant to numerically verify the Volume Conjecture for the above mentioned pretzel knots.
Degenerate flag varieties and the median Genocchi numbers
Published
• View Publication
• BIB
We study the $\bG_a^M$ degenerations $\Fl^a_\la$ of the type $A$ flag varieties $\Fl_\la$. We describe these degenerations explicitly as subvarieties in the products of Grassmanians. We construct cell decompositions of $\Fl^a_\la$ and show that for complete flags the number of cells is equal to the normalized median Genocchi numbers $h_n$. This leads to a new combinatorial definition of the numbers $h_n$. We also compute the Poincar\' e polynomials of the complete degenerate flag varieties via a natural statistics on the set of Dellac's configurations, similar to the length statistics on the set of permutations. We thus obtain a natural $q$-version of the normalized median Genocchi numbers.
On stability of diagonal actions and tensor invariants
Published
• View Publication
• BIB
For a connected simply connected semisimple algebraic group $G$ we prove existence of invariant tensors in tensor powers of rational $G$-modules and establish relations between existence of such invariant tensors and stability of diagonal actions of $G$ on affine algebraic varieties.