Showing 20 papers (Total: 81623 papers, 47312 authors in database)
Hamilton Paths and Cycles in Vertex-Transitive Graphs of Order $6p$
Published
• View Publication
• BIB
It is shown that every connected vertex-transitive graph of order $6p$, where $p$ is a prime, contains a Hamilton path. Moreover, it is shown that, except for the truncation of the Petersen graph, every connected vertex-transitive graph of order $6p$ which is not genuinely imprimitive contains a Hamilton cycle.
On quartic half-arc-transitive metacirculants
Following Alspach and Parsons, a {\em metacirculant graph} is a graph admitting a transitive group generated by two automorphisms $ρ$ and $σ$, where $ρ$ is $(m,n)$-semiregular for some integers $m \geq 1$, $n \geq 2$, and where $σ$ normalizes $ρ$, cyclically permuting the orbits of $ρ$ in such a way that $σ^m$ has at least one fixed vertex. A {\em half-arc-transitive graph} is a vertex- and edge- but not arc-transitive graph. In this article quartic half-arc-transitive metacirculants are explored and their connection to the so called tightly attached quartic half-arc-transitive graphs is explored. It is shown that there are three essentially different possibilities for a quartic half-arc-transitive metacirculant which is not tightly attached to exist. These graphs are extensively studied and some infinite families of such graphs are constructed.
Reconstruction of permutations distorted by single transposition errors
The reconstruction problem for permutations on $n$ elements from their erroneous patterns which are distorted by transpositions is presented in this paper. It is shown that for any $n \geq 3$ an unknown permutation is uniquely reconstructible from 4 distinct permutations at transposition distance at most one from the unknown permutation. The {\it transposition distance} between two permutations is defined as the least number of transpositions needed to transform one into the other. The proposed approach is based on the investigation of structural properties of a corresponding Cayley graph. In the case of at most two transposition errors it is shown that $\frac32(n-2)(n+1)$ erroneous patterns are required in order to reconstruct an unknown permutation. Similar results are obtained for two particular cases when permutations are distorted by given transpositions. These results confirm some bounds for regular graphs which are also presented in this paper.
Twisted identities in Coxeter groups
Published
• View Publication
• BIB
Given a Coxeter system (W,S) equipped with an involutive automorphism T, the set of twisted identities is i(T) = {T(w)^{-1}w : w \in W}. We point out how i(T) shows up in several contexts and prove that if there is no s \in S such that sT(s) is of odd order greater than 1, then the Bruhat order on i(T) is a graded poset with rank function r given by halving the Coxeter length. Under the same condition, it is shown that the order complexes of the open intervals either are PL spheres or acyclic over the integers. In the general case, contractibility is shown for certain classes of intervals. Furthermore, we demonstrate that sometimes these posets are not graded. For the Poincaré series of i(T), i.e. its generating function with respect to r, a factorisation phenomenon is discussed.
The geometry of relations
Published
• View Publication
• BIB
There is a canonical way to associate two simplicial complexes K, L to any relation $R\subset X\times Y$. Moreover, the geometric realizations of K and L are homotopy equivalent. This was studied in the fifties by C.H. Dowker. In this article we prove a Galois-type correspondence for relations $R\subset X\times Y$ when X is fixed and use these constructions to investigate finite posets (or equivalently, finite topological spaces) from a geometrical point of view. Given any poset $(X, \leq)$, we define the simplicial complexes K, L associated to the relation $\leq$. In many cases these polyhedra have the same homotopy type as the standard simplicial complex C of nonempty finite chains in X. We give a complete characterization of the simplicial complexes that are the K or L-complexes of some finite poset and prove that K and L are geometrically equivalent to the smaller complexes K',L' induced by the relation <. More precisely, we prove that K (resp. L) simplicially collapses to K' (resp. L').
2-Dimension from the topological viewpoint
Published
• View Publication
• BIB
In this paper we study the 2-dimension of a finite poset from the topological point of view. We use homotopy theory of finite topological spaces and the concept of a beat point to improve the classical results on 2-dimension, giving a more complete answer to the problem of all possible 2-dimensions of an n-point poset.
Genocchi Numbers and f-Vectors of Simplicial Balls
Published in European Journal of Combinatorics, 29 (2008), no. 5, 1087-109
• View Publication
• BIB
The Genocchi numbers are the coefficients of the generating function 2t/(e^t+1). In this note we will give an equation for simplicial balls which involves this numbers. It relates the number of faces in the interior of the ball with the number of faces in the boundary of the ball. This is a variation of similar equations given in [McMullen 2004] and [Herrmann and Joswig 2006].
Pebble Game Algorithms and Sparse Graphs
Published
• View Publication
• BIB
A multi-graph $G$ on $n$ vertices is $(k,\ell)$-sparse if every subset of $n'\leq n$ vertices spans at most $kn'- \ell$ edges. $G$ is {\em tight} if, in addition, it has exactly $kn - \ell$ edges. For integer values $k$ and $\ell \in [0, 2k)$, we characterize the $(k,\ell)$-sparse graphs via a family of simple, elegant and efficient algorithms called the $(k,\ell)$-pebble games.
Bilinear forms on $\mathfrak{sl}_2$-modules and a hypergeometric identity
In this paper we study properties of a certain bilinear form on finite dimensional $\mathfrak{sl}_2(\mathbb{R})$-modules, and how these properties behave with respect to tensor products of modules. An attempt to determine the signature of this form leads to an interesting identity for the hypergeometric series ${}_3F_2$, which is known as the Karlsson-Minton identity.
Cycles in dense digraphs
Published in Combinatorica 28 2008 1-18
• View Publication
• BIB
Let G be a digraph (without parallel edges) such that every directed cycle has length at least four; let $β(G)$ denote the size of the smallest subset X in E(G) such that $G\X$ has no directed cycles, and let $γ(G)$ be the number of unordered pairs {u,v} of vertices such that u,v are nonadjacent in G. It is easy to see that if $γ(G) = 0$ then $β(G) = 0$; what can we say about $β(G)$ if $γ(G)$ is bounded?
We prove that in general $β(G)$ is at most $γ(G)$. We conjecture that in fact $β(G)$ is at most $γ(G)/2$ (this would be best possible if true), and prove this conjecture in two special cases:
1. when V(G) is the union of two cliques,
2. when the vertices of G can be arranged in a circle such that if distinct u,v,w are in clockwise order and uw is a (directed) edge, then so are both uv and vw.
Monic non-commutative orthogonal polynomials
Published in Proc. Amer. Math. Soc. 136 (2008), 2395-2405
• View Publication
• BIB
Among all states on the algebra of non-commutative polynomials, we characterize the ones that have monic orthogonal polynomials. The characterizations involve recursion relations, Hankel-type determinants, and a representation as a joint distribution of operators on a Fock space.
Free Meixner states
Published in Commun. Math. Phys. 276 (2007), 863-899
• View Publication
• BIB
Free Meixner states are a class of functionals on non-commutative polynomials introduced in math.CO/0410482. They are characterized by a resolvent-type form for the generating function of their orthogonal polynomials, by a recursion relation for those polynomials, or by a second-order non-commutative differential equation satisfied by their free cumulant functional. In this paper, we construct an operator model for free Meixner states. By combinatorial methods, we also derive an operator model for their free cumulant functionals. This, in turn, allows us to construct a number of examples. Many of these examples are shown to be trivial, in the sense of being free products of functionals which depend on only a single variable, or rotations of such free products. On the other hand, the multinomial distribution is a free Meixner state and is not a product. Neither is a large class of tracial free Meixner states which are analogous to the simple quadratic exponential families in statistics.
Extended Rate, more GFUN
Published
• View Publication
• BIB
We present a software package that guesses formulae for sequences of, for example, rational numbers or rational functions, given the first few terms. We implement an algorithm due to Bernhard Beckermann and George Labahn, together with some enhancements to render our package efficient. Thus we extend and complement Christian Krattenthaler's program Rate, the parts concerned with guessing of Bruno Salvy and Paul Zimmermann's GFUN, the univariate case of Manuel Kauers' Guess.m and Manuel Kauers' and Christoph Koutschan's qGeneratingFunctions.m.
Dual graded graphs for Kac-Moody algebras
Published
• View Publication
• BIB
Motivated by affine Schubert calculus, we construct a family of dual graded graphs $(Γ_s,Γ_w)$ for an arbitrary Kac-Moody algebra $\g(A)$. The graded graphs have the Weyl group $W$ of $\g(A)$ as vertex set and are labeled versions of the strong and weak orders of $W$ respectively. Using a construction of Lusztig for quivers with an admissible automorphism, we define folded insertion for a Kac-Moody algebra and obtain Sagan-Worley shifted insertion from Robinson-Schensted insertion as a special case. Drawing on work of Stembridge, we analyze the induced subgraphs of $(Γ_s,Γ_w)$ which are distributive posets.
Blocked edges on Eulerian maps and mobiles: Application to spanning trees, hard particles and the Ising model
Published in J. Phys. A: Math. Theor. 40 (2007) 7411-7440
• View Publication
• BIB
We introduce Eulerian maps with blocked edges as a general way to implement statistical matter models on random maps by a modification of intrinsic distances. We show how to code these dressed maps by means of mobiles, i.e. decorated trees with labeled vertices, leading to a closed system of recursion relations for their generating functions. We discuss particular solvable cases in detail, as well as various applications of our method to several statistical systems such as spanning trees on quadrangulations, mutually excluding particles on Eulerian triangulations or the Ising model on quadrangulations.
A Note on Boolean Lattices and Farey Sequences
Published in INTEGERS: Electronic Journal of Combinatorial Number Theory, 7 (2007), #A20
• Search Publication
We establish monotone bijections between the Farey sequences of order m and the halfsequences of Farey subsequences associated with the rank m elements of the Boolean lattice of subsets of a 2m-set. We also present a few related combinatorial identities.
Longest Common Separable Pattern between Permutations
Published in Combinatorial Pattern Matching (CPM) 2007 (2007) 00
• View Publication
• BIB
In this article, we study the problem of finding the longest common separable pattern between several permutations. We give a polynomial-time algorithm when the number of input permutations is fixed and show that the problem is NP-hard for an arbitrary number of input permutations even if these permutations are separable. On the other hand, we show that the NP-hard problem of finding the longest common pattern between two permutations cannot be approximated better than within a ratio of $sqrt{Opt}$ (where $Opt$ is the size of an optimal solution) when taking common patterns belonging to pattern-avoiding classes of permutations.
On the Number of Inequivalent Binary Self-Orthogonal Codes
Published
• View Publication
• BIB
Let $Ψ_{k,n}$ denote the number of inequivalent binary self-orthogonal $[n,k]$ codes. We present a method which allows us to compute $Ψ_{k,n}$ explicitly for a moderate $k$ and an arbitrary $n$. Included in this paper are explicit formulas for $Ψ_{k,n}$ with $k\le 5$.
Three combinatorial models for affine sl(n) crystals, with applications to cylindric plane partitions
Published in Math. Res. Not. IMRN 2008(2):Art. ID rnm143, 40, 2008
• View Publication
• BIB
We define three combinatorial models for \hat{sl(n)} crystals, parametrized by partitions, configurations of beads on an `abacus', and cylindric plane partitions, respectively. These are reducible, but we can identify an irreducible subcrystal corresponding to any dominant integral highest weight. Cylindric plane partitions actually parametrize a basis for the tensor product of an irreducible representation with the space spanned by all partitions. We use this to calculate the partition function for a system of random cylindric plane partitions. We also observe a form of rank level duality. Finally, we use an explicit bijection to relate our work to the Kyoto path model.
Bounds on ordered codes and orthogonal arrays
Published in Moscow Mathematical Journal, vol. 9, no. 2, 2009, pp. 211-243.
• View Publication
• BIB
We derive new estimates of the size of codes and orthogonal arrays in the ordered Hamming space (the Niederreiter-Rosenbloom-Tsfasman space). We also show that the eigenvalues of the ordered Hamming scheme, the association scheme that describes the combinatorics of the space, are given by the multivariable Krawtchouk polynomials, and establish some of their properties.