Hierarchical Stability Notions and Lyapunov Functions for PDEs

2026-03-18T09:43:40Z

Unlike linear ordinary differential equations (ODEs), linear partial differential equations (PDEs) admit a multitude of non-equivalent notions of stability. This variety makes interpretation of Lyapunov stability results challenging. To simplify this interpretation, we propose a framework for hierarchical classification of notions of stability and Lyapunov conditions. To do this, for every well-posed PDE and set of boundary conditions, we define a fundamental state on $L_2$ corresponding to the minimal information needed to uniquely forward propagate the solution. Stability notions and Lyapunov functions are then defined in terms of this fundamental state. This gives rise to a hierarchy of stability notions, the weakest being fundamental state to PDE state stability. Other stability notions and Lyapunov conditions may then be interpreted relative to this weakest notion. Hierarchies are established for: Lyapunov, exponential and finite-energy stability. Sufficient Lyapunov conditions are defined in terms of operator inequalities. Illustrative examples and computational tools are provided.

Study of Meta-Fibonacci Integer Sequences by Continuous Self-Referential Functional Equations

2026-03-18T09:12:54Z

I propose and investigate the use of continuous functional equations for the study of meta-Fibonacci integer sequences. This exploratory study includes three sequences with quite different behavior: Conway's famous sequence $A(n)= A(A(n-1))+A(n-A(n-1))$, the sequence $D(n)= D(D(n-1))+D(n-1-D(n-2))$ introduced by the present author more than 25 years ago, and Hofstadter's well-known $Q(n)= Q(n-Q(n-1))+Q(n-Q(n-2))$. The sequences are studied in their equivalent detrended forms $(a,d,q)(n)=2\,(A,D,Q)(n)-n$. For $a(n)$ and $d(n)$, a highly symmetric functional equation admits exact continuous solutions that nicely model the global behavior (backbone) of the sequences. For the Hofstadter sequence, a continuous functional model is developed that leads to a random matrix approach for the generation and study of fractal solutions. Two remarkable properties of the Q-sequence are reproduced by the model: the anomalous scaling of the generation length, which scales $\sim (2-η)^k$, and the anomalous amplitude growth that scales like $2^{αk}$.

A Full-Density Approach to Simulating Random Iteration Equations with Applications

2026-03-18T08:19:41Z

The goal of this study is to introduce a unified computational framework for simulating random iteration equations (RIE), understood as iteration equations containing random variables. The novelty of this work is that full probability densities of the state vectors are propagated stepwise through the iterations avoiding the need of repetitive pathwise Monte Carlo simulations of the iteration equation. The presentation of the methodology is conceptually efficient based on recent work on static random equations and intentionally accessible. The technical requirements on the RIE are minimal based on the previous work, allowing for potential nonlinearities, discontinuities and stochasticities in the transfer function, as well as nonstandard densities and diffusion processes. As results, illustrative applications of random and stochastic differential equation simulations, a novel full-density gradient descent method (FDGD) for global optimization under uncertainty and examples of chaotic mappings are presented in order to demonstrate the breadth of the utility of this framework. In total, the character of the presentation is explorative and encourages new applications and theoretical studies.

Data-driven model order reduction for structures with piecewise linear nonlinearity using dynamic mode decomposition

2026-03-18T06:59:29Z

Piecewise-linear nonlinear systems appear in many engineering disciplines. Prediction of the dynamic behavior of such systems is of great importance from practical and theoretical viewpoint. In this paper, a data-driven model order reduction method for piecewise-linear systems is proposed, which is based on dynamic mode decomposition (DMD). The overview of the concept of DMD is provided, and its application to model order reduction for nonlinear systems based on Galerkin projection is explained. The proposed approach uses impulse responses of the system to obtain snapshots of the state variables. The snapshots are then used to extract the dynamic modes that are used to form the projection basis vectors. The dynamics described by the equations of motion of the original full-order system are then projected onto the subspace spanned by the basis vectors. This produces a system with much smaller number of degrees of freedom (DOFs). The proposed method is applied to two representative examples of piecewise linear systems: a cantilevered beam subjected to an elastic stop at its end, and a bonded plates assembly with partial debonding. The reduced order models (ROMs) of these systems are constructed by using the Galerkin projection of the equation of motion with DMD modes alone, or DMD modes with a set of classical constraint modes to be able to handle the contact nonlinearity efficiently. The obtained ROMs are used for the nonlinear forced response analysis of the systems under harmonic loading. It is shown that the ROMs constructed by the proposed method produce accurate forced response results.

