This is a knowledge base generated by Codex with some guidance.

A biological cell is a membrane-bounded basic unit of living organization. In a cell-level experiment it can be an experimental unit, provided that treatment assignment and relevant interactions are handled at that level.

The network of chemical reactions that maintains a living system, supplies energy and builds or processes its material. Gas emissions can arise as primary metabolic byproducts or secondary metabolic byproducts, with different implications for an atmospheric biosignature gas.

Conversion of light energy into chemical energy used to build biological material. Oxygenic photosynthesis uses water as an electron donor and releases molecular oxygen; other forms do not necessarily produce oxygen. Its atmospheric oxygen source is a major component of the modern terrestrial atmospheric biosignature gas interpretation.

A compound released through specialized functions such as signaling, defense or stress adaptation rather than the core reactions needed for energy and biomass. Dimethyl sulfide and chloromethane are examples discussed as atmospheric biosignatures. Their specialized origins may improve specificity while lowering the global emission flux.

A product released by reactions needed for energy acquisition, growth or biomass construction. Methane from energy-yielding microbial reactions and molecular oxygen from oxygenic photosynthesis are examples. Abiotic chemistry can make some of the same molecules, so production mechanism and environmental abundance matter.

A phylogenetic tree describes ancestral relationships. In a probabilistic graphical model on a rooted tree, latent variables at ancestral vertices are inferred from observations at leaves using belief propagation.

The Felsenstein pruning algorithm computes a site likelihood function by sum-product belief propagation from leaves to root. For a finite-state Markov kernel $K$, the subtree likelihood function obeys $L_v(a)={\prod }_{w\text{ child of }v}{\sum }_{b}K(a,b)L_w(b)$, with observed-state indicators at leaves. Summing against the root probability distribution gives the site likelihood function. An outward pass gives edge posterior probabilities and expected transition counts for the expectation-maximization algorithm.

Calcium has roles in cell signalling and skeletal structure. Dietary calcium intake and serum calcium are distinct quantities: physiological regulation means a change in one need not correspond to an equivalent change in the other.

Serum calcium is the concentration of calcium in blood serum. It can be an exposure in an observational study or Mendelian randomization, but genetically changing it need not reproduce the effect of changing dietary calcium intake.

Hypercalcaemia is an abnormally elevated serum calcium concentration. A diagnosis in medical records depends on testing and diagnostic practice, which can introduce selection bias into an observational study.

Calcium intake is the amount of calcium consumed, including food and supplements. It is an exposure that can be changed by an intervention, and should not be identified automatically with serum calcium in a causal inference analysis.

Genetics studies heredity and variation in organisms.

Population stratification is systematic variation in allele frequencies between subpopulations. If those subpopulations also differ in outcome causes, genetic variant associations can exhibit confounding, violating instrumental-variable independence in Mendelian randomization.

For two alleles $A,B$ sampled independently with frequencies $1-\theta$ and $\theta$, the genotype probabilities under Hardy-Weinberg equilibrium are

From genotype counts in $n$ independent diploid individuals, the unbiased and maximum-likelihood estimator of the frequency of allele $B$ isIt is the sample proportion among the $2n$ sampled alleles, so it is consistent and

A genetic variant is a heritable difference in a DNA sequence relative to a chosen reference. Genetic variants can be used as instrumental variables in Mendelian randomization when the required causal assumptions are credible.

Quantitative genetics studies how genetic and environmental variation contribute to continuously varying traits.

A genetic risk score combines allele counts from several genetic variants, usually using specified weights. In Mendelian randomization it can act as a combined instrumental variable for an exposure; interpretation still requires instrument relevance, instrumental-variable independence, and the exclusion restriction.

Heritability is the fraction of phenotypic variance in a specified population and environment attributed to genetic variation. It is a population parameter, not the genetic fraction of one individual's trait.

A twin study compares trait resemblance between twins with different degrees of genetic relatedness to separate genetic and environmental variance components.

Monozygotic twins develop from one zygote and are modeled as sharing essentially all additive genetic variation.

Dizygotic twins develop from two zygotes and, absent assortative mating and other complications, share one half of additive genetic variation on average.

