An Integral Identity Relating Diamond and Square Domains

2026-01-14T15:48:00Z

We establish an integral identity for functions on R^2 that are invariant under discrete diagonal translations. The identity shows that integration over the diamond-shaped region |x| + |y| <= L is exactly one half of the integral over the square domain [-L, L]^2, allowing diamond-domain integrals to be reduced to easier rectangular integrations.

Rank Duality of Circulant Matrices from Primitive Roots

2026-01-14T00:26:49Z

We investigate the construction of circulant matrices derived from primitive roots over finite fields. Our approach reduces exponential sums to Jacobi sums, thereby establishing explicit connections between character theory and matrix structures. The results provide new insights into the interaction between additive and multiplicative characters, and demonstrate how circulant configurations encode arithmetic information in a highly symmetric form. These findings contribute to a deeper understanding of structured matrices in finite fields and open further directions for applications in number theory and combinatorics.

Monotone functions that generate conditionally cancellative triangular subnorms

2026-01-14T00:10:31Z

Let a function $F: [0,1]^2\rightarrow [0,1]$ be given by $F(x,y)= f^{(-1)}(T(f(x), f(y)))$ where $f :[0,1]\rightarrow [0,1]$ is a monotone function, $f^{(-1)}$ is the pseudo-inverse of $f$ and $T$ is a triangular norm. This article characterizes the monotone function $f$ satisfying that the function $F$ is a conditionally cancellative triangular subnorm completely. It finally answers an open problem posed by Mesiarová.

Interférences pour les chats quantiques

2026-01-13T20:53:42Z

In this text I study quantum dynamics of quantized linear automorphisms of the torus after the Ehrenfest time. I show that, in the wave packet basis, the 'matrix' of the associated propagator is well approximated by Birkhoff sums of nilrotations on the torus. In the second part, I conduct a thorough study of these sums and relate the equidistribution of evolved wave packets to a problem of Diophantine approximation.

Dependencies of prime numbers in a tuple

2026-01-13T09:50:22Z

This paper investigates the dependence between primes in tuples through the analysis of the Hardy-Littlewood constant. A detailed analysis of the behavior of the constant for the pattern $(0,d)$ is conducted, depending on the arithmetic properties of $d$, including cases of convergence to the twin prime constant, divergence to infinity, and oscillatory behavior. Using methods from analytic number theory, the limiting distributions of the corresponding multiplicative functions are studied. It is shown that for symmetric tuples, the Hardy-Littlewood constant monotonically decreases as the tuple length decreases, indicating a weakening dependence between the primes. Theoretical conclusions are supported by calculations for specific symmetric tuples.

Non-Existence of Linear-Quartic Factorization for the Second Cuboid Quintic

2026-01-12T12:30:35Z

Let $Q_{p,q}(t)\in\mathbb{Z}[t]$ be Sharipov's even monic degree-$10$ second cuboid polynomial depending on coprime integers $p\neq q>0$. Writing $Q_{p,q}(t)$ as a quintic in $t^{2}$ produces an associated monic quintic polynomial. After the weighted normalization $r=p/q$ and $s=r^{2}$ we obtain a one-parameter family $P_s(x)\in\mathbb{Q}[x]$ such that \[ Q_{p,q}(t)=q^{20}\,P_s\!\left(\frac{t^{2}}{q^{4}}\right)\qquad\text{with}\qquad s=\left(\frac{p}{q}\right)^{2}. \] We show that for every rational $s>0$ with $s\neq 1$ the equation $P_s(x)=0$ has no rational solutions. Equivalently, $P_s$ admits no $1+4$ factorization over $\mathbb{Q}$. The proof uses an explicit quotient by the inversion involution $(s,y)\mapsto(1/s,1/y)$ and reduces the rational-root problem for $P_s$ to rational points on the fixed genus-$2$ hyperelliptic curve \[ C:\quad w^2=t^5+21t^4+26t^3+10t^2+5t+1=(t+1)(t^4+20t^3+6t^2+4t+1). \] Using Magma and Chabauty's method on the Jacobian of $C$, we compute $C(\mathbb{Q})$ exactly and conclude that the only parameter value producing a rational root is the excluded case $s=1$ (equivalently $p=q$). As a consequence, for coprime $p\neq q>0$ the polynomial $Q_{p,q}(t)$ has no rational roots (hence no linear factor over $\mathbb{Q}$, and in particular no linear factor over $\mathbb{Z}$).

