Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Diffusion: Quiescence and Perturbation
Originally proposed by Duffy et al., Diffusion is a variant of chip-firing in which chips from flow from places of high concentration to places of low concentration. In the variant, Perturbation Diffusion, the first step involves a "perturbation" in which some number of vertices send chips to each of their respective neighbours even though the rules of Diffusion only permit for chips to be sent from richer vertices to poorer vertices. Perturbation Diffusion allows us to expand our study of Diffusion by asking new questions such as ``Given an initial configuration, which vertices, when perturbed, will return the initial configuration after some number of steps in Diffusion." We give some results in this paper that begin to answer this question in the specific case of every vertex initially having 0 chips. We characterize some of the ways a graph can reach such a state in Perturbation Diffusion before focusing on paths in particular with more specific results.
Complete gentle and special biserial algebras are $g$-tame
Published in J Algebr Comb 57 (2023) 1103--1137
• View Publication
• BIB
The $g$-vectors of two-term presilting complexes are important invariants. We study a fan consisting of all $g$-vector cones for a complete gentle algebra. We show that any complete gentle algebra is $g$-tame, by definition, the closure of a geometric realization of its fan is the entire ambient vector space. Our main ingredients are their surface model and their asymptotic behavior under Dehn twists. On the other hand, it is known that any complete special biserial algebra is a factor algebra of a complete gentle algebra and the $g$-tameness is preserved under taking factor algebras. As a consequence, we get the $g$-tameness of complete special biserial algebras.
Proof of a conjecture of Adamchuk
Published in Journal of Combinatorial Theory, Series A (2021)
• View Publication
• BIB
In this paper, we prove a congruence which confirms a conjecture of Adamchuk. For any prime $p\equiv1\pmod3$ and $a\in\mathbb{Z}^{+}$, we have \begin{align*} \sum_{k=1}^{\frac{2}3(p^a-1)}\binom{2k}k\equiv0\pmod{p^2}. \end{align*}
Co-Prime Order graph of a finite abelian Group and Dihedral Group
Published
• View Publication
• BIB
The \textbf{Co-Prime Order Graph} $Θ(G)$ of a given finite group is a simple undirected graph whose vertex set is the group $G$ itself, and any two vertexes x,y in $Θ(G)$ are adjacent if and only if $gcd(o(x),o(y))=1$ or prime. In this paper, we find a precise formula to count the degree of a vertex in the Co-Prime Order graph of a finite abelian group or Dihedral group $D_n$.We also investigate the Laplacian spectrum of the Co-Prime Order Graph $Θ(G)$ when G is finite abelian p-group, ${\mathbb{Z}_p}^t \times {\mathbb{Z}_q}^s$ or Dihedral group $D_{p^n}$.
Key Words and Phrases: Co-Prime Order graph,finite abelian group,Dihedral group, Laplacian spectrum.
On two conjectural supercongruences of Z.-W. Sun
Published
• View Publication
• BIB
In this paper, we mainly prove two conjectural supercongruences of Sun by using the following identity $$ \sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2=16^n\sum_{k=0}^n\frac{\binom{n+k}{k}\binom{n}{k}\binom{2k}{k}^2}{(-16)^k} $$ which arises from a ${}_4F_3$ hypergeometric transformation. For any prime $p>3$, we prove that \begin{gather*} \sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+5p^3E_{p-3}\pmod{p^4},\\ \sum_{n=0}^{p-1}\frac{2n+1}{(-16)^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+3p^3E_{p-3}\pmod{p^4}, \end{gather*} where $E_{p-3}$ is the $(p-3)$th Euler number.
Partitioning planar graphs without $4$-cycles and $5$-cycles into bounded degree forests
Published
• View Publication
• BIB
In 1976, Steinberg conjectured that planar graphs without $4$-cycles and $5$-cycles are $3$-colorable. This conjecture attracted numerous researchers for about 40 years, until it was recently disproved by Cohen-Addad et al. (2017). However, coloring planar graphs with restrictions on cycle lengths is still an active area of research, and the interest in this particular graph class remains. Let $G$ be a planar graph without $4$-cycles and $5$-cycles. For integers $d_1$ and $d_2$ satisfying $d_1+d_2\geq8$ and $d_2\geq d_1\geq 2$, it is known that $V(G)$ can be partitioned into two sets $V_1$ and $V_2$, where each $V_i$ induces a graph with maximum degree at most $d_i$. Since Steinberg's Conjecture is false, a partition of $V(G)$ into two sets, where one induces an empty graph and the other induces a forest is not guaranteed. Our main theorem is at the intersection of the two aforementioned research directions. We prove that $V(G)$ can be partitioned into two sets $V_1$ and $V_2$, where $V_1$ induces a forest with maximum degree at most $3$ and $V_2$ induces a forest with maximum degree at most $4$; this is both a relaxation of Steinberg's conjecture and a strengthening of results by Sittitrai and Nakprasit (2019) in a much stronger form.
On sign-symmetric signed graphs
Published
• View Publication
• BIB
A signed graph is said to be sign-symmetric if it is switching isomorphic to its negation. Bipartite signed graphs are trivially sign-symmetric. We give new constructions of non-bipartite sign-symmetric signed graphs. Sign-symmetric signed graphs have a symmetric spectrum but not the other way around. We present constructions of signed graphs with symmetric spectra which are not sign-symmetric. This, in particular answers a problem posed by Belardo, Cioabă, Koolen, and Wang (2018).
Newton-Okounkov bodies of flag varieties and combinatorial mutations
Published
• View Publication
• BIB
A Newton-Okounkov body is a convex body constructed from a projective variety with a globally generated line bundle and with a higher rank valuation on the function field, which gives a systematic method of constructing toric degenerations of projective varieties. Its combinatorial properties heavily depend on the choice of a valuation, and it is a fundamental problem to relate Newton-Okounkov bodies associated with different kinds of valuations. In this paper, we address this problem for flag varieties using the framework of combinatorial mutations which was introduced in the context of mirror symmetry for Fano manifolds. By applying iterated combinatorial mutations, we connect specific Newton-Okounkov bodies of flag varieties including string polytopes, Nakashima-Zelevinsky polytopes, and FFLV polytopes.
Strictness of the log-concavity of generating polynomials of matroids
Published
• View Publication
• BIB
Recently, it was proved by Anari-Oveis Gharan-Vinzant, Anari-Liu-Oveis Gharan-Vinzant and Brändén-Huh that, for any matroid $M$, its basis generating polynomial and its independent set generating polynomial are log-concave on the positive orthant. Using these, they obtain some combinatorial inequalities on matroids including a solution of strong Mason's conjecture. In this paper, we study the strictness of the log-concavity of these polynomials and determine when equality holds in these combinatorial inequalities. We also consider a generalization of our result to morphisms of matroids.
The Number of Perfect Matchings in Möbius Ladders and Prisms
The 1970s conjecture of Lovász and Plummer that the number of perfect matchings in any $3$-regular graph is exponential in the number of vertices was proved in 2011 by Esperet, Kardoš, King, Král', and Norine. We give the exact formula for the number of perfect matchings in two families of $3$-regular graphs. In the graph consisting of a $2n$-cycle with diametric chords (also known as the Möbius ladder $M_n$ and a Harary graph) and in the cartesian product of the cycle $C_n$ with an edge (called the cycle prism), the number of matchings is the sum of the Fibonacci numbers $F_{n-1}$ and $F_{n+1}$, plus two more for the Möbius ladder when $n$ is odd and for the cycle prism when $n$ is even.
A proof of the Total Coloring Conjecture
\textit{Total Coloring} of a graph is a major coloring problem in combinatorial mathematics, introduced in the early $1960$s. A \textit{total coloring} of a graph $G$ is a map $f:V(G) \cup E(G) \rightarrow \mathcal{K}$, where $\mathcal{K}$ is a set of colors, satisfying the following three conditions: 1. $f(u) \neq f(v)$ for any two adjacent vertices $u, v \in V(G)$; 2. $f(e) \neq f(e')$ for any two adjacent edges $e, e' \in E(G)$; and 3. $f(v) \neq f(e)$ for any vertex $v \in V(G)$ and any edge $e \in E(G)$ that is incident to the same vertex $v$. The \textit{total chromatic number}, $χ''(G)$, is the minimum number of colors required for a \textit{total coloring} of $G$. Behzad (1965), and Vizing (1968), conjectured that for any graph $G$ $χ''(G)\leq Δ+ 2$. This conjecture is one of the classic unsolved mathematical problems. In this paper, we settle this classical conjecture by proving that the \textit{total chromatic number} $χ''(G)$ of a graph is indeed bounded above by $Δ+2$. Our novel approach involves algebraic settings over a finite field $\mathbb{Z}_p$ and Vizing's theorem is an essential part of the algebraic settings.
Double Lowering Operators on Polynomial
Published in SIGMA 17 (2021), 009, 38 pages
• View Publication
• BIB
Recently Sarah Bockting-Conrad introduced the double lowering operator $ψ$ for a tridiagonal pair. Motivated by $ψ$ we consider the following problem about polynomials. Let $\mathbb F$ denote an algebraically closed field. Let $x$ denote an indeterminate, and let $\mathbb F\lbrack x \rbrack$ denote the algebra consisting of the polynomials in $x$ that have all coefficients in $\mathbb F$. Let $N$ denote a positive integer or $\infty$. Let $\lbrace a_i\rbrace_{i=0}^{N-1}$, $\lbrace b_i\rbrace_{i=0}^{N-1}$ denote scalars in $\mathbb F$ such that $\sum_{h=0}^{i-1} a_h \not= \sum_{h=0}^{i-1} b_h$ for $1 \leq i \leq N$. For $0 \leq i \leq N$ define polynomials $τ_i, η_i \in \mathbb F\lbrack x \rbrack$ by $τ_i = \prod_{h=0}^{i-1} (x-a_h)$ and $η_i = \prod_{h=0}^{i-1} (x-b_h)$. Let $V$ denote the subspace of $\mathbb F\lbrack x \rbrack$ spanned by $\lbrace x^i\rbrace_{i=0}^N$. An element $ψ\in \operatorname{End}(V)$ is called double lowering whenever $ψτ_i \in \mathbb F τ_{i-1}$ and $ψη_i \in \mathbb F η_{i-1}$ for $0 \leq i \leq N$, where $τ_{-1}=0$ and $η_{-1}=0$. We give necessary and sufficient conditions on $\lbrace a_i\rbrace_{i=0}^{N-1}$, $\lbrace b_i\rbrace_{i=0}^{N-1}$ for there to exist a nonzero double lowering map. There are four families of solutions, which we describe in detail.
Notes on the Leonard system classification
Published
• View Publication
• BIB
Around 2001 we classified the Leonard systems up to isomorphism. The proof was lengthy and involved considerable computation. In this paper we give a proof that is shorter and involves minimal computation. We also give a comprehensive descriptionof the intersection numbers of a Leonard system.
Graph de Rham Cohomology and the Automorphsim Group
We introduce a graph-theoretical interpretation of an induced action of Aut$(Γ)$ in the discrete de Rham cohomology of a finite graph $Γ$. This action produces a splitting of Aut$(Γ)$ that depends on the cycles of $Γ$. We also prove some graph-theoretical analogues of standard results in differential geometry, in particular, a graph version of Stokes' Theorem and the Mayer-Vietoris sequence in cohomology.
Convexity deficit of benzenoids
Published
• View Publication
• BIB
In 2012, a family of benzenoids was introduced by Cruz, Gutman, and Rada, which they called convex benzenoids. In this paper we introduce the convexity deficit, a new topological index intended for benzenoids and, more generally, fusenes. This index measures by how much a given fusene departs from convexity. It is defined in terms of the boundary-edges code. In particular, convex benzenoids are exactly the benzenoids having convexity deficit equal to 0. Quasi-convex benzenoids form the family of non-convex benzenoids that are closest to convex, i.e., they have convexity deficit equal to 1. Finally, we investigate convexity deficit of several important families of benzenoids.
Equitable $d$-degenerate choosability of graphs
Published
• View Publication
• BIB
Let ${\mathcal D}_d$ be the class of $d$-degenerate graphs and let $L$ be a list assignment for a graph $G$. A colouring of $G$ such that every vertex receives a colour from its list and the subgraph induced by vertices coloured with one color is a $d$-degenerate graph is called the $(L,{\mathcal D}_d)$-colouring of $G$. For a $k$-uniform list assignment $L$ and $d\in\mathbb{N}_0$, a graph $G$ is equitably $(L,{\mathcal D}_d)$-colorable if there is an $(L,{\mathcal D}_d)$-colouring of $G$ such that the size of any colour class does not exceed $\left\lceil|V(G)|/k\right\rceil$. An equitable $(L,{\mathcal D}_d)$-colouring is a generalization of an equitable list coloring, introduced by Kostochka at al., and an equitable list arboricity presented by Zhang. Such a model can be useful in the network decomposition where some structural properties on subnets are imposed.
In this paper we give a polynomial-time algorithm that for a given $(k,d)$-partition of $G$ with a $t$-uniform list assignment $L$ and $t\geq k$, returns its equitable $(L,\mathcal{D}_{d-1})$-colouring. In addition, we show that 3-dimensional grids are equitably $(L,\mathcal{D}_1)$-colorable for any $t$-uniform list assignment $L$ where $t\geq 3$.
Large cycles in essentially 4-connected graphs
Tutte proved that every 4-connected planar graph contains a Hamilton cycle, but there are 3-connected $n$-vertex planar graphs whose longest cycles have length $Θ(n^{\log_32})$. On the other hand, Jackson and Wormald in 1992 proved that an essentially 4-connected $n$-vertex planar graph contains a cycle of length at least $(2n+4)/5$, which was recently improved to $5(n+2)/8$ by Fabrici {\it et al}. In this paper, we improve this bound to $\lceil (2n+6)/3\rceil$ for $n\ge 6$, which is best possible, by proving a quantitative version of a result of Thomassen on Tutte paths.
An Efficiently Generated Family of Binary de Bruijn Sequences
Published in Discrete Mathematics, Volume 344, Issue 6, June 2021, 112368
• View Publication
• BIB
We study how to generate binary de Bruijn sequences efficiently from the class of simple linear feedback shift registers with feedback function $f(x_0, x_1, \ldots, x_{n-1}) = x_0 + x_1 + x_{n-1}$ for $n \geq 3$, using the cycle joining method. Based on the properties of this class of LFSRs, we propose two new generic successor rules, each of which produces at least $2^{n-3}$ de Bruijn sequences. These two classes build upon a framework proposed by Gabric, Sawada, Williams and Wong in Discrete Mathematics vol. 341, no. 11, pp. 2977--2987, November 2018. Here we introduce new useful choices for the uniquely determined state in each cycle to devise valid successor rules. These choices significantly increase the number of de Bruijn sequences that can be generated. In each class, the next bit costs $O(n)$ time and $O(n)$ space for a fixed $n$.
Weak stuffle algebras
Published
• View Publication
• BIB
Motivated by q-shuffle products determined by Singer from q-analogues of multiple zeta values, we build in this article a generalisation of the shuffle and stuffle products in terms of weak shuffle and stuffle products. Then, we characterise weak shuffle products and give as examples the case of an alphabet of cardinality two or three. We focus on a comparison between algebraic structures respected in the classical case and in the weak case. As in the classical case, each weak shuffle product can be equipped with a dendriform structure. However, they have another behaviour towards the quadri-algebra and the Hopf algebra structure. We give some relations satisfied by weak stuffle products.
Closures of Union-Closed Families
Given a union-closed family $\mathcal{F}$ of subsets of the universe $[n]$, with $\mathcal{F}$ not equal to the power set of $[n]$, a new subset $A$ can be added to it such that the resulting family remains union-closed. We construct a new family $\overline{\mathcal{F}}$ by adding to $\mathcal{F}$ all such $A$'s, and call this the closure of $\mathcal F$. This paper is dedicated to the study of various properties of such closures, including characterizing families whose closures equal the power set of $[n]$, providing a criterion for the existence of closure roots of such families etc.