arXiv++ Combinatorics

The classical Riordan groups associated to a given commutative ring are groups of infinite matrices (called Riordan arrays) associated to pairs of formal power series in one variable. The Fundamental Theorem of Riordan Arrays relates matrix multiplication to two group actions on such series, namely formal (convolution) multiplication and formal composition. We define the analogous Riordan groups involving formal power series in several variables, and establish the analogue of the Fundamental Theorem in that context. We discuss related groups of Laurent series and pose some questions.

This paper is an endeavor to discuss some properties of zero-divisor graphs of the ring $\mathbb{Z}_n$, the ring of integers modulo $n$. The zero divisor graph of a commutative ring $R$, is an undirected graph whose vertices are the nonzero zero-divisors of $R$, where two distinct vertices are adjacent if their product is zero. The zero divisor graph of $R$ is denoted by $Γ(R)$. We discussed $Γ(\mathbb{Z}_n)$'s by the attributes of completeness, k-partite structure, complete k-partite structure, regularity, chordality, $γ- β$ perfectness, simplicial vertices. The clique number for arbitrary $Γ(\mathbb{Z}_n)$ was also found. This work also explores related attributes of finite products $Γ(\mathbb{Z}_{n_1}\times\cdots\times\mathbb{Z}_{n_k})$, seeking to extend certain results to the product rings. We find all $Γ(\mathbb{Z}_{n_1}\times\cdots\times\mathbb{Z}_{n_k})$ that are perfect. Likewise, a lower bound of clique number of $Γ(\mathbb{Z}_m\times\mathbb{Z}_n)$ was found. Later, in this paper we discuss some properties of the zero divisor graph of the poset $D_n$, the set of positive divisors of a positive integer $n$ partially ordered by divisibility.

If $R$ is a finite commutative ring, then the affine monoid of $R$ is the monoid of all affine mappings $x\mapsto ax+b$ on $R$. Alternatively, it is the semidirect product of the multiplicative monoid of $R$ with the additive group of $R$. In this paper we compute the Gabriel quiver of the complex algebra of the affine monoid of any finite commutative ring.

The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear independence has to be replaced by a weaker statement). Another is a stronger statement that holds (un-der stronger assumptions) in a commutative bialgebra. The last variant is a linear independence result for characters (as opposed to grouplike elements) of a bialgebra.

This paper introduces Farey Recursive Functions and investigates their basic properties. Farey Recursive Functions are a special type of recursive function from the rationals to a commutative ring. The recursion of these functions is organized by the Farey graph. They arise naturally in the study of 2-bridge knots and links.

A cover of a unital, associative (not necessarily commutative) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $σ(R)$ of $R$ is the cardinality of a minimal cover, and a ring $R$ is called $σ$-elementary if $σ(R) < σ(R/I)$ for every nonzero two-sided ideal $I$ of $R$. In this paper, we show that if $R$ has a finite covering number, then the calculation of $σ(R)$ can be reduced to the case where $R$ is a finite ring of characteristic $p$ and the Jacobson radical $J$ of $R$ has nilpotency 2. Our main result is that if $R$ has a finite covering number and $R/J$ is commutative (even if $R$ itself is not), then either $σ(R)=σ(R/J)$, or $σ(R)=p^d+1$ for some $d \geqslant 1$. As a byproduct, we classify all commutative $σ$-elementary rings with a finite covering number and characterize the integers that occur as the covering number of a commutative ring.

This is a preliminary draft of Chapter 6 of our forthcoming textbook "Introduction to Cluster Algebras." Chapters 1-3 have been posted as arXiv:1608.05735. Chapters 4-5 have been posted as arXiv:1707.07190. This installment contains: Chapter 6. Cluster structures in commutative rings

In this paper, we study the unit dot graph of product of commutative rings

Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue is how to define finiteness to replace the noetherian hypothesis which fails. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both theoretical and computational purposes: it guarantees finite presentations and resolutions of various sorts, all related by a syzygy theorem, amenable to algorithmic manipulation. Tameness and its homological theory are new even in the finitely generated discrete setting of $\mathbb{N}^n$-gradings, where tame is materially weaker than noetherian. In the context of persistent homology of filtered topological spaces, especially with multiple real parameters, the algebraic theory of tameness yields topologically interpretable data structures in terms of birth and death of homology classes.

