sequence
6966 papers tagged with this keyword
Restricted partition functions and the $r$-log-concavity of quasi-polynomial-like functions
Published
• View Publication
• BIB
Let $\mathcal{A}=\left(a_i\right)_{i=1}^\infty$ be a weakly increasing sequence of positive integers and let $k$ be a fixed positive integer. For an arbitrary integer $n$, the restricted partition $p_\mathcal{A}(n,k)$ enumerates all the partitions of $n$ whose parts belong to the multiset $\{a_1,a_2,\ldots,a_k\}$. In this paper we investigate some generalizations of the log-concavity of $p_\mathcal{A}(n,k)$. We deal with both some basic extensions like, for instance, the strong log-concavity and a more intriguing challenge that is the $r$-log-concavity of both quasi-polynomial-like functions in general, and the restricted partition function in particular. For each of the problems, we present an efficient solution.
On the period of Pell-Narayana sequence in some groups
In this paper, the Pell-Narayana sequence modulo m is studied. The paper outlines the definition of Pell-Narayana numbers and some of their combinatorial links with Eulerian, Catalan and Delannoy numbers and other special functions. From the definition, the Pell-Narayana orbit of a 2-generator group for a generating pair $(x, y) \in G$ is defined, so that the lengths of the period of the Pell-Narayana orbit can be examined. These yield in turn the Pell-Narayana lengths of the polyhedral group and the binary polyhedral group for the generating pair $(x,y)$ and associated properties. Also, the period of the Pell-Narayana orbit of the groups $Q_8$, $Q_8 \times\mathbb{Z}_{2m} $ and $Q_8 \times_φ\mathbb{Z}_{2m} $ for $m \geq 3$ were obtained.
Counting Ideals in Numerical Semigroups
If $S$ is a numerical semigroup, let $m(S,k)$ denote the number of ideals of $S$ with codimension $k$ and let $n(S,k)$ denote the number of ideals of $S$ with conductor $k$. We compute the generating function of the sequence $m(S,k)$ for all numerical semigroups of embedding dimension $2$ and for $S = \langle 3,n+2,2n+1\rangle$. We also prove that the sequence $n(S,k)$ becomes stationary after a certain term and compute the stationary terms for numerical semigroups of the form $\langle a,a+1 \rangle$.
Archive Labeling Sequences
Published
• View Publication
• BIB
What follows is the story of a family of integer sequences, which started life as a Google interview puzzle back in the previous century when VHS video tapes were in use.
Sweet division problems: from chocolate bars to honeycomb strips and back
We consider two division problems on narrow strips of square and hexagonal lattices. In both cases we compute the bivariate enumerating sequences and the corresponding generating functions, which allowed us to determine the asymptotic behavior of the total number of such subdivisions and the expected number of parts. For the square lattice we extend results of two recent references by establishing polynomiality of enumerating sequences forming columns and diagonals of the triangular enumerating sequence. In the hexagonal case, we find a number of new combinatorial interpretations of the Fibonacci numbers and find combinatorial proofs of some Fibonacci related identities. We also show how both cases could be treated via the transfer matrix method and discuss some directions for future research.
On the determinicity of paths on substitution complexes
Published
• View Publication
• BIB
The paper is devoted to the study of combinatorial determinacy properties of a family of substitution complexes consisting of quadrilaterals glued side-to-side with each other. These properties are useful in constructing algebraic structures with a finite number of defining relations. In particular, this method was used when constructing a finitely presented infinite nisemigroup satisfying the identity x^9 =0. This construction responds to the problem of L. N. Shevrin and M. V. Sapir. In this paper, we investigate the possibility of coloring the entire sequence of complexes into a finite number of colors, in which the property of weak determinism is fulfilled: if the colors of the three vertices of a certain quadrilateral are known, then the color of the fourth side is uniquely determined, except in some cases of a special arrangement of the quadrilateral.
Cycles in Austrian Solitaire
Published
• View Publication
• BIB
Austrian Solitaire is a variation of Bulgarian Solitaire. It may be described as a card game, a method of asset inventory management, or a discrete dynamical system on integer partitions. We prove that the limit cycles in Austrian Solitaire do not depend on the initial configuration; in other words, each state space is connected. We show that a full Farey sequence completely characterizes these unique (and balanced) cycles.
From the Mayer-Vietoris spectral sequence to überhomology
Published in Proc. Roy. Soc. Edinburgh Sect. A (2023)
• View Publication
• BIB
We prove that the second page of the Mayer-Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer-Vietoris sequence in this context. This interpretation is then used to extend the computations of bold homology, which categorifies the connected domination polynomial at $-1$.
Binomial convolutions for rational power series
Published in Journal of Integer Sequences, Vol. 27 (2024), Article 24.1.3
• Search Publication
The binomial convolution of two sequences $\{a_n\}$ and $\{b_n\}$ is the sequence whose $n$th term is $\sum_{k=0}^{n} \binom{n}{k} a_k b_{n-k}$. If $\{a_n\}$ and $\{b_n\}$ have rational generating functions then so does their binomial convolution. We discuss an efficient method, using resultants, for computing this rational generating function and give several examples involving Fibonacci and tribonacci numbers and related sequences. We then describe a similar method for computing Hadamard products of rational generating functions. Finally we describe two additional methods for computing binomial convolutions and Hadamard products of rational power series, one using symmetric functions and one using partial fractions.
Faces in Crystals of Affine Type A and the Shape of Canonical Basis Elements
Published
• View Publication
• BIB
For a dominant integral weight $Λ$ in a Lie algebra of affine type A and rank $e$, and an interval $I_0$ in the residue set $I$, we define the face for the interval $I_0$ to be the subgraph of the block-reduced crystal $\widehat P(Λ)$ that is generated by $f_i$ for $i \in I_0$. We show that such a face has an automorphism that preserves defects. For an interval of length $2$, we also give a non-recursive construction of the $e$-regular multipartitions with weights in the face, as well as a formula for the number of $e$-regular multipartitions at each vertex of the face.
For an affine Lie algebra of type $A$ we define and investigate the shape of canonical basis elements, a sequence counting the number of multipartitions with a given coefficient. For finite faces generated by $Λ$ with $|I_0|=1,2$, we give a non-recursive closed formula for the canonical basis elements.
Random Reed-Solomon Codes Achieve List-Decoding Capacity With Linear-Sized Alphabets
Published in Advances in Combinatorics 2025:8, 39pp
• View Publication
• BIB
Reed-Solomon codes are a classic family of error-correcting codes consisting of evaluations of low-degree polynomials over a finite field on some sequence of distinct field elements. They are widely known for their optimal unique-decoding capabilities, but their list-decoding capabilities are not fully understood. Given the prevalence of Reed-Solomon codes, a fundamental question in coding theory is determining if Reed-Solomon codes can optimally achieve list-decoding capacity. A recent breakthrough by Brakensiek, Gopi, and Makam established that Reed-Solomon codes are combinatorially list-decodable all the way to capacity. However, their results hold for randomly-punctured Reed-Solomon codes over an exponentially large field size $2^{O(n)}$, where $n$ is the block length of the code. A natural question is whether Reed-Solomon codes can still achieve capacity over smaller fields. We show that Reed-Solomon codes are list-decodable to capacity with linear field size $O(n)$, which is evidently optimal up to a constant factor.
Our techniques also show that random linear codes are list-decodable up to capacity with optimal list-size $O(1/\varepsilon)$ and near-optimal alphabet size $2^{O(1/\varepsilon^2)}$, where $\varepsilon$ is the gap to capacity. As far as we are aware, list-decoding up to capacity with optimal list-size $O(1/\varepsilon)$ was not known to be achievable with any linear code over a constant alphabet size (even non-constructively), and it was also not known to be achievable for random linear codes over any alphabet size. With our proof, which maintains a hypergraph perspective of the list-decoding problem, we include an alternate presentation of ideas from Brakensiek, Gopi, and Makam that more directly connects the list-decoding problem to the GM-MDS theorem via a hypergraph orientation theorem.
The Frobenius Formula for $A=(a,ha+d,ha+b_2d,...,ha+b_kd)$
Published
• View Publication
• BIB
Given relative prime positive integers $A=(a_1, a_2, ..., a_n)$, the Frobenius number $g(A)$ is the largest integer not representable as a linear combination of the $a_i$'s with nonnegative integer coefficients. We find the ``Stable" property introduced for the square sequence $A=(a,a+1,a+2^2,\dots, a+k^2)$ naturally extends for $A(a)=(a,ha+dB)=(a,ha+d,ha+b_2d,...,ha+b_kd)$. This gives a parallel characterization of $g(A(a))$ as a ``congruence class function" modulo $b_k$ when $a$ is large enough. For orderly sequence $B=(1,b_2,\dots,b_k)$, we find good bound for $a$. In particular we calculate $g(a,ha+dB)$ for $B=(1,2,b,b+1)$, $B=(1,2,b,b+1,2b)$, $B=(1,b,2b-1)$ and $B=(1,2,...,k,K)$. Our idea also applies to the case $B=(b_1,b_2,...,b_k)$, $b_1> 1$.
On the relationship between shortlex order and $A_α$-spectral radii of graphs with starlike branch tree
Published
• View Publication
• BIB
Let $P(n)$ denote the set of all partitions of $n$, whose elements are nondecreasing sequences of positive integers whose sum is $n$. For ${\bf a}=( n_{1}, n_{2},\ldots, n_{d}) \in P(n)$, let $G({\bf a},v)$ denote the graph obtained from connected graph $G$ appending $d$ paths with lengths $n_{1},n_{2},\ldots,n_{d}$ on vertex $v$ of $G$. We show that the ordering of graphs in $G_{n}(v)=\{ G({\bf a},v) \mid {\bf a} \in P(n) \}$ by $A_α$-spectral radii coincides with the shortlex ordering of $P(n)$.
Adjoints of Matroids
Published
• View Publication
• BIB
We show that an adjoint of a loopless matroid is connected if and only if it itself is connected. Our first goal is to study the adjoint of modular matroids. We prove that a modular matroid has only one adjoint (up to isomorphism) which can be given by its opposite lattice, and proceed to present some alternative characterizations of modular matroids associated to adjoints and opposite lattices. The other purpose is to investigate the adjoint sequence $ad^0M,adM,ad^2M,\ldots$ of a connected matroid $M$. We classify such adjoint sequences into three types: finite, cyclic and convergent. For the first two types, the adjoint sequences eventually stabilize at the finite projective geometries except for free matroids. For the last type, the infinite non-repeating adjoint sequences are convergent to the infinite projective geometries.
Quantum ergodicity on the Bruhat-Tits building for $\text{PGL}(3, F)$ in the Benjamini-Schramm limit
We study joint eigenfunctions of the spherical Hecke algebra acting on $L^2(Γ_n \backslash G / K)$ where $G = \text{PGL}(3, F)$ with $F$ a non-archimedean local field of arbitrary characteristic, $K = \text{PGL}(3, O)$ with $O$ the ring of integers of $F$, and $(Γ_n)$ is a sequence of torsion-free lattices. We prove a form of equidistribution on average for eigenfunctions whose spectral parameters lie in the tempered spectrum when the associated sequence of quotients of the Bruhat-Tits building Benjamini-Schramm converges to the building itself. This result is a higher rank non-archimedean analogue of existing results for graphs and locally symmetric spaces.
A recurring theme in the proof is the reduction of many computations to computing the sum of an exponential function over lattice points in a polytope; such expressions can subsequently be simplified using Brion's formula. Along the way of proving our main result we prove several other results which may be of independent interest including a "degenerate" version of Brion's formula which "interpolates" between the usual Brion's formula and the Ehrhart polynomial, an effective rate of convergence for the distribution of spectral parameters to the Plancherel measure under Benjamini-Schramm convergence, and a classification of relative positions of triples of points in buildings of type $\tilde{A}_2$.
On real algebraic maps whose images are domains surrounded by the products of hyperbolas and real affine spaces
Previously, we have systematically constructed explicit real algebraic functions which are represented as the compositions of smooth real algebraic maps whose images are domains surrounded by hypersurfaces of degree 1 or 2 with canonical projections. Here we give new examples with the hypersurfaces each of which is the product of a connected component of a hyperbola and a copy of the $1$-dimensional affine space explicitly. As a related future work we also discuss problems to obtain the zero sets of some real polynomials explicitly from increasing sequences of real numbers.
This is motivated by a problem in theory of smooth functions proposed first by Sharko: can we construct nice smooth functions whose Reeb graphs are as prescribed? The Reeb space of a smooth function is the naturally obtained graph whose underlying space is the quotient space of the manifold consisting of connected components of preimages. The author first considered variants respecting the topologies of the preimages and obtained several results before. Our work is also motivated by real algebraic geometry, pioneered by Nash. We can know existence of real algebraic structures of smooth manifolds and some general sets and we already know several approximations of smooth maps by real algebraic maps. Our interest lies in explicit construction, which is difficult.
Singleton Coalition Graph Chains
Published
• View Publication
• BIB
Let $G$ be graph with vertex set $V$ and order $n=|V|$. A coalition in $G$ is a combination of two distinct sets, $A\subseteq V$ and $B\subseteq V$, which are disjoint and are not dominating sets of $G$, but $A\cup B$ is a dominating set of $G$. A coalition partition of $G$ is a partition $\mathcal{P}=\{S_1,\ldots,S_k\}$ of its vertex set $V$, where each set $S_i\in \mathcal{P}$ is either a dominating set of $G$ with only one vertex, or it is not a dominating set but forms a coalition with some other set $S_j \in \mathcal{P}$. The coalition number $C(G)$ is the maximum cardinality of a coalition partition of $G$. To represent a coalition partition $\mathcal{P}$ of $G$, a coalition graph $\CG(G, \mathcal{P})$ is created, where each vertex of the graph corresponds to a member of $\mathcal{P}$ and two vertices are adjacent if and only if their corresponding sets form a coalition in $G$. A coalition partition $\mathcal{P}$ of $G$ is a singleton coalition partition if every set in $\mathcal{P}$ consists of a single vertex. If a graph $G$ has a singleton coalition partition, then $G$ is referred to as a singleton-partition graph. A graph $H$ is called a singleton coalition graph of a graph $G$ if there exists a singleton coalition partition $\mathcal{P}$ of $G$ such that the coalition graph $\CG(G,\mathcal{P})$ is isomorphic to $H$. A singleton coalition graph chain with an initial graph $G_1$ is defined as the sequence $G_1\rightarrow G_2\rightarrow G_3\rightarrow\cdots$ where all graphs $G_i$ are singleton-partition graphs, and $\CG(G_i,Γ_1)=G_{i+1}$, where $Γ_1$ represents a singleton coalition partition of $G_i$. In this paper, we address two open problems posed by Haynes et al. We characterize all graphs $G$ of order $n$ and minimum degree $δ(G)=2$ such that $C(G)=n$ and investigate the singleton coalition graph chain starting with graphs $G$ where $δ(G)\le 2$.
Finding A Path Of Length k: An Expository
Given a graph $G(V, E)$ and a positive integer $k$ ($k \geq 1$), a simple path on $k$ vertices is a sequence of $k$ vertices in which no vertex appears more than once and each consecutive pair of vertices in the sequence are connected by an edge. This paper provides an overview of current research on the existence and counting of k-paths in graphs.
Improved Formula for the Multi-Section of the Linear Three-Term Recurrence Sequence
The standard formula for the multi-section of the general linear three-term recurrence relation is simplified in terms of Chebyshev S-polynomials.
Topological recursion on transalgebraic spectral curves and Atlantes Hurwitz numbers
Published in J. Geom. Phys. vol. 206, 105306 (2024)
• View Publication
• BIB
Given a spectral curve with exponential singularities (which we call a "transalgebraic spectral curve"), we extend the definition of topological recursion to include contributions from the exponential singularities in a way that is compatible with limits of sequences of spectral curves. This allows us to prove the topological recursion/quantum curve correspondence for a large class of transalgebraic spectral curves. As an application, we find that Atlantes Hurwitz numbers, which were previously thought to fall outside the scope of topological recursion, satisfy (our extended version of) topological recursion, and we construct the corresponding quantum curve directly from topological recursion.