Minimax risk of truncated series estimators over symmetric convex - - PowerPoint PPT Presentation

minimax risk of truncated series estimators over
SMART_READER_LITE
LIVE PREVIEW

Minimax risk of truncated series estimators over symmetric convex - - PowerPoint PPT Presentation

Minimax risk of truncated series estimators over symmetric convex polytopes Adel Javanmard (Stanford University) with Li Zhang (Microsoft Research) July 4, 2012 Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 1 / 27


slide-1
SLIDE 1

Minimax risk of truncated series estimators over symmetric convex polytopes

Adel Javanmard (Stanford University) with Li Zhang (Microsoft Research) July 4, 2012

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 1 / 27

slide-2
SLIDE 2

Motivation: function estimation

Consider a continuous function f ✿ ❬0❀ 1❪ ✦ R. We have measurements yi ❂ f ✭ti✮ ✰ wi❀ for 1 ✔ i ✔ n✿ Estimate ❢f ✭ti✮❣n

i❂1 under linear inequality constraints:

x ❂ ✭f ✭t1✮❀ ✁ ✁ ✁ ❀ f ✭tn✮✮ Ax ✔ b

◮ Lipschitz constraint:

❥xi✰1 xi❥ ✔ L❥ti✰1 ti❥ for 1 ✔ i ✔ n 1✿

◮ General convex constraints

What is a good estimator?

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 2 / 27

slide-3
SLIDE 3

Motivation: function estimation

Consider a continuous function f ✿ ❬0❀ 1❪ ✦ R. We have measurements yi ❂ f ✭ti✮ ✰ wi❀ for 1 ✔ i ✔ n✿ Estimate ❢f ✭ti✮❣n

i❂1 under linear inequality constraints:

x ❂ ✭f ✭t1✮❀ ✁ ✁ ✁ ❀ f ✭tn✮✮ Ax ✔ b

◮ Lipschitz constraint:

❥xi✰1 xi❥ ✔ L❥ti✰1 ti❥ for 1 ✔ i ✔ n 1✿

◮ General convex constraints

What is a good estimator?

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 2 / 27

slide-4
SLIDE 4

Motivation: function estimation

Consider a continuous function f ✿ ❬0❀ 1❪ ✦ R. We have measurements yi ❂ f ✭ti✮ ✰ wi❀ for 1 ✔ i ✔ n✿ Estimate ❢f ✭ti✮❣n

i❂1 under linear inequality constraints:

x ❂ ✭f ✭t1✮❀ ✁ ✁ ✁ ❀ f ✭tn✮✮ Ax ✔ b

◮ Lipschitz constraint:

❥xi✰1 xi❥ ✔ L❥ti✰1 ti❥ for 1 ✔ i ✔ n 1✿

◮ General convex constraints

What is a good estimator?

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 2 / 27

slide-5
SLIDE 5

Motivation: function estimation

Consider a continuous function f ✿ ❬0❀ 1❪ ✦ R. We have measurements yi ❂ f ✭ti✮ ✰ wi❀ for 1 ✔ i ✔ n✿ Estimate ❢f ✭ti✮❣n

i❂1 under linear inequality constraints:

x ❂ ✭f ✭t1✮❀ ✁ ✁ ✁ ❀ f ✭tn✮✮ Ax ✔ b

◮ Lipschitz constraint:

❥xi✰1 xi❥ ✔ L❥ti✰1 ti❥ for 1 ✔ i ✔ n 1✿

◮ General convex constraints

What is a good estimator?

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 2 / 27

slide-6
SLIDE 6

General problem

y ❂ x ✰ w ❀ x ✷ X ✒ Rn❀ w ✘ N✭0❀ ✛2 In✂n✮✿ For any estimator M ✿ Rn ✦ Rn, define R✭M❀ X ❀ ✛✮ ❂ max

x✷X Ey✘x✰w ❦x M✭y✮❦2✿

Minimax risk of a set

R✭X ❀ ✛✮ ❂ minM R✭M❀ X ❀ ✛✮.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 3 / 27

slide-7
SLIDE 7

General problem

y ❂ x ✰ w ❀ x ✷ X ✒ Rn❀ w ✘ N✭0❀ ✛2 In✂n✮✿ For any estimator M ✿ Rn ✦ Rn, define R✭M❀ X ❀ ✛✮ ❂ max