The Law of Large Numbers for Time-inhomogeneous Markov Chains under General Conditions

2026-03-18T06:59:22Z

The weak and strong laws of large numbers for time-inhomogeneous Markov chains are studied under general conditions. First, under Drift Condition and Contraction Condition in total variation, we prove the weak law of large numbers. Then, assuming Drift Condition together with a time-inhomogeneous Doeblin minorization, we develop a Nummelin-type splitting and obtain a strong law of large numbers. Our results utilize the invariant measure family in the sense of Liu--Lu (2025), and extend the classical Harris-ergodic LLN to the time-inhomogeneous setting.

Sequential densities of rational languages

2026-03-17T22:34:40Z

We introduce the notion of density of a rational language with respect to a sequence of probability measures. We prove that if $(μ_n)$ is a sequence of Bernoulli measures converging to a positive Bernoulli measure $\overlineμ$, the sequential density is the ordinary density with respect to $\overlineμ$. We also prove that if $(μ_n)$ is a sequence of invariant probability measures converging in the strong sense to an invariant probability measure $\overlineμ$, then the sequential density of every rational language exists for this sequence.

On quantization and the classical variational principle for the metric mean dimension

2026-03-17T19:25:09Z

For a homeomorphism $T\colon X \to X$ on a compact metric space $(X,d)$, one can find in the literature several distinct notions of measure-theoretic $\varepsilon$-entropy maps $F(μ,\varepsilon)$, defined on the space of Borel $T$-invariant probability measures of $X$, satisfying $$ \mathrm{\overline{mdim}_M}(X,d,T) \, =\, \limsup_{\varepsilon \, \to \, 0^+}\, \sup_{μ\,\in\, P_T(X)} \, \frac{F(μ,\varepsilon)}{\log\,(1/\varepsilon)} $$ where $\mathrm{\overline{mdim}_M}(X,d,T)$ stands for the upper metric mean dimension. A major question regards the change in the order in which $\limsup_{\varepsilon}$ and $\sup_{μ\,\in\, P_T(X)}$ appear in the previous equality. We introduce the notion of mean quantization dimension of a measure and prove that $$ \mathrm{\overline{mdim}_M}(X,d,T) \,\, =\, \max_{μ\,\in\, P_T(X)} \, \mathrm{\overline{mdim}_Q}(μ). $$ This concept exhibits a fundamental property that prompted our search for sufficient conditions on $F$ under which the aforementioned change in order is valid. We show that some of the well-known maps $F$ do not satisfy this property and fail to comply with a classical variational principle.

On the involutive Banach algebra associated to topologically free dynamical systems

2026-03-17T18:22:37Z

Given an action $G \curvearrowright X$ of a discrete and countable infinite group $G$ on a compact and Hausdorff space $X$, we regard $\ell^1(G\curvearrowright X)$ as the Banach *-algebra crossed product associated to the action. We characterize topological freeness of the action by showing that it is equivalent to every nontrivial closed ideal of $\ell^1(G\curvearrowright X)$ intersecting $C(X)$ nontrivially. Most surprisingly, we show that when $G$ is torsion-free and abelian, $\ell^1(G\curvearrowright X)$ can detect freeness of $G \curvearrowright X$: indeed, we show that $G\curvearrowright X$ is free if and only if every closed ideal of $\ell^1(G\curvearrowright X)$ is self-adjoint, a property that is automatic in $C^*$-algebras. We also show with an example that this result does not hold beyond the torsion-free abelian case.

On the supports in the Humilière completion and $γ$-coisotropic sets

2026-03-17T18:07:04Z

