Refined Half-Integer Condition

• The refined half-integer condition is a constraint where half-integrality is combined with extra structural data, resulting in rigid families or finite classifications.
• It applies across disciplines such as harmonic mappings, paraxial optics, and quantum transport by enforcing conditions like symmetry, monodromy, and coefficient bounds.
• The condition enables precise control in diverse systems, from geometric function theory and operator expansions to RG flows and fractional quantum phenomena.

The refined half-integer condition is a context-dependent constraint appearing in several areas of mathematics and physics whenever a quantity is required to lie in $\frac12\mathbb Z$ and that requirement is sharpened by additional structural data. The available literature suggests a common pattern: half-integrality alone is rarely decisive, whereas coefficient bounds, monodromy, braiding, symmetry, dilatation, or equilibration reduce the admissible objects to a rigid family or to a finite classification. Distinct formulations occur in univalent harmonic mappings (Ponnusamy et al., 2012), paraxial optics (Carbajal-Dominguez et al., 2014), driven graphene (Ding et al., 2017), imbalanced honeycomb bosons (Gawryluk et al., 2012), Josephson systems (Mori et al., 2021, Ueda et al., 2020, Yao et al., 2021), polar active matter (Amiri et al., 2021), fractional quantum spin Hall and thermal transport (May-Mann et al., 2024, Roy et al., 14 Jun 2025), formal Bernoulli expansions (Alekseyev et al., 6 Jun 2025), braided-category constraints on RG flows (Kikuchi, 12 Feb 2026), and half-integer irregular Virasoro modules (Zang, 12 Dec 2025, Nagoya, 27 May 2026).

1. Recurring structure of the condition

Across these literatures, the refined condition takes the form of a half-integer datum plus an auxiliary compatibility requirement. In geometric function theory, the datum is half-integrality of coefficients, and the refinement is a rigidity statement on the co-analytic part and on the dilatation (Ponnusamy et al., 2012). In paraxial optics, the datum is a half-integer Bessel order, and the refinement is the coordinated choice

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$

with integer $m$, which preserves single-valuedness while allowing closed forms (Carbajal-Dominguez et al., 2014). In RG-flow problems, the datum is

$$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$

and the refinement is a necessary criterion formulated in terms of the universal $\mathbb Z/2\mathbb Z$ grading of the surviving symmetry category (Kikuchi, 12 Feb 2026).

A similar sharpening occurs in arithmetic and representation theory. For sums of half-integer powers, the half-integer exponent $p=k/2$ is refined into an exact decomposition into a polynomial in $\sqrt n$ plus finitely many convergent Ramanujan tails, with a parity rule forcing many coefficients to vanish (Alekseyev et al., 6 Jun 2025). For half-integer irregular Virasoro modules, the half-integer rank is accompanied by $\mathbb Z_2$-twisted monodromy, a truncated eigenvalue window, and a canonical differential operator that closes the recursion (Zang, 12 Dec 2025, Nagoya, 27 May 2026).

2. Geometric function theory: harmonic mappings with half-integer coefficients

In the theory of sense-preserving univalent harmonic mappings on the unit disk, the refined half-integer condition is formulated for

$$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$

with all coefficients of $h$ and $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$0 in $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$1 and with $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$2, where $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$3 (Ponnusamy et al., 2012). The key restrictions are: $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$4 If $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$5, subordination and Rogosinski’s coefficient bound force $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$6, so the harmonic map reduces to one of the analytic half-integer maps classified by Hiranuma–Sugawa. If $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$7, the equality case of the sharp bound implies

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$8

and the half-integer coefficient condition then forces $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$9, hence

$m$0

This is the paper’s refined half-integer condition in the harmonic setting: non-analyticity survives only for the specific shears produced by the dilatations $m$1 (Ponnusamy et al., 2012).

Under convexity in a direction, this rigidity becomes a complete finite classification. For mappings convex in the real direction, $m$2 reduces to a set of $m$3 functions, of which exactly six are non-conformal; the non-analytic cases are the six shears collected in $m$4. For mappings convex in the imaginary direction, the admissible class has $m$5 functions, of which exactly two are non-conformal, namely the two shears in $m$6 (Ponnusamy et al., 2012). In the integer case, integrality is even more rigid: if both $m$7 and $m$8 have integer coefficients, then necessarily $m$9, so the harmonic mapping is analytic and belongs to Friedman’s nine-function list (Ponnusamy et al., 2012).

The open problem is correspondingly sharp. The authors conjecture that every element of $$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$0, even without imposing convexity in the real or imaginary direction, belongs to

$$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$1

namely the nine analytic integer-coefficient functions, the twelve analytic half-integer additions, and the six non-analytic shears (Ponnusamy et al., 2012).

3. Wave, beam, and angular-momentum formulations

In paraxial optics, the refined half-integer condition appears in the construction of half-integer order Bessel beams. Starting from the angular spectrum of plane waves in circular cylindrical coordinates, the field takes the form

