arXiv++ Combinatorics

The inclusion ideal graph of a commutative unitary ring $R$ is the (undirected) graph $In(R)$ whose vertices all non-trivial ideals of $R$ and two distinct vertices are adjacent if and only if one of them is a proper subset of the other one. In this paper, the metric dimension of $In(R)$ is discussed. Moreover, the structure of the resolving graph of $In(R)$ is characterized and as an application, we compute the strong metric dimension of $In(R)$.

Let $box(G)$ be the boxicity of a graph $G$, $G[H_1,H_2,\ldots, H_n]$ be the $G$-generalized join graph of $n$-pairwise disjoint graphs $H_1,H_2,\ldots, H_n$, $G^d_k$ be a circular clique graph (where $k\geq 2d$) and $Γ(R)$ be the zero-divisor graph of a commutative ring $R$. In this paper, we prove that $χ(G^d_k)\geq box(G^d_k)$, for all $k$ and $d$ with $k\geq 2d$. This generalizes the results proved in \cite{Aki}. Also we obtain that $box(G[H_1,H_2,\ldots,H_n])\leq \mathop\sum\limits_{i=1}^nbox(H_i)$. As a consequence of this result, we obtain a bound for boxicity of zero-divisor graph of a finite commutative ring with unity. In particular, if $R$ is a finite commutative non-zero reduced ring with unity, then $χ(Γ(R))\leq box(Γ(R))\leq 2^{χ(Γ(R))}-2$. where $χ(Γ(R))$ is the chromatic number of $Γ(R)$. Moreover, we show that if $N= \prod\limits_{i=1}^{a}p_i^{2n_i} \prod\limits_{j=1}^{b}q_j^{2m_j+1}$ is a composite number, where $p_i$'s and $q_j$'s are distinct prime numbers, then $box(Γ(\mathbb{Z}_N))\leq \big(\mathop\prod\limits_{i=1}^{a}(2n_i+1)\mathop\prod\limits_{j=1}^{b}(2m_j+2)\big)-\big(\mathop\prod\limits_{i=1}^{a}(n_i+1)\mathop\prod\limits_{j=1}^{b}(m_j+1)\big)-1$, where $\mathbb{Z}_N$ is the ring of integers modulo $N$. Further, we prove that, $box(Γ(\mathbb{Z}_N))=1$ if and only if either $N=p^n$ for some prime number $p$ and some positive integer $n\geq 2$ or $N=2p$ for some odd prime number $p$.

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is a simple undirected graph whose vertex set is the set of nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I + J$ is a prime ideal of $R$. In this paper, we characterize all the finite non-local commutative rings whose prime ideal sum graph is of genus $2$.

Let $R$ be a commutative ring with unity. The weakly zero-divisor graph $WΓ(R)$ of the ring $R$ is the simple undirected graph whose vertices are nonzero zero-divisors of $R$ and two vertices $x$, $y$ are adjacent if and only if there exists $r\in {\rm ann}(x)$ and $s \in {\rm ann}(y)$ such that $rs =0$. The zero-divisor graph of a ring is a spanning subgraph of the weakly zero-divisor graph. It is known that the zero-divisor graph of the ring $\mathbb{Z}_{p^t}$, where $p$ is a prime, is the Laplacian integral. In this paper, we obtain the Laplacian spectrum of the weakly zero-divisor graph $WΓ(\mathbb{Z}_{n})$ of the ring $\mathbb{Z}_{n}$ and show that $WΓ(\mathbb{Z}_{n})$ is Laplacian integral for arbitrary $n$.

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$, $J$ are adjacent if and only if $I + J$ is a prime ideal of $R$. In this paper, we characterize all commutative Artinian rings whose prime ideal sum graphs are line graphs. Finally, we give a description of all commutative Artinian rings whose prime ideal sum graph is the complement of a line graph.

Let $R$ be a ring with unity. The \emph{idempotent graph} $G_{\text{Id}}(R)$ of a ring $R$ is an undirected simple graph whose vertices are the set of all the elements of ring $R$ and two vertices $x$ and $y$ are adjacent if and only if $x+y$ is an idempotent element of $R$. In this paper, we obtain a necessary and sufficient condition on the ring $R$ such that $G_{\text{Id}}(R)$ is planar. We prove that $G_{\text{Id}}(R)$ cannot be an outerplanar graph. Moreover, we classify all the finite non-local commutative rings $R$ such that $G_{\text{Id}}(R)$ is a cograph, split graph and threshold graph, respectively. We conclude that latter two graph classes of $G_{\text{Id}}(R)$ are equivalent if and only if $R \cong \mathbb{Z}_2 \times \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$.

