Optimal and Efficient Designs for Functional Magnetic Resonance Imaging (fmri) Experiments

Size: px
Start display at page:

Download "Optimal and Efficient Designs for Functional Magnetic Resonance Imaging (fmri) Experiments"

Transcription

1 Optimal and Efficient Designs for Functional Magnetic Resonance Imaging (fmri) Experiments Ming-Hung (Jason) Kao Arizona State University with Ching-Shui Cheng and Federick Kin Hing Phoa

2 Introduction

3 fmri experiment Functional Magnetic Resonance Imaging (fmri): a technology for studying how our brains respond to mental stimuli A subject in an MRI time 2. Present a sequence of mental stimuli (e.g. pictures) to the subject MR scanner scans the brain 4. These fmri time series are analyzed to make inference about local brain activity in response to the stimuli 3. An fmri time series is then obtained from each of the, e.g., 64x64x30 brain voxels(imaging units)

4 fmri design At the design stage, we would like to obtain the best sequence of mental stimuli to help collect the most informative data to render the most precise statistical inference. d = (d 1,..., d N ) T : an fmri design N: number of regularly spaced time points in the study d n {0, 1,..., Q}; Q = the total number of stimulus types d n = q > 0: a qth-type stimulus appears at the nth time point d n = 0: no stimulus presentation An example: Q = 2 & time between the time points: τ = 3 s,

5 fmri design At the design stage, we would like to obtain the best sequence of mental stimuli to help collect the most informative data to render the most precise statistical inference. d = (d 1,..., d N ) T : an fmri design N: number of regularly spaced time points in the study d n {0, 1,..., Q}; Q = the total number of stimulus types d n = q > 0: a qth-type stimulus appears at the nth time point d n = 0: no stimulus presentation An example: Q = 2 & time between the time points: τ = 3 s, d={ } s ISI=3s 3s 6s 9s 12s 15s 18s Times between stimulus onsets are multiples of a pre-specified ISI (e.g. 3s) 1= 2= 0= no stimulus (pesudo-event)

6 Hemodynamic Response Function (HRF) The effect of a stimulus over time is described by a function of time called the hemodynamic response function (HRF) time (seconds) Statistical inference about brain activity is normally made based on analyzing some characteristics of the HRF.

7 Model A commonly used model for studying the Q HRFs is: y = X d,1 h 1 + X d,2 h X d,q h Q + Sγ + ε y = (y 1,..., y N ) T : fmri time series of a brain voxel h q = (h 1,q,..., h K,q ) T : the HRF parameter vector of the qth-type stimulus X d,q : 0-1 design matrix for the qth-type stimulus Sγ: a nuisance term for drift/trend of y; S: a specified matrix; γ: unknown parameter vector ε = (ε 1,..., ε N ) T is noise with ε N(0, Σ). Our target: fmri designs d that are optimal in some statistically meaningful sense for estimating (some linear combinations of) h q s.

8 Estimation of an individual HRF (Q = 1)

9 Analytical results (Q = 1) We first identify optimal fmri designs with Q = 1 for N = 4t, 4t + 1, 4t + 2 and 4t + 3. Model assumptions (y = X d h + γj N + ε): h = (h 1,..., h K ) T : the HRF parameter vector of interest S = j N is the vector of N ones; γ: nuisance paramter ε N(0, σ 2 I N ). the last K 1 elements of the design d are also presented to the subject in the warm-up period (i.e. circular setting): An optimal fmri design is a d {0, 1} N minimizing some function Φ(M d [h]) of the information matrix M d [h] of h. Two common design selection criteria: A-criterion (average var. of ĥ): Φ A(M) = trace(m 1 )/K D-criterion (generalized var. of ĥ): Φ D(M) = det(m) 1/K

10 Analytical results (Q = 1) Under the previous model assumption, the information matrix for any given d {0, 1} N is M d [h] = X T d (I N N 1 J N )X d. X d is an N-by-K, 0-1 circulant matrix. A toy example: X d = In general, X d = [d, Ud, U 2 d,..., U K 1 d] [ 0 T U = N 1 1 I N 1 0 N 1 ] (cyclic shifting operator).

11 Analytical results (Q = 1) The key idea: We made use of the following fact: M d [h] = M d[h]/4, with d = ±(2d j N ). For the previous toy example, we have X d = ; X d = Finding optimal X d {0, 1} N K is equivalent to finding optimal X d {±1}N K, which is linked to a Circulant Chemical Balance Weighing Design (CCBWD) problem with a systematic, nuisance bias in the weighings.

