Inductively Pierced Codes and Toric Ideals Samuel Muthiah Westmont - - PowerPoint PPT Presentation

inductively pierced codes and toric ideals
SMART_READER_LITE
LIVE PREVIEW

Inductively Pierced Codes and Toric Ideals Samuel Muthiah Westmont - - PowerPoint PPT Presentation

. . . . . . . . . . . . . . . Inductively Pierced Codes and Toric Ideals Samuel Muthiah Westmont College July 17, 2017 Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 . . . . . .


slide-1
SLIDE 1

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Inductively Pierced Codes and Toric Ideals

Samuel Muthiah

Westmont College

July 17, 2017

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 1 / 20

slide-2
SLIDE 2

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Place Cells

In 2014 John O’Keefe received the Nobel Prize for his discovery of place cells Place cells are part of the way certain mammals’ brains identify where there are spatially Place cells fjre in approximately convex regions

Figure: Place Cells

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 2 / 20

slide-3
SLIDE 3

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Neural Codes

Defjnition

A neural code on n neurons is a set of binary strings C ⊆ {0, 1}n. The elements of C are called codewords. C = {000, 100, 001, 101, 011, 111}

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 3 / 20

slide-4
SLIDE 4

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Neural Codes

Defjnition

A realization of a code C on n neurons is a collection of sets U = {U1, . . . , Un} such that C(U) = C. C = {000, 100, 001, 101, 011, 111} 3 1 2

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 4 / 20

slide-5
SLIDE 5

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Neural Codes

Defjnition

A code C is convex if there exists a realization of C by convex sets. C = {000, 100, 001, 101, 011, 111} 3 1 2

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 5 / 20

slide-6
SLIDE 6

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Neural Codes

Defjnition

The realization of a code C is well-formed if Curves intersect at a fjnite number of points At any given point, at most two curves intersect Each zone is connected C = {000, 100, 001, 101, 011, 111} 3 1 2

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 6 / 20

slide-7
SLIDE 7

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Need for Algorithms

{000000, 100000, 010000, 001000, 000100, 000010, 110000, 100010, 011000, 010100, 010010, 001100, 000110, 000011, 110010, 011100, 010110}

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 7 / 20

slide-8
SLIDE 8

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Need for Algorithms

{000000, 100000, 010000, 001000, 000100, 000010, 110000, 100010, 011000, 010100, 010010, 001100, 000110, 000011, 110010, 011100, 010110}

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 7 / 20

slide-9
SLIDE 9

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

k-Piercings

Defjnition

A k-piercing is a curve that pierces (intersects) k other curves and that adds 2k zones when added to an existing diagram.

Figure: Example of a 1-Piercing Figure: Example of a 2-Piercing

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 8 / 20

slide-10
SLIDE 10

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

k-Piercings

Defjnition

A k-piercing is a curve that pierces (intersects) k other curves and that adds 2k zones when added to an existing diagram.

Figure: Example of a 1-Piercing Figure: Example of a 2-Piercing

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 8 / 20

slide-11
SLIDE 11

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

k-Inductively Pierced

Defjnition

A neural code C is k-inductively pierced if C has a 0−, 1−, ..., or k− piercing λ and C − λ is k-inductively pierced.

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 9 / 20

slide-12
SLIDE 12

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

k-Inductively Pierced

Defjnition

A neural code C is k-inductively pierced if C has a 0−, 1−, ..., or k− piercing λ and C − λ is k-inductively pierced.

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 9 / 20

slide-13
SLIDE 13

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Toric Ideals

Let C = {c1, ..., cm} be a neural code on n neurons Let φc : K[pc|c ∈ C\(0, .., 0)] → K[xi|i ∈ [n]] pc → ∏

i∈supp(c)

xi

Defjnition

The toric ideal of the neural code is I ker

c

p p p p x x x x x x x x

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 10 / 20

slide-14
SLIDE 14

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Toric Ideals

Let C = {c1, ..., cm} be a neural code on n neurons Let φc : K[pc|c ∈ C\(0, .., 0)] → K[xi|i ∈ [n]] pc → ∏

i∈supp(c)

xi

Defjnition

The toric ideal of the neural code C is IC := kerφc p101p110 − p111p100 → x1x3 · x1x2 − x1x2x3 · x1 = 0

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 10 / 20

slide-15
SLIDE 15

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Identifying k-Piercings

Theorem (Gross-Obatake-Youngs)

Let C be well formed. The neural code C is 0-inductively pierced if and only if IC = ⟨0⟩. If the neural code C is 0- or 1- inductively pierced then IC = ⟨0⟩ or generated by quadratics. If the neural code C has a 2-piercing then IC contains a binomial of degree 3 of particular form, in particular p111wp2

000v − p100vp010vp001w

  • r p111w − p100...0p010...0p001w where v, w are zones in C(U).

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 11 / 20

slide-16
SLIDE 16

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Identifying k-Piercings

Take the code C = {0001, 1001, 0101, 0011, 1101, 1011, 0111, 1111}. One set of generators of its toric ideal is: ⟨−p1011p0111 + p0011p1111, −p1101p0111 + p0101p1111, −p0101p1011 + p1001p0111, −p0011p1101 + p1001p0111, −p1011p1011 + p1001p1111, −p1001p0101 + p0001p1101, −p1001p0011 + p0001p1011, −p1001p0111 + p0001p1111, −p0101p0011 + p0001p0111⟩.

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 12 / 20

