Tootfinder

gardening trivia of the day / no I don't want to get into roses I am just rabbit holing rose varieties and gardens for no reason
#TIL #roses

On the Consistency of Peano Arithmetic in a Proof-theoretic Semantics for Classical Logic
Alexander V. Gheorghiu
https://arxiv.org/abs/2506.22326 https://

On the Consistency of Peano Arithmetic in a Proof-theoretic Semantics for Classical Logic
We give a proof of the consistency of Peano Arithmetic (PA) within a novel semantic framework for classical logic due to Sandqvist. The argument proceeds by constructing an object $\mathfrak{A}$ -- the arithmetic base -- which supports all axioms of PA and can be shown to not support $\bot$, relative to a well-foundedness assumption equivalent to $ε_0$-induction. This framework belongs to the paradigm of proof-theoretic semantics, that unlike model-theoretic approaches, offers a finitistically…

Scalable Dip-Coated Bragg Mirrors for Strong Light-Matter Coupling with 2D Perovskites
Melissa M\'endez-Galv\'an, Zaira Saucedo-Ch\'avez, Diana Medrano, Michael Zuarez-Chamba, Yesenia A. Garc\'ia-Jomaso, C\'esar L. Ord\'o\~nez-Romero, Giuseppe Pirruccio, Arturo Camacho-Guardian, Galo J. A. A. Soler-Illia, Hugo A. Lara-Garc\'ia

Scalable Dip-Coated Bragg Mirrors for Strong Light-Matter Coupling with 2D Perovskites
We report a scalable and cost-effective method for fabricating high-performance Bragg mirrors using a bottom-up approach that combines evaporation-induced self-assembly (EISA) and dip-coating. The photonic crystals are composed of alternating mesoporous SiO$_2$ and dense TiO$_2$ layers, providing a high refractive index contrast ($\sim$0.8). This enables strong reflectance (up to 96%) with as few as five bilayers and precise control of the photonic stop band across the visible spectrum by simpl…

Diffusion and heat dissipation in marginally stable linear time-delayed Langevin systems
Xin Wang
https://arxiv.org/abs/2506.23939 https://

Diffusion and heat dissipation in marginally stable linear time-delayed Langevin systems
We investigate the dynamics and heat dissipation in marginally stable linear time-delayed Langevin systems. We analytically characterize two distinct critical classes: (i) diffusive criticality, where the variance grows linearly with suppressed/enhanced diffusion due to time-delayed forces, and (ii) oscillatory criticality, exhibiting oscillations with diffusing amplitude. Crucially, we derive asymptotic heat dissipation rates, revealing fundamentally different thermodynamic signatures: a const…

Time-varying ecological interactions characterise equilibrium and stability
Annalisa Caligiuri, Emile Emery, Leonardo Ferreira, Juan Garc\'ia-Castillo, Simon D. Lindner, Javier Molina-Hern\'andez, Nelson Aloysio Reis de Almeida Passos, V\'itor Hugo Ribeiro, Marika Sartore, Boxuan Wang, Violeta Calleja-Solanas
https://

Time-varying ecological interactions characterise equilibrium and stability
Ecological communities are composed of species interactions that respond to environmental fluctuations. Despite increasing evidence of temporal variation in these interactions, most theoretical frameworks remain rooted in static assumptions. Here, we develop and apply a time-varying network model to five long-term ecological datasets spanning diverse taxa and environments. Using a generalized Lotka-Volterra framework with environmental covariates, we quantify temporal rewiring of interspecific …

Modeling the g-factors, hyperfine interaction and optical properties of semiconductor QDs: the atomistic and eight-band $k \cdot p$ approaches
Krzysztof Gawarecki, Alina Garbiec, Jakub Stanecki, Micha{\l} Zieli\'nski
https://arxiv.org/abs/2506.22380

Modeling the g-factors, hyperfine interaction and optical properties of semiconductor QDs: the atomistic and eight-band $k \cdot p$ approaches
We present a detailed comparative study of two important theoretical approaches: atomistic sp$^3$d$^5$s$^*$ tight-binding and continuum eight-band $k \cdot p$ methods, for modeling the spin and optical properties of quantum dots (QDs). Our investigation spans key physical observables, including single-particle energy levels, g-factors, exciton radiative lifetimes, and hyperfine-induced Overhauser field fluctuations. We perform our calculations for self-assembled InGaAs/GaAs QD systems as repres…

"Le Monde – Agir pour le climat, un impératif catégorique"
https://www.lemonde.fr/idees/article/2025/06/21/agir-pour-le-climat-un-imperatif-categorique_6615070_3232.html

Agir pour le climat, un impératif catégorique
Alors que la lutte contre le dérèglement climatique est attaquée de toutes parts, aux Etats-Unis comme sur les bancs de l’Assemblée nationale en France, il devient urgent et nécessaire de bâtir un discours capable d’impulser une nouvelle dynamique, en mettant davantage en avant les bénéfices associés à la transition et le coût concret de l’inaction.

A Hybrid High-Order Method for the Gross--Pitaevskii Eigenvalue Problem
Moritz Hauck, Yizhou Liang
https://arxiv.org/abs/2506.19944 https://

A Hybrid High-Order Method for the Gross--Pitaevskii Eigenvalue Problem
We introduce a hybrid high-order method for approximating the ground state of the nonlinear Gross--Pitaevskii eigenvalue problem. Optimal convergence rates are proved for the ground state approximation, as well as for the associated eigenvalue and energy approximations. Unlike classical conforming methods, which inherently provide upper bounds on the ground state energy, the proposed approach gives rise to guaranteed and asymptotically exact lower energy bounds. Importantly, and in contrast to …

Asymptotia of Kerr-de Sitter Black Holes
Samuel Blitz, Jaros{\l}aw Kopi\'nski
https://arxiv.org/abs/2506.18169 https://arxiv.org/…

Asymptotia of Kerr-de Sitter Black Holes
Exterior geometries of physical black holes are believed to asymptotically approach the Kerr--de Sitter spacetime at late times. A characteristic feature of that vacuum Einstein solution is the presence of a hidden symmetry generated by a closed conformal Killing--Yano tensor. Using this symmetry and modern conformal geometry technology, we find necessary conditions for generic solutions to asymptotically approach the Kerr--de Sitter metric. Further, we constrain the admissible form of the geom…

remember cool cool winter? yeah me either
#photography #mosstodon #lichenSubscribe