sequence
6845 papers tagged with this keyword
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
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)$
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
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
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
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.
Application of fusion technique to the solution of Harrington problem and its generalizations to Baire functions, part I
In this paper we provide solutions of the Harrington problem (along with a few generalizations) proposed in a book Analytic Sets. The original problem asks if for arbitrary sequence of continuous functions from \( \R^ω\) to a fixed compact interval we can find a subsequence point-wise convergent on some product of perfect subsets of \( \R \). We reduce aforementioned problem to functions from \( C^ω\) to \(C\), where \(C\) is a standard Cantor set as well as also provide solution to the problem with Baire functions in place of continuous ones. Our main focus is on showing applications of the fusion lemma - a result about perfect trees used among others to prove minimality of Sack's forcing - to the problem at hand.
Feynman symmetries of the Martin and $c_2$ invariants of regular graphs
Published in Combinatorial Theory 5 (1), 2025, #10
• View Publication
• BIB
For every regular graph, we define a sequence of integers, using the recursion of the Martin polynomial. This sequence counts spanning tree partitions and constitutes the diagonal coefficients of powers of the Kirchhoff polynomial. We prove that this sequence respects all known symmetries of Feynman period integrals in quantum field theory. We show that other quantities with this property, the $c_2$ invariant and the extended graph permanent, are essentially determined by our new sequence. This proves the completion conjecture for the $c_2$ invariant at all primes, and also that it is fixed under twists. We conjecture that our invariant is perfect: Two Feynman periods are equal, if and only if, their Martin sequences are equal.
Schreier Multisets and the $s$-step Fibonacci Sequences
Inspired by the surprising relationship (due to A. Bird) between Schreier sets and the Fibonacci sequence, we introduce Schreier multisets and connect these multisets with the $s$-step Fibonacci sequences, defined, for each $s\geqslant 2$, as: $F^{(s)}_{2-s} = \cdots = F^{(s)}_0 = 0$, $F^{(s)}_1 = 1$, and $F^{(s)}_{n} = F^{(s)}_{n-1} + \cdots + F^{(s)}_{n-s}, \mbox{ for } n\geqslant 2$. Next, we use Schreier-type conditions on multisets to retrieve a family of sequences which satisfy a recurrence of the form $a(n) = a(n-1) + a(n-u)$, with $a(n) = 1$ for $n = 1,\ldots, u$. Finally, we study nonlinear Schreier conditions and show that these conditions are related to integer decompositions, each part of which is greater than the number of parts raised to some power.
Three New Refined Arnold Families
The Springer numbers, introduced by Arnold, are generalizations of Euler numbers in the sense of Coxeter groups. They appear as the row sums of a double triangular array $(v_{n,k})$ of integers, $1\leq|k|\leq n$, defined recursively by a boustrophedon algorithm. We say a sequence of combinatorial objects $(X_{n,k})$ is an Arnold family if $X_{n,k}$ is counted by $v_{n,k}$. A polynomial refinement $V_{n,k}(t)$ of $v_{n,k}$, together with the combinatorial interpretations in several combinatorial structures was introduced by Eu and Fu recently. In this paper, we provide three new Arnold families of combinatorial objects, namely the cycle-up-down permutations, the valley signed permutations and Knuth's flip equivalences on permutations. We shall find corresponding statistics to realize the refined polynomial arrays.
An explicit finite $B_k$-sequence
For any $n$ and $k$, we provide an explicit (that is, computable in polynomial time) example of integer $B_k$-sequence of size $n$ consisting of elements bounded by $n^{k+o(k)}$.
Graph Parameters, Universal Obstructions, and WQO
We establish a parametric framework for obtaining obstruction characterizations of graph parameters with respect to a quasi-ordering $\leqslant$ on graphs. At the center of this framework lies the concept of a $\leqslant$-parametric graph: a non $\leqslant$-decreasing sequence $\mathscr{G} = \langle \mathscr{G}_{t} \rangle_{t \in \mathbb{N}}$ of graphs indexed by non-negative integers. Parametric graphs allow us to define combinatorial objects that capture the approximate behaviour of graph parameters. A finite set $\mathfrak{G}$ of $\leqslant$-parametric graphs is a $\leqslant$-universal obstruction for a parameter $\mathsf{p}$ if there exists a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every $k \in \mathbb{N}$ and every graph $G$, 1) if $\mathsf{p}(G) \leq k$, then for every $\mathscr{G} \in \mathfrak{G},$ $\mathscr{G}_{f(k)} \not\leqslant G$, and 2) if for every $\mathscr{G} \in \mathfrak{G},$ $\mathscr{G}_{k} \not\leqslant G$, then $\mathsf{p}(G) \leq f(k).$ To solidify our point of view, we identify sufficient order-theoretic conditions that guarantee the existence of universal obstructions and in this case we examine algorithmic implications on the existence of fixed-parameter tractable algorithms. Our parametric framework has further implications related to finite obstruction characterizations of properties of graph classes. A $\leqslant$-class property is defined as any set of $\leqslant$-closed graph classes that is closed under set inclusion. By combining our parametric framework with established results from order theory, we derive a precise order-theoretic characterization that ensures $\leqslant$-class properties can be described in terms of the exclusion of a finite set of $\leqslant$-parametric graphs.
On the linear space of the two-sided generalized Fibonacci sequences
In this paper, we study the linear space of all two-sided generalized Fibonacci sequences $\{F_n\}_{n \in \mathbb{Z}}$ that satisfy the recurrence equation of order $k$: $F_n = F_{n-1} + F_{n-2} + \dots + F_{n-k}$. We give two types of explicit formula, one is based on generalized binomial coefficients and the other based on generalized multinomial coefficients.
Classification of lattice triangles by their two smallest widths
We introduce the notion of the second lattice width of a lattice polytope and use this to classify lattice triangles by their width and second width. This is equivalent to classifying lattice triangles contained in a given rectangle (and no smaller rectangle) up to affine equivalence. Using this classification we investigate the automorphism groups and Ehrhart theory of lattice triangles. We also show that the sequence counting lattice triangles contained in dilations of the unit square has generating function equal to the Hilbert series of a degree 8 hypersurface in $\mathbb{P}(1,1,1,2,2,2)$.