The parameter space is the
space
Space is a three-dimensional continuum containing positions and directions. In classical physics, physical space is often conceived in three linear dimensions. Modern physicists usually consider it, with time, to be part of a boundless ...
of all possible parameter values that define a particular
mathematical model
A mathematical model is an abstract and concrete, abstract description of a concrete system using mathematics, mathematical concepts and language of mathematics, language. The process of developing a mathematical model is termed ''mathematical m ...
. It is also sometimes called weight space, and is often a
subset
In mathematics, a Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they a ...
of finite-dimensional
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
.
In
statistics
Statistics (from German language, German: ', "description of a State (polity), state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a s ...
, parameter spaces are particularly useful for describing
parametric families of
probability distribution
In probability theory and statistics, a probability distribution is a Function (mathematics), function that gives the probabilities of occurrence of possible events for an Experiment (probability theory), experiment. It is a mathematical descri ...
s. They also form the background for
parameter estimation. In the case of
extremum estimator
In mathematical analysis, the maximum and minimum of a function are, respectively, the greatest and least value taken by the function. Known generically as extremum, they may be defined either within a given range (the ''local'' or ''relative ...
s for
parametric model
In statistics, a parametric model or parametric family or finite-dimensional model is a particular class of statistical models. Specifically, a parametric model is a family of probability distributions that has a finite number of parameters.
Defi ...
s, a certain
objective function
In mathematical optimization and decision theory, a loss function or cost function (sometimes also called an error function) is a function that maps an event or values of one or more variables onto a real number intuitively representing some "cost ...
is maximized or minimized over the parameter space.
Theorems of
existence
Existence is the state of having being or reality in contrast to nonexistence and nonbeing. Existence is often contrasted with essence: the essence of an entity is its essential features or qualities, which can be understood even if one does ...
and
consistency
In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula \varphi such that both \varphi and its negation \lnot\varphi are elements of the set of consequences ...
of such estimators require some assumptions about the
topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...
of the parameter space. For instance,
compactness
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it ...
of the parameter space, together with
continuity of the objective function, suffices for the existence of an extremum estimator.
Sometimes, parameters are analyzed to view how they affect their statistical model. In that context, they can be viewed as inputs of a
function, in which case the technical term for the parameter space is
domain of a function
In mathematics, the domain of a function is the Set (mathematics), set of inputs accepted by the Function (mathematics), function. It is sometimes denoted by \operatorname(f) or \operatornamef, where is the function. In layman's terms, the doma ...
. The ranges of values of the parameters may form the axes of a
plot, and particular outcomes of the model may be plotted against these axes to illustrate how different regions of the parameter space produce different types of behavior in the model.
Examples
* A simple model of health deterioration after developing
lung cancer
Lung cancer, also known as lung carcinoma, is a malignant tumor that begins in the lung. Lung cancer is caused by genetic damage to the DNA of cells in the airways, often caused by cigarette smoking or inhaling damaging chemicals. Damaged ...
could include the two parameters gender
and smoker/non-smoker, in which case the parameter space is the following set of four possibilities: .
* The
logistic map has one parameter, ''r'', which can take any positive value. The parameter space is therefore
positive real numbers
In mathematics, the set of positive real numbers, \R_ = \left\, is the subset of those real numbers that are greater than zero. The non-negative real numbers, \R_ = \left\, also include zero. Although the symbols \R_ and \R^ are ambiguously used fo ...
.
:For some values of ''r'', this function ends up cycling around a few values or becomes fixed on one value. These long-term values can be plotted against ''r'' in a
bifurcation diagram
In mathematics, particularly in dynamical systems, a bifurcation diagram shows the values visited or approached asymptotically ( fixed points, periodic orbits, or chaotic attractors) of a system as a function of a bifurcation parameter in the ...
to show the different behaviours of the function for different values of ''r''.
* In a
sine wave
A sine wave, sinusoidal wave, or sinusoid (symbol: ∿) is a periodic function, periodic wave whose waveform (shape) is the trigonometric function, trigonometric sine, sine function. In mechanics, as a linear motion over time, this is ''simple ...
model
the parameters are
amplitude
The amplitude of a periodic variable is a measure of its change in a single period (such as time or spatial period). The amplitude of a non-periodic signal is its magnitude compared with a reference value. There are various definitions of am ...
''A'' > 0,
angular frequency
In physics, angular frequency (symbol ''ω''), also called angular speed and angular rate, is a scalar measure of the angle rate (the angle per unit time) or the temporal rate of change of the phase argument of a sinusoidal waveform or sine ...
ω > 0, and
phase φ ∈ S
1. Thus the parameter space is
* In
complex dynamics
Complex dynamics, or holomorphic dynamics, is the study of dynamical systems obtained by Iterated function, iterating a complex analytic mapping. This article focuses on the case of algebraic dynamics, where a polynomial or rational function is it ...
, the parameter space is the
complex plane
In mathematics, the complex plane is the plane (geometry), plane formed by the complex numbers, with a Cartesian coordinate system such that the horizontal -axis, called the real axis, is formed by the real numbers, and the vertical -axis, call ...
C = , where i
2 = −1.
:The famous
Mandelbrot set
The Mandelbrot set () is a two-dimensional set (mathematics), set that is defined in the complex plane as the complex numbers c for which the function f_c(z)=z^2+c does not Stability theory, diverge to infinity when Iteration, iterated starting ...
is a
subset
In mathematics, a Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they a ...
of this parameter space, consisting of the points in the complex plane which give a
bounded set
In mathematical analysis and related areas of mathematics, a set is called bounded if all of its points are within a certain distance of each other. Conversely, a set which is not bounded is called unbounded. The word "bounded" makes no sense in ...
of numbers when a particular
iterated function
In mathematics, an iterated function is a function that is obtained by composing another function with itself two or several times. The process of repeatedly applying the same function is called iteration. In this process, starting from some ...
is repeatedly applied from that starting point. The remaining points, which are not in the set, give an unbounded set of numbers (they tend to infinity) when this function is repeatedly applied from that starting point.
* In
machine learning
Machine learning (ML) is a field of study in artificial intelligence concerned with the development and study of Computational statistics, statistical algorithms that can learn from data and generalise to unseen data, and thus perform Task ( ...
,
hyperparameters are used to describe models. In
deep learning
Deep learning is a subset of machine learning that focuses on utilizing multilayered neural networks to perform tasks such as classification, regression, and representation learning. The field takes inspiration from biological neuroscience a ...
, the parameters of a deep network are called weights. Due to the layered structure of deep networks, their weight space has a complex structure and geometry.
For example, in
multilayer perceptrons, the same function is preserved when
permuting the nodes of a hidden layer, amounting to permuting weight matrices of the network. This property is known as ''
equivariance to permutation'' of
deep weight spaces.
The study seeks
hyperparameter optimization.
History
Parameter space contributed to the liberation of
geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
from the confines of
three-dimensional space
In geometry, a three-dimensional space (3D space, 3-space or, rarely, tri-dimensional space) is a mathematical space in which three values ('' coordinates'') are required to determine the position of a point. Most commonly, it is the three- ...
. For instance, the parameter space of
spheres
The Synchronized Position Hold Engage and Reorient Experimental Satellite (SPHERES) are a series of miniaturized satellites developed by MIT's Space Systems Laboratory for NASA and US Military, to be used as a low-risk, extensible test bed for t ...
in three dimensions, has four dimensions—three for the sphere center and another for the radius. According to
Dirk Struik, it was the book ''Neue Geometrie des Raumes'' (1849) by
Julius Plücker
Julius Plücker (16 June 1801 – 22 May 1868) was a German mathematician and physicist. He made fundamental contributions to the field of analytical geometry and was a pioneer in the investigations of cathode rays that led eventually to the di ...
that showed
:...geometry need not solely be based on points as basic elements. Lines, planes, circles, spheres can all be used as the elements (''Raumelemente'') on which a geometry can be based. This fertile conception threw new light on both synthetic and algebraic geometry and created new forms of duality. The number of dimensions of a particular form of geometry could now be any positive number, depending on the number of parameters necessary to define the "element".
[ Dirk Struik (1967) ''A Concise History of Mathematics'', 3rd edition, Dover Books]
The requirement for higher dimensions is illustrated by
Plücker's line geometry. Struik writes
:
lücker'sgeometry of lines in three-space could be considered as a four-dimensional geometry, or, as
Klein has stressed, as the geometry of a four-dimensional
quadric
In mathematics, a quadric or quadric surface is a generalization of conic sections (ellipses, parabolas, and hyperbolas). In three-dimensional space, quadrics include ellipsoids, paraboloids, and hyperboloids.
More generally, a quadric hype ...
in a five-dimensional space.
[
Thus the Klein quadric describes the parameters of lines in space.
]
See also
*Sample space
In probability theory, the sample space (also called sample description space, possibility space, or outcome space) of an experiment or random trial is the set of all possible outcomes or results of that experiment. A sample space is usually den ...
* Configuration space
*Data analysis
Data analysis is the process of inspecting, Data cleansing, cleansing, Data transformation, transforming, and Data modeling, modeling data with the goal of discovering useful information, informing conclusions, and supporting decision-making. Da ...
*Dimensionality reduction
Dimensionality reduction, or dimension reduction, is the transformation of data from a high-dimensional space into a low-dimensional space so that the low-dimensional representation retains some meaningful properties of the original data, ideally ...
*Model selection
Model selection is the task of selecting a model from among various candidates on the basis of performance criterion to choose the best one.
In the context of machine learning and more generally statistical analysis, this may be the selection of ...
*Parametric equation
In mathematics, a parametric equation expresses several quantities, such as the coordinates of a point (mathematics), point, as Function (mathematics), functions of one or several variable (mathematics), variables called parameters.
In the case ...
*Parametric surface
A parametric surface is a surface in the Euclidean space \R^3 which is defined by a parametric equation with two parameters Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that oc ...
*Phase space
The phase space of a physical system is the set of all possible physical states of the system when described by a given parameterization. Each possible state corresponds uniquely to a point in the phase space. For mechanical systems, the p ...
References
{{DEFAULTSORT:Parameter Space
Estimation theory
Mathematical terminology