sequence
6845 papers tagged with this keyword
A note on V-binomials recurrence for Lucas companion to $U_n$ sequence $V_n$
The looked for V-binomials recurrence for Lucas companion to $U_n$ sequence $V_n$ is delivered
Random modification effect in the size of the fluctuation of the LCS of two sequences of i.i.d. blocks
The problem of the order of the fluctuation of the Longest Common Subsequence (LCS) of two independent sequences has been open for decades. There exist contradicting conjectures on the topic, due to Chvatal - Sankoff in 1975 and Waterman in 1994. In the present article, we consider a special model of i.i.d. sequences made out of blocks. A block is a contiguous substring consisting only of one type of symbol. Our model allows only three possible block lengths, each been equiprobable picked up. In this context, we introduce a random operation (random modification) on the blocks of one of the sequences. In the present article, we develop the techniques to prove the following: if we suppose that the random modification increases the length of the LCS with high probability, then the order of the fluctuation of the LCS is as conjectured by Waterman. This result is a key technical part in the study of the size of the fluctuation of the LCS for sequences of i.i.d. blocks, developed by Matzinger and Torres.
The rate of the convergence of the mean score in random sequence comparison
Published
• View Publication
• BIB
We consider a general class of super-additive scores measuring the similarity of two independent sequences of $n$ i.i.d. letters from a finite alphabet. Our object of interest is the mean score by letter $l_n$. By the subadditivity $l_n$ is nondecreasing and converges to a limit $l$. We give a simple method of bounding the difference $l-l_n$ and obtaining the rate of convergence. Our result generalizes a previous result of Alexander, where only the special case of the longest common subsequence is considered.
Hierarchical zonotopal power ideals
Published in European Journal of Combinatorics 33 (2012), no. 6, 1120-1141
• View Publication
• BIB
Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence X, an integer k>=-1 and an upper set in the lattice of flats of the matroid defined by X, we define and study the associated hierarchical zonotopal power ideal. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of X. Via the Tutte polynomial, it is related to various other matroid invariants, e.g. the shelling polynomial and the characteristic polynomial.
This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules that were introduced by Sturmfels-Xu.
Counting packings of generic subsets in finite groups
Published in Electronic Journal of Combinatorics 19, 3 (2012) #P7
• View Publication
• BIB
A packing of subsets $\mathcal S_1,..., \mathcal S_n$ in a group $G$ is a sequence $(g_1,...,g_n)$ such that $g_1\mathcal S_1,...,g_n\mathcal S_n$ are disjoint subsets of $G$. We give a formula for the number of packings if the group $G$ is finite and if the subsets $\mathcal S_1,...,\mathcal S_n$ satisfy a genericity condition. This formula can be seen as a generalization of the falling factorials which encode the number of packings in the case where all the sets $\mathcal S_i$ are singletons.
From Quantum Mechanics to Quantum Field Theory: The Hopf route
Published in J.Phys.Conf.Ser.284:012055,2011
• View Publication
• BIB
We show that the combinatorial numbers known as {\em Bell numbers} are generic in quantum physics. This is because they arise in the procedure known as {\em Normal ordering} of bosons, a procedure which is involved in the evaluation of quantum functions such as the canonical partition function of quantum statistical physics, {\it inter alia}. In fact, we shall show that an evaluation of the non-interacting partition function for a single boson system is identical to integrating the {\em exponential generating function} of the Bell numbers, which is a device for encapsulating a combinatorial sequence in a single function. We then introduce a remarkable equality, the Dobinski relation, and use it to indicate why renormalisation is necessary in even the simplest of perturbation expansions for a partition function. Finally we introduce a global algebraic description of this simple model, giving a Hopf algebra, which provides a starting point for extensions to more complex physical systems.
Two-lit trees for lit-only sigma-game
Published
• View Publication
• BIB
A configuration of the lit-only $σ$-game on a finite graph $Γ$ is an assignment of one of two states, on or off, to all vertices of $Γ.$ Given a configuration, a move of the lit-only $σ$-game on $Γ$ allows the player to choose an on vertex $s$ of $Γ$ and change the states of all neighbors of $s.$ Given any integer $k$, we say that $Γ$ is $k$-lit if, for any configuration, the number of on vertices can be reduced to at most $k$ by a finite sequence of moves. Assume that $Γ$ is a tree with a perfect matching. We show that $Γ$ is 1-lit and any tree obtained from $Γ$ by adding a new vertex on an edge of $Γ$ is 2-lit.
On variables with few occurrences in conjunctive normal forms
Published in SAT 2011, LNCS 6695, page 33-46
• View Publication
• BIB
We consider the question of the existence of variables with few occurrences in boolean conjunctive normal forms (clause-sets). Let mvd(F) for a clause-set F denote the minimal variable-degree, the minimum of the number of occurrences of variables. Our main result is an upper bound mvd(F) <= nM(surp(F)) <= surp(F) + 1 + log_2(surp(F)) for lean clause-sets F in dependency on the surplus surp(F).
- Lean clause-sets, defined as having no non-trivial autarkies, generalise minimally unsatisfiable clause-sets.
- For the surplus we have surp(F) <= delta(F) = c(F) - n(F), using the deficiency delta(F) of clause-sets, the difference between the number of clauses and the number of variables.
- nM(k) is the k-th "non-Mersenne" number, skipping in the sequence of natural numbers all numbers of the form 2^n - 1.
We conjecture that this bound is nearly precise for minimally unsatisfiable clause-sets.
As an application of the upper bound we obtain that (arbitrary!) clause-sets F with mvd(F) > nM(surp(F)) must have a non-trivial autarky (so clauses can be removed satisfiability-equivalently by an assignment satisfying some clauses and not touching the other clauses). It is open whether such an autarky can be found in polynomial time.
As a future application we discuss the classification of minimally unsatisfiable clause-sets depending on the deficiency.
Highly nonrepetitive sequences: winning strategies from the local lemma
Published
• View Publication
• BIB
We prove game-theoretic versions of several classical results on nonrepetitive sequences, showing the existence of winning strategies using an extension of the Lovász Local Lemma which can dramatically reduce the number of edges needed in a dependency graph when there is an ordering underlying the significant dependencies of events. This appears to represent the first successful application of a Local Lemma to games.
A Semigroup Proof of the Bounded Degree Case of S.B. Rao's Conjecture on Degree Sequences and a Bipartite Analogue
Published
• View Publication
• BIB
S.B. Rao conjectured in 1971 that graphic degree sequences are well quasi ordered by a relation defined in terms of the induced subgraph relation. In 2008, M. Chudnovsky and P. Seymour proved this long standing Rao's Conjecture by giving structure theorems for graphic degree sequences. In this paper, we prove and use a variant of Dickson's Lemma from commutative semigroup theory to give a short proof of the bounded degree case of Rao's Conjecture that is independent of the Chudnovsky-Seymour structure theory. In fact, we affirmatively answer two questions of N. Robertson, the first of which implies the bounded degree case of Rao's Conjecture.
On a combinatorial problem of Erdos, Kleitman and Lemke
Published in Advances in Mathematics 231, 3-4 (2012) 1843-1857
• View Publication
• BIB
In this paper, we study a combinatorial problem originating in the following conjecture of Erdos and Lemke: given any sequence of n divisors of n, repetitions being allowed, there exists a subsequence the elements of which are summing to n. This conjecture was proved by Kleitman and Lemke, who then extended the original question to a problem on a zero-sum invariant in the framework of finite Abelian groups. Building among others on earlier works by Alon and Dubiner and by the author, our main theorem gives a new upper bound for this invariant in the general case, and provides its right order of magnitude.
Limits of compact decorated graphs
Following a general program of studying limits of discrete structures, and motivated by the theory of limit objects of converge sequences of dense simple graphs, we study the limit of graph sequences such that every edge is labeled by an element of a compact second-countable Hausdorff space K. The "local structure" of these objects can be explored by a sampling process, which is shown to be equivalent to knowing homomorphism numbers from graphs whose edges are decorated by continuous functions on K. The model includes multigraphs with bounded edge multiplicities, graphs whose edges are weighted with real numbers from a finite interval, edge-colored graphs, and other models. In all these cases, a limit object can be defined in terms of 2-variable functions whose values are probability distributions on K.
The graph theoretic moment problem
We study an analogue of the classical moment problem in the framework where moments are indexed by graphs instead of natural numbers. We study limit objects of graph sequences where edges are labeled by elements of a topological space. Among other things we obtain strengthening and generalizations of the main results of previous papers characterizing reflection positive graph parameters, graph homomorphism numbers, and limits of simple graph sequences. We study a new class of reflection positive partition functions which generalize the node-coloring models (homomorphisms into weighted graphs).
Some simple bijections involving lattice walks and ballot sequences
In this note we observe that a bijection related to Littelmann's root operators (for type $A_1$) transparently explains the well known enumeration by length of walks on $\N$ (left factors of Dyck paths), as well as some other enumerative coincidences. We indicate a relation with bijective solutions of Bertrand's ballot problem: those can be mechanically transformed into bijective proofs of the mentioned enumeration formula.
Cobham's theorem for substitutions
Published
• View Publication
• BIB
The seminal theorem of Cobham has given rise during the last 40 years to a lot of works around non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $α$ and $β$ be two multiplicatively independent Perron numbers. Then, a sequence $x\in A^\mathbb{N}$, where $A$ is a finite alphabet, is both $α$-substitutive and $β$-substitutive if and only if $x$ is ultimately periodic.
Proof of three conjectures on congruences
Published in Sci. China Math. 57(2014), 2091-2102
• View Publication
• BIB
In this paper we prove three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let $p$ be an odd prime and let $a$ be a positive integer. We show that if $p\equiv 1\pmod{4}$ or $a>1$ then $$ \sum_{k=0}^{\lfloor\frac34p^a\rfloor}\binom{-1/2}k\equiv\left(\frac{2}{p^a}\right)\pmod{p^2}, $$ where $(-)$ denotes the Jacobi symbol. This confirms a conjecture of the second author. We also confirm a conjecture of R. Tauraso by showing that $$\sum_{k=1}^{p-1}\frac{L_k}{k^2}\equiv0\pmod{p}\quad {\rm provided}\ \ p>5,$$ where the Lucas numbers $L_0,L_1,L_2,\ldots$ are defined by $L_0=2,\ L_1=1$ and $L_{n+1}=L_n+L_{n-1}\ (n=1,2,3,\ldots)$. Our third theorem states that if $p\not=5$ then we can determine $F_{p^a-(\frac{p^a}5)}$ mod $p^3$ in the following way: $$\sum_{k=0}^{p^a-1}(-1)^k\binom{2k}k\equiv\left(\frac{p^a}5\right)\left(1-2F_{p^a-(\frac{p^a}5)}\right)\ \pmod{p^3},$$ which appeared as a conjecture in a paper of Sun and Tauraso in 2010.
Asymptotic enumeration of sparse 2-connected graphs
Published
• View Publication
• BIB
We determine an asymptotic formula for the number of labelled 2-connected (simple) graphs on $n$ vertices and $m$ edges, provided that $m-n\to\infty$ and $m=O(n\log n)$ as $n\to\infty$. This is the entire range of $m$ not covered by previous results. The proof involves determining properties of the core and kernel of random graphs with minimum degree at least 2. The case of 2-edge-connectedness is treated similarly. We also obtain formulae for the number of 2-connected graphs with given degree sequence for most (`typical') sequences. Our main result solves a problem of Wright from 1983.
On a continued fraction expansion for Euler's constant
Published in J. Number Theory 133 (2013) 769-786
• Search Publication
Recently, A. I. Aptekarev and his collaborators found a sequence of rational approximations to Euler's constant $γ$ defined by a third-order homogeneous linear recurrence. In this paper, we give a new interpretation of Aptekarev's approximations in terms of Meijer $G$-functions and hypergeometric-type series. This approach allows us to describe a very general construction giving linear forms in 1 and $γ$ with rational coefficients. Using this construction we find new rational approximations to $γ$ generated by a second-order inhomogeneous linear recurrence with polynomial coefficients. This leads to a continued fraction (though not a simple continued fraction) for Euler's constant. It seems to be the first non-trivial continued fraction expansion convergent to Euler's constant sub-exponentially, the elements of which can be expressed as a general pattern. It is interesting to note that the same homogeneous recurrence generates a continued fraction for the Euler-Gompertz constant found by Stieltjes in 1895.
2-Log-concavity of the Boros-Moll Polynomials
Published
• View Publication
• BIB
The Boros-Moll polynomials $P_m(a)$ arise in the evaluation of a quartic integral. It has been conjectured by Boros and Moll that these polynomials are infinitely log-concave. In this paper, we show that $P_m(a)$ is 2-log-concave for any $m\geq 2$. Let $d_i(m)$ be the coefficient of $a^i$ in $P_m(a)$. We also show that the sequence $\{i (i+1)(d_i^{\,2}(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ is log-concave. This leads another proof of Moll's minimum conjecture.
Projective Subgrassmannians of Polar Grassmannians
Published
• View Publication
• BIB
In this short note, completing a sequence of studies by Cooperstein, Kasikova and Shult, we consider the k-Grassmannians of a number of polar geometries of finite rank n. We classify those subspaces that are isomorphic to the j-Grassmannian of a projective m-space. In almost all cases, these are parabolic, that is, they are the residues of a flag of the polar geometry. Exceptions only occur when the subspace is isomorphic to the Grassmannian of 2-spaces in a projective m-space and we describe these in some detail. This Witt-type result implies that automorphisms of the Grassmannian are almost always induced by automorphisms of the underlying polar space.