Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Balance and Abelian complexity of the Tribonacci word
Published in Adv. Appl. Math. 2010
• View Publication
• BIB
G. Rauzy showed that the Tribonacci minimal subshift generated by the morphism $τ: 0\mapsto 01, 1\mapsto 02 and 2\mapsto 0$ is measure-theoretically conjugate to an exchange of three fractal domains on a compact set in $R^2$, each domain being translated by the same vector modulo a lattice. In this paper we study the Abelian complexity AC(n) of the Tribonacci word $t$ which is the unique fixed point of $τ$. We show that $AC(n)\in {3,4,5,6,7}$ for each $n\geq 1$, and that each of these five values is assumed. Our proof relies on the fact that the Tribonacci word is 2-balanced, i.e., for all factors $U$ and $V$ of $t$ of equal length, and for every letter $a \in {0,1,2}$, the number of occurrences of $a$ in $U$ and the number of occurrences of $a$ in $V$ differ by at most 2. While this result is announced in several papers, to the best of our knowledge no proof of this fact has ever been published. We offer two very different proofs of the 2-balance property of $t$. The first uses the word combinatorial properties of the generating morphism, while the second exploits the spectral properties of the incidence matrix of $τ$.
Abelian Properties of Words (Extended abstract)
We say that two finite words $u$ and $v$ are abelian equivalent if and only if they have the same number of occurrences of each letter, or equivalently if they define the same Parikh vector. In this paper we investigate various abelian properties of words including abelian complexity, and abelian powers. We study the abelian complexity of the Thue-Morse word and the Tribonacci word, and answer an old question of G. Rauzy by exhibiting a class of words whose abelian complexity is everywhere equal to 3. We also investigate abelian repetitions in words and show that any infinite word with bounded abelian complexity contains abelian $k$-powers for every positive integer $k$.
Recurrence relations for polynomial sequences via Riordan matrices
We give recurrence relations for any family of generalized Appell polynomials unifying so some known recurrences of many classical sequences of polynomials. Our main tool to get our goal is the Riordan group. We use the product of Riordan matrices to interpret some relationships between different families of polynomials. Moreover using the Hadamard product of series we get a general recurrence relation for the polynomial sequences associated to the so called generalized umbral calculus.
Tropical intersection products on smooth varieties
Published
• View Publication
• BIB
In analogy to chapter 9 of arXiv:0709.3705 we define an intersection product of tropical cycles on tropical linear spaces L^n_k, i.e. on tropical fans of the type max{0,x_1,...,x_n}^(n-k)*R^n. Afterwards we use this result to obtain an intersection product of cycles on every smooth tropical variety, i.e. on every tropical variety that arises from gluing such tropical linear spaces. In contrast to classical algebraic geometry these products always yield well-defined cycles, not cycle classes only. Using these intersection products we are able to define the pull-back of a tropical cycle along a morphism between smooth tropical varieties. In the present article we stick to the definitions, notions and concepts introduced in arXiv:0709.3705.
Improving dimension estimates for Furstenberg-type sets
Published
• View Publication
• BIB
In this paper we prove some lower bounds on the Hausdorff dimension of sets of Furstenberg type. Moreover, we extend these results to sets of generalized Furstenberg type, associated to doubling dimension functions. With some additional growth conditions on the dimension function, we obtain a lower bound on the dimension of "zero dimensional" Furstenberg sets.
Schnyder woods for higher genus triangulated surfaces, with applications to encoding
Published
• View Publication
• BIB
Schnyder woods are a well-known combinatorial structure for plane triangulations, which yields a decomposition into 3 spanning trees. We extend here definitions and algorithms for Schnyder woods to closed orientable surfaces of arbitrary genus. In particular, we describe a method to traverse a triangulation of genus $g$ and compute a so-called $g$-Schnyder wood on the way. As an application, we give a procedure to encode a triangulation of genus $g$ and $n$ vertices in $4n+O(g \log(n))$ bits. This matches the worst-case encoding rate of Edgebreaker in positive genus. All the algorithms presented here have execution time $O((n+g)g)$, hence are linear when the genus is fixed.
The largest and the smallest fixed points of permutations
Published
• View Publication
• BIB
We give a new interpretation of the derangement numbers d_n as the sum of the values of the largest fixed points of all non-derangements of length n-1. We also show that the analogous sum for the smallest fixed points equals the number of permutations of length n with at least two fixed points. We provide analytic and bijective proofs of both results, as well as a new recurrence for the derangement numbers.
Random Graphs and the Parity Quantifier
Published
• View Publication
• BIB
The classical zero-one law for first-order logic on random graphs says that for any first-order sentence $φ$ in the theory of graphs, as n approaches infinity, the probability that the random graph G(n, p) satisfies $φ$ approaches either 0 or 1. It is well known that this law fails to hold for any formalism that can express the parity quantifier: for certain properties, the probability that G(n, p) satisfies the property need not converge, and for others the limit may be strictly between 0 and 1. In this paper, we capture the limiting behavior of properties definable in first order logic augmented with the parity quantier, FO[parity], over G(n, p), thus eluding the above hurdles. Specifically, we establish the following "modular convergence law": For every FO[parity] sentence $φ$, there are two rational numbers a_0, a_1, such that for i in {0,1}, as n approaches infinity, the probability that the random graph G(2n+i, p) satisfies $φ$ approaches a_i. Our results also extend appropriately to first order logic equipped with Mod-q quantiers for prime q. Our approach is based on multivariate polynomials over finite fields, in particular, on a new generalization of the Gowers norm. The proof generalizes the original quantifier elimination approach to the zero-one law, and has analogies with the Razborov-Smolensky method for lower bounds for AC0 with parity gates.
Generalized exponents of small representations. II
Published
• View Publication
• BIB
This is the second paper in a sequence devoted to giving manifestly non-negative formulas for generalized exponents of small representations in all types. It contains a first formula for generalized exponents of small weights which extends the Shapiro-Steinberg formula for classical exponents. The formula is made possible by a computation of Fourier coefficients of the degenerate Cherednik kernel. Unlike the usual partition function coefficients, the answer reflects only the combinatorics of minimal expressions as a sum of roots.
Generalized exponents of small representations. I
Published
• View Publication
• BIB
This is the first paper in a sequence devoted to giving manifestly non-negative formulas for generalized exponents of small representations in all types. The main part of this paper illustrates the overall structure of the argument on root systems of type A and discusses the relationship with the Lascoux-Schutzenberger charge formula.
Haglund-Haiman-Loehr Type Formulas for Hall-Littlewood Polynomials of Type B and C
Published
• View Publication
• BIB
In previous work we showed that two apparently unrelated formulas for the Hall-Littlewood polynomials of type A are, in fact, closely related. The first is the tableau formula obtained by specializing q=0 in the Haglund-Haiman-Loehr formula for Macdonald polynomials. The second is the type $A$ instance of Schwer's formula (rephrased and rederived by Ram) for Hall-Littlewood polynomials of arbitrary finite type; Schwer's formula is in terms of so-called alcove walks, which originate in the work of Gaussent-Littelmann and of the author with Postnikov on discrete counterparts to the Littelmann path model. We showed that the tableau formula follows by "compressing" Ram's version of Schwer's formula. In this paper, we derive tableau formulas for the Hall-Littlewood polynomials of type B and C by compressing the corresponding instances of Schwer's formula.
Additive Edge Labelings
Published
• View Publication
• BIB
Let G=(V,E) be a graph and d a positive integer. We study the following problem: for which labelings f_E: E \to Z_d is there a labeling f_V:V \to Z_d such that f_E(i,j) = f_V(i) + f_V(j) (mod d), for every edge (i,j) in E? We also explore the connections of the equivalent multiplicative version to toric ideals. We derive a polynomial algorithm to answer these questions and to obtain all possible solutions.
On Binary Cyclic Codes with Five Nonzero Weights
Let $q=2^n$, $0\leq k\leq n-1$, $n/\gcd(n,k)$ be odd and $k\neq n/3, 2n/3$. In this paper the value distribution of following exponential sums \[\sum\limits_{x\in \bF_q}(-1)^{\mathrm{Tr}_1^n(αx^{2^{2k}+1}+βx^{2^k+1}+\ga x)}\quad(α,β,\ga\in \bF_{q})\] is determined. As an application, the weight distribution of the binary cyclic code $\cC$, with parity-check polynomial $h_1(x)h_2(x)h_3(x)$ where $h_1(x)$, $h_2(x)$ and $h_3(x)$ are the minimal polynomials of $π^{-1}$, $π^{-(2^k+1)}$ and $π^{-(2^{2k}+1)}$ respectively for a primitive element $π$ of $\bF_q$, is also determined.
On the number of factors in codings of three interval exchange
We consider exchange of three intervals with permutation $(3,2,1)$. The aim of this paper is to count the cardinality of the set $3\iet(N)$ of all words of length $N$ which appear as factors in infinite words coding such transformations. We use the strong relation of 3iet words and words coding exchange of two intervals, i.e., Sturmian words. The known asymptotic formula $# 2\iet(N)/N^3\sim\frac1{π^2}$ for the number of Sturmian factors allows us to find bounds $\frac1{3π^2} + o(1) \leq # 3\iet(N)/N^4 \leq \frac2{π^2} + o(1)$.
Graphs with bounded tree-width and large odd-girth are almost bipartite
Published
• View Publication
• BIB
We prove that for every $k$ and every $\varepsilon>0$, there exists $g$ such that every graph with tree-width at most $k$ and odd-girth at least $g$ has circular chromatic number at most $2+\varepsilon$.
A commutative algebra on degenerate CP^1 and Macdonald polynomials
Published
• View Publication
• BIB
We introduce a unital associative algebra A over degenerate CP^1. We show that A is a commutative algebra and whose Poincar'e series is given by the number of partitions. Thereby we can regard A as a smooth degeneration limit of the elliptic algebra introduced by one of the authors and Odesskii. Then we study the commutative family of the Macdonald difference operators acting on the space of symmetric functions. A canonical basis is proposed for this family by using A and the Heisenberg representation of the commutative family studied by one of the authors. It is found that the Ding-Iohara algebra provides us with an algebraic framework for the free filed construction. An elliptic deformation of our construction is discussed, showing connections with the Drinfeld quasi-Hopf twisting a la Babelon Bernard Billey, the Ruijsenaars difference operator and the operator M(q,t_1,t_2) of Okounkov-Pandharipande.
A discretized approach to W.T. Gowers' game
Published
• View Publication
• BIB
We give an alternative proof of W. T. Gowers' theorem on block bases by reducing it to a discrete analogue on specific countable nets. We also give a Ramsey type result on k-tuples of block sequences in a normed linear space with a Schauder basis.
A Symbolic Summation Approach to Find Optimal Nested Sum Representations
We consider the following problem: Given a nested sum expression, find a sum representation such that the nested depth is minimal. We obtain a symbolic summation framework that solves this problem for sums defined, e.g., over hypergeometric, $q$-hypergeometric or mixed hypergeometric expressions. Recently, our methods have found applications in quantum field theory.
Sum-product phenomena in F_p: a brief introduction
These notes arose from my Cambridge Part III course on Additive Combinatorics, given in Lent Term 2009. The aim was to understand the simplest proof of the Bourgain-Glibichuk-Konyagin bounds for exponential sums over subgroups. As a byproduct one obtains a clean proof of the Bourgain-Katz-Tao theorem on the sum-product phenomenon in F_p. The arguments are essentially extracted from a paper of Bourgain, and I benefitted very much from being in receipt of unpublished course notes of Elon Lindenstrauss. No originality is claimed.
Maximal integral simplices with no interior integer points
In this paper, we consider integral maximal lattice-free simplices. Such simplices have integer vertices and contain integer points in the relative interior of each of their facets, but no integer point is allowed in the full interior. In dimension three, we show that any integral maximal lattice-free simplex is equivalent to one of seven simplices up to unimodular transformation. For higher dimensions, we demonstrate that the set of integral maximal lattice-free simplices with vertices lying on the coordinate axes is finite. This gives rise to a conjecture that the total number of integral maximal lattice-free simplices is finite for any dimension.