Let $R$ be a commutative ring with unity. The prime ideal sum graph of the ring $R$ is the simple undirected graph whose vertex set is the set of all nonzero proper ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I + J$ is a prime ideal of $R$. In this paper, we obtain the strong metric dimension of the prime ideal sum graph for various classes of Artinian non-local commutative rings.

For a commutative ring $R$ with identity, the zero-divisor graph of $R$, denoted $Γ(R)$, is the graph whose vertices are the non-zero zero divisors of $R$ with two distinct vertices $x$ and $y$ are adjacent if and only if $xy=0$. In this paper, we are interested in partitioning the vertex set of $Γ(R)$ into global defensive alliances for a finite commutative ring $R$. This problem has been well investigated in graph theory. Here we connected it with the ring theoretical context. We characterize various commutative finite rings for which the zero divisor graph is partitionable into global defensive alliances. We also give several examples to illustrate the scopes and limits of our results.

Let $R$ be a commutative ring with identity $1\neq 0$. In this paper, we continue the study started in [10] concerning when the extended zero-divisor graph of $R$, $\overlineΓ(R)$, is complemented. We also study when $\overlineΓ(R)$ is uniquely complemented. We give a complete characterization of when $\overlineΓ(R)$ of a finite ring is complemented. Various examples are given using the direct product of rings and idealizations of modules.

In this paper, using some conditions that arise naturally in Alon's combinatorial Nullstellensatz as well as its various extensions and generalizations, we characterize Gröbner bases consisting of monic polynomials, which helps us to establish a Nullstellensatz from a Gröbner basis perspective. As corollaries of this general Nullstellensatz, we establish four special Nullstellensatz, which, among others, include a common generalization of the Nullstellensatz for multisets established in Kós, Rónyai and Mészáros \cite{23,24} and the Nullstellensatz with multiplicity established in Ball and Serra \cite{9}, and include a punctured Nullstellensatz, generalizing several existing results in the literature. As applications of our punctured Nullstellensatz, we extend some results on hyperplane covering in \cite{9,23,24} to wider settings, and give an alternative proof of the generalized Alon-Füredi theorem established in Bishnoi, Clark, Potukuchi and Schmitt \cite{12}. Unless specified otherwise, all our results are established over an arbitrary commutative ring $R$.

The goal of this article is to study some basic algebraic and combinatorial properties of "generalized $n$-series" over a commutative ring $R$, which are functions $s: \mathbf{Z}_{\geq 0} \to R$ satisfying a mild condition. A special example of generalized $n$-series is given by the $q$-integers $\frac{q^n-1}{q-1} \in \mathbf{Z}[\![q-1]\!]$. Given a generalized $n$-series $s$, one can define $s$-analogues of factorials (via $n!_s = \prod_{i=1}^n s(n)$) and binomial coefficients. We prove that Pascal's identity, the binomial identity, Lucas' theorem, and the Vandermonde identity admit $s$-analogues; each of these specialize to their appropriate $q$-analogue in the case of the $q$-integer generalized $n$-series. We also study the growth rates of generalized $n$-series defined over the integers. Finally, we define an $s$-analogue of the ($q$-)derivative, and prove $s$-analogues of the Poincaré lemma and the Cartier isomorphism for the affine line, as well as a pullback square due to Bhatt-Lurie.

The polynomial Szemerédi theorem implies that, for any $δ\in (0,1)$, any family $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y]$ of nonconstant polynomials with constant term zero, and any sufficiently large $N$, every subset of $\{1,\ldots, N\}$ of cardinality at least $δN$ contains a nontrivial configuration of the form $\{x,x+P_1(y),\ldots, x+P_m(y)\}$. When the polynomials are assumed independent, one can expect a sharper result to hold over finite fields, special cases of which were proven recently, culminating with arXiv:1802.02200, which deals with the general case of independent polynomials. One goal of this article is to explain these theorems as the result of joint ergodicity in the presence of asymptotic total ergodicity. Guided by this concept, we establish, over general finite commutative rings, a version of the polynomial Szemerédi theorem for independent polynomials $\{P_1,\ldots, P_m\} \subset \mathbb{Z}[y_1,\ldots, y_n]$, deriving new combinatorial consequences, such as the following. Let $\mathcal R$ be a collection of finite commutative rings subject to a mild condition on their torsion. There exists $γ\in (0,1)$ such that, for every $R \in \mathcal R$, every subset $A \subset R$ of cardinality at least $|R|^{1-γ}$ contains a nontrivial configuration $\{x,x+P_1(y),\ldots, x+P_m(y)\}$ for some $(x,y) \in R \times R^n$, and, moreover, for any subsets $A_0,\ldots, A_m \subset R$ such that $|A_0|\cdots |A_m| \geq |R|^{(m+1)(1-γ)}$, there is a nontrivial configuration $(x, x+P_1(y), \ldots, x+P_m(y)) \in A_0\times \cdots \times A_m$. The fact that general rings have zero divisors is the source of many obstacles, which we overcome; for example, by studying character sums, we develop a bound on the number of roots of an integer polynomial over a general finite commutative ring, a result which is of independent interest.

