sequence
6845 papers tagged with this keyword
$τ$-exceptional sequences and the shard intersection order in type A
Reading's "shard intersection order" on the symmetric group can be realized as the "lattice of wide subcategories" of the corresponding preprojective algebra. In this paper, we first use Bancroft's combinatorial model for the shard intersection order to associate a unique shard to each downward cover relation. We then show that, under the correspondence with wide subcategories, this process coincides with Jasso's "$τ$-tilting reduction". In particular, this yields a combinatorial model for this algebras's $τ$-exceptional sequences" (defined by Buan and Marsh). We formulate this model using the combinatorics of arc diagrams. Finally, we use our model to give a new representation-theoretic proof that the shard intersection order is EL-shellable in type A.
Identifiability of the Rooted Tree Parameter under the Cavender-Farris-Neyman Model with a Molecular Clock
Identifiability of the discrete tree parameter is a key property for phylogenetic models since it is necessary for statistically consistent estimation of the tree from sequence data. Algebraic methods have proven to be very effective at showing that tree and network parameters of phylogenetic models are identifiable, especially when the underlying models are group-based. However, since group-based models are time-reversible, only the unrooted tree topology is identifiable and the location of the root is not. In this note we show that the rooted tree parameter of the Cavender-Farris-Neyman Model with a Molecular Clock is generically identifiable by using the invariants of the model which were characterized by Coons and Sullivant.
On a barrier height problem for RNA branching
The branching of an RNA molecule is an important structural characteristic yet difficult to predict correctly, especially for longer sequences. Using plane trees as a combinatorial model for RNA folding, we consider the thermodynamic cost, known as the barrier height, of transitioning between branching configurations. Using branching skew as a coarse energy approximation, we characterize various types of paths in the discrete configuration landscape. In particular, we give sufficient conditions for a path to have both minimal length and minimal branching skew. The proofs offer some biological insights, notably the potential importance of both hairpin stability and domain architecture to higher resolution RNA barrier height analyses.
Sturmian and infinitely desubstitutable words accepted by an ω-automaton
Given an $ω$-automaton and a set of substitutions, we look at which accepted words can also be defined through these substitutions, and in particular if there is at least one. We introduce a method using desubstitution of $ω$-automata to describe the structure of preimages of accepted words under arbitrary sequences of homomorphisms: this takes the form of a meta-$ω$-automaton.
We decide the existence of an accepted purely substitutive word, as well as the existence of an accepted fixed point. In the case of multiple substitutions (non-erasing homomorphisms), we decide the existence of an accepted infinitely desubstitutable word, with possibly some constraints on the sequence of substitutions e.g. Sturmian words or Arnoux-Rauzy words). As an application, we decide when a set of finite words codes e.g. a Sturmian word. As another application, we also show that if an $ω$-automaton accepts a Sturmian word, it accepts the image of the full shift under some Sturmian morphism.
Partitions enumerated by self-similar sequences
The Fibonacci numbers are the prototypical example of a recursive sequence, but grow too quickly to enumerate sets of integer partitions. The same is true for the other classical sequences $a(n)$ defined by Fibonacci-like recursions: the tribonacci, Padovan, Pell, Narayana's cows, and Lucas sequences. For each sequence $a(n)$, however, we can define a related sequence $\textrm{sa}(n)$ by defining $\textrm{sa}(n)$ to have the same recurrence and initial conditions as $a(n)$, except that $\textrm{sa}(2n)=\textrm{sa}(n)$. Growth is no longer a problem: for each $n$ we construct recursively a set $\mathcal{SA}(n)$ of partitions of $n$ such that the cardinality of $\mathcal{SA}(n)$ is $\textrm{sa}(n)$. We study the properties of partitions in $\mathcal{SA}(n)$ and in each case we give non-recursive descriptions. We find congruences for $\textrm{sa}(n)$ and also for $\textrm{psa}(n)$, the total number of parts in all partitions in $\mathcal{SA}(n)$.
Realising every colour distribution sequence with a Gallai colouring
An edge colouring of $K_n$ with $k$ colours is a Gallai $k$-colouring if it does not contain any rainbow triangle. Gyárfás, Pálvölgyi, Patkós and Wales proved that there exists a number $g(k)$ such that $n\geq g(k)$ if and only if for any colour distribution sequence $(e_1,\cdots,e_k)$ with $\sum_{i=1}^ke_i=\binom{n}{2}$, there exist a Gallai $k$-colouring of $K_n$ with $e_i$ edges having colour $i$. They also showed that $Ω(k)=g(k)=O(k^2)$ and posed the problem of determining the exact order of magnitude of $g(k)$. Feffer, Fu and Yan improved both bounds significantly by proving $Ω(k^{1.5}/\log k)=g(k)=O(k^{1.5})$. We resolve this problem by showing $g(k)=Θ(k^{1.5}/(\log k)^{0.5})$.
Finding Non-Distance Magic Graphs using neighbourhood chains
Let $G$ be a graph of order $n$ and $N = \{N(u_{i})\}^k_{i=1}$ be a sequence of neighbourhood(nbh)s in $G$ where $N(u)$ = $\{v\in V(G):$ $uv\in E(G)\}$. \emph{Nbh sequence graph $H$ of} $N$ in $G$ is defined as the union of all induced subgraphs of closed nbh $N[u_{i}]$ in $G$, $1 \leq i \leq k$, $k\in\mathbb{N}$. A labeling $f: V(G) \rightarrow \left\{1,2,\ldots,n\right\} $ is called a \emph{Distance Magic Labeling (DML)} of $G$ if ~ ${\sum_{v \in N(u)}} f(v) $ is a constant for every $u\in V(G)$. $G$ is called a \emph{Distance Magic graph (DMG)} if it has a DML, otherwise it is called a \emph{Non-Distance Magic (NDM)} graph. In this paper, we define nbh walk, nbh trial, nbh path or nbh chain, nbh cycle, nbh sequence graph and nbh chains of Type-1 (NC-T1) and Type-2 (NC-T2). NC-T2 is formed on two NC-T1 of same length. We prove that (i) for $k \geq 2$ and $n \geq 3$, cylindrical grid graph $P_{k} \Box C_{n}$ contains NC-T2, $k,n \in \mathbb{N}$; (ii) graph containing NC-T1 of even length is NDM and (iii) partially settle a conjecture that graphs $P_m \Box C_n$ are NDM when $n$ is even, $m \geq 2$, $n \geq 3$ and $m,n\in\mathbb{N}$.
A pipe dream perspective on totally symmetric self-complementary plane partitions
Published in Forum of Mathematics, Sigma. 2024;12:e17
• View Publication
• BIB
We characterize totally symmetric self-complementary plane partitions (TSSCPP) as bounded compatible sequences satisfying a Yamanouchi-like condition. As such, they are in bijection with certain pipe dreams. Using this characterization and the recent bijection of [Gao-Huang] between reduced pipe dreams and reduced bumpless pipe dreams, we give a bijection between alternating sign matrices and TSSCPP in the reduced, 1432-avoiding case. We also give a different bijection in the 1432- and 2143-avoiding case that preserves natural poset structures on the associated pipe dreams and bumpless pipe dreams.
Perfect t-embeddings of uniformly weighted Aztec diamonds and tower graphs
In this work we study a sequence of perfect t-embeddings of uniformly weighted Aztec diamonds. We show that these perfect t-embeddings can be used to prove convergence of gradients of height fluctuations to those of the Gaussian free field. In particular we provide a first proof of the existence of a model satisfying all conditions of the main theorem of arXiv:2109.06272. This confirms the prediction of arXiv:2002.07540. An important part of our proof is to exhibit exact integral formulas for perfect t-embeddings of uniformly weighted Aztec diamonds.
In addition, we construct and analyze perfect t-embeddings of another sequence of uniformly weighted finite graphs called tower graphs. Although we do not check all technical assumptions of the mentioned theorem for these graphs, we use perfect t-embeddings to derive a simple transformation which identifies height fluctuations on the tower graph with those of the Aztec diamond.
Hessenberg-Toeplitz Matrix Determinants with Schroder and Fine Number Entries
In this paper, we find determinant formulas of several Hessenberg-Toeplitz matrices whose nonzero entries are derived from the small and large Schroder and Fine number sequences. Algebraic proofs of these results can be given which make use of Trudi's formula and the generating function of the associated sequence of determinants. We also provide direct arguments of our results that utilize various counting techniques, among them sign-changing involutions, on combinatorial structures related to classes of lattice paths enumerated by the Schroder and Fine numbers. As a consequence of our results, we obtain some new formulas for the Schroder and Catalan numbers as well as for some additional sequences from the OEIS in terms of determinants of certain Hessenberg-Toeplitz matrices.
Efficiently distinguishing all tangles in locally finite graphs
Published in Journal of Combinatorial Theory, Series B Volume 167, July 2024, Pages 189-214
• View Publication
• BIB
While finite graphs have tree-decompositions that efficiently distinguish all their tangles, locally finite graphs with thick ends need not have such tree-decompositions. We show that every locally finite graph without thick ends admits such a tree-decomposition, in fact a canonical one. Our proof exhibits a thick end at any obstruction to the existence of such tree-decompositions and builds on new methods for the analysis of the limit behaviour of strictly increasing sequences of separations.
Rigorous Analytic Combinatorics in Several Variables in SageMath
Published in Séminaire Lotharingiende Combinatoire 89B (2023): Proceedings of the 35th FPSAC Conference, Article #90,12pp
• Search Publication
We introduce the new sage_acsv package for the SageMath computer algebra system, allowing users to rigorously compute asymptotics for a large variety of multivariate sequences with rational generating functions. Using Sage's support for exact computations over the algebraic number field, this package provides the first rigorous implementation of algorithms from the theory of analytic combinatorics in several variables.
Large induced subgraphs of random graphs with given degree sequences
We study a random graph $G$ with given degree sequence $\boldsymbol{d}$, with the aim of characterising the degree sequence of the subgraph induced on a given set $S$ of vertices. For suitable $\boldsymbol{d}$ and $S$, we show that the degree sequence of the subgraph induced on $S$ is essentially concentrated around a sequence that we can deterministically describe in terms of $\boldsymbol{d}$ and $S$. We then give an application of this result, determining a threshold for when this induced subgraph contains a giant component. We also apply a similar analysis to the case where $S$ is chosen by randomly sampling vertices with some probability $p$, i.e. site percolation, and determine a threshold for the existence of a giant component in this model. We consider the case where the density of the subgraph is either constant or slowly going to $0$ as $n$ goes to infinity, and the degree sequence $\boldsymbol{d}$ of the whole graph satisfies a certain maximum degree condition. Analogously, in the percolation model we consider the cases where either $p$ is a constant or where $p \to 0$ slowly. This is similar to work of Fountoulakis in 2007 and Janson in 2009, but we work directly in the random graph model to avoid the limitations of the configuration model that they used.
Non-isomorphic graphs with common degree sequences
For all positive even integers $n$, graphs of order $n$ with degree sequence \begin{equation*} S_{n}:1,2,\dots,n/2,n/2,n/2+1,n/2+2,\dots,n-1 \end{equation*} naturally arose in the study of a labeling problem in \cite{IMO}. This fact motivated the authors of the aforementioned paper to study these sequences and as a result of this study they proved that there is a unique graph of order $n$ realizing $S_{n}$ for every even integer $n$. The main goal of this paper is to generalize this result.
Analytic aspects of generalized central trinomial coefficients
The divisibility and congruence of usual and generalized central trinomial coefficients have been extensively investigated. The present paper is devoted to analytic properties of these numbers. We show that usual central trinomial polynomials $T_n(x)$ have only real roots, and roots of $T_n(x)$ interlace those of $T_{n+1}(x)$, as well as those of $T_{n+2}(x)$, which gives an affirmative answer to a open question of Fisk. We establish necessary and sufficient conditions such that the generalized central trinomial coefficients $T_n(b,c)$ form a log-convex sequence or a Stieltjes moment sequence.
A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)
Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$.
Erdős-Ko-Rado Theorem for Bounded Multisets
Let $ k, m, n $ be positive integers with $ k \geq 2 $. A $ k $-multiset of $ [n]_m $ is a collection of $ k $ integers from the set $ \{1, 2, \ldots, n\} $ in which the integers can appear more than once but at most $ m $ times. A family of such $ k $-multisets is called an intersecting family if every pair of $ k $-multisets from the family have non-empty intersection. A finite sequence of real numbers $\{a_1,a_2,\ldots,a_n\}$ is said to be unimodal if there is some $k\in \{1,2,\ldots,n\}$, such that $a_1\leq a_2\leq\ldots\leq a_{k-1}\leq a_k\geq a_{k+1}\geq \ldots\geq a_n$. Given $m,n,k$, denote $C_{k,l}$ as the coefficient of $x^k$ in the generating function $(\sum_{i=1}^mx^i)^l$, where $1\leq l\leq n$. In this paper, we first show that the sequence of $\{C_{k,1},C_{k,2},\ldots,C_{k,n}\}$ is unimodal. Then we use this as a tool to prove that the intersecting family in which every $ k $-multiset contains a fixed element attains the maximum cardinality for $ n \geq k + \lceil k/m\rceil $. In the special case when $m = 1$ and $m=\infty$, our result gives rise to the famous Erdős-Ko-Rado Theorem and an unbounded multiset version for this problem given by Meagher and Purdy, respectively. The main result in this paper can be viewed as a bounded multiset version of the Erdős-Ko-Rado Theorem.
A definitely periodic chain in the integral Lie ring of partitions
Given an integer $n$, we introduce the integral Lie ring of partitions with bounded maximal part, whose elements are in one-to-one correspondence to integer partitions with parts in $\{1,2,\dots, n-1\}$. Starting from an abelian subring, we recursively define a chain of idealizers and we prove that the sequence of ranks of consecutive terms in the chain is definitely periodic. Moreover, we show that its growth depends of the partial sum of the partial sum of the sequence counting the number of partitions. This work generalizes our previous recent work on the same topic, devoted to the modular case where partitions were allowed to have a bounded number of repetitions of parts in a ring of coefficients of positive characteristic.
Real Analytic Methods in the Formulations of some Combinatorial Inequalities
In this paper, we derive some new combinatorial inequalities by applying well known real analytic results like Hölder's inequality, Young's inequality, and Minkowiski's inequality to the recursively defined sequence $f_n$ of functions
\begin{align*}
f_0(x) & = χ_{(-1/2, 1/2)} (x), \nonumber
f_{n+1}(x) & = f_n(x+1/2)+ f_n(x-1/2), n \in \mathbb{N}\,\cup \,\{0\}. \end{align*}
Towards this goal, we derive the closed form of the aforementioned sequence $ (f_n)_{n\in \mathbb{N}\,\cup \,\{0\}}$ of functions and show that it is a sequence of simple functions that are linear combinations of characteristic functions of some unit intervals $ I_{n,i},\, i=0,1, ..., n $, with values the binomial coefficients $ \binom{n}{i}$ on each unit interval $I_{n,i}$. We show that $ f_n \in L^p(\mathbb{R})),\, 1\leq p \leq \infty $. Besides applying real analytic methods to formulate some combinatorial inequalities, we also illustrate the application of some combinatorial identities. For example, we use the Vandermonde convolution (or Vandermonde identity), in the study of some properties of the sequence of functions $ (f_n)_{n\in\mathbb{ N}\cup \{0\}}$. We show how the $L^2$ norm of $f_n$ is related to the Catalan numbers.
Log-concavity of the Alexander polynomial
The central question of knot theory is that of distinguishing links up to isotopy. The first polynomial invariant of links devised to help answer this question was the Alexander polynomial (1928). Almost a century after its introduction, it still presents us with tantalizing questions such as Fox's conjecture (1962) that the absolute values of the coefficients of the Alexander polynomial $Δ_L(t)$ of an alternating link $L$ are unimodal. Fox's conjecture remains open in general, with special cases settled by Hartley (1979) for two-bridged knots, by Murasugi (1985) for a family of alternating algebraic links, and by Ozsváth and Szabó (2003) for the case of genus $2$ alternating knots, among others.
We settle Fox's conjecture for special alternating links. We do so by proving that a certain multivariate generalization of the Alexander polynomial of special alternating links is Lorentzian. As a consequence, we obtain that the absolute values of the coefficients of $Δ_L(t)$, where $L$ is a special alternating link, form a log-concave sequence with no internal zeros. In particular, they are unimodal.