Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Threshold and Complexity Results for the Cover Pebbling Game
Published
• View Publication
• BIB
Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph is the smallest number of pebbles necessary so that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. We determine Bose Einstein and Maxwell Boltzmann cover pebbling thresholds for the complete graph. Also, we show that the cover pebbling decision problem is NP-complete.
On the Number of Factorizations of a Full Cycle
Published in J. Combin. Theory Ser A., 113 (2006), 1549-1554
• View Publication
• BIB
We give a new expression for the number of factorizations of a full cycle into an ordered product of permutations of specified cycle types. This is done through purely algebraic means, extending work of Biane. We deduce from our result a formula of Poulalhon and Schaeffer that was previously derived through an intricate combinatorial argument.
Feynman graphs and related Hopf algebras
Published
• View Publication
• BIB
In a recent series of communications we have shown that the reordering problem of bosons leads to certain combinatorial structures. These structures may be associated with a certain graphical description. In this paper, we show that there is a Hopf Algebra structure associated with this problem which is, in a certain sense, unique.
Engel graph associated with a group
Published
• View Publication
• BIB
Let $G$ be a non-Engel group and let $L(G)$ be the set of all left Engel elements of $G$.
Associate with $G$ a graph $\mathcal{E}_G$ as follows: Take $G\backslash L(G)$ as vertices of $\mathcal{E}_G$ and join two distinct vertices $x$ and $y$ whenever $[x,_k y]\not=1$ and $[y,_k x]\not=1$ for all positive integers $k$. We call $\mathcal{E}_G$, the Engel graph of $G$. In this paper we study the graph theoretical properties of $\mathcal{E}_G$.
Stationary or static space-times and Young tableaux
Published in J.Phys.Conf.Ser.30:152-162,2006
• View Publication
• BIB
Algebraic curvature tensors possess generators which can be formed from symmetric or alternating tensors S, A or tensors θwith an irreducible (2,1)-symmetry. In differential geometry examples of curvature formulas are known which contain generators on the basis of S or A realized by differentiable tensor fields in a natural way. We show that certain curvature formulas for stationary or static space-times contain such differentiable realizations of generators based on θ. The tensor θis connected with the timelike Killing vector field of the space-time. θlies in a special symmetry class from the infinite family of irreducible (2,1)-symmetry classes. We determine characteristics of this class. In particular, this class allows a maximal reduction of the length of the curvature formulas. We use a projection formalism by Vladimirov, Young symmetrizers and Littlewood-Richardson products. Computer calculations were carried out by means of the packages Ricci and PERMS.
Free Rota-Baxter algebras and rooted trees
Published in Jour. Algebra and Its Applications, 7 (2008), 167-194
• View Publication
• BIB
A Rota-Baxter algebra, also known as a Baxter algebra, is an algebra with a linear operator satisfying a relation, called the Rota-Baxter relation, that generalizes the integration by parts formula. Most of the studies on Rota-Baxter algebras have been for commutative algebras. Two constructions of free commutative Rota-Baxter algebras were obtained by Rota and Cartier in the 1970s and a third one by Keigher and one of the authors in the 1990s in terms of mixable shuffles. Recently, noncommutative Rota-Baxter algebras have appeared both in physics in connection with the work of Connes and Kreimer on renormalization in perturbative quantum field theory, and in mathematics related to the work of Loday and Ronco on dendriform dialgebras and trialgebras.
This paper uses rooted trees and forests to give explicit constructions of free noncommutative Rota--Baxter algebras on modules and sets. This highlights the combinatorial nature of Rota--Baxter algebras and facilitates their further study. As an application, we obtain the unitarization of Rota-Baxter algebras.
Rationality of the Möbius function of a composition poset
We consider the zeta and Möbius functions of a partial order on integer compositions first studied by Bergeron, Bousquet-Mélou, and Dulucq. The Möbius function of this poset was determined by Sagan and Vatter. We prove rationality of various formal power series in noncommuting variables whose coefficients are evaluations of the zeta function and the Möbius function. The proofs are either directly from the definitions or by constructing finite-state automata.
We also obtain explicit expressions for generating functions obtained by specializing the variables to commutative ones. We reprove Sagan and Vatter's formula for the Möbius function using this machinery. These results are closely related to those of Björner and Reutenauer about subword order, and we discuss a common generalization.
Set addition in boxes and the Freiman-Bilu theorem
We show that if A is a large subset of a box in Z^d with dimensions L_1 >= L_2 >= ... >= L_d which are all reasonably large, then |A + A| > 2^{d/48}|A|.
By combining this with Chang's quantitative version of Freiman's theorem, we prove a structural result about sets with small sumset. If A is a set of integers with |A + A| <= K|A|, then there is a progression P of dimension d << log K such that |A \cap P| >= \exp(-K^C)max (|A|, |P|). This is closely related to a theorem of Freiman and Bilu, but is quantitatively stronger in certain aspects.
[Added Oct 14th: I have temporarily withdrawn this paper, since Tao and I have realised that a much stronger result follows by applying compressions (and the Brunn-Minkowski theorem). This observation was inspired by a paper of Bollobas and Leader which we were previously unaware of.
At some point soon this paper will be reinstated to prove just the result that if A is a subset of R^d containing {0,1}^d then |A + A| >= 2^{d/48}|A|, which may (possibly) be of independent interest.
Also soon, the joint paper of Tao and I should become available. ]
Permutations generated by a stack of depth 2 and an infinite stack in series
Published in Electronic Journal of Combinatorics 13 (2006) Issue 1 article R68
• View Publication
• BIB
We prove that the set of permutations generated by a stack of depth two and an infinite stack in series has a basis (defining set of forbidden patterns) consisting of 20 permutations of length 5, 6, 7 and 8. We prove this via a ``canonical'' generating algorithm.
Edge-local equivalence of graphs
The local complement G*i of a simple graph G at one of its vertices i is obtained by complementing the subgraph induced by the neighborhood of i and leaving the rest of the graph unchanged. If e={i,j} is an edge of G then G*e=((G*i)*j)*i is called the edge-local complement of G along the edge e. We call two graphs edge-locally equivalent if they are related by a sequence of edge-local complementations. The main result of this paper is an algebraic description of edge-local equivalence of graphs in terms of linear fractional transformations of adjacency matrices. Applications of this result include (i) a polynomial algorithm to recognize whether two graphs are edge-locally equivalent, (ii) a formula to count the number of graphs in a class of edge-local equivalence, and (iii) a result concerning the coefficients of the interlace polynomial, where we show that these coefficients are all even for a class of graphs; this class contains, as a subset, all strongly regular graphs with parameters (n, k, a, c), where k is odd and a and c are even.
Divisibility of countable metric spaces
Prompted by a recent question of G. Hjorth as to whether a bounded Urysohn space is indivisible, that is to say has the property that any partition into finitely many pieces has one piece which contains an isometric copy of the space, we answer this question and more generally investigate partitions of countable metric spaces. We show that an indivisible metric space must be totally Cantor disconnected, which implies in particular that every Urysohn space U_V with V bounded or not but dense in some initial segment of R+, is divisible. On the other hand we also show that one can remove "large" pieces from a bounded Urysohn space with the remainder still inducing a copy of this space, providing a certain "measure" of the indivisibility. Associated with every totally Cantor disconnected space is an ultrametric space, and we go on to characterize the countable ultrametric spaces which are homogeneous and indivisible.
Cubic Partial Cubes from Simplicial Arrangements
Published in Electronic J. Combinatorics 13(1, R79):1â?"14, Sep 2006
• View Publication
• BIB
We show how to construct a cubic partial cube from any simplicial arrangement of lines or pseudolines in the projective plane. As a consequence, we find nine new infinite families of cubic partial cubes as well as many sporadic examples.
Gowers Uniformity, Influence of Variables, and PCPs
Published
• View Publication
• BIB
Gowers introduced, for d\geq 1, the notion of dimension-d uniformity U^d(f) of a function f: G -> \C, where G is a finite abelian group and \C are the complex numbers. Roughly speaking, if U^d(f) is small, then f has certain "pseudorandomness" properties.
We prove the following property of functions with large U^d(f). Write G=G_1 x >... x G_n as a product of groups. If a bounded balanced function f:G_1 x ... x G_n -> \C is such that U^{d} (f) > epsilon, then one of the coordinates of f has influence at least epsilon/2^{O(d)}.
The Gowers inner product of a collection of functions is a related notion of pseudorandomness. We prove that if a collection of bounded functions has large Gowers inner product, and at least one function in the collection is balanced, then there is a variable that has high influence for at least four of the functions in the collection.
Finally, we relate the acceptance probability of the "hypergraph long-code test" proposed by Samorodnitsky and Trevisan to the Gowers inner product of the functions being tested and we deduce applications to the construction of Probabilistically Checkable Proofs and to hardness of approximation.
A Wilf equivalence related to two stack sortable permutations
A permutation is so-called two stack sortable if it (i) avoids the (scattered) pattern 2-3-4-1, and (ii) contains a 3-2-4-1 pattern only as part of a 3-5-2-4-1 pattern. Here we show that the permutations on [n] satisfying condition (ii) alone are equinumerous with the permutations on [n] that avoid the mixed scattered/consecutive pattern 31-4-2. The proof uses a known bijection from 3-2-1-avoiding to 3-1-2-avoiding permutations.
Construction of dendriform trialgebras
Published in C. R. Acad. Sci. Paris Volume 342, 6, 365-446 , 2006
• Search Publication
We realize the free dendriform trialgebra on one generator, as well as several other examples of dendriform trialgebras, as sub-trialgebras of an algebra of noncommutative polynomials in infinitely many variables.
Exact Computation of the Hypergraph Turan Function for Expanded Complete 2-Graphs
Published
• View Publication
• BIB
Let l>k>2. Let the k-graph H^k_l be obtained from the complete 2-graph K_l^2 by enlarging each edge with a new set of k-2 vertices. Mubayi ["A hypergraph extension of Turan's theorem", to appear in J. Combin. Th. (B)] computed asymptotically the Turan function ex(n,H_l^k). Here we determine the exact value of ex(n,H_l^k) for all sufficiently large n, settling a conjecture of Mubayi.
Combinatorial groupoids, cubical complexes, and the Lovasz conjecture
A foundation is laid for a theory of combinatorial groupoids, allowing us to use concepts like ``holonomy'', ``parallel transport'', ``bundles'', ``combinatorial curvature'' etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes and other combinatorial objects. A new, holonomy-type invariant for cubical complexes is introduced, leading to a combinatorial ``Theorema Egregium'' for cubical complexes non-embeddable into cubical lattices. Parallel transport of Hom-complexes and maps is used as a tool for extending Babson-Kozlov-Lovasz graph coloring results to more general statements about non-degenerate maps (colorings) of simplicial complexes and graphs.
Graph coloring manifolds
Published in Algebraic and Geometric Combinatorics, 51--69, Contemp. Math., 423, Amer. Math. Soc., Providence, RI, 2006
• View Publication
• BIB
We introduce a new and rich class of graph coloring manifolds via the Hom complex construction of Lovasz. The class comprises examples of Stiefel manifolds, series of spheres and products of spheres, cubical surfaces, as well as examples of Seifert manifolds. Asymptotically, graph coloring manifolds provide examples of highly connected, highly symmetric manifolds.
Exact Solution of the Six-Vertex Model with Domain Wall Boundary Conditions. Disordered Phase
Published
• View Publication
• BIB
The six-vertex model, or the square ice model, with domain wall boundary conditions (DWBC) has been introduced and solved for finite $N$ by Korepin and Izergin. The solution is based on the Yang-Baxter equations and it represents the free energy in terms of an $N\times N$ Hankel determinant. Paul Zinn-Justin observed that the Izergin-Korepin formula can be re-expressed in terms of the partition function of a random matrix model with a nonpolynomial interaction. We use this observation to obtain the large $N$ asymptotics of the six-vertex model with DWBC in the disordered phase. The solution is based on the Riemann-Hilbert approach and the Deift-Zhou nonlinear steepest descent method. As was noticed by Kuperberg, the problem of enumeration of alternating sign matrices (the ASM problem) is a special case of the the six-vertex model. We compare the obtained exact solution of the six-vertex model with known exact results for the 1, 2, and 3 enumerations of ASMs, and also with the exact solution on the so-called free fermion line. We prove the conjecture of Zinn-Justin that the partition function of the six-vertex model with DWBC has the asymptotics, $Z_N\sim CN^κe^{N^2f}$ as $N\to\infty$, and we find the exact value of the exponent $κ$.
Combinatorics of the free Baxter algebra
Published
• View Publication
• BIB
We study the free (associative, non-commutative) Baxter algebra on one generator. The first explicit description of this object is due to Ebrahimi-Fard and Guo. We provide an alternative description in terms of a certain class of trees, which form a linear basis for this algebra. We use this to treat other related cases, particularly that in which the Baxter map is required to be quasi-idempotent, in a unified manner. Each case corresponds to a different class of trees.
Our main focus is on the underlying combinatorics. In several cases, we provide bijections between our various classes of trees and more familiar combinatorial objects including certain Schroeder paths and Motzkin paths. We calculate the dimensions of the homogeneous components of these algebras (with respect to a bidegree related to the number of nodes and the number of angles in the trees) and the corresponding generating series. An important feature is that the combinatorics is captured by the idempotent case; the others are obtained from this case by various binomial transforms. We also relate free Baxter algebras to Loday's dendriform trialgebras and dialgebras. We show that the free dendriform trialgebra (respectively, dialgebra) on one generator embeds in the free Baxter algebra with a quasi-idempotent map (respectively, with a quasi-idempotent map and an idempotent generator). This refines results of Ebrahimi-Fard and Guo.