The ACE model decomposes trait variation into additive genetic effects $A$, common environmental effects $C$, and unique environmental effects $E$.

Falconer's formula estimates narrow-sense heritability from monozygotic and dizygotic twin correlations:It relies on equal relevant environments and a dizygotic additive-genetic correlation of one half.

Assortative mating is nonrandom mating in which partners are more or less similar than random pairs for a trait or correlated characteristic. Positive assortment can increase genetic similarity among siblings.

Informed consent is voluntary agreement after receiving and understanding relevant information about an intervention or participation in research. In a clinical trial, the participant is informed about the study procedures, potential benefits and risks, alternatives and the option to decline or withdraw. Consent precedes randomization.

Migraine is a neurological disorder that can be an outcome in a clinical trial or an observational study. Its statistical association with an exposure does not alone establish a causal effect.

A chronic disease persists over an extended period. A continuous-time multi-state model can represent its progression through severity states, but long duration alone does not imply irreversible progression or justify ignoring state misclassification.

A chemical atom or molecular entity with nonzero net electric charge. An ion opposing a fixed charge is called a counterion.

A mobile ion whose charge has the opposite sign to a charged macromolecule, surface or other fixed species. Its local concentration can increase close to that fixed charge; counterion condensation distinguishes a bound fraction that remains localized in an infinite-dilution limit.

Chemical systems whose reactions, transport or equilibrium couple to electric charges and electric potential. An electrolyte carries mobile ions; a Poisson-Boltzmann equation can approximate their equilibrium distributions.

A medium with mobile ions capable of carrying electric charge. Dissolved salts typically supply both positive and negative species; a counterion-only model keeps only the mobile species required to oppose a fixed charge. Poisson-Boltzmann equations use ideal Boltzmann distributions for those species.

Thermal dissociation is temperature-driven breaking of a molecule into simpler fragments. The chemical equilibrium abundance depends on pressure as well as temperature: reactions increasing particle number are generally favored at low pressure. In an exoplanet atmosphere, reduced water on a very hot dayside does not by itself establish a low planetary oxygen abundance.

Stoichiometry records reactant and product multiplicities in a chemical reaction or a chemical reaction network. The change caused by one reaction is its stoichiometric vector; multiplying by the reaction rate gives its contribution to the concentration equations. For two identical reactants the rate-constant convention absorbs any combinatorial factor.

The diatomic molecule containing one ordinary hydrogen nucleus and one deuterium nucleus is an isotopic form of molecular hydrogen. It has a weak electric dipole and can supply low-temperature molecular line cooling in primordial gas when its abundance is sufficient.

The diatomic form of oxygen. Modern terrestrial abundance is maintained largely by oxygenic photosynthesis, balanced by chemical and biological sinks.

This stable helium isotope contains two protons and one neutron. In solar proton-proton burning it is an intermediate: two such nuclei can form helium-4 and return two protons, or one can capture helium-4 to enter the second chain branch. The balance between production and destruction determines the helium-3 equilibrium abundance and its helium-3 relaxation time.

Helium-4 is the stable helium isotope with two protons and two neutrons; its nucleus is an alpha particle. Its strong binding makes it the principal neutron-containing product of primordial Big Bang nucleosynthesis.

This stable hydrogen isotope has one proton and one neutron. In the Proton–proton chain it is produced by the slow weak proton-pair reaction and is rapidly consumed by proton capture to make helium-3. Its short nuclear lifetime inside a stellar core allows a deuterium quasi-equilibrium in proton-proton burning approximation.

A negative hydrogen ion is a hydrogen nucleus with two bound electrons. Its weakly bound extra electron permits absorption at visible and infrared wavelengths in cool stellar atmospheres.

An organochlorine gas with biological as well as possible nonbiological sources. Its specialized biological production is a secondary metabolic byproduct example.

An organic sulfur gas emitted through biological processing, including marine production associated with sulfur-containing metabolites. It is a secondary metabolic byproduct example and a possible atmospheric biosignature gas whose detectability depends on production and photochemical destruction.

A triatomic form of oxygen, produced photochemically from molecular oxygen. The ozone layer absorbs ultraviolet radiation; ozone can trace atmospheric oxygen without being directly emitted by metabolism.

