MARL-CC: A Mathematical Framework forMulti-Agent Reinforcement Learning in ConnectedAutonomous Vehicles: Addressing Nonlinearity,Partial Observability, and Credit Assignment forOptimal Control

2025-11-20T14:31:07Z

Multi-Agent Reinforcement Learning (MARL) has emerged as a powerfulparadigm for cooperative decision-making in connected autonomous vehicles(CAVs); however, existing approaches often fail to guarantee stability, optimality,and interpretability in systems characterized by nonlinear dynamics,partial observability, and complex inter-agent coupling. This study addressesthese foundational challenges by introducing MARL-CC, a unified MathematicalFramework for Multi-Agent Reinforcement Learning with Control Coordination.The proposed framework integrates differential geometric control, Bayesian inference,and Shapley-value-based credit assignment within a coherent optimizationarchitecture, ensuring bounded policy updates, decentralized belief estimation,and equitable reward distribution. Theoretical analyses establish convergence andstability guarantees under stochastic disturbances and communication delays.Empirical evaluations across simulation and real-world testbeds demonstrate upto a 40% improvement in convergence rate and enhanced cooperative efficiencyover leading baselines, including PPO, DDPG, and QMIX.These results signify a decisive advance in control-oriented reinforcement learning,bridging the gap between mathematical rigor and practical autonomy.The MARL-CC framework provides a scalable foundation for intelligent transportation,UAV coordination, and distributed robotics, paving the way toward interpretable, safe, and adaptive multi-agent systems. All codes and experimentalconfigurations are publicly available on GitHub to support reproducibilityand future research.

Deriving Closed-Form Expressions for Arithmetic Sequence Sums Raised to Integer Powers via Calculus

2025-11-17T19:57:51Z

This paper introduces a symbolic calculus-based approach for deriving closed-form expressions for the sums of arithmetic sequences. The method extends beyond constant-difference sequences to those with polynomially increasing steps, including linear, quadratic, cubic, and higher-order forms. Using elementary techniques from differentiation and integration, the approach produces polynomial expressions that represent total sums, even when each term is raised to a positive integer power. As a result, Bernoulli numbers emerge naturally in the formulas, linking the approach to classical results in a concise and accessible manner.

A Sieve on Rational Imbalances and the First Appearance of Denominators

2025-11-17T06:02:32Z

We construct a sieve that enumerates rational ``imbalances'' of the form $(p-q)/(p+q)$ for integers $p\ge2$ and $1\le q

Inner products for strongly regular near-vector spaces and duality for finite dimensional near-vector spaces

2025-11-14T09:51:16Z

In this paper we develop a duality theory for all finite-dimensional near-vector spaces and introduce a notion of inner product tailored to the broad and natural class of strongly regular near-vector spaces. This generalized construction extends the classical inner product beyond the classical framework, yielding rich families of examples on multiplicative near-vector spaces. Within this setting, several familiar norms-such as those that fail to produce Hilbert spaces in the classical sense-emerge naturally as genuine inner-product-type norms. A further contribution is the extension of the theory of generalized (weighted) means to arbitrary complex datasets. This extension unifies and generalizes the classical power and geometric means, carrying them beyond the domain of positive reals.

Notes on Ordinary Conformal Differential Equations of order $α$ ($0<α\leq 1$)

2025-11-13T15:43:03Z

These notes aim to provide a classical approach to solving some conformable differential equations based on prior knowledge of how to solve ordinary differential equations. That is, using the methods of separation of variables, homogeneous equations, linear, Bernoulli and exact. Representative examples are presented in all cases. Emphasis is placed on the new definitions and notations.

Monotonicity of solutions to second order linear difference equations with constant coefficients

2025-11-13T05:52:18Z

We describe some monotone properties of solutions to second order linear difference equations with real constant coefficients. As an application, we give a characterization of the Fibonacci numbers.

A flow and transport model for simulation of microbial enhanced oil recovery processes at core scale and laboratory conditions

2025-11-13T03:54:00Z

