Showing 20 papers (Total: 82851 papers, 47869 authors in database)
An Orlik-Solomon type algebra for matroids with a fixed linear class of circuits
A family C of circuits of a matroid M is a linear class if, given a modular pair of circuits in C}, any circuit contained in the union of the pair is also in C. The pair (M,C) can be seen as a matroidal generalization of a biased graph. We introduce and study an Orlik-Solomon type algebra determined by (M,C). If C is the set of all circuits of M this algebra is the Orlik-Solomon algebra of M.
A combinatorial identity with application to Catalan numbers
Published in Discrete Math. 306(2006), 1921-1940
• View Publication
• BIB
By a very simple argument, we prove that if $l,m,n$ are nonnegative integers then $$\sum_{k=0}^l(-1)^{m-k}\binom{l}{k}\binom{m-k}{n}\binom{2k}{k-2l+m} =\sum_{k=0}^l\binom{l}{k}\binom{2k}{n}\binom{n-l}{m+n-3k-l}.
On the basis of this identity, for $d,r=0,1,2,...$ we construct explicit $F(d,r)$ and $G(d,r)$ such that for any prime $p>\max\{d,r\}$ we have
\sum_{k=1}^{p-1}k^r C_{k+d}\equiv \cases F(d,r)(mod p)& if 3|p-1, \\G(d,r)\ (mod p)& if 3|p-2,
where $C_n$ denotes the Catalan number $(n+1)^{-1}\binom{2n}{n}$. For example, when $p\geq 5$ is a prime, we have
\sum_{k=1}^{p-1}k^2C_k\equiv\cases-2/3 (mod p)& if 3|p-1, \1/3 (mod p)& if 3|p-2;
and
\sum_{0<k<p-4}\frac{C_{k+4}}k \equiv\cases 503/30 (mod p)& if 3|p-1, -100/3 (mod p)& if 3|p-2.
This paper also contains some new recurrence relations for Catalan numbers.
Notes on Nonrepetitive Graph Colouring
Published in Electronic J. Combinatorics 15:R99, 2008
• Search Publication
A vertex colouring of a graph is \emph{nonrepetitive on paths} if there is no path $v_1,v_2,...,v_{2t}$ such that v_i and v_{t+i} receive the same colour for all i=1,2,...,t. We determine the maximum density of a graph that admits a k-colouring that is nonrepetitive on paths. We prove that every graph has a subdivision that admits a 4-colouring that is nonrepetitive on paths. The best previous bound was 5. We also study colourings that are nonrepetitive on walks, and provide a conjecture that would imply that every graph with maximum degree $Δ$ has a $f(Δ)$-colouring that is nonrepetitive on walks. We prove that every graph with treewidth k and maximum degree $Δ$ has a $O(kΔ)$-colouring that is nonrepetitive on paths, and a $O(kΔ^3)$-colouring that is nonrepetitive on walks.
Quadrance polygons, association schemes and strongly regular graphs
Quadrance between two points A_1 = [x_1,y_1] and A_2 = [x_2,y_2] is the number Q (A_1, A_2) := (x_2 - x_1)^2 + (y_2 - y_1)^2. In this paper, we present some interesting results arise from this notation. In Section 1, we will study geometry over finite fields under quadrance notations. The main purpose of Section 1 is to answer the question, for which a_1,...,a_n, we have a polygon A_1...A_n such that Q(A_i,A_{i+1})=a_i for i = 1,...,n. In Section 2, using tools developed in Section 1, we define a family of association schemes over finite field space F_q x F_q where q is a prime power. These schemes give rise to a graph V_q with vertices the points of F_q^2, and where (X,Y) is an edge of V_q if and only if Q(X,Y) is a nonzero square number in F_q. In Section 3, we will show that V_q is a strongly regular graph and propose a conjecture about the maximal clique of V_q.
The range of multiplicative functions on C[x], R[x] and Z[x]
Published
• View Publication
• BIB
Mahler's measure is generalized to create the class of {\it multiplicative distance functions}. These functions measure the complexity of polynomials based on the location of their zeros in the complex plane. Following work of S.-J. Chern and J. Vaaler in \cite{chern-vaaler}, we associate to each multiplicative distance function two families of analytic functions which encode information about its range on \C[x] and \R[x]. These {\it moment functions} are Mellin transforms of distribution functions associated to the multiplicative distance function and demonstrate a great deal of arithmetic structure. For instance, we show that the moment function associated to Mahler's measure restricted to real reciprocal polynomials of degree 2N has an analytic continuation to rational functions with rational coefficients, simple poles at integers between -N and N, and a zero of multiplicity 2N at the origin. This discovery leads to asymptotic estimates for the number of reciprocal integer polynomials of fixed degree with Mahler measure less than T as $T \to \infty$. To explain the structure of this moment functions we show that the real moment functions of a multiplicative distance function can be written as Pfaffians of antisymmetric matrices formed from a skew-symmetric bilinear form associated to the multiplicative distance function.
Boxicity of Series Parallel Graphs
Published
• View Publication
• BIB
The three well-known graph classes, planar graphs (P), series-parallel graphs(SP) and outer planar graphs(OP) satisfy the following proper inclusion relation: OP C SP C P. It is known that box(G) <= 3 if G belongs to P and box(G) <= 2 if G belongs to OP. Thus it is interesting to decide whether the maximum possible value of the boxicity of series-parallel graphs is 2 or 3. In this paper we construct a series-parallel graph with boxicity 3, thus resolving this question. Recently Chandran and Sivadasan showed that for any G, box(G) <= treewidth(G)+2. They conjecture that for any k, there exists a k-tree with boxicity k+1. (This would show that their upper bound is tight but for an additive factor of 1, since the treewidth of any k-tree equals k.) The series-parallel graph we construct in this paper is a 2-tree with boxicity 3 and is thus a first step towards proving their conjecture.
Computing Groebner Fans
Published in Math. Comp. 76 (2007), 2189-2212
• View Publication
• BIB
This paper presents algorithms for computing the Groebner fan of an arbitrary polynomial ideal. The computation involves enumeration of all reduced Groebner bases of the ideal. Our algorithms are based on a uniform definition of the Groebner fan that applies to both homogeneous and non-homogeneous ideals and a proof that this object is a polyhedral complex. We show that the cells of a Groebner fan can easily be oriented acyclically and with a unique sink, allowing their enumeration by the memory-less reverse search procedure. The significance of this follows from the fact that Groebner fans are not always normal fans of polyhedra in which case reverse search applies automatically. Computational results using our implementation of these algorithms in the software package Gfan are included.
Calcul Moulien
Published
• View Publication
• BIB
This paper is an introduction to mould calculus as introduced by Jean Ecalle. We give a precise definition of moulds and describe there main properties. We translate mould symmetries (alterna(e)l and symetra(e)l) using non commutative formal power series in two given bialgebras. We apply this formalism to the problem of normal forms for vector fields and diffeomrophisms.
New bounds for Szemeredi's Theorem, I: Progressions of length 4 in finite field geometries
Published
• View Publication
• BIB
Let F be a fixed finite field of characteristic at least 5. Let G = F^n be the n-dimensional vector space over F, and write N := |G|. We show that if A is a subset of G with size at least c_F N(log N)^{-c}, for some absolute constant c > 0 and some c_F > 0, then A contains four distinct elements in arithmetic progression.
This is equivalent, in the usual notation of additive combinatorics, to the assertion that r_4(G) <<_F N(log N)^{-c}.
Domination Cover Pebbling: Structural Results
This paper continues the results of "Domination Cover Pebbling: Graph Families." An almost sharp bound for the domination cover pebbling (DCP) number for graphs G with specified diameter has been computed. For graphs of diameter two, a bound for the ratio between the cover pebbling number of G and the DCP number of G has been computed. A variant of domination cover pebbling, called subversion DCP is introducted, and preliminary results are discussed.
Evolutionary Trees and the Ising Model on the Bethe Lattice: a Proof of Steel's Conjecture
Published
• View Publication
• BIB
A major task of evolutionary biology is the reconstruction of phylogenetic trees from molecular data. The evolutionary model is given by a Markov chain on a tree. Given samples from the leaves of the Markov chain, the goal is to reconstruct the leaf-labelled tree.
It is well known that in order to reconstruct a tree on $n$ leaves, sample sequences of length $Ω(\log n)$ are needed. It was conjectured by M. Steel that for the CFN/Ising evolutionary model, if the mutation probability on all edges of the tree is less than $p^{\ast} = (\sqrt{2}-1)/2^{3/2}$, then the tree can be recovered from sequences of length $O(\log n)$. The value $p^{\ast}$ is given by the transition point for the extremality of the free Gibbs measure for the Ising model on the binary tree. Steel's conjecture was proven by the second author in the special case where the tree is "balanced." The second author also proved that if all edges have mutation probability larger than $p^{\ast}$ then the length needed is $n^{Ω(1)}$. Here we show that Steel's conjecture holds true for general trees by giving a reconstruction algorithm that recovers the tree from $O(\log n)$-length sequences when the mutation probabilities are discretized and less than $p^\ast$. Our proof and results demonstrate that extremality of the free Gibbs measure on the infinite binary tree, which has been studied before in probability, statistical physics and computer science, determines how distinguishable are Gibbs measures on finite binary trees.
Palindromic Prefixes and Diophantine Approximation
Published in Monatshefte Math. 151 (2007), 11-37
• View Publication
• BIB
This text is devoted to simultaneous approximation to $ξ$ and $ξ^2$ by rational numbers with the same denominator, where $ξ$ is a non-quadratic real number. We focus on an exponent $β_0(ξ)$ that measures the quality of such approximations (when they are exceptionally good). We prove that $β_0$ takes the same set of values as a combinatorial quantity that measures the abundance of palindrome prefixes in an infinite word $w$. This allows us to give a precise exposition of Roy's palindrome prefix method. The main tools we use are Davenport-Schmidt's sequence of minimal points and Roy's bracket operation.
Cylindrical lattice paths and the Loehr-Warrington 10^n conjecture
The following special case of a conjecture by Loehr and Warrington was proved recently by Ekhad, Vatter, and Zeilberger:
There are 10^n zero-sum words of length 5n in the alphabet {+3,-2} such that no zero-sum consecutive subword that starts with +3 may be followed immediately by -2.
We give a simple bijective proof of the conjecture in its original and more general setting. To do this we reformulate the problem in terms of cylindrical lattice paths.
On the distribution of surface extrema in several one- and two-dimensional random landscapes
Published
• View Publication
• BIB
We study here a standard next-nearest-neighbor (NNN) model of ballistic growth on one- and two-dimensional substrates focusing our analysis on the probability distribution function $P(M,L)$ of the number $M$ of maximal points (i.e., local ``peaks'') of growing surfaces. Our analysis is based on two central results: (i) the proof (presented here) of the fact that uniform one--dimensional ballistic growth process in the steady state can be mapped onto ''rise-and-descent'' sequences in the ensemble of random permutation matrices; and (ii) the fact, established in Ref. \cite{ov}, that different characteristics of ``rise-and-descent'' patterns in random permutations can be interpreted in terms of a certain continuous--space Hammersley--type process. For one--dimensional system we compute $P(M,L)$ exactly and also present explicit results for the correlation function characterizing the enveloping surface. For surfaces grown on 2d substrates, we pursue similar approach considering the ensemble of permutation matrices with long--ranged correlations. Determining exactly the first three cumulants of the corresponding distribution function, we define it in the scaling limit using an expansion in the Edgeworth series, and show that it converges to a Gaussian function as $L \to \infty$.
Derangements in Symmetric Cost Matrices
Let M be an n X n symmetric cost matrix. Assume that D is a derangement in M, i.e.,a set of disjoint cycles consisting of edges that contains all of the n points of M. The modified Floyd-Warshall algorithm applied to (D')^-1(M^-)A^- (where A is an asymmetric cost matrix containing D', a derangement)yielded a solution to the Assignment Problem in O((n^2)logn) running time. Here, applying a variation of the modified F-W to (D^-1)M^-1, we can obtain D = D_FWABS, the smallest-valued derangement obtainable using the modified F-W. Let T_TSPOPT be an optimal tour in M. We give conditions for obtaining D_ABSOLUTE, the smallest-valued derangement obtainable in M, where |D_ABSOLUTE| <= |T_TSPOPT|.
A Computer Proof of Turan's Inequality
We show how Turan's inequality $P_n(x)^2-P_{n-1}(x)P_{n+1}(x)\geq 0$ for Legendre polynomials and related inequalities can be proven by means of a computer procedure. The use of this procedure simplifies the daily work with inequalities. For instance, we have found the stronger inequality $|x|P_n(x)^2-P_{n-1}(x)P_{n+1}(x)\geq 0$, $-1\leq x\leq 1$, effortlessly with the aid of our method.
On the Number of Distinct Multinomial Coefficients
Published in Journal of Number Theory, Volume 118, Issue 1, May 2006, Pages 15-30
• View Publication
• BIB
We study M(n), the number of distinct values taken by multinomial coefficients with upper entry n, and some closely related sequences. We show that both pP(n)/M(n) and M(n)/p(n) tend to zero as n goes to infinity, where pP(n) is the number of partitions of n into primes and p(n) is the total number of partitions of n. To use methods from commutative algebra, we encode partitions and multinomial coefficients as monomials.
Congruence properties of depths in some random trees
Consider a random recusive tree with n vertices. We show that the number of vertices with even depth is asymptotically normal as n tends to infinty. The same is true for the number of vertices of depth divisible by m for m=3, 4 or 5; in all four cases the variance grows linearly. On the other hand, for m at least 7, the number is not asymptotically normal, and the variance grows faster than linear in n. The case m=6 is intermediate: the number is asymptotically normal but the variance is of order n log n.
This is a simple and striking example of a type of phase transition that has been observed by other authors in several cases. We prove, and perhaps explain, this non-intuitive behavious using a translation to a generalized Polya urn.
Similar results hold for a random binary search tree; now the number of vertices of depth divisible by m is asymptotically normal for m at most 8 but not for m at least 9, and the variance grows linearly in the first case both faster in the second. (There is no intermediate case.)
In contrast, we show that for conditioned Galton-Watson trees, including random labelled trees and random binary trees, there is no such phase transition: the number is asymptotically normal for every m.
Simultaneous Diagonal Flips in Plane Triangulations
Published in J. Graph Theory 54(4):307-330, 2007
• View Publication
• BIB
Simultaneous diagonal flips in plane triangulations are investigated. It is proved that every $n$-vertex triangulation with at least six vertices has a simultaneous flip into a 4-connected triangulation, and that it can be computed in O(n) time. It follows that every triangulation has a simultaneous flip into a Hamiltonian triangulation. This result is used to prove that for any two $n$-vertex triangulations, there exists a sequence of $O(\log n)$ simultaneous flips to transform one into the other. The total number of edges flipped in this sequence is O(n). The maximum size of a simultaneous flip is then studied. It is proved that every triangulation has a simultaneous flip of at least ${1/3}(n-2)$ edges. On the other hand, every simultaneous flip has at most $n-2$ edges, and there exist triangulations with a maximum simultaneous flip of ${6/7}(n-2)$ edges.
On Obtaining a Minimally-Valued Derangement in a Symmetric Cost Matrix
Let M be an n X n symmetric cost matrix. Assume that D is a derangement of edges in M, i.e., a set of point-disjoint cycles containing all of the n points of M.The modified Floyd-Warshall algorithm applied to ((D')^-1)A^- (where A is an asymmetric cost matrix containing D', a derangement)yielded a solution to the Assignment Problem in O((n^2)logn) running time. Here, applying a variation of the modified F-W algorithm to D^-1)M^-, we may possibly obtain a smaller-valued derangement than D consisting of entries in M. A minimally-valued derangement would be of great value as a good and natural lower bound for an optimal tour in M.