A nitrogen oxide produced substantially by microbial nitrogen cycling on modern Earth. Its atmospheric abundance and lifetime make it a candidate atmospheric biosignature gas, with context-dependent abiotic alternatives.

Phosphine is ${\mathrm{PH}}_3$. Its abundance in giant-planet observable atmospheres can depend on transport from deeper layers faster than local chemical destruction.

Methanogenesis is biological production of methane by anaerobic microorganisms. Waterlogged soil and lake sediments can favour it. Warming or thaw changes substrate availability, but production is distinct from atmospheric emission because oxidation and transport intervene.

A snowflake is an ice crystal or an aggregate of ice crystals grown in atmospheric conditions. Its morphology depends on vapour supersaturation, transport, temperature and crystal anisotropy. Not every snowflake is dendritic.

An exposed tip receives vapour more efficiently than a sheltered surface and can amplify its lead, producing crystal dendrites and side branches. The planar thermal solidification mechanism is an analogy, not a complete vapour-growth model. The hexagonal ice crystal anisotropy selects six preferred directions; an isotropic linear instability alone does not select six arms.

Image processing transforms recorded image signal data to remove noise, recover detail or extract structure. Variational image processing describes desired reconstructions through energies, while diffusion image processing describes filtering through evolution equations.

Image segmentation divides an image signal domain into regions according to a chosen criterion, such as approximately constant or smoothly varying intensity. The Mumford–Shah segmentation model balances fidelity, within-region smoothness and image edge length. An intensity segmentation need not coincide with semantic object identities.

A grey-value image signal is a scalar function on an image signal domain or an array of pixel values. Continuous image processing models use spaces such as $L^2$, Sobolev spaces or the BV space, while discrete models use finite-dimensional arrays. The chosen representation distinguishes smooth transitions, noise and image edges.

Image noise is unwanted variation in an observed image signal. In an additive model $g=u+\eta$, Gaussian noise motivates a squared data-fidelity penalty, while other statistics require different penalties. Image smoothing suppresses rapid fluctuations, but a filter must distinguish noise from genuine image edges.

For a smoothed image signal $u_{\sigma }$, average the gradient outer product as $J_{\rho }=G_{\rho }\ast (\nabla u_{\sigma }\nabla u_{\sigma }^T)$. The dominant eigenvector estimates the normal to a coherent image edge, and eigenvalue contrast measures local directional structure. Two distinct scales separate differentiation from orientation averaging.

An image edge is a rapid grey-value transition, modeled as a large gradient or a jump discontinuity. It differs from an edge of a graph. Variational models can penalize image edge length, while diffusion image processing estimates image edge directions to limit image smoothing across them.

image edge enhancement increases the apparent sharpness or contrast of an image edge. Unsharp masking gives bounded linear high-frequency amplification; backward normal diffusion in the Perona-Malik equation gives formal nonlinear sharpening with ill-posedness risks. Positive diffusion tensors chiefly preserve or connect structure rather than perform unbounded backward diffusion.

The formal shock-filter equation $u_t=-\mathrm{sign}(\Delta u)|\nabla u|$ steepens transitions around inflection boundaries. It is a Hamilton–Jacobi-type transport mechanism rather than positive diffusion. Combining it with controlled forward image smoothing limits noise amplification.

Subtract a smoothed image signal and add a scaled residual: $u=g+\lambda (g-G_t\ast g)$. The Fourier multiplier $1+\lambda (1-e^{-t|\xi {|}^2})$ is bounded by $1+\lambda$. This enhances apparent contrast but also amplifies noise; it is not a stable exact inverse of heat image smoothing.

Diffusion filtering evolves an observed image signal using a diffusion equation. The heat equation gives Gaussian image smoothing, while gradient-dependent or tensor-dependent diffusion can reduce transport across image edges. A image smoothing scale, stopping rule and appropriate boundary conditions are part of the filter.

A positive tensor $D=a_n{e}_n{e}_n^T+a_t{e}_t{e}_t^T$ selects different diffusion strengths normal and tangent to an estimated image edge. Taking $0<a_n\ll a_t$ smooths along the image edge while reducing mixing across it. A structure tensor provides robust orientation estimates. Positive eigenvalues ensure forward local parabolicity.

