---
title: 'C1: Multi-Domain Technical Designations'
url: https://www.emergentmind.com/topics/c1
type: topic
---

# C1: Multi-Domain Technical Designations

Searching arXiv for the provided C1-related works to ground the article.
arXiv search: "2004.03220 chi c1 polarization"
arXiv search: "2507.05166 Bootstrap Current Modeling in M3D-C1"
arXiv search: "1111.4206 C1 diffeomorphisms"
“C1” is a heterogeneous technical designation rather than a single concept. In current research usage it appears as a charmonium label \(\chi_{c1}\) in hadron spectroscopy, as the name of the extended-MHD code M3D-C1 in plasma physics, as the differentiability class \(C^1\) in smooth dynamics, and as the index \(C_1\) in vertex-algebra theory and paraconsistent logic. The common string therefore masks distinct mathematical and physical objects whose meanings are fixed by domain-specific notation and methodology [2004.03220] [2507.05166] [1111.4206] [1508.06351] [1202.4144].

## 1. Domain-specific meanings of C1

The designation splits into several technically unrelated usages.

| Domain | Meaning of “C1” | Representative research result |
|---|---|---|
| Heavy-quarkonium physics | \(\chi_{c1}\), the \(1^{++}\) P-wave charmonium state, and related states such as \(\chi_{c1}(3872)\) and \(\chi_{c1}(4274)\) | \(\chi_{c1}\) polarization is a sensitive probe of the \(^3S_1^{[8]}\) color-octet channel [2004.03220] |
| Plasma physics | M3D-C1, an extended-MHD code | Self-consistent bootstrap-current models were implemented and benchmarked against NEO, XGCa, and SFINCS [2507.05166] |
| Smooth dynamics | \(C^1\), the class of continuously differentiable diffeomorphisms | \(C^1\)-generic transitive and conservative diffeomorphisms are topologically mixing [1111.4206] |
| Vertex algebras | \(C_1\)-cofiniteness and the \(C_1(V)\) subspace | Zhu’s algebra \(A(V)\) can be computed from \(C_1\)-generators and \(C_1\)-relations [1508.06351] |
| Paraconsistent logic | da Costa’s logic \(C_1\) | A sound and complete KE system with one branching rule was given for \(C_1\) [1202.4144] |

This dispersion of meaning is not accidental. In high-energy physics, the subscript “\(c1\)” labels specific \(c\bar c\) states; in dynamics, \(C^1\) encodes regularity; in algebra and logic, \(C_1\) indexes structural finiteness or a named deductive system. A plausible implication is that any technical use of “C1” requires immediate disambiguation by notation, subject area, or adjoining symbols.

## 2. \(\chi_{c1}\) in charmonium production and \(B\)-meson decay

In heavy-quarkonium physics, \(\chi_{c1}\) is the \(1^{++}\) P-wave charmonium state with spectroscopic assignment \(^3P_1\). It is relevant both as a direct test of quarkonium production dynamics and because \(\chi_{c1}\to J/\psi+\gamma\) feeddown contributes significantly to prompt \(J/\psi\) production. A \(k_T\)-factorized NRQCD analysis of the first CMS \(\chi_{c1}\) and \(\chi_{c2}\) polarization data at \(\sqrt s=8\) TeV treated the hard subprocess \(g^*g^*\to c\bar c[^3P_J^{[1]},\,^3S_1^{[8]}]\), used TMD gluon densities, and fit the common color-octet LDME together with color-singlet wave-function derivatives. The analysis found \(\lambda_\theta^{\chi_{c1}}>0\) and \(\lambda_\theta^{\chi_{c2}}<0\), with both anisotropies decreasing as \({\cal O}^{\chi_{c0}[^3S_1^{[8]}]}\) increases; the fitted picture was that “the \(\chi_{c1}\) production is dominated by the CS contributions, whereas CO terms are more important for \(\chi_{c2}\) mesons” [2004.03220].

