Collatz conjecture becomes theorem

2026-02-28T16:13:38Z

The Collatz hypothesis is a theorem of the algorithmic theory of natural numbers. We prove the (algorithmic) formula that expresses the halting property of Collatz algorithm. The observation that Collatz's theorem cannot be proved in any elementary number theory completes the main result.

Deterministic Structures in the Stopping Time Dynamics of the 3x+1 Problem

2026-02-28T15:24:24Z

The $3x+1$ problem concerns the iteration of the map $T:\mathbb{Z}\to\mathbb{Z}$ defined by $T(x)=x/2$ for even $x$ and $T(x)=(3x+1)/2$ for odd $x$. We study the \emph{coefficient stopping time} dynamics of $T$ (in the sense of Terras) by relating parity vectors of Collatz trajectories to exponential Diophantine equations. We construct a recursively generated tree of congruence classes $\bmod\,2^{σ_N}$ that characterizes the sets of integers with equal coefficient stopping time $σ^\ast(x)=σ_N$. We show that these classes satisfy a deterministic recursion and derive arithmetic transition rules between neighboring congruence classes based on differences of the associated Diophantine sums. Finally, we prove that the union of coefficient stopping time congruence classes generated up to a fixed order $N$ is periodic and establish a computable finite-range coverage bound. These results do not resolve the $3x+1$ conjecture, since it remains unproved that the coefficient stopping time coincides with the classical stopping time.

Domination Density and an Imbalance Regime for Vizings Conjecture

2026-02-28T02:13:00Z

We develop a domination density framework for studying Vizings conjecture gamma(G square H) ge gamma(G)gamma(H). Recasting the conjecture in multiplicative density form we derive a bipartition imbalance sufficient condition for certain graph pairs. For bipartite G we introduce a constructive imbalance amplification argument: if a minimum dominating set of G is sufficiently concentrated on one side of the bipartition relative to δ(H) then gamma(G square H) + tau_X |V(H)| ge gamma(G)gamma(H) where tau_X depends explicitly on the local domination concentration. In particular whenever delta(G) > delta(H) such a concentration must occur. This yields an explicit additive deficit bound within the same domination density regime. We further show that domination-reducing leaf deletions preserve Vizings inequality. Consequently for bipartite graphs satisfying delta(G) > delta(H) the conjecture reduces to understanding the stability of Vizings inequality under domination-neutral leaf deletions.

Linear Independence Of Some Irrational Numbers

2026-02-27T18:06:54Z

This note presents an analytic technique for proving the linear independence of certain small subsets of real numbers over the rational numbers. The applications of this test produce simple linear independence proofs for the subsets of triples $\{1, e, π\}$, $\{1, e, π^{-1}\}$, and $\{1, π^r, π^s\}$, where $1\leq r

Sequential Apportionment from Stationary Divisor Methods

