natural ↗ reference
4894 papers tagged with this keyword
Eulerian partitions for configurations of skew lines
In this paper, which is a complement of \cite{BG}, we study a few elementary invariants for configurations of skew lines, as introduced and analyzed first by Viro and his collaborators. We slightly simplify the exposition of some known invariants and use them to define a natural partition of the lines in a skew configuration.
We also describe an algorithm which constructs a spindle-permutation for a given switching class, or proves non-existence of such a spindle-permutation.
Gröbner bases of ideals cogenerated by Pfaffians
Published
• View Publication
• BIB
We characterise the class of one-cogenerated Pfaffian ideals whose natural generators form a Gröbner basis with respect to any anti-diagonal term-order. We describe their initial ideals as well as the associated simplicial complexes, which turn out to be shellable and thus Cohen-Macaulay. We also provide a formula for computing their multiplicity.
LVMB manifolds and simplicial spheres
Published
• View Publication
• BIB
LVM and LVMB manifolds are a large family of examples of non kahler manifolds. For instance, Hopf manifolds and Calabi-Eckmann manifolds can be seen as LVMB manifolds. The LVM manifolds have a very natural action of the real torus and the quotient of this action is a simple polytope. This quotient allows us to relate closely LVM manifolds to the moment-angle manifolds studied (for example) by Buchstaber and Panov. The aim of this paper is to generalize the polytopes associated to LVM manifolds to the LVMB case and study its properties. In particular, we show that it belongs to a very large class of simplicial spheres. Moreover, we show that for every sphere belonging to this class, we can construct a LMVB manifold whose associated sphere is the given sphere. We use this latter result to show that many moment-angle complexes can be endowed with a complex structure (up to product with circles).
LVMB manifolds and simplicial spheres
Published
• View Publication
• BIB
LVM and LVMB manifolds are a large family of examples of non kähler manifolds. For instance, Hopf manifolds and Calabi-Eckmann manifolds can be seen as LVMB manifolds. The LVM manifolds have a very natural action of the real torus and the quotient of this action is a simple polytope. This quotient allows us to relate closely LVM manifolds to the moment-angle manifolds studied (for example) by Buchstaber and Panov. The aim of this paper is to generalize the polytopes associated to LVM manifolds to the LVMB case and study its properties. In particular, we show that it belongs to a very large class of simplicial spheres. Moreover, we show that for every sphere belonging to this class, we can construct a LMVB manifold whose associated sphere is the given sphere. We use this latter result to show that many moment-angle complexes can be endowed with a complex structure (up to product with circles).
The Local Lemma is asymptotically tight for SAT
Published
• View Publication
• BIB
The Local Lemma is a fundamental tool of probabilistic combinatorics and theoretical computer science, yet there are hardly any natural problems known where it provides an asymptotically tight answer. The main theme of our paper is to identify several of these problems, among them a couple of widely studied extremal functions related to certain restricted versions of the k-SAT problem, where the Local Lemma does give essentially optimal answers.
As our main contribution, we construct unsatisfiable k-CNF formulas where every clause has k distinct literals and every variable appears in at most (2/e + o(1))*2^k/k clauses. The Lopsided Local Lemma shows that this is asymptotically best possible. The determination of this extremal function is particularly important as it represents the value where the corresponding k-SAT problem exhibits a complexity hardness jump: from having every instance being a YES-instance it becomes NP-hard just by allowing each variable to occur in one more clause.
The construction of our unsatisfiable CNF-formulas is based on the binary tree approach of [16] and thus the constructed formulas are in the class MU(1) of minimal unsatisfiable formulas having one more clauses than variables. The main novelty of our approach here comes in setting up an appropriate continuous approximation of the problem. This leads us to a differential equation, the solution of which we are able to estimate. The asymptotically optimal binary trees are then obtained through a discretization of this solution.
The importance of the binary trees constructed is also underlined by their appearance in many other scenarios. In particular, they give asymptotically precise answers for seemingly unrelated problems like the European Tenure Game introduced by Doerr [9] and a search problem allowing a limited number of consecutive lies.
On Kiselman quotients of 0-Hecke monoids
Published in Int. Electron. J. Algebra 10 (2011) 174-191
• Search Publication
Combining the definition of 0-Hecke monoids with that of Kiselman semigroups, we define what we call Kiselman quotients of 0-Hecke monoids associated with simply laced Dynkin diagrams. We classify these monoids up to isomorphism, determine their idempotents and show that they are $\mathcal{J}$-trivial. For type $A$ we show that Catalan numbers appear as the maximal cardinality of our monoids, in which case the corresponding monoid is isomorphic to the monoid of all order-preserving and order-decreasing total transformations on a finite chain. We construct various representations of these monoids by matrices, total transformations and binary relations. Motivated by these results, with a mixed graph we associate a monoid, which we call a Hecke-Kiselman monoid, and classify such monoids up to isomorphism. Both Kiselman semigroups and Kiselman quotients of 0-Hecke monoids are natural examples of Hecke-Kiselman monoids.
A simple bijection between standard (n,n,n) tableaux and irreducible webs for sl_3
Published
• View Publication
• BIB
Combinatorial spiders are a model for the invariant space of the tensor product of representations. The basic objects, webs, are certain directed planar graphs with boundary; algebraic operations on representations correspond to graph-theoretic operations on webs. Kuperberg developed spiders for rank 2 Lie algebras and sl_2. Building on a result of Kuperberg's, Khovanov-Kuperberg found a recursive algorithm giving a bijection between standard Young tableaux of shape (n,n,n) and irreducible webs for sl_3 whose boundary vertices are all sources. In this paper, we give a simple and explicit map from standard Young tableaux of shape (n,n,n) to irreducible webs for sl_3 whose boundary vertices are all sources, and show that it is the same as Khovanov-Kuperberg's map. Our construction generalizes to some webs with both sources and sinks on the boundary. Moreover, it allows us to extend the correspondence between webs and tableaux in two ways. First, we provide a short, geometric proof of Petersen-Pylyavskyy-Rhoades's recent result that rotation of webs corresponds to jeu-de-taquin promotion on (n,n,n) tableaux. Second, we define another natural operation on tableaux called a shuffle, and show that it corresponds to the join of two webs. Our main tool is an intermediary object between tableaux and webs that we call an m-diagram. The construction of m-diagrams, like many of our results, applies to shapes of tableaux other than (n,n,n).
Packing tight Hamilton cycles in 3-uniform hypergraphs
Published
• View Publication
• BIB
Let H be a 3-uniform hypergraph with N vertices. A tight Hamilton cycle C \subset H is a collection of N edges for which there is an ordering of the vertices v_1, ..., v_N such that every triple of consecutive vertices {v_i, v_{i+1}, v_{i+2}} is an edge of C (indices are considered modulo N). We develop new techniques which enable us to prove that under certain natural pseudo-random conditions, almost all edges of H can be covered by edge-disjoint tight Hamilton cycles, for N divisible by 4. Consequently, we derive the corollary that random 3-uniform hypergraphs can be almost completely packed with tight Hamilton cycles w.h.p., for N divisible by 4 and P not too small. Along the way, we develop a similar result for packing Hamilton cycles in pseudo-random digraphs with even numbers of vertices.
Embedding a Latin square with transversal into a projective space
Published in Journal of Combinatorial Theory, Ser. A 118 (2011), 1674--1683
• View Publication
• BIB
A Latin square of side n defines in a natural way a finite geometry on 3n points, with three lines of size n and n^2 lines of size 3. A Latin square of side n with a transversal similarly defines a finite geometry on 3n+1 points, with three lines of size n, n^2-n lines of size 3, and n concurrent lines of size 4. A collection of k mutually orthogonal Latin squares defines a geometry on kn points, with k lines of size n and n^2 lines of size k. Extending work of Bruen and Colbourn (J. Combin. Th. Ser. A 92 (2000), 88-94), we characterise embeddings of these finite geometries into projective spaces over skew fields.
Admissible Pictures and $U_q(gl(m,n))$-Littlewood-Richardson Tableaux
Published
• View Publication
• BIB
We construct a natural bijection between the set of admissible pictures and the set of $U_q(gl(m,n))$-Littlewood-Richardson tableaux.
Undecidability of linear inequalities in graph homomorphism densities
Published
• View Publication
• BIB
The purpose of this article is to show that even the most elementary problems in asymptotic extremal graph theory can be highly non-trivial. We study linear inequalities between graph homomorphism densities. In the language of quantum graphs the validity of such an inequality is equivalent to the positivity of a corresponding quantum graph. Similar to the setting of polynomials, a quantum graph that can be represented as a sum of squares of labeled quantum graphs is necessarily positive. Lovász asks whether the opposite is also true. We answer this question and also a related question of Razborov in the negative by introducing explicit valid inequalities that do not satisfy the required conditions. Our solution to these problems is based on a reduction from real multivariate polynomials and uses the fact that there are positive polynomials that cannot be expressed as sums of squares of polynomials.
It is known that the problem of determining whether a multivariate polynomial is positive is decidable. Hence it is very natural to ask "Is the problem of determining the validity of a linear inequality between homomorphism densities decidable?" We give a negative answer to this question which shows that such inequalities are inherently difficult in their full generality. Furthermore we deduce from this fact that the analogue of Artin's solution to Hilbert's seventeenth problem does not hold in the setting of quantum graphs.
Faces of weight polytopes and a generalization of a theorem of Vinberg
Published in Algebras and Representation Theory 15 (2012), no. 3, 593-611
• View Publication
• BIB
The paper is motivated by the study of graded representations of Takiff algebras, cominuscule parabolics, and their generalizations. We study certain special subsets of the set of weights (and of their convex hull) of the generalized Verma modules (or GVM's) of a semisimple Lie algebra $\lie g$. In particular, we extend a result of Vinberg and classify the faces of the convex hull of the weights of a GVM. When the GVM is finite-dimensional, we ask a natural question that arises out of Vinberg's result: when are two faces the same? We also extend the notion of interiors and faces to an arbitrary subfield $\F$ of the real numbers, and introduce the idea of a weak $\F$-face of any subset of Euclidean space. We classify the weak $\F$-faces of all lattice polytopes, as well as of the set of lattice points in them. We show that a weak $\F$-face of the weights of a finite-dimensional $\lie g$-module is precisely the set of weights lying on a face of the convex hull.
Random graphs with a given degree sequence
Published in Annals of Applied Probability 2011, Vol. 21, No. 4, 1400-1435
• View Publication
• BIB
Large graphs are sometimes studied through their degree sequences (power law or regular graphs). We study graphs that are uniformly chosen with a given degree sequence. Under mild conditions, it is shown that sequences of such graphs have graph limits in the sense of Lovász and Szegedy with identifiable limits. This allows simple determination of other features such as the number of triangles. The argument proceeds by studying a natural exponential model having the degree sequence as a sufficient statistic. The maximum likelihood estimate (MLE) of the parameters is shown to be unique and consistent with high probability. Thus $n$ parameters can be consistently estimated based on a sample of size one. A fast, provably convergent, algorithm for the MLE is derived. These ingredients combine to prove the graph limit theorem. Along the way, a continuous version of the Erdős--Gallai characterization of degree sequences is derived.
The character of topological groups, via bounded systems, Pontryagin--van Kampen duality and pcf theory
Published in Journal of Algebra 420 (2014), 86-119
• View Publication
• BIB
The Birkhoff--Kakutani Theorem asserts that a topological group is metrizable if and only if it has countable character. We develop and apply tools for the estimation of the character for a wide class of nonmetrizable topological groups.
We consider abelian groups whose topology is determined by a countable cofinal family of compact sets. These are the closed subgroups of Pontryagin--van Kampen duals of \emph{metrizable} abelian groups, or equivalently, complete abelian groups whose dual is metrizable. By investigating these connections, we show that also in these cases, the character can be estimated, and that it is determined by the weights of the \emph{compact} subsets of the group, or of quotients of the group by compact subgroups. It follows, for example, that the density and the local density of an abelian metrizable group determine the character of its dual group. Our main result applies to the more general case of closed subgroups of Pontryagin--van Kampen duals of abelian Čech-complete groups.
In the special case of free abelian topological groups, our results extend a number of results of Nickolas and Tkachenko, which were proved using combinatorial methods.
In order to obtain concrete estimations, we establish a natural bridge between the studied concepts and pcf theory, that allows the direct application of several major results from that theory. We include an introduction to these results and their use.
Ordered forests, permutations and iterated integrals
Published
• View Publication
• BIB
We construct an explicit Hopf algebra isomorphism from the algebra of heap-ordered trees to that of quasi-symmetric functions, generated by formal permutations, which is a lift of the natural projection of the Connes-Kreimer algebra of decorated rooted trees onto the shuffle algebra. This isomorphism gives a universal way of lifting measure-indexed characters of the Connes-Kreimer algebra into measure-indexed characters of the shuffle algebra, already introduced in \cite{Unterberger} in the framework of rough path theory as the so-called Fourier normal ordering algorithm.
On the Density of the Set of Known Hadamard Orders
Published
• View Publication
• BIB
Let $S(x)$ be the number of $n \leq x$ for which a Hadamard matrix of order $n$ exists. Hadamard's conjecture states that $S(x)$ is about $x/4$. From Paley's constructions of Hadamard matrices, we have that \[ S(x) = Ω(x/\log x). \] In a recent paper, the first author suggested that counting the products of orders of Paley matrices would result in a greater density. In this paper we use results of Kevin Ford to show that it does: \begin{equation}\label{eq:abs} S(x) \geq x/\log x \exp((C+o(1))(\log \log \log x)^2)\,, \nonumber \end{equation} where $C=0.8178...$.
This bound is surprisingly hard to improve upon. We show that taking into account all the other major known construction methods for Hadamard matrices does not shift the bound. Our arguments use the notion of a (multiplicative) monoid of natural numbers. We prove some initial results concerning these objects. Our techniques may be useful when assessing the status of other existence questions in design theory.
New Techniques for obtaining Schubert-type formulas for Hamiltonian manifolds
Published
• View Publication
• BIB
In [GT], Goldin and the second author extend some ideas from Schubert calculus to the more general setting of Hamiltonian torus actions on compact symplectic manifolds with isolated fixed points. (See also [Kn99] and [Kn08].) The main goal of this paper is to build on this work by finding more effective formulas. More explicitly, given a generic component of the moment map, they define a canonical class $α_p$ in the equivariant cohomology of the manifold $M$ for each fixed point $p \in M$. When they exist, canonical classes form a natural basis of the equivariant cohomology of $M$. In particular, when $M$ is a flag variety, these classes are the equivariant Schubert classes. It is a long standing problem in combinatorics to find positive integral formulas for the equivariant structure constants associated to this basis. Since computing the restriction of the canonical classes to the fixed points determines these structure constants, it is important to find effective formulas for these restrictions. In this paper, we introduce new techniques for calculating the restrictions of a canonical class $α_p$ to a fixed point $q$. Our formulas are nearly always simpler, in the sense that they count the contributions over fewer paths. Moreover, our formula is manifestly positive and integral in certain important special cases.
The Pentagram Integrals on Inscribed Polygons
Published
• View Publication
• BIB
The pentagram map is a natural iteration on projective equivalence classes of (twisted) n-gons in the projective plane. It was recently proved ([OST]) that the pentagram map is completely integrable, with the complete set of Poisson commuting integrals given by the polynomials O1,...,O[n/2],On and E1,...,E[n/2],En, previously constructed in [S3]. These polynomials are somewhat reminiscent of the symmetric polynomials. It was observed in computer experiments that if a polygon is inscribed into a conic then Oi=Ei for all i. The goal of the paper is to prove this theorem. The proof is combinatorial, and it was also suggested by computer experimentation.
On Number of Compositions of Natural Numbers
We first give a combinatorial interpretation of coefficients of Chebyshev polynomials, which allows us to connect them with compositions of natural numbers. Then we describe a relationship between the number of compositions of a natural number in which a certain number of parts are p-1, and other parts are not less than p with compositions in which all parts are not less than p. Then we find a relationship between principal minors of a type of Hessenberg matrices and compositions of natural numbers.
From the icosahedron to natural triangulations of $\CC P^2$ and $S^2 \times S^2$
Published in Discrete Comput Geom 46 (2011), 542--560
• View Publication
• BIB
We present two constructions in this paper: (a) A 10-vertex triangulation $\CC P^{2}_{10}$ of the complex projective plane $\CC P^{2}$ as a subcomplex of the join of the standard sphere ($S^{2}_4$) and the standard real projective plane ($\RR P^{2}_{6}$, the decahedron), its automorphism group is $A_4$; (b) a 12-vertex triangulation $(S^{2} \times S^{2})_{12}$ of $S^{2} \times S^{2}$ with automorphism group $2S_5$, the Schur double cover of the symmetric group $S_5$. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$. Both constructions have surprising and intimate relationships with the icosahedron. It is well known that $\CC P^{2}$ has $S^{2} \times S^{2}$ as a two-fold branched cover; we construct the triangulation $\CC P^{2}_{10}$ of $\CC P^{2}$ by presenting a simplicial realization of this covering map $S^{2} \times S^{2} \to \CC P^{2}$. The domain of this simplicial map is a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$, different from the triangulation alluded to in (b). This gives a new proof that Kuehnel's $\CC P^{2}_{9}$ triangulates $\CC P^{2}$. It is also shown that $\CC P^{2}_{10}$ and $(S^{2} \times S^{2})_{12}$ induce the standard piecewise linear structure on $\CC P^{2}$ and $S^{2} \times S^{2}$ respectively.