Constructing left-continuous triangular norms on complete lattices

2026-01-12T02:35:52Z

This article focuses on the construction of left-continuous t-norms on complete lattices. The concepts of $\mathfrak{f}$-mappings and weak $\mathfrak{f}$-mappings on complete lattices are first introduced, respectively. They are then applied to establish the following key results: weak $\mathfrak{f}$-mappings are used to induce left-continuous t-subnorms; $\mathfrak{f}$-mappings are used to generate left-continuous t-norms whenever the top element $1$ of the complete lattice is a completely join-irreducible element. Finally, some necessary and sufficient conditions are provided for an operator constructed by the ordinal sum of a series of annihilating binary operators being a left-continuous t-norm on a complete lattice.

Algorithm, probability, and prime numbers

2026-01-09T08:52:13Z

The results of the study provide guidelines for the development and applications of algorithms. When the number of steps for calculating an assumption tends to infinity, probability theory can be applied to predict whether the assumption holds or not. This characteristic is related to the number of steps for verifying arbitrarily large prime numbers. This study proved that $π(n)-Li(n)=o(M(n)\sqrt{Li(n)})$ almost certainly holds without any assumptions. Here, $π(n)$ is the number of primes not greater than $n$, $Li(n)$ is a logarithmic integral function, and $M(n)$ is an arbitrary function such that $M(n)\rightarrow\infty$. This result implies that the Riemann hypothesis holds as the falseness of the Riemann hypothesis leads to a contradiction.

An Extension of the Collatz Conjecture modulo $2^p+2^q$

2026-01-08T13:25:42Z

In this paper, we will introduce an extension to the Collatz's conjecture. This conjecture may be seen as a general conjecture that unifies the Collatz one together with many other similar conjectures. For instance, we propose our new conjecture modulo $10$ which may be stated as follows. Starting from any positive integer, if it is a multiple of $10$ then divide it by 10, otherwise, multiply it by $12$, add $8$ times its last digit and divide the result by $10$. Repeat the process infinitely. Regardless the starting number, the process eventually reaches $4$ after a finite number of iterations. The genaral conjecture studied here will encompasse the classical Collatz conjecture togher with our proposed one modulo $10$.

Implicative-ortholattices as orthogonality spaces

2026-01-07T15:58:29Z

We obtain an orthogonality space by endowing an implicative-ortholattice with a suitable orthogonality relation; for such spaces, we also investigate the particular case of implicative-orthomodular lattices. Moreover, we define the commutativity relation between two elements of an implicative-ortholattice, as well as the Sasaki projections on this structure. Furthermore, we characterize the implicative-orthomodular lattices and implicative-Boolean algebras, showing that the center of an implicative-orthomodular lattice is an implicative-Boolean algebra. We prove that an implicative-ortholattice is an implicative-orthomodular lattice if and only if it admits a full Sasaki set of projections. Finally, based on Sasaki maps on implicative-ortholattices, we introduce the notion of Sasaki spaces, proving that when a complete implicative-ortholattice admits a full Sasaki set of projections, it is a Sasaki space. We also provide a characterization of Dacey spaces arising from implicative-ortholattices.

An Explicit Near-Conjugacy Between the Collatz Map and a Circle Rotation

2026-01-07T15:02:10Z

