Glossary: Z

Definitions in this project whose names start with Z. 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

Z def
The homogeneous, nonnegative profile, prior to normalizing its boundary slope. · OAI.Bernoulli.DeSilvaJerison.Z
Z def
The exact unweighted count, including the empty graph. · OAI.MatchingFPRAS.Z
zero def
The zero weight, not the weight of the zero ideal. · OAI.TraceConeClassification.ExtendedTrace.zero
ZeroBalanced structure
An auxiliary balanced component, without an exceptional white vertex. · OAI.KaplanskyCounterexample.Planar.ZeroBalanced
zeroCell def
An endpoint-zero cell, as a cell of the actual full fibre. · OAI.Thomason.Construction.StrictOmegaCategory.zeroCell
zeroCoefficientMap def
The coefficient at zero is the unique finite coordinate of the constant tip. · OAI.Nagata.Workers.W10.zeroCoefficientMap
zeroColumnFiberEquiv def
A degree-zero fiber contains exactly the retained K=0 column. · OAI.Nagata.Workers.W10.zeroColumnFiberEquiv
zeroComplex def
A graded vector space regarded as a complex with zero differential. · OAI.LittleFinitistic.VectorComplexFormality.zeroComplex
zeroCornerRow def
At stage zero the row is the corner unit. Every successor replaces it by b followed by the old row multiplied on the left by a. · OAI.WeakPureInfiniteness.zeroCornerRow
zeroCount def
Number of zero columns in an actual coefficient vector. · OAI.MaxCutGames.Soundness.RepeatedGameBounds.zeroCount
zeroCount def
Number of zero columns in an actual coefficient vector. · OAI.UniqueGamesTheorem.Soundness.RepeatedGameBounds.zeroCount
zeroData def
Empty and genuinely side-free marked domains have the source's zero potential. The dummy regular kernel is never evaluated by that potential. · OAI.KServer.AllocationSchedule.zeroData
zeroDegreeBasisOfLaurentData def
The actual normalized constant section is the degree-zero basis vector, once its actual coefficient and analytic Laurent uniqueness are established. · OAI.Nagata.Workers.W10.zeroDegreeBasisOfLaurentData
zeroDegreeIndex def
A support interval containing degree zero supplies the finite-total index; this is automatic for the ordinary resolution's interval [-length,0]. · OAI.LittleFinitistic.BimoduleTotal.zeroDegreeIndex
ZeroEdge def
Identify the endpoints of every constant side. Quot includes the reflexive, symmetric, and transitive closure automatically. · OAI.ArtinCAT0.TriangleMesh.SimplicialLabeling.ZeroEdge
zeroEquiv def
The degree-zero part of the actual Rees algebra is the original ring. · OAI.ReesProj.zeroEquiv
zeroEquiv def
When the degree-zero coefficient piece consists of scalars, the Proj base is canonically the original scalar field. · OAI.SectionCompletion.zeroEquiv
zeroEvaluation def
Set the genuine fiber coordinate to zero. · OAI.SourcePullbackChart.zeroEvaluation
zeroFaceSection def
The product with the terminal standard simplex has a chosen section. · OAI.Thomason.Construction.zeroFaceSection
zeroFactorMass def
The exact self-loop mass when independent uniform binary factors include zero. The overlap of the two zero events is subtracted once. · OAI.MaxCutGames.Inverse.ShortcodeFromGrassmann.zeroFactorMass
zeroFactorMass def
The exact self-loop mass when independent uniform binary factors include zero. The overlap of the two zero events is subtracted once. · OAI.UniqueGamesTheorem.Inverse.ShortcodeFromGrassmann.zeroFactorMass
zeroFiber def
The left branch has weight zero exactly when the old branch does. · OAI.ExternalTensor.Binomial.zeroFiber
zeroFiberComparison def
The canonical map from the reflected original fibre to the reflected label's fibre. · OAI.Thomason.Construction.FiniteReflectionInput.zeroFiberComparison
zeroFiberEquiv def
The fiber at zero of the exact degree-five polynomial is affine three-space, expressed as an isomorphism of complex coordinate algebras. · OAI.StableCoordinate.zeroFiberEquiv
zeroFiberEquivOfPresentation def
Transport the already calculated zero fiber through a polynomial presentation that takes the distinguished parameter to the exact polynomial. This helper is instantiated by the explicit presentation construction. · OAI.StableCoordinate.ZeroFiber.zeroFiberEquivOfPresentation
zeroFiberHomEquiv def
The universal bijection of the reflected zero fibre. · OAI.Thomason.Construction.FiniteReflectionInput.zeroFiberHomEquiv
zeroFiberInclusion def
The old category is the actual full zero-fibre of the cone label. · OAI.Thomason.Construction.StrictOmegaCategory.TerminalCone.zeroFiberInclusion
zeroFiberOverEquiv def
Reflection descends maps to the terminal cone while retaining the label. · OAI.Thomason.Construction.FiniteReflectionInput.zeroFiberOverEquiv
zeroFiberUnit def
Restriction of the original reflection unit to its zero fibre. · OAI.Thomason.Construction.FiniteReflectionInput.zeroFiberUnit
zeroField def
The admissible zero covariance field. · OAI.InvariantIsing.zeroField
zeroFixedEquiv def
The free block is the entire product when the fixed block is zero. · OAI.MaxCutGames.Inverse.KMSFourthMoment.zeroFixedEquiv
zeroFixedEquiv def
The free block is the entire product when the fixed block is zero. · OAI.UniqueGamesTheorem.Inverse.KMSFourthMoment.zeroFixedEquiv
zeroGradients def
Closed gradient space used for Dirichlet harmonic replacement. · OAI.Bernoulli.HarmonicReplacement.zeroGradients
zeroGuardInTime def
The zero guard preserves all tapes, resets its temporary register, and enters the actual driver's output-reversal phase in one transition. · OAI.MaxCutGames.Foundations.PCP.AlphabetTable.Loop.zeroGuardInTime
zeroGuardInTime def
The zero guard preserves all tapes, resets its temporary register, and enters the actual driver's output-reversal phase in one transition. · OAI.UniqueGamesTheorem.Foundations.PCP.AlphabetTable.Loop.zeroGuardInTime
zeroHomologyK def
The bounded homology representative has the same finite support and finite terms. · OAI.LittleFinitistic.VectorComplexFormality.zeroHomologyK
zeroIdeal def
The zero ideal, as an actual closed two-sided ideal in the algebra. Its positive elements are characterized by mem_zeroIdeal_iff below. · OAI.TraceConeClassification.ExtendedTrace.zeroIdeal
zeroJet def
Remove the constant row and subtract evaluation at zero from every remaining complete jet. When b 0=0 these are an exact basis of ker(ev₀). · OAI.CriticalHoneycomb.FiniteFunctional.StripAsymptotic.zeroJet
zeroLayerSubalgebra def
The zeroth layer, with its actual subalgebra structure. · OAI.StableCoordinate.SourceFiltration.zeroLayerSubalgebra
zeroLengthResolution def
For l=0, the source resolution is the actual isomorphism e₀C ≅ W. · OAI.LittleFinitistic.OrdinarySimulation.ChainAlgebra.zeroLengthResolution
ZeroMeanL2 abbrev
The actual closed zero-mean subspace of L². · OAI.PolycyclicRecognition.ZeroMeanL2
zeroMeanL2Action def
Restrict the pullback representation to the kernel of integration. · OAI.PolycyclicRecognition.zeroMeanL2Action
zeroMultiplicityEquiv def
The actual unitary identification of the base space with multiplicity zero. · OAI.KadisonSimilarity.zeroMultiplicityEquiv
zeroMultiplicityInclusion def
The canonical degree-zero inclusion of the base Hilbert space. · OAI.KadisonSimilarity.zeroMultiplicityInclusion
zeroMultiplicityOperator def
Transport the canonical degree-zero block to an operator on the base space. · OAI.KadisonSimilarity.zeroMultiplicityOperator
zeroMultiplicityWord def
The empty centered word is the scalar unit in tensor degree zero. · OAI.KadisonSimilarity.zeroMultiplicityWord
zeroNet def
The zero reflection's flag depends only on the length and the actual clean work coordinates, never on the unknown integer or its factorization. · OAI.ExactQuantumFactoring.PhysicalTree.zeroNet
zeroNorm def
Root-zero common-root norm. The new root coordinate is absent, not free. · OAI.DiamondDistortion.RecursiveModel.zeroNorm
zeroOrderIntegrand def
The derivative-free part of the manuscript's combined integrand. · OAI.PositiveEinsteinFour.Boundary.zeroOrderIntegrand
zeroOutside def
A linear-size clean-work flag, leaving every protected input bit alone. · OAI.ExactQuantumFactoring.zeroOutside
zeroProbability def
A uniformly sampled vector in a d-dimensional binary space is zero with probability 2^(-d). The counting justification is a separate obligation. · OAI.MaxCutGames.Soundness.RepetitionUpper.zeroProbability
zeroProbability def
A uniformly sampled vector in a d-dimensional binary space is zero with probability 2^(-d). The counting justification is a separate obligation. · OAI.UniqueGamesTheorem.Soundness.RepetitionUpper.zeroProbability
zeroQuotientEquiv def
The explicit presentation is also a quotient by finitely many polynomial zero relations, in the exact form used by Section 3 of the manuscript. · OAI.LittleFinitistic.GroupAlgebraPresentation.zeroQuotientEquiv
zeroRelations def
Polynomial zero relations for the same explicit presentation. · OAI.LittleFinitistic.GroupAlgebraPresentation.zeroRelations
zeros def
Constant-zero fresh blocks are explicit gates, rather than analytical initialization assumptions about the raw sampler layout. · OAI.ExactQuantumFactoring.Completion.zeros
zeroSetup def
A zero-target analysis wrapper reuses only group-domain facts. Its empty solution never enters the runtime definitions above. · OAI.LowSpaceSubsetSum.CompressionData.zeroSetup
zeroSource def
The source object of a cell whose source has label zero, in the zero fibre. · OAI.Thomason.Construction.StrictOmegaCategory.zeroSource
zeroSourceThetaEquiv def
The literal degree-zero tip is exactly the genuine constant section space. · OAI.Nagata.Workers.W10.zeroSourceThetaEquiv
ZeroStep inductive
These are exactly the absorbing-letter and incompatible-arrow equations, oriented toward the zero letter. · OAI.FiniteAlgebraicEnvelopes.Compiler.Path.ZeroStep
zeroSumProjection def
A continuous linear projection onto zero-sum mass variations. · OAI.Problem358.CellLaplacian.zeroSumProjection
zeroSupported def
The one-dimensional ideal spanned by the absorbing monoid zero. · OAI.FiniteAlgebraicEnvelopes.Contracted.zeroSupported
ZeroTailParameters abbrev
Coordinates are the real shift, real coupling, and complex spectral value. · OAI.DefocusingNLS.ZeroTailParameters
zeroTest def
A boundary test which inspects the first unary bit without consuming it. · OAI.MaxCutGames.Foundations.Complexity.MachineUnaryLessAt.zeroTest
zeroTest def
A boundary test which inspects the first unary bit without consuming it. · OAI.UniqueGamesTheorem.Foundations.Complexity.MachineUnaryLessAt.zeroTest
zeroTraceEnergy def
The actual Dirichlet physical energy on the exact zero-trace Hilbert space. · OAI.Elasticity.zeroTraceEnergy
zeta def
The first element of multiplicative order ell in the literal coefficient order. · OAI.KaplanskyCounterexample.Prescription.zeta
zetaMultiplicity def
An integer-valued version of the continued zeta order. · OAI.DukePrimeDegree.zetaMultiplicity
zetaZeroOrder def
The zero order of the continued Dedekind zeta function, using a fixed embedding ordering and no removed primes. · OAI.DukePrimeDegree.zetaZeroOrder
ZF def
Zermelo–Fraenkel set theory, without Choice. · OAI.PartitionConsistency.SetLanguage.ZF
zG def
The weight-zero invariant z in the degeneration ring. · OAI.StableCoordinate.Obstruction.zG
zgen def
Base-chart coordinate functions. · OAI.StableCoordinate.BundleCharts.zgen
zigzag def
The actual zigzag product: inner step, outer edge, inner step. · OAI.MaxCutGames.Foundations.PCP.ZigzagGraphs.zigzag
zigzag def
The actual zigzag product: inner step, outer edge, inner step. · OAI.UniqueGamesTheorem.Foundations.PCP.ZigzagGraphs.zigzag
zinv def
Inverse of z on the second chart. · OAI.StableCoordinate.BundleCharts.zinv
zipLabels def
Coordinates of the four paths in one layer are pairs of adjacent vertex labels. · OAI.Problem335.Pairings.zipLabels
Zipped def
Right stack includes current cell. · OAI.ExactDerandomization.Base.Zipped
zLabel def
Label a third-leg coordinate by its corresponding interval. · OAI.MatrixMultiplication.AuxiliarySeparation.Sector.zLabel
Zodiac structure
envelope information to certify a generator, shared l and q. · OAI.HadwigerCounterexample.StatusAnalysis.Zodiac
zonotope def
The Minkowski sum of the unit cube and the diagonal unit segment. · OAI.DiagonalZonotope.zonotope
Zring def
The polynomial lift is evaluated over the exact rational quotient. · OAI.RationalHitting.Generator.Zring
Zsigned def
Smooth signed extension near the free boundary away from the singular axis. · OAI.Bernoulli.DeSilvaJerison.Zsigned