Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The issue "Mathematical Logic and Its Applications 2020" contains articles related to the following three directions: Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented. Exact combinatorial optimization algorithms, in which the complexity relative to the source data is characterized by a low, or even first degree, polynomial (1 article). III. Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M. Kontsevich’s conjectures, and algorithmic undecidability; for these purposes, non-standard analysis is used. The second article provides a quantitative description of the balance and adaptive resource of a human. Submissions are invited for the next issue "Mathematical Logic and Its Applications 2021"

definability --- nonconstructible reals --- projective hierarchy --- generic models --- almost disjoint forcing --- Harvey Friedman’s problem --- almost-disjoint forcing --- universal algebraic geometry --- affine algebraic geometry --- elementary equivalence --- isotypic algebras --- first order rigidity --- Ind-group --- affine spaces --- automorphisms --- free associative algebras --- Weyl algebra automorphisms --- polynomial symplectomorphisms --- deformation quantization --- infinite prime number --- semi-inner automorphism --- embeddability of varieties --- undecidability --- noncommutative Gröbner-Shirshov basis --- finitely presented algebraic systems --- algorithmic unsolvability --- turing machine --- discrete optimization --- exact algorithm --- additively exact algorithm --- graph transformation --- graph of degree 2 --- chain-cycle graph --- operation cost --- minimization of total cost --- definability of definable --- tarski problem --- type theoretic hierarchy --- adaptive resource --- resilience --- resistance --- tipping point --- theory of catastrophes

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The issue "Mathematical Logic and Its Applications 2020" contains articles related to the following three directions: Descriptive Set Theory (3 articles). Solutions for long-standing problems, including those of A. Tarski and H. Friedman, are presented. Exact combinatorial optimization algorithms, in which the complexity relative to the source data is characterized by a low, or even first degree, polynomial (1 article). III. Applications of mathematical logic and the theory of algorithms (2 articles). The first article deals with the Jacobian and M. Kontsevich’s conjectures, and algorithmic undecidability; for these purposes, non-standard analysis is used. The second article provides a quantitative description of the balance and adaptive resource of a human. Submissions are invited for the next issue "Mathematical Logic and Its Applications 2021"

Research & information: general --- Mathematics & science --- definability --- nonconstructible reals --- projective hierarchy --- generic models --- almost disjoint forcing --- Harvey Friedman’s problem --- almost-disjoint forcing --- universal algebraic geometry --- affine algebraic geometry --- elementary equivalence --- isotypic algebras --- first order rigidity --- Ind-group --- affine spaces --- automorphisms --- free associative algebras --- Weyl algebra automorphisms --- polynomial symplectomorphisms --- deformation quantization --- infinite prime number --- semi-inner automorphism --- embeddability of varieties --- undecidability --- noncommutative Gröbner-Shirshov basis --- finitely presented algebraic systems --- algorithmic unsolvability --- turing machine --- discrete optimization --- exact algorithm --- additively exact algorithm --- graph transformation --- graph of degree 2 --- chain-cycle graph --- operation cost --- minimization of total cost --- definability of definable --- tarski problem --- type theoretic hierarchy --- adaptive resource --- resilience --- resistance --- tipping point --- theory of catastrophes --- definability --- nonconstructible reals --- projective hierarchy --- generic models --- almost disjoint forcing --- Harvey Friedman’s problem --- almost-disjoint forcing --- universal algebraic geometry --- affine algebraic geometry --- elementary equivalence --- isotypic algebras --- first order rigidity --- Ind-group --- affine spaces --- automorphisms --- free associative algebras --- Weyl algebra automorphisms --- polynomial symplectomorphisms --- deformation quantization --- infinite prime number --- semi-inner automorphism --- embeddability of varieties --- undecidability --- noncommutative Gröbner-Shirshov basis --- finitely presented algebraic systems --- algorithmic unsolvability --- turing machine --- discrete optimization --- exact algorithm --- additively exact algorithm --- graph transformation --- graph of degree 2 --- chain-cycle graph --- operation cost --- minimization of total cost --- definability of definable --- tarski problem --- type theoretic hierarchy --- adaptive resource --- resilience --- resistance --- tipping point --- theory of catastrophes

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book offers a self-contained account of the 3-manifold invariants arising from the original Jones polynomial. These are the Witten-Reshetikhin-Turaev and the Turaev-Viro invariants. Starting from the Kauffman bracket model for the Jones polynomial and the diagrammatic Temperley-Lieb algebra, higher-order polynomial invariants of links are constructed and combined to form the 3-manifold invariants. The methods in this book are based on a recoupling theory for the Temperley-Lieb algebra. This recoupling theory is a q-deformation of the SU(2) spin networks of Roger Penrose. The recoupling theory is developed in a purely combinatorial and elementary manner. Calculations are based on a reformulation of the Kirillov-Reshetikhin shadow world, leading to expressions for all the invariants in terms of state summations on 2-cell complexes. Extensive tables of the invariants are included. Manifolds in these tables are recognized by surgery presentations and by means of 3-gems (graph encoded 3-manifolds) in an approach pioneered by Sostenes Lins. The appendices include information about gems, examples of distinct manifolds with the same invariants, and applications to the Turaev-Viro invariant and to the Crane-Yetter invariant of 4-manifolds.

