arXiv subjects

Andreas Bauer

Publications and source records attributed to Andreas Bauer.

At least 19 recordsLinked to original sources

arXiv2026

In-situ azimuthal sample rotation within a horizontal-field cryomagnet for small-angle neutron scattering

We present an in-situ azimuthal rotation stage for small-angle neutron scattering measurements. The stage provides an azimuthal rotation range of $315^\circ$ about the stage normal. At the reference sample-stick orientation, the stage normal is parallel to the incident neutron beam, so that the sample rotates in the plane perpendicular to the beam. Combined with a sample stick rotation about a second, orthogonal axis, the stage provides control of the magnetic-field direction relative to the crystal axes, while the field remains fixed in the laboratory frame. For a 5 mm diameter incident beam, sample-stick rotations of approximately $\pm315^\circ$ are accessible with negligible additional attenuation from the holder. The commercial rotator is specified for operation between 1 and 373 K and in magnetic fields up to 35 T, making the stage nominally compatible with the full temperature (1.8 to 320 K) and field (0 to 6.8 T) ranges of the used cryomagnet. As a working example, we characterize its performance on a spherical single crystal of MnSi between 20 and 35 K and in fields up to 183 mT, observing local sample heating during operation of $\sim$20 mK per $5^\circ$ step. We illustrate the design considerations behind the holder construction, with specific notes for mounting spherical samples, and discuss the resulting performance and limitations.

physics.ins-det↗

arXiv2026

The Fallback as Signal: Preserved Human Skill, Liability, and Competence Signaling in Credence-Good Markets under Improving AI

Providers deploying imperfect AI must decide how much to keep humans engaged: engagement costs output but builds the fallback skill needed when it fails. A liability pledge whose expected cost falls in that skill restores single crossing on a type that is neither drawn nor embodied once in a good, but built, decaying and poachable. One engagement decision thus produces both the client-facing signal and the trajectory on which mobile workers sort. That conjunction is what is new. It yields a two-sided band of served work, a stakes threshold above which building beats free-riding, and a signal that never dies.

econ.TH↗

arXiv2026

Insuring the Fallback: Capital, Monitoring, and the Certification of Preserved Human Capability under Improving AI

When generative AI makes the deliverable uninformative, a professional-services provider can still certify the preserved human capability to catch the machine's errors, through a liability pledge whose expected cost falls in that capability. The pledge is credible only up to what can be collected, and that ceiling is set by an underwriter, which bears part of the pledge and audits the insured. The range of client stakes over which one certificate separates has a width bounded by the provider's own capital plus the audited share of the underwriter's capacity, so unmonitored capacity adds nothing to it. Blind capital instead relocates that range upward, through a cross-subsidy that exists only under class rating. Monitoring converts capital into width, removes the cross-subsidy, raises the return to preserving skill, and, because audit information leaks, makes the certificate redundant beyond an interior precision.

econ.TH↗

arXiv2026

Doctrine as a Fixed Point: A Formal Model of the Enforceable Penalty Ceiling when Human Oversight of AI Must Remain Effective

Article 14 of the EU AI Act requires that a high-risk system be overseen by natural persons who understand its limits, remain alert to automation bias, and can disregard or override its output. That capability is invisible in the output and decays precisely when the system is good. A provider can certify it only by an outcome-contingent liability commitment, and how large a commitment courts will enforce is itself open. After Cavendish the enforceable multiple of actual loss is measured against the legitimate interest the clause protects; where that interest is preserved oversight capability, it exists only if the market separates, which requires a sufficiently permissive doctrine. We model the enforceable ceiling as a fixed point of an expectations map on a complete lattice. Existence follows from Knaster-Tarski. Because no case separates at compensation, compensation is always an equilibrium; once the doctrinal uplift clears a threshold set by the case population, a permissive equilibrium and a watershed appear, and the map inherits the provider's solvency cap, so an insurance withdrawal deep enough and long enough can destroy the permissive equilibrium, which returning cover does not restore. Perturbing the adjustment yields a closed-form long-run tipping point, exact recovery times, and the noise levels at which irreversibility fails. The welfare cost of the resulting trap is capped at the drafting cost of primary-obligation substitutes. The order-theoretic core is machine-checked in Lean 4 with an axiom-free report. Both AI-side parameters, shared-base-model intensity and provability, are matched to instruments available in 2026.

