sequence
6966 papers tagged with this keyword
The Gröbner basis for powers of a general linear form in a monomial complete intersection
Published
• View Publication
• BIB
We study almost complete intersection ideals in a polynomial ring, generated by powers of all the variables together with a power of their sum. Our main result is an explicit description of the reduced Gröbner bases for these ideals under any term order. Our approach is primarily combinatorial, focusing on the structure of the initial ideal. We associate a lattice path to each monomial in the vector space basis of an Artinian monomial complete intersection and introduce a reflection operation on these paths, which enables a key counting argument. As a consequence, we provide a new proof that Artinian monomial complete intersections possess the strong Lefschetz property over fields of characteristic zero. Our results also offer new insights into the longstanding problem of classifying the weak Lefschetz property for such intersections in characteristic $p$. Furthermore, we show that the number of Gröbner basis elements in each degree is connected to several well-known sequences, including the (generalized) Catalan, Motzkin, and Riordan numbers, and connect these numbers to the study of entanglement detection in spin systems within quantum physics.
Homogeneous Linear Calculus of Order 1 and a $λ$-Taylor Formula
In this paper, a new calculus on sequences is defined. Also, the $λ$-derivative and the $λ$-integration are investigated. The fundamental theorem of $λ$-calculus is included. A suitable function basis for the $λ$-derivative and the $λ$-integral is provided, and various properties of this basis are given. A $λ$-Taylor formula for functions is given.
Grundy double domination number: bounds, graph operations, and efficient computation for $P_4$-tidy graphs
Published
• View Publication
• BIB
Inspired by graph domination games, various domination-type vertex sequences have been introduced, including the Grundy double dominating sequence (GDDS) of a graph and its associated parameter, the Grundy double domination number (GDDN). The decision version of the problem of computing the GDDN is known to be NP-complete, even when restricted to split graphs and bipartite graphs. In this paper, we establish general tight bounds for the GDDN. We also describe GDDSs for vertex-removed graphs and for the join of two graphs. Applying these results, we prove that computing the GDDN is linear for $P_4$-tidy graphs, thereby solving an open problem previously posed for cographs by B. Brešar et al. in [Brešar, B., Pandey, A., and Sharma, G. (2022). Computational aspects of some vertex sequences of grundy domination-type. Indian J. Discrete Math., 8:21-38].
On zero-sum subsequences in a finite abelian group of length not exceeding a given number
Published
• View Publication
• BIB
Let $G$ be an additive finite abelian group and let $k\in [\exp(G),\mathsf{D}(G)-1]$ be a positive integer. Denote by $\mathsf{s}_{\leq k}(G)$ the smallest positive integer $l\in \mathbb{N}\cup \{+\infty\}$ such that each sequence of length $l$ over $G$ has a non-empty zero-sum subsequence of length at most $k$. Let $k_G\in [\exp(G),\mathsf{D}(G)-1]$ be the smallest positive integer such that $\mathsf{s}_{\leq \mathsf{D}(G)-d}(G)\leq \mathsf{D}(G)+d$ for $\mathsf{D}(G)-d\geq k_G$. We conjecture that $k_G=\frac{\mathsf{D}(G)+1}{2}$ for finite abelian groups $G$ with $r(G)\geq 2$ and $\mathsf{D}(G)=\mathsf{D}^*(G)$.
In this paper, we mainly study this conjecture for finite abelian $p$-groups and get some results to support this conjecture. We also prove that $k_G\leq \mathsf{D}(G)-2$ for all finite abelian groups $G$ with $r(G)\geq 2$ except $C_2^3$ and $C_2^4$. In addition, we also get some lower bounds for the invariant $\mathsf{s}_{\leq k}(G)$.
An Explicit Formula for Vertex Enumeration in the CUT(n) Polytope via Probabilistic Methods
We present an explicit closed-form formula for the vertices of the classical cut polytope $\operatorname{CUT}(n)$, defined as the convex hull of cut vectors of the complete graph $K_n$. Our derivation proceeds via a related polytope, denoted $\mathbf{1}$-$\operatorname{CUT}(n)$, whose vertices are obtained by flipping all bits of the $\operatorname{CUT}(n)$ vertices. This polytope arises naturally in a probabilistic context involving agreement probabilities among symmetric Bernoulli random variables which serves as the starting point of this work.
Our approach constructs the vertex set recursively via a binary encoding that stems from this probabilistic perspective. We prove that the resulting sequence of encoded integers, when appropriately scaled, exhibits an almost-linear behavior closely approximating the line $y = x - \frac{1}{2}$. This structure motivates the introduction of the alternating cycle function, an integer-valued map whose key property is power-of-two composition invariance. The function serves as the foundation for our closed-form enumeration formula.
The result provides a rare instance of explicit vertex characterization for a $0$/$1$-polytope and offers a transparent combinatorial construction independent of enumeration algorithms.
On Base, Normal and Near-normal Sequences
The base sequences BS(n+1,n) are four sequences of $\pm1$ and lengths n+1,n+1,n,n with zero auto correlation. The base sequence conjecture states that BS(n+1,n) exists for all positive integers and has been verified for $n\le40$. We present our algorithm and give construction of BS(n+1,n) for $n=41,42,43$.\\ The Normal sequences NS (n) and the Near-normal sequences NNS (n) are subclasses of BS(n+1,n). Yang conjecture asserts that there is a NNS(n) for each even integer n and has been verified for $n\le40$. We found that there is no NNS(n) for n=42 and 44 by exhaustive search, which gives the first counter case of Yang conjecture. We also show that there is no NS(n) for n=41,42,43,44,45 by exhaustive search and proves that no NS(n) exist for $n=8k-2,k \in Z_+$.
On Nathanson's Triangular Number Phenomenon
For a finite set $A\subseteq \mathbb{Z}$, the $h$-fold sumset is $hA :=\{x_1+\dots+x_h:x_i\in A\}$. We interpret the beginning of the sequence of sumset sizes $(|hA|)_{h=1}^\infty$ in terms of the successive $L^1$-minima of a lattice (specifically, the points in $\mathbb{Z}^{|A|}$ whose coordinates sum to 0 and which are perpendicular to $\langle a_1,\dots,a_{|A|}\rangle$). In particular, if $h_1,h_2$ are the first and second minima, and $1\le h<h_1$, then $|hA|=\binom{h+|A|-1}{|A|-1}$, while if $h_1\le h <h_2$, then $|hA|=\binom{h+|A|-1}{|A|-1}-\binom{h-h_1+|A|-1}{|A|-1}$. This explains the appearance of triangular numbers in the sequence of sumset sizes, an observation related to a recent experiment of Nathanson.
Inequalities related to the coefficients of the $j$-function
In recent years, the log-concavity or log-convexity of combinatorial sequences and their root sequences, higher order Tur{á}n inequalities, and Laguerre inequalities of order two have been widely studied. However, the research of the Fourier coefficient $c(n)$ of the $j$-function is limited to its asymptotic form. In this paper, we give the appropriate upper and lower bounds of $c(n)$ to establish the inequalities associated with it.
Study of higher-order interactions in unweighted, undirected networks using persistent homology
Persistent homology has been studied to better understand the structural properties and topology features of weighted networks. It can reveal hidden layers of information about the higher-order structures formed by non-pairwise interactions in a network. Studying of higher-order interactions (HoIs) of a system provides a more comprehensive understanding of the complex system; moreover, it is a more precise depiction of the system as many complex systems, such as ecological systems and biological systems, etc., demonstrate HoIs. In this study, the weighted simplicial adjacency matrix has been constructed using the concept of adjacency strength of simplices in a clique complex obtained from an unweighted, undirected network. This weighted simplicial adjacency matrix is thus used to calculate the global measure, which is called generalised weighted betweenness centrality, which further helps us in calculating the persistent homology on the given simplicial complex by constructing a filtration on it. Moreover, a local measure called maximal generalised degree centrality has also been established for better understanding of the network topology of the studied simplicial complex. All the generalizations given in this work can be reduced to the graph-theoretic case. i.e., for a simplicial complex of dimension 1. Three different filtration schemes for constructing the sequence of simplicial complexes have been given with the help of both global and local measures, and by using these measures, the topology of higher-order structures of the studied network due to the interactions of their vertices has been compared. Further, the illustration of established definitions has been given using a real-life network by calculating Betti numbers up to dimension two.
De Bruijn Tori Without Zeros: A Field-Theoretic Perspective
Published
• View Publication
• BIB
We present an algebraic construction of trace-based De Bruijn tori over finite fields, focusing on the nonzero variant that omits the all-zero pattern. The construction arranges nonzero field elements on a toroidal grid using two multiplicatively independent generators, with values obtained by applying a fixed linear map, typically the field trace.
We characterize sampling patterns as subsets whose associated field elements form an \( \mathbb{F}_p \)-basis, and show that column structures correspond to cyclic shifts of De Bruijn sequences determined by irreducible polynomials over subfields. Recursive update rules based on multiplicative translations enable efficient computation.
On a conjectural supercongruence involving the dual sequence $s_n(x)$
Published
• View Publication
• BIB
In 2017, motivated by a supercongruence conjectured by Kimoto and Wakayama and confirmed by Long, Osburn and Swisher, Z.-W. Sun introduced the sequence of polynomials: $$ s_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}=\sum_{k=0}^n\binom{n}{k}(-1)^k\binom{x}{k}\binom{-1-x}{k} $$ and investigated its congruence properties. In particular, Z.-W. Sun conjectured that for any prime $p>3$ and $p$-adic integer $x\neq-1/2$ one has \begin{equation*} \sum_{n=0}^{p-1}s_n(x)^2\equiv (-1)^{\langle x\rangle_p}\frac{p+2(x-\langle x\rangle_p)}{2x+1}\pmod{p^3}, \end{equation*} where $\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$. In this paper, we confirm this conjecture.
Gauged permutation invariant tensor quantum mechanics, least common multiples and the inclusion-exclusion principle
We derive the canonical ensemble partition functions for gauged permutation invariant tensor quantum harmonic oscillator thermodynamics, finding surprisingly simple expressions with number-theoretic characteristics. These systems have a gauged symmetry of $S_N$, the symmetric group of all permutations of a set of $N$ objects. The symmetric group acts on tensor variables $ Φ_{ i_1, \cdots , i_s } $, where the $s$ indices each range over $ \{ 1, 2, \cdots , N \} $ and have the standard $S_N$ action of permutations. The result is a sum over partitions of $N$ and the summand is a product admitting simple expressions, which depend on the least common multiples (LCMs) of subsets of the parts of the partition. The inclusion-exclusion principle of combinatorics plays a central role in the derivation of these expressions. The behaviour of these partition functions under inversion of the Boltzmann factor $ x = e^{ - β} $ is governed by universal sequences associated with invariants of symmetric groups and alternating groups. The partition functions allow the development of a high temperature expansion analogous to the $s=2$ matrix case. The calculation of an $s$-dependent breakdown point leads to a critical Boltzmann factor $ x_c = { \log N \over sN^{ s-1}}$ as the leading large $N$ approximation.
Ergodic averages and the large intersection property along IP sets
We study multiple ergodic averages along IP sets, meaning we restrict iterates in the averages to all finite sums of some infinite sequence of natural numbers. We give criteria for convergence and divergence in mean of these multiple averages and derive sufficient conditions for convergence to the projection onto the space of invariant functions. For a class of sequences that, roughly speaking, only have rational obstructions to such a limit, we show that the behavior is controlled by nilsystems. We also consider pointwise convergence, obtaining convergence and a formula for a set of functions on nilsystems that are dense in $L^2$. Finally, we show that certain correlations have optimally large intersections along an IP set
Hodge-Riemann polynomials
We show that Schur classes of ample vector bundles on smooth projective varieties satisfy Hodge-Riemann relations on $H^{p,q}$ under the assumption that $H^{p-2,q-2}$ vanishes. More generally, we study Hodge-Riemann polynomials, which are partially symmetric polynomials that produce cohomology classes satisfying the Hodge-Riemann property when evaluated at Chern roots of ample vector bundles. In the case of line bundles and in bidegree $(1,1)$, these are precisely the nonzero dually Lorentzian polynomials. We prove various properties of Hodge-Riemann polynomials, confirming predictions and answering questions of Ross and Toma. As an application, we show that the derivative sequence of any product of Schur polynomials is Schur log-concave, confirming conjectures of Ross and Wu.
A note on congruences for the difference between even cranks and odd cranks
Published in Bol. Soc. Mat. Mex. (3) 31 (2025), no. 3, paper no. 127, 11 pp
• View Publication
• BIB
Recently, Amdeberhan and Merca proved some arithmetic properties of the crank parity function $C(n)$ defined as the difference between the number of partitions of $n$ with even cranks and those with odd cranks and the sequence $a(n)$ whose generating function is the reciprocal of that of $C(n)$. The function $C(n)$ was first studied by Choi, Kang, and Lovejoy. In this note, we give new elementary proofs of some of their main results and extend them. In particular, we establish Ramanujan-type congruences modulo $5$ and $25$ for certain finite sums involving $C(n)$ and $a(n)$. Our proofs employ the results of Cooper, Hirschhorn, and Lewis, and certain identities involving the Rogers-Ramanujan continued fraction $R(q)$ due to Chern and Tang.
Covariance Decomposition for Distance Based Species Tree Estimation
Published
• View Publication
• BIB
In phylogenomics, species-tree methods must contend with two major sources of noise; stochastic gene-tree variation under the multispecies coalescent model (MSC) and finite-sequence substitutional noise. Fast agglomerative methods such as GLASS, STEAC, and METAL combine multi-locus information via distance-based clustering. We derive the exact covariance matrix of these pairwise distance estimates under a joint MSC-plus-substitution model and leverage it for reliable confidence estimation, and we algebraically decompose it into components attributable to coalescent variation versus sequence-level stochasticity. Our theory identifies parameter regimes where one source of variance greatly exceeds the other. For both very low and very high mutation rates, substitutional noise dominates, while coalescent variance is the primary contributor at intermediate mutation rates. Moreover, the interval over which coalescent variance dominates becomes narrower as the species-tree height increases. These results imply that in some settings one may legitimately ignore the weaker noise source when designing methods or collecting data. In particular, when gene-tree variance is dominant, adding more loci is most beneficial, while when substitution noise dominates, longer sequences or imputation are needed. Finally, leveraging the derived covariance matrix, we implement a Gaussian-sampling procedure to generate split support values for METAL trees and demonstrate empirically that this approach yields more reliable confidence estimates than traditional bootstrapping.
Polynomiality of Subdimensions of Diagonal Harmonics and a Sharp Stability Bound
A sequence of representations \(V_n\) of the symmetric group \(S_n\) is called representation (multiplicity) stable if, after some \(n\), the irreducible decomposition of \(V_n\) stabilizes. In particular, Church, Ellenburg and Farb (2015) showed that for fixed \(a\) and \(b\), the space of diagonal harmonics \(DH_n^{a,b}\) exhibits this behavior, with its dimension eventually stabilizing to a polynomial in \(n\). Building on this result, we use the Schedules Formula by Haglund and Loehr (2005) to obtain an explicit combinatorial polynomial for the dimension of the bigraded spaces \(DH_n^{a,b}\). This derivation not only yields the dimension formula but also produces a new sharp stability bound of \(a + b\), and determines the exact degree of the dimension polynomial, which is also \(a + b\).
An nth-cousin mating model and the n-anacci numbers
Published
• View Publication
• BIB
In seeking to understand the size of inbred pedigrees, J. Lachance (J. Theor. Biol. 261, 238-247, 2009) studied a population model in which, for a fixed value of $n$, each mating occurs between $n$th cousins. We explain a connection between the second-cousin case of the model ($n=2$) and the Fibonacci sequence, and more generally, between the $n$th-cousin case and the $n$-anacci sequence $(n \geq 2)$. For a model with $n$th-cousin mating $(n \geq 1)$, we obtain the generating function describing the size of the pedigree $t$ generations back from the present, and we use it to evaluate the asymptotic growth of the pedigree size. In particular, we show that the growth of the pedigree asymptotically follows the growth rate of the $n$-anacci sequence -- the golden ratio $φ= (1 + \sqrt{5})/2 \approx 1.6180$ in the second-cousin case $n=2$ -- and approaches 2 as $n$ increases. The computations explain the appearance of familiar numerical sequences and constants in a pedigree model. They also recall similar appearances of such sequences and constants in studies of population biology more generally.
A generalization of Deterministic Finite Automata related to discharging
Deterministic Finite Automata (DFAs) are of central importance in automata theory. In view of how state diagrams for DFAs are defined using directed graphs, this leads us to introduce a generalization of DFAs related to a method widely used in graph theory referred to as the discharging method. Given a DFA $(Q, Σ, δ, q_{0}, F)$, the transition function $δ\colon Q \times Σ\to Q$ determines a directed path in the corresponding state diagram based on an input string $a_{1} a_{2} \cdots a_{n}$ consisting of characters in $Σ$, and our generalization can be thought of as being based on how each vertex in $D$ ''discharges'' rational values to adjacent vertices (by analogy with the discharging method) depending on the string $a_{1} a_{2} \cdots a_{n}$ and according to a fixed set of rules. We formalize this notion and pursue an exploration of the notion of a Discharging Deterministic Finite Automaton (DDFA) introduced in this paper. Our DDFA construction gives rise to a ring structure consisting of sequences that we refer to as being quasi-$k$-regular, and this ring generalizes the ring of $k$-regular sequences introduced by Allouche and Shallit.
The set of minimal distances of the monoid of plus-minus weighted zero-sum sequences and applications to the characterization problem
Published
• View Publication
• BIB
Recently a systematic investigation of monoids of sequences of plus-minus weighted zero-sum sequences had been started, which is among others motivated by applications to monoids of norms of algebraic integers. In the current paper these investigations are continued. The focus is on the set of minimal distances of these monoids, which is an important arithmetical invariant. Applications to the characterization problem are discussed as well.