https://arxiv.org/api/cnhOh1Mkgxt4AEXbCbik2DAN1D8 2026-06-21T18:39:53Z 4821 765 15 http://arxiv.org/abs/2502.15751v1 2025-02-10T16:59:18Z

We consider closed chains of circles $C_1,C_2,\ldots,C_n,C_{n+1}=C_1$ such that two neighbouring circles $C_i,C_{i+1}$ intersect or touch each other with $A_i$ being a common point. We formulate conditions such that a polygon with vertices $X_i$ on $C_i$, and $A_i$ on the (extended) side $X_iX_{i+1}$, is closed for every position of the starting point $X_1$ on $C_1$. Similar results apply to open chains of circles. It turns out that the intersection of the sides $X_iX_{i+1}$ and $X_jX_{j+1}$ of the polygon lies on a circle $C_{ij}$ through $A_i$ and $A_j$ with the property that $C_{ij}, C_{jk}$ and $C_{ki}$ pass through a common point. The six circles theorem of Miquel and Steiner's quadrilateral Theorem appear as special cases of the general results.

2025-02-10T16:59:18Z 18 pages, 24 figures Norbert Hungerbühler http://arxiv.org/abs/2306.01758v5 2025-02-10T11:06:30Z

The standard Laplacian $-\triangle_{\mathbb R^n}$ in $L^2(\mathbb R^n)$ is self-adjoint and translation invariant on the finite-dimensional linear space $\mathbb R^n$. In this paper, we define a translation invariant operator $-\triangle_{\mathbb R^\infty}$ on $\mathbb R^\infty$ as a non-negative self-adjoint operator in some non-separable Hilbert space $L^2(\mathbb R^\infty)$. The set $L^2(\mathbb R^\infty)$ is a translation invariant subset of the set $CM(\mathbb R^\infty)$ of all complex measures on the product measurable space $\mathbb R^\infty$. Furthermore, we show that for any $f\in L^2(\mathbb R^n)$ and any $u\in L^2(\mathbb R^\infty)$, the separations of variables $e^{\triangle_{\mathbb R^\infty}t}(f\otimes u) =(e^{\triangle_{\mathbb R^n}t}f)\otimes (e^{\triangle_{\mathbb R^\infty}t}u) \ (t\in [0,+\infty))$ and $e^{\sqrt{-1}\triangle_{\mathbb R^\infty}t}(f\otimes u) =(e^{\sqrt{-1}\triangle_{\mathbb R^n}t}f)\otimes (e^{\sqrt{-1}\triangle_{\mathbb R^\infty}t}u) \ (t\in (-\infty,+\infty))$ hold. This clearly shows that $-\triangle_{\mathbb R^\infty}$ is an analog of $-\triangle_{\mathbb R^n}$. The starting point for the discussion in this paper is to naturally introduce a translation invariant structure of Hilbert space into $CM(\mathbb R^\infty)$. $L^2(\mathbb R^\infty)$ is a closed linear subspace of $CM(\mathbb R^\infty)$. The inner product of $L^2(\mathbb R^\infty)$ is defined as that of $CM(\mathbb R^\infty)$. For a manifold, Hörmander defined an inner product that does not depend on a particular measure. In fact, the way we introduce the inner product into $CM(\mathbb R^\infty)$ is a generalization of his. Not only is a statistical manifold on $\mathbb R^\infty$ a submanifold of $CM(\mathbb R^\infty)$, but the real inner product $\mathrm{Re}(\langle \cdot, \cdot \rangle_{CM(\mathbb R^\infty)})$ induces Fisher information metric.

2023-05-24T22:14:46Z Hiroki Yagisita http://arxiv.org/abs/2502.15748v1 2025-02-09T08:49:49Z

