sequence
6966 papers tagged with this keyword
Series and sums involving the floor function
Let $(a_n)_{n\geq 0}$ be an arbitrary sequence and $(a_{\lfloor n/k \rfloor})_{n\geq 0}$ its dual floor sequence. We study infinite series and finite generalized binomial sums involving $(a_{\lfloor n/k \rfloor})_{n\geq 0}$. As applications we prove a range of new closed form expressions for Fibonacci (Lucas) series and binomial sum identities as particular cases.
The analogue of overlap-freeness for the period-doubling sequence
Good words are binary words avoiding factors 11 and 1001, and patterns 0000 and 00010100. We show that good words bear the same relationship to the period-doubling sequence that overlap-free words bear to the Thue-Morse sequence. We prove an analogue of Fife's Theorem for good words, exhibit the lexicographically least and greatest infinite good words, and determine the patterns avoided by the period doubling word.
Improved Bound for the Gerver-Ramsey Collinearity Problem
Published
• View Publication
• BIB
Let $S$ be a finite subset of $\mathbb{Z}^n$. A vector sequence $(\mathbf{z}_i)$ is an $S$-walk if and only if $\mathbf{z}_{i+1} - \mathbf{z}_i$ is an element of $S$ for all $i$. Gerver and Ramsey showed in 1979 that for $S\subset \mathbb{Z}^3$ there exists an infinite $S$-walk in which no $5^{11} + 1=48{\small,}828{\small,}126$ points are collinear. Here, we use the same general approach, but with the aid of a computer search, to improve the bound to $189$.
Sharp threshold for embedding balanced spanning trees in random geometric graphs
A rooted tree is balanced if the degree of a vertex depends only on its distance to the root. In this paper we determine the sharp threshold for the appearance of a large family of balanced spanning trees in the random geometric graph $\mathcal{G}(n,r,d)$. In particular, we find the sharp threshold for balanced binary trees. More generally, we show that all sequences of balanced trees with uniformly bounded degrees and height tending to infinity appear above a sharp threshold, and none of these appears below the same value. Our results hold more generally for geometric graphs satisfying a mild condition on the distribution of their vertex set, and we provide a polynomial time algorithm to find such trees.
The cardinality of Kiselman's semigroups grows double-exponentially
Let $K_n$ denote Ganyushkin-Kudryavtseva-Mazorchuk's generalization of Kiselman's semigroups. We show that the sequence $2^{-n/2}\cdot \log|K_n|$ admits finite limits as $n$ grows to infinity both on odd and even values.
On the pebbling numbers of Flower, Blanuša, and Watkins snarks
Published
• View Publication
• BIB
Graph pebbling is a game played on graphs with pebbles on their vertices. A pebbling move removes two pebbles from one vertex and places one pebble on an adjacent vertex. The pebbling number $π(G)$ is the smallest $t$ so that from any initial configuration of $t$ pebbles it is possible, after a sequence of pebbling moves, to place a pebble on any given target vertex. In this paper, we provide the first results on the pebbling numbers of snarks. Until now, only the Petersen graph had its pebbling number correctly established, although attempts had been made for the Flower and Watkins snarks.
Applications of infinite lower triangular matrices and their group structure in combinatorics and the theory of orthogonal polynomials
Our focus is on the set of lower-triangular, infinite matrices that have natural operations like addition, multiplication by a number, and matrix multiplication. With respect to addition this set forms and abelian group while with respect to matrix multiplication, the invertivle elements of the set form a group. The set becomes an algebra (non-commutative in fact) with unity when all three operations are considered together. We indicate important properties of the algebraic structures obtained in this way. In particular, we indicate several sub-groups or sub-rings. Among sub-groups, we consider the group of Riordan matrices and indicate its several sub-groups. We show a variety of examples (approximately 20) of matrices that are composed of the sequences of important polynomial or number families as entries of certain lower-triangular infinite matrices. New, significant relationships between these families can be discovered by applying well-known matrix operations like multiplication and inverse calculation to this representation.
The paper intends to compile numerous simple facts about the lower-triangular matrices, specifically the family of Rionian matrices, and briefly review their properties.
Degree Sequence Optimization in Bounded Treewidth
Published in Optimization Letters 17:1127-1132, 2023
• View Publication
• BIB
We consider the problem of finding a subgraph of a given graph which minimizes the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already when all functions are the same, we show that it can be solved for arbitrary functions in polynomial time over graphs of bounded treewidth. Its complexity remains widely open, in particular over complete graphs and complete bipartite graphs.
$τ$-exceptional sequences and the shard intersection order in type A
Published
• View Publication
• BIB
Reading's "shard intersection order" on the symmetric group can be realized as the "lattice of wide subcategories" of the corresponding preprojective algebra. In this paper, we first use Bancroft's combinatorial model for the shard intersection order to associate a unique shard to each downward cover relation. We then show that, under the correspondence with wide subcategories, this process coincides with Jasso's "$τ$-tilting reduction". In particular, this yields a combinatorial model for this algebras's $τ$-exceptional sequences" (defined by Buan and Marsh). We formulate this model using the combinatorics of arc diagrams. Finally, we use our model to give a new representation-theoretic proof that the shard intersection order is EL-shellable in type A.
Identifiability of the Rooted Tree Parameter under the Cavender-Farris-Neyman Model with a Molecular Clock
Identifiability of the discrete tree parameter is a key property for phylogenetic models since it is necessary for statistically consistent estimation of the tree from sequence data. Algebraic methods have proven to be very effective at showing that tree and network parameters of phylogenetic models are identifiable, especially when the underlying models are group-based. However, since group-based models are time-reversible, only the unrooted tree topology is identifiable and the location of the root is not. In this note we show that the rooted tree parameter of the Cavender-Farris-Neyman Model with a Molecular Clock is generically identifiable by using the invariants of the model which were characterized by Coons and Sullivant.
On a barrier height problem for RNA branching
Published
• View Publication
• BIB
The branching of an RNA molecule is an important structural characteristic yet difficult to predict correctly, especially for longer sequences. Using plane trees as a combinatorial model for RNA folding, we consider the thermodynamic cost, known as the barrier height, of transitioning between branching configurations. Using branching skew as a coarse energy approximation, we characterize various types of paths in the discrete configuration landscape. In particular, we give sufficient conditions for a path to have both minimal length and minimal branching skew. The proofs offer some biological insights, notably the potential importance of both hairpin stability and domain architecture to higher resolution RNA barrier height analyses.
Sturmian and infinitely desubstitutable words accepted by an ω-automaton
Given an $ω$-automaton and a set of substitutions, we look at which accepted words can also be defined through these substitutions, and in particular if there is at least one. We introduce a method using desubstitution of $ω$-automata to describe the structure of preimages of accepted words under arbitrary sequences of homomorphisms: this takes the form of a meta-$ω$-automaton.
We decide the existence of an accepted purely substitutive word, as well as the existence of an accepted fixed point. In the case of multiple substitutions (non-erasing homomorphisms), we decide the existence of an accepted infinitely desubstitutable word, with possibly some constraints on the sequence of substitutions e.g. Sturmian words or Arnoux-Rauzy words). As an application, we decide when a set of finite words codes e.g. a Sturmian word. As another application, we also show that if an $ω$-automaton accepts a Sturmian word, it accepts the image of the full shift under some Sturmian morphism.
Partitions enumerated by self-similar sequences
Published
• View Publication
• BIB
The Fibonacci numbers are the prototypical example of a recursive sequence, but grow too quickly to enumerate sets of integer partitions. The same is true for the other classical sequences $a(n)$ defined by Fibonacci-like recursions: the tribonacci, Padovan, Pell, Narayana's cows, and Lucas sequences. For each sequence $a(n)$, however, we can define a related sequence $\textrm{sa}(n)$ by defining $\textrm{sa}(n)$ to have the same recurrence and initial conditions as $a(n)$, except that $\textrm{sa}(2n)=\textrm{sa}(n)$. Growth is no longer a problem: for each $n$ we construct recursively a set $\mathcal{SA}(n)$ of partitions of $n$ such that the cardinality of $\mathcal{SA}(n)$ is $\textrm{sa}(n)$. We study the properties of partitions in $\mathcal{SA}(n)$ and in each case we give non-recursive descriptions. We find congruences for $\textrm{sa}(n)$ and also for $\textrm{psa}(n)$, the total number of parts in all partitions in $\mathcal{SA}(n)$.
Realising every colour distribution sequence with a Gallai colouring
An edge colouring of $K_n$ with $k$ colours is a Gallai $k$-colouring if it does not contain any rainbow triangle. Gyárfás, Pálvölgyi, Patkós and Wales proved that there exists a number $g(k)$ such that $n\geq g(k)$ if and only if for any colour distribution sequence $(e_1,\cdots,e_k)$ with $\sum_{i=1}^ke_i=\binom{n}{2}$, there exist a Gallai $k$-colouring of $K_n$ with $e_i$ edges having colour $i$. They also showed that $Ω(k)=g(k)=O(k^2)$ and posed the problem of determining the exact order of magnitude of $g(k)$. Feffer, Fu and Yan improved both bounds significantly by proving $Ω(k^{1.5}/\log k)=g(k)=O(k^{1.5})$. We resolve this problem by showing $g(k)=Θ(k^{1.5}/(\log k)^{0.5})$.
Finding Non-Distance Magic Graphs using neighbourhood chains
Let $G$ be a graph of order $n$ and $N = \{N(u_{i})\}^k_{i=1}$ be a sequence of neighbourhood(nbh)s in $G$ where $N(u)$ = $\{v\in V(G):$ $uv\in E(G)\}$. \emph{Nbh sequence graph $H$ of} $N$ in $G$ is defined as the union of all induced subgraphs of closed nbh $N[u_{i}]$ in $G$, $1 \leq i \leq k$, $k\in\mathbb{N}$. A labeling $f: V(G) \rightarrow \left\{1,2,\ldots,n\right\} $ is called a \emph{Distance Magic Labeling (DML)} of $G$ if ~ ${\sum_{v \in N(u)}} f(v) $ is a constant for every $u\in V(G)$. $G$ is called a \emph{Distance Magic graph (DMG)} if it has a DML, otherwise it is called a \emph{Non-Distance Magic (NDM)} graph. In this paper, we define nbh walk, nbh trial, nbh path or nbh chain, nbh cycle, nbh sequence graph and nbh chains of Type-1 (NC-T1) and Type-2 (NC-T2). NC-T2 is formed on two NC-T1 of same length. We prove that (i) for $k \geq 2$ and $n \geq 3$, cylindrical grid graph $P_{k} \Box C_{n}$ contains NC-T2, $k,n \in \mathbb{N}$; (ii) graph containing NC-T1 of even length is NDM and (iii) partially settle a conjecture that graphs $P_m \Box C_n$ are NDM when $n$ is even, $m \geq 2$, $n \geq 3$ and $m,n\in\mathbb{N}$.
A pipe dream perspective on totally symmetric self-complementary plane partitions
Published in Forum of Mathematics, Sigma. 2024;12:e17
• View Publication
• BIB
We characterize totally symmetric self-complementary plane partitions (TSSCPP) as bounded compatible sequences satisfying a Yamanouchi-like condition. As such, they are in bijection with certain pipe dreams. Using this characterization and the recent bijection of [Gao-Huang] between reduced pipe dreams and reduced bumpless pipe dreams, we give a bijection between alternating sign matrices and TSSCPP in the reduced, 1432-avoiding case. We also give a different bijection in the 1432- and 2143-avoiding case that preserves natural poset structures on the associated pipe dreams and bumpless pipe dreams.
Perfect t-embeddings of uniformly weighted Aztec diamonds and tower graphs
Published
• View Publication
• BIB
In this work we study a sequence of perfect t-embeddings of uniformly weighted Aztec diamonds. We show that these perfect t-embeddings can be used to prove convergence of gradients of height fluctuations to those of the Gaussian free field. In particular we provide a first proof of the existence of a model satisfying all conditions of the main theorem of arXiv:2109.06272. This confirms the prediction of arXiv:2002.07540. An important part of our proof is to exhibit exact integral formulas for perfect t-embeddings of uniformly weighted Aztec diamonds.
In addition, we construct and analyze perfect t-embeddings of another sequence of uniformly weighted finite graphs called tower graphs. Although we do not check all technical assumptions of the mentioned theorem for these graphs, we use perfect t-embeddings to derive a simple transformation which identifies height fluctuations on the tower graph with those of the Aztec diamond.
Hessenberg-Toeplitz Matrix Determinants with Schroder and Fine Number Entries
Published
• View Publication
• BIB
In this paper, we find determinant formulas of several Hessenberg-Toeplitz matrices whose nonzero entries are derived from the small and large Schroder and Fine number sequences. Algebraic proofs of these results can be given which make use of Trudi's formula and the generating function of the associated sequence of determinants. We also provide direct arguments of our results that utilize various counting techniques, among them sign-changing involutions, on combinatorial structures related to classes of lattice paths enumerated by the Schroder and Fine numbers. As a consequence of our results, we obtain some new formulas for the Schroder and Catalan numbers as well as for some additional sequences from the OEIS in terms of determinants of certain Hessenberg-Toeplitz matrices.
Efficiently distinguishing all tangles in locally finite graphs
Published in Journal of Combinatorial Theory, Series B Volume 167, July 2024, Pages 189-214
• View Publication
• BIB
While finite graphs have tree-decompositions that efficiently distinguish all their tangles, locally finite graphs with thick ends need not have such tree-decompositions. We show that every locally finite graph without thick ends admits such a tree-decomposition, in fact a canonical one. Our proof exhibits a thick end at any obstruction to the existence of such tree-decompositions and builds on new methods for the analysis of the limit behaviour of strictly increasing sequences of separations.
Rigorous Analytic Combinatorics in Several Variables in SageMath
Published in Séminaire Lotharingiende Combinatoire 89B (2023): Proceedings of the 35th FPSAC Conference, Article #90,12pp
• Search Publication
We introduce the new sage_acsv package for the SageMath computer algebra system, allowing users to rigorously compute asymptotics for a large variety of multivariate sequences with rational generating functions. Using Sage's support for exact computations over the algebraic number field, this package provides the first rigorous implementation of algorithms from the theory of analytic combinatorics in several variables.