Tootfinder

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
Zengjie Zhang, Giannis Badakis, Michalis Galanis, Adem Bavar\c{s}i, Edwin van Hassel, Mohsen Alirezaei, Sofie Haesaert
https://arxiv.org/abs/2507.02313

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers
Simulators are useful tools for testing automated driving controllers. Vehicle-in-the-loop (ViL) tests and digital twins (DTs) are widely used simulation technologies to facilitate the smooth deployment of controllers to physical vehicles. However, conventional ViL tests rely on full-size vehicles, requiring large space and high expenses. Also, physical-model-based DT suffers from the reality gap caused by modeling imprecision. This paper develops a comprehensive and practical simulator for tes…

This fediverse post is designed to test a bot running on Bluesky that can add alt text to images.
This post will have 2 replies, one from the fediverse and one from Bluesky, trying to trigger the bot.
This image in this post does not have alt text included with it by design.
#testing

Researchers tested 200 toddlers — 96 chemicals were lurking in their bodies #UnitedStates

Researchers tested 200 toddlers — 96 chemicals were lurking in their bodies
Researchers testing urine from 2- to 4-year-olds in four U.S. states uncovered 96 different chemicals, many of them unmonitored and linked to hormone and brain disruption. Legacy toxins like triclosan are slowly declining, yet replacements such as DINCH plasticizer and modern pesticides are rising. Toddlers—especially the youngest, later-born, and those from minority groups—often carried higher levels than their own mothers. Scientists urge expanded biomonitoring and stricter regulations be…

Shadow constraints of charged black hole with scalar hair and gravitational waves from extreme mass ratio inspirals
Lai Zhao, Meirong Tang, Zhaoyi Xu
https://arxiv.org/abs/2506.04971

Shadow constraints of charged black hole with scalar hair and gravitational waves from extreme mass ratio inspirals
Black hole (BH) shadow observations and gravitational wave astronomy have become crucial approaches for exploring BH physics and testing gravitational theories in extreme environments. This paper investigates the charged black hole with scalar hair (CBH-SH) derived from the Einstein-Maxwell-conformal coupled scalar (EMCS) theory. We first constrain the parameter space $(Q/M, s/M^2)$ of the BH using the Event Horizon Telescope (EHT) observations of M87* and Sgr A*. The results show that M87* pro…

I have worked for 2 different Global 50 enterprises that did their own in-house development, one of which is largely to blame for the "Agile" model. Neither could stand up a new app in 4 months, much less 4 days. That was not because they coded slowly.
Enterprise grade software has had weeks of iterative development, technical validation, and user acceptance testing. It is built to be maintainable and enhanceable. It is fit for its environment.

Testing the spin-bath view of self-attention: A Hamiltonian analysis of GPT-2 Transformer
Satadeep Bhattacharjee, Seung-Cheol Lee
https://arxiv.org/abs/2507.00683

Testing the spin-bath view of self-attention: A Hamiltonian analysis of GPT-2 Transformer
The recently proposed physics-based framework by Huo and Johnson~\cite{huo2024capturing} models the attention mechanism of Large Language Models (LLMs) as an interacting two-body spin system, offering a first-principles explanation for phenomena like repetition and bias. Building on this hypothesis, we extract the complete Query-Key weight matrices from a production-grade GPT-2 model and derive the corresponding effective Hamiltonian for every attention head. From these Hamiltonians we obtain a…

This https://arxiv.org/abs/2404.04599 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Local Test for Unitarily Invariant Properties of Bipartite Quantum States
We study the power of local test for bipartite quantum states. Our central result is that, for properties of bipartite pure states, unitary invariance on one part implies an optimal (over all global testers) local tester acting only on the other part. As an application, we show that - Purified samples offer no advantage in property testing of mixed states. - A matching lower bound $Ω(r^2/\varepsilon^2)$ for testing the Schmidt rank of bipartite states with perfect completeness, settling an…

$L_2$-norm posterior contraction in Gaussian models with unknown variance
Seonghyun Jeong
https://arxiv.org/abs/2506.00401 https://ar…

