Part III
Irrelevant Topics in Physics
What is Irrelevant?• Questions the tools we use in physics so
indiscriminately
• Relax assumptions
• Enjoy physics outside the confines of our ‘research’.
Today's Topics• Cardinality of Infinity
– Cantor’s crazy continuum counting
• Negative Probabilities– An homage to lateral thinking
• A Solution to Graph Isomorphism– What train-hopping hobos can teach us
• Reconsider the absolute value |x|– For physicists -> distance
– More than one type of norm L1,L2,L3,L_infinty ...– For Set Theorists -> counting, known as the
cardinality of the set
Absolute beginnings
2 2 32 1 2 3| | || A x x xL
• Simple for finite sets
Absolute Examples
|{1,7,8,10} | 4
|{' ', ' ' '} | 3,dog cat fish |{} | 0
| ||{1,7,8,10} |{' ', ' ', '}dog cat fish
• What about infinite sets?
• Only comparisons can be made now
• Sets are equal, iff they can be put in a one-to-one correspondence with each other
Absolute Infinity
|{ } |{natural numbers| | ?}
• Even numbers have the same cardinality as the natural numbers
• Holds for all infinite partitions of the natural numbers (odds, divisible by 13, primes, etc...)
Absolute Natural
2 0|{ } |{ }| |
2 1
4 2
6 3
8 4
• Rational numbers also have the same cardinality as the natural numbers!
Omit the repeats to get
the sequence
These sets are known as countable
Absolute Rational
{ }|} || |{
• Do all infinite sets have the same cardinality? NO! There are more reals then rationals!
• Any subset of the real numbers ie. [0,1] can be put in correspondence with any other subset, or even the entire line.
• The [=?] above is known as the continuum hypothesis, which can neither be proved or disproved when assuming the axiom of choice
Absolute (un)Real
0 ?1|{ } |{ }| | 2
• Proof by contradiction, assume a mapping exists, for example take:
Absolute (un)Real
1 .47382474...
2 .12030249...
3 .24985283...
4 .85472378...
Each real on the right is infinite, and the length of this list is also infinite.
Take a diagonal of the list:.4297.....
Add one to each of the numbers (mod 10).5308....
This new number is NOT on the list above, as it differs from the first digit for the first number, second digit for the second number, etc...
• The cardinality of the square is equal to a line segment.
• Higher order cardinalities exists by taking multisets, ie. The set of all sets:
Absolute Crazy
2|{ } }| ||{
{{},{1},{2},{3},{1,2},
{1,
(
3},{2,3},{1,2,3
{1,2,3}
}
)
}
multiset
• Does this have an impact on physics?
– Sets of higher order then the real numbers have never found use in physics.
– However, the language of quantum mechanics uses discrete (quanta of energy, spin, ...) and continuous variables (position, momenta, ...).
Absolute Irrelevant
Negative Probabilities• Relax the assumption that each
probability must be positive, however still enforce that the sum of all events must be unity.
• Consider a concrete example of a roulette wheel with two conditions:
Feynman’s Roulette
• The table is known to have two states,A,B and separate probabilities for each ofthe numbers coming up.
A (.7) B (.3)
1 0.3 -0.4
2 0.6 1.2
3 0.1 0.2
Feynman’s Roulette
1 (0.7)(0.3) (0.3)( 0.4) 0.09p
2 (0.7)(0.6) (0.3)(1.2) 0.78p
3 (0.7)(0.1) (0.3)(0.2) 0.13p
A (.7) B (.3)
1 0.3 -0.4
2 0.6 1.2
3 0.1 0.2
Negative Probabilities• Possible that the direct states of the
system are not observable, that is:
11
( (0.3)( 0.4)) 0.4
) 0.( |
3
)
( B
BB
P p pP p p
P p
Negative Probabilities• Why not rearrange the calculation or
theory so probabilities are positive in all intermediate states?– The accountant who subtracts all payments
before adding in the profits (intermediate sum can be negative).
– Nothing mathematically wrong with working with negative probabilities.
Hobos on a Train• From Wikipedia:
• Hobo is a term that refers to a subculture of wandering homeless people, particularly those who make a habit of hopping freight trains
Hobosumptions• Assume that occasionally, when a hobo wakes
up, he is unsure of his current location.
• As a survival instinct, he has memorized all the train schedules for each country.
• Wine has degraded his memory, and he only remembers the connections.
Hobomaps
• It is crucial when picking up a train schedule, no matter what country, to determine the lay of the land.
Notes from the Ivory Towers
• A mathematician would call the hobo-map an undirected, unlabeled simple graph, where the process for determining two graphs are the ‘same’ is known as graph isomorphism.
• Computationally, graph isomorphism is curious, it belongs to NP but it is not known to have a polynomial solution (P) nor is it NP-complete.
Invariants• An invariant is a graph property that can
(possibly) show two graphs different.
• Examples: number of nodes, degree sequence, number of edges, etc...
• Graphs with different invariants are not isomorphic; the converse is NOT true in general
Hoppe’s Invariant• I propose an invariant which I think is
also unique, that is, no two non-isomorphic graphs share the same invariant (working on this part).
• Moreover, the invariant is computable in polynomial time.
Adjacency MatrixA {0,1} symmetric matrix with 1 if nodes
i,j are joined by an edge
Generating functionsThis matrix has nice properties. Raised to
a power n the element i,j tells you the number of trips starting at i and ending at j of length n.
A generating function can be found that gives all the terms:
[ ]n ijA
det([ ] )( )
det( )ij
ij
I zAf z
I zA
Big-Oh! NotationThis step is assumed to
be a polynomial time operation. Finding the det. of matrix can be doing using LU decomposition O(x^3) by dividing and multiplying rows. When the matrix elements themselves are polynomials, the number of operations is surely increased, but (seems to be) bounded by polynomial time.
det([ ] )( )
det( )ij
ij
I zAf z
I zA
Symmetric NodesOnce each polynomial is found, it encodes
all the powers of A into it by taking higher terms of z. If two nodes share the property:
We will call them symmetric.
The unordered set is a graph
invariant:
( ) ( )jii jf z f z
{ ( ), 1.. }iif z i n
ex. Symmetric Nodes
2 3 4 5 6(1 3 3 18 30 )z z z z O z
2 3 4
2 3 4 6
1 4 3 2
1 7 3 8
z z z z
z z z z z
( )iif z
HobomorphismThe question then is:
Does this set uniquely define a graph? Ie. Can one produce a graph simply by knowing how many walks of length n lead back home for all n and for all nodes?
If so, the graph isomorphism problem has a polynomial time solution.
{ ( ), 1.. }iif z i n
Hobos and YOUWhy graph isomorphism?
Computationally an unsolved problem
Chemical structure evaluation
Symmetric groups for coupled Josephson-Junction systems (cf. Sam Kennerly)
Discrete mathematics: generalized knights tours, Rubik’s Cube solutions, etc...
Solid state lattice structures
Ability to successfully navigate train schedules