Presentation is loading. Please wait.

Presentation is loading. Please wait.

Quantum Foundations Lecture 2

Similar presentations


Presentation on theme: "Quantum Foundations Lecture 2"โ€” Presentation transcript:

1 Quantum Foundations Lecture 2
January 31, 2018 Dr. Matthew Leifer HSC112

2 2) Mathematical Background
Vector Spaces Convex Cones Convex Sets Convex Polytopes Inner Products Dual Spaces

3 2.i) Vector Spaces A vector space consists of:
A set of vectors ๐’™, ๐’š, ๐’›,โ‹ฏ. A set of scalars ๐‘Ž,๐‘,๐‘,โ‹ฏ. In this section, the scalars will usually be the real numbers. Later, quantum theory makes heavy use of complex vector spaces. A rule of the addition of vectors: ๐’™+๐’š A rule for multiplying a vector by a scalar: ๐‘Ž๐’™

4 Vector addition rules The addition rule must satisfy:
If ๐’™ and ๐’š are vectors, then ๐’™+๐’š is a vector. Commutativity: ๐’™+๐’š=๐’š+๐’™. Associativity: ๐’™+๐’š +๐’›=๐’™+(๐’š+๐’›). There exists a vector ๐ŸŽ such that, for all vectors ๐’™ ๐ŸŽ+๐’™=๐’™+๐ŸŽ=๐’™. For each vector ๐’™, there exists a unique vector โˆ’๐’™, such that ๐’™+ โˆ’๐’™ = โˆ’๐’™ +๐’™=๐ŸŽ.

5 Scalar Multiplication Rules
The scalar multiplication rule must satisfy: For every scalar ๐‘Ž and every vector ๐’™, ๐‘Ž๐’™ is a vector. This implies ๐‘Ž๐’™+๐‘๐’š is always a vector for any scalars ๐‘Ž,๐‘ and any vectors ๐’™,๐’š. Distributivity: ๐‘Ž ๐’™+๐’š =๐‘Ž๐’™+๐‘Ž๐’š and ๐‘Ž+๐‘ ๐’™=๐‘Ž๐’™+๐‘๐’™. Associativity: ๐‘Ž ๐‘๐’™ = ๐‘Ž๐‘ ๐’™. There exists a unit scalar 1 and a zero scalar 0 such that, for all vectors ๐’™, 1๐’™=๐’™ and ๐’™=๐ŸŽ.

6 Examples of vector spaces
โ„ ๐‘› : The set of ๐‘›-dimensional column vectors with real components. โ„‚ ๐‘› : The set of ๐‘›-dimensional column vectors with complex components. ๐’“= ๐‘Ÿ 1 ๐‘Ÿ 2 โ‹ฎ ๐‘Ÿ ๐‘› Addition is component-wise addition. Scalars are the real numbers for โ„ ๐‘› and complex numbers for โ„‚ ๐‘› .

7 Examples of vector spaces
โ„ โˆž and โ„‚ โˆž : The set of infinite dimensional real or complex column vectors. The set of real or complex-valued functions of a real number ๐‘ฅ. Addition is ๐‘“+๐‘” ๐‘ฅ =๐‘“ ๐‘ฅ +๐‘”(๐‘ฅ). Scalars are real or complex numbers with ๐‘Ž๐‘“ ๐‘ฅ =๐‘Ž๐‘“(๐‘ฅ)

8 Dimension and bases A set of ๐‘ nonzero vectors ๐’™ 1 , ๐’™ 2 ,โ‹ฏ, ๐’™ ๐‘ is linearly independent iff the only solution to the equation ๐‘›=1 ๐‘ ๐‘Ž ๐‘› ๐’™ ๐‘› =0 is ๐‘Ž 1 = ๐‘Ž 2 =โ‹ฏ= ๐‘Ž ๐‘› =0. Otherwise the vectors are linearly dependent, and one of the vectors can be written as a sum of the others: ๐’™ ๐‘— = ๐‘›=1 ๐‘—โˆ’1 ๐‘ ๐‘› ๐’™ ๐‘› + ๐‘›=๐‘—+1 ๐‘ ๐‘ ๐‘› ๐’™ ๐‘› with ๐‘ ๐‘› =โˆ’ ๐‘Ž ๐‘› ๐‘Ž ๐‘—

9 Dimension and bases The dimension ๐‘‘ of a vector space is the maximum number of linearly independent vectors. A basis ๐’™ 1 , ๐’™ 2 ,โ‹ฏ, ๐’™ ๐‘‘ for a vector space is a linearly independent set of maximum size. All vectors can be written as: ๐’š= ๐‘›=1 ๐‘‘ ๐‘ ๐‘› ๐’™ ๐‘› for some components ๐‘ ๐‘› .

