https://arxiv.org/api/x9QhNFULLdwR99obbqZwvknVd4E 2026-06-21T14:04:17Z 90392 540 15 http://arxiv.org/abs/2606.04515v1 2026-06-03T06:47:36Z

This study addresses the boat river-crossing problem under non-uniform flow velocities by constructing three models: constant flow (Model 1), linear distribution (Model 2), and even-power function distribution (Model 3, adjustable via parameter n ). By using the vector addition, combined with the solutions of calculus and differential equations, the analytical expression of the ship's spatial trajectory under a fixed heading angle relative to the water flow is derived. For the shortest-time control problem, the Lagrange multiplier method is introduced to construct a constrained optimization model, and the analytical solution of the optimal heading angle that satisfies the boundary condition of reaching the direct opposite bank is solved. The research results provide theoretical support for the path planning of inland ship intelligent navigation systems, and the proposed multi-model analysis framework can effectively simulate the complex flow velocity distribution scenarios of real rivers.

2026-06-03T06:47:36Z 19 pages for high school students attempt on the optimization problem Kyle Kou Yuchang Simon Meng Zimin Paul Zhang Yixing http://arxiv.org/abs/2606.04502v1 2026-06-03T06:33:22Z

We model Rozansky-Witten theory of $T^*X$ using modules over $\operatorname{Perf}(X\times\mathbb{A}^1)$ viewed as sheaves of categories over $X\times\mathbb{A}^1$. This is in parallel to Tamarkin's approach to nonconic Lagrangians in $T^*X$ via the singular support of sheaves on $X\times\mathbb{R}$. More specifically, we construct the objects of Rozansky-Witten theory of $T^*X$ given by hybrid Lagrangians of which graphs and conormals are special cases. As a consistency check, we show that $\operatorname{Hom}$s between such objects are given by suitable matrix factorizations.

2026-06-03T06:33:22Z Enoch Yiu http://arxiv.org/abs/2606.04498v1 2026-06-03T06:26:05Z

We show that H-convergence for multiplication type operators as envisioned by Murat and Tartar in the 1970's always implies nonlocal H-convergence as introduced in 2018 in Calc.~Var.~PDE 57(6):159. In contrast to earlier findings, the results presented here work for arbitrary space dimensions, are not bound to a certain geometry of the underlying domain, and do not explicitly require an underlying Hilbert complex for the application of any particular version of the div-curl lemma. We extend classical theory and the main results to more general differential operators with different boundary conditions and orders. Furthermore, the present results confirm homogenisation formulas used in the literature of which we failed to find an explicit proof. As a consequence, H-convergence for multiplication operators in divergence form problems will always imply H-type convergence for a different variational problem for free.

2026-06-03T06:26:05Z 20 pages Andreas Buchinger Marianna Porfido Marcus Waurick http://arxiv.org/abs/2410.09574v2 2026-06-03T06:16:19Z

We establish a precise correspondence between points of the $m=4$ tree momentum amplituhedron and origami crease patterns. As an application, we prove that the BCFW (Britto-Cachazo-Feng-Witten) cells triangulate the $m=4$ tree amplituhedron both in momentum space and in momentum-twistor space. As another application, we show that every nondegenerate weighted planar bipartite graph $Γ$ admits a t-embedding, i.e., an embedding of the planar dual of $Γ$ such that the sum of angles of white (equivalently, black) faces around each vertex is equal to $π$.

2024-10-12T15:48:45Z 78 pages, 16 figures. First paper in the series (see arXiv:2606.03439 for part 2). v2: Major revision. Added a proof of the BCFW tiling conjecture in momentum-twistor space via T-duality and a new proof of the origami-amplituhedron correspondence using double-dimer model identities. Full changelog at the end of the introduction Pavel Galashin http://arxiv.org/abs/2511.15919v5 2026-06-03T03:52:59Z

