sequence
7059 papers tagged with this keyword
Coprime networks of the composite numbers: pseudo-randomness and synchronizability
Published in Discrete Applied Mathematics, 355(2024)96
• View Publication
• BIB
In this paper, we propose a network whose nodes are labeled by the composite numbers and two nodes are connected by an undirected link if they are relatively prime to each other. As the size of the network increases, the network will be connected whenever the largest possible node index $n\geq 49$. To investigate how the nodes are connected, we analytically describe that the link density saturates to $6/π^2$, whereas the average degree increases linearly with slope $6/π^2$ with the size of the network. To investigate how the neighbors of the nodes are connected to each other, we find the shortest path length will be at most 3 for $49\leq n\leq 288$ and it is at most 2 for $n\geq 289$. We also derive an analytic expression for the local clustering coefficients of the nodes, which quantifies how close the neighbors of a node to form a triangle. We also provide an expression for the number of $r$-length labeled cycles, which indicates the existence of a cycle of length at most $O(\log n)$. Finally, we show that this graph sequence is actually a sequence of weakly pseudo-random graphs. We numerically verify our observed analytical results. As a possible application, we have observed less synchronizability (the ratio of the largest and smallest positive eigenvalue of the Laplacian matrix is high) as compared to Erdős-Rényi random network and Barabási-Albert network. This unusual observation is consistent with the prolonged transient behaviors of ecological and predator-prey networks which can easily avoid the global synchronization.
Majorization and the degree sequence of trees
Published
• View Publication
• BIB
We investigate the relation between degree sequences of trees and the majorization order using the Muirhead theorem. In this way, we prove a theorem that provides a necessary and sufficient condition for delta sequences of trees to be comparable in the majorization order. Although our investigation is largely theoretical, our study contributes to a better knowledge of trees as an important data structure. We point out that this study is among the few combining Lorenz curves and majorization on the one hand, and degree sequences of networks on the other.
Growth Rates Of Permutations With Given Descent Or Peak Set
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
Given a set $I \subseteq \mathbb{N}$, consider the sequences $\{d_n(I)\},\{p_n(I)\}$ where for any $n$, $d_n(I)$ and $p_n(I)$ respectively count the number of permutations in the symmetric group $\mathfrak{S}_n$ whose descent set (respectively peak set) is $I \cap [n-1]$. We investigate the growth rates $\text{gr} \ d_n(I) = \lim_{n \to \infty} \left(d_n(I)/n!\right)^{1/n}$ and $\text{gr} \ p_n(I) = \lim_{n \to \infty} \left(p_n(I)/n!\right)^{1/n}$ over all $I \subseteq \mathbb{N}$. Our main contributions are two-fold. Firstly, we prove that the numbers $\text{gr} \ d_n(I)$ over all $I \subseteq \mathbb{N}$ are exactly the interval $\left[0,2/π\right]$. To do so, we construct an algorithm that explicitly builds $I$ for any desired limit $L$ in the interval. Secondly, we prove that the numbers $\text{gr} \ p_n(I)$ for periodic sets $I \subseteq \mathbb{N}$ form a dense set in $\left[0,1/\sqrt[3]{3}\right]$. We do this by explicitly finding, for any prescribed $L$ in the interval, a set $I$ whose corresponding growth rate is arbitrarily close to $L$.
On unboundedness of some invariants of $\mathcal{C}$-semigroups
Published
• View Publication
• BIB
In this article, we first prove that the type of an affine semigroup ring is equal to the number of maximal elements of the Apéry set with respect to the set of exponents of the monomials, which form a maximal regular sequence. Further, we consider $\mathcal{C}$-semigroups in $\mathbb{N}^d$ and prove that the notions of symmetric and almost symmetric $\mathcal{C}$-semigroups are independent of term orders. We further investigate the conductor and the Apéry set of a $\mathcal{C}$-semigroup with respect to a minimal extremal ray. Building upon this, we extend the notion of reduced type to $\mathcal{C}$-semigroups and study its extremal behavior. For all $d$ and fixed $e \geq 2d$, we give a class of $\mathcal{C}$-semigroups of embedding dimension $e$ such that both the type and the reduced type do not have any upper bound in terms of the embedding dimension. We further explore irreducible decompositions of a $\mathcal{C}$-semigroup and give a lower bound on the irreducible components in an irreducible decomposition. Consequently, we deduce that for each positive integer $k$, there exists a $\mathcal{C}$-semigroup $S$ such that the number of irreducible components of $S$ is at least $k$.
Trace reconstruction of matrices and hypermatrices
Published
• View Publication
• BIB
A \emph{trace} of a sequence is generated by deleting each bit of the sequence independently with a fixed probability. The well-studied \emph{trace reconstruction} problem asks how many traces are required to reconstruct an unknown binary sequence with high probability. In this paper, we study the multivariate version of this problem for matrices and hypermatrices, where a trace is generated by deleting each row/column of the matrix or each slice of the hypermatrix independently with a constant probability. Previously, Krishnamurthy et al. showed that $\exp(\widetilde{O}(n^{d/(d+2)}))$ traces suffice to reconstruct any unknown $n\times n$ matrix (for $d=2$) and any unknown $n^{\times d}$ hypermatrix. By developing a dimension reduction procedure and establishing a multivariate version of the Littlewood-type result, we improve this upper bound by showing that $\exp(\widetilde{O}(n^{3/7}))$ traces suffice to reconstruct any unknown $n\times n$ matrix, and $\exp(\widetilde{O}(n^{3/5}))$ traces suffice to reconstruct any unknown $n^{\times d}$ hypermatrix. This breaks the tendency to trivial $\exp(O(n))$ as the dimension $d$ grows.
NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability
Published in Quantum 10, 1989 (2026)
• View Publication
• BIB
Mančinska and Roberson [FOCS'20] showed that two graphs are quantum isomorphic if and only if they admit the same number of homomorphisms from any planar graph. Atserias et al. [JCTB'19] proved that quantum isomorphism is undecidable in general, which motivates the study of its relaxations. In the classical setting, Roberson and Seppelt [ICALP'23] characterized the feasibility of each level of the Lasserre hierarchy of semidefinite programming relaxations of graph isomorphism in terms of equality of homomorphism counts from an appropriate graph class. The NPA hierarchy, a noncommutative generalization of the Lasserre hierarchy, provides a sequence of semidefinite programming relaxations for quantum isomorphism. In the quantum setting, we show that the feasibility of each level of the NPA hierarchy for quantum isomorphism is equivalent to equality of homomorphism counts from an appropriate class of planar graphs. Combining this characterization with the convergence of the NPA hierarchy, and noting that the union of these classes is the set of all planar graphs, we obtain a new proof of the result of Mančinska and Roberson [FOCS'20] that avoids the use of quantum groups. Moreover, this homomorphism indistinguishability characterization also yields a randomized polynomial-time algorithm deciding exact feasibility of each fixed level of the NPA hierarchy of SDP relaxations for quantum isomorphism.
On trilinear and quadrilinear equations associated with the lattice Gel'fand-Dikii hierarchy
Published
• View Publication
• BIB
Introduced in 2012, by Zhang, Zhao, and Nijhoff, the trilinear Boussinesq equation is the natural form of the equation for the $τ$-function of the lattice Boussinesq system. In this paper we study various aspects of this equation: its highly nontrivial derivation from the bilinear lattice AKP equation under dimensional reduction, a quadrilinear dual lattice equation, conservation laws, and periodic reductions leading to higher-dimensional integrable maps and their Laurent property. Furthermore, we consider a higher Gel'fand-Dikii lattice system, its periodic reductions and Laurent property. As a special application, from both a trilinear Boussinesq recurrence as well as a higher Gel'fand-Dikii system of three bilinear recurrences, we establish Somos-like integer sequences.
Sum of Consecutive Terms of Pell and Related Sequences
Published
• View Publication
• BIB
We study new identities related to the sums of adjacent terms in the Pell sequence, defined by $P_{n} := 2P_{n-1}+P_{n-2}$ for $ n\geq 2$ and $P_{0}=0, P_{1}=1$, and generalize these identities for many similar sequences. We prove that the sum of $N>1$ consecutive Pell numbers is a fixed integer multiple of another Pell number if and only if $4\mid N$. We consider the generalized Pell $(k,i)$-numbers defined by $p(n) :=\ 2p(n-1)+p(n-k-1) $ for $n\geq k+1$, with $p(0)=p(1)=\cdots =p(i)=0$ and $p(i+1)=\cdots = p(k)=1$ for $0\leq i\leq k-1$, and prove that the sum of $N=2k+2$ consecutive terms is a fixed integer multiple of another term in the sequence. We also prove that for the generalized Pell $(k,k-1)$-numbers such a relation does not exist when $N$ and $k$ are odd. We give analogous results for the Fibonacci and other related second-order recursive sequences.
Obstructions to Erdős-Pósa Dualities for Minors
Published
• View Publication
• BIB
Let ${\cal G}$ and ${\cal H}$ be minor-closed graph classes. The pair $({\cal H},{\cal G})$ is an Erdős-Pósa pair (EP-pair) if there is a function $f$ where, for every $k$ and every $G\in{\cal G},$ either $G$ has $k$ pairwise vertex-disjoint subgraphs not belonging to ${\cal H},$ or there is a set $S\subseteq V(G)$ where $|S|\leq f(k)$ and $G-S\in{\cal H}.$ The classic result of Erdős and Pósa says that if $\mathcal{F}$ is the class of forests, then $({\cal F},{\cal G})$ is an EP-pair for every ${\cal G}$. The class ${\cal G}$ is an EP-counterexample for ${\cal H}$ if ${\cal G}$ is minimal with the property that $({\cal H},{\cal G})$ is not an EP-pair. We prove that for every ${\cal H}$ the set $\mathfrak{C}_{\cal H}$ of all EP-counterexamples for ${\cal H}$ is finite. In particular, we provide a complete characterization of $\mathfrak{C}_{\cal H}$ for every ${\cal H}$ and give a constructive upper bound on its size. Each class ${\cal G}\in \mathfrak{C}_{\cal H}$ can be described as all minors of a sequence of grid-like graphs $\langle \mathscr{W}_{k} \rangle_{k\in \mathbb{N}}.$ Moreover, each $\mathscr{W}_{k}$ admits a half-integral packing: $k$ copies of some $H\not\in{\cal H}$ where no vertex is used more than twice. This gives a complete delineation of the half-integrality threshold of the Erdős-Pósa property for minors and yields a constructive proof of Thomas' conjecture on the half-integral Erdős-Pósa property for minors (recently confirmed, non-constructively, by Liu). Let $h$ be the maximum size of a graph in ${\cal H}.$ For every class ${\cal H},$ we construct an algorithm that, given a graph $G$ and a $k,$ either outputs a half-integral packing of $k$ copies of some $H \not\in {\cal H}$ or outputs a set of at most ${2^{k^{\cal O}_h(1)}}$ vertices whose deletion creates a graph in ${\cal H}$ in time $2^{2^{k^{{\cal O}_h(1)}}}\cdot |G|^4\log |G|.$
Derivatives of theta functions as Traces of Partition Eisenstein series
Published
• View Publication
• BIB
In his "lost notebook'', Ramanujan used iterated derivatives of two theta functions to define sequences of $q$-series $\{U_{2t}(q)\}$ and $\{V_{2t}(q)\}$ that he claimed to be quasimodular. We give the first explicit proof of this claim by expressing them in terms of "partition Eisenstein series'', extensions of the classical Eisenstein series $E_{2k}(q)$ defined by $$λ=(1^{m_1}, 2^{m_2},\dots, n^{m_n}) \vdash n \ \ \ \ \ \longmapsto \ \ \ \ \ E_λ(q):= E_2(q)^{m_1} E_4(q)^{m_2}\cdots E_{2n}(q)^{m_n}. $$ For functions $φ: \mathcal{P}\mapsto \mathbb{C}$ on partitions, the weight $2n$ partition Eisenstein trace is $$ \text{Tr}_n(φ;q):=\sum_{λ\vdash n} φ(λ)E_λ(q). $$ For all $t$, we prove that $U_{2t}(q)=\text{Tr}_t(φ_U;q)$ and $V_{2t}(q)=\text{Tr}_t(φ_V;q),$ where $φ_U$ and $φ_V$ are natural partition weights, giving the first explicit quasimodular formulas for these series.
Further Results and Questions on $S$-Packing Coloring of Subcubic Graphs
Published
• View Publication
• BIB
For non-decreasing sequence of integers $S=(a_1,a_2, \dots, a_k)$, an $S$-packing coloring of $G$ is a partition of $V(G)$ into $k$ subsets $V_1,V_2,\dots,V_k$ such that the distance between any two distinct vertices $x,y \in V_i$ is at least $a_{i}+1$, $1\leq i\leq k$. We consider the $S$-packing coloring problem on subclasses of subcubic graphs: For $0\le i\le 3$, a subcubic graph $G$ is said to be $i$-saturated if every vertex of degree 3 is adjacent to at most $i$ vertices of degree 3. Furthermore, a vertex of degree 3 in a subcubic graph is called heavy if all its three neighbors are of degree 3, and $G$ is said to be $(3,i)$-saturated if every heavy vertex is adjacent to at most $i$ heavy vertices. We prove that every 1-saturated subcubic graph is $(1,1,3,3)$-packing colorable and $(1,2,2,2,2)$-packing colorable. We also prove that every $(3,0)$-saturated subcubic graph is $(1,2,2,2,2,2)$-packing colorable.
Completing the enumeration of inversion sequences avoiding one or two patterns of length 3
Published in The Electronic Journal of Combinatorics, Volume 32, Issue 4, Article Number P4.46 (2025)
• View Publication
• BIB
We present four constructions of inversion sequences, and use them to compute the enumeration sequences of 24 classes of pattern-avoiding inversion sequences. This completes the enumeration of inversion sequences avoiding one or two patterns of length 3. Some of our constructions are based on generating trees. Others involve pattern-avoiding words, which we also count using generating trees. To solve some of these cases, we introduce a generalization of inversion sequences, which we call shifted inversion sequences. Lastly, we briefly discuss the asymptotics of pattern-avoiding inversion sequences, focusing on their exponential or super-exponential behavior.
When is a set of phylogenetic trees displayed by a normal network?
Published
• View Publication
• BIB
A normal network is uniquely determined by the set of phylogenetic trees that it displays. Given a set $\mathcal{P}$ of rooted binary phylogenetic trees, this paper presents a polynomial-time algorithm that reconstructs the unique binary normal network whose set of displayed binary trees is $\mathcal{P}$, if such a network exists. Additionally, we show that any two rooted phylogenetic trees can be displayed by a normal network and show that this result does not extend to more than two trees. This is in contrast to tree-child networks where it has been previously shown that any collection of rooted phylogenetic trees can be displayed by a tree-child network. Lastly, we introduce a type of cherry-picking sequence that characterises when a collection $\mathcal{P}$ of rooted phylogenetic trees can be displayed by a normal network and, further, characterise the minimum number of reticulations needed over all normal networks that display $\mathcal{P}$. We then exploit these sequences to show that, for all $n\ge 3$, there exist two rooted binary phylogenetic trees on $n$ leaves that can be displayed by a tree-child network with a single reticulation, but cannot be displayed by a normal network with less than $n-2$ reticulations.
Constructing $k$-ary Orientable Sequences with Asymptotically Optimal Length
An orientable sequence of order $n$ over an alphabet $\{0,1,\ldots, k{-}1\}$ is a cyclic sequence such that each length-$n$ substring appears at most once \emph{in either direction}. When $k= 2$, efficient algorithms are known to construct binary orientable sequences, with asymptotically optimal length, by applying the classic cycle-joining technique. The key to the construction is the definition of a parent rule to construct a cycle-joining tree of asymmetric bracelets. Unfortunately, the parent rule does not generalize to larger alphabets. Furthermore, unlike the binary case, a cycle-joining tree does not immediately lead to a simple successor-rule when $k \geq 3$ unless the tree has certain properties. In this paper, we derive a parent rule to derive a cycle-joining tree of $k$-ary asymmetric bracelets. This leads to a successor rule that constructs asymptotically optimal $k$-ary orientable sequences in $O(n)$ time per symbol using $O(n)$ space. In the special case when $n=2$, we provide a simple construction of $k$-ary orientable sequences of maximal length.
On the spectrum of closed neighborhood corona product of graph and its application
In this paper, we investigate the spectral properties of the closed neighborhood corona product of graphs, which was introduced by Harishchandra S. Ramane et al.~\cite{ramane2021polynomials} (cf. Polynomials Associated with Closed Neighborhood Corona and Neighborhood Complement Corona of Graphs). Based on their results, such as characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices, we further investigate the spectral characteristics of this product graph. Specifically, we investigate conditions under which cospectrality occurs for this operation. Further, we determine the Kirchhoff index and count spanning trees and identify sequences of non-cospectral equienergetic product graphs. Finally, we develop criteria for when the product graph is integral and thereby contribute to a deeper understanding of the algebraic and combinatorial structure of the product graph.
Log-concavity for independent sets of valuated matroids
Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity result in the more general setting of valuated discrete polymatroids, or equivalently, M-convex functions. Our approach is via the construction of a generic extension of a valuated matroid or M-convex function, so that the bases of the extension are related to the independent sets of the original matroid. We also provide a similar log-concavity result for valuated bimatroids, which, we believe, might be of independent interest.
A Novel Property of Generalized Fibonacci Sequence in Grids
Fibonacci sequence, generated by summing the preceding two terms, is a classical sequence renowned for its elegant properties. In this paper, leveraging properties of generalized Fibonacci sequences and formulas for consecutive sums of equidistant subsequences, we investigate the ratio of the sum of numbers along main-diagonal and sub-diagonal of odd-order grids containing generalized Fibonacci sequences. We show that this ratio is solely dependent on the order of the grid, providing a concise and splendid identity.
Reconfiguration of Independent Transversals
Published
• View Publication
• BIB
Given integers $Δ\ge 2$ and $t\ge 2Δ$, suppose there is a graph of maximum degree $Δ$ and a partition of its vertices into blocks of size at least $t$. By a seminal result of Haxell, there must be some independent set of the graph that is transversal to the blocks, a so-called independent transversal. We show that, if moreover $t\ge2Δ+1$, then every independent transversal can be transformed within the space of independent transversals to any other through a sequence of one-vertex modifications, showing connectivity of the so-called reconfigurability graph of independent transversals.
This is sharp in that for $t=2Δ$ (and $Δ\ge 2$) the connectivity conclusion can fail. In this case we show furthermore that in an essential sense it can only fail for the disjoint union of copies of the complete bipartite graph $K_{Δ,Δ}$. This constitutes a qualitative strengthening of Haxell's theorem.
The Fibonacci-Fubini and Lucas-Fubini numbers
Published
• View Publication
• BIB
Based on the combinatorial interpretation of the ordered Bell numbers, which count all the ordered partitions of the set $[n]=\{1,2,\dots,n\}$, we introduce the Fibonacci partition as a Fibonacci permutation of its blocks. Then we define the Fibonacci-Fubini numbers that count the total number of Fibonacci partitions of $[n]$. We study the classical properties of this sequence (generating function, explicit and Dobiński-like formula, etc.), we give combinatorial interpretation, and we extensively examine the Fibonacci-Fubini arithmetic triangle. We give some associate linear recurrence sequences, where in some sequences the Stirling numbers of the first and second kinds appear as well.
Optimal Unimodular Matching
Published
• View Publication
• BIB
We consider sequences of finite weighted random graphs that converge locally to unimodular i.i.d. weighted random trees. When the weights are atomless, we prove that the matchings of maximal weight converge locally to a matching on the limiting tree. For this purpose, we introduce and study unimodular matchings on weighted unimodular random trees as well as a notion of optimality for these objects. In this context, we prove that, in law, there is a unique optimal unimodular matching for a given unimodular tree. We then prove that this law is the local limit of the sequence of matchings of maximal weight. Along the way, we also show that this law is characterised by an equation derived from a message passing algorithm.