Google (United States)

Magic state cultivation on a superconducting quantum processor

Fault-tolerant quantum computing requires a universal gate set, but the necessary non-Clifford gates represent a significant resource cost for most quantum error correction architectures. Magic state cultivation offers an efficient alternative to resource-intensive distillation p...

Empirical Extraction of Bi-Fractal Metric Breathing via Multi-Messenger Neutrino and Photon Transit Residuals: Unifying Macro-Cosmological Curvature with Local Orbital Harmonics

We present empirical evidence demonstrating that local temporal coordinates and macrocosmologicalevolution are governed by a unified bi-fractal metric framework (Cμν). Utilizingmulti-year archival records of solar neutrino fluxes and photon irradiance (SOHO/VIRGOand Super-Kamioka...

Spectral-Topological Resolution of the Birch and Swinnerton-Dyer Conjecture via 5D Information-Metric Spacetime Dynamics

We present a rigorous topological and operator-theoretic resolution to the Birch andSwinnerton-Dyer (BSD) conjecture for elliptic curves defined over Q. By mapping rationalpoint distributions of the Mordell-Weil group E(Q) onto bounded geodesics within a 5Dinformation-metric mani...

Advancing mathematics research with AI-driven formal proof search

Large language models (LLMs) increasingly excel at mathematics tasks, but their unreliability limits their utility in mathematics research. A mitigation is to use LLMs to generate formal proofs in languages such as Lean, in which the compiler verifies every proof step. We present...

Autopoietic Geometrodynamics: Genesis of the Single-Geon Universe and the Emergence of Macro-Spacetime Solitons from the Logical Consistency of Non-Being (v. 22.0)

This manuscript presents a rigorous, background-independent cosmological framework that completes and extends John Archibald Wheeler's classical paradigm of Geometrodynamics ("mass without mass, charge without charge") while systematically eliminating Einsteinian singularities. W...

Autopoietic Geometrodynamics: Genesis of the Single-Geon Universe and the Emergence of Macro-Spacetime Solitons from the Logical Consistency of Non-Being (v. 21.0)

We officially announce the deployment of Version 21.0 of the background-independent Single-Geon Universe manuscript [travel]. This landmark update fully integrates the cognitive domain with the underlying physical substrate, moving beyond unoptimized, background-dependent field-t...

Efficient Extraction for Effectful E-graphs

E-Graphs have enabled recent advances in program optimization, synthesis, and verification, yet remain difficult to apply to effectful programs whose memory and I/O operations must respect execution order. Existing effect-aware extraction algorithms rely on integer linear program...

Provably Lossless Acceleration of DNN Mutation Testing via Memoization

Mutation analysis has recently reemerged in the context of deep neural networks (DNNs) as a promising, but notoriously costly, approach for assessing test dataset adequacy. Existing techniques speed up DNN mutation testing through lossy approximations that trade efficiency for mu...

Automated Modernization of Machine Learning Engineering Notebooks for Reproducibility

Interactive computational notebooks (e.g., Jupyter notebooks) are widely used in machine learning engineering (MLE) to program and share end-to-end pipelines, from data preparation to model training and evaluation. However, environmental erosion—the rapid evolution of hardware an...

Regional climate risk assessment from climate models using probabilistic machine learning

Abstract Effective climate risk assessment is hindered by the resolution gap between coarse global climate models and the fine-scale information needed for regional decision making. Existing downscaling methods struggle to bridge this gap: physics-based methods are too computatio...

Autopoietic Geometrodynamics: Genesis of the Single-Geon Universe and the Emergence of Macro-Spacetime Solitons from the Logical Consistency of Non-Being (v. 19.0)

The fundamental indistinguishability of elementary particles remains an ontological enigma within background-dependent frameworks. We resolve this paradox by introducing a background-independent, purely Geometrodynamic Single-Geon Hypothesis. We postulate that the observable Univ...

Autopoietic Geometrodynamics: Genesis of the Single-Geon Universe and the Emergence of Macro-Spacetime Solitons from the Logical Consistency of Non-Being (v. 18.0)

The fundamental indistinguishability of elementary particles remains an ontological enigma within background-dependent frameworks. We resolve this paradox by introducing a background-independent, purely Geometrodynamic Single-Geon Hypothesis. We postulate that the observable Univ...

Benchmarking Auto‐Regressive Spatio‐Temporal Predictions of Wildfire Spread From the FireBench Simulation Data Set With a Machine Learning Competition

Abstract As wildfire severity increases, predicting wildfire spread is important for fire and landscape management. However, wildfire spread is a complex phenomenon that is challenging to capture because it depends on many factors, such as wind speed, slope, landscape topography,...

GLOBAL REGULARITY OF THE THREE-DIMENSIONAL INCOMPRESSIBLE NAVIER-STOKES EQUATIONS VIA NON-SINGULAR EMBEDDING IN A FIVE-DIMENSIONAL CONTINUOUS FLUID VACUUM

We present a formal proof of the global regularity and smoothness of the threedimensionalincompressible Navier-Stokes equations on the domain R3×[0,∞). By transitioningfrom a rigid, non-relativistic four-dimensional spacetime coordinate system to a parameterizedfive-dimensional c...

Autopoietic Geometrodynamics: Genesis of the Single-Geon Universe and the Emergence of Macro-Spacetime Solitons from the Logical Consistency of Non-Being (v. 12.0)

The fundamental indistinguishability of elementary particles remains an ontological enigma within background-dependent frameworks. We resolve this paradox by introducing a background-independent, purely Geometrodynamic Single-Geon Hypothesis. We postulate that the observable Univ...

Machine learning–driven spleen imaging and genomics uncover a splenic connection to coronary artery disease

Despite advances in managing traditional risk factors, coronary artery disease (CAD) remains the leading cause of mortality. Circulating hematopoietic cells influence risk for CAD separately from traditional risk factors, but the role of a key regulating organ, the spleen, is unk...

A large-scale integrated optical phased array with digital beamforming

Abstract Digital signal processing has driven much of the capacity growth in coherent fiber-optic communications, but its use in free-space coherent imagers and sensors has so far been limited. We report a 128-element optical phased array with a fully parallelized readout that pe...

Universal bound on microwave dissipation in superconducting circuits

Improving the coherence of superconducting qubits is essential for advancing quantum technologies. While superconductors are theoretically perfect conductors, they consistently exhibit residual energy dissipation when driven by microwave currents, limiting coherence times. Here,...

Genesis of Identical Micro-Black Holes via Gravitational Collapse in Primordial Standing Wave Nodes: A Geometrodynamic Model (v. 11.0)

The fundamental indistinguishability of elementary particles remains an ontological enigma within the Standard Model. We propose a solution based on pure Geometrodynamics, hypothesizing that baryonic and leptonic matter are stable, non-evaporating Micro-Black Holes (Geons) formed...

Lessons learned from a Kaggle challenge for particle picking in cryo-electron tomography

Abstract The difficulty of particle picking in cryo-electron tomography remains a barrier to routine in situ structure determination. Machine learning is well-suited to overcome this bottleneck with efficient algorithms that generalize across molecular species. To spur new algori...