12 Analytical results (Q = 1) Result. (Combinatoric structures of some optimal fmri designs) k 1 elements {}}{ For any design d, let n k,p,q = #{(q p)}, p, q = 0, 1. If a d {0, 1} N satisfies the following conditions, then d is both A- and D-optimal for estimating the HRF (h) of length K. N = 4t: X T d X d = NI K & d T j N = 0; i.e., (n k,0,0, n k,1,1, n k,0,1, n k,1,0 ) = (t, t, t, t); k = 1,..., K 1. N = 4t + 1: X T d X d = (N 1)I K + J K & d T j N = ±1; i.e., (n k,0,0, n k,1,1, n k,0,1, n k,1,0 ) = (t + 1, t, t, t); k = 1,..., K 1, or (n k,0,0, n k,1,1, n k,0,1, n k,1,0 ) = (t, t + 1, t, t); k = 1,..., K 1,

13 Analytical results (Q = 1) Result. (Cont d.) N = 4t + 2 with K 2: X T d X d = (N 2)I K + 2J K & d T j N = 0; i.e., (n k,0,0, n k,1,1, n k,0,1, n k,1,0 ) = (t+1, t+1, t, t); k = 1,..., K 1. N = 4t + 3 with K 4 and N N 0 (K), where N 0 (K) is the greatest real root of the cubic function c(x) = 2x 3 + (10 7K)x 2 + 2(2K 5)(K 1)x + 4K 2 7K: X T d X d = (N + 1)I K J K & d T j N = ±1; i.e., (n k,0,0, n k,1,1, n k,0,1, n k,1,0 ) = (t + 1, t, t + 1, t + 1); k = 1,..., K 1, or (n k,0,0, n k,1,1, n k,0,1, n k,1,0 ) = (t, t + 1, t + 1, t + 1); k = 1,..., K 1,

14 Analytical results (Q = 1) How to systematically generate optimal fmri designs? We propose to make use of a normalized Hadamard matrix that contains a circulant core A toy example with N = 3: H = We may take the any column of the circulant core as d H ; e.g., d H = ( 1, 1, 1) T We then relabel d H to get a Hadamard sequence; e.g., d H = (1, 0, 1) T. d H can be viewed as an fmri design to determine the onset times of the stimulus.

15 Analytical results (Q = 1) How to systematically generate optimal fmri designs? We propose to make use of a normalized Hadamard matrix that contains a circulant core A toy example with N = 3: H = We may take the any column of the circulant core as d H ; e.g., d H = ( 1, 1, 1) T We then relabel d H to get a Hadamard sequence; e.g., d H = (1, 0, 1) T. d H can be viewed as an fmri design to determine the onset times of the stimulus.

16 Analytical results (Q = 1) Hadamard sequences are known to exist when N = 4t + 3 (1) a prime; (2) a product of twin primes; or (3) is 2 r 1. [Condition (3) gives the popularly used binary m-sequences]. Example. An d H (with N = 131 = ) generated by a Paley difference set:

17 Analytical results (Q = 1) Hadamard sequences are known to exist when N = 4t + 3 (1) a prime; (2) a product of twin primes; or (3) is 2 r 1. [Condition (3) gives the popularly used binary m-sequences]. Example. An d H (with N = 131 = ) generated by a Paley difference set:

18 Analytical results (Q = 1) Result. (Design Constructions) [N = 4t] Let d 1,g,H {0, 1} N be obtained by inserting a 0 to a run of g 0 s in a Hadamard sequence d H. Then, d 1,g,H is optimal for estimating h of length K g + 1. [N = 4t + 1] Let d 2,g,H {0, 1} N be obtained by inserting two 0 s to a run of g 0 s in a Hadamard sequence d H. Then, d 2,g,H is optimal for estimating h of length K g + 1. [N = 4t + 2] Let d 3,g,H {0, 1} N be obtained by inserting two 0 s to a run of g 0 0 s and inserting an 1 to a run of g 1 1 s of a Hadamard sequence d H. Then, d 3,g,H is optimal for estimating h of length 2 K g + 1 where g = min(g 0, g 1 ). [N = 4t + 3] d H {0, 1} N is optimal for estimating h of length K 4 whenever N N 0 (K).

19 Analytical results (Q = 1) Result. (Design Constructions) [N = 4t] Let d 1,g,H {0, 1} N be obtained by inserting a 0 to a run of g 0 s in a Hadamard sequence d H. Then, d 1,g,H is optimal for estimating h of length K g + 1. [N = 4t + 1] Let d 2,g,H {0, 1} N be obtained by inserting two 0 s to a run of g 0 s in a Hadamard sequence d H. Then, d 2,g,H is optimal for estimating h of length K g + 1. [N = 4t + 2] Let d 3,g,H {0, 1} N be obtained by inserting two 0 s to a run of g 0 0 s and inserting an 1 to a run of g 1 1 s of a Hadamard sequence d H. Then, d 3,g,H is optimal for estimating h of length 2 K g + 1 where g = min(g 0, g 1 ). [N = 4t + 3] d H {0, 1} N is optimal for estimating h of length K 4 whenever N N 0 (K).

20 Analytical results (Q = 1) Result. (Design Constructions) [N = 4t] Let d 1,g,H {0, 1} N be obtained by inserting a 0 to a run of g 0 s in a Hadamard sequence d H. Then, d 1,g,H is optimal for estimating h of length K g + 1. [N = 4t + 1] Let d 2,g,H {0, 1} N be obtained by inserting two 0 s to a run of g 0 s in a Hadamard sequence d H. Then, d 2,g,H is optimal for estimating h of length K g + 1. [N = 4t + 2] Let d 3,g,H {0, 1} N be obtained by inserting two 0 s to a run of g 0 0 s and inserting an 1 to a run of g 1 1 s of a Hadamard sequence d H. Then, d 3,g,H is optimal for estimating h of length 2 K g + 1 where g = min(g 0, g 1 ). [N = 4t + 3] d H {0, 1} N is optimal for estimating h of length K 4 whenever N N 0 (K).

21 Analytical results (Q = 1) Result. (Design Constructions) [N = 4t] Let d 1,g,H {0, 1} N be obtained by inserting a 0 to a run of g 0 s in a Hadamard sequence d H. Then, d 1,g,H is optimal for estimating h of length K g + 1. [N = 4t + 1] Let d 2,g,H {0, 1} N be obtained by inserting two 0 s to a run of g 0 s in a Hadamard sequence d H. Then, d 2,g,H is optimal for estimating h of length K g + 1. [N = 4t + 2] Let d 3,g,H {0, 1} N be obtained by inserting two 0 s to a run of g 0 0 s and inserting an 1 to a run of g 1 1 s of a Hadamard sequence d H. Then, d 3,g,H is optimal for estimating h of length 2 K g + 1 where g = min(g 0, g 1 ). [N = 4t + 3] d H {0, 1} N is optimal for estimating h of length K 4 whenever N N 0 (K).

22 Comparison of two HRFs (Q = 2)

23 Analytical results (Q = 2) For Q = 2, there are two HRFs, h 1 and h 2, evoked by the two types of stimuli, respectively. Model: y = X d,1 h 1 + X d,2 h 2 + γj N + ε d {0, 1, 2} N is an fmri design for Q = 2. X d,q is the N-by-K, circulant, 0-1 design matrix for the qth-type stimuli; q = 1, 2. The first column of X d,q is δ q whose nth element is: { 1, dn = q; ((δ q )) n = 0, otherwise; h q = (h 1,q,..., h K,q ) T is the HRF parameter vector of the qth-type stimulus; q = 1, 2. The remaining terms are as in the previous model for Q = 1. Our focus is on finding an optimal fmri design d {0, 1, 2} N to yield the most precise estimate of θ = h 1 h 2.

24 Analytical results (Q = 2) To that end, we work on an equivalent model: y = A d η + B d θ + γj N + ε A d = (X d,1 + X 2,d )/2; B d = (X d,1 X d,2 )/2 η = h 1 + h 2 ; θ = h 1 h 2 The information matrix of interest is then: M d [θ] = B T d [I N w{[j N, A d ]}]B d, w( ) is the orthogonal projection matrix A d {0, 0.5} N K is a circulant matrix; A d = J N,K /2 when d contains no zero B d {0, ±0.5} N K is a circulant matrix

25 Analytical results (Q = 2) Finding a d {0, 1, 2} N minimizing Φ(M d [θ]) is challenging Our strategy: 1 Find a manageable upper bound of M d [θ]; in general, M d [θ] = B T d [I N w{[j N, A d ]}]B d L B T d [I N N 1 J N ]B d L represents the Loewner ordering. the equality holds when d contains no zero; i.e., A d = J N,K /2 Note. For some cases, we find a sharper upper bound. 2 Find a d so that Φ(B T d [I N N 1 J N ]B d ) is minimized 3 If d contains no zero, the corresponding d is optimal. This is because, for any other d {0, 1, 2} N, Φ(M d [θ]) = Φ(B T d [I N N 1 J N ]B d ) Φ(B T d [I N N 1 J N ]B d ) Φ(M d [θ]) The last inequality follows from the fact that: M d [θ] L B T d [I N N 1 J N ]B d

26 Analytical results (Q = 2) Finding a d {0, 1, 2} N minimizing Φ(M d [θ]) is challenging Our strategy: 1 Find a manageable upper bound of M d [θ]; in general, M d [θ] = B T d [I N w{[j N, A d ]}]B d L B T d [I N N 1 J N ]B d L represents the Loewner ordering. the equality holds when d contains no zero; i.e., A d = J N,K /2 Note. For some cases, we find a sharper upper bound. 2 Find a d so that Φ(B T d [I N N 1 J N ]B d ) is minimized 3 If d contains no zero, the corresponding d is optimal. This is because, for any other d {0, 1, 2} N, Φ(M d [θ]) = Φ(B T d [I N N 1 J N ]B d ) Φ(B T d [I N N 1 J N ]B d ) Φ(M d [θ]) The last inequality follows from the fact that: M d [θ] L B T d [I N N 1 J N ]B d

27 Analytical results (Q = 2) Finding a d {0, 1, 2} N minimizing Φ(M d [θ]) is challenging Our strategy: 1 Find a manageable upper bound of M d [θ]; in general, M d [θ] = B T d [I N w{[j N, A d ]}]B d L B T d [I N N 1 J N ]B d L represents the Loewner ordering. the equality holds when d contains no zero; i.e., A d = J N,K /2 Note. For some cases, we find a sharper upper bound. 2 Find a d so that Φ(B T d [I N N 1 J N ]B d ) is minimized 3 If d contains no zero, the corresponding d is optimal. This is because, for any other d {0, 1, 2} N, Φ(M d [θ]) = Φ(B T d [I N N 1 J N ]B d ) Φ(B T d [I N N 1 J N ]B d ) Φ(M d [θ]) The last inequality follows from the fact that: M d [θ] L B T d [I N N 1 J N ]B d

28 Analytical results (Q = 2) With this strategy, we can show that optimal designs for studying θ with Q = 2 can be obtained by relabeling the previously mentioned optimal designs for estimating the HRF h with Q = 1. Result. Let u H, u 1,g,H, u 2,g,H, and u 3,g,H be respectively obtained by replacing the two symbols of d H, d 1,g,H, d 2,g,H, and d 3,g,H with 1 and 2. (a) For N = 4t, u 1,g,H is A- and D-optimal over {0, 1, 2} N whenever K g + 1 (b) For N = 4t + 1, u 2,g,H is A- and D-optimal whenever K g + 1 (c) For N = 4t + 2, u 3,g,H is A- and D-optimal whenever 2 K g + 1 (d) For N = 4t + 3, u H is is A- and D-optimal whenever K 4 and N N 0 (K).

29 Contrasts of three or more HRFs (Q 3)

30 Analytical results (Q 3) Model: y = X d,1 h 1 + X d,2 h X d,q h Q + γj N + ε Parametric function of interest: θ = [(I Q Q 1 J Q ) I K ] h 1. h Q E T h is the Kronecker product θ = (θ T 1,..., θ T Q) T is the standardized contrast of the Q HRFs θ q = h q h, and h = h1+h2+ +h Q Q. We would like a design d {0, 1,..., Q} N that minimizes Φ(M d [θ]) for some Φ.

31 Analytical results (Q 3) We again identify optimal designs by finding manageable upper bounds of M d [θ]. This can be done by using the following two Lemmas. Lemma 1. (Bailey & Druilhet,2004) Let θ = E T h. We have M d [θ] L F d [E T E] + E T M d [h]e[e T E] + The equality holds if and only if M d [h] commutes with w(e). [E T E] + is the Moore-Penrose inverse of E T E M d [h] is the information matrix for the HRF parameter vector h = (h T 1,..., h T Q) T.

32 Analytical results (Q 3) Lemma 2. Let G be the symmetric group of all the Q! permutations on {1, 2,..., Q}, and d {0, 1,..., Q} N be an fmri design. Suppose d g is obtained from d by permuting the labels 1,..., Q based on a g G, and keeping 0 s intact. Then, F d S g G F d g /Q! F d, where F d is the upper bound of M d [θ] defined in Lemma 1 S represents the Schur ordering: Note 1. For any two non-negative definite matrices G 1 and G 2 of order m, G 1 S G 2 if m i=l λ i(g 1) m i=l λ i(g 2) for all l = 1,..., m, where λ i (G) is the ith greatest eigenvalue of G. Note 2. A useful result states that G 1 S G 2 iff there exists a G conv{w G 1W T : W O(m)} such that G L G 2, where conv{ } denotes the convex hull, and O(m) is the group of orthogonal matrices of order m (Harman, 2008). Note. 3. G 1 L G 2 G 1 S G 2 Φ(G 1) Φ(G 2) for most commonly used criteria Φ, including Φ A and Φ D.

33 Analytical results (Q 3) With some algebra, we have for any d {0, 1,..., Q} N, F d = (I Q Q 1 J Q ) Λ d ; α 0 α 1 α K 1 Λ d = α 1 α α1 βj K, α K 1 α 1 α 0 α 0 = {N n 0 (d)}/q; n 0 (d) =number of 0 s in d α k = {Q Q q=1 n k,q,q(d) N +2n 0 (d) n k,0,0 (d)}/{q(q 1)}, k = 1,..., K 1, β = [Q Q q=1 n q(d) 2 {N n 0 (d)} 2 ]/{NQ(Q 1)}. Note. For any d allowing estimable θ, the average of the orthogonal transformations of Λ d is α 0 I K L (N/Q)I K

34 Analytical results (Q 3) Result. Let d {0, 1,..., Q} N be such that M d [θ] = (I Q Q 1 J Q ) (N/Q)I K. Then, M d [θ] S M d [θ] for any d allowing estimable θ. This is because: M d [θ] S F d S F d S (I Q Q 1 J Q ) (N/Q)I K Result. (Combinatoric structure of optimal designs) If d {0, 1,..., Q} N is such that n k,p,q (d ) = t, p, q = 1,..., Q, k = 1,..., K 1, then d is A- and D-optimal for estimating θ of length K.

35 Analytical results (Q 3) Result. Let d {0, 1,..., Q} N be such that M d [θ] = (I Q Q 1 J Q ) (N/Q)I K. Then, M d [θ] S M d [θ] for any d allowing estimable θ. This is because: M d [θ] S F d S F d S (I Q Q 1 J Q ) (N/Q)I K Result. (Combinatoric structure of optimal designs) If d {0, 1,..., Q} N is such that n k,p,q (d ) = t, p, q = 1,..., Q, k = 1,..., K 1, then d is A- and D-optimal for estimating θ of length K.

36 Analytical results (Q 3) To construct an optimal designs, we consider to use the popularly used m-sequences: exist when N = s r 1 where s,the number of different symbols, is a prime power can be generated by a primitive polynomial of a finite field toy example (N = 3 3 1): Buračas & Boynton (2002) proposed to use m-sequences as fmri designs for estimating Q = s 1 individual HRFs Result (Design construction) Let N = Q K, and s m {0, 1,..., Q 1} N 1 be an m-sequence of length N 1. Suppose d is obtained by (i) relabeling the sequence with s m + j N 1 ; and (ii) adding an 1 to a run of (K 1) 1 s into the sequence in (i). Then d is optimal for comparing Q HRFs of length K. Remark. Circulant orthogonal arrays can also be used to generate optimal designs with N = Q 2 t.

37 Analytical results (Q 3) To construct an optimal designs, we consider to use the popularly used m-sequences: exist when N = s r 1 where s,the number of different symbols, is a prime power can be generated by a primitive polynomial of a finite field toy example (N = 3 3 1): Buračas & Boynton (2002) proposed to use m-sequences as fmri designs for estimating Q = s 1 individual HRFs Result (Design construction) Let N = Q K, and s m {0, 1,..., Q 1} N 1 be an m-sequence of length N 1. Suppose d is obtained by (i) relabeling the sequence with s m + j N 1 ; and (ii) adding an 1 to a run of (K 1) 1 s into the sequence in (i). Then d is optimal for comparing Q HRFs of length K. Remark. Circulant orthogonal arrays can also be used to generate optimal designs with N = Q 2 t.

38 Analytical results (Q 3) To construct an optimal designs, we consider to use the popularly used m-sequences: exist when N = s r 1 where s,the number of different symbols, is a prime power can be generated by a primitive polynomial of a finite field toy example (N = 3 3 1): Buračas & Boynton (2002) proposed to use m-sequences as fmri designs for estimating Q = s 1 individual HRFs Result (Design construction) Let N = Q K, and s m {0, 1,..., Q 1} N 1 be an m-sequence of length N 1. Suppose d is obtained by (i) relabeling the sequence with s m + j N 1 ; and (ii) adding an 1 to a run of (K 1) 1 s into the sequence in (i). Then d is optimal for comparing Q HRFs of length K. Remark. Circulant orthogonal arrays can also be used to generate optimal designs with N = Q 2 t.

39 Analytical results (Q 3) The above mentioned designs might unfortunately have a long design length (N = Q K ). Here, we proposed to consider the relabeled m-sequences d m of length N = Q r 1 with an integer r(< K). The two-tuple balance property of m-sequences guarantees N that, for k = 1,..., Q 1 1, n k,1,1 (d m ) = N + 1 Q 2 1; n k,p,q (d m ) = N + 1 Q 2, (p, q) (1, 1). d m maintains a very similar combinatoric structure as the previously mentioned optimal design whenerver K N/(Q 1). Thus, N is not as large as Q K. These designs are (at least) very efficient in most cases.

40 Analytical results (Q 3) Table: Lower bounds of A- and D-efficiencies (%) of d m for some cases Q = 3 Q = 4 Q = 5 K N = 80 N = 242 N = 63 N = 255 N = 124 N = 624 A D Note. the relative efficiencies are calculated w.r.t. possibly hypothetical optimal designs of the same length N whose information matrix attains (I Q Q 1 J Q ) [(N 2 1)/(NQ)]I K

41 Discussion

42 Discussion We derive optimal fmri designs for estimating the HRF with Q = 1 and for comparing the HRFs with Q 2. We not only analytically establish the optimality of some popularly used designs, but also propose new, high-quality designs for experimenters to select from For some cases where optimal design results are unavailable, there are some very efficient computational approaches available in the literature for finding very efficient or optimal designs. Analytically deriving optimal fmri designs for these cases is a future study of interest.

43 Some References Analytical results: Cheng, Kao, and Phoa (2016) Optimal and Efficient Designs for Functional Brain Imaging Experiments. under review Cheng, and Kao (2015) Optimal Experimental Designs for fmri via Circulant Biased Weighing Designs. Annals of Statistics Kao (2015) Universally Optimal for Comparing Hemodynamic Response Functions. Statistica Sinica Kao (2014) A new type of experimental designs for event-related fmri via Hadamard matrices. Statistics & Probability Letters Kao (2013) On the optimality of extended maximal length linear feedback shift register sequences. Statistics & Probability Letters Computational approaches: Saleh, Kao, and Pan (2016) Fast algorithms for designing D-optimal event-related fmri experiments, JRSSC Kao, and Mittelmann (2014) A fast algorithm for constructing efficient event-related functional magnetic resonance imaging designs. JSCS Kao, Majumdar, Mandal, and Stufken (2013) Maximin and Maximin-Efficient Event-Related fmri Designs Under A Nonlinear Model. AOAS Kao, Mandal, and Stufken (2012) Constrained Multi-objective Designs for Functional MRI Experiments via A Modified Nondominated Sorting Genetic Algorithm. JRSSC Kao, Mandal, Lazar, and Stufken (2009) Multi-objective optimal experimental designs for event-related fmri studies. NeuroImage Kao, Mandal, and Stufken (2009) Efficient Designs for Event-Related Functional Magnetic Resonance Imaging with Multiple Scanning Sessions. Communications in Statistics-Theory and Methods

44 Thank You

Optimal design for event-related functional magnetic resonance imaging considering both individual stimulus effects and pairwise contrasts

Optimal design for event-related functional magnetic resonance imaging considering both individual stimulus effects and pairwise contrasts Statistics and Applications Volume 6, Nos1 & 2, 2008 (New Series), pp 235-256 Optimal design for event-related functional magnetic resonance imaging considering both individual stimulus effects and pairwise

More information

Robust Experimental Designs for fmri with an Uncertain Design Matrix. Lin Zhou

Robust Experimental Designs for fmri with an Uncertain Design Matrix. Lin Zhou Robust Experimental Designs for fmri with an Uncertain Design Matrix by Lin Zhou A Thesis Presented in Partial Fulfillment of the Requirement for the Degree Master of Science Approved October 2014 by the

More information

Multi-objective Optimal Experimental Designs for. Event-Related fmri Studies

Multi-objective Optimal Experimental Designs for. Event-Related fmri Studies Multi-objective Optimal Experimental Designs for Event-Related fmri Studies By Ming-Hung Kao, Abhyuday Mandal, Nicole Lazar and John Stufken Department of Statistics University of Georgia Abstract The

More information

Some Nonregular Designs From the Nordstrom and Robinson Code and Their Statistical Properties

Some Nonregular Designs From the Nordstrom and Robinson Code and Their Statistical Properties Some Nonregular Designs From the Nordstrom and Robinson Code and Their Statistical Properties HONGQUAN XU Department of Statistics, University of California, Los Angeles, CA 90095-1554, U.S.A. (hqxu@stat.ucla.edu)

More information

Optimization of Designs for fmri

Optimization of Designs for fmri Optimization of Designs for fmri UCLA Advanced Neuroimaging Summer School August 2, 2007 Thomas Liu, Ph.D. UCSD Center for Functional MRI Why optimize? Scans are expensive. Subjects can be difficult to

More information

The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t

The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t The decomposability of simple orthogonal arrays on 3 symbols having t + 1 rows and strength t Wiebke S. Diestelkamp Department of Mathematics University of Dayton Dayton, OH 45469-2316 USA wiebke@udayton.edu

More information

18Ï È² 7( &: ÄuANOVAp.O`û5 571 Based on this ANOVA model representation, Sobol (1993) proposed global sensitivity index, S i1...i s = D i1...i s /D, w

18Ï È² 7( &: ÄuANOVAp.O`û5 571 Based on this ANOVA model representation, Sobol (1993) proposed global sensitivity index, S i1...i s = D i1...i s /D, w A^VÇÚO 1 Êò 18Ï 2013c12 Chinese Journal of Applied Probability and Statistics Vol.29 No.6 Dec. 2013 Optimal Properties of Orthogonal Arrays Based on ANOVA High-Dimensional Model Representation Chen Xueping

More information

A Short Overview of Orthogonal Arrays

A Short Overview of Orthogonal Arrays A Short Overview of Orthogonal Arrays John Stufken Department of Statistics University of Georgia Isaac Newton Institute September 5, 2011 John Stufken (University of Georgia) Orthogonal Arrays September

More information

Extracting fmri features

Extracting fmri features Extracting fmri features PRoNTo course May 2018 Christophe Phillips, GIGA Institute, ULiège, Belgium c.phillips@uliege.be - http://www.giga.ulg.ac.be Overview Introduction Brain decoding problem Subject

More information

Difference sets and Hadamard matrices

Difference sets and Hadamard matrices Difference sets and Hadamard matrices Padraig Ó Catháin University of Queensland 5 November 2012 Outline 1 Hadamard matrices 2 Symmetric designs 3 Hadamard matrices and difference sets 4 Two-transitivity

More information

E(s 2 )-OPTIMAL SUPERSATURATED DESIGNS

E(s 2 )-OPTIMAL SUPERSATURATED DESIGNS Statistica Sinica 7(1997), 929-939 E(s 2 )-OPTIMAL SUPERSATURATED DESIGNS Ching-Shui Cheng University of California, Berkeley Abstract: Tang and Wu (1997) derived a lower bound on the E(s 2 )-value of

More information

CONSTRUCTION OF SLICED SPACE-FILLING DESIGNS BASED ON BALANCED SLICED ORTHOGONAL ARRAYS

CONSTRUCTION OF SLICED SPACE-FILLING DESIGNS BASED ON BALANCED SLICED ORTHOGONAL ARRAYS Statistica Sinica 24 (2014), 1685-1702 doi:http://dx.doi.org/10.5705/ss.2013.239 CONSTRUCTION OF SLICED SPACE-FILLING DESIGNS BASED ON BALANCED SLICED ORTHOGONAL ARRAYS Mingyao Ai 1, Bochuan Jiang 1,2

More information

Abstract. Using graphs to find optimal block designs. Problem 1: Factorial design. Conference on Design of Experiments, Tianjin, June 2006

Abstract. Using graphs to find optimal block designs. Problem 1: Factorial design. Conference on Design of Experiments, Tianjin, June 2006 Abstract Ching-Shui Cheng was one of the pioneers of using graph theory to prove results about optimal incomplete-block designs. There are actually two graphs associated with an incomplete-block design,

More information

Detection Power, Estimation Efficiency, and Predictability in Event-Related fmri

Detection Power, Estimation Efficiency, and Predictability in Event-Related fmri NeuroImage 13, 759 773 (2001) doi:10.1006/nimg.2000.0728, available online at http://www.idealibrary.com on Detection Power, Estimation Efficiency, and Predictability in Event-Related fmri Thomas T. Liu,*

More information

Minimax design criterion for fractional factorial designs

Minimax design criterion for fractional factorial designs Ann Inst Stat Math 205 67:673 685 DOI 0.007/s0463-04-0470-0 Minimax design criterion for fractional factorial designs Yue Yin Julie Zhou Received: 2 November 203 / Revised: 5 March 204 / Published online:

More information

Algebraic aspects of Hadamard matrices

Algebraic aspects of Hadamard matrices Algebraic aspects of Hadamard matrices Padraig Ó Catháin University of Queensland 22 February 2013 Overview Difference set Relative difference set Symmetric Design Hadamard matrix Overview 1 Hadamard matrices

More information

Stochastic Design Criteria in Linear Models

Stochastic Design Criteria in Linear Models AUSTRIAN JOURNAL OF STATISTICS Volume 34 (2005), Number 2, 211 223 Stochastic Design Criteria in Linear Models Alexander Zaigraev N. Copernicus University, Toruń, Poland Abstract: Within the framework

More information

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION PAVEL RŮŽIČKA 9.1. Congruence modulo n. Let us have a closer look at a particular example of a congruence relation on

More information

January 2016 Qualifying Examination

January 2016 Qualifying Examination January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,

More information

Difference sets and Hadamard matrices

Difference sets and Hadamard matrices Difference sets and Hadamard matrices Padraig Ó Catháin National University of Ireland, Galway 14 March 2012 Outline 1 (Finite) Projective planes 2 Symmetric Designs 3 Difference sets 4 Doubly transitive

More information

Cyclic codes: overview

Cyclic codes: overview Cyclic codes: overview EE 387, Notes 14, Handout #22 A linear block code is cyclic if the cyclic shift of a codeword is a codeword. Cyclic codes have many advantages. Elegant algebraic descriptions: c(x)

More information

Statistical Analysis of fmrl Data

Statistical Analysis of fmrl Data Statistical Analysis of fmrl Data F. Gregory Ashby The MIT Press Cambridge, Massachusetts London, England Preface xi Acronyms xv 1 Introduction 1 What Is fmri? 2 The Scanning Session 4 Experimental Design

More information

CONSTRUCTION OF OPTIMAL MULTI-LEVEL SUPERSATURATED DESIGNS. Hongquan Xu 1 and C. F. J. Wu 2 University of California and University of Michigan

CONSTRUCTION OF OPTIMAL MULTI-LEVEL SUPERSATURATED DESIGNS. Hongquan Xu 1 and C. F. J. Wu 2 University of California and University of Michigan CONSTRUCTION OF OPTIMAL MULTI-LEVEL SUPERSATURATED DESIGNS Hongquan Xu 1 and C. F. J. Wu University of California and University of Michigan A supersaturated design is a design whose run size is not large

More information

Anale. Seria Informatică. Vol. XIII fasc Annals. Computer Science Series. 13 th Tome 1 st Fasc. 2015

Anale. Seria Informatică. Vol. XIII fasc Annals. Computer Science Series. 13 th Tome 1 st Fasc. 2015 24 CONSTRUCTION OF ORTHOGONAL ARRAY-BASED LATIN HYPERCUBE DESIGNS FOR DETERMINISTIC COMPUTER EXPERIMENTS Kazeem A. Osuolale, Waheed B. Yahya, Babatunde L. Adeleke Department of Statistics, University of

More information

MIXED EFFECTS MODELS FOR TIME SERIES

MIXED EFFECTS MODELS FOR TIME SERIES Outline MIXED EFFECTS MODELS FOR TIME SERIES Cristina Gorrostieta Hakmook Kang Hernando Ombao Brown University Biostatistics Section February 16, 2011 Outline OUTLINE OF TALK 1 SCIENTIFIC MOTIVATION 2

More information

Hands-on Matrix Algebra Using R

Hands-on Matrix Algebra Using R Preface vii 1. R Preliminaries 1 1.1 Matrix Defined, Deeper Understanding Using Software.. 1 1.2 Introduction, Why R?.................... 2 1.3 Obtaining R.......................... 4 1.4 Reference Manuals

More information

Hadamard matrices, difference sets and doubly transitive permutation groups

Hadamard matrices, difference sets and doubly transitive permutation groups Hadamard matrices, difference sets and doubly transitive permutation groups Padraig Ó Catháin University of Queensland 13 November 2012 Outline 1 Hadamard matrices 2 Symmetric designs 3 Hadamard matrices

More information

Complex Hadamard matrices and 3-class association schemes

Complex Hadamard matrices and 3-class association schemes Complex Hadamard matrices and 3-class association schemes Akihiro Munemasa 1 1 Graduate School of Information Sciences Tohoku University (joint work with Takuya Ikuta) June 26, 2013 The 30th Algebraic

More information

QUASI-ORTHOGONAL ARRAYS AND OPTIMAL FRACTIONAL FACTORIAL PLANS

QUASI-ORTHOGONAL ARRAYS AND OPTIMAL FRACTIONAL FACTORIAL PLANS Statistica Sinica 12(2002), 905-916 QUASI-ORTHOGONAL ARRAYS AND OPTIMAL FRACTIONAL FACTORIAL PLANS Kashinath Chatterjee, Ashish Das and Aloke Dey Asutosh College, Calcutta and Indian Statistical Institute,

More information

CONSTRUCTION OF NESTED (NEARLY) ORTHOGONAL DESIGNS FOR COMPUTER EXPERIMENTS

CONSTRUCTION OF NESTED (NEARLY) ORTHOGONAL DESIGNS FOR COMPUTER EXPERIMENTS Statistica Sinica 23 (2013), 451-466 doi:http://dx.doi.org/10.5705/ss.2011.092 CONSTRUCTION OF NESTED (NEARLY) ORTHOGONAL DESIGNS FOR COMPUTER EXPERIMENTS Jun Li and Peter Z. G. Qian Opera Solutions and

More information

x n k m(x) ) Codewords can be characterized by (and errors detected by): c(x) mod g(x) = 0 c(x)h(x) = 0 mod (x n 1)

x n k m(x) ) Codewords can be characterized by (and errors detected by): c(x) mod g(x) = 0 c(x)h(x) = 0 mod (x n 1) Cyclic codes: review EE 387, Notes 15, Handout #26 A cyclic code is a LBC such that every cyclic shift of a codeword is a codeword. A cyclic code has generator polynomial g(x) that is a divisor of every

More information

HIDDEN PROJECTION PROPERTIES OF SOME NONREGULAR FRACTIONAL FACTORIAL DESIGNS AND THEIR APPLICATIONS 1

HIDDEN PROJECTION PROPERTIES OF SOME NONREGULAR FRACTIONAL FACTORIAL DESIGNS AND THEIR APPLICATIONS 1 The Annals of Statistics 2003, Vol. 31, No. 3, 1012 1026 Institute of Mathematical Statistics, 2003 HIDDEN PROJECTION PROPERTIES OF SOME NONREGULAR FRACTIONAL FACTORIAL DESIGNS AND THEIR APPLICATIONS 1

More information

Chapter 5. Cyclic Codes

Chapter 5. Cyclic Codes Wireless Information Transmission System Lab. Chapter 5 Cyclic Codes Institute of Communications Engineering National Sun Yat-sen University Outlines Description of Cyclic Codes Generator and Parity-Check

More information

Quantum LDPC Codes Derived from Combinatorial Objects and Latin Squares

Quantum LDPC Codes Derived from Combinatorial Objects and Latin Squares Codes Derived from Combinatorial Objects and s Salah A. Aly & Latin salah at cs.tamu.edu PhD Candidate Department of Computer Science Texas A&M University November 11, 2007 Motivation for Computers computers

More information

Connections between the resolutions of general two-level factorial designs

Connections between the resolutions of general two-level factorial designs AISM (2006) 58: 609 68 DOI 0.007/s0463-005-0020-x N. Balakrishnan Po Yang Connections between the resolutions of general two-level factorial designs Received: 28 February 2005 / Published online: 3 June

More information

arithmetic properties of weighted catalan numbers

arithmetic properties of weighted catalan numbers arithmetic properties of weighted catalan numbers Jason Chen Mentor: Dmitry Kubrak May 20, 2017 MIT PRIMES Conference background: catalan numbers Definition The Catalan numbers are the sequence of integers

More information

Linear Algebra and its Applications

Linear Algebra and its Applications Linear Algebra and its Applications 436 01 874 887 Contents lists available at SciVerse ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa Maximal determinant

More information

Matrix Mathematics. Theory, Facts, and Formulas with Application to Linear Systems Theory. Dennis S. Bernstein

Matrix Mathematics. Theory, Facts, and Formulas with Application to Linear Systems Theory. Dennis S. Bernstein Matrix Mathematics Theory, Facts, and Formulas with Application to Linear Systems Theory Dennis S. Bernstein PRINCETON UNIVERSITY PRESS PRINCETON AND OXFORD Contents Special Symbols xv Conventions, Notation,

More information

Granger Mediation Analysis of Functional Magnetic Resonance Imaging Time Series

Granger Mediation Analysis of Functional Magnetic Resonance Imaging Time Series Granger Mediation Analysis of Functional Magnetic Resonance Imaging Time Series Yi Zhao and Xi Luo Department of Biostatistics Brown University June 8, 2017 Overview 1 Introduction 2 Model and Method 3

More information

A PROOF OF BURNSIDE S p a q b THEOREM

A PROOF OF BURNSIDE S p a q b THEOREM A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We

More information

On Construction of a Class of. Orthogonal Arrays

On Construction of a Class of. Orthogonal Arrays On Construction of a Class of Orthogonal Arrays arxiv:1210.6923v1 [cs.dm] 25 Oct 2012 by Ankit Pat under the esteemed guidance of Professor Somesh Kumar A Dissertation Submitted for the Partial Fulfillment

More information

Detecting fmri activation allowing for unknown latency of the hemodynamic response

Detecting fmri activation allowing for unknown latency of the hemodynamic response Detecting fmri activation allowing for unknown latency of the hemodynamic response K.J. Worsley McGill University J.E. Taylor Stanford University January 7, 006 Abstract Several authors have suggested

More information

Applications of semidefinite programming in Algebraic Combinatorics

Applications of semidefinite programming in Algebraic Combinatorics Applications of semidefinite programming in Algebraic Combinatorics Tohoku University The 23rd RAMP Symposium October 24, 2011 We often want to 1 Bound the value of a numerical parameter of certain combinatorial

More information

HST 583 FUNCTIONAL MAGNETIC RESONANCE IMAGING DATA ANALYSIS AND ACQUISITION A REVIEW OF STATISTICS FOR FMRI DATA ANALYSIS

HST 583 FUNCTIONAL MAGNETIC RESONANCE IMAGING DATA ANALYSIS AND ACQUISITION A REVIEW OF STATISTICS FOR FMRI DATA ANALYSIS HST 583 FUNCTIONAL MAGNETIC RESONANCE IMAGING DATA ANALYSIS AND ACQUISITION A REVIEW OF STATISTICS FOR FMRI DATA ANALYSIS EMERY N. BROWN AND CHRIS LONG NEUROSCIENCE STATISTICS RESEARCH LABORATORY DEPARTMENT

More information

MATRIX ALGEBRA. or x = (x 1,..., x n ) R n. y 1 y 2. x 2. x m. y m. y = cos θ 1 = x 1 L x. sin θ 1 = x 2. cos θ 2 = y 1 L y.

MATRIX ALGEBRA. or x = (x 1,..., x n ) R n. y 1 y 2. x 2. x m. y m. y = cos θ 1 = x 1 L x. sin θ 1 = x 2. cos θ 2 = y 1 L y. as Basics Vectors MATRIX ALGEBRA An array of n real numbers x, x,, x n is called a vector and it is written x = x x n or x = x,, x n R n prime operation=transposing a column to a row Basic vector operations

More information

COMPLETE CLASS RESULTS FOR LINEAR REGRESSION OVER THE MULTI-DIMENSIONAL CUBE

COMPLETE CLASS RESULTS FOR LINEAR REGRESSION OVER THE MULTI-DIMENSIONAL CUBE COMPLETE CLASS RESULTS FOR LINEAR REGRESSION OVER THE MULTI-DIMENSIONAL CUBE Friedrich PUKELSHEIM, Cornell University* BU-942-Mt September 25, 1987 ABSTRACT Complete classes of designs and of moment matrices

More information

Error Correcting Codes Questions Pool

Error Correcting Codes Questions Pool Error Correcting Codes Questions Pool Amnon Ta-Shma and Dean Doron January 3, 018 General guidelines The questions fall into several categories: (Know). (Mandatory). (Bonus). Make sure you know how to

More information

Necklaces: Generalizations

Necklaces: Generalizations Necklaces: Generalizations V Ch Venkaiah V Ch Venkaiah is presently with the School of Computer and Information Sciences, University of Hyderabad. Prior to that he served in several organizations including

More information

Vector spaces. EE 387, Notes 8, Handout #12

Vector spaces. EE 387, Notes 8, Handout #12 Vector spaces EE 387, Notes 8, Handout #12 A vector space V of vectors over a field F of scalars is a set with a binary operator + on V and a scalar-vector product satisfying these axioms: 1. (V, +) is

More information

A RESOLUTION RANK CRITERION FOR SUPERSATURATED DESIGNS

A RESOLUTION RANK CRITERION FOR SUPERSATURATED DESIGNS Statistica Sinica 9(1999), 605-610 A RESOLUTION RANK CRITERION FOR SUPERSATURATED DESIGNS Lih-Yuan Deng, Dennis K. J. Lin and Jiannong Wang University of Memphis, Pennsylvania State University and Covance

More information

Orthogonal Arrays & Codes

Orthogonal Arrays & Codes Orthogonal Arrays & Codes Orthogonal Arrays - Redux An orthogonal array of strength t, a t-(v,k,λ)-oa, is a λv t x k array of v symbols, such that in any t columns of the array every one of the possible

More information

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,

More information

information matrix can be defined via an extremal representation. For rank

information matrix can be defined via an extremal representation. For rank Metrika manuscript No. (will be inserted by the editor) Information matrices for non full rank subsystems Pierre Druilhet 1, Augustyn Markiewicz 2 1 CREST-ENSAI, Campus de Ker Lann, Rue Blaise Pascal,

More information

Approximate Optimal Designs for Multivariate Polynomial Regression

Approximate Optimal Designs for Multivariate Polynomial Regression Approximate Optimal Designs for Multivariate Polynomial Regression Fabrice Gamboa Collaboration with: Yohan de Castro, Didier Henrion, Roxana Hess, Jean-Bernard Lasserre Universität Potsdam 16th of February

More information

Degrees of Regularity of Colorings of the Integers

Degrees of Regularity of Colorings of the Integers Degrees of Regularity of Colorings of the Integers Alan Zhou MIT PRIMES May 19, 2012 Alan Zhou (MIT PRIMES) Degree of Regularity May 19, 2012 1 / 15 Background Original problem: For a given homogeneous

More information

Multiplicity Free Expansions of Schur P-Functions

Multiplicity Free Expansions of Schur P-Functions Annals of Combinatorics 11 (2007) 69-77 0218-0006/07/010069-9 DOI 10.1007/s00026-007-0306-1 c Birkhäuser Verlag, Basel, 2007 Annals of Combinatorics Multiplicity Free Expansions of Schur P-Functions Kristin

More information

Masakazu Jimbo Nagoya University

Masakazu Jimbo Nagoya University 2012 Shanghai Conference on Algebraic Combinatorics August 17 22, 2012, Shanghai Jiao Tong University Mutually orthogonal t-designs over C related to quantum jump codes Masakazu Jimbo Nagoya University

More information

On the decomposition of orthogonal arrays

On the decomposition of orthogonal arrays On the decomposition of orthogonal arrays Wiebke S. Diestelkamp Department of Mathematics University of Dayton Dayton, OH 45469-2316 wiebke@udayton.edu Jay H. Beder Department of Mathematical Sciences

More information

The General Linear Model. Guillaume Flandin Wellcome Trust Centre for Neuroimaging University College London

The General Linear Model. Guillaume Flandin Wellcome Trust Centre for Neuroimaging University College London The General Linear Model Guillaume Flandin Wellcome Trust Centre for Neuroimaging University College London SPM Course Lausanne, April 2012 Image time-series Spatial filter Design matrix Statistical Parametric

More information

General linear model: basic

General linear model: basic General linear model: basic Introducing General Linear Model (GLM): Start with an example Proper>es of the BOLD signal Linear Time Invariant (LTI) system The hemodynamic response func>on (Briefly) Evalua>ng

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015 Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s

More information

Ranks of Hadamard Matrices and Equivalence of Sylvester Hadamard and Pseudo-Noise Matrices

Ranks of Hadamard Matrices and Equivalence of Sylvester Hadamard and Pseudo-Noise Matrices Operator Theory: Advances and Applications, Vol 1, 1 13 c 27 Birkhäuser Verlag Basel/Switzerland Ranks of Hadamard Matrices and Equivalence of Sylvester Hadamard and Pseudo-Noise Matrices Tom Bella, Vadim

More information

Quantum Entanglement and the Bell Matrix

Quantum Entanglement and the Bell Matrix Quantum Entanglement and the Bell Matrix Marco Pedicini (Roma Tre University) in collaboration with Anna Chiara Lai and Silvia Rognone (La Sapienza University of Rome) SIMAI2018 - MS27: Discrete Mathematics,

More information

Uniform semi-latin squares and their Schur-optimality

Uniform semi-latin squares and their Schur-optimality Uniform semi-latin squares and their Schur-optimality Leonard H. Soicher School of Mathematical Sciences Queen Mary University of London Mile End Road, London E1 4NS, UK L.H.Soicher@qmul.ac.uk September

More information

A Graph Polynomial Approach to Primitivity

A Graph Polynomial Approach to Primitivity A Graph Polynomial Approach to Primitivity F. Blanchet-Sadri 1, Michelle Bodnar 2, Nathan Fox 3, and Joe Hidakatsu 2 1 Department of Computer Science, University of North Carolina, P.O. Box 26170, Greensboro,

More information

The General Linear Model Ivo Dinov

The General Linear Model Ivo Dinov Stats 33 Statistical Methods for Biomedical Data The General Linear Model Ivo Dinov dinov@stat.ucla.edu http://www.stat.ucla.edu/~dinov Slide 1 Problems with t-tests and correlations 1) How do we evaluate

More information

Square 2-designs/1. 1 Definition

Square 2-designs/1. 1 Definition Square 2-designs Square 2-designs are variously known as symmetric designs, symmetric BIBDs, and projective designs. The definition does not imply any symmetry of the design, and the term projective designs,

More information

On the Average Complexity of Brzozowski s Algorithm for Deterministic Automata with a Small Number of Final States

On the Average Complexity of Brzozowski s Algorithm for Deterministic Automata with a Small Number of Final States On the Average Complexity of Brzozowski s Algorithm for Deterministic Automata with a Small Number of Final States Sven De Felice 1 and Cyril Nicaud 2 1 LIAFA, Université Paris Diderot - Paris 7 & CNRS

More information

Samurai Sudoku-Based Space-Filling Designs

Samurai Sudoku-Based Space-Filling Designs Samurai Sudoku-Based Space-Filling Designs Xu Xu and Peter Z. G. Qian Department of Statistics University of Wisconsin Madison, Madison, WI 53706 Abstract Samurai Sudoku is a popular variation of Sudoku.

More information

Event-related fmri. Christian Ruff. Laboratory for Social and Neural Systems Research Department of Economics University of Zurich

Event-related fmri. Christian Ruff. Laboratory for Social and Neural Systems Research Department of Economics University of Zurich Event-related fmri Christian Ruff Laboratory for Social and Neural Systems Research Department of Economics University of Zurich Institute of Neurology University College London With thanks to the FIL

More information

Peak Detection for Images

Peak Detection for Images Peak Detection for Images Armin Schwartzman Division of Biostatistics, UC San Diego June 016 Overview How can we improve detection power? Use a less conservative error criterion Take advantage of prior

More information

IMA Preprint Series # 2066

IMA Preprint Series # 2066 THE CARDINALITY OF SETS OF k-independent VECTORS OVER FINITE FIELDS By S.B. Damelin G. Michalski and G.L. Mullen IMA Preprint Series # 2066 ( October 2005 ) INSTITUTE FOR MATHEMATICS AND ITS APPLICATIONS

More information

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

Hadamard ideals and Hadamard matrices with two circulant cores

Hadamard ideals and Hadamard matrices with two circulant cores Hadamard ideals and Hadamard matrices with two circulant cores Ilias S. Kotsireas a,1,, Christos Koukouvinos b and Jennifer Seberry c a Wilfrid Laurier University, Department of Physics and Computer Science,

More information

Lower bounds on maximal determinants

Lower bounds on maximal determinants Lower bounds on maximal determinants Richard P. Brent ANU 26 September 2012 joint work with Judy-anne Osborn University of Newcastle Presented at the 56th annual meeting of the Australian Mathematical

More information

Moment Aberration Projection for Nonregular Fractional Factorial Designs

Moment Aberration Projection for Nonregular Fractional Factorial Designs Moment Aberration Projection for Nonregular Fractional Factorial Designs Hongquan Xu Department of Statistics University of California Los Angeles, CA 90095-1554 (hqxu@stat.ucla.edu) Lih-Yuan Deng Department

More information

Hadamard and conference matrices

Hadamard and conference matrices Hadamard and conference matrices Peter J. Cameron University of St Andrews & Queen Mary University of London Mathematics Study Group with input from Rosemary Bailey, Katarzyna Filipiak, Joachim Kunert,

More information

Linear Algebra for Machine Learning. Sargur N. Srihari

Linear Algebra for Machine Learning. Sargur N. Srihari Linear Algebra for Machine Learning Sargur N. srihari@cedar.buffalo.edu 1 Overview Linear Algebra is based on continuous math rather than discrete math Computer scientists have little experience with it

More information

ERROR CORRECTING CODES

ERROR CORRECTING CODES ERROR CORRECTING CODES To send a message of 0 s and 1 s from my computer on Earth to Mr. Spock s computer on the planet Vulcan we use codes which include redundancy to correct errors. n q Definition. A

More information

Hadamard and conference matrices

Hadamard and conference matrices Hadamard and conference matrices Peter J. Cameron University of St Andrews & Queen Mary University of London Mathematics Study Group with input from Rosemary Bailey, Katarzyna Filipiak, Joachim Kunert,

More information

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary

More information

Regularity and optimization

Regularity and optimization Regularity and optimization Bruno Gaujal INRIA SDA2, 2007 B. Gaujal (INRIA ) Regularity and Optimization SDA2, 2007 1 / 39 Majorization x = (x 1,, x n ) R n, x is a permutation of x with decreasing coordinates.

More information

Hypothesis testing in multilevel models with block circular covariance structures

Hypothesis testing in multilevel models with block circular covariance structures 1/ 25 Hypothesis testing in multilevel models with block circular covariance structures Yuli Liang 1, Dietrich von Rosen 2,3 and Tatjana von Rosen 1 1 Department of Statistics, Stockholm University 2 Department

More information

Topic 3. Design of Sequences with Low Correlation

Topic 3. Design of Sequences with Low Correlation Topic 3. Design of Sequences with Low Correlation M-sequences and Quadratic Residue Sequences 2 Multiple Trace Term Sequences and WG Sequences 3 Gold-pair, Kasami Sequences, and Interleaved Sequences 4

More information

Ph 219b/CS 219b. Exercises Due: Wednesday 20 November 2013

Ph 219b/CS 219b. Exercises Due: Wednesday 20 November 2013 1 h 219b/CS 219b Exercises Due: Wednesday 20 November 2013 3.1 Universal quantum gates I In this exercise and the two that follow, we will establish that several simple sets of gates are universal for

More information

arxiv: v2 [math.co] 4 Sep 2014

arxiv: v2 [math.co] 4 Sep 2014 HADAMARD MATRICES MODULO P AND SMALL MODULAR HADAMARD MATRICES arxiv:109.018v [math.co] Sep 01 VIVIAN KUPERBERG ABSTRACT. We use modular symmetric designs to study the existence of Hadamard matrices modulo

More information

Factorial Designs and Harmonic Analysis on Finite Abelian Groups

Factorial Designs and Harmonic Analysis on Finite Abelian Groups Factorial Designs and Harmonic Analysis on Finite Abelian Groups P.M. van de Ven EURANDOM P.O. Box 513, 5600 MB, Eindhoven The Netherlands email: vandeven@eurandom.tue.nl A. Di Bucchianico EURANDOM and

More information

Some optimal criteria of model-robustness for two-level non-regular fractional factorial designs

Some optimal criteria of model-robustness for two-level non-regular fractional factorial designs Some optimal criteria of model-robustness for two-level non-regular fractional factorial designs arxiv:0907.052v stat.me 3 Jul 2009 Satoshi Aoki July, 2009 Abstract We present some optimal criteria to

More information

proposed. This method can easily be used to construct the trend free orthogonal arrays of higher level and higher strength.

proposed. This method can easily be used to construct the trend free orthogonal arrays of higher level and higher strength. International Journal of Scientific & Engineering Research, Volume 5, Issue 7, July-2014 1512 Trend Free Orthogonal rrays using some Linear Codes Poonam Singh 1, Veena Budhraja 2, Puja Thapliyal 3 * bstract

More information

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

An Overview of Complex Hadamard Cubes

An Overview of Complex Hadamard Cubes Rose- Hulman Undergraduate Mathematics Journal An Overview of Complex Hadamard Cubes Ben Lantz a Michael Zowada b Volume 3, No. 2, Fall 202 Sponsored by Rose-Hulman Institute of Technology Department of

More information

* 8 Groups, with Appendix containing Rings and Fields.

* 8 Groups, with Appendix containing Rings and Fields. * 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that

More information

Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets

Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets Navid Nasr Esfahani, Ian Goldberg and Douglas R. Stinson David R. Cheriton School of Computer Science University of

More information

Codes over Subfields. Chapter Basics

Codes over Subfields. Chapter Basics Chapter 7 Codes over Subfields In Chapter 6 we looked at various general methods for constructing new codes from old codes. Here we concentrate on two more specialized techniques that result from writing

More information

Polynomials with nontrivial relations between their roots

Polynomials with nontrivial relations between their roots ACTA ARITHMETICA LXXXII.3 (1997) Polynomials with nontrivial relations between their roots by John D. Dixon (Ottawa, Ont.) 1. Introduction. Consider an irreducible polynomial f(x) over a field K. We are

More information

Group theoretic aspects of the theory of association schemes

Group theoretic aspects of the theory of association schemes Group theoretic aspects of the theory of association schemes Akihiro Munemasa Graduate School of Information Sciences Tohoku University October 29, 2016 International Workshop on Algebraic Combinatorics

More information

Lecture 7 Introduction to Statistical Decision Theory

Lecture 7 Introduction to Statistical Decision Theory Lecture 7 Introduction to Statistical Decision Theory I-Hsiang Wang Department of Electrical Engineering National Taiwan University ihwang@ntu.edu.tw December 20, 2016 1 / 55 I-Hsiang Wang IT Lecture 7

More information

Semi-supervised subspace analysis of human functional magnetic resonance imaging data

Semi-supervised subspace analysis of human functional magnetic resonance imaging data Max Planck Institut für biologische Kybernetik Max Planck Institute for Biological Cybernetics Technical Report No. 185 Semi-supervised subspace analysis of human functional magnetic resonance imaging

More information

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV. Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is

More information

Experimental design of fmri studies

Experimental design of fmri studies Experimental design of fmri studies Zurich SPM Course 2016 Sandra Iglesias Translational Neuromodeling Unit (TNU) Institute for Biomedical Engineering (IBT) University and ETH Zürich With many thanks for

More information