The ensemble-averaged dynamics of open quantum systems are typically irreversible. We show that this irreversibility need not hold at the level of individually monitored quantum trajectories. Our main results are analytical stochastic Schrödinger equations for quantum reverse diffusion, along with corresponding stochastic master equations. These equations describe the exact and approximate stochastic reverse processes for continuously monitored Pauli channels, including time-dependent depolarizing noise. We show that the reverse processes generalize the forward dynamics by combining the noise effects of the forward processes with an additional stochastic drift that dynamically steers a quantum state back to its initial configuration. Consequently, the exact reverse stochastic Schrödinger equations admit closed-form solutions that can be implemented in real-time without the need for variational techniques. Our findings establish an analytical framework for quantum state recovery, noise-resilient quantum gates, quantum generative modelling, quantum tomography via forward-reverse cycles, and potential paradigms for quantum error correction based on reverse diffusion.

2025-11-19T22:57:38Z Einar Gabbassov http://arxiv.org/abs/2605.24373v2 2026-06-03T02:17:52Z

This work explores the quantum propagator $K(x,t)$ as a solution of the system's dynamical equation. We develop a generalized propagator framework in which the propagator is written in the form $K=\exp\!\left(R+\frac{i}{\hbar}S\right)$, where $S$ governs the semiclassical phase structure and $R$ governs the amplitude transport and weighting of configurations. Starting from nonrelativistic quantum mechanics, the classical Hamilton--Jacobi equation emerges in the semiclassical limit, while $R$ reduces to the logarithm of the Van Vleck determinant. The formalism is then extended to relativistic field theory and minisuperspace quantum cosmology using functional methods and generalized Hamiltonian constraints. Then the resulting semiclassical equations recover the corresponding classical dynamics along characteristic flows. In minisuperspace models, the formalism yields coupled equations for geometric and matter sectors analogous to semiclassical Wheeler--DeWitt systems. In semiclassical gravitational settings, the gravitational contribution may admit an entropy-like interpretation, consistent with thermodynamic weighting factors appearing in Euclidean gravitational path integrals. The resulting framework suggests a unified semiclassical description in which propagator phases encode dynamical evolution while amplitude functionals encode transport and configuration weighting. This perspective motivates viewing mechanics as a relation between the differential structure of spacetime and the differential structure of the space of dynamical configurations.

2026-05-23T03:29:37Z V. S. Morales-Salgado http://arxiv.org/abs/2606.04347v1 2026-06-03T02:04:46Z

In this paper, we develop and analyze exponential time differencing (ETD) schemes for a phase-field model of multicomponent membranes proposed in our previous work \cite{luo2025ohta}, in which membrane deformation is governed by a force-balance phase-field equation and protein segregation is described by a membrane-associated Ohta-Kawasaki (OK) dynamics. For a fixed phase-field membrane, we introduce a geometry-adapted operator splitting method based on the localization function, which reformulates the surface OK dynamics into a form suitable for ETD integration. The resulting first- and second-order ETD schemes, combined with finite-difference spatial discretization, are rigorously proved to satisfy a discrete maximum-bound principle and unconditional energy stability. For the coupled system, we construct stabilized ETD schemes in an FFT-based spectral framework, treating stiff linear terms exactly and nonlinear mechanochemical couplings explicitly. A narrow-band implementation further reduces the computational cost by restricting surface calculations to the diffuse membrane region. Numerical experiments confirm the predicted temporal accuracy, maximum-bound preservation, and energy decay for the fixed-membrane OK problem, and demonstrate stable and efficient three-dimensional simulations of protein-driven pattern formation and membrane deformation.

2026-06-03T02:04:46Z 25 pages, 6 figures Wangbo Luo Zhonghua Qiao Yanxiang Zhao http://arxiv.org/abs/2602.20125v2 2026-06-03T01:36:30Z

Our aim is to introduce a framework sufficiently general to describe the kinematics of a wide variety of open systems in classical mechanics while uniquely characterizing systems with specified simplest components. The data describing a physical system are local, so the construction of a global configuration space requires compatibility among local interactions. We model open systems as morphisms in a category $\mathsf{Kin}(\mathcal{F})$, where composition encodes how subsystems attach to one another and embed into larger systems. The framework supports a precise treatment of geometric constraints and clarifies when locally specified subsystems are compatible. It also yields a structural approach to the study of linkages: we prove the nonconstructibility of sliding hinges and universal joints from two rigid bodies attached by a surface constraint compatible with rigid-motion symmetries.

