Results 151 to 160 of about 48,783 (254)
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Modification of Premises for the Black Hole Information Paradox Caused by Topological Constraints in the Event Horizon Vicinity. [PDF]
Jacak JE.
europepmc +1 more source
Solid Harmonic Wavelet Bispectrum for Image Analysis
The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown +3 more
wiley +1 more source
The CP2K Program Package Made Simple. [PDF]
Iannuzzi M +26 more
europepmc +1 more source
Photon‐Sphere Modes in Curved Optical Microcavities: A Black‐Hole Analogue Laser
An optical analogue of a Schwarzschild black hole is realized using curved microcavities that preserve light‐like geodesics. A new family of laser modes confined around the photon sphere is identified alongside conventional whispering‐gallery modes. Analytical theory, numerical simulations, and experiments reveal curvature‐induced confinement, enabling
Chenni Xu +9 more
wiley +1 more source
Lagrangian Relations and Quantum L ∞ Algebras. [PDF]
Jurčo B, Pulmann J, Zika M.
europepmc +1 more source
Direct orbital angular momentum (OAM) detection through the orbital photogalvanic effect offers a scalable route for integrated optoelectronics. This perspective evaluates symmetry‐driven material selection and demonstrates how electrode matrices enable the resolution of complex, mixed OAM modes.
Jinluo Cheng +5 more
wiley +1 more source
Toward the universality of the Caldeira-Leggett oscillator bath as a model for quantum environments I. [PDF]
Halataei SMH.
europepmc +1 more source
Ultrastrong TEMPO‐Oxidized Densified Bamboo via Interface Decoupling and Hierarchical Toughening
This study develops TEMPO‐oxidized densified bamboo that achieves ultrahigh strength and toughness by decoupling rigid hydrogen bonds into reversible van der Waals interactions. TEMPO oxidation reorganizes the cellulose hydrogen‐bonding network, facilitating energy dissipation via reversible interactions, thereby establishing a general strategy to ...
Ziyu Ba +5 more
wiley +1 more source
Electrodynamics-based quantum gate optimization with born scattering. [PDF]
Gautam K, Ahn CW.
europepmc +1 more source

