https://arxiv.org/api/FbCH//lk7PkzDwFfiPpKPuViIio 2026-06-14T04:18:03Z 4808 225 15 http://arxiv.org/abs/2601.16247v2 2026-03-06T13:05:58Z

We construct bisymmetric, strictly increasing binary operations on real intervals which are not continuous. This answers a natural question in the theory of bisymmetric and mean-type operations by showing that continuity may fail for non-reflexive operations of the form \[ F(x,y)=f^{-1}(αf(x)+βf(y)), \] where $α,β>0$ with $α+β\neq1$. Our construction is based on a Cantor-type perfect set whose elements are linearly independent over a countable subfield of $\R$, which allows the generating function $f$ to map an interval bijectively onto a nowhere dense fractal-type set. As a consequence we obtain a noncontinuous associative and strictly increasing operation on an interval. We also extend the construction to the multivariate case. In the opposite direction we prove that if a symmetric bisymmetric strictly increasing operation is reflexive at two points of an interval, then it is automatically continuous on the segment between them and coincides there with a quasi-arithmetic mean.

2026-01-22T17:32:15Z 21 pages Gergely Kiss http://arxiv.org/abs/2603.06702v1 2026-03-05T14:28:30Z

We investigate geometric, potential-theoretic, and information-theoretic correspondences between the inverse eigenvalue loci of companion matrices associated with generalized Lucas sequences and the boundary of the Mandelbrot set. Through systematic numerical experiments, we show that these algebraic spectral loci exhibit a striking low-distortion geometric correspondence with the Mandelbrot boundary at macroscopic scales, together with a coherent organization within its external potential field, characterized by concentration along narrow equipotential annuli of the Mandelbrot Green function. This correspondence is quantified using a suite of complementary diagnostics, including optimal transport matching, Procrustes alignment, local distortion measures, fractal and spectral statistics, Green-function-based potential comparisons, and convex simplex update analyses. Taken together, these results indicate that the observed similarity extends beyond visual resemblance, reflecting shared structural organization across geometric, harmonic, and statistical levels. While the present work is entirely numerical in nature, it establishes a robust multi-scale framework for comparing algebraic spectral constructions with nonlinear dynamical fractals, and it highlights several avenues for future analytical investigation.

2026-03-05T14:28:30Z Arturo Ortiz-Tapia 10.1016/j.chaos.2026.118191 http://arxiv.org/abs/2603.06701v1 2026-03-05T12:51:58Z

We introduce an elliptic extension of Clausen-type functions based on a unified recursive framework. Starting from the polylogarithmic master function, we construct a pair of circular functions whose real and imaginary parts correspond to the classical Clausen-type structures. Replacing the trigonometric seed with a Jacobi theta function yields an elliptic deformation that preserves the same recursive backbone. The circular limit recovers the original functions, establishing a structural correspondence between the circular and elliptic settings. Furthermore, we introduce a generating deformation that organizes the recursion into a single analytic object. This viewpoint suggests a unified framework for Clausen-type functions and their elliptic analogues.

2026-03-05T12:51:58Z 12 pages, no figures Ken Nagai http://arxiv.org/abs/2603.06695v1 2026-03-04T22:36:01Z

We analyze what happens to the average duration of a game of Chutes and Ladders as the probability of rolling $δ\in \{ 1,2,3,4,5,6\}$ approaches 100%. We utilize Markov models, and Monte Carlo simulations in Python. We also introduce strategy to the board game by allowing the player to choose whether or not they flip a coin after each die roll where if they get heads they will advance one square and if they get tails they will go back one square. The strategy the player employs to decide when to flip the coin has a significant impact on the average duration of the game. We analyze six different non-trivial strategies.

2026-03-04T22:36:01Z 38 pages, 22 figures. Includes 15 pages of SageMath and Python source code. Master's Thesis Vincent Ciarcia Erik Insko http://arxiv.org/abs/2603.06692v1 2026-03-04T12:28:26Z

