sequence
7073 papers tagged with this keyword
Lattice paths and submonoids of $\mathbb Z^2$
Published
• View Publication
• BIB
We study a number of combinatorial and algebraic structures arising from walks on the two-dimensional integer lattice. To a given step set $X\subseteq\mathbb Z^2$, there are two naturally associated monoids: $\mathscr F_X$, the monoid of all $X$-walks/paths; and $\mathscr A_X$, the monoid of all endpoints of $X$-walks starting from the origin $O$. For each $A\in\mathscr A_X$, write $π_X(A)$ for the number of $X$-walks from $O$ to $A$. Calculating the numbers $π_X(A)$ is a classical problem, leading to Fibonacci, Catalan, Motzkin, Delannoy and Schroder numbers, among many other well-studied sequences and arrays. Our main results give relationships between finiteness properties of the numbers $π_X(A)$, geometrical properties of the step set $X$, algebraic properties of the monoid $\mathscr A_X$, and combinatorial properties of a certain bi-labelled digraph naturally associated to $X$. There is an intriguing divergence between the cases of finite and infinite step sets, and some constructions rely on highly non-trivial properties of real numbers. We also consider the case of walks constrained to stay within a given region of the plane. Several examples are considered throughout to highlight the sometimes-subtle nature of the theoretical results.
A combinatorial classification of 2-regular simple modules for Nakayama algebras
Published
• View Publication
• BIB
Enomoto showed for finite dimensional algebras that the classification of exact structures on the category of finitely generated projective modules can be reduced to the classification of 2-regular simple modules. In this article, we give a combinatorial classification of 2-regular simple modules for Nakayama algebras and we use this classification to answer several natural questions such as when there is a unique exact structure on the category of finitely generated projective modules for Nakayama algebras. We also classify 1-regular simple modules, quasi-hereditary Nakayama algebras and Nakayama algebras of global dimension at most two. It turns out that most classes are enumerated by well-known combinatorial sequences, such as Fibonacci, Riordan and Narayana numbers. We first obtain interpretations in terms of the Auslander-Reiten quiver of the algebra using homological algebra, and then apply suitable bijections to relate these to combinatorial statistics on Dyck paths.
On an Annihilation Number Conjecture
Published
• View Publication
• BIB
Let $α(G)$ denote the cardinality of a maximum independent set, while $μ(G)$ be the size of a maximum matching in the graph $G=\left(V,E\right) $. If $α(G)+μ(G)=\left\vert V\right\vert $, then $G$ is a König-Egerváry graph. If $d_{1}\leq d_{2}\leq\cdots\leq d_{n}$ is the degree sequence of $G$, then the annihilation number $h\left(G\right) $ of $G$ is the largest integer $k$ such that $\sum\limits_{i=1}^{k}d_{i}\leq\left\vert E\right\vert $ (Pepper 2004, Pepper 2009). A set $A\subseteq V$ satisfying $\sum \limits_{a\in A} deg(a)\leq\left\vert E\right\vert $ is an annihilation set, if, in addition, $ deg\left(v\right) +\sum\limits_{a\in A} deg(a)>\left\vert E\right\vert $, for every vertex $v\in V(G)-A$, then $A$ is a maximal annihilation set in $G$.
In (Larson & Pepper 2011) it was conjectured that the following assertions are equivalent:
(i) $α\left(G\right) =h\left(G\right) $;
(ii) $G$ is a König-Egerváry graph and every maximum independent set is a maximal annihilating set.
In this paper, we prove that the implication "(i) $\Longrightarrow$ (ii)" is correct, while for the opposite direction we provide a series of generic counterexamples.
Keywords: maximum independent set, matching, tree, bipartite graph, König-Egerváry graph, annihilation set, annihilation number.
Some Problems and Algorithms Related to the Weight Order Relation on the $n$-dimensional Boolean Cube
Published
• View Publication
• BIB
The problem "Given a Boolean function $f$ of $n$ variables by its truth table vector. Find (if exists) a vector $α\in \{0,1\}^n$ of maximal (or minimal) weight, such that $f(α)= 1$." is considered here. It is closely related to the problem of fast computing the algebraic degree of Boolean functions. It is an important cryptographic parameter used in the design of S-boxes in modern block ciphers, PRNGs in stream ciphers, at Reed-Muller codes, etc. To find effective solutions to this problem we explore the orders of the vectors of the $n$-dimensional Boolean cube $\{0,1\}^n$ in accordance with their weights. The notion of "$k$-th layer" of $\{0,1\}^n$ is involved in the definition and examination of the "weight order" relation. It is compared with the known relation "precedes". Several enumeration problems concerning these relations are solved and the corresponding comments were added to 3 sequences in the On-line Encyclopedia of Integer Sequences (OEIS). One special order (among the numerous weight orders) is defined and examined in detail. The lexicographic order is a second criterion for an ordinance of the vectors of equal weights. So a total order called Weight-Lexicographic Order (WLO) is obtained. Two algorithms for generating the WLO sequence and two algorithms for generating the characteristic vectors of the layers are proposed. Their results were used in creating 2 new sequences: A294648 and A305860 in the OEIS. Two algorithms for solving the problem considered are developed--the first one works in a byte-wise manner and uses the WLO sequence, and the second one works in a bitwise manner and uses the characteristic vector as masks. The experimental results after many tests confirm the efficiency of these algorithms. Some other applications of the obtained algorithms are also discussed--for example, when representing, generating and ranking other combinatorial objects.
An output-sensitive Algorithm to partition a Sequence of Integers into Subsets with equal Sums
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Discrete Algorithms (January 24, 2019) dmtcs:4994
• View Publication
• BIB
We present a polynomial time algorithm, which solves a nonstandard Variation of the well-known PARTITION-problem: Given positive integers $n, k$ and $t$ such that $t \geq n$ and $k \cdot t = {n+1 \choose 2}$, the algorithm partitions the elements of the set $I_n = \{1, \ldots, n\}$ into $k$ mutually disjoint subsets $T_j$ such that $\cup_{j=1}^k T_j = I_n$ and $\sum_{x \in T_{j}} x = t$ for each $j \in \{1,2, \ldots, k\}$. The algorithm needs $\mathcal{O}(n \cdot ( \frac{n}{2k} + \log \frac{n(n+1)}{2k} ))$ steps to insert the $n$ elements of $I_n$ into the $k$ sets $T_j$.
Pure $\mathcal{O}$-sequences arising from $2$-dimensional PS ear-decomposable simplicial complexes
Published
• View Publication
• BIB
We show that the $h$-vector of a $2$-dimensional PS ear-decomposable simplicial complex is a pure $\mathcal{O}$-sequence. This provides a strengthening of Stanley's conjecture for matroid $h$-vectors in rank $3$. Our approach modifies the approach of combinatorial shifting for arbitrary simplicial complexes to the setting of $2$-dimensional PS ear-decomposable complexes, which allows us to greedily construct a corresponding pure multicomplex.
The Relationship Between Pascal's Triangle and Random Walks
Random walks are a series of up, down, and level steps that enumerate distinct paths from $(0,0)$ to $(2n,0)$, where $n$ is the semi-length of the path. We used these paths to analyze Catalan, Schröder, and Motzkin number sequences through a combination of matrix operations, quadratic functions, and inductive reasoning. Our results revealed a number of distinct patterns, some unnamed, between these number sequences and Pascal's triangle that can be explained through generating functions, first returns, group theory, and the Riordan matrix.
Various proofs and properties of these number sequences are provided, including each generating function, their respective first returns, and matrix properties. These findings lead to a deeper understanding of combinatorics and graph theory.
On the degree pairs of a graph
Let G be a simple graph without isolated vertices. For a vertex i in G, the degree d_i is the number of vertices adjacent to i and the average 2-degree m_i is the mean of the degrees of the vertices which are adjacent to i. The sequence of pairs (d_i, m_i) is called the sequence of degree pairs of G. We provide some necessary conditions for a sequence of real pairs (a_i, b_i) of length n to be the degree pairs of a graph of order n. A graph G is called pseudo k-regular if m_i=k for every vertex i while d_i is not a constant. Let N(k) denote the minimum number of vertices in a pseudo k-regular graph. We utilize the above necessary conditions to find all pseudo 3-regular graphs of orders no more than 10, and all pseudo $k$-regular graphs of order N(k) for k up to 7. We give bounds of N(k) and show that N(k) is at most k+6.
Perfectly nested circuits
Nested graphs have been used in different applications, for example to represent knowledge in semantic networks. On the other hand, graphs with cycles are really important in surface reconstruction, periodic schedule and network analysis. Also, of particular interest are the cycle basis, which arise in mathematical and algorithm problems. In this work we develop the concept of perfectly nested eulerian circuits, exploring some of their properties. The main result establishes an order isomorphism between some sets of perfectly nested circuits and equivalence classes over finite binary sequences.
An explicit formula for the distance characteristic polynomial of threshold graphs
Published
• View Publication
• BIB
A threshold graph G on n vertices is defined by binary sequence of length n. In this paper we present an explicit formula for computing the distance characteristic polynomial of a threshold graph from its binary sequence. As application, we show a several of nonisomorphic pairwise threshold graphs which are {D}-cospectral graphs.
New Tribonacci Recurrence Relations and Addition Formulas
Published
• View Publication
• BIB
Only one three-term recurrence relation, namely, $W_{r}=2W_{r-1}-W_{r-4}$, is known for the generalized Tribonacci numbers, $W_r$, $r\in\mathbb{Z}$, defined by $W_{r}=W_{r-1}+W_{r-2}+W_{r-3}$ and \mbox{$W_{-r}=W_{-r+3}-W_{-r+2}-W_{-r+1}$}, where $W_0$, $W_1$ and $W_2$ are given, arbitrary integers, not all zero. Also, only one four-term addition formula is known for these numbers, which is, $W_{r + s} = T_{s - 1} W_{r - 1} + (T_{s - 1} + T_{s-2} )W_r + T_s W_{r + 1}$, where $({T_r})_{r\in\mathbb{Z}}$ is the Tribonacci sequence, a special case of the generalized Tribonacci sequence, with $W_0=T_0=0$ and $W_1=W_2=T_1=T_2=1$. In this paper we discover three new three-term recurrence relations and two identities from which a plethora of new addition formulas for the generalized Tribonacci numbers may be discovered. We obtain a simple relation connecting the Tribonacci numbers and the Tribonacci-Lucas numbers. Finally, we derive quadratic and cubic recurrence relations for the generalized Tribonacci numbers.
Direct families of polytopes with nontrivial Massey products
The problem of existence of nontrivial Massey products in cohomology of a space is well-known in algebraic topology and homological algebra. A number of problems in complex geometry, symplectic geometry, and algebraic topology can be stated in terms of Massey products. One of such problems is to establish formality of smooth manifolds in rational homotopy theory. There have already been constructed a few classes of spaces with nontrivial triple Massey products in cohomology. Until now, very few examples of manifolds $M$ with nontrivial higher Massey products in $H^*(M)$ were known. In this work we introduce a sequence of smooth closed manifolds $\{M_{k}\}^{\infty}_{k=1}$ such that $M_{k}\hookrightarrow M_{k+1}$ is a submanifold and a retract of $M_{k+1}$ for any $k\geq 1$ and there exists a nontrivial Massey product $\langleα_{1},\ldots,α_{n}\rangle$ in $H^*(M_{k})$ for each $2\leq n\leq k$. The sequence $\{M_k\}^{\infty}_{k=1}$ is determined by a new family of flag nestohedra $\mathcal P_{Mas}$. We give P.D.E. for the two-parametric generating series of $\mathcal P_{Mas}$.
Characterizations and Directed Path-Width of Sequence Digraphs
Published
• View Publication
• BIB
Computing the directed path-width of a directed graph is an NP-hard problem. Even for digraphs of maximum semi-degree 3 the problem remains hard. We propose a decomposition of an input digraph G=(V,A) by a number k of sequences with entries from V, such that (u,v) in A if and only if in one of the sequences there is an occurrence of u appearing before an occurrence of v. We present several graph theoretical properties of these digraphs. Among these we give forbidden subdigraphs of digraphs which can be defined by k=1 sequence, which is a subclass of semicomplete digraphs. Given the decomposition of digraph G, we show an algorithm which computes the directed path-width of G in time O(k\cdot (1+N)^k), where N denotes the maximum sequence length. This leads to an XP-algorithm w.r.t. k for the directed path-width problem. Our result improves the algorithms of Kitsunai et al. for digraphs of large directed path-width which can be decomposed by a small number of sequence.
The Eternal Game Chromatic Number of a Graph
Game coloring is a well-studied two-player game in which each player properly colors one vertex of a graph at a time until all the vertices are colored. An `eternal' version of game coloring is introduced in this paper in which the vertices are colored and re-colored from a color set over a sequence of rounds. In a given round, each vertex is colored, or re-colored, once, so that a proper coloring is maintained. Player 1 wants to maintain a proper coloring forever, while player 2 wants to force the coloring process to fail. The eternal game chromatic number of a graph $G$ is defined to be the minimum number of colors needed in the color set so that player 1 can always win the game on $G$. We consider several variations of this new game and show its behavior on some elementary classes of graphs.
Improving the $\frac{1}{3}-\frac{2}{3}$ Conjecture for Width Two Posets
Published in Combinatorica volume 41, pages 99-126 (2021)
• View Publication
• BIB
Extending results of Linial (1984) and Aigner (1985), we prove a uniform lower bound on the balance constant of a poset $P$ of width $2$. This constant is defined as $δ(P) = \max_{(x, y)\in P^2}\min\{\mathbb{P}(x\prec y), \mathbb{P}(y\prec x)\}$, where $\mathbb{P}(x\prec y)$ is the probability $x$ is less than $y$ in a uniformly random linear extension of $P$. In particular, we show that if $P$ is a width $2$ poset that cannot be formed from the singleton poset and the three element poset with one relation using the operation of direct sum, then \[δ(P)\ge\frac{-3 + 5\sqrt{17}}{52}\approx 0.33876\ldots.\] This partially answers a question of Brightwell (1999); a full resolution would require a proof of the $\frac{1}{3}-\frac{2}{3}$ Conjecture that if $P$ is not totally ordered then $δ(P)\ge\frac{1}{3}$.
Furthermore, we construct a sequence of posets $T_n$ of width $2$ with $δ(T_n)\rightarrowβ\approx 0.348843\ldots$, giving an improvement over a construction of Chen (2017) and over the finite posets found by Peczarski (2017). Numerical work on small posets by Peczarski suggests the constant $β$ may be optimal.
Log-Concave Polynomials III: Mason's Ultra-Log-Concavity Conjecture for Independent Sets of Matroids
Published
• View Publication
• BIB
We give a self-contained proof of the strongest version of Mason's conjecture, namely that for any matroid the sequence of the number of independent sets of given sizes is ultra log-concave. To do this, we introduce a class of polynomials, called completely log-concave polynomials, whose bivariate restrictions have ultra log-concave coefficients. At the heart of our proof we show that for any matroid, the homogenization of the generating polynomial of its independent sets is completely log-concave.
A simplified disproof of Beck's three permutations conjecture and an application to root-mean-squared discrepancy
Published
• View Publication
• BIB
A $k$-permutation family on $n$ vertices is a set system consisting of the intervals of $k$ permutations of the integers $1$ through $n$. The discrepancy of a set system is the minimum over all red-blue vertex colorings of the maximum difference between the number of red and blue vertices in any set in the system. In 2011, Newman and Nikolov disproved a conjecture of Beck that the discrepancy of any $3$-permutation family is at most a constant independent of $n$. Here we give a simpler proof that Newman and Nikolov's sequence of $3$-permutation families has discrepancy $Ω(\log n)$. We also exhibit a sequence of $6$-permutation families with root-mean-squared discrepancy $Ω(\sqrt{\log n})$; that is, in any red-blue vertex coloring, the square root of the expected difference between the number of red and blue vertices in an interval of the system is $Ω(\sqrt{\log n})$.
Asymptotic Analysis of Regular Sequences
Published in Algorithmica volume 82, pages 429508 (2020)
• View Publication
• BIB
In this article, $q$-regular sequences in the sense of Allouche and Shallit are analysed asymptotically. It is shown that the summatory function of a regular sequence can asymptotically be decomposed as a finite sum of periodic fluctuations multiplied by a scaling factor. Each of these terms corresponds to an eigenvalue of the sum of matrices of a linear representation of the sequence; only the eigenvalues of absolute value larger than the joint spectral radius of the matrices contribute terms which grow faster than the error term.
The paper has a particular focus on the Fourier coefficients of the periodic fluctuations: They are expressed as residues of the corresponding Dirichlet generating function. This makes it possible to compute them in an efficient way. The asymptotic analysis deals with Mellin--Perron summations and uses two arguments to overcome convergence issues, namely Hölder regularity of the fluctuations together with a pseudo-Tauberian argument.
Apart from the very general result, three examples are discussed in more detail: sequences defined as the sum of outputs written by a transducer when reading a $q$-ary expansion of the input; the amount of esthetic numbers in the first~$N$ natural numbers; and the number of odd entries in the rows of Pascal's rhombus. For these examples, very precise asymptotic formulæ are presented. In the latter two examples, prior to this analysis only rough estimates were known.
Embedding cover-free families and cryptographical applications
Published
• View Publication
• BIB
Cover-free families are set systems used as solutions for a large variety of problems, and in particular, problems where we deal with $n$ elements and want to identify $d$ invalid ones among them by performing only $t$ tests ($t \leq n$). We are specially interested in cryptographic problems, and we note that some of these problems need cover-free families with an increasing size $n$. Solutions that propose the increase of $n$, such as \emph{monotone families} and \emph{nested families}, have been recently considered in the literature. In this paper, we propose a generalization that we call \emph{embedding families}, which allows us to increase both $n$ and $d$. We propose constructions of \emph{embedding families} using polynomials over finite fields, and show specific cases where this construction allows us to prioritize increase of $d$ or $n$ with good compression ratios. We also provide new constructions for monotone families with improved compression ratio. Finally, we show how to use embedded sequences of orthogonal arrays and packing arrays to build embedding families.
Resilient degree sequences with respect to Hamilton cycles and matchings in random graphs
Published
• View Publication
• BIB
Pósa's theorem states that any graph $G$ whose degree sequence $d_1 \le \ldots \le d_n$ satisfies $d_i \ge i+1$ for all $i < n/2$ has a Hamilton cycle. This degree condition is best possible. We show that a similar result holds for suitable subgraphs $G$ of random graphs, i.e. we prove a `resilience version' of Pósa's theorem: if $pn \ge C \log n$ and the $i$-th vertex degree (ordered increasingly) of $G \subseteq G_{n,p}$ is at least $(i+o(n))p$ for all $i<n/2$, then $G$ has a Hamilton cycle. This is essentially best possible and strengthens a resilience version of Dirac's theorem obtained by Lee and Sudakov.
Chvátal's theorem generalises Pósa's theorem and characterises all degree sequences which ensure the existence of a Hamilton cycle. We show that a natural guess for a resilience version of Chvátal's theorem fails to be true. We formulate a conjecture which would repair this guess, and show that the corresponding degree conditions ensure the existence of a perfect matching in any subgraph of $G_{n,p}$ which satisfies these conditions. This provides an asymptotic characterisation of all degree sequences which resiliently guarantee the existence of a perfect matching.