sequence
6845 papers tagged with this keyword
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.
Small doublings in abelian groups of prime power torsion
Let $A$ be a subset of $G$, where $G$ is a finite abelian group of torsion $r$. It was conjectured by Ruzsa that if $|A+A|\leq K|A|$, then $A$ is contained in a coset of $G$ of size at most $r^{CK}|A|$ for some constant $C$. The case $r=2$ received considerable attention in a sequence of papers, and was resolved by Green and Tao. Recently, Even-Zohar and Lovett settled the case when $r$ is a prime. In this paper, we confirm the conjecture when $r$ is a power of prime. In particular, the bound we obtain is tight.
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.
Hypergraphic Degree Sequences are Hard
Published in Bulletin of the European Association for Theoretical Computer Science, 127:63-64, 2019
• Search Publication
We show that deciding if a given vector is the degree sequence of a 3-hypergraph is NP-complete.
Efficient and Explicit Balanced Primer Codes
To equip DNA-based data storage with random-access capabilities, Yazdi et al. (2018) prepended DNA strands with specially chosen address sequences called primers and provided certain design criteria for these primers. We provide explicit constructions of error-correcting codes that are suitable as primer addresses and equip these constructions with efficient encoding algorithms.
Specifically, our constructions take cyclic or linear codes as inputs and produce sets of primers with similar error-correcting capabilities. Using certain classes of BCH codes, we obtain infinite families of primer sets of length $n$, minimum distance $d$ with $(d + 1) \log_4 n + O(1)$ redundant symbols. Our techniques involve reversible cyclic codes (1964), an encoding method of Tavares et al. (1971) and Knuth's balancing technique (1986). In our investigation, we also construct efficient and explicit binary balanced error-correcting codes and codes for DNA computing.
On the third-order Horadam and geometric mean sequences
Published in Indian J Pure Appl Math 51, 1133-1142 (2020)
• View Publication
• BIB
This paper, in considering aspects of the geometric mean sequence, offers new results connecting generalized Tribonacci and third-order Horadam numbers which are established and then proved independently.
Compositions with restricted parts
Euler showed that the number of partitions of $n$ into distinct parts equals the number of partitions of $n$ into odd parts. This theorem was generalized by Glaisher and further by Franklin. Recently, Beck made three conjectures on partitions with restricted parts, which were confirmed analytically by Andrews and Chern and combinatorially by Yang.
Analogous to Euler's partition theorem, it is known that the number of compositions of $n$ with odd parts equals the number of compositions of $n+1$ with parts greater than one, as both numbers equal the Fibonacci number $F_n$. Recently, Sills provided a bijective proof for this result using binary sequences, and Munagi proved a generalization similar to Glaisher's result using the zigzag graphs of compositions. Extending Sills' bijection, we obtain a further generalizaiton which is analogous to Franklin's result. We establish, both analytically and combinatorially, two closed formulas for the number of compositions with restricted parts appearing in our generalization. We also prove some composition analogues for the conjectures of Beck.
On the third-order Horadam matrix sequences
In this paper, we first give new generalizations for third-order Horadam $\{H_{n}^{(3)}\}_{n\in \mathbb{N}}$ and generalized Tribonacci $\{h_{n}^{(3)}\}_{n\in \mathbb{N}}$ sequences for classic Horadam and generalized Fibonacci numbers. Considering these sequences, we define the matrix sequences which have elements of $\{H_{n}^{(3)}\}_{n\in \mathbb{N}}$ and $\{h_{n}^{(3)}\}_{n\in \mathbb{N}}$. Then we investigate their properties.
Equivalence of OEIS A007729 and A174868
We verify the conjecture that the sixth binary partition function is equal (aside from the initial zero term) to the partial sums of the Stern-Brocot sequence.
Replica Symmetry in Upper Tails of Mean-Field Hypergraphs
Given a sequence of $s$-uniform hypergraphs $\{H_n\}_{n \geq 1}$, denote by $T_p(H_n)$ the number of edges in the random induced hypergraph obtained by including every vertex in $H_n$ independently with probability $p \in (0, 1)$. Recent advances in the large deviations of low complexity non-linear functions of independent Bernoulli variables can be used to show that tail probabilities of $T_p(H_n)$ are precisely approximated by the so-called 'mean-field' variational problem, under certain assumptions on the sequence $\{H_n\}_{n \geq 1}$. In this paper, we study properties of this variational problem for the upper tail of $T_p(H_n)$, assuming that the mean-field approximation holds. In particular, we show that the variational problem has a universal replica symmetric phase (where it is uniquely minimized by a constant function), for any sequence of regular $s$-uniform hypergraphs, which depends only on $s$. We also analyze the associated variational problem for the related problem of estimating subgraph frequencies in a converging sequence of dense graphs. Here, the variational problems themselves have a limit which can be expressed in terms of the limiting graphon.
Reconciling Event-Labeled Gene Trees with MUL-trees and Species Networks
Phylogenomics commonly aims to construct evolutionary trees from genomic sequence information. One way to approach this problem is to first estimate event-labeled gene trees (i.e., rooted trees whose non-leaf vertices are labeled by speciation or gene duplication events), and to then look for a species tree which can be reconciled with this tree through a \emph{reconciliation map} between the trees. In practice, however, it can happen that there is no such map from a given event-labeled tree to \emph{any} species tree. An important situation where this might arise is where the species evolution is better represented by a \emph{network} instead of a tree. In this paper, we therefore consider the problem of reconciling event-labeled trees with species networks. In particular, we prove that any event-labeled gene tree can be reconciled with some network and that, under certain mild assumptions on the gene tree, the network can even be assumed to be multi-arc free. To prove this result, we show that we can always reconcile the gene tree with some multi-labeled (MUL-)tree, which can then be "folded up" to produce the desired reconciliation and network. In addition, we study the interplay between reconciliation maps from event-labeled gene trees to MUL-trees and networks. Our results could be useful for understanding how genomes have evolved after undergoing complex evolutionary events such as polyploidy.
A note on spanning trees with a specified degree sequence
Published in Bol Soc Mat Mex 26 (2020) 241 - 245
• View Publication
• BIB
We give an Ore-Type condition sufficient for a graph G to have a spanning tree with a specified degree sequence.