Related papers: Exploring Collatz Dynamics with Human-LLM Collabor…
In sequent calculi, cut elimination is a property that guarantees that any provable formula can be proven analytically. For example, Gentzen's classical and intuitionistic calculi LK and LJ enjoy cut elimination. The property is less…
We report the key findings from numerical solutions of a model of transport within an established perfusion bioreactor design. The model includes a complete formulation of transport with fully coupled convection-diffusion and scaffold cell…
We consider transformations preserving a contracting foliation, such that the associated quotient map satisfies a Lasota-Yorke inequality. We prove that the associated transfer operator, acting on suitable normed spaces, has a spectral gap…
Exact expressions for all the steady-state fields (E, H, D, B) in uniaxial linear media composed of an arbitrary number of layers having arbitrary thicknesses subjected to normal incidence are derived. Generic boundary condition relations…
Superdiffusion is an anomalous transport behavior. Recently, a new mechanism, termed the ``nodal mechanism," has been proposed to induce superdiffusion in quantum models. However, existing realizations of the nodal mechanism have so far…
Using renormalization-group techniques we analyze equilibrium properties of a large gated quantum dot coupled via a long and narrow channel to a reservoir of electrons. Treating the electrons in the channel as one-dimensional and…
Generalization to novel compound tasks under distribution shift is important for deploying transformer-based language models (LMs). This work investigates Chain-of-Thought (CoT) reasoning as a means to enhance OOD generalization. Through…
We iteratively apply a recently formulated adiabatic theorem for the strong-coupling limit in finite-dimensional quantum systems. This allows us to improve approximations to a perturbed dynamics, beyond the standard approximation based on…
We continue the development of transfer operator techniques for expanding maps on a lattice coupled by general interaction functions. We obtain a spectral gap for an appropriately defined transfer operator, and, as corollaries, the…
We study wave propagation in 2D honeycomb structures with a non-commensurate or ``irrational'' line defect or edge. Our model is a Schr\"odinger operator which interpolates, across the edge, between two distinct bulk (asymptotic)…
Dimensional reduction is a generic consequence of dissipation in nonlinear evolution equations, often leading to attractor collapse and the loss of dynamical richness. To counteract this, we introduce a geometric framework for Covariant…
We consider the correlations and the hydrodynamic description of random walkers with a general finite memory moving on a $d$ dimensional hypercubic lattice. We derive a drift-diffusion equation and identify a memory-dependent critical…
The Collatz conjecture implies that an iterated function sequence under a certain linear operator, beginning with a certain complex valued function, must converge to a certain complex function.
Disentangling reaction mechanisms in weakly bound nuclei remains a long-standing challenge, often compounded by the treatment of absorption as an incoherent sum of channel contributions. Within the Continuum-Discretized Coupled-Channels…
We consider the HRT conjecture in the mixed-integer setting, where a finite configuration in $\R^d\times\R^d$ consists of $N-1$ points in $\Z^d\times\Z^d$ and one point $(\alpha,\beta)$ outside the lattice. Assuming a linear dependence…
Large language models (LLMs) have shown promising performance across diverse domains. Many practical applications of LLMs, such as code completion and structured data extraction, require adherence to syntactic constraints specified by a…
We study stem-terminally differentiated (TD) lineages in small niches where demographic noise from discrete division and death events is non-negligible. Starting from a mechanistic five-channel, density-dependent CTMC (symmetric…
We study the phase diagram of a system of $2\times2\times2$ hard cubes on a three dimensional cubic lattice. Using Monte Carlo simulations, we show that the system exhibits four different phases as the density of cubes is increased:…
Consider $d$ commuting $C_{0}$-semigroups (or equivalently: $d$-parameter $C_{0}$-semigroups) over a Hilbert space for $d \in \mathbb{N}$. In the literature (\textit{cf.} [29, 26, 27, 23, 18, 25]), conditions are provided to classify the…
Diffusion is a dissipative transport phenomenon ubiquitously present in nature. Its details can now be analysed with modern effective field theory (EFT) techniques that use the closed-time-path (or Schwinger-Keldysh) formalism. We discuss…