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
MethodSource checked

Sensitivity, Laplace noise and composition

Information

Research context

research method · established · As of 2026-10-10

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.

Key knowledge

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. Postprocessing without new private-data access preserves that guarantee. Adaptive composition adds epsilon values and delta values in the basic bound; repeated releases consume privacy budget even if each release looks noisy. Utility depends on sensitivity, dimensions and the task's tolerated error.

Values and equations

Delta_1=sup_(D~D') ||f(D)−f(D')||_1; noise_j~Laplace(Delta_1/epsilon)

f
Vector-valued query
Delta_1
Finite global L1 sensitivity in query-output units
epsilon
Positive privacy budget

Conditions and scope

  • epsilon>0 for the Laplace construction; global sensitivity is a finite supremum over every allowed neighboring pair. If sensitivity is zero, a constant query requires no added noise; an infinite sensitivity does not give this finite-noise construction.
  • A data-dependent choice of query or noise scale must itself be covered by the mechanism's privacy accounting.
Sources · 1

References

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

  1. The Algorithmic Foundations of Differential Privacy (2014)Cynthia Dwork and Aaron RothTextbook chapter · PDFcis.upenn.eduRead source

Evidence and review

Author checked this English statement, displayed equation where present and stated hypotheses against these source locations: Definition 2.4, postprocessing, composition, Laplace mechanism and advanced composition Theorem 3.20. 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-private-mechanism-composition
Revision
research.1
Structured reference record
Postgraduate & research reference