sequence
6845 papers tagged with this keyword
A note on sub-total domination in graphs
Let $G$ be a simple and finite graph without isolated vertices. In this paper we introduce and study a new degree sequence derived invariant called the \emph{sub-total domination number}, denoted $\sub_t(G)$. In particular, we show that $\sub_t(G)$ serves as a lower bound on $γ_t(G)$, where $γ_t(G)$ denotes the heavily studied \emph{total domination number} of $G$.
On problems about judicious bipartitions of graphs
Published
• View Publication
• BIB
Bollobás and Scott [5] conjectured that every graph $G$ has a balanced bipartite spanning subgraph $H$ such that for each $v\in V(G)$, $d_H(v)\ge (d_G(v)-1)/2$. In this paper, we show that every graphic sequence has a realization for which this Bollobás-Scott conjecture holds, confirming a conjecture of Hartke and Seacrest [10]. On the other hand, we give an infinite family of counterexamples to this Bollobás-Scott conjecture, which indicates that $\lfloor (d_G(v)-1)/2\rfloor$ (rather than $(d_G(v)-1)/2$) is probably the correct lower bound. We also study bipartitions $V_1, V_2$ of graphs with a fixed number of edges. We provide a (best possible) upper bound on $e(V_1)^λ+e(V_2)^λ$ for any real $λ\geq 1$ (the case $λ=2$ is a question of Scott [13]) and answer a question of Scott [13] on $\max\{e(V_1),e(V_2)\}$.
The switch Markov chain for sampling irregular graphs and digraphs
Published
• View Publication
• BIB
The problem of efficiently sampling from a set of (undirected, or directed) graphs with a given degree sequence has many applications. One approach to this problem uses a simple Markov chain, which we call the switch chain, to perform the sampling. The switch chain is known to be rapidly mixing for regular degree sequences, both in the undirected and directed setting.
We prove that the switch chain for undirected graphs is rapidly mixing for any degree sequence with minimum degree at least 1 and with maximum degree $d_{\max}$ which satisfies $3\leq d_{\max}\leq \frac{1}{3}\, \sqrt{M}$, where $M$ is the sum of the degrees. The mixing time bound obtained is only a factor $n$ larger than that established in the regular case, where $n$ is the number of vertices. Our result covers a wide range of degree sequences, including power-law graphs with parameter $γ> 5/2$ and sufficiently many edges.
For directed degree sequences such that the switch chain is irreducible, we prove that the switch chain is rapidly mixing when all in-degrees and out-degrees are positive and bounded above by $\frac{1}{4}\, \sqrt{m}$, where $m$ is the number of arcs, and not all in-degrees and out-degrees equal 1. The mixing time bound obtained in the directed case is an order of $m^2$ larger than that established in the regular case.
Counting Arithmetical Structures on Paths and Cycles
Published in Discrete Math. 341 (2018), no. 10, 2949-2963
• View Publication
• BIB
Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.
Recurrence sequences in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}
Published in Annales Mathematicae et Informaticae 46 (2016) 165-173
• Search Publication
Recently, a new generalization of Pascal's triangle, the so-called hyperbolic Pascal triangles were introduced. The mathematical background goes back to the regular mosaics in the hyperbolic plane. In this article, we investigate the paths in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}$, in which the binary recursive sequences $f_{n}=αf_{n-1}\pm f_{n-2}$ are represented ($α\in\mathbb{N}^+$).
Exponential Bounds for the Erdős-Ginzburg-Ziv Constant
Published in Journal of Combinatorial Theory Series A 174, 105185, 19 pp, 2020
• View Publication
• BIB
The Erdős-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this paper, we use the partition rank, which generalizes the slice rank, to prove that for any odd prime $p$, \[ \mathfrak{s}\left(\mathbb{F}_{p}^{n}\right)\leq(p-1)2^{p}\left(J(p)\cdot p\right)^{n} \] where $0.8414<J(p)<0.91837$ is the constant appearing in Ellenberg and Gijswijt's bound on arithmetic progression-free subsets of $\mathbb{F}_{p}^{n}$. For large $n$, and $p>3$, this is the first exponential improvement to the trivial bound. We also provide a near optimal result conditional on the conjecture that $\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}$ satisfies property $D$, showing that in this case \[ \mathfrak{s}\left(\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}\right)\leq(k-1)4^{n}+k. \]
The Pachner graph of 2-spheres
It is well-known that the Pachner graph of $n$-vertex triangulated $2$-spheres is connected, i.e., each pair of $n$-vertex triangulated $2$-spheres can be turned into each other by a sequence of edge flips for each $n\geq 4$. In this article, we study various induced subgraphs of this graph. In particular, we prove that the subgraph of $n$-vertex flag $2$-spheres distinct from the double cone is still connected. In contrast, we show that the subgraph of $n$-vertex stacked $2$-spheres has at least as many connected components as there are trees on $\lfloor\frac{n-5}{3}\rfloor$ nodes with maximum node-degree at most four.
A new family of one-coincidence sets of sequences with dispersed elements for frequency hopping CDMA systems
Published
• View Publication
• BIB
We present a new family of one-coincidence sequence sets suitable for frequency hopping code division multiple access (FH-CDMA) systems with dispersed (low density) sequence elements. These sets are derived from one-coincidence prime sequence sets, such that for each one-coincidence prime sequence set there is a new one-coincidence set comprised of sequences with dispersed sequence elements, required in some circumstances, for FH-CDMA systems. Getting rid of crowdedness of sequence elements is achieved by doubling the size of the sequence element alphabet. In addition, this doubling process eases control over the distance between adjacent sequence elements. Properties of the new sets are discussed.
New Congruences and Finite Difference Equations for Generalized Factorial Functions
We use the rationality of the generalized $h^{th}$ convergent functions, $Conv_h(α, R; z)$, to the infinite J-fraction expansions enumerating the generalized factorial product sequences, $p_n(α, R) = R(R+α)\cdots(R+(n-1)α)$, defined in the references to construct new congruences and $h$-order finite difference equations for generalized factorial functions modulo $h α^t$ for any primes or odd integers $h \geq 2$ and integers $0 \leq t \leq h$. Special cases of the results we consider within the article include applications to new congruences and exact formulas for the $α$-factorial functions, $n!_{(α)}$. Applications of the new results we consider within the article include new finite sums for the $α$-factorial functions, restatements of classical necessary and sufficient conditions of the primality of special integer subsequences and tuples, and new finite sums for the single and double factorial functions modulo integers $h \geq 2$.
The connectivity of graphs of graphs with self-loops and a given degree sequence
Published in Journal of Complex Networks, Volume 6, Issue 6, December 2018, Pages 927-947
• View Publication
• BIB
`Double edge swaps' transform one graph into another while preserving the graph's degree sequence, and have thus been used in a number of popular Markov chain Monte Carlo (MCMC) sampling techniques. However, while double edge-swaps can transform, for any fixed degree sequence, any two graphs inside the classes of simple graphs, multigraphs, and pseudographs, this is not true for graphs which allow self-loops but not multiedges (loopy graphs). Indeed, we exactly characterize the degree sequences where double edge swaps cannot reach every valid loopy graph and develop an efficient algorithm to determine such degree sequences. The same classification scheme to characterize degree sequences can be used to prove that, for all degree sequences, loopy graphs are connected by a combination of double and triple edge swaps. Thus, we contribute the first MCMC sampler that uniformly samples loopy graphs with any given sequence.
Nonrepetitive edge-colorings of trees
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Graph Theory (June 27, 2017) dmtcs:2651
• View Publication
• BIB
A repetition is a sequence of symbols in which the first half is the same as the second half. An edge-coloring of a graph is repetition-free or nonrepetitive if there is no path with a color pattern that is a repetition. The minimum number of colors so that a graph has a nonrepetitive edge-coloring is called its Thue edge-chromatic number.
We improve on the best known general upper bound of $4Δ-4$ for the Thue edge-chromatic number of trees of maximum degree $Δ$ due to Alon, Grytczuk, Hałuszczak and Riordan (2002) by providing a simple nonrepetitive edge-coloring with $3Δ-2$ colors.
A modular supercongruence for $_6F_5$: an Apéry-like story
Published in Annales de l'Institut Fourier 68:5 (2018) 1987--2004
• View Publication
• BIB
We prove a supercongruence modulo $p^3$ between the $p$th Fourier coefficient of a weight 6 modular form and a truncated ${}_6F_5$-hypergeometric series. Novel ingredients in the proof are the comparison of two rational approximations to $ζ(3)$ to produce non-trivial harmonic sum identities and the reduction of the resulting congruences between harmonic sums via a congruence between the Apéry numbers and another Apéry-like sequence.
Counting Quasi-Idempotent Irreducible Integral Matrices
Published in Journal of Integer Sequences, Vol 21, 2018
• Search Publication
Given any polynomial $p$ in $C[X]$, we show that the set of irreducible matrices satisfying $p(A)=0$ is finite. In the specific case $p(X)=X^2-nX$, we count the number of irreducible matrices in this set and analyze the arising sequences and their asymptotics. Such matrices turn out to be related to generalized compositions and generalized partitions.
A comment of the combinatorics of the vertex operator $Γ_{(t|X)}$
Published
• View Publication
• BIB
The Jacobi--Trudi identity associates a symmetric function to any integer sequence. Let $Γ_{(t|X)}$ be the vertex operator defined by $Γ_{(t|X)} s_α=\sum_{n \in \mathbb{Z}} s_{(n,α)} [X] t^n$. We provide a combinatorial proof for the identity $Γ_{(t|X)} s_α= σ[tX] s_α\big[x-1/t\big] $ due to Thibon et al. We include an overview of all the combinatorial ideas behind this beautiful identity, including a combinatorial description for the expansion of $s_{(n,α)} [X] $ in the Schur basis, for any integer value of $n$.
A note on the relation between Hartnell's firefighter problem and growth of groups
Published
• View Publication
• BIB
The firefighter game problem on locally finite connected graphs was introduced by Bert Hartnell. The game on a graph $G$ can be described as follows: let $f_n$ be a sequence of positive integers; an initial fire starts at a finite set of vertices; at each (integer) time $n\geq 1$, $f_n$ vertices which are not on fire become protected, and then the fire spreads to all unprotected neighbors of vertices on fire; once a vertex is protected or is on fire, it remains so for all time intervals. The graph $G$ has the \emph{$f_n$-containment property} if every initial fire admits an strategy that protects $f_n$ vertices at time $n$ so that the set of vertices on fire is eventually constant. If the graph $G$ has the containment property for a sequence of the form $f_n=Cn^d$, then the graph is said to have \emph{polynomial containment}. In [5], it is shown that any locally finite graph with polynomial growth has polynomial containment; and it is remarked that the converse does not hold. That article also raised the question of whether the equivalence of polynomial growth and polynomial containment holds for Cayley graphs of finitely generated groups. In this short note, we remark how the equivalence holds for elementary amenable groups and for non-amenable groups from results in the literature.
Weight recursions for any rotation symmetric Boolean functions
Published
• View Publication
• BIB
Let $f_n(x_1, x_2, \ldots, x_n)$ denote the algebraic normal form (polynomial form) of a rotation symmetric Boolean function of degree $d$ in $n \geq d$ variables and let $wt(f_n)$ denote the Hamming weight of this function. Let $(1, a_2, \ldots, a_d)_n$ denote the function $f_n$ of degree $d$ in $n$ variables generated by the monomial $x_1x_{a_2} \cdots x_{a_d}.$ Such a function $f_n$ is called {\em monomial rotation symmetric} (MRS). It was proved in a $2012$ paper that for any MRS $f_n$ with $d=3,$ the sequence of weights $\{w_k = wt(f_k):~k = 3, 4, \ldots\}$ satisfies a homogeneous linear recursion with integer coefficients. In this paper it is proved that such recursions exist for any rotation symmetric function $f_n;$ such a function is generated by some sum of $t$ monomials of various degrees. The last section of the paper gives a Mathematica program which explicitly computes the homogeneous linear recursion for the weights, given any rotation symmetric $f_n.$ The reader who is only interested in finding some recursions can use the program and not be concerned with the details of the rather complicated proofs in this paper.
The independent set sequence of some families of trees
For a tree $T$, let $i_T(t)$ be the number of independent sets of size $t$ in $T$. It is an open question, raised by Alavi, Malde, Schwenk and Erdős, whether the sequence $(i_T(t))_{t \geq 0}$ is always unimodal. Here we answer the question in the affirmative for some recursively defined families of trees, specifically paths with auxiliary trees dropped from the vertices in a periodic manner. In particular, extending a result of Wang and B.-X. Zhu, we show unimodality of the independent set sequence of a path on $2n$ vertices with $\ell_1$ and $\ell_2$ pendant edges dropped alternately from the vertices of the path, $\ell_1, \ell_2$ arbitrary.
We also show that the independent set sequence of any tree becomes unimodal if sufficiently many pendant edges are dropped from any single vertex, or if $k$ pendant edges are dropped from every vertex, for sufficiently large $k$. This in particular implies the unimodality of the independent set sequence of some non-periodic caterpillars.
Shuffled equi-n-squares
A formal n-square is the set of positions in an square matrix of size n. A shuffle of a formal n-square consists of independent rotations of each row and of each column. A key result turns out to be valid at least for n <= 34 and n = 37: Each set of n positions can be mapped with one shuffle onto a transversal of the columns. We consider two applications to equi-n-squares (i.e., n-matrices filled with digits 0, .., n - 1 in equal amounts).
First, a shuffled equi-n-square can be seen as a torus with n colors and two orthogonal layers of n rings that can be rotated. Unlike Rubik's cube, each permutation of colored cells can be implemented with shuffles. An upper bound of $3*(-1)^{n-1} + 6n$ shuffles is derived from the key result.
Our second application invokes column transversals and a process of indirection to produce theoretically unpredictable sequences of integers in shuffled equi-n-squares.
Our proof of the key result involves optimizing position sets, averaging, computations based on number partitions, rotating subsets of a regular $n$-gon apart, and the use of cyclotomic polynomials. A few intermediate results need computer assistence. These efforts also generated a variety of (partially) unsolved problems. We selected eight of these for a brief discussion based on the available theoretical and computer evidence.
The sequence of open and closed prefixes of a Sturmian word
Published in Advances in Applied Mathematics Volume 90, September 2017, Pages 27-45
• View Publication
• BIB
A finite word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal occurrences, otherwise it is open. We are interested in the {\it oc-sequence} of a word, which is the binary sequence whose $n$-th element is $0$ if the prefix of length $n$ of the word is open, or $1$ if it is closed. We exhibit results showing that this sequence is deeply related to the combinatorial and periodic structure of a word. In the case of Sturmian words, we show that these are uniquely determined (up to renaming letters) by their oc-sequence. Moreover, we prove that the class of finite Sturmian words is a maximal element with this property in the class of binary factorial languages. We then discuss several aspects of Sturmian words that can be expressed through this sequence. Finally, we provide a linear-time algorithm that computes the oc-sequence of a finite word, and a linear-time algorithm that reconstructs a finite Sturmian word from its oc-sequence.
Row bounds needed to justifiably express flagged Schur functions with Gessel-Viennot determinants
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (April 23, 2021) dmtcs:6632
• View Publication
• BIB
Let $λ$ be a partition with no more than $n$ parts. Let $β$ be a weakly increasing $n$-tuple with entries from $\{ 1, ... , n \}$. The flagged Schur function in the variables $x_1, ... , x_n$ that is indexed by $λ$ and $β$ has been defined to be the sum of the content weight monomials for the semistandard Young tableaux of shape $λ$ whose values are row-wise bounded by the entries of $β$. Gessel and Viennot gave a determinant expression for the flagged Schur function indexed by $λ$ and $β$; this could be done since the pair $(λ, β)$ satisfied their "nonpermutable" condition for the sequence of terminals of an $n$-tuple of lattice paths that they used to model the tableaux. We generalize flagged Schur functions by dropping the requirement that $β$ be weakly increasing. Then for each $λ$ we give a condition on the entries of $β$ for the pair $(λ, β)$ to be nonpermutable that is both necessary and sufficient. When the parts of $λ$ are not distinct there will be multiple row bound $n$-tuples $β$ that will produce the same set of tableaux. We accordingly group the bounding $β$ into equivalence classes and identify the most efficient $β$ in each class for the determinant computation. We recently showed that many other sets of objects that are indexed by $n$ and $λ$ are enumerated by the number of these efficient $n$-tuples. We called these counts "parabolic Catalan numbers". It is noted that the $GL(n)$ Demazure characters (key polynomials) indexed by 312-avoiding permutations can also be expressed with these determinants.