sequence
6966 papers tagged with this keyword
Higher Degree Davenport Constants over Finite Commutative Rings
Published in Integers 21 (2021), Paper No. A120, 17 pp
• Search Publication
We generalize the notion of Davenport constants to a `higher degree' and obtain various lower and upper bounds, which are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. Two simple examples that capture the essence of these higher degree Davenport constants are the following. 1) Suppose $n = 2^k$, then every sequence of integers $S$ of length $2n$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$ and the bound is sharp. 2) Suppose $n \equiv1 \pmod{2}$, then every sequence of integers $S$ of length $2n -1$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions have to vanish on the elements of a subsequence.
Sweeps, polytopes, oriented matroids, and allowable graphs of permutations
Published in Combinatorica (2023)
• View Publication
• BIB
A sweep of a point configuration is any ordered partition induced by a linear functional. Posets of sweeps of planar point configurations were formalized and abstracted by Goodman and Pollack under the theory of allowable sequences of permutations. We introduce two generalizations that model posets of sweeps of higher dimensional configurations.
Mimicking the fact that sweep polytopes of point configurations (the monotone path polytopes of the associated zonotopes) are projections of permutahedra, we define sweep oriented matroids as strong maps of the braid oriented matroid. Allowable sequences are then the sweep oriented matroids of rank 2, and many of their properties extend to higher rank. We show strong ties between sweep oriented matroids and both modular hyperplanes and Dilworth truncations from (unoriented) matroid theory. We also explore their connection with the generalized Baues problem for cellular strings, where sweep oriented matroids can play the role of monotone path polytopes, even for non-realizable oriented matroids. In particular, we show that for oriented matroids that admit a sweep oriented matroid, their poset of pseudo-sweeps deformation retracts to a sphere of the appropriate dimension.
A second generalization are allowable graphs of permutations: symmetric sets of permutations pairwise connected by allowable sequences. They have the structure of acycloids and include sweep oriented matroids.
Some observations and speculations on partitions into $d$-th powers
Published
• View Publication
• BIB
The aim of this note is to provoke discussion concerning arithmetic properties of function $p_{d}(n)$ counting partitions of an positive integer $n$ into $d$-th powers, where $d\geq 2$. Besides results concerning the asymptotic behavior of $p_{d}(n)$ a little is known. In the first part of the paper, we prove certain congruences involving functions counting various types of partitions into $d$-th powers. The second part of the paper has experimental nature and contains questions and conjectures concerning arithmetic behavior of the sequence $(p_{d}(n))_{n\in\N}$. They based on our computations of $p_{d}(n)$ for $n\leq 10^5$ in case of $d=2$, and $n\leq 10^{6}$ for $d=3, 4, 5$.
Generalized Catalan numbers from hypergraphs
Published
• View Publication
• BIB
The Catalan numbers (C_n)_{n >= 0} = 1,1,2,5,14,42,... form one of the most venerable sequences in combinatorics. They have many combinatorial interpretations, from counting bracketings of products in non-associative algebra to counting plane trees and noncrossing set partitions. They also arise in the GUE matrix model as the leading coefficient of certain polynomials, a connection closely related to the plane trees and noncrossing set partitions interpretations. In this paper we define a generalization of the Catalan numbers. In fact we define an infinite collection of generalizations C_n^(m), m >= 1, with m=1 giving the usual Catalans. The sequence C_n^(m) comes from studying certain matrix models attached to hypergraphs. We also give some combinatorial interpretations of these numbers, and conjecture some asymptotics.
The Embedded Homology of Hypergraph Pairs
Published
• View Publication
• BIB
In this paper, we generalize the embedded homology groups of hypergraphs initially given in [S. Bressan, J. Li, S. Ren, and J. Wu, The embedded homology of hypergraphs and applications, Asian J. Math. 23(3)(2019) 479-500] and study the relative embedded homology groups of hypergraph pairs. We prove some long exact sequences as well as a Mayer-Vietoris sequence for the relative embedded homology groups of hypergraph pairs. Moreover, we briefly discuss the two-dimensional persistence for the relative embedded homology groups of hypergraph pairs.
Edges in Fibonacci cubes, Lucas cubes and complements
Published
• View Publication
• BIB
The Fibonacci cube of dimension n, denoted as $Γ\_n$, is the subgraph of the hypercube induced by vertices with no consecutive 1's. The irregularity of a graph G is the sum of |d(x)-d(y)| over all edges {x,y} of G. In two recent paper based on the recursive structure of $Γ\_n$ it is proved that the irregularity of $Γ\_n$ and $Λ\_n$ are two times the number of edges of $Γ\_{n-1}$ and $2n$ times the number of vertices of $Γ\_{n-4}$, respectively. Using an interpretation of the irregularity in terms of couples of incident edges of a special kind (Figure 2) we give a bijective proof of both results. For these two graphs we deduce also a constant time algorithm for computing the imbalance of an edge. In the last section using the same approach we determine the number of edges and the sequence of degrees of the cube complement of $Γ\_n$.
Lie complexity of words
Published
• View Publication
• BIB
Given a finite alphabet $Σ$ and a right-infinite word $\bf w$ over $Σ$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of length-$n$ factors $x$ of $\bf w$ with the property that every element of the conjugacy class appears in $\bf w$.
We show that the Lie complexity function is uniformly bounded for words with linear factor complexity, and as a result we show that words of linear factor complexity have at most finitely many primitive factors $y$ with the property that $y^n$ is again a factor for every $n$.
We then look at automatic sequences and show that the Lie complexity function of a $k$-automatic sequence is again $k$-automatic.
On the number of fixed points of the map $γ$
We recursively define a sequence $\{F_{n,k}\}_{n,k\in\mathbb N }$ and we prove that such sequence contains only the symbols $\{0,1\}.$ We investigate some number-theoretic properties of such sequence and of the way it can be generated. The number $F_n$ can be interpreted as the number of fixed points of semilength $n$ of the map $γ$ introduced by Barnabei et al. Our results partially answer conjectures posed by Cori et al.
Inducibility and universality for trees
Published
• View Publication
• BIB
We answer three questions posed by Bubeck and Linial on the limit densities of subtrees in trees. We prove there exist positive $\varepsilon_1$ and $\varepsilon_2$ such that every tree that is neither a path nor a star has inducibility at most $1-\varepsilon_1$, where the inducibility of a tree $T$ is defined as the maximum limit density of $T$, and that there are infinitely many trees with inducibility at least $\varepsilon_2$. Finally, we construct a universal sequence of trees; that is, a sequence in which the limit density of any tree is positive.
Score sequences of bitournaments
Published in Indian J. Discrete Math., vol. 7, no. 2 (2021) pp. 79-88
• Search Publication
The score of a vertex $x$ in an oriented graph is defined to be its outdegree, \emph{i.e.}, the number of arcs with initial vertex $x$. The score sequence of an oriented graph is the sequence of all scores arranged in nondecreasing order. An oriented complete bipartite graph is called a bitournament. The score sequence of a bitournament consists of two nondecreasing sequences of nonnegative integers, one for each of the two partite sets. Moon has characterized the score sequences of bitournaments. This paper introduces the concept of trimming a sequence and gives a characterization of score sequences of bitournaments utilizing this concept.
Overpartitions and functions from multiplicative number theory
Let $α$ and $β$ be two nonnegative integers such that $β< α$. For an arbitrary sequence $\{a_n\}_{n\geqslant 1}$ of complex numbers, we consider the generalized Lambert series in order to investigate linear combinations of the form $\sum_{k\geqslant 1} S(αk-β,n) a_k$, where $S(k,n)$ is the total number of non-overlined parts equal to $k$ in all the overpartitions of $n$. The general nature of the numbers $a_n$ allows us to provide connections between overpartitions and functions from multiplicative number theory.
Anti-palindromic compositions
Published
• View Publication
• BIB
A palindromic composition of $n$ is a composition of $n$ which can be read the same way forwards and backwards. In this paper we define an anti-palindromic composition of $n$ to be a composition of $n$ which has no mirror symmetry amongst its parts. We then give a surprising connection between the number of anti-palindromic compositions of $n$ and the so-called tribonacci sequence, a generalization of the Fibonacci sequence. We conclude by defining a new q-analogue of the Fibonacci sequence, which is related to certain equivalence classes of anti-palindromic compositions
Excedance-type polynomials and gamma-positivity
Published
• View Publication
• BIB
The object of this paper is to give a systematic treatment of excedance-type polynomials. We first give a sufficient condition for a sequence of polynomials to have alternatingly increasing property, and then we present a systematic study of the joint distribution of excedances, fixed points and cycles of permutations and derangements, signed or not, colored or not. Let $p\in [0,1]$ and $q\in [0,1]$ be two given real numbers. We prove that the cyc q-Eulerian polynomials of permutations are bi-gamma-positive, and the fix and cyc (p,q)-Eulerian polynomials of permutations are alternatingly increasing, and so they are unimodal with modes in the middle, where fix and cyc are the fixed point and cycle statistics. When p=1 and q=1/2, we find a combinatorial interpretation of the bi-gamma-coefficients of the (p,q)-Eulerian polynomials. We then study excedance and flag excedance statistics of signed permutations and colored permutations. In particular, we establish the relationships between the (p,q)-Eulerian polynomials and some multivariate Eulerian polynomials. Our results unify and generalize a variety of recent results.
Gaps in the Thue--Morse word
Published
• View Publication
• BIB
The Thue--Morse sequence is a prototypical automatic sequence found in diverse areas of mathematics, and in computer science. We study occurrences of factors $w$ within this sequence, more precisely, the sequence of gaps between consecutive occurrences. This gap sequence is morphic; we prove that it is not automatic as soon as the length of $w$ is at least two, thereby answering a question by J.~Shallit in the affirmative. We give an explicit method to compute the \emph{discrepancy} of the number of occurrences of the block $\mathtt{01}$ in the Thue--Morse sequence. We prove that the sequence of discrepancies is the sequence of output sums of a certain base-$2$ transducer.
A note on infinite antichain density
Published in SIAM Journal on Discrete Mathematics, Vol. 36 (2022) 573-577
• View Publication
• BIB
Let $\mathcal{F}$ be an antichain of finite subsets of $\mathbb{N}$. How quickly can the quantities $|\mathcal{F}\cap 2^{[n]}|$ grow as $n\to\infty$? We show that for any sequence $(f_n)_{n\ge n_0}$ of positive integers satisfying $\sum_{n=n_0}^\infty f_n/2^n \le 1/4$, $f_{n_0}=1$ and $f_n\le f_{n+1}\le 2f_n$, there exists an infinite antichain $\mathcal{F}$ of finite subsets of $\mathbb{N}$ such that $|\mathcal{F}\cap 2^{[n]}| \geq f_n$ for all $n\ge n_0$. It follows that for any $\varepsilon>0$ there exists an antichain $\mathcal{F}\subseteq 2^\mathbb{N}$ such that $$\liminf_{n \to \infty} |\mathcal{F}\cap 2^{[n]}| \cdot \left(\frac{2^n}{n\log^{1+\varepsilon} n}\right)^{-1} > 0.$$ This resolves a problem of Sudakov, Tomon and Wagner in a strong form, and is essentially tight.
Almost Unimodal and Real-Rooted Graph Polynomials
Published
• View Publication
• BIB
It is well known that the coefficients of the matching polynomial are unimodal. Unimodality of the coefficients (or their absolute values) of other graph polynomials have been studied as well. One way to prove unimodality is to prove real-rootedness.`
Recently I. Beaton and J. Brown (2020) proved the for almost all graphs the coefficients of the domination polynomial form a unimodal sequence, and C. Barton, J. Brown and D. Pike (2020) proved that the forest polynomial (aka acyclic polynomial) is real-rooted iff $G$ is a forest.
Let $\mathcal{A}$ be a graph property, and let $a_i(G)$ be the number of induced subgraphs of order $i$ of a graph $G$ which are in $\mathcal{A}$. Inspired by their results we prove:
{\bf Theorem:} If $\mathcal{A}$ is the complement of a hereditary property, then for almost all graphs in $G(n,p)$ the sequence $a_i(G)$ is unimodal.
{\bf Theorem:} If $\mathcal{A}$ is a hereditary property which contains a graph which is not a clique or the complement of a clique, then the graph polynomial $P_{\mathcal{A}}(G;x) = \sum_i a_i(G) x^i$ is real-rooted iff $G \in \mathcal{A}$.
Choice functions on posets
Published
• View Publication
• BIB
In the paper we study choice functions on posets satisfying the conditions of heredity and outcast. For every well-ordered sequence of elements of poset, we define the corresponding `elementary' choice function. Every such a choice function satisfies the conditions of heredity and outcast. Inversely, every choice functions satisfying the conditions of heredity and outcast can be represented as union of several elementary choice functions. This result generalizes the Aizerman-Malishevsky theorem about structure of path-independent choice functions.
On the duals of the Fibonacci and Catalan-Fibonacci polynomials and Motzkin paths
We use the inversion of coefficient arrays to define dual polynomials to the Fibonacci and Catalan-Fibonacci polynomials, and we explore the properties of these new polynomials sequences. Many of the arrays involved are Riordan arrays. Direct links to the counting of Motzkin paths by different statistics emerge.
Hafnian of two-parameter matrices
Published
• View Publication
• BIB
The concept of the hafnian first appeared in the works on quantum field theory by E. R. Caianiello. However, it also has an important combinatorial property: the hafnian of the adjacency matrix of an undirected weighted graph is equal to the total sum of the weights of perfect matchings in this graph. In general, the use of the hafnian is limited by the complexity of its computation. In this paper, we present an efficient method for the exact calculation of the hafnian of two-parameter matrices. In terms of graphs, we count the total sum of the weights of perfect matchings in graphs whose edge weights take only two values. This method is based on the formula expressing the hafnian of a sum of two matrices through the product of the hafnians of their submatrices. The necessary condition for the application of this method is the possibility to count the number of k-edge matchings in some graphs. We consider two special cases in detail using a Toeplitz matrix as the two-parameter matrix. As an example, we propose a new interpretation of some of the sequences from the On-Line Encyclopedia of Integer Sequences and then provide new analytical formulas to count the number of certain linear chord diagrams.
A Removal Lemma for Ordered Hypergraphs
Published
• View Publication
• BIB
We prove a removal lemma for induced ordered hypergraphs, simultaneously generalizing Alon--Ben-Eliezer--Fischer's removal lemma for ordered graphs and the induced hypergraph removal lemma. That is, we show that if an ordered hypergraph $(V,G,<)$ has few induced copies of a small ordered hypergraph $(W,H,\prec)$ then there is a small modification $G'$ so that $(V,G',<)$ has no induced copies of $(W,H,\prec)$. (Note that we do \emph{not} need to modify the ordering $<$.)
We give our proof in the setting of an ultraproduct (that is, a Keisler graded probability space), where we can give an abstract formulation of hypergraph removal in terms of sequences of $σ$-algebras. We then show that ordered hypergraphs can be viewed as hypergraphs where we view the intervals as an additional notion of a ``very structured'' set. Along the way we give an explicit construction of the bijection between the ultraproduct limit object and the corresponding hyerpgraphon.