econ.TH↗

arXiv2026

The Institutional Window: Occupation- and Jurisdiction-Specific Calibration of Liability Signaling for Preserved Human Fallback Capability

Generative AI makes expert output uninformative about the human fallback capability its provider keeps in reserve. A liability commitment can signal that capability: a provider whose staff rescue more of the cases the AI fails pays damages less often, so the commitment certifies an asset built by keeping people on cases and lost by taking them off. This paper asks where contract law leaves room for such a signal. Four legal primitives map a posted cap into retained exposure and close the message space from both sides: litigation viability, the penalty doctrine, displacement of liability to the state or an indemnity pool, and mandatory control of standard terms. Where the law leaves an option of zero exposure, low types pool at zero, intermediate types separate on a schedule anchored at the mandatory floor, and high types pool at the ceiling; where it does not, separation starts at the bottom type. A statutory floor removes the lower pool but pushes the schedule toward the ceiling, so its net effect is not monotone. The penalty doctrine decides whether recovery adequate for deterrence can be restored by contract or only by investing in verifiability. Holding fallback skill constant demands more human engagement the less often the AI fails. A calibration to five occupations and twelve legal configurations in Germany, Austria, Switzerland, the United Kingdom and the United States locates the binding margin of each cell and supports no ranking by legal family or contracting channel.

econ.TH↗

arXiv2026

The Last Costly Signal: How Generative AI Collapses Competence Signaling and Why Liability Sustains Markets for Expert Services

Generative artificial intelligence has reduced the cost of producing convincing artifacts of expertise-reports, analyses, proposals-to nearly zero. Signaling theory predicts that signals whose content rests on production cost lose it when production becomes cheap. We formalize this for expert services, a class of credence goods, by modeling AI as a compression of the discernible headroom between what machines produce at negligible cost and what buyers can distinguish. Below a critical headroom no separating equilibrium in production-side signals exists; the market pools, high-competence providers earn no premium, and those with outside options exit-Akerlof's lemons dynamic. An outcome-contingent signal-a warranty backed by damages D with ex-post verifiability phi-restores full separation at any level of AI capability whenever phi*D >= v, the value of a solved problem, under four preconditions stated explicitly and priced in turn: no seller-side private information beyond type; verifiable collectible retention behind the promise; no buyer influence on outcome or claim; negligible enforcement deadweight. Expected liability cost depends on whether the problem is solved, not on production costs. A further proposition shows that provenance certification priced as a type-independent stamp (e.g., C2PA) cannot restore full separation, while a verified commitment to forgo the AI frontier re-imposes the pre-AI artifact cost function. Two results endogenize contract institutions: civil-procedure costs set a minimum ticket size v_min below which the modeled court-enforced warranty cannot sustain separation; under liability insurance the signal-effective quantity is the retained, collectible exposure. We state falsification conditions and propose a preregistered conjoint experiment with German-speaking B2B decision-makers; the estimand is willingness to pay in excess of the promise's actuarial value.

econ.TH↗

arXiv2026

Three Ceilings: Model Monoculture, Solvency, and the Penalty Doctrine in Markets for Expert Services

When generative AI drives the marginal cost of a persuasive expert artefact toward zero, production-cost signals of competence collapse and outcome-contingent liability commitments take their place. Such commitments look robust to better AI: a positive failure rate always leaves a residual to price. We show that this robustness rests on an unstated homogeneity assumption, and that a liability commitment faces three ceilings, not one. AI error decomposes into idiosyncratic and common components; capability growth eliminates the idiosyncratic part faster (Kim et al., 2025), so the residual becomes progressively common - and common error is precisely what a verifier drawn from the same foundation model cannot observe: judge scores correlate with judge-generator model similarity at an average r=0.84 (Goel et al., 2025). Provability is therefore state-dependent, theta_eff = theta_0(1 - xi*kappa). Separation requires the commitment that must be posted to fall below what can be posted, v/theta_eff <= min{Lbar, mv}, yielding the survival condition xi*kappabar <= 1 - 1/(M*theta_0) with M = min{Lbar/v, m} and a regime switch at the ticket size v* = Lbar/m: small engagements are constrained by the penalty doctrine, large ones by capital. Calibrated to six engagement types across four jurisdictions, the generative-AI insurance exclusions effective January 2026 shift eight of twenty-four cells from doctrine-bound to solvency-bound and cut the cells surviving xi=0.4 from twelve to four. The insurance withdrawal is a civil-law event; the common-law cells were already at the boundary.

