Fuglede's Conjecture
   HOME
*





Fuglede's Conjecture
Fuglede's conjecture is an open problem in mathematics proposed by Bent Fuglede in 1974. It states that every domain of \mathbb^ (i.e. subset of \mathbb^ with positive finite Lebesgue measure) is a spectral set if and only if it tiles \mathbb^ by translation. Spectral sets and translational tiles Spectral sets in \mathbb^d A set \Omega \subset \mathbb^ with positive finite Lebesgue measure is said to be a spectral set if there exists a \Lambda \subset \mathbb^d such that \left \_is an orthogonal basis of L^2(\Omega). The set \Lambda is then said to be a spectrum of \Omega and (\Omega, \Lambda) is called a spectral pair. Translational tiles of \mathbb^d A set \Omega\subset\mathbb^d is said to tile \mathbb^d by translation (i.e. \Omega is a translational tile) if there exist a discrete set \Tau such that \bigcup_(\Omega + t)=\mathbb^d and the Lebesgue measure of (\Omega + t) \cap (\Omega + t') is zero for all t\neq t'in \Tau. Partial results * Fuglede proved in 1974 that the c ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Bent Fuglede
Bent Fuglede (born 8 October 1925) is a Danish mathematician and, since 1992, professor emeritus at the University of Copenhagen. Biography He is known for his contributions to mathematical analysis, in particular functional analysis, where he has proved Fuglede's theorem and stated Fuglede's conjecture. Fuglede graduated from Skt. Jørgens Gymnasium 1943 and received his mag. scient. og cand. mag. in 1948 at the University of Copenhagen after which he studied in USA until 1951. In 1952 he was employed as scientific assistant at Den Polytekniske Læreanstalt and in 1954 as amanuensis at Matematisk Institut University of Copenhagen, in 1958 associate professor, and in 1959 head of department.''70 år: Bent Fuglede'' Politiken, 07.10.1995, 1. sektion, Side 15''Matematik for viderekomne. 70 i dag'' Berlingske Tidende, 08.10.1995, 2.sekt, Magasin, Side 13 Fuglede also spent one year in Lund (Sweden) as Nordic docent. Fuglede received his dr.phil. (Ph.D.) in 1960 from the Unive ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Lebesgue Measure
In measure theory, a branch of mathematics, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of ''n''-dimensional Euclidean space. For ''n'' = 1, 2, or 3, it coincides with the standard measure of length, area, or volume. In general, it is also called ''n''-dimensional volume, ''n''-volume, or simply volume. It is used throughout real analysis, in particular to define Lebesgue integration. Sets that can be assigned a Lebesgue measure are called Lebesgue-measurable; the measure of the Lebesgue-measurable set ''A'' is here denoted by ''λ''(''A''). Henri Lebesgue described this measure in the year 1901, followed the next year by his description of the Lebesgue integral. Both were published as part of his dissertation in 1902. Definition For any interval I = ,b/math>, or I = (a, b), in the set \mathbb of real numbers, let \ell(I)= b - a denote its length. For any subset E\subseteq\mathbb, the Lebesgue oute ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Spectral Set
In operator theory, a set X\subseteq\mathbb is said to be a spectral set for a (possibly unbounded) linear operator T on a Banach space if the spectrum of T is in X and von-Neumann's inequality holds for T on X - i.e. for all rational functions r(x) with no poles Poles,, ; singular masculine: ''Polak'', singular feminine: ''Polka'' or Polish people, are a West Slavic nation and ethnic group, who share a common history, culture, the Polish language and are identified with the country of Poland in Ce ... on X :\left\Vert r(T) \right\Vert \leq \left\Vert r \right\Vert_ = \sup \left\ This concept is related to the topic of analytic functional calculus of operators. In general, one wants to get more details about the operators constructed from functions with the original operator as the variable. For a detailed discussion between Spectral Sets and von Neumann's inequality, see. Functional analysis {{Mathanalysis-stub ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Translation (geometry)
In Euclidean geometry, a translation is a geometric transformation that moves every point of a figure, shape or space by the same distance in a given direction. A translation can also be interpreted as the addition of a constant vector to every point, or as shifting the origin of the coordinate system. In a Euclidean space, any translation is an isometry. As a function If \mathbf is a fixed vector, known as the ''translation vector'', and \mathbf is the initial position of some object, then the translation function T_ will work as T_(\mathbf)=\mathbf+\mathbf. If T is a translation, then the image of a subset A under the function T is the translate of A by T . The translate of A by T_ is often written A+\mathbf . Horizontal and vertical translations In geometry, a vertical translation (also known as vertical shift) is a translation of a geometric object in a direction parallel to the vertical axis of the Cartesian coordinate system. Often, vertical translations a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Orthogonal Basis
In mathematics, particularly linear algebra, an orthogonal basis for an inner product space V is a basis for V whose vectors are mutually orthogonal. If the vectors of an orthogonal basis are normalized, the resulting basis is an orthonormal basis. As coordinates Any orthogonal basis can be used to define a system of orthogonal coordinates V. Orthogonal (not necessarily orthonormal) bases are important due to their appearance from curvilinear orthogonal coordinates in Euclidean spaces, as well as in Riemannian and pseudo-Riemannian manifolds. In functional analysis In functional analysis, an orthogonal basis is any basis obtained from an orthonormal basis (or Hilbert basis) using multiplication by nonzero scalars. Extensions Symmetric bilinear form The concept of an orthogonal basis is applicable to a vector space V (over any field) equipped with a symmetric bilinear form \langle \cdot, \cdot \rangle, where '' orthogonality'' of two vectors v and w means \langle v, w \rangle = ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Fundamental Domain
Given a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each of these orbits. It serves as a geometric realization for the abstract set of representatives of the orbits. There are many ways to choose a fundamental domain. Typically, a fundamental domain is required to be a connected subset with some restrictions on its boundary, for example, smooth or polyhedral. The images of a chosen fundamental domain under the group action then tile the space. One general construction of fundamental domains uses Voronoi cells. Hints at a general definition Given an action of a group ''G'' on a topological space ''X'' by homeomorphisms, a fundamental domain for this action is a set ''D'' of representatives for the orbits. It is usually required to be a reasonably nice set topologically, in one of several preci ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Lattice (group)
In geometry and group theory, a lattice in the real coordinate space \mathbb^n is an infinite set of points in this space with the properties that coordinate wise addition or subtraction of two points in the lattice produces another lattice point, that the lattice points are all separated by some minimum distance, and that every point in the space is within some maximum distance of a lattice point. Closure under addition and subtraction means that a lattice must be a subgroup of the additive group of the points in the space, and the requirements of minimum and maximum distance can be summarized by saying that a lattice is a Delone set. More abstractly, a lattice can be described as a free abelian group of dimension n which spans the vector space \mathbb^n. For any basis of \mathbb^n, the subgroup of all linear combinations with integer coefficients of the basis vectors forms a lattice, and every lattice can be formed from a basis in this way. A lattice may be viewed as a regula ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Nets Katz
Nets Hawk Katz is the IBM Professor of Mathematics at the California Institute of Technology. He was a professor of Mathematics at Indiana University Bloomington until March 2013. Katz earned a B.A. in mathematics from Rice University in 1990 at the age of 17. He received his Ph.D. in 1993 under Dennis DeTurck at the University of Pennsylvania, with a dissertation titled "Noncommutative Determinants and Applications". He is the author of several important results in combinatorics (especially additive combinatorics), harmonic analysis and other areas. In 2003, jointly with Jean Bourgain and Terence Tao, he proved that any subset of \Z/p\Z grows substantially under either addition or multiplication. More precisely, if A is a set such that \max(, A \cdot A, , , A+A, ) \leq K, A, , then A has size at most K^C or at least p/K^C where C is a constant that depends on A. This result was followed by the subsequent work of Bourgain, Sergei Konyagin and Glibichuk, establishing that every ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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]  


picture info

Convex Polygon
In geometry, a convex polygon is a polygon that is the boundary of a convex set. This means that the line segment between two points of the polygon is contained in the union of the interior and the boundary of the polygon. In particular, it is a simple polygon (not self-intersecting). Equivalently, a polygon is convex if every line that does not contain any edge intersects the polygon in at most two points. A strictly convex polygon is a convex polygon such that no line contains two of its edges. In a convex polygon, all interior angles are less than or equal to 180 degrees, while in a strictly convex polygon all interior angles are strictly less than 180 degrees. Properties The following properties of a simple polygon are all equivalent to convexity: *Every internal angle is strictly less than 180 degrees. *Every point on every line segment between two points inside or on the boundary of the polygon remains inside or on the boundary. *The polygon is entirely contained in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]