x✷X Ey✘x✰w ❦x M✭y✮❦2✿

Minimax risk of a set

R✭X ❀ ✛✮ ❂ minM R✭M❀ X ❀ ✛✮.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 3 / 27

slide-8
SLIDE 8

Classes of estimators

◮ Nonlinear estimators:

The estimator M can be generally nonlinear. R✭X ❀ ✛✮

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 4 / 27

slide-9
SLIDE 9

Classes of estimators

◮ Nonlinear estimators:

The estimator M can be generally nonlinear. R✭X ❀ ✛✮

◮ Linear estimators:

When M is linear, we denote the minimax risk by RL✭X ❀ ✛✮

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 4 / 27

slide-10
SLIDE 10

Classes of estimators

◮ Nonlinear estimators:

The estimator M can be generally nonlinear. R✭X ❀ ✛✮

◮ Linear estimators:

When M is linear, we denote the minimax risk by RL✭X ❀ ✛✮

◮ Truncated series estimators:

Especial class of linear estimators given by orthogonal projections M✭y✮ ❂ Py✿ The minimax risk is denoted by RT✭X ❀ ✛✮.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 4 / 27

slide-11
SLIDE 11

Classes of estimators

◮ Nonlinear estimators:

The estimator M can be generally nonlinear. R✭X ❀ ✛✮

◮ Linear estimators:

When M is linear, we denote the minimax risk by RL✭X ❀ ✛✮

◮ Truncated series estimators:

Especial class of linear estimators given by orthogonal projections M✭y✮ ❂ Py✿ The minimax risk is denoted by RT✭X ❀ ✛✮. R✭X ❀ ✛✮ ✔ RL✭X ❀ ✛✮ ✔ RT✭X ❀ ✛✮. X ✒ Y ✮ R✭X ❀ ✛✮ ✔ R✭Y ❀ ✛✮.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 4 / 27

slide-12
SLIDE 12

Challenges

◮ How to compute the minimax risk for arbitrary convex bodies? ◮ How to design the minimax optimal estimator?

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 5 / 27

slide-13
SLIDE 13

Related work

◮ Minimax bounds have been developed for various families:

✎ Orthosymmetric and quadratically convex objects: Hypercubes, ellipsoids, ❵p balls for p ✕ 2. [Donoho, Liu, MacGibbon’90] ✎ Class of Hölder balls, Sobolev balls, and Besov balls (continuity and energy conditions) [Tsybakov’09]

◮ Techniques for bounding the minimax risk

[Donoho’90, Nemirovski’99, Yang, Barron’99]

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 6 / 27

slide-14
SLIDE 14

Our main contributions

◮ A lower bound for minimax risk

✎ based on a geometric quantity of the set (approximation radius) ✎ depends on the volume of the set (intuitive and strong bounds)

◮ Optimality of truncated estimators over symmetric polytopes

information theory tools ✦ geometrical understanding of minimax risks

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 7 / 27

slide-15
SLIDE 15

Our main contributions

◮ A lower bound for minimax risk

✎ based on a geometric quantity of the set (approximation radius) ✎ depends on the volume of the set (intuitive and strong bounds)

◮ Optimality of truncated estimators over symmetric polytopes

information theory tools ✦ geometrical understanding of minimax risks

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 7 / 27

slide-16
SLIDE 16

Our main contributions

◮ A lower bound for minimax risk

✎ based on a geometric quantity of the set (approximation radius) ✎ depends on the volume of the set (intuitive and strong bounds)

◮ Optimality of truncated estimators over symmetric polytopes

information theory tools ✦ geometrical understanding of minimax risks

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 7 / 27

slide-17
SLIDE 17

Outline

1

Main result

2

An application

3

Proof techniques

4

Further comments

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 8 / 27

slide-18
SLIDE 18

Main result

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 9 / 27

slide-19
SLIDE 19

Notation

For p ❃ 0 and m❀ n ✕ 1, let ❋m❀n

p

❂ ❢X ✿ X ❂ ❢x ✿ ❦Ax❦p ✔ 1❣❀ for A ✷ Rm✂n❣ ❋m❀n

: Family of symmetric polytopes defined by m hyperplanes

Definition

☞✭X ✮ ❂ max

✛❃0

RT✭X ❀ ✛✮ R✭X ❀ ✛✮ ❀ ☞m❀n

p