Topological indices are parameters associated with graphs that have many applications in different areas such as mathematical chemistry. Among various topological indices, the Wiener index is classical \cite{w}. In this paper, we prove a formula for the Wiener index and more general $m$-Steiner Wiener index of an arbitrary graph $G$ in terms of the cardinalities of its twin classes. In particular, we will show that calculating these parameters for the graph $G$ can be reduced to calculating the same for a much smaller graph (in general) called the reduced graph of $G$. As applications of our main result, the $m$-Steiner Wiener index is explicitly calculated for various important classes of graphs from the literature including \begin{enumerate} \item[(a)] Power graphs associated with finite groups, \item[(b)] Zero divisor graphs and the ideal-based zero divisor graphs associated with commutative rings with unity, and \item[(c)] Comaximal ideal graphs associated with commutative rings with unity. \end{enumerate} We have also found an upper bound on the $m$-Steiner Wiener index of an infinite class of graphs called the completely joined graphs. As a corollary of this result, we explicitly calculate the $m$-Steiner Wiener index of the complete multipartite graphs.

Let $R$ be a commutative ring with unity. The essential ideal graph $\mathcal{E}_{R}$ of $R$, is a graph with a vertex set consisting of all nonzero proper ideals of \textit{R} and two vertices $I$ and $K$ are adjacent if and only if $I+ K$ is an essential ideal. In this paper, we study the adjacency spectrum of the essential ideal graph of the finite commutative ring $\mathbb{Z}_{n}$, for $n=\{p^{m}, p^{m_{1}}q^{m_{2}}\}$, where $p,q$ are distinct primes, and $m,m_{1}, m_2\in \mathbb N$. We show that $0$ is an eigenvalue of the adjacency matrix of $\mathcal{E}_{\mathbb{Z}_{n}}$ if and only if either $n= p^2$ or $n$ is not a product of distinct primes. We also determine all the eigenvalues of the adjacency matrix of $\mathcal{E}_{\mathbb{Z}_{n}}$ whenever $n$ is a product of three or four distinct primes. Moreover, we calculate the topological indices, namely the Wiener index and hyper-Wiener index of the essential ideal graph of $\mathbb{Z}_{n}$ for different forms of $n$

The prime ideal sum graph of a commutative unital ring $R$, denoted by $PIS(R)$, is an undirect and simple graph whose vertices are non-trivial ideals of $R$ and there exists and edge between to distinct vertices if and only if their sum is a prime ideal of $R$. In this paper, the metric dimension of $PIS(R)$ is discussed and some formulae for this parameter in $PIS(R)$ are given.

Let R be a ring (not necessarily commutative ring) with identity. The clean graph Cl(R) of a ring R is a graph with vertices in the form of ordered pair (e; u), where e is an idempotent of the ring R and u is a unit of the ring R. Two distinct vertices (e; u) and (f; v) are adjacent if and only if ef = fe = 0 or uv = vu = 1. In this paper, we determine the Wiener index, Matching number of the clean graph of the ring Zn.

Let $n=2^s p_{1}^{α_{1}}\cdots p_{k}^{α_{k}}$, where $s=0$ or $1$, $α_i\geq 1$, and the distinct primes $p_i$ satisfy $p_i\equiv 1\pmod{4}$ for all $i=1, \ldots, k$. Let $\mathbb{Z}_n^\ast$ denote the group of units in the commutative ring $\mathbb{Z}_n$. Recently, we defined a Paley-type graph $G_n$ of order $n$ as the graph whose vertex set is $\mathbb{Z}_n$ and $xy$ is an edge if $x-y\equiv a^2\pmod n$ for some $a\in\mathbb{Z}_n^\ast$. The Paley-type graph $G_n$ resembles the classical Paley graph in a number of ways, and adds to the list of generalizations of the Paley graph. Computing the number of cliques of a particular order in a Paley graph or its generalizations has been of considerable interest. For primes $p\equiv 1\pmod 4$ and $α\geq 1$, by evaluating certain character sums, we found the number of cliques of order $3$ in $G_{p^α}$ and expressed the number of cliques of order $4$ in $G_{p^α}$ in terms of Jacobi sums. In this article we give combinatorial proofs and find the number of cliques of orders $3$ and $4$ in $G_n$ for all $n$ for which the graph is defined.

Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$ is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. The reduced cozero-divisor graph of a ring $R$, is an undirected simple graph whose vertex set is the set of all nontrivial principal ideals of $R$ and two distinct vertices $(a)$ and $(b)$ are adjacent if and only if $(a) \not\subset (b)$ and $(b) \not\subset (a)$. In this paper, we characterize all classes of finite non-local commutative rings for which the cozero-divisor graph and reduced cozero-divisor graph is of genus two.

