Martingale (probability theory)In probability theory, a martingale is a sequence of random variables (i.e., a stochastic process) for which, at a particular time, the conditional expectation of the next value in the sequence is equal to the present value, regardless of all prior values. Originally, martingale referred to a class of betting strategies that was popular in 18th-century France. The simplest of these strategies was designed for a game in which the gambler wins their stake if a coin comes up heads and loses it if the coin comes up tails.
Stopping timeIn probability theory, in particular in the study of stochastic processes, a stopping time (also Markov time, Markov moment, optional stopping time or optional time) is a specific type of “random time”: a random variable whose value is interpreted as the time at which a given stochastic process exhibits a certain behavior of interest. A stopping time is often defined by a stopping rule, a mechanism for deciding whether to continue or stop a process on the basis of the present position and past events, and which will almost always lead to a decision to stop at some finite time.
Optimal stoppingIn mathematics, the theory of optimal stopping or early stopping is concerned with the problem of choosing a time to take a particular action, in order to maximise an expected reward or minimise an expected cost. Optimal stopping problems can be found in areas of statistics, economics, and mathematical finance (related to the pricing of American options). A key example of an optimal stopping problem is the secretary problem. Optimal stopping problems can often be written in the form of a Bellman equation, and are therefore often solved using dynamic programming.
Doob's martingale convergence theoremsIn mathematics specifically, in the theory of stochastic processes Doob's martingale convergence theorems are a collection of results on the limits of supermartingales, named after the American mathematician Joseph L. Doob. Informally, the martingale convergence theorem typically refers to the result that any supermartingale satisfying a certain boundedness condition must converge.
Mathematical proofA mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".
Local martingaleIn mathematics, a local martingale is a type of stochastic process, satisfying the localized version of the martingale property. Every martingale is a local martingale; every bounded local martingale is a martingale; in particular, every local martingale that is bounded from below is a supermartingale, and every local martingale that is bounded from above is a submartingale; however, in general a local martingale is not a martingale, because its expectation can be distorted by large values of small probability.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Computer-assisted proofA computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.
Philippe de VilmorinJoseph-Marie-Philippe Lévêque de Vilmorin (21 May 1872 – 29 June 1917), generally known as Philippe de Vilmorin, was a noted French botanist and plant collector, and a member of the celebrated Vilmorin family of horticulturists. In 1903 Vilmorin began the Arboretum de Pézanin, an arboretum located in Dompierre-les-Ormes, Saône-et-Loire, Bourgogne, France. He also collected plants in Egypt and Sudan that now form part of the herbarium of the National Botanic Garden of Belgium.
Mapie de Toulouse-LautrecMarie Pierre "Mapie" de Toulouse-Lautrec (1901–1972) was a French journalist and food writer, born Marie Pierre Adélaïde Lévêque de Vilmorin in Verrières-le-Buisson, scion of the Vilmorin seed company. Her horticulturalist father was Joseph Marie Philippe Lévêque de Vilmorin (1872-1917), and her mother was the former Bertha Marie Mélanie de Gaufridy de Dortan (1876-1937). The writer Louise de Vilmorin (1902–1969) was her younger sister, while one of her younger brothers, Roger, was the result of an affair between her mother and Alfonso XIII of Spain.
VilmorinVilmorin is a French seed producer. The company has a long history in France, where it was family-controlled for almost two centuries, and today exists as a publicly traded company owned principally by agro-industrial cooperative Groupe Limagrain, the largest plant breeding and seed company in the European Union. Vilmorin was founded as a plant and seed boutique in 1743 by seed expert Claude Geoffroy and her husband Pierre Andrieux, the chief seed supplier and botanist to King Louis XV.
French School at AthensThe French School at Athens (École française d’Athènes, EfA; Γαλλική Σχολή Αθηνών Gallikí Scholí Athinón) is one of the seventeen foreign archaeological institutes operating in Athens, Greece. Founded in 1846, the EfA is the oldest foreign institute in Athens. Its early foundation, still a source of considerable prestige, is to be seen culturally connected with French philhellenism and politically with the French East Mediterranean strategy of the time.
SN2 reactionDISPLAYTITLE:SN2 reaction The SN2 reaction is a type of reaction mechanism that is common in organic chemistry. In this mechanism, one bond is broken and one bond is formed in a concerted way, i.e., in one step. The name SN2 refers to the Hughes-Ingold symbol of the mechanism: "SN" indicates that the reaction is a nucleophilic substitution, and "2" that it proceeds via a bi-molecular mechanism, which means both the reacting species are involved in the rate-determining step.
Crédit LyonnaisThe Crédit Lyonnais (kʁedi ljɔnɛ, "Lyon Credit [Company]") was a major French bank, created in 1863 and absorbed by former rival Crédit Agricole in 2003. Its head office was initially in Lyon but moved to Paris in 1882. In the early years of the 20th century, it was the world's largest bank by total assets. Its former French retail network survives as LCL S.A., a fully owned subsidiary of Crédit Agricole, under the brand LCL adopted in 2005 with reference to "Le Crédit Lyonnais".
VO2 maxDISPLAYTITLE:VO2 max VO2 max (also maximal oxygen consumption, maximal oxygen uptake or maximal aerobic capacity) is the maximum rate of oxygen consumption attainable during physical exertion. The name is derived from three abbreviations: "V̇" for volume (the dot appears over the V to indicate "per unit of time"), "O2" for oxygen, and "max" for maximum. A similar measure is VO2 peak (peak oxygen consumption), which is the measurable value from a session of physical exercise, be it incremental or otherwise.
Nucleophilic substitutionIn chemistry, a nucleophilic substitution is a class of chemical reactions in which an electron-rich chemical species (known as a nucleophile) replaces a functional group within another electron-deficient molecule (known as the electrophile). The molecule that contains the electrophile and the leaving functional group is called the substrate.R. A. Rossi, R. H. de Rossi, Aromatic Substitution by the SRN1 Mechanism, ACS Monograph Series No. 178, American Chemical Society, 1983. .
Historical JesusThe term "historical Jesus" refers to the life and teachings of Jesus as interpreted through critical historical methods, in contrast to what are traditionally religious interpretations. It also considers the historical and cultural contexts in which Jesus lived. Virtually all scholars of antiquity accept that Jesus was a historical figure, and attempts to deny his historicity have been consistently rejected by the scholarly consensus as a fringe theory.
Reflection (physics)Reflection is the change in direction of a wavefront at an interface between two different media so that the wavefront returns into the medium from which it originated. Common examples include the reflection of light, sound and water waves. The law of reflection says that for specular reflection (for example at a mirror) the angle at which the wave is incident on the surface equals the angle at which it is reflected. In acoustics, reflection causes echoes and is used in sonar. In geology, it is important in the study of seismic waves.
SN 1987ASN 1987A was a type II supernova in the Large Magellanic Cloud, a dwarf satellite galaxy of the Milky Way. It occurred approximately from Earth and was the closest observed supernova since Kepler's Supernova. 1987A's light reached Earth on February 23, 1987, and as the earliest supernova discovered that year, was labeled "1987A". Its brightness peaked in May, with an apparent magnitude of about 3. It was the first supernova that modern astronomers were able to study in great detail, and its observations have provided much insight into core-collapse supernovae.
Total internal reflectionIn physics, total internal reflection (TIR) is the phenomenon in which waves arriving at the interface (boundary) from one medium to another (e.g., from water to air) are not refracted into the second ("external") medium, but completely reflected back into the first ("internal") medium. It occurs when the second medium has a higher wave speed (i.e., lower refractive index) than the first, and the waves are incident at a sufficiently oblique angle on the interface.
