Tootfinder

How Bijan Robinson and Christian McCaffrey are forming a competitive bond https://www.espn.com/nfl/story/_/id/45880215/nfl-atlanta-falcons-bijan-robinson-san-francisco-49ers-christian-mccaffrey

LeanLTL: A unifying framework for linear temporal logics in Lean
Eric Vin, Kyle A. Miller, Daniel J. Fremont
https://arxiv.org/abs/2507.01780 https://

LeanLTL: A unifying framework for linear temporal logics in Lean
We propose LeanLTL, a unifying framework for linear temporal logics in Lean 4. LeanLTL supports reasoning about traces that represent either infinite or finite linear time. The library allows traditional LTL syntax to be combined with arbitrary Lean expressions, making it straightforward to define properties involving numerical or other types. We prove that standard flavors of LTL can be embedded in our framework. The library also provides automation for reasoning about LeanLTL formulas in a wa…

Single-shot parity readout of a minimal Kitaev chain
Nick van Loo, Francesco Zatelli, Gorm O. Steffensen, Bart Roovers, Guanzhong Wang, Thomas Van Caekenberghe, Alberto Bordin, David van Driel, Yining Zhang, Wietze D. Huisman, Ghada Badawy, Erik P. A. M. Bakkers, Grzegorz P. Mazur, Ram\'on Aguado, Leo P. Kouwenhoven
https://…

Single-shot parity readout of a minimal Kitaev chain
Protecting qubits from noise is essential for building reliable quantum computers. Topological qubits offer a route to this goal by encoding quantum information non-locally, using pairs of Majorana zero modes. These modes form a shared fermionic state whose occupation -- either even or odd -- defines the fermionic parity that encodes the qubit. Crucially, this parity cannot be accessed by any measurement that probes only one Majorana mode. This reflects the non-local nature of the encoding and …

Classifying Compact Radio Emission in Nearby Galaxies: a 10GHz Study of Active Galactic Nuclei, Supernovae, Anomalous Microwave Emission and Star Forming Regions
Kristen C. Dage, Eric W. Koch, Evangelia Tremou, Kwangmin Oh, Susmita Sett, Cosima Eibensteiner, Sean T. Linden, Angiraben D. Mahida, Eric J. Murphy, Muhammad Ridha Aldhalemi, Zainab Bustani, Mariam Ismail Fawaz, Hans J. Harff, Amna Khalyleh, Timothy McBride, Jesse Mason, Anthony Preston, Cortney Rinehart, Ethan Vinson, Teresa…

Classifying Compact Radio Emission in Nearby Galaxies: a 10GHz Study of Active Galactic Nuclei, Supernovae, Anomalous Microwave Emission and Star Forming Regions
We present 115 compact radio point sources in three galaxies, NGC 5474, NGC 4631 and M51, taken in the most extended (A-)configuration of the Karl G. Jansky Very Large Array at 10GHz. Several of these compact radio point sources have diffuse counterparts identified in previous multi-band studies of resolved radio continuum emission. We find compact counterparts to eight star forming regions, four anomalous microwave emission candidates, and one supernova remnant (SN 2011dh). Nine of the compact…

Auch Tsunami-Warnung - Kamtschatka: Neues Beben, weiterer Vulkanausbruch #News #Nachrichten

Always-convex harmonic shears
Rodrigo Hern\'andez, Mar\'ia J. Mart\'in, Fernando P\'erez-Gonz\'alez, Magdalena Wo{\l}oszkiewicz-Cyll
https://arxiv.org/abs/2507.01592

Always-convex harmonic shears
We determine completely the analytic functions $φ$ in the unit disk $\mathbb D$ such that for all (normalized) orientation-preserving harmonic mappings $f=h+\overline g$ which satisfy $h+ g=φ$, the condition that $f$ maps $\mathbb D$ onto a convex domain holds. As a consequence, we obtain the following more general result: for a given complex number $η$, with $|η|=1$, we characterize those holomorphic mappings $φ$ in $\mathbb D$ such that every harmonic function $f=h+\overline g$…

Out & about in the Bernina Range, on our way to the Labyrinth, surrounded by majestic 4000ers (meters)... A dream! 😍
(#ThrowbackThursday, preemptive #FootpathFriday and my personal hiking highlight of 2024)

Nuclear Physics Confronts Relativistic Collisions Of Isobars
Giuliano Giacalone, Jiangyong Jia, Vittorio Som\`a, You Zhou, Anatoli Afanasjev, Massimiliano Alvioli, Benjamin Bally, Federica Capellino, Jean-Paul Ebran, Hannah Elfner, Fernando G. Gardim, Andr\'e V. Giannini, Fr\'ed\'erique Grassi, Eduardo Grossi, Jan Hammelmann, Andreas Kirchner, Dean Lee, Matthew Luzum, Hadi Mehrabpour, Emil G. Nielsen, Govert Nijs, Tamara Nik\v{s}i\'c, Jacquelyn Noronha-Hostler, Jean-Yve…

Nuclear Physics Confronts Relativistic Collisions Of Isobars
High-energy collisions involving the $A=96$ isobars $^{96}$Zr and $^{96}$Ru have been performed in 2018 at Brookhaven National Laboratory's Relativistic Heavy Ion Collider (RHIC) as a means to search for the chiral magnetic effect in QCD. This would manifest itself as specific deviations from unity in the ratio of observables taken between $^{96}$Zr+$^{96}$Zr and $^{96}$Ru+$^{96}$Ru collisions. Measurements of such ratios (released at the end of 2021) indeed reveal deviations from unity, but th…

Dynamical symmetry breaking in Georgi-Glashow chiral-gauge theories
Hao-Lin Li, \'Alvaro Pastor-Guti\'errez, Shahram Vatani, Ling-Xiao Xu
https://arxiv.org/abs/2507.21208

Dynamical symmetry breaking in Georgi-Glashow chiral-gauge theories
We investigate dynamical symmetry breaking in a class of chiral gauge theories containing the Georgi-Glashow model. These theories feature a gauge sector and two fermion species that transform in the two-index antisymmetric and antifundamental representations with different multiplicities. Using the effective action formalism and the functional renormalization group, we derive the flow of four-fermion interactions that encode their resonant structure and information about bound-state formation.…

JWST ALMA reveal the build up of stellar mass in the cores of dusty star-forming galaxies at Cosmic Noon
Sarah Bodansky, Katherine E. Whitaker, Ayesha Abdullah, Jamie Lin, Pascal A. Oesch, Alexandra Pope, Mengyuan Xiao, Alba Covelo-Paz, Sam Cutler, Carlos Garcia Diaz, Minju M. Lee, Sinclaire M. Manning, Romain A. Meyer, Desika Narayanan, Erica Nelson, Irene Shivaei, Pieter van Dokkum
…