The symplectic spectral metric on the set of Lagrangian submanifolds or Hamiltonian maps can be used to define a completion of these spaces. For an element of such a completion, we define its $γ$-support. We also define the notion of $γ$-coisotropic set, and prove that a $γ$-support must be $γ$-coisotropic toghether with many properties of the $γ$-support and $γ$-coisotropic sets. We give examples of Lagrangians in the completion having large $γ$-support and we study those (called "regular Lagrangians") having small $γ$-support. We compare the notion of $γ$-coisotropy with other notions of isotropy.

Unifying Optimization and Dynamics to Parallelize Sequential Computation: A Guide to Parallel Newton Methods for Breaking Sequential Bottlenecks

2026-03-17T17:55:01Z

Massively parallel hardware (GPUs) and long sequence data have made parallel algorithms essential for machine learning at scale. Yet dynamical systems, like recurrent neural networks and Markov chain Monte Carlo, were thought to suffer from sequential bottlenecks. Recent work showed that dynamical systems can in fact be parallelized across the sequence length by reframing their evaluation as a system of nonlinear equations, which can be solved with Newton's method using a parallel associative scan. However, these parallel Newton methods struggled with limitations, primarily inefficiency, instability, and lack of convergence guarantees. This thesis addresses these limitations with methodological and theoretical contributions, drawing particularly from optimization. Methodologically, we develop scalable and stable parallel Newton methods, based on quasi-Newton and trust-region approaches. The quasi-Newton methods are faster and more memory efficient, while the trust-region approaches are significantly more stable. Theoretically, we unify many fixed-point methods into our parallel Newton framework, including Picard and Jacobi iterations. We establish a linear convergence rate for these techniques that depends on the method's approximation accuracy and stability. Moreover, we give a precise condition, rooted in dynamical stability, that characterizes when parallelization provably accelerates a dynamical system and when it cannot. Specifically, the sign of the Largest Lyapunov Exponent of a dynamical system determines whether or not parallel Newton methods converge quickly. In sum, this thesis unlocks scalable and stable methods for parallelizing sequential computation, and provides a firm theoretical basis for when such techniques will and will not work. This thesis also serves as a guide to parallel Newton methods for researchers who want to write the next chapter in this ongoing story.

Exploring Collatz Dynamics with Human-LLM Collaboration

2026-03-17T17:21:23Z

We develop a quantitative framework for the Collatz conjecture through a human-LLM collaboration, combining exact arithmetic structure, cycle-level probabilistic laws, and a conditional convergence reduction. The central quantitative result is the Per-Orbit Gain Rate theorem, which proves R <= 0.0893 < epsilon = 2 - log_2 3 ~= 0.415, leaving a safety margin of at least 4.65x. A robustness corollary shows that exact equidistribution is unnecessary: it suffices that sum_K delta_K < 0.557. This promotes the Weak Mixing Hypothesis (WMH) to the primary open condition. On the arithmetic side, we refine modular crossing methods and prove that by depth 13 about 91 percent of odd residue classes are already forced to descend below their start. On the odd skeleton, we prove the exact run-length identity L(n) = v_2(n+1) - 1, derive an exact one-cycle crossing criterion, and compute the exact one-cycle crossing density P_1cyc = 0.713725498.... A major breakthrough is that the odd-skeleton valuation process satisfies an exact finite-block law: every prescribed valuation block occurs on a single odd residue class with the expected density. Hence the valuation process is exactly i.i.d. geometric in the natural-density ensemble, and the induced run-compensate cycle types are exactly i.i.d. This yields an exact cycle-level large-deviation theory and an unconditional almost-all crossing theorem in cycle language. We also prove substantial classwise deterministic crossing: about 41.9 percent of odd starts lie in one-cycle residue classes where every representative crosses below its start, and about 50.4 percent lie in two-cycle residue classes with the same universal crossing property. The framework does not yet prove Collatz. The remaining gap is now sharply isolated as a pointwise problem: proving that every deterministic orbit realizes enough of the exact negative cycle drift to cross below its start.

Data-driven forced response analysis with min-max representations of nonlinear restoring forces