The same study did not force \(|{\cal R}^{\prime\,\chi_{c1}(0)|^2\) and \(|{\cal R}^{\prime\,\chi_{c2}(0)|^2\) to be equal. Instead it preferred unequal singlet normalizations, with \(|{\cal R}^{\prime\,\chi_{c1}(0)|^2/|{\cal R}^{\prime\,\chi_{c2}(0)|^2}\sim 4\) for the CCFM TMDs and \(\sim 3\) for the KMR TMD. For JH’2013 set 2, for example, the fitted values were \(|{\cal R}^{\prime\,\chi_{c1}(0)|^2=0.20\pm0.04~{\rm GeV}^5\), \(|{\cal R}^{\prime\,\chi_{c2}(0)|^2=0.0500\pm0.0007~{\rm GeV}^5\), and \({\cal O}^{\chi_{c0}[^3S_1^{[8]}]}=(8.0\pm2.0)\times10^{-4}~{\rm GeV}^3\). The polarization conclusions were stated to be almost independent of the chosen TMD gluon density, while deviations at low \(p_T\) were identified as a regime where more accurate treatment of large logarithms such as \(\ln[m(\chi_{cJ})/p_T]\) and other nonperturbative effects would be needed [2004.03220].

In \(B\)-meson decays, \(\chi_{c1}\) serves as the favored \(1^{++}\) benchmark channel relative to the more suppressed \(\chi_{c2}\). Belle measured the inclusive branching fraction, after subtracting \(\psi'\) feeddown, as \(\mathcal{B}(B\to \chi_{c1}X)= (3.03 \pm 0.05 \pm 0.24)\times 10^{-3}\), and observed six exclusive \(\chi_{c1}\) modes. The three-body channels included \(B^0 \to \chi_{c1}\pi^- K^+\) with \((4.97\pm0.12\pm0.28)\times 10^{-4}\), \(B^+ \to \chi_{c1}\pi^+K^0\) with \((5.75\pm0.26\pm0.32)\times 10^{-4}\), and \(B^+ \to \chi_{c1}\pi^0K^+\) with \((3.29\pm0.29\pm0.19)\times 10^{-4}\). The four-body modes \(B^+\to \chi_{c1}\pi^+\pi^-K^+\), \(B^0\to \chi_{c1}\pi^+\pi^-K^0\), and \(B^0\to \chi_{c1}\pi^-\pi^0K^+\) were first observed, with branching fractions of order \(3\text{--}4\times10^{-4}\). Belle further reported that the \(\chi_{c1}\pi K\) channels are strongly associated with \(K^*(892)\), unlike the corresponding \(\chi_{c2}\) channels, and found no evidence for either \(X(3872)\to \chi_{c1}\pi^+\pi^-\) or \(\chi_{c1}(2P)\to \chi_{c1}\pi^+\pi^-\) in \(B^+\to (\chi_{c1}\pi^+\pi^-)K^+\) [1512.02672].

## 3. Exotic \(\chi_{c1}\)-labeled states: \(\chi_{c1}(3872)\) and \(\chi_{c1}(4274)\)

The state denoted \(\chi_{c1}(3872)\), explicitly identified with \(X(3872)\), is treated in the cited literature as a narrow \(J^{PC}=1^{++}\) state with mass extremely close to the \(D^0\bar D^{*0}\) threshold and strong isospin-violating decay behavior. BESIII searched for \(\chi_{c1}(3872)\to \pi^+\pi^- \chi_{c1}\) in radiative production \(e^+e^- \to \gamma \chi_{c1}(3872)\) using \(10.9~\mathrm{fb}^{-1}\) collected from \(\sqrt s=4.16\) to \(4.34\) GeV. No significant signal was observed. The headline result was \[
\mathcal{R}\equiv \frac{\mathcal{B}[\chi_{c1}(3872)\to\pi^+\pi^-\chi_{c1}]}{\mathcal{B}[\chi_{c1}(3872)\to\pi^+\pi^-J/\psi]}<0.18
\]
at \(90\%\) confidence level. Combined with the previously observed \(\pi^0\chi_{c1}\) mode, this implied \[
\frac{\Gamma[X(3872)\to \pi^0\chi_{c1}]}{\Gamma[X(3872)\to \pi^+\pi^-\chi_{c1}]}>5,
\]
which the paper stated is two orders of magnitude larger than expected for a pure \(2\,{}^3P_1\) charmonium state. The result was therefore interpreted as favoring a non-conventional charmonium nature and as constraining the \(c\bar c\) core component in the \(X(3872)\) wave function [2312.13593].

A separate effective-Lagrangian analysis considered radiative decays of \(\chi_{c1}(1P)\) and \(\chi_{c1}(3872)\) through \(D\)- and \(D^*\)-meson triangle loops. After calibrating the form-factor parameters to the observed \(\chi_{c1}(1P)\to J/\psi\gamma\) branching fraction, the model predicted \(R_{\chi_{c1}(3872)\to J/\psi\gamma}\sim 10^{-1}\), \(R_{\chi_{c1}(3872)\to \psi(2S)\gamma}\sim 10^{-2}\), and \(\mathcal{R}_{\Psi\gamma}\approx 0.109\). Since the paper compared these values with an experimental pattern featuring a much smaller \(\chi_{c1}(3872)\to J/\psi\gamma\) fraction and an LHCb ratio \(\mathcal R_{\Psi\gamma}=1.67\pm 0.21\pm 0.12\pm 0.04\), it concluded that \(\chi_{c1}(3872)\) is unlikely to be a pure conventional \(c\bar c\) \(\chi_{c1}(2P)\)-type state [2506.08406].

The designation \(\chi_{c1}\) also appears in heavy-ion phenomenology through \(\chi_{c1}(4274)\), a \(1^{++}\) hidden-charm strange state discussed as either a \(P\)-wave \(D_s\bar D_{s0}\) bound state or a compact \(cs\bar c\bar s\) tetraquark. Using coalescence initial conditions, Bjorken expansion, and a kinetic equation including hadronic production, absorption, decay, and regeneration, one study obtained initial yields \(N_{\chi_{c1}^{(\text{Mol})}}(\tau_H)=1.96\times 10^{-4}\) and \(N_{\chi_{c1}^{(4q)}}(\tau_H)=8.27\times 10^{-6}\). During hadron-gas evolution, the molecular scenario was strongly depleted while the tetraquark scenario was enhanced, and both converged to final yields of order \(N_{\chi_{c1}}^{\text{final}}\sim 3\times 10^{-5}\) in central Pb-Pb collisions at \(\sqrt{s_{NN}}=5.02\) TeV. The paper therefore concluded that multiplicity alone is not sufficient to distinguish molecule from tetraquark for the observed \(\chi_{c1}(4274)\). By contrast, the proposed narrow molecular state \(Y'(4274)\) was predicted to suffer only \(\sim 3\%\) suppression and to end with \(N_f(Y')\approx 1.90\times10^{-4}\) [2310.03948].

## 4. M3D-C1 in plasma physics

In plasma theory, M3D-C1 is an extended-MHD code to which self-consistent bootstrap-current modeling has been added for tokamaks and quasisymmetric stellarators. The central modification is the inclusion of a non-inductive current source \(\boldsymbol{J}_x\) in Ohm’s law,
\[
\boldsymbol{E}=-\boldsymbol{v}\times\boldsymbol{B}+\eta[\boldsymbol{J}-\boldsymbol{J}_x],
\]
with corresponding changes in the induction equation and the Ohmic-heating term. The implementation assumes \(\boldsymbol{J}_x\) is purely parallel and divergence-free, reconstructing the local parallel source current from the flux-surface-averaged quantity through
\[
J_{\parallel} =\frac{\langle \boldsymbol{J}_x \cdot \boldsymbol{B}\rangle}{\langle B^2\rangle}\,\boldsymbol{B}.
\]
Two analytical closures were implemented: a generalized Sauter model and a revised Sauter-like model based on Redl et al. For quasisymmetric stellarators, the Landreman et al. isomorphism was used to transplant the tokamak-like formulas into Boozer-coordinate QS geometry [2507.05166].

The stellarator implementation required an approximate magnetic coordinate system constructed externally with Fusion-IO. The chosen surface label was based on electron-temperature isotherms,
\[
\hat{T}_e = 1 - \frac{T_e}{T_e^{\max}},
\]
from which \(I(\hat T_e)\), \(G(\hat T_e)\), \(\iota(\hat T_e)\), \(f_t(\hat T_e)\), \(\epsilon(\hat T_e)\), and \(qR(\hat T_e)\) were computed outside M3D-C1 and then read back into the code. During time stepping, the coefficients \( \alpha, L_{31}, L_{32}, L_{34}\) were evaluated locally from evolving profiles and precomputed geometry. This was explicitly characterized as a closure/source-term implementation rather than a self-consistent drift-kinetic solve [2507.05166].

Benchmarking was performed against XGCa, NEO, and SFINCS. In the low-aspect-ratio tokamak case CIRC1, the reported differences at the bootstrap-current peak were \(2.18\%\) for M3D-C1 Sauter versus NEO Sauter, \(0.04\%\) for M3D-C1 versus XGCa, \(2.12\%\) for M3D-C1 Redl versus XGCa, and \(1.01\%\) for M3D-C1 Redl versus SFINCS. In quasi-axisymmetric stellarator benchmarks QA\_Case1 and QA\_Case2, the paper described the agreement between M3D-C1’s Redl+Landreman implementation, SFINCS, and the reference Redl calculations as close, with only minor discrepancies likely due to numerical differences [2507.05166].

The same work used QA\_Case2 to study nonlinear evolution. With a Spitzer-like resistivity \(\eta(R,\phi,Z)=\eta_{norm}\,\eta_0\,T_e^{-3/2}(R,\phi,Z)\), enabling bootstrap current sustained toroidal current density and reduced the size of the chaotic boundary region at \(t=250\tau_A\) in high-resistivity runs, although the equilibrium remained MHD unstable. The paper emphasized several limitations: the Sauter and Redl formulas are axisymmetric analytical fits, the Landreman mapping is valid only for quasisymmetric configurations, the implementation depends on approximate coordinates, and once surfaces become badly degraded or stochastic, both the built-in analytical model and even the notion of local neoclassical transport become questionable [2507.05166].

## 5. \(C^1\) diffeomorphisms in smooth dynamics

In smooth dynamics, \(C^1\) denotes the differentiability class of continuously differentiable diffeomorphisms. Abdenur and Crovisier proved that, on connected compact boundaryless manifolds, \(C^1\)-generic transitive diffeomorphisms and \(C^1\)-generic conservative diffeomorphisms are topologically mixing. Their broader theorem states that, on a dense \(G_\delta\) subset of \(\mathrm{Diff}^1(M)\) or \(\mathrm{Diff}^1_\omega(M)\), any chain-transitive locally maximal set \(\Lambda\) decomposes uniquely as a finite union \(\Lambda=\Lambda_1\cup\cdots\cup \Lambda_\ell\) of disjoint compact sets such that \(f^\ell\) is topologically mixing on each \(\Lambda_i\) [1111.4206].

The central arithmetic invariant is the period \(\ell(O)\) of a homoclinic class \(H(O)\), defined as the greatest common divisor of the periods of all hyperbolic periodic orbits homoclinically related to \(O\). This invariant controls precisely when stable and unstable manifolds intersect:
\[
W^u(f^n(p))\pitchfork W^s(p)\neq \varnothing \iff n\in \ell(O)\mathbb Z.
\]
More generally, if \(q\) is homoclinically related to \(O\) and \(W^u(p)\pitchfork W^s(q)\neq \varnothing\), then
\[
W^u(f^n(q))\pitchfork W^s(p)\neq \varnothing \iff n\in \ell(O)\mathbb Z.
\]
The homoclinic class then decomposes into cyclic components built from the pointwise homoclinic class \(h(p)\), and \(f^\ell|_{h(p)}\) is topologically mixing [1111.4206].

The second key ingredient is a closing lemma with time control. If \(\ell\ge 2\) and a non-periodic or non-resonant periodic point \(x\) has arbitrarily small neighborhoods returning at times not in \(\ell\mathbb Z\), then after an arbitrarily small \(C^1\)-perturbation, \(x\) can be made periodic with period not divisible by \(\ell\). This allows the authors to rule out nontrivial cyclic obstructions generically. On a connected manifold, once transitivity is assumed, the cyclic decomposition collapses to a single piece, yielding topological mixing for the original diffeomorphism rather than only for an iterate [1111.4206].

## 6. \(C_1\) in vertex algebras and paraconsistent logic

In vertex-algebra theory, \(C_1(V)\) denotes the subspace
\[
C_1(V) = \mathrm{span}\{\,u_{-1}v,\ u_{-2}\mathbf{1}\mid u,v\in V_+\,\},
\]
for a \(\mathbb Z_+\)-graded vertex algebra \(V=\bigoplus_{n\in \mathbb{Z}_+} V_n\) with \(\dim V_0=1\). The algebra is \(C_1\)-cofinite if \(V/C_1(V)\) is finite-dimensional. Choosing homogeneous \(C_1\)-generators \(\{u^1,\dots,u^l\}\), one obtains \(C_1\)-relations \(u^i_k u^j=R(i,j,k)\), and these data control the computation of Zhu’s algebra \(A(V)=V/O(V)\). A central result is that \(A(V)\) is generated by \(o(u^1),\dots,o(u^l)\), where \(o(a)=a_{\mathrm{wt}(a)-1}\). In the nondegenerate case, the \(C_1\)-relations satisfy Jacobi identities and a Diamond-Lemma argument yields PBW-type bases; in the degenerate case, failures of Jacobi produce extra \(C_1\)-singular relations. The paper illustrated the method with \(\mathcal W_3\) at central charge \(-2\), obtaining
\[
A(\mathcal W_{3,-2}) = \mathbb C[o(\omega),o(v)]\Big/ \left\langle \frac{3}{2}o(v)^2-\frac{1}{9}o(\omega)^2(8o(\omega)+1) \right\rangle,
\]
and with a rank-one lattice VOA example in which the resulting Zhu algebra is semisimple [1508.06351].

In paraconsistent logic, \(C_1\) designates da Costa’s logic \(C_1\), a system in which contradictions do not entail arbitrary formulas. Its object-language consistency operator is
\[
\circ A \equiv \neg (A \wedge \neg A).
\]
A sound and complete KE tableau system was constructed for this logic, with signed formulas \(TA\) and \(FA\), one branching rule \(PB\), and linear rules for the usual connectives together with \(C_1\)-specific rules involving \(\circ\). The metatheory uses downward saturated sets and a Hintikka-style lemma stating that every \(C_1\) downward saturated set is satisfiable. The paper also specified a simple proof-search strategy for implementation in KEMS: exhaust one-premiss rules, then two-premiss rules, and apply \(PB\) only as a last resort. To evaluate provers, it proposed benchmark families \(\Phi^5_n\), designed to force use of \(T\neg\neg\), and \(\Phi^6_n\), designed to force use of the \(T\circ_1\) and \(T\circ_2\) rules [1202.4144].

A plausible general conclusion is that “C1” functions less as a universal concept than as a compact index reused by different fields for structurally important objects: a specific charmonium multiplet, an MHD code architecture, a smoothness class, a finiteness condition, or a non-classical logic. The unifying feature is therefore not semantics but technical role: in each domain, the label marks an entity around which a substantial formalism is organized.

Source: https://www.emergentmind.com/topics/c1