Showing 20 papers (Total: 81564 papers, 47262 authors in database)
The Smith normal form of the Q-walk matrix of the Dynkin graph $A_n$
In this paper, we give an explicit formula for the rank of the $Q$-walk matrix of the Dynkin graph $A_n$. Moreover, we prove that its Smith normal form is $$ \mathrm{diag}\left( \underset{r=\lceil \frac{n}{2} \rceil}{\underbrace{1,2,2,...,2}},0,...,0 \right), $$ where $r$ is the rank of the $Q$-walk matrix $W_Q\left( A_n \right) $ of the Dynkin graph $A_n$.
Undecidability of the elementary theory of Young--Fibonacci lattice
For a poset $(P,\leqslant)$ we consider the first-order theory, that is defined by set $P$ and relation $\leqslant$. The problem of undecidability of combinatorial theories attracts significant attention. Recently A. Wires proved the undecidability of the elementary theory of Young lattice and also established the maximal definability property of this theory. The purpose of this article is to obtain the same results for another graded lattice, which has much in common with Young lattice: Young--Fibonacci lattice. As Wires does for Young lattice, for the proof of undecidability we define Arithmetic into this theory.
Central measures on the r-differential version of the Young--Fibonacci graph
We describe Martin boundary of the path space of $r$-differential version of Young--Fibonacci graph. Also we establish ergodicity of the corresponding measures.
Extremal results on $k$-stepwise irregular graphs
Published in Appl. Math. Comput. 514 (2026) Paper 129818, 7 pp
• View Publication
• BIB
For a positive integer $k\ge 1$, a graph $G$ is $k$-stepwise irregular ($k$-SI graph) if the degrees of every pair of adjacent vertices differ by exactly $k$. Such graphs are necessarily bipartite. Using graph products it is demonstrated that for any $k\ge 1$ and any $d \ge 2$ there exists a $k$-SI graph of diameter $d$. A sharp upper bound for the maximum degree of a $k$-SI graph of a given order is proved. The size of $k$-SI graphs is bounded in general and in the special case when $\gcd(Δ(G), k) = 1$. Along the way the degree complexity of a graph is introduced and used.
On the metric dimension of the character degree graph of a solvable group
Published
• View Publication
• BIB
Let $G$ be a finite solvable group and let $Δ(G)$ be the character degree graph of $G$. In this paper, we obtain the metric dimension of certain character degree graphs. Specifically, we calculate the metric dimension for a regular character degree graph, a character degree graph with a diameter of $2$ that is not a block, a character degree graph with a diameter of $3$ that also has a cut vertex and a character degree graph with Fitting height $2.$ We also consider two related parameters, base size and adjacency dimension, and their relation to metric dimension for character degree graphs of solvable groups.
Near-factorizations of dihedral groups
Published
• View Publication
• BIB
We investigate near-factorizations of nonabelian groups, concentrating on dihedral groups. We show that some known constructions of near-factorizations in dihedral groups yield equivalent near-factorizations. In fact, there are very few known examples of nonequivalent near-factorizations in dihedral or other nonabelian groups; we provide some new examples with the aid of the computer. We also analyse a construction for near-factorizations in dihedral groups from near-factorizations in cyclic groups, due to Pêcher, and we investigate when nonequivalent near-factorizations can be obtained by this method.
Uniqueness and explicit computation of mates in near-factorizations
Published
• View Publication
• BIB
We show that a "mate'' $B$ of a set $A$ in a near-factorization $(A,B)$ of a finite group $G$ is unique. Further, we describe how to compute the mate $B$ very efficiently using an explicit formula for $B$. We use this approach to give an alternate proof of a theorem of Wu, Yang and Feng, which states that a strong circular external difference family cannot have more than two sets. We prove some new structural properties of near-factorizations in certain classes of groups. Then we examine all the noncyclic abelian groups of order less than $200$ in a search for a possible nontrivial near-factorization. All of these possibilities are ruled out, either by theoretical criteria or by exhaustive computer searches. (In contrast, near-factorizations in cyclic or dihedral groups are known to exist by previous results.) We also look briefly at nontrivial near-factorizations of index $λ> 1$ in noncyclic abelian groups. Various examples are found with $λ= 2$ by computer.
Van der Waerden type theorem for amenable groups and FC-groups
We prove that for a discrete, countable, and amenable group $G$, if the direct product $G^2=G \times G$ is finitely colored then $\{ g \in G : \text{exists } (x,y) \in G^2 \text{ such that } \{ (x,y),(xg,y),(xg,yg)\} \text{ is monochromatic} \}$, is left IP$^{\ast}$. This partially solves a conjecture of V. Bergelson and R. McCutcheon. Moreover, we prove that the result holds for $G^m$ if $G$ is an FC-group, i.e., all conjugacy classes of $G$ are finite.
The Heawood approach to Tait colorings and defining vertex sets
Given a simple biconnected planar cubic graph, we associate each its vertex among $2n$ ones with the so-called spin, i.e., a variable which takes on values $\pm 1$. P. J. Heawood has proved that a Tait coloring, accurate to the choice of a color for one edge, is equivalent to the choice of spin values so as to make the sum of these value at vertices of any face be a multiple of~3. We treat faces, which satisfy this condition, as {\it proper}. The condition that guarantee the propriety of faces define a system of linear equations (SLE) with respect to variables, which take on nonzero values in the field ${\mathbb F}_3$. We say that a set of vertices is {\it defining} if values of spins of these vertices uniquely define values of the rest spins. In particular, so is the set of vertices which correspond to all free variables of the SLE. We actualize the approach proposed by P. J. Heawood by proposing a geometric proof of the fact that for a non-bipartite graph the rank of the SLE equals $n+1$. Moreover, we also geometrically describe the necessary condition for the minimality of the defining set. This implies that in the case of a non-bipartite graph there exist defining subsets consisting of $n-1$ vertices. As a simple corollary, we conclude that the number of Tait colorings in this case does not exceed $3\cdot 2^{n-1}$. Though this estimate is not exact, it is by half better than the known one. We also prove that the number of Tait colorings for a graph $CL_n$, which is bipartite for even $n$ and non-bipartite for an odd one, equals $2^n+8$ and $2^n-2$, correspondingly.
Finding hypergraph immersion is fixed-parameter tractable
Immersion minor is an important variant of graph minor, defined through an injective mapping from vertices in a smaller graph $H$ to vertices in a larger graph $G$ where adjacent elements of the former are connected in the latter by edge-disjoint paths. Here, we consider the immersion problem in the emerging field of hypergraphs. We first define hypergraph immersion by extending the injective mapping to hypergraphs. We then prove that finding a hypergraph immersion is fixed-parameter tractable, namely, there exists an $O(N^6)$ polynomial-time algorithm to determine whether a fixed hypergraph $H$ can be immersed in a hypergraph $G$ with $N$ vertices. Additionally, we present the dual hypergraph immersion problem and provide further characteristics of the algorithmic complexity.
Edge zeta function and closed cycles in the standard non-uniform complex from $\operatorname{PGL}_3$
In this paper, we define the edge zeta function of weighted complex. We also present the formula for the edge zeta function of the standard non-uniform complex $\operatorname{PGL}(3,\mathbb{F}_q[t])\backslash\operatorname{PGL}(3,\mathbb{F}_q(\!(t^{-1})\!))/\operatorname{PGL}(3,\mathbb{F}_q[\![t^{-1}]\!])$, arising from the group $\operatorname{PGL}_3$, as a rational function. Applying trunction in a specific direction is one of the main ingredient. As a result, we obtain the exact formula for the number of closed cycles coming from geodesics in the building.
Laplacian Spectrum of Super Graphs defined on Certain Non-abelian Groups
Published
• View Publication
• BIB
Given a graph $A$ on a group $G$ and an equivalence relation $B$ on $G$, the $B$ super$A$ graph, whose vertex set is $G$ and two vertices $g$, $h$ are adjacent if and only if there exist $g^{\prime} \in[g]$ and $h^{\prime} \in[h]$ such that $g^{\prime}$ and $h^{\prime}$ are adjacent in $A$. Recently, Dalal \emph{et al.} (Spectrum of super commuting graphs of some finite groups, \textit{Computational and Applied Mathematics}, 43(6):348, 2024) obtain the Laplacian spectrum of supercommuting graphs of certain non-abelian groups including the dihedral group and the generalized quaternion group. In this paper, we continue the study of Laplacian spectrum of certian $B$ super$A$ graphs. We obtain the Laplacian spectrum of conjugacy superenhanced power graphs of certain non-abelian groups, namely: dihedral group, generalized quaternion group and semidihedral group. Moreover to enhance the work of Dalal \emph{et al}, we obtain the Laplacian spectrum of conjugacy supercommuting graph of semidihedral group. We prove that graphs considered in this paper are $L$-integral.
Quiver presentations and Schur--Weyl duality for Khovanov arc algebras
We provide an ${\rm Ext}$-quiver and relations presentation of the Khovanov arc algebras and prove a precise analogue of the Kleshchev--Martin conjecture in this setting.
Phase transition of degenerate Turán problems in $p$-norms
Published
• View Publication
• BIB
For a positive real number $p$, the $p$-norm $\left\lVert G \right\rVert_p$ of a graph $G$ is the sum of the $p$-th powers of all vertex degrees. We study the maximum $p$-norm $\mathrm{ex}_{p}(n,F)$ of $F$-free graphs on $n$ vertices. Füredi and Kündgen \cite{FK06} show that for every bipartite graph $F$, there exists a threshold $p_F$ such that for $p< p_{F}$, the order of $\mathrm{ex}_{p}(n,F)$ is governed by pseudorandom constructions, while for $p > p_{F}$, it is governed by star-like constructions, assuming a mild assumption on the growth rate of $\mathrm{ex}(n,F)$. The main contribution of our paper is extending this result to hypergraph. Moreover, in the case of graph, our proof differs from that in \cite{FK06}, offering the advantage of producing the correct constant factor when $p > p_{F}$.
When $p = p_F$, Füredi and Kündgen proved a general upper bound on $\mathrm{ex}_{p}(n,F)$, tight up to a $\log n$ factor, and conjectured that this factor is unnecessary. We confirm this conjecture for several well-studied bipartite graphs, including one-side degree-bounded graphs and families of short even cycles.
Expander representations of quivers
Published
• View Publication
• BIB
We propose a definition of expander representations of quivers, generalizing dimension (or linear algebra) expanders, as a qualitative refinement of slope stability. We prove existence of uniform expander representations for any wild quiver over an algebraically closed base field, using the concept of general subrepresentations and spectral properties of Cartan matrices.
3-uniform monotone paths and multicolor Ramsey numbers
Published
• View Publication
• BIB
The monotone path $P_{n+2}$ is an ordered 3-uniform hypergraph whose vertex set has size $n+2$ and edge set consists of all consecutive triples. In this note, we consider the collection $\mathcal{J}_n$ of ordered 3-uniform hypergraphs named monotone paths with $n$ jumps, and we prove the following relation \begin{equation*} r(3;n) \leq R(P_{n+2},\mathcal{J}_n) \leq 4^n \cdot r(3;n), \end{equation*} where $r(3;n)$ is the multicolor Ramsey number for triangles and $R(P_{n+2},\mathcal{J}_n)$ is the hypergraph Ramsey number for $P_{n+2}$ versus any member of $\mathcal{J}_n$. In particular, whether $r(3;n)$ is exponential, which is a very old problem of Erdős, is equivalent to whether $R(P_{n+2},\mathcal{J}_n)$ is exponential.
A sharp spectral extremal result for general non-bipartite graphs
Published
• View Publication
• BIB
For a graph family $\mathcal F$, let $\mathrm{ex}(n,\mathcal F)$ and $\mathrm{spex}(n,\mathcal F)$ denote the maximum number of edges and maximum spectral radius of an $n$-vertex $\mathcal F$-free graph, respectively, and let $\mathrm{EX}(n,\mathcal F)$ and $\mathrm{SPEX}(n,\mathcal F)$ denote the corresponding sets of extremal graphs. Wang, Kang, and Xue showed that if $r\ge 2$ and $\mathrm{ex}(n,F)=e(T_{n,r})+O(1)$ then $\mathrm{SPEX}(n,\mathcal F)\subseteq\mathrm{EX}(n,\mathcal F)$ for $n$ large enough. Fang, Tait, and Zhai extended this result by showing if $e(T_{n,r})\le\mathrm{ex}(n,\mathcal F)<e(T_{n,r})+\lfloor n/2r\rfloor$ then $\mathrm{SPEX}(n,\mathcal F)\subseteq\mathrm{EX}(n,\mathcal F)$ for $n$ large enough, and asked for the maximum constant $c(r)$ such that $\mathrm{ex}(n,\mathcal F)\le e(T_{n,r})+(c(r)-\varepsilon)n$ guarantees such containment. In this paper we determine $c(r)$ exactly for all $r\ge 3$.
Transformation representations of diagram monoids
Published
• View Publication
• BIB
We obtain formulae for the minimum transformation degrees of the most well-studied families of finite diagram monoids, including the partition, Brauer, Temperley--Lieb and Motzkin monoids. For example, the partition monoid $P_n$ has degree $1 + \frac{B(n+2)-B(n+1)+B(n)}2$ for $n\geq2$, where these are Bell numbers. The proofs involve constructing explicit faithful representations of the minimum degree, many of which can be realised as (partial) actions on projections.
The independence polynomial on recursive sequences of graphs
We study the zero sets of the independence polynomial on recursive sequences of graphs. We prove that for a maximally independent starting graph and a stable and expanding recursion algorithm, the zeros of the independence polynomial are uniformly bounded. Each of the recursion algorithms leads to a rational dynamical system whose formula, degree and the dimension of the space it acts upon depend on the specific algorithm. Nevertheless, we demonstrate that the qualitative behavior of the dynamics exhibit universal features that can be exploited to draw conclusions about the zero sets.
Spreading in claw-free cubic graphs
Let $p \in \mathbb{N}$ and $q \in \mathbb{N} \cup \lbrace \infty \rbrace$. We study a dynamic coloring of the vertices of a graph $G$ that starts with an initial subset $S$ of blue vertices, with all remaining vertices colored white. If a white vertex~$v$ has at least~$p$ blue neighbors and at least one of these blue neighbors of~$v$ has at most~$q$ white neighbors, then by the spreading color change rule the vertex~$v$ is recolored blue. The initial set $S$ of blue vertices is a $(p,q)$-spreading set for $G$ if by repeatedly applying the spreading color change rule all the vertices of $G$ are eventually colored blue. The $(p,q)$-spreading set is a generalization of the well-studied concepts of $k$-forcing and $r$-percolating sets in graphs. For $q \ge 2$, a $(1,q)$-spreading set is exactly a $q$-forcing set, and the $(1,1)$-spreading set is a $1$-forcing set (also called a zero forcing set), while for $q = \infty$, a $(p,\infty)$-spreading set is exactly a $p$-percolating set. The $(p,q)$-spreading number, $σ_{(p,q)}(G)$, of $G$ is the minimum cardinality of a $(p,q)$-spreading set. In this paper, we study $(p,q)$-spreading in claw-free cubic graphs. While the zero-forcing number of claw-free cubic graphs was studied earlier, for each pair of values $p$ and $q$ that are not both $1$ we either determine the $(p,q)$-spreading number of a claw-free cubic graph $G$ or show that $σ_{(p,q)}(G)$ attains one of two possible values.