$L_2$-norm posterior contraction in Gaussian models with unknown variance
The testing-based approach is a fundamental tool for establishing posterior contraction rates. Although the Hellinger metric is attractive owing to the existence of a desirable test function, it is not directly applicable in Gaussian models, because translating the Hellinger metric into more intuitive metrics typically requires strong boundedness conditions. When the variance is known, this issue can be addressed by directly constructing a test function relative to the $L_2$-metric using the li…

Nintendo Switch 2 review: great build quality, better haptics, and improved performance for Switch 1 games, but weak battery life and only a few launch titles (The Shortcut)
https://www.theshortcut.com/p/nintendo-switch-2-review

Nintendo Switch 2 review: bigger, faster, and the best handheld since Game Boy
Our full review and 30+ photos of The Shortcut team testing the Nintendo Switch 2 for a week

Testing for multiple change-points in macroeconometrics: an empirical guide and recent developments
Otilia Boldea, Alastair R. Hall
https://arxiv.org/abs/2507.22204 https://

Testing for multiple change-points in macroeconometrics: an empirical guide and recent developments
We review recent developments in detecting and estimating multiple change-points in time series models with exogenous and endogenous regressors, panel data models, and factor models. This review differs from others in multiple ways: (1) it focuses on inference about the change-points in slope parameters, rather than in the mean of the dependent variable - the latter being common in the statistical literature; (2) it focuses on detecting - via sequential testing and other methods - multiple chan…

Multi-sample rank tests for location against Lehmann-type alternatives
Nikolay I. Nikolov, Eugenia Stoimenova
https://arxiv.org/abs/2506.01914 https://

Multi-sample rank tests for location against Lehmann-type alternatives
This paper deals with testing the equality of $k$ ($k\ge 2$) distribution functions against possible stochastic ordering among them. Two classes of rank tests are proposed for this testing problem. The statistics of the tests under study are based on precedence and exceedance statistics and are natural extension of corresponding statistics for the two-sample testing problem. Furthermore, as an extension of the Lehmann alternative for the two-sample location problem, we propose a new subclass of…

Osobiście, polecałbym trzymać się z daleka od "#Python Code Quality Authority". Projekty tej organizacji zostały właściwie przejęte przez wyjątkowo toksyczną osobę. #Ruff to dobra alternatywa, z bardzo przyjaznymi autorami.

Carrot Cache: High-Performance, SSD-Friendly #Caching #Library for #Java

Semi-tail Units: A Universal Scale for Test Statistics and Efficiency
Paul W. Vos
https://arxiv.org/abs/2506.22910 https://arxiv.org/…

Semi-tail Units: A Universal Scale for Test Statistics and Efficiency
We introduce $ζ$- and $s$-values as quantile-based standardizations that are particularly suited for hypothesis testing. Unlike p-values, which express tail probabilities, $s$-values measure the number of semi-tail units into a distribution's tail, where each unit represents a halving of the tail area. This logarithmic scale provides intuitive interpretation: $s=3.3$ corresponds to the 10th percentile, $s=4.3$ to the 5th percentile, and $s=5.3$ to the 2.5th percentile. For two-tailed tests, $�…

Testing the AGN unified model with simulated emission lines from the circumgalactic medium (CGM)
Shiwu Zhang, Zheng Cai, Aura Obreja, Fabrizio Arrigoni Battaia, L\'eo Michel-Dansac, J\'er\'emy Blaizot, Donghui Quan, Mingyu Li
https://arxiv.org/abs/2507.19585

Testing the AGN unified model with simulated emission lines from the circumgalactic medium (CGM)
The CGM around unobscured AGN has received much attention in recent years. Comparatively, nebulae associated with obscured AGN are less studied. Here, we simulate the Ly$α$, H$α$, and HeII nebulae around the two types of AGN at $z=2-3$ with ten massive systems from the FIRE simulations based on the unified model to show their differences and to test if they can be used to constrain the AGN model. We post-process the data with the CLOUDY and the Ly$α$ radiative transfer code, RASCAS. Overall,…