2026-03-17T16:23:33Z

This paper discusses a novel data-driven nonlinearity identification method for mechanical systems with nonlinear restoring forces such as polynomial, piecewise-linear, and general displacement-dependent nonlinearities. The proposed method is built upon the universal approximation theorem that states that a nonlinear function can be approximated by a linear combination of activation functions in artificial neural network framework. The proposed approach utilizes piecewise linear springs with initial gaps to act as the activation functions of the neurons of artificial neural networks. A library of piecewise linear springs with initial gaps are constructed, and the contributions of the springs on the nonlinear restoring force are determined by solving the linear regression problems. The piecewise linear springs are realized by combinations of min and max functions with biases. The proposed method is applied to a Duffing oscillator with cubic stiffness, and a piecewise linear oscillator with a gap and their nonlinearities are successfully determined from their free responses. The obtained models are then used for conducting forced response analysis and the results match well with those of the original system. The method is then applied to experimentally-obtained free response data of a cantilevered plate that is subjected to magnetic restoring force, and successfully finds the piecewise linear representation of the magnetic force. It is also shown that the obtained model is capable of accurately capturing the steady-state response of the system subject to harmonic base excitation.

Equidistribution in 2-Nilpotent Polish Groups and triple restricted sumsets

2026-03-17T16:16:31Z

The aim of this paper is to establish a Ratner-type equidistribution theorem for orbits on homogeneous spaces associated with 2-nilpotent locally compact Polish groups under the action of a countable discrete abelian group. We apply this result to establish the existence of triple restricted sumsets in subsets of positive density in arbitrary countable discrete abelian groups, subject to a necessary finiteness condition.

A multiscale discrete-to-continuum framework for structured population models

2026-03-17T15:17:21Z

Mathematical models of biological populations commonly use discrete structure classes to capture trait variation among individuals (e.g. age, size, phenotype, intracellular state). Upscaling these discrete models into continuum descriptions can improve analytical tractability and scalability of numerical solutions. Common upscaling approaches based solely on Taylor expansions may, however, introduce ambiguities in truncation order, uniform validity and boundary conditions. To address this, here we introduce a discrete multiscale framework to systematically derive continuum approximations of structured population models. Using the method of multiple scales and matched asymptotic expansions applied to discrete systems, we identify regions of structure space for which a continuum representation is appropriate and derive the corresponding partial differential equations. The leading-order dynamics are given by a nonlinear advection equation in the bulk domain and advection-diffusion processes in small inner layers about the leading wavefronts and stagnation point. We further derive discrete boundary layer descriptions for regions where a continuum representation is fundamentally inappropriate. Finally, we demonstrate the method on a simple lipid-structured model for early atherosclerosis and verify consistency between the discrete and continuum descriptions. The multiscale framework we present can be applied to other heterogeneous systems with discrete structure in order to obtain appropriate upscaled dynamics with asymptotically consistent boundary conditions.

A Jacobi Field Approach to Splitting Detection in Schrödinger Bridge

2026-03-17T14:56:23Z

We study the problem of detecting the onset of path splitting in stochastic interpolation between probability distributions. This question is especially subtle when the target distribution is nonconvex or supported on disconnected components, where interpolating trajectories may separate into distinct branches. Motivated by the stochastic control and Schrödinger bridge viewpoint, we propose a Jacobi field based indicator for identifying candidate splitting times and locations. Our approach is based on the Jacobi field associated with the linearization of an induced interpolating flow. Starting from a stochastic interpolation ansatz, we construct an Eulerian velocity field by conditional averaging and derive its spatial Jacobian in terms of the local posterior geometry of the target sample cloud. This allows us to interpret the symmetric part of the Jacobian as a local strain tensor and to use its spectral structure to quantify the amplification of infinitesimal perturbations along reference trajectories. Numerical experiments on non-convex and disconnected target distributions show that the proposed indicator consistently localizes the emergence of branching regions and captures the temporal development of splitting. These results suggest that Jacobi field analysis provides a natural mathematical framework for studying local instability and splitting phenomena in stochastic interpolation.