10 Examples For โ„ ๐‘› and โ„‚ ๐‘› , the vectors ๐’† ๐’‹ = 0 0 โ‹ฎ 0 1 0 โ‹ฎ 0
๐’† ๐’‹ = โ‹ฎ โ‹ฎ 0 are a basis, but not the only one. E.g. for โ„ 2 and โ„‚ 2 1 0 , is also a basis. ๐‘— th component

11 Examples โ„ ๐‘› and โ„‚ ๐‘› have dimension ๐‘›.
โ„ โˆž and โ„‚ โˆž have dimension (countable) infinity. The space of functions of a real variable has dimension (uncountable) infinity.

12 2.ii) Convex Cones A convex cone ๐ถ is a subset of a real vector space such that, if ๐’™,๐’šโˆˆ๐ถ then ๐›ผ๐’™+๐›ฝ๐’šโˆˆ๐ถ for any positive (or zero) scalars ๐›ผ,๐›ฝโ‰ฅ0. Note: A convex cone always includes the origin. A convex cone is salient if, for every ๐’™โˆˆ๐ถ, โˆ’๐’™โˆ‰๐ถ. We will always work with salient convex cones, so when I say โ€œconeโ€, that is what I mean. Example: The set of vectors with positive components.

13 Examples ๐ถ

14 Extremal Rays A vector ๐’™ is called an extreme point of ๐ถ if, whenever
๐’™=๐›ผ๐’š+๐›ฝ๐’› for ๐ฒ,๐’›โˆˆ๐ถ and ๐›ผ,๐›ฝโ‰ฅ0, then ๐’š=๐›พ๐’™ and ๐’›=๐›ฟ๐’™ for ๐›พ,๐›ฟโ‰ฅ0. An extremal ray of a cone ๐ถ is the set of points ๐›ผ๐’™ for ๐›ผโ‰ฅ0 where ๐’™ is an extreme point.

15 Conic Hulls Given a set ๐‘‹ of vectors in โ„ ๐‘› , the conic hull of ๐‘‹ is a convex cone, denoted cone(๐‘‹), consisting of the set of all points of the form ๐‘— ๐›ผ ๐‘— ๐’™ ๐‘— for ๐›ผ ๐‘— โ‰ฅ0 and ๐’™ ๐‘— โˆˆ๐‘‹

16 Carathรฉodoryโ€™s Theorem for Cones
Theorem: Let ๐‘‹ be a set of vectors in โ„ ๐‘› . Every ๐’™โˆˆcone(๐‘‹) can be written as a positive combination of vectors ๐’™ 1 , ๐’™ 2 ,โ€ฆ, ๐’™ ๐‘š โˆˆ๐‘‹ that is linearly independent, so, in particular, ๐‘šโ‰ค๐‘›. Proof: Let ๐’™โˆˆcone(๐‘‹) and let ๐‘š be the smallest integer such that ๐’™= ๐‘—=1 ๐‘š ๐›ผ ๐‘— ๐’™ ๐‘— for ๐›ผ ๐‘— โ‰ฅ0 and ๐’™ ๐‘— โˆˆ๐‘‹. If the vectors were linearly dependent, there would exist ๐‘Ž 1 , ๐‘Ž 2 โ€ฆ, ๐‘Ž ๐‘š with at least one ๐‘Ž ๐‘— positive such that ๐‘—=1 ๐‘š ๐‘Ž ๐‘— ๐’™ ๐‘— =0.

17 Carathรฉodoryโ€™s Theorem for Cones
Let ๐›ฝ be the largest positive number such that ๐›พ ๐‘— = ๐›ผ ๐‘— โˆ’๐›ฝ ๐‘Ž ๐‘— โ‰ฅ0 for all ๐‘—. At least one of the ๐›พ ๐‘— โ€™s is zero and ๐’™= ๐‘—=1 ๐‘š ๐›พ ๐‘— ๐’™ ๐‘— This has ๐‘šโˆ’1 nonzero terms, so contradicts the assumption that ๐‘š was the smallest possible integer.

18 Krein-Milman theorem for cones
Theorem: Every convex cone ๐ถ in โ„ ๐‘› is the conic hull of its extreme points. Let Ext ๐ถ be the set of extreme points of ๐ถ. Then, the theorem says ๐ถ=cone(Ext ๐ถ ) Corollary: Every ๐’™โˆˆ๐ถ can be written as a positive combination of at most ๐‘› extreme points.

