Concentric Circles Each Passing Through One Vertex of Each of Two Regular Polygons

2026-04-15T13:47:56Z

Given a regular $n$-gon on the plane, it is evident that from any point on the plane, taken as a center, one can draw $n$ concentric circles such that each circle passes through one of the vertices of the polygon. Naturally, this raises the problem of whether such a construction is possible for any two given regular $n$-gons on the plane. In this paper, we establish the necessary and sufficient conditions for the existence of $n$ concentric circles such that each circle passes through one vertex of each of the two regular $n$-gons. Keywords and phrases: Polygonal distances, cyclic averages, concentric circles, two regular polygons, two equilateral triangles, two squares

$n$th Roots of $n$th Powers

2026-04-15T10:39:20Z

Seeking simple, efficient solutions of a matrix equation leads (quite circuitously) to optimizing unimodular zerofree matrices. Canonicalizing such matrices under signed-permutation double action offers an ideal application of GPUs (graphics processing units).

A Ten-Face Non-Edge-Sharing Wing Set on the Regular Icosahedron and a Decagonal Equatorial Balance

2026-04-15T10:26:37Z

We formalize a ten-face triangular wing set on a regular icosahedron under a vertex labeling N, S, U1-U5, L1-L5 with rotation axis NS. The wing faces satisfy: (i) each face is an isosceles 36-36-108 triangle with a 36-degree angle anchored at a pole (N or S); (ii) distinct faces may share vertices but share no edges; and (iii) a natural equatorial cross-section yields a perfectly balanced regular decagon. We derive a closed form for the decagon radius, R = (phi/2)*ell, where ell is the icosahedron edge length and phi is the golden ratio phi = (1 + sqrt(5))/2. Beyond the geometric results, we interpret the ten-face closure as a symmetry-consistent design principle for a pole-anchored wing layout and provide a reproducible construction workflow.

Higher regularity of solutions of an iterative functional equation

2026-04-15T05:30:35Z

In this paper, we investigate the existence of $C^n$, $n\in \mathbb{N}^+$, solutions for a class of second-order iterative functional equations involving iterates of the unknown function and a nonlinear term. Applying the Fiber Contraction Theorem and Faà di Bruno's Formula, we establish the existence of bounded $C^n$ solutions with bounded derivatives of order from $1$ to $n$.

Linear Independence Of Some Irrational Numbers

2026-04-14T15:39:53Z

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

Equivalence Problem for Non-Linearizable Fourth-Order ODEs with Five-Dimensional Lie Symmetry subalgebra via Inductive Cartan Equivalence Method

2026-04-14T11:35:57Z
Four coframes of invariant 1-forms are explicitly constructed using the Inductive Cartan equivalence method with rank zero corresponding to four distinct branches. These coframes are employed to characterize non-linearizable fourth-order ODEs under point transformation with a five-point symmetry Lie subalgebra. Moreover, we propose a procedure for obtaining the point transformation by using the derived invariant coframes, demonstrated through examples.

On the flint hills series

2026-04-13T00:25:51Z
In this note, we study the flint hills series of the form \begin{align} \sum \limits_{n=1}^{\infty}\frac{1}{(\sin^2n) n^3}\nonumber \end{align} via a certain method. The method essentially works by erecting certain pillars sufficiently close to the terms in the series and evaluating the series at those spots. This allows us to relate the convergence and the divergence of the series to other series that are somewhat tractable. In particular, we show that the convergence of the flint hill series relies very heavily on the condition that for any small $ε>0$ \begin{align} \bigg|\sum \limits_{i=0}^{\frac{n+1}{2}}\sum \limits_{j=0}^{i}(-1)^{i-j}\binom{n}{2i+1} \binom{i}{j}\bigg|^{2s} \leq |(\sin^2n)|n^{2s+2-ε}\nonumber \end{align} for some $s\in \mathbb{N}$.

Degree Variance and the Fuzzy Sigma Index in Fuzzy Graphs

