sequence
7073 papers tagged with this keyword
A note on some conjectures about combinatorial models for RNA secondary structures
We resolve two conjectures of Black-Drellich-Tymoczko about the numbers of valid plane trees for given primary sequences.
Ulam-Warburton Automaton - Counting Cells with Quadratics
This paper is about a sequence of quadratic functions that enumerate the total number of ON cells up to and including generation $n$ of the Ulam-Warburton cellular automaton, where $n$ has the form $n_m=m\cdot2^k$
Pairs of a tree and a nontree graph with the same status sequence
The status of a vertex $x$ in a graph is the sum of the distances between $x$ and all other vertices. Let $G$ be a connected graph. The status sequence of $G$ is the list of the statuses of all vertices arranged in nondecreasing order. $G$ is called status injective if all the statuses of its vertices are distinct. Let $G$ be a member of a family of graphs $\mathscr{F}$ and let the status sequence of $G$ be $s.$ $G$ is said to be status unique in $\mathscr{F}$ if $G$ is the unique graph in $\mathscr{F}$ whose status sequence is $s.$ In 2011, J.L. Shang and C. Lin posed the following two conjectures. Conjecture 1: A tree and a nontree graph cannot have the same status sequence. Conjecture 2: Any status injective tree is status unique in all connected graphs. We settle these two conjectures negatively. For every integer $n\ge 10,$ we construct a tree $T_n$ and a unicyclic graph $U_n,$ both of order $n,$ with the following two properties: (1) $T_n$ and $U_n$ have the same status sequence; (2) for $n\ge 15,$ if $n$ is congruent to $3$ modulo $4$ then $T_n$ is status injective and among any four consecutive even orders, there is at least one order $n$ such that $T_n$ is status injective.
Hamiltonicity in random directed graphs is born resilient
Published in Combinator. Probab. Comp. 29 (2020) 900-942
• View Publication
• BIB
Let $\{D_M\}_{M\geq 0}$ be the $n$-vertex random directed graph process, where $D_0$ is the empty directed graph on $n$ vertices, and subsequent directed graphs in the sequence are obtained by the addition of a new directed edge uniformly at random. For each $\varepsilon>0$, we show that, almost surely, any directed graph $D_M$ with minimum in- and out-degree at least 1 is not only Hamiltonian (as shown by Frieze), but remains Hamiltonian when edges are removed, as long as at most $(1/2-\varepsilon)$ of both the in- and out-edges incident to each vertex are removed. We say such a directed graph is $(1/2-\varepsilon)$-resiliently Hamiltonian. Furthermore, for each $\varepsilon>0$, we show that, almost surely, each directed graph $D_M$ in the sequence is not $(1/2+\varepsilon)$-resiliently Hamiltonian.
This improves a result of Ferber, Nenadov, Noever, Peter and Škorić, who showed, for each $\varepsilon>0$, that the binomial random directed graph $D(n,p)$ is almost surely $(1/2-\varepsilon)$-resiliently Hamiltonian if $p=ω(\log^8n/n)$.
Random graphs with given vertex degrees and switchings
Random graphs with a given degree sequence are often constructed using the configuration model, which yields a random multigraph. We may adjust this multigraph by a sequence of switchings, eventually yielding a simple graph. We show that, assuming essentially a bounded second moment of the degree distribution, this construction with the simplest types of switchings yields a simple random graph with an almost uniform distribution, in the sense that the total variation distance is $o(1)$. This construction can be used to transfer results on distributional convergence from the configuration model multigraph to the uniform random simple graph with the given vertex degrees. As examples, we give a few applications to asymptotic normality. We show also a weaker result yielding contiguity when the maximum degree is too large for the main theorem to hold.
Coordinate deletion of zeroes
For a family $A\subseteq\left\{ 0,\dots,k\right\} ^{n}$, define the $δ$-shadow of $A$ to be the set obtained from $A$ by removing from any of its vectors one coordinate that equals zero. Given the size of $A$, how should we choose $A$ to minimise its $δ$-shadow? Our aim in this paper is to show that, for any $r$, the family of all sequences with at most $r$ zeros has minimal $δ$-shadow. We actually give the exact best $A$ for every size.
Graphs with a unique maximum open packing
A set $S$ of vertices in a graph is an open packing if (open) neighborhoods of any two distinct vertices in $S$ are disjoint. In this paper, we consider the graphs that have a unique maximum open packing. We characterize the trees with this property by using four local operations such that any nontrivial tree with a unique maximum open packing can be obtained by a sequence of these operations starting from $P_2$. We also prove that the decision version of the open packing number is NP-complete even when restricted to graphs of girth at least $6$. Finally, we show that the recognition of the graphs with a unique maximum open packing is polynomially equivalent to the recognition of the graphs with a unique maximum independent set, and we prove that the complexity of both problems is not polynomial, unless P=NP.
Subspace arrangements, graph rigidity and derandomization through submodular optimization
This paper presents a deterministic, strongly polynomial time algorithm for computing the matrix rank for a class of symbolic matrices (whose entries are polynomials over a field). This class was introduced, in a different language, by Lovász [Lov] in his study of flats in matroids, and proved a duality theorem putting this problem in $NP \cap coNP$. As such, our result is another demonstration where ``good characterization'' in the sense of Edmonds leads to an efficient algorithm. In a different paper Lovász [Lov79] proved that all such symbolic rank problems have efficient probabilistic algorithms, namely are in $BPP$. As such, our algorithm may be interpreted as a derandomization result, in the long sequence special cases of the PIT (Polynomial Identity Testing) problem. Finally, Lovász and Yemini [LoYe] showed how the same problem generalizes the graph rigidity problem in two dimensions. As such, our algorithm may be seen as a generalization of the well-known deterministic algorithm for the latter problem.
There are two somewhat unusual technical features in this paper. The first is the translation of Lovász' flats problem into a symbolic rank one. The second is the use of submodular optimization for derandomization. We hope that the tools developed for both will be useful for related problems, in particular for better understanding of graph rigidity in higher dimensions.
Hamilton cycles and perfect matchings in the KPKVB model
In this paper we consider the existence of Hamilton cycles and perfect matchings in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution, "short distances" and a strictly positive clustering coefficient. The model is specified using three parameters: the number of nodes $n$, which we think of as going to infinity, and $α, ν> 0$, which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree.
Here we show that for every $α< 1/2$ and $ν=ν(α)$ sufficiently small, the model does not contain a perfect matching with high probability, whereas for every $α< 1/2$ and $ν=ν(α)$ sufficiently large, the model contains a Hamilton cycle with high probability.
No-three-in-line problem on a torus: periodicity
Let $τ_{m,n}$ denote the maximal number of points on the discrete torus (discrete toric grid) of sizes $m \times n$ with no three collinear points. The value $τ_{m,n}$ is known for the case where $\gcd(m,n)$ is prime. It is also known that $τ_{m,n} \leq 2\gcd(m,n)$.
In this paper we generalize some of the known tools for determining $τ_{m,n}$ and also show some new. Using these tools we prove that the sequence $(τ_{z,n})_{n \in \mathbb{N}}$ is periodic for all fixed $z > 1$. In general, we do not know the period; however, if $z = p^a$ for $p$ prime, then we can bound it. We prove that $τ_{p^a,p^{(a-1)p+2}} = 2p^a$ which implies that the period for the sequence is $p^b$ where $b$ is at most $(a-1)p+2$.
Peano partial cubes
Peano partial cubes are the bipartite graphs whose geodesic interval spaces are (closed) join spaces. They are the partial cubes all of whose finite convex subgraphs have a pre-hull number which is at most 1. Special Peano partial cubes are median graphs, cellular bipartite graphs and netlike partial cubes. Analogous properties of these graphs are satisfied by Peano partial cubes. In particular the convex hull of any isometric cycle of such a graph is a gated quasi-hypertori (i.e., the Cartesian product of copies of K_2 and even cycles). Moreover, for any Peano partial cubes G that contains no isometric rays, there exists a finite qasi-hypertorus which is fixed by all automorphisms of G, and any self-contraction of G fixes some finite quasi-hypertorus. A Peano partial cube G is called a hyper-median partial cube if any triple of vertices of has either a median or a hyper-median, that is, a quasi-median whose convex-hull induces a hypertorus (i.e., the Cartesian product of even cycles such that at least one of them has length greater than 4). These graphs have several properties similar to that of median graphs. In particular a graph is a hyper-median partial cube if and only if all its finite convex subgraphs are obtained by successive gated amalgamations from finite quasi-hypertori. Also a finite graph is a hyper-median partial cube if and only if it can be obtained from K_1 by a sequence of special expansions. The class of Peano partial cubes and that of hyper-median partial cubes are closed under convex subgraphs, retracts, Cartesian products and gated amalgamations. We study two convex invariants: the Helly number of a Peano partial cube, and the depth of a hyper-median partial cube that contains no isometric rays. Finally, for a finite Peano partial cube G, we prove an Euler-type formula, and a similar formula giving the isometric dimension of G.
Most principal permutation classes have nonrational generating functions
We prove that for any fixed $n$, and for most permutation patterns $q$, the number $\textup{Av}_{n,\ell}(q)$ of $q$-avoiding permutations of length $n$ that consist of $\ell$ skew blocks is a monotone decreasing function of $\ell$. We then show that this implies that for most patterns $q$, the generating function $\sum_{n\geq 0} \textup{Av}_n(q)z^n$ of the sequence $\textup{Av}_n(q)$ of the numbers of $q$-avoiding permutations is not rational. Placing our results in a broader context, we show that for rational power series $F(z)$ and $G(z)$ with nonnegative real coefficients, the relation $F(z)=1/(1-G(z))$ is supercritical, while for most permutation patterns $q$, the corresponding relation is not supercritical.
In How many ways can I carry a total of n coins in my two pockets, and have the same amount in both pockets?
In Gert Almkvist's beautiful article, entitled "Invariants, mostly old ones", (that appeared in the Pacific Journal of Mathematics, vol. 86 (1980), pp. 1-13) he talked about a sequence of generating functions that came up in his work, that turned out to be the same as generating functions for the number of covariants of binary quadratic forms studied by Faa de Bruno, Cayley, Sylvester, and other 19th century savantes. Using a very simple-minded Maple program (that uses the partial-fraction decomposition of a rational function), we recompute them, and go all the way to degree 18. It turns out that the same method can be used to answer many other enumeration questions, including the one in the title.
Degree sequence of the generalized Sierpinski graph
We determine the degree sequence of the generalized Sierpinski graph and its general first Zagreb index in terms of the same parameters of the base graph G.
Independent set and matching permutations
Let $G$ be a graph $G$ whose largest independent set has size $m$. A permutation $π$ of $\{1, \ldots, m\}$ is an {\em independent set permutation} of $G$ if $$ a_{π(1)}(G) \leq a_{π(2)}(G) \leq \cdots \leq a_{π(m)}(G) $$ where $a_k(G)$ is the number of independent sets of size $k$ in $G$. In 1987 Alavi, Malde, Schwenk and Erdős proved that every permutation of $\{1, \ldots, m\}$ is an independent set permutation of some graph with $α(G)=m$, i.e. with largest independent set having size $m$. They raised the question of determining, for each $m$, the smallest number $f(m)$ such that every permutation of $\{1, \ldots, m\}$ is an independent set permutation of some graph with $α(G)=m$ and with at most $f(m)$ vertices, and they gave an upper bound on $f(m)$ of roughly $m^{2m}$. Here we settle the question, determining $f(m)=m^m$, and make progress on a related question, that of determining the smallest order such that every permutation of $\{1, \ldots, m\}$ is the {\em unique} independent set permutation of some graph of at most that order. More generally we consider an extension of independent set permutations to weak orders, and extend Alavi et al.'s main result to show that every weak order on $\{1, \ldots, m\}$ can be realized by the independent set sequence of some graph with $α(G)=m$ and with at most $m^{m+2}$ vertices.
Alavi et al. also considered {\em matching permutations}, defined analogously to independent set permutations. They observed that not every permutation of $\{1,\ldots,m\}$ is a matching permutation of some graph with largest matching having size $m$, putting an upper bound of $2^{m-1}$ on the number of matching permutations of $\{1,\ldots,m\}$. Confirming their speculation that this upper bound is not tight, we improve it to $O(2^m/\sqrt{m})$.
Proof of a conjecture of Stanley about Stern's array
Stanley, building on work of Stern, defined an array of numbers by the recurrence $s(n, 2k) = s(n-1, k)$, $s(n, 2k+1) = s(n-1, k) + s(n-1, k+1)$. Stanley showed that, for each positive integer $r$, the sequence $s_n^r:= \sum_k s(n,k)^r$ obeys a homogeneous linear recurrence in $n$ of length $r/2+O(1)$. Numerical evidence, however, suggested that $s_n^r$ obeys shorter recurrences, of length $r/3+O(1)$. We prove Stanley's conjecture.
From Schritte and Wechsel to Coxeter Groups
Published in Mathematics and Computation in Music. MCM 2019. Lecture Notes in Computer Science 11502, 113-124
• View Publication
• BIB
The PLR-moves of neo-Riemannian theory, when considered as reflections on the edges of an equilateral triangle, define the Coxeter group $\widetilde S_3$. The elements are in a natural one-to-one correspondence with the triangles in the infinite Tonnetz. The left action of $\widetilde S_3$ on the Tonnetz gives rise to interesting chord sequences. We compare the system of transformations in $\widetilde S_3$ with the system of Schritte and Wechsel introduced by Hugo Riemann in 1880. Finally, we consider the point reflection group as it captures well the transition from Riemann's infinite Tonnetz to the finite Tonnetz of neo-Riemannian theory.
M-Ambiguity Sequences for Parikh Matrices and Their Periodicity Revisited
The introduction of Parikh matrices by Mateescu et al. in 2001 has sparked numerous new investigations in the theory of formal languages by various researchers, among whom is Serbanuta. Recently, a decade-old conjecture by Serbanuta on the M-ambiguity of words was disproved, leading to new possibilities in the study of such words. In this paper, we investigate how selective repeated duplications of letters in a word affect the M-ambiguity of the resulting words. The corresponding M-ambiguity of those words are then presented in sequences, which we term as M-ambiguity sequences. We show that nearly all patterns of M-ambiguity sequences are attainable. Finally, by employing certain algebraic approach and some underlying theory in integer programming, we show that repeated periodic duplications of letters of the same type in a word results in an M-ambiguity sequence that is eventually periodic.
On minimal product-one sequences of maximal length over Dihedral and Dicyclic groups
Published in Commun. Korean Math. Soc. (2019)
• Search Publication
Let $G$ be a finite group. By a sequence over $G$, we mean a finite unordered sequence of terms from $G$, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered such that their product equals the identity element of $G$. The large Davenport constant $\mathsf D (G)$ is the maximal length of a minimal product-one sequence, that is, a product-one sequence which cannot be factored into two non-trivial product-one subsequences. We provide explicit characterizations of all minimal product-one sequences of length $\mathsf D (G)$ over Dihedral and Dicyclic groups. Based on these characterizations we study the unions of sets of lengths of the monoid of product-one sequences over these groups.
A Basic Structure for Grids in Surfaces
A graph $G$ embedded in a surface $S$ is called an $S$-grid when every facial boundary walk has length four, that is, the topological dual graph of $G$ in $S$ is 4-regular. Aside from the case where $S$ is the torus or Klein bottle, an $S$-grid must have vertices of degrees other than four. Let the sequence of degrees other than four in $G$ be called the curvature sequence of $G$. We give a succinct characterization of $S$-grids with nonempty curvature sequence $L$ in terms of graphs that have degree sequence $L$ and are immersed in a certain way in $S$; furthermore, the immersion associated with the $S$-grid $G$ is unique and so our characterization of $S$-grids also partitions the collection of all $S$-grids.