@…
POKE
POKE, I say.
Testing, 1, 2, 3...
Is this thing on? BEEP

Examination of Eye-Tracking, Head-Gaze, and Controller-Based Ray-casting in TMT-VR: Performance and Usability Across Adulthood
Panagiotis Kourtesis, Evgenia Giatzoglou, Panagiotis Vorias, Katerina Alkisti Gounari, Eleni Orfanidou, Chrysanthi Nega
https://arxiv.org/abs/2506.19519

Examination of Eye-Tracking, Head-Gaze, and Controller-Based Ray-casting in TMT-VR: Performance and Usability Across Adulthood
Virtual reality (VR) can enrich neuropsychological testing, yet the ergonomic trade-offs of its input modes remain under-examined. Seventy-seven healthy volunteers-young (19-29 y) and middle-aged (27-56 y)-completed a VR Trail-Making Test with three pointing methods: eye-tracking, head-gaze, and a six-degree-of-freedom hand controller. Completion time, spatial accuracy, and error counts for the simple (Trail A) and alternating (Trail B) sequences were analysed in 3 x 2 x 2 mixed-model ANOVAs; p…

I don't mind that they moved to 3d for Moonlighter 2, but not testing the demo for performance on the #SteamDeck seems like a huge miss
Really chugging. Apparently it's not great performance-wise on PC either. I'm not sure they understand their fan base.

Characterizing and Testing Configuration Stability in Two-Dimensional Threshold Cellular Automata
Yonatan Nakar, Dana Ron
https://arxiv.org/abs/2507.14569 …