We prove that the Cayley graphs $X(G,S)$ and $X^+(G,S)$ are equienergetic for any abelian group $G$ and any symmetric subset $S$. We then focus on the family of unitary Cayley graphs $G_R=X(R,R^*)$, where $R$ is a finite commutative ring with identity. We show that under mild conditions, $\{G_R, G_R^+\}$ are pairs of integral equienergetic non-isospectral graphs (generically connected and non-bipartite). Then, we obtain conditions such that $\{G_R, \bar G_R\}$ are equienergetic non-isospectral graphs. Finally, we characterize all integral equienergetic non-isospectral triples $\{G_R, G_R^+, \bar G_R \}$ such that all the graphs are also Ramanujan.

Nora and Wanda are two players who choose coefficients of a degree $d$ polynomial from some fixed unital commutative ring $R$. Wanda is declared the winner if the polynomial has a root in the ring of fractions of $R$ and Nora is declared the winner otherwise. We extend the theory of these games given by Gasarch, Washington and Zbarsky to all finite cyclic rings and determine the possible outcomes. A family of examples is also constructed using discrete valuation rings for a variant of the game proposed by these authors. Our techniques there lead us to an adversarial approach to constructing rational polynomials of any prescribed degree (equal to $3$ or greater than $8$) with no roots in the maximal abelian extension of $\mathbb{Q}$.

We determine the metric dimension of the annihilating-ideal graph of a local finite commutative principal ring and a finite commutative principal ring with two maximal ideals. We also find the bounds for the metric dimension of the annihilating-ideal graph of an arbitrary finite commutative principal ring.

Let $R$ be a commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. The Erdős-Burgess constant associated with the ring $R$ is the smallest positive integer $\ell$ (if exists) such that for any given $\ell$ elements (not necessarily distinct) of $R$, say $a_1,\ldots,a_{\ell}\in R$, there must exist a nonempty subset $J\subset \{1,2,\ldots,\ell\}$ with $\prod\limits_{j\in J} a_j$ being an idempotent. In this paper, we prove that except for an infinite commutative ring with a very special form, the Erdős-Burgess constant of the ring $R$ exists if and only if $R$ is finite.

Let $R$ be a finite commutative unitary ring. An idempotent in $R$ is an element $e\in R$ with $e^2=e$. The Erdős-Burgess constant associated with the ring $R$ is the smallest positive integer $\ell$ such that for any given $\ell$ elements (repetitions are allowed) of $R$, say $a_1,\ldots,a_{\ell}\in R$, there must exist a nonempty subset $J\subset \{1,2,\ldots,\ell\}$ with $\prod\limits_{j\in J} a_j$ being an idempotent. In this paper, we give a lower bound of the Erdős-Burgess constant in a finite commutative unitary ring in terms of all its maximal ideals, and prove that the lower bound is attained in some cases. The result unifies some recently obtained theorems on this invariant.

We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset $\mathfrak{L}$, and then define the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \mathcal{C})$ over a commutative ring with unit, which is built by the classical Orlik--Solomon algebra and a monoidal cosheaf $\mathcal{C}$ as coefficients. Furthermore, we construct a monoidal cosheaf $\hat{\mathcal{C}}(\mathcal{A})$ associated with $\mathcal{A}$, so that the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))$ becomes a double complex with suitable multiplication structure and the associated total complex $Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A})))$ is a differential algebra. Our main result is that $H^*(Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))))$ is isomorphic to $H^*(\mathcal{M}(\mathcal{A}))$ as algebras. Our argument is of topological with the use of a spectral sequence induced by a geometric filtration associated with $\mathcal{A}$. In particular, we also discuss the mixed Hodge complex structure on our model if $M$ and all elements in $\mathcal{A}$ are complex smooth varieties, and show that it induces the canonical mixed Hodge structure of $\mathcal{M}(\mathcal{A})$. As an application, we calculate the cohomology of chromatic configuration spaces, which agrees with many known results in some special cases. In addition, some explicit formulas with respect to Poincaré polynomial and chromatic polynomial are also given.

Let $R$ be a commutative ring and let $U(R)$ be multiplicative group of unit elements of $R$. In 2012, Khashyarmanesh et al. defined generalized unit and unitary Cayley graph, $Γ(R, G, S)$, corresponding to a multiplicative subgroup $G$ of $U(R)$ and a non-empty subset $S$ of $G$ with $S^{-1}=\{s^{-1} \mid s\in S\}\subseteq S$, as the graph with vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if there exists $s\in S$ such that $x+sy \in G$. In this paper, we characterize all Artinian rings $R$ whose $Γ(R,U(R), S)$ is projective. This leads to determine all Artinian rings whose unit graphs, unitary Cayley garphs and co-maximal graphs are projective. Also, we prove that for an Artinian ring $R$ whose $Γ(R, U(R), S)$ has finite nonorientable genus, $R$ must be a finite ring. Finally, it is proved that for a given positive integer $k$, the number of finite rings $R$ whose $Γ(R, U(R), S)$ has nonorientable genus $k$ is finite.

