Penrose's eight-conic theorem

2025-04-30T08:44:36Z

This article proves the following theorem, first enunciated by Roger Penrose about 70 years ago but never published: In $\mathbb{R}P^{2}$, if conics are assigned to seven of the vertices of a combinatorial cube such that (i) conics connected by an edge are in double contact, and (ii) the chords of contact associated to a cube face meet in a common point, then there exists an eighth conic such that the completed cube satisfies (i) and (ii). The theorem turns out to be a remarkable generalization of many well-known theorems of projective geometry -- Pappus, Desargues, Pascal, Brianchon, Monge, and Poncelet are the best-known ones. This archetypal principle provides a unifying framework in which the myriad specializations of the theorem and their interrelationships can be grasped as an organic whole, enriching the field of projective geometry and opening new vistas for research. The article begins with a series of motivational examples. It then gives a geometric proof assuming that the conics are regular, followed by an algebraic one that removes this restriction. The geometric proof is obtained as a slice of an analogous theorem for quadrics in $\mathbb{R}P^{3}$; the algebraic one is based on the determinants of a special matrix associated to the configuration of conics.

Integral Kannappan-Sine subtraction and addition law on semigroups

2025-04-29T07:55:29Z

Let $S$ be a semigroup, $μ$ a discrete measure on $S$ and $σ:S \longrightarrow S$ is an involutive automorphism. We determine the complex-valued solutions of the integral Kannappan-Sine subtraction law $$\int_{S}f(xσ(y)t)dμ(t)=f(x)g(y)-f(y)g(x),\; x,y \in S,$$ and the integral Kannappan-Sine addition law $$\int_{S}f(xσ(y)t)dμ(t)=f(x)g(y)+f(y)g(x),\; x,y \in S.$$ We express the solutions by means of exponentials on S, the solutions of the special sine addition law $f(xy)=f(x)χ(y)+f(y)χ(x),$ $x,y\in S$ and the solutions of of the special case of the integral Kannappan-Sine addition law $\int_{S}f(xσ(y)t)dμ(t)=[f(x)χ(y)+f(y)χ(x)]\int_{S}χ(t)dμ(t), $ $x,y\in S$, and where $χ$: $S\longrightarrow \mathbb{C}$ is an exponential. The continuous solutions on topological semigroups are also given.

Quantization of Fractional Singular Lagrangian systems with Second-Order Derivatives Using Path Integral Method

2025-04-27T20:39:44Z

The fractional quantization of singular systems with second order Lagrangian is examined. The fractional singular Lagrangian is presented. The equations of motion are written as total differential equations within fractional calculus. Also, the set of Hamilton Jacobi partial differential equations is constructed in fractional form. The path integral formulation and path integral quantization for these systems are constructed within fractional derivatives. We examined a mathematical singular Lagrangian with two primary first class constraints.

Holder continuity of an alternating Erdos series on prime K-tuples

2025-04-27T13:00:03Z

This open problem, first posed by Erdοs, was further explored by Terence Tao. Tao work shows that the series can converge conditionally, but only under a sufficiently strong form of the Hardy-Littlewood conjecture for k-primary pairs. Based on this, we offer a new method leading to a representation of the series as a Riemann-Stieltjes integral or a tightly coupled prime counting function. We rigorously analyze this integral by decomposing it into principal and error terms, applying integration by parts in the Stieltjes sense, and defining the error terms. Assuming the Riemann hypothesis, we investigate the Hοlder continuation of ψ(x) in the asymptotic form ψ(x) = x+O(x 1/2), and introduce a test function g(x) = e^( iπx) e^( -λx) , which is smooth and Lipschitz. Applying Young's criterion, we show that the integral converges. Moreover , we prove that the integral converges perfectly for λ > 3 2 , based on sharp bounds on the error terms. Our results are supported by fractional Sobolev integrations and justify the use of Young's inequality under generalized Holder conditions.

An affirmative answer to a problem of Cater

2025-04-25T17:25:18Z

