arXiv++ Combinatorics

Browse math.CO papers from arXiv

sequence

7073 papers tagged with this keyword
Number of unique Edge-magic total labelings on Path $P_n$
Edge-magic total labeling was introduced by \cite{GS}. The number of edge-magic solutions for cycles have been explored in \cite{BS}. This sequence is mentioned in On Line Encyclopedia of Integer Sequences (OEIS) \cite{oeis}. In this short note, we enumerate the number of unique edge-magic total labelings on Path $P_n$
2014-02-07
Framed 4-valent Graph Minor Theory I: Intoduction. A Planarity Criterion and Linkless Embeddability
Published • View Publication • BIB
The present paper is the first one in the sequence of papers about a simple class of {\em framed $4$-graphs}; the goal of the present paper is to collect some well-known results on planarity and to reformulate them in the language of {\em minors}. The goal of the whole sequence is to prove analogues of the Robertson-Seymour-Thomas theorems for framed $4$-graphs: namely, we shall prove that many minor-closed properties are classified by finitely many excluded graphs. From many points of view, framed $4$-graphs are easier to consider than general graphs; on the other hand, framed $4$-graphs are closely related to many problems in graph theory.
2014-02-07
Independent Set Reconfiguration in Cographs
Published • View Publication • BIB
We study the following independent set reconfiguration problem, called TAR-Reachability: given two independent sets $I$ and $J$ of a graph $G$, both of size at least $k$, is it possible to transform $I$ into $J$ by adding and removing vertices one-by-one, while maintaining an independent set of size at least $k$ throughout? This problem is known to be PSPACE-hard in general. For the case that $G$ is a cograph (i.e. $P_4$-free graph) on $n$ vertices, we show that it can be solved in time $O(n^2)$, and that the length of a shortest reconfiguration sequence from $I$ to $J$ is bounded by $4n-2k$, if such a sequence exists. More generally, we show that if $X$ is a graph class for which (i) TAR-Reachability can be solved efficiently, (ii) maximum independent sets can be computed efficiently, and which satisfies a certain additional property, then the problem can be solved efficiently for any graph that can be obtained from a collection of graphs in $X$ using disjoint union and complete join operations. Chordal graphs are given as an example of such a class $X$.
2014-02-04 v2
Pebbling on $C_{4k+3}\times G$ and $M(C_{2n})\times G$
The pebbling number of a graph $G$, $f(G)$, is the least $p$ such that, however $p$ pebbles are placed on the vertices of $G$, we can move a pebble to any vertex by a sequence of moves, each move taking two pebbles off one vertex and placing one on an adjacent vertex. It is conjectured that for all graphs $G$ and $H$, $f(G\times H)\leq f(G)f(H)$. If the graph $G$ satisfies the odd two-pebbling property, we will prove that $f(C_{4k+3}\times G)\leq f(C_{4k+3})f(G)$ and $f(M(C_{2n})\times G)\leq f(M(C_{2n}))f(G)$, where $C_{4k+3}$ is the odd cycle of order $4k+3$ and $M(C_{2n})$ is the middle graph of the even cycle $C_{2n}$.
2014-02-02 v2
Subproduct systems and Cartesian systems; new results on factorial languages and their relations with other areas
Published in Journal of Stochastic Analysis: Vol. 1 : No. 4 , Article 5 (2020) • View Publication • BIB
We point out that a sequence of natural numbers is the dimension sequence of a subproduct system if and only if it is the cardinality sequence of a word system (or factorial language). Determining such sequences is, therefore, reduced to a purely combinatorial problem in the combinatorics of words. A corresponding (and equivalent) result for graded algebras has been known in abstract algebra, but this connection with pure combinatorics has not yet been noticed by the product systems community. We also introduce Cartesian systems, which can be seen either as a set theoretic version of subproduct systems or an abstract version of word systems. Applying this, we provide several new results on the cardinality sequences of word systems and the dimension sequences of subproduct systems.
2014-01-31 v4
On generating functions of Hausdorff moment sequences
Published in Trans. Amer. Math. Soc. 368 (2016) 8499-8518 • View Publication • BIB
The class of generating functions for completely monotone sequences (moments of finite positive measures on $[0,1]$) has an elegant characterization as the class of Pick functions analytic and positive on $(-\infty,1)$. We establish this and another such characterization and develop a variety of consequences. In particular, we characterize generating functions for moments of convex and concave probability distribution functions on $[0,1]$. Also we provide a simple analytic proof that for any real $p$ and $r$ with $p>0$, the Fuss-Catalan or Raney numbers $\frac{r}{pn+r}\binom{pn+r}{n}$, $n=0,1,\ldots$ are the moments of a probability distribution on some interval $[0,τ]$ {if and only if} $p\ge1$ and $p\ge r\ge 0$. The same statement holds for the binomial coefficients $\binom{pn+r-1}n$, $n=0,1,\ldots$. A corrigendum (Trans. Amer. Math.Soc., to appear) has been included as an appendix, correcting gaps in the proof of Lemma 3.
2014-01-31
The golden number and Fibonacci sequences in the design of voting structures
Published in European Journal of Operational Research Vol. 226, Nr. 2 (2013), Pages 246-257 • View Publication • BIB
Some distinguished types of voters, as vetoers, passers or nulls, as well as some others, play a significant role in voting systems because they are either the most powerful or the least powerful voters in the game independently of the measure used to evaluate power. In this paper we are concerned with the design of voting systems with at least one type of these extreme voters and with few types of equivalent voters, with this purpose in mind we enumerate these special classes of games and find out that its number always follows a Fibonacci sequence with smooth polynomial variations. As a consequence we find several families of games with the same asymptotic exponential behavior excepting of a multiplicative factor which is the golden number or its square. From a more general point of view, our studies are related with the design of voting structures with a predetermined importance ranking.
2014-01-28
Spectral radius and signless Laplacian spectral radius of strongly connected digraphs
Published • View Publication • BIB
Let D be a strongly connected digraph and A(D) be the adjacency matrix of D. Let diag(D) be the diagonal matrix with outdegrees of the vertices of D and Q(D) = diag(D) + A(D) be the signless Laplacian matrix of D. The spectral radius of Q(D) is called the signless Laplacian spectral radius of D, denoted by q(D). In this paper, we give sharp bound on q(D) with outdegree sequence and compare the bound with some known bounds, establish some sharp upper or lower bound on q(D) with some given parameter such as clique number, girth or vertex connectivity, and characterize the corresponding extremal digraph or proposed open problem. In addition, we also determine the unique digraph which achieves the minimum (or maximum), the second minimum (or maximum), the third minimum, the fourth minimum spectral radius and signless Laplacian spectral radius among all strongly connected digraphs, and answer the open problem proposed by Lin-Shu [H.Q. Lin, J.L. Shu, A note on the spectral characterization of strongly connected bicyclic digraphs, Linear Algebra Appl. 436 (2012) 2524{2530].
2014-01-28
Polygonal Dissections and Reversions of Series
Published in Involve 9 (2016) 223-236 • View Publication • BIB
The Catalan numbers $C_k$ were first studied by Euler, in the context of enumerating triangulations of polygons $P_{k+2}$. Among the many generalizations of this sequence, the Fuss-Catalan numbers $C^{(d)}_k$ count enumerations of dissections of polygons $P_{k(d-1)+2}$ into $(d+1)$-gons. In this paper, we provide a formula enumerating polygonal dissections of $(n+2)$-gons, classified by partitions $λ$ of $[n]$. We connect these counts $a_λ$ to reverse series arising from iterated polynomials. Generalizing this further, we show that the coefficients of the reverse series of polynomials $x=z-\sum_{j=0}^{\infty} b_j z^{j+1}$ enumerate colored polygonal dissections.
Fixed-rank Rayleigh Quotient Maximization by an $M$PSK Sequence
Published • View Publication • BIB
Certain optimization problems in communication systems, such as limited-feedback constant-envelope beamforming or noncoherent $M$-ary phase-shift keying ($M$PSK) sequence detection, result in the maximization of a fixed-rank positive semidefinite quadratic form over the $M$PSK alphabet. This form is a special case of the Rayleigh quotient of a matrix and, in general, its maximization by an $M$PSK sequence is $\mathcal{NP}$-hard. However, if the rank of the matrix is not a function of its size, then the optimal solution can be computed with polynomial complexity in the matrix size. In this work, we develop a new technique to efficiently solve this problem by utilizing auxiliary continuous-valued angles and partitioning the resulting continuous space of solutions into a polynomial-size set of regions, each of which corresponds to a distinct $M$PSK sequence. The sequence that maximizes the Rayleigh quotient is shown to belong to this polynomial-size set of sequences, thus efficiently reducing the size of the feasible set from exponential to polynomial. Based on this analysis, we also develop an algorithm that constructs this set in polynomial time and show that it is fully parallelizable, memory efficient, and rank scalable. The proposed algorithm compares favorably with other solvers for this problem that have appeared recently in the literature.
2014-01-24
Mutual Interlacing and Eulerian-like Polynomials for Weyl Groups
We use the method of mutual interlacing to prove two conjectures on the real-rootedness of Eulerian-like polynomials: Brenti's conjecture on $q$-Eulerian polynomials for Weyl groups of type $D$, and Dilks, Petersen, and Stembridge's conjecture on affine Eulerian polynomials for irreducible finite Weyl groups. For the former, we obtain a refinement of Brenti's $q$-Eulerian polynomials of type $D$, and then show that these refined Eulerian polynomials satisfy certain recurrence relation. By using the Routh--Hurwitz theory and the recurrence relation, we prove that these polynomials form a mutually interlacing sequence for any positive $q$, and hence prove Brenti's conjecture. For $q=1$, our result reduces to the real-rootedness of the Eulerian polynomials of type $D$, which were originally conjectured by Brenti and recently proved by Savage and Visontai. For the latter, we introduce a family of polynomials based on Savage and Visontai's refinement of Eulerian polynomials of type $D$. We show that these new polynomials satisfy the same recurrence relation as Savage and Visontai's refined Eulerian polynomials. As a result, we get the real-rootedness of the affine Eulerian polynomials of type $D$. Combining the previous results for other types, we completely prove Dilks, Petersen, and Stembridge's conjecture, which states that, for every irreducible finite Weyl group, the affine descent polynomial has only real zeros.
2014-01-24
Følner sequences and sum-free sets
Published • View Publication • BIB
Erdős showed that every set of $n$ positive integers contains a subset of size at least $n/(k+1)$ containing no solutions to $x_1 + \cdots + x_k = y$. We prove that the constant $1/(k+1)$ here is best possible by showing that if $(F_m)$ is a multiplicative Følner sequence in $\mathbf{N}$ then $F_m$ has no $k$-sum-free subset of size greater than $(1/(k+1)+o(1))|F_m|$. This provides a new proof and a generalisation of a recent theorem of Eberhard, Green, and Manners.
2014-01-22
Unimodality and genus distributions
New criteria are shown that certain combinations of finite unimodal polynomials are unimodal. %Given unimodal polynomials with explicit expressions and dependent recursion relations, we propose an approach to determine their modes. As applications, unimodality of several polynomial sequences satisfying dependent recurrence relations and their modes are provided. Then unimodality of genus distributions for some ladders and crosses can be determined. As special cases, that of genus distributions for Closed-end ladders, circular ladders, Möbius ladders and Ringel ladders and their modes are given, which induces the known results for Closed-end ladders.
2014-01-22
Three Generalizations of Davenport-Schinzel Sequences
Published • View Publication • BIB
We present new, and mostly sharp, bounds on the maximum length of certain generalizations of Davenport-Schinzel sequences. Among the results are sharp bounds on order-$s$ {\em double DS} sequences, for all $s$, sharp bounds on sequences avoiding {\em catenated permutations} (aka formation free sequences), and new lower bounds on sequences avoiding {\em zig-zagging} patterns.
2014-01-22 v2
Reconfiguration of Dominating Sets
Published • View Publication • BIB
We explore a reconfiguration version of the dominating set problem, where a dominating set in a graph $G$ is a set $S$ of vertices such that each vertex is either in $S$ or has a neighbour in $S$. In a reconfiguration problem, the goal is to determine whether there exists a sequence of feasible solutions connecting given feasible solutions $s$ and $t$ such that each pair of consecutive solutions is adjacent according to a specified adjacency relation. Two dominating sets are adjacent if one can be formed from the other by the addition or deletion of a single vertex. For various values of $k$, we consider properties of $D_k(G)$, the graph consisting of a vertex for each dominating set of size at most $k$ and edges specified by the adjacency relation. Addressing an open question posed by Haas and Seyffarth, we demonstrate that $D_{Γ(G)+1}(G)$ is not necessarily connected, for $Γ(G)$ the maximum cardinality of a minimal dominating set in $G$. The result holds even when graphs are constrained to be planar, of bounded tree-width, or $b$-partite for $b \ge 3$. Moreover, we construct an infinite family of graphs such that $D_{γ(G)+1}(G)$ has exponential diameter, for $γ(G)$ the minimum size of a dominating set. On the positive side, we show that $D_{n-m}(G)$ is connected and of linear diameter for any graph $G$ on $n$ vertices having at least $m+1$ independent edges.
2014-01-22
Universality of graphs with few triangles and anti-triangles
Published in Combinator. Probab. Comp. 25 (2016) 560-576 • View Publication • BIB
We study 3-random-like graphs, that is, sequences of graphs in which the densities of triangles and anti-triangles converge to 1/8. Since the random graph ${\mathcal G}_{n,1/2}$ is, in particular, 3-random-like, this can be viewed as a weak version of quasirandomness. We first show that 3-random-like graphs are 4-universal, that is, they contain induced copies of all 4-vertex graphs. This settles a question of Linial and Morgenstern. We then show that for larger subgraphs, 3-random-like sequences demonstrate a completely different behaviour. We prove that for every graph $H$ on $n\geq R(10,10)$ vertices there exist 3-random-like graphs without an induced copy of $H$. Moreover, we prove that for every $\ell$ there are 3-random-like graphs which are $\ell$-universal but not $m$-universal when $m$ is sufficiently large compared to $\ell$.
2014-01-21 v4
Cluster Algebras of Grassmannians are Locally Acyclic
Published • View Publication • BIB
Considered as commutative algebras, cluster algebras can be very unpleasant objects. However, the first author introduced a condition known as "local acyclicity" which implies that cluster algebras behave reasonably. One of the earliest and most fundamental examples of a cluster algebra is the homogenous coordinate ring of the Grassmannian. We show that the Grassmannian is locally acyclic. Morally, we are in fact showing the stronger result that all positroid varieties are locally acyclic. However, it has not been shown that all positroid varieties have cluster structure, so what we actually prove is that certain cluster varieties associated to Postnikov's alternating strand diagrams are locally acylic. Moreover, we actually establish a slightly stronger property than local acyclicity, which we term the Louise property, that is designed to facilitate proofs involving the Mayer-Vietores sequence.
2014-01-19
Random-bit optimal uniform sampling for rooted planar trees with given sequence of degrees and Applications
Published • View Publication • BIB
In this paper, we redesign and simplify an algorithm due to Remy et al. for the generation of rooted planar trees that satisfies a given partition of degrees. This new version is now optimal in terms of random bit complexity, up to a multiplicative constant. We then apply a natural process "simulate-guess-and-proof" to analyze the height of a random Motzkin in function of its frequency of unary nodes. When the number of unary nodes dominates, we prove some unconventional height phenomenon (i.e. outside the universal square root behaviour.)
2014-01-18 v3
Infinite graphs that do not contain cycles of length four
We construct a countable infinite graph G that does not contain cycles of length four having the property that the sequence of graphs $G_n$ induced by the first $n$ vertices has minimum degree $δ(G_n)> n^{\sqrt{2}-1+o(1)}$.
2014-01-17
Quantitative version of Beurling-Helson theorem
Published • View Publication • BIB
It is proved that any continuous function f on the unit circle such that the sequence e^{in f}, n=1,2,... has small Wiener norm \| e^{in f} \|_A = o (\frac{\log^{1/22} |n|}{(\log \log |n|)^{3/11}}), is linear. Moreover, we get lower bounds for Wiener norm of characteristic functions of subsets from Z_p in the case of prime p.