2026-02-23T18:40:48Z 55 pages Andrea Abeje-Stine David Weisbart http://arxiv.org/abs/2507.21757v2 2026-06-02T23:45:33Z

Spectral methods for partial differential equations (PDEs) with non-periodic boundary conditions arising in computational physics often use polynomial expansions on non-uniform grids. Here, we implement a Fourier method that employs fast trigonometric expansions on a uniform grid with non-periodic boundaries using fast discrete sine transforms (DST) or/and discrete cosine transforms (DCT) to solve parabolic PDEs. We implement this method in two ways: either using a Fourier spectral derivative or a Fourier interaction picture. Both methods can treat vector fields with a combination of Dirichlet and/or Neumann boundary conditions in one or more space dimensions. As examples, we use them to solve a variety of computational physics PDEs with analytical solutions, including the Peregrine solitary wave solution. For the 1D heat equation problem, our method with an interaction picture is accurate up to machine precision. Soluble examples of stochastic partial differential equation (SPDE) with non-periodic boundaries in one and two space dimensions, with physics and interdisciplinary applications are also treated. We compare the results obtained from these algorithms with publicly available solvers that use polynomial spectral methods, and study their relative performance and error scaling. Polynomial methods with non-uniform spatial grids have lower spatial discretization errors when the solutions change slowly in space, typically with large spatial grids. For problems with rapid spatial variation, Fourier methods can outperform polynomial expansions, owing to their smaller maximum space interval, and are generally faster due to the computational efficiency of discrete Fourier transform methods. We verified this by making a complexity analysis in which we studied the total error at the optimum combination of time and space steps for a given resource use.

2025-07-29T12:38:31Z Revision: complexity analysis, higher dimensions, SPDEs Channa Hatharasinghe Run Yan Teh Jesse van Rhijn Peter D. Drummond Margaret D. Reid http://arxiv.org/abs/2606.02477v2 2026-06-02T22:42:26Z

In the representation theory of Lorentzian orthogonal groups there are well known arguments as to why the parity operator $\mathcal{P}$ and the time reversal operator $\mathcal{T}$ should be realized as linear and anti-linear operators respectively (Wigner 1932). In this paper it is shown that the only operators satisfying the requisite properties for the spinor representation of the de Sitter group $\operatorname{SO}(1,4)$ lead to fermion self-couplings which are necessarily parity odd, ruling out standard Dirac mass terms for theories with fermions obeying $\operatorname{Spin}(1,4)$ symmetry.

2026-06-01T16:49:32Z v2: Updated to clarify and simplify several points being made, keeping the article shorter and more to the point Craig McRae http://arxiv.org/abs/2606.04224v1 2026-06-02T21:22:39Z

The present work concerns the time-harmonic Maxwell equations in two- and three-dimensional space, divided into two half-spaces by a flat interface. The two half-spaces are filled with media whose electric permittivity is frequency-dependent and varies as a function of the distance from the interface only; this dependence is assumed to satisfy a regularity condition in each half-space but may be discontinuous at the interface. No specific model for the frequency dependence is assumed. For the associated operator pencil, we characterise subsets of the resolvent set and separate subsets of the Weyl spectrum corresponding to radiation away from the interface and along the interface, respectively. The characterisation of the sets is via conditions on the fundamental solutions. If the media are periodic in the direction orthogonal to the interface, a more explicit description of these sets can be given in terms of Floquet theory of related Sturm-Liouville equations. These results generalise earlier work in one and two dimensions where the media were assumed to be homogeneous in each half-space.

2026-06-02T21:22:39Z 49 pages Tomáš Dohnal Michael Plum Karl M. Schmidt Ian Wood http://arxiv.org/abs/2606.04162v1 2026-06-02T19:25:29Z

We consider the Dirac equation in a real setting to show its close relationship to Maxwell's equation. In addition to analysing the classical Dirac mass term, we also inspect the alternative Majorana mass term and discuss their quaternionic structure and its consequences.

