|
Freiman's Theorem
In additive combinatorics, Freiman's theorem is a central result which indicates the approximate structure of sets whose sumset is small. It roughly states that if , A+A, /, A, is small, then A can be contained in a small generalized arithmetic progression. Statement If A is a finite subset of \mathbb with , A+A, \le K, A, , then A is contained in a generalized arithmetic progression of dimension at most d(K) and size at most f(K), A, , where d(K) and f(K) are constants depending only on K. Examples For a finite set A of integers, it is always true that :, A + A, \ge 2, A, -1, with equality precisely when A is an arithmetic progression. More generally, suppose A is a subset of a finite proper generalized arithmetic progression P of dimension d such that , P, \le C, A, for some real C \ge 1. Then , P+P, \le 2^d , P, , so that :, A+A, \le , P+P, \le 2^d , P, \le C2^d, A, . History of Freiman's theorem This result is due to Gregory Freiman (1964, 1966). Much interest in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Additive Combinatorics
Additive combinatorics is an area of combinatorics in mathematics. One major area of study in additive combinatorics are ''inverse problems'': given the size of the sumset ''A'' + ''B'' is small, what can we say about the structures of A and B? In the case of the integers, the classical Freiman's theorem provides a partial answer to this question in terms of multi-dimensional arithmetic progressions. Another typical problem is to find a lower bound for , A + B, in terms of , A, and , B, . This can be viewed as an inverse problem with the given information that , A+B, is sufficiently small and the structural conclusion is then of the form that either A or B is the empty set; however, in literature, such problems are sometimes considered to be direct problems as well. Examples of this type include the Erdős–Heilbronn Conjecture (for a restricted sumset) and the Cauchy–Davenport Theorem. The methods used for tackling such questions often come from many different fi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fourier Analysis
In mathematics, Fourier analysis () is the study of the way general functions may be represented or approximated by sums of simpler trigonometric functions. Fourier analysis grew from the study of Fourier series, and is named after Joseph Fourier, who showed that representing a function as a sum of trigonometric functions greatly simplifies the study of heat transfer. The subject of Fourier analysis encompasses a vast spectrum of mathematics. In the sciences and engineering, the process of decomposing a function into oscillatory components is often called Fourier analysis, while the operation of rebuilding the function from these pieces is known as Fourier synthesis. For example, determining what component frequencies are present in a musical note would involve computing the Fourier transform of a sampled musical note. One could then re-synthesize the same sound by including the frequency components as revealed in the Fourier analysis. In mathematics, the term ''Fourier ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kneser's Theorem (combinatorics)
In the branch of mathematics known as additive combinatorics, Kneser's theorem can refer to one of several related theorems regarding the sizes of certain sumsets in abelian groups. These are named after Martin Kneser, who published them in 1953 and 1956. They may be regarded as extensions of the Cauchy–Davenport theorem, which also concerns sumsets in groups but is restricted to groups whose order is a prime number. The first three statements deal with sumsets whose size (in various senses) is strictly smaller than the sum of the size of the summands. The last statement deals with the case of equality for Haar measure in connected compact abelian groups. Strict inequality If G is an abelian group and C is a subset of G , the group H(C):= \ is the ''stabilizer'' of C . Cardinality Let G be an abelian group. If A and B are nonempty finite subsets of G satisfying , A + B, < , A, + , B, and is the stabilizer of [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Markov Spectrum
In mathematics, the Markov spectrum devised by Andrey Markov is a complicated set of real numbers arising in Markov number, Markov Diophantine equation and also in the theory of Diophantine approximation. Quadratic form characterization Consider a quadratic form given by ''f''(''x'',''y'') = ''ax''2 + ''bxy'' + ''cy''2 and suppose that its Discriminant#Quadratic forms, discriminant is fixed, say equal to −1/4. In other words, ''b''2 − 4''ac'' = 1. One can ask for the minimal value achieved by \left\vert f(x,y) \right\vert when it is evaluated at non-zero vectors of the grid \mathbb^2, and if this minimum does not exist, for the Infimum and supremum, infimum. The Markov spectrum ''M'' is the set obtained by repeating this search with different quadratic forms with discriminant fixed to −1/4:M = \left\ Lagrange spectrum Starting from Hurwitz's theorem (number theory), Hurwitz's theorem on Diophantine approximation, that any real number \xi has a sequence of rational app ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kneser%27s Theorem (combinatorics)
Kneser is a surname. Notable people with the surname include: *Adolf Kneser (1862–1930), mathematician *Hellmuth Kneser (1898–1973), mathematician, son of Adolf Kneser *Martin Kneser Martin Kneser (21 January 1928 – 16 February 2004) was a German mathematician. His father Hellmuth Kneser and grandfather Adolf Kneser were also mathematicians. He obtained his PhD in 1950 from Humboldt University of Berlin with the disser ... (1928–2004), mathematician, son of Hellmuth Kneser {{surname, Kneser ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solvable Groups
In mathematics, more specifically in the field of group theory, a solvable group or soluble group is a group that can be constructed from abelian groups using extensions. Equivalently, a solvable group is a group whose derived series terminates in the trivial subgroup. Motivation Historically, the word "solvable" arose from Galois theory and the proof of the general unsolvability of quintic equation. Specifically, a polynomial equation is solvable in radicals if and only if the corresponding Galois group is solvable (note this theorem holds only in characteristic 0). This means associated to a polynomial f \in F /math> there is a tower of field extensionsF = F_0 \subseteq F_1 \subseteq F_2 \subseteq \cdots \subseteq F_m=Ksuch that # F_i = F_ alpha_i/math> where \alpha_i^ \in F_, so \alpha_i is a solution to the equation x^ - a where a \in F_ # F_m contains a splitting field for f(x) Example For example, the smallest Galois field extension of \mathbb containing the elemen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Terence Tao
Terence Chi-Shen Tao (; born 17 July 1975) is an Australian-American mathematician. He is a professor of mathematics at the University of California, Los Angeles (UCLA), where he holds the James and Carol Collins chair. His research includes topics in harmonic analysis, partial differential equations, algebraic combinatorics, arithmetic combinatorics, geometric combinatorics, probability theory, compressed sensing and analytic number theory. Tao was born to ethnic Chinese immigrant parents and raised in Adelaide. Tao won the Fields Medal in 2006 and won the Royal Medal and Breakthrough Prize in Mathematics in 2014. He is also a 2006 MacArthur Fellow. Tao has been the author or co-author of over three hundred research papers. He is widely regarded as one of the greatest living mathematicians and has been referred to as the "Mozart of mathematics". Life and career Family Tao's parents are first-generation immigrants from Hong Kong to Australia.''Wen Wei Po'', Page A4, 24 Au ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ben Green (mathematician)
Ben Joseph Green FRS (born 27 February 1977) is a British mathematician, specialising in combinatorics and number theory. He is the Waynflete Professor of Pure Mathematics at the University of Oxford. Early life and education Ben Green was born on 27 February 1977 in Bristol, England. He studied at local schools in Bristol, Bishop Road Primary School and Fairfield Grammar School, competing in the International Mathematical Olympiad in 1994 and 1995. He entered Trinity College, Cambridge in 1995 and completed his BA in mathematics in 1998, winning the Senior Wrangler title. He stayed on for Part III and earned his doctorate under the supervision of Timothy Gowers, with a thesis entitled ''Topics in arithmetic combinatorics'' (2003). During his PhD he spent a year as a visiting student at Princeton University. He was a research Fellow at Trinity College, Cambridge between 2001 and 2005, before becoming a Professor of Mathematics at the University of Bristol from January 2005 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bertrand's Postulate
In number theory, Bertrand's postulate is a theorem stating that for any integer n > 3, there always exists at least one prime number p with :n < p < 2n - 2. A less restrictive formulation is: for every , there is always at least one prime such that : Another formulation, where is the -th prime, is: for : This statement was first d in 1845 by (1822–1900). Bertrand himself verified his statement for all integers . His conjecture was completely [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry Of Numbers
Geometry of numbers is the part of number theory which uses geometry for the study of algebraic numbers. Typically, a ring of algebraic integers is viewed as a lattice in \mathbb R^n, and the study of these lattices provides fundamental information on algebraic numbers. The geometry of numbers was initiated by . The geometry of numbers has a close relationship with other fields of mathematics, especially functional analysis and Diophantine approximation, the problem of finding rational numbers that approximate an irrational quantity. Minkowski's results Suppose that \Gamma is a lattice in n-dimensional Euclidean space \mathbb^n and K is a convex centrally symmetric body. Minkowski's theorem, sometimes called Minkowski's first theorem, states that if \operatorname (K)>2^n \operatorname(\mathbb^n/\Gamma), then K contains a nonzero vector in \Gamma. The successive minimum \lambda_k is defined to be the inf of the numbers \lambda such that \lambda K contains k linearly independ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Minkowski's Theorem
In mathematics, Minkowski's theorem is the statement that every convex set in \mathbb^n which is symmetric with respect to the origin and which has volume greater than 2^n contains a non-zero integer point (meaning a point in \Z^n that is not the origin). The theorem was proved by Hermann Minkowski in 1889 and became the foundation of the branch of number theory called the geometry of numbers. It can be extended from the integers to any lattice L and to any symmetric convex set with volume greater than 2^n\,d(L), where d(L) denotes the covolume of the lattice (the absolute value of the determinant of any of its bases). Formulation Suppose that is a lattice of determinant in the - dimensional real vector space and is a convex subset of that is symmetric with respect to the origin, meaning that if is in then is also in . Minkowski's theorem states that if the volume of is strictly greater than , then must contain at least one lattice point other than the origin. (Sin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.png "Click for more on -> Fourier Analysis")
