sequence
6845 papers tagged with this keyword
Self-dual Hadamard bent sequences
Published in J. Syst. Sci. Complex. 36(2) 2023, 894-908
• View Publication
• BIB
A new notion of bent sequence related to Hadamard matrices was introduced recently, motivated by a security application ( Solé et al, 2021). We study the self dual class in length at most $196.$ We use three competing methods of generation: Exhaustion, Linear Algebra and Groebner bases. Regular Hadamard matrices and Bush-type Hadamard matrices provide many examples. We conjecture that if $v$ is an even perfect square, a self-dual bent sequence of length $v$ always exist. We introduce the strong automorphism group of Hadamard matrices, which acts on their associated self-dual bent sequences. We give an efficient algorithm to compute that group.
On Sequences in Cyclic Groups with Distinct Partial Sums
Published
• View Publication
• BIB
A subset of an abelian group is {\em sequenceable} if there is an ordering $(x_1, \ldots, x_k)$ of its elements such that the partial sums $(y_0, y_1, \ldots, y_k)$, given by $y_0 = 0$ and $y_i = \sum_{j=1}^i x_i$ for $1 \leq i \leq k$, are distinct, with the possible exception that we may have $y_k = y_0 = 0$. We demonstrate the sequenceability of subsets of size $k$ of $\mathbb{Z}_n \setminus \{ 0 \}$ when $n = mt$ in many cases, including when $m$ is either prime or has all prime factors larger than $k! /2$ for $k \leq 11$ and $t \leq 5$ and for $k=12$ and $t \leq 4$. We obtain similar, but partial, results for $13 \leq k \leq 15$. This represents progress on a variety of questions and conjectures in the literature concerning the sequenceability of subsets of abelian groups, which we combine and summarize into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable.
Expansive Multisets: Asymptotic Enumeration
Consider a non-negative sequence $c_n = h(n) \cdot n^{α-1} \cdot ρ^{-n}$, where $h$ is slowly varying, $α>0$, $0<ρ<1$ and $n\in\mathbb{N}$. We investigate the coefficients of $G(x,y) = \prod_{k\ge1}(1-x^ky)^{-c_k}$, which is the bivariate generating series of the multiset construction of combinatorial objects. By a powerful blend of probabilistic methods based on the Boltzmann model and analytic techniques exploiting the well-known saddle-point method we determine the number of multisets of total size $n$ with $N$ components, that is, the coefficient of $x^ny^N$ in $G(x,y)$, asymptotically as $n\to\infty$ and for all ranges of $N$. Our results reveal a phase transition in the structure of the counting formula that depends on the ratio $n/N$ and that demonstrates a prototypical passage from a bivariate local limit to an univariate one.
Maximal origami flip graphs of flat-foldable vertices: properties and algorithms
Published in Journal of Graph Algorithms and Applications, Vol. 26, No. 4, 2020
• View Publication
• BIB
Flat origami studies straight line, planar graphs $C=(V,E)$ drawn on a region $R\subset\mathbb{R}^2$ that can act as crease patterns to map, or fold, $R$ into $\mathbb{R}^2$ in a way that is continuous and a piecewise isometry exactly on the faces of $C$. Associated with such crease pattern graphs are valid mountain-valley (MV) assignments $μ:E\to\{-1,1\}$, indicating which creases can be mountains (convex) or valleys (concave) to allow $R$ to physically fold flat without self-intersecting. In this paper, we initiate the first study of how valid MV assignments of single-vertex crease patterns are related to one another via face-flips, a concept that emerged from applications of origami in engineering and physics, where flipping a face $F$ means switching the MV parity of all creases of $C$ that border $F$. Specifically, we study the origami flip graph ${\rm{OFG}}(C)$, whose vertices are all valid MV assignments of $C$ and edges connect assignments that differ by only one face flip. We prove that, for the single-vertex crease pattern $A_{2n}$ whose $2n$ sector angles around the vertex are all equal, ${\rm{OFG}}(A_{2n})$ contains as subgraphs all other origami flip graphs of degree-$2n$ flat origami vertex crease patterns. We also prove that ${\rm{OFG}}(A_{2n})$ is connected and has diameter $n$ by providing two $O(n^2)$ algorithms to traverse between vertices in the graph, and we enumerate the vertices, edges, and degree sequence of ${\rm{OFG}}(A_{2n})$. We conclude with open questions on the surprising complexity found in origami flip graphs of this type.
Independent set reconfiguration on directed graphs
Published
• View Publication
• BIB
\textsc{Directed Token Sliding} asks, given a directed graph and two sets of pairwise nonadjacent vertices, whether one can reach from one set to the other by repeatedly applying a local operation that exchanges a vertex in the current set with one of its out-neighbors, while keeping the nonadjacency. It can be seen as a reconfiguration process where a token is placed on each vertex in the current set, and the local operation slides a token along an arc respecting its direction. Previously, such a problem was extensively studied on undirected graphs, where the edges have no directions and thus the local operation is symmetric. \textsc{Directed Token Sliding} is a generalization of its undirected variant since an undirected edge can be simulated by two arcs of opposite directions.
In this paper, we initiate the algorithmic study of \textsc{Directed Token Sliding}. We first observe that the problem is PSPACE-complete even if we forbid parallel arcs in opposite directions and that the problem on directed acyclic graphs is NP-complete and W[1]-hard parameterized by the size of the sets in consideration. We then show our main result: a linear-time algorithm for the problem on directed graphs whose underlying undirected graphs are trees, which are called polytrees. Such a result is also known for the undirected variant of the problem on trees~[Demaine et al.~TCS 2015], but the techniques used here are quite different because of the asymmetric nature of the directed problem. We present a characterization of yes-instances based on the existence of a certain set of directed paths, and then derive simple equivalent conditions from it by some observations, which admits an efficient algorithm. For the polytree case, we also present a quadratic-time algorithm that outputs, if the input is a yes-instance, one of the shortest reconfiguration sequences.
A combinatorial view of stochastic processes: White noise
Published
• View Publication
• BIB
White noise is a fundamental and fairly well understood stochastic process that conforms the conceptual basis for many other processes, as well as for the modeling of time series. Here we push a fresh perspective toward white noise that, grounded on combinatorial considerations, contributes to give new interesting insights both for modelling and theoretical purposes. To this aim, we incorporate the ordinal pattern analysis approach which allows us to abstract a time series as a sequence of patterns and their associated permutations, and introduce a simple functional over permutations that partitions them into classes encoding their level of asymmetry. We compute the exact probability mass function (p.m.f.) of this functional over the symmetric group of degree $n$, thus providing the description for the case of an infinite white noise realization. This p.m.f. can be conveniently approximated by a continuous probability density from an exponential family, the Gaussian, hence providing natural sufficient statistics that render a convenient and simple statistical analysis through ordinal patterns. Such analysis is exemplified on experimental data for the spatial increments from tracks of gold nanoparticles in 3D diffusion.
A GL-Equivariant Complex Inducing Character Identities for Schur Modules
In this paper we construct a GL-equivariant complex of Schur modules over a ring of positive characteristic that can be used to deduce classical alternating sum identities for Schur polynomials. This complex globalizes to a complex of vector bundles and can also be used to give an explicit construction of an exact sequence predicted by work of Grayson involving Adams operations identities on the algebraic K-theory of a given scheme $X$. The more general complex gives an explicit construction that reproves the aforementioned Adams operations identities in full generality.
Sylvester sums on the Frobenius set in arithmetic progression
Published
• View Publication
• BIB
Let $a_1,a_2,\dots,a_k$ be positive integers with $\gcd(a_1,a_2,\dots,a_k)=1$. The concept of the weighted sum $\sum_{n\in{\rm NR}}λ^{n}$ is introduced in \cite{KZ0,KZ}, where ${\rm NR}={\rm NR}(a_1,a_2,\dots,a_k)$ denotes the set of positive integers nonrepresentable in terms of $a_1,a_2,\dots,a_k$. When $λ=1$, such a sum is often called Sylvester sum. The main purpose of this paper is to give explicit expressions of the Sylvester sum ($λ=1$) and the weighed sum ($λ\ne 1$), where $a_1,a_2,\dots,a_k$ forms arithmetic progressions. As applications, various other cases are also considered, including weighted sums, almost arithmetic sequences, arithmetic sequences with an additional term, and geometric-like sequences. Several examples illustrate and confirm our results.
TS-Reconfiguration of $k$-Path Vertex Covers in Caterpillars for $k \geq 4$
Published in Theory and Applications of Graphs: Vol. 10: Iss. 1, Article 8 (2023)
• View Publication
• BIB
A $k$-path vertex cover ($k$-PVC) of a graph $G$ is a vertex subset $I$ such that each path on $k$ vertices in $G$ contains at least one member of $I$. Imagine that a token is placed on each vertex of a $k$-PVC. Given two $k$-PVCs $I, J$ of a graph $G$, the $k$-Path Vertex Cover Reconfiguration ($k$-PVCR) under Token Sliding ($\mathsf{TS}$) problem asks if there is a sequence of $k$-PVCs between $I$ and $J$ where each intermediate member is obtained from its predecessor by sliding a token from some vertex to one of its unoccupied neighbors. This problem is known to be $\mathtt{PSPACE}$-complete even for planar graphs of maximum degree $3$ and bounded treewidth and can be solved in polynomial time for paths and cycles. Its complexity for trees remains unknown. In this paper, as a first step toward answering this question, for $k \geq 4$, we present a polynomial-time algorithm that solves $k$-PVCR under $\mathsf{TS}$ for caterpillars (i.e., trees formed by attaching leaves to a path).
Tilings of a Honeycomb Strip and Higher Order Fibonacci Numbers
In this paper we explore two types of tilings of a honeycomb strip and derive some closed form formulas for the number of tilings. Furthermore, we obtain some new identities involving tribonacci numbers, Padovan numbers and Narayana's cow sequence and provide combinatorial proofs for several known identities about those numbers.
Bracket words: a generalisation of Sturmian words arising from generalised polynomials
Published
• View Publication
• BIB
Generalised polynomials are maps constructed by applying the floor function, addition, and multiplication to polynomials. Despite superficial similarity, generalised polynomials exhibit many phenomena which are impossible for polynomials. In particular, there exist generalised polynomial sequences which take only finitely many values without being periodic; examples of such sequences include the Sturmian words, as well as more complicated sequences like $[ 2\{ πn^2 + \sqrt{2}n[\sqrt{3}n] \}]$. The purpose of this paper is to investigate letter-to-letter codings of finitely-valued generalised polynomial sequences, which we call \emph{bracket words}, from the point of view of combinatorics on words. We survey existing results on generalised polynomials and their corollaries in terms of bracket words, and also prove several new results. Our main contribution is a polynomial bound on the subword complexity of bracket words.
Note on a Fibonacci Parity Sequence
Published
• View Publication
• BIB
Let ftm = 0111010010001... be the analogue of the Thue-Morse sequence in Fibonacci representation. In this note we show how, using the Walnut theorem-prover, to obtain a measure of its complexity, previously studied by Jamet, Popoli, and Stoll. We strengthen one of their theorems and disprove one of their conjectures.
Skew Dyck paths without up--down--left
Published
• View Publication
• BIB
Skew Dyck paths without up-down-left are enumerated. In a second step, the number of contiguous subwords 'up-down-left' are counted. This explains and extends results that were posted in the Encyclopedia of Integer Sequences.
Enumeration of symmetric arc diagrams
Published in Involve 16 (2023) 107-126
• View Publication
• BIB
We give recurrence relations for the enumeration of symmetric elements within four classes of arc diagrams corresponding to certain involutions and set partitions whose blocks contain no consecutive integers. These arc diagrams are motivated by the study of RNA secondary structures. For example, classic RNA secondary structures correspond to 3412-avoiding involutions with no adjacent transpositions, and structures with base triples may be represented as partitions with crossings. Our results rely on combinatorial arguments. In particular, we use Motzkin paths to describe noncrossing arc diagrams that have no arc connecting two adjacent nodes, and we give an explicit bijection to ternary words whose length coincides with the sum of their digits. We also discuss the asymptotic behavior of some of the sequences considered here in order to quantify the extremely low probability of finding symmetric structures with a large number of nodes.
Extremal spectral radius of nonregular graphs with prescribed maximum degree
Published
• View Publication
• BIB
Let $G$ be a graph attaining the maximum spectral radius among all connected nonregular graphs of order $n$ with maximum degree $Δ$. Let $λ_1(G)$ be the spectral radius of $G$. A nice conjecture due to Liu, Shen and Wang [On the largest eigenvalue of non-regular graphs, J. Combin. Theory Ser. B, 97 (2007) 1010--1018] asserts that \[ \lim_{n\to\infty} \frac{n^2(Δ-λ_1(G))}{Δ-1} = π^2 \] for each fixed $Δ$. Concerning an important structural property of the extremal graphs $G$, Liu and Li present another conjecture which states that $G$ has degree sequence $Δ,\ldots,Δ,δ$. Here, $δ=Δ-1$ or $δ=Δ-2$ depending on the parity of $nΔ$. In this paper, we make progress on the two conjectures. To be precise, we disprove the first conjecture for all $Δ\geq 3$ by showing that the limit superior is at most $π^2/2$. For small $Δ$, we determine the precise asymptotic behavior of $Δ-λ_1(G)$. In particular, we show that $\lim\limits_{n\to\infty} n^2 (Δ- λ_1(G)) /(Δ- 1) = π^2/4$ if $Δ=3$; and $\lim\limits_{n\to\infty} n^2 (Δ- λ_1(G)) /(Δ- 2) = π^2/2$ if $Δ= 4$. We also confirm the second conjecture for $Δ= 3$ and $Δ= 4$ by determining the precise structure of extremal graphs. Particularly, we show that the extremal graphs for $Δ\in\{3,4\}$ must have a path-like structure built from specific blocks.
Countable Ramsey
Published
• View Publication
• BIB
The celebrated Erdős-Hajnal Conjecture says that in any proper hereditary class of finite graphs we are guaranteed to have a clique or anti-clique of size $n^c$, which is a much better bound than the logarithmic size that is provided by Ramsey's Theorem in general. On the other hand, in uncountable cardinalities, the model-theoretic property of stability guarantees a uniform set much larger than the bound provided by the Erdős-Rado Theorem in general.
Even though the consequences of stability in the finite have been much studied in the literature, the countable setting seems a priori quite different, namely, in the countably infinite the notion of largeness based on cardinality alone does not reveal any structure as Ramsey's Theorem already provides a countably infinite uniform set in general. In this paper, we show that the natural notion of largeness given by upper density reveals that these phenomena meet in the countable: a countable graph has an almost clique or anti-clique of positive upper density if and only if it has a positive upper density almost stable set. Moreover, this result also extends naturally to countable models of a universal theory in a finite relational language.
Our methods explore a connection with the notion of convergence in the theory of limits of dense combinatorial objects, introducing and studying a natural approximate version of the Erdős-Hajnal property that allows for a negligible error in the edges (in general, predicates) but requires linear-sized uniform sets in convergent sequences of models (this is much stronger than what stable regularity can provide as the error is required to go to zero). Finally, surprisingly, we completely characterize all hereditary classes of finite graphs that have this approximate Erdős-Hajnal property. The proof highlights both differences and similarities with the original conjecture.
Connecting Slow Solutions to Nested Recurrences with Linear Recurrent Sequences
Published
• View Publication
• BIB
Labeled infinite trees provide combinatorial interpretations for many integer sequences generated by nested recurrence relations. Typically, such sequences are monotone increasing. Several of these sequences also have straightforward descriptions in terms of how often each value in the sequence occurs. In this paper, we generalize the most classical examples to a larger family of sequences parametrized by linear recurrence relations. Each of our sequences can be constructed in three different ways: via a nested recurrence relation, from labeled infinite trees, or by using Zeckendorf-like strings of digits to describe its frequency sequence. We conclude the paper by discussing the asymptotic behaviors of our sequences.
Optimal schemes for combinatorial query problems with integer feedback
Published
• View Publication
• BIB
A query game is a pair of a set $Q$ of queries and a set $\mathcal{F}$ of functions, or codewords $f:Q\rightarrow \mathbb{Z}.$ We think of this as a two-player game. One player, Codemaker, picks a hidden codeword $f\in \mathcal{F}$. The other player, Codebreaker, then tries to determine $f$ by asking a sequence of queries $q\in Q$, after each of which Codemaker must respond with the value $f(q)$. The goal of Codebreaker is to uniquely determine $f$ using as few queries as possible. Two classical examples of such games are coin-weighing with a spring scale, and Mastermind, which are of interest both as recreational games and for their connection to information theory.
In this paper, we will present a general framework for finding short solutions to query games. As applications, we give new self-contained proofs of the query complexity of variations of the coin-weighing problems, and prove new results that the deterministic query complexity of Mastermind with $n$ positions and $k$ colors is $Θ(n \log k/ \log n + k)$ if only black-peg information is provided, and $Θ(n \log k / \log n + k/n)$ if both black- and white-peg information is provided. In the deterministic setting, these are the first up to constant factor optimal solutions to Mastermind known for any $k\geq n^{1-o(1)}$.
Pontryagin algebras and the LS-category of moment-angle complexes in the flag case
Published in Proc. Steklov Inst. Math. 317, 55-77(2022)
• View Publication
• BIB
For any flag simplicial complex $K$, we describe the multigraded Poincare series, the minimal number of relations and the degrees of these relations in the Pontryagin algebra of the corresponding moment-angle complex $Z_K$. We compute the LS-category of $Z_K$ for flag complexes and give a lower bound in the general case. The key observation is that the Milnor-Moore spectral sequence collapses at the second sheet for flag $K$. We also show that the results of Panov and Ray about the Pontryagin algebras of Davis-Januszkiewicz spaces are valid for arbitrary coefficient rings, and introduce the $(\mathbb{Z}\times\mathbb{Z}^m)$-grading on the Pontryagin algebras which is similar to the multigrading on the cohomology of $Z_K$.
Short and local transformations between ($Δ+1$)-colorings
Recoloring a graph is about finding a sequence of proper colorings of this graph from an initial coloring $σ$ to a target coloring $η$. Adding the constraint that each pair of consecutive colorings must differ on exactly one vertex, one asks: Is there a sequence of colorings from $σ$ to $η$? If yes, how short can it be?
In this paper, we focus on $(Δ+1)$-colorings of graphs of maximum degree $Δ$. Feghali, Johnson and Paulusma proved that, if both colorings are non-frozen (i.e. we can change the color of a least one vertex), then a quadratic recoloring sequence always exists. We improve their result by proving that there actually exists a linear transformation (assuming that $Δ$ is a constant).
In addition, we prove that the core of our algorithm can be performed locally. Informally, this means that after some preprocessing, the color changes that a given node has to perform only depend on the colors of the vertices in a constant size neighborhood. We make this precise by designing of an efficient recoloring algorithm in the LOCAL model of distributed computing.