$$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$2

The refinement is the coordinated choice

$$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$3

with integer $$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$4 and propagation restricted by

$$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$5

Integer $$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$6 guarantees single-valuedness through the azimuthal factor $$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$7, while the radial Bessel index becomes $$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$8; when $$h_c^{\mathrm{UV}}+h_{F(c)}^{\mathrm{IR}}\in \tfrac12\mathbb Z,$$9 is odd, $\mathbb Z/2\mathbb Z$0 and the radial dependence reduces to spherical Bessel functions, hence to elementary $\mathbb Z/2\mathbb Z$1 and $\mathbb Z/2\mathbb Z$2 forms (Carbajal-Dominguez et al., 2014). The closed-form propagated field is

$\mathbb Z/2\mathbb Z$3

with

$\mathbb Z/2\mathbb Z$4

Here the refined condition is the simultaneous enforcement of radial half-integrality and azimuthal single-valuedness (Carbajal-Dominguez et al., 2014).

A related but group-theoretic version occurs in harmonic wave functions for integer and half-integer angular momentum. Using the Hurwitz–Hopf map and the double cover $\mathbb Z/2\mathbb Z$5, the Euler-angle parameterization

$\mathbb Z/2\mathbb Z$6

distinguishes the integer sector from the half-integer sector through the periodicity of $\mathbb Z/2\mathbb Z$7 (Hojman et al., 2022). The refined condition is that wavefunctions on $\mathbb Z/2\mathbb Z$8 may contain the factor $\mathbb Z/2\mathbb Z$9 and are then single-valued under $p=k/2$0, whereas they acquire a minus sign under $p=k/2$1 when viewed on $p=k/2$2. The resulting wavefunctions are

$p=k/2$3

so the refined half-integer condition is a monodromy condition tied to the topology of the covering group (Hojman et al., 2022).

4. Quantum transport, Hall physics, and lattice bosons

In ac-driven graphene, the half-integer condition governs the persistence of the Dirac-type Hall sequence

$p=k/2$4

Under an off-resonant ac field, the Floquet-renormalized hoppings are

$p=k/2$5

and the refined condition for retaining the half-integer offset is the two-cone inequality

$p=k/2$6

At the merging point,

$p=k/2$7

the half-integer offset is removed; beyond it, the system is gapped and the sequence becomes conventional integer QHE with a central $p=k/2$8 plateau (Ding et al., 2017). Here the refinement is a lattice-level criterion for when the half-integer Hall phenomenology survives.

In half-integer fractional quantum spin Hall systems, the defining transport datum is

$p=k/2$9

For sufficiently strong spin-conserving interactions, both Abelian and non-Abelian half-integer FQSH edges flow to the same universal minimal fixed point consisting of a single pair of charged counter-propagating bosonic modes, and the two-terminal conductance is

$\sqrt n$0

which reduces to a half-integer multiple of $\sqrt n$1 for Fermi-liquid contacts with $\sqrt n$2 (May-Mann et al., 2024). If spin conservation is broken but time-reversal symmetry is preserved, the refinement distinguishes Abelian from non-Abelian edges: the Abelian edge can be fully gapped by a TRS interaction, whereas the non-Abelian edge remains gapless and can flow to a helical pair of Majorana fermions (May-Mann et al., 2024).

A different refinement appears in two-terminal thermal transport through bilayer graphene edge networks. In the geometry with a $\sqrt n$3 junction and full charge and thermal equilibration within segments, the junction thermal conductance is

$\sqrt n$4

At $\sqrt n$5 this yields

$\sqrt n$6

The paper’s point is that this half-integer value is not a topological invariant and does not require Majorana modes; it arises from an Abelian integer quantum Hall network with series addition in the variable $\sqrt n$7 under full equilibration (Roy et al., 14 Jun 2025). The refined condition is therefore operational: a half-integer two-terminal thermal plateau is non-topological if it follows the rational-counting rule and tracks the corresponding electrical conductance (Roy et al., 14 Jun 2025).

In the imbalanced honeycomb Bose–Hubbard model, the refined half-integer condition identifies incompressible half-integer Mott phases generated by dimerization. With strong links $\sqrt n$8 and weak links $\sqrt n$9, the first half-integer lobe corresponds to bonding occupancy $\mathbb Z_2$0, hence per-site filling $\mathbb Z_2$1. In the uncoupled-dimer limit $\mathbb Z_2$2, its chemical-potential window is

$\mathbb Z_2$3

and at finite $\mathbb Z_2$4 the MI–SF boundary is

$\mathbb Z_2$5

with

$\mathbb Z_2$6

The refined condition is thus a dimer mean-field criterion for when half-integer filling becomes incompressible (Gawryluk et al., 2012).

5. Nonlinear dynamics: Josephson phase locking and active defects

