arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2504.09471

Optional Intervals Event and Two n-ary Finitary Operations: An Algebraic Framework for Unifying Parallel-Serial Execution and Axiomatizing Simultaneity from an Epistemological Perspective

Zhongyuan. Li·Yanlei. Gong·Lei. Yu·Yue. Cao·Bo. Yin
View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper proposes an algebraic framework for analyzing event execution intervals and sequences, introducing "Optional Intervals Event (OIE)" as a 4-tuple abstraction (C, F, I, A) that serves as a pre-execution planning tool for real-world events. The OIE establishes a mapping to real-world events and stores all feasible execution intervals together with dependency relationships among sub-events. Based on this abstraction, we define two n-ary finitary operations: (i) "Complete Sequence Addition", which models concurrent events with a certain degree of equal opportunity within a shared time domain; and (ii) "Complete Sequence Multiplication", which models strictly ordered sequential events. We analyze the algebraic properties of these operations, including closure, non-commutativity, permutational equivalence, and orbit spaces. We prove that, for any non-degenerate finite OIE set, Complete Sequence Addition yields a single-orbit space due to permutational equivalence, whereas Complete Sequence Multiplication may yield multiple orbits. This orbital divergence rigorously captures the fundamental symmetry gap between concurrent and sequential execution. In computer science, this framework establishes an axiomatic algebraic system that formally unifies parallel and serial execution as n-ary finitary operations. It enables constraint-aware pre-execution planning and characterizes concurrent symmetry via orbitspace analysis and permutational equivalence. We also discuss applications to probability theory and physics, including the distinction between process symmetry and outcome symmetry and a novel axiomatization of simultaneity from an epistemological perspective.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhongyuan. Li, Yanlei. Gong, Lei. Yu, Yue. Cao, Bo. Yin. 2026-06-08. Optional Intervals Event and Two n-ary Finitary Operations: An Algebraic Framework for Unifying Parallel-Serial Execution and Axiomatizing Simultaneity from an Epistemological Perspective. https://arxiv.org/abs/2504.09471

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

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

We study a perturbed version of Mann's iterative process (DMP), defined by \[ x_{n+1} = (1 - θ_n)x_n + θ_n f(x_n) + r_n, \] where $f: [0,1] \to [0,1]$ is a continuous function, $\{θ_n\} \subset [0,1]$ is a given sequence, and $\{r_n\} $ represents an error term. We prove that if the sequence $\{θ_n\} $ converges sufficiently slowly to zero and the error term $ r_n $ is suitably small at infinity, then any sequence $\{x_n\} \subset [0,1] $ generated by this process converges to a fixed point of $f$. In addition, we investigate the asymptotic behavior of the trajectories $ x(t) $ as $ t \to \infty$ for a continuous-time version of the process (DMP). We emphasize the parallels between the discrete and the continuous dynamics. Furthermore, through numerical experiments, we analyze the influence of the sequence $\{θ_n\} $ and the error terms on the stability and the convergence rate of the the discrete and the continuous processes. Notably, we observe that the (DMP) algorithm, when affected by stochastic and relatively large error terms, can outperform the bisection method in efficiently identifying the fixed point set of the function $f$.

math.GM↗
arXiv2026

Explicit formula for the discrete Laplace transform of the Möbius function, related special functions, and a criterion for the Riemann hypothesis

In this paper, we assume that all the zeros of the Riemann zeta function are simple. Under this assumption we give an explicit formula for the function $Φ(e^{-t})=\sum_{n=1}^{\infty}μ(n)e^{-nt}$, as a function of the values of $ζ(s)$ and $ζ'(s)$ at the odd integers and as a function of the zeros of $ζ(s)$. A structural feature distinguishes this formula from the classical explicit formula for the Mertens function: the poles of $Γ(s)$ collide with the trivial zeros of $ζ(s)$, producing double poles whose residues contain a logarithmic term. Using this formula, we give a criterion for the Riemann hypothesis: the bound $O(x^{-1/2})$ on the transform implies the Riemann hypothesis unconditionally, while the converse direction requires additional hypotheses on the zeros. We also introduce special entire functions related to $ζ(s)$ and show that they admit absolutely convergent closed forms as Möbius-weighted series of Bessel functions of rotated argument.

math.GM↗
arXiv2026

From Umbral Hyperbolic Integrals to a Cotangent Coefficient Formula for the Mittag Leffler Polynomials

Let \(g_n(x)\) be the Mittag--Leffler polynomials defined by $$ \sum_{n\ge0}g_n(x)t^n=\frac12\left(\frac{1+t}{1-t}\right)^x. $$ We derive the coefficient formula $$ g_n(x)=\frac1n\sum_{j=0}^{\lfloor (n-1)/2\rfloor} (-1)^j\frac{2^{n-2j-1}}{(n-2j-1)!} [u^{2j}](u\cot u)^n\,x^{n-2j}, $$ equivalently $$ [u^{n-r}](u\cot u)^n =(-1)^{(n-r)/2}\frac{n(r-1)!}{2^{r-1}}[x^r]g_n(x). $$ The identity is suggested by comparing an umbral representation of the hyperbolic tangent integral $$ K(a,b)=\int_0^\infty \frac{\tanh^a x}{x^b}\,dx $$ with a compact cotangent-coefficient formula, but is proved independently from the generating function by formal Lagrange--Bürmann inversion. Substitution of the proved bridge back into the integral formula then yields a rigorous derivation of the umbral Mittag--Leffler representation. We also develop a Dirichlet--beta analogue for $$ I_{m,n}^β=\int_0^\infty\frac{\tanh^m x}{x^n\cosh x}\,dx. $$ Defining \(q_m(x)\) by $$ \sum_{m\ge0}q_m(x)t^m=(1-t^2)^{-1/2}\exp(2x\operatorname{artanh}t), $$ we prove $$ [u^{m-r}]\frac{u}{\sin u}(u\cot u)^m =(-1)^{(m-r)/2}\frac{r!}{2^r}[x^r]q_m(x). $$ This gives a parallel umbral representation for the beta integrals. The family \(q_m\) is a shifted \(c=-1,β=1\) specialization of the classical Meixner family, yielding a beta/Meixner counterpart to the zeta/Mittag--Leffler correspondence.

math.GM↗