sequence
6845 papers tagged with this keyword
A spectral sequence for polyhedral products
Published
• View Publication
• BIB
The purpose of this paper is to exhibit fine structure for polyhedral products Z(K;(X,A) and polyhedral smash products $\widehat{Z}(K;(X,A)$. (Moment-angle complexes are special cases for which (X,A) = (D^2,S^1)). There are three main parts. The first defines a natural filtration of the polyhedral product and derives properties of the resulting spectral sequence. This is followed with applications. The second part uses the first to give a homological decomposition of the polyhedral smash product. Finally there are applications to the ring structure of H*(Z(K;(X,A))) for CW-pairs (X,A) satisfying suitable freeness conditions.
From Tarski's plank problem to simultaneous approximation
Published
• View Publication
• BIB
A {\em slab} (or plank) of width $w$ is a part of the $d$-dimensional space that lies between two parallel hyperplanes at distance $w$ from each other. It is conjectured that any slabs $S_1, S_2,\ldots$ whose total width is divergent have suitable translates that altogether cover $\mathbb{R}^d$. We show that this statement is true if the widths of the slabs, $w_1, w_2,\ldots$, satisfy the slightly stronger condition $\limsup_{n\rightarrow\infty}\frac{w_1+w_2+\ldots+w_n}{\log(1/w_n)}>0$. This can be regarded as a converse of Bang's theorem, better known as Tarski's plank problem.
We apply our results to a problem on simultaneous approximation of polynomials. Given a positive integer $d$, we say that a sequence of positive numbers $x_1\le x_2\le\ldots$ {\em controls} all polynomials of degree at most $d$ if there exist $y_1, y_2,\ldots\in\mathbb{R}$ such that for every polynomial $p$ of degree at most $d$, there exists an index $i$ with $|p(x_i)-y_i|\leq 1.$ We prove that a sequence has this property if and only if $\sum_{i=1}^{\infty}\frac{1}{x_i^d}$ is divergent. This settles an old conjecture of Makai and Pach.
Regular sequences and the joint spectral radius
Published
• View Publication
• BIB
We classify the growth of a $k$-regular sequence based on information from its $k$-kernel. In order to provide such a classification, we introduce the notion of a growth exponent for $k$-regular sequences and show that this exponent is equal to the joint spectral radius of any set of a special class of matrices determined by the $k$-kernel.
Supercongruences on some binomial sums involving Lucas sequences
Published in Journal of Mathematical Analysis and Applictions(2017)
• View Publication
• BIB
In this paper, we confirm several conjectured congruences of Sun concerning the divisibility of binomial sums. For example, with help of a quadratic hypergeometric transformation, we prove that $$ \sum_{k=0}^{p-1}\binom{p-1}k\binom{2k}k^2\frac{P_k}{8^k}\equiv0\pmod{p^2} $$ for any prime $p\equiv 7\mod{8}$, where $P_k$ is the $k$-th Pell number. Further, we also propose three new congruences of the same type.
Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs
If V is the vertex sequence of a symmetric 2t-cycle in the hypercube graph with the vertices {1,-1}^t, then for any vertex T of the graph there exists a unique inclusion-minimal subset of V such that T is the sum of its elements. We present a simple combinatorial statistic on decompositions of vertices of the hypercube graphs with respect to symmetric cycles and describe their basic metric properties.
On the Andrews-Zagier asymptotics for partitions without sequences
Published
• View Publication
• BIB
We establish the asymptotic behavior of the Andrews $G_k(q)$ function as $q\to 1.$
Hankel Matrices for the Period-Doubling Sequence
Published
• View Publication
• BIB
We give an explicit evaluation, in terms of products of Jacobsthal numbers, of the Hankel determinants of order a power of two for the period-doubling sequence. We also explicitly give the eigenvalues and eigenvectors of the corresponding Hankel matrices. Similar considerations give the Hankel determinants for other orders.
Ramsey Orderly Algebras as a New Approach to Ramsey Algebras
Ramsey algebras are algebras that induce Ramsey spaces, which are generalizations of the Ellentuck space and Milliken's space. Previous work suggests a possible local version of Ramsey algebras induced by infinite sequences. Hence, we introduce a new structure called orderly algebra. Under our canonical setup, an algebra is Ramsey if and only if every of its induced orderly algebra is Ramsey. In this paper, we present justifications for this novel notion as a sound approach for further study on Ramsey algebras.
Cluster Variables and Perfect Matchings of Subgraphs of the $dP_3$ Lattice
We give a combinatorial intepretation of cluster variables of a specific cluster algebra under a mutation sequence of period 6, in terms of perfect matchings of subgraphs of the brane tiling dual to the quiver associated with the cluster algebra.
Avoiding two consecutive blocks of same size and same sum over $\mathbb{Z}^2$
Published
• View Publication
• BIB
A long standing question asks whether $\mathbb{Z}$ is uniformly 2-repetitive [Justin 1972, Pirillo and Varricchio, 1994], that is, whether there is an infinite sequence over a finite subset of $\mathbb{Z}$ avoiding two consecutive blocks of same size and same sum or not. Cassaigne \emph{et al.} [2014] showed that $\mathbb{Z}$ is not uniformly 3-repetitive. We show that $\mathbb{Z}^2$ is not uniformly 2-repetitive. Moreover, this problem is related to a question from Mäkelä in combinatorics on words and we answer to a weak version of it.
Infinite excursions of rotor walks on regular trees
Published in The Electronic Journal of Combinatorics, Volume 24, Issue 2 (2017), Paper #P2.18
• Search Publication
A rotor configuration on a graph contains in every vertex an infinite ordered sequence of rotors, each is pointing to a neighbor of the vertex. After sampling a configuration according to some probability measure, a rotor walk is a deterministic process: at each step it chooses the next unused rotor in its current location, and uses it to jump to the neighboring vertex to which it points.
Rotor walks capture many aspects of the expected behavior of simple random walks. However, this similarity breaks down for the property of having an infinite excursion. In this paper we study that question for natural random configuration models on regular trees. Our results suggest that in this context the rotor model behaves like the simple random walk unless it is not "close to" the standard rotor-router model.
Weighted multiple ergodic averages and correlation sequences
Published
• View Publication
• BIB
We study mean convergence results for weighted multiple ergodic averages defined by commuting transformations with iterates given by integer polynomials in several variables. Roughly speaking, we prove that a bounded sequence is a good universal weight for mean convergence of such averages if and only if the averages of this sequence times any nilsequence converge. Key role in the proof play two decomposition results of independent interest. The first states that every bounded sequence in several variables satisfying some regularity conditions is a sum of a nilsequence and a sequence that has small uniformity norm (this generalizes a result of the second author and B. Kra); and the second states that every multiple correlation sequence in several variables is a sum of a nilsequence and a sequence that is small in uniform density (this generalizes a result of the first author). Furthermore, we use the previous results in order to establish mean convergence and recurrence results for a variety of sequences of dynamical and arithmetic origin and give some combinatorial implications.
On path sequences of graphs
Published in Schedae Informaticae, vol. 24 (2015), pp. 230-242
• View Publication
• BIB
A subset $S$ of vertices of a graph $G=(V,E)$ is called a $k$-path vertex cover if every path on $k$ vertices in $G$ contains at least one vertex from $S$. Denote by $ψ_k(G)$ the minimum cardinality of a $k$-path vertex cover in $G$ and form a sequence $ψ(G)=(ψ_1(G),ψ_2(G),\ldots,ψ_{|V|}(G))$, called the path sequence of $G$. In this paper we prove necessary and sufficient conditions for two integers to appear on fixed positions in $ψ(G)$. A complete list of all possible path sequences (with multiplicities) for small connected graphs is also given.
Slicings of parallelogram polyominoes: Catalan, Schröder, Baxter, and other sequences
Published
• View Publication
• BIB
We provide a new succession rule (i.e. generating tree) associated with Schröder numbers, that interpolates between the known succession rules for Catalan and Baxter numbers. We define Schröder and Baxter generalizations of parallelogram polyominoes, called slicings, which grow according to these succession rules. In passing, we also exhibit Schröder subclasses of Baxter classes, namely a Schröder subset of triples of non-intersecting lattice paths, a new Schröder subset of Baxter permutations, and a new Schröder subset of mosaic floorplans. Finally, we define two families of subclasses of Baxter slicings: the $m$-skinny slicings and the $m$-row-restricted slicings, for $m \in \mathbb{N}$. Using functional equations and the kernel method, their generating functions are computed in some special cases, and we conjecture that they are algebraic for any $m$.
Searching for Disjoint Covering Systems with Precisely One Repeated Modulus
A set of arithmetical sequences $$ a_1\, (\bmod{ \,\, m_1}) \quad, \quad a_2 \, (\bmod{\,\, m_2}) \quad, \quad \dots \quad , \quad a_k \, (\bmod{\,\,m_k}) \quad \quad , $$ with $$ m_1 \leq m_2 \leq \dots \leq m_k \quad \quad , $$ is called a {\it disjoint covering system} (alias {\it exact covering system}) if every positive integer belongs to {\bf exactly} one of the sequences. Mirski, Newman, Davenport and Rado famously proved that the moduli can't all be distinct. In fact the two largest moduli must be equal, i.e. $m_{k-1}=m_k$ This raises the natural question:"How close can you get to getting distinct moduli?", in other words, can you find all such systems where all the moduli are distinct except the largest, that is repeated $r$ times, for any, specific given $r$?
It turns out (conjecturally, but almost certainly) that excluding the trivial case where the smallest modulus is 2, for any number of repeats $r$, there are only finitely many such systems. Marc Berger, Alexander Felzenbaum and Aviezri Fraenkel found them all for $r$ up to $9$, and Mekmamu Zeleke and Jamie Simpson extended the list for systems up to $12$ repeats. In the present article we continue the list up to $r=32$. All our systems are correct, but we did not bother to formally prove completeness, but we know for sure that the lists are complete if the largest modulus is $\leq 600$, and we are pretty sure that they are complete.
Degree switching and partitioning for enumerating graphs to arbitrary orders of accuracy
We provide a novel method for constructing asymptotics (to arbitrary accuracy) for the number of directed graphs that realize a fixed bidegree sequence $d = a \times b$ with maximum degree $d_{max}=O(S^{\frac{1}{2}-τ})$ for an arbitrarily small positive number $τ$, where $S$ is the number edges specified by $d$. Our approach is based on two key steps, graph partitioning and degree preserving switches. The former idea allows us to relate enumeration results for given sequences to those for sequences that are especially easy to handle, while the latter facilitates expansions based on numbers of shared neighbors of pairs of nodes. While we focus primarily on directed graphs allowing loops, our results can be extended to other cases, including bipartite graphs, as well as directed and undirected graphs without loops. In addition, we can relax the constraint that $d_{max} = O(S^{\frac{1}{2}-τ})$ and replace it with $a_{max} b_{max} = O(S^{1-τ})$. where $a_{max}$ and $b_{max}$ are the maximum values for $a$ and $b$ respectively. The previous best results, from Greenhill et al., only allow for $d_{max} = o(S^{\frac{1}{3}})$ or alternatively $a_{max} b_{max} = o(S^{\frac{2}{3}})$. Since in many real world networks, $d_{max}$ scales larger than $o(S^{\frac{1}{3}})$, we expect that this work will be helpful for various applications.
Multiply union families in $\mathbb{N}^n$
Let $A\subset \mathbb{N}^{n}$ be an $r$-wise $s$-union family, that is, a family of sequences with $n$ components of non-negative integers such that for any $r$ sequences in $A$ the total sum of the maximum of each component in those sequences is at most $s$. We determine the maximum size of $A$ and its unique extremal configuration provided (i) $n$ is sufficiently large for fixed $r$ and $s$, or (ii) $n=r+1$.
Generalized Goncarov polynomials
Published in in S. Butler, J. Cooper & G. Hurlbert (eds.), Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham, Cambridge Univ. Press, 2018
• View Publication
• BIB
We introduce the sequence of generalized Gončarov polynomials, which is a basis for the solutions to the Gončarov interpolation problem with respect to a delta operator. Explicitly, a generalized Gončarov basis is a sequence $(t_n(x))_{n \ge 0}$ of polynomials defined by the biorthogonality relation $\varepsilon_{z_i}(\mathfrak d^{i}(t_n(x))) = n! \;\! δ_{i,n}$ for all $i,n \in \mathbf N$, where $\mathfrak d$ is a delta operator, $\mathcal Z = (z_i)_{i \ge 0}$ a sequence of scalars, and $\varepsilon_{z_i}$ the evaluation at $z_i$. We present algebraic and analytic properties of generalized Gončarov polynomials and show that such polynomial sequences provide a natural algebraic tool for enumerating combinatorial structures with a linear constraint on their order statistics.
Sequence-structure relations of biopolymers
Published
• View Publication
• BIB
Motivation: DNA data is transcribed into single-stranded RNA, which folds into specific molecular structures. In this paper we pose the question to what extent sequence- and structure-information correlate. We view this correlation as structural semantics of sequence data that allows for a different interpretation than conventional sequence alignment. Structural semantics could enable us to identify more general embedded "patterns" in DNA and RNA sequences. Results: We compute the partition function of sequences with respect to a fixed structure and connect this computation to the mutual information of a sequence-structure pair for RNA secondary structures. We present a Boltzmann sampler and obtain the a priori probability of specific sequence patterns. We present a detailed analysis for the three PDB-structures, 2JXV (hairpin), 2N3R (3-branch multi-loop) and 1EHZ (tRNA). We localize specific sequence patterns, contrast the energy spectrum of the Boltzmann sampled sequences versus those sequences that refold into the same structure and derive a criterion to identify native structures. We illustrate that there are multiple sequences in the partition function of a fixed structure, each having nearly the same mutual information, that are nevertheless poorly aligned. This indicates the possibility of the existence of relevant patterns embedded in the sequences that are not discoverable using alignments.
Hodge Theory for Combinatorial Geometries
Published
• View Publication
• BIB
We prove the hard Lefschetz theorem and the Hodge-Riemann relations for a commutative ring associated to an arbitrary matroid M. We use the Hodge-Riemann relations to resolve a conjecture of Heron, Rota, and Welsh that postulates the log-concavity of the coefficients of the characteristic polynomial of M. We furthermore conclude that the f-vector of the independence complex of a matroid forms a log-concave sequence, proving a conjecture of Mason and Welsh for general matroids.