❂ max

X ✷❋m❀n

p

☞✭X ✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 10 / 27

slide-20
SLIDE 20

Notation

For p ❃ 0 and m❀ n ✕ 1, let ❋m❀n

p

❂ ❢X ✿ X ❂ ❢x ✿ ❦Ax❦p ✔ 1❣❀ for A ✷ Rm✂n❣ ❋m❀n

: Family of symmetric polytopes defined by m hyperplanes

Definition

☞✭X ✮ ❂ max

✛❃0

RT✭X ❀ ✛✮ R✭X ❀ ✛✮ ❀ ☞m❀n

p

❂ max

X ✷❋m❀n

p

☞✭X ✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 10 / 27

slide-21
SLIDE 21

Notation

For p ❃ 0 and m❀ n ✕ 1, let ❋m❀n

p

❂ ❢X ✿ X ❂ ❢x ✿ ❦Ax❦p ✔ 1❣❀ for A ✷ Rm✂n❣ ❋m❀n

: Family of symmetric polytopes defined by m hyperplanes

Definition

☞✭X ✮ ❂ max

✛❃0

RT✭X ❀ ✛✮ R✭X ❀ ✛✮ ❀ ☞m❀n

p

❂ max

X ✷❋m❀n

p

☞✭X ✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 10 / 27

slide-22
SLIDE 22

Optimality of truncated estimators

Theorem (Javanmard, Zhang ’11)

If n ❂ ✡✭log m✮, for some universal constant C we have ☞m❀n

✔ C log m✿ Furthermore, ☞m❀n

❂ ✡✭

log m❂ log log m✮.

[Recall: a ❂ ✡✭b✮ if a is bounded below by b (up to a constant factor) asymptotically]

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 11 / 27

slide-23
SLIDE 23

An application

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 12 / 27

slide-24
SLIDE 24

Function estimation

Consider a univariate Lipschitz function f ✿ ❬0❀ 1❪ ✦ R. We have measurements yi ❂ f ✭ti✮ ✰ wi❀ for 1 ✔ i ✔ n✿ Goal: estimate ❢f ✭ti✮❣n

i❂1 from measurements ❢yi❣n i❂1.

Lipschitz condition (with constant L): ❥f ✭ti✰1✮ f ✭ti✮❥ ✔ L❥ti✰1 ti❥❀ for 1 ✔ i ✔ n 1✿ Previous work shows near-optimality of truncated estimators for uniform sampling. [Nemirovski, Tsybakov’09]

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 13 / 27

slide-25
SLIDE 25

Function estimation

Consider a univariate Lipschitz function f ✿ ❬0❀ 1❪ ✦ R. We have measurements yi ❂ f ✭ti✮ ✰ wi❀ for 1 ✔ i ✔ n✿ Goal: estimate ❢f ✭ti✮❣n

i❂1 from measurements ❢yi❣n i❂1.

Lipschitz condition (with constant L): ❥f ✭ti✰1✮ f ✭ti✮❥ ✔ L❥ti✰1 ti❥❀ for 1 ✔ i ✔ n 1✿

Corollary of our theorem

The truncated series estimator is nearly optimal (within O✭log n✮) for estimating Lipschitz function at arbitrary sample set.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 13 / 27

slide-26
SLIDE 26

Proof techniques

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 14 / 27

slide-27
SLIDE 27

high-level idea

◮ We choose a family of obstruction objects for which we know tight

lower bound of minimax risk.

◮ For X ✷ ❋m❀n ✶

,we show that if X does not have a good truncated estimator, then it will have a “large” obstruction. Hence, no estimator can do well on X . The difficulty is in choosing the right obstruction for the desired result.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 15 / 27

slide-28
SLIDE 28

high-level idea

◮ We choose a family of obstruction objects for which we know tight

lower bound of minimax risk.

◮ For X ✷ ❋m❀n ✶

,we show that if X does not have a good truncated estimator, then it will have a “large” obstruction. Hence, no estimator can do well on X . The difficulty is in choosing the right obstruction for the desired result.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 15 / 27

slide-29
SLIDE 29

Natural obstructions

Euclidean balls Hyper-rectangles

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 16 / 27

slide-30
SLIDE 30

Natural obstructions

Euclidean balls Hyper-rectangles Not suitable for skewed polytopes!

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 16 / 27

slide-31
SLIDE 31

