GLOBAL KNOWLEDGE ARK

Reference library

Foundations

Explore concepts, laws, equations and methods, with clear explanations of their use and sources. Choose an area of study or find a specific entry.

More filters

Reference entries

Showing 1111–1140 of 1709 reference entries

Earth & cosmosNonuniqueness and resolution in gravity inference

Different subsurface density structures can yield the same external gravitational field.

Method
Earth & cosmosConductive heat diffusion and a thermal length scale

For stationary homogeneous material with constant positiveρ,c_p andk, no internal heat production and one-dimensional conduction, ρc_pT_t=kT_zz, with thermal diffusivityκ=k/(ρc_p).

Model
Earth & cosmosSteady geotherm with internal heat production

With depthz positive downward, constant conductivityk and uniform volumetric heat productionH, a stationary conductive slab obeys kT_zz+H=0.

Model
Earth & cosmosHalf-space cooling of an ideal lithosphere

For z>0 initially at uniform T_i and a surface held at T_s for t>0, constant-κ conduction gives T(z,t)=T_s+(T_i−T_s)erf[z/(2√(κt))].

Model
Earth & cosmosPassive and active Earth-observation signals

Passive sensors receive externally supplied or naturally emitted radiation; active radar/lidar supplies illumination and measures its return.

Method
Earth & cosmosDigital values, TOA radiance and reflectance

For the specified Landsat Level-1 product, metadata supplies band-specific rescaling L_λ=M_LQ_cal+A_L and uncorrected planetary reflectanceρ′=M_ρQ_cal+A_ρ.

Method
Earth & cosmosThermal brightness temperature and surface-temperature limits

A Landsat thermal-band TOA radianceL_λ>0 maps to product brightness temperature T_B=K₂/ln(K₁/L_λ+1), using its band-specific metadata constants.

Method
Earth & cosmosNDVI as a calibrated spectral ratio

For compatible near-infrared and red surface-reflectance bands, NDVI=(ρ_NIR−ρ_R)/(ρ_NIR+ρ_R).

Method
Earth & cosmosPulse ranging, elevation geometry and a DEM

For a monostatic pulse with corrected round-trip delayτ and constant propagation group speedv_g, one-way slant range is R=v_gτ/2.

Method
Earth & cosmosOcean colour and an empirical chlorophyll retrieval

Ocean-colour band-ratio models estimate near-surface chlorophyll-a from water-leaving remote-sensing reflectances.

Method
Earth & cosmosResolved fault traction and the Mohr construction

LetΣ be the symmetric compression-positive stress tensor, the negative of tensile-positive Cauchy stress.

Method
Earth & cosmosAndersonian stress regimes and faulting

In an Andersonian idealization, one principal stress axis is vertical and two are horizontal.

Model
Earth & cosmosEnergy balance for brittle crack extension

In a quasistatic elastic fracture model, crack extension releases mechanical potential energy at rateG=−∂Π/∂A per projected crack area.

Model
Earth & cosmosInduced/remanent magnetization and a total-field anomaly

A weak-field linear isotropic rock model separates magnetizationM=M_r+χH into retained remanence and an induced response to localH.

Method
Mathematics & logicHigher categories through nerves and inner horns

The nerve of an ordinary category has n-simplices given by chains of n composable arrows; inner horns have unique fillers encoding composition.

Definition
Mathematics & logicA nonlinear existence theorem: subcritical NLS

For i u-t=−Delta-u−lambda|u|^alpha u on R-n, real lambda and 0<alpha<4/n, every L2 initial datum has a unique local mild solution in C([0,T];L2) intersected with L-q(0,T;L^(alpha+2)), where q=4(alpha+2)/(n alpha).

Mathematical statement
InformationDifferential privacy and the protected unit

A randomized mechanism is (epsilon,delta)-differentially private if every neighboring dataset pair and every output event obey Pr[M(D) in S]≤exp(epsilon)Pr[M(D-prime) in S]+delta.

Definition
InformationSensitivity, Laplace noise and composition

For a vector query with global L1 sensitivity Delta-1, adding independent Laplace noise of scale Delta-1/epsilon to each coordinate gives epsilon-DP under the chosen adjacency.

