isZeroFor
P9150
predicate
Indicates that a given value, expression, or function evaluates to zero when applied to or considered with respect to a specified entity or context.
All labels observed (34)
| Label | Occurrences |
|---|---|
| isZeroFor canonical | 7 |
| hasZeroAt | 4 |
| zeroCondition | 4 |
| zeroSet | 4 |
| equalsZeroFor | 3 |
| trivialZero | 3 |
| equalsZeroIf | 2 |
| equalsZeroIfAndOnlyIf | 2 |
| isConjecturedZeroFor | 2 |
| isZeroOf | 2 |
| isZeroWhen | 2 |
| trivialZerosLocation | 2 |
| vanishesFor | 2 |
| vanishesIdenticallyIn | 2 |
| vanishesIdenticallyOn | 2 |
| zeroElement | 2 |
| zeroFor | 2 |
| assignsZeroMeasureTo | 1 |
| equalsZeroWhen | 1 |
| isZeroCondition | 1 |
| isZeroIn | 1 |
| isZeroOn | 1 |
| outputForZeroInput | 1 |
| reducesToZero | 1 |
| representsZeroDrivingWheelsAs | 1 |
| returnsZeroOn | 1 |
| weightFunctionZeroBeyond | 1 |
| zeroAt | 1 |
| zeroClassCondition | 1 |
| zeroCorrespondence | 1 |
| zeroElementProperty | 1 |
| zeroIn | 1 |
| zeroOn | 1 |
| zeroValueMeans | 1 |
Sample triples (64)
| Subject | Object |
|---|---|
| Bekenstein–Hawking entropy | zero-area horizon ⓘ |
| Kullback–Leibler divergence | two distributions are equal almost everywhere via predicate surface "equalsZeroIfAndOnlyIf" ⓘ |
| Ricci curvature tensor | flat manifold via predicate surface "vanishesFor" ⓘ |
| Ricci curvature tensor | characterizes Ricci-flat manifolds via predicate surface "isZeroCondition" ⓘ |
| Riemann curvature tensor | manifold is locally isometric to Euclidean space via predicate surface "equalsZeroIf" ⓘ |
| Riemann curvature tensor | connection is flat via predicate surface "equalsZeroIf" ⓘ |
| Conway polynomial | vanishes for split links with more than one component via predicate surface "zeroCondition" ⓘ |
| Rényi divergence | P = Q almost surely via predicate surface "equalsZeroWhen" ⓘ |
| Riemann zeta function | negative even integers via predicate surface "trivialZerosLocation" ⓘ |
| Riemann zeta function | s = -2 via predicate surface "trivialZero" ⓘ |
| Riemann zeta function | s = -4 via predicate surface "trivialZero" ⓘ |
| Riemann zeta function | s = -6 via predicate surface "trivialZero" ⓘ |
| Ricci scalar | Ricci-flat manifolds via predicate surface "equalsZeroFor" ⓘ |
| Ricci scalar | vacuum solutions of Einstein equations without cosmological constant via predicate surface "equalsZeroFor" ⓘ |
| Gibbons–Hawking temperature | cosmological constant is zero via predicate surface "isZeroWhen" ⓘ |
| Whyte notation | 0 via predicate surface "representsZeroDrivingWheelsAs" ⓘ |
| ReLU | 0 via predicate surface "outputForZeroInput" ⓘ |
| Lie bracket | [x,x] = 0 for all x via predicate surface "zeroCondition" ⓘ |
| Coriolis effect | equator via predicate surface "zeroAt" ⓘ |
| Menger curvature | vanishes exactly when the three points lie on a common line via predicate surface "zeroCondition" ⓘ |
| Hardy Z-function | Z(t) = 0 if and only if ζ(1/2 + it) = 0 for real t via predicate surface "zeroCorrespondence" ⓘ |
| Dirichlet L-functions | negative integers depending on parity of χ via predicate surface "trivialZerosLocation" ⓘ |
| Lebesgue measure | sets of Hausdorff dimension less than n in R^n (under suitable conditions) via predicate surface "isZeroOn" ⓘ |
| Weyl tensor | all 2-dimensional manifolds via predicate surface "vanishesIdenticallyIn" ⓘ |
| Weyl tensor | all conformally flat manifolds via predicate surface "vanishesIdenticallyIn" ⓘ |
| Weyl tensor |
Minkowski space-time
via predicate surface "isZeroIn"
ⓘ
surface form:
Minkowski spacetime
|
| Néel vector | paramagnetic phase via predicate surface "zeroIn" ⓘ |
| Hadamard product (of power series) | zero power series via predicate surface "zeroElement" ⓘ |
| Tukey's biweight | residuals with absolute standardized value greater than c via predicate surface "weightFunctionZeroBeyond" ⓘ |
| Public Law 115-97 | individual mandate penalty under the Affordable Care Act via predicate surface "reducesToZero" ⓘ |
| Dirichlet kernel | zeros at x = 2πk/(2n+1), k integer, excluding multiples of 2π via predicate surface "zeroSet" ⓘ |
| Dirichlet convolution | zero arithmetic function via predicate surface "zeroElement" ⓘ |
| Dirichlet convolution | f * 0 = 0 for all arithmetic functions f via predicate surface "zeroElementProperty" ⓘ |
| distance covariance | independent random variables via predicate surface "equalsZeroFor" ⓘ |
| Kobayashi metric | complex Euclidean space C^n via predicate surface "vanishesIdenticallyOn" ⓘ |
| Kobayashi metric | complex projective space via predicate surface "vanishesIdenticallyOn" ⓘ |
|
Dolbeault cohomology classes
surface form:
Dolbeault cohomology class
|
form is ∂̄-exact via predicate surface "zeroClassCondition" ⓘ |
| Poisson’s ratio | no lateral strain under axial loading via predicate surface "zeroValueMeans" ⓘ |
| von Neumann entropy | pure states ⓘ |
| Hausdorff measure | sets of Hausdorff dimension less than s for s-dimensional measure via predicate surface "assignsZeroMeasureTo" ⓘ |
| Pontryagin classes | all bundles over a point via predicate surface "zeroFor" ⓘ |
| Euler class | trivial oriented real vector bundle via predicate surface "vanishesFor" ⓘ |
| shape operator | vanishes identically if and only if the hypersurface is totally geodesic via predicate surface "zeroCondition" ⓘ |
| SetEnvironmentVariable | failure via predicate surface "returnsZeroOn" ⓘ |
| Siegel zero | Dirichlet L-function via predicate surface "isZeroOf" NERFINISHED ⓘ |
| Siegel zero | L(s,χ) for a real Dirichlet character χ via predicate surface "isZeroOf" ⓘ |
| Riemann xi function | same nontrivial zeros as ζ(s) via predicate surface "zeroSet" ⓘ |
| Csiszár f-divergence | two distributions are equal almost surely via predicate surface "equalsZeroIfAndOnlyIf" ⓘ |
|
Blaschke products
surface form:
Blaschke product
|
sequence in unit disk via predicate surface "zeroSet" ⓘ |
| Barnes G-function | non-positive integers via predicate surface "zeroSet" ⓘ |