sequence
6966 papers tagged with this keyword
Limits of action convergent graph sequences with unbounded $(p,q)$-norms
The recently developed notion of action convergence by Backhausz and Szegedy unifies and generalises the dense (graphon) and local-global (graphing) convergences of graph sequences. This is done through viewing graphs as operators and examining their dynamical properties. Suppose $(A_n)_n^\infty$ is a sequence of operators representing graphs, Cauchy with respect to the action metric. If $(A_n)_n^\infty$ has uniformly bounded $(p,q)$-norms where $(p,q)$ is any pair in $[1,\infty)\times(1,\infty)$, then Backhausz and Szegedy prove that $(A_n)_n^\infty$ has a limit operator which, moreover, must be self-adjoint and positivity-preserving. In the present work, we construct a large class of graph sequences whose only uniformly bounded $(p,q)$-norm is the $(\infty,1)$-norm, but which converge nonetheless. We show that the limit operators in this case are not unique, not self-adjoint, and need not be positivity-preserving. In particular, in the action convergence language, this means that the space of graphops is not compact. By identifying these multiple limits, we also demonstrate that $c$-regularity is not invariant under weak equivalence, where $c$ is the eigenvalue of the identity function, when the identity function is an eigenfunction.
Symmetric generating functions and Euler-Stirling statistics on permutations
Published
• View Publication
• BIB
We present (bi-)symmetric generating functions for the joint distributions of Euler-Stirling statistics on permutations, including the number of descents ($\mathsf{des}$), inverse descents ($\mathsf{ides}$), the number of left-to-right maxima ($\mathsf{lmax}$), the number of right-to-left maxima ($\mathsf{rmax}$) and the number of left-to-right minima ($\mathsf{lmin}$). We also show how they recover the classical symmetric generating function of permutations due to Carlitz, Roselle and Scoville (1966).
Our proofs exploit three different recursive constructions of inversion sequences, bijections on the multiple equidistributions of Euler-Stirling statistics over permutations and transformation formulas of basic hypergeometric series. Furthermore, we establish a new quadruple equidistribution of Euler-Stirling statistics over inversion sequences, as progress towards a conjecture proposed by Schlosser and the author (2020).
Recurrence algorithms of waiting time for the success run of length $k$ in relation to generalized Fibonacci sequences
Let $V(k)$ denote the waiting time, the number of trials needed to get a consecutive $k$ ones. We propose recurrence algorithms for the probability distribution function (pdf) and the probability generating function (pgf) of $V(k)$ in sequences of independent and Markov dependent Bernoulli trials using generalized Fibonacci sequences of order $k$. Maximum likelihood estimation (MLE) methods for the probability distributions are presented in both cases with simulation examples.
Algebraic and arithmetic properties of the cogrowth sequence of nilpotent groups
We prove that congruences of the cogrowth sequence in a unitriangular group UT$(m, \Bbb Z)$ are undecidable. This is in contrast with abelian groups, where the congruences of the cogrowth sequence are decidable. As an application, we conclude that there is no algorithm to present the cogrowth series as the diagonal of a rational function.
Log-concavity of level Hilbert functions and pure $O$-sequences
Published in J. Commut. Algebra 16 (2024), no. 2, 245--256
• View Publication
• BIB
We investigate log-concavity in the context of level Hilbert functions and pure $O$-sequences, two classes of numerical sequences introduced by Stanley in the late Seventies whose structural properties have since been the object of a remarkable amount of interest in combinatorial commutative algebra. However, a systematic study of the log-concavity of these sequences began only recently, thanks to a paper by Iarrobino.
The goal of this note is to address two general questions left open by Iarrobino's work: 1) Given the integer pair $(r,t)$, are all level Hilbert functions of codimension $r$ and type $t$ log-concave? 2) How about pure $O$-sequences with the same parameters?
Iarrobino's main results consisted of a positive answer to 1) for $r=2$ and any $t$, and for $(r,t)=(3,1)$. Further, he proved that the answer to 1) is negative for $(r,t)=(4,1)$.
Our chief contribution to 1) is to provide a negative answer in all remaining cases, with the exception of $(r,t)=(3,2)$, which is still open in any characteristic. We then propose a few detailed conjectures specifically on level Hilbert functions of codimension 3 and type 2.
As for question 2), we show that the answer is positive for all pairs $(r,1)$; negative for $(r,t)=(3,4)$; and negative for any pair $(r,t)$ with $r\ge 4$ and $2\le t\le r+1$. Interestingly, the main case that remains open is again $(r,t)=(3,2)$. Further, we conjecture that, in analogy with the behavior of arbitrary level Hilbert functions, log-concavity fails for pure $O$-sequences of any codimension $r\ge 3$ and type $t$ large enough.
Twin-width of Planar Graphs is at most 8, and some Related Bounds
Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020], and has interesting applications in the areas of logic on graphs and in parameterized algorithmics. Very briefly, the essence of twin-width is in a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. While for many natural graph classes it is known that their twin-width is bounded, published upper bounds on the twin-width in non-trivial cases are very often "astronomically large".
We focus on planar graphs, which are known to have bounded twin-width already since the introduction of it, but it took some time for the first explicit "non-astronomical" upper bounds to come. Namely, in the order of preprint appearance, it was the bound of at most 183 by Jacob and Pilipczuk [arXiv, January 2022], and 583 by Bonnet, Kwon and Wood [arXiv, February 2022]. Subsequent arXiv manuscripts in 2022 improved the bound down to 37 (Bekos et al.), 11 and 9 (both by Hliněný). We further elaborate on the approach used in the latter manuscripts, proving that the twin-width of every planar graph is at most 8, and construct a witnessing contraction sequence in linear time. Note that the currently best lower-bound planar example is of twin-width 7, by Král and Lamaison [arXiv, September 2022]. We also prove small explicit upper bounds on the twin-width of bipartite planar and 1-planar graphs (6 and 16), and of map graphs (38). The common denominator of all these results is the use of a novel specially crafted recursive decomposition of planar graphs, which may be found useful also in other areas.
Enumerating moves in the optimal solution of the Tower of Hanoi
In the Tower of Hanoi problem, there is six types of moves between the three pegs. The main purpose of the present paper is to find out the number of each of these six elementary moves in the optimal sequence of moves. We present a recursive function based on indicator functions, which counts the number of each elementary move, we investigate some of its properties including combinatorial identities, recursive formulas and generating functions. Also we found and interesting sequence that is strongly related to counting each type of these elementary moves that we'll establish some if its properties as well.
q,t-Catalan measures
Published
• View Publication
• BIB
We introduce the $q,t$-Catalan measures, a sequence of piece-wise polynomial measures on $\mathbb{R}^2$. These measures are defined in terms of suitable area, dinv, and bounce statistics on continuous families of paths in the plane, and have many combinatorial similarities to the $q,t$-Catalan numbers. Our main result realizes the $q,t$-Catalan measures as a limit of higher $q,t$-Catalan numbers $C^{(m)}_n(q,t)$ as $m\to\infty$. We also give a geometric interpretation of the $q,t$-Catalan measures. They are the Duistermaat-Heckman measures of the punctual Hilbert schemes parametrizing subschemes of $\mathbb{C}^2$ supported at the origin.
How to construct the symmetric cycle of length 5 using Hajós construction with an adapted Rank Genetic Algorithm
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Discrete Algorithms (March 1, 2023) dmtcs:10189
• View Publication
• BIB
In 2020 Bang-Jensen et. al. generalized the Hajós join of two graphs to the class of digraphs and generalized several results for vertex colorings in digraphs. Although, as a consequence of these results, a digraph can be obtained by Hajós constructions (directed Hajós join and identifying non-adjacent vertices), determining the Hajós constructions to obtain the digraph is a complex problem. In particular, Bang-Jensen et al. posed the problem of determining the Hajós operations to construct the symmetric 5-cycle from the complete symmetric digraph of order 3 using only Hajós constructions. We successfully adapted a rank-based genetic algorithm to solve this problem by the introduction of innovative recombination and mutation operators from graph theory. The Hajós Join became the recombination operator and the identification of independent vertices became the mutation operator. In this way, we were able to obtain a sequence of only 16 Hajós operations to construct the symmetric cycle of order 5.
Online Ramsey numbers of ordered paths and cycles
Published
• View Publication
• BIB
An ordered graph is a graph with a linear ordering on its vertices. The online Ramsey game for ordered graphs $G$ and $H$ is played on an infinite sequence of vertices; on each turn, Builder draws an edge between two vertices, and Painter colors it red or blue. Builder tries to create a red $G$ or a blue $H$ as quickly as possible, while Painter wants the opposite. The online ordered Ramsey number $r_o(G,H)$ is the number of turns the game lasts with optimal play.
In this paper, we consider the behavior of $r_o(G,P_n)$ for fixed $G$, where $P_n$ is the monotone ordered path. We prove an $O(n \log_2n)$ bound on $r_o(G,P_n)$ for all $G$ and an $O(n)$ bound when $G$ is $3$-ichromatic; we partially classify graphs $G$ with $r_o(G,P_n) = n + O(1)$. Many of these results extend to $r_o(G,C_n)$, where $C_n$ is an ordered cycle obtained from $P_n$ by adding one edge.
Critical Points at Infinity for Hyperplanes of Directions
Analytic combinatorics in several variables (ACSV) analyzes the asymptotic growth of the coefficients of a meromorphic generating function $F = G/H$ in a direction $\mathbf{r}$. It uses Morse theory on the pole variety $V := \{ H = 0 \} \subseteq (\mathbb{C}^*)^d$ of $F$ to deform the torus $T$ in the multivariate Cauchy Integral Formula via the downward gradient flow for the \textit{height} function $h = h_{\mathbf{r}} = -\sum_{j=1}^d r_j \log |z_j|$, giving a homology decomposition of $T$ into cycles around \textit{critical points} of $h$ on $V$. The deformation can flow to infinity at finite height when the height function is not a proper map. This happens only in the presence of a critical point at infinity (CPAI): a sequence of points on $V$ approaching a point at infinity, and such that log-normals to $V$ converge projectively to $\mathbf{r}$. The CPAI is called \textit{heighted} if the height function also converges to a finite value. This paper studies whether all CPAI are heighted, and in which directions CPAI can occur. We study these questions by examining sequences converging to faces of a toric compactification defined by a multiple of the Newton polytope $\mathcal{P}$ of the polynomial $H$. Under generically satisfied conditions, any projective limit of log-normals of a sequence converging to a face $F$ must be parallel to $F$; this implies that CPAI must always be heighted and can only occur in directions parallel to some face of $\mathcal{P}$. When this generic condition fails, we show under a smoothness condition, that a point in a codimension-1 face $F$ can still only be a CPAI for directions parallel to $F$, and that the directions for a codimension-2 face can be a larger set, which can be computed explicitly and still has positive codimension.
An algorithmic approach based on generating trees for enumerating pattern-avoiding inversion sequences
Published in J. Symbolic Comput. 120 (2024), Paper No. 102231, 18 pp
• View Publication
• BIB
We introduce an algorithmic approach based on generating tree method for enumerating the inversion sequences with various pattern-avoidance restrictions. For a given set of patterns, we propose an algorithm that outputs either an accurate description of the succession rules of the corresponding generating tree or an ansatz. By using this approach, we determine the generating trees for the pattern-classes $I_n(000, 021), I_n(100, 021)$, $I_n(110, 021), I_n(102, 021)$, $I_n(100,012)$, $I_n(011,201)$, $I_n(011,210)$ and $I_n(120,210)$. Then we use the kernel method, obtain generating functions of each class, and find enumerating formulas. Lin and Yan studied the classification of the Wilf-equivalences for inversion sequences avoiding pairs of length-three patterns and showed that there are 48 Wilf classes among 78 pairs. In this paper, we solve six open cases for such pattern classes.
On Success runs of a fixed length defined on a $q$-sequence of binary trials
We study the exact distributions of runs of a fixed length in variation which considers binary trials for which the probability of ones is geometrically varying. The random variable $E_{n,k}$ denote the number of success runs of a fixed length $k$, $1\leq k \leq n$.
Theorem 3.1 gives an closed expression for the probability mass function (PMF) of the Type4 $q$-binomial distribution of order $k$. Theorem 3.2 and Corollary 3.1 gives an recursive expression for the probability mass function (PMF) of the Type4 $q$-binomial distribution of order $k$. The probability generating function and moments of random variable $E_{n,k}$ are obtained as a recursive expression. We address the parameter estimation in the distribution of $E_{n,k}$ by numerical techniques. In the present work, we consider a sequence of independent binary zero and one trials with not necessarily identical distribution with the probability of ones varying according to a geometric rule. Exact and recursive formulae for the distribution obtained by means of enumerative combinatorics.
On cellular rational approximations to $ζ(5)$
We analyse a certain family of cellular integrals, which are period integrals on the moduli space $\mathcal{M}_{0,8}$ of curves of genus zero with eight marked points, and give rise to simultaneous rational approximations to $ζ(3)$ and $ζ(5)$. By exploiting the action of a large symmetry group on these integrals, we construct an infinite $effective$ sequence of rational approximations $p/q$ to $ζ(5)$ satisfying \[ 0<\bigg|ζ(5)-\frac pq\bigg|<\frac1{q^{0.86}}. \]
Type $1$, $2$, $3$ and $4$ $q$-negative binomial distribution of order $k$
We study the distributions of waiting times in variations of the negative binomial distribution of order $k$. One variation apply different enumeration scheme on the runs of successes. Another case considers binary trials for which the probability of ones is geometrically varying. We investigate the exact distribution of the waiting time for the $r$-th occurrence of success run of a specified length (non-overlapping, overlapping, at least, exactly, $\ell$-overlapping) in a $q$-sequence of binary trials. The main theorems are Type $1$, $2$, $3$ and $4$ $q$-negative binomial distribution of order $k$ and $q$-negative binomial distribution of order $k$ in the $\ell$-overlapping case. In the present work, we consider a sequence of independent binary zero and one trials with not necessarily identical distribution with the probability of ones varying according to a geometric rule. Exact formulae for the distributions obtained by means of enumerative combinatorics.
e-basis Coefficients of Chromatic Symmetric Functions
A well-known result of Stanley's shows that given a graph $G$ with chromatic symmetric function expanded into the basis of elementary symmetric functions as $X_G = \sum c_λe_λ$, the sum of the coefficients $c_λ$ for $λ$ with $λ_1' = k$ (equivalently those $λ$ with exactly $k$ parts) is equal to the number of acyclic orientations of $G$ with exactly $k$ sinks.
However, more is known. The sink sequence of an acyclic orientation of $G$ is a tuple $(s_1,\dots,s_k)$ such that $s_1$ is the number of sinks of the orientation, and recursively each $s_i$ with $i > 1$ is the number of sinks remaining after deleting the sinks contributing to $s_1,\dots,s_{i-1}$. Equivalently, the sink sequence gives the number of vertices at each level of the poset induced by the acyclic orientation.
A lesser-known follow-up result of Stanley's determines certain cases in which we can find a sum of $e$-basis coefficients that gives the number of acyclic orientations of $G$ with a given partial sink sequence. Of interest in its own right, this result also admits as a corollary a simple proof of the $e$-positivity of $X_G$ when the stability number of $G$ is $2$.
In this paper, we prove a vertex-weighted generalization of this follow-up result, and conjecture a stronger version that admits a similar combinatorial interpretation for a much larger set of $e$-coefficient sums of chromatic symmetric functions. In particular, the conjectured formula would give a combinatorial interpretation for the sum of the coefficients $c_λ$ with prescribed values of $λ_1'$ and $λ_2'$ for any unweighted claw-free graph (not necessarily an incomparability graph, as in the setting of the Stanley-Stembridge conjecture).
On Frobenius Numbers of Shifted Power Sequences
Published
• View Publication
• BIB
We resolve the open problem of characterizing the Frobenius number $g(A)$ for shifted square sequences $A = (a, a+1^2, \ldots, a+k^2)$, confirming a conjecture of Einstein et al. (2007). By combining a combinatorial reduction to an optimization problem with Lagrange's Four-Square Theorem and generating function techniques, we derive an explicit formula for $g(A)$: a piecewise quadratic polynomial in $a$, classified by residue classes modulo $k^2$.
Conjugate Fillings and Legendrian Weaves
First, we show that conjugate Lagrangian fillings, associated to plabic graphs, and Lagrangian fillings obtained as Reeb pinching sequences are both Hamiltonian isotopic to Lagrangian projections of Legendrian weaves. In general, we establish a series of new Reidemeister moves for hybrid Lagrangian surfaces. These allow for explicit combinatorial isotopies between the different types of Lagrangian fillings and we use them to show that Legendrian weaves indeed generalize these previously known combinatorial methods to construct Lagrangian fillings. This generalization is strict, as weaves are typically able to produce infinitely many distinct Hamiltonian isotopy classes of Lagrangian fillings, whereas conjugate surfaces and Reeb pinching sequences produce finitely many fillings.
Second, we compare the sheaf quantizations associated to each such types of Lagrangian fillings and show that the cluster structures in the corresponding moduli of pseudo-perfect objects coincide. In particular, this shows that the cluster variables in Bott-Samelson cells, given as generalized minors, are geometric microlocal holonomies associated to sheaf quantizations. Similar results are presented for the Fock-Goncharov cluster variables in the moduli spaces of framed local systems. In the course of the article and its appendices, we also establish several technical results needed for a rigorous comparison between the different Lagrangian fillings and their microlocal sheaf invariants.
On Sums, Derivatives, and Flips of Riordan Arrays
Published in J. Integer Seq. 26 (2023), no. 2, Art. 23.2.7, 40 pp
• Search Publication
We study three operations on Riordan arrays. First, we investigate when the sum of Riordan arrays yields another Riordan array. We characterize the $A$- and $Z$-sequences of these sums of Riordan arrays, and also identify an analog for $A$-sequences when the sum of Riordan arrays does not yield a Riordan array. In addition, we define the new operations `Der' and `Flip' on Riordan arrays. We fully characterize the Riordan arrays resulting from these operations applied to the Appell and Lagrange subgroups of the Riordan group. Finally, we study the application of these operations to various known Riordan arrays, generating many combinatorial identities in the process.
On the $A_α$ and $RD_α$ matrices over certain groups
The power graph $G = P(Ω)$ of a finite group $Ω$ is a graph with the vertex set $Ω$ and two vertices $u, v \in Ω$ form an edge if and only if one is an integral power of the other. Let $D(G)$, $A(G)$, $RT(G)$, and $RD(G)$ denote the degree diagonal matrix, adjacency matrix, the diagonal matrix of the vertex reciprocal transmission, and Harary matrix of the power graph $G$ respectively. Then the $A_α$ and $RD_α$ matrices of $G$ are defined as $A_α(G) = αD(G) + (1-α)A(G)$ and $RD_α(G) = αRT(G) + (1-α)RD(G)$. In this article, we determine the eigenvalues of $A_α$ and $RD_α$ matrices of the power graph of group $ \mathcal{G} = \langle s,r \, : r^{2^kp} = s^2 = e,~ srs^{-1} = r^{2^{k-1}p-1}\rangle$. In addition, we calculate its distant and detotar distance degree sequences, metric dimension, and strong metric dimension.