Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Restricted involutions and Motzkin paths
Published
• View Publication
• BIB
We show how a bijection due to Biane between involutions and labelled Motzkin paths yields bijections between Motzkin paths and two families of restricted involutions that are counted by Motzkin numbers, namely, involutions avoiding 4321 and 3412. As a consequence, we derive characterizations of Motzkin paths corresponding to involutions avoiding either 4321 or 3412 together with any pattern of length 3. Furthermore, we exploit the described bijection to study some notable subsets of the set of restricted involutions, namely, fixed point free and centrosymmetric restricted involutions.
On sums of three squares
We prove that a positive integer not of the form, 4^{k}(8m+7) can be expressible as a sum of three or fewer squares by using some results of Kane and Sun on mixed sums of squares and triangular numbers.
Toric ideals generated by circuits
Published in Algebra Colloq. 19 (2012), no. 4, 665--672
• View Publication
• BIB
Let I be the toric ideal of a homogeneous normal configuration. We prove that I is generated by circuits if and only if each unbalanced circuit of I has a "connector" which is a linear combination of circuits with a square-free term. In particular if each circuit of I with non-square-free terms is balanced, then I is generated by circuits. As a consequence we prove that the toric ideal of a normal edge subring of a multigraph is generated by circuits with a square-free term.
An Analytic Approach to Stability
Published
• View Publication
• BIB
The stability method is very useful for obtaining exact solutions of many extremal graph problems. Its key step is to establish the stability property which, roughly speaking, states that any two almost optimal graphs of the same order $n$ can be made isomorphic by changing o(n^2) edges.
Here we show how the recently developed theory of graph limits can be used to give an analytic approach to stability. As an application, we present a new proof of the Erdos-Simonovits Stability Theorem.
Also, we investigate various properties of the edit distance. In particular, we show that the combinatorial and fractional versions are within a constant factor from each other, thus answering a question of Goldreich, Krivelevich, Newman, and Rozenberg.
Face vectors of two-dimensional Buchsbaum complexes
Published in The Electronic Journal of Combinatorics 16 (2009), R68
• View Publication
• BIB
In this paper, we characterize all possible h-vectors of 2-dimensional Buchsbaum simplicial complexes.
Non-degenerate colorings in the Brook's Theorem
Published in Diskretnaya Matematika, 2009 N4 pp. 105-128
• View Publication
• BIB
Let $c\geq 2$ and $p\geq c$ be two integers. We will call a proper coloring of the graph $G$ a \textit{$(c,p)$-nondegenerate}, if for any vertex of $G$ with degree at least $p$ there are at least $c$ vertices of different colors adjacent to it. In our work we prove the following result, which generalizes Brook's Theorem. Let $D\geq 3$ and $G$ be a graph without cliques on $D+1$ vertices and the degree of any vertex in this graph is not greater than $D$. Then for every integer $c\geq 2$ there is a proper $(c,p)$-nondegenerate vertex $D$-coloring of $G$, where $p=(c^3+8c^2+19c+6)(c+1).$ During the primary proof, some interesting corollaries are derived.
Bounds for the annealed return probability on large finite percolation clusters
Published in Electronic Journal of Probability 17 (2012), no. 79, 1-17
• View Publication
• BIB
Bounds for the expected return probability of the delayed random walk on finite clusters of an invariant percolation on transitive unimodular graphs are derived. They are particularly suited for the case of critical Bernoulli percolation and the associated heavy-tailed cluster size distributions. The upper bound relies on the fact that cartesian products of finite graphs with cycles of a certain minimal size are Hamiltonian. For critical Bernoulli bond percolation on the homogeneous tree this bound is sharp. The asymptotic type of the expected return probability for large times t in this case is of order of the 3/4'th power of 1/t.
Permutations sortable by n-4 passes through a stack
Published
• View Publication
• BIB
We characterise and enumerate permutations that are sortable by n-4 passes through a stack. We conjecture the number of permutations sortable by n-5 passes, and also the form of a formula for the general case n-k, which involves a polynomial expression.
Pattern Recognition on Oriented Matroids: Three-Tope Committees
A three-tope committee K* for a simple oriented matroid M is a 3-subset of its maximal covectors such that every positive halfspace of M contains at least two topes from K*. We consider three-tope committees as the vertex sets of triangles in graphs associated with the topes and enumerate them making use of the properties of the poset of convex subsets of the ground set of M.
Factor complexity of infinite words associated with non-simple Parry numbers
Published in Integers - Electronic Journal of Combinatorial Number Theory 9 (2009), 281-310
• View Publication
• BIB
The factor complexity of the infinite word $\ubeta$ canonically associated to a non-simple Parry number $β$ is studied. Our approach is based on the notion of special factors introduced by Berstel and Cassaigne. At first, we give a handy method for determining infinite left special branches; this method is applicable to a broad class of infinite words which are fixed points of a primitive substitution. In the second part of the article, we focus on infinite words $\ubeta$ only. To complete the description of its special factors, we define and study $(a,b)$-maximal left special factors. This enables us to characterize non-simple Parry numbers $β$ for which the word $\ubeta$ has affine complexity.
On a generalization of P(3,n)
By using techniques of poset representation theory, we present a formula for the number of partitions of a positive integer into three polygonal numbers.
Cutoff phenomena for random walks on random regular graphs
Published in Duke Math. J. 153, no. 3 (2010), 475-510
• View Publication
• BIB
The cutoff phenomenon describes a sharp transition in the convergence of a family of ergodic finite Markov chains to equilibrium. Many natural families of chains are believed to exhibit cutoff, and yet establishing this fact is often extremely challenging. An important such family of chains is the random walk on $\G(n,d)$, a random $d$-regular graph on $n$ vertices. It is well known that almost every such graph for $d\geq 3$ is an expander, and even essentially Ramanujan, implying a mixing-time of $O(\log n)$. According to a conjecture of Peres, the simple random walk on $\G(n,d)$ for such $d$ should then exhibit cutoff with high probability. As a special case of this, Durrett conjectured that the mixing time of the lazy random walk on a random 3-regular graph is w.h.p. $(6+o(1))\log_2 n$.
In this work we confirm the above conjectures, and establish cutoff in total-variation, its location and its optimal window, both for simple and for non-backtracking random walks on $\G(n,d)$. Namely, for any fixed $d\geq3$, the simple random walk on $\G(n,d)$ w.h.p. has cutoff at $\frac{d}{d-2}\log_{d-1} n$ with window order $\sqrt{\log n}$. Surprisingly, the non-backtracking random walk on $\G(n,d)$ w.h.p. has cutoff already at $\log_{d-1} n$ with constant window order. We further extend these results to $\G(n,d)$ for any $d=n^{o(1)}$ that grows with $n$ (beyond which the mixing time is O(1)), where we establish concentration of the mixing time on one of two consecutive integers.
Sprouts game on compact surfaces
Sprouts is a two-player topological game, invented in 1967 by Michael Paterson and John Conway. The game starts with p spots drawn on a sheet of paper, and lasts at most 3p-1 moves: the player who makes the last move wins.
Sprouts is a very intricate game and the best known manual analysis only achieved to find a winning strategy up to p=7 spots. Recent computer analysis reached up to p=32.
The standard game is played on a plane, or equivalently on a sphere. In this article, we generalize and study the game on any compact surface.
First, we describe the possible moves on a compact surface, and the way to implement them in a program. Then, we show that we only need to consider a finite number of surfaces to analyze the game with p spots on any compact surface: if we take a surface with a genus greater than some limit genus, then the game on this surface is equivalent to the game on some smaller surface. Finally, with computer calculation, we observe that the winning player on orientable surfaces seems to be always the same one as on a plane, whereas there are significant differences on non-orientable surfaces.
Translation-finite sets, and weakly compact derivations from $\lp{1}(\Z_+)$ to its dual
Published in Bull. London Math. Soc. 42 (2010), no. 3, 429--440
• View Publication
• BIB
We characterize those derivations from the convolution algebra $\ell^1({\mathbb Z}_+)$ to its dual which are weakly compact. In particular, we provide examples which are weakly compact but not compact. The characterization is combinatorial, in terms of "translation-finite" subsets of ${\mathbb Z}_+$, and we investigate how this notion relates to other notions of "smallness" for infinite subsets of ${\mathbb Z}_+$. In particular, we show that a set of strictly positive Banach density cannot be translation-finite; the proof has a Ramsey-theoretic flavour.
Counting decomposable multivariate polynomials
A polynomial f (multivariate over a field) is decomposable if f = g(h) with g univariate of degree at least 2. We determine the dimension (over an algebraically closed field) of the set of decomposables, and an approximation to their number over a finite field. The relative error in our approximations is exponentially decaying in the input size.
The structure of maximal zero-sum free Sequences
Published in Acta Arith. 143 (2010), 21-50
• View Publication
• BIB
Let n be an integer, and consider finite sequences of elements of the group Z/nZ x Z/nZ. Such a sequence is called zero-sum free, if no subsequence has sum zero. It is known that the maximal length of such a zero-sum free sequence is 2n-2, and Gao and Geroldinger conjectured that every zero-sum free sequence of this length contains an element with multiplicity at least n-2. By recent results of Gao, Geroldinger and Grynkiewicz, it essentially suffices to verify the conjecture for n prime. Now fix a sequence (a_i) of length 2n-2 with maximal multiplicity of elements at most n-3. There are different approeaches to show that (a_i) contains a zero-sum; some work well when (a_i) does contain elements with high multiplicity, others work well when all multiplicities are small. The aim of this article is to initiate a systematic approach to property B via the highest occurring multiplicities. Our main results are the following: denote by m_1 >= m_2 the two maximal multiplicities of (a_i), and suppose that n is sufficiently big and prime. Then (a_i) contains a zero-sum in any of the following cases: when m_2 >= 2/3n, when m_1 > (1-c)n, and when m_2 < cn, for some constant c > 0 not depending on anything.
A note on the subword complexes in Coxeter groups
We prove that the Stanley--Reisner ideal of the Alexander dual of the subword complexes in Coxeter groups has linear quotients with respect to the lexicographical order of the minimal monomial generators. As a consequence, we obtain a shelling order on the facets of the subword complex. We relate some invariants of the subword complexes or of their dual with invariants of the word. For a particular class of subword complexes, we prove that the Stanley--Reisner ring is a complete intersection ring.
Hessenberg Pairs of Linear Transformations
Published
• View Publication
• BIB
Let $\fld$ denote a field and $V$ denote a nonzero finite-dimensional vector space over $\fld$. We consider an ordered pair of linear transformations $A: V \to V$ and $A^*: V \to V$ that satisfy (i)--(iii) below. Each of $A, A^*$ is diagonalizable on $V$. There exists an ordering $\lbrace V_i \rbrace_{i=0}^d$ of the eigenspaces of $A$ such that A^* V_i \subseteq V_0 + V_1 + ... + V_{i+1} \qquad \qquad (0 \leq i \leq d), where $V_{-1} = 0$, $V_{d+1}= 0$. There exists an ordering $\lbrace V^*_i \rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that A V^*_i \subseteq V^*_0 + V^*_1 + ... +V^*_{i+1} \qquad \qquad (0 \leq i \leq δ), where $V^*_{-1} = 0$, $V^*_{δ+1}= 0$. We call such a pair a {\it Hessenberg pair} on $V$. In this paper we obtain some characterizations of Hessenberg pairs. We also explain how Hessenberg pairs are related to tridiagonal pairs.
Matrix Ansatz, lattice paths and rook placements
Published in DMTCS Proceedings, 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009), 313--324
• View Publication
• BIB
We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences of the pattern 13-2, the generating function according to weak exceedances and crossings, and the n-th moment of certain q-Laguerre polynomials.
Diophantine properties for q-analogues of Dirichlet's beta function at positive integers
Published
• View Publication
• BIB
small In this paper, we define $q$-analogues of Dirichlet's beta function at positive integers, which can be written as $β_q(s)=\sum_{k\geq1}\sum_{d|k}χ(k/d)d^{s-1}q^k$ for $s\in\N^*$, where $q$ is a complex number such that $|q|<1$ and $χ$ is the non trivial Dirichlet character modulo 4. For odd $s$, these expressions are connected with the automorphic world, in particular with Eisenstein series of level 4.
From this, we derive through Nesterenko's work the transcendance of the numbers $β_q(2s+1)$ for $q$ algebraic such that $0<|q|<1$. Our main result concerns the nature of the numbers $β_q(2s)$: we give a lower bound for the dimension of the vector space over $\Q$ spanned by $1,β_q(2),β_q(4),...,β_q(A)$, where $1/q\in\Z\setminus\{-1;1\}$ and $A$ is an even integer. As consequences, for $1/q\in\Z\setminus\{-1;1\}$, on the one hand there is an infinity of irrational numbers among $β_q(2),β_q(4),...$, and on the other hand at least one of the numbers $β_q(2),β_q(4),..., β_q(20)$ is irrational.