2026-06-02T19:25:29Z 28 pages Rainer Picard Sascha Trostorff Marcus Waurick http://arxiv.org/abs/2606.04148v1 2026-06-02T19:15:49Z

This work provides a counterexample to the previously asserted non--existence of future null lines in strongly causal spacetimes $(M, \mathbf{g})$ foliated by a past--omniscient timelike foliation $\mathcal{F}$ with a compact leaf space $Q$. We introduce a new hypothesis requiring the timelike vector field that defines $\mathcal{F}$ to be causally decreasing. Under this condition, the causality requirement on $M$ can be relaxed to the distinguishing level. In the absence of this hypothesis, we demonstrate that more restrictive conditions, such as global hyperbolicity, are necessary to ensure the absence of future null lines. Finally, we derive sufficient conditions on the scale function of Generalized Robertson--Walker (GRW) spacetimes to ensure that the natural timelike vector field is causally decreasing, thereby guaranteeing the non--existence of future null lines.

2026-06-02T19:15:49Z 15 pages, 2 figures Alfredo Bautista http://arxiv.org/abs/2606.04125v1 2026-06-02T18:33:58Z

The Poisson Nernst Planck PNP system constitutes a canonical stiff coupled PDE problem where the charge density prefactor produces extreme coefficient ratios and the electric double layer imposes sharp boundary layers. Physics informed neural networks PINNs are appealing here because they require no mesh and differentiate through the physics automatically. Spectral bias and multi task loss imbalance however have limited their accuracy on stiff PNP systems. We present the first systematic data free benchmark of eleven PINN configurations organised into four strategy groups on a physically parametrised one dimensional PNP model for a lithium symmetric cell implemented within NVIDIA PhysicsNeMo Sym and validated against a finite volume method FVM reference. Root mean square errors RMSE span across architectures. The balanced residual decay rate BRDR scheme matches Neural Tangent Kernel NTK performance for concentration fields while reducing mean wall clock time making it the preferable strategy under compute constraints. Loss landscape geometry corroborates the RMSE ranking. We release an open source PhysicsNeMo Sym implementation for reuse on stiff coupled PDE problems in computational mechanics.

2026-06-02T18:33:58Z David Pankaczy Conrard Giresse Tetsassi Feugmo http://arxiv.org/abs/2606.05227v1 2026-06-02T17:44:26Z

Hereditary stomatocytosis (HS) comprises red blood cell (RBC) disorders characterized by cup-shaped erythrocytes that respond oppositely to splenectomy: curative in overhydrated HS (OHS) but potentially thrombogenic in dehydrated HS (DHS/xerocytosis). This paradox persists because RBC biomechanics is governed by partly independent parameters--shear modulus, bending rigidity, surface-to-volume ratio (S/V), and cytoplasmic viscosity--that existing assays capture only piecemeal. Here we combine dissipative particle dynamics (DPD) simulations with microfluidic imaging to construct a control discocyte and three stomatocyte models (ST-RBC1-3) at fixed membrane area and decreasing volume (109.7, 101.5, 89.8 fL), spanning the OHS-to-DHS range. Tracing this parameter set through five mechanically orthogonal assays, we find that interendothelial-slit (IES) traversal is geometry-dominated: overhydrated ST-RBC1 requires an order of magnitude higher critical pressure than healthy RBCs, whereas dehydrated ST-RBC3 passes freely. ST-RBC3 nonetheless suppresses membrane tank-treading and raises low-shear whole-blood viscosity by ~29% at physiological haematocrit, comparable to Gaucher-disease hyperviscosity. A funnel-obstacle chip amplifies these differences into a label-free centerline-offset signal predicted to separate all four RBC types (~4.5 standard deviations between extreme phenotypes). These results unite single-cell mechanics, splenic filtration, and hemorheology in one framework, resolve the splenectomy paradox, and point toward microfluidic pre-operative risk stratification in HS.

2026-06-02T17:44:26Z 26 pages, 9 figures Zhaojie Chai Jianlu Zheng He Li Ming Dao George Em Karniadakis