24
Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University [email protected]

Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University [email protected]

  • View
    216

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

Automated Search for Conserved Quantities in Particle Reactions

Oliver SchulteSchool of Computing ScienceSimon Fraser [email protected]

Page 2: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 2

Outline

What’s this about?Finding conserved quantities in particle reactions Algorithm Data Findings

Introducing extra particles to fit the data better

Page 3: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 3

CS Goals

• Basic research (good enough): Write programs that match the theories from physics.

• Previous work:

• Kobacas, Valdes-Perez on discovering selection rules.

• Valdes-Perez, Zytkow on (re)discovering particle substructure (Physical Review E, 1996)

• Practical use (icing on the cake): analyze data to help with new discoveries.

Page 4: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 4

The Goal: Find Absolutely Conserved Quantities

Omnes (1971), Introduction to Particle Physics.

“The method [of assigning quantum numbers] is rather lengthy … so that we give the procedure in detail, once and for all.”

Want a program for assigning quantum numbers.

Page 5: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 5

Basic Principle: Disallow as much as you can

• Leon Cooper (1970). “In the analysis of events among these new particles, where the forces are unknown and the dynamical analysis, if they were known, is almost impossibly difficult, one has tried by observing what does not happen to find selection rules, quantum numbers, and thus the symmetries of the interactions that are relevant.”

• Kenneth Ford (1965). “Everything that can happen without violating a conservation law does happen.”

Page 6: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 6

How much can we rule out?

- - + n

- - +

- e- + + e

n e- + e + p

p + p p + p +

observed reactions not yet observed reactions

n e- + e

p + p p + p + +

can’t rule out

Hypothetical Scenario

Page 7: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 7

The Vector Representation for Reactions

• Fix n particles.

• Reaction n-vector: list net occurrence of each particle.

1 2 3 4 5 6 7

Process p 0 - e+ e- e - e- + + e 0 0 1 0 -1 -1 -1

p e+ + 0 1 -1 0 -1 0 0 0

p + p p + p + 0 0 -1 0 0 0 0 0

Page 8: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 8

Conserved Quantities in Vector Space

1 2 3 4 5 6 7

Process p 0 - e+ e- e - e- + + e 0 0 1 0 -1 -1 -1

p e+ + 0 1 -1 0 -1 0 0 0

p + p p + p + 0 0 -1 0 0 0 0 0

Baryon Number 1 0 0 0 0 0 0

Electric Charge 1 0 -1 1 -1 0 0

Page 9: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 9

Conserved Quantities are in the Null Space of Observed Reactions

Let q be the vector for a quantum number, r for a reaction.Then q is conserved in r q r = 0.Let Q be a matrix of quantities. Then Qr = 0 r is allowed by Q.So: if r1, …, rk are allowed, so is any linear combination . i 1

k akrk

Page 10: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 10

Maximally strict selection rules = basis for nullspace of observations

• Defn: A list of selection rules Q is maximally strict nullspace(Q) = span(R).

• Proposition: Q is maximally strict span(Q) = R.

Page 11: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 11

System for Finding a Maximally Strict Set of Selection Rules

Read in Observed Reactions

Convert to list of vectors R

Compute basis Q for nullspace R

from database

using conversion utility

Maple function nullspace

Page 12: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 12

The Data: Particles

• Particles from Review of Particle Physics

• Total 193 particles

• Separate entries for particle and anti-particles

• e.g., p, p = 2 entries

• One entry for same type, different masses

• e.g., just one entry for Σ(1385), Σ(1670)

Page 13: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 13

The Data: Reactions

• At least one decay for each particle with a decay mode.

• Particle utility converts to vector representation.

Page 14: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 14

Why Decays?

Wanted: linearly independent reactions.Proposition: Decays of distinct particles are linearly independent.

1 2 3 4 5 6 7 8

Process + 0

e-

e γ

+ + + 1 0 -1 0

0 γ + γ 0 1 0 0 - e- + + e 0 0 -1 0 -1 -1 -1 0

Page 15: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 15

# independent quantities # unstable particles

Defn. A particle is stable if it has no decay mode, e.g., , e , e ,p, p ,ve, ve, v ,v ,v ,vProposition Fix n particles, allowed reactions R.

1. dim(R) n - # unstable particles

2. # independent conserved quantities # stable particles

• e.g. n = 193 particles, 11 stable 11 conserved quantities

• because of antiparticles, can be improved to 6 conserved quantities

Page 16: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 16

Finding #1

{Baryon#, E. Charge, Muon#, Electron#, Tau#} is basis for nullspace of possible reactions.

1. Output of Program is equivalent classifier to standard rules.

2. All absolutely conserved quantum numbers are linear combinations of {Baryon#, E. Charge, Muon#, Electron#,

Tau#} e.g., Lepton# = Muon# + Electron# + Tau#

Page 17: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 17

Finding #2

Program matches particle-antiparticle pairings.There is an analytic explanation.

Page 18: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 18

Finding #3

Different runs seem to produce version of the lepton family lawse.g., {- Muon#, - Electron#, -Tau#}.No analytic explanation.

Page 19: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 19

More Particles can lead to stricter Conservation Principles

Well-known example: if e = e, then n + n p + p + e- + e- should be possible.(Williams Ch.12.2).

Page 20: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 20

When do more particles lead to stricter Conservation Principles?

Theorem An extra particle yields stricter selection rules for a set of reactions R there is a reaction r such that

1. r is a linear combination of R

2. but only with fractional coefficients.

h id d e n p a rt ic le s

N oh id d e n p a rt ic le s

o b s e rv e d tra n s itio n s

lin e a r c o m b in a tio n sw ith in te g e r c o e ff ic ie n ts

lin e a r c o m b in a tio n sw ith f ra c tio n a l c o e ff ic ie n ts

Page 21: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 21

Hidden Particles, Finding #1

The standard selection rules are maximally strict with respect to transitions among nonneutrinos.

Page 22: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 22

Critical Reaction for e e Discovered by Computer

Finding if e = e , then the process Υ + Λ0 p + e- cannot be ruled out with selection rules.

coefficient observed process ½ Y + + - ½ Y e+ + e- ½ Λ0 p + e + e- ½ Λ0 p + - ½ - - + -½ + e+ + e +

unobserved Υ + Λ0 p + + + - + e-

Page 23: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 23

Conclusions

Program computes maximally strict set of selection rules.Good match with {Baryon#, E. Charge, Muon#, Electron#, Tau#} Classifies reactions as possible or

impossible in exact agreement. Reproduces particle-antiparticle pairings

Extra particle: Computes a critical experiment to test if e = e .

Page 24: Automated Search for Conserved Quantities in Particle Reactions Oliver Schulte School of Computing Science Simon Fraser University oschulte@cs.sfu.ca

SFU Particle Physics Group 24

Further Work

Search for partially conserved quantities like strangeness.Historical Analysis of Data (R. Coleman).Pitch: looking for coauthor/proofreader for interdisciplinary or physics publication.