Glossary: Q

Definitions in this project whose names start with Q. The whole glossary has the other sections.

A · B · C · D · E · F · G · H · I · J · K · L · M · N · O · P · Q · R · S · T · U · V · W · X · Y · Z · Other

Q abbrev: Section 3's actual Verdier quotient K/S. · OAI.LittleFinitistic.SourceVerdier.Q
Q abbrev: The Verdier localization at the cone class. · OAI.LittleFinitistic.TwoConeVerdier.ConePair.Q
Q def: The three-coordinate quadratic block from equation (2.4). · OAI.MaxCutGames.Quadratic.Q
Q def: The complement of the constants and the quadratics. For even input this is exactly the even tail of degree at least four. · OAI.PettyProjection.Spherical.Q
Q def: The three-coordinate quadratic block from equation (2.4). · OAI.UniqueGamesTheorem.Quadratic.Q
q def: The denominator-cleared rational parametrization coordinates. · OAI.EuclideanRamsey.NineGrid.q
q def: endpoints stored 0,1; averages 2 · OAI.GeneralMahler.SCal.Mid.Op.q
q def: The integral expectation threshold. · OAI.TalagrandThreshold.q
q def: The bounded radial correction used in the tube. · OAI.ThompsonNonamenability.Analytic.q
q0 def: The polynomial remainder Q₀ in the source equation H = L-u+p Q₀. · OAI.StableCoordinate.Linearization.q0
Q3 def: The literal projective quadric sum z_j^2 = 0 in CP^4. · OAI.ArnoldCounterexample.Q3
qf def: The fractional expectation threshold. · OAI.TalagrandThreshold.qf
qgen def: The four quotient generators (x,y,z,u). · OAI.StableCoordinate.BundleCharts.qgen
qGradeEquiv def: The quotient by that subspace is exactly the induced Q grade. · OAI.IntegralCharacterVarieties.IntrinsicInterval.Data.qGradeEquiv
qmaAcceptance def: Born probability of measuring one on the output qubit. · OAI.ContinuumCoulomb.qmaAcceptance
qmaForkDegreeAfter def: A constant degree bound permits a constant number of fork rounds. · OAI.ContinuumCoulomb.qmaForkDegreeAfter
qmaHadamard def: Exact algebraic Hadamard gate. · OAI.ContinuumCoulomb.qmaHadamard
qmaInitialState def: The witness occupies the first witness qubits; every remaining qubit, including the measured final qubit, starts in the zero state. · OAI.ContinuumCoulomb.qmaInitialState
qmaPhaseT def: T=diag(1,exp(i*pi/4)), written with its exact algebraic entries. · OAI.ContinuumCoulomb.qmaPhaseT
qmaRoutingStars def: All routing stars are applied simultaneously, one per distinct singlet pair. · OAI.ContinuumCoulomb.qmaRoutingStars
qmaStageCursor def: Three transfer gates per column, with one gate inserted at the previous column. · OAI.ContinuumCoulomb.qmaStageCursor
QMatrix def: Real matrix whose null contraction is exactly the Q block. · OAI.ElasticityRecovery.QMatrix
qmaWitnessBasis def: A witness basis vector with every ancillary qubit set to zero. · OAI.ContinuumCoulomb.qmaWitnessBasis
qmaWitnessPrefix def: Restriction to the witness register of a well-formed circuit. · OAI.ContinuumCoulomb.qmaWitnessPrefix
qmix def: Matrix on a point's v coordinates for Tmix(x,atom_l). · OAI.HadwigerCounterexample.qmix
qMoment def: Terminal moment of a genuine prescribed tree, then expectation over Q. · OAI.DilutedSpinGlass.PrescribedTree.qMoment
qParentPath def: Q route, through the complementary interchange x,y. · OAI.IntegralCharacterVarieties.OccurrenceIncidence.ComplementaryPatch.qParentPath
Qpol def: coefficient taylor · OAI.GeneralMahler.SCal.Qpol
qTrans def: Q₀ written in the new linear coordinates. · OAI.StableCoordinate.Linearization.qTrans
quad def: The negative determinant of the displayed two-by-two matrix. · OAI.StableCoordinate.MatrixChange.quad
quadPathsEquiv def: Four paths and a single quadruple-labelled path contain exactly the same data. · OAI.Problem335.Pairings.quadPathsEquiv
Quadratic structure: Only the finite quadratic diagram data used in the column calculation. These equations hold for Section 3's arrows in e_j B e_i and relation basis. No independence of relations is needed for the stronger assembly statement. · OAI.ExternalTensor.Section4.Quadratic
quadratic def: The exact coordinate quadratic form used by path length. · OAI.HarmonicCounterexample.quadratic
quadratic def: The exact three-vertex algebra and its actual independent relation basis, packaged for the induced-column construction. · OAI.LittleFinitistic.ConcreteQuadraticDiagram.quadratic
quadratic def: Bilinear-coordinate quadratic form. Complex conjugation is placed in the second coordinate, matching the purification formulas used below. · OAI.RowColumn.MatrixState.quadratic
quadraticBlockCost def: Z_n uses the same rooted tree and synthesis, but a genuinely different norm. · OAI.BoundedTreePotentials.quadraticBlockCost
QuadraticCochainSolver def: The precise local cochain estimate used by the quadratic iteration. · OAI.KadisonKastler.QuadraticCochainSolver
quadraticComparisonForms def: One form for every position and every threshold 0,...,B. · OAI.QuantitativeVanDerWaerden.quadraticComparisonForms
quadraticCost def: The exact quadratic path cost. · OAI.BoundedTreePotentials.quadraticCost
quadraticEnergy def: Quadratic interaction energy, including the diagonal. · OAI.InvariantIsing.quadraticEnergy
quadraticEquiv def: An algebra equivalence with mutually inverse composites. · OAI.LittleFinitistic.QuadraticPresentation.quadraticEquiv
quadraticEvaluationSpan def: Degree-two evaluation space. Repeated indices are allowed, so on binary points this also contains every degree-one evaluation. · OAI.MaxCutGames.Quadratic.quadraticEvaluationSpan
quadraticEvaluationSpan def: Degree-two evaluation space. Repeated indices are allowed, so on binary points this also contains every degree-one evaluation. · OAI.UniqueGamesTheorem.Quadratic.quadraticEvaluationSpan
quadraticForm def: The real quadratic form x ↦ τ(x*x), with finite values on n_τ. · OAI.TraceConeClassification.ExtendedTrace.quadraticForm
QuadraticGroup def: Exactly the coordinate groups used by the three distinct quadratic budgets. Quantifying over finite subsets is equivalent to the countable-sum convention. · OAI.BoundedTreePotentials.TreeCalculus.QuadraticGroup
quadraticJetCoefficient def: Actual Euclidean iterated Laplacian, with the ordinary positive-second- derivative sign convention. · OAI.Falconer.quadraticJetCoefficient
QuadraticLens def: An infinite separated symmetric lens with the exact quadratic constant. · OAI.DiamondDistortion.Diamond.QuadraticLens
quadraticMean def: The actual zero-phase tensor of the finite free family in original coordinates. · OAI.ClosedSurfaceR4.JetPolynomial.Perturbation.ChartedMeanFamilyData.quadraticMean
quadraticPart def: Exactly the homogeneous quadratic part of equation (tail-linear-loss). · OAI.SidorenkoCounterexample.quadraticPart
quadraticPlanCost def: The formalization proves one-third Hölder stability of Brenier maps from the uniform measure on a compact convex body with nonempty interior in $\mathbb R^d$, for every $d\ge2$. For targets supported in one fixed nonempty compact set, the … · OAI.Problem358.quadraticPlanCost
quadraticPotential def: The concave quadratic used in the midpoint argument. · OAI.Problem358.MidpointEnergy.quadraticPotential
quadraticRadius def: Squared Euclidean radius as an actual polynomial. · OAI.HarmonicCounterexample.Angular.quadraticRadius
quadraticSchwartzWeight def: Pullback along the squaring map is still a Schwartz function on the line. This is the weight appearing after writing a frequency as s*v*w^2. · OAI.Ostmann.quadraticSchwartzWeight
QuadraticSieveBound def: A bound for the actual finite odd-squarefree Jacobi matrix. · OAI.Ostmann.QuadraticSieveBound
QuadraticSieveGrowth def: Heath-Brown's induction statement, with an arbitrary small-power loss. · OAI.Ostmann.QuadraticSieveGrowth
quadraticToGnomonic def: The exact change from quadratic coordinates to the existing gnomonic coordinates. On the unit ball its denominator is bounded away from zero. · OAI.Falconer.quadraticToGnomonic
quadraticValue def: Evaluation of the three actual quadratic coefficients. · OAI.QuantitativeVanDerWaerden.quadraticValue
quadric def: The isotropic quadratic in independent z and bar-z variables. · OAI.HarmonicCounterexample.ComplexAngular.quadric
quadricIdeal def: Defining ideal of the quadric with independent coordinates (x,y,z,u). · OAI.StableCoordinate.BundleCharts.quadricIdeal
quadricMap abbrev: The actual base-quadric inclusion; definitions agree with the chart API. · OAI.StableCoordinate.DeterminantLiftWeights.quadricMap
quadricRelation def: Variables are ordered x,y,z,u. · OAI.StableCoordinate.DeterminantDomain.quadricRelation
QuadricRing abbrev: Coordinate ring of the quadric times the affine u-line. · OAI.StableCoordinate.BundleCharts.QuadricRing
QuadricRing abbrev: Coordinate ring of the quadric times the u-line, ordered x,y,z,u. · OAI.StableCoordinate.DeterminantDomain.QuadricRing
quadruplePathIndexEquiv def: Quadruples of exact enumerated matrix paths have the internal-label representation used by RelaxedPaths and CompatiblePaths. · OAI.Problem335.Pairings.quadruplePathIndexEquiv
qualifying def: The occurrence count tested when choosing a layer. · OAI.Superstring.Hierarchical.Processing.qualifying
qualifyingLayer def: Forgetting the unique aligned residue retains a qualifying sorted layer. · OAI.Superstring.Hierarchical.Threading.qualifyingLayer
QuantifierCode structure: The two fixed proof paths implementing a direct-domain universal. · OAI.PureTypeSystem.Labelled.QuantifierCode
QuantifierRoute structure: Quantification uses the displayed direct-vertex annotation throughout. · OAI.PureTypeSystem.Labelled.QuantifierRoute
quantile def: Ordered generalized inverse of the kernel's conditional distribution function. · OAI.Problem358.KernelQuantile.quantile
quantile def: The inverse cumulative map, including its continuous endpoint extension. · OAI.Problem358.PositiveIntervalDensity.quantile
quantile def: The inverse is only used on (0,1); its arbitrary values elsewhere are killed by a smooth compactly supported cutoff. · OAI.ThreeTorus.quantile
quantileReal def: A globally continuous extension of the quantile, constant outside the unit interval. · OAI.Problem358.PositiveIntervalDensity.quantileReal
QuantitativeFullStatement def: A single mass fraction and Lipschitz bound work for all measures with fixed AD and Riesz bounds. · OAI.RieszRectifiability.QuantitativeFullStatement
QuantitativeThreePrimeLowerBound def: The precise external number-theoretic assertion used by this supply reduction. It is a proposition, not an axiom or an asserted theorem. · OAI.Problem337.QuantitativeThreePrimeLowerBound
quarterCoeff def: The second rounding of Section 6, independent of the transition algorithm. · OAI.ExactQuantumFactoring.Exactness.quarterCoeff
quarterFrame def: Quarter-scale pointwise coordinate changes, extended outside the working neighborhood only to give the total function required by the open-map API. · OAI.RegularPointCoordinates.RegularBilinearData.quarterFrame
quarterIndex def: Half-open quarter assignment, computed only by rational arithmetic. · OAI.ExactQuantumFactoring.OrderTrial.quarterIndex
quarterList def: Literal fixed 32-piece table; no noncomputable Finset enumeration is used by the circuit generator. · OAI.ExactQuantumFactoring.OrderTrial.Expressions.quarterList
quarterPairs def: Exactly 32 possible quarter pairs. · OAI.ExactQuantumFactoring.OrderTrial.quarterPairs
quartetProductFiberEquiv def: Given the bottom quartet products, their interiors are independent uniform fibers; the maps do not depend on any tree parameters. · OAI.Ostmann.quartetProductFiberEquiv
quarticEnergy def: The actual right side of equation (19), with the two fixed radial energies e0, f0 and variable total energies e, f. · OAI.PositiveEinsteinFour.Energy.quarticEnergy
quarticMargin def: The difference between the two sides of the paper's equation (20). · OAI.PositiveEinsteinFour.Quartic.quarticMargin
quasiAction def: The concrete quasi-action induced by f ∘ L_h ∘ r, with shifts π (f h). Surjectivity belongs to the height map; no exact action law is assumed. · OAI.PolycyclicRecognition.TransferredHeight.quasiAction
quasitraceCandidateBox def: Compact pointwise disks. The factor four for the extension follows from its unit value two, not an additional assumption. · OAI.Kaplansky.quasitraceCandidateBox
QuasiTransitive def: Finitely many vertex orbits under the full automorphism group. · OAI.CriticalPercolation.BondGraph.QuasiTransitive
quaternion def: The fixed positive quaternion triple. · OAI.PositiveEinsteinFour.Bianchi.quaternion
quaternionCombination def: A real outer quaternion combination, keeping all inner correlations. · OAI.PositiveEinsteinFour.Bianchi.quaternionCombination
quaternionConjugate def: Ambient conjugation, compatible with the group operation on unit quaternions. · OAI.EilenbergGanea.quaternionConjugate
QuaternionLift structure: A concrete oriented four-frame lift of a change in one quaternion basis. The opposite quaternion basis is fixed. · OAI.PositiveEinsteinFour.QuaternionFrame.QuaternionLift
quaternionMatrix def: Matrix coefficients of the same quaternion triple used for gradients. · OAI.PositiveEinsteinFour.TraceHessian.quaternionMatrix
quay def: geometry, p = count*b. · OAI.PowerSaving.Slant.quay
queries def: The actual queried moduli, in chronological order. A rejected divisor aborts and does not query nonexistent later work. · OAI.ExactQuantumFactoring.FactorController.queries
queries def: The two actual graph vertices queried at each test atom. · OAI.OptimalMaxCut.LongCode.Game.queries
query def: Binary search allocates no list; its tail-state and both saved scalar cutoffs are covered by the additional 32 cells. · OAI.LowSpaceSubsetSum.StoredQueryCells.query
query def: Actual six queries, computed directly from fixed full tapes and P. Padding slots repeat precisely the addresses used by eventQueries. · OAI.MaxCutGames.Foundations.PCP.AlphabetTable.Queries.query
query def: Actual six queries, computed directly from fixed full tapes and P. Padding slots repeat precisely the addresses used by eventQueries. · OAI.UniqueGamesTheorem.Foundations.PCP.AlphabetTable.Queries.query
queryAddress def: Both endpoints use this same routine and this same address block. · OAI.MaxCutGames.Decoder.TableKeysAddressGame.queryAddress
queryAddress def: This is the endpoint routine used at runtime: canonicalize, serialize, apply Horner radix arithmetic, and add the side block. · OAI.MaxCutGames.Reduction.AddressGame.queryAddress
queryAddress def: Both endpoints use this same routine and this same address block. · OAI.UniqueGamesTheorem.Decoder.TableKeysAddressGame.queryAddress
queryAddress def: This is the endpoint routine used at runtime: canonicalize, serialize, apply Horner radix arithmetic, and add the side block. · OAI.UniqueGamesTheorem.Reduction.AddressGame.queryAddress
queryBits def: Nine distinct finite query strings. Index zero is the payload tag. · OAI.PureTypeSystem.Labelled.queryBits
queryComplexity def: The smallest feasible integer query budget, or infinity when no budget is feasible. · OAI.LogConcaveSampling.queryComplexity
queryCountedActionAllocation def: The actual gathered-history specialization of the labeled action sampler. · OAI.EditApproximation.BinaryFraction.queryCountedActionAllocation
queryPredBody def: The genuine predicate binder of qry_t(m,P), distinct from the parameter binder used by Access. · OAI.PureTypeSystem.Labelled.DoubleCode.queryPredBody
QueryTree inductive: A finite adaptive experiment. A force instruction aborts on the wrong bit; it carries likelihood-ratio weight 2 on success. Ordinary queries have no cost. Freshness is a theorem hypothesis BELOW ON THE ACTUAL QUERY TREE, not an … · OAI.CubeShuffle.QueryTree
queryVisits def: Actual reader calls summed over the hypothetical full prefix execution. · OAI.LowSpaceSubsetSum.RepresentationParentData.queryVisits
questionEventMass def: An event probability: first sample the question with the supplied weights, then sample uniformly in its own finite space. · OAI.MaxCutGames.Fourier.MatrixEnergy.questionEventMass
questionEventMass def: An event probability: first sample the question with the supplied weights, then sample uniformly in its own finite space. · OAI.UniqueGamesTheorem.Fourier.MatrixEnergy.questionEventMass
questionPredicate def: A predicate of the actual questions and answers, with no hidden slot input. · OAI.MaxCutGames.Reduction.Incidence.questionPredicate
questionPredicate def: A predicate of the actual questions and answers, with no hidden slot input. · OAI.UniqueGamesTheorem.Reduction.Incidence.questionPredicate
quiet def: Failure of loudness only. · OAI.FourierLLogL.Dyadic.Thermal.Update.quiet
Quill structure: Settings for local correctness at a contour invocation. · OAI.ExactDerandomization.Sub.Quill
QuotaStep inductive: The quota rule is applicable only at the literal clean right cut. · OAI.FiniteAlgebraicEnvelopes.Compiler.Surface.QuotaStep
quote def: A faithful syntactic encoding, not a choice of an evaluator for each index. · OAI.FiniteAlgebraicEnvelopes.MachineRealization.UniformCode.quote
quoteBits def: Prefix-free quoting for one Boolean word. Both constructor tags and payload bits are literal stack symbols. It is used only by the classical generator. · OAI.ExactQuantumFactoring.BitStackProgram.quoteBits
quoted def: Quote a prefix code so an existing word-stack product parser can read the field. The quoting overhead is exactly linear. · OAI.ContinuumCoulomb.BinaryEncoding.quoted
quotient def: Its canonical D-linear quotient map. · OAI.DerivedBar.Balanced.quotient
quotient def: Horizontal parameter selects a broken boundary path; vertical parameter runs from its common source to its common target. · OAI.HyperbolicObstruction.SquarePathFilling.quotient
quotient def: Pass from bounded chain maps to their homotopy classes. · OAI.LittleFinitistic.BoundedHomotopy.quotient
quotient abbrev: The passage from bounded projective complexes to their homotopy category. · OAI.LittleFinitistic.ProjectiveComplexes.quotient
quotient def: Destructive exact binary quotient, retaining its positive denominator. · OAI.RationalHitting.StackLanguage.quotient
quotient0 def: Projection onto the actual source-zero quotient. The condition only records that the supplied homotopy increases source index; it is proved for Section4 inputs below. · OAI.ExternalTensor.Section4.SourceFiltration.quotient0
quotientAction def: An action preserving a normal subgroup descends to the quotient. · OAI.FiniteLattice.CommonCore.quotientAction
quotientAction def: The manuscript's quotient action for its displayed presentation. · OAI.LittleFinitistic.QuadraticEncoding.quotientAction
quotientAction def: The genuine quotient action theta, obtained by descending the free action. · OAI.LittleFinitistic.QuotientAction.quotientAction
quotientActionOfPresentation def: Transport the action along a genuine presentation isomorphism for R. · OAI.LittleFinitistic.QuadraticEncoding.quotientActionOfPresentation
quotientChainEquiv def: Tensoring an isomorphism is an isomorphism. This finite-column proof makes no assertion that the quotient group ring is a flat module. · OAI.EilenbergGanea.quotientChainEquiv
quotientChartScalar def: The scalar local coordinate of a quotient section, expressed in the genuine complex base coordinate. Outside the chart domain its values have no geometric meaning. · OAI.Nagata.W08.quotientChartScalar
quotientCongr def: Equality of generated congruences gives an algebra equivalence of quotients. · OAI.LittleFinitistic.QuadraticPresentation.quotientCongr
quotientEmbedding def: The natural map from the spectrum of a quotient into the ambient affine scheme. · OAI.StableCoordinate.AffineGeometry.quotientEmbedding
quotientEquiv def: The cyclic-module lemma, with no assumed tensor action identities. · OAI.FiniteAlgebraicEnvelopes.Enveloping.quotientEquiv
quotientEquiv def: Explicit free associative algebra quotient presenting the group algebra. · OAI.LittleFinitistic.GroupAlgebraPresentation.quotientEquiv
quotientEquiv def: Equal quotient dimension gives an actual linear equivalence. · OAI.MaxCutGames.Inverse.KMSKernelFiberCard.quotientEquiv
quotientEquiv def: Identification with the ordinary complete normed linear quotient. · OAI.NuclearUltrapower.VariableUltra.quotientEquiv
quotientEquiv def: Equal quotient dimension gives an actual linear equivalence. · OAI.UniqueGamesTheorem.Inverse.KMSKernelFiberCard.quotientEquiv
quotientEquivalence def: The exact quotient already known to be the desired concrete simple group. Only finite normal generation of this explicitly defined kernel remains for finite presentation; neither that property nor a main theorem is asserted here. · OAI.FiniteAlgebraicEnvelopes.TwistedBrinThompson.Generators.quotientEquivalence
quotientEvaluation def: Evaluation on the actual localization at cones in the thick closure. · OAI.LittleFinitistic.ThickEvaluation.quotientEvaluation
QuotientFibre abbrev: An actual fibre of the multiplier-orbit quotient projection. · OAI.Nagata.W06.TorusConfiguration.QuotientFibre
quotientField def: The contracted finite field is the SUM of the fields in the identified class. Common fixed spins have already been removed and contribute through pinField; opposite common signs are never wired together. · OAI.BufferedIsing.quotientField
quotientGNSVector def: The algebra-sequence map factors through the actual tracial quotient. · OAI.KadisonSimilarity.quotientGNSVector
quotientHilbertRep def: Every uniformly varying coordinate representation descends to the quotient. · OAI.NuclearUltrapower.VariableUltra.quotientHilbertRep
quotientImageMap def: Factor a map whose kernel contains ker Y and whose image lies in range Y through the effective domain and codomain. · OAI.MaxCutGames.Appendix.SubspaceCounting.quotientImageMap
quotientImageMap def: Factor a map whose kernel contains ker Y and whose image lies in range Y through the effective domain and codomain. · OAI.UniqueGamesTheorem.Appendix.SubspaceCounting.quotientImageMap
quotientInnerCore def: The norm here is the trace norm, not the operator norm. · OAI.Generator.Tracial.quotientInnerCore
quotientKernelConjugate def: Conjugation on the kernel, expressed without selecting logarithms. · OAI.PolycyclicRecognition.quotientKernelConjugate
quotientKernelEquiv def: A dual map killed by the quotient has a unique factor with values in W. This is the exact finite object counted in the parity argument of Lemma 5.3. · OAI.MaxCutGames.Fourier.MatrixRestrictions.quotientKernelEquiv
quotientKernelEquiv def: A dual map killed by the quotient has a unique factor with values in W. This is the exact finite object counted in the parity argument of Lemma 5.3. · OAI.UniqueGamesTheorem.Fourier.MatrixRestrictions.quotientKernelEquiv
quotientMap def: The quotient R³ → R³/Z³ in orthonormal coordinates. · OAI.CubicTorus.quotientMap
quotientMap def: The canonical quotient-set map exists without a normality assumption. · OAI.FiniteCongruence.quotientMap
quotientMap abbrev: The actual polynomial presentation map of the source hypersurface. · OAI.StableCoordinate.AssociatedGradedPresentation.quotientMap
quotientMap def: The actual map out of the source determinant quotient induced by a frame. The image of the fifth coordinate u is arbitrary and independently specified. · OAI.StableCoordinate.FrameLift.Frame.quotientMap
quotientMatrix def: Base change of a translation-equivariant matrix, directly on its finitely supported columns. Its definition needs neither finite index sets nor flatness. · OAI.EilenbergGanea.quotientMatrix
quotientMatrix def: The block regular-representation matrix attached to one line label. · OAI.Release075.quotientMatrix
quotientMonomial def: The ordinary quotient monomial u^(e-j) v^j s, with j ≤ e. · OAI.MatrixMultiplication.AuxiliarySeparation.DeterminantKernel.quotientMonomial
quotientName def: The range of all canonical E-classes of labels. For an equivalence relation this is A/E, with the actual classes as its members. · OAI.PartitionConsistency.ProductForcing.quotientName
quotientNormalPolynomial def: Normal polynomial with coefficients in the actual coordinate ring modulo G. · OAI.Nagata.W03.LowDegree.quotientNormalPolynomial
quotientParameterCast def: Change only the parameter names of a genuine multiplier quotient. · OAI.Nagata.W06.TorusConfiguration.quotientParameterCast
quotientPowerMap def: The map on each infinitesimal neighbourhood induced by the algebra map. · OAI.CartierSections.quotientPowerMap
quotientPreGNSIsometry def: The tracial quotient's Hilbert norm is the ultralimit Hilbert norm. · OAI.KadisonSimilarity.quotientPreGNSIsometry
quotientProjection def: The canonical map from simplex representatives onto realization. · OAI.Thomason.Construction.RealizationPrism.quotientProjection
quotientRepresentation def: The quotient itself, rather than a chosen representative algebra, acts faithfully by bounded Hilbert-space operators. · OAI.Generator.Tracial.quotientRepresentation
quotientRepresentation def: Any unital representation of the quotient carries the source group tuple. · OAI.NuclearUltrapower.VariableUltra.quotientRepresentation
quotientRestrictSumEquiv def: Components of an invariant subset and of its complement partition the components of the original finite set. · OAI.KaplanskyCounterexample.Planar.quotientRestrictSumEquiv
quotientRightEquiv def: The quotient by the first coordinate has the second coordinate as a canonical linear presentation. · OAI.MaxCutGames.Inverse.KMSAnalyticHybridEnergy.quotientRightEquiv
quotientRightEquiv def: The quotient by the first coordinate has the second coordinate as a canonical linear presentation. · OAI.UniqueGamesTheorem.Inverse.KMSAnalyticHybridEnergy.quotientRightEquiv
quotientRightMap def: The second projection descends through the first-factor quotient. · OAI.MaxCutGames.Inverse.KMSAnalyticHybridEnergy.quotientRightMap
quotientRightMap def: The second projection descends through the first-factor quotient. · OAI.UniqueGamesTheorem.Inverse.KMSAnalyticHybridEnergy.quotientRightMap
QuotientRing abbrev: The principal quotient determined by a relation. · OAI.StableCoordinate.HomogeneousQuotientWeight.QuotientRing
QuotientRunData def: Each transition ends a nonzero constant run and starts the next regular label on its common quotient line. These are local conditions on departures. · OAI.TwoPointCorrelations.QuotientRunData
quotientSectionCocycle def: The section cocycle of left translation, valued in the actual kernel. · OAI.PolycyclicRecognition.quotientSectionCocycle
quotientSectionHomeomorph def: Quotient coordinate first, followed by the actual kernel coordinate. · OAI.PolycyclicRecognition.quotientSectionHomeomorph
quotientSectionOfAutomorphic def: An actual holomorphic multiplier function yields an actual right-inverse section. · OAI.Nagata.W08.quotientSectionOfAutomorphic
quotientSectionOfEquivariant def: An equivariant scalar function descends to an actual quotient section. · OAI.Nagata.W08.quotientSectionOfEquivariant
quotientSectionResidual def: The kernel component left after removing the chosen section. · OAI.PolycyclicRecognition.quotientSectionResidual
QuotientSections def: Actual right-inverse sections of the projection of the actual orbit quotient. · OAI.Nagata.W08.QuotientSections
quotientSectionScalar def: Extract the unique scalar over a chosen lift from an actual quotient section. · OAI.Nagata.W08.quotientSectionScalar
quotientSectionZeroScalar def: The unique scalar extracted from an actual section, represented by a zero extension. · OAI.Nagata.W08.quotientSectionZeroScalar
quotientShift def: Inclusion of the quotient shift space into the ambient quotient. · OAI.MaxCutGames.Gadget.Quotient.quotientShift
quotientShift def: Inclusion of the quotient shift space into the ambient quotient. · OAI.UniqueGamesTheorem.Gadget.Quotient.quotientShift
quotientShortComplex def: Componentwise cokernels, with the actual induced maps. · OAI.Kaplansky.quotientShortComplex
quotientSplitEquiv def: Exact class decomposition under an invariant predicate. · OAI.HyperbolicObstruction.PictureSwitch.quotientSplitEquiv
quotientStage def: The logical alphabet is an actual injected shift subspace after quotient. · OAI.MaxCutGames.Gadget.QuadraticStageNoise.quotientStage
quotientStage def: The logical alphabet is an actual injected shift subspace after quotient. · OAI.UniqueGamesTheorem.Gadget.QuadraticStageNoise.quotientStage
quotientSummandImageIso def: Section 3: evaluation sends the formal quotient summand U to eY. · OAI.LittleFinitistic.QuadraticEncoding.quotientSummandImageIso
quotientTop def: The last quotient monomial v^e w. · OAI.MatrixMultiplication.AuxiliarySeparation.DeterminantKernel.quotientTop
quotientTrace def: The actual ultralimit trace on the operator-algebra quotient. · OAI.UltrapowerBridge.quotientTrace
quotientTruncation def: Truncation at the cofinal degree gives a genuine quotient algebra map. · OAI.SectionCompletion.quotientTruncation
quotientVector def: A quotient vector with both coefficient polynomials of degree at most e. · OAI.MatrixMultiplication.AuxiliarySeparation.DeterminantBasis.quotientVector
quotientVector def: The actual quotient vectors used at degree e: there are e + 2 of them. · OAI.MatrixMultiplication.AuxiliarySeparation.DeterminantKernel.quotientVector
quotientVertexIso def: The canonical evaluation identification on each vertex of the fixed quotient. · OAI.LittleFinitistic.QuadraticEncoding.quotientVertexIso
qZero def: Choose any i in I and j in J. The terminal connection is independent of these choices because I and J are each identified. · OAI.BufferedIsing.qZero