|
Artin–Mazur Zeta Function
In mathematics, the Artin–Mazur zeta function, named after Michael Artin and Barry Mazur, is a function that is used for studying the iterated functions that occur in dynamical systems and fractals. It is defined from a given function f as the formal power series :\zeta_f(z)=\exp \left(\sum_^\infty \bigl, \operatorname (f^n)\bigr, \frac \right), where \operatorname (f^n) is the set of fixed points of the nth iterate of the function f, and , \operatorname (f^n), is the number of fixed points (i.e. the cardinality of that set). Note that the zeta function is defined only if the set of fixed points is finite for each n. This definition is formal in that the series does not always have a positive radius of convergence. The Artin–Mazur zeta function is invariant under topological conjugation. The Milnor–Thurston theorem states that the Artin–Mazur zeta function of an interval map f is the inverse of the kneading determinant of f. Analogues The Artin&nd ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Local Zeta Function
In number theory, the local zeta function (sometimes called the congruent zeta function or the Hasse–Weil zeta function) is defined as :Z(V, s) = \exp\left(\sum_^\infty \frac (q^)^m\right) where is a non-singular -dimensional projective algebraic variety over the field with elements and is the number of points of defined over the finite field extension of . Making the variable transformation gives : \mathit (V,u) = \exp \left( \sum_^ N_m \frac \right) as the formal power series in the variable u. Equivalently, the local zeta function is sometimes defined as follows: : (1)\ \ \mathit (V,0) = 1 \, : (2)\ \ \frac \log \mathit (V,u) = \sum_^ N_m u^\ . In other words, the local zeta function with coefficients in the finite field is defined as a function whose logarithmic derivative generates the number of solutions of the equation defining in the degree extension Formulation Given a finite field ''F'', there is, up to isomorphism, only one field ''Fk'' with : ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zeta And L-functions
Zeta (, ; uppercase Ζ, lowercase ζ; grc, ζῆτα, el, ζήτα, label=Demotic Greek, classical or ''zē̂ta''; ''zíta'') is the sixth letter of the Greek alphabet. In the system of Greek numerals, it has a value of 7. It was derived from the Phoenician letter zayin . Letters that arose from zeta include the Roman Z and Cyrillic З. Name Unlike the other Greek letters, this letter did not take its name from the Phoenician letter from which it was derived; it was given a new name on the pattern of beta, eta and theta. The word ''zeta'' is the ancestor of ''zed'', the name of the Latin letter Z in Commonwealth English. Swedish and many Romanic languages (such as Italian and Spanish) do not distinguish between the Greek and Roman forms of the letter; "''zeta''" is used to refer to the Roman letter Z as well as the Greek letter. Uses Letter The letter ζ represents the voiced alveolar fricative in Modern Greek. The sound represented by zeta in Greek before 400&n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as the founding editor-in-chief. It was "intended to afford a medium for the presentation and analysis of any and all questions of interest or importance in pure and applied Mathematics, embracing especially all new and interesting discoveries in theoretical and practical astronomy, mechanical philosophy, and engineering". It was published in Des Moines, Iowa, and was the earliest American mathematics journal to be published continuously for more than a year or two. This incarnation of the journal ceased publication after its tenth year, in 1883, giving as an explanation Hendricks' declining health, but Hendricks made arrangements to have it taken over by new management, and it was continued from March 1884 as the ''Annals of Mathematics''. The n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lefschetz Zeta Function
In mathematics, the Lefschetz zeta function, zeta-function is a tool used in topological periodic and fixed point (mathematics), fixed point theory, and dynamical systems. Given a continuous map f\colon X\to X, the zeta-function is defined as the formal series :\zeta_f(t) = \exp \left( \sum_^\infty L(f^n) \frac \right), where L(f^n) is the Lefschetz number of the n-th iterated function, iterate of f. This zeta-function is of note in topological periodic point theory because it is a single invariant containing information about all iterates of f. Examples The identity map on X has Lefschetz zeta function : \frac, where \chi(X) is the Euler characteristic of X, i.e., the Lefschetz number of the identity map. For a less trivial example, let X = S^1 be the unit circle, and let f\colon S^1\to S^1 be reflection in the ''x''-axis, that is, f(\theta) = -\theta. Then f has Lefschetz number 2, while f^2 is the identity map, which has Lefschetz number 0. Likewise, all odd iterates have Le ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lefschetz Number
In mathematics, the Lefschetz fixed-point theorem is a formula that counts the fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X. It is named after Solomon Lefschetz, who first stated it in 1926. The counting is subject to an imputed multiplicity at a fixed point called the fixed-point index. A weak version of the theorem is enough to show that a mapping without ''any'' fixed point must have rather special topological properties (like a rotation of a circle). Formal statement For a formal statement of the theorem, let :f\colon X \rightarrow X\, be a continuous map from a compact triangulable space X to itself. Define the Lefschetz number \Lambda_f of f by :\Lambda_f:=\sum_(-1)^k\mathrm(f_*, H_k(X,\Q)), the alternating (finite) sum of the matrix traces of the linear maps induced by f on H_k(X,\Q), the singular homology groups of X with rational coefficients. A simple versi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ihara Zeta Function
In mathematics, the Ihara zeta function is a zeta function associated with a finite graph. It closely resembles the Selberg zeta function, and is used to relate closed walks to the spectrum of the adjacency matrix. The Ihara zeta function was first defined by Yasutaka Ihara in the 1960s in the context of discrete subgroups of the two-by-two p-adic special linear group. Jean-Pierre Serre suggested in his book ''Trees'' that Ihara's original definition can be reinterpreted graph-theoretically. It was Toshikazu Sunada who put this suggestion into practice in 1985. As observed by Sunada, a regular graph is a Ramanujan graph if and only if its Ihara zeta function satisfies an analogue of the Riemann hypothesis. Definition The Ihara zeta function is defined as the analytic continuation of the infinite product \zeta_\left(u\right)=\prod_\frac The product in the definition is taken over all prime closed geodesics p of the graph G = (V, E), where geodesics which differ by a cyclic rotati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Field
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the operations of multiplication, addition, subtraction and division are defined and satisfy certain basic rules. The most common examples of finite fields are given by the integers mod when is a prime number. The ''order'' of a finite field is its number of elements, which is either a prime number or a prime power. For every prime number and every positive integer there are fields of order p^k, all of which are isomorphic. Finite fields are fundamental in a number of areas of mathematics and computer science, including number theory, algebraic geometry, Galois theory, finite geometry, cryptography and coding theory. Properties A finite field is a finite set which is a field; this means that multiplication, addition, subtraction and division (excluding division by zero) are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frobenius Mapping
In mathematics, the Frobenius endomorphism is defined in any commutative ring ''R'' that has characteristic ''p'', where ''p'' is a prime number. Namely, the mapping φ that takes ''r'' in ''R'' to ''r''''p'' is a ring endomorphism of ''R''. The image of φ is then ''R''''p'', the subring of ''R'' consisting of ''p''-th powers. In some important cases, for example finite fields, φ is surjective. Otherwise φ is an endomorphism but not a ring ''automorphism''. The terminology of geometric Frobenius arises by applying the spectrum of a ring construction to φ. This gives a mapping :φ*: Spec(''R''''p'') → Spec(''R'') of affine schemes. Even in cases where ''R''''p'' = ''R'' this is not the identity, unless ''R'' is the prime field. Mappings created by fibre product with φ*, i.e. base changes, tend in scheme theory to be called ''geometric Frobenius''. The reason for a careful terminology is that the Frobenius automorphism in Galois groups, or defined by transport of structu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable. Definition Given two manifolds M and N, a differentiable map f \colon M \rightarrow N is called a diffeomorphism if it is a bijection and its inverse f^ \colon N \rightarrow M is differentiable as well. If these functions are r times continuously differentiable, f is called a C^r-diffeomorphism. Two manifolds M and N are diffeomorphic (usually denoted M \simeq N) if there is a diffeomorphism f from M to N. They are C^r-diffeomorphic if there is an r times continuously differentiable bijective map between them whose inverse is also r times continuously differentiable. Diffeomorphisms of subsets of manifolds Given a subset X of a manifold M and a subset Y of a manifold N, a function f:X\to Y is said to be smooth if for all p in X there is a neighbor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
