sequence
7073 papers tagged with this keyword
Extensions and Applications of Equitable Decompositions for Graphs with Symmetries
Published
• View Publication
• BIB
We extend the theory of equitable decompositions, in which, if a graph has a particular type of symmetry, i.e. a uniform or basic automorphism $φ$, it is possible to use $φ$ to decompose a matrix $M$ appropriately associated with the graph. The result is a number of strictly smaller matrices whose collective eigenvalues are the same as the eigenvalues of the original matrix $M$. We show here that a large class of automorphisms, which we refer to as \emph{separable}, can be realized as a sequence of basic automorphisms, allowing us to equitably decompose $M$ over any such automorphism. We also show that not only can a matrix $M$ be decomposed but that the eigenvectors of $M$ can also be equitably decomposed. Additionally, we prove under mild conditions that if a matrix $M$ is equitably decomposed the resulting divisor matrix, which is the divisor matrix of the associated equitable partition, will have the same spectral radius as the original matrix $M$. Last, we describe how an equitable decomposition effects the Gershgorin region $Γ(M)$ of a matrix $M$, which can be used to localize the eigenvalues of $M$. We show that the Gershgorin region of an equitable decomposition of $M$ is contained in the Gershgorin region $Γ(M)$ of the original matrix. We demonstrate on a real-world network that by a sequence of equitable decompositions it is possible to significantly reduce the size of a matrix' Gershgorin region.
Zero-sum invariants of finite abelian groups
The purpose of the article is to provide an unified way to formulate zero-sum invariants. Let $G$ be a finite additive abelian group. Let $B(G)$ denote the set consisting of all nonempty zero-sum sequences over G. For
$Ω\subset B(G$), let $d_Ω(G)$ be the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|\geq t$ has a subsequence in $Ω$.We provide some first results and open problems on $d_Ω(G)$.
Grundy dominating sequences and zero forcing sets
In a graph $G$ a sequence $v_1,v_2,\dots,v_m$ of vertices is Grundy dominating if for all $2\le i \le m$ we have $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ and is Grundy total dominating if for all $2\le i \le m$ we have $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. The length of the longest Grundy (total) dominating sequence has been studied by several authors. In this paper we introduce two similar concepts when the requirement on the neighborhoods is changed to $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ or $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. In the former case we establish a strong connection to the zero forcing number of a graph, while we determine the complexity of the decision problem in the latter case. We also study the relationships among the four concepts, and discuss their computational complexities.
Shifted tableau switchings and shifted Littlewood-Richardson coefficients
We provide two shifted analogues of the tableau switching process due to Benkart, Sottile, and Stroomer, the shifted tableau switching process and the modified shifted tableau switching process. They are performed by applying a sequence of specially contrived elementary transformations called {\em switches} and turn out to have some spectacular properties. For instance, the maps induced from these algorithms are involutive and behave very nicely with respect to shifted Young tableaux whose reading words satisfy the lattice property. As an application, we give combinatorial interpretations of Schur $P$- and $Q$-function identities. We also demonstrate the relationship between the shifted tableau switching process and the shifted $J$-operation due to Worley.
On sequences of polynomials arising from graph invariants
Published
• View Publication
• BIB
Graph polynomials are deemed useful if they give rise to algebraic characterizations of various graph properties, and their evaluations encode many other graph invariants. Algebraic: The complete graphs $K_n$ and the complete bipartite graphs $K_{n,n}$ can be characterized as those graphs whose matching polynomials satisfy a certain recurrence relations and are related to the Hermite and Laguerre polynomials. An encoded graph invariant: The absolute value of the chromatic polynomial $χ(G,X)$ of a graph $G$ evaluated at $-1$ counts the number of acyclic orientations of $G$.
In this paper we prove a general theorem on graph families which are characterized by families of polynomials satisfying linear recurrence relations. This gives infinitely many instances similar to the characterization of $K_{n,n}$. We also show where to use, instead of the Hermite and Laguerre polynomials, linear recurrence relations where the coefficients do not depend on $n$.
Finally, we discuss the distinctive power of graph polynomials in specific form.
Generalized Dirichlet series of n variables associated with automatic sequences
This article consists to give a necessary and sufficient condition of the meromorphic continuity of Dirichlet series defined as $\sum_{x\in \mathbf{N}^n} \frac{a_{x}}{P(x)^s}$, Where $a_{x}$ is a $q$-automatic sequence of $n$ parameters and $P: \mathbf{C}^n \to \mathbf{C}$ a polynomial, such that $P$ does not have zeros on $\mathbf{Q}^{n}_{+}$. And some specific cases of $n=1$ will also be studied in this article as examples to show the possibility to have an holomorphic continuity on the whole complex plane. Some equivalences between infinite products are also built as consequences of these results.
Analysis of the gift exchange problem
Published
• View Publication
• BIB
In the gift exchange game there are n players and n wrapped gifts. When a player's number is called, that person can either choose one of the remaining wrapped gifts, or can "steal" a gift from someone who has already unwrapped it, subject to the restriction that no gift can be stolen more than a total of sigma times. The problem is to determine the number of ways that the game can be played out, for given values of sigma and n. Formulas and asymptotic expansions are given for these numbers. This work was inspired in part by a 2005 remark by Robert A. Proctor in the On-Line Encyclopedia of Integer Sequences.
Balanced subdivisions and flips on surfaces
Published
• View Publication
• BIB
In this paper, we show that two balanced triangulations of a closed surface are not necessary connected by a sequence of balanced stellar subdivisions and welds. This answers a question posed by Izmestiev, Klee and Novik. We also show that two balanced triangulations of a closed surface are connected by a sequence of three local operations, which we call the pentagon contraction, the balanced edge subdivision and the balanced edge weld. In addition, we prove that two balanced triangulations of the 2-sphere are connected by a sequence of pentagon contractions and their inverses if none of them are octahedral spheres.
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.