In superconducting systems, half-integer Shapiro steps provide one of the most visible uses of the refined half-integer condition. In a $\mathbb Z_2$7-SQUID containing one $\mathbb Z_2$8-junction and one $\mathbb Z_2$9-junction, flux quantization and loop inductance generate an effective second harmonic,

$$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$0

with

$$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$1

At $$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$2 for a $$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$3-SQUID, the first harmonic is suppressed and the dominant term is $$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$4, producing half-integer steps at

$$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$5

The refined condition is that the $$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$6- and $$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$7-junctions be nearly equivalent and that the loop inductance be sufficiently strong to support spontaneous circulating currents; the paper identifies branch equivalence and finite $$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$8 as the key requirements for robust half-integer steps and for realizing the $$f(z)=h(z)+\overline{g(z)}, \quad h(z)=z+\sum_{n=2}^\infty a_n z^n, \quad g(z)=\sum_{n=1}^\infty b_n z^n,$$9-qubit regime (Mori et al., 2021).

In a short ballistic InAs nanowire Josephson junction, the same voltage sequence arises from a different refinement. The current–phase relation is that of a short ballistic contact,

$h$0

For $h$1, the CPR is strongly skewed and contains substantial higher harmonics, so overdamped RCSJ dynamics produce half-integer Shapiro steps. The steps weaken as $h$2 is reduced by gating and almost vanish by $h$3, while integer steps persist to higher temperature (Ueda et al., 2020). Here the refinement is high transparency plus low temperature, rather than loop frustration.

In strong-ferromagnet Nb/NiFe/Nb junctions, half-integer steps are attributed to coexistence of $h$4 and $h$5 states generated by spatial variation of the NiFe thickness. The reported NiFe thickness variation is approximately $h$6 to $h$7, and the difference of about $h$8 is comparable to the $h$9–$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$00 half-period of about $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$01 for NiFe. The resulting laterally mixed $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$02 structure generates an effective second harmonic and robust half-integer steps over $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$03–$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$04 (Yao et al., 2021). The refined condition is therefore geometric and micromagnetic: thickness inhomogeneity near a $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$05–$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$06 transition.

In polar active matter, the refined half-integer condition concerns topological defect charge. The continuum model contains both a polar elasticity $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$07 and an apolar or nematic-like elasticity $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$08, with control parameter

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$09

Half-integer defects emerge when activity exceeds the onset for defect nucleation and the effective elastic response is sufficiently nematic-like: $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$10 while full-integer defects dominate for

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$11

A coexistence window appears for intermediate $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$12, and the necessary core condition for half-integer winding is that the polarity magnitude satisfy $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$13 at the defect core (Amiri et al., 2021). The refined condition is thus an elastic-symmetry selection rule for whether a polar medium behaves effectively as polar or nematic in its defect sector.

6. Algebraic, categorical, and arithmetic formulations

In two-dimensional RG flows with symmetry categories, the original half-integer condition states that for a surviving symmetry object $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$14 and an RG defect,

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$15

The refinement is a necessary criterion for when the sum can actually be half-integer. If

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$16

then

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$17

More generally, half-integer sums are allowed only if $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$18 and $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$19 has odd degree under the universal grading. Equivalently, the defect extension must be a VOSA rather than a VOA (Kikuchi, 12 Feb 2026). This refinement turns a purely numerical half-integrality statement into a categorical constraint on parity.

Half-integer irregular Virasoro modules provide another sharply algebraic instance. For rank $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$20, the refined condition requires a $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$21-twisted free boson with

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$22

together with the $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$23-invariant stress tensor

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$24

so that $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$25 and $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$26 has no $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$27-number term (Zang, 12 Dec 2025). The half-integer irregular state is an eigenvector only for

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$28

is annihilated by $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$29 for $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$30, and is acted upon by differential operators for $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$31 (Zang, 12 Dec 2025). The later existence-and-uniqueness theorem constructs the truncated vector fields $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$32, an anti-upper-triangular matrix $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$33 with

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$34

and a canonical operator

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$35

that isolates $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$36 and closes the recursion for half-integer rank irregular vectors (Nagoya, 27 May 2026). The refined condition here is a closure condition for the Virasoro differential realization.

In number theory, the refined half-integer condition appears in the exact Ramanujan-type formula for

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$37

with $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$38 odd. The formula is

$A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$39

where $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$40 are convergent Ramanujan tails (Alekseyev et al., 6 Jun 2025). What is refined is the parity pattern in the coefficients: $A(\rho,\psi)=J_{m/2}(a^2\rho^2)e^{im\psi}$41 Thus half-integer exponents do not merely produce non-polynomial corrections; they produce a sparse, parity-controlled tail structure that distinguishes them from the integer-power Faulhaber case (Alekseyev et al., 6 Jun 2025).

Taken together, these formulations indicate that the refined half-integer condition is not a single theorem but a recurring principle: half-integrality becomes mathematically decisive only after one specifies the extra structure that determines whether half-integer behavior survives, collapses to integer behavior, or reduces to a finite rigid family.