In mathematics, the Markov spectrum, devised by Andrey Markov, is a complicated set of real numbers arising in Markov Diophantine equations and also in the theory of Diophantine approximation.
Consider a quadratic form given by f(x,y) = ax2 + bxy + cy2 and suppose that its discriminant is fixed, say equal to −1/4. In other words, b2 − 4ac = 1.
One can ask for the minimal value achieved by when it is evaluated at non-zero vectors of the grid , and if this minimum does not exist, for the infimum.
The Markov spectrum M is the set obtained by repeating this search with different quadratic forms with discriminant fixed to −1/4:
Starting from Hurwitz's theorem on Diophantine approximation, that any real number has a sequence of rational approximations m/n tending to it with
it is possible to ask for each value of 1/c with 1/c≥√5 about the existence of some for which
for such a sequence, for which c is the best possible (maximal) value. Such 1/c make up the Lagrange spectrumL, a set of real numbers at least √5 (which is the smallest value of the spectrum). The formulation with the reciprocal is awkward, but the traditional definition invites it; looking at the set of c instead allows a definition instead by means of an inferior limit. For that, consider
where m is chosen as an integer function of n to make the difference minimal. This is a function of , and the reciprocal of the Lagrange spectrum is the range of values it takes on irrational numbers.
The initial part of the Lagrange spectrum, namely the part lying in the interval [√5, 3), is also the initial part of Markov spectrum. The first few values are √5, √8, √221/5, √1517/13, ... [1] and the nth number of this sequence (that is, the nth Lagrange number) can be calculated from the nth Markov number by the formulaFreiman's constant is the name given to the end of the last gap in the Lagrange spectrum, namely:
All real numbers in [) - known as Hall’s ray - are members of the Lagrange spectrum. [2] Moreover, it is possible to prove that L is strictly contained in M. [3]
On one hand, the initial part of the Markov and Lagrange spectrum lying in the interval [√5, 3) are both equal and they are a discrete set. On the other hand, the final part of these sets lying after Freiman's constant are also equal, but a continuous set. The geometry of the part between the initial part and final part has a fractal structure, and can be seen as a geometric transition between the discrete initial part and the continuous final part. This is stated precisely in the next theorem: [4]
Theorem — Given , the Hausdorff dimension of is equal to the Hausdorff dimension of . Moreover, if d is the function defined as , where dimH denotes the Hausdorff dimension, then d is continuous and maps R onto [0,1].
In mathematical analysis, the Dirac delta function, also known as the unit impulse, is a generalized function on the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line is equal to one. Since there is no function having this property, modelling the delta "function" rigorously involves the use of limits or, as is common in mathematics, measure theory and the theory of distributions.
In probability theory, the central limit theorem (CLT) states that, under appropriate conditions, the distribution of a normalized version of the sample mean converges to a standard normal distribution. This holds even if the original variables themselves are not normally distributed. There are several versions of the CLT, each applying in the context of different conditions.
In number theory, a Liouville number is a real number with the property that, for every positive integer , there exists a pair of integers with such that
In calculus, Taylor's theorem gives an approximation of a -times differentiable function around a given point by a polynomial of degree , called the -th-order Taylor polynomial. For a smooth function, the Taylor polynomial is the truncation at the order of the Taylor series of the function. The first-order Taylor polynomial is the linear approximation of the function, and the second-order Taylor polynomial is often referred to as the quadratic approximation. There are several versions of Taylor's theorem, some giving explicit estimates of the approximation error of the function by its Taylor polynomial.
In physics, engineering and mathematics, the Fourier transform (FT) is an integral transform that takes a function as input and outputs another function that describes the extent to which various frequencies are present in the original function. The output of the transform is a complex-valued function of frequency. The term Fourier transform refers to both this complex-valued function and the mathematical operation. When a distinction needs to be made, the output of the operation is sometimes called the frequency domain representation of the original function. The Fourier transform is analogous to decomposing the sound of a musical chord into the intensities of its constituent pitches.
In numerical analysis, the Lagrange interpolating polynomial is the unique polynomial of lowest degree that interpolates a given set of data.
In number theory, the study of Diophantine approximation deals with the approximation of real numbers by rational numbers. It is named after Diophantus of Alexandria.
In mathematics, Roth's theorem or Thue–Siegel–Roth theorem is a fundamental result in diophantine approximation to algebraic numbers. It is of a qualitative type, stating that algebraic numbers cannot have many rational number approximations that are 'very good'. Over half a century, the meaning of very good here was refined by a number of mathematicians, starting with Joseph Liouville in 1844 and continuing with work of Axel Thue, Carl Ludwig Siegel, Freeman Dyson, and Klaus Roth.
In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus, which has particularly broad scope. Thus for instance if T is an operator, applying the squaring function s → s2 to T yields the operator T2. Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator −Δ or the exponential
In mathematics, a Dirac comb is a periodic function with the formula for some given period . Here t is a real variable and the sum extends over all integers k. The Dirac delta function and the Dirac comb are tempered distributions. The graph of the function resembles a comb, hence its name and the use of the comb-like Cyrillic letter sha (Ш) to denote the function.
Particle filters, or sequential Monte Carlo methods, are a set of Monte Carlo algorithms used to find approximate solutions for filtering problems for nonlinear state-space systems, such as signal processing and Bayesian statistical inference. The filtering problem consists of estimating the internal states in dynamical systems when partial observations are made and random perturbations are present in the sensors as well as in the dynamical system. The objective is to compute the posterior distributions of the states of a Markov process, given the noisy and partial observations. The term "particle filters" was first coined in 1996 by Pierre Del Moral about mean-field interacting particle methods used in fluid mechanics since the beginning of the 1960s. The term "Sequential Monte Carlo" was coined by Jun S. Liu and Rong Chen in 1998.
A Markov number or Markoff number is a positive integer x, y or z that is part of a solution to the Markov Diophantine equation
In mathematics, the Stolarsky mean is a generalization of the logarithmic mean. It was introduced by Kenneth B. Stolarsky in 1975.
In mathematics, the Lagrange numbers are a sequence of numbers that appear in bounds relating to the approximation of irrational numbers by rational numbers. They are linked to Hurwitz's theorem.
In mathematics, the spectral theory of ordinary differential equations is the part of spectral theory concerned with the determination of the spectrum and eigenfunction expansion associated with a linear ordinary differential equation. In his dissertation, Hermann Weyl generalized the classical Sturm–Liouville theory on a finite closed interval to second order differential operators with singularities at the endpoints of the interval, possibly semi-infinite or infinite. Unlike the classical case, the spectrum may no longer consist of just a countable set of eigenvalues, but may also contain a continuous part. In this case the eigenfunction expansion involves an integral over the continuous part with respect to a spectral measure, given by the Titchmarsh–Kodaira formula. The theory was put in its final simplified form for singular differential equations of even degree by Kodaira and others, using von Neumann's spectral theorem. It has had important applications in quantum mechanics, operator theory and harmonic analysis on semisimple Lie groups.
In mathematics, specifically the area of Diophantine approximation, the Davenport–Schmidt theorem tells us how well a certain kind of real number can be approximated by another kind. Specifically it tells us that we can get a good approximation to irrational numbers that are not quadratic by using either quadratic irrationals or simply rational numbers. It is named after Harold Davenport and Wolfgang M. Schmidt.
The Hausdorff−Young inequality is a foundational result in the mathematical field of Fourier analysis. As a statement about Fourier series, it was discovered by William Henry Young and extended by Hausdorff. It is now typically understood as a rather direct corollary of the Plancherel theorem, found in 1910, in combination with the Riesz-Thorin theorem, originally discovered by Marcel Riesz in 1927. With this machinery, it readily admits several generalizations, including to multidimensional Fourier series and to the Fourier transform on the real line, Euclidean spaces, as well as more general spaces. With these extensions, it is one of the best-known results of Fourier analysis, appearing in nearly every introductory graduate-level textbook on the subject.
In number theory, Hurwitz's theorem, named after Adolf Hurwitz, gives a bound on a Diophantine approximation. The theorem states that for every irrational number ξ there are infinitely many relatively prime integers m, n such that
The uncertainty theory invented by Baoding Liu is a branch of mathematics based on normality, monotonicity, self-duality, countable subadditivity, and product measure axioms.
In number theory, specifically in Diophantine approximation theory, the Markov constant of an irrational number is the factor for which Dirichlet's approximation theorem can be improved for .