In this article, we will study prime spectrum of Krasner hyperrings and Zariski topology on them, which play an important role in algebraic geometry. Then some results about the relationship between the topological properties of Spec(R) and the algebraic properties of the hyperring R will be proved. In the following, by proving that every strongly regular relation on Krasner hyperrings can be considered as a congruence relation, we will define a topology on the set of strongly regular relations, and investigate its relationship with the Zariski topology. In addition, the effect of fundamental relations on the Zariski topology of Krasner hyperrings will also be investigated.

2025-02-09T08:49:49Z 22 pages Reza Ameri Behnam Afshar http://arxiv.org/abs/2502.15743v1 2025-02-08T02:03:57Z

We explore a new sieve that generates both primes and prime factorizations, without resorting to division. We demonstrate that the integer sequences generated by the sieve are the p-adic valuations of n, and that each is a fractal sequence. We then show that these sequences produce geometrical fractals like the Levy Dragon. We end by showing the connection between the odd part of n integer sequence and the Heighway Dragon.

2025-02-08T02:03:57Z 33 pages, 20 figures Micah D. Tillman http://arxiv.org/abs/2502.15741v1 2025-02-07T22:16:43Z

We propose a novel definition of Fourier transform, with the property that the transform of a real function is again a real function (without doubling the number of real components). We prove the inversion theorem for the novel definition, and show that it shares the good properties of the usual definition.

2025-02-07T22:16:43Z 19 pages, no figures, PDFLatex Fulvio Sbisà http://arxiv.org/abs/2502.14877v1 2025-02-05T07:54:33Z

In this paper is studied the problem concerning the angle between two subspaces of arbitrary dimensions in Euclidean space $E_{n}$. It is proven that the angle between two subspaces is equal to the angle between their orthogonal subspaces. Using the eigenvalues and eigenvectors of corresponding matrix representations, there are introduced principal values and principal subspaces. Their geometrical interpretation is also given together with the canonical representation of the two subspaces. The canonical matrix for the two subspaces is introduced and its properties of duality are obtained. Here obtained results expand the classic results given in [1,2].

2025-02-05T07:54:33Z 12 pages Bietrage zur Algebra und Geometria, 6(1), 289-300, 2001 Ice B. Risteski Kostadin G. Trenčevski http://arxiv.org/abs/2406.16923v2 2025-02-03T17:50:43Z

In point-free topology, one abstracts the poset of open subsets of a topological space, by replacing it with a frame (a complete lattice, where meet distributes over arbitrary join). In this paper we propose a similar abstraction of the posets of connected subsets in various space-like structures. The analogue of a frame is called a chainmail, which is defined as a poset admitting joins of its mails, i.e., subsets having a lower bound. The main result of the paper is an equivalence between a subcategory of the category of complete join-semilattices and the category of chainmails.

2024-06-11T17:39:51Z 11 pages, 4 figures J. F. Du Plessis Zurab Janelidze Bernardus A. Wessels http://arxiv.org/abs/2502.06804v1 2025-02-02T21:03:23Z

Given a circle of radius $r$ centered at the origin, the Gauss Circle Problem concerns counting the number of lattice points $C(r)$ within this circle. It is known that as $r$ grows large, the number of lattice points approaches $πr^2$, that is, the area of the circle. The present research is to study how often $C(r)$ will return a prime number of lattice points for $r \leq n$. The Prime Number Theorem predicts that the number of primes less than or equal to $n$ is asymptotic to $\frac{n}{\log n}$. We find that the number of Gauss Circle Primes for $r \leq n$ is also of order $\frac{n}{\log n}$ for $n \leq 2 \times 10^6$. We include a heuristic argument that the Gauss Circle Primes can be approximated by $\frac{n}{\log n}$.

2025-02-02T21:03:23Z 8 pages Thomas Ehrenborg http://arxiv.org/abs/1908.01202v2 2025-02-02T08:15:29Z

Squaring the circle is impossible, but it can be squared approximately. Ramanujan gave a construction correct to eight decimal places. In his book Mathographics, Dixon gave constructions correct to three decimal places. In this article, we provide a new construction correct to three decimal places and another correct to nine decimal places.

