arXiv subjects

Elham Mehdi-Nezhad

Publications and source records attributed to Elham Mehdi-Nezhad.

3 recordsLinked to original sources

arXiv2026

Isomorphisms and automorphisms of minimal comaximal hypergraphs of commutative rings

Let $R$ be a commutative ring with exactly $n\ge 2$ maximal ideals and let $k\ge 2$. We study the minimal $k$-uniform comaximal hypergraph $\mathcal{H}_k(R)$, whose vertices are the nonunits outside the Jacobson radical and whose edges are the irredundant $k$-element comaximal families. For $2\le k\le n$ we show that $\mathcal{H}_k(R)$ is a blow-up of the hypergraph of irredundant $k$-coverings of $\{1,\dots,n\}$, and that its reduced form reconstructs the maximal ideals up to permutation; for $k>n$ there are no edges. We obtain a general description of $\mathrm{Aut}(\mathcal{H}_k(R))$ and characterize isomorphisms of such hypergraphs. For $3\le k\le n$ its automorphism group properly contains that of the comaximal graph, and for finite rings with $n\ge 3$ and every $2\le k\le n$, $\mathcal{H}_k(R)$ has the same isomorphism invariants as the comaximal graph, namely $|J(R)|$ and $R/J(R)$. The case $k=2$ recovers and extends the automorphism results for comaximal graphs obtained previously. We also compare the minimal and non-minimal comaximal hypergraphs and identify a condition under which the latter has the same automorphism group and isomorphism invariants as the comaximal graph. The same method determines the vertex set and the automorphism group of the $k$-zero-divisor hypergraph of a product of integral domains, and shows that for finite products of finite fields this hypergraph determines the ring.

math.AC↗

arXiv2026

Domination and maximal intersecting families in comaximal graphs of commutative rings

The comaximal graph $\mathcal{G}(R)$ of a commutative ring $R$ has as vertices the nonunits outside the Jacobson radical, two being adjacent if they generate $R$ as an ideal. For rings with $k\ge 4$ maximal ideals, only the bounds $2\leγ(\mathcal{G}(R))\le k$ were known, to our knowledge. We prove $γ=γ_t=γ_c=k$ whenever $3\le k<\infty$, without finiteness or Artinian hypotheses, classify the minimum dominating sets, and determine the domatic number. Independent dominating sets correspond to maximal intersecting families of subsets of $\{1,\dots,k\}$; we obtain a closed formula for the independent domination number of every finite non-local ring, which can be exponentially larger than the domination number. The proofs rest on the class sizes of the blow-up description of $\mathcal{G}(R)$ due to Moconja and Petrović, which we determine for every ring with finitely many maximal ideals, finite or infinite; with them, domination problems on $\mathcal{G}(R)$ become weighted extremal problems on subsets of $\{1,\dots,k\}$, and the formula for the independent domination number follows from the multiplicative form of these sizes. We also treat rings with infinitely many maximal ideals, graph polynomials, and lattices whose maximal ideals are prime.

math.AC↗

arXiv2026

Uniform estimates for the Erdős-Moser equation and its analogue in arithmetic progressions

We study the Erdős-Moser equation in arithmetic progressions, $\sum i^k=m^k$, where $i$ runs over the positive integers $i<m$ with $i\equiv b \pmod q$. We prove that a solution has at most $\lfloor k/\log 2+3/2\rfloor$ terms for all $k<10^{55}$, and at most $k/\log 2+5/2$ terms in general; this linear bound is best possible for real solutions and replaces the previously known exponential bound $(k+1)2^{2k+1}$. For $k=3$ we obtain a complete classification: solutions with exactly $n$ terms exist if and only if $n\in\{3,4,5\}$, and in each case there are infinitely many primitive solutions. For even exponents there are no solutions with three terms, and there are no solutions at all for $k=4$, for every $k=2^s\ge 4$, and for every even $k$ with $4\le k\le 24$. The key analytic input is a uniform estimate for the classical equation $1^k+\dots+(m-1)^k=m^k$: the real exponent $κ_m$ for which $1^κ+\dots+(m-1)^κ=m^κ$ satisfies $κ_m=\log 2\,(m-3/2-γ_m/m)$ with $0<γ_m<1/(8\log 2)$ for every $m\ge 3$. The proofs rest on a method based on centres of mass, Steiner's parallel-axis theorem and what we call the half-mass principle. The same framework identifies the constants of a general class of balance equations through the moments of a mass distribution: $3/2$ is a Steiner quotient, and $25/12-3\log 2=1/12-f''(\log 2)/2$ with $f(λ)=λ/(e^λ-1)$, whose Bernoulli expansion explains why this constant is so small.

math.NT↗