2026-02-27T18:00:04Z
Divisor methods are well known to satisfy house monotonicity, which allows representative seats to be allocated sequentially. We focus on stationary divisor methods defined by a rounding cutpoint $c \in [0,1]$. For such methods with integer-valued votes, the resulting apportionment sequences are periodic. Restricting attention to two-party allocations, we characterize the set of possible sequences and establish a connection between the lexicographical ordering of these sequences and the parameter $c$. We then show how sequences for all pairs of parties can be systematically extended to the $n$-party setting. Further, we determine the number of distinct sequences in the $n$-party problem for all $c$. Our approach offers a refined perspective on size bias: rather than viewing large parties as simply receiving more seats, we show that they instead obtain their seats earlier in the apportionment sequence. Of particular interest is a new relationship we uncover between the sequences generated by the smallest divisor (Adams) and greatest divisor (D'Hondt or Jefferson) methods.

Moment-based Piecewise Polynomial Probability Density Estimation with Quantile-Based Binning

2026-02-27T13:05:11Z
Accurate reconstruction of probability density functions (PDFs) from data is essential in engineering applications. Classical global moment-based polynomial approximations often suffer from oscillations, instability in the tails, and sensitivity to the choice of support. This work proposes a quantile-based piecewise polynomial density reconstruction approach that combines equal-probability binning with local moment-matched polynomials within each bin. Two variants are considered: piecewise monomial and piecewise Lagrange polynomials with Chebyshev nodes. The numbers of bins and polynomial degrees are selected by a proposed grid search approach guided by the Kolmogorov-Smirnov (K-S) test statistic under non-negativity constraints. Across several benchmark distributions, the proposed methods reduce K-S errors by about $80$-$96\%$ relative to standard monomial and Lagrange polynomial approaches, and by about $83$-$97\%$ compared with spline density estimation. For real-world household electricity consumption and solar irradiance data, the piecewise approaches achieve K-S test statistic performance comparable to kernel density estimation while offering improved control over tail behavior and oscillations. Overall, the results demonstrate that quantile-based localization substantially enhances the robustness and fidelity of moment-based polynomial PDF reconstruction.

Direct Product of Picture Fuzzy Subgroups

2026-02-27T12:20:18Z
In this paper, the concept of a picture fuzzy subgroup of a group is studied, and the notion of the direct product of picture fuzzy subgroups is introduced. Several characterisations of the direct product of picture fuzzy subgroups are established using the $(r, s, t)$-cut sets of picture fuzzy sets.

The Dynamical Landscape of Beggar-My-Neighbour: Ultra-long Matches, Loops, and Infinite Matches

2026-02-26T12:52:54Z
We present a rigorous mathematical and computational analysis of the deterministic card game \emph{Beggar-My-Neighbour}. By establishing a formal state-space framework, we investigate the game's dynamical landscape, focussing on the dichotomy between terminating and non-terminating matches. Extensive numerical simulations reveal that the distribution of finite match durations \emph{approximates} an exponential decay, with relevant deviations, confirming an emergent memory-less dynamics. This statistical behaviour is further analysed in the context of ultra-long matches, where we identify characteristic multi-scale oscillatory patterns and entropic regimes. Theoretically, we address the problem of backwards determinism, formalising the lack of injectivity of the trick function even within the set of reachable states. Crucially, we contribute to the recent resolution of the long-standing question regarding the existence of infinite games. We introduce an automated `Infinite Loop Factory' algorithm which, by implementing adaptive insertion strategies, proves effective in identifying non-terminating cycles with balanced initial deck configurations, thereby confirming the existence of non-terminating dynamics in standard and generalised settings of the game.

Optional intervals event, sequential operation and their applications in physics, computer science and applied mathematics

2026-02-25T15:40:35Z
This paper proposes an algebraic framework for analyzing event execution intervals and sequences, introducing the concept of Optional Intervals Event (OIE) as a core abstraction. The OIE 4-tuple realizes the mapping of real-world events, storing all feasible execution intervals and sub-event relationships. Based on this, two sequential operations are defined: "Complete Sequential Addition" models concurrent events with a certain degree of equal opportunity within a shared time domain, "Complete Sequential Multiplication" models sequential events with a strict order. And the algebraic properties and orbit spaces of these operations are analyzed. Addressing the traditional challenge of "simultaneous start", this paper argues that pointwise temporal equality of timestamps is an unattainable ideal due to physical limits of observational precision. Instead, using sequential operation, "simultaneous start" is reformulated as a certain degree of equal opportunity within an equipotential time window, rather than observed instantaneous equality. This paradigm shift emphasizes integrating subjective algebraic structures to move the perspective from passive observation to active constraint-aware planning, providing a more rigorous formal foundation for event scheduling, physical simulation, and computational modeling that can handle inherent observational uncertainties.

The Derived Adelic Cohomology Conjecture for Elliptic Curves

2026-02-25T09:17:01Z
We propose a novel derived cohomological framework for the Birch and Swinnerton-Dyer (BSD) conjecture for elliptic curves. In our approach, local arithmetic data are encoded in derived sheaves which, when glued via a mapping cone construction, yield an adelic complex. A natural Postnikov filtration on this complex gives rise to a spectral sequence whose first nonzero differential detects the analytic and algebraic rank of the curve. Moreover, the determinant of this differential equals the combination of classical invariants appearing in the BSD formula. We present rigorous constructions of the derived sheaves involved and establish their key properties, including explicit connections to L-functions through cohomological interpretations. Extensive numerical evidence across curves of various ranks, including those with non-trivial Tate-Shafarevich groups, supports these structural predictions. Our framework unifies several existing approaches to the BSD conjecture, providing a cohomological interpretation that explains both the rank equality and the precise formula where previous methods addressed only partial aspects of the conjecture.

Analysis Of A Long Memory Circular Convolution Model

2026-02-24T19:29:39Z
A stochastic model, the product of a circulant matrix and a random normal vector, is shown to produce an evolutive long memory time series with a power law spectral density. The distribution of the time series, a beta location scale family of distributions, provides a connection to the unit centered spherical distribution and directional statistics. The eigenanalysis of the deterministic circulant matrix is shown to provide estimates of the discrete Fourier spectral trend, the intrinsic dimension, the probability density shape parameter of the resulting time series, the condition number of the matrix and a principle component analysis. Examples of the R code, used as the constructive exploratory element of the work are given as constructive elements of the paper. The R code may be copied, pastedinto a R editor, and explored.

Rigorous Geometric Obstructions for Fourier Curves Generated by Prime Numbers

2026-02-24T13:36:37Z
We study planar curves defined by finite Fourier series of the form $F_n(t)=\sum_{p\le n} v_p(n!)\, e^{i p t}$, where the frequencies are the prime numbers and $v_p(n!)$ denotes the exponent of the prime $p$ in the factorization of $n!$. We establish several rigorous obstructions to uniform geometric regularity as $n\to\infty$. In particular, we prove that the curve lengths grow without bound, that neither the first nor the second derivatives remain uniformly bounded, and that the diameters grow at least on the order of $n\log\log n$. As a consequence, the covering numbers of the curves satisfy explicit quantitative lower bounds. These results provide a rigorous explanation for the complex geometric behavior observed in numerical investigations of this model.

Fermatean fuzzy type entropy-based new integrated decision making method with analysis of energy poverty in Türkiye application

2026-02-23T23:04:33Z
Income-based poverty indicators are insufficient to fully explain the multifaceted socio-economic issue of energy poverty. The ability of households to obtain and use energy services sustainably is significantly influenced by structural factors like building efficiency, energy prices, climate, and regional disparities. Moreover, the assessment of energy poverty inherently involves uncertainty, vagueness, and subjective judgments, which limit the applicability of classical deterministic evaluation approaches. This paper proposes a novel, integrated MCDM framework based on FFSs to address these issues. To objectively assess the uncertainty present in FF-information, a novel FF-entropy metric is first presented. The proposed entropy employs a nonlinear structure, enabling a more flexible and sensitive representation of fuzziness in complex decision environments. The subjective weights obtained from the FF-PIPRECIA approach are then blended with the entropy-based objective weights. Lastly, options are ranked according to their relative usefulness in relation to ideal and anti-ideal solutions using the FF-MARCOS approach. The proposed framework is applied to the regional evaluation of energy poverty in Turkiye, considering seven geographical regions and six key criteria: income level, energy prices, energy efficiency, building efficiency, climate, and urbanization. Sensitivity analysis, weight perturbation analysis, and entropy-criterion dominance analysis validate the robustness and stability of the suggested model across various parameter settings. For policymakers and practitioners seeking to develop focused, effective, and socially just energy policies amid uncertainty, the proposed method provides a robust, adaptable decision-support tool.

Comparative Analysis of the Efficiency of Application of Legendre Polynomials and Trigonometric Functions to the Numerical Integration of Ito Stochastic Differential Equations

2026-02-23T17:14:23Z
The article is devoted to comparative analysis of the efficiency of application of Legendre polynomials and trigonometric functions to the numerical integration of Ito stochastic differential equations in the framework of the method of approximation of iterated Ito and Stratonovich stochastic integrals based on generalized multiple Fourier series. On the example of iterated Ito stochastic integrals of multiplicities 1 to 3, included in the Taylor-Ito expansion, it is shown that expansions of stochastic integrals based on Legendre polynomials are much easier and require significantly less computational costs compared to their analogues obtained using the trigonometric system of functions. The results of the article can be useful for construction of high-order strong numerical methods for Ito stochastic differential equations.

A Formal Group Perspective on the Riemann Zeta Function

2026-02-23T04:00:27Z
We develop a formal group--theoretic framework for the Riemann zeta function by treating its Euler product as an element of the multiplicative formal group $\widehat{\mathbb{G}}_m$ and its logarithm as the associated formal group logarithm. This provides a purely algebraic linearization of the multiplicative prime-wise structure of the Euler product. Starting from a finite cutoff model, we introduce a formal completion via evenization and a natural normalization procedure. The resulting logarithmic expansion exhibits a Gaussian leading term, while higher-order terms form a hierarchy of cumulants. We show that this Gaussian structure is not probabilistic in origin, but arises from the infinitesimal quadratic geometry of the multiplicative formal group after linearization. The higher cumulants encode arithmetic deviations and admit a decomposition governed by weighted integrals of the Chebyshev error function $θ(x)-x$. A systematic formal group axiomatization is then provided, placing the cutoff model and cumulant hierarchy within a coherent algebraic framework. The approach is deliberately non-spectral, focusing on a structural reorganization of the Euler product rather than on operator-theoretic realizations of zeros. We briefly indicate possible connections with absolute arithmetic and geometry over $\mathbb{F}_1$.