Related papers: Exploring Collatz Dynamics with Human-LLM Collabor…
There are three aims of this note. The first one is to report some advances around the dynamical Mordell-Lang (=DML) conjecture. Second, we generalize some known results. For example, the Dynamical Mordell-lang conjecture was known for…
A non-equilibrium particle transport model, the totally asymmetric exclusion process, is studied on a one-dimensional lattice with a hierarchy of fixed long-range connections. This model breaks the particle-hole symmetry observed on an…
We propose a cut-free cyclic system for Transitive Closure Logic (TCL) based on a form of hypersequents, suitable for automated reasoning via proof search. We show that previously proposed sequent systems are cut-free incomplete for basic…
Collisionless damping of electrical waves in plasma is investigated in the frame of the classical formulation of the problem. The new principle of regularization of the singular integral is used. The exact solution of the corresponding…
Reachability Logic is a formalism that can be used, among others, for expressing partial-correctness properties of transition systems. In this paper we present three proof systems for this formalism, all of which are sound and complete and…
Full counting statistics (FCS) for the transport through a molecular quantum dot magnet is studied theoretically in the incoherent tunneling regime. We consider a model describing a single-level quantum dot, magnetically coupled to an…
In this paper, we address the normal mode analysis on the linearized Boltzmann equation for massive particles in the relaxation time approximation. One intriguing feature of massive transport is the coupling of the secular equations between…
It is known that the Collatz Conjecture (and the study of similar maps, here called "Hydra maps") can be stated in terms of solution sets of functional equations; or, equivalently, the fixed points of linear operators on spaces of analytic…
Multi-step Chain-of-Thought (CoT) has significantly advanced the mathematical reasoning capabilities of LLMs by leveraging explicit reasoning steps. However, the widespread adoption of Long CoT often results in sequence lengths that exceed…
We combine hydrodynamic and modulated energy techniques to study the large deviations of systems of particles with pairwise singular repulsive interactions and additive noise. Specifically, we examine periodic Riesz interactions indexed by…
We establish the existence of wave-like solutions to spatially coupled graphical models which, in the large size limit, can be characterized by a one-dimensional real-valued state. This is extended to a proof of the threshold saturation…
Using a Hilbert space framework inspired by the methods of orthogonal projections and Hodge decompositions, we study a general class of problems (called Z-problems) that arise in effective media theory, especially within the theory of…
The Collatz sequence for a given natural number $N$ is generated by repeatedly applying the map $N$ $\rightarrow$ $3N+1$ if $N$ is odd and $N$ $\rightarrow$ $N/2$ if $N$ is even. One elusive open problem in Mathematics is whether all such…
Set out here are some fundamental theories that may be regarded as newly discovered metamathematics of the odd integers in relation to the Collatz conjecture (also called the 3x+1 problem). Originally motivated by the requirement to invent…
Quantum materials featuring both itinerant and localized degrees of freedom exhibit numerous exotic phases and transitions that deviate from the Ginzburg-Landau paradigm. This work uses the composite operator formalism to examine the…
In this paper we prove that the set of points that have bounded orbits under one regular diagonal flow and dense orbits under the other diagonal flow commuting with the first one has full Hausdorff dimension in…
This paper compares three different types of ``onset of chaos'' in the logistic and generalized logistic map: the Feigenbaum attractor at the end of the period doubling bifurcations; the tangent bifurcation at the border of the period three…
We introduce a general framework for deriving effective dynamics from arbitrary time-dependent generators, based on a systematic operator cumulant expansion. Unlike traditional approaches, which typically assume periodic or adiabatic…
This paper is concerned with the algebraic K-theory of locally convex algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that the obstruction for the comparison map between algebraic and…
We study chaotic behavior and diffusion in the 2D periodic Lorentz gas in the finite-horizon regime. The dynamical observable which we consider is the length of single particle's trajectories, which moves in a triangular array of rigid…