A remedy : notion of approximation radius

Obstructions: Family of objects which contain a “non-negligible” fraction of a “large” ball. What does it mean formally? For any r ❃ 0, the volume ratio vr✭X ❀ r✮ is defined as vr✭X ❀ r✮ ❂

✒vol✭X ❭ Bn

2 ✭r✮✮

vol✭Bn

2 ✭r✮✮

✓1❂n

✿ k-volume ratio vrk✭X ❀ r✮: vrk✭X ❀ r✮ ❂ max

H✷❍k

n

vr✭X ❭ H❀ r✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 17 / 27

slide-32
SLIDE 32

A remedy : notion of approximation radius

Obstructions: Family of objects which contain a “non-negligible” fraction of a “large” ball. What does it mean formally? For any r ❃ 0, the volume ratio vr✭X ❀ r✮ is defined as vr✭X ❀ r✮ ❂

✒vol✭X ❭ Bn

2 ✭r✮✮

vol✭Bn

2 ✭r✮✮

✓1❂n

✿ k-volume ratio vrk✭X ❀ r✮: vrk✭X ❀ r✮ ❂ max

H✷❍k

n

vr✭X ❭ H❀ r✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 17 / 27

slide-33
SLIDE 33

A remedy : notion of approximation radius

Obstructions: Family of objects which contain a “non-negligible” fraction of a “large” ball. What does it mean formally? For any r ❃ 0, the volume ratio vr✭X ❀ r✮ is defined as vr✭X ❀ r✮ ❂

✒vol✭X ❭ Bn

2 ✭r✮✮

vol✭Bn

2 ✭r✮✮

✓1❂n

✿ k-volume ratio vrk✭X ❀ r✮: vrk✭X ❀ r✮ ❂ max

H✷❍k

n

vr✭X ❭ H❀ r✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 17 / 27

slide-34
SLIDE 34

Approximation radius and a lower bound

Definition (Approximation radius)

For 0 ✔ c ✔ 1, and integer 1 ✔ k ✔ n, the ✭c❀ k✮-approximation radius

  • f X , denoted by zc❀k✭X ✮ is defined as

zc❀k ❂ sup❢r ✿ vrk✭X ❀ r✮ ✕ c❣✿

Theorem (Javanmard, Zhang ’11)

For any convex set X , and any 0 ❁ c✄ ✔ 1, R✭X ❀ ✛✮ ✕ Cc2

✄ max 0✔k✔n min❢zc✄❀k✭X ✮2❀ k✛2❣✿

Here, C is a universal constant. Proof: Fano’s inequality and a lower bound established by Yang, Barron ’99.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 18 / 27

slide-35
SLIDE 35

Approximation radius and a lower bound

Definition (Approximation radius)

For 0 ✔ c ✔ 1, and integer 1 ✔ k ✔ n, the ✭c❀ k✮-approximation radius

  • f X , denoted by zc❀k✭X ✮ is defined as

zc❀k ❂ sup❢r ✿ vrk✭X ❀ r✮ ✕ c❣✿

Theorem (Javanmard, Zhang ’11)

For any convex set X , and any 0 ❁ c✄ ✔ 1, R✭X ❀ ✛✮ ✕ Cc2

✄ max 0✔k✔n min❢zc✄❀k✭X ✮2❀ k✛2❣✿

Here, C is a universal constant. Proof: Fano’s inequality and a lower bound established by Yang, Barron ’99.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 18 / 27

slide-36
SLIDE 36

Kolmogorov widths and truncated estimators

y ❂ x ✰ w❀ M✭y✮ ❂ Py✿ Let P ✷ Pk (the set of k-dimensional projections), then E ❦x M✭y✮❦2 ❂ E✭❦x P✭x✮❦2 ✰ ❦P✭w✮❦2✮ ❂ ❦x P✭x✮❦2 ✰ k✛2✿ k Kolmogorov width: dk✭X ✮ ❂ min

P✷Pk max x✷X ❦x Px❦ ❂ min P✷Pk max x✷X ❦P❄x❦✿

k Kolmogorov widths characterize the risk! RT✭X ❀ ✛✮ ❂ min

k ✭dk✭X ✮2 ✰ k✛2✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 19 / 27

slide-37
SLIDE 37

Kolmogorov widths and truncated estimators