Characterizing and Testing Configuration Stability in Two-Dimensional Threshold Cellular Automata
We consider the problems of characterizing and testing the stability of cellular automata configurations that evolve on a two-dimensional torus according to threshold rules with respect to the von-Neumann neighborhood. While stable configurations for Threshold-1 (OR) and Threshold-5 (AND) are trivial (and hence easily testable), the other threshold rules exhibit much more diverse behaviors. We first characterize the structure of stable configurations with respect to the Threshold-2 (similarly, …

Scalable Software Testing in Fast Virtual Platforms: Leveraging SystemC, QEMU and Containerization
Lukas J\"unger, Jan Henrik Weinstock, Tim Kraus
https://arxiv.org/abs/2506.10624

Scalable Software Testing in Fast Virtual Platforms: Leveraging SystemC, QEMU and Containerization
The ever-increasing complexity of HW/SW systems presents a persistent challenge, particularly in safety-critical domains like automotive, where extensive testing is imperative. However, the availability of hardware often lags behind, hindering early-stage software development. To address this, Virtual Platforms (VPs) based on the SystemC TLM-2.0 standard have emerged as a pivotal solution, enabling pre-silicon execution and testing of unmodified target software. In this study, we propose an app…

Testing the Lense-Thirring Precession Origin of the QPO in Swift J1727.8$-$1613
Ruican Ma, Chris Done, Aya Kubota
https://arxiv.org/abs/2506.18857 https://…

Testing the Lense-Thirring Precession Origin of the QPO in Swift J1727.8$-$1613
We present a comprehensive spectral and timing analysis of the newly discovered black hole transient Swift J1727.8$-$1613, based on broadband (2$-$150 keV) observations from $Insight$-HXMT during its 2023 outburst. We use the flexible, energy-conserving SSsed model to model both the outer disc and inner, complex Comptonisation, using the expected disc emissivity to constrain the inner disc radius, $r_{cor}$. This decreases from 45 $R_{\rm g}$ to 9 $R_{\rm g}$ duing the transition from the hard …

📈 Bioscience researchers shared data in 92% of articles that we manually evaluated from 2023. In the chart 👇 orange shading shows 45% of articles shared ALL the relevant data, up from 7% in 2014👏. Sharing varied by data type as expected, 🧬 vs. 🔬, among several other factors.
Thanks to BIH QUEST @ChariteBerlin for ODDPub, which gave a parallel, programmatic evaluation.

In contrast, testing an international sample of circadian, neuroscience and mental health articles by the same manual method … 2/3
Edited for Alt-text.

Replaced article(s) found for cs.CR. https://arxiv.org/list/cs.CR/new
[1/1]:
- Fuzz-Testing Meets LLM-Based Agents: An Automated and Efficient Framework for Jailbreaking Text-T...
Yingkai Dong, Xiangtao Meng, Ning Yu, Zheng Li, Shanqing Guo

Testing Coasting Cosmologies with Large-Scale Structure Growth
D\'avid A. K\"odm\"on, P\'eter Raffai
https://arxiv.org/abs/2506.11826 htt…

Testing Coasting Cosmologies with Large-Scale Structure Growth
We derive analytical expressions for the growth factor, $D(z)$, and density-weighted growth rate, $fσ_8(z)$, for coasting cosmologies, in which the scale factor is a linear function of time. We fit the latter to data from redshift space distortion measurements in the redshift range $z<2$ using the \texttt{dynesty} implementation of a nested sampling algorithm. In total, four models are tested: three coasting models with curvature parameters ${k=\{-1, 0, +1\}}$ in $H^2_0c^{-2}$ units, as well a…

Testing the asteroseismic estimates of stellar radii with surface brightness-colour relations and {\it Gaia} DR3 parallaxes. III. Main-sequence stars
G. Valle, M. Dell'Omodarme, P. G. Prada Moroni, S. Degl'Innocenti
https://arxiv.org/abs/2506.15462

Testing the asteroseismic estimates of stellar radii with surface brightness-colour relations and {\it Gaia} DR3 parallaxes. III. Main-sequence stars
We compare the radii derived from the asteroseismic scaling relations with those from surface brightness-colour relations (SBCRs) combined with the Gaia DR3 parallaxes for main-sequence (MS) stars. The atmospheric and asteroseismic parameters were sourced from the recently released KEYSTONE catalogue and matched to Gaia DR3 and TESS Input Catalog v8.2. We computed SBCR-based radii using two different SBCRs, and estimated their relative differences with respect to radius estimates from asterosei…

Performance Impact of Containerized METADOCK 2 on Heterogeneous Platforms
Antonio Jes\'us Banegas-Luna, Baldomero Imbern\'on Tudela, Carlos Mart\'inez-Cort\'es, Jos\'e Mar\'ia Cecilia, Horacio P\'erez-S\'anchez
https://arxiv.org/abs/2506.06450

Performance Impact of Containerized METADOCK 2 on Heterogeneous Platforms
Virtual screening (VS) is a computationally intensive process crucial for drug discovery, often requiring significant resources to analyze large chemical libraries and predict ligand-protein interactions. This study evaluates the performance impact of containerization on METADOCK 2, a high-throughput docking software when deployed on heterogeneous high-performance computing (HPC) platforms. By testing three containerization technologies - Docker, Singularity, and Apptainer - across varying CPU …

👏💪👍 #WebDev #FrontEnd

feat: Add Storybook for component documentation, testing, and development by diondiondion · Pull Request #34907 · mastodon/mastodon
Closes MAS-428 Changes proposed in this PR: Introduces an initial basic Storybook (v9) setup to the project (only the Button component is included for now) Updates vitest to version 3.2 and uses t...

Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
Michael T. Goodrich, Vinesh Sridhar
https://arxiv.org/abs/2506.17507

Optimal Parallel Algorithms for Convex Hulls in 2D and 3D under Noisy Primitive Operations
In the noisy primitives model, each primitive comparison performed by an algorithm, e.g., testing whether one value is greater than another, returns the incorrect answer with random, independent probability p < 1/2 and otherwise returns a correct answer. This model was first applied in the context of sorting and searching, and recent work by Eppstein, Goodrich, and Sridhar extends this model to sequential algorithms involving geometric primitives such as orientation and sidedness tests. However…

Are Depth-2 Regular Expressions Hard to Intersect?
Rocco Ascone, Giulia Bernardini, Alessio Conte, Veronica Guerrini, Giulia Punzi
https://arxiv.org/abs/2507.03593

Are Depth-2 Regular Expressions Hard to Intersect?
We study the basic regular expression intersection testing problem, which asks to determine whether the intersection of the languages of two regular expressions is nonempty. A textbook solution to this problem is to construct the nondeterministic finite automaton that accepts the language of both expressions. This procedure results in a $Θ(mn)$ running time, where $m$ and $n$ are the sizes of the two expressions, respectively. Following the approach of Backurs and Indyk [FOCS'16] and Bringmann…

The Optimality of a Nested Generalized Pairwise Group Testing Procedure
Yaakov Malinovsky, Viktor Skorniakov
https://arxiv.org/abs/2506.15797 https://

The Optimality of a Nested Generalized Pairwise Group Testing Procedure
We study the problem of identifying defective units in a finite population of \( n \) units, where each unit \( i \) is independently defective with known probability \( p_i \). This setting is referred to as the \emph{Generalized Group Testing Problem}. A testing procedure is called optimal if it minimizes the expected number of tests. It has been conjectured that, when all probabilities \( p_i \) lie within the interval \( \left[1 - \frac{1}{\sqrt{2}},\, \frac{3 - \sqrt{5}}{2} \right] \), the…

Good article summarizing a lot of things relevant to continued COVID'19 caution:
https://www.cbc.ca/radio/quirks/beyond-long-covid-1.7485888
Key points:
COVID'19 weakens the immune system:
"""
So it's not just about infecting you and causing respiratory illness and fever and all of the things that we usually get with the viral infection. This virus also specifically causes your immune system to become weaker.
"""
It damages blood vessels:
"""
In addition to SARS-CoV-2's ability to dysregulate the immune system and suppress the immune system, the spike protein itself is very damaging to blood vessel structures as well as red blood cells and platelets themselves.
"""
The folk idea that infections make our immune system stronger and stronger like a muscle just isn't true (or at least, doesn't apply to COVID'19 because of how, unlike most other viruses, it damages the immune system):
"""
For the longest time in the field of immunology, there was the sort of adage that your immune system needs to be tested every now and again to stay strong. That's an old-fashioned idea.
The more new-fashioned and evidence-based idea is that, although your immune system can take on [a COVID] infection, you want to avoid testing it as much as possible because your body is sustaining damage with each infection that it survives.
"""

Replaced article(s) found for cs.RO. https://arxiv.org/list/cs.RO/new
[2/2]:
- On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles
Xingyu Zhao, Robab Aghazadeh-Chakherlou, Chih-Hong Cheng, Peter Popov, Lorenzo Strigini

Testing the cosmic distance duality relation with baryon acoustic oscillations and supernovae data
Tian-Nuo Li, Guo-Hong Du, Peng-Ju Wu, Jing-Zhao Qi, Jing-Fei Zhang, Xin Zhang
https://arxiv.org/abs/2507.13811

Testing the cosmic distance duality relation with baryon acoustic oscillations and supernovae data
One of the most fundamental relationships in modern cosmology is the cosmic distance duality relation (CDDR), which describes the relationship between the angular diameter distance ($D_{\rm A}$) and the luminosity distance ($D_{\rm L}$), and is expressed as: $η(z)=D_{\rm L}(z)(1+z)^{-2}/D_{\rm A}(z)=1$. In this work, we conduct a comprehensive test of the CDDR by combining baryon acoustic oscillation (BAO) data from the SDSS and DESI surveys with type Ia supernova (SN) data from PantheonPlus a…

On the Earth's tidal perturbations. II. LARES 2 satellite
V. G. Gurzadyan, I. Ciufolini, H. G. Khachatryan, S. Mirzoyan, A. Paolozzi
https://arxiv.org/abs/2506.10310

On the Earth's tidal perturbations. II. LARES 2 satellite
Laser-ranging satellites have proved their efficiency in high precision testing of General Relativity and constraining modified gravity theories proposed to explain the dark sector and the cosmological tensions. The LARES 2 satellite launched in 2022, is currently providing improved information regarding the frame-dragging effect predicted by General Relativity, as well as the geodesy, thus essentially complementing the data of already existing laser-ranging satellites. The proper knowledge of …

GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Ruofan Liu, Xiwen Teoh, Yun Lin, Guanjie Chen, Ruofei Ren, Denys Poshyvanyk, Jin Song Dong
https://arxiv.org/abs/2506.07385

GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
In this work, we propose GUIPilot, an approach for detecting inconsistencies between the mobile design and their implementations. The mobile design usually consists of design mock-ups that specify (1) the expected screen appearances (e.g., widget layouts, colors, and shapes) and (2) the expected screen behaviors, regarding how one screen can transition into another (e.g., labeled widgets with textual description). Given a design mock-up and the implementation of its application, GUIPilot report…

A bad #Python bump morning in #Gentoo:
1. A project that couldn't be bothered to make a release with a security fix for 4 years finally made a release. Of course, if you make one release in 7 years, it is definitely a good idea to replace your build system with a broken #PythonPoetry #setuptools hybrid.
2. Another project made a release with a bunch of test failures — that were fixed in "master" branch already at the time, but I guess nobody bothered testing the release branch.
3. Just discovered that a bunch of projects are using pkg_resources namespaces again — and we were supposed to have gotten rid of them years ago! Of course it's #Google. And on top of that, since pkg_resources are now throwing deprecation warnings, they are indirectly breaking random other test suites.
On the positive side, test_lolwut is failing for me in redis-py.

Gaussian Sequence Model: Sample Complexities of Testing, Estimation and LFHT
Zeyu Jia, Yury Polyanskiy
https://arxiv.org/abs/2507.16734 https://

Gaussian Sequence Model: Sample Complexities of Testing, Estimation and LFHT
We study the Gaussian sequence model, i.e. $X \sim N(\mathbfθ, I_\infty)$, where $\mathbfθ \in Γ\subset \ell_2$ is assumed to be convex and compact. We show that goodness-of-fit testing sample complexity is lower bounded by the square-root of the estimation complexity, whenever $Γ$ is orthosymmetric. We show that the lower bound is tight when $Γ$ is also quadratically convex, thus significantly extending validity of the testing-estimation relationship from [GP24]. Using similar methods, we…

Few Single-Qubit Measurements Suffice to Certify Any Quantum State
Meghal Gupta, William He, Ryan O'Donnell
https://arxiv.org/abs/2506.11355 https://…

Few Single-Qubit Measurements Suffice to Certify Any Quantum State
A fundamental task in quantum information science is \emph{state certification}: testing whether a lab-prepared $n$-qubit state is close to a given hypothesis state. In this work, we show that \emph{every} pure hypothesis state can be certified using only $O(n^2)$ single-qubit measurements applied to $O(n)$ copies of the lab state. Prior to our work, it was not known whether even sub-exponentially many single-qubit measurements could suffice to certify arbitrary states. This resolves the main o…

DELVE-ing into the Milky Way's Globular Clusters: Assessing extra-tidal features in NGC 5897, NGC 7492, and testing detectability with deeper photometry
A. Chiti, K. Tavangar, P. S. Ferguson, J. A. Carballo-Bello, A. M. Senkevich, D. Erkal, A. Drlica-Wagner, A. B. Pace, A. P. Ji, D. J. Sand, G. Limberg, A. Chaturvedi, D. Crnojevi\'c, G. E. Medina, A. H. Riley, N. Shipp, A. K. Vivas, M. Wertheim, Y. Choi, C. E. Mart\'inez-V\'azquez, B. Mutlu-Pakdil, M. Navabi, J. D. Sako…

DELVE-ing into the Milky Way's Globular Clusters: Assessing extra-tidal features in NGC 5897, NGC 7492, and testing detectability with deeper photometry
Extra-tidal features around globular clusters (GCs) are tracers of their disruption, stellar stream formation, and their host's gravitational potential. However, these features remain challenging to detect due to their low surface brightness. We conduct a systematic search for such features around 19 GCs in the DECam Local Volume Exploration (DELVE) survey Data Release 2, discovering a new extra-tidal envelope around NGC 5897 and find tentative evidence for an extended envelope surrounding NGC …

Testing Suffixient Sets
Davide Cenzato, Francisco Olivares, Nicola Prezza
https://arxiv.org/abs/2506.08225 https://arxiv.org/pdf/2506…

Testing Suffixient Sets
Suffixient sets are a novel prefix array (PA) compression technique based on subsampling PA (rather than compressing the entire array like previous techniques used to do): by storing very few entries of PA (in fact, a compressed number of entries), one can prove that pattern matching via binary search is still possible provided that random access is available on the text. In this paper, we tackle the problems of determining whether a given subset of text positions is (1) a suffixient set or (2)…

Refining my NI (natural intelligence) with AB-Testing today.
Which post do you prefer?
1) AI won gold at the international math olympiad.
2) An AI system with vast resource consumption and developed solely for this purpose by hundreds of engineers was in a 45-way tie for 27th place among high-school students who performed this with only their brains and pencils.

