Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Decomposing sequences into monotonic subsequences
The function f:X -> Y is called k-monotonically increasing if there is a partition X = X_1 U ... U X_k such that f|X_i : X_i -> Y is monotonically increasing for i=1,...,k. It is proved that a one-to-one function f:N -> N is k-monotonically increasing if and only if every set of k+1 positive integers contains two integers x,x' with x < x' such that f(x) <= f(x'). The function f:X \to Y is called k-monotonic if there is a partition X = X_1 U ... U X_k such that f|X_i : X_i -> Y is monotonically increasing or monotonically decreasing for i=1,...,k. It is also proved that there does not exist a k-monotonic function from N onto Q.
An Extremal Problem On Potentially $K_{r+1}-(kP_2\bigcup tK_2)$-graphic Sequences
Published in International Journal of Applied Mathematics & Statistics,14(2009), 30-36
• Search Publication
A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $σ(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine $σ(K_{r+1}-(kP_2\bigcup tK_2), n)$ for $n\geq 4r+10, r+1 \geq 3k+2t, k+t \geq 2,k \geq 1, t \geq 0$ .
Quasicrystals: algebraic, combinatorial and geometrical aspects
The paper presents mathematical models of quasicrystals with particular attention given to cut-and-project sets. We summarize the properties of higher-dimensional quasicrystal models and then focus on the one-dimensional ones. For the description of their properties we use the methods of combinatorics on words.
Factor versus palindromic complexity of uniformly recurrent infinite words
We study the relation between the palindromic and factor complexity of infinite words. We show that for uniformly recurrent words one has P(n)+P(n+1) \leq ΔC(n) + 2, for all n \in N. For a large class of words it is a better estimate of the palindromic complexity in terms of the factor complexity then the one presented by Allouche et al. We provide several examples of infinite words for which our estimate reaches its upper bound. In particular, we derive an explicit prescription for the palindromic complexity of infinite words coding r-interval exchange transformations. If the permutation πconnected with the transformation is given by π(k)=r+1-k for all k, then there is exactly one palindrome of every even length, and exactly r palindromes of every odd length.
Palindromic complexity of infinite words associated with simple Parry numbers
A simple Parry number is a real number β>1 such that the Rényi expansion of 1 is finite, of the form d_β(1)=t_1...t_m. We study the palindromic structure of infinite aperiodic words u_βthat are the fixed point of a substitution associated with a simple Parry number β. It is shown that the word u_βcontains infinitely many palindromes if and only if t_1=t_2= ... =t_{m-1} \geq t_m. Numbers βsatisfying this condition are the so-called confluent Pisot numbers. If t_m=1 then u_βis an Arnoux-Rauzy word. We show that if βis a confluent Pisot number then P(n+1)+ P(n) = C(n+1) - C(n)+ 2, where P(n) is the number of palindromes and C(n) is the number of factors of length n in u_β. We then give a complete description of the set of palindromes, its structure and properties.
On the number of circuits in random graphs
Published in J. Stat. Mech. P06019 (2006).
• View Publication
• BIB
We apply in this article (non rigorous) statistical mechanics methods to the problem of counting long circuits in graphs. The outcomes of this approach have two complementary flavours. On the algorithmic side, we propose an approximate counting procedure, valid in principle for a large class of graphs. On a more theoretical side, we study the typical number of long circuits in random graph ensembles, reproducing rigorously known results and stating new conjectures.
On the frequency of permutations containing a long cycle
Published in Journal of Algebra, 300(1), 289-304, 2006
• View Publication
• BIB
A general explicit upper bound is obtained for the proportion $P(n,m)$ of elements of order dividing $m$, where $n-1 \le m \le cn$ for some constant $c$, in the finite symmetric group $S_n$. This is used to find lower bounds for the conditional probabilities that an element of $S_n$ or $A_n$ contains an $r$-cycle, given that it satisfies an equation of the form $x^{rs}=1$ where $s\leq3$. For example, the conditional probability that an element $x$ is an $n$-cycle, given that $x^n=1$, is always greater than 2/7, and is greater than 1/2 if $n$ does not divide 24. Our results improve estimates of these conditional probabilities in earlier work of the authors with Beals, Leedham-Green and Seress, and have applications for analysing black-box recognition algorithms for the finite symmetric and alternating groups.
A matroid invariant via the K-theory of the Grassmannian
Published
• View Publication
• BIB
Let G(d,n) denote the Grassmannian of d-planes in C^n and let T be the torus (C^*)^n/diag(C^*) which acts on G(d,n). Let x be a point of G(d,n) and let \bar{Tx} be the closure of the T-orbit through x. Then the class of the structure sheaf of \bar{Tx} in the K-theory of G(d,n) depends only on which Plücker coordinates of x are nonzero -- combinatorial data known as the matroid of x. In this paper, we will define a certain map of additive groups from the K-theory of G(d,n) to Z[t]. Letting g_x(t) denote the image of (-1)^{n-dim Tx} [ O_{\bar{Tx}}], g_x behaves nicely under the standard constructions of matroid theory. Specifically, g_{x_1 \oplus x_2}(t)=g_{x_1}(t) g_{x_2}(t), g_{x_1 +_2 x_2}(t)=g_{x_1}(t) g_{x_2}(t)/t, g_x(t) = g_{x^{\perp}}(t) and g_x is unaltered by series and parallel extensions. Furthermore, the coefficients of g_x are nonnegative. The existence of this map implies bounds on (essentially equivalently) the complexity of Kapranov's Lie complexes, Hacking, Keel and Tevelev's very stable pairs and the author's tropical linear spaces when they are realizable in characteristic zero. Namely, in characteristic zero, a Lie complex or the underlying d-1 dimensional scheme of a very stable pair can have at most (n-i-1)! / (d-i)!(n-d-i)!(i-1)! strata of dimensions n-i and d-i respectively and a tropical linear space realizable in characteristic zero can have at most this many i-dimensional bounded faces.
A new random mapping model
We introduce a new random mapping model, $T_n^{\hat D}$, which maps the set $\{1,2,...,n\}$ into itself.The random mapping $T_n^{\hat D}$ is constructed using a collection of exchangeable random variables $\hat{D}_1, ....,\hat{D}_n$ which satisfy $\sum_{i=1}^n\hat{D}_i=n$. In the random digraph,$G_n^{\hat D}$, which represents the mapping $T_n^{\hat D}$, the in-degree sequence for the vertices is given by the variables $\hat{D}_1, \hat{D}_2, ..., \hat{D}_n$, and, in some sense,$G_n^{\hat D}$ can be viewed as an analogue of the general independent degree models from random graph theory. We show that the distribution of the number of cyclic points, the number of components,and the size of a typical component can be expressed in terms of expectations of various functions of $\hat{D}_1, \hat{D}_2, ..., \hat{D}_n$. We also consider two special examples of $T_n^{\hat D}$ which correspond to random mappings with preferential and anti-preferential attachment, respectively, and determine, for these examples, exact and asymptotic distributions for the statistics mentioned above.
On the local structure of doubly laced crystals
Published
• View Publication
• BIB
Let $\mathfrak{g}$ be a Lie algebra all of whose regular subalgebras of rank 2 are type $A_{1}\times A_{1}$, $A_{2}$, or $C_{2}$, and let $B$ be a crystal graph corresponding to a representation of $\mathfrak{g}$. We explicitly describe the local structure of $B$, confirming a conjecture of Stembridge.
On the size of spheres of relations with a transitive group of automorphisms
Let $Γ=(V,E)$ be a point-transitive reflexive relation. Let $v\in V$ and put $r=|Γ(v)|.$ Also assume $Γ^j(v)\cap Γ^{-}(v)=\{v\}$. Then $$ |Γ^{j} (v)\setminus Γ^{j-1} (v)| \ge r-1.$$
In particular we have $ |Γ^{j} (v)| \ge 1+(r-1)j.$ The last result confirms a recent conjecture of Seymour in the case vertex-transitive graphs. Also it gives a short proof for the validity of the Caccetta-Häggkvist conjecture for vertex-transitive graphs and generalizes an additive result of Shepherdson.
Strongly regular Cayley graphs over primary abelian groups of rank 2
Strongly regular Cayley graphs with Paley parameters over abelian groups of rank 2 were studied in [J.A Davis, Partial difference sets in p-groups, Arch.Math.63 (1994) 103-110; K.H Leung, S.L. Ma, Partial difference sets with Paley parameters, Bull. London Math Soc. 27 (1995) 553-564]. It was shown that such graphs exist iff the corresponding group is isomorphic to ${\mathbb Z}_{p^n} \oplus {\mathbb Z}_{p^n}$, where $p$ is an odd prime. In this paper we classify all strongly regular Cayley graphs over this group using Schur rings method. As a consequence we obtain a complete classification of strongly regular Cayley graphs with Paley parameters over abelian groups of rank 2.
Alternating permutations and symmetric functions
Published
• View Publication
• BIB
We use the theory of symmetric functions to enumerate various classes of alternating permutations w of {1,2,...,n}. These classes include the following: (1) both w and w^{-1} are alternating, (2) w has certain special shapes, such as (m-1,m-2,...,1), under the RSK algorithm, (3) w has a specified cycle type, and (4) w has a specified number of fixed points. We also enumerate alternating permutations of a multiset. Most of our formulas are umbral expressions where after expanding the expression in powers of a variable E, E^k is interpreted as the Euler number E_k. As a small corollary, we obtain a combinatorial interpretation of the coefficients of an asymptotic expansion appearing in Ramanujan's Lost Notebook.
The Caccetta-Haggkvist conjecture and additive number theory
Published in Analytic Number Theory: Essays in Honour of Klaus F. Roth, Cambridge Univ. Press, 2009, pp. 347--358
• Search Publication
The Caccetta-Haggkvist conjecture states that if G is a finite directed graph with at least n/k edges going out of each vertex, then G contains a directed cycle of length at most k. Hamidoune used methods and results from additive number theory to prove the conjecture for Cayley graphs and for vertex-transitive graphs. This expository paper contains a survey of results on the Caccetta-Haggkvist conjecture, and complete proofs of the conjecture in the case of Cayley and vertex-transitive graphs.
Stratified Morse Theory in Arrangements
Published in Pure Appl. Math. Q. 2 (2006), 673-697
• View Publication
• BIB
This paper is a survey of our work based on the stratified Morse theory of Goresky and MacPherson. First we discuss the Morse theory of Euclidean space stratified by an arrangement. This is used to show that the complement of a complex hyperplane arrangement admits a minimal cell decomposition. Next we review the construction of a cochain complex whose cohomology computes the local system cohomology of the complement of a complex hyperplane arrangement. Then we present results on the Gauss-Manin connection for the moduli space of arrangements of a fixed combinatorial type in rank one local system cohomology.
Avoidance of Partitions of a Three-element Set
Published
• View Publication
• BIB
Klazar defined and studied a notion of pattern avoidance for set partitions, which is an analogue of pattern avoidance for permutations. Sagan considered partitions which avoid a single partition of three elements. We enumerate partitions which avoid any family of partitions of a 3-element set as was done by Simion and Schmidt for permutations. We also consider even and odd set partitions. We provide enumerative results for set partitions restricted by generalized set partition patterns, which are an analogue of the generalized permutation patterns of Babson and Steingr{í}msson. Finally, in the spirit of work done by Babson and Steingr{'ı}msson, we will show how these generalized partition patterns can be used to describe set partition statistics.
On Fleck quotients
Published in Acta Arith. 127(2007), no.4, 337-363
• View Publication
• BIB
Let $p$ be a prime, and let $n>0$ and $r$ be integers. In this paper we study Fleck's quotient $$F_p(n,r)=(-p)^{-\lfloor(n-1)/(p-1)\rfloor} \sum_{k=r(mod p)}\binom {n}{k}(-1)^k\in Z.$$
We determine $F_p(n,r)$ mod $p$ completely by certain number-theoretic and combinatorial methods; consequently, if $2\le n\le p$ then $$\sum_{k=1}^n(-1)^{pk-1}\binom{pn-1}{pk-1} \equiv(n-1)!B_{p-n}p^n (mod p^{n+1}),$$ where $B_0,B_1,...$ are Bernoulli numbers. We also establish the Kummer-type congruence $F_p(n+p^a(p-1),r)\equiv F_p(n,r) (mod p^a)$ for $a=1,2,3,...$, and reveal some connections between Fleck's quotients and class numbers of the quadratic fields $\Q(\sqrt{\pm p})$ and the $p$-th cyclotomic field $\Q(ζ_p)$. In addition, generalized Fleck quotients are also studied in this paper.
Quasiinvariants of $S_3$
Published in J. Combin. Theory Ser. A 109 (2005), no. 2, 281--298
• View Publication
• BIB
Let $s_{ij}$ represent a tranposition in $S_n$. A polynomial $P$ in $\mathbb{Q}[X_n]$ is said to be $m$-quasiinvariant with respect to $S_n$ if $(x_i-x_j)^{2m+1}$ divides $(1-s_{ij})P$ for all $1 \leq i, j \leq n$. We call the ring $m$-quasiinvariants $QI_m[X_n]$. We describe a method for constructing a basis for the quotient $QI_m[X_3]/< e_1, e_2, e_3>$. This leads to the evaluation of certain binomial determinants that are interesting in their own right.
A basis for the right quantum algebra and the "1=q" principle
Published
• View Publication
• BIB
We construct a basis for the right quantum algebra introduced by Garoufalidis, Le and Zeilberger and give a method making it possible to go from an algebra submitted to commutation relations (without the variable q) to the right quantum algebra by means of an appropriate weight-function. As a consequence, a strong quantum MacMahon Master Theorem is derived. Besides, the algebra of biwords is systematically in use.
A New Proof of the Garoufalidis-Le-Zeilberger Quantum MacMahon Master Theorem
Published
• View Publication
• BIB
We propose a new proof of the quantum version of MacMahon's Master Theorem, established by Garoufalidis, Le and Zeilberger.