2019-08-03T17:24:03Z 5 pages, 2 figures Pi Mu Epsilon Journal 15 (2020), 139-143 Hung Viet Chu http://arxiv.org/abs/2502.14873v1 2025-02-02T00:17:35Z

We examine the well-posedness of inverse eigenstrain problems for residual stress analysis from the perspective of the non-uniqueness of solutions, structure of the corresponding null space and associated orthogonal range-null decompositions. Through this process we highlight the existence of a trivial solution to all inverse eigenstrain problems, with all other solutions differing from this trivial version by an unobservable null component. From one perspective, this implies that no new information can be gained though eigenstrain analysis, however we also highlight the utility of the eigenstrain framework for enforcing equilibrium while estimating residual stress from incomplete experimental data. Two examples based on measured experimental data are given; one axisymmetric system involving ancient Roman medical tools, and one more-general system involving an additively manufactured Inconel sample. We conclude by drawing a link between eigenstrain and reconstruction formulas related to strain tomography based on the Longitudinal Ray Transform (LRT). Through this link, we establish a potential means for tomographic reconstruction of residual stress from LRT measurements.

2025-02-02T00:17:35Z 25 pages, 9 figures Christopher Wensrich Sean Holman William Lionheart Vladimir Luzin Dylan Cuskelly Oliver Kirstein Filomena Salvemini http://arxiv.org/abs/2405.10332v3 2025-02-01T18:52:42Z

Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm of pure abstract category theory in their development of the field, leveraging the Freyd-Mitchell embedding theorem or similar results, or otherwise using set-theoretic language to augment a general categorical discussion. This paper seeks to demonstrate that - while it is not necessary for most mathematicians' purposes - a development of homological concepts can be contrived from purely categorical notions. We begin by outlining the categories we will work within, namely Abelian categories (building off additive categories). We continue to develop cohomology groups of sequences, eventually culminating in a development of right derived functors. This paper is designed to be a minimalist construction, supplying no examples or motivation beyond what is necessary to develop the ideas presented.

2024-05-12T02:12:45Z Skyler Marks http://arxiv.org/abs/2502.02604v1 2025-01-30T06:10:09Z

Jacobi's elliptic functions have been constructed from a deformed Lie algebra. The generators of the algebra have been obtained from a bi-orthogonal system. The deformation parameter resembles the modulus of the relevant elliptic functions.

2025-01-30T06:10:09Z 4 pages Arindam Chakraborty http://arxiv.org/abs/2501.17090v1 2025-01-28T17:24:09Z

In this paper we work with number sequences from the On-Line Encyclopedia of Integer Sequences (OEIS). Using the Pepis-Kalmar pairing function, we obtain an infinite matrix of natural numbers in which odd natural numbers are separated from even ones; such a matrix simplifies working with prime numbers. With point's shell numbers and shell lines we give another proof of the infinity of primes, based on Bertrand's postulate. We have shown that the asymptotic density of Mersenne numbers (OEIS A000225) is positive and equal to an infinitesimal value. It is also proven that Sophie Germain prime numbers (OEIS A005384) are located in the set of natural numbers with asymptotic density of 1/6.

2025-01-28T17:24:09Z 12 pages, 3 figures Gennady Eremin http://arxiv.org/abs/2501.10826v2 2025-01-28T06:49:44Z

The concept of angular momentum is used to find new RH equivalence statements, and, generalize some known results from Riemann to Dirichlet primitive Xi functions

2025-01-18T17:13:17Z 10 pages, 1 figure Giovanni Lodone http://arxiv.org/abs/2501.16637v1 2025-01-28T02:17:45Z

In this note, we review the latest qualitative results, referring to the Liénard Equation, in the framework of non-conformable, generalized and fractional differential operators.

2025-01-28T02:17:45Z 14 pages Juan E. Nápoles Valdés