Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Axioms for the g-vector of general convex polytopes
McMullen's g-vector is important for simple convex polytopes. This paper postulates axioms for its extension to general convex polytopes. It also conjectures that, for each dimension d, a stated finite calculation gives the formula for the extended g-vector. This calculation is done by computer for d=5 and the results analysed. The conjectures imply new linear inequalities on convex polytope flag vectors. Underlying the axioms is a hypothesised higher-order homology extension to middle perversity intersection homology (order-zero homology), which measures the failure of lower-order homology to have a ring structure.
Algebraic and combinatorial structures on Baxter permutations
Published in Formal Power Series and Algebraic Combinatorics, 387--398, 2011
• View Publication
• BIB
We give a new construction of a Hopf subalgebra of the Hopf algebra of Free quasi-symmetric functions whose bases are indexed by objects belonging to the Baxter combinatorial family (i.e. Baxter permutations, pairs of twin binary trees, etc.). This construction relies on the definition of the Baxter monoid, analog of the plactic monoid and the sylvester monoid, and on a Robinson-Schensted-like insertion algorithm. The algebraic properties of this Hopf algebra are studied. This Hopf algebra appeared for the first time in the work of Reading [Lattice congruences, fans and Hopf algebras, Journal of Combinatorial Theory Series A, 110:237--273, 2005].
Cofree compositions of coalgebras (extended abstract)
Published
• View Publication
• BIB
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra with coalgebra map to D. We conclude by discussing these structures for compositions with bases the vertices of multiplihedra, composihedra, and hypercubes.
Combinatorial theorems in sparse random sets
Published
• View Publication
• BIB
We develop a new technique that allows us to show in a unified way that many well-known combinatorial theorems, including Turán's theorem, Szemerédi's theorem and Ramsey's theorem, hold almost surely inside sparse random sets. For instance, we extend Turán's theorem to the random setting by showing that for every $ε> 0$ and every positive integer $t \geq 3$ there exists a constant $C$ such that, if $G$ is a random graph on $n$ vertices where each edge is chosen independently with probability at least $C n^{-2/(t+1)}$, then, with probability tending to $1$ as $n$ tends to infinity, every subgraph of $G$ with at least $(1 - \frac{1}{t-1} + ε) e(G)$ edges contains a copy of $K_t$. This is sharp up to the constant $C$. We also show how to prove sparse analogues of structural results, giving two main applications, a stability version of the random Turán theorem stated above and a sparse hypergraph removal lemma. Many similar results have recently been obtained independently in a different way by Schacht and by Friedgut, Rödl and Schacht.
Total embedding distributions of Ringel ladders
Published
• View Publication
• BIB
The total embedding distributions of a graph is consisted of the orientable embeddings and non- orientable embeddings and have been know for few classes of graphs. The genus distribution of Ringel ladders is determined in [Discrete Mathematics 216 (2000) 235-252] by E.H. Tesar. In this paper, the explicit formula for non-orientable embeddings of Ringel ladders is obtained.
Embedding a Forest in a Graph
Published
• View Publication
• BIB
For \math{p\ge 1}, we prove that every forest with \math{p} trees whose sizes are $a_1,..., a_p$ can be embedded in any graph containing at least $\sum_{i=1}^p (a_i + 1)$ vertices and having a minimum degree at least $\sum_{i=1}^p a_i$.
Dynamics in parallel of double Boolean automata circuits
In this paper, we give some results concerning the dynamics of double Boolean automata circuits (dbac's for short), namely, networks associated to interaction graphs composed of two side-circuits that share a node. More precisely, we give formulas for the number of attractors of any period, as well as the total number of attractors of these networks.
On the Erdos distinct distance problem in the plane
Published
• View Publication
• BIB
In this paper, we prove that a set of $N$ points in ${\bf R}^2$ has at least $c{N \over \log N}$ distinct distances, thus obtaining the sharp exponent in a problem of Erdös. We follow the set-up of Elekes and Sharir which, in the spirit of the Erlangen program, allows us to study the problem in the group of rigid motions of the plane. This converts the problem to one of point-line incidences in space. We introduce two new ideas in our proof. In order to control points where many lines are incident, we create a cell decompostion using the polynomial ham sandwich theorem. This creates a dichotomy: either most of the points are in the interiors of the cells, in which case we immediately get sharp results, or alternatively the points lie on the walls of the cells, in which case they are in the zero set of a polynomial of suprisingly low degree, and we may apply the algebraic method. In order to control points where only two lines are incident, we use the flecnode polynomial of the Rev. George Salmon to conclude that most of the lines lie on a ruled surface. Then we use the geometry of ruled surfaces to complete the proof.
Polytopes from Subgraph Statistics
Polytopes from subgraph statistics are important in applications and conjectures and theorems in extremal graph theory can be stated as properties of them. We have studied them with a view towards applications by inscribing large explicit polytopes and semi-algebraic sets when the facet descriptions are intractable. The semi-algebraic sets called curvy zonotopes are introduced and studied using graph limits. From both volume calculations and algebraic descriptions we find several interesting conjectures.
Sharp Thresholds for Monotone Non Boolean Functions and Social Choice Theory
Published
• View Publication
• BIB
A key fact in the theory of Boolean functions $f : \{0,1\}^n \to \{0,1\}$ is that they often undergo sharp thresholds. For example: if the function $f : \{0,1\}^n \to \{0,1\}$ is monotone and symmetric under a transitive action with $\E_p[f] = \eps$ and $\E_q[f] = 1-\eps$ then $q-p \to 0$ as $n \to \infty$. Here $\E_p$ denotes the product probability measure on $\{0,1\}^n$ where each coordinate takes the value $1$ independently with probability $p$. The fact that symmetric functions undergo sharp thresholds is important in the study of random graphs and constraint satisfaction problems as well as in social choice.In this paper we prove sharp thresholds for monotone functions taking values in an arbitrary finite sets. We also provide examples of applications of the results to social choice and to random graph problems. Among the applications is an analog for Condorcet's jury theorem and an indeterminacy result for a large class of social choice functions.
Constructing Extended Formulations from Reflection Relations
Published
• View Publication
• BIB
There are many examples of optimization problems whose associated polyhedra can be described much nicer, and with way less inequalities, by projections of higher dimensional polyhedra than this would be possible in the original space. However, currently not many general tools to construct such extended formulations are available. In this paper, we develop a framework of polyhedral relations that generalizes inductive constructions of extended formulations via projections, and we particularly elaborate on the special case of reflection relations. The latter ones provide polynomial size extended formulations for several polytopes that can be constructed as convex hulls of the unions of (exponentially) many copies of an input polytope obtained via sequences of reflections at hyperplanes. We demonstrate the use of the framework by deriving small extended formulations for the G-permutahedra of all finite reflection groups G (generalizing both Goeman's extended formulation of the permutahedron of size O(n log n) and Ben-Tal and Nemirovski's extended formulation with O(k) inequalities for the regular 2^k-gon) and for Huffman-polytopes (the convex hulls of the weight-vectors of Huffman codes).
Lattice Polynomials, 12312-Avoiding Partial Matchings and Even Trees
The lattice polynomials $L_{i,j}(x)$ are introduced by Hough and Shapiro as a weighted count of certain lattice paths from the origin to the point $(i,j)$. In particular, $L_{2n, n}(x)$ reduces to the generating function of the numbers $T_{n,k}={1\over n}{n-1+k\choose n-1}{2n-k\choose n+1}$, which can be viewed as a refinement of the $3$-Catalan numbers $T_n=\frac{1}{2n+1}{3n\choose n}$. In this paper, we establish a correspondence between $12312$-avoiding partial matchings and lattice paths, and we show that the weighted count of such partial matchings with respect to the number of crossings in a more general sense coincides with the lattice polynomials $L_{i,j}(x)$. We also introduce a statistic on even trees, called the $r$-index, and show that the number of even trees with $2n$ edges and with $r$-index $k$ equal to $T_{n,k}$.
Deformed diagonal harmonic polynomials for complex reflection groups
Published
• View Publication
• BIB
We introduce deformations of the space of (multi-diagonal) harmonic polynomials for any finite complex reflection group of the form W=G(m,p,n), and give supporting evidence that this space seems to always be isomorphic, as a graded W-module, to the undeformed version.
A determinant formula for the Jones polynomial of pretzel knots
Published in Journal of Knot Theory and Its Ramifications vol. 21, no. 6 (2012) 1250062 (23 pages)
• View Publication
• BIB
This paper presents an algorithm to construct a weighted adjacency matrix of a plane bipartite graph obtained from a pretzel knot diagram. The determinant of this matrix after evaluation is shown to be the Jones polynomial of the pretzel knot by way of perfect matchings (or dimers) of this graph. The weights are Tutte's activity letters that arise because the Jones polynomial is a specialization of the signed version of the Tutte polynomial. The relationship is formalized between the familiar spanning tree setting for the Tait graph and the perfect matchings of the plane bipartite graph above. Evaluations of these activity words are related to the chain complex for the Champanerkar-Kofman spanning tree model of reduced Khovanov homology.
Affine Patches on Positroid Varieties and Affine Pipe Dreams (Thesis)
The objects of interest in this thesis are positroid varieties in the Grassmannian, which are indexed by juggling patterns. In particular, we study affine patches on these positroid varieties. Our main result corresponds these affine patches to Kazhdan-Lusztig varieties in the affine Grassmannian. We develop a new term order and study how these spaces are related to subword complexes and Stanley-Reisner ideals. We define an extension of pipe dreams to the affine case and conclude by showing how our affine pipe dreams are generalizations of Cauchon and Le diagrams.
Generalizations of Nekrasov-Okounkov Identity
Published
• View Publication
• BIB
Nekrasov-Okounkov identity gives a product representation of the sum over partitions of a certain function of partition hook length. In this paper we give several generalizations of the Nekrasov-Okounkov identity using the cyclic symmetry of the topological vertex.
Generalized covering designs and clique coverings
Published
• View Publication
• BIB
Inspired by the "generalized t-designs" defined by Cameron [P. J. Cameron, A generalisation of t-designs, Discrete Math. 309 (2009), 4835--4842], we define a new class of combinatorial designs which simultaneously provide a generalization of both covering designs and covering arrays. We then obtain a number of bounds on the minimum sizes of these designs, and describe some methods of constructing them, which in some cases we prove are optimal. Many of our results are obtained from an interpretation of these designs in terms of clique coverings of graphs.
Induced subgraphs in sparse random graphs with given degree sequence
Published
• View Publication
• BIB
For any $S\subset [n]$, we compute the probability that the subgraph of $\mathcal{G}_{n,d}$ induced by $S$ is a given graph $H$ on the vertex set $S$. The result holds for any $d=o(n^{1/3})$ and is further extended to $\mathcal{G}_{\bf d}$, the probability space of random graphs with a given degree sequence $\bf d$.
Magnetic Towers of Hanoi and their Optimal Solutions
The Magnetic Tower of Hanoi puzzle - a modified "base 3" version of the classical Tower of Hanoi puzzle as described in earlier papers, is actually a small set of independent sister-puzzles, depending on the "pre-coloring" combination of the tower's posts. Starting with Red facing up on a Source post, working through an Intermediate - colored or Neutral post, and ending Blue facing up on a Destination post, we identify the different pre-coloring combinations in (S,I,D) order. The Tower's pre-coloring combinations are {[(R,B,B) / (R,R,B)] ; [(R,B,N) / (N,R,B)] ; [(N,B,N) / (N,R,N)] ; [R,N,B] ; [(R,N,N) / (N,N,B)] ; [N,N,N]}. In this paper we investigate these sister-puzzles, identify the algorithm that optimally solves each pre-colored puzzle, and prove its Optimality. As it turns out, five of the six algorithms, challenging on their own, are part of the algorithm solving the "natural", Free Magnetic Tower of Hanoi puzzle [N,N,N]. We start by showing that the N-disk Colored Tower [(R,B,B) / (R,R,B)] is solved by (3^N - 1)/2 moves. Defining "Algorithm Duration" as the ratio of number of algorithm-moves solving the puzzle to the number of algorithm-moves solving the Colored Tower, we find the Duration-Limits for all sister-puzzles. In the order of the list above they are {[1] ; [10/11] ; [10/11] ; [8/11] ; [7/11] ; [20/33]}. Thus, the Duration-Limit of the Optimal Algorithm solving the Free Magnetic Tower of Hanoi puzzle is 20/33 or 606 0/00. On the road to optimally solve this colorful Magnetic puzzle, we hit other "forward-moving" puzzle-solving algorithms. Overall we looked at 10 pairs of integer sequences. Of the twenty integer sequences, five are listed in the On-line Encyclopedia of Integer Sequences, the other fifteen - not yet. The large set of different solutions is a clear indication to the freedom-of-wondering that makes this Magnetic Tower of Hanoi puzzle so colorful.
On core and bar-core partitions
Published in The Ramanujan Journal, vol 27 (2012), no. 2, pp. 229-233
• View Publication
• BIB
If $s$ and $t$ are relatively prime J. Olsson proved in 2008 that the $s$-core of a $t$-core partition is again a $t$-core partition, and that the $s$-bar-core of a $t$-bar-core partition is again a $t$-bar-core partition. Here generalized results are proved for partitions and bar-partitions when the restriction that $s$ and $t$ be relatively prime is removed.