arxiv: 2605.14934 · v1 · submitted 2026-05-14 · ❄️ cond-mat.mes-hall

Recognition: 2 theorem links

· Lean Theorem

Resonant optical cooling of nuclear spins in case of strong Knight field of photoexcited electrons

Kirill Kavokin

Authors on Pith no claims yet

Pith reviewed 2026-05-15 03:14 UTC · model grok-4.3

classification ❄️ cond-mat.mes-hall

keywords nuclear spin coolingresonant optical coolingKnight fieldOverhauser fieldHanle effectsemiconductor spin polarizationhelicity modulation

0 comments

The pith

Strong Knight field from photoexcited electrons lets resonant nuclear cooling produce an Overhauser field that reshapes the Hanle curve of carrier spin polarization.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines resonant cooling of nuclear spins in semiconductors driven by spin-polarized carriers under helicity-modulated optical pumping. When the Knight field of the carriers exceeds the local dipole-dipole fields among nuclei, the Overhauser field built by this cooling process alters the magnetic-field dependence of carrier spin polarization. This dependence is measured experimentally through the Hanle effect. A reader would care because the nuclear spins, normally secondary, become a dominant influence on observable carrier behavior under these conditions.

Core claim

In the case of strong Knight field of charge carriers, exceeding local fields of the dipole-dipole interaction of nuclear spins, the Overhauser field arising as a result of resonant cooling can considerably modify the overall shape of magnetic-field dependences of charge carrier spin polarization, experimentally observed as the Hanle effect.

What carries the argument

Resonant cooling of the nuclear spin system by helicity-modulated pumping, which generates a dominant Overhauser field when the carrier Knight field is strong.

Load-bearing premise

The Knight field of the photoexcited carriers exceeds the local dipole-dipole fields of the nuclear spins.

What would settle it

If experiments with helicity-modulated pumping show no change in the shape of the Hanle curve under conditions where the Knight field is known to exceed nuclear local fields, the predicted modification by the Overhauser field would be ruled out.

Figures

Figures reproduced from arXiv: 2605.14934 by Kirill Kavokin.

