Jorge L. Ramírez Alfonsín
- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198568209
- eISBN:
- 9780191718229
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568209.001.0001
- Subject:
- Mathematics, Algebra, Combinatorics / Graph Theory / Discrete Mathematics
During the early part of the last century, F. G. Frobenius raised, in his lectures, the following problem (called the Diophantine Frobenius Problem FP): given relatively prime positive integers a1, . ...
More
During the early part of the last century, F. G. Frobenius raised, in his lectures, the following problem (called the Diophantine Frobenius Problem FP): given relatively prime positive integers a1, . . . , an, find the largest natural number (called the Frobenius number and denoted by g(a1, . . . , an)) that is not representable as a nonnegative integer combination of a1, . . . , an. It turned out that the knowledge of g(a1, . . . , an) has been extremely useful to investigate many different problems. A number of methods, from several areas of mathematics, have been used in the hope of finding a formula giving the Frobenius number and algorithms to calculate it. The main intention of this book is to highlight such ‘methods, ideas, viewpoints, and applications’ for as wide an audience as possible. This book aims to provide a comprehensive exposition of what is known today on FP.Less
During the early part of the last century, F. G. Frobenius raised, in his lectures, the following problem (called the Diophantine Frobenius Problem FP): given relatively prime positive integers a1, . . . , an, find the largest natural number (called the Frobenius number and denoted by g(a1, . . . , an)) that is not representable as a nonnegative integer combination of a1, . . . , an. It turned out that the knowledge of g(a1, . . . , an) has been extremely useful to investigate many different problems. A number of methods, from several areas of mathematics, have been used in the hope of finding a formula giving the Frobenius number and algorithms to calculate it. The main intention of this book is to highlight such ‘methods, ideas, viewpoints, and applications’ for as wide an audience as possible. This book aims to provide a comprehensive exposition of what is known today on FP.
M. Vidyasagar
- Published in print:
- 2014
- Published Online:
- October 2017
- ISBN:
- 9780691133157
- eISBN:
- 9781400850518
- Item type:
- book
- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691133157.001.0001
- Subject:
- Mathematics, Probability / Statistics
This book explores important aspects of Markov and hidden Markov processes and the applications of these ideas to various problems in computational biology. It starts from first principles, so that ...
More
This book explores important aspects of Markov and hidden Markov processes and the applications of these ideas to various problems in computational biology. It starts from first principles, so that no previous knowledge of probability is necessary. However, the work is rigorous and mathematical, making it useful to engineers and mathematicians, even those not interested in biological applications. A range of exercises is provided, including drills to familiarize the reader with concepts and more advanced problems that require deep thinking about the theory. Biological applications are taken from post-genomic biology, especially genomics and proteomics. The topics examined include standard material such as the Perron–Frobenius theorem, transient and recurrent states, hitting probabilities and hitting times, maximum likelihood estimation, the Viterbi algorithm, and the Baum–Welch algorithm. The book contains discussions of extremely useful topics not usually seen at the basic level, such as ergodicity of Markov processes, Markov Chain Monte Carlo (MCMC), information theory, and large deviation theory for both i.i.d and Markov processes. It also presents state-of-the-art realization theory for hidden Markov models. Among biological applications, it offers an in-depth look at the BLAST (Basic Local Alignment Search Technique) algorithm, including a comprehensive explanation of the underlying theory. Other applications such as profile hidden Markov models are also explored.Less
This book explores important aspects of Markov and hidden Markov processes and the applications of these ideas to various problems in computational biology. It starts from first principles, so that no previous knowledge of probability is necessary. However, the work is rigorous and mathematical, making it useful to engineers and mathematicians, even those not interested in biological applications. A range of exercises is provided, including drills to familiarize the reader with concepts and more advanced problems that require deep thinking about the theory. Biological applications are taken from post-genomic biology, especially genomics and proteomics. The topics examined include standard material such as the Perron–Frobenius theorem, transient and recurrent states, hitting probabilities and hitting times, maximum likelihood estimation, the Viterbi algorithm, and the Baum–Welch algorithm. The book contains discussions of extremely useful topics not usually seen at the basic level, such as ergodicity of Markov processes, Markov Chain Monte Carlo (MCMC), information theory, and large deviation theory for both i.i.d and Markov processes. It also presents state-of-the-art realization theory for hidden Markov models. Among biological applications, it offers an in-depth look at the BLAST (Basic Local Alignment Search Technique) algorithm, including a comprehensive explanation of the underlying theory. Other applications such as profile hidden Markov models are also explored.
Nicholas M. Katz
- Published in print:
- 2012
- Published Online:
- October 2017
- ISBN:
- 9780691153308
- eISBN:
- 9781400842704
- Item type:
- chapter
- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691153308.003.0006
- Subject:
- Mathematics, Number Theory
This chapter analyzes Frobenius conjugacy classes. It shows that in either the split or nonsplit case, when χ is good for N, the conjugacy class FrobE,X has unitary eigenvalues in every ...
More
This chapter analyzes Frobenius conjugacy classes. It shows that in either the split or nonsplit case, when χ is good for N, the conjugacy class FrobE,X has unitary eigenvalues in every representation of the reductive group Garith,N. Now fix a maximal compact subgroup K of the complex reductive group Garith,N (ℂ). The semisimple part (in the sense of Jordan decomposition) of FrobE,X gives rise to a well-defined conjugacy class θE,X in K.Less
This chapter analyzes Frobenius conjugacy classes. It shows that in either the split or nonsplit case, when χ is good for N, the conjugacy class FrobE,X has unitary eigenvalues in every representation of the reductive group Garith,N. Now fix a maximal compact subgroup K of the complex reductive group Garith,N (ℂ). The semisimple part (in the sense of Jordan decomposition) of FrobE,X gives rise to a well-defined conjugacy class θE,X in K.
Nicholas M. Katz
- Published in print:
- 2012
- Published Online:
- October 2017
- ISBN:
- 9780691153308
- eISBN:
- 9781400842704
- Item type:
- chapter
- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691153308.003.0017
- Subject:
- Mathematics, Number Theory
This chapter works on Gₘ/k. It considers an arithmetically semisimple object N ɛ Garith which is pure of weight zero. It assumes it is of the form G[1], with G a middle extension sheaf. Thus, for ...
More
This chapter works on Gₘ/k. It considers an arithmetically semisimple object N ɛ Garith which is pure of weight zero. It assumes it is of the form G[1], with G a middle extension sheaf. Thus, for some open set j : U ⊂ 𝔾ₘ, we have G = j*Ƒ, for Ƒ := j*G a lisse sheaf on U which is pure of weight −1 and arithmetically semisimple, and having no geometric constituent isomorphic to a Kummer sheaf.Less
This chapter works on Gₘ/k. It considers an arithmetically semisimple object N ɛ Garith which is pure of weight zero. It assumes it is of the form G[1], with G a middle extension sheaf. Thus, for some open set j : U ⊂ 𝔾ₘ, we have G = j*Ƒ, for Ƒ := j*G a lisse sheaf on U which is pure of weight −1 and arithmetically semisimple, and having no geometric constituent isomorphic to a Kummer sheaf.
J. L. Ramírez Alfonsín
- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198568209
- eISBN:
- 9780191718229
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568209.003.0002
- Subject:
- Mathematics, Algebra, Combinatorics / Graph Theory / Discrete Mathematics
It is easy to solve FP when n = 2. Indeed, g(a1, a2) = a1a2 - a1 - a2. However, the computation of a (simple) formula when n = 3 is much more difficult and has been the subject of numerous research ...
More
It is easy to solve FP when n = 2. Indeed, g(a1, a2) = a1a2 - a1 - a2. However, the computation of a (simple) formula when n = 3 is much more difficult and has been the subject of numerous research papers over a long period. F. Curtis has proved that the search for such a formula is, in some sense, doomed to failure since the Frobenius number cannot be given by ‘closed’ formulas of a certain type. Recently, an explicit formula for computing g(a1, a2, a3) has been found. After presenting four different proofs of equality (1), one of which uses the well-known Pick's theorem, this chapter presents the result of Curtis, the general formula, and summarizes the known upper bounds for g(a1, a2, a3) as well as exact formulas for particular triples.Less
It is easy to solve FP when n = 2. Indeed, g(a1, a2) = a1a2 - a1 - a2. However, the computation of a (simple) formula when n = 3 is much more difficult and has been the subject of numerous research papers over a long period. F. Curtis has proved that the search for such a formula is, in some sense, doomed to failure since the Frobenius number cannot be given by ‘closed’ formulas of a certain type. Recently, an explicit formula for computing g(a1, a2, a3) has been found. After presenting four different proofs of equality (1), one of which uses the well-known Pick's theorem, this chapter presents the result of Curtis, the general formula, and summarizes the known upper bounds for g(a1, a2, a3) as well as exact formulas for particular triples.
J. L. Ramírez Alfonsín
- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198568209
- eISBN:
- 9780191718229
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568209.003.0003
- Subject:
- Mathematics, Algebra, Combinatorics / Graph Theory / Discrete Mathematics
This chapter provides a systematic exposition of the known formulas, including upper and lower bounds for g(a1, . . . , an) for general n, and for special sequences (for instance, when a1, . . . , an ...
More
This chapter provides a systematic exposition of the known formulas, including upper and lower bounds for g(a1, . . . , an) for general n, and for special sequences (for instance, when a1, . . . , an forms an arithmetic sequence). Results on the change in value of g(a1, . . . , an), when an additional element an + 1 is inserted, are also given.Less
This chapter provides a systematic exposition of the known formulas, including upper and lower bounds for g(a1, . . . , an) for general n, and for special sequences (for instance, when a1, . . . , an forms an arithmetic sequence). Results on the change in value of g(a1, . . . , an), when an additional element an + 1 is inserted, are also given.
J. L. Ramírez Alfonsín
- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198568209
- eISBN:
- 9780191718229
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568209.003.0006
- Subject:
- Mathematics, Algebra, Combinatorics / Graph Theory / Discrete Mathematics
Let g(n, t) and h(n, t) be the largest and smallest of three of the Frobenius numbers when a1 < · · · < an = t and t = a1 < · · · < an, respectively. This chapter reviews the results on these ...
More
Let g(n, t) and h(n, t) be the largest and smallest of three of the Frobenius numbers when a1 < · · · < an = t and t = a1 < · · · < an, respectively. This chapter reviews the results on these functions. It also examines an algorithm that solves the modular change problem, a generalization of FP, due to Z. Skupień, describes the relation between FP and (a1, . . . , an)-trees, discusses the postage stamp problem, as well as a multidimensional generalization of FP.Less
Let g(n, t) and h(n, t) be the largest and smallest of three of the Frobenius numbers when a1 < · · · < an = t and t = a1 < · · · < an, respectively. This chapter reviews the results on these functions. It also examines an algorithm that solves the modular change problem, a generalization of FP, due to Z. Skupień, describes the relation between FP and (a1, . . . , an)-trees, discusses the postage stamp problem, as well as a multidimensional generalization of FP.
D. A. Bini, G. Latouche, and B. Meini
- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198527688
- eISBN:
- 9780191713286
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198527688.003.0001
- Subject:
- Mathematics, Numerical Analysis
This chapter contains a brief introduction to the fundamental concepts of Markov chains, including classification of states, irreducible classes, first passage times, stochastic complementation and ...
More
This chapter contains a brief introduction to the fundamental concepts of Markov chains, including classification of states, irreducible classes, first passage times, stochastic complementation and censoring, and stationary distributions, for both discrete and continuous time processes. The chapter ends with properties of non-negative matrices and the Perron-Frobenius theorem.Less
This chapter contains a brief introduction to the fundamental concepts of Markov chains, including classification of states, irreducible classes, first passage times, stochastic complementation and censoring, and stationary distributions, for both discrete and continuous time processes. The chapter ends with properties of non-negative matrices and the Perron-Frobenius theorem.
Daniel S. Freed, Michael J. Hopkins, and Constantin Teleman
- Published in print:
- 2010
- Published Online:
- September 2010
- ISBN:
- 9780199534920
- eISBN:
- 9780191716010
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199534920.003.0019
- Subject:
- Mathematics, Geometry / Topology
In a series of papers by Freed, Hopkins, and Teleman (2003, 2005, 2007a) the relationship between positive energy representations of the loop group of a compact Lie group G and the twisted ...
More
In a series of papers by Freed, Hopkins, and Teleman (2003, 2005, 2007a) the relationship between positive energy representations of the loop group of a compact Lie group G and the twisted equivariant K-theory K τ+dimG G (G) was developed. Here G acts on itself by conjugation. The loop group representations depend on a choice of ‘level’, and the twisting τ is derived from the level. For all levels the main theorem is an isomorphism of abelian groups, and for special transgressed levels it is an isomorphism of rings: the fusion ring of the loop group andK τ+dimG G (G) as a ring. For G connected with π1G torsionfree, it has been proven that the ring K τ+dimG G (G) is a quotient of the representation ring of G and can be calculated explicitly. In these cases it agrees with the fusion ring of the corresponding centrally extended loop group. This chapter explicates the multiplication on the twisted equivariant K-theory for an arbitrary compact Lie group G. It constructs a Frobenius ring structure on K τ+dimG G (G). This is best expressed in the language of topological quantum field theory: a two-dimensional topological quantum field theory (TQFT) is constructed over the integers in which the abelian group attached to the circle is K τ+dimG G (G).Less
In a series of papers by Freed, Hopkins, and Teleman (2003, 2005, 2007a) the relationship between positive energy representations of the loop group of a compact Lie group G and the twisted equivariant K-theory K τ+dimG G (G) was developed. Here G acts on itself by conjugation. The loop group representations depend on a choice of ‘level’, and the twisting τ is derived from the level. For all levels the main theorem is an isomorphism of abelian groups, and for special transgressed levels it is an isomorphism of rings: the fusion ring of the loop group andK τ+dimG G (G) as a ring. For G connected with π1G torsionfree, it has been proven that the ring K τ+dimG G (G) is a quotient of the representation ring of G and can be calculated explicitly. In these cases it agrees with the fusion ring of the corresponding centrally extended loop group. This chapter explicates the multiplication on the twisted equivariant K-theory for an arbitrary compact Lie group G. It constructs a Frobenius ring structure on K τ+dimG G (G). This is best expressed in the language of topological quantum field theory: a two-dimensional topological quantum field theory (TQFT) is constructed over the integers in which the abelian group attached to the circle is K τ+dimG G (G).
Nicholas M. Katz
- Published in print:
- 2012
- Published Online:
- October 2017
- ISBN:
- 9780691153308
- eISBN:
- 9781400842704
- Item type:
- chapter
- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691153308.003.0007
- Subject:
- Mathematics, Number Theory
This chapter presents proofs of following theorems. Theorem 6.1: Suppose N in Garith is geometrically semisimple. Then Ggeom,N is a normal subgroup of Garith,N. Theorem 6.2: Suppose that N in Garith ...
More
This chapter presents proofs of following theorems. Theorem 6.1: Suppose N in Garith is geometrically semisimple. Then Ggeom,N is a normal subgroup of Garith,N. Theorem 6.2: Suppose that N in Garith is arithmetically semisimple and pure of weight zero. If Garith,N is finite, then N is punctual. Indeed, if every Frobenius conjugacy class FrobE,X in Garith,N is quasiunipotent, then N is punctual. Theorem 6.4: Suppose that N in Garith is arithmetically semisimple and pure of weight zero. If Ggeom is finite, then N is punctual. Theorem 6.5: Suppose that N in Garith is arithmetically semisimple and pure of weight zero. Then the group Ggeom,N/G⁰geom,N of connected components of Ggeom,N is cyclic of some prime to p order n.Less
This chapter presents proofs of following theorems. Theorem 6.1: Suppose N in Garith is geometrically semisimple. Then Ggeom,N is a normal subgroup of Garith,N. Theorem 6.2: Suppose that N in Garith is arithmetically semisimple and pure of weight zero. If Garith,N is finite, then N is punctual. Indeed, if every Frobenius conjugacy class FrobE,X in Garith,N is quasiunipotent, then N is punctual. Theorem 6.4: Suppose that N in Garith is arithmetically semisimple and pure of weight zero. If Ggeom is finite, then N is punctual. Theorem 6.5: Suppose that N in Garith is arithmetically semisimple and pure of weight zero. Then the group Ggeom,N/G⁰geom,N of connected components of Ggeom,N is cyclic of some prime to p order n.
Nicholas M. Katz
- Published in print:
- 2012
- Published Online:
- October 2017
- ISBN:
- 9780691153308
- eISBN:
- 9781400842704
- Item type:
- chapter
- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691153308.003.0008
- Subject:
- Mathematics, Number Theory
This chapter takes up the proof of the main theorem. Theorem 7.2: Suppose N in Garithι-pure of weight zero and arithmetically semisimple, such that the quotient group Garith,N/Ggeom,N is ℤ / nℤ. Fix ...
More
This chapter takes up the proof of the main theorem. Theorem 7.2: Suppose N in Garithι-pure of weight zero and arithmetically semisimple, such that the quotient group Garith,N/Ggeom,N is ℤ / nℤ. Fix an integer d mod n. Then as E/k runs over larger and larger extension fields whose degree is d mod n, the conjugacy classes {θE,ρ}goodρ become equidistributed in the space Karith# for the measure μd# of total mass one. Equivalently, as E/k runs over larger and
larger extension fields whose degree is d mod n, the conjugacy classes {θE,ρ}goodρ become equidistributed in the space Karith# for the measure i*μd# of total mass one.Less
This chapter takes up the proof of the main theorem. Theorem 7.2: Suppose N in Garithι-pure of weight zero and arithmetically semisimple, such that the quotient group Garith,N/Ggeom,N is ℤ / nℤ. Fix an integer d mod n. Then as E/k runs over larger and larger extension fields whose degree is d mod n, the conjugacy classes {θE,ρ}goodρ become equidistributed in the space Karith# for the measure μd# of total mass one. Equivalently, as E/k runs over larger and
larger extension fields whose degree is d mod n, the conjugacy classes {θE,ρ}goodρ become equidistributed in the space Karith# for the measure i*μd# of total mass one.
M. Vidyasagar
- Published in print:
- 2014
- Published Online:
- October 2017
- ISBN:
- 9780691133157
- eISBN:
- 9781400850518
- Item type:
- chapter
- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691133157.003.0003
- Subject:
- Mathematics, Probability / Statistics
This chapter deals with nonnegative matrices, which are relevant in the study of Markov processes because the state transition matrix of such a process is a special kind of nonnegative matrix, known ...
More
This chapter deals with nonnegative matrices, which are relevant in the study of Markov processes because the state transition matrix of such a process is a special kind of nonnegative matrix, known as a stochastic matrix. However, it turns out that practically all of the useful properties of a stochastic matrix also hold for the more general class of nonnegative matrices. Hence it is desirable to present the theory in the more general setting, and then specialize to Markov processes. The chapter first considers the canonical form for nonnegative matrices, including irreducible matrices and periodic irreducible matrices, before discussing the Perron–Frobenius theorem for primitive matrices and for irreducible matrices.Less
This chapter deals with nonnegative matrices, which are relevant in the study of Markov processes because the state transition matrix of such a process is a special kind of nonnegative matrix, known as a stochastic matrix. However, it turns out that practically all of the useful properties of a stochastic matrix also hold for the more general class of nonnegative matrices. Hence it is desirable to present the theory in the more general setting, and then specialize to Markov processes. The chapter first considers the canonical form for nonnegative matrices, including irreducible matrices and periodic irreducible matrices, before discussing the Perron–Frobenius theorem for primitive matrices and for irreducible matrices.
S. N. Afriat
- Published in print:
- 1987
- Published Online:
- November 2003
- ISBN:
- 9780198284611
- eISBN:
- 9780191595844
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0198284616.003.0023
- Subject:
- Economics and Finance, Microeconomics
This is the last of six chapters on the logic of price, and expands on the features of von Neumann's economic model, or activity system, which was first mentioned in Chapter IV.1. The fourteen ...
More
This is the last of six chapters on the logic of price, and expands on the features of von Neumann's economic model, or activity system, which was first mentioned in Chapter IV.1. The fourteen sections of the chapter are: activity system; dual system; irreducibility; admissible factors; factor bounds; limit reciprocity; von Neumann factor; stretch algorithm; matrix games; LP solution; Perron–Frobenius and von Neumann; BASIC program; problems; and demonstrations.Less
This is the last of six chapters on the logic of price, and expands on the features of von Neumann's economic model, or activity system, which was first mentioned in Chapter IV.1. The fourteen sections of the chapter are: activity system; dual system; irreducibility; admissible factors; factor bounds; limit reciprocity; von Neumann factor; stretch algorithm; matrix games; LP solution; Perron–Frobenius and von Neumann; BASIC program; problems; and demonstrations.
Rupert Richard Arrowsmith
- Published in print:
- 2010
- Published Online:
- January 2011
- ISBN:
- 9780199593699
- eISBN:
- 9780191595684
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199593699.003.0009
- Subject:
- Literature, Film, Media, and Cultural Studies, 20th-century and Contemporary Literature
This chapter focuses on the shift in attention of the London avant-garde towards visual art from West Africa and the Pacific islands from late 1912 into the war years. New evidence is presented ...
More
This chapter focuses on the shift in attention of the London avant-garde towards visual art from West Africa and the Pacific islands from late 1912 into the war years. New evidence is presented showing that Epstein's first African experiments occurred no earlier than 1913. They are shown to have begun with an adaptation of aesthetics derived from the art of Benin City before engaging with Yoruba and Akan sculpture. The presentation of African art in institutions such as the British Museum is considered alongside its availability in various commercial galleries of the time and its reception by other members of the avant-garde such as D. H. Lawrence. Henri Gaudier-Brzeska is shown to have developed around the same time an interest in the Oceanic pieces in the British Museum that would inform works such as the Hieratic Head of Ezra Pound.Less
This chapter focuses on the shift in attention of the London avant-garde towards visual art from West Africa and the Pacific islands from late 1912 into the war years. New evidence is presented showing that Epstein's first African experiments occurred no earlier than 1913. They are shown to have begun with an adaptation of aesthetics derived from the art of Benin City before engaging with Yoruba and Akan sculpture. The presentation of African art in institutions such as the British Museum is considered alongside its availability in various commercial galleries of the time and its reception by other members of the avant-garde such as D. H. Lawrence. Henri Gaudier-Brzeska is shown to have developed around the same time an interest in the Oceanic pieces in the British Museum that would inform works such as the Hieratic Head of Ezra Pound.
Brian Street
- Published in print:
- 2014
- Published Online:
- October 2017
- ISBN:
- 9780691162515
- eISBN:
- 9781400852758
- Item type:
- book
- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691162515.001.0001
- Subject:
- Mathematics, Analysis
This book develops a new theory of multi-parameter singular integrals associated with Carnot–Carathéodory balls. The book first details the classical theory of Calderón–Zygmund singular integrals and ...
More
This book develops a new theory of multi-parameter singular integrals associated with Carnot–Carathéodory balls. The book first details the classical theory of Calderón–Zygmund singular integrals and applications to linear partial differential equations. It then outlines the theory of multi-parameter Carnot–Carathéodory geometry, where the main tool is a quantitative version of the classical theorem of Frobenius. The book then gives several examples of multi-parameter singular integrals arising naturally in various problems. The final chapter of the book develops a general theory of singular integrals that generalizes and unifies these examples. This is one of the first general theories of multi-parameter singular integrals that goes beyond the product theory of singular integrals and their analogs. This book will interest graduate students and researchers working in singular integrals and related fields.Less
This book develops a new theory of multi-parameter singular integrals associated with Carnot–Carathéodory balls. The book first details the classical theory of Calderón–Zygmund singular integrals and applications to linear partial differential equations. It then outlines the theory of multi-parameter Carnot–Carathéodory geometry, where the main tool is a quantitative version of the classical theorem of Frobenius. The book then gives several examples of multi-parameter singular integrals arising naturally in various problems. The final chapter of the book develops a general theory of singular integrals that generalizes and unifies these examples. This is one of the first general theories of multi-parameter singular integrals that goes beyond the product theory of singular integrals and their analogs. This book will interest graduate students and researchers working in singular integrals and related fields.
Ulf Grenander and Michael I. Miller
- Published in print:
- 2006
- Published Online:
- November 2020
- ISBN:
- 9780198505709
- eISBN:
- 9780191916564
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198505709.003.0010
- Subject:
- Computer Science, Programming Languages
This chapter studies second order and Gaussian fields on the background spaces which are the continuum limits of the finite graphs. For this random processes in ...
More
This chapter studies second order and Gaussian fields on the background spaces which are the continuum limits of the finite graphs. For this random processes in Hilbert spaces are examined. Orthogonal expansions such as Karhunen–Loeve are examined, with spectral representations of the processes established. Gaussian processes induced by differential operators representing physical processes in the world are studied.
Less
This chapter studies second order and Gaussian fields on the background spaces which are the continuum limits of the finite graphs. For this random processes in Hilbert spaces are examined. Orthogonal expansions such as Karhunen–Loeve are examined, with spectral representations of the processes established. Gaussian processes induced by differential operators representing physical processes in the world are studied.
Ulf Grenander and Michael I. Miller
- Published in print:
- 2006
- Published Online:
- November 2020
- ISBN:
- 9780198505709
- eISBN:
- 9780191916564
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198505709.003.0019
- Subject:
- Computer Science, Programming Languages
The parameter spaces of natural patterns are so complex that inference must often proceed compositionally, successively building up more and more complex structures, ...
More
The parameter spaces of natural patterns are so complex that inference must often proceed compositionally, successively building up more and more complex structures, as well as back-tracking, creating simpler structures from more complex versions. Inference is transformational in nature. The philosophical approach studied in this chapter is that the posterior distribution that describes the patterns contains all of the information about the underlying regular structure. Therefore, the transformations of inference are guided via the posterior in the sense that the algorithm for changing the regular structures will correspond to the sample path of a Markov process. The Markov process is constructed to push towards the posterior distribution in which the information about the patterns are stored. This provides the deepconnection between the transformational paradigm of regular structure creation, and random sampling algorithms.
Less
The parameter spaces of natural patterns are so complex that inference must often proceed compositionally, successively building up more and more complex structures, as well as back-tracking, creating simpler structures from more complex versions. Inference is transformational in nature. The philosophical approach studied in this chapter is that the posterior distribution that describes the patterns contains all of the information about the underlying regular structure. Therefore, the transformations of inference are guided via the posterior in the sense that the algorithm for changing the regular structures will correspond to the sample path of a Markov process. The Markov process is constructed to push towards the posterior distribution in which the information about the patterns are stored. This provides the deepconnection between the transformational paradigm of regular structure creation, and random sampling algorithms.
Chris Heunen and Jamie Vicary
- Published in print:
- 2019
- Published Online:
- January 2020
- ISBN:
- 9780198739623
- eISBN:
- 9780191802584
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198739623.001.0001
- Subject:
- Mathematics, Mathematical Physics, Applied Mathematics
Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to ...
More
Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to understand many high-level quantum phenomena. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Previous knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including sets and relations. All results are stated rigorously and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.Less
Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to understand many high-level quantum phenomena. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Previous knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including sets and relations. All results are stated rigorously and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.
Rick Salmon
- Published in print:
- 1998
- Published Online:
- November 2020
- ISBN:
- 9780195108088
- eISBN:
- 9780197561034
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780195108088.003.0010
- Subject:
- Earth Sciences and Geography, Geophysics: Earth Sciences
In this final chapter, we return to the subject of the first: the fundamental principles of fluid mechanics. In chapter 1, we derived the equations of fluid motion ...
More
In this final chapter, we return to the subject of the first: the fundamental principles of fluid mechanics. In chapter 1, we derived the equations of fluid motion from Hamilton’s principle of stationary action, emphasizing its logical simplicity and the resulting close correspondence between mechanics and thermodynamics. Now we explore the Hamiltonian approach more fully, discovering its other advantages. The most important of these advantages arise from the correspondence between the symmetry properties of the Lagrangian and the conservation laws of the resulting dynamical equations. Therefore, we begin with a very brief introduction to symmetry and conservation laws. Noether’s theorem applies to the equations that arise from variational principles like Hamilton’s principle. According to Noether’s theorem : If a variational principle is invariant to a continuous transformation of its dependent and independent variables, then the equations arising from the variational principle possess a divergence-form conservation law. The invariance property is also called a symmetry property. Thus Noether’s theorem connects symmetry properties and conservation laws. We shall neither state nor prove the general form of Noether’s theorem; to do so would require a lengthy digression on continuous groups. Instead we illustrate the connection between symmetry and conservation laws with a series of increasingly complex and important examples. These examples convey the flavor of the general theory. Our first example is very simple. Consider a body of mass m moving in one dimension. The body is attached to the end of a spring with spring-constant K. Let x(t) be the displacement of the body from its location when the spring is unstretched.
Less
In this final chapter, we return to the subject of the first: the fundamental principles of fluid mechanics. In chapter 1, we derived the equations of fluid motion from Hamilton’s principle of stationary action, emphasizing its logical simplicity and the resulting close correspondence between mechanics and thermodynamics. Now we explore the Hamiltonian approach more fully, discovering its other advantages. The most important of these advantages arise from the correspondence between the symmetry properties of the Lagrangian and the conservation laws of the resulting dynamical equations. Therefore, we begin with a very brief introduction to symmetry and conservation laws. Noether’s theorem applies to the equations that arise from variational principles like Hamilton’s principle. According to Noether’s theorem : If a variational principle is invariant to a continuous transformation of its dependent and independent variables, then the equations arising from the variational principle possess a divergence-form conservation law. The invariance property is also called a symmetry property. Thus Noether’s theorem connects symmetry properties and conservation laws. We shall neither state nor prove the general form of Noether’s theorem; to do so would require a lengthy digression on continuous groups. Instead we illustrate the connection between symmetry and conservation laws with a series of increasingly complex and important examples. These examples convey the flavor of the general theory. Our first example is very simple. Consider a body of mass m moving in one dimension. The body is attached to the end of a spring with spring-constant K. Let x(t) be the displacement of the body from its location when the spring is unstretched.
Christophe Reutenauer
- Published in print:
- 2018
- Published Online:
- January 2019
- ISBN:
- 9780198827542
- eISBN:
- 9780191866418
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/oso/9780198827542.003.0011
- Subject:
- Mathematics, Pure Mathematics
This chapter gives several examples, which may help the reader to work in concrete terms with Markoff numbers, Christoffel words, Markoff constants, and quadratic forms. In particular the thirteen ...
More
This chapter gives several examples, which may help the reader to work in concrete terms with Markoff numbers, Christoffel words, Markoff constants, and quadratic forms. In particular the thirteen Markoff numbers <1000 are given, together with the associated mathematical objects considered before in the book:Markoff constants, Christoffel words, the associated matrices by the representation of Chapter 3, theMarkoff quadratic numbers whose expansion is given by the Christoffel word, the Markoff quadratic forms. Some results of Frobenius, Aigner, andClemens are given. In particular thematrix associated with a Christoffel word may be computed directly from its Markoff triple.Less
This chapter gives several examples, which may help the reader to work in concrete terms with Markoff numbers, Christoffel words, Markoff constants, and quadratic forms. In particular the thirteen Markoff numbers <1000 are given, together with the associated mathematical objects considered before in the book:Markoff constants, Christoffel words, the associated matrices by the representation of Chapter 3, theMarkoff quadratic numbers whose expansion is given by the Christoffel word, the Markoff quadratic forms. Some results of Frobenius, Aigner, andClemens are given. In particular thematrix associated with a Christoffel word may be computed directly from its Markoff triple.