Replaced article(s) found for quant-ph. https://arxiv.org/list/quant-ph/new
[1/2]:
Testing quantum satisfiability
https://ar…

Towards more efficient quantitative safety validation of residual risk for assisted and automated driving
Daniel Betschinske, Malte Schrimpf, Steven Peters, Kamil Klonecki, Jan Peter Karch, Moritz Lippert
https://arxiv.org/abs/2506.10363

Towards more efficient quantitative safety validation of residual risk for assisted and automated driving
The safety validation of Advanced Driver Assistance Systems (ADAS) and Automated Driving Systems (ADS) increasingly demands efficient and reliable methods to quantify residual risk while adhering to international standards such as ISO 21448. Traditionally, Field Operational Testing (FOT) has been pivotal for macroscopic safety validation of automotive driving functions up to SAE automation level 2. However, state-of-the-art derivations for empirical safety demonstrations using FOT often result …

Space-based mm/mg-scale Laser Interferometer for Quantum Gravity
Nobuyuki Matsumoto, Katsuta Sakai, Kosei Hatakeyama, Kiwamu Izumi, Daisuke Miki, Satoshi Iso, Akira Matsumura, Kazuhiro Yamamoto
https://arxiv.org/abs/2507.12899

Space-based mm/mg-scale Laser Interferometer for Quantum Gravity
The experimental verification of the quantum nature of gravity represents a milestone in quantum gravity research. Recently, interest has grown for testing it via gravitationally induced entanglement (GIE). Here, we propose a space-based interferometer inspired by the LISA Pathfinder (LPF). Unlike the LPF, our design employs two smaller gold-platinum test masses, each weighing the milligram scale, surrounded by a shield below 2 K, and positioned side by side with a millimeter scale separation. …