19 ๐›ผ๐’™+๐›ฝ๐’šโˆˆ๐‘† for all ๐›ผ,๐›ฝโ‰ฅ0, ๐›ผ+๐›ฝ=1.
2.iii) Convex Sets A convex set ๐‘† in โ„ ๐‘› is a set of vectors such that, whenever ๐’™,๐’šโˆˆ๐‘† then ๐›ผ๐’™+๐›ฝ๐’šโˆˆ๐‘† for all ๐›ผ,๐›ฝโ‰ฅ0, ๐›ผ+๐›ฝ=1. Note that we will always be interested in bounded, closed convex sets. Bounded means that all the components of ๐’™ satisfy ๐‘ฅ ๐‘— <๐‘ for some positive, but arbitrarily large ๐‘. Closed means that, for any convergent sequence of vectors in ๐‘†, the limit point is also in ๐‘†. All closed convex sets are bounded. We will see that salient cones are related to bounded convex sets.

20 Examples

21 Examples

22 Convex Combinations If we can write ๐’š= ๐‘—=1 ๐‘› ๐›ผ ๐‘— ๐’™ ๐‘— for ๐›ผ ๐‘— โ‰ฅ0 and ๐‘— ๐›ผ ๐‘— =1 then ๐’š is called a convex combination of the ๐’™ ๐‘— โ€™s. Proposition: For a convex set ๐‘†, any convex combination of vectors in ๐‘† is in ๐‘†. Proof: Consider ๐’š= ๐‘—=1 ๐‘› ๐›ผ ๐‘— ๐’™ ๐‘— where ๐’™ ๐‘— โˆˆ๐‘†. Define ๐›ผ 2 โ€ฒ = ๐›ผ 1 + ๐›ผ 2 and ๐’™ 2 โ€ฒ = ๐›ผ 1 ๐›ผ 2 โ€ฒ ๐’™ 1 + ๐›ผ 2 ๐›ผ 2 โ€ฒ ๐’™ 2 . ๐’™ 2 โ€ฒ is in ๐‘† by definition and ๐›ผ 2 โ€ฒ + ๐‘—=3 ๐‘› ๐›ผ ๐‘— =1, so ๐’š= ๐›ผ 2 โ€ฒ ๐’™ 2 โ€ฒ + ๐‘—=3 ๐‘› ๐›ผ ๐‘— ๐’™ ๐‘— is a convex combination of ๐‘›โˆ’1 terms in ๐‘†. Proceeding by induction, we can reduce this to two terms, which is in ๐‘† by definition.

23 Extreme Points A vector ๐’™ is called an extreme point of ๐‘† if whenever
๐’™=๐›ผ๐’š+๐›ฝ๐’› for ๐’š,๐’›โˆˆ๐‘†, ๐›ผ,๐›ฝโ‰ฅ0, ๐›ผ+๐›ฝ=1, then ๐’š=๐’›=๐’™. Extreme points always lie on the boundary of ๐‘†, but boundary points are not necessarily extreme.

24 Convex Hulls Given a set ๐‘‹ of vectors in โ„ ๐‘› , the convex hull of ๐‘‹, denoted conv(๐‘‹) is the set of all vectors of the form ๐’š= ๐‘— ๐›ผ ๐‘— ๐’™ ๐‘— where ๐’™ ๐‘— โˆˆ๐‘‹, ๐›ผ ๐‘— โ‰ฅ0, and ๐‘— ๐›ผ ๐‘— =1.

25 Converting a Convex Set Into a Convex Cone
A convex set of dimension ๐‘‘ can be lifted to form a convex cone of dimension ๐‘‘+1. There are many ways to do this. We will define the standard lifting as follows: For every vector ๐’™ in the convex set ๐‘†โŠ† โ„ ๐‘‘ , define the vector ๐’™ โ€ฒ = 1 ๐‘ฅ 1 ๐‘ฅ 2 โ‹ฎ ๐‘ฅ ๐‘‘ โˆˆ โ„ ๐‘‘+1 Let ๐‘‹ be the set of such vectors and define the cone ๐ถ=cone ๐‘‹ .

26 Examples The convex set ๐‘† is embedded as a cross-section of the cone ๐ถ. If ๐’™ is an extreme point of ๐‘† then ๐›ผ๐’™โ€ฒ is an extremal ray of ๐ถ, i.e. ๐›ผ ๐›ผ ๐‘ฅ 1 ๐›ผ ๐‘ฅ 2 โ‹ฎ ๐›ผ ๐‘ฅ ๐‘‘ is extremal.


Download ppt "Quantum Foundations Lecture 2"

Similar presentations


Ads by Google