Does there exist an increasing absolutely continuous function, $f: [0,1] \rightarrow \mathbb R$ such that $\{x: f'(x)=0\}$ is both countable and dense? This problem was proposed by F.S. Cater about two decades ago. We give an affirmative answer to the problem.

Metric Matrix in Barycentric Coordinates

2025-04-25T10:04:03Z

In this paper, the concept of the metric matrix is introduced to establish a concise and unified formulation for the inner product in barycentric coordinates. Building on this framework, we explore the intrinsic algebraic identities of barycentric coordinates and their direct correspondence with geometric theorems. Through this approach, we derive a series of novel results and provide new proofs for several classical theorems in triangle geometry.

A Recursive Block Pillar Structure in the Kolakoski Sequence K(1,3)

2025-04-24T16:08:24Z

The Kolakoski sequence K(1,3) over {1, 3} is known to be structured, unlike K(1,2), with symbol frequency d approx. 0.397 linked to the Pisot number alpha (real root of x^3 - 2x^2 - 1 = 0). We reveal an explicit nested recursion defining block sequences B(n) and pillar sequences P(n) via B(n+1) = B(n) P(n) B(n) and P(n+1) = G(R(P(n)), 3), where G generates runs from vector R(P(n)). We prove B(n) are prefixes of K(1,3) converging to it, and B(n+1) = G(R(B(n)), 1), directly reflecting the Kolakoski self-encoding property. We derive recurrences for lengths |B(n)|, |P(n)| and symbol counts, confirming growth governed by alpha (limit |B(n+1)|/|B(n)| = alpha as n -> infinity). If block/pillar densities converge, they must equal d. This constructive framework provides an alternative perspective on K(1,3)'s regularity, consistent with known results from substitution dynamics.

Polynomial sequences related to Chebyshev polynomials and the minimal polynomial of $2\cos (2π/n)$

2025-04-24T16:04:53Z

In this paper we consider the minimal polynomial $ψ_n(x)$ of $2\cos (2π/n)$. We introduce some polynomial sequences with the same recurrence relation as the rescaled Chebyshev polynomials $t_n(x)=2\, T_n(x/2)$ of the first kind, which turn out to be related to those of various kinds, all coming from those of the second kind. We see that $t_n(x)\pm 2=2(T_n(x/2)\pm 1)$ are divisible by the square of either of these polynomials. Then by appropriately removing unnecessary factors from these polynomials, we can easily calculate $ψ_n(x)$ without recursion, which improves Barnes' result in 1977. As an appendix, we give a compact table of the minimal polynomials $ψ_n(x)$ of $2\cos (2π/n)$ for $n\leqslant 120$.

The Intermediate Value Theorem for Linear Transformations

2025-04-23T23:51:56Z

If a real-valued function is continuous on a real interval and it takes on two different values, then it will also take any value in between those two, by the Intermediate Value Theorem. It is not immediately clear what would be a natural generalization for functions whose domain and range are in higher-dimensional Euclidean spaces. In this article, we analyze this problem, by first arriving at what we think is the appropriate question to ask, and then restricting to linear transformations. It turns out that the matrices that will satisfy an appropriate version of the Intermediate Value Theorem are the so called {\em monotone} and {\em weakly monotone} matrices, which have applications in numerical approximation of the solutions to systems of linear equations.

On the convergence of a perturbed one dimensional Mann's process

2025-04-22T17:34:25Z

We consider the perturbed Mann's iterative process \begin{equation} x_{n+1}=(1-θ_n)x_n+θ_n f(x_n)+r_n, \end{equation} where $f:[0,1]\rightarrow[0,1]$ is a continuous function, $\{θ_n\}\in [0,1]$ is a given sequence, and $\{r_n\}$ is the error term. We establish that if the sequence $\{θ_n\}$ converges relatively slowly to $0$ and the error term $r_n$ becomes enough small at infinity, any sequences $\{x_n\}\in [0,1]$ satisfying the process converges to a fixed point of the function $f$. We also study the asymptotic behavior of the trajectories $x(t)$ as $t\rightarrow\infty$ of a continuous version of the the considered. We investigate the similarities between the asymptotic behaviours of the sequences generated by the considered discrete process and the trajectories $x(t)$ of its corresponding continuous version.

Exploring fixed point results in fuzzy $\mathscr{F}$-metric spaces with an application to satellite web coupling problem

2025-04-22T08:33:22Z

This article explores several fundamental aspects of fuzzy $\mathscr{F}$-metric spaces and their applications in mathematical analysis. We investigate some essential properties concerning compactness and total boundedness in fuzzy $\mathscr{F}$-metric spaces. Within this framework, we present a fixed point theorem and demonstrate its utility by applying it to the satellite web coupling problem. To support the theoretical findings, illustrative examples and a graphical representation of the contraction condition are also provided.

Wave Arithmetic: A Smooth Integral Representation of Number Theory

2025-04-21T15:46:44Z

We introduce Wave Arithmetic, a smooth analytical framework in which natural, integer, and rational numbers are represented not as discrete entities, but as integrals of smooth, compactly supported or periodic kernel functions. In this formulation, each number arises as the accumulated amplitude of a structured waveform -- an interference pattern encoded by carefully designed kernels. Arithmetic operations such as addition, multiplication, and exponentiation are realized as geometric and tensorial constructions over multidimensional integration domains. Rational numbers emerge through amplitude scaling, and negative values through sign inversion, preserving all classical arithmetic identities within a continuous and differentiable structure. This representation embeds number theory into the realm of smooth analysis, enabling new interpretations of primality, factorization, and divisibility as geometric and spectral phenomena. Beyond technical formulation, Wave Arithmetic proposes a paradigm shift: numbers as the collapsed states of harmonic processes -- analytic resonances rather than atomic symbols.

A Smooth Analytical Approximation of the Prime Characteristic Function

2025-04-19T22:02:20Z

We construct a smooth real-valued function P(n) in [0,1], defined via a triple integral with a periodic kernel, that approximates the characteristic function of prime numbers. The function is built to suppress when n is divisible by some m < n, and to remain close to 1 otherwise. We prove that P(n) approaches 1 for prime n and P(n) is less than 1 for composite n, under appropriate limits of the smoothing parameters. The construction is fully differentiable and admits both asymptotic and finite approximations, offering a continuous surrogate for primality that is compatible with analytical, numerical, and optimization methods. We compare our approach with classical number-theoretic techniques, explore its computational aspects, and suggest potential applications in spectral analysis, machine learning, and probabilistic models of primes.

A comparison of arithmetical operations with $f$ correlated fuzzy numbers

2025-04-18T15:21:04Z

We present a brief introduction to a class of interactive fuzzy numbers, called $f$-correlated fuzzy numbers, which consist of pairs of fuzzy numbers where one is dependent on the other by a continuous monotone injective function. We have deduced some equations that can directly calculate the results of the sums and products of $f$-correlated fuzzy numbers, using only basic operations with real numbers, intervals on the real line and the function that relates the fuzzy numbers being considered. We proved that their correlated and standard sum coincide, and that in a certain sense, the correlated product is contained in the standard product.

An application of Gelfand's formula in approximating the roots of polynomials

2025-04-18T13:32:07Z

The purpose of this paper is to show how Gelfand's formula and balancing can be used to improve the upper and lower bounds of the spectrum of a companion matrix associated with a given real or complex polynomial. Examples and other related ideas are provided.