2026-07-24 | | Total: 20
This paper investigates inverse two-phase Stefan-type problems for parabolic heat equations with unknown time-dependent source and reaction coefficients. Suitable transformations reduce the original free-boundary problems to equivalent equations on fixed spatial domains, and Fourier spectral expansions are used to derive reconstruction formulas for the unknown coefficients. In the first formulation, the source coefficients are identified from integral, pointwise, and nonlocal additional data, leading to Volterra integral equations. In the second formulation, an exponential transformation is applied to recover the reaction coefficients. A principal advantage of the model with two moving boundaries is that each boundary provides its own Stefan condition which sufficient to determine the two unknown time-dependent coefficients without additional overdetermination conditions. Under appropriate assumptions the existence, uniqueness, boundedness and regularity of weak and strong solutions are established. Illustrative examples confirm the applicability of the reconstruction procedure and show that the coefficients remain stable under the noisy data. The proposed approach provides a rigorous base for identifying time-dependent thermal parameters in two-phase phase-change processes.
In this note we furnish a new result concerning the well known théorème de structure by Leray related to a weak solution to the Navier-Stokes equations. We are able to furnish a new estimate on the left endpoint of the unbounded interval of regularity.
We construct a covariant representation of the causal logic for the Dirac system and the electron, based on the conserved Dirac probability current and a general current-to-localization procedure for achronal regions. A polynomial decay estimate, derived by a non-stationary phase argument, verifies the conditions required to define covariant achronal localization for the full Dirac system. Extending this localization to complete spacetime regions yields the corresponding causal-logic representation; restriction to the positive-energy invariant subspace gives the analogous construction for the electron. We establish several structural properties. On Euclidean space, Dirac localization agrees with canonical projection-valued localization, while its position operator differs from the Newton--Wigner operator by an explicitly determined bounded self-adjoint correction. Full Dirac achronal localization is projection valued and represents achronal separateness by orthogonality, thus satisfying microscopic causality. After compression to the electron subspace, it becomes positive-operator valued while preserving causality. We further extend known results from spatial to general achronal regions, prove separation and norm-one criteria, and analyze the high-boost limit, obtaining Lorentz contraction in a precise probabilistic sense. Finally, we discuss the electron--positron decomposition and the state transformation induced by position measurements, showing that measurement-induced positron production is universal and independent of the specific measuring device.
Building upon a recent result by H. Cornean, H. Garde, and A. Jensen concerning continuum limits of discrete Dirac operators, we extend the analysis to a wide class of block operator matrices. This class includes, among others, the bilayer graphene Hamiltonian. Our main goal is to find norm estimates for the difference between the resolvents of continuous operators and their discrete counterparts embedded in the continuum in a specific way. While some discretization schemes lead directly to convergence in the generalized norm resolvent sense as the mesh parameter tends to zero, others require the addition of a suitable correction term to ensure the convergence.
This expository review reformulates the BCS analyses of Haag, Emch--Guenin, and Thirring--Wehrl, together with subsequent operator-algebraic mean-field results of Bóna, Raggio--Werner, and Bru--de Siqueira Pedra, in the language of quasi-local $C^{\ast}$-algebras and state decompositions. The quasi-spin model is realized on the UHF algebra of type $2^{\infty}$, with product sectors described by von Neumann's incomplete infinite tensor products. This framework distinguishes strong limits of intensive observables, domain-restricted limits of extensive observables, and sectorwise Bogoliubov--Haag limits, including their operator criterion, gap equation, and limiting dynamics. In the degenerate model, the ground-state and thermal gauge averages admit central direct-integral decompositions over the gauge circle, and the thermal decomposition converges to the ground-state decomposition at zero temperature. Adjoining the gauge phase as a central classical variable combines the phase-dependent Bogoliubov dynamics into one automorphism group on $C(\mathbb{S}^{1},\mathcal{A})$.
We identify the topological and dynamical conditions for a Hamiltonian system to possess port-Hamiltonian reformulations with increasing resolution of structural detail that remains hidden in the Hamiltonian theory. We find that the principally attainable resolution grows exponentially with the number of factor manifolds into which the configuration space of a canonical Hamiltonian system decomposes and is tempered only by degeneracies of the original Hamiltonian.
We study the one-dimensional linear-potential system as an affine extension of the conformal triangle formed by the free particle, harmonic oscillator (HO) and inverted harmonic oscillator (IHO). Unlike these homogeneous quadratic Hamiltonians in the $sl(2,\mathbb R)$ sector, the linear-potential Hamiltonian involves the Heisenberg ideal of the Schrödinger algebra. Its direct relation to the free particle is a regular accelerated-frame transformation, developed here at the levels of the classical action, canonical transformation, wave-function intertwiner and propagator; its HO and IHO realizations instead arise through singular displaced-oscillator limits. The Airy energy eigenstates follow from a cubic-phase transform of free-particle momentum eigenstates, from condensation of highly excited harmonic-oscillator levels, and from the limit of a subdominant parabolic-cylinder scattering branch of the inverted oscillator. We also develop a planar extension in homogeneous crossed electric and magnetic fields, where uniform acceleration generates the electric interaction, while uniform rotation produces the Landau coupling and the centrifugal inverted-oscillator term; the guiding-center dynamics yields the Hall drift.
We construct the sine-Gordon measure and its renormalized effective potential in finite volume up to the seventh threshold. The construction relies on a weak stochastic control problem, its associated weak FBSDE, and an analysis of the renormalization flow equation using a multipole Mayer expansion. The analysis is fully inductive, and we include a complete order-by-order analysis in the subcritical regime $β^{2}<8π$.
For $G=SU(N)$ at finite and large $N$, with a totally symmetric representation, we realize the homological block $F_K$ for a knot complement $S^3 \backslash K$, given in the form of the inverted Habiro series, as a half-index of a 3d $\mathcal{N}=2$ theory $T[M_3]$ by studying some examples, which we expect to extend to general knots. From the half-index expression, it is also possible to realize the colored HOMFLY-PT polynomial by taking a certain set of poles. Through the half-index realization, we describe a method for obtaining the $G=SU(N)$ homological block and its $a$-deformed version for $S^3 \backslash K$ from a Habiro series expression for the colored HOMFLY-PT polynomial. We also discuss some properties of partition functions for arbitrary $N$.
We define doubling conditions for measured Lorentzian length spaces in terms of chronological diamonds, and prove that such conditions are implied by suitable timelike curvature bounds. In particular, for the first time, we relate doubling to curvature bounds in Lorentzian geometry. As a consequence, we obtain compactness results for Lorentzian generalized cones with respect to the Lorentzian Gromov--Hausdorff convergence introduced by Mondino--Sämann.
Entanglement distillation is a fundamental task in quantum information theory. In this work, we prove that Werner states in arbitrary dimension are 2-copy distillable if and only if they are 1-copy distillable. This answers the longstanding open question of the 2-copy distillability of Werner states. This is an important step on determining whether every non-positive partial transpose (NPT) state is distillable, which remains one of the central open problems in the field of entanglement distillation.
In this communication we propose a discrete Cosserat rod formulation in which a slender elastic rod is represented as a chain of rigid bodies (nodes) coupled by compliant elastic forces and moments acting between adjacent node pairs. Discrete dilatation, shear, torsion and curvature strain measures are evaluated from the relative kinematics of each node pair, while the constitutive behavior is expressed in compliance form through independent stress degrees of freedom. We show that the resulting model arises rigorously from a mixed Petrov--Galerkin Cosserat rod finite element formulation (FEM) at linear kinematic interpolation order when the internal virtual work is integrated by the midpoint rule and the external and inertial contributions by the trapezoidal rule. The proposed formulation inherits the robustness and the absence of locking from the underlying mixed FEM while simultaneously exposing a two-node coupling structure that mirrors discrete rod models from the computer graphics community. This is in sharp contrast to the dense coupling of strain-parameterized reduced-order models often used in soft robotic applications. Three numerical examples involving piecewise-varying cross sections, tendon-driven actuation under different spatial discretizations, and coupled longitudinal-torsional dynamics confirm the accuracy, robustness, and convergence behavior of the presented approach.
Wave scattering by a thin, porous circular plate submerged in deep water is investigated. The problem is formulated as a second-kind hypersingular Fredholm integral equation over the unit disk, solved numerically using the Boundary Element Method. The analysis focuses on calculating hydrodynamic forces, specifically added mass (real part) and damping coefficient (imaginary part). Results demonstrate the influence of the porosity parameter G: less porous plates (G real) increase added mass and hydrodynamic force, while more porous plates (G imaginary) reduce these effects but increase the damping coefficient. The proposed formulation is validated, showing excellent agreement with established literature.
Metasurfaces, two-dimensional arrangements of subwavelength nanopillars, provide local control over the phase of light, enabling flat optical functions beyond conventional refractive components. Their inverse design, finding the pillar distribution producing a target response, faces two obstacles: the immense dimensionality of the design space and the prohibitive cost of rigorous electromagnetic simulations, precluding exhaustive exploration at device scale. This thesis addresses the challenge in three stages. The first assesses the reliability of rigorous Maxwell solvers: comparing three implementations of Li's factorization rules for RCWA shows that spectral convergence does not guarantee physical fidelity, as these rules implicitly distort the simulated permittivity, most severely in the plasmonic regime. FDTD, immune to such artifacts, is retained as ground truth throughout. The second stage removes the computational bottleneck: a local phase-approximation model, then fully convolutional surrogates trained on FDTD simulations of large pillar metasurfaces, predict the near field almost instantaneously. Exploiting problem symmetries quadruples the training database, and the surrogates generalize to much larger apertures while remaining differentiable. The third stage benchmarks three strategies under a common FDTD protocol ($R^2$ between realized and target far fields): Gerchberg-Saxton retrieval and Local Model ($R^2\approx0.925$), surrogate-based and heuristic-initialized gradient descent ($R^2\approx0.975$), and a generative framework based on diffusion models and Schrödinger bridges. Hybrid posterior sampling and amplitude constraints restore scale-invariant fidelity on surfaces over 230 times larger than training, with diverse, fabrication-tolerant designs. Database enhancement lifts every approach to $R^2\approx0.97$.
This paper concerns Lax pairs for circularly symmetric harmonic, Fock-Darwin-type and quartic anharmonic oscillators in two dimensions. Although the 2d isotropic harmonic oscillator is bi-Hamiltonian, its recursion operator does not lead to a Lax pair, nor do we obtain such a pair by taking a limit of the harmonic Calogero model. On the other hand, we show that this superintegrable harmonic oscillator admits a $4 \times 4$ block-form Lax pair with spectral parameter giving two conserved mode energies in involution and a corresponding dynamical $r$-matrix. Interestingly, we also find $2 \times 2$ Lax pairs with spectral parameter that give all three independent conserved quantities satisfying a nonabelian Poisson algebra, thereby providing a simple example of a Lax pair whose conserved quantities are not all in involution. Next, we construct a family of $su(2)$ Lax pairs and $r$-matrices for the quadratic+quartic isotropic anharmonic oscillator. This is then extended to an isotropic oscillator with a rotational energy, which may be viewed as the Fock-Darwin oscillator with a quartic potential. With a change of variables, these Lax pairs and $r$-matrices also apply to the Rajeev-Ranken model, although its noncanonical Poisson structure is distinct from that of the anharmonic oscillator.
We propose several general necessary conditions for quantum many-body system in one dimension respecting U(1) symmetry to be gapped. We show that the ground-state expectation value of topologically trivial twisting operators must approach unity in the thermodynamic limit with a certain finite-size scaling. Equivalently, its violation can indicate gaplessness of U(1)-symmetric Hamiltonians. The topological triviality of such a twisting operator enables us to derive infinitely many other gaplessness indicators by static structure factor to any order in real experiments, which are impossible to obtain by earlier topologically nontrivial twisting operators. We also apply analytic and numerical calculations to test the efficiency and consistency of our results.
Incorporating an absolute refractory period into the population density approach for spiking neurons remains an open problem, despite evidence that refractoriness can strongly affect nonlinear transfer functions and network stability. We develop a rigorous operator-theoretic framework for neuronal population dynamics with a finite refractory time by augmenting the state space to include refractory history and formulating the problem as a non-self-adjoint boundary eigenvalue problem for the Fokker-Planck operator. This yields a complete spectral characterization of the generator, proves dissipativity and the existence of a contraction semigroup, and identifies defective eigenvalues as exceptional points where oscillatory modes emerge from coalescing relaxational modes. Within the framework of linear response theory, we also derive an exact transfer function that accounts for boundary conditions modulated by external input, correcting previous heuristic derivations and revealing additional threshold-noise contributions. Using this transfer function under a mean-field approximation, we further show that refractoriness in populations of interacting neurons can facilitate the onset of limit cycles, that is, stable oscillations in the firing rate. These results provide a rigorous foundation for spectral decomposition methods in computational neuroscience, opening the way to their further rigorous mathematical analysis.
We study the spatially homogeneous Boltzmann equation with continuous mass exchange on $X=(0,\infty)_m\times\mathbb R^d_v$, with a Grad cut-off hard-potential collision kernel. For bounded continuous symmetric mass-exchange rates, every nonnegative initial datum with finite number, mass, and kinetic energy admits a global nonnegative $L^1$-integral weak solution in $W^{1,\infty}(0,\infty;L^1(X))$ with number and mass conserved, kinetic energy dissipated. If $\int_X (m|v|^2)^{1+δ} f_0(x)dx<\infty,$ for some $δ>0$, this higher-energy moment propagates on every finite time interval and kinetic energy is conserved through the constructed solution. Moreover, every energy-dissipating solution propagates any such moment. Under the additional $1+γ$ moment assumption, the solution is unique among all energy-dissipating $L^1$-integral weak solutions with the same initial datum. We also establish a local theory for a linearly growing mass-exchange rate. With $H_p(f)=\int_X (1+m+m|v|^2)^pfdx,$ every datum with $H_p(f_0)<\infty$, where $p\ge1+γ$ admits a conservative local $H_p$-solution. Moreover, an $H_p$-solution continues across every finite time $T$ for which $H_{1+γ}(f)\in L^1(0,T).$ This proof requires no detailed-balance or relative-entropy structures. It is based on a new two-stage bootstrap method. The first stage rules out mass concentration at $m=0$, while the second stage combines this control with collision geometry to establish uniform integrability. These estimates provide the compactness needed for the global solution and for the identification of the nonlinear collision form.
In arXiv:2306.01837, it was conjectured that one can engineer a large class of quantum field theory states for which the modular flow on a spacelike slice is "instantaneously local." Here we show that on null slices, such flows are highly constrained; ultraviolet universality essentially requires null-local modular flow to be unique. Concretely, we study massless Klein-Gordon theory in Minkowski spacetime, and construct, for any sufficiently regular future-directed vector field on the past null boundary of a causal diamond, a state that has this vector field as its instantaneous modular flow. We then show by explicit computation that no two distinct states in this class can be realized in the same local Hilbert space. Using a more abstract argument, we also show that in the vacuum sector of the theory, the only null-local modular flow in a causal diamond is provided by the vacuum state itself. We also comment on the construction of null-local modular flow for massive scalars, free Maxwell fields, free gravitons, and in curved backgrounds.
We show that the self-correcting memory in 3d Wegner gauge theory is stable to arbitrary small enough perturbations of the Hamiltonian. Our proof relies on a new method we dub ``gauge averaging'', which gives conditions under which explicitly broken gauge symmetries are effectively restored by fluctuations. These conditions show that the self-correcting memory phase is fluctuation stabilized, with its robustness to perturbations increasing with increasing temperature, up to some $T_c > 0$.