{ "schema": "groups.qft.org/operator-enumeration-calculation/1", "versions": { "schema": "2.0.0", "dataset": "2026.11-workbench.4", "application": "6.0.0", "algorithm": "operator-enumeration-1.0.0", "released": "2026-11-08", "operatorAlgorithm": "local-operators-1.0.0", "gaugeAlgorithm": "product-gauge-1.0.0" }, "request": { "schema": "groups.qft.org/operator-enumeration/1", "name": "Standard Model — three generations", "spacetime": { "dimension": 4, "signature": "Lorentzian" }, "gauge": { "kind": "su3-su2-u1", "quotientOrder": 6, "u1Normalization": "integer-charge-period-2pi" }, "fields": [ { "id": "Q", "name": "Q", "kind": "left-weyl", "su3": [ 1, 0 ], "su2": 1, "charge": 1, "flavors": 3 }, { "id": "Qdag", "name": "Q†", "kind": "right-weyl", "su3": [ 0, 1 ], "su2": 1, "charge": -1, "flavors": 3 }, { "id": "uc", "name": "uᶜ", "kind": "left-weyl", "su3": [ 0, 1 ], "su2": 0, "charge": -4, "flavors": 3 }, { "id": "ucdag", "name": "uᶜ†", "kind": "right-weyl", "su3": [ 1, 0 ], "su2": 0, "charge": 4, "flavors": 3 }, { "id": "dc", "name": "dᶜ", "kind": "left-weyl", "su3": [ 0, 1 ], "su2": 0, "charge": 2, "flavors": 3 }, { "id": "dcdag", "name": "dᶜ†", "kind": "right-weyl", "su3": [ 1, 0 ], "su2": 0, "charge": -2, "flavors": 3 }, { "id": "L", "name": "L", "kind": "left-weyl", "su3": [ 0, 0 ], "su2": 1, "charge": -3, "flavors": 3 }, { "id": "Ldag", "name": "L†", "kind": "right-weyl", "su3": [ 0, 0 ], "su2": 1, "charge": 3, "flavors": 3 }, { "id": "ec", "name": "eᶜ", "kind": "left-weyl", "su3": [ 0, 0 ], "su2": 0, "charge": 6, "flavors": 3 }, { "id": "ecdag", "name": "eᶜ†", "kind": "right-weyl", "su3": [ 0, 0 ], "su2": 0, "charge": -6, "flavors": 3 }, { "id": "H", "name": "H", "kind": "scalar", "su3": [ 0, 0 ], "su2": 1, "charge": 3, "flavors": 1 }, { "id": "Hdag", "name": "H†", "kind": "scalar", "su3": [ 0, 0 ], "su2": 1, "charge": -3, "flavors": 1 } ], "enumeration": { "minDimension": 1, "maxDimension": 6, "includeIdentity": false, "symmetries": [] } }, "result": { "request": { "schema": "groups.qft.org/operator-enumeration/1", "name": "Standard Model — three generations", "spacetime": { "dimension": 4, "signature": "Lorentzian" }, "gauge": { "kind": "su3-su2-u1", "quotientOrder": 6, "u1Normalization": "integer-charge-period-2pi" }, "fields": [ { "id": "Q", "name": "Q", "kind": "left-weyl", "su3": [ 1, 0 ], "su2": 1, "charge": 1, "flavors": 3 }, { "id": "Qdag", "name": "Q†", "kind": "right-weyl", "su3": [ 0, 1 ], "su2": 1, "charge": -1, "flavors": 3 }, { "id": "uc", "name": "uᶜ", "kind": "left-weyl", "su3": [ 0, 1 ], "su2": 0, "charge": -4, "flavors": 3 }, { "id": "ucdag", "name": "uᶜ†", "kind": "right-weyl", "su3": [ 1, 0 ], "su2": 0, "charge": 4, "flavors": 3 }, { "id": "dc", "name": "dᶜ", "kind": "left-weyl", "su3": [ 0, 1 ], "su2": 0, "charge": 2, "flavors": 3 }, { "id": "dcdag", "name": "dᶜ†", "kind": "right-weyl", "su3": [ 1, 0 ], "su2": 0, "charge": -2, "flavors": 3 }, { "id": "L", "name": "L", "kind": "left-weyl", "su3": [ 0, 0 ], "su2": 1, "charge": -3, "flavors": 3 }, { "id": "Ldag", "name": "L†", "kind": "right-weyl", "su3": [ 0, 0 ], "su2": 1, "charge": 3, "flavors": 3 }, { "id": "ec", "name": "eᶜ", "kind": "left-weyl", "su3": [ 0, 0 ], "su2": 0, "charge": 6, "flavors": 3 }, { "id": "ecdag", "name": "eᶜ†", "kind": "right-weyl", "su3": [ 0, 0 ], "su2": 0, "charge": -6, "flavors": 3 }, { "id": "H", "name": "H", "kind": "scalar", "su3": [ 0, 0 ], "su2": 1, "charge": 3, "flavors": 1 }, { "id": "Hdag", "name": "H†", "kind": "scalar", "su3": [ 0, 0 ], "su2": 1, "charge": -3, "flavors": 1 } ], "enumeration": { "minDimension": 1, "maxDimension": 6, "includeIdentity": false, "symmetries": [] } }, "allowed": true, "gauge": { "input": { "ranks": [ 3, 2 ], "matter": [ { "name": "Q", "labels": [ [ 1, 0 ], [ 1 ] ], "charge": 1 }, { "name": "Qdag", "labels": [ [ 0, 1 ], [ 1 ] ], "charge": -1 }, { "name": "uc", "labels": [ [ 0, 1 ], [ 0 ] ], "charge": -4 }, { "name": "ucdag", "labels": [ [ 1, 0 ], [ 0 ] ], "charge": 4 }, { "name": "dc", "labels": [ [ 0, 1 ], [ 0 ] ], "charge": 2 }, { "name": "dcdag", "labels": [ [ 1, 0 ], [ 0 ] ], "charge": -2 }, { "name": "L", "labels": [ [ 0, 0 ], [ 1 ] ], "charge": -3 }, { "name": "Ldag", "labels": [ [ 0, 0 ], [ 1 ] ], "charge": 3 }, { "name": "ec", "labels": [ [ 0, 0 ], [ 0 ] ], "charge": 6 }, { "name": "ecdag", "labels": [ [ 0, 0 ], [ 0 ] ], "charge": -6 }, { "name": "H", "labels": [ [ 0, 0 ], [ 1 ] ], "charge": 3 }, { "name": "Hdag", "labels": [ [ 0, 0 ], [ 1 ] ], "charge": -3 } ], "generators": [ { "centers": [ 1, 1 ], "phase": { "numerator": "1", "denominator": "6", "text": "1/6", "latex": "\\frac{1}{6}" } } ] }, "ranks": [ 3, 2 ], "coverLatex": "SU(3)\\times SU(2)\\times U(1)", "category": "Finite-dimensional continuous complex representations", "field": "C", "characteristic": 0, "u1Period": "2π", "matter": [ { "name": "Q", "labels": [ [ 1, 0 ], [ 1 ] ], "charge": 1, "centerCharges": [ 1, 1 ], "factorDimensions": [ "3", "2" ], "dimension": "6", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "Qdag", "labels": [ [ 0, 1 ], [ 1 ] ], "charge": -1, "centerCharges": [ 2, 1 ], "factorDimensions": [ "3", "2" ], "dimension": "6", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "uc", "labels": [ [ 0, 1 ], [ 0 ] ], "charge": -4, "centerCharges": [ 2, 0 ], "factorDimensions": [ "3", "1" ], "dimension": "3", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "ucdag", "labels": [ [ 1, 0 ], [ 0 ] ], "charge": 4, "centerCharges": [ 1, 0 ], "factorDimensions": [ "3", "1" ], "dimension": "3", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "dc", "labels": [ [ 0, 1 ], [ 0 ] ], "charge": 2, "centerCharges": [ 2, 0 ], "factorDimensions": [ "3", "1" ], "dimension": "3", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "dcdag", "labels": [ [ 1, 0 ], [ 0 ] ], "charge": -2, "centerCharges": [ 1, 0 ], "factorDimensions": [ "3", "1" ], "dimension": "3", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "L", "labels": [ [ 0, 0 ], [ 1 ] ], "charge": -3, "centerCharges": [ 0, 1 ], "factorDimensions": [ "1", "2" ], "dimension": "2", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "Ldag", "labels": [ [ 0, 0 ], [ 1 ] ], "charge": 3, "centerCharges": [ 0, 1 ], "factorDimensions": [ "1", "2" ], "dimension": "2", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "ec", "labels": [ [ 0, 0 ], [ 0 ] ], "charge": 6, "centerCharges": [ 0, 0 ], "factorDimensions": [ "1", "1" ], "dimension": "1", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "ecdag", "labels": [ [ 0, 0 ], [ 0 ] ], "charge": -6, "centerCharges": [ 0, 0 ], "factorDimensions": [ "1", "1" ], "dimension": "1", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "H", "labels": [ [ 0, 0 ], [ 1 ] ], "charge": 3, "centerCharges": [ 0, 1 ], "factorDimensions": [ "1", "2" ], "dimension": "2", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] }, { "name": "Hdag", "labels": [ [ 0, 0 ], [ 1 ] ], "charge": -3, "centerCharges": [ 0, 1 ], "factorDimensions": [ "1", "2" ], "dimension": "2", "descends": true, "generatorPhases": [ { "generatorIndex": 0, "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "trivial": true } ] } ], "commonKernel": { "continuous": false, "dimension": 0, "order": 6, "finiteOrder": 6, "invariantFactors": [ 6 ], "latex": "\\mathbb Z_{6}", "elementScope": "Complete finite subgroup.", "elements": [ { "centers": [ 0, 0 ], "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "order": 1 }, { "centers": [ 1, 1 ], "phase": { "numerator": "1", "denominator": "6", "text": "1/6", "latex": "\\frac{1}{6}" }, "order": 6 }, { "centers": [ 2, 0 ], "phase": { "numerator": "1", "denominator": "3", "text": "1/3", "latex": "\\frac{1}{3}" }, "order": 3 }, { "centers": [ 0, 1 ], "phase": { "numerator": "1", "denominator": "2", "text": "1/2", "latex": "\\frac{1}{2}" }, "order": 2 }, { "centers": [ 1, 0 ], "phase": { "numerator": "2", "denominator": "3", "text": "2/3", "latex": "\\frac{2}{3}" }, "order": 3 }, { "centers": [ 2, 1 ], "phase": { "numerator": "5", "denominator": "6", "text": "5/6", "latex": "\\frac{5}{6}" }, "order": 6 } ], "generators": [ { "centers": [ 1, 1 ], "phase": { "numerator": "1", "denominator": "6", "text": "1/6", "latex": "\\frac{1}{6}" }, "order": 6 } ], "generatorMeaning": "One generating set; this is not an identification of each generator with a particular invariant factor." }, "quotient": { "continuous": false, "dimension": 0, "order": 6, "finiteOrder": 6, "invariantFactors": [ 6 ], "latex": "\\mathbb Z_{6}", "elementScope": "Complete finite subgroup.", "elements": [ { "centers": [ 0, 0 ], "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "order": 1 }, { "centers": [ 1, 1 ], "phase": { "numerator": "1", "denominator": "6", "text": "1/6", "latex": "\\frac{1}{6}" }, "order": 6 }, { "centers": [ 2, 0 ], "phase": { "numerator": "1", "denominator": "3", "text": "1/3", "latex": "\\frac{1}{3}" }, "order": 3 }, { "centers": [ 0, 1 ], "phase": { "numerator": "1", "denominator": "2", "text": "1/2", "latex": "\\frac{1}{2}" }, "order": 2 }, { "centers": [ 1, 0 ], "phase": { "numerator": "2", "denominator": "3", "text": "2/3", "latex": "\\frac{2}{3}" }, "order": 3 }, { "centers": [ 2, 1 ], "phase": { "numerator": "5", "denominator": "6", "text": "5/6", "latex": "\\frac{5}{6}" }, "order": 6 } ], "generators": [ { "centers": [ 1, 1 ], "phase": { "numerator": "1", "denominator": "6", "text": "1/6", "latex": "\\frac{1}{6}" }, "order": 6 } ], "generatorMeaning": "One generating set; this is not an identification of each generator with a particular invariant factor.", "u1ProjectionOrder": 6 }, "fundamentalGroup": { "freeRank": 1, "torsionOrder": 1, "torsionInvariantFactors": [], "latex": "\\mathbb Z", "phaseZeroSubgroup": [ { "centers": [ 0, 0 ], "phase": { "numerator": "0", "denominator": "1", "text": "0", "latex": "0" }, "order": 1 } ], "derivation": "Lift the selected subgroup to the universal cover (product SU factors) × R. Its torsion is exactly the subgroup at U(1) phase zero; the real projection is an infinite cyclic lattice." }, "allowed": true, "obstructedFields": [], "compatibleQuotients": [ { "order": 1, "latex": "1", "generator": null }, { "order": 2, "latex": "\\mathbb Z_{2}", "generator": { "centers": [ 0, 1 ], "phase": { "numerator": "1", "denominator": "2", "text": "1/2", "latex": "\\frac{1}{2}" }, "order": 2 } }, { "order": 3, "latex": "\\mathbb Z_{3}", "generator": { "centers": [ 2, 0 ], "phase": { "numerator": "1", "denominator": "3", "text": "1/3", "latex": "\\frac{1}{3}" }, "order": 3 } }, { "order": 6, "latex": "\\mathbb Z_{6}", "generator": { "centers": [ 1, 1 ], "phase": { "numerator": "1", "denominator": "6", "text": "1/6", "latex": "\\frac{1}{6}" }, "order": 6 } } ], "compatibleQuotientsScope": "All subgroups of the finite cyclic common kernel.", "physicalScope": "Kinematic matter descent and topology of the selected connected group. This does not choose line operators, theta parameters, anomaly cancellation, a vacuum, or a complete physical theory.", "conventionId": "product-su-u1-center-v1", "conventionVersion": "1.0.0", "algorithmVersion": "product-gauge-1.0.0", "sources": [ { "id": "conrad-centers-workbench", "title": "Brian Conrad, Centers of Simply Connected Semisimple Groups", "url": "https://math.stanford.edu/~conrad/210CPage/handouts/centers.pdf", "locator": "pp. 1–2: the type-A center and weight/root lattices", "kind": "lecture-notes", "authors": [ "Brian Conrad" ], "licenseNote": "Linked primary source; original descriptions and calculations are provided here, not an upstream text or data mirror." }, { "id": "tong-standard-model-lines", "title": "David Tong, Line Operators in the Standard Model", "url": "https://arxiv.org/abs/1705.01853", "locator": "§1 and §3, especially pp. 7–9: the embedded Z6, integer hypercharge, and four quotient choices", "kind": "paper", "authors": [ "David Tong" ], "licenseNote": "Linked primary research paper. Consult its publication terms for reuse of its text." }, { "id": "conrad-pi1-lie", "title": "Brian Conrad, Fundamental Groups of Lie Groups", "url": "https://math.stanford.edu/~conrad/210CPage/handouts/pi1stuff.pdf", "locator": "pp. 1–2: the exact sequence for a connected Lie group modulo a discrete central subgroup", "kind": "lecture-notes", "authors": [ "Brian Conrad" ], "licenseNote": "Linked primary source; the product-group specialization is derived in the local method page." }, { "id": "ast", "title": "Aharony, Seiberg and Tachikawa, Reading between the lines of four-dimensional gauge theories", "url": "https://arxiv.org/abs/1305.0318", "locator": "§1.1 and §2: global form and additional magnetic/dyonic line-operator choices", "kind": "paper", "authors": [ "Ofer Aharony", "Nathan Seiberg", "Yuji Tachikawa" ], "licenseNote": "Linked primary research paper; no upstream text or figures are redistributed." } ], "independentExpertReview": "pending", "checks": { "integerCharges": true, "exactDimensions": true, "kernelGeneratorReconstruction": true, "invariantFactorOrders": true, "generatorAndSubgroupDescent": true, "quotientProjectionSequence": true } }, "obstructedFields": [], "algorithmVersion": "operator-enumeration-1.0.0", "conventionId": "four-d-local-polynomial-v1", "rows": [ { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 1, "Hdag": 1 }, "canonicalDimension": 2, "totalDegree": 2, "charges": {}, "invariantCount": "1" }, { "powers": { "Q": 1, "Qdag": 0, "uc": 1, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 1, "Hdag": 0 }, "canonicalDimension": 4, "totalDegree": 3, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 1, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 1, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 1 }, "canonicalDimension": 4, "totalDegree": 3, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 1, "uc": 0, "ucdag": 1, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 1 }, "canonicalDimension": 4, "totalDegree": 3, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 1, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 1, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 1, "Hdag": 0 }, "canonicalDimension": 4, "totalDegree": 3, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 1, "Ldag": 0, "ec": 1, "ecdag": 0, "H": 0, "Hdag": 1 }, "canonicalDimension": 4, "totalDegree": 3, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 1, "ec": 0, "ecdag": 1, "H": 1, "Hdag": 0 }, "canonicalDimension": 4, "totalDegree": 3, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 2, "Hdag": 2 }, "canonicalDimension": 4, "totalDegree": 4, "charges": {}, "invariantCount": "1" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 2, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 2, "Hdag": 0 }, "canonicalDimension": 5, "totalDegree": 4, "charges": {}, "invariantCount": "6" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 2, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 2 }, "canonicalDimension": 5, "totalDegree": 4, "charges": {}, "invariantCount": "6" }, { "powers": { "Q": 3, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 1, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "57" }, { "powers": { "Q": 2, "Qdag": 2, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "90" }, { "powers": { "Q": 2, "Qdag": 0, "uc": 1, "ucdag": 0, "dc": 1, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "162" }, { "powers": { "Q": 2, "Qdag": 0, "uc": 0, "ucdag": 1, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 1, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "54" }, { "powers": { "Q": 1, "Qdag": 1, "uc": 1, "ucdag": 1, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "162" }, { "powers": { "Q": 1, "Qdag": 1, "uc": 0, "ucdag": 0, "dc": 1, "dcdag": 1, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "162" }, { "powers": { "Q": 1, "Qdag": 1, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 1, "Ldag": 1, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "162" }, { "powers": { "Q": 1, "Qdag": 1, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 1, "ecdag": 1, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 1, "Qdag": 0, "uc": 1, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 1, "Ldag": 0, "ec": 1, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "162" }, { "powers": { "Q": 1, "Qdag": 0, "uc": 1, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 2, "Hdag": 1 }, "canonicalDimension": 6, "totalDegree": 5, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 1, "Qdag": 0, "uc": 0, "ucdag": 1, "dc": 0, "dcdag": 1, "L": 1, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 1, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 1, "dcdag": 0, "L": 0, "Ldag": 1, "ec": 0, "ecdag": 1, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 1, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 1, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 1, "Hdag": 2 }, "canonicalDimension": 6, "totalDegree": 5, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 3, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 1, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "57" }, { "powers": { "Q": 0, "Qdag": 2, "uc": 1, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 1, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "54" }, { "powers": { "Q": 0, "Qdag": 2, "uc": 0, "ucdag": 1, "dc": 0, "dcdag": 1, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "162" }, { "powers": { "Q": 0, "Qdag": 1, "uc": 1, "ucdag": 0, "dc": 1, "dcdag": 0, "L": 0, "Ldag": 1, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 1, "uc": 0, "ucdag": 1, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 1, "ec": 0, "ecdag": 1, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "162" }, { "powers": { "Q": 0, "Qdag": 1, "uc": 0, "ucdag": 1, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 1, "Hdag": 2 }, "canonicalDimension": 6, "totalDegree": 5, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 1, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 1, "L": 1, "Ldag": 0, "ec": 1, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 1, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 1, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 2, "Hdag": 1 }, "canonicalDimension": 6, "totalDegree": 5, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 2, "ucdag": 2, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "45" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 2, "ucdag": 0, "dc": 1, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 1, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 1, "ucdag": 1, "dc": 1, "dcdag": 1, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "162" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 1, "ucdag": 1, "dc": 0, "dcdag": 0, "L": 1, "Ldag": 1, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 1, "ucdag": 1, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 1, "ecdag": 1, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 2, "dc": 0, "dcdag": 1, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 1, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 2, "dcdag": 2, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "45" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 1, "dcdag": 1, "L": 1, "Ldag": 1, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 1, "dcdag": 1, "L": 0, "Ldag": 0, "ec": 1, "ecdag": 1, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 2, "Ldag": 2, "ec": 0, "ecdag": 0, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "45" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 1, "Ldag": 1, "ec": 1, "ecdag": 1, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "81" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 1, "Ldag": 0, "ec": 1, "ecdag": 0, "H": 1, "Hdag": 2 }, "canonicalDimension": 6, "totalDegree": 5, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 1, "ec": 0, "ecdag": 1, "H": 2, "Hdag": 1 }, "canonicalDimension": 6, "totalDegree": 5, "charges": {}, "invariantCount": "9" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 2, "ecdag": 2, "H": 0, "Hdag": 0 }, "canonicalDimension": 6, "totalDegree": 4, "charges": {}, "invariantCount": "36" }, { "powers": { "Q": 0, "Qdag": 0, "uc": 0, "ucdag": 0, "dc": 0, "dcdag": 0, "L": 0, "Ldag": 0, "ec": 0, "ecdag": 0, "H": 3, "Hdag": 3 }, "canonicalDimension": 6, "totalDegree": 6, "charges": {}, "invariantCount": "1" } ], "totals": { "sectorCount": 46, "invariantCount": "2874", "byDimension": [ { "dimension": 2, "sectorCount": 1, "invariantCount": "1" }, { "dimension": 4, "sectorCount": 7, "invariantCount": "55" }, { "dimension": 5, "sectorCount": 2, "invariantCount": "12" }, { "dimension": 6, "sectorCount": 36, "invariantCount": "2806" } ] }, "diagnostics": { "visited": 2102, "chargeRejected": 1994, "selectionRejected": 0, "lorentzRejected": 62, "centerRejected": 0, "capacityRejected": 0, "candidates": 46, "completed": 46, "zeroSectors": 0, "operations": 29499, "peakStates": 855 }, "complete": true }, "conventionId": "four-d-local-polynomial-v1", "execution": "Local exact JavaScript enumeration and character projection", "sources": [ { "id": "marinissen-rahn-waalewijn-2020", "title": "Efficient Hilbert Series for Effective Theories", "authors": [ "Coenraad B. Marinissen", "Rudi Rahn", "Wouter J. Waalewijn" ], "url": "https://arxiv.org/abs/2004.09521", "locator": "§II A, Eqs. (2)–(4): symmetric/exterior powers and Haar projection without derivatives.", "kind": "paper", "licenseNote": "Linked primary research paper; the implementation and explanatory text are original. No upstream code or figures are redistributed." }, { "id": "lehman-martin-2015", "title": "Hilbert Series for Constructing Lagrangians: expanding the phenomenologist’s toolbox", "authors": [ "Landon Lehman", "Adam Martin" ], "url": "https://arxiv.org/abs/1503.07537", "locator": "§4.1, Eq. (4.2): 57 QQQL operators for three generations; Appendix A: characters, plethystic exponentials and Haar measure.", "kind": "paper", "licenseNote": "Linked primary research paper; benchmark values are independently recomputed." }, { "id": "fonseca-2020", "title": "Enumerating the operators of an effective field theory", "authors": [ "Renato M. Fonseca" ], "url": "https://arxiv.org/abs/1907.12584", "locator": "§3, Eq. (49) and Table 2: QQQL flavor count n_L n_Q (2 n_Q² + 1)/3; Eq. (51): n²(n²−1)/12 four-sterile-Weyl invariants.", "kind": "paper", "licenseNote": "Linked primary research paper; original independent character calculations reproduce its flavor polynomial." }, { "id": "dreiner-haber-martin-2010", "title": "Two-component spinor techniques and Feynman rules for quantum field theory and supersymmetry", "authors": [ "Herbi K. Dreiner", "Howard E. Haber", "Stephen P. Martin" ], "url": "https://arxiv.org/abs/0812.1594", "locator": "§2 and §3.2: two-component Lorentz spinors, spinor contractions and symmetric fermion mass matrices.", "kind": "paper", "licenseNote": "Linked primary reference; no upstream text or figures are mirrored." }, { "id": "henning-lu-melia-murayama-2017", "title": "Higher dimension operators in the SM EFT", "authors": [ "Brian Henning", "Xiaochuan Lu", "Tom Melia", "Hitoshi Murayama" ], "url": "https://arxiv.org/abs/1512.03433", "locator": "§2: operator Hilbert series and the additional treatment required for derivatives, equations of motion and integration by parts.", "kind": "paper", "licenseNote": "Linked primary research paper; used to delimit the scope of this derivative-free calculation." }, { "id": "alonso-jenkins-manohar-trott-2014-counting", "title": "Renormalization Group Evolution of the Standard Model Dimension Six Operators III: Gauge Coupling Dependence and Phenomenology", "authors": [ "Rodrigo Alonso", "Elizabeth E. Jenkins", "Aneesh V. Manohar", "Michael Trott" ], "url": "https://arxiv.org/abs/1312.2014", "locator": "Appendix A and Table 2: flavor-dependent coefficient counts, including 30 and 2205 baryon-preserving four-fermion directions for one and three generations.", "kind": "paper", "licenseNote": "Linked primary research paper. The local enumeration and explanatory derivation are original; no upstream text, code, or figures are redistributed." }, { "id": "alonso-et-al-2014-baryon-violation", "title": "Renormalization group evolution of dimension-six baryon number violating operators", "authors": [ "Rodrigo Alonso", "Hsi-Ming Chang", "Elizabeth E. Jenkins", "Aneesh V. Manohar", "Brian Shotwell" ], "url": "https://arxiv.org/abs/1405.0486", "locator": "Eq. (1) and Table I: four baryon-violating field structures and 273 complex coefficients in the three-generation ΔB = 1 sector without sterile neutrinos.", "kind": "paper", "licenseNote": "Linked primary research paper. Published flavor polynomials are independently recomputed; no upstream text or figures are redistributed." }, { "id": "kobach-2016-dimension-selection", "title": "Baryon Number, Lepton Number, and Operator Dimension in the Standard Model", "authors": [ "Andrew Kobach" ], "url": "https://arxiv.org/abs/1604.05726", "locator": "Eqs. (15)–(18): d ≡ (ΔB − ΔL)/2 modulo 2 for Standard Model Lorentz- and hypercharge-invariant operators.", "kind": "paper", "licenseNote": "Linked primary research paper. Used as a necessary selection-rule cross-check, not as a replacement for exact invariant counting." } ] }