On the Beal Conjecture and the Nonexistence of Coprime Solutions for Exponents Greater than Two

2026-03-16T08:07:32Z

In this paper we study the exponential Diophantine equation which is related to Beal's conjecture. In the present paper we investigate the case when a,b,c are pairwise coprime integers. Using analytic transformations and algebraic arguments, we derive relations equivalent to a special form of the equation and analyze them under the condition x,y,z>2 . As a result, it is shown that the equation has no solutions in pairwise coprime integers when the exponents are greater than two.The obtained results contribute to the study of exponential Diophantine equations and are closely related to classical problems in number theory, including Fermat's Last Theorem.

Natural Orderings of Triangle Centers

2026-03-16T07:27:31Z

Triangle centers are usually studied individually or through special geometric relationships, but little attention has been given to global structure among them. In this paper we introduce several natural ways to order triangle centers, including the isosceles order, vertex order, side order, and trace order. These partial orders compare centers by their relative positions in families of triangles, such as acute triangles with a fixed shortest side. Using barycentric coordinates and symbolic computation, we determine ordering relations among many of the first 100 triangle centers listed in Kimberling's Encyclopedia of Triangle Centers. The results reveal surprising structural patterns and suggest new ways to organize and study triangle centers. For example, in an acute triangle $ABC$, with shortest side $BC$, the Gergonne point is always closer to side $BC$ than the nine-point center.

Lattices which can be represented as lattices of intervals

2026-03-15T22:59:48Z

We investigate lattices that can be represented as sublattices of the lattice of all convex subsets of a linearly ordered set $(X, \leq)$ and as lattices of convex subsets of $(X, \leq)$. A representation theory for general lattices is presented and also some applications in general topology are given.

Irreducibility of the Cuboid Polynomial $P_{a,u}(t)$ via a Rank-Zero Elliptic Curve

2026-03-15T19:25:59Z

In this paper we study the even monic degree-8 cuboid polynomial $P_{a,u}(t)$ introduced by R.A. Sharipov in the first-cuboid specialization of his cuboid equations. For nonzero integers $a,u$ with $u^2\neq a^2$ we prove that $P_{a,u}(t)$ is irreducible in $\mathbb{Z}[t]$ (equivalently, in $\mathbb{Q}[t]$), thus confirming Sharipov's irreducibility conjecture in this two-parameter case. Over $K=\mathbb{Q}(\sqrt2)$ we have a factorization $P_{a,u}(t)=H_-(t)H_+(t)$ into two conjugate quartics. We show that any further factorization of $H_\pm$ would force the discriminant of a certain quadratic in $S=t^2$ to be a square in $K$, which in turn implies (via $τ=(au/Δ)^2$) the existence of a rational point $(y,v)\in\mathcal{C}(\mathbb{Q})$ on the genus-one quartic $\mathcal{C}:\ v^2=16y^4+136y^2+1$ with $y^2=τ$. We give an explicit isomorphism $\overline{\mathcal{C}}\simeq E$ with the elliptic curve $E:\ Y^2=X(X-8)(X-9)$, whose Mordell-Weil group has rank $0$ and conductor $48$. Enumerating $E(\mathbb{Q})$ and tracing back to $\mathcal{C}(\mathbb{Q})$ rules out the only possible values $τ\in\{0,\tfrac14\}$, and hence excludes any factorization in $K[t]$. A quadratic Galois descent then yields the irreducibility of $P_{a,u}(t)$ over $\mathbb{Q}$ and $\mathbb{Z}$.

$n$th Roots of $n$th Powers

2026-03-15T14:12:49Z

Seeking simple, efficient solutions of a matrix equation leads (quite circuitously) to optimizing unimodular zerofree matrices.

The Flint Hills Series, Mixed Tate Motives, and a Criterion for the Irrationality Measure of $π$

2026-03-15T09:46:03Z

We undertake a rigorous structural analysis of the Flint Hills series S = sum_{n=1}^{infinity} 1 / (n^3 sin^2 n). Our primary contribution is an unconditional reduction theorem expressing S as S = (4/3) zeta(3) + (1/3) R*, where R* = sum_{n=1}^{infinity} sin(3n) / (n^3 sin^3 n), with the equivalence "S converges if and only if R* converges" holding unconditionally. Combined with the classical result of Alekseyev, this yields a sharp biconditional criterion: S converges if and only if the irrationality measure of pi satisfies mu(pi) <= 5/2. The proof of the direction mu(pi) <= 5/2 => R* converges is near-complete: the generic and resonant regimes are handled unconditionally, while the intermediate regime requires a quantitative discrepancy estimate whose complete derivation invokes the Duffin--Schaeffer theorem and is detailed in the paper. We then develop a distributional Fourier analysis of the kernel K(x) = sin(3x)/sin^3(x), proving that its distributional Fourier transform is K_hat(xi) = -8 pi delta(xi) - 12 pi sum_{k != 0} |k| delta(xi - 2k), and reinterpreting the Alekseyev criterion as a spectral non-resonance condition. Regarding the motivic structure, we prove that R* admits an exact partial-fraction decomposition R* = -4 zeta(3) + 3A - 3B - 3C - 3D where A,B,C,D are explicit Lerch-type sums. We compute explicit Q-rational expressions for all lower-weight terms, identify the fundamental obstruction to a motivic closed form, and prove that R* is in Q * zeta(3) + Q * L(3, chi) if and only if Cl_3(1) is in Q * zeta(3) + Q * L(3, chi), precisely locating the conjecture within the theory of transcendence of polylogarithm values.