econ.TH↗

arXiv2026

Finding diagonal logical gates in CSS codes and circuits

Finding efficient schemes for non-Clifford logic or magic state preparation is one of the central challenges on the way to fault-tolerant quantum computation. Many of the proposed schemes rely on diagonal non-Clifford logical gates acting on CSS codes in space or decorating CSS-type syndrome-extraction circuits in spacetime. Here we propose and implement efficient algorithms to find all (spacetime) logical gates of a given CSS code (circuit) composed from a prescribed set of ansatz gates. Depending on the choice of ansatz gates, this means finding transversal gates, more general locality-preserving logical circuits, folding gates, or similar. While we focus on qubit diagonal gates in the Clifford hierarchy, we also discuss the generalization to arbitrary diagonal non-hierarchy gates, certain non-diagonal gates, as well as prime and composite-dimensional qudits. Our method works by rephrasing code-space preserving gates as the kernel of the ``pullback'' of the $X$ check matrix onto phase functions, which maps between finite abelian 2-groups. We implement a fast ``filtration'' method to find this kernel. The runtime for finding fault-tolerant logical gates in a qLDPC code with $O(n)$ qubits or a circuit with $O(n)$ gates in a naive dense implementation is $O(n^3)$, with potential for improvement making use of sparsity.

quant-ph↗

arXiv2026

Development of a Modular Optically Detected Magnetic Resonance Setup for Optical Experiments in a Variable Temperature Insert

We developed an optically detected magnetic resonance (ODMR) setup designed for compatibility with a widely used, commercially available helium bath cryostat equipped with a variable temperature insert. The optical path extends nearly two meters, spanning the full length of the cryostat insert, enabling excitation of the nitrogen-vacancy (NV) centers and detection of the resulting fluorescence from outside the cryostat. The setup preserves optical alignment and beam quality along this extended path allowing integration into existing cryogenic systems without significant modifications. We demonstrate the setup's performance by measuring the temperature dependence of the resonance signal and its behavior under small applied magnetic fields, as well as the magnetic transition of a SrRuO$_3$ sample, thereby showcasing the feasibility of NV magnetometry on a sample in constrained cryogenic environments.

physics.ins-det↗

arXiv2026

Planar fault-tolerant circuits for non-Clifford gates on the 2D color code

We introduce a family of scalable planar fault-tolerant circuits that implement logical non-Clifford operations on a 2D color code, such as a logical $T$ gate or a logical non-Pauli measurement that prepares a magic $|T\rangle$ state. The circuits are relatively simple, consisting only of physical $T$ gates, $CX$ gates, and few-qubit measurements. They can be implemented with an array of qubits on a 2D chip with nearest-neighbor couplings, and no wire crossings. The construction is based on a spacetime path integral representation of a non-Abelian 2+1D topological phase, which is related to the 3D color code. We turn the path integral into a circuit by expressing it as a spacetime $ZX$ tensor network, and then traversing it in some chosen time direction. We describe in detail how fault tolerance is achieved using a "just-in-time" decoding strategy, for which we repurpose and extend state-of-the-art color-code matching decoders.

quant-ph↗

arXiv2026

Quo Vadis, Code Review? Exploring the Future of Code Review

Context: Code review has long been a core practice in collaborative software engineering. As automation becomes increasingly embedded in development workflows, the role and functioning of code review are subject to change. Objective: This study explores how professional developers anticipate the evolution of code review and identifies emerging tensions reflected in these expectations. Method: We conducted a cross-sectional survey with 100 developers across five software-driven companies. The survey captured estimates of current review time and reviewed artifacts, as well as anticipated changes over a five-year horizon. Open-ended questions invited reflections on the future of code review. Quantitative responses were analyzed descriptively, and open-ended responses were independently coded by multiple researchers using thematic analysis to identify recurring patterns in participant responses. Results: Practitioners expect code review to remain essential, anticipating stable or increased time investment and a broader range of reviewed artifacts over the next five years. In open-ended responses, many participants explicitly referenced AI and large language models (LLMs), describing increasing automation in both code authoring and reviewing, including scenarios in which automated systems operate in both roles. Conclusion: Our analysis suggests emerging tensions concerning understanding, accountability, and trust in automation-mediated code review. These tensions provide early empirical signals of socio-technical challenges and position code review as a concrete setting for examining the implications of LLM integration in collaborative software engineering.

