Glossary: J

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

J abbrev

J(T), completion of the finite-support disjoint-segment norm. · OAI.ForestSpace.J

j def

The manuscript's ordinary character parametrization. · OAI.PlaneFiveColor.Spectral.j

jacobianIntegral def

The integral representative of local degree against a target bump. · OAI.EilenbergGanea.jacobianIntegral

jacobianOrientation def

Orientation of a real Jacobian. Its value at zero is immaterial for change of variables; genuine local diffeomorphisms have nonzero Jacobian. · OAI.MahlerStokes.jacobianOrientation

jacobianRows def

Rows of the derivative of a list of scalar functions, in fixed directions. · OAI.AffineBernstein.jacobianRows

jacobiCharacterInt def

This definition includes the modulus-one character. The nonunit values vanish by the gcd criterion for Jacobi symbols. · OAI.Ostmann.jacobiCharacterInt

JacobsthalIteratedLog def

The strengthened main theorem of Manuscript 293, revision ad16712e. The interval, prime-factor and translation quantifiers are unchanged. · OAI.Erdos970.NumberTheoryLean.Targets.JacobsthalIteratedLog

jet def

Actual ordered coordinate derivatives; no symmetry convention is needed. · OAI.ClosedSurfaceR4.JetPolynomial.jet

jet def

The actual closed-prefix potentials at the leaves, with the stochastic row jet at every observation time. · OAI.SignedDisk.SignedRuns.jet

jet def

The actual closed-prefix potentials at the leaves, with the stochastic row jet at every observation time. · OAI.SignedRuns.jet

jet_effect def

extend a jetty effect f (given with whole target indexing) · OAI.PowerSaving.Slant.jet_effect

jetBlock def

The exact first-jet coefficient on value/parameter-derivative pairs. · OAI.HarmonicCounterexample.LinearODE.jetBlock

jetCoefficientScale def

Exponential and factorial scaling for the coefficient of order m. · OAI.RegularPointCoordinates.jetCoefficientScale

jetCoeffMap def

Extract the coefficients at the finite collision jet indices. · OAI.Nagata.Workers.W30.jetCoeffMap

JetIndex abbrev

A dependent finite type encoding the manuscript's row set without duplicates. The sigma order is (b,ell); jetIndexPair restores the manuscript order. · OAI.Nagata.Workers.W30.JetIndex

jetIndexEquivPairs def

Explicit equivalence with the subset of natural-number pairs written in §03. · OAI.Nagata.Workers.W30.jetIndexEquivPairs

jetMeshIndex def

The integer mesh coordinate of an actual jet label. · OAI.BoltzmannNonuniqueness.GeometricMesh.jetMeshIndex

jetPolynomial def

The polynomial with exactly the prescribed finite jet coefficients. · OAI.Nagata.Workers.W30.jetPolynomial

jetTestCoeffs def

Cofactor coefficients of the literal complete-jet interpolant test. · OAI.CriticalHoneycomb.FiniteFunctional.StripAsymptotic.jetTestCoeffs

jF def

Standard frequencies for the real algebraic line; again use the actual image. · OAI.PlaneFiveColor.Spectral.jF

jitterCode def

Finite version of a uniformly jittered residue, encoded in Q cells. · OAI.TwoPointCorrelations.jitterCode

jitterDecode def

Decode the residue from the left endpoint of a code cell. · OAI.TwoPointCorrelations.jitterDecode

jitterPermutation def

Regroup the s Q equally likely elementary outcomes into Q blocks of size s. · OAI.TwoPointCorrelations.jitterPermutation

join def

Coordinates are ordered transverse, then axial. · OAI.BoltzmannNonuniqueness.SheetMeasures.join

join def

A node's two least upper values once its child arrays have norms a,b. · OAI.DiamondDistortion.RecursiveModel.join

join def

The actual quotient parameter reconstructed from both independent pieces. · OAI.MaxCutGames.Inverse.KMSAffineRestrictionSplit.join

join def

The conditional join when it exists, and 1 for a pair with disjoint right cones. There is no completion added to the monoid. · OAI.PartitionConsistency.DiagramOrder.ConservativeHull.join

join def

Glue a free and an exterior configuration into a full configuration. · OAI.Problem313.RestrictionInfluence.join

join def

Reassemble a bounded prefix and its complementary coordinate block. · OAI.Problem358.FinitePrefix.join

join def

Join two networks, wiring the adjacent exits to entrances in both directions. · OAI.TwoWayComplementation.Network.join

join def

The actual quotient parameter reconstructed from both independent pieces. · OAI.UniqueGamesTheorem.Inverse.KMSAffineRestrictionSplit.join

joinBinaryLabels def

Regroup the two real top child labels, without changing the actual finite label type or declaration order. · OAI.TraceReconstruction.joinBinaryLabels

joined def

Arbitrarily addressed letters of a two-word splice. Only addresses less than twice the word length are used by recognition. · OAI.SmoothObstruction.WordConcatenation.joined

joinEdges def

The same band transports change only its two first departing edges; all old side occurrences elsewhere retain their precise old matrix. · OAI.IntegralCharacterVarieties.BoundaryBand.joinEdges

JoinedHead def

The joined root belongs to every allowed head, including otherwise empty heads. · OAI.DiamondDistortion.RecursiveModel.JoinedHead

joinedNorm def

Free new-root sum, which is genuinely twice the common-root norm on root zero. · OAI.DiamondDistortion.RecursiveModel.joinedNorm