We study a family of shuffling operators on the symmetric group $S_n$, which includes the top-to-random shuffle. The general shuffling scheme consists of removing one card at a time from the deck (according to some probability distribution) and re-inserting it at a (uniformly) random position further below. Rewritten in terms of the group algebra $\mathbb{R}[S_n]$, our shuffle corresponds to right multiplication by a linear combination of the elements \[t_i:=\text{cyc}_{i}+\text{cyc}_{i,i+1}+\text{cyc}_{i,i+1,i+2}+\cdots+\text{cyc}_{i,i+1,\ldots,n}\in \mathbb{R}[S_n]\] for all $i\in\{1,2,\ldots,n\}$ (where $\text{cyc}_{j_1,j_2,\ldots,j_p}$ stands for a $p$-cycle). We compute the eigenvalues of these shuffling operators and of all their linear combinations. In particular, we show that the eigenvalues of right multiplication by a linear combination $λ_1t_1+λ_2t_2+\cdots+λ_nt_n$ are the numbers $λ_1m_{I,1}+λ_2m_{I,2}+\cdots+λ_nm_{I,n}$, where $I$ ranges over the subsets of $\{1,2,\ldots,n-1\}$ that contain no two consecutive integers; here $m_{I,i}$ are certain integers. We compute the multiplicities of these eigenvalues and show that if they are all distinct, the shuffling operator is diagonalizable. To this purpose, we show that the operators of right multiplication by $t_1,t_2,\ldots,t_n$ on $\mathbb{R}[S_n]$ are simultaneously triangularizable (via a combinatorially defined basis). The results stated here over $\mathbb{R}$ for convenience are actually stated and proved over an arbitrary commutative ring $\mathbf{k}$. We finish by describing a strong stationary time for the random-to-below shuffle, which is the shuffle in which the card that moves below is selected uniformly at random, and we give the waiting time for this event to happen.

Motivated by recent results of Tao-Ziegler [Discrete Anal. 2016] and Greenfeld-Tao (2022 preprint) on concatenating affine-linear functions along subgroups of an abelian group, we show three results on recovering affine-linearity of functions $f : V \to W$ from their restrictions to affine lines, where $V,W$ are $\mathbb{F}$-vector spaces and $\dim V \geqslant 2$. First, if $\dim V < |\mathbb{F}|$ and $f : V \to \mathbb{F}$ is affine-linear when restricted to affine lines parallel to a basis and to certain "generic" lines through $0$, then $f$ is affine-linear on $V$. (This extends to all modules $M$ over unital commutative rings $R$ with large enough characteristic.) Second, we explain how a classical result attributed to von Staudt (1850s) extends beyond bijections: if $f : V \to W$ preserves affine lines $\ell$, and if $f(v) \not\in f(\ell)$ whenever $v \not\in \ell$, then this also suffices to recover affine-linearity on $V$, but up to a field automorphism. In particular, if $\mathbb{F}$ is a prime field $\mathbb{Z}/p\mathbb{Z}$ ($p>2$) or $\mathbb{Q}$, or a completion $\mathbb{Q}_p$ or $\mathbb{R}$, then $f$ is affine-linear on $V$. We then quantitatively refine our first result above, via a weak multiplicative variant of the additive $B_h$-sets initially explored by Singer [Trans. Amer. Math. Soc. 1938], Erdos-Turan [J. London Math. Soc. 1941], and Bose-Chowla [Comment. Math. Helv. 1962]. Weak multiplicative $B_h$-sets occur inside all rings with large enough characteristic, and in all infinite or large enough finite integral domains/fields. We show that if $R$ is among any of these classes of rings, and $M = R^n$ for some $n \geqslant 3$, then one requires affine-linearity on at least $\binom{n}{\lceil n/2 \rceil}$-many generic lines to deduce the global affine-linearity of $f$ on $R^n$. Moreover, this bound is sharp.