2026-04-12T14:46:08Z
The sigma index of a graph, defined as the population variance of its degree sequence, is a fundamental measure of structural irregularity. In this paper, we introduce and systematically investigate its natural extension to fuzzy graphs, termed the fuzzy sigma index $$ σ^*(Γ) = \frac{1}{n} \sum_{v \in V(Γ)} \left( d_Γ(v) - \frac{2\,\mathrm{ew}}{n}\right)^2, $$ where $d_Γ(v)$ denotes the fuzzy degree of a vertex $v$, and $\mathrm{ew}$ represents the fuzzy size of the fuzzy graph $Γ=(V,ν, μ)$. We establish several fundamental properties of this topological index. In particular, we derive sharp lower and upper bounds. Analyze the behavior of $σ^*(Γ)$ under standard fuzzy graph operations. This work provides a foundation for further study of variance-based topological indices in fuzzy graph theory.

Weighted Product Inequalities for the Sine Function: A Gamma-Function Approach and Sharp Comparisons

2026-04-10T22:36:29Z
Using the log-convexity of the Gamma function and Euler's reflection formula, we give a new proof of a classical weighted sine product inequality. Two different parameter choices yield two competing upper bounds for the same product. We determine precisely, via algebraic criteria, when one bound is sharper than the other. Explicit results are given for the general $n$-angle case, the $2n$-angle case, and for two and three angles. Several sharp corollaries are derived, including $\sin(πx)\leq \sin(2πx(1-x))$.

Universal Inclusion of Prescribed Primes in 3x3 Magic Squares

2026-04-10T15:15:29Z
We present an integrated version of the global program proving that every prescribed prime $q_0\ge 5$ occurs in some $3\times 3$ magic square whose nine entries are distinct positive primes. The manuscript explicitly corrects the four points that had prevented the previous version from being regarded as closed: (i) the notation for the fixed prime $q_0$ is now kept uniformly distinct from the notation for the sieve moduli $d$; (ii) the weight convention is unified by working with the function $\vt(n)=\log n$ on the primes and $0$ off the primes, while $Λ$ is used only inside the analytic estimates where it is the natural variable; (iii) the full residual notation $(W,a_W,b_W,S_1,A_d,g(d))$ has been incorporated throughout the manuscript; and (iv) the final closure is replaced by a residual-completion theorem on the \emph{common support of the core}, thereby eliminating the logical gap produced by intersecting two independent theorems.

Complexity scaling and optimal policy degeneracy in quantum reinforcement learning via analytically solvable unitary-control-then-measure models

