Tootfinder

A Long Period Stellar-mass #BlackHole Binary in ω Centauri: https://iopscience.iop.org/article/10.3847/2041-8213/ae7a5c -> Hubble discovers first of star cluster’s missing black holes: https://esahubble.org/news/heic2610/ and https://science.nasa.gov/missions/webb/nasas-hubble-discovers-first-of-star-clusters-missing-black-holes/

The Oldest Stars in the Galaxy Just Weighed In on One of Cosmology's Biggest Arguments - Universe Today https://www.universetoday.com/articles/the-oldest-stars-in-the-galaxy-just-weighed-in-on-one-of-cosmologys-bigges…

A flying robot with an explosive payload can fly through some of the most heavily defended airspace on earth, by itself, for like a thousand miles to turn a petrochemical facility into a raging inferno just by comparing what it sees with its camera to the images in its memory banks.
But no one has found a way to peek into a hospital room to find out if an octogenarian Senator from Kentucky has a pulse.
Can we send in a pulse finding drone perhaps for a heart attack damage asses…

The Nancy Grace Roman space telescope survived two rounds of proposed White House budget cuts,
and began a million-mile journey into deep space from a launchpad at the Kennedy Space Center on Sunday morning.
Searching chiefly for exoplanets and clues about planetary formation,
it is set to join the Hubble and James Webb space telescopes in the annals of Nasa’s storied history of space exploration.
But as next-generation equipment almost 10 years in the making,
…

Nasa space telescope launches after surviving Trump budget cuts
Searching for exoplanets and clues on planet formation, the Roman telescope begins million-mile journey from Florida launchpad

Crosslisted article(s) found for astro-ph.GA. https://arxiv.org/list/astro-ph.GA/new
[1/3]:
- Exploring the dark sector through galaxy dynamics in clusters
Andrea Biviano, Lorenzo Pizzuti, Antonaldo Diaferio
https://arxiv.org/abs/2609.05597 https://mastoxiv.page/@arXiv_astrophCO_bot/117239937742870522
- The youngest white dwarf companion to a millisecond pulsar: Insights from NGC 362D
Ettorre, Dalessandro, Cadelano, Ridolfi, Pallanca, Freire, Krishnan, Salaris, D'Antona, Nag
https://arxiv.org/abs/2609.05608 https://mastoxiv.page/@arXiv_astrophSR_bot/117239974906161858
- Unresolved Binary Systems in the Rubin Era I: An Autoencoder Framework for Binary Identification ...
Tobias G\'eron, Alexander Laroche, Joshua S. Speagle, Maria R. Drout
https://arxiv.org/abs/2609.05616 https://mastoxiv.page/@arXiv_astrophSR_bot/117239984147520768
- Deep H$\alpha$ Imaging Survey of IC 348 with the Hubble Space Telescope: I. Accretion Properties ...
Jiang, Bowler, Zhou, Kraus, Andrews, Hillenbrand, Ireland, Zhu
https://arxiv.org/abs/2609.05620 https://mastoxiv.page/@arXiv_astrophSR_bot/117239988274911894
- Rapid radio variability in the $z\sim7$ blazar VLASS J0410$-$0139: Indication of a hidden populat...
Belladitta, Ba\~{n}ados, Gloudemans, Shimwell, Momjian, Intema, Mazzucchelli, Fendt, Vaidya, Walter
https://arxiv.org/abs/2609.05628 https://mastoxiv.page/@arXiv_astrophHE_bot/117240037069175396
- Calibration of the Next Generation Palomar Spectrograph as a Stellar Speedometer
Pranav Nagarajan, Kareem El-Badry
https://arxiv.org/abs/2609.05629 https://mastoxiv.page/@arXiv_astrophSR_bot/117240052598392711
- Unresolved triple systems in the aged open cluster Trumpler 19: Discovery, confirmation, and impl...
D. Minniti, et al.
https://arxiv.org/abs/2609.05722 https://mastoxiv.page/@arXiv_astrophSR_bot/117240070263744954
- A Uniform Census of Variable Stars in M101 Based on HST/ACS Photometry
Jiyu Wang, Xiaodian Chen, Pinjian Chen, Jianxing Zhang, Shu Wang, Licai Deng
https://arxiv.org/abs/2609.05825 https://mastoxiv.page/@arXiv_astrophSR_bot/117240081078431891
- Self-supervised reconstruction of transients in data from space-borne gravitational-wave detectors
Yuxiang Xu, Minghui Du, Bo Liang, Zihao Xiao, Tianyu Zhao, Peng Xu
https://arxiv.org/abs/2609.05890 https://mastoxiv.page/@arXiv_grqc_bot/117240126723091551
toXiv_bot_toot