y ❂ x ✰ w❀ M✭y✮ ❂ Py✿ Let P ✷ Pk (the set of k-dimensional projections), then E ❦x M✭y✮❦2 ❂ E✭❦x P✭x✮❦2 ✰ ❦P✭w✮❦2✮ ❂ ❦x P✭x✮❦2 ✰ k✛2✿ k Kolmogorov width: dk✭X ✮ ❂ min

P✷Pk max x✷X ❦x Px❦ ❂ min P✷Pk max x✷X ❦P❄x❦✿

k Kolmogorov widths characterize the risk! RT✭X ❀ ✛✮ ❂ min

k ✭dk✭X ✮2 ✰ k✛2✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 19 / 27

slide-38
SLIDE 38

Kolmogorov widths and truncated estimators

y ❂ x ✰ w❀ M✭y✮ ❂ Py✿ Let P ✷ Pk (the set of k-dimensional projections), then E ❦x M✭y✮❦2 ❂ E✭❦x P✭x✮❦2 ✰ ❦P✭w✮❦2✮ ❂ ❦x P✭x✮❦2 ✰ k✛2✿ k Kolmogorov width: dk✭X ✮ ❂ min

P✷Pk max x✷X ❦x Px❦ ❂ min P✷Pk max x✷X ❦P❄x❦✿

k Kolmogorov widths characterize the risk! RT✭X ❀ ✛✮ ❂ min

k ✭dk✭X ✮2 ✰ k✛2✮✿

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 19 / 27

slide-39
SLIDE 39

Schematic

Minimax ¡risk ¡of ¡ ¡ ¡ general ¡es0mators ¡

zc,k(X)

¡ ¡ ¡ ¡ ¡ ¡Minimax ¡risk ¡of ¡ truncated ¡es0mators ¡

dk(X)

? ¡

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 20 / 27

slide-40
SLIDE 40

Schematic

¡ ¡ ¡ ¡ ¡ ¡Minimax ¡risk ¡of ¡ truncated ¡es2mators ¡

dk(X)

Minimax ¡risk ¡of ¡ ¡ ¡ general ¡es2mators ¡

zc,k(X) dn−k(X)

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 20 / 27

slide-41
SLIDE 41

A duality relationship

Lemma (Javanmard, Zhang ’11)

For any convex symmetric X ✚ Rn and any 0 ✔ k ✔ n and 0 ❁ ✎ ❁ 1, dk✭X ✮dn✭1✎✮k✭X ✍✮ ✔ c1

s

k ✎ ❀ where c1 ❃ 0 is a universal constant. X contains a k-dimensional ball with radius 1❂dnk✭X ✍✮. dk✭X ✮ ✔ c1

s

