Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2607.22669

The Bi-UF Positive Conjecture for quadratic monogenic semirings and related progress

Felix Gotti·Omar Graia·Darren Han·Hengrui Liang
View original source ↗Read source document ↗Export metadata ↓

Abstract

A complex semiring is a subset of the complex plane that is closed under the standard addition and multiplication of complex numbers and contains both $0$ and $1$. A complex semiring $S$ is called a bi-UFS if both its additive monoid $(S,+)$ and its multiplicative monoid $(S\setminus \{1\}, \cdot)$ are unique factorization monoids (UFM). The Bi-UF Positive Conjecture states that $\mathbb{N}_0$ is the only subsemiring of the nonnegative cone of the real line that is a bi-UFS. In this paper, we prove that no simple semiring extension of $\mathbb{N}_0$ by a quadratic algebraic number is a bi-UFS, identifying a natural class of complex semirings satisfying the statement of the Bi-UF Positive Conjecture. We also identify another class of complex semirings satisfying the statement of the Bi-UF Positive Conjecture. Then we extend the statement of the Bi-UF Positive Conjecture by motivated by a structural theorem we established for semidomains whose additive monoid are finite-rank free commutative monoids. Finally, we consider the bi-HF property, which is a relaxed version of the bi-UF property. We prove that $\mathbb{N}_0$ is the only positive rational semidomain having the bi-HF property, and we provide two methods to construct bi-HFS complex semirings that are distinct from $\mathbb{N}_0$.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Felix Gotti, Omar Graia, Darren Han, Hengrui Liang. 2026-07-06. The Bi-UF Positive Conjecture for quadratic monogenic semirings and related progress. https://arxiv.org/abs/2607.22669

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM↗
arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM↗