A general 3D flow-and-transport model in porous media is derived using an axiomatic continuum-mechanics approach and implemented with the finite element method to simulate microbial enhanced oil recovery (MEOR) at core scale under laboratory conditions. The development pipeline (conceptual -> mathematical -> numerical -> computational) is detailed. The model captures clogging/declogging from biomass, changes in interfacial tension due to biosurfactant, and the resulting impact on relative permeability, capillary pressure, and residual oil saturation via a trapping-number framework. The flow model is validated (Buckley-Leverett and coreflood benchmarks); transport (microbes/nutrients/surfactant) is validated against Hendry et al. 1997 breakthrough data. Finally, the model accurately predicts a Berea-core MEOR case study using field microbes and brine, matching recovery histories with small RMS error. Owing to its generality, the framework can be extended to other EOR scenarios and constitutive laws.

Bailey-Zeta Limits: A $q$-Series Bridge to Dirichlet $L$-Functions and the Riemann Zeta Function

2025-11-12T16:17:18Z

We introduce a family of deformed Bailey pairs whose $q$-series, which converge in a two-step limit ($q \to 1^-$ followed by $n \to \infty$) to Dirichlet $L$-functions scaled by $1/\sqrtπ$. This construction generalizes to arbitrary bounded arithmetic progressions via character weights, providing a unified $q$-series asymptotic for $L(s,χ)$. Our approach unveils deep connections between the combinatorial machinery of Bailey chains and analytic number theory, with applications to special values like Euler-Mascheroni constant.

Least Absolute Deviation Utility for Trapezoidal Fuzzy Preference Relations

2025-11-12T10:06:46Z

Preference relations (PRs) are widely used to model expert judgments because they allow for eliciting the decision-makers' opinions from pairwise comparisons. Traditionally, PRs have been elicited using real numbers. However, in real-world decision-makers usually feel more comfortable using linguistic expressions closer to natural language. In this context, our purpose is to extend the classical idea of PR into the environment of Trapezoidal Fuzzy Numbers (TrFNs) by addressing several drawbacks in current research. Existing fuzzy extensions for Fuzzy Preference Relations (FPRs) and Multiplicative Preference Relations (MPRs) assume that the notion of neutrality must be modeled by a crisp real number, which fails to capture the subjective and diverse ways in which decision-makers may perceive indifference. Moreover, current research lacks a theoretical framework that unifies both FPRs and MPRs for fuzzy numbers and simultaneously generalizes the involved classical notions (e.g., reciprocity, consistency) from the perspective of fuzzy arithmetic. Therefore, we introduce the notion of neutral TrFN, a fuzzy number that can model indifference on a certain fuzzy scale. This provides a flexible representation of neutrality, leading to a more realistic extension of PRs into the fuzzy environment. Building upon this, we propose the Trapezoidal FPR (TrFPR), analyze its properties and how reciprocity and consistency are extended using fuzzy arithmetic. Furthermore, we introduce the Least Absolute Deviation (LAD) utility vector associated with a consistent TrFPR and develop an optimization model to derive it from an inconsistent TrFPR to compute priority values. These ideas are also extended to MPRs in the fuzzy domain. Finally, the applicability of the proposed LAD utility method is demonstrated in evaluating land development projects, where comparison with fuzzy AHP illustrates its superiority.

A Proof of the Riemann Hypothesis Using Bombieri's Equivalence Theorem

2025-11-12T06:39:18Z

The Riemann Hypothesis states that within the strip region of the complex plane $0 < {\rm Re}(s) < 1$, the Riemann $ξ(s)$ function has zeros only on the critical line ${\rm Re}(s) = \frac{1}{2}$ and none elsewhere. To prove the Riemann Hypothesis, we need to identify which points $s$ make the complex function $ξ(s) = 0$, which is evidently a challenging task. Bombieri proposed a proposition in the official description of the Millennium Prize Problems stating that "The Riemann hypothesis is equivalent to the statement that all local maxima of $ξ(t)$ (on the critical line) are positive and all local minima are negative." This provides a direction for proving the Riemann Hypothesis. In this paper, we follow Bombieri's approach to study the Riemann Hypothesis. First, we prove that the function $ξ(s)$ on the critical line (where it is a real function of a single real variable) satisfies a special differential equation. This ensures that it meets Bombieri's equivalence condition. Then, since we have not been able to find the original proof of Bombieri's equivalence theorem, we provide an independent proof for the sufficiency part of the theorem. We find that if the function $ξ(s)$ on the critical line satisfies Bombieri's equivalence condition, then by applying the Cauchy-Riemann equations to $ξ(s)$, we can prove that it has no zeros outside this critical line. Therefore, we can conclude that the Riemann Hypothesis is true. To further validate our findings, we discuss Pólya's counterexample, which is misleading for understanding the research methods and results of this paper. However, we demonstrate that this counterexample does not invalidate Bombieri's equivalence theorem or the judgments proposed in this paper, nor does it affect our proof.

