arXiv:2607.13571v1 Announce Type: cross
Abstract: Sound event detection relies on frame-level strong labels whose annotation is expensive. Active learning addresses this problem by selecting the audio segments whose labels help the classifier most. One of the prevailing acquisition strategies for this task, mismatch-first farthest-traversal (MFFT), combines the disagreement between two classifiers and the diversity of the selected segments through hard sequential decisions. It selects whole groups of high-disagreement segments first and spreads only the remaining budget by farthest traversal. On two multi-label datasets we show that this design is blind to the similarity among the selected segments and fails under low budgets, with every mismatch-first variant ending below the plain geometric strategy it builds on. We propose mismatch-weighted facility location (MW-FL), which spends the entire budget through a disagreement-weighted coverage objective that penalizes similarity among the selected segments. The disagreement signal from MFFT is used to obtain the nonnegative weights of this facility-location objective, without introducing hyperparameters. Experiments across two geometric mechanisms with three ways of using disagreement show that coverage of the selected segments is the dominant factor, hard disagreement gating of selection is harmful on both mechanisms, and soft disagreement weighting helps on top of coverage. MW-FL attains the best area under the learning curve on both datasets.
Science Journals
arXiv:2607.13118v1 Announce Type: new
Abstract: Accurate interpretation of radiation-sensor decay data is important for environmental monitoring, site remediation, radiation metrology, detector quality assurance, and nuclear data evaluation. When the original gamma-spectrometry records are unavailable, a published decay plot may be the only source that can be reanalyzed independently. This study presents a reproducible reduced-data workflow for testing half-life estimates from a digitized 198-Au decay dataset. A weighted exponential fit to the digitized data points reproduces the published room-temperature half-life, indicating that the main decay scale is retained in the figure-level dataset. The analysis then tests how the fitted result changes under plausible figure-level effects, including baseline-like offsets, time-axis reconstruction, finite-window leverage, and ratio-based robustness checks using pairwise summaries and Steiner's most frequent value statistics. The no-offset fit is locally well constrained, but small constant offsets can shift the fitted half-life because the normalization, decay constant, and residual baseline are partly degenerate over the limited time window. Toy Monte Carlo diagnostics show that some estimator shifts are expected for finite-window exponential data. This study does not revise recommended nuclear data or replace the original experiment. Instead, it shows how published radiation-sensor decay data can be tested for reproducibility, identifiability, and sensitivity to analysis choices when only reduced or figure-level information is available.
arXiv:2607.13580v1 Announce Type: cross
Abstract: Fast and accurate classical simulation of quantum systems is a central challenge in the design and control of quantum computers, but the highly oscillatory dynamics of these systems severely limit the efficiency of standard numerical methods. To address this, we adapt Filon quadrature for oscillatory integrals into two numerical methods, called Filon and Controlled Filon, for solving linear systems of ODEs with highly oscillatory solutions. We tailor both methods for efficient implementation in controlled quantum systems, and the Controlled Filon method additionally accounts for the oscillatory structure of the control pulses. We show by numerical experiments that these methods significantly reduce the computational cost of accurately simulating systems of superconducting transmon qubits by decreasing the number of timesteps needed to reach a given level of precision, with only a modest increase in the cost per timestep. For a realistic simulation of the dynamics of a CNOT gate, the Controlled Filon method is the most efficient method tested at every target accuracy, outperforming the best Hermite method by up to 6x and the Hermite method of the same order by up to 500x.
arXiv:2607.13630v1 Announce Type: cross
Abstract: We study the separation of geometric effects from quantum interference in quantum optimization algorithms. Constrained optimization problems such as routing, assignment, and scheduling are often encoded as product spaces of local variables, together with global feasibility penalties. The central algorithmic question we address is how a constraint-preserving mixing operator transports quantum amplitude across an exponential search space in the presence of local and global constraints. We develop a framework that separates three effects that are usually intermixed: amplitude transport, coherent interference among transported amplitudes, and problem-dependent classical postprocessing. We show that the mixing operator alone does not have a target-seeking ability. Concretely, the normalized distribution induced by its amplitude transport moves toward the distance profile of a uniformly random configuration. Thus, quantum sampling advantage may only arise when the phases of the many computational paths reaching a target configuration are sufficiently aligned for their amplitudes to reinforce. We show that, when the cost phases are engineered so that these paths add coherently, a number of circuit alternations growing only logarithmically with problem size suffices to convert the sum of their absolute contributions into a lower bound on the target amplitude, yielding a certified success probability independent of the ambient Hilbert-space dimension, the search-space size, or the feasible-set cardinality. We develop applications to problem-specific transpilation diagnostics, scalable hardware probes, constraint-induced classical maps of quantum-generated samples, the attribution of solution quality between the quantum distribution and classical post-processing in hybrid quantum-classical workflows and connections to distance-partitioned product spaces from classical coding theory.
arXiv:2607.13671v1 Announce Type: cross
Abstract: The task of imaging complex dust environments such as the inner astronomical units of a planet-forming disks requires dedicated mid-infrared (MIR) interferometric facilities with kilometric baselines and a large number of telescopes. Extrapolating technologies from current facilities is not straightforward. We aim to demonstrate the feasibility of using MIR heterodyne interferometry with a photonic correlation approach to recombine MIR signals from distant telescopes. We want to determine the current technological limits of such systems are. We developed a laboratory demonstration bench that can correlate MIR signals at 10 um with a photonic correlator. The photonic correlator uses commercially available telecom components at 1.5 um to transport and correlate heterodyne signals that could go up to 10 GHz in bandwidth, directly extendable to 40 GHz. We used the demonstration bench to study the noise levels and detection limits of a heterodyne interferometer with a photonic correlation. We confirm the correlation exhibited by wideband MIR signals with the photonic correlator, along with a characterization of the performance of the system and analyzed the noise levels. We show that the photonic correlator does not limit the detection and that it can be used to compensate for free-space delays at 10 um with a fiber delay at 1.5 um. With our current sub-optimal commercial infrared (IR) detectors, we have derived a detection limit of 130 Jy that is coherent flux for 8 m class telescopes with 1 h of incoherent integration. We discuss the possibility of lowering the detection limit down to typical T-Tauri stars (approximately 1 Jy) using new detectors and coherent integration based upon local oscillator synchronization with telecom fiber links.
arXiv:2607.13073v1 Announce Type: new
Abstract: Neuro-symbolic AI based on $IFOL_B$ is a way to combine neural learning and symbolic reasoning to overcome limitations of purely neural systems (like lack of interpretability and logical structure) with formal logical machinery for self-reference. In this paper we expand the cognitive power of $IFOL_B$ by using the probability computation for the currently unknown sentences, based on Nilsson's probability structure for the $IFOL_B$. We introduce the global symmetry transformation that preserves the current knowledge database and logical deduction, and the local one used for real-time decisions about concrete (sub)problems that involve only a very strict subset of $IFOL_B$ predicates. The computation of probability density function $KI$ in both cases, based on the Shannon's maximum information entropy, is provided by neural networks of this probabilistic neuro-symbolic AGI.
arXiv:2607.13690v1 Announce Type: cross
Abstract: The $2p\to1s$ transition energy in muonic $^9$Be was measured using a metallic magnetic calorimeter, resulting in $E_{2p\to 1s}=33\,391.48(34)\,$eV. The result is 30 times more precise than the previous best measurement and enables the extraction of the corresponding nuclear charge radius $r_c($$^9$Be$)=2.5506(51)\,$fm. It is $2.4$ times more precise than the commonly used value based on electron scattering and differs from it by $2.3$ times the combined uncertainties. This measurement represents the first determination of a nuclear charge radius using muonic x-ray spectroscopy with microcalorimeters.
arXiv:2607.13701v1 Announce Type: cross
Abstract: Quadratic Sum-Of-Squares (QSOS) optimization problems appear in system identification and machine learning, but standard Schur-complement and second-order cone liftings enlarge conic dimensions and create computational bottlenecks for interior-point methods. This paper introduces a lifting-free regularization that preserves the original conic structure by adding a norm penalty to SOS variables, yielding closed-form primal updates and an unconstrained, concave dual with Lipschitz-continuous gradient. Accelerated first-order methods efficiently maximize this dual, and convergence analysis shows non-asymptotic recovery of the solution. Numerical experiments on constrained regression problems show the proposed method can be 40\% faster than existing solvers such as SCS and handle larger problems than MOSEK, with memory scaling only in the number of equality constraints.
arXiv:2607.13710v1 Announce Type: cross
Abstract: Next-generation wireless networks must maintain reliable operation under abrupt and severe disruptions, particularly in ultra-reliable low-latency communication (URLLC) scenarios where strict time constraints dominate system design. This work addresses network resilience from a time-centric perspective by explicitly integrating finite blocklength (FBL) communication, thereby exposing transmission duration as a controllable resource for system recovery. To this end, we propose a unified cross-layer framework that jointly couples queue dynamics, rate adaptation, and blocklength optimization, enabling the system to actively absorb, adapt to, and recover from diverse resilience events.
To systematically evaluate these mechanisms, we introduce an interpretable resilience metric that decomposes disruption impact into absorption loss, adaptation efficiency, and recovery behavior, enabling a direct and intuitive assessment of system resilience. Building on this framework, we develop a three-stage alternating optimization approach that jointly optimizes PHY-layer parameters, including beamforming, reconfigurable intelligent surface (RIS) phase shifts, and blocklength, revealing the importance of time-aware resource allocation in the FBL regime. Numerical results demonstrate strong resilience performance under repeated channel disruptions and AI-driven traffic surges, highlighting the effectiveness of cross-layer resource adaptation. Finally, the proposed resilience metric enables an intuitive and consistent comparison of resilience performance across different approaches and disruption types, while revealing their respective strengths and limitations.
arXiv:2607.13733v1 Announce Type: cross
Abstract: The discrete simplex consists of the nonnegative integer vectors $a=(a_1,\ldots,a_q)$ whose coordinates sum to $d$. Equivalently, its vertices are the multiplicity profiles of size-$d$ multisets over $q$ symbols. Two vertices are adjacent when one is obtained from the other by decreasing one coordinate by one and increasing another coordinate by one. We study the maximum size $\alpha_q(d)$ of an independent set in this graph. Our upper bounds cover the graph by translated smaller graphs and assign them nonnegative weights. For fixed $q$, the weights depend on only finitely many capped profiles, so one finite rational linear system can prove a bound for every sufficiently large $d$. The method gives new proofs of the known cases $q=3$ and $q=4$ and determines $\alpha_q(d)$ exactly for $q=5$ and $q=7$ in every degree. It also determines the largest classes of natural additive colorings for general $q$. In the opposite regime, with $d$ fixed and $q$ growing, it solves degree five for $q\ge7$, gives exact power-of-two families in degrees six, eight, and ten, and gives an asymptotically sharp upper bound through three terms for every fixed $d\ge7$. This last result improves the previously known asymptotic upper bound.
arXiv:2607.13734v1 Announce Type: cross
Abstract: We develop a microscopic constitutive theory for the nonlinear deformation of metallic and polymer glasses based on nonaffine elasticity coupled to irreversible many-body relaxation. The theory predicts the full stress--strain response, from linear elasticity through stress overshoot and yielding to steady plastic flow. We show that stress overshoot originates from the competition between a nonaffine elastic instability induced by strain-driven loss of mechanical connectivity at the atomic/molecular level, and viscous dissipation associated with structural relaxation. For polymer glasses, finite chain extensibility naturally accounts for strain hardening at large deformation. The stretched-exponential relaxation exponent is obtained independently from stress or modulus relaxation measurements and provides the primary dynamical input to the theory. Using a small set of physically meaningful parameters, the model quantitatively reproduces experimental stress--strain curves for metallic glasses, polycarbonate, PMMA, and epoxy resins over a broad range of strain rates. These results establish a unified microscopic framework linking relaxation dynamics, yielding, plastic flow, and strain hardening in amorphous solids.
arXiv:2607.13769v1 Announce Type: cross
Abstract: We investigate the single-particle momentum distribution and contact parameters of mass-imbalanced three-body systems at the critical dimension Dc, where the transition between discrete and continuous scale invariance takes place as the spatial dimension is tuned between three and two dimensions. We show that the asymptotic momentum distribution at Dc is governed by a distinct logarithmic scaling structure, which differs fundamentally from both the log-periodic behavior of Efimov states and the power-law scaling of the unatomic regime. This structure requires the introduction of an additional three-body contact parameter associated with a quadratic logarithmic contribution, leading to a finite and well-defined description of the momentum tail at the transition. This additional three-body parameter depends sensitively on the mass imbalance, changing sign across different mass configurations and vanishing for identical particles. As a consequence, the three-body contribution to the momentum distribution can be suppressed at a characteristic momentum scale, leaving the asymptotic tail entirely determined by the two-body contact. We further analyze the narrow intermediate region connecting the Efimov and unatomic regimes, here identified as an intermediate scaling regime, whose extent and properties are strongly controlled by the mass ratio. These results establish the critical dimension as a regime with emergent scaling properties and provide experimentally accessible signatures for probing the transition between discrete and continuous scale invariance in few-body quantum systems.
arXiv:2607.13800v1 Announce Type: cross
Abstract: Chest radiograph datasets often combine multiple images with Clinical Indication, Findings, and Impression, although these inputs are produced at different stages of care. We evaluated 15,000 ReXGradient-160K studies with two readable images and five CheXbert-derived report observations. Frozen DenseNet-121 and Bio+ClinicalBERT encoders were used to compare image-only, Indication-only, fixed-order multimodal, random-swap, DeepSets, and SectionGuard-MI models. Findings and Impression were evaluated only as post-hoc leakage controls. Models were trained with five seeds, and public-test uncertainty was estimated with 2,000 patient-cluster bootstrap replicates. Under U-Ones, macro AUROC was 0.643 for the primary image, 0.694 for two images, 0.749 for Indication, and 0.780 for ordinary two-image-plus-Indication fusion. SectionGuard-MI achieved AUROC 0.783 and AUPRC 0.260. Relative to ordinary fusion, its paired AUROC difference was 0.0031 (95% CI, -0.0042 to 0.0104; adjusted p=0.374), while its AUPRC difference was 0.0289 (95% CI, 0.0095 to 0.0413; adjusted p=0.004). DeepSets had the highest prospective AUROC point estimate (0.787), and random-swap fusion had the highest prospective AUPRC point estimate (0.265) with better calibration than SectionGuard-MI. Full report text alone reached AUROC 0.979 and AUPRC 0.836; AUROC remained above 0.973 after exact or expanded masking. These results show that prospective Indication is strongly associated with report-derived targets, permutation-aware fusion is competitive, and post-hoc report text creates substantial report-label circularity.
arXiv:2607.13119v1 Announce Type: new
Abstract: In standard federated learning systems, the parameter server broadcasts the global model to the participating devices in every iteration. Motivated by the temporal correlation between consecutive global models, differential coding can be applied to global model dissemination to reduce the information magnitude, thereby enabling communication with fewer quantization bits. However, due to wireless link failures, devices may occasionally miss differential updates and consequently fail to reconstruct the global model. As a result, they either continue local training based on an outdated model or remain idle until the next full-model broadcast becomes available. To address this challenge, we propose a mixed-timescale differential coding (MTDC) scheme that performs differential coding at two different levels by adjusting the reference model. With MTDC, a device can reconstruct the latest global model between two full-model broadcasts even if it misses a differential update. We provide a convergence analysis that motivates the design of an age-aware variant of MTDC, along with a device scheduling policy to further improve communication efficiency. Simulation results demonstrate that the proposed MTDC schemes achieve superior learning performance compared to baseline methods under similar communication resource budgets in the presence of downlink transmission failures.
arXiv:2607.13816v1 Announce Type: cross
Abstract: The Elliptic Curve Discrete Logarithm Problem (ECDLP) is a fundamental problem in cryptography, and reducing the resource requirements of quantum algorithms for solving ECDLP is an important goal. In this work, we present a space-efficient quantum algorithm for solving the ECDLP over prime fields, achieving an implementation with only $3n+6\lfloor \log_2 n \rfloor+O(1)$ logical qubits and $919n^3/\log_2 n+O(n^2)$ Toffoli gates, where $n$ is the bit-length of the prime. For a 256-bit prime-field curve, our construction requires only 835 logical qubits, reducing the previous best estimates of 1098 and 1175 logical qubits by Chevignard et al. [EUROCRYPT 2026] and Babbush et al. [ArXiv Preprint 2026], respectively.
The key to our improvement is a new space-efficient reversible modular inversion circuit, which addresses the dominant space bottleneck in affine-coordinate point addition. Starting from the extended Euclidean algorithm (EEA), we refine the register-sharing technique of Proos and Zalka by introducing length registers and location-controlled arithmetic to compactly store and update intermediate variables. We further optimize the reversible update procedures and construct the corresponding controlled arithmetic circuits, resulting in a modular inversion circuit implemented by only $2n+6\lfloor \log_2 n \rfloor+O(1)$ logical qubits and $195n^2+O(n\log_2 n)$ Toffoli gates. This modular inversion circuit together with mid-circuit measurements and classical feed-forward operations provides a space-efficient controlled affine point-addition circuit and a complete implementation of Shor's algorithm for ECDLP.
arXiv:2607.13834v1 Announce Type: cross
Abstract: Scalable quantum computing is limited by the dense network of electrical interconnects linking cryogenic quantum processors to room-temperature control electronics. To overcome this bottleneck, considerable effort has focused on cryogenic CMOS electronics and microwave-to-optical transduction, aiming to reduce wiring complexity and thermal loading. Wireless interconnects have recently emerged as a promising complementary approach, yet their compatibility with superconducting quantum hardware remains largely unexplored. Here, we demonstrate the wireless excitation of a superconducting microwave resonator of the type routinely employed for qubit readout, operating at millikelvin temperatures inside a dilution refrigerator. By directly comparing wired and wireless operation within the same cryogenic environment, we show that wireless coupling preserves the intrinsic resonator response while revealing parasitic electromagnetic pathways arising from stray radiation within the cryostat enclosure. These results establish a framework for the co-design of wireless interconnects, cryogenic packaging and superconducting quantum hardware.
arXiv:2607.13847v1 Announce Type: cross
Abstract: Many datasets encountered across a wide range of domains possess rich geometric and topological structure that is difficult to capture using conventional vector-based representations. Quantum machine learning offers the possibility of processing high-dimensional data in Hilbert spaces, but its practical success depends critically on how classical data is encoded into quantum states. We introduce \emph{quantum topological data encoding} (QTDE), a general framework for encoding topological information into quantum states via topology-driven quantum evolution. Our method generalises an existing topology-driven quantum encoding framework to higher-dimensional data. We test the proposed method on clique-complexes classification tasks, and provide preliminary evidence that topology-driven quantum representations can capture discriminative information beyond that available through direct comparisons of classical topological descriptors. The proposed quantum representations consistently outperform a baseline based on direct comparisons of the combinatorial Laplacians describing the underlying topological structure. We indicate several areas of application where the framework can be used to provide a more efficient and reliable data representation.
arXiv:2607.13855v1 Announce Type: cross
Abstract: Game semantics is an elegant approach to the formal semantics of reasoning and computation that grounds model-theoretic concepts of truth and validity in game-theoretic concepts that emphasize the dynamic and interactive aspects of logical reasoning. In Hyland-Ong games, plays are traces of interactions between a player and an environment and such games provide a naturally appealing semantics for computation that is derived from proof-search in logical systems. Such a semantics can be seen as providing an intensional theory of meaning for systems of logic in terms of (the computation of) proofs. In logic, an intensional theory of meaning for systems of logic is offered by proof-theoretic semantics; in particular, by base-extension semantics (B-eS), in which the model-theoretic interpretation of atomic propositions in a satisfaction relation is replaced by a validity relation which uses provability in `bases' of atomic rules. We establish a fully abstract correlation between B-eS and Hyland-Ong game semantics, employing techniques similar to those used by Sandqvist to give a sound and complete B-eS for intuitionistic propositional logic. We illustrate our semantics through the example of 4x4 Sudoku.
arXiv:2607.13883v1 Announce Type: cross
Abstract: We formalize verification in causal graphical models: deciding whether a given observational formula identifies a target interventional distribution. This opens a problem complementary to identification, asking not whether any identifying formula exists, but whether the given formula is identifying. We show that even sound and complete solutions to identification do not solve verification. We propose a falsifier as a first practical route forward, prove that it induces an almost-surely correct verifier for regular exponential-family models, and use the resulting verifier to develop the gateway test, which finds all sets admissible for use in a front-door formula.
arXiv:2607.13913v1 Announce Type: cross
Abstract: We present long-baseline Very Low Frequency (VLF) observations of solar flare-induced ionospheric disturbances obtained at the Bulgarian Polar Astronomical Observatory (St. Kliment Ohridski Base) on Livingston island, Antarctica. Using continuous VLF transmissions at 21.4 kHz (NPM, Hawaii) and 24.0 kHz (NAA, Maine), propagating over trans-hemispheric paths exceeding 11000 km, we analyze observations of solar flares during the period 24 January--8 February 2025. After removing the strong diurnal signal via superposed epoch analysis, we analyse the flare-related perturbations in VLF amplitude and their correlation with GOES soft X-ray flux for 250 flares of C and M class. The long propagation paths provide enhanced sensitivity to flare-driven changes in D-region ionization. The observations reveal clear, frequency-dependent responses and measurable time delays between X-ray and VLF peaks. These delays, including cases of near-zero or negative lag for stronger events, highlight the role of flare spectral characteristics and D-region recombination processes. Our results demonstrate the scientific value of long-baseline Antarctic VLF observations for detecting and timing GOES-class flares, while also highlighting key limitations, such as background variability and path-dependent propagation effects, which must be quantified for reliable VLF-based flare monitoring.
arXiv:2607.13916v1 Announce Type: cross
Abstract: Artificial transaction generation remains an important source of potential market manipulation on cryptocurrency exchanges, as it may distort reported liquidity and reduce market transparency. This study proposes a diagnostic framework for detecting unusual trading patterns based on complexity and statistical-structure measures derived from high-frequency trade-level data. The analysis considers log-returns, trading volume, and transaction counts, using tail distributions, autocorrelation functions, multifractal characteristics, approximate entropy, and detrended cross-correlations. The methodology is applied to BTC, ETH, and XRP traded on Binance, Bitget, KuCoin, and Kraken over the period from April 1 to June 30, 2025. The results reveal a pronounced anomaly on Bitget for BTC and ETH after mid-May 2025. The number of transactions increases sharply, but there is no proportional increase in traded volume or return fluctuations. This regime is characterised by numerous low-volume trades, weaker autocorrelations, reduced multifractal organisation, higher short-pattern irregularity, and weaker cross-correlations involving the transaction-count series. These features are consistent with a noise-like component in trading activity and may indicate artificially increased transaction counts, although they do not provide direct proof of wash trading. The findings show that complexity-based indicators can be useful for detecting exchange-specific trading anomalies that remain hidden in price-based measures.
arXiv:2607.13930v1 Announce Type: cross
Abstract: Constraining the equation of state of dense matter requires confronting effective models with massive data that spans many orders of magnitude in scale, from sub-saturation nuclear matter properties to the masses, radii, and tidal deformabilities of neutron stars. Exploring the high-dimensional coupling space of such a model and fine tuning it against all of these constraints is a labor- and time-intensive task. We present \textsc{NNStar}, an end-to-end artificial-intelligence agent that automates this workflow. Rather than a bespoke application, \textsc{NNStar} is delivered as a portable \emph{skill} for an open large-language-model (LLM) agent platform -- a self-describing module that pairs worked usage conventions with symbolic and numerical physics engines that (i) build a relativistic mean-field model directly from a Lagrangian, (ii) solve the mean-field equations of motion and evaluate the saturation properties, (iii) construct the $\beta$-equilibrium equation of state, splice it to a crust, and integrate the Tolman--Oppenheimer--Volkoff equations, and (iv) score the resulting predictions through a Bayesian joint analysis against nuclear matter and astrophysical observations. The agent can read a model, fit its parameters, and report the full set of nuclear matter and neutron star observables without human intervention. \textsc{NNStar} therefore provides a new, AI-driven framework for analyzing nuclear matter and neutron-star observations.
arXiv:2607.13937v1 Announce Type: cross
Abstract: The classical observables of position and momentum are not well adapted to particles in a microphysical situation where typical probability distributions are characterized by a substantial dispersion. We propose the use of more robust quantum observables for probabilistic classical particles. The quantum observables are statistical observables which do not take fixed values for a given classical position and momentum. Solutions of the Liouville equation are discussed in the quantum formalism for classical statistics. Statistical observables are represented by non-commuting operators. No classical correlation function is defined for these observables and Bell's inequalities do not apply. We demonstrate for a general potential how a quantum system emerges from classical statistics. For the particular cases of a harmonic potential and a Coulomb potential we investigate subsystems which describe all features of a quantum particle. This covers the discrete energy spectrum of the hydrogen atom and quantum harmonic oscillator. We discuss the interference for the double-slit experiment. Conserved statistical observables may also be relevant for the probabilistic dynamics of dust or planets.
arXiv:2607.13951v1 Announce Type: cross
Abstract: We prove that the Post Correspondence Problem for finitely generated free groups is undecidable, even when one of the two homomorphisms is injective. This resolves a longstanding open problem in algorithmic group theory. The result exhibits a sharp contrast with the theory of fixed subgroups: although the equalizer of two free-group homomorphisms is finitely generated whenever one of the maps is injective, there is no algorithm that decides whether this equalizer is trivial.
The proof proceeds through a connection with finite-state transducers. Given a cyclic tag system $\mathcal C$, we effectively construct a finite partial deterministic inverse transducer $\mathcal{T}_{\mathcal C}$ whose fixed-point set is nontrivial if and only if $\mathcal C$ halts. We then associate to any such transducer two homomorphisms \(g,h\colon F_Y\longrightarrow F_A,\) with $h$ injective, such that their equalizer is nontrivial precisely when the transducer has a nontrivial fixed loop. Consequently, the rank of these equalizers cannot be computed in general, answering a question posed by Stallings in 1984.
As a further consequence, we prove that no algorithm computes a basis for the fixed subgroup of a virtual endomorphism of a finitely generated free group, nor constructs a finite automaton recognizing the reduced fixed-point language of a finite complete inverse transducer.
arXiv:2607.13952v1 Announce Type: cross
Abstract: Kaonic atoms provide a unique experimental probe of strong interaction in the low-energy regime. In particular, the strong-interaction-induced shift ($\varepsilon_{1\text{s}}$) and width ($\Gamma_{1\text{s}}$) of kaonic hydrogen directly constrain the low-energy antikaon-nucleon ($\bar{K}N$) interaction at threshold and the theoretical description of the $\Lambda$(1405) resonance. We report a new high-precision measurement of kaonic hydrogen X-ray transitions performed by the SIDDHARTA-2 experiment at the DA$\Phi$NE collider (INFN-LNF), based on an integrated luminosity of 237 pb$^{-1}$. The extracted values, $\varepsilon_{1\text{s}}\,=\,-303.0\,\pm\,17.0\,(stat.)\,\pm\,2.5\,(syst.)$ eV and $\Gamma_{1\text{s}}\,=\,607\,\pm\,62\,(stat.)\,\pm\,6\,(syst.)$ eV, represent the most precise determination to date, improving the precision by approximately a factor-of-two with respect to the previous SIDDHARTA measurement. These results significantly tighten the experimental constraints on theoretical description of the low-energy $\bar{K}N$ interaction.