We investigate eigenvalues of the zero-divisor graph $Γ(R)$ of finite commutative rings $R$ and study the interplay between these eigenvalues, the ring-theoretic properties of $R$ and the graph-theoretic properties of $Γ(R)$. The graph $Γ(R)$ is defined as the graph with vertex set consisting of all non-zero zero-divisors of $R$ and adjacent vertices $x,y$ whenever $xy = 0$. We provide formulas for the nullity of $Γ(R)$, i.e. the multiplicity of the eigenvalue 0 of $Γ(R)$. Moreover, we precisely determine the spectra of $Γ(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ and $Γ(\mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p \times \mathbb Z_p)$ for a prime number $p$. We introduce a graph product $\times_Γ$ with the property that $Γ(R) \cong Γ(R_1) \times_Γ \ldots \times_Γ Γ(R_r)$ whenever $R \cong R_1 \times \ldots \times R_r.$ With this product, we find relations between the number of vertices of the zero-divisor graph $Γ(R)$, the compressed zero-divisor graph, the structure of the ring $R$ and the eigenvalues of $Γ(R)$.

The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary decompositions, and resolutions. Interpreting this finiteness in the language of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning sheaves with microsupport in a given cone. The motivating case is persistent homology of arbitrary filtered topological spaces, especially the case of multiple real parameters. The algebraic theory yields computationally feasible, topologically interpretable data structures, in terms of birth and death of homology classes, for persistent homology indexed by arbitrary posets. The exposition focuses on the nature and ramifications of a suitable finiteness condition to replace the noetherian hypothesis. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both the theoretical and computational purposes: it guarantees finite primary decompositions, as well as various finite presentations and resolutions all related by a syzygy theorem, and the data structures thus produced are computable in addition to being interpretable. The tameness condition and its resulting theory are new even in the finitely generated discrete setting, where being tame is materially weaker than being noetherian.

In this paper we define and study the notion of a monoidal network, which consists of a commutative ring $R$ and a collection of groups $Γ_I$, indexed by the ideals of $R$, with $Γ_I$ acting on the quotient $R/I$ and satisfying a certain lifting condition. The examination of these objects is largely motivated by, and initially arose from, the study of the union-closed sets conjecture. This connection is made precise and other aspects of these structures are investigated.

Graham-Pollak showed that for $D = D_T$ the distance matrix of a tree $T$, det$(D)$ depends only on its number of edges. Several other variants of $D$, including directed/multiplicative/$q$- versions were studied, and always, det$(D)$ depends only on the edge-data. We introduce a general framework for bi-directed weighted trees, with threefold significance. First, we improve on state-of-the-art for all known variants, even in the classical Graham-Pollak case: we delete arbitrary pendant nodes (and more general subsets) from the rows/columns of $D$, and show these minors do not depend on the tree-structure. Second, our setting unifies all known variants (with entries in a commutative ring). We further compute $D^{-1}$ in closed form, extending a result of Graham-Lovasz [Adv. Math. 1978] and answering an open question of Bapat-Lal-Pati [Lin. Alg. Appl. 2006] in greater generality. Third, we compute a second function of the matrix $D$: the sum of all its cofactors, cof$(D)$. This was worked out in the simplest setting by Graham-Hoffman-Hosoya (1978), but is relatively unexplored for other variants. We prove a stronger result, in our general setting, by computing cof$(.)$ for minors as above, and showing these too depend only on the edge-data. Finally, we show our setting is the "most general possible", in that with more freedom in the edgeweights, det$(D)$ and cof$(D)$ depend on the tree structure. In a sense, this completes the study of the invariants det$(D_T)$, cof$(D_T)$ for trees $T$ with edge-data in a commutative ring. Moreover: for a bi-directed graph $G$ we prove multiplicative Graham-Hoffman-Hosoya type formulas for det$(D_G)$, cof$(D_G)$, $D_G^{-1}$. We then show how this subsumes their 1978 result. The final section introduces and computes a third, novel invariant for trees and a Graham-Hoffman-Hosoya type result for our "most general" distance matrix $D_T$.