A Unified Transformation Formula for Ramanujan's Theta Function

2025-11-10T23:05:02Z

In this paper, we derive a unified generalization of Ramanujan's transformation identities for the theta function $f(a,b)$, originally appearing in Ramanujan's Notebooks, Parts~III and IV. Using an approach based on residue-class dissections and modular substitutions, we obtain a closed transformation formula for $f(ζa, ζb)$, where $ζ$ is a primitive root of unity $m$. As special cases, we recover and systematically prove Ramanujan's classical results for $m=2,3,$ and $4$, including even odd dissections, cubic transformation and the compact quartic form involving complex coefficients.

On the Fundamental Arithmetical Structure and Distribution of Lucky Numbers

2025-11-10T18:02:16Z

In this article, we will use elementary number theory techniques to investigate a sequence of integers defined by a sifting process called the lucky numbers. Ulam introduced lucky numbers as a sieve-based analogue of prime numbers. We derive an exact formula for the $n$th lucky number, providing a new tool for quantitative analysis. We formulate and prove a version of the Fundamental Theorem of Arithmetic for lucky numbers. This theorem provides an entirely new viewpoint on number theory. Building on the fundamental theorem, we introduce foundational definitions and analogues of arithmetical functions. Additionally, we prove an analogue of Bertrand's postulate for lucky numbers. Finally, we use the formula for the $n$th lucky number to prove a new result on the order of magnitude of the gaps between consecutive lucky numbers. We obtain an asymptotic bound that is much stronger than the best known bound for primes, and therefore obtain the first result that is known for lucky numbers but still conjectured to be true for primes. Together, these results establish a foundation for the arithmetic theory of lucky numbers and contribute to a broader understanding of sieve-generated sequences.

From Bernoulli Numbers to Selector Kernels: Fredholm Determinants, ζ-Regularization, and the Bridge Between Discrete and Continuous Spectra

2025-11-10T14:15:38Z

We construct a unified analytic framework connecting Bernoulli numbers, zeta-regularization, and Fredholm determinants associated with trigonometric selector kernels. Starting from the Bernoulli-Stirling algebra, Euler-Maclaurin corrections are reinterpreted as spectral traces of compact operators. This bridge transforms discrete combinatorial data into continuous spectral quantities, showing that their determinants interpolate between finite-rank projectors and the sine-kernel of random-matrix theory. In the continuum limit the Fredholm determinant becomes a Painleve-V~tau-function, revealing a hierarchy in which Bernoulli coefficients and zeta-constants jointly describe the local-global asymptotics of analytic regularization.

Categories of Games and their Fraïssé Theory

2025-11-10T00:23:17Z

Relying on recent generalizations of the Fraïssé theory to a broader category-theoretic context, we study the class of abstract finite games played between two players and show the existence of an infinitetly countable game which is ultrahomogeneous and universal with respect to said class. Certain peculiarities of our game categories which clash with the usual framework found in the literature then lead us to formulate weaker category-theoretic properties which still yield a universal and ultrahomogeneous Fraïssé limit, thus further generalizing the categorical framework for a Fraïssé theory.

Digital Twins and Their Applications in Modeling Different Levels of Manufacturing Systems: A Review

2025-11-08T20:05:16Z

Digital Twin (DT) has gained great interest as an innovative technology in Industry 4.0 that enables advanced modeling, simulation, and optimization of service and manufacturing systems. This article provides an extensive review of the literature on digital twins (DTs) and their utilization at the levels of product/production line, production system, and enterprise, and considers how they have been applied under real industrial conditions. This article classifies the types of DTs as well as modeling technologies of DT and applications in different fields, with particular focus on the research of strengths and limitations of Discrete Event Simulation (DES) for systems modelling. A generic structure for DT is proposed, outlining the essential components and flow of data. Case studies demonstrate the benefits of DTs for increased efficiency, reduced downtime, and improved lifecycle management, as well as challenges caused by the complexity of data integration and cybersecurity risk, and high implementation costs. This paper contributes to the growing body of knowledge by identifying both the opportunities and barriers to widespread DT adoption. This study concludes that while DTs offer transformative capabilities for enhancing efficiency and decision-making, overcoming these challenges is crucial for realizing their widespread adoption and impact across service and manufacturing sectors.