slide-17
SLIDE 17

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Identifying k-Piercings

Take the code C = {0001, 1001, 0101, 0011, 1101, 1011, 0111, 1111}. 1 2 3 4

Figure: Realization of C

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 12 / 20

slide-18
SLIDE 18

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Identifying k-Piercings

⟨−p1011p0111 + p0011p1111, −p1101p0111 + p0101p1111, −p0101p1011 + p1001p0111, −p0011p1101 + p1001p0111, −p1011p1011 + p1001p1111, −p1001p0101 + p0001p1101, −p1001p0011 + p0001p1011, −p1001p0111 + p0001p1111, −p0101p0011 + p0001p0111⟩

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 12 / 20

slide-19
SLIDE 19

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Constructing Cubics

p0001p1111 − p1001p0111, p0001p0111 − p0101p0011 ∈ IC ⇓ p0001(p1111p0001 − p1001p0111) + p1001(p0111p0001 − p0101p0011) ∈ IC and p p p p p p p p p p p p p p p

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 13 / 20

slide-20
SLIDE 20

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Constructing Cubics

p0001p1111 − p1001p0111, p0001p0111 − p0101p0011 ∈ IC ⇓ p0001(p1111p0001 − p1001p0111) + p1001(p0111p0001 − p0101p0011) ∈ IC and p0001(p1111p0001 − p1001p0111) + p1001(p0111p0001 − p0101p0011) = p1111p2

0001 − p1001p0101p0011

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 13 / 20

slide-21
SLIDE 21

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Special Quadratics

p000v(p111wp000v − p110vp001w) + p001w(p110wp000v − p100vp010v) p000v(p111wp000v − p101vp010w) + p010w(p101wp000v − p100vp001v) p000v(p111wp000v − p011vp100w) + p001w(p011wp000v − p010vp001v)

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 14 / 20

slide-22
SLIDE 22

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Special Quadratics

p000v(p111wp000v − p110vp001w) + p001w(p110wp000v − p100vp010v) p000v(p111wp000v − p101vp010w) + p010w(p101wp000v − p100vp001v) p000v(p111wp000v − p011vp100w) + p001w(p011wp000v − p010vp001v)

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 14 / 20

slide-23
SLIDE 23

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Suffjcient Condition?

Take the code C = {1000, 0100, 0010, 1100, 1010, 1001, 0110, 0101, 0011, 1101, 1011, 0111, 1111} 1 2 4 3 p1111 − p1000p0100p0011 ∈ IC

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 15 / 20

slide-24
SLIDE 24

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Theorem (Hoch-M.-Obatake)

Let C be a well-formed code, and let IC be its toric ideal. If there exists a cubic generator of IC of the form p111wp2

000v − p100wp010vp001v, then

C(U)\ ∪m

i=4 Ui is 2-inductively pierced.

Corollary

If p111wp2

000v − p100wp010vp001v ∈ IC, then C is not 1-inductively pierced.

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 16 / 20

slide-25
SLIDE 25

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Example

p111wp2

000v − p100vp010vp001w

p111w − p100...0p010...0p001w 2 3 1

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 17 / 20

slide-26
SLIDE 26

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Example

p111wp2

000v − p100vp010vp001w

p111w − p100...0p010...0p001w 1 2 3

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 17 / 20

slide-27
SLIDE 27

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Example

p111wp2

000v − p100vp010vp001w

p111w − p100...0p010...0p001w 1 2 3 4

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 17 / 20

slide-28
SLIDE 28

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Example

p111wp2

000v − p100vp010vp001w

p111w − p100...0p010...0p001w 1 2 3 4

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 17 / 20

slide-29
SLIDE 29

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Discussion

Can we classify all possible ways of generating the cubics of a particular form so we can identify a 1-piercing from any generating set of the toric ideal? Which codes realizable in 2 dimensions are well-formed? Can we identify which neurons potentially form a 2-piercing?

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 18 / 20

slide-30
SLIDE 30

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Discussion

Can we classify all possible ways of generating the cubics of a particular form so we can identify a 1-piercing from any generating set of the toric ideal? Which codes realizable in 2 dimensions are well-formed? Can we identify which neurons potentially form a 2-piercing?

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 18 / 20

slide-31
SLIDE 31

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Discussion

Can we classify all possible ways of generating the cubics of a particular form so we can identify a 1-piercing from any generating set of the toric ideal? Which codes realizable in 2 dimensions are well-formed? Can we identify which neurons potentially form a 2-piercing?

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 18 / 20

slide-32
SLIDE 32

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Acknowledgments

Special thanks to Molly Hoch

  • Dr. Anne Shiu

Nida Obatake Ola Sobieska Jonathan Tyler The National Science Foundation Texas A&M University

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 19 / 20

slide-33
SLIDE 33

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Thank You!

Samuel Muthiah (Westmont College) Inductively Pierced Codes and Toric Ideals July 17, 2017 20 / 20