sequence
6845 papers tagged with this keyword
Sandpile groups of generalized de Bruijn and Kautz graphs and circulant matrices over finite fields
Published in Journal of Algebra (2015), pp. 268-295
• View Publication
• BIB
A maximal minor $M$ of the Laplacian of an $n$-vertex Eulerian digraph $Γ$ gives rise to a finite group $\mathbb{Z}^{n-1}/\mathbb{Z}^{n-1}M$ known as the sandpile (or critical) group $S(Γ)$ of $Γ$. We determine $S(Γ)$ of the generalized de Bruijn graphs $Γ=\mathrm{DB}(n,d)$ with vertices $0,\dots,n-1$ and arcs $(i,di+k)$ for $0\leq i\leq n-1$ and $0\leq k\leq d-1$, and closely related generalized Kautz graphs, extending and completing earlier results for the classical de Bruijn and Kautz graphs.
Moreover, for a prime $p$ and an $n$-cycle permutation matrix $X\in\mathrm{GL}_n(p)$ we show that $S(\mathrm{DB}(n,p))$ is isomorphic to the quotient by $\langle X\rangle$ of the centralizer of $X$ in $\mathrm{PGL}_n(p)$. This offers an explanation for the coincidence of numerical data in sequences A027362 and A003473 of the OEIS, and allows one to speculate upon a possibility to construct normal bases in the finite field $\mathbb{F}_{p^n}$ from spanning trees in $\mathrm{DB}(n,p)$.
On the existence of asymptotically good linear codes in minor-closed classes
Published
• View Publication
• BIB
Let $\mathcal{C} = (C_1, C_2, \ldots)$ be a sequence of codes such that each $C_i$ is a linear $[n_i,k_i,d_i]$-code over some fixed finite field $\mathbb{F}$, where $n_i$ is the length of the codewords, $k_i$ is the dimension, and $d_i$ is the minimum distance. We say that $\mathcal{C}$ is asymptotically good if, for some $\varepsilon > 0$ and for all $i$, $n_i \geq i$, $k_i/n_i \geq \varepsilon$, and $d_i/n_i \geq \varepsilon$. Sequences of asymptotically good codes exist. We prove that if $\mathcal{C}$ is a class of GF$(p^n)$-linear codes (where $p$ is prime and $n \geq 1$), closed under puncturing and shortening, and if $\mathcal{C}$ contains an asymptotically good sequence, then $\mathcal{C}$ must contain all GF$(p)$-linear codes. Our proof relies on a powerful new result from matroid structure theory.
Bounds on the Number of Edges in Hypertrees
Published in Discrete Mathematics 339: (7) pp. 1884-1991. (2016)
• View Publication
• BIB
Let $\mathcal{H}$ be a $k$-uniform hypergraph. A chain in $\mathcal{H}$ is a sequence of its vertices such that every $k$ consecutive vertices form an edge. In 1999 Katona and Kierstead suggested to use chains in hypergraphs as the generalisation of paths. Although a number of results have been published on hamiltonian chains in recent years, the generalization of trees with chains has still remained an open area. We generalize the concept of trees for uniform hypergraphs. We say that a $k$-uniform hypergraph $\mathcal{F}$ is a hypertree if every two vertices of $\mathcal{F}$ are connected by a chain, and an appropriate kind of cycle-free property holds. An edge-minimal hypertree is a hypertree whose edge set is minimal with respect to inclusion. After considering these definitions, we show that a $k$-uniform hypertree on $n$ vertices has at least $n-(k-1)$ edges up to a finite number of exceptions, and it has at most $\binom{n}{k-1}$ edges. The latter bound is asymptotically sharp in 3-uniform case.
Win-Win Kernelization for Degree Sequence Completion Problems
Published
• View Publication
• BIB
We study provably effective and efficient data reduction for a class of NP-hard graph modification problems based on vertex degree properties. We show fixed-parameter tractability for NP-hard graph completion (that is, edge addition) cases while we show that there is no hope to achieve analogous results for the corresponding vertex or edge deletion versions. Our algorithms are based on transforming graph completion problems into efficiently solvable number problems and exploiting f-factor computations for translating the results back into the graph setting. Our core observation is that we encounter a win-win situation: either the number of edge additions is small or the problem is polynomial-time solvable. This approach helps in answering an open question by Mathieson and Szeider [JCSS 2012] concerning the polynomial kernelizability of Degree Constraint Edge Addition and leads to a general method of approaching polynomial-time preprocessing for a wider class of degree sequence completion problems.
Associated Lah numbers and r-Stirling numbers
We introduce the associated Lah numbers. Some recurrence relations and convolution identities are established. An extension of the associated Stirling and Lah numbers to the r-Stirling and r-Lah numbers are also given. For all these sequences we give combinatorial interpretation, generating functions, recurrence relations, convolution identities. In the sequel, we develop a section on nested sums related to binomial coefficient.
Gaps in sumsets of $s$ pseudo s-th power sequences
We study the length of the gaps between consecutive members in the sumset sA when A is a pseudo s-th power sequence, with s>1. We show that, almost surely, limsup (b_{n+1}-b_{n})/log (b_n) = s^s s!/Γ^s(1/s), where b_n are the elements of sA.
Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
We propose a novel construction of finite hypergraphs and relational structures that is based on reduced products with Cayley graphs of groupoids. To this end we construct groupoids whose Cayley graphs have large girth not just in the usual sense, but with respect to a discounted distance measure that contracts arbitrarily long sequences of edges within the same sub-groupoid (coset) and only counts transitions between cosets. Reduced products with such groupoids are sufficiently generic to be applicable to various constructions that are specified in terms of local glueing operations and require global finite closure. We here examine hypergraph coverings and extension tasks that lift local symmetries to global automorphisms.
Variances and Covariances in the Central Limit Theorem for the Output of a Transducer
Published in European J. Combin. 49 (2015), 167--187
• View Publication
• BIB
We study the joint distribution of the input sum and the output sum of a deterministic transducer. Here, the input of this finite-state machine is a uniformly distributed random sequence.
We give a simple combinatorial characterization of transducers for which the output sum has bounded variance, and we also provide algebraic and combinatorial characterizations of transducers for which the covariance of input and output sum is bounded, so that the two are asymptotically independent.
Our results are illustrated by several examples, such as transducers that count specific blocks in the binary expansion, the transducer that computes the Gray code, or the transducer that computes the Hamming weight of the width-$w$ non-adjacent form digit expansion. The latter two turn out to be examples of asymptotic independence.
Collatz meets Fibonacci
Published
• View Publication
• BIB
The Collatz map is defined for a positive even integer as half that integer, and for a positive odd integer as that integer threefold, plus one. The Collatz conjecture states that when the map is iterated the number one is eventually reached. We study permutations that arise as sequences from this iteration. We show that permutations of this type of length up to 14 are enumerated by the Fibonacci numbers. Beyond that excess permutations appear. We will explain the appearance of these excess permutations and give an upper bound on the exact enumeration.
Infinite dimensional finitely forcible graphon
Published
• View Publication
• BIB
Graphons are analytic objects associated with convergent sequences of dense graphs. Finitely forcible graphons, i.e., those determined by finitely many subgraph densities, are of particular interest because of their relation to various problems in extremal combinatorics and theoretical computer science. Lovasz and Szegedy conjectured that the topological space of typical vertices of a finitely forcible graphon always has finite dimension, which would have implications on the minimum number of parts in its weak eps-regular partition. We disprove the conjecture by constructing a finitely forcible graphon with the space of typical vertices that has infinite dimension.
Asymptotic series for Hofstadter's figure-figure sequences
Published in Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.2
• Search Publication
We compute asymptotic series for Hofstadter's figure-figure sequences.
Enumeration of graphs with a heavy-tailed degree sequence
Published
• View Publication
• BIB
In this paper, we asymptotically enumerate graphs with a given degree sequence d=(d_1,...,d_n) satisfying restrictions designed to permit heavy-tailed sequences in the sparse case (i.e. where the average degree is rather small). Our general result requires upper bounds on functions of M_k= \sum_{i=1}^n [d_i]_k for a few small integers k\ge 1. Note that M_1 is simply the total degree of the graphs. As special cases, we asymptotically enumerate graphs with (i) degree sequences satisfying M_2=o(M_1^{ 9/8}); (ii) degree sequences following a power law with parameter gamma>5/2; (iii) power-law degree sequences that mimic independent power-law "degrees" with parameter gamma>1+\sqrt{3}\approx 2.732; (iv) degree sequences following a certain "long-tailed" power law; (v) certain bi-valued sequences. A previous result on sparse graphs by McKay and the second author applies to a wide range of degree sequences but requires Delta =o(M_1^{1/3}), where Delta is the maximum degree. Our new result applies in some cases when Delta is only barely o(M_1^ {3/5}). Case (i) above generalises a result of Janson which requires M_2=O(M_1) (and hence M_1=O(n) and Delta=O(n^{1/2})). Cases (ii) and (iii) provide the first asymptotic enumeration results applicable to degree sequences of real-world networks following a power law, for which it has been empirically observed that 2<gamma<3.
Periodicity of free subgroup numbers modulo prime powers
Published in J. Algebra 452 (2016), 372-389
• View Publication
• BIB
We completely characterise when the sequence of free subgroup numbers of a finitely generated virtually free group is ultimately periodic modulo a given prime power.
Cyclic, Simple and Indecomposable Three-fold Triple Systems
In 2000, Rees and Shalaby constructed simple indecomposable two-fold cyclic triple systems for all v congruent to 0, 1, 3, 4, 7, and 9 (mod 12) where v = 4 or v>11, using Skolem-type sequences. We construct, using Skolem-type sequences, three-fold triple systems having the properties of being cyclic, simple, and indecomposable for all admissible orders v, with some possible exceptions for v = 9 and v = 24c + 57, where c >1 is a constant. To prove the simplicity we used a Mathematica computer program. We list in the Appendix the code and the results of the program.
The correlation measures of finite sequences: limiting distributions and minimum values
Published
• View Publication
• BIB
Three measures of pseudorandomness of finite binary sequences were introduced by Mauduit and Sárközy in 1997 and have been studied extensively since then: the normality measure, the well-distribution measure, and the correlation measure of order r. Our main result is that the correlation measure of order r for random binary sequences converges strongly, and so has a limiting distribution. This solves a problem due to Alon, Kohayakawa, Mauduit, Moreira, and Rödl. We also show that the best known lower bounds for the minimum values of the correlation measures are simple consequences of a celebrated result due to Welch, concerning the maximum nontrivial scalar products over a set of vectors.
Decompositions of complete uniform hypergraphs into Hamilton Berge cycles
In 1973 Bermond, Germa, Heydemann and Sotteau conjectured that if $n$ divides $\binom{n}{k}$, then the complete $k$-uniform hypergraph on $n$ vertices has a decomposition into Hamilton Berge cycles. Here a Berge cycle consists of an alternating sequence $v_1,e_1,v_2,\dots,v_n,e_n$ of distinct vertices $v_i$ and distinct edges $e_i$ so that each $e_i$ contains $v_i$ and $v_{i+1}$. So the divisibility condition is clearly necessary. In this note, we prove that the conjecture holds whenever $k \ge 4$ and $n \ge 30$. Our argument is based on the Kruskal-Katona theorem. The case when $k=3$ was already solved by Verrall, building on results of Bermond.
The characteristic polynomial of the Adams operators on graded connected Hopf algebras
Published in Algebra Number Theory 9 (2015) 547-583
• View Publication
• BIB
The Adams operators $Ψ_n$ on a Hopf algebra $H$ are the convolution powers of the identity of $H$. We study the Adams operators when $H$ is graded connected. They are also called Hopf powers or Sweedler powers. The main result is a complete description of the characteristic polynomial (both eigenvalues and their multiplicities) for the action of the operator $Ψ_n$ on each homogeneous component of $H$. The eigenvalues are powers of $n$. The multiplicities are independent of $n$, and in fact only depend on the dimension sequence of $H$. These results apply in particular to the antipode of $H$ (the case $n=-1$). We obtain closed forms for the generating function of the sequence of traces of the Adams operators. In the case of the antipode, the generating function bears a particularly simple relationship to the one for the dimension sequence. In case H is cofree, we give an alternative description for the characteristic polynomial and the trace of the antipode in terms of certain palindromic words. We discuss parallel results that hold for Hopf monoids in species and $q$-Hopf algebras.
Rainbow eulerian multidigraphs and the product of cycles
An arc colored eulerian multidigraph with $l$ colors is rainbow eulerian if there is an eulerian circuit in which a sequence of $l$ colors repeats. The digraph product that refers the title was introduced by Figueroa-Centeno et al. as follows: let $D$ be a digraph and let $Γ$ be a family of digraphs such that $V(F)=V$ for every $F\in Γ$. Consider any function $h:E(D)\longrightarrowΓ$. Then the product $D\otimes_{h} Γ$ is the digraph with vertex set $V(D)\times V$ and $((a,x),(b,y))\in E(D\otimes_{h}Γ)$ if and only if $ (a,b)\in E(D)$ and $ (x,y)\in E(h (a,b))$.
In this paper we use rainbow eulerian multidigraphs and permutations as a way to characterize the $\otimes_h$-product of oriented cycles. We study the behavior of the $\otimes_h$-product when applied to digraphs with unicyclic components. The results obtained allow us to get edge-magic labelings of graphs formed by the union of unicyclic components and with different magic sums.
S-Packing Colorings of Cubic Graphs
Given a non-decreasing sequence $S=(s\_1,s\_2, \ldots, s\_k)$ of positive integers, an {\em $S$-packing coloring} of a graph $G$ is a mapping $c$ from $V(G)$ to $\{s\_1,s\_2, \ldots, s\_k\}$ such that any two vertices with color $s\_i$ are at mutual distance greater than $s\_i$, $1\le i\le k$. This paper studies $S$-packing colorings of (sub)cubic graphs. We prove that subcubic graphs are $(1,2,2,2,2,2,2)$-packing colorable and $(1,1,2,2,3)$-packing colorable. For subdivisions of subcubic graphs we derive sharper bounds, and we provide an example of a cubic graph of order $38$ which is not $(1,2,\ldots,12)$-packing colorable.
Restricted ascent sequences and Catalan numbers
Published
• View Publication
• BIB
Ascent sequences are those consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it and have been shown to be equinumerous with the (2+2)-free posets of the same size. Furthermore, connections to a variety of other combinatorial structures, including set partitions, permutations, and certain integer matrices, have been made. In this paper, we identify all members of the (4,4)-Wilf equivalence class for ascent sequences corresponding to the Catalan number C_n=\frac{1}{n+1}\binom{2n}{n}. This extends recent work concerning avoidance of a single pattern and provides apparently new combinatorial interpretations for C_n. In several cases, the subset of the class consisting of those members having exactly m ascents is given by the Narayana number N_{n,m+1}=\frac{1}{n}\binom{n}{m+1}\binom{n}{m}.