SPO-codes: Contextual Variants & Applications

• SPO-codes are context-dependent labels representing distinct constructs, from suffix–prefix overlaps in symbolic dynamics to standardized optimization in audio alignment, Lie algebra encodings, biomedical signal processing, and portfolio optimization.
• In symbolic dynamics, SPO-codes define unambiguous concatenation of code words via overlap rules, providing a framework for constructing synchronized subshifts and establishing intrinsic ergodicity.
• Across applications, SPO-codes implement methods like per-listener z-scoring in audio alignment, combinatorial encoding of basis vectors in Lie superalgebras, stage-wise signal reconstruction in biomedical learning, and decision-focused optimization in finance.

“SPO-codes” is a context-dependent label rather than a single uniformly standardized object. In the most explicit usage, it denotes suffix–prefix-codes with overlap, a class of codes with overlapping code words introduced in symbolic dynamics (Krieger, 4 Sep 2025). In other recent literatures, the same label is used for implementation-oriented descriptions of Standardized Preference Optimization in x-to-audio alignment (Takano et al., 6 Jan 2026), for combinatorial encodings associated with the orthosymplectic Lie superalgebra $\mathfrak{spo}(4|1)$ (Cao et al., 21 Apr 2026), for explicit rule systems governing $\mathfrak{spo}(2|2)$-equivariant quantization on the supercircle (Mellouli et al., 2013), for SpO$_2$-related signal encodings in biomedical prediction (Gauy et al., 2024, Liang et al., 9 Jul 2026), and for Smart Predict-then-Optimize mechanisms in decision-focused portfolio learning (Wang et al., 2 May 2026). The term therefore requires disambiguation by field, mathematical object, and intended implementation.

1. Terminological scope and disambiguation

The following usages are distinct.

Context	Meaning of “SPO-codes”	Primary source
Symbolic dynamics	Suffix–prefix-codes with overlap	(Krieger, 4 Sep 2025)
X-to-audio evaluation	Standardized Preference Optimization code path for CLAPScore training	(Takano et al., 6 Jan 2026)
$\mathfrak{spo}(4|1)$ representation theory	Integer- and tableau-based encodings of Verma basis vectors	(Cao et al., 21 Apr 2026)
$\mathfrak{spo}(2|2)$ quantization	Explicit recursive correction rules for equivariant quantization	(Mellouli et al., 2013)
Biomedical learning	SpO$_2$-related continuous or threshold encodings, and predictor-guided reconstruction	(Gauy et al., 2024, Liang et al., 9 Jul 2026)
Portfolio optimization	SPO$^+$-based Smart Predict-then-Optimize decision signals	(Wang et al., 2 May 2026)

A recurring source of confusion is that the same three letters expand differently across these settings. In symbolic dynamics, “SPO” is suffix–prefix–overlap. In x-to-audio alignment, “SPO” is Standardized Preference Optimization. In portfolio optimization, “SPO” is Smart Predict-then-Optimize through the SPO$^+$ surrogate. In the orthosymplectic papers, “spo” refers to the Lie superalgebras $\mathfrak{spo}(4|1)$ and $\mathfrak{spo}(2|2)$, and the phrase “SPO-codes” is best understood as a convenient description of the associated combinatorial or recursive encodings rather than as a named code family.

A common misconception is that “SPO-codes” always refers to the symbolic-dynamics construction. The literature does not support that reading. Only the symbolic-dynamics paper formally introduces a class of codes with that exact name, whereas the other usages are contextual and tied to specific implementation or representation schemes.

2. Suffix–prefix-codes with overlap in symbolic dynamics

In symbolic dynamics, an SPO-code is defined over a finite alphabet $\mathfrak{spo}(2|2)$0 relative to a bifix code $\mathfrak{spo}(2|2)$1. For each word $\mathfrak{spo}(2|2)$2, there is a proper prefix $\mathfrak{spo}(2|2)$3 and a proper suffix $\mathfrak{spo}(2|2)$4. Writing

$\mathfrak{spo}(2|2)$5

the concatenation with overlap is

$\mathfrak{spo}(2|2)$6

This operation identifies the distinguished suffix of $\mathfrak{spo}(2|2)$7 with the distinguished prefix of $\mathfrak{spo}(2|2)$8, so the overlap appears only once. The paper defines an SPO-code as a code $\mathfrak{spo}(2|2)$9 contained in $_2$0 for some bifix code $_2$1, and shows that $_2$2 with