k ✎ 1 dn✭1✎✮k✭X ✍✮ ❂ ✮ gives a fairly weak bound on RT✭X ❀ ✛✮ :(

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 21 / 27

slide-42
SLIDE 42

A duality relationship

Lemma (Javanmard, Zhang ’11)

For any convex symmetric X ✚ Rn and any 0 ✔ k ✔ n and 0 ❁ ✎ ❁ 1, dk✭X ✮dn✭1✎✮k✭X ✍✮ ✔ c1

s

k ✎ ❀ where c1 ❃ 0 is a universal constant. X contains a k-dimensional ball with radius 1❂dnk✭X ✍✮. dk✭X ✮ ✔ c1

s

k ✎ 1 dn✭1✎✮k✭X ✍✮ ❂ ✮ gives a fairly weak bound on RT✭X ❀ ✛✮ :(

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 21 / 27

slide-43
SLIDE 43

A duality relationship

Lemma (Javanmard, Zhang ’11)

For any convex symmetric X ✚ Rn and any 0 ✔ k ✔ n and 0 ❁ ✎ ❁ 1, dk✭X ✮dn✭1✎✮k✭X ✍✮ ✔ c1

s

k ✎ ❀ where c1 ❃ 0 is a universal constant. X contains a k-dimensional ball with radius 1❂dnk✭X ✍✮. dk✭X ✮ ✔ c1

s

k ✎ 1 dn✭1✎✮k✭X ✍✮ ❂ ✮ gives a fairly weak bound on RT✭X ❀ ✛✮ :(

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 21 / 27

slide-44
SLIDE 44

... and relation to the approximation radius

Suppose X ✷ ❋m❀n

. Bk(1/ dn−k(X))

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 22 / 27

slide-45
SLIDE 45

... and relation to the approximation radius

Bk(1/ dn−k(X))

Bk( k / logm ⋅1/ dn−k(X))

Larger ball still has non-negligible fraction of its volume inside X .

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 23 / 27

slide-46
SLIDE 46

Final step

Lemma (Javanmard, Zhang ’11)

For any X ✷ ❋m❀n

, 0 ❁ c✄ ✔ 0✿2, and 0 ❁ k ✔ n, zc✄❀k✭X ✮ ✕ c2

s

k log m ✁ 1 dnk✭X ✍✮❀ where c2 is a universal constant. Combining the lemmas, dk✭X ✮ ✔ c1

s

k ✎ ✁ 1 dn✭1✎✮k✭X ✍✮ ✔ c1c2

s

log m ✎ zc✄❀k✭X ✮✿ Skinny objects always have a small shadow!

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 24 / 27

slide-47
SLIDE 47

Final step

Lemma (Javanmard, Zhang ’11)

For any X ✷ ❋m❀n

, 0 ❁ c✄ ✔ 0✿2, and 0 ❁ k ✔ n, zc✄❀k✭X ✮ ✕ c2

s

k log m ✁ 1 dnk✭X ✍✮❀ where c2 is a universal constant. Combining the lemmas, dk✭X ✮ ✔ c1

s

k ✎ ✁ 1 dn✭1✎✮k✭X ✍✮ ✔ c1c2

s

log m ✎ zc✄❀k✭X ✮✿ Skinny objects always have a small shadow!

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 24 / 27

slide-48
SLIDE 48

Further comments

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 25 / 27

slide-49
SLIDE 49

What about ☞m❀n

p

?

[Recall: ☞m❀n

p

❂ max

X ✷❋m❀n

p

max

✛❃0

RT✭X ❀ ✛✮ R✭X ❀ ✛✮ ❀ ❋m❀n

p

❂ ❢X ✿ X ❂ ❢x ✿ ❦Ax❦p ✔ 1❣❀ for A ✷ Rm✂n❣✿ ❪

Corollary

For p ✕ 2, ☞m❀n

p

❂ O✭min✭n12❂p❀ m2❂p log m✮✮. Conjecture: For any p ✕ 2, there exists a constant C ❂ C✭p✮, such that ☞m❀n

p

✔ C log m.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 26 / 27

slide-50
SLIDE 50

What about ☞m❀n

p

?

[Recall: ☞m❀n

p

❂ max

X ✷❋m❀n

p

max

✛❃0

RT✭X ❀ ✛✮ R✭X ❀ ✛✮ ❀ ❋m❀n

p

❂ ❢X ✿ X ❂ ❢x ✿ ❦Ax❦p ✔ 1❣❀ for A ✷ Rm✂n❣✿ ❪

Corollary

For p ✕ 2, ☞m❀n

p

❂ O✭min✭n12❂p❀ m2❂p log m✮✮. Conjecture: For any p ✕ 2, there exists a constant C ❂ C✭p✮, such that ☞m❀n

p

✔ C log m.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 26 / 27

slide-51
SLIDE 51

What about ☞m❀n

p

?

[Recall: ☞m❀n

p

❂ max

X ✷❋m❀n

p

max

✛❃0

RT✭X ❀ ✛✮ R✭X ❀ ✛✮ ❀ ❋m❀n

p

❂ ❢X ✿ X ❂ ❢x ✿ ❦Ax❦p ✔ 1❣❀ for A ✷ Rm✂n❣✿ ❪

Corollary

For p ✕ 2, ☞m❀n

p

❂ O✭min✭n12❂p❀ m2❂p log m✮✮. Conjecture: For any p ✕ 2, there exists a constant C ❂ C✭p✮, such that ☞m❀n

p

✔ C log m.

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 26 / 27

slide-52
SLIDE 52

Design problem

How to design optimal truncated series estimators for symmetric polytopes?

◮ NP-hard in general ✦ SDP formulations to solve a relaxation

Thanks!

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 27 / 27

slide-53
SLIDE 53

Design problem

How to design optimal truncated series estimators for symmetric polytopes?

◮ NP-hard in general ✦ SDP formulations to solve a relaxation

Thanks!

Javanmard, Zhang Minimax risk of truncated estimators July 4, 2012 27 / 27