We introduce an explicit logarithmic transformation $T(x) = \{\log_6(x + 1/5)\}$ under which the Collatz map becomes a rigid circle rotation by the irrational angle $α= \log_6 3$, perturbed by a uniformly bounded error term. We prove that for all positive integers $x$, $T(C(x)) = T(x) + α+ \varepsilon(x) \pmod{1}$, where $|\varepsilon(x)| \le 0.2749$ and $\varepsilon(x) = O(1/x)$ as $x \to \infty$. We derive the transformation from an exact functional equation linking the even and odd branches of the Collatz map, explain the arithmetic origin of the parameters $6$ and $1/5$, and analyse the structure of the resulting error term. Extensive numerical computations up to $10^{12}$ confirm the sharpness of the bounds and show that cumulative errors remain uniformly bounded along all tested trajectories. While this near-conjugacy does not by itself resolve the Collatz conjecture, it provides a concrete and quantitative dynamical framework that clarifies the geometric structure underlying the Collatz iteration and may be useful in further analytical or experimental investigations of Collatz-type systems.

The Maximum of the Volume of a Part of a Cevian Simplex

2026-01-06T17:26:05Z

The cevians passing through a point in a simplex create a cevian simplex, which is divided by these cevians into smaller simplices. We consider the problem about the maximum of the ratio of the sum of the volumes of some of these smaller simplices by the volume of the reference simplex. The special case of tetrahedron is given as an example.

New ideas to the design of algorithms based on derivatives

2026-01-05T20:27:00Z

This article proposes new perspectives for developing derivative based numerical algorithms, supported by the introduction of a generalized derivative operators. It demonstrates that these operators have the potential to enhance and extend existing derivativebased numerical methods. To this end, two iterative derivative driven methods are examined and refined: the Newton Raphson method and the Gradient method. For both approaches, generalized derivatives are introduced with the goal of reducing the number of iterations required for convergence. These modifications are presented through geometric interpretations of the proposed constructions, which clearly illustrate their convergenceaccelerating properties. The concluding remarks emphasize the significant opportunity to advance and refine numerical algorithms through the use of generalized derivatives.

Small Primitive Normal Elements in Finite Fields

2026-01-05T14:37:09Z

Let $q=p^k$ be a prime power, let $\mathbb{F}_q$ be a finite field and let $n\geq2$ be an integer. This note investigates the existence small primitive normal elements in finite field extensions $\mathbb{F}_{q^n}$. It is shown that a small nonstructured subset $\mathcal{A}\subset \mathbb{F}_{q^n}$ of cardinality $\#\mathcal{A}\gg (\log q^n) (\log\log q^n)^{1+\varepsilon}) $, where $\varepsilon>0$ is a small number, contains a primitive normal element.

Non-Existence of Quintic Factorization for the Second Cuboid Polynomial $Q_{p,q}(t)$

2026-01-05T13:35:06Z

We consider the even monic degree-$10$ second cuboid polynomial $Q_{p,q}(t)\in\mathbb{Z}[t]$ depending on coprime integers $p\neq q>0$. We exclude the existence of a splitting of type $5+5$ over $\mathbb{Q}$, i.e., a factorization of $Q_{p,q}(t)$ into two irreducible quintic polynomials. Since $Q_{p,q}(t)$ is even and satisfies $Q_{p,q}(0)\neq 0$, any such $5+5$ splitting is necessarily symmetric, meaning that it can be written in the normal form $Q_{p,q}(t)=R_{p,q}(t)\cdot (-R_{p,q}(-t))$. After a weighted normalization reducing to a one-parameter polynomial $Q_r(u)$ with $r=p/q\in\mathbb{Q}_{>0}$, coefficient comparison and elimination via resultants show that a $5+5$ splitting forces the existence of a rational point on an explicitly defined plane curve $F(r,a)=0$. Passing to the quotient parameters $a=r y$ and $s=r^2$ yields an affine curve $f(s,y)=0$ such that, for each fixed $s>0$, the polynomial $f(s,\cdot)$ is of degree $16$. We compute and factor the discriminant $\mathrm{Disc}_y(f)$ and then use Sturm root counts to certify that $f(s,\cdot)$ has no real roots for every rational $s>0$ with $s\neq 1$. Hence $f(s,y)=0$ admits no rational solutions with $s>0$, $s\neq 1$, and consequently no quintic $5+5$ factorization occurs for $Q_{p,q}(t)$ when $p\neq q$.