Many open problems in combinatorics admit reformulations in which a global construction can be achieved by the repeated application of small, finite correcting steps. This paper presents three computational case studies of this principle, carried out using AlphaEvolve as an experimental engine for proposing and iteratively refining such certificates. The problems we studied are: reconstruction of bipartite and planar graphs from vertex-deleted subgraphs; the Alon-Tarsi parity problem for Latin squares, approached via sign-reversing involutions built from local trades; Rota's Basis Conjecture, studied through local exchange policies on collections of bases. In these three problems the correcting steps take the form of a reconstruction rule, a parity-reversing involution, and a transversal family of bases, respectively. For each problem, we describe the experimental setup, the scoring protocols, and the outcomes of the searches, leading to concrete conjectures concerning the existence and structure of the relevant correcting steps. The aim is not to claim proofs, but rather to produce explicit algorithms and to reveal structural patterns that appear amenable to subsequent analysis by traditional mathematical methods.

2026-03-04T12:28:26Z 52 pages, including Appendix Gergely Bérczi http://arxiv.org/abs/2603.06682v1 2026-03-04T01:26:29Z

We study the arctanh sums h(k) = sum_{n=2}^\infty arctanh(n^{-k}) as a function of a complex variable k. Building on the closed-form identity h(k) = (1/2) log(g(2k)/g(k)^2) (proved in the companion preprint arXiv:2602.06244), we develop the analytic continuation and prime-restricted multiplicative theory. We prove that h extends meromorphically to Re(k) > 0 with simple poles at k = 1/(2m+1), derive Laurent expansions at its poles (including k = 1), and obtain a Mittag-Leffler decomposition encoding the Dirichlet lambda function. We also show that h has exactly one simple real zero in each inter-polar interval. Finally, for the prime-restricted analogue h_p(k) = log(zeta(k)) - (1/2) log(zeta(2k)), we establish a pi-cancellation mechanism implying unconditional transcendence of h_p(2j), and derive a product formula over the nontrivial zeros of zeta with O(|Im(rho)|^{-2}) decay.

2026-03-04T01:26:29Z 16 pages Ryan Goulden http://arxiv.org/abs/2601.11648v2 2026-03-03T08:52:44Z

Reeb spaces of smooth functions are fundamental and strong tools in understanding manifolds via smooth functions with mild critical points. They are defined as the natural spaces of all connected components of level sets. They are also important objects in related studies. Realization of graphs as Reeb spaces of smooth functions of certain nice classes is of such studies. In this paper, we present Reeb spaces of explicit real analytic functions which are not finite graphs. Related problems were started by Sharko, in 2006, who has studied smooth functions with critical points represented by certain elementary polynomials, and followed by a study of Masumoto and Saeki, which is on smooth functions on closed surfaces under an extended situation, and a study of Michalak, which is on Morse functions on closed manifolds. The author has contributed to this by respecting topologies of level sets, and real algebraic construction.

2026-01-15T06:12:36Z 11 pages. This is essentially same as a version submitted to a refereed journal Naoki Kitazawa http://arxiv.org/abs/2603.03373v1 2026-03-02T22:42:44Z

It is well known that there is no closed form analytic expression for the perimeter of an ellipse. In 1927, Srinivasa Ramanujan provides two approximations to the perimeter of an ellipse that are amazingly accurate. However, he does not provide an explanation of how he arrived at those expressions. In this paper, we will try to provide such an explanation that is likely how he derived those expressions. Using insights from our analysis, we improve on these approximations. To the best of our knowledge, ours is the first attempt to explain Ramanujan's ellipse perimeter formula and our approximation is uniformly better than his expression.

2026-03-02T22:42:44Z 16 pages, 2 figures Uday Shankar http://arxiv.org/abs/2602.06244v4 2026-03-02T22:31:23Z

We establish closed-form expressions for the infinite series sum from n=2 to infinity of arctanh(n^-k) for all integers k >= 2 by connecting these sums to infinite product formulas involving the gamma function. Our approach uses logarithmic manipulations, the Fubini-Tonelli theorem, and Frullani's integral theorem. As applications, we derive a structural identity relating the Riemann zeta function zeta(k) to these sums, establish a new series representation for the Euler-Mascheroni constant gamma, and show that this representation admits an exponentially convergent reformulation via zeta values. We further prove that h(k) = sum from n=2 to infinity of arctanh(n^-k) is strictly decreasing and strictly convex in k, and we establish explicit two-sided bounds and asymptotic expansions. The decimal expansions of the closed-form values and several auxiliary sequences arising from these identities are cataloged in the OEIS.