Practically significant differences between conditional distribution functions
Holger Dette, Kathrin M\"ollenhoff, Dominik Wied
https://arxiv.org/abs/2506.06545

Practically significant differences between conditional distribution functions
In the framework of semiparametric distribution regression, we consider the problem of comparing the conditional distribution functions corresponding to two samples. In contrast to testing for exact equality, we are interested in the (null) hypothesis that the $L^2$ distance between the conditional distribution functions does not exceed a certain threshold in absolute value. The consideration of these hypotheses is motivated by the observation that in applications, it is rare, and perhaps impos…

Predicting the resolved CO emission of $z=1-3$ star-forming galaxies
R. Anirudh, Melanie Kaasinen, Gerg\"o Popping, Desika Narayanan, Karolina Garcia, Dariannette Valentin-Martinez
https://arxiv.org/abs/2506.13899

Predicting the resolved CO emission of $z=1-3$ star-forming galaxies
(Abridged) Resolved observations of the CO emission from $z=1-3$ star-forming galaxies are becoming increasingly common, with new high-resolution surveys on the horizon. We aim to inform the interpretation of this resolved CO emission by creating synthetic observations and testing to what extent routinely observed CO transitions can be used to trace H$_2$ across galaxy disks. To this end, we extract $z=1-3$ massive star-forming galaxies (on and above the main sequence) from the SIMBA cosmologic…