Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Discrete diffusion-type equation on regular graphs and its applications
Published
• View Publication
• BIB
We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further, we develop three applications. The first one is to derive a general trace formula that relates the spectral data on $X$ to its topological data. Though we emphasize the results in the case when $X$ is finite, our method also applies when $X$ has a countably infinite number of vertices. As a second application, we obtain a closed-form expression for the return time probability distribution of the uniform random walk on any $(q+1)$-regular graph. The expression is obtained by relating $K_{X}(x,x_{0};t)$ to the uniform random walk on a $(q+1)$-regular graph. We then show that if $\{X_{h}\}$ is a sequence of $(q+1)$-regular graphs whose number of vertices goes to infinity and which satisfies a certain natural geometric condition, then the limit of the return time probability distributions from $\{X_{h}\}$ is equal to the return time probability distribution on the tree $T_{q+1}$. As a third application, we derive formulas which express the number of distinct closed irreducible walks without tails on a finite graph $X$ in terms of moments of the spectrum of its adjacency matrix.
A profinite approach to complete bifix decodings of recurrent languages
Published in Forum Mathematicum, vol. 35, no. 4, 2023, pp. 1021-1045
• View Publication
• BIB
We approach the study of complete bifix decodings of (uniformly) recurrent languages with the help of the free profinite monoid. We show that the complete bifix decoding of a uniformly recurrent language $F$ by an $F$-charged rational complete bifix code is uniformly recurrent. An analogous result is obtained for recurrent languages.
Proof of an open problem on the Sombor index
Published
• View Publication
• BIB
The Sombor index is one of the geometry-based descriptors, which was defined as $$SO(G)=\sum_{uv\in E(G)}\sqrt{d^{2}(u)+d^{2}(v)},$$ where $d(u)$ (resp. $d(v)$) denotes the degree of vertex $u$ (resp. $v$) in $G$. In this note, we determine the maximum and minimum graphs with respect to the Sombor index among the set of graphs with vertex connectivity (resp. edge connectivity) at most $k$, which solves an open problem on the Sombor index proposed by Hayat and Rehman [On Sombor index of graphs with a given number of cut-vertices, MATCH Commun. Math. Comput. Chem. 89 (2023) 437--450]. For some of the conclusions of the above paper, we give some counterexamples. At last, we give the QSPR analysis with regression modeling and Sombor index.
Homomorphically Full Oriented Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (October 2, 2023) dmtcs:9957
• View Publication
• BIB
Homomorphically full graphs are those for which every homomorphic image is isomorphic to a subgraph. We extend the definition of homomorphically full to oriented graphs in two different ways. For the first of these, we show that homomorphically full oriented graphs arise as quasi-transitive orientations of homomorphically full graphs. This in turn yields an efficient recognition and construction algorithms for these homomorphically full oriented graphs. For the second one, we show that the related recognition problem is GI-hard, and that the problem of deciding if a graph admits a homomorphically full orientation is NP-complete. In doing so we show the problem of deciding if two given oriented cliques are isomorphic is GI-complete.
Defective coloring is perfect for minors
Published in Combinatorica 44 (2024), 467-507
• View Publication
• BIB
The defective chromatic number of a graph class is the infimum $k$ such that there exists an integer $d$ such that every graph in this class can be partitioned into at most $k$ induced subgraphs with maximum degree at most $d$. Finding the defective chromatic number is a fundamental graph partitioning problem and received attention recently partially due to Hadwiger's conjecture about coloring minor-closed families. In this paper, we prove that the defective chromatic number of any minor-closed family equals the simple lower bound obtained by the standard construction, confirming a conjecture of Ossona de Mendez, Oum, and Wood. This result provides the optimal list of unavoidable finite minors for infinite graphs that cannot be partitioned into a fixed finite number of induced subgraphs with uniformly bounded maximum degree. As corollaries about clustered coloring, we obtain a linear relation between the clustered chromatic number of any minor-closed family and the tree-depth of its forbidden minors, improving an earlier exponential bound proved by Norin, Scott, Seymour, and Wood and confirming the planar case of their conjecture.
Binomial edge ideals of weakly closed graphs
Published
• View Publication
• BIB
Closed graphs have been characterized by Herzog et al. as the graphs whose binomial edge ideals have a quadratic Gröbner basis with respect to a diagonal term order. In this paper, we focus on a generalization of closed graphs, namely weakly-closed graphs (or co-comparability graphs). Build on some results about Knutson ideals of generic matrices, we characterize weakly closed graphs as the only graphs whose binomial edge ideals are Knutson ideals for a certain polynomial $f$. In doing so, we re-prove Matsuda's theorem about the F-purity of binomial edge ideals of weakly closed graphs in positive characteristic and we extend it to generalized binomial edge ideals. Furthermore, we give a characterization of weakly closed graphs in terms of the minimal primes of their binomial edge ideals and we characterize all minimal primes of Knutson ideals for this choice of $f$.
Adjacent Vertex Distinguishing Total Coloring of Corona Product of Graphs
An adjacent vertex distinguishing total $k$-coloring $f$ of a graph $G$ is a proper total $k$-coloring of $G$ such that no pair of adjacent vertices has the same color sets, where the color set at a vertex $v$, $C^G_f(v)$, is $\{f(v)\} \cup \{f(vu)|u \in V (G), vu \in E(G)\}$. In 2005 Zhang et al. posted the conjecture (AVDTCC) that every simple graph $G$ has adjacent vertex distinguishing total $(Δ(G)+3)$-coloring. In this paper we confirm the conjecture for many coronas, in particular for generalized, simple and $l$-coronas of graphs, not relating the results to particular graph classes.
The Moore-Penrose Inverse of the Distance Matrix of a Helm Graph
Published
• View Publication
• BIB
In this paper, we give necessary and sufficient conditions for a real symmetric matrix, and in particular, for the distance matrix $D(H_n)$ of a helm graph $H_n$ to have their Moore-Penrose inverses as the sum of a symmetric Laplacian-like matrix and a rank one matrix. As a consequence, we present a short proof of the inverse formula, given by Goel (Linear Algebra Appl. 621:86--104, 2021), for $D(H_n)$ when $n$ is even. Further, we derive a formula for the Moore-Penrose inverse of singular $D(H_n)$ that is analogous to the formula for $D(H_n)^{-1}$. Precisely, if $n$ is odd, we find a symmetric positive semidefinite Laplacian-like matrix $L$ of order $2n-1$ and a vector $\mathbf{w}\in \mathbb{R}^{2n-1}$ such that
\begin{eqnarray*}
D(H_n)\ssymbol{2} = -\frac{1}{2}L + \frac{4}{3(n-1)}\mathbf{w}\mathbf{w^{\prime}},
\end{eqnarray*} where the rank of $L$ is $2n-3$. We also investigate the inertia of $D(H_n)$.
Adjacency and Broadcast Dimension of Grid and Directed Graphs
Let $G$ be a simple undirected graph. A function $f : V(G) \to \mathbb{Z}_{\geq 0}$ is a $\textit{resolving broadcast}$ of $G$ if for any distinct $x, y \in V(G)$, there exists a vertex $z \in V(G)$ with $f(z) > 0$ such that $\min \{ d(z, x), f(z)+1 \} \neq \min \{ d(z, y), f(z)+1 \}$. The $\textit{broadcast dimension}$ $\text{bdim}(G)$ of $G$ is the minimum of $\sum_{v \in V(G)} f(v)$ over all resolving broadcasts $f$ of $G$. Similarly, the $\textit{adjacency dimension}$ $\text{adim}(G)$ of $G$ is the minimum of $\sum_{v \in V(G)} f(v)$ over all resolving broadcasts $f$ of $G$ where $f$ takes values in $\{0,1\}$. These parameters are defined analogously for directed graphs by considering directed distances.
We partially resolve a question of Zhang by obtaining precise bounds for the adjacency dimension of certain Cartesian products of path graphs, namely $\text{adim}(P_2 \square P_n)$ and $\text{adim}(P_3 \square P_n)$. Additionally, we study the behavior of adjacency and broadcast dimension on directed graphs. First, we explicitly calculate the adjacency dimension of a directed complete $k$-ary tree, where every edge is directed towards the leaves. Next, we prove that $\text{adim}(\vec{G}) = \text{bdim}(\vec{G})$ for some particular directed trees $\vec{G}$. Furthermore, we show that $\text{bdim}(G)$ can be as large as an exponential function of $\text{bdim}(\vec{G})$ or as small as a logarithmic function of $\text{bdim}(\vec{G})$.
Characterizing graphs with fully positive semidefinite $Q$-matrices
Published in Linear Algebra Appl. 671 (2023) 59-66
• View Publication
• BIB
For $q\in\mathbb{R}$, the $Q$-matrix $Q=Q_q$ of a connected simple graph $G=(V,E)$ is $Q_q=(q^{\partial(x,y)})_{x,y\in V}$, where $\partial$ denotes the path-length distance. Describing the set $π(G)$ consisting of those $q\in \mathbb{R}$ for which $Q_q$ is positive semidefinite is fundamental in asymptotic spectral analysis of graphs from the viewpoint of quantum probability theory. Assume that $G$ has at least two vertices. Then $π(G)$ is easily seen to be a nonempty closed subset of the interval $[-1,1]$. In this note, we show that $π(G)=[-1,1]$ if and only if $G$ is isometrically embeddable into a hypercube (infinite-dimensional if $G$ is infinite) if and only if $G$ is bipartite and does not possess certain five-vertex configurations, an example of which is an induced $K_{2,3}$.
Birational rowmotion on a rectangle over a noncommutative ring
Published in Combinatorial Theory, 3(3) (2023)
• View Publication
• BIB
We extend the periodicity of birational rowmotion for rectangular posets to the case when the base field is replaced by a noncommutative ring (under appropriate conditions). This resolves a conjecture from 2014. The proof uses a novel approach and is fully self-contained.
Consider labellings of a finite poset $P$ by $\left|P\right| + 2$ elements of a ring $\mathbb{K}$: one label associated with each poset element and two constant labels for the added top and bottom elements in $\hat{P}$. *Birational rowmotion* is a partial map on such labellings. It was originally defined by Einstein and Propp for $\mathbb{K}=\mathbb{R}$ as a lifting (via detropicalization) of *piecewise-linear rowmotion*, a map on the order polytope $\mathcal{O}(P) := \{\text{order-preserving } f: P \to[0,1]\}$. The latter, in turn, extends the well-studied rowmotion map on the set of order ideals (or more properly, the set of order filters) of $P$, which correspond to the vertices of $\mathcal{O}(P)$. Dynamical properties of these combinatorial maps sometimes (but not always) extend to the birational level, while results proven at the birational level always imply their combinatorial counterparts. Allowing $\mathbb{K}$ to be noncommutative, we generalize the birational level even further, and some properties are in fact lost at this step.
In 2014, the authors gave the first proof of periodicity for birational rowmotion on rectangular posets (when $P$ is a product of two chains) for $\mathbb{K}$ a field, and conjectured that it survives (in an appropriately twisted form) in the noncommutative case. In this paper, we prove this noncommutative periodicity and a concomitant antipodal reciprocity formula. We end with some conjectures about periodicity for other posets, and the question of whether our results can be extended to (noncommutative) semirings.
Ramsey numbers upon vertex deletion
Published
• View Publication
• BIB
Given a graph $G$, its Ramsey number $r(G)$ is the minimum $N$ so that every two-coloring of $E(K_N)$ contains a monochromatic copy of $G$. It was conjectured by Conlon, Fox, and Sudakov that if one deletes a single vertex from $G$, the Ramsey number can change by at most a constant factor. We disprove this conjecture, exhibiting an infinite family of graphs such that deleting a single vertex from each decreases the Ramsey number by a super-constant factor.
One consequence of this result is the following. There exists a family of graphs $\{G_n\}$ so that in any Ramsey coloring for $G_n$ (that is, a coloring of a clique on $r(G_n)-1$ vertices with no monochromatic copy of $G_n$), one of the color classes has density $o(1)$.
On the Sombor index of graphs with given connectivity and number of bridges
Recently in 2021, Gutman introduced the Sombor index of a graph, a novel degree-based topological index. It has been shown that the Sombor index efficiently models the thermodynamic properties of chemical compounds. Assume $\mathbb{B}_n^k$ (resp. $\mathbb{V}_n^k$) comprises all graphs with order $n$ having number of bridges (resp. vertex-connectivity) $k$. Horoldagva & Xu (2021) characterized graphs achieving the maximum Sombor index of graphs in $\mathbb{B}_n^k$. This paper characterizes graphs achieving the minimum Sombor index in $\mathbb{B}_n^k$. Certain auxiliary operation on graphs in $\mathbb{B}_n^k$ are introduced and employed for the characterization. Moreover, we characterize graphs achieving maximum Sombor index in $\mathbb{V}_n^k$. ome open problems, which naturally arise from this work, have been proposed at the end.
Product structure of graph classes with strongly sublinear separators
We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more precise result, we show that if any hereditary graph class $\mathcal{G}$ admits $O(n^{1-ε})$ separators, then for any fixed $δ\in(0,ε)$ every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-depth and a complete graph of size $O(n^{1-ε+δ})$. This result holds with $δ=0$ if we allow $H$ to have tree-depth $O(\log\log n)$. Moreover, using extensions of classical isoperimetric inequalties for grids graphs, we show the dependence on $δ$ in our results and the above $\text{td}(H)\in O(\log\log n)$ bound are both best possible. We prove that $n$-vertex graphs of bounded treewidth are subgraphs of the product of a graph with tree-depth $t$ and a complete graph of size $O(n^{1/t})$, which is best possible. Finally, we investigate the conjecture that for any hereditary graph class $\mathcal{G}$ that admits $O(n^{1-ε})$ separators, every $n$-vertex graph in $\mathcal{G}$ is a subgraph of the strong product of a graph $H$ with bounded tree-width and a complete graph of size $O(n^{1-ε})$. We prove this for various classes $\mathcal{G}$ of interest.
The oriented relative clique number of triangle-free planar graphs is 10
In relation to oriented coloring and chromatic number, the parameter oriented relative clique number of an oriented graph $\overrightarrow{G}$, denoted by $ω_{ro}(\overrightarrow{G})$, is the main focus of this work. We solve an open problem mentioned in the recent survey on oriented coloring by Sopena (Discrete Mathematics 2016), and positively settle a conjecture due to Sen (PhD thesis 2014), by proving that the maximum value of $ω_{ro}(\overrightarrow{G})$ is $10$ when $\overrightarrow{G}$ is a planar graph.
Maniplexes with automorphism group $\textrm{PSL}_2(q)$
Published
• View Publication
• BIB
A maniplex of rank $n$ is a combinatorial object that generalises the notion of a rank $n$ abstract polytope. A maniplex with the highest possible degree of symmetry is called reflexible. In this paper we prove that there is a rank $4$ reflexible maniplex with automorphism group $\textrm{PSL}_2(q)$ for infinitely many prime powers $q$, and that no reflexible maniplex of rank $n > 4$ exists that has $\textrm{PSL}_2(q)$ as its full automorphism group.
On the monophonic convexity in complementary prisms
A set $S$ of vertices of a graph $G$ is \emph{monophonic convex} if $S$ contains all the vertices belonging to any induced path connecting two vertices of $S$. The cardinality of a maximum proper monophonic convex set of $G$ is called the \emph{monophonic convexity number} of $G$. The \emph{monophonic interval} of a set $S$ of vertices of $G$ is the set $S$ together with every vertex belonging to any induced path connecting two vertices of $S$. The cardinality of a minimum set $S \subseteq V(G)$ whose monophonic interval is $V(G)$ is called the \emph{monophonic number} of $G$. The \emph{monophonic convex hull} of a set $S$ of vertices of $G$ is the smallest monophonic convex set containing $S$ in $G$. The cardinality of a minimum set $S \subseteq V(G)$ whose monophonic convex hull is $V(G)$ is called the \emph{monophonic hull number} of $G$. The \emph{complementary prism} $\GG$ of $G$ is obtained from the disjoint union of $G$ and its complement $\overline{G}$ by adding the edges of a perfect matching between them. In this work, we determine the monophonic convexity number, the monophonic number, and the monophonic hull number of the complementary prisms of all graphs.
On the binary linear constant weight codes and their autormorphism groups
We give a characterization for the binary linear constant weight codes by using the symmetric difference of the supports of the codewords. This characterization gives a correspondence between the set of binary linear constant weight codes and the set of partitions for the union of supports of the codewords. By using this correspondence, we present a formula for the order of the automorphism group of a binary linear constant weight code in terms of its parameters. This formula is a key step to determine more algebraic structures on constant weight codes with given parameters. Bonisoli [Bonisoli, A.: Every equidistant linear code is a sequence of dual Hamming codes. Ars Combinatoria 18, 181--186 (1984)] proves that the $q$-ary linear constant weight codes with the same parameters are equivalent (for the binary case permutation equivalent). We also give an alternative proof for Bonisoli's theorem by presenting an explicit permutation on symmetric difference of the supports of the codewords which gives the permutation equivalence between the binary linear constant weight codes.
Supercongruences involving Motzkin numbers and central trinomial coefficients
Published
• View Publication
• BIB
Let $M_n$ and $T_n$ denote the $n$th Motzkin number and the $n$th central trinomial coefficient respectively. We prove that for any prime $p\ge 5$, \begin{align*} &\sum_{k=0}^{p-1}M_k^2\equiv \left(\frac{p}{3}\right)\left(2-6p\right)\pmod{p^2},\\ &\sum_{k=0}^{p-1}kM_k^2\equiv \left(\frac{p}{3}\right)\left(9p-1\right)\pmod{p^2},\\ &\sum_{k=0}^{p-1}T_kM_k\equiv \frac{4}{3}\left(\frac{p}{3}\right)+\frac{p}{6}\left(1-9\left(\frac{p}{3}\right)\right)\pmod{p^2}, \end{align*} where $\left(-\right)$ is the Legendre symbol. These results confirm three 12-year-old supercongruence conjectures of Z.-W. Sun.
Discrete dynamics in cluster integrable systems from geometric $R$-matrix transformations
Published in Comb. Theory, 3(2), 2023
• View Publication
• BIB
Cluster integrable systems are a broad class of integrable systems modelled on bipartite dimer models on the torus. Many discrete integrable dynamics arise by applying sequences of local transformations, which form the cluster modular group of the cluster integrable system. This cluster modular group was recently characterized by the first author and Inchiostro. There exist some discrete integrable dynamics that make use of non-local transformations associated with geometric $R$-matrices. In this article we characterize the generalized cluster modular group -- which includes both local and non-local transformations -- in terms of extended affine symmetric groups. We also describe the action of the generalized cluster modular group on the spectral data associated with cluster integrable systems.