Showing 20 papers (Total: 81623 papers, 47312 authors in database)
An Abstract Regularity Lemma
We extend Szemeredi's Regularity Lemma (SRL) to abstract measure spaces. Our main aim is to find general conditions under which the original proof of Szemeredi still works. To illustrate that our approach has some merit, we outline several applications. Some of these applications seem to be tailored to our approach: in particular, we are not aware of any alternative proofs.
Lineare Rekurrenzen, Potenzreihen und ihre erzeugenden Funktionen
Diese kurze Einfuehrung in Theorie und Berechnung linearer Rekurrenzen versucht, eine Luecke in der Literatur zu fuellen. Zu diesem Zweck sind viele ausfuehrliche Beispiele angegeben.
This short introduction to theory and usage of linear recurrences tries to fill a gap in the literature by giving many extensive examples.
Combinatorics Of RNA Structures With Pseudoknots
Published
• View Publication
• BIB
In this paper we derive the generating function of RNA structures with pseudoknots. We enumerate all $k$-noncrossing RNA pseudoknot structures categorized by their maximal sets of mutually intersecting arcs. In addition we enumerate pseudoknot structures over circular RNA. For 3-noncrossing RNA structures and RNA secondary structures we present a novel 4-term recursion formula and a 2-term recursion, respectively. Furthermore we enumerate for arbitrary $k$ all $k$-noncrossing, restricted RNA structures i.e. $k$-noncrossing RNA structures without 2-arcs i.e. arcs of the form $(i,i+2)$, for $1\le i\le n-2$.
Regions without complex zeros for chromatic polynomials on graphs with bounded degree
We prove that the chromatic polynomial $P_\mathbb{G}(q)$ of a finite graph $\mathbb{G}$ of maximal degree $\D$ is free of zeros for $\card q\ge C^*(\D)$ with $$ C^*(\D) = \min_{0<x<2^{1\over \D}-1} {(1+x)^{\D-1}\over x [2-(1+x)^\D]} $$ This improves results by Sokal (2001) and Borgs (2005). Furthermore, we present a strengthening of this condition for graphs with no triangle-free vertices.
Graphs with chromatic roots in the interval (1,2)
Published
• View Publication
• BIB
We present an infinite family of 3-connected non-bipartite graphs with chromatic roots in the interval (1,2) thus resolving a conjecture of Jackson's in the negative. In addition, we briefly consider other graph classes that are conjectured to have no chromatic roots in (1,2).
Indecomposable invariants of quivers for dimension (2,...,2) and maximal paths
Published in Commun. Algebra, 38 (2010), N10, 3539-3555
• View Publication
• BIB
An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the reduction to the problem of description of maximal paths satisfying certain condition.
Homogeneous edge-disjoint $K_{2s}$ and $T_{st,t}$ unions
Let $r>2$ and $σ\in(0,r-1)$ be integers. We require $t<2s$, where $t=2^{σ+1}-1$ and $s=2^{r-σ-1}$. Generalizing a known $\{K_4,T_{6,3}\}$-ultrahomogenous graph $G_3^1$, we find that a finite, connected, undirected, arc-transitive graph $G_r^σ$ exists each of whose edges is shared by just two maximal subgraphs, namely a clique $X_0=K_{2s}$ and a $t$-partite regular-Turán graph $X_1=T_{st,t}$ on $s$ vertices per part. Each copy $Y$ of $X_i$ ($i=0,1$) in $G_r^σ$ shares each edge with just one copy of $X_{1-i}$ and all such copies of $X_{1-i}$ are pairwise distinct. Moreover, $G_r^σ$ is an edge-disjoint union of copies of $X_i$, for $i=0,1$. We prove that $G_r^σ$ is $\{K_{2s},T_{st,t}\}$-homogeneous if $t<2s$, and just $\{T_{st,t}\}$-homogeneous otherwise, meaning that there is an automorphism of $G_r^σ$ between any two such copies of $X_i$ relating two preselected arcs.
On Abelian Difference Sets with Parameters of 3-dimensional Projective Geometries
A difference set is said to have classical parameters if $ (v,k, λ) = (\frac{q^d-1}{q-1}, \frac{q^{d-1}-1}{q-1}, \frac{q^{d-2}-1}{q-1}).$ The case $d=3$ corresponds to planar difference sets. We focus here on the family of abelian difference sets with $d=4$. The only known examples of such difference sets correspond to the projective geometries $PG(3,q)$. We consider an arbitrary difference set with the parameters of $PG(3,q)$ in an abelian group and establish constraints on its structure. In particular, we discern embedded substructures.
The ideal-valued index for a dihedral group action, and mass partition by two hyperplanes
We compute the complete Fadell-Husseini index of the 8 element dihedral group D_8 acting on S^d \times S^d, both for F_2 and for integer coefficients. This establishes the complete goup cohomology lower bounds for the two hyperplane case of Gr"unbaum's 1960 mass partition problem: For which d and j can any j arbitrary measures be cut into four equal parts each by two suitably-chosen hyperplanes in R^d? In both cases, we find that the ideal bounds are not stronger than previously established bounds based on one of the maximal abelian subgroups of D_8.
On the Young-Fibonacci insertion algorithm
This work is concerned with some properties of the Young-Fibonacci insertion algorithm and its relation with Fomin's growth diagrams. It also investigates a relation between the combinatorics of Young-Fibonacci tableaux and the study of Okada's algebra associated to the Young-Fibonacci lattice. The original algorithm was introduced by Roby and we redefine it in such a way that both the insertion and recording tableaux of any permutation are \emph{conveniently} interpreted as chains in the Young-Fibonacci lattice. A property of Killpatrick's evacuation is given a simpler proof, but this evacuation is no longer needed in making Roby's and Fomin's constructions coincide. We provide the set of Young-Fibonacci tableaux of size $n$ with a structure of graded poset, induced by the weak order on permutations of the symmetric group, and realized by transitive closure of elementary transformations on tableaux. We show that this poset gives a combinatorial interpretation of the coefficients in the transition matrix from the analogue of complete symmetric functions to analogue of the Schur functions in Okada's algebra. We end with a quite similar observation for four posets on Young-tableaux studied by Taskin.
The Hopf Algebra Structure of the Character Rings of Classical Groups
Published
• View Publication
• BIB
The character ring \CGL of covariant irreducible tensor representations of the general linear group admits a Hopf algebra structure isomorphic to the Hopf algebra \Sym$ of symmetric functions. Here we study the character rings \CO and \CSp of the orthogonal and symplectic subgroups of the general linear group within the same framework of symmetric functions. We show that \CO and \CSp also admit natural Hopf algebra structures that are isomorphic to that of \CGL, and hence to \Sym. The isomorphisms are determined explicitly, along with the specification of standard bases for \CO and \CSp analogous to those used for \Sym. A major structural change arising from the adoption of these bases is the introduction of new orthogonal and symplectic Schur-Hall scalar products. Significantly, the adjoint with respect to multiplication no longer coincides, as it does in the \CGL case, with a Foulkes derivative or skew operation. The adjoint and Foulkes derivative now require separate definitions, and their properties are explored here in the orthogonal and symplectic cases. Moreover, the Hopf algebras \CO and \CSp are not self-dual. The dual Hopf algebras \CO^* and \CSp^* are identified. Finally, the Hopf algebra of the universal rational character ring \CGLrat of mixed irreducible tensor representations of the general linear group is introduced and its structure maps identified.
Combinatorial structure of Kirillov-Reshetikhin crystals of type D_n(1), B_n(1), A_{2n-1}(2)
Published in J.Algebra319:2938-2962,2008
• View Publication
• BIB
We provide the explicit combinatorial structure of the Kirillov-Reshetikhin crystals B^{r,s} of type D_n(1), B_n(1), and A_{2n-1}(2). This is achieved by constructing the crystal analogue sigma of the automorphism of the D_n(1) (resp. B_n(1) or A_{2n-1}(2)) Dynkin diagram that interchanges the 0 and 1 node. The involution sigma is defined in terms of new plus-minus diagrams that govern the D_n to D_{n-1} (resp. B_n to B_{n-1}, or C_n to C_{n-1}) branching. It is also shown that the crystal B^{r,s} is perfect. These crystals have been implemented in MuPAD-Combinat; the implementation is discussed in terms of many examples.
Combinatorial Gray codes for classes of pattern avoiding permutations
Published
• View Publication
• BIB
The past decade has seen a flurry of research into pattern avoiding permutations but little of it is concerned with their exhaustive generation. Many applications call for exhaustive generation of permutations subject to various constraints or imposing a particular generating order. In this paper we present generating algorithms and combinatorial Gray codes for several families of pattern avoiding permutations. Among the families under consideration are those counted by Catalan, Schröder, Pell, even index Fibonacci numbers and the central binomial coefficients. Consequently, this provides Gray codes for $\s_n(τ)$ for all $τ\in \s_3$ and the obtained Gray codes have distances 4 and 5.
N-homogeneous superalgebras
Published
• View Publication
• BIB
We develop the theory of N-homogeneous algebras in a super setting, with particular emphasis on the Koszul property. To any Hecke operator on a vector superspace, we associate certain superalgebras and generalizing the ordinary symmetric and Grassmann algebra, respectively. We prove that these algebras are N-Koszul. For the special case where the Hecke operator is the ordinary supersymmetry, we derive an $N$-generalized super-version of MacMahon's classical "master theorem".
Latin bitrades derived from groups
Published
• View Publication
• BIB
A latin bitrade is a pair of partial latin squares which are disjoint, occupy the same set of non-empty cells, and whose corresponding rows and columns contain the same set of entries. Drápal (\cite{Dr9}) showed that a latin bitrade is equivalent to three derangements whose product is the identity and whose cycles pairwise have at most one point in common. By letting a group act on itself by right translation, we show how some latin bitrades may be derived from groups without specifying an independent group action. Properties of latin trades such as homogeneousness, minimality (via thinness) and orthogonality may also be encoded succinctly within the group structure. We apply the construction to some well-known groups, constructing previously unknown latin bitrades. In particular, we show the existence of minimal, $k$-homogeneous latin trades for each odd $k\geq 3$. In some cases these are the smallest known such examples.
Asymptotics of the Euler number of bipartite graphs
Published in Advances in Applied Mathematics 44 (2010) 155--167
• View Publication
• BIB
We define the Euler number of a bipartite graph on $n$ vertices to be the number of labelings of the vertices with $1,2,...,n$ such that the vertices alternate in being local maxima and local minima. We reformulate the problem of computing the Euler number of certain subgraphs of the Cartesian product of a graph $G$ with the path $P_m$ in terms of self adjoint operators. The asymptotic expansion of the Euler number is given in terms of the eigenvalues of the associated operator. For two classes of graphs, the comb graphs and the Cartesian product $P_2 \Box P_m$, we numerically solve the eigenvalue problem.
When the orbit algebra of group is an integral domain? Proof of a conjecture of P.J. Cameron
Published
• View Publication
• BIB
P.J.Cameron introduced the orbit algebra of a permutation group and conjectured that this algebra is an integral domain if and only if the group has no finite orbit. We prove that this conjecture holds and in fact that the age algebra of a relational structure $R$ is an integral domain if and only if $R$ is age-inexhaustible. We deduce these results from a combinatorial lemma asserting that if a product of two non-zero elements of a set algebra is zero then there is a finite common tranversal of their supports. The proof is built on Ramsey theorem and the integrity of a shuffle algebra.
Generalized characteristic polynomials of graph bundles
Published in Linear Algebra and its Applications 429 (2008) 688--697
• View Publication
• BIB
In this paper, we find computational formulae for generalized characteristic polynomials of graph bundles. We show that the number of spanning trees in a graph is the partial derivative (at (0,1)) of the generalized characteristic polynomial of the graph. Since the reciprocal of the Bartholdi zeta function of a graph can be derived from the generalized characteristic polynomial of a graph, consequently, the Bartholdi zeta function of a graph bundle can be computed by using our computational formulae.
Where the monotone pattern (mostly) rules
We consider pattern containment and avoidance with a very tight definition that was used first by Riordan more than 60 years ago. Using this definition, we prove the monotone pattern is easier to avoid than almost any other pattern of the same length.
We also show that with this definition, almost all patterns of length $k$ are avoided by the same number of permutations of length $n$. The corresponding statements are not known to be true for more relaxed definitions of pattern containment. This is the first time we know of that expectations are used to compare numbers of permutations avoiding certain patterns.
On a {K_4,K_{2,2,2}}-ultrahomogeneous graph
Published in Australasian Jour. of Combinatorics, 44 (2009), 63--75
• Search Publication
The existence of a connected 12-regular $\{K_4,K_{2,2,2}\}$-ultrahomogeneous graph $G$ is established, (i.e. each isomorphism between two copies of $K_4$ or $K_{2,2,2}$ in $G$ extends to an automorphism of $G$), with the 42 ordered lines of the Fano plane taken as vertices. This graph $G$ can be expressed in a unique way both as the edge-disjoint union of 42 induced copies of $K_4$ and as the edge-disjoint union of 21 induced copies of $K_{2,2,2}$, with no more copies of $K_4$ or $K_{2,2,2}$ existing in $G$. Moreover, each edge of $G$ is shared by exactly one copy of $K_4$ and one of $K_{2,2,2}$. While the line graphs of $d$-cubes, ($3\le d\in\ZZ$), are $\{K_d, K_{2,2}\}$-ultrahomogeneous, $G$ is not even line-graphical. In addition, the chordless 6-cycles of $G$ are seen to play an interesting role and some self-dual configurations associated to $G$ with 2-arc-transitive, arc-transitive and semisymmetric Levi graphs are considered.