Image smoothing suppresses rapid fluctuations attributed to noise. Linear heat equation image smoothing attenuates Fourier frequencies by $e^{-t|\xi {|}^2}$ but also blurs image edges. Nonlinear filtering uses image signal geometry to distinguish fluctuations from meaningful transitions.

A median filter replaces an image signal value by the median of nearby values. Unlike a linear average, it can reject isolated extreme observations without averaging both sides of an image edge. The small-radius response depends on neighbourhood geometry and measure; a uniform disk-area median and a circle-boundary median have different time scales.

At a smooth point with nonzero gradient, rotate coordinates so $\nabla u=G{e}_2$. Write $u=u_0+Gy+\frac{1}{2}(A{x}^2+2Bxy+C{y}^2)+O(|(x,y){|}^3)$. A candidate median $u_0+d{h}^2$ has level boundary $y=(d{h}^2-A{x}^2/2)/G+O(h^3)$ in the disk. The area imbalance is $(2d-A/3)h^3/G+o(h^3)$; equal half-areas force $d=A/6$. Here $A=\Delta u-\nabla u^T(D^{2}u)\nabla u/|\nabla u{|}^2$ is the tangential second derivative, giving the formula. The disk uses uniform area measure, not its boundary measure.

Gaussian blur applies convolution with $G_{\sigma }(x)=(2\pi {\sigma }^2{)}^{-n/2}{e}^{-|x{|}^2/(2{\sigma }^2)}$ to an image signal. It averages over a spatial scale $\sigma$, suppressing rapid variation while also blurring image edges. The heat-kernel convolution realizes this filter at time $t={\sigma }^2/2$.

The Fourier transform of a Gaussian and the convolution theorem give this multiplier with the angular-frequency convention $e^{-ix\cdot \xi }$. In cycles-per-length frequencies $k$, it is $e^{-2{\pi }^2{\sigma }^2|k{|}^2}$. Each coordinate has variance ${\sigma }^2$, and higher frequencies receive stronger attenuation.

A variational model balances agreement with observed data against a regularity or geometric penalty. Examples include total variation denoising, the relaxed graph-area functional, and the Mumford–Shah functional. Convex penalties support unique reconstruction, while segmentation energies can have multiple competing partitions.

The energy ${\int }_{\Omega \setminus K}(u-g{)}^2+\alpha {\int }_{\Omega \setminus K}|\nabla u{|}^2+\beta {\mathcal{H}}^1(K)$ balances data fidelity, within-region smoothness and image edge length. In its relaxed SBV space formulation the image edge set is $J_u$. Clipping to the bounded data range, the SBV compactness theorem and lower semicontinuity prove existence; the full segmentation problem is not strictly convex.

The Mumford–Shah functional can be approximated by an auxiliary edge field $0\le v\le 1$ and energyThe field is near one inside regions and near zero across an image edge, weakening smoothing there. The profile $v(s)=1-e^{-|s|/(2\epsilon )}$ has unit edge energy per unit length in this normalization. The 1990 construction is a Gamma-convergence approximation; its global-minimizer limit does not guarantee global optimality of an alternating numerical solve. Each fixed-field subproblem is quadratic, but the joint energy is nonconvex.

Removing the jump-length cost from the Mumford–Shah functional lets finer piecewise-constant partitions reduce squared fidelity without charging for their proliferating image edges. For continuous data on a compact image domain, fine-cell averages converge in squared error while the ordinary within-cell gradient is zero. A finite interface penalty makes that geometry costly.

On the unit square, let $g=0$ and take $u_0={\chi }_{\{x_1>0.4\}}$, $u_1={\chi }_{\{x_1>0.6\}}$. Both have one unit-length jump and zero ordinary gradient. Their mean has two unit-length jumps. For squared-error coefficient one, $[E(u_0)+E(u_1)]/2=0.5+\beta$ while $E((u_0+u_1)/2)=0.45+2\beta$, violating convexity when $\beta >0.05$. The Mumford–Shah functional can therefore be nonconvex even though the fixed-edge reconstruction subproblem is strictly convex.