How Dilatation Invariance Suppresses Loop Corrections to Curvature Perturbations on CMB Scales
Danilo Artigas, Shi Pi, Takahiro Tanaka, Yuko Urakawa
https://arxiv.org/abs/2608.03725 https://arxiv.org/pdf/2608.03725 https://arxiv.org/html/2608.03725
arXiv:2608.03725v1 Announce Type: new
Abstract: Departures from standard slow-roll (SR) inflation have attracted increasing interest in recent years. In particular, scenarios that strongly enhance the power spectrum of the curvature perturbation are often proposed as a mechanism for producing primordial black holes, which could account for part or the totality of dark matter. An ongoing debate in these models is whether non-linear interactions of cosmological perturbations on small scales, namely loop corrections, can become sufficiently large to backreact on CMB scales. In this work, we adopt a non-linear framework, dropping spatial-gradient terms, to study loop corrections at super-Hubble scales. Our focus is to clarify the role of spatial-diffeomorphism invariance, especially dilatation invariance, which is the symmetry under overall rescaling of spatial coordinates, in demonstrating the suppression of loop corrections to the CMB power spectrum. This analysis is valid for any inflaton potential, both with smooth and sharp transitions, and at any loop order, as long as the CMB scales cross the horizon during an SR phase. We compare this result with the different explanations proposed in the literature using various gauge choices, and show our analysis is consistent both in the comoving and in the spatially-flat gauges. In particular, we show that in the spatially-flat gauge, the cubic interaction contains a term that diverges in the sharp transition limit. However, this contribution is exactly cancelled by the quartic interaction.
toXiv_bot_toot

Jerry Jones: “Estoy emocionado” por el rumbo de los Cowboys https://www.dallascowboys.com/news/jerry-jones-estoy-emocionado-por-el-rumbo-de-los-cowboys

Crosslisted article(s) found for physics.ins-det. https://arxiv.org/list/physics.ins-det/new
[1/1]:
- Radiation damage to the Hubble Space Telescope has been several years out of phase with the Solar...
Gavin Leroy, et al.
https://arxiv.org/abs/2608.18214 https://mastoxiv.page/@arXiv_astrophIM_bot/117126723538465290
- Beam-Tracing-Based Quantitative Reconstruction of Density Fluctuations in QUEST Using Doppler Bac...
Kinoshita, Tokuzawa, Hall-Chen, Tan, Ido, Idei, Ikezoe, Hanada, Hasegawa, Onchi, Peng
https://arxiv.org/abs/2608.18444 https://mastoxiv.page/@arXiv_physicsplasmph_bot/117126778820753320
- Exact time-correlated coincidence modeling with reset boundaries
Jinjing Li
https://arxiv.org/abs/2608.18728 https://mastoxiv.page/@arXiv_hepex_bot/117126770332511706
- Technical Proposal for the Atom Interferometer CERN Experiment (AICE) Facility
Gianluigi Arduini, et al.
https://arxiv.org/abs/2608.18743 https://mastoxiv.page/@arXiv_hepex_bot/117126797695022116
- Exploring the limits of high-energy proton-pion separation in granular calorimeters
Andrea De Vita, Abhishek, Tommaso Dorigo, Pietro Vischia
https://arxiv.org/abs/2608.19064 https://mastoxiv.page/@arXiv_hepex_bot/117126803167045763
toXiv_bot_toot

Formal Verification of an Out-of-Order Multiprocessor against an In-Order Weak-Memory ISA
Janggun Lee, Jeehoon Kang
https://arxiv.org/abs/2607.18727 https://arxiv.org/pdf/2607.18727 https://arxiv.org/html/2607.18727
arXiv:2607.18727v1 Announce Type: new
Abstract: Out-of-order multiprocessor is a critical piece of modern hardware, and their verification must solve the following challenges. First, inter-core interleaving, in which the order their reads and writes reach shared memory is unrestricted. Second, intra-core out-of-order execution, in which instructions fire out of program order. The combination of the two yields weak outcomes, which no sequential execution explains, and modern ISA allows such behaviors to account for them. However, the microarchitecture even exhibits excess out-of-order executions, temporarily entering states forbidden by the ISA. While discarded later, such states complicate reasoning about the core in full-system verification. Prior works verify a range of processor designs, while none have performed unbounded verification for out-of-order multiprocessor exhibiting such weak outcomes.
We present the first formal verification of an out-of-order multiprocessor against an in-order, weak-memory ISA. Our key idea is a well-designed core specification, which captures the essence of excess executions in a single list of instructions. Building upon this, we decompose the proof into two steps. The first is a core refinement, proving a core implementation against this specification, abstracting away every microarchitectural state except those necessary to reason about excess executions and the core interface. The second is a system inclusion, serializing the out-of-order memory executions and inter-core interleaving into the ISA, easily removing excess executions thanks to the core specification. All of our proofs are mechanized in Rocq, heavily utilizing large language model (LLM) agents to write proofs automatically.
toXiv_bot_toot