Method
InformationRényi privacy accounting and conversion

For order alpha>1, RDP bounds the Rényi divergence between mechanism outputs on every adjacent dataset pair by epsilon-alpha.

Mathematical statement
InformationAdversarial robustness needs a threat model

A norm-bounded adversarial evaluation asks whether an attacker can change a model's prediction using perturbations within a specified set around an input.

Method
InformationRandomized smoothing: a bounded L2 certificate

Gaussian smoothing defines a classifier by the most probable prediction of a base classifier under N(0,sigma²I) noise.

Mathematical statement
InformationTransformer attention and its modeling objective

Scaled dot-product attention computes softmax(QK-transpose/sqrt(d-k))V, allowing token representations to combine context through learned query/key/value projections.

Model
InformationDiffusion modeling and learned reverse denoising

A DDPM adds Gaussian noise in a forward Markov chain and learns a parameterized reverse process to generate samples.

Model
InformationAutoregressive and diffusion frameworks compared

An autoregressive model factors a sequence law into conditional next-element distributions, while a diffusion model generates through a learned reverse noise process.

Definition
Information2025 contamination-detection study and evaluation limits

Samuel, Zhou and Zou's COLING 2025 study compares five contamination-detection approaches across four language models and eight benchmarks, including a controlled fine-tuning oracle setting.

Empirical finding
InformationExact quantum recovery: Knill–Laflamme conditions

A code subspace with projector P exactly corrects a specified span of errors E-a precisely when P E-a† E-b P=c-ab P for every error pair.

Mathematical statement
InformationStabilizer codes, CSS structure and code distance

A stabilizer code is the common fixed subspace of an abelian Pauli subgroup excluding minus identity.

Definition
InformationSurface-code threshold and physical noise assumptions

Surface/toric codes measure local stabilizer checks and infer error chains from syndromes.

Model
InformationFault-tolerant operations and logical resource budgets

Fault-tolerant computation must control faults during syndrome extraction, recovery and encoded gates as well as idle storage.

Method
InformationBelow-threshold surface-code memory: measured evidence

Google Quantum AI's Nature study, online 9 December 2024 and in the 2025 volume, reports a distance-seven surface-code memory using 101 physical qubits with logical error 0.143%±0.003% per cycle.

Empirical finding
DefinitionSource checked

Stabilizer codes, CSS structure and code distance

Information

Research context

postgraduate concept · established · As of 2026-10-10

A stabilizer code is the common fixed subspace of an abelian Pauli subgroup excluding minus identity.

Key knowledge

A stabilizer code is the common fixed subspace of an abelian Pauli subgroup excluding minus identity. For an [[n,k,d]] code, n physical qubits encode k logical qubits and distance d controls correction of up to floor((d−1)/2) arbitrary unknown-location errors in the ideal recovery model. CSS codes use compatible classical parity-check structures; compatibility is a commutation constraint, not simply two arbitrary classical codes.

Conditions and scope

  • Code distance concerns nontrivial logical operators; degenerate errors may share a syndrome.
  • The counting bound assumes ideal syndrome/recovery and does not include faulty gates or repeated measurement costs.
Sources · 1

References

Sources retain their recorded scope. A source link alone does not establish verification of every statement.

  1. Quantum Information, chapter 7 (March 2026): quantum error correctionJohn Preskill / CaltechCourse notes · PDFpreskill.caltech.eduRead source

Evidence and review

Author checked this English statement, displayed equation where present and stated hypotheses against these source locations: §7.2 equation 7.17, CSS/stabilizer codes, distance, §7.18 surface-code thresholds and resource caveats; draft textbook chapter. The check is bounded to the recorded claims; no complete proof reconstruction, software proof replay or universal literature completeness is claimed.

2026-10-10 · Author source-body/statement/equation/domain check, with graph associations scoped individually. Separate independent content/source/inventory review is required before branch closure.

Entry detailsPermanent link to this entry ↗
Record identity
research-info-stabilizer-distance
Revision
research.1
Structured reference record
Postgraduate & research reference