Drie-menigvuldigheden (Topologie) --- Knopentheorie --- Knot theory --- Noeuds [Theorie des ] --- Three-manifolds (Topology) --- Trois-variétés (Topologie) --- Knot theory. --- Algebraic topology --- Invariants --- Mathematics --- Invariants (Mathematics) --- Invariants. --- 3-manifolds (Topology) --- Manifolds, Three dimensional (Topology) --- Three-dimensional manifolds (Topology) --- Low-dimensional topology --- Topological manifolds --- Knots (Topology) --- 3-manifold. --- Addition. --- Algorithm. --- Ambient isotopy. --- Axiom. --- Backslash. --- Barycentric subdivision. --- Bijection. --- Bipartite graph. --- Borromean rings. --- Boundary parallel. --- Bracket polynomial. --- Calculation. --- Canonical form. --- Cartesian product. --- Cobordism. --- Coefficient. --- Combination. --- Commutator. --- Complex conjugate. --- Computation. --- Connected component (graph theory). --- Connected sum. --- Cubic graph. --- Diagram (category theory). --- Dimension. --- Disjoint sets. --- Disjoint union. --- Elaboration. --- Embedding. --- Equation. --- Equivalence class. --- Explicit formula. --- Explicit formulae (L-function). --- Factorial. --- Fundamental group. --- Graph (discrete mathematics). --- Graph embedding. --- Handlebody. --- Homeomorphism. --- Homology (mathematics). --- Identity element. --- Intersection form (4-manifold). --- Inverse function. --- Jones polynomial. --- Kirby calculus. --- Line segment. --- Linear independence. --- Matching (graph theory). --- Mathematical physics. --- Mathematical proof. --- Mathematics. --- Maxima and minima. --- Monograph. --- Natural number. --- Network theory. --- Notation. --- Numerical analysis. --- Orientability. --- Orthogonality. --- Pairing. --- Pairwise. --- Parametrization. --- Parity (mathematics). --- Partition function (mathematics). --- Permutation. --- Poincaré conjecture. --- Polyhedron. --- Quantum group. --- Quantum invariant. --- Recoupling. --- Recursion. --- Reidemeister move. --- Result. --- Roger Penrose. --- Root of unity. --- Scientific notation. --- Sequence. --- Significant figures. --- Simultaneous equations. --- Smoothing. --- Special case. --- Sphere. --- Spin network. --- Summation. --- Symmetric group. --- Tetrahedron. --- The Geometry Center. --- Theorem. --- Theory. --- Three-dimensional space (mathematics). --- Time complexity. --- Tubular neighborhood. --- Two-dimensional space. --- Vector field. --- Vector space. --- Vertex (graph theory). --- Winding number. --- Writhe.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume studies the dynamics of iterated holomorphic mappings from a Riemann surface to itself, concentrating on the classical case of rational maps of the Riemann sphere. This subject is large and rapidly growing. These lectures are intended to introduce some key ideas in the field, and to form a basis for further study. The reader is assumed to be familiar with the rudiments of complex variable theory and of two-dimensional differential geometry, as well as some basic topics from topology. This third edition contains a number of minor additions and improvements: A historical survey has been added, the definition of Lattés map has been made more inclusive, and the écalle-Voronin theory of parabolic points is described. The résidu itératif is studied, and the material on two complex variables has been expanded. Recent results on effective computability have been added, and the references have been expanded and updated. Written in his usual brilliant style, the author makes difficult mathematics look easy. This book is a very accessible source for much of what has been accomplished in the field.

