arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81623 papers, 47312 authors in database)
2006-11-29
Some statistics on permutations avoiding generalized patterns
In the last decade a huge amount of articles has been published studying pattern avoidance on permutations. From the point of view of enumeration, typically one tries to count permutations avoiding certain patterns according to their lengths. Here we tackle the problem of refining this enumeration by considering the statistics "first/last entry". We give complete results for every generalized patterns of type $(1,2)$ or $(2,1)$ as well as for some cases of permutations avoiding a pair of generalized patterns of the above types.
2006-11-28 v2
On the Oriented Chromatic Number of Dense Graphs
Published in Contributions to Discrete Mathematics 2(2):145-152, 2007 • View PublicationBIB
Let $G$ be a graph with $n$ vertices, $m$ edges, average degree $δ$, and maximum degree $Δ$. The "oriented chromatic number" of $G$ is the maximum, taken over all orientations of $G$, of the minimum number of colours in a proper vertex colouring such that between every pair of colour classes all edges have the same orientation. We investigate the oriented chromatic number of graphs, such as the hypercube, for which $δ\geq\log n$. We prove that every such graph has oriented chromatic number at least $Ω(\sqrt{n})$. In the case that $δ\geq(2+ε)\log n$, this lower bound is improved to $Ω(\sqrt{m})$. Through a simple connection with harmonious colourings, we prove a general upper bound of $O(Δ\sqrt{n})$ on the oriented chromatic number. Moreover this bound is best possible for certain graphs. These lower and upper bounds are particularly close when $G$ is ($c\log n$)-regular for some constant $c>2$, in which case the oriented chromatic number is between $Ω(\sqrt{n\log n})$ and $O(\sqrt{n}\log n)$.
2006-11-28 v3
Generalized bialgebras and triples of operads
Published in Aste'risque 320 (2008), vi+114 pp. • View PublicationBIB
We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its primitive part. This structure theorem extends the classical Poincaré-Birkhoff-Witt theorem and the Cartier-Milnor-Moore theorem, valid for cocommutative bialgebras, to a large class of generalized bialgebras. Technically we work in the theory of operads which permits us to give a conceptual proof of our main theorem. It unifies several results, generalizing PBW and CMM, scattered in the literature. We treat many explicit examples and suggest a few conjectures.
2006-11-28
A centrally symmetric version of the cyclic polytope
Published • View PublicationBIB
We define a centrally symmetric analogue of the cyclic polytope and study its facial structure. We conjecture that our polytopes provide asymptotically the largest number of faces in all dimensions among all centrally symmetric polytopes with n vertices of a given even dimension d=2k when d is fixed and n grows. For a fixed even dimension d=2k and an integer 0< j <k we prove that the maximum possible number of j-dimensional faces of a centrally symmetric d-dimensional polytope with n vertices is at least (c_j(d)+o(1)) {n \choose j+1} for some c_j(d)>0 and at most (1-2^{-d}+o(1)){n \choose j+1} as n grows. We show that c_1(d) \geq (d-2)/(d-1).
2006-11-27
An Extension of the Foata Map to Standard Young Tableaux
Published in Sem. Loth. Comb. 56 (2006), Article B56C • Search Publication
We define an inversion statistic on standard Young tableaux. We prove that this statistic has the same distribution over SYT(λ) as the major index statistic by exhibiting a bijection on SYT(λ) in the spirit of the Foata map on permutations.
2006-11-27
A generating algorithm for ribbon tableaux and spin polynomials
Published • View PublicationBIB
We describe a general algorithm for generating various families of ribbon tableaux and computing their spin polynomials. This algorithm is derived from a new matricial coding. An advantage of this new notation lies in the fact that it permits one to generate ribbon tableaux with skew shapes. This algorithm permits us to compute quickly big LLT polynomials in MuPAD-Combinat.
2006-11-27
Polynomials with real zeros and Polya frequency sequences
Published in J. Combin. Theory Ser. A 109 (2005) 63--74 • View PublicationBIB
Let $f(x)$ and $g(x)$ be two real polynomials whose leading coefficients have the same sign. Suppose that $f(x)$ and $g(x)$ have only real zeros and that $g$ interlaces $f$ or $g$ alternates left of $f$. We show that if $ad\ge bc$ then the polynomial $$(bx+a)f(x)+(dx+c)g(x)$$ has only real zeros. Applications are related to certain results of F.Brenti (Mem. Amer. Math. Soc. 413 (1989)) and transformations of Pólya frequency sequences. More specifically, suppose that $A(n,k)$ are nonnegative numbers which satisfy the recurrence $$A(n,k)=(rn+sk+t)A(n-1,k-1)+(an+bk+c)A(n-1,k)$$ for $n\ge 1$ and $0\le k\le n$, where $A(n,k)=0$ unless $0\le k\le n$. We show that if $rb\ge as$ and $(r+s+t)b\ge (a+c)s$, then for each $n\ge 0$, $A(n,0),A(n,1),...,A(n,n)$ is a Pólya frequency sequence. This gives a unified proof of the PF property of many well-known sequences including the binomial coefficients, the Stirling numbers of two kinds and the Eulerian numbers.
2006-11-27 v2
$q$-Eulerian polynomials and polynomials with only real zeros
Published in The Electronic Journal of Combinatorics 15 (2008) #R17 • View PublicationBIB
Let $f$ and $F$ be two polynomials satisfying $F(x)=u(x)f(x)+v(x)f'(x)$. We characterize the relation between the location and multiplicity of the real zeros of $f$ and $F$, which generalizes and unifies many known results, including the results of Brenti and Brändén about the $q$-Eulerian polynomials.
2006-11-27
An order-refined and generalized version of the Erdos-Szekeres theorem on convex polygons
The Erdos-Szekeres theorem states that for any natural k there is a natural number g(k) such that any set of at least g(k) points on a plane in general position contains a set of k points that are the extreme points of a convex polytope. We generalize and refine this theorem, having the general-position condition removed and a convex polygon defined as an ordered sequence of points such that the union of the edges of the polygon coincides with the boundary of its convex hull.
2006-11-27
Graphs with restricted valency and matching number
Published • View PublicationBIB
Consider the family of all finite graphs with maximum degree $Δ(G)<d$ and matching number $ν(G)<m$. In this paper we give a new proof to obtain the exact upper bound for the number of edges in such graphs and also characterize all the cases when the maximal graph is unique. We also provide a new proof of Gallai's lemma concerning factor critical graphs.
2006-11-26 v2
On combinatorial problem concerning partitions of a box into boxes
Published in Journal of Natural Geometry 8 (1995), no. 2, pp. 129-132 • Search Publication
We consider partitions of n-dimensional boxes in R^n, n>1, into a finite number of boxes with pairwise disjoint interiors. We study sets X \subseteq (0,\infty) with the Property (W_n): for every n-dimensional box P and every partition of P, if each constituent box has one side with the length belonging to X, then the length of one side of P belongs to X. We prove that the set X \subseteq (0,\infty) has Property (W_n) if and only if X is closed with respect to the operations: x+y and x+y+z-2min(x,y,z).
2006-11-25
Colored loop-erased random walk on the complete graph
Published • View PublicationBIB
Starting from a sequence regarded as a walk through some set of values, we consider the associated loop-erased walk as a sequence of directed edges, with an edge from $i$ to $j$ if the loop erased walk makes a step from $i$ to $j$. We introduce a coloring of these edges by painting edges with a fixed color as long as the walk does not loop back on itself, then switching to a new color whenever a loop is erased, with each new color distinct from all previous colors. The pattern of colors along the edges of the loop-erased walk then displays stretches of consecutive steps of the walk left untouched by the loop-erasure process. Assuming that the underlying sequence generating the loop-erased walk is a sequence of independent random variables, each uniform on $[N]:=\{1, 2, ..., N\}$, we condition the walk to start at $N$ and stop the walk when it first reaches the subset $[k]$, for some $1 \leq k \leq N-1$. We relate the distribution of the random length of this loop-erased walk to the distribution of the length of the first loop of the walk, via Cayley's enumerations of trees, and via Wilson's algorithm. For fixed $N$ and $k$, and $i = 1,2, ...$, let $B_i$ denote the event that the loop-erased walk from $N$ to $[k]$ has $i +1$ or more edges, and the $i^{th}$ and $(i+1)^{th}$ of these edges are colored differently. We show that given that the loop-erased random walk has $j$ edges for some $1\leq j \leq N-k$, the events $B_i$ for $1 \leq i \leq j-1$ are independent, with the probability of $B_i$ equal to $1/(k+i+1)$. This determines the distribution of the sequence of random lengths of differently colored segments of the loop-erased walk, and yields asymptotic descriptions of these random lengths as $N \to \infty$.
2006-11-25 v2
Parabolic conjugacy in general linear groups
Published • View PublicationBIB
Let q be a power of a prime and n a positive integer. Let P(q) be a parabolic subgroup of the finite general linear group GL(n,q). We show that the number of P(q)-conjugacy classes in GL(n,q) is, as a function of q, a polynomial in q with integer coefficients. This answers a question of J. Alperin.
2006-11-25
Affine transformations of a Leonard pair
Published • View PublicationBIB
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A : V \to V$ and $A^* : V \to V$ that satisfy (i) and (ii) below: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. Let $x$, $c$, $x^*$, $c^*$ denote scalars in $K$ with $x$, $x^*$ nonzero, and note that $xA+cI$, $x^*A^* + c^*I$ is a Leonard pair on $V$. We give necessary and sufficient conditions for this Leonard pair to be isomorphic to the Leonard pair $A$, $A^*$. We also give necessary and sufficient conditions for this Leonard pair to be isomorphic to the Leonard pair $A^*$, $A$.
2006-11-25
A note on Talagrand's convex hull concentration inequality
Published • View PublicationBIB
The paper reexamines an argument by Talagrand that leads to a remarkable exponential tail bound for the concentration of probability near a set. The main novelty is the replacement of a mysterious Calculus inequality by an application of Jensen's inequality.
2006-11-24 v2
Orbital graphs of infinite primitive permutation groups
Published in Journal of Group Theory 10 (2007) 817-828 • View PublicationBIB
If $G$ is a group acting on a set $Ω$ and $α, β\in Ω$, the digraph whose vertex set is $Ω$ and whose arc set is the orbit $(α, β)^G$ is called an {\em orbital digraph} of $G$. Each orbit of the stabiliser $G_α$ acting on $Ω$ is called a {\it suborbit} of $G$. A digraph is {\em locally finite} if each vertex is adjacent to at most finitely many other vertices. A locally finite digraph $Γ$ has more than one end if there exists a finite set of vertices $X$ such that the induced digraph $Γ\setminus X$ contains at least two infinite connected components; if there exists such a set containing precisely one element, then $Γ$ has {\em connectivity one}. In this paper we show that if $G$ is a primitive permutation group whose suborbits are all finite, possessing an orbital digraph with more than one end, then $G$ has a primitive connectivity-one orbital digraph, and this digraph is essentially unique. Such digraphs resemble trees in many respects, and have been fully characterised in a previous paper by the author.
2006-11-24 v2
An analogue of the Kubilius main theorem for quasi-logarithmic structures
This paper has been withdrawn by the author; a revised version is part of the author's phd-thesis "Quasi-logarithmic structures" (Zurich, 2007).
2006-11-24
Subdegree growth rates of infinite primitive permutation groups
Published in Journal of the London Mathematical Society 82 (2010) 526-548 • View PublicationBIB
A transitive group $G$ of permutations of a set $Ω$ is primitive if the only $G$-invariant equivalence relations on $Ω$ are the trivial and universal relations. If $α\in Ω$, then the orbits of the stabiliser $G_α$ on $Ω$ are called the $α$-suborbits of $G$; when $G$ acts transitively the cardinalities of these $α$-suborbits are the subdegrees of $G$. If $G$ acts primitively on an infinite set $Ω$, and all the suborbits of $G$ are finite, Adeleke and Neumann asked if, after enumerating the subdegrees of $G$ as a non-decreasing sequence $1 = m_0 \leq m_1 \leq ...$, the subdegree growth rates of infinite primitive groups that act distance-transitively on locally finite distance-transitive graphs are extremal, and conjecture there might exist a number $c$ which perhaps depends upon $G$, perhaps only on $m$, such that $m_r \leq c(m-2)^{r-1}$. In this paper it is shown that such an enumeration is not desirable, as there exist infinite primitive permutation groups possessing no infinite subdegree, in which two distinct subdegrees are each equal to the cardinality of infinitely many suborbits. The examples used to show this provide several novel methods for constructing infinite primitive graphs. A revised enumeration method is then proposed, and it is shown that, under this, Adeleke and Neumann's question may be answered, at least for groups exhibiting suitable rates of growth.
2006-11-24
Combinatorial remarks on a classical theorem of Deligne
We examine Deligne's classical proof of the asphericity of simplicial arrangements from the viewpoint of the combinatorics of the poset of regions of the arrangement. This turns out to be very natural. In particular, we show that an arrangement is simplicial only if it satisfies Deligne's property on positive paths, thus answering a question posed by Luis Paris.
2006-11-23
The Classification of Flag-transitive Steiner 4-Designs
Published • View PublicationBIB
Among the properties of homogeneity of incidence structures flag-transitivity obviously is a particularly important and natural one. Consequently, in the last decades also flag-transitive Steiner tdesigns (i.e. flag-transitive t-(v,k,1) designs) have been investigated, whereas only by the use of the classification of the finite simple groups has it been possible in recent years to essentially characterize all flag-transitive Steiner 2-designs. However, despite the finite simple group classification, for Steiner t-designs with parameters t > 2 such characterizations have remained challenging open problems for about 40 years (cf. [11, p. 147] and [12, p. 273], but presumably dating back to around 1965). The object of the present paper is to give a complete classification of all flag-transitive Steiner 4-designs. Our result relies on the classification of the finite doubly transitive permutation groups and is a continuation of the author's work [20, 21] on the classification of all flag-transitive Steiner 3-designs.