cs.SE↗

arXiv2026

Cyclotron mass-selective de Haas-van Alphen measurements using temperature modulation

We present a temperature-modulated de Haas-van Alphen measurement technique that allows selective addressing of quantum oscillations with different effective masses $m^{\ast}$ using a non-monotonic amplitude evolution with temperature and magnetic field, governed by the temperature derivative of the Lifshitz-Kosevich factor. The technique relies on harmonic modulation of the sample temperature and phase-sensitive detection of quantum oscillations in the voltage induced in a pick-up coil. We use a set of frequencies with strong Zeeman-driven harmonic content in the compensated topological semimetal MoSi$_{2}$ as a natural linear mass comb ranging from 1$m^{\ast}$ to 13$m^{\ast}$ to demonstrate the tunability of the mass-dependent quantum oscillation amplitudes experimentally. The technique allows to reliably isolate weak contributions of heavy orbits that are inaccessible in conventional de Haas-van Alphen frequency spectra because their frequency peaks overlap with much stronger frequency peaks of lighter orbits.

cond-mat.str-el↗

arXiv2026

Magnetoelastic effects in the metallic frustrated antiferromagnet CrB$_2$

Hexagonal chromium diboride CrB$_2$ is a metallic frustrated antiferromagnet with a Néel temperature $T_N \sim$ 88 K. In CrB$_2$, Cr 3$d$ electrons not only give rise to localized magnetic moments but also contribute to metallic conduction. We perform ultrasound velocity measurements on a single crystal of hexagonal CrB$_2$ to determine its elastic properties. The temperature dependence of the $ab$-plane shear elastic modulus exhibits Curie-type softening upon cooling from $\sim$120 K down to $T_N$. This behavior is interpreted as a precursor to a symmetry-lowering lattice distortion at $T_N$, indicating that magnetic frustration is relieved via transverse magnetoelastic coupling. In addition, the $a$-axis and $c$-axis compressive elastic moduli show unusual softness and their suppression upon cooling, which are naturally explained by Fermi-surface nesting and its suppression upon cooling. The present results suggest that, in CrB$_2$, longitudinal magnetoelastic coupling suppresses Fermi-surface nesting and enhances frustrated exchange interactions, while transverse magnetoelastic coupling plays a key role in relieving the frustration.

cond-mat.str-el↗

arXiv2026

High-threshold decoding of non-Pauli codes for 2D universality

Topological codes have many desirable properties that allow fault-tolerant quantum computation with relatively low overhead. A core challenge for these codes, however, is to achieve a low-overhead universal gate set with limited connectivity. In this work, we explore a non-Pauli stabilizer code that can be used to complete a universal gate set on topological toric and surface codes in strictly two dimensions. Fault-tolerant syndrome extraction for the non-Pauli code requires mid-circuit $X$ corrections, a key difference to conventional Pauli codes. We construct and benchmark a just-in-time (JIT) matching decoder to reliably decide these corrections. Under a phenomenological error model with equally likely physical and measurement errors, we find a high threshold of $\approx 2.5\,\%$, close to the $\approx 2.9\,\%$ of a decoder with access to the full syndrome history. We also perform a finite-size scaling analysis to estimate how the logical error rate scales below threshold and verify an exponential suppression in both physical error rate and in the system size. A second global decoding step for $Z$ errors is required and the non-Clifford gates in the circuit reduce the threshold from $\approx 2.9\,\%$ to $\approx 1.8\,\%$ with a naive decoder. We show how $Z$ decoding can be improved using knowledge of the $X$ corrections, pushing the threshold to $\approx 2.2\,\%$. Our results suggest non-Clifford logic in 2D codes could perform comparably to 2D quantum memory. Our formalism for efficient benchmarking and decoding directly generalizes to a broader family of CSS codes whose $X$ stabilizers are twisted by diagonal Clifford operators, and spacetime versions thereof, defined by CSS-like circuits enriched by $CCZ$, $CS$, and $T$ gates.

quant-ph↗