Functions of complex variables --- Holomorphic mappings --- Riemann surfaces --- Fonctions d'une variable complexe --- Applications holomorphes --- Riemann, surfaces de --- Holomorphic mappings. --- Mappings, Holomorphic --- Functions of complex variables. --- Riemann surfaces. --- Surfaces, Riemann --- Functions --- Functions of several complex variables --- Mappings (Mathematics) --- Complex variables --- Elliptic functions --- Functions of real variables --- Absolute value. --- Addition. --- Algebraic equation. --- Attractor. --- Automorphism. --- Beltrami equation. --- Blaschke product. --- Boundary (topology). --- Branched covering. --- Coefficient. --- Compact Riemann surface. --- Compact space. --- Complex analysis. --- Complex number. --- Complex plane. --- Computation. --- Connected component (graph theory). --- Connected space. --- Constant function. --- Continued fraction. --- Continuous function. --- Coordinate system. --- Corollary. --- Covering space. --- Cross-ratio. --- Derivative. --- Diagram (category theory). --- Diameter. --- Diffeomorphism. --- Differentiable manifold. --- Disjoint sets. --- Disjoint union. --- Disk (mathematics). --- Division by zero. --- Equation. --- Euler characteristic. --- Existential quantification. --- Exponential map (Lie theory). --- Fundamental group. --- Harmonic function. --- Holomorphic function. --- Homeomorphism. --- Hyperbolic geometry. --- Inequality (mathematics). --- Integer. --- Inverse function. --- Irrational rotation. --- Iteration. --- Jordan curve theorem. --- Julia set. --- Lebesgue measure. --- Lecture. --- Limit point. --- Line segment. --- Linear map. --- Linearization. --- Mandelbrot set. --- Mathematical analysis. --- Maximum modulus principle. --- Metric space. --- Monotonic function. --- Montel's theorem. --- Normal family. --- Open set. --- Orbifold. --- Parameter space. --- Parameter. --- Periodic point. --- Point at infinity. --- Polynomial. --- Power series. --- Proper map. --- Quadratic function. --- Rational approximation. --- Rational function. --- Rational number. --- Real number. --- Riemann sphere. --- Riemann surface. --- Root of unity. --- Rotation number. --- Schwarz lemma. --- Scientific notation. --- Sequence. --- Simply connected space. --- Special case. --- Subgroup. --- Subsequence. --- Subset. --- Summation. --- Tangent space. --- Theorem. --- Topological space. --- Topology. --- Uniform convergence. --- Uniformization theorem. --- Unit circle. --- Unit disk. --- Upper half-plane. --- Winding number.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In 1920, Pierre Fatou expressed the conjecture that--except for special cases--all critical points of a rational map of the Riemann sphere tend to periodic orbits under iteration. This conjecture remains the main open problem in the dynamics of iterated maps. For the logistic family x- ax(1-x), it can be interpreted to mean that for a dense set of parameters "a," an attracting periodic orbit exists. The same question appears naturally in science, where the logistic family is used to construct models in physics, ecology, and economics. In this book, Jacek Graczyk and Grzegorz Swiatek provide a rigorous proof of the Real Fatou Conjecture. In spite of the apparently elementary nature of the problem, its solution requires advanced tools of complex analysis. The authors have written a self-contained and complete version of the argument, accessible to someone with no knowledge of complex dynamics and only basic familiarity with interval maps. The book will thus be useful to specialists in real dynamics as well as to graduate students.

Geodesics (Mathematics) --- Polynomials. --- Mappings (Mathematics) --- Maps (Mathematics) --- Functions --- Functions, Continuous --- Topology --- Transformations (Mathematics) --- Algebra --- Geometry, Differential --- Global analysis (Mathematics) --- Mathematics --- Absolute value. --- Affine transformation. --- Algebraic function. --- Analytic continuation. --- Analytic function. --- Arithmetic. --- Automorphism. --- Big O notation. --- Bounded set (topological vector space). --- C0. --- Calculation. --- Canonical map. --- Change of variables. --- Chebyshev polynomials. --- Combinatorics. --- Commutative property. --- Complex number. --- Complex plane. --- Complex quadratic polynomial. --- Conformal map. --- Conjecture. --- Conjugacy class. --- Conjugate points. --- Connected component (graph theory). --- Connected space. --- Continuous function. --- Corollary. --- Covering space. --- Critical point (mathematics). --- Dense set. --- Derivative. --- Diffeomorphism. --- Dimension. --- Disjoint sets. --- Disjoint union. --- Disk (mathematics). --- Equicontinuity. --- Estimation. --- Existential quantification. --- Fibonacci. --- Functional equation. --- Fundamental domain. --- Generalization. --- Great-circle distance. --- Hausdorff distance. --- Holomorphic function. --- Homeomorphism. --- Homotopy. --- Hyperbolic function. --- Imaginary number. --- Implicit function theorem. --- Injective function. --- Integer. --- Intermediate value theorem. --- Interval (mathematics). --- Inverse function. --- Irreducible polynomial. --- Iteration. --- Jordan curve theorem. --- Julia set. --- Limit of a sequence. --- Linear map. --- Local diffeomorphism. --- Mathematical induction. --- Mathematical proof. --- Maxima and minima. --- Meromorphic function. --- Moduli (physics). --- Monomial. --- Monotonic function. --- Natural number. --- Neighbourhood (mathematics). --- Open set. --- Parameter. --- Periodic function. --- Periodic point. --- Phase space. --- Point at infinity. --- Polynomial. --- Projection (mathematics). --- Quadratic function. --- Quadratic. --- Quasiconformal mapping. --- Renormalization. --- Riemann sphere. --- Riemann surface. --- Schwarzian derivative. --- Scientific notation. --- Subsequence. --- Theorem. --- Theory. --- Topological conjugacy. --- Topological entropy. --- Topology. --- Union (set theory). --- Unit circle. --- Unit disk. --- Upper and lower bounds. --- Upper half-plane. --- Z0.