convergenceProperty
P14357
predicate
Indicates that one entity has a convergence-related characteristic or behavior with respect to another entity, such as approaching a limit or stabilizing under repeated application.
All labels observed (40)
| Label | Occurrences |
|---|---|
| convergesTo | 23 |
| convergenceType | 11 |
| convergenceDependsOn | 8 |
| convergenceProperty canonical | 8 |
| typeOfConvergence | 7 |
| convergenceCondition | 6 |
| convergenceCriteria | 5 |
| convergesIf | 5 |
| convergesFor | 4 |
| convergesWhen | 4 |
| conditionForConvergence | 3 |
| convergesInSense | 3 |
| convergenceOrder | 2 |
| convergenceRate | 2 |
| convergenceRateDependsOn | 2 |
| convergesUnder | 2 |
| hasOrderOfConvergence | 2 |
| DirichletSeriesConvergenceRegion | 1 |
| EulerProductConvergenceRegion | 1 |
| approximationImprovesWith | 1 |
| convergenceCriterion | 1 |
| convergenceSpeed | 1 |
| convergenceSpeedComparedToNewton | 1 |
| converges | 1 |
| convergesAbsolutelyOn | 1 |
| convergesBestFor | 1 |
| convergesFasterThan | 1 |
| convergesIn | 1 |
| convergesOn | 1 |
| convergesUniformlyOn | 1 |
| hasAbscissaOfConvergence | 1 |
| hasAbscissaOfUniformConvergence | 1 |
| hasConvergenceMode | 1 |
| hasConvergenceRegion | 1 |
| isAsymptotically | 1 |
| limitOfRatioOfConsecutiveTerms | 1 |
| localConvergence | 1 |
| refinementProperty | 1 |
| regionOfConvergence | 1 |
| requiresTypeOfConvergence | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: convergenceProperty
Generated description
Indicates that one entity has a convergence-related characteristic or behavior with respect to another entity, such as approaching a limit or stabilizing under repeated application.
Sample triples (120)
| Subject | Object |
|---|---|
| Kähler–Ricci flow | canonical current in singular settings via predicate surface "convergesTo" ⓘ |
| Atiyah–Hirzebruch spectral sequence | generalized cohomology of the space via predicate surface "convergesTo" ⓘ |
| Serre spectral sequence | (co)homology of the total space of the fibration via predicate surface "convergesTo" ⓘ |
| Serre spectral sequence | converges to a filtration of the (co)homology of the total space via predicate surface "convergenceType" ⓘ |
| Dirichlet L-functions | half-plane Re(s)>1 via predicate surface "convergesAbsolutelyOn" ⓘ |
| Simpson's rule | fourth order via predicate surface "convergenceRate" ⓘ |
| Metropolis algorithm | target distribution under regularity conditions via predicate surface "convergesTo" ⓘ |
| Gibbs sampling | target joint distribution under regularity conditions via predicate surface "convergesTo" ⓘ |
|
Dedekind zeta functions
surface form:
Dedekind zeta function
|
Re(s) > 1 via predicate surface "hasConvergenceRegion" ⓘ |
| Lambert series | |q|<1 in many standard cases via predicate surface "convergesFor" ⓘ |
| dominated convergence theorem | pointwise almost everywhere convergence rather than uniform convergence via predicate surface "requiresTypeOfConvergence" ⓘ |
| Dirichlet series | right half-plane Re(s) > σ_c via predicate surface "convergesIn" ⓘ |
| Dirichlet series | σ_c via predicate surface "hasAbscissaOfConvergence" ⓘ |
| Dirichlet series | σ_u via predicate surface "hasAbscissaOfUniformConvergence" ⓘ |
| HITS algorithm | principal eigenvector of A-transpose-A for authority scores via predicate surface "convergesTo" ⓘ |
| HITS algorithm | principal eigenvector of A-A-transpose for hub scores via predicate surface "convergesTo" ⓘ |
| Ramanujan theta function | |q| < 1 via predicate surface "convergesFor" ⓘ |
| Khinchin–Kolmogorov theorem | almost sure convergence via predicate surface "hasConvergenceMode" ⓘ |
| Born series | requires potential to be sufficiently weak or short-ranged via predicate surface "convergenceCondition" ⓘ |
| Born expansion of Green’s function | operator norm of V G0 less than 1 via predicate surface "convergenceCondition" ⓘ |
| Lloyd’s algorithm | cluster assignments no longer change via predicate surface "convergesWhen" ⓘ |
| Lloyd’s algorithm | change in objective function is below a threshold via predicate surface "convergesWhen" ⓘ |
| Natural Policy Gradient | often more robust than vanilla policy gradient ⓘ |
| Dirichlet eta function | converges for Re(s) > 0 ⓘ |
| Dirichlet eta function | absolutely convergent for Re(s) > 1 ⓘ |
| Dirichlet eta function | conditionally convergent for 0 < Re(s) ≤ 1 ⓘ |
| Bernstein polynomials | given continuous function uniformly on [0,1] via predicate surface "convergesTo" ⓘ |
| Bernstein polynomials | uniform convergence via predicate surface "convergenceType" ⓘ |
| Fourier series | pointwise almost everywhere via predicate surface "convergesInSense" ⓘ |
| Fourier series | L2 norm via predicate surface "convergesInSense" ⓘ |
| Fourier series | mean square via predicate surface "convergesInSense" ⓘ |
| RIP | slow compared to link-state protocols via predicate surface "convergenceSpeed" ⓘ |
| Poisson integral | boundary function almost everywhere under mild conditions via predicate surface "convergesTo" ⓘ |
| Poisson integral | boundary function in L^p for 1 < p < ∞ via predicate surface "convergesTo" ⓘ |
| tâtonnement process | gross substitutability of excess demand functions via predicate surface "conditionForConvergence" ⓘ |
| tâtonnement process | stability of excess demand functions via predicate surface "conditionForConvergence" ⓘ |
| LLN | convergence in probability via predicate surface "typeOfConvergence" ⓘ |
| LLN | almost sure convergence via predicate surface "typeOfConvergence" ⓘ |
| Wallis product | π/2 via predicate surface "convergesTo" ⓘ |
| Wallis product | slow convergence via predicate surface "convergenceType" ⓘ |
| Gauss hypergeometric function | |z|<1 for general complex parameters a,b,c with c not a nonpositive integer via predicate surface "convergesFor" ⓘ |
| Student’s t-distribution | standard normal distribution as degrees of freedom go to infinity via predicate surface "convergesTo" ⓘ |
| SOR | choice of relaxation factor via predicate surface "convergenceDependsOn" ⓘ |
| SOR | spectral radius of iteration matrix via predicate surface "convergenceDependsOn" ⓘ |
| SOR | spectral radius of iteration matrix is less than 1 via predicate surface "convergesIf" ⓘ |
| Laurent series | an annulus around the center via predicate surface "convergesOn" ⓘ |
|
Mellin transforms
surface form:
Mellin transform
|
growth of f(x) near 0 and ∞ via predicate surface "convergenceDependsOn" ⓘ |
| Rydberg series | ionization limit via predicate surface "convergesTo" ⓘ |
| Jacobi eigenvalue algorithm | global convergence for symmetric matrices via predicate surface "convergenceType" ⓘ |
| Zagros orogeny | approximately 2–3 centimeters per year (Arabia–Eurasia) in late Cenozoic via predicate surface "convergenceRate" ⓘ |