Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Cohomology of colorings of cycles
Published
• View Publication
• BIB
We compute the cohomology groups of the spaces of colorings of cycles, i.e., of the prodsimplicial complexes Hom(C_m,K_n). We perform the computation first with Z_2, and then with integer coefficients. The main technical tool is to use spectral sequences in conjunction with a detailed combinatorial analysis of a family of cubical complexes, which we call torus front complexes.
As an application of our method, we demonstrate how to collapse each connected component of Hom(C_m,C_n) onto a garland of cubes.
Lattice Delone simplices with super-exponential volume
Published in European Journal of Combinatorics 28 (2007), 801-806
• View Publication
• BIB
In this short note we give a construction of an infinite series of Delone simplices whose relative volume grows super-exponentially with their dimension. This dramatically improves the previous best lower bound, which was linear.
Spiral Chains: The Proofs of Tait's and Tutte's Three-Edge-Coloring Conjectures
In this paper we have shown without assuming the four color theorem of planar graphs that every (bridgeless) cubic planar graph has a three-edge-coloring. This is an old-conjecture due to Tait in the squeal of efforts in settling the four-color conjecture at the end of the 19th century. We have also shown the applicability of our method to another well-known three edge-coloring conjecture on cubic graphs. Namely Tutte's conjecture that "every 2-connected cubic graph with no Petersen minor is 3-edge colorable". Hence the conclusion of this paper implies another non-computer proof of the four color theorem by using spiral-chains in different context.
A Relative Laplacian spectral recursion
Published
• View Publication
• BIB
The Laplacian spectral recursion, satisfied by matroid complexes and shifted complexes, expresses the eigenvalues of the combinatorial Laplacian of a simplicial complex in terms of its deletion and contraction with respect to vertex e, and the relative simplicial pair of the deletion modulo the contraction. We generalize this recursion to relative simplicial pairs, which we interpret as intervals in the Boolean algebra. The deletion modulo contraction term is replaced by the result of removing from the interval all pairs of faces in the interval that differ only by vertex e.
We show that shifted pairs and some matroid pairs satisfy this recursion. We also show that the class of intervals satisfying this recursion is closed under a wide variety of operations, including duality and taking skeleta.
A remark on a theorem of M. Haiman
We deduce a special case of a theorem of M. Haiman concerning alternating polynomials in 2n variables from our results about almost commuting variety, obtained earlier in a joint work with W.-L. Gan.
A canonical semi-classical star-product
Published
• View Publication
• BIB
We study the Maurer-Cartan equation of the pre-Lie algebra of graphs controling the deformation theory of associative algebras and prove that there is a canonical solution within the class of graphs without circuits, without assuming the Jacobi identity. The proof is based on the unique factorization property of graph insertions.
Set maps, umbral calculus, and the chromatic polynomial
Published
• View Publication
• BIB
Some important properties of the chromatic polynomial also hold for any polynomial set map satisfying p_S(x+y)=\sum_{T\uplus U=S}p_T(x)p_U(y). Using umbral calculus, we give a formula for the expansion of such a set map in terms of any polynomial sequence of binomial type. This leads to some new expansions of the chromatic polynomial. We also describe a set map generalization of Abel polynomials.
Scales, fields, and a problem of Hurewicz
Published in Journal of the European Mathematical Society 10 (2008), 837-866
• View Publication
• BIB
Menger's basis property is a generalization of $σ$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $σ$-compact sets of reals with Menger's property. Special instances of these constructions give known counterexamples to conjectures of Menger and Hurewicz. We obtain the first explicit solution to the Hurewicz 1927 problem, that was previously solved by Chaber and Pol on a dichotomic basis.
The constructed sets generate nontrivial subfields of the real line with strong combinatorial properties, and most of our results can be stated in a Ramsey-theoretic manner.
Since we believe that this paper is of interest to a diverse mathematical audience, we have made a special effort to make it self-contained and accessible.
A Geometric Form for the Extended Patience Sorting Algorithm
Published
• View Publication
• BIB
Patience Sorting is a combinatorial algorithm that can be viewed as an iterated, non-recursive form of the Schensted Insertion Algorithm. In recent work the authors extended Patience Sorting to a full bijection between the symmetric group and certain pairs of combinatorial objects (called pile configurations) that are most naturally defined in terms of generalized permutation pattern and barred pattern avoidance. This Extended Patience Sorting Algorithm is very similar to the Robinson-Schensted-Knuth (or RSK) Correspondence, which is itself built from repeated application of the Schensted Insertion Algorithm.
In this work we introduce a geometric form for the Extended Patience Sorting Algorithm that is in some sense a natural dual algorithm to G. Viennot's celebrated Geometric RSK Algorithm. Unlike Geometric RSK, though, the lattice paths coming from Patience Sorting are allowed to intersect. We thus also give a characterization for the intersections of these lattice paths in terms of the pile configurations associated with a given permutation under the Extended Patience Sorting Algorithm.
Transitive Hall sets
We give the definition of Lazard and Hall sets in the context of transitive factorizations of free monoids. The equivalence of the two properties is proved. This allows to build new effective bases of free partially commutative Lie algebras. The commutation graphs for which such sets exist are completely characterized and we explicit, in this context, the classical PBW rewriting process.
Some New Exact van der Waerden Numbers
For positive integers $r,k_0,k_1,...,k_{r-1},$ the van der Waerden number $w(k_0,k_1,...,k_{r-1})$ is the least positive integer $n$ such that whenever $\{1,2,...,n\}$ is partitioned into $r$ sets $S_{0},S_{1},...,S_{r-1}$, there is some $i$ so that $S_i$ contains a $k_i$-term arithmetic progression. We find several new exact values of $w(k_0,k_1,...,k_{r-1})$. In addition, for the situation in which only one value of $k_i$ differs from 2, we give a precise formula for the van der Waerden function (provided this one value of $k_i$ is not too small)
Detecting the orientation of long links by finite type invariants
Published
• View Publication
• BIB
We prove the existence of a degree 7 Vassiliev invariant of long (or string) two-component links which is not preserved under the simultaneous change of orientation of both components. The non-invertibility of this invariant can be detected by the standard weight system with values in the tensor square of the universal enveloping algebra for $\gl(n)$.
RSK Insertion for Set Partitions and Diagram Algebras
Published
• View Publication
• BIB
We give combinatorial proofs of two identities from the representation theory of the partition algebra $C A_k(n), n \ge 2k$. The first is $n^k = \sum_λf^λm_k^λ$, where the sum is over partitions $λ$ of $n$, $f^λ$ is the number of standard tableaux of shape $λ$, and $m_k^λ$ is the number of "vacillating tableaux" of shape $λ$ and length $2k$. Our proof uses a combination of Robinson-Schensted-Knuth insertion and jeu de taquin. The second identity is $B(2k) = \sum_λ(m_k^λ)^2$, where $B(2k)$ is the number of set partitions of $\{1, >..., 2k\}$. We show that this insertion restricts to work for the diagram algebras which appear as subalgebras of the partition algebra: the Brauer, Temperley-Lieb, planar partition, rook monoid, planar rook monoid, and symmetric group algebras.
Polynomial extension of Fleck's congruence
Published in Acta Arith. 122(2006), 91-100
• View Publication
• BIB
Let $p$ be a prime, and let $f(x)$ be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the $p$-adic order of the sum $$\sum_{k=r(mod p^β)}\binom{n}{k}(-1)^k f([(k-r)/p^α]),$$ where $α\geβ\ge 0$, $n\ge p^{α-1}$ and $r\in Z$. This polynomial extension of Fleck's congruence has various backgrounds and several consequences such as $$\sum_{k=r(mod p^α)}\binom{n}{k} a^k\equiv 0 (mod p^{[(n-p^{α-1})/φ(p^α)]})$$ provided that $α>1$ and $a\equiv-1(mod p)$.
On the Lyapunov Exponent of Monotone Boolean Networks
Published
• View Publication
• BIB
We derive asymptotic formulas for the Lyapunov exponent of almost all monotone Boolean networks. The formulas are different depending on whether the number of variables of the constituent Boolean functions, or equivalently, the connectivity of the Boolean network, is even or odd.
Triangular hyperbolic buildings
Published
• View Publication
• BIB
We construct triangular hyperbolic polyhedra whose links are generalized 4-gons. The universal cover of those polyhedra are hyperbolic buildings, which appartments are hyperbolic planes tesselated by regular triangles with angles $π/4$. Moreover, the fundamental groups of the polyhedra acts simply transitively on vertices of the buildings.
Invariant d'Hermite des jacobiennes de graphes pondérés
Published in L'Enseignement Mathématique 52, 3-4 (2006) 255-266
• Search Publication
To any weighted graph of first Betti number b is naturally associated a lattice of dimension b, definite in a similar way that the jacobian for a Riemann surface. This class of lattices generated by graphs is particularly interesting. We show here an upperbound of the Hermite invariant of such a lattice according to b whose order is ln b. This order is optimal : it is realized by the Hermite invariant of the jacobian of a systolicly economic graph.
A proof of the polycirculant conjecture
This paper presents a solution of the polycirculant conjecture which states that every vertex-transitive graph G has an automorphism that permutes the vertices in cycles of the same length. This is done by identifying vertex-transitive graphs as coset graphs. For a coset graph H, an equivalence relation $\sim$ is defined on the vertices of cosets with classes as double cosets of the stabiliser and any other proper subgroup A' of a transitive group A of G. Induced left translations of elements of the subgroup A' are semi-regular since they preserve these double cosets and acts regularly on each of them. The coset graph is equivalent to G by a theorem of Sabidussi.
A note on the existence of {k, k}-equivelar polyhedral maps
A polyhedral map is called $\{p, q\}$-equivelar if each face has $p$ edges and each vertex belongs to $q$ faces. In 1983, it was shown that there exist infinitely many geometrically realizable $\{p, q\}$-equivelar polyhedral maps if $q > p = 4$, $p > q = 4$ or $q - 3 > p = 3$. It was shown in 2001 that there exist infinitely many $\{4, 4\}$- and $\{3, 6\}$-equivelar polyhedral maps. In 1990, it was shown that $\{5, 5\}$- and $\{6, 6\}$-equivelar polyhedral maps exist. In this note, examples are constructed, to show that infinitely many self dual $\{k, k\}$-equivelar polyhedral maps exist for each $k \geq 5$. Also vertex-minimal non-singular $\{p, p\}$-pattern are constructed for all odd primes $p$.
The Klee-Minty random edge chain moves with linear speed
Published
• View Publication
• BIB
An infinite sequence of 0's and 1's evolves by flipping each~1 to a~0 exponentially at rate one. When a~1 flips, all bits to its right also flip. Starting from any configuration with finitely many 1's to the left of the origin, we show that the leftmost~1 moves right with linear speed. Upper and lower bounds are given on the speed.