2026-02-05T22:47:53Z 22 pages, v2 removed ambiguity from theorem 1 proof, v3 Revised and expanded manuscript adding a discussion on the arithmetic properties of h(k) for natural k, v4 fixed incorrect OEIS reference for h(2) as well as a serious error in the Cantrell product formula Ryan Goulden http://arxiv.org/abs/2603.03364v1 2026-03-02T18:30:08Z

The Sombor index, a degree-based topological descriptor introduced by Gutman in 2021, lacks closed-form expressions for complex hierarchical trees with multi-level pendant structures and nonuniform degree distributions, despite extensive results for simpler families such as paths, stars, cycles, and basic caterpillars. For a simple graph $\mathcal{G}$, the Sombor index is defined as \[ \mathrm{SO}(\mathcal{G}) = \sum_{uv \in E(\mathcal{G})} \sqrt{d(v)^2 + d(u)^2}. \] In this work, we derive a general recursive formula for the Sombor index of multi-level pendant-augmented path trees. These trees are constructed from a spine path $\mathcal{P}_n$ ($n \ge 2$) in which each vertex has degree $2+k$ and are iteratively augmented over $m \ge 1$ hierarchical levels. Pendants attached to odd-indexed spine vertices branch with replication factor $k$ and terminal degree $\ell_i$, whereas those stemming from even-indexed vertices incorporate an initial offset $\ell_1>2$ that propagates through subsequent levels. These results significantly advance the theoretical and computational study of degree-based topological descriptors in iteratively constructed graphs.

2026-03-02T18:30:08Z 17 pages, 5 figures and 2 tables. Comments are welcome! Jasem Hamoud http://arxiv.org/abs/2604.13043v1 2026-03-02T16:05:43Z

We study the existence of positive solutions for a parameter-dependent nonlocal boundary value problem involving a Caputo fractional derivative, which generalizes a classic thermostat model. Our approach extends previous work by considering two nonlinear functionals occurring in the boundary conditions and, crucially, by analyzing cases where the associated Green's function is not necessarily positive and is allowed to change sign. We employ a Birkhoff-Kellogg type theorem in cones to establish the existence of positive eigenvalues with associated eigenfunctions with given norms. Furthermore, we provide explicit intervals that localize the corresponding positive eigenvalues. The applicability of our theoretical framework is illustrated with examples.

2026-03-02T16:05:43Z 15 pages, 1 figure Gennaro Infante Takieddine Zeghida http://arxiv.org/abs/2605.00009v1 2026-02-28T23:08:45Z

In the current work, we propose a generalization of angles and orthogonality from $L^2$ to generic Banach spaces, starting from a $L^p$ version of the Pythagorean theorem, $p\in [1,\infty)$. The starting point is conservation of energy measured in $L^1$ norm, as it occurs when considering the intrinsic mode functions decomposition in signal processing. This conservation of energy measure in $L^1$ norm is exactly the $L^1$ Pythagorean theorem. Besides the theoretical analysis, we apply the new notions in the context of preconditioning for structured large linear systems, by obtaining new classes of preconditioners. The present work contains numerical experiments and various remarks on the possible use of the given framework.

2026-02-28T23:08:45Z Antonio Cicone Stefano Serra-Capizzano Giacomo Tento Haomin Zhou http://arxiv.org/abs/2310.13035v3 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.

2023-10-19T13:26:46Z Grażyna Mirkowska Andrzej Salwicki http://arxiv.org/abs/1709.03385v7 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.

2017-09-06T01:00:05Z 27 pages, 3 figures, 4 tables, 9 programs in PARI/GP Mike Winkler http://arxiv.org/abs/2603.00658v1 2026-02-28T14:04:51Z

We introduce a novel deterministic fractal set PF in the unit interval whose construction is driven by the sequence of prime numbers modulo 16. At each step of the recursive construction, two subintervals are retained based on the residues of consecutive primes, yielding a Cantor-like set with a uniform contraction ratio of 1/16 and a branching number of 2. We prove that PF is a non-empty, compact, nowhere dense set of Lebesgue measure zero. Its Hausdorff dimension and box-counting dimension are both equal to 1 4 . The dimension is universal in the sense that it does not depend on the specific choice of the residue sequence, but only on the branching number and the contraction ratio. A generalization to arbitrary bases and branching numbers is also provided. This construction establishes a rigorous link between number theory and fractal geometry, offering a deterministic fractal whose structure is entirely encoded by the distribution of primes.

2026-02-28T14:04:51Z 7 pages,0 figures Zhengqiang Li