2026-04-09T17:42:37Z
We propose and analyse a class of analytically solvable models of quantum reinforcement learning (QRL), formulated as finite-horizon Markov decision processes in finite-dimensional Hilbert spaces. The models are built around a `unitary-control-then-measure' protocol, in which a learning agent applies unitary transformations to a quantum state and interleaves each control step with a projective measurement onto a prescribed reference basis. Exact closed-form expressions for trajectory probabilities, rewards, and the expected return are derived for four concrete realisations: a closed-chain and an anti-periodic qubit implementation, a qutrit model with ladder coupling, and a four-level two-qubit system. Two structural features of these QRL protocols are rigorously analysed. First, we identify and quantify a two-level reduction in the computational complexity of the expected return, from the nominally exponential $O(e^N)$ scaling in the trajectory length~$N$ to an explicit power-law $O(N^{\mathcal{I}})$: a trajectory-based level, arising from equivalence classes of paths sharing the same unordered state counts and transition frequencies, and a policy-based level, arising from the sparsity of the transition graph enforced by constrained unitary actions. Second, we characterise the degeneracy of optimal policies. The low-dimensional models exhibit unique optima whose asymptotic behaviour with~$N$ is governed by the quantum Zeno effect, while the four-level system displays both plateau-type quasi-degeneracy at large horizons and genuine discrete degeneracy at critical energy parameters -- phenomena with no counterpart in the measurement-free quantum optimal control landscape.

Continued fractions, determinant expressions, and identities

2026-04-09T11:12:50Z
In this paper, we clarified the relationship between continued fractions, determinants, and identities, making it easier to apply these methods systematically in other settings. In particular, we studied finite continued fractions from the perspective of incomplete numbers (restricted or associated numbers) and also explored their relationships with determinant representations and identities. Most of the new results in this paper concern $q$-analogues of special numbers, whereas the classical cases mainly serve to illustrate and unify the general framework. The framework developed here is flexible and allows one to derive continued fractions, determinant formulas, and coefficient identities in a uniform way for several new $q$-families, and it is expected to be applicable to other families of special numbers, as well.

Error terms for continued fractions of $e^{1/s}$ and $\sqrt{\frac{v}{u}}\tanh\!\Bigl(\frac{1}{\sqrt{uv}}\Bigr)$

2026-04-09T11:10:49Z
Many classical identities arise from nothing more mysterious than looking at the same object in two different ways. A number, a function, or a combinatorial object may admit several natural decompositions, and by disassembling it in one way and reassembling it in another, we often obtain unexpected corollaries. Telescoping sums provide a particularly vivid incarnation of this principle: by arranging terms so that successive contributions cancel, one performs a conceptual ``cut-and-paste'' that often admits a clean geometric interpretation. Generating functions offer a complementary perspective. Encoding a problem into a formal power series and then evaluating that series at a prescribed point naturally expresses the same quantity as an infinite (or finite) expansion, and equating these representations yields a wealth of identities. For example, for a real number $α$ given by its continued fraction expansion $α= [a_0, a_1,a_2,\dots]$, with convergents $p_n/q_n$ and error terms $E_n := p_n - αq_n$, one can obtain ``additive'' decompositions of the form $\sum_{n\ge-1} a_{n+1}\,\lvert E_n\rvert \;=\; α+ 1$, $\sum_{n\ge-1} a_{n+1}\,E_n^{2} \;=\; α$. Thus $α$ and $α+1$ themselves appear as weighted sums of the local approximation errors of their convergents. In this note we explore what such decompositions yield in two explicit cases: the continued fraction \[ e^{1/s} = [1;\,{\overline{(2k-1)s-1,1,1}}]_{k=1}^{\infty} \] and the continued fraction \[ \frac{s}{u}\tanh\!\Bigl(\frac{1}{s}\Bigr) = [\,0;\,\overline{(4k-3)u,\,(4k-1)\tfrac{s^{2}}{u}}\,]_{k=1}^{\infty} \]

On the simplicial structure of uncertain information

2026-04-09T08:25:06Z
The mathematical representation of uncertainty has led to a proliferation of preference structures, such as interval-valued fuzzy sets, intuitionistic fuzzy sets, and various granular models. While these extensions are often studied independently, they share profound geometric and topological foundations. This paper provides a unifying framework by identifying these disparate structures with the simplicial geometry of $n$-dimensional fuzzy sets. We first conduct an extensive revision of both classical and modern preference structures, demonstrating that they are distinct semantic interpretations of the same underlying topological objects within the lattice $L_n$. Building on this unification, we introduce a new, highly interpretable preference structure based on Deck-of-Cards membership functions. This approach generalizes the revised models by providing a flexible mechanism to represent complex membership degrees through monotonic sequences. Furthermore, we establish a formal simplicial structure for the set of multidimensional fuzzy sets $L_\infty$. By employing face and degeneracy maps, we demonstrate how this framework unifies existing models into a single simplicial set, allowing for the consistent transformation of information across different levels of granularity. The examples provided illustrate the utility of this simplicial connection in several contexts, offering a robust topological foundation for future developments in fuzzy set theory.

An inequality of multiple integral of $s$ norm of vectors in $\mathbb{R}^n$

2026-04-09T03:26:35Z
In this paper, we prove some new inequalities. To facilitate this proof, we introduce the notion of the local product on a sheet and associated space.