arXiv2026

Non-reciprocal spin excitations across the skyrmion-paramagnetic phase transition in MnSi

The magnetic excitations of the skyrmion lattice in MnSi comprise a multitude of individual modes, which are non-reciprocal and thereby propagate unidirectionally. We report inelastic neutron scattering experiments for temperatures near and above the skyrmion-paramagnetic phase transition in the chiral magnet MnSi tracking the evolution from the skyrmion lattice towards the high-temperature paramagnetic state. Within the resolution of the triple-axis measurements the excitations vary smoothly across the skyrmion-paramagnetic boundary, and, the quasi-elastic paramagnetic signal under applied field retains the non-reciprocal character seen in the skyrmion phase even far above the critical temperature. Using a resolution-convolution our results are consistent with linear spin-wave theory.

cond-mat.str-el↗

arXiv2026

Quadratic tensors as a unification of Clifford, Gaussian, and free-fermion physics

Certain families of quantum mechanical models can be described and solved efficiently on a classical computer, including qubit or qudit Clifford circuits and stabilizer codes, free-boson or free-fermion models, and certain rotor and GKP codes. We show that all of these families can be described as instances of the same algebraic structure, namely quadratic functions over abelian groups, or more generally over (super) Hopf algebras. Different kinds of degrees of freedom correspond to different "elementary" abelian groups or Hopf algebras: $\mathbb{Z}_2$ for qubits, $\mathbb{Z}_d$ for qudits, $\mathbb{R}$ for continuous variables, both $\mathbb{Z}$ and $\mathbb{R}/\mathbb{Z}$ for rotors, and a super Hopf algebra $\mathcal F$ for fermionic modes. Objects such as states, operators, superoperators, or projection-operator valued measures, etc, are tensors. For the solvable models above, these tensors are quadratic tensors based on quadratic functions. Quadratic tensors with $n$ degrees of freedom are fully specified by only $O(n^2)$ coefficients. Tensor networks of quadratic tensors can be contracted efficiently on the level of these coefficients, using an operation reminiscent of the Schur complement. Our formalism naturally includes models with mixed degrees of freedom, such as qudits of different dimensions. We also use quadratic functions to define generalized stabilizer codes and Clifford gates for arbitrary abelian groups. Finally, we give a generalization from quadratic (or 2nd order) to $i$th order tensors, which are specified by $O(n^i)$ coefficients but cannot be contracted efficiently in general.

quant-ph↗

arXiv2025

Reflections on the Reproducibility of Commercial LLM Performance in Empirical Software Engineering Studies

Large Language Models have gained remarkable interest in industry and academia. The increasing interest in LLMs in academia is also reflected in the number of publications on this topic over the last years. For instance, alone 78 of the around 425 publications at ICSE 2024 performed experiments with LLMs. Conducting empirical studies with LLMs remains challenging and raises questions on how to achieve reproducible results, for both researchers and practitioners. One important step towards excelling in empirical research on LLM and their application is to first understand to what extent current research results are eventually reproducible and what factors may impede reproducibility. This investigation is within the scope of our work. We contribute an analysis of the reproducibility of LLM-centric studies, provide insights into the factors impeding reproducibility, and discuss suggestions on how to improve the current state. In particular, we studied the 85 articles describing LLM-centric studies, published at ICSE 2024 and ASE 2024. Of the 85 articles, 18 provided research artefacts and used OpenAI models. We attempted to replicate those 18 studies. Of the 18 studies, only five were sufficiently complete and executable. For none of the five studies, we were able to fully reproduce the results. Two studies seemed to be partially reproducible, and three studies did not seem to be reproducible. Our results highlight not only the need for stricter research artefact evaluations but also for more robust study designs to ensure the reproducible value of future publications.

cs.SE↗

arXiv2025

Real-space observation of the low-temperature Skyrmion lattice in Cu2OSeO3(100) single crystal

Cu2OSeO3 is a skyrmion host material in which two distinct thermodynamically stable skyrmion phases were identified. We report magnetic force microscopy imaging of the low-temperature magnetic phases in bulk Cu2OSeO3(100) single crystal. Tuning the external magnetic field over the various phase transition at a temperature of 10 K, we observe the formation of helical, conical, tilted conical and skyrmion lattice domains in real space.

cond-mat.mes-hall↗