joinHomotopy def

Standard join homotopy of the two equivariant sphere maps. · OAI.ArnoldCounterexample.CriticalBound.joinHomotopy

joinMap def

Assemble the two components before quotienting by D. · OAI.MaxCutGames.Inverse.KMSAffineRestrictionSplit.joinMap

joinMap def

Assemble the two components before quotienting by D. · OAI.UniqueGamesTheorem.Inverse.KMSAffineRestrictionSplit.joinMap

joinOccupation def

Reassemble two occupation vectors on the complementary variable classes. · OAI.Problem335.joinOccupation

joinPair def

Join just two classes of a partition. · OAI.Release075.PermCycles.joinPair

joinPairEquiv def

When the two old classes are distinct, joining them removes exactly one. · OAI.KaplanskyCounterexample.Planar.joinPairEquiv

joinPositions def

Concatenation of words on independent position blocks. · OAI.Saxl.joinPositions

joins def

Sum of dimensions of the kernel of the combined plus maps at each component. This bounds (in fact equals) the sum of intersection dimensions of full plus frames when the frames are valid. · OAI.HadwigerCounterexample.joins

joins def

Components after adjoining a finite list of side pairings. · OAI.HyperbolicObstruction.PictureSwitch.joins

joint def

A joint law retaining both the latent variable and its conditional draw. · OAI.TraceReconstruction.FiniteLaw.joint

jointAngularGradient def

Partial fiber gradient, represented through the derivative of the joint scalar. · OAI.AffineBernstein.jointAngularGradient

jointAngularHessianVec def

Partial angular derivative of the gradient, represented without slice-dependent differentiation. · OAI.AffineBernstein.jointAngularHessianVec

jointBitEquiv def

Coordinatewise conversion of uniform integer cells into bit blocks. · OAI.TwoPointCorrelations.jointBitEquiv

jointCStarSource abbrev

The norm-closed star algebra containing the two given sources. · OAI.KadisonSimilarity.jointCStarSource

JointDickmanLaw def

Theorem 1 (thm:main): the moving-threshold joint Dickman law, through all real endpoints with ordinary counting. Both powers use the base n. · OAI.JointDickman.JointDickmanLaw

JointDisjoint def

Geometric validity at EVERY boundary, not only at endpoints. · OAI.CoordinateSweeps.Grid.Holes.JointDisjoint

JointIndex abbrev

Finite tuples of actual eigenvalues, excluding irrelevant scalar tuples. · OAI.MUB6.Weiner.JointIndex

jointKernel def

Mixture of conditional products; p is the common displacement law. · OAI.TraceReconstruction.jointKernel

jointLaw def

The explicit cut-choice coupling. Only equal choices receive mass. · OAI.MatchingEntropy.jointLaw

jointLaw def

The joint law of all paired cube inputs, with actual rational point masses. · OAI.OptimalMaxCut.LongCode.jointLaw

jointObservable def

Joint cluster-hit observable, preserving both target sets. · OAI.HyperedgeComparison.jointObservable

jointOfTable def

Residual feasibility and the literal small-cell bound suffice to construct the balanced profile together with every retained large entry. · OAI.ContingencyTables.SmallGraphProfiles.jointOfTable

jointOriginalElement def

The original-algebra coordinate; the augmentation-zero hypothesis below is what makes its inclusion equal to the original element. · OAI.WeakPureInfiniteness.jointOriginalElement

jointPlan def

Couple two triangular samplers by using the same independent scalar inputs. · OAI.Problem358.TriangularRecursion.jointPlan

jointPotential def

The scalar potential with parameter and state bundled together. · OAI.Problem356.StationaryMap.jointPotential

jointSensitivity def

Maximum same-input, same-bit joint sensitivity over two distinct ordered indices. · OAI.Paper320.jointSensitivity

jointSensitivityAt def

The number of coordinates whose one-bit flip changes both predicates. · OAI.Paper320.jointSensitivityAt

jointSpectralMonomialCoefficients def

Independent tensor marks at the cascade levels realize the additional tree-overlap power in the paper's joint perturbation kernels. · OAI.InvariantIsing.jointSpectralMonomialCoefficients

jointStatistic def

The ordinary empirical joint statistic; s is the counting range and w is the normalization. The observations may depend on the scale. · OAI.JointDickman.jointStatistic

jointWeight def

The unnormalized I,J marginal with the common pins F fixed. · OAI.BufferedIsing.jointWeight

jointWeight def

The conditional joint-incidence table in the manuscript, before excluding cancellation. Arguments here are the two outgoing letters at the vertex. · OAI.TorsionFreeZeroDivisors.TypeWeights.jointWeight

JOver def

This is the sum of all group elements (every coefficient is one), not the scalar one in a convolution ring. · OAI.CirculantHadamard.BinaryCoefficients.JOver

jT def

The map j before the final κ extension, with image in the actual T algebra. · OAI.FiniteAlgebraicEnvelopes.Bootstrap.Source.jT

Jump structure

bounded program instruction: read at i, set pc and maybe ±1 that same i. · OAI.ExactDerandomization.Counter.Jump

JumpsAcross def

Occurrence of a step of the word that skips the specified index strictly. · OAI.PlanarL1.ColumnOrder.JumpsAcross

junctionEquiv def

Move the target's reference identification to the actual junction layer. · OAI.CoordinateSweeps.Grid.Holes.junctionEquiv