Tootfinder

Time for another "review". This one's hard. While the book was quite interesting, it required me to be quite open-minded. Still, I think it's worth mentioning:
Robert Wright — Nonzero: The Logic of Human Destiny
The book basically focused on a thesis that both biological evolution and cultural evolution are a thing, they are directional and this directionality can be explained together using game theory — as eventually leading to more non-zero sum games.
It consists of three chapters. The first one is is focused on the history of civilization. It features many examples from different parts of the world, which makes it quite interesting. The author argues that the culture inevitably is evolving as information processing techniques improve — from writing to the Internet.
The second chapter is focused on biological evolution. Now, the argument is that it's not quite random, but actually directed towards greater complexity — eventually leading to the development of highly intelligent species, and a civilization.
The third chapter is quite speculative and metaphysical, and I'm just going to skip it.
The book is full of optimism. Capitalism creates freedom — because people are more productive when they're working for their own gain, so the free market eliminates slavery. Globalisation creates networks of interdependence that make wars uneconomic. Increased contacts between different cultures makes people more tolerant. And eventually, the humanity may be able to unite facing a common "external" enemy — the climate change.
What can I say? The examples are quite interesting, the whole theory seems self-consistent. Still, I repeatedly looked at the publication date (it's 1999), and wondered if author would write the same thing today (yes, I know I can search for his current opinions).
#books #bookstodon @…

Attacking interpretable NLP systems
Eldor Abdukhamidov, Tamer Abuhmed, Joanna C. S. Santos, Mohammed Abuhamad
https://arxiv.org/abs/2507.16164 https://

Attacking interpretable NLP systems
Studies have shown that machine learning systems are vulnerable to adversarial examples in theory and practice. Where previous attacks have focused mainly on visual models that exploit the difference between human and machine perception, text-based models have also fallen victim to these attacks. However, these attacks often fail to maintain the semantic meaning of the text and similarity. This paper introduces AdvChar, a black-box attack on Interpretable Natural Language Processing Systems, de…

The theory of reachability in trace-pushdown systems
Dietrich Kuske
https://arxiv.org/abs/2507.15733 https://arxiv.org/pdf/2507.15733

The theory of reachability in trace-pushdown systems
We consider pushdown systems that store, instead of a single word, a Mazurkiewicz trace on its stack. These systems are special cases of valence automata over graph monoids and subsume multi-stack systems. We identify a class of such systems that allow to decide the first-order theory of their configuration graph with reachability. This result complements results by D'Osualdo, Meyer, and Zetzsche (namely the decidability for arbitrary pushdown systems under a severe restriction on the depende…

A scalable estimator of high-order information in complex dynamical systems
Alberto Liardi, George Blackburne, Hardik Rajpal, Fernando E. Rosas, Pedro A. M. Mediano
https://arxiv.org/abs/2506.18498

A scalable estimator of high-order information in complex dynamical systems
Our understanding of neural systems rests on our ability to characterise how they perform distributed computation and integrate information. Advances in information theory have introduced several quantities to describe complex information structures, where collective patterns of coordination emerge from high-order (i.e. beyond-pairwise) interdependencies. Unfortunately, the use of these approaches to study large neural systems is severely hindered by the poor scalability of existing techniques.…

Stochastic stability of physical measures in conservative systems
Weiwei Qi, Zhongwei Shen, Yingfei Yi
https://arxiv.org/abs/2506.17598 https://

Stochastic stability of physical measures in conservative systems
Given the significance of physical measures in understanding the complexity of dynamical systems as well as the noisy nature of real-world systems, investigating the stability of physical measures under noise perturbations is undoubtedly a fundamental issue in both theory and practice. The present paper is devoted to the stochastic stability of physical measures for conservative systems on a smooth, connected, and closed Riemannian manifold. It is assumed that a conservative system admits an …

Statistical theory of charged particle systems including triple bound states -- and the Collaboration Lviv-Rostock
W. Ebeling
https://arxiv.org/abs/2506.16338

Statistical theory of charged particle systems including triple bound states -- and the Collaboration Lviv-Rostock
Honoring the hundredth anniversary of the birthday of Ihor R. Yuknovskii we analyze new developments in the statistical thermodynamics of Coulomb systems. The basic idea of this work is to demonstrate that the exponential potential used in the first papers of Yukhnovskii is an appropriate reference system for a description of classical and quantum charged particle systems. We briefly discuss the collaboration between the groups of Ihor R. Yuknovskii in Lviv and Günter Kelbg in Rostock and anal…

Reducible Iterated Graph Systems: multiscale-freeness and multifractals
Nero Ziyu Li, Frank Xin Hu, Thomas Britz
https://arxiv.org/abs/2506.18073 https://

Reducible Iterated Graph Systems: multiscale-freeness and multifractals
Iterated Graph Systems (IGS) aims to transplant ideas from fractal geometry into graph theory. Building on this framework, we extend Edge IGS from the primitive to the reducible setting. Within this broader context, we formulate rigorous definitions of multifractality and multiscale-freeness for graph fractals, and we establish conditions that are equivalent to the occurrence of these two phenomena. We further determine the corresponding fractal and degree spectra, proving that both are finite …

Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
Diego Deplano, Sergio Grammatico, Mauro Franceschelli
https://arxiv.org/abs/2506.17990

Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
We adopt an operator-theoretic perspective to analyze a class of nonlinear fixed-point iterations and discrete-time dynamical systems. Specifically, we study the Krasnoselskij iteration - at the heart of countless algorithmic schemes and underpinning the stability analysis of numerous dynamical models - by focusing on a non-Euclidean vector space equipped with the diagonally weighted supremum norm. By extending the state of the art, we introduce the notion of enriched weak contractivity, which …

Multifold degeneracy points of quantum systems and singularities of matrix varieties
Gy\"orgy Frank, Andr\'as P\'alyi, Gerg\H{o} Pint\'er, D\'aniel Varjas
https://arxiv.org/abs/2507.17485

Multifold degeneracy points of quantum systems and singularities of matrix varieties
Parameter-dependent quantum systems often exhibit energy degeneracy points, whose comprehensive description naturally lead to the application of methods from singularity theory. A prime example is an electronic band structure where two energy levels coincide in a point of momentum space. It may happen, and this case is the focus of our work, that three or more levels coincide at a parameter point, called multifold degeneracy. Upon a generic perturbation, such a multifold degeneracy point is dis…

A Dynamical Systems Framework for Reinforcement Learning Safety and Robustness Verification
Ahmed Nasir, Abdelhafid Zenati
https://arxiv.org/abs/2508.15588 https://

A Dynamical Systems Framework for Reinforcement Learning Safety and Robustness Verification
The application of reinforcement learning to safety-critical systems is limited by the lack of formal methods for verifying the robustness and safety of learned policies. This paper introduces a novel framework that addresses this gap by analyzing the combination of an RL agent and its environment as a discrete-time autonomous dynamical system. By leveraging tools from dynamical systems theory, specifically the Finite-Time Lyapunov Exponent (FTLE), we identify and visualize Lagrangian Coherent …

From Representation to Mediation: A New Agenda for Conceptual Modeling Research in A Digital World
J. Recker, R. Lukyanenko, M. A. Jabbari, B. M. Samuel, A. Castellanos
https://arxiv.org/abs/2506.18743

From Representation to Mediation: A New Agenda for Conceptual Modeling Research in A Digital World
The role of information systems (IS) as representations of real-world systems is changing in an increasingly digitalized world, suggesting that conceptual modeling is losing its relevance to the IS field. We argue the opposite: Conceptual modeling research is more relevant to the IS field than ever, but it requires an update with current theory. We develop a new theoretical framework of conceptual modeling that delivers a fundamental shift in the assumptions that govern research in this area. T…

Microscopic Theory of Squeezed Light in Quantum Dot Systems
Sahil Patel, Sean Doan, Chen Shang, Frederic Grillot, Frank Jahnke, John Bowers, Galan Moody, Weng Chow
https://arxiv.org/abs/2508.15114

Microscopic Theory of Squeezed Light in Quantum Dot Systems
We present a cavity-QED theory for generating squeezed light from semiconductor quantum dots (QDs) integrated in microcavities. We formulate equations of motion for an inhomogeneously broadened QD ensemble that is incoherently pumped and simultaneously driven by a coherent seed field, solve for steady states, and compute the output-field quadrature variances. The analysis identifies operating conditions that yield amplitude-quadrature squeezing, with photon-number fluctuations reduced below the…

Secular Resonances in Planet-Hosting Binary Stars. I. General Theory
Nader Haghighipour, Michael Andrew
https://arxiv.org/abs/2507.17092 https://

Secular Resonances in Planet-Hosting Binary Stars. I. General Theory
Motivated by the diversity of circumstellar planets in binary stars and the strong effects of the secular resonances of Jupiter and Saturn on the formation and architecture of the inner solar system, we have launched an expansive project on studying the effects of secular resonances on the formation of terrestrial planets around a star of a moderately close binary. As the first phase of our project, we present here the general theory of secular resonances in dual-star systems where the primary …

Solving two and three-body systems with deep neural networks
Ruitian Li, Xuan Luo, Hao Sun, Pablo G. Ortega
https://arxiv.org/abs/2507.17559 https://

Solving two and three-body systems with deep neural networks
We develop a new method for solving two- and three-body bound state problems using unsupervised machine learning techniques. We use a deep neural network to calculate both simple and realistic potentials, obtaining the properties of the deuteron and triton bound states for the chiral effective field theory NN potential. Our results provide significant accuracy with no prior assumptions about the behaviour of the wave function. This neural network technique, which extends from two-body to three-…

Critical point search and linear response theory for computing electronic excitation energies of molecular systems. Part I: General framework, application to Hartree-Fock and DFT
Laura Grazioli, Yukuan Hu, Eric Canc\`es
https://arxiv.org/abs/2506.16420

Critical point search and linear response theory for computing electronic excitation energies of molecular systems. Part I: General framework, application to Hartree-Fock and DFT
Computing excited states of many-body quantum Hamiltonians is a fundamental challenge in computational physics and chemistry, with state-of-the-art methods broadly classified into variational (critical point search) and linear response approaches. This article introduces a unified framework based on the Kähler manifold formalism, which naturally accommodates both strategies for a wide range of variational models, including Hartree-Fock, CASSCF, Full CI, and adiabatic TDDFT. In particular, this…

Coupling all-electron full-potential density functional theory with grid-based continuum embeddings
Jakob Filser, Edan Bainglass, Karsten Reuter, Oliviero Andreussi
https://arxiv.org/abs/2507.17672

Coupling all-electron full-potential density functional theory with grid-based continuum embeddings
Recent advances in continuum embedding models have enabled the incorporation of solvent and electrolyte effects into density functional theory (DFT) simulations of material surfaces, significantly benefiting electrochemistry, catalysis, and other applications. To extend the simulation of diverse systems and properties, the implementation of continuum embedding models into the Environ library adopts a modular programming paradigm, offering a flexible interface for communication with various DFT …

Building Intuition for Dynamical Mean-Field Theory: A Simple Model and the Cavity Method
Emmy Blumenthal
https://arxiv.org/abs/2507.16654 https://

Building Intuition for Dynamical Mean-Field Theory: A Simple Model and the Cavity Method
Dynamical Mean-Field Theory (DMFT) is a powerful theoretical framework for analyzing systems with many interacting degrees of freedom. This tutorial provides an accessible introduction to DMFT. We begin with a linear model where the DMFT equations can be derived exactly, allowing readers to develop clear intuition for the underlying principles. We then introduce the cavity method, a versatile approach for deriving DMFT equations for non-linear systems. The tutorial concludes with an application…

Double factorization systems in equivariant topology and topos theory
E. V. Martyanov
https://arxiv.org/abs/2508.14981 https://arxiv.org/pdf/2508.14981

Double factorization systems in equivariant topology and topos theory
In the present work, we investigate the extension of double factorization systems to the categories of Eilenberg-Moore (co)algebras. We show that the double factorization systems $(\texttt{ExEpi},\texttt{Bim},\texttt{ExMono})$ in the categories $\mathbf{Tych}$, $\mathbf{Unif}$ and $\mathbf{Comp}$ extend to the same double factorization systems in the corresponding categories of Eilenberg-Moore algebras $\mathbf{Tych}^{\mathbb{H}^t}$, $\mathbf{Unif}^{\mathbb{H}^u}$ and $\mathbf{Comp}^{\mathbb{H}…

Hybridizable Discontinuous Galerkin Methods for Thermo-Poroelastic Systems
Salim Meddahi
https://arxiv.org/abs/2506.17978 https://arx…

Hybridizable Discontinuous Galerkin Methods for Thermo-Poroelastic Systems
We propose a high-order hybridizable discontinuous Galerkin (HDG) formulation for the fully dynamic, linear thermo-poroelasticity problem. The governing equations are formulated as a first-order hyperbolic system incorporating solid and fluid velocities, heat flux, effective stress, pore pressure, and temperature as state variables. We establish well-posedness of the continuous problem using semigroup theory and develop an energy-consistent HDG discretization. The method exploits computational …

Exterior differential systems on Lie algebroids and the invariant inverse problem of the calculus of variations
Tom Mestdag, Kenzo Yasaka
https://arxiv.org/abs/2507.14678

Exterior differential systems on Lie algebroids and the invariant inverse problem of the calculus of variations
We extend the theory of exterior differential systems from manifolds and their tangent bundles to Lie algebroids. In particular, we define the concept of an integral manifold of such an exterior differential system. We support our developments with several examples, including an application to dynamical systems with a symmetry group and to the invariant inverse problem of the calculus of variations.

Complexity of sparse polynomial solving 3: Infinity
Gregorio Malajovich
https://arxiv.org/abs/2506.17086 https://arxiv.org/pdf/2506.1…

Complexity of sparse polynomial solving 3: Infinity
A theory of numerical path-following in toric varieties was suggested in two previous papers. The motivation is solving systems of polynomials with real or complex coefficients. When those polynomials are not assumed `dense', solving them over projective space or complex space may introduce spurious, degenerate roots or components.Spurious roots may be avoided by solving over toric varieties. In this paper, a homotopy algorithm is locally defined on charts of the toric variety. Its complexity…

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
Patrick Redmond, Jonathan Castello, Jos\'e Manuel Calder\'on Trilla, Lindsey Kuper
https://arxiv.org/abs/2508.15264

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
The Entity-Component-System (ECS) software design pattern, long used in game development, encourages a clean separation of identity (entities), data properties (components), and computational behaviors (systems). Programs written using the ECS pattern are naturally concurrent, and the pattern offers modularity, flexibility, and performance benefits that have led to a proliferation of ECS frameworks. Nevertheless, the ECS pattern is little-known and not well understood outside of a few domains. …

On circumcentered direct methods for monotone variational inequality problems
Roger Behling, Yunier Bello-Cruz, Alfredo Iusem, Di Liu, Luiz-Rafael Santos
https://arxiv.org/abs/2506.17814

On circumcentered direct methods for monotone variational inequality problems
The variational inequality problem (VIP) plays a central role in the theory and applications in continuous optimization. In particular, minimization problems and KKT systems can be regard as VIPs. In this work, we present the first methods using circumcenter iterations for solving VIPs. The circumcentered-reflection method (CRM) is a tool based on projections developed with the aim of finding a point in the intersection of finitely many closed convex sets. CRM has gone through enhancements and …

Charged Particle Scattering in Renormalizable Pionless Effective Field Theory at Next-to-Leading Order: The $pd$, $dd$, and $p^3\mathrm{He}$ Case
Mat\'u\v{s} Rojik, Martin Sch\"afer, Mirko Bagnarol, Nir Barnea
https://arxiv.org/abs/2507.16250

Charged Particle Scattering in Renormalizable Pionless Effective Field Theory at Next-to-Leading Order: The $pd$, $dd$, and $p^3\mathrm{He}$ Case
We formulate a renormalizable pionless effective field theory (Pionless EFT) with a non-perturbative treatment of the Coulomb interaction up to next-to-leading order (NLO) for few-nucleon systems. We extract scattering observables for charged clusters by employing two-, three-, and four-body contact interactions and using the stochastic variational method with a Coulomb-corrected harmonic oscillator trap. Our NLO results yield a $pd$ spin-quartet scattering length and effective range of $a_{pd}…

New Bounds for the Ideal Proof System in Positive Characteristic
Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan
https://arxiv.org/abs/2506.16397

New Bounds for the Ideal Proof System in Positive Characteristic
In this work, we prove upper and lower bounds over fields of positive characteristics for several fragments of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi (J. ACM 2018). Our results extend the works of Forbes, Shpilka, Tzameret, and Wigderson (Theory of Computing 2021) and also of Govindasamy, Hakoniemi, and Tzameret (FOCS 2022). These works primarily focused on proof systems over fields of characteristic $0$, and we are able to extend these results…

Regularized Perturbation Theory for Ab initio Solids
Meng-Fu Chen, Jinghong Zhang, Hieu Q. Dinh, Adam Rettig, Joonho Lee
https://arxiv.org/abs/2508.15744 https://

Regularized Perturbation Theory for Ab initio Solids
Second-order Moller-Plesset perturbation theory (MP2) for ab initio simulations of solids is often limited by divergence or over-correlation issues, particularly in metallic, narrow-gap, and dispersion-stabilized systems. We develop and assess three regularized second-order perturbation theories: $κ$-MP2, $σ$-MP2, and the size-consistent Brillouin-Wigner approach (BW-s2), across metals, semiconductors, molecular crystals, and rare gas solids. BW-s2 achieves high accuracy for cohesive energies…

From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs
Jan Bouwe van den Berg, Gabriel William Duchesne, Jean-Philippe Lessard
https://arxiv.org/abs/2507.16798

From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs
Homoclinic snaking is a widespread phenomenon observed in many pattern-forming systems. Demonstrating its occurrence in non-perturbative regimes has proven difficult, although a forcing theory has been developed based on the identification of patterned front solutions. These heteroclinic solutions are themselves challenging to analyze due to the nonlinear nature of the problem. In this paper, we use computer-assisted proofs to find parameterized loops of heteroclinic connections between equilib…

Dynamic correlations in a polar fluid: confronting stochastic density functional theory to simulations
Sleeba Varghese, Pierre Illien, Benjamin Rotenberg
https://arxiv.org/abs/2507.16239

Dynamic correlations in a polar fluid: confronting stochastic density functional theory to simulations
Understanding the dynamic behavior of polar fluids is essential for modeling complex systems such as electrolytes and biological media. In this work, we develop and apply a Stochastic Density Functional Theory (SDFT) framework to describe the polarization dynamics in the Stockmayer fluid, a prototypical model of dipolar liquids consisting of Lennard-Jones particles with embedded point dipoles. Starting from the overdamped Langevin dynamics of dipolar particles, we derive analytical expressions …

Lifts of Operator Systems
Markus Dannem\"uller, Tim Netzer
https://arxiv.org/abs/2508.15348 https://arxiv.org/pdf/2508.15348

Lifts of Operator Systems
We transfer the theory of slack operators and sums-of-squares-criteria for lifts from convex cones to operator systems. These allow to study the following question, among others: Given an abstract operator system, is its enveloping $C^*$-algebra finite-dimensional, or is it the linear image of a system with a finite-dimensional enveloping algebra?

Spin versus Magic: Lessons from Gluon and Graviton Scattering
John Gargalionis, Nathan Moynihan, Sokratis Trifinopoulos, Ewan N. V. Wallace, Chris D. White, Martin J. White
https://arxiv.org/abs/2508.14967

Spin versus Magic: Lessons from Gluon and Graviton Scattering
The quantum property of non-stabiliserness, also known as magic, plays a key role in designing quantum computing systems. How to produce, manipulate and enhance magic remains mysterious, such that concrete examples of physical systems that manifest magic behaviour are sought after. In this paper, we study two-particle scattering of gluons and gravitons in Yang--Mills theory and General Relativity, as well as their supersymmetric extensions. This provides an interesting case of two-qubit systems…

On zeros and algorithms for disordered systems: mean-field spin glasses
Ferenc Bencs, Kuikui Liu, Guus Regts
https://arxiv.org/abs/2507.15616 https://

On zeros and algorithms for disordered systems: mean-field spin glasses
Spin glasses are fundamental probability distributions at the core of statistical physics, the theory of average-case computational complexity, and modern high-dimensional statistical inference. In the mean-field setting, we design deterministic quasipolynomial-time algorithms for estimating the partition function to arbitrarily high accuracy for nearly all inverse temperatures in the second moment regime. In particular, for the Sherrington--Kirkpatrick model, our algorithms succeed for almost …

Triadic Novelty: A Typology and Measurement Framework for Recognizing Novel Contributions in Science
Jin Ai, Richard S. Steinberg, Chao Guo, Filipi Nascimento Silva
https://arxiv.org/abs/2506.17851

Triadic Novelty: A Typology and Measurement Framework for Recognizing Novel Contributions in Science
Scientific progress depends on novel ideas, but current reward systems often fail to recognize them. Many existing metrics conflate novelty with popularity, privileging ideas that fit existing paradigms over those that challenge them. This study develops a theory-driven framework to better understand how different types of novelty emerge, take hold, and receive recognition. Drawing on network science and theories of discovery, we introduce a triadic typology: Pioneers, who introduce entirely ne…

Nonlinear rough Fokker-Planck equations
Fabio Bugini, Peter K. Friz, Wilhelm Stannat
https://arxiv.org/abs/2507.17469 https://arxiv.org/pdf/2507.17469

Nonlinear rough Fokker-Planck equations
McKean-Vlasov SDEs describe systems where the dynamics depend on the law of the process. The corresponding Fokker-Planck equation is a nonlinear, nonlocal PDE for the corresponding measure flow. In the presence of common noise and conditional law dependence, the evolution becomes random and is governed by a stochastic Fokker-Planck equation; that is, a nonlinear, nonlocal SPDE in the space of measures. (Such equations constitute an important ingredient in the theory of mean-field games with com…

Capacity Based Design of Slot Array Antennas
Volodymyr Shyianov, Bamelak Tadele, Vladimir I. Okhmatovski, Faouzi Bellili, Amine Mezghani
https://arxiv.org/abs/2506.17845

Capacity Based Design of Slot Array Antennas
Historically, the design of antenna arrays has evolved separately from Shannon theory. Shannon theory adopts a probabilistic approach in the design of communication systems, while antenna design approaches have relied on deterministic Maxwell theory alone. In this paper, we introduce a new approach to the design of antenna arrays based on information theoretic metrics. To this end, we develop a statistical model suitable for the numerical optimization of antenna systems. The model is utilized t…

Eigenvalue Distribution of Empirical Correlation Matrices for Multiscale Complex Systems and Application to Financial Data
Luan M. T. de Moraes, Ant\^onio M. S. Mac\^edo, Giovani L. Vasconcelos, Raydonal Ospina
https://arxiv.org/abs/2507.14325

Eigenvalue Distribution of Empirical Correlation Matrices for Multiscale Complex Systems and Application to Financial Data
We introduce a method for describing eigenvalue distributions of correlation matrices from multidimensional time series. Using our newly developed matrix H theory, we improve the description of eigenvalue spectra for empirical correlation matrices in multivariate financial data by considering an informational cascade modeled as a hierarchical structure akin to the Kolmogorov statistical theory of turbulence. Our approach extends the Marchenko-Pastur distribution to account for distinct characte…

Simulating the interplay of dipolar and quadrupolar interactions in NMR by spin dynamic mean-field theory
Timo Gr\"a{\ss}er, G\"otz S. Uhrig
https://arxiv.org/abs/2507.17720

Simulating the interplay of dipolar and quadrupolar interactions in NMR by spin dynamic mean-field theory
The simulation of nuclear magnetic resonance (NMR) experiments is a notoriously difficult task, if many spins participate in the dynamics. The recently established dynamic mean-field theory for high-temperature spin systems (spinDMFT) represents an efficient yet accurate method to deal with this scenario. SpinDMFT reduces a complex lattice system to a time-dependent single-site problem, which can be solved numerically with small computational effort. Since the approach retains local quantum deg…

Superfluid stiffness bounds in time-reversal symmetric superconductors
Yongxin Zeng, Andrew J. Millis
https://arxiv.org/abs/2506.18081 https://

Superfluid stiffness bounds in time-reversal symmetric superconductors
Quantum geometry has been shown to make an important contribution to the superfluid stiffness of superconductors, especially for flat-band systems such as moiré materials. In this work we use mean-field theory to derive an expression for the superfluid stiffness of time-reversal symmetric superconductors at zero temperature by computing the energy of the mean-field ground state as a function of pairing momentum. We show that the quantum geometric contribution to superfluid stiffness is a conse…

Analysis of Post-Quantum Cryptography in User Equipment in 5G and Beyond
Sanzida Hoque, Abdullah Aydeger, Engin Zeydan, Madhusanka Liyanage
https://arxiv.org/abs/2507.17074 http…

Analysis of Post-Quantum Cryptography in User Equipment in 5G and Beyond
The advent of quantum computing threatens the security of classical public-key cryptographic systems, prompting the transition to post-quantum cryptography (PQC). While PQC has been analyzed in theory, its performance in practical wireless communication environments remains underexplored. This paper presents a detailed implementation and performance evaluation of NIST-selected PQC algorithms in user equipment (UE) to UE communications over 5G networks. Using a full 5G emulation stack (Open5GS a…

Partial Symmetry Enforced Attention Decomposition (PSEAD): A Group-Theoretic Framework for Equivariant Transformers in Biological Systems
Daniel Ayomide Olanrewaju
https://arxiv.org/abs/2507.14908

Partial Symmetry Enforced Attention Decomposition (PSEAD): A Group-Theoretic Framework for Equivariant Transformers in Biological Systems
This research introduces the Theory of Partial Symmetry Enforced Attention Decomposition (PSEAD), a new and rigorous group-theoretic framework designed to seamlessly integrate local symmetry awareness into the core architecture of self-attention mechanisms within Transformer models. We formalize the concept of local permutation subgroup actions on windows of biological data, proving that under such actions, the attention mechanism naturally decomposes into a direct sum of orthogonal irreducible…

Research on Ultrasonic Imaging Systems Based on Scattering Field Theory
Kai Yabumoto, Takayoshi Yumii, Kenjiro Kimura
https://arxiv.org/abs/2508.14469 https://

Research on Ultrasonic Imaging Systems Based on Scattering Field Theory
In an ultrasonic array system, increasing the aperture size to achieve a high resolution requires more transmit and receive channels, thus making it essential to have an analysis technique that can reconstruct the shape and physical properties of scatterers in a finite time based on measurement data obtained from numerous ultrasonic elements. Herein, we developed an ultrasound imaging technique using a two-dimensional ultrasonic array system comprising N^2 transmitter/receiver pairs and a techn…

Replaced article(s) found for cs.GT. https://arxiv.org/list/cs.GT/new
[1/1]:
- Learning in Strategic Queuing Systems with Small Buffers
Ariana Abel, Yoav Kolumbus, Jeronimo Martin Duque, Cristian Palma Foster, Eva Tardos

Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
Craig S Wright
https://arxiv.org/abs/2507.14218

Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
Artificial intelligence functions not as an epistemic leveller, but as an accelerant of cognitive stratification, entrenching and formalising informational castes within liberal-democratic societies. Synthesising formal epistemology, political theory, algorithmic architecture, and economic incentive structures, the argument traces how contemporary AI systems selectively amplify the reasoning capacity of individuals equipped with recursive abstraction, symbolic logic, and adversarial interrogati…

Information Theoretic Analysis of a Dual-Band MIMO Cellphone Antenna with ANSYS HFSS SBR
Volodymyr Shyianov, Bamelak Tadele, Vladimir I. Okhmatovski, Amine Mezghani
https://arxiv.org/abs/2507.14704

Information Theoretic Analysis of a Dual-Band MIMO Cellphone Antenna with ANSYS HFSS SBR+
Historically, the design of antenna arrays has evolved separately from Shannon theory. Shannon theory adopts a probabilistic approach in the design of communication systems, while antenna design approaches have relied on the deterministic Maxwell theory alone. In this paper, we investigate an information-theoretic analysis approach which we apply to evaluate the design of a dual-band, dual-polarized multiple-input multiple-output (MIMO) array on a cellphone. To this end, we use ANSYS HFSS, a co…

Pushing the Complexity Boundaries of Fixed-Point Equations: Adaptation to Contraction and Controlled Expansion
Jelena Diakonikolas
https://arxiv.org/abs/2506.17698

Pushing the Complexity Boundaries of Fixed-Point Equations: Adaptation to Contraction and Controlled Expansion
Fixed-point equations with Lipschitz operators have been studied for more than a century, and are central to problems in mathematical optimization, game theory, economics, and dynamical systems, among others. When the Lipschitz constant of the operator is larger than one (i.e., when the operator is expansive), it is well known that approximating fixed-point equations becomes computationally intractable even in basic finite-dimensional settings. In this work, we aim to push these complexity boun…

Cyclic proof theory of positive inductive definitions
Gianluca Curzi, Lukas Melgaard
https://arxiv.org/abs/2507.13057 https://arxiv.o…

Cyclic proof theory of positive inductive definitions
We study cyclic proof systems for $μ\mathsf{PA}$, an extension of Peano arithmetic by positive inductive definitions that is arithmetically equivalent to the (impredicative) subsystem of second-order arithmetic $Π^1_2$-$\mathsf{CA}_0$ by Möllefeld. The main result of this paper is that cyclic and inductive $μ\mathsf{PA}$ have the same proof-theoretic strength. First, we translate cyclic proofs into an annotated variant based on Sprenger and Dam's systems for first-order $μ$-calculus, whose…

Phase reduction analysis of traveling breathers in reaction--diffusion systems
Takahiro Arai, Yoji Kawamura
https://arxiv.org/abs/2507.14942 https://

Phase reduction analysis of traveling breathers in reaction--diffusion systems
We formulate a theory for phase reduction analysis of traveling breathers in reaction--diffusion systems with spatial translational symmetry. In this formulation, the spatial and temporal phases represent the position and oscillation of a traveling breather, respectively. We perform phase reduction analysis on a pair of FitzHugh--Nagumo models exhibiting standing breathers and a pair of Gray--Scott models exhibiting traveling breathers. The derived phase equations for the spatial and temporal p…

Constraints on the Sen black hole mass and charge from quasi-periodic oscillations
Kuantay Boshkayev, Marco Muccino
https://arxiv.org/abs/2508.15682 https://

Constraints on the Sen black hole mass and charge from quasi-periodic oscillations
We analyze quasi-periodic oscillation data from selected X-ray binary systems hosting black holes. To model the spacetime geometry, we resort the static Sen solution -- originally derived in the framework of heterotic string theory -- which reduces to the Schwarzschild spacetime for vanishing electric charge. By fitting the observed frequencies within the relativistic precession model, we constrain the mass and charge parameters of the Sen black hole and discuss their astrophysical implications…

The Bode Plots for Sliding-Mode Control Design
Ulises P\'erez-Ventura
https://arxiv.org/abs/2507.16281 https://arxiv.org/pdf/2507…

The Bode Plots for Sliding-Mode Control Design
This paper develops a unified frequency-domain framework for the analysis of sliding-mode control systems, encompassing both discontinuous and Lipschitz-continuous implementations. Using describing function (DF) theory, closed-form expressions are derived for the amplitude and frequency of chattering oscillations, as well as equivalent gain (EG) models that enable closed-loop sensitivity analysis. The proposed methodology captures the influence of actuator dynamics, control parameters, and dist…

Synaptic bundle theory for spike-driven sensor-motor system: More than eight independent synaptic bundles collapse reward-STDP learning
Takeshi Kobayashi, Shogo Yonekura, Yasuo Kuniyoshi
https://arxiv.org/abs/2508.14492

Synaptic bundle theory for spike-driven sensor-motor system: More than eight independent synaptic bundles collapse reward-STDP learning
Neuronal spikes directly drive muscles and endow animals with agile movements, but applying the spike-based control signals to actuators in artificial sensor-motor systems inevitably causes a collapse of learning. We developed a system that can vary \emph{the number of independent synaptic bundles} in sensor-to-motor connections. This paper demonstrates the following four findings: (i) Learning collapses once the number of motor neurons or the number of independent synaptic bundles exceeds a cr…

Residuality Theory: A Rebellious Take on Building Systems That Actually Survive
#resiliency

Macroeconomic Foundation of Monetary Accounting by Diagrams of Categorical Universals
Ren\'ee Men\'endez, Viktor Winschel
https://arxiv.org/abs/2508.14132 https://

Macroeconomic Foundation of Monetary Accounting by Diagrams of Categorical Universals
We present a category theoretical formulation of the Monetary Macroeconomic Accounting Theory (MoMaT) of Menéndez and Winschel [2025]. We take macroeconomic (national) accounting systems to be composed from microeconomic double-entry systems with real and monetary units of accounts. Category theory is the compositional grammar and module system of mathematics which we use to lift micro accounting consistency to the macro level. The main function of money in MoMaT is for the repayment of loans …

Propagation of Chaos for Singular Interactions via Regular Drivers
Qian Qi
https://arxiv.org/abs/2507.14981 https://arxiv.org/pdf/250…

Propagation of Chaos for Singular Interactions via Regular Drivers
We introduce a framework to prove propagation of chaos for interacting particle systems with singular, density-dependent interactions, a classical challenge in mean-field theory. Our approach is to define the dynamics implicitly via a regular driver function. This regular driver is engineered to generate a singular effective interaction, yet its underlying regularity provides the necessary analytical control. Our main result establishes propagation of chaos under a key dissipation condition. Th…

Thermodynamic modeling of binaries in Cr-Fe-Mo-Nb-Ni supported by first-principles calculations
Hui Sun, Shun-Li Shang, Shuang Lin, Jingjing Li, Allison M. Beese, Zi-Kui Liu
https://arxiv.org/abs/2507.16627

Thermodynamic modeling of binaries in Cr-Fe-Mo-Nb-Ni supported by first-principles calculations
Thermodynamic descriptions of all binaries within the Cr-Fe-Mo-Nb-Ni system have been complied and, where necessary, remodeled. Notably, the Cr-Fe and Fe-Mo systems have been remodeled using comprehensive sublattice models for the topologically close-packed (TCP) phases of Laves_C14, sigma, and mu according to their Wyckoff positions. These refinements are supported by first-principles calculations based on density functional theory (DFT), in conjunction with available experimental data in the …

Synchronization Dynamics of Heterogeneous, Collaborative Multi-Agent AI Systems
Chiranjit Mitra
https://arxiv.org/abs/2508.12314 https://arxiv.org/pdf/2508…

Synchronization Dynamics of Heterogeneous, Collaborative Multi-Agent AI Systems
We present a novel interdisciplinary framework that bridges synchronization theory and multi-agent AI systems by adapting the Kuramoto model to describe the collective dynamics of heterogeneous AI agents engaged in complex task execution. By representing AI agents as coupled oscillators with both phase and amplitude dynamics, our model captures essential aspects of agent specialization, influence, and communication within networked systems. We introduce an order parameter to quantify the degree…

Floquet-like theory and gauge transformations for general smooth dynamical systems
Giuseppe Gaeta, Sebastian Walcher
https://arxiv.org/abs/2506.14982 https…

Floquet-like theory and gauge transformations for general smooth dynamical systems
The classical Floquet theory allows to map a time-periodic system of linear differential equations into an autonomous one. By looking at it in a geometrical way, we extend the theory to a class of non-autonomous non-periodic equations. This is obtained by considering a change of variables which depends on time in a non-trivial way, i.e. introducing gauge transformations, well known in fundamental Physics and Field Theory -- but which seems to have received little attention in this context.

from my link log —
Idris 2: quantitative type theory in practice.
https://arxiv.org/abs/2104.00480
saved 2025-06-11 https://dotat…

Idris 2: Quantitative Type Theory in Practice
Dependent types allow us to express precisely what a function is intended to do. Recent work on Quantitative Type Theory (QTT) extends dependent type systems with linearity, also allowing precision in expressing when a function can run. This is promising, because it suggests the ability to design and reason about resource usage protocols, such as we might find in distributed and concurrent programming, where the state of a communication channel changes throughout program execution. As yet, howe…

Mott transition from the non-analyticity of the one-body reduced density-matrix functional
Zhengqian Cheng, Chris A. Marianetti
https://arxiv.org/abs/2508.14110 https://

Mott transition from the non-analyticity of the one-body reduced density-matrix functional
One-body reduced density-matrix functional (1RDMF) theory has yielded promising results for small systems such as molecules, but has not addressed quantum phase transitions such as the Mott transition. Here we explicitly execute the constrained search within a variational ansatz to construct a 1RDMF for the multi-orbital Hubbard model with up to seven orbitals in the thermodynamic limit. The variational ansatz is the \mathcal{N}=3 ansatz of the variational discrete action theory (VDAT), which c…

Skyrmion Lattice Order Controlled by Confinement Geometry
Raphael Gruber, Jan Roth\"orl, Simon M. Fr\"ohlich, Maarten A. Brems, Fabian Kammerbauer, Maria-Andromachi Syskaki, Elizabeth M. Jefremovas, Sachin Krishnia, Asle Sudb{\o}, Peter Virnau, Mathias Kl\"aui
https://arxiv.org/abs/2508.15758…

Skyrmion Lattice Order Controlled by Confinement Geometry
Magnetic skyrmions forming two-dimensional (2D) lattices provide a versatile platform for investigating phase transitions predicted by Kosterlitz-Thouless-Halperin-Nelson-Young (KTHNY) theory. While 2D melting in skyrmion systems has been demonstrated, achieving controlled ordering in skyrmion lattices remains challenging due to pinning effects from a non-uniform energy landscape, which often results in polycrystalline structures. Skyrmions in thin films, however, offer thermal diffusion with h…

Ask Good Questions for Large Language Models
Qi Wu, Zhongqi Lu
https://arxiv.org/abs/2508.14025 https://arxiv.org/pdf/2508.14025

Ask Good Questions for Large Language Models
Recent advances in large language models (LLMs) have significantly improved the performance of dialog systems, yet current approaches often fail to provide accurate guidance of topic due to their inability to discern user confusion in related concepts. To address this, we introduce the Ask-Good-Question (AGQ) framework, which features an improved Concept-Enhanced Item Response Theory (CEIRT) model to better identify users' knowledge levels. Our contributions include applying the CEIRT model alo…

Purely quantum memory in closed systems observed via imperfect measurements
Jorge Tabanera-Bravo, Alja\v{z} Godec
https://arxiv.org/abs/2506.13689 https://…

Purely quantum memory in closed systems observed via imperfect measurements
The detection and quantification of non-Markovianity, a.k.a. memory, in quantum systems is a central problem in the theory of open quantum systems. There memory is as a result of the interaction between the system and its environment. Little is known, however, about memory effects induced by imperfect measurements on closed systems, where an entanglement with the environment is not possible. We investigate the emergence and characteristics of memory in closed systems observed via imperfect stro…

Avoiding spectral pollution for transfer operators using residuals
April Herwig, Matthew J. Colbrook, Oliver Junge, P\'eter Koltai, Julia Slipantschuk
https://arxiv.org/abs/2507.16915

Avoiding spectral pollution for transfer operators using residuals
Koopman operator theory enables linear analysis of nonlinear dynamical systems by lifting their evolution to infinite-dimensional function spaces. However, finite-dimensional approximations of Koopman and transfer (Frobenius--Perron) operators are prone to spectral pollution, introducing spurious eigenvalues that can compromise spectral computations. While recent advances have yielded provably convergent methods for Koopman operators, analogous tools for general transfer operators remain limite…

Interfacial Stability in Tensionless Phase-Separated Quorum-Sensing Systems
Zihao Sun, Longfei Li, Fangfu Ye, Mingcheng Yang
https://arxiv.org/abs/2507.15030

Interfacial Stability in Tensionless Phase-Separated Quorum-Sensing Systems
Interfacial phenomena of motility-induced phase separation of active particles challenge our conventional understanding of phase coexistence. Despite the ubiquity of nonmechanical communication couplings among real active particles, most works on active interface have concentrated on active Brownian systems with steric interparticle interactions. Here, we study the interfacial behavior of phase-separated active particles interacting solely via quorum-sensing communications using both theory and…

Research on Conversational Recommender System Considering Consumer Types
Yaying Luo, Hui Fang, Zhu Sun
https://arxiv.org/abs/2508.13209 https://arxiv.org/p…

Research on Conversational Recommender System Considering Consumer Types
Conversational Recommender Systems (CRS) provide personalized services through multi-turn interactions, yet most existing methods overlook users' heterogeneous decision-making styles and knowledge levels, which constrains both accuracy and efficiency. To address this gap, we propose CT-CRS (Consumer Type-Enhanced Conversational Recommender System), a framework that integrates consumer type modeling into dialogue recommendation. Based on consumer type theory, we define four user categories--depe…

Flips Reveal the Universal Impact of Memory on Random Explorations
Julien Br\'emont, L\'eo R\'egnier, Alex Barbier--Chebbah, Olivier B\'enichou, Rapha\"el Voituriez
https://arxiv.org/abs/2506.15642

Flips Reveal the Universal Impact of Memory on Random Explorations
Quantifying space exploration is a central question in random walk theory, with direct applications ranging from animal foraging, diffusion-limited reactions, and intracellular transport to stock markets. In particular, the explored domain by one or many simple memoryless (or Markovian) random walks has received considerable attention . However, the physical systems mentioned above typically involve significant memory effects, and so far, no general framework exists to analyze such systems. We …

Gaussian-Based Periodic Grand Canonical Density Functional Theory with Implicit Solvation for Computational Electrochemistry
Anton Z. Ni, Adam Rettig, Joonho Lee
https://arxiv.org/abs/2508.15705

Gaussian-Based Periodic Grand Canonical Density Functional Theory with Implicit Solvation for Computational Electrochemistry
We present a numerical method for grand canonical density functional theory (DFT) tailored to solid-state systems, employing Gaussian-type orbitals as the primary basis. Our approach directly minimizes the grand canonical free energy using the density matrix as the sole variational parameter, while self-consistently updating the electron number between self-consistent field iterations. To enable realistic electrochemical modeling, we integrate this approach with implicit solvation models. Our s…

Gravitational waveforms from inspiraling compact binaries in quadratic gravity and their parameterized post-Einstein characterization
Matheus F. S. Alves, L. G. Medeiros, Davi C. Rodrigues
https://arxiv.org/abs/2507.15571

Gravitational waveforms from inspiraling compact binaries in quadratic gravity and their parameterized post-Einstein characterization
We investigate gravitational waveforms from the inspiral phase of compact binary systems within the framework of quadratic gravity and map their deviations from general relativity into the parameterized post-Einstein (PPE) formalism to constrain the theory parameters. Quadratic gravity generically includes a massive spin-2 ghost, which leads to ill-defined energy and angular momentum fluxes. Following earlier proposals, we remove these unphysical features by imposing a constraint on the massive…

Siamese Neural Network for Label-Efficient Critical Phenomena Prediction in 3D Percolation Models
Shanshan Wang, Dian Xu, Jianmin Shen, Feng Gao, Wei Li, Weibing Deng
https://arxiv.org/abs/2507.14159

Siamese Neural Network for Label-Efficient Critical Phenomena Prediction in 3D Percolation Models
Percolation theory serves as a cornerstone for studying phase transitions and critical phenomena, with broad implications in statistical physics, materials science, and complex networks. However, most machine learning frameworks for percolation analysis have focused on two-dimensional systems, oversimplifying the spatial correlations and morphological complexity of real-world three-dimensional materials. To bridge this gap and improve label efficiency and scalability in 3D systems, we propose a…

From Firms to Computation: AI Governance and the Evolution of Institutions
Michael S. Harre
https://arxiv.org/abs/2507.13616 https://…

From Firms to Computation: AI Governance and the Evolution of Institutions
The integration of agential artificial intelligence into socioeconomic systems requires us to reexamine the evolutionary processes that describe changes in our economic institutions. This article synthesizes three frameworks: multi-level selection theory, Aoki's view of firms as computational processes, and Ostrom's design principles for robust institutions. We develop a framework where selection operates concurrently across organizational levels, firms implement distributed inference via game-…

Electron charge dynamics and charge separation: A response theory approach
Lionel Lacombe, Lucia Reining, Vitaly Gorelov
https://arxiv.org/abs/2508.14551 https://

Electron charge dynamics and charge separation: A response theory approach
This study applies response theory to investigate electron charge dynamics, with a particular focus on charge separation. We analytically assess the strengths and limitations of linear and quadratic response theories in describing charge density and current, illustrated by a model that simulates charge transfer systems. While linear response accurately captures optical properties, the quadratic response contains the minimal ingredients required to describe charge dynamics and separation. Notabl…

Passage times of fast inhomogeneous immigration processes
Hwai-Ray Tung, Sean D Lawley
https://arxiv.org/abs/2508.14202 https://arxiv.org/pdf/2508.14202

Passage times of fast inhomogeneous immigration processes
In many biophysical systems, key events are triggered when the fastest of many random searchers find a target. Most mathematical models of such systems assume that all searchers are initially present in the search domain, which permits the use of classical extreme value theory. In this paper, we explore $k$th passage times of inhomogeneous immigration processes where searchers are added to the domain over time either through time inhomogeneous rates or a Yule (pure birth) process. We rigorously…

Extension Research of Principal Bundle Constraint System Theory on Ricci-flat K\"ahler Manifolds
Dongzhe Zheng
https://arxiv.org/abs/2506.11593 https:…

Extension Research of Principal Bundle Constraint System Theory on Ricci-flat Kähler Manifolds
This paper extends the geometric mechanics theory of constraint systems on principal bundles from the flat connection case to the general situation with non-zero curvature. Based on the theoretical foundation of compatible pairs under strong transversality conditions and principal bundle constraint systems, we systematically study the behavior of compatible pair theory in non-flat geometry within the context of Ricci-flat Kähler manifolds. Through rigorous mathematical analysis, we prove that …

Moments and the Basic Equilibrium Equations
Eduardo S. G. Leandro
https://arxiv.org/abs/2507.13865 https://arxiv.org/pdf/2507.13865…

Moments and the Basic Equilibrium Equations
We develop the classical theory of moments of configurations of weighted points with a focus on systems with an identically vanishing first moment. The latter condition provides equations for equilibrium configurations of systems of interacting particles under the sole condition that interactions are pairwise and along the line determined by each pair of particles. Complying external forces are admitted, so some dynamical equilibrium configurations, such as relative equilibria, may be treated w…

A Category Theory Framework for Macroeconomic Modeling: The Case of Argentina's Bimonetary Economy
Luciano Pollicino
https://arxiv.org/abs/2508.13233 https://

A Category Theory Framework for Macroeconomic Modeling: The Case of Argentina's Bimonetary Economy
Traditional macroeconomic models, based on static algebraic systems, fail to capture the dynamics of a bimonetary economy like Argentina's. This paper proposes a framework based on category theory to develop a more flexible and structured model that represents the evolving relationships between key variables such as inflation expectations, interest rates, and currency demand. Using concepts like objects, morphisms, learning/forgetful functors, limits, and colimits, the model is applied to empir…

Optimizing energy conversion with nonthermal resources in steady-state quantum devices
Elsa Danielsson, Henning Kirchberg, Janine Splettstoesser
https://arxiv.org/abs/2508.15578

Optimizing energy conversion with nonthermal resources in steady-state quantum devices
We provide a framework for optimizing energy conversion processes in coherent quantum conductors fed by nonthermal resources. Such nonthermal resources, which cannot be characterized by temperatures or electrochemical potentials, occur in small-scale systems that are smaller than their thermalization length. Using scattering theory in combination with a Lagrange multiplier method, we optimize the device's performance based on the efficiency, precision, or a trade-off between the two at a given …

Secondary Bounded Rationality: A Theory of How Algorithms Reproduce Structural Inequality in AI Hiring
Jia Xiao
https://arxiv.org/abs/2507.09233 https://…

Secondary Bounded Rationality: A Theory of How Algorithms Reproduce Structural Inequality in AI Hiring
AI-driven recruitment systems, while promising efficiency and objectivity, often perpetuate systemic inequalities by encoding cultural and social capital disparities into algorithmic decision making. This article develops and defends a novel theory of secondary bounded rationality, arguing that AI systems, despite their computational power, inherit and amplify human cognitive and structural biases through technical and sociopolitical constraints. Analyzing multimodal recruitment frameworks, we …

A theory of Lending Protocols in DeFi
Massimo Bartoletti, Enrico Lipparini
https://arxiv.org/abs/2506.15295 https://arxiv.org/pdf/250…

A theory of Lending Protocols in DeFi
Lending protocols are one of the main applications of Decentralized Finance (DeFi), enabling crypto-assets loan markets with a total value estimated in the tens of billions of dollars. Unlike traditional lending systems, these protocols operate without relying on trusted authorities or off-chain enforcement mechanisms. To achieve key economic goals such as stability of the loan market, they devise instead trustless on-chain mechanisms, such as rewarding liquidators who repay the loans of under-…

Projected integral control of impedance passive nonlinear systems
Nicolas Vanspranghe (CRAN), Pietro Lorenzetti (CRAN), Lassi Paunonen (TUT), George Weiss (TAU)
https://arxiv.org/abs/2506.14267

Projected integral control of impedance passive nonlinear systems
We propose an abstract framework for solving the constrained set-point tracking problem for impedance passive infinite-dimensional nonlinear systems. The class of systems considered is governed by monotone differential inclusions and allows us to exploit the theory of contraction semigroups. To account for possible operational constraints, e.g., bounds on the input, we replace a classical integral controller with a projected integral controller. This guarantees that the integrator state remains…

Extension of Second-Principles Density Functional Theory into the time domain
Toraya Fern\'andez-Ruiz, Jorge \'I\~niguez, Javier Junquera, Pablo Garc\'ia-Fern\'andez
https://arxiv.org/abs/2507.13824

Extension of Second-Principles Density Functional Theory into the time domain
We present an extension of the second-principles density functional theory (SPDFT) method to perform time-dependent simulations. Our approach, which calculates the evolution of the density matrix in real time and real space using the Liouville-von Neumann equation of motion, allows determining optical and transport properties for very large systems, involving tens of thousands of atoms, using very modest computational platforms. In contrast with other methods, we show that SPDFT can be applied …

The Mathematical Theory of Behavioural Swarms: Towards Modelling the Collective Dynamics of Living Systems
Rene Fabregas (University of Granada), Jie Liao (Shanghai University of Finance,Economics), Nisrine Outada (University Cadi Ayyad,UMMISCO, IRD-SU)
https://arxiv.org/abs/2508.12183

The Mathematical Theory of Behavioural Swarms: Towards Modelling the Collective Dynamics of Living Systems
Classical swarm models, exemplified by the Cucker--Smale framework, provide foundational insights into collective alignment but exhibit fundamental limitations in capturing the adaptive, heterogeneous behaviours intrinsic to living systems. This paper formalises the mathematical theory of \textit{Behavioural Swarms}, a comprehensive framework where each particle's state incorporates a dynamic internal variable, the \textit{activity} that co-evolves with position and velocity through nonlocal in…

Decay character theory for partially dissipative hyperbolic systems of balance laws
Ling-Yun Shou, Jiang Xu, Ping Zhang
https://arxiv.org/abs/2507.11450 ht…

Decay character theory for partially dissipative hyperbolic systems of balance laws
The partially dissipative systems that characterize many physical phenomena were first pointed out by Godunov (1961), then investigated by Friedrichs-Lax (1971) who introduced the convex entropy, and later by Shizuta-Kawashima (1984,1985) who initiated a simple sufficient criterion ensuring the global existence of smooth solutions and their large-time asymptotics. There has been remarkable progress in the past several decades, through various different attempts. However, the decay character the…

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
Craig Steven Wright
https://arxiv.org/abs/2506.13246

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
This paper presents a formalised architecture for synthetic agents designed to retain immutable memory, verifiable reasoning, and constrained epistemic growth. Traditional AI systems rely on mutable, opaque statistical models prone to epistemic drift and historical revisionism. In contrast, we introduce the concept of the Merkle Automaton, a cryptographically anchored, deterministic computational framework that integrates formal automata theory with blockchain-based commitments. Each agent tran…

Spencer Differential Degeneration Theory and Its Applications in Algebraic Geometry
Dongzhe Zheng
https://arxiv.org/abs/2506.07410 https://

Spencer Differential Degeneration Theory and Its Applications in Algebraic Geometry
Based on the compatible pair theory of principal bundle constraint systems, this paper discovers and establishes a complete Spencer differential degeneration theory. We prove that when symmetric tensors satisfy a $λ$-dependent kernel condition $δ_{\mathfrak{g}}^λ(s)=0$, the Spencer differential degenerates to the standard exterior differential, thus establishing a precise bridge between the complex Spencer theory and the classical de Rham theory. One of the advances in this paper is the rigo…

Unitary causal decompositions: a combinatorial characterisation via lattice theory
Tein van der Lugt, Robin Lorenz
https://arxiv.org/abs/2508.11762 https://

Unitary causal decompositions: a combinatorial characterisation via lattice theory
If a unitary transformation has a decomposition into a quantum circuit with no directed path from input $a$ to output $b$, then $a$ does not influence $b$ through the overall unitary. Conversely, it is known that if $a$ does not influence $b$, one may always find a circuit decomposition lacking a path between these systems, thus making the no-influence condition directly apparent in the connectivity of the circuit. Causal decompositions are circuit decompositions in which, more generally, multi…

Eigenstate Thermalization Hypothesis and Random Matrix Theory Universality in Few-Body Systems
Jiaozi Wang, Hua Yan, Robin Steinigeweg, Jochen Gemmer
https://arxiv.org/abs/2506.09011

Eigenstate Thermalization Hypothesis and Random Matrix Theory Universality in Few-Body Systems
In this paper, we study the Feingold-Peres model as an example, which is a well-known paradigm of quantum chaos. Using semiclassical analysis and numerical simulations, we study the statistical properties of observables in few-body systems with chaotic classical limits and the emergence of random matrix theory universality. More specifically, we focus on: 1) the applicability of the eigenstate thermalization hypothesis in few-body systems and the dependence of its form on the effective Planck c…

How Complex is a Complex Network? Insights from Linear Systems Theory
Giacomo Baggio, Marco Fabris
https://arxiv.org/abs/2507.06389 https://

How Complex is a Complex Network? Insights from Linear Systems Theory
This paper leverages linear systems theory to propose a principled measure of complexity for network systems. We focus on a network of first-order scalar linear systems interconnected through a directed graph. By locally filtering out the effect of nodal dynamics in the interconnected system, we propose a new quantitative index of network complexity rooted in the notion of McMillan degree of a linear system. First, we show that network systems with the same interconnection structure share the s…

Markov matrix perturbations to optimize dynamical and entropy functionals
Manuel Santos Gutierrez, Niccolo Zagli, Giulia Carigi
https://arxiv.org/abs/2507.14040

Markov matrix perturbations to optimize dynamical and entropy functionals
An important problem in applied dynamical systems is to compute the external forcing that provokes the largest response of a desired observable quantity. For this, we investigate the perturbation theory of Markov matrices in connection with linear response theory in statistical physics. We use perturbative expansions to derive linear algorithms to optimize physically relevant quantities such as: entropy, Kullback-Liebler-divergence and entropy production of Markov matrices and their related pro…

Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
Quanyan Zhu
https://arxiv.org/abs/2507.10621 https://

Game Theory Meets LLM and Agentic AI: Reimagining Cybersecurity for the Age of Intelligent Threats
Protecting cyberspace requires not only advanced tools but also a shift in how we reason about threats, trust, and autonomy. Traditional cybersecurity methods rely on manual responses and brittle heuristics. To build proactive and intelligent defense systems, we need integrated theoretical frameworks and software tools. Game theory provides a rigorous foundation for modeling adversarial behavior, designing strategic defenses, and enabling trust in autonomous systems. Meanwhile, software tools p…

Kinetic theory of coupled binary-fluid-surfactant systems
Alexandra J. Hardy, Samuel Cameron, Steven McDonald, Abdallah Daddi-Moussa-Ider, Elsen Tjhung
https://arxiv.org/abs/2506.12955

Kinetic theory of coupled binary-fluid-surfactant systems
We derive a self-consistent hydrodynamic theory of coupled binary-fluid-surfactant systems from the underlying microscopic physics using Rayleigh's variational principle. At the microscopic level, surfactant molecules are modelled as dumbbells that exert forces and torques on the fluid and interface while undergoing Brownian motion. We obtain the overdamped stochastic dynamics of these particles from a Rayleighian dissipation functional, which we then coarse-grain to derive a set of continuum e…

Machine-learning interatomic potentials achieving CCSD(T) accuracy for van-der-Waals-dominated systems via {\Delta}-learning
Yuji Ikeda, Axel Forslund, Pranav Kumar, Yongliang Ou, Jong Hyun Jung, Andreas K\"ohn, Blazej Grabowski
https://arxiv.org/abs/2508.14306

Machine-learning interatomic potentials achieving CCSD(T) accuracy for van-der-Waals-dominated systems via Δ-learning
Machine-learning interatomic potentials (MLIPs) enable large-scale atomistic simulations at moderate computational cost while retaining ab initio accuracy. However, most MLIPs are trained on density-functional theory (DFT), which often falls short of chemical accuracy (1 kcal/mol). Conversely, coupled-cluster methods, particularly CCSD(T), which includes single, double, and perturbative triple excitations, are considered the gold standard of computational chemistry but rarely applied to periodi…

Replaced article(s) found for cs.IT. https://arxiv.org/list/cs.IT/new
[1/1]:
- Fundamental Limits of Multiple-Access Integrated Sensing and Communication Systems
Yao Liu, Min Li, An Liu, Lawrence Ong, Aylin Yener

Normal forms of piecewise-smooth systems with a monodromic singular point
Jiahao Li, Xingwu Chen, Weinian Zhang
https://arxiv.org/abs/2506.13200 https://…

Normal forms of piecewise-smooth systems with a monodromic singular point
Normal form theory is developed deeply for planar smooth systems but has few results for piecewise-smooth systems because difficulties arise from continuity of the near-identity transformation, which is constructed piecewise. In this paper, we overcome the difficulties to study normal forms for piecewise-smooth systems with FF, FP, or PP equilibrium and obtain explicit any-order normal forms by finding piecewise-analytic homeomorphisms and deriving a new normal form for analytic syste…

Polynomial Eigenfunctions and Matrix Lyapunov Equations from Energy Balance Integrals
Netzer Moriya
https://arxiv.org/abs/2506.15288 https://

Polynomial Eigenfunctions and Matrix Lyapunov Equations from Energy Balance Integrals
We establish a unified theoretical framework that connects classical orthogonal polynomial systems to matrix Lyapunov equations through the fundamental physics of energy dissipation in stochastic dynamical systems. Starting from the energy balance principle in infinite-dimensional Hilbert spaces, we derive a master integral representation that naturally encompasses both spectral geometry and covariance dynamics. The theory reveals that established orthogonal polynomials (Zernike, Hermite, spher…

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
Craig Steven Wright
https://arxiv.org/abs/2506.13246

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
This paper presents a formalised architecture for synthetic agents designed to retain immutable memory, verifiable reasoning, and constrained epistemic growth. Traditional AI systems rely on mutable, opaque statistical models prone to epistemic drift and historical revisionism. In contrast, we introduce the concept of the Merkle Automaton, a cryptographically anchored, deterministic computational framework that integrates formal automata theory with blockchain-based commitments. Each agent tran…

An investigation into the nonconformity of homogeneous gas limit for kinetic energy density of atomic systems
Priya, Anuvab Panda, Saswata Basu, Mainak Sadhukhan
https://arxiv.org/abs/2506.15393

An investigation into the nonconformity of homogeneous gas limit for kinetic energy density of atomic systems
Developing a reliable kinetic energy density functional within orbital-free density functional theory remains a long-standing challenge, particularly for atomic and molecular systems. A major difficulty lies in the absence of a systematic approach to accurately compute the kinetic energy density in such contexts. In our recent work, we introduced an analytical Green's function-based framework to address this issue. Majority of the existing efforts to construct an approximate kinetic energy dens…

Replica RISM molecular solvation theory for electric double layer in nanoporous materials
A. Kovalenko
https://arxiv.org/abs/2506.14616 https://

Replica RISM molecular solvation theory for electric double layer in nanoporous materials
Applications of 3D-RISM-KH molecular solvation theory range from solvation energy of small molecules to phase behavior of polymers and biomolecules. It predicts the molecular mechanisms of chemical and biomolecular systems. Replica RISM-KH-VM molecular solvation theory predicts and explains the structure, thermodynamics, and electrochemistry of electrolyte solutions sorbed in a nanoporous material. It was tested on nanoporous carbon supercapacitors with aqueous electrolyte and nanoporous electr…

Information in quantum field theory simulators: Thin-film superfluid helium
Maciej T. Jarema, Cameron R. D. Bunney, Vitor S. Barroso, Mohammadamin Tajik, Chris Goodwin, Silke Weinfurtner
https://arxiv.org/abs/2508.07247

Information in quantum field theory simulators: Thin-film superfluid helium
Understanding quantum correlations through information-theoretic measures is fundamental to developments in quantum field theory, quantum information, and quantum many-body physics. A central feature in a plethora of systems is the area law, under which information scales with the size of the boundary of the system, rather than volume. Whilst many systems and regimes exhibiting an area law have been identified theoretically, experimental verification remains limited, particularly in continuous …

The Hudson theorem in LCA groups and infinite quantum spin systems
Fabio Nicola, Federico Riccardi
https://arxiv.org/abs/2507.13154 https://

The Hudson theorem in LCA groups and infinite quantum spin systems
The celebrated Hudson theorem states that the Gaussian functions in $\mathbb{R}^d$ are the only functions whose Wigner distribution is everywhere positive. Motivated by quantum information theory, D. Gross proved an analogous result on the Abelian group $\mathbb{Z}_d^n$, for $d$ odd - corresponding to a system of $n$ qudits - showing that the Wigner distribution is nonnegative only for the so-called stabilizer states. Extending this result to the thermodynamic limit of finite-dimensional system…

Ergodic Theory of Inhomogeneous Quantum Processes
Abdessatar Souissi
https://arxiv.org/abs/2506.12280 https://arxiv.org/pdf/2506.1228…

Ergodic Theory of Inhomogeneous Quantum Processes
This work presents a rigorous framework for understanding ergodicity and mixing in time-inhomogeneous quantum systems. By analyzing quantum processes driven by sequences of quantum channels, we distinguish between forward and backward dynamics and reveal their fundamental asymmetries. A key contribution is the development of a quantum Markov-Dobrushin approach to characterize mixing behavior, offering clear criteria for convergence and exponential stability. The framework not only generalizes c…

A Coordination-Based Model for the Prediction of Surface Energies and the Shape of Metal Particles
Shyama Charan Mandal, Frank Abild-Pedersen
https://arxiv.org/abs/2506.15144

A Coordination-Based Model for the Prediction of Surface Energies and the Shape of Metal Particles
Surface energies of metal-based systems are important for determining the Wulff-constructed shapes of metal nanoparticles and understanding the stability. We have developed a coordination number-based model to predict the total energy of metal-based systems across a wide range of configurations. Our model has been tested against Density Functional Theory (DFT) calculations for late transition metals. This method enables on-the-fly surface energy predictions and allows for the Wulff construction…

Oscillatory Behavior of Linear Nonautonomous Advanced and Delayed Impulsive Differential Equations with Discontinuous Deviating Arguments via Difference Equations
Ricardo Torres Naranjo, Eugenio Trucco Vera
https://arxiv.org/abs/2507.13559

Oscillatory Behavior of Linear Nonautonomous Advanced and Delayed Impulsive Differential Equations with Discontinuous Deviating Arguments via Difference Equations
We establish sufficient conditions to guarantee the oscillatory and non-oscillatory behavior of solutions to nonautonomous advanced and delayed linear differential equations with piecewise constant arguments: \[ x'(t) = a(t)x(t) + b(t)x([t \pm k]), \] where $k \in \mathbb{N}$, $k \geq 1$, in both impulsive and non-impulsive cases (DEPCA and IDEPCA). Due to the hybrid nature of these systems, our approach draws on results from the theory of advanced and delayed linear difference equations. The a…