**Figure 2.** Figure 2: FIG. 2. Examples of Hanle curves under resonant cooling of [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

read the original abstract

Resonant cooling of the nuclear spin system of a semiconductor by spin-polarized charge carriers under pumping with helicity-modulated polarized light is considered theoretically. It is shown that in the case of strong Knight field of charge carriers, exceeding local fields of the dipole-dipole interaction of nuclear spins, the Overhauser field arising as a result of resonant cooling can considerably modify the overall shape of magnetic-field dependences of charge carrier spin polarization, experimentally observed as the Hanle effect.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Resonant cooling generates an Overhauser field that can reshape Hanle curves when the Knight field dominates, but the derivation fixes the resonance condition and adds the Overhauser shift afterward.

read the letter

The paper's central claim is that resonant cooling of nuclei by helicity-modulated light produces an Overhauser field large enough to change the shape of the Hanle curve once the Knight field from carriers exceeds nuclear dipolar local fields. This is presented as a direct consequence of standard dynamic nuclear polarization ideas applied to the strong-Knight regime. The abstract frames it as a theoretical result that could affect how Hanle data are interpreted in optically pumped semiconductors. That extension to the strong-field case is the main new element; prior work on resonant cooling is referenced but the specific impact on the full magnetic-field dependence appears to be the addition here. The logic stays within established Knight and Overhauser concepts without introducing fitted parameters or circular definitions. The treatment is straightforward and identifies a regime where the Overhauser field could become the dominant shift. The main limitation is that the cooling rate is written with the resonance condition set by the external field plus a constant Knight field; the Overhauser field is then inserted as a static addition. When the Overhauser field grows comparable to the Knight field it must detune the nuclear Larmor frequency from the modulation frequency, lowering the cooling efficiency. No iterative or self-consistent solution of the coupled rate equations is described, so the size of the claimed Hanle modification cannot be checked from the given setup. The abstract supplies no equations, which limits immediate verification. This work is for specialists in optical pumping and nuclear spin dynamics in semiconductors. A reader already following Hanle measurements or Knight-field effects would see the potential relevance. I would send it to peer review because the idea is concrete and points to an observable consequence, even though the back-action issue needs to be addressed in revision.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a theoretical model for resonant cooling of nuclear spins in a semiconductor via spin-polarized photoexcited carriers under helicity-modulated optical pumping. It claims that when the Knight field of the carriers exceeds the local dipolar fields of the nuclei, the Overhauser field generated by this resonant cooling substantially alters the shape of the magnetic-field dependence of carrier spin polarization, as observed in the Hanle effect.

Significance. If the central result holds after correction, the work supplies a concrete mechanism by which dynamic nuclear polarization can feed back onto the Hanle curve in the strong-Knight-field regime, extending standard treatments of Knight and Overhauser fields to a regime relevant for optical spin control experiments. The derivation is parameter-free once the Knight field strength is given, and the predicted reshaping is falsifiable against existing Hanle data.

major comments (2)

[§3, Eq. (8)] §3, Eq. (8): the nuclear polarization rate equation is written with the resonance condition fixed by the external field plus the (constant) Knight field B_K; the Overhauser field B_N is then added as a static shift after the cooling rate is computed. When |B_N| becomes comparable to |B_K|, the nuclear Larmor frequency detunes from the modulation frequency, reducing the cooling efficiency. No self-consistent or iterative solution of the coupled equations for polarization and total effective field is provided, so the magnitude of the claimed Hanle-curve modification cannot be verified from the given expressions.
[§4, Fig. 2] §4, Fig. 2 and accompanying text: the plotted Hanle curves assume the Overhauser field reaches its maximum value without back-action on the resonance condition. This renders the quantitative reshaping of the curve (especially the central dip or asymmetry) dependent on an unverified approximation precisely in the regime where the paper asserts the effect is strongest.

minor comments (2)

[§2] The definition of the effective nuclear field in §2 should explicitly state whether the dipolar local field is taken as rms or peak value, as this sets the threshold for the 'strong Knight field' regime.
Notation for the modulation frequency ω_m and the nuclear Larmor frequency should be unified across equations to avoid confusion with the electron Larmor frequency.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and for identifying the need for a self-consistent treatment of the coupled nuclear polarization and effective magnetic field. We have revised the manuscript to incorporate an iterative solution of the resonance condition and Overhauser field, which confirms that the predicted modification to the Hanle curve remains substantial. Point-by-point responses follow.

read point-by-point responses

Referee: [§3, Eq. (8)] §3, Eq. (8): the nuclear polarization rate equation is written with the resonance condition fixed by the external field plus the (constant) Knight field B_K; the Overhauser field B_N is then added as a static shift after the cooling rate is computed. When |B_N| becomes comparable to |B_K|, the nuclear Larmor frequency detunes from the modulation frequency, reducing the cooling efficiency. No self-consistent or iterative solution of the coupled equations for polarization and total effective field is provided, so the magnitude of the claimed Hanle-curve modification cannot be verified from the given expressions.

Authors: We agree that the original formulation approximated the resonance condition with B_ext + B_K and treated B_N as a subsequent shift. This approximation holds when |B_N| ≪ |B_K| but requires refinement in the regime of interest. In the revised manuscript we have added an iterative self-consistent procedure: an initial B_N is assumed, the total field B_ext + B_K + B_N is inserted into the detuning term of the polarization rate equation, the resulting steady-state nuclear polarization is computed, a new B_N is obtained, and the loop is repeated until convergence (typically within a few iterations). The updated expressions and numerical results are presented in the revised §3. The calculation shows that cooling efficiency is indeed reduced once |B_N| approaches |B_K|, yet the final Overhauser field remains large enough to produce a clear reshaping of the Hanle curve, including asymmetry and a central feature. We have also added a brief analytic estimate of the convergence criterion. revision: yes
Referee: [§4, Fig. 2] §4, Fig. 2 and accompanying text: the plotted Hanle curves assume the Overhauser field reaches its maximum value without back-action on the resonance condition. This renders the quantitative reshaping of the curve (especially the central dip or asymmetry) dependent on an unverified approximation precisely in the regime where the paper asserts the effect is strongest.

Authors: The original Fig. 2 was intended to illustrate the maximum possible effect under the simplifying assumption. Following the referee’s observation we have replaced the figure with a new version that overlays the non-self-consistent (original) curves with the fully self-consistent results obtained from the iterative procedure described above. The revised caption and surrounding text explicitly state the approximation used in the original plot and quantify the reduction in amplitude that arises from back-action. The central dip and asymmetry persist in the self-consistent curves, although their depth is modestly smaller; this is now shown directly in the figure. We have also added a short paragraph discussing the range of parameters for which the effect remains experimentally detectable. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation uses standard rate equations without self-referential reduction

full rationale

The paper derives resonant nuclear cooling from conventional Knight-field and modulation-driven rate equations, then computes the resulting Overhauser shift as a downstream consequence. No equation defines a parameter in terms of the final Hanle-curve modification, no prediction is obtained by fitting the target observable, and no load-bearing step rests on a self-citation whose content is itself unverified. The central claim therefore remains an independent theoretical consequence rather than a restatement of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on established domain concepts of Knight and Overhauser fields in semiconductors without introducing new free parameters or entities.

axioms (1)

domain assumption Knight field from photoexcited electrons can exceed nuclear dipole-dipole local fields
Invoked directly in the abstract to define the regime where resonant cooling produces a dominant Overhauser field.

pith-pipeline@v0.9.0 · 5367 in / 1097 out tokens · 57844 ms · 2026-05-15T03:14:09.174065+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The DNP rate along the X-axis ... is equal to the sum of the DNP rates ... (see Fig. 1). The steady-state nuclear polarization ... is determined by the balance between dynamic nuclear polarization (DNP) and spin-lattice relaxation ... Eq. (2)
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat_induction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

A modified rotating frame method is used for this purpose.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

Meier and B

Optical Orientation, edited by F. Meier and B. P. Zakharchenya (North-Holland, Amsterdam, 1984), Chapter 5 by I.A.Merkulov and V.G.Fleisher

work page 1984
[2]

A., Greilich, A., Yakovlev, D

Zhukov, E. A., Greilich, A., Yakovlev, D. R., Kavokin, K. V., Yugova, I. A., Yugov, O. A., Suter, D., Karczewski, G., Wojtowicz, T., Kossut, J., Petrov, V. V., Dolgikh, Yu. K., Pawlis, A. Bayer, M., All-optical NMR in semiconductors provided by resonant cooling of nuclear spins interacting with electrons in the resonant spin amplification regime, Phys.Rev...

work page 2014
[3]

I.A.Merkulov and M.N.Tkachuk, Resonant cooling of the spin system of a superconductor lattice nuclei following optical orientation of the electrons, Sov Phys JETP 56, 342 (1982)

work page 1982
[4]

Kalevich, V. K., V. D. Kul’kov, and V. G. Fleisher, Optical cooling of the spin system of nuclei in a semiconductor lattice in a rotating system of coordinates, Sov. Phys. Solid State 22, 703 (1980)

work page 1980
[5]

Kotur, P.S

M. Kotur, P.S. Bazhin ,K.V. Kavokin ,N.E. Kopteva ,D.R. Yakovlev, D. Kudlacik, and M. Bayer, Dynamic polarization of nuclear spins by optically oriented electrons and holes in lead halide perovskite semiconductors, Phys.Rev. B 113, 085204 (2026)

work page 2026
[6]

Manifestation of the sign of the g factor of conduction electrons in resonant cooling of the nuclear spin system of a semiconductor

V.K.Kalevich, V. D. Kul’kov, and V. G. Fleisher. "Manifestation of the sign of the g factor of conduction electrons in resonant cooling of the nuclear spin system of a semiconductor." Sov. Phys. Solid State 23, 892 (1981)

work page 1981