$_2$3

(Krieger, 4 Sep 2025).

The associated concatenation set $_2$4 consists of bi-infinite sequences $_2$5 admitting a bi-infinite sequence of indices $_2$6 such that

$_2$7

and

$_2$8

The generated subshift is

$_2$9

An SPO-code is unambiguous if the normalized index sequence is unique for each $\mathfrak{spo}(4|1)$0. This is the overlap analogue of the usual uniqueness condition for coded systems.

The paper relates SPO-codes to Keller’s Markov codes by constructing, from a suitable unambiguous SPO-code $\mathfrak{spo}(4|1)$1, a modified code $\mathfrak{spo}(4|1)$2 and a Markov code $\mathfrak{spo}(4|1)$3 whose concatenation set is Borel conjugate to that of $\mathfrak{spo}(4|1)$4. The construction uses

$\mathfrak{spo}(4|1)$5

then groups overlap products until a word in $\mathfrak{spo}(4|1)$6 is reached. This yields a countable-state topological Markov shift that models the SPO-coded system.

The ergodic consequence is an intrinsic ergodicity criterion. If $\mathfrak{spo}(4|1)$7 has irreducible transition matrix, satisfies $\mathfrak{spo}(4|1)$8, obeys

$\mathfrak{spo}(4|1)$9

and $\mathfrak{spo}(2|2)$0 has a measure of maximal entropy of full support, then $\mathfrak{spo}(2|2)$1 is intrinsically ergodic (Krieger, 4 Sep 2025). This is the main route by which SPO-codes connect overlap combinatorics to thermodynamic properties.

The same paper shows that every synchronized subshift admits a canonical SPO-code. For a synchronized subshift $\mathfrak{spo}(2|2)$2, the code $\mathfrak{spo}(2|2)$3 is built from segments between successive changes of the last synchronizing left endpoint. Its concatenation set is $\mathfrak{spo}(2|2)$4, and the construction is unambiguous and invariant under topological conjugacy. A conjugacy-invariant condition

$\mathfrak{spo}(2|2)$5

appears as Condition (H), and together with

$\mathfrak{spo}(2|2)$6

and existence of a full-support measure of maximal entropy, it implies intrinsic ergodicity for topologically transitive synchronized subshifts.

The symbolic-dynamics paper also uses SPO-codes as a construction tool. It produces synchronized subshifts whose Markov boundary consists of finitely many orbits or countably many orbits, and it constructs SPO-coded systems that are not semisynchronized. In this literature, therefore, SPO-codes are neither merely a coding trick nor a notational convenience; they are the central structural object.

3. Standardized Preference Optimization as “SPO-codes” in x-to-audio alignment

In the XACLE Challenge submission “SPO-CLAPScore,” “SPO-codes” refers to implementation-oriented documentation for Standardized Preference Optimization in a CLAPScore-based x-to-audio alignment predictor (Takano et al., 6 Jan 2026). The model predicts an alignment score from CLAP-style embeddings by cosine similarity, scaled to $\mathfrak{spo}(2|2)$7–$\mathfrak{spo}(2|2)$8: $\mathfrak{spo}(2|2)$9 with the audio encoder given by M2D-CLAP 2025 and the text encoder by BERT base. The text encoder is frozen, while the audio encoder is fine-tuned.

The SPO step standardizes each listener’s raw score $_2$0 into a listener-wise z-score

$_2$1

where $_2$2 and $_2$3 are computed over all items rated by that listener. The central motivation is that each audio–text pair is rated by only four listeners, each listener uses an idiosyncratic numeric scale, and direct regression on raw MOS encourages fitting listener-dependent bias. After standardization, $_2$4 indicates a score above that listener’s personal mean, and $_2$5 indicates a score below it.

Predictions are also standardized, but with global training statistics: $_2$6 and training minimizes an MSE regression loss plus an optional contrastive loss from UTMOS: $_2$7 The reported setting uses $_2$8 when the contrastive term is enabled. The method is therefore not pairwise ranking in the usual sense and not DPO-style preference optimization; it is per-listener z-scoring combined with supervised learning on the standardized targets.

