Showing 20 papers (Total: 82505 papers, 47699 authors in database)
55- and 56-configurations are reducible
Let $G$ be a 4-chromatic maximal planar graph (MPG) with the minimum degree of at least 4 and let $C$ be an even-length cycle of $G$.If $|f(C)|=2$ for every $f$ in some Kempe equivalence class of $G$, then we call $C$ an unchanged bichromatic cycle (UBC) of $G$, and correspondingly $G$ an unchanged bichromatic cycle maximal planar graph (UBCMPG) with respect to $C$, where $f(C)=\{f(v)| v\in V(C)\}$. For an UBCMPG $G$ with respect to an UBC $C$, the subgraph of $G$ induced by the set of edges belonging to $C$ and its interior (or exterior), denoted by $G^C$, is called a base-module of $G$; in particular, when the length of $C$ is equal to four, we use $C_4$ instead of $C$ and call $G^{C_4}$ a 4-base-module. In this paper, we first study the properties of UBCMPGs and show that every 4-base-module $G^{C_4}$ contains a 4-coloring under which $C_4$ is bichromatic and there are at least two bichromatic paths with different colors between one pair of diagonal vertices of $C_4$ (these paths are called module-paths). We further prove that every 4-base-module $G^{C_4}$ contains a 4-coloring (called decycle coloring) for which the ends of a module-path are colored by distinct colors. Finally, based on the technique of the contracting and extending operations of MPGs, we prove that 55-configurations and 56-configurations are reducible by converting the reducibility problem of these two classes of configurations into the decycle coloring problem of 4-base-modules.
Infinite Ramsey-minimal graphs for star forests
Published
• View Publication
• BIB
For graphs $F$, $G$, and $H$, we write $F \to (G,H)$ if every red-blue coloring of the edges of $F$ produces a red copy of $G$ or a blue copy of $H$. The graph $F$ is said to be $(G,H)$-minimal if it is subgraph-minimal with respect to this property. The characterization problem for Ramsey-minimal graphs is classically done for finite graphs. In 2021, Barrett and the second author generalized this problem to infinite graphs. They asked which pairs $(G,H)$ admit a Ramsey-minimal graph and which ones do not. We show that any pair of star forests such that at least one of them involves an infinite-star component admits no Ramsey-minimal graph. Also, we construct a Ramsey-minimal graph for a finite star forest versus a subdivision graph. This paper builds upon the results of Burr et al. in 1981 on Ramsey-minimal graphs for finite star forests.
Vertex-Face/Zeta correspondence
Published
• View Publication
• BIB
We present the characteristic polynomial for the transition matrix of a vertex-face walk on a graph, and obtain its spectra. Furthermore, we express the characteristic polynomial for the transition matrix of a vertex-face walk on the 2-dimensional torus by using its adjacency matrix, and obtain its spectra. As an application, we define a new walk-type zeta function with respect to the transition matrix of a vertex-face walk on the 2-dimensional torus, and present its explicit formula.
The $b$-weight distribution for MDS codes
Published
• View Publication
• BIB
For a positive integer $b\ge2$, the $b$-symbol code is a new coding framework proposed to combat $b$-errors in $b$-symbol read channels. Especially, the $2$-symbol code is called a symbol-pair code. Remarkably, a classical maximum distance separable (MDS) code is also an MDS $b$-symbol code. Recently, for any MDS code $\mathcal{C}$, Ma and Luo determined the symbol-pair weight distribution of $\mathcal{C}$. In this paper, by calculating the number of solutions for some equations and utilizing some shortened codes of $\mathcal{C}$, we give the connection between the $b$-weight distribution and the number of codewords in shortened codes of $\mathcal{C}$ with special shape. Furthermore, note that shortened codes of $\mathcal{C}$ are also MDS codes, the number of these codewords with special shape are also determined by the shorten method. From the above calculation, the $b$-weight distribution of $\mathcal{C}$ is determined. Our result generalies the corresonding result of Ma and Luo.
Asymptotics for the number of directions determined by $[n] \times [n]$ in $\mathbb{F}_p^2$
Published in Mathematika 68 (2022), no. 2, 511-534
• View Publication
• BIB
Let $p$ be a prime and $n$ a positive integer such that $\sqrt{\frac p2} + 1 \leq n \leq \sqrt{p}$. For any arithmetic progression $A$ of length $n$ in $\mathbb{F}_p$, we establish an asymptotic formula for the number of directions determined by $A \times A \subset \mathbb{F}_p^2$. The key idea is to reduce the problem to counting the number of solutions to the bilinear Diophantine equation $ad+bc=p$ in variables $1\le a,b,c,d\le n$; our asymptotic formula for the number of solutions is of independent interest.
Enumerating partitions arising in homotopy theory
Published
• View Publication
• BIB
We present an infinite family of recursive formulas that count binary integer partitions satisfying natural divisibility conditions and show that these counts are interrelated via partial sums. Moreover, we interpret the partitions we study in the language of graded polynomial rings and apply this to the mod $2$ Steenrod algebra to compute the free rank of certain homology modules in stable homotopy theory.
On central difference sets in Suzuki $p$-groups of type $A$
Published
• View Publication
• BIB
In this paper, when the order of $θ$ is even, we prove that there exists no central difference sets in $A_2(m,θ)$ and establish some non-existence results of central partial difference sets in $A_p(m,θ)$ with $p>2$. When the order of $θ$ is odd, we construct central difference sets in $A_2(m,θ)$. Furthermore, we give some reduced linking systems of difference sets in $A_2(m,θ)$ by using the difference sets we constructed. In the case $p>2$, we construct Latin square type central partial difference sets in $A_p(m,θ)$ by a similar method.
A Class of Simple Rearrangements of the Alternating Harmonic Series
Published in "A class of simple rearrangements of the alternating harmonic series." Amer. Math. Monthly 125 (2018), no. 3, 245-256
• View Publication
• BIB
We present an easily defined countable family of permutations of the natural numbers for which explicit rearrangements (i.e., the sums induced by the permutations) can be computed. The digamma function proves to be the key tool for the computations found here for the alternating harmonic series. The permutations $φ$ under consideration are simple in a sense: they are involutions ($φ\circφ$ is the identity function). We show that the countable set of rearrangements obtained from the simple involutions considered below are dense in the reals.
Vertex and edge metric dimensions of cacti
Published
• View Publication
• BIB
In a graph G; a vertex (resp. an edge) metric generator is a set of vertices S such that any pair of vertices (resp. edges) from G is distinguished by at least one vertex from S: The cardinality of a smallest vertex (resp. edge) metric generator is the vertex (resp. edge) metric dimension of G: In [19] we determined the vertex (resp. edge) metric dimension of unicyclic graphs and that it takes its value from two consecutive integers. Therein, several cycle configurations were introduced and the vertex (resp. edge) metric dimension takes the greater of the two consecutive values only if any of these configurations is present in the graph. In this paper we extend the result to cactus graphs i.e. graphs in which all cycles are pairwise edge disjoint. We do so by defining a unicyclic subgraph of G for every cycle of G and applying the already introduced approach for unicyclic graphs which involves the configurations. The obtained results enable us to prove the cycle rank conjecture for cacti. They also yield a simple upper bound on metric dimensions of cactus graphs and we conclude the paper by conjecturing that the same upper bound holds in general.
The maximum size of a graph with prescribed order, circumference and minimum degree
Erdős determined the maximum size of a nonhamiltonian graph of order $n$ and minimum degree at least $k$ in 1962. Recently, Ning and Peng generalized. Erdős' work and gave the maximum size $h(n,c,k)$ of graphs with prescribed order $n$, circumference $c$ and minimum degree at least $k.$ But for some triples $n,c,k,$ the maximum size is not attained by a graph of minimum degree $k.$ For example, $h(15,14,3)=77$ is attained by a unique graph of minimum degree $7,$ not $3.$ In this paper we obtain more precise information by determining the maximum size of a graph with prescribed order, circumference and minimum degree. Consequently we solve the corresponding problem for longest paths. All these results on the size of graphs have clique versions.
On the semitotal dominating sets of graphs
A set $D$ of vertices in an isolate-free graph $G$ is a semitotal dominating set of $G$ if $D$ is a dominating set of $G$ and every vertex in $D$ is within distance $2$ from another vertex of $D$.The semitotal domination number of $G$ is the minimum cardinality of a semitotal dominating set of $G$ and is denoted by $γ_{t2}(G)$. In this paper after computation of semitotal domination number of specific graphs, we count the number of this kind of dominating sets of arbitrary size in some graphs.
Dynamical characterization of central sets along filter
Published
• View Publication
• BIB
Using the notions of Topological dynamics, H. Furstenberg defined central sets and proved the Central Sets Theorem. Later V. Bergelson and N. Hindman characterized central sets in terms of algebra of the Stone-Čech Compactification of discrete semigroup. They found that central sets are the members of the minimal idempotents of $βS$, the Stone-Čech Compactification of a semigroup $\left(S,\cdot\right)$. We know that any closed subsemigroup of $βS$ is generated by a filter. We call a set $A$ to be a $\mathcal{F}$-central set if it is a member of a minimal idempotent of a closed subsemigroup of $βS$, generated by the filter $\mathcal{F}$. In this article we will characterize the $\mathcal{F}$-central sets dynamically.
Quasirandomness in additive groups and hypergraphs
Quasirandomness is a general mathematical concept meant to encapsulate several characteristics usually satisfied by random combinatorial objects, and which we regard as describing when a given object 'looks random'. In this survey we explore this general concept as it applies to graphs, hypergraphs and additive groups, making clear their many connections to each other and showing how they can be used in order to better study these objects.
Geometric vs Algebraic Nullity for Hyperpaths
Published
• View Publication
• BIB
We consider the question of how the eigenvarieties of a hypergraph relate to the algebraic multiplicities of their corresponding eigenvalues. Specifically, we (1) fully describe the irreducible components of the zero-eigenvariety of a loose $3$-hyperpath (its "nullvariety"), (2) use recent results of Bao-Fan-Wang-Zhu to compute the corresponding algebraic multiplicity of zero (its "nullity"), and then (3) for this special class of hypergraphs, verify a conjecture of Hu-Ye about the relationship between the geometric (multi-)dimension of the nullvariety and the nullity.
Spectra of new graph operations based on central graph
In this paper, we introduce central vertex corona, central edge corona, and central edge neighborhood corona of graphs using central graph. Also, we determine their adjacency spectrum, Laplacian spectrum and signless Laplacian spectrum. From our results, it is possible to obtain infinitely many pairs of adjacency (respectively, Laplacian and signless Laplacian) cospectral graphs. As an application, we calculate the number of spanning trees and the Kirchhoff index of the resulting graphs.
Permutation module decomposition of the second cohomology of a regular semisimple Hessenberg variety
Published
• View Publication
• BIB
Regular semisimple Hessenberg varieties admit actions of associated Weyl groups on their cohomology space of each degree. In this paper, we consider the module structure of the cohomology spaces of regular semisimple Hessenberg varieties of type $A$. We define a subset of the Bialynicki-Birula basis of the cohomology space so that they become a module generator set of the cohomology module of each degree. We then use those generators to construct permutation submodules of the degree two cohomology module and show that they form a permutation module decomposition. Our construction is consistent with a known combinatorial result by Chow on chromatic quasisymmetric functions.
Homomorphism counts in robustly sparse graphs
For a fixed graph $H$ and for arbitrarily large host graphs $G$, the number of homomorphisms from $H$ to $G$ and the number of subgraphs isomorphic to $H$ contained in $G$ have been extensively studied in extremal graph theory and graph limits theory when the host graphs are allowed to be dense. This paper addresses the case when the host graphs are robustly sparse and proves a general theorem that solves a number of open questions proposed since 1990s and strengthens a number of results in the literature.
We prove that for any graph $H$ and any set ${\mathcal H}$ of homomorphisms from $H$ to members of a hereditary class ${\mathcal G}$ of graphs, if ${\mathcal H}$ satisfies a natural and mild condition, and contracting disjoint subgraphs of radius $O(\lvert V(H) \rvert)$ in members of ${\mathcal G}$ cannot create a graph with large edge-density, then an obvious lower bound for the size of ${\mathcal H}$ gives a good estimation for the size of ${\mathcal H}$. This result determines the maximum number of $H$-homomorphisms, the maximum number of $H$-subgraphs, and the maximum number $H$-induced subgraphs in graphs in any hereditary class with bounded expansion up to a constant factor; it also determines the exact value of the asymptotic logarithmic density for $H$-homomorphisms, $H$-subgraphs and $H$-induced subgraphs in graphs in any hereditary nowhere dense class. Hereditary classes with bounded expansion include (topological) minor-closed families and many classes of graphs with certain geometric properties; nowhere dense classes are the most general sparse classes in sparsity theory. Our machinery also allows us to determine the maximum number of $H$-subgraphs in the class of all $d$-degenerate graphs with any fixed $d$.
Moments of Subsets of General Equiangular Tight Frames
This note outlines the steps for proving that the moments of a randomly-selected subset of a general ETF (complex, with aspect ratio $0<γ<1$) converge to the corresponding MANOVA moments. We bring here an extension for the proof of the 'Kesten-Mckay' moments (real ETF, $γ=1/2$) \cite{magsino2020kesten}. In particular, we establish a recursive computation of the $r$th moment, for $r = 1,2,\ldots$, and verify, using a symbolic program, that the recursion output coincides with the MANOVA moments.
Bipartite cubic planar graphs are dispersable
The book embedding of a graph $G$ is to place the vertices of $G$ on the spine and draw the edges to the pages so that the edges in the same page do not cross with each other. A book embedding is matching if the vertices in the same page have maximum degree at most 1. The matching book thickness is the minimum number of pages in which a graph can be matching book embedded. A graph $G$ is dispersable if and only if $mbt(G)=Δ(G)$. In this paper, we prove that bipartite cubic planar graphs are dispersable.
The fractional chromatic number of $K_Δ$-free graphs
Published
• View Publication
• BIB
For a simple graph $G$, let $χ_f(G)$ be the fractional chromatic number of $G$. In this paper, we aim to establish upper bounds on $χ_f(G)$ for those graphs $G$ with restrictions on the clique number. Namely, we prove that for $Δ\geq 4$, if $G$ has maximum degree at most $Δ$ and is $K_Δ$-free, then $χ_f(G) \leq Δ-\tfrac{1}{8}$ unless $G= C^2_8$ or $G = C_5\boxtimes K_2$. This im proves the result in [King, Lu, and Peng, SIAM J. Discrete Math., 26(2) (2012), pp. 452-471] for $Δ\geq 4$ and the result in [Katherine and King, SIAM J.Discrete Math., 27(2) (2013), pp. 1184-1208] for $Δ\in \{6,7,8\}$.