A Constructive Proof of the Four-Color Theorem

2026-03-15T06:40:26Z

This paper presents a proof path for the Four-Color Theorem that differs from the traditional "reducible configuration" method. By introducing concepts such as the "outer boundary," "primitive set," "Property A, Property B," and the operation of "adding an n-point region on an interval," we construct a framework to progressively color any given planar graph. The core of this framework consists of three theorems, which ensure that after gradually adding specific regions on an outer boundary that satisfies Property A and Property B, the new outer boundary still satisfies these properties, ultimately allowing the entire given graph to be colored with four colors. This method avoids computer enumeration and offers a more constructive proof perspective.

Combinatorial metaplexes and centrality indices for identifying higher-order interactions

2026-03-14T17:12:02Z

Complex systems consist of interacting units whose interactions may be pairwise, involving two units, or higher-order, involving more than two units simultaneously. Graphs capture pairwise interactions and represent such systems as networks, whereas simplicial complexes can capture higher-order interactions (HoIs) and represent them as higher-order networks comprising simplices. In the clique complex construction, HoIs arise whenever vertices form a clique in the underlying graph. In classical graph-theoretic and simplicial-complex models, vertices are treated as structurally indistinguishable objects. However, in many real-world systems vertices possess internal structure, and their intrinsic properties influence the HoIs present in the system. To address this limitation, we introduce the combinatorial metaplex, consisting of two interacting components: an underlying simplicial complex that serves as an admissibility structure specifying boundary-compatible higher-order simplex candidates, and a concentration layer defined by a concentration map assigning a value to each vertex and extending the map to simplices so that the resulting distribution satisfies a conservation relation between vertex weights and facet weights. This concentration layer provides a deterministic threshold rule governing the inclusion of true HoIs. Using facet-mediated adjacency and weighted walks, we define one-parameter families of degree, closeness, and harmonic centralities for non-facet simplices, interpolating between those determined solely by the simplicial complex and those determined by concentration-induced coupling. The framework is illustrated through a representative example, including a comparison of HoIs obtained from the clique complex and the combinatorial metaplex, followed by an analysis of edge centralities within the combinatorial metaplex.

A fixed-point iteration method for the number Pi with arbitrary odd order of convergence based on the sine function

2026-03-14T11:15:19Z

In this paper, we present a fixed point method for high-precision computation of number $π$ based on the sine function. Let $P\in \mathbb{N}$. We define the function: \[ S\left(x\right) =x+\sum_{k=1}^{P}\left(\prod_{\ell=1}^{k-1}\frac {2\,\ell-1}{2\,\ell}\right)\frac{\sin\left(x\right)^{2\,k-1}}{2\,k-1}\,. \] For every initial value $x_0$ sufficiently close to $π$, the sequence \[x_{n+1}=x_n+S\left(x_{n}\right)\;;\,n=0,1,\ldots\] is converging to $π$ with order of convergence exactly $\left(2\,P+1\right)$. The computational tests we performed demonstrate the efficiency of the method. \[\] \[\textbf{Zusammenfassung}\] In dieser Abhandlung stellen wir ein Fixpunktverfahren zur Berechnung der Kreiszahl $π$ auf Basis der sinus Funktion vor. Es sei $P\in \mathbb{N}$. Wir definieren die Funktion: \[ S\left(x\right) =x+\sum_{k=1}^{P}\left(\prod_{\ell=1}^{k-1}\frac {2\,\ell-1}{2\,\ell}\right)\frac{\sin\left(x\right)^{2\,k-1}}{2\,k-1}\;. \] Für jeden Startwert $x_0$ hinreichend nahe bei $π$ konvergiert die Folge \[x_{n+1}=x_n+S\left(x_{n}\right)\;;\,n=0,1,\ldots\] gegen $π$ mit Konvergenzordnung genau $\left(2\,P+1\right)$. Anhand von praktischen Berechnungen zeigen wir die Effizienz des Verfahrens. \[\text{Deutsche Version ab Seite 19}\]

Eight-dimensional Octonion-like but Associative Normed Division Algebra

2026-03-12T17:14:38Z

We present an eight-dimensional even sub-algebra of the ${2^4=16}$-dimensional associative Clifford algebra ${\mathrm{Cl}_{4,0}}$ and show that its eight-dimensional multivectors ${\bf X}$ and ${\bf Y}$ respect the composition law ${||{\bf X}{\bf Y}||=||{\bf X}||\,||{\bf Y}||}$, thus forming an octonion-like but associative normed division algebra, where the norms are calculated using the fundamental geometric product instead of the usual scalar product so that the underlying coefficient algebra resembles split complex numbers instead of reals. The corresponding 7-sphere obtained from projecting this multivector-valued composition law to the scalar-valued composition law has a topology that differs from that of the octonionic 7-sphere. Just as the octonionic 7-sphere is parallelizable using the non-associative algebra of octonions, we demonstrate that the 7-sphere presented herein is parallelizable using the said associative algebra.

Generalization of the Hardy-Littlewood conjecture to almost-prime number tuples

2026-03-12T16:02:49Z

The article presents a generalization of the classical Hardy-Littlewood conjecture concerning the density of prime tuples to the case of tuples consisting of almost-prime numbers (numbers with a specified quantity of prime divisors). The work investigates tuples of natural numbers where each element is subject to an individual factorization requirement. A proposed asymptotic formula for the quantity of such tuples is presented, where the density is determined by the product of two constants: the standard Selberg constant, which depends solely on the tuple pattern, and a correction factor, which depends only on the set of requirements for the number of prime divisors at each position in the tuple. The author proves that the admissibility of a pattern for prime numbers implies its admissibility for almost-prime numbers. The principle of symmetry is established - the correction factor depends only on the multiset of requirements, not on the order of elements within the tuple. An empirical-analytical method for calculating the correction factor is developed, based on the invariance of the Selberg constant under pattern stretching. The method is tested on tuples of small length (pairs and triples), for which tables of calculated coefficients with high accuracy are provided. The method is justified in the work.

Relative consistency of a finite nonclassical theory incorporating ZF and category theory with ZF

2026-03-12T14:05:24Z

Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker than ZF, that is finitely axiomatized, and that does not have a countable model (if it has a model at all, that is). Here we prove that T is relatively consistent with ZF. We conclude that this is an important step towards showing that T is an advancement in the foundations of mathematics.

On the Erdős-Turán additive base conjecture

2026-03-12T08:39:51Z

In this paper, we formulate and prove several variants of the Erdős-Turán additive bases conjecture.

Simple close curve magnetization and application to Bellman's lost in the forest problem

2026-03-11T05:09:55Z

In this paper, we introduce and develop the notion of simple closed-curve magnetization. We provide an application to the Bellman lost in the forest problem by assuming special geometric conditions between the hiker and the boundary of the forest.

Chebyshev polynomials and a refinement of the local residue/non-residue structure at a prime

2026-03-10T22:04:04Z

The basic power function $t_n(x)=x^n$ is in some sense a classical limit for large $x$, of the monictised Chebyshev polynomial of the first kind $T_n(x)/2^{n-1}$. A theorem of Ritt says they are the only two families of polynomials $p_n(x)$ over $\mathbb{C}$ which satisfies the commutativity relation $p_n(p_m(x))=p_m(p_n(x))$. The commutativity $t_n(t_m(x))=t_m(t_n(x))$ is the reason why the RSA scheme allow also digital signature but the Diffie-Hellman key exchange protocol depends only on the commutativity. The DH scheme and many results in elementary local (at a fixed prime) multiplicative number theory is about properties of the power function $t_n(x)$ and they have natural analogue extension to $T_n(x)$. Recently we discovered a Chebyshev version of Euler's primality criterion , which however depends on two quadratic characters $ε_p(a)=\left ( \frac{a^2-1}{p} \right)$ and $δ_p(a)=\left( \frac{2(a+1)}{p} \right)$. This gives rise to a local partition of $(\mathbb{Z}/p\mathbb{Z}) \setminus \{ \pm 1 \}$ into 4 disjoint sets $A_{εδ}$. This can be thought of as a real refinement of the residue/non-residue as it arise from viewing $T_n(x)$ is the "real" part of the $n$th power of the unit $ω_x=x+\sqrt{x^2-1}$, namely $ω_x^n=T_n(x)+U_{n-1}(x)\sqrt{x^2-1}$. There are obvious analogue of Chebyshev version of pseudoprimes, Wieferich primes, Lucas-Lehmer, AKS, Diffie-Hellman, cyclotomic expansions and probably others.