The data processing pipeline includes listener screening. For a given raw score $_2$9, if none of the other scores for that item lies in $^+$0, the score is marked as an NG-Score. A listener is removed if the proportion of NG-Scores exceeds $^+$1. The paper uses $^+$2 and $^+$3, reducing training scores from $^+$4 to $^+$5 and validation scores from $^+$6 to $^+$7. Three settings are trained: A without listener screening and without contrastive loss; B with screening and with contrastive loss; and C with screening but without contrastive loss. Each setting is trained with and without warm-up, with three random seeds per warm-up option, for $^+$8 models total, ensembled by averaging predictions.

Experimentally, the ensemble achieved $^+$9th place in the challenge with SRCC $^+$0, against an official baseline SRCC of $^+$1. On validation, a single model with SPO reached SRCC $^+$2, LCC $^+$3, KTAU $^+$4, and MSE $^+$5, whereas the same architecture without SPO yielded SRCC $^+$6, LCC $^+$7, KTAU $^+$8, and MSE $^+$9 (Takano et al., 6 Jan 2026). In this usage, “SPO-codes” denotes the code path implementing listener screening, per-listener standardization, global standardization of predictions, and the standardized loss.

4. Orthosymplectic encodings: Verma bases and equivariant quantization

In the representation-theoretic paper on $\mathfrak{spo}(4|1)$0, “SPO-codes” is best understood as the combinatorial encoding of basis vectors in finite-dimensional irreducible modules by integer exponent patterns and Kashiwara–Nakashima tableaux (Cao et al., 21 Apr 2026). The highest weight is written

$\mathfrak{spo}(4|1)$1

with corresponding irreducible module $\mathfrak{spo}(4|1)$2. Using the negative simple root vectors

$\mathfrak{spo}(4|1)$3

the Verma vectors are monomials

$\mathfrak{spo}(4|1)$4

subject to

$\mathfrak{spo}(4|1)$5

These inequalities define the Verma vector system $\mathfrak{spo}(4|1)$6.

The same basis vectors are encoded by KN tableaux of shape $\mathfrak{spo}(4|1)$7 over the alphabet

$\mathfrak{spo}(4|1)$8

Each tableau $\mathfrak{spo}(4|1)$9 gives a four-integer code $\mathfrak{spo}(2|2)$0 by counting specific occurrences of $\mathfrak{spo}(2|2)$1 in the two rows. The map

$\mathfrak{spo}(2|2)$2

is a bijection, and the weight of the tableau matches the weight of the corresponding Verma vector: $\mathfrak{spo}(2|2)$3 Because the Verma vectors expand triangularly in a tableau-indexed monomial basis of

$\mathfrak{spo}(2|2)$4

they are linearly independent, and since $\mathfrak{spo}(2|2)$5, they form a basis. In this setting, the “code” is the equivalence among exponent tuples, tableaux, and basis vectors.

A related but different orthosymplectic usage appears in the paper on $\mathfrak{spo}(2|2)$6-equivariant quantization on the supercircle $\mathfrak{spo}(2|2)$7 (Mellouli et al., 2013). There the core objects are weighted densities $\mathfrak{spo}(2|2)$8, differential operators $\mathfrak{spo}(2|2)$9, and the associated graded symbol space

$\mathfrak{spo}(2|2)$00

The supercircle carries the standard contact structure generated by

$\mathfrak{spo}(2|2)$01

which induces the contact filtration in half-integer order. The central result is the existence and uniqueness, for non-critical $\mathfrak{spo}(2|2)$02, of an $\mathfrak{spo}(2|2)$03-equivariant quantization

$\mathfrak{spo}(2|2)$04

preserving principal symbols.

The construction is Casimir-based. On $\mathfrak{spo}(2|2)$05, the Casimir eigenvalue is

$\mathfrak{spo}(2|2)$06

Non-critical values are those for which $\mathfrak{spo}(2|2)$07 for all $\mathfrak{spo}(2|2)$08. The explicit formulas for the lower-order corrections $\mathfrak{spo}(2|2)$09 involve iterated $\mathfrak{spo}(2|2)$10, $\mathfrak{spo}(2|2)$11, $\mathfrak{spo}(2|2)$12, the coefficients $\mathfrak{spo}(2|2)$13, $\mathfrak{spo}(2|2)$14, and denominators built from $\mathfrak{spo}(2|2)$15. In this literature, “SPO-codes” denotes the explicit recursive rule system by which lower-order symbol components are corrected so that the resulting differential operator respects $\mathfrak{spo}(2|2)$16-symmetry.

5. SpO$\mathfrak{spo}(2|2)$17-related encodings in biomedical learning

In biomedical applications, “SPO-codes” refers to SpO$\mathfrak{spo}(2|2)$18-related labels or reconstructions rather than symbolic codes. One study treats SpO$\mathfrak{spo}(2|2)$19 as a continuous scalar target $\mathfrak{spo}(2|2)$20 and as a thresholded binary label derived from the rule

$\mathfrak{spo}(2|2)$21

(Gauy et al., 2024). The models are pretrained audio neural networks—CNN6, CNN10, CNN14, and Audio-MAE—operating on 4-second speech segments resampled to $\mathfrak{spo}(2|2)$22 kHz and represented as spectrograms or log-mel spectrograms. SpO$\mathfrak{spo}(2|2)$23 regression is trained with MSE and evaluated by RMSE, MAE, $\mathfrak{spo}(2|2)$24, and Pearson correlation. The reported RMSE values are $\mathfrak{spo}(2|2)$25 for Audio-MAE, $\mathfrak{spo}(2|2)$26 for CNN6, $\mathfrak{spo}(2|2)$27 for CNN10, and $\mathfrak{spo}(2|2)$28 for CNN14, all exceeding the accepted clinical range of $\mathfrak{spo}(2|2)$29. Pearson $\mathfrak{spo}(2|2)$30 never exceeds $\mathfrak{spo}(2|2)$31. Binary SpO$\mathfrak{spo}(2|2)$32 threshold classification reaches F1-scores of $\mathfrak{spo}(2|2)$33 for Audio-MAE, $\mathfrak{spo}(2|2)$34 for CNN6, $\mathfrak{spo}(2|2)$35 for CNN10, and $\mathfrak{spo}(2|2)$36 for CNN14, while direct respiratory-insufficiency detection with the same architectures achieves near-perfect accuracy. The paper interprets this as a separation of domains: speech is highly informative for global RI status but weak for exact SpO$\mathfrak{spo}(2|2)$37.

A more direct SpO$\mathfrak{spo}(2|2)$38-estimation paper uses “SPO-codes” as implementation details for a SpO$\mathfrak{spo}(2|2)$39 predictor-guided stage-wise time-frequency reconstruction framework applied to low-quality dual-wavelength PPG (Liang et al., 9 Jul 2026). Inputs are AC/DC-normalized red and infrared PPG segments of length $\mathfrak{spo}(2|2)$40 s with $\mathfrak{spo}(2|2)$41-s stride, sampled at $\mathfrak{spo}(2|2)$42 Hz, so each segment is $\mathfrak{spo}(2|2)$43. The system has two learned components: a Bi-LSTM plus attention predictor $\mathfrak{spo}(2|2)$44 producing a scalar SpO$\mathfrak{spo}(2|2)$45 estimate, and a 4-layer Transformer-encoder reconstructor $\mathfrak{spo}(2|2)$46 operating on masked dual-channel PPG.

Training is divided into four stages. Stage 1 pretrains $\mathfrak{spo}(2|2)$47 on high-quality segments selected by Orphanidou-style signal quality assessment implemented in NeuroKit2, requiring all 1-second averaged quality scores on the red channel to be at least $\mathfrak{spo}(2|2)$48. Stage 2 freezes $\mathfrak{spo}(2|2)$49 and trains $\mathfrak{spo}(2|2)$50 with random contiguous masks of length $\mathfrak{spo}(2|2)$51–$\mathfrak{spo}(2|2)$52 s using a joint loss

$\mathfrak{spo}(2|2)$53

Here $\mathfrak{spo}(2|2)$54 is masked-region MSE in the time domain, $\mathfrak{spo}(2|2)$55 is an STFT-domain MSE using FFT size $\mathfrak{spo}(2|2)$56, window length $\mathfrak{spo}(2|2)$57, and hop $\mathfrak{spo}(2|2)$58, and $\mathfrak{spo}(2|2)$59 feeds a merged original-plus-reconstructed segment into the frozen predictor $\mathfrak{spo}(2|2)$60. Stage 3 freezes $\mathfrak{spo}(2|2)$61, masks the worst $\mathfrak{spo}(2|2)$62-s quality region in each segment, reconstructs it, and refines $\mathfrak{spo}(2|2)$63 on the reconstructed inputs. Stage 4 freezes the refined $\mathfrak{spo}(2|2)$64 and retrains $\mathfrak{spo}(2|2)$65 again on high-quality segments with the same joint loss.

The reported subject-level MAE on OpenOximetry is $\mathfrak{spo}(2|2)$66, improving over calibration ($\mathfrak{spo}(2|2)$67), NormWear ($\mathfrak{spo}(2|2)$68), and a direct Bi-LSTM+attention baseline ($\mathfrak{spo}(2|2)$69). On a private wearable dataset, the framework achieves subject-level MAE $\mathfrak{spo}(2|2)$70 and RMSE $\mathfrak{spo}(2|2)$71. Ablations show that the full loss $\mathfrak{spo}(2|2)$72 outperforms variants missing either the frequency or the predictor-guided term. In this biomedical setting, “SPO-codes” denotes continuous SpO$\mathfrak{spo}(2|2)$73 labels, threshold codes, or predictor-guided reconstruction pathways rather than a discrete code family.

6. SPO in decision-focused portfolio optimization

In portfolio optimization, “SPO” denotes Smart Predict-then-Optimize through the SPO$\mathfrak{spo}(2|2)$74 surrogate, not a code in the symbolic-dynamics sense (Wang et al., 2 May 2026). The setting is decision-focused learning for portfolio allocation. A predictor outputs asset returns

$\mathfrak{spo}(2|2)$75

and these predictions are passed to a mean–variance optimizer with transaction cost: $\mathfrak{spo}(2|2)$76 subject to

$\mathfrak{spo}(2|2)$77

Standard predict-then-optimize would train the predictor with an error such as

$\mathfrak{spo}(2|2)$78

whereas decision-focused learning minimizes a decision loss tied to the downstream optimizer. Since exact regret is non-convex and non-differentiable, SPO$\mathfrak{spo}(2|2)$79 provides the surrogate used in training.

The paper’s main theoretical point is KKT-based. For the mean–variance formulation, stationarity gives

$\mathfrak{spo}(2|2)$80

with $\mathfrak{spo}(2|2)$81. Defining the risk- and cost-adjusted marginal score

$\mathfrak{spo}(2|2)$82

active assets satisfy $\mathfrak{spo}(2|2)$83 and inactive assets satisfy $\mathfrak{spo}(2|2)$84. The optimizer therefore behaves like a ranking system over adjusted marginal scores. This explains why SPO-trained predictors can inflate return magnitudes: the learning objective is not calibration of $\mathfrak{spo}(2|2)$85, but production of scores that induce better downstream allocations.

Empirically, the paper reports prediction inflation and excessive turnover. Standard SPO-trained portfolios show average monthly turnover around $\mathfrak{spo}(2|2)$86–$\mathfrak{spo}(2|2)$87 across DOW, ETF_A, and ETF_B, and increasing the risk-aversion parameter $\mathfrak{spo}(2|2)$88 from $\mathfrak{spo}(2|2)$89 to $\mathfrak{spo}(2|2)$90 hardly reduces turnover. To stabilize the system, the paper evaluates three mechanisms. Prediction clipping replaces $\mathfrak{spo}(2|2)$91 by

$\mathfrak{spo}(2|2)$92

with $\mathfrak{spo}(2|2)$93. Min–max rescaling maps predictions to $\mathfrak{spo}(2|2)$94 with $\mathfrak{spo}(2|2)$95, preserving cross-sectional ranking. Partial portfolio adjustment updates

$\mathfrak{spo}(2|2)$96

with $\mathfrak{spo}(2|2)$97, starting from the equally weighted portfolio. Adjustment alone reduces turnover to about $\mathfrak{spo}(2|2)$98–$\mathfrak{spo}(2|2)$99 monthly, while Clip+Adj yields the lowest turnover and volatility, and Rescale+Adj often gives the highest returns and Sharpe ratios among the SPO variants (Wang et al., 2 May 2026).

Taken together, these results show that in portfolio learning the relevant “SPO-code” is the optimizer-facing signal produced by SPO$_2$00-trained prediction models. Its defining property is not discrete combinatorics but decision sensitivity: output values matter insofar as they alter the optimizer’s ranking and threshold structure.