sequence
6845 papers tagged with this keyword
Partial permutations and character evaluations
Let $I = (i_1, \dots, i_k)$ and $J = (j_1, \dots, j_k)$ be two length $k$ sequences drawn from $\{1, \dots, n \}$. We have the group algebra element $[I,J] := \sum_{w(I) = J} w \in \mathbb{C}[\mathfrak{S}_n]$ where the sum is over permutations $w \in \mathfrak{S}_n$ which satisfy $w(i_p) = j_p$ for $p = 1, \dots, k$. We give an algorithm for evaluating irreducible characters $χ^λ: \mathbb{C}[\mathfrak{S}_n] \to \mathbb{C}$ of the symmetric group on the elements $[I,J]$. This algorithm is a hybrid of the classical Murnaghan--Nakayama rule and a new path Murnaghan--Nakayama rule which reflects the decomposition of a partial permutation into paths and cycles.
These results first appeared in arXiv:2206.06567, which is no longer intended for publication. We originally used the character theoretic results in this paper to prove asymptotic results on moments of certain permutation statistics restricted to conjugacy classes. A referee generously shared a combinatorial argument which is strong enough to prove these results without recourse to character theory. These results now appear in our companion paper~\cite{HRMoment}. However, the approach in this paper is more explicit, as we demonstrate with several examples.
Simplicial complexes, stellar moves, and projective amalgamation
We explore connections between stellar moves on simplicial complexes (these are fundamental operations of combinatorial topology) and projective Fra{ï}ss{é} limits (this is a model theoretic construction with topological applications).
We identify a class of simplicial maps that arise from the stellar moves of welding and subdividing. We call these maps weld-division maps. The core of the paper is the proof that the category of weld-division maps fulfills the projective amalgamation property. This gives an example of an amalgamation class that substantially differs from known classes.
The weld-division amalgamation class naturally gives rise to a projective Fra{ï}ss{é} class. We compute the canonical limit of this projective Fra{ï}ss{é} class and its canonical quotient space. This computation gives a combinatorial description of the geometric realization of a simplicial complex and an example of a combinatorially defined projective Fra{ï}ss{é} class whose canonical quotient space has topological dimension strictly bigger than $1$.
The method of proof of the amalgamation theorem is new. It is not geometric or topological, but rather it consists of combinatorial calculations performed on finite sequences of finite sets and functions among such sequences. Set theoretic nature of the entries of the sequences is crucial to the arguments.
Decomposition results for multiplicative actions and applications
Motivated by partition regularity problems of homogeneous quadratic equations, we prove multiple recurrence and convergence results for multiplicative measure preserving actions with iterates given by rational sequences involving polynomials that factor into products of linear forms in two variables. We focus mainly on actions that are finitely generated, and the key tool in our analysis is a decomposition result for any bounded measurable function into a sum of two components, one that mimics concentration properties of pretentious multiplicative functions and another that mimics vanishing properties of aperiodic multiplicative functions. Crucial to part of our arguments are some new seminorms that are defined by a mixture of addition and multiplication of the iterates of the action, and we prove an inverse theorem that explicitly characterizes the factor of the system on which these seminorms vanish.
On Log-Concave Operator Acting on Sequences and Series
In this paper, we investigate the properties of sequences and series under the action of the log-concave operator \(\mathcal{L}\). We explore the relationship between the convergence of a sequence \((a_k)\) and the convergence of sequences and series derived by applying \(\mathcal{L}\) iteratively. These results demonstrate the strong regularity properties of log-concave sequences and provide a framework for analyzing the convergence of sequences and series derived from the log-concave operator. The findings have implications for combinatorics, probability, optimization, and related fields, opening new avenues for further research on the behavior of log-concave sequences and their associated operators.
New upper and lower bounds on the smallest singular values of nonsingular lower triangular $(0,1)$-matrices
Let $K_n$ denote the set of all nonsingular $n\times n$ lower triangular $(0,1)$-matrices. Hong and Loewy (2004) introduced the number sequence $$ c_n=\min\{λ\midλ~\text{is an eigenvalue of}~XX^{\rm T},~X\in K_n\},\quad n\in\mathbb Z_+. $$ There have been a number of attempts in the literature to obtain bounds on the numbers $c_n$ by Mattila (2015), Altinisik et al. (2016), Kaarnioja (2021), Loewy (2021), and Altinisik (2021). In this paper, improved upper and lower bounds are derived for the numbers $c_n$. By considering the characteristic polynomial corresponding to the matrix $Z_n$ satisfying $c_n=\|Z_n\|_2^{-1}$, it is shown that the second largest eigenvalue of $Z_n$ is bounded from above by $\frac45$ leading to an improved upper bound on $c_n$. On the other hand, Samuelson's inequality applied to the roots of the characteristic polynomial of $Z_n$ yields an improved lower bound. Numerical experiments demonstrate the quality of the new bounds.
A strengthening of a degree sequence condition for Hamiltonicity in tough graphs
Generalizing Chvátal's classic 1972 result, Hoàng proposed in 1995 the following conjecture, which strengthens Chvátal's result in terms of toughness: Let $t\ge 1$ be a positive integer and $G$ be a $t$-tough graph on $n \ge 3$ vertices with degree sequence $d_1, d_2, \dots, d_n$ in non-increasing order. Suppose for each $i\in [1, \lfloor\frac{n-1}{2} \rfloor]$, if $d_i \le i \text{ and } d_{n-i+t} < n - i $ implies $d_j + d_{n-j+t} \ge n$ for all $j\in [i+1, \lfloor\frac{n-1}{2} \rfloor]$, then $G$ is Hamiltonian. Hoàng verified the conjecture for $t=1$. In this paper, we verfity the conjecture for all $t\ge 4$. Our proof relies on a toughness closure lemma for $t\ge 4$ that we previously established. Additionally, we show that the toughness closure lemma does not hold when $t=1$.
Topological Indices With Degree Sequence $\mathscr{D}$ of Tree
In this paper, we refer to a asymptotic degree sequence as $\mathscr{D}=(d_1,d_2,\dots,d_n)$. The examination of topological indices on trees gives us a general overview through bounds to find the maximum and minimum bounds which reflect the maximum and minimum number of edges incident to every vertex in the graph, Albertson index known as $\sum_{uv\in E(G)}\lvert d_u(G)-d_v(G) \rvert$, Sigma index $σ(G)$ among $\mathscr{D}$ of tree $T$ when $d_n\geqslant \dots \geqslant d_1$. According to the first zegrb we show for a degree sequence of order $n=4$, $\operatorname{irr}(T)=M_1(T)^2-2\sqrt{M_1(T)}+\sum_{i=1}^4\left|x_i-x_{i+1}\right|-(b+c)-1$.
On the determinant of the walk matrix of the rooted product with a path
For an $n$-vertex graph $G$, the walk matrix of $G$, denoted by $W(G)$, is the matrix $[e,A(G)e,\ldots,(A(G))^{n-1}e]$, where $A(G)$ is the adjacency matrix of $G$ and $e$ is the all-ones vector. For two integers $m$ and $\ell$ with $1\le \ell\le (m+1)/2$, let $G\circ P_m^{(\ell)}$ be the rooted product of $G$ and the path $P_m$ taking the $\ell$-th vertex of $P_m$ as the root, i.e., $G\circ P_m^{(\ell)}$ is a graph obtained from $G$ and $n$ copies of the path $P_m$ by identifying the $i$-th vertex of $G$ with the $\ell$-th vertex (the root vertex) of the $i$-th copy of $P_m$ for each $i$. We prove that, $\det W(G\circ P_m^{(\ell)})$ equals $\pm (\det A(G))^{\lfloor\frac{m}{2}\rfloor}(\det W(G))^m$ if $\gcd(\ell,m+1)=1$, and equals 0 otherwise. This extends a recent result established in [Wang et al. Linear Multilinear Algebra 72 (2024): 828--840] which corresponds to the special case $\ell=1$. As a direct application, we prove that if $G$ satisfies $\det A(G)=\pm 1$ and $\det W(G)=\pm 2^{\lfloor n/2\rfloor}$, then for any sequence of integer pairs $(m_i,\ell_i)$ with $\gcd(\ell_i,m_i+1)=1$ for each $i$, all the graphs in the family \begin{equation*}
G\circ P_{m_1}^{(\ell_1)}, (G\circ P_{m_1}^{(\ell_1)})\circ P_{m_2}^{(\ell_2)}, ((G\circ P_{m_1}^{(\ell_1)})\circ P_{m_2}^{(\ell_2)})\circ P_{m_3}^{(\ell_3)},\ldots \end{equation*} are determined by their generalized spectrum.
A new combinatorial interpretation of partial sums of $m$-step Fibonacci numbers
The sequence of partial sums of Fibonacci numbers, beginning with $2$, $4$, $7$, $12$, $20$, $33,\dots$, has several combinatorial interpretations (OEIS A000071). For instance, the $n$-th term in this sequence is the number of length-$n$ binary words that avoid $110$. This paper proves a related but new interpretation: given a length-$3$ binary word -- called the keyword -- we say two length-$n$ binary words are equivalent if one can be obtained from the other by some sequence of substitutions: each substitution replaces an instance of the keyword with its negation, or vice versa. We prove that the number of induced equivalence classes is again the $n$-th term in the aforementioned sequence. When the keyword has length $m+1$ (instead of $3$), the same result holds with $m$-step Fibonacci numbers. What makes this result surprising -- and distinct from the previous interpretation -- is that it does not depend on the keyword, despite the fact that the sizes of the equivalence classes do. On this final point, we prove several results on the structure of equivalence classes, and also pose a variety of open problems.
Universality of the matching number in percolated regular graphs
Fix a sequence of $d$-regular graphs $(G_d)_{d\in \mathbb{N}}$ and denote by $G_{d,p}$ the graph obtained from $G_d$ after edge-percolation with probability $p=c/d$, for a constant $c>0$. We prove a quantitative local convergence of $(G_{d,p})_{d\in \mathbb{N}}$. In combination with results of Bordenave, Lelarge and Salez, it implies that the rescaled matching number of $G_{d,p}$ is asymptotically equivalent to that of the binomial random graph $G(n,c/n)$.
Local algorithms for coplactic switching and evacuation of Young tableaux
Tableau switching is a well studied bijection on pairs of skew Young tableaux which swaps their relative positions. This is achieved by successively sliding the entries of the inner tableaux through the outer one via jeu de taquin (JDT) slides. Tableau coswitching is a similar but coplactic operation, meaning it commutes with any sequence of JDT slides. Coswitching is defined by first performing JDT rectification on the union of the tableaux, switching the resulting pair, then unrectifying the union. This definition requires us to perform large scale modifications to the skew shapes during the rectification and unrectification steps, which is both computationally taxing and obscures the effect of coswitching on the pair of skew tableaux. In previous work, Gillespie and Levinson define an algorithm which computes coswitching as a sequence of local moves, which do not alter the skew shapes of the tableaux, when one of the tableaux is a single box.
In this paper, we extend the results of Gillespie and Levinson (and Gillespie, Levinson, and Purbhoo for type B) to the case the two skew tableaux are of arbitrary size. We also describe multiple bijections on tableaux, each descending to the evacuation shuffling (esh) operation on pairs of dual equivalence classes. We show how special cases of our local algorithm compute the Schützenberger involution on skew tableaux, as well as the wall-crossing and monodromy of certain covering spaces of the moduli space $\overline{M}_{0, r}(\mathbb{R})$.
Vector encoding of phylogenetic trees by ordered leaf attachment
As part of work to connect phylogenetics with machine learning, there has been considerable recent interest in vector encodings of phylogenetic trees. We present a simple new "ordered leaf attachment" (OLA) method for uniquely encoding a binary, rooted phylogenetic tree topology as an integer vector. OLA encoding and decoding take linear time in the number of leaf nodes, and the set of vectors corresponding to trees is a simply-described subset of integer sequences. The OLA encoding is unique compared to other existing encodings in having these properties. The integer vector encoding induces a distance on the set of trees, and we investigate this distance in relation to the NNI and SPR distances.
Continuity for Limit Profiles of Reversible Markov Chains
We prove that the limit profile of a sequence of reversible Markov chains exhibiting total variation cutoff is a continuous function, under a computable condition involving the spectrum of the transition matrix and the cutoff window.
Edge isoperimetry of lattices
We present two results related to an edge-isoperimetric question for Cayley graphs on the integer lattice asked by Ben Barber and Joshua Erde [Isoperimetry of Integer Lattices, Discrete Analysis 7 (2018)]. For any (undirected) graph $G$, the edge boundary of a subset of vertices $S$ is the number of edges between $S$ and its complement in $G$. Barber and Erde asked whether for any Cayley graph on $\mathbb{Z}^d$, there is always an ordering of $\mathbb{Z}^d$ such that for each $n$, the first $n$ terms minimize the edge boundary among all subsets of size $n$.
First, we present an example of a Cayley graph $G_d$ on $\mathbb{Z}^d$ (for all $d\geq 2$) for which there is no such ordering. Furthermore, we show that for all $n$ and any optimal $n$-vertex subset $S_n$ of $G_d$, there is no infinite sequence $S_n\subset S_{n+1}\subset S_{n+2}\subset\cdots$ of optimal sets $S_i$, where $|S_i|=i$ for $i\geq n$. This is to be contrasted with the positive result in $\mathbb{Z}^1$ shown by Joseph Briggs and Chris Wells [arXiv:2402.14087].
Our second result is a positive example for the unit-length triangular lattice (which is isomorphic to $\mathbb{Z}^2$) where two vertices are connected by an edge if their distance is $1$ or $\sqrt{3}$. We show that this graph has such an ordering. This is the most complicated example known to us of a two-dimensional Cayley graph for which an ordering exists.
Sorting permutations using a pop stack with a bypass
We introduce a new sorting device for permutations which makes use of a pop stack augmented with a bypass operation. This results in a sorting machine, which is more powerful than the usual Popstacksort algorithm and seems to have never been investigated previously. In the present paper, we give a characterization of sortable permutations in terms of forbidden patterns and reinterpret the resulting enumerating sequence using a class of restricted Motzkin paths. Moreover, we describe an algorithm to compute the set of all preimages of a given permutation, thanks to which we characterize permutations having a small number of preimages. Finally, we provide a full description of the preimages of principal classes of permutations, and we discuss the device consisting of two pop stacks in parallel, again with a bypass operation.
Ghost Kohnert posets
Recently, Pan and Yu showed that Lascoux polynomials can be defined in terms of certain collections of diagrams consisting of unit cells arranged in the first quadrant. Starting from certain initial diagrams, one forms a finite set of diagrams by applying two types of moves: Kohnert and ghost moves. Both moves cause at most one cell to move to a lower row with ghost moves leaving a new "ghost cell" in its place. Each diagram formed in this way defines a monomial in the associated Lascoux polynomial. Restricting attention to diagrams formed by applying sequences of only Kohnert moves in the definition of Lascoux polynomials, one obtains the family of key polynomials. Recent articles have considered a poset structure on the collections of diagrams formed when one uses only Kohnert moves. In general, these posets are not "well-behaved," not usually having desirable poset properties. Here, as an intermediate step to studying the analogous posets associated with Lascoux polynomials, we consider the posets formed by restricting attention to those diagrams formed by using only ghost moves. Unlike in the case of Kohnert posets, we show that such "ghost Kohnert posets" are always ranked join semi-lattices. In addition, we establish a necessary condition for when ghost Kohnert posets are bounded and, consequently, lattices.
Symmetric matrices defined by plane vector sequences
Motivated by a work of Fu-So-Song, we associate a symmetric matrix $A$ to a plane vector sequence $v$ and give a formula to find the signature of $A$ in terms of the sequence $v$. When $A$ is nonsingular, we interpret the relation between $A$ and $A^{-1}$ from a topological viewpoint. Finally, we associate an omnioriented quasitoric orbifold $X$ of real dimension four to the sequence $v$ and show that $A^{-1}$ is the intersection matrix of the characteristic suborbifolds of $X$.
Minimum size of insertion/deletion/substitution balls
Let $n,q,t,s,p$ be non-negative integers where $n\geq s$ and $q\geq 1$. For $\mathbf{x}\in A_{q}^{n}\triangleq\{ 0,1,\ldots,q-1 \}^{n}$, let the $t$-insertion $s$-deletion $p$-substitution ball of $\mathbf{x}$, denoted by $\mathcal{B}_{t,s,p}(\mathbf{x})$, be the set of sequences in $A_{q}^{n+t-s}$ which can be obtained from $\mathbf{x}$ by performing $t$ insertions, $s$ deletions, and at most $p$ substitutions. We establish that for any $\mathbf{x}\in A_{q}^{n}$, $|\mathcal{B}_{t,s,p}(\mathbf{x})|\geq\sum_{i=0}^{t+p}\binom{n+t-s}{i}(q-1)^{i}$, with equality holding if and only if $t=s=0\vee s=p=0\vee s+p\geq n\vee r(\mathbf{x})=1$. Here, $r(\mathbf{x})$ denotes the number of runs in $\mathbf{x}$, and a run in $\mathbf{x}$ is a maximum continuous subsequence of identical symbols.
Eulerian magnitude homology: diagonality, injective words, and regular path homology
In this paper we explore the algebraic structure and combinatorial properties of eulerian magnitude homology. First, we analyze the diagonality conditions of eulerian magnitude homology, providing a characterization of complete graphs. Then, we construct the regular magnitude-path spectral sequence as the spectral sequence of the (filtered) injective nerve of the reachability category, and explore its consequences. Among others, we show that such spectral sequence converges to the complex of injective words on a digraph, and yields characterization results for the regular path homology of diagonal directed graphs.
Moment conditions for the asymptotic completeness of iid gap sequences
We study conditions under which integer sequences with independent, identically distributed gaps are asymptotically $k$-complete, meaning that every sufficiently large integer can be represented as the sum of exactly $k$ distinct elements of the sequence, or equivalently whether $k$-fold sumsets with distinct entries from such sequences generate all sufficiently large integers. Prior results established asymptotic completeness under strong conditions on the gap distribution involving the moment generating function. Leveraging renewal theory our main result shows that asymptotic $2$-completeness holds almost surely under the much weaker assumption of a finite second moment. Furthermore, using Schnirelmann densities and Mann's theorem we show weak asymptotic $k$-completeness under only a finite first moment condition, albeit with an upper bound on the first moment.