sequence
6845 papers tagged with this keyword
On the distribution of subset sums of certain sets in $\mathbb{Z}^2_p$
A given subset $A$ of natural numbers is said to be complete if every element of $\mathbb{N}$ is the sum of distinct terms taken from $A$. This topic is strongly connected to the knapsack problem which is known to be NP complete. Interestingly if $A$ and $B$ are complete sequences then $A\times B$ is not necessarily complete in $\mathbb{N}^2$. In this paper we consider a modular version of this problem, motivated by the communication complexity problem of [2].
On the Number of Regular Integers Modulo $n$ and Its Significance for Cryptography
We present four combinatorial proofs of Morgado's formula for the number $\varrho(n)$ of non-congruent regular integers modulo $n$, corresponding to sequence A055653 in the On-Line Encyclopedia of Integer Sequences (OEIS), where an integer $m$ is said to be regular modulo $n$ if the congruence $m^2 x \equiv m \pmod{n}$ has a solution $x\in\mathbb{Z}$. To illustrate the significance of the sequence and Morgado's formula, we relate them to a recent multi prime, multi-power generalization of the RSA cryptosystem.
The limit points of the top and bottom eigenvalues of regular graphs
We prove that for each $d \geq 3$ the set of all limit points of the second largest eigenvalue of growing sequences of $d$-regular graphs is $[2\sqrt{d-1},d]$. A similar argument shows that the set of all limit points of the smallest eigenvalue of growing sequences of $d$-regular graphs with growing (odd) girth is $[-d, -2 \sqrt{d-1}]$. The more general question of identifying all vectors which are limit points of the vectors of the top $k$ eigenvalues of sequences of $d$-regular graphs is considered as well. As a by product, in the study of discrete counterpart of the "scarring" phenomenon observed in the investigation of quantum ergodicity on manifolds, our technique provides a method to construct $d$-regular almost Ramanujan graphs with large girth and localized eigenvectors corresponding to eigenvalues larger than $2\sqrt{d-1}$, strengthening a result of Alon, Ganguly, and Srivastava.
A Rademacher-type exact formula for partitions without sequences
In this paper we prove an exact formula for the number of partitions without sequences. By work of Andrews, the corresponding generating function is a product of a modular form and a mock theta function, giving an overall weight of 0. The proof requires evaluating and bounding Kloosterman sums and the Circle Method
A problem equivalent to counting directed acyclic graphs on labeled vertices
An encoding of directed acyclic graphs (DAGs) on labeled vertices is proposed, which is a generalisation of the Prüfer code for labeled trees, if a certain orienation on the edges of the tree is introduced. Hence it is shown that the number of sequences $S_1, S_2, \ldots, S_{n-1}$ of subsets of $\{1, 2, \ldots, n\}$ with the property that $|\bigcup_{i=1}^kS_i|\leq k$ for every $1\leq k \leq n-1$, is equal to the number of DAGs on $n$ labeled vertices.
Asymptotics of dimer coverings on free boundary rail-yard graphs
Rail-yard graphs are a general class of graphs introduced in \cite{bbccr} on which the random dimer coverings form Schur processes. We study asymptotic limits of random dimer coverings on rail yard graphs with free boundary conditions on both the left boundary and the right boundary (double-sided free boundary) when the mesh sizes of the graphs go to 0. Each dimer covering corresponds to a sequence of interlacing partitions starting with an arbitrary partition and ending in an arbitrary partition. Under the assumption that the probability of each dimer covering is proportional to the product of weights of present edges, we obtain the moment formula for the height function which includes an infinite product. By passing down to the scaling limit, we compute the limit shape (law of large numbers) of the rescaled height functions and prove the convergence of unrescaled height fluctuations to a diffeomorphic image of the restriction of the 0-boundary Gaussian free field (central limit theorem) on the upper half plane to a subset. Applications include the limit shape and height fluctuations for free boundary steep tilings as proposed in \cite{BCC17}. The technique to obtain these results is to analyze a class of Macdonald processes with dual specializations, subject to further complexities arising from the infinite product in the moment formula.
We also obtain a new algorithm to sample double-sided free boundary dimer coverings on rail-yard graphs, which fulfills an open problem in \cite{bbbccv14}.
On triangular biregular degree sequences
A simple graph is called triangular if every edge of it belongs to a triangle. We conjecture that any graphical degree sequence all terms of which are greater than or equal to 4 has a triangular realisation, and establish this conjecture for a class of biregular graphical degree sequences.
About a combinatorial problem with $n$ seats and $n$ people
If you want to fill $n \in \mathbb{N}$ seats in succession with $n$ people and the rule that each person chooses one of the seats with the maximum distance to an occupied seat, then you can ask yourself how many possibilities there are for this. In this paper, based on initially mentioned ideas, a formula for the number of these possibilities will be found. In addition, a lower and upper bound for this formula will be given. Finally, formulas for the OEIS sequences A166079, A095236, A095240 and A095912 and an extension of the initial problem are derived.
Spectral pseudorandomness and the road to improved clique number bounds for Paley graphs
We study subgraphs of Paley graphs of prime order $p$ induced on the sets of vertices extending a given independent set of size $a$ to a larger independent set. Using a sufficient condition proved in the author's recent companion work, we show that a family of character sum estimates would imply that, as $p \to \infty$, the empirical spectral distributions of the adjacency matrices of any sequence of such subgraphs have the same weak limit (after rescaling) as those of subgraphs induced on a random set including each vertex independently with probability $2^{-a}$, namely, a Kesten-McKay law with parameter $2^a$. We prove the necessary estimates for $a = 1$, obtaining in the process an alternate proof of a character sum equidistribution result of Xi (2022), and provide numerical evidence for this weak convergence for $a \geq 2$. We also conjecture that the minimum eigenvalue of any such sequence converges (after rescaling) to the left edge of the corresponding Kesten-McKay law, and provide numerical evidence for this convergence. Finally, we show that, once $a \geq 3$, this (conjectural) convergence of the minimum eigenvalue would imply bounds on the clique number of the Paley graph improving on the current state of the art due to Hanson and Petridis (2021), and that this convergence for all $a \geq 1$ would imply that the clique number is $o(\sqrt{p})$.
On equivalences of polarized partition relations
The paper deals with two notions: polarized partition relations and product of generalized strong sequences. Strong sequences were introduced by Efimov in 1965 as a usefull tool for proving famous theorems in dyadic spaces, i.e. continuous images of Cantor cube. In this paper we introduce the notion of product of generalized strong sequences and give pure combinatorial proof that existence of product of generalized strong sequences is equivalent to polarized partition relations.
Some remarks on polarized partition relations
This paper deals with two notions: a polarized partition relations $\left( \begin{array}{c}
α
β
\end{array} \right) \to \left( \begin{array}{cc}
γ& η
δ& λ
\end{array} \right)$ and product of generalized strong sequences. Strong sequences were introduced by Efimov in 1965 as a usefull tool for proving famous theorems in dyadic spaces, i.e. continuous images of Cantor cube. In this paper we introduce the notion of product of generalized strong sequences and give the pure combinatorial proof that $\left( \begin{array}{c}
α
β
\end{array} \right) \to \left( \begin{array}{cc}
γ& η
δ& λ
\end{array} \right)$ is a consequence of the existence of product of generalized strong sequences.
Transduction of Automatic Sequences and Applications
We consider the implementation of the transduction of automatic sequences, and their generalizations, in the Walnut software for solving decision problems in combinatorics on words. We provide a number of applications, including (a) representations of n! as a sum of three squares (b) overlap-free Dyck words and (c) sums of Fibonacci representations. We also prove results about iterated running sums of the Thue-Morse sequence.
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
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
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.