WolframAlpha.com
WolframCloud.com
All Sites & Public Resources...
Products & Services
Wolfram|One
Mathematica
Wolfram|Alpha Notebook Edition
Finance Platform
System Modeler
Wolfram Player
Wolfram Engine
WolframScript
Enterprise Private Cloud
Application Server
Enterprise Mathematica
Wolfram|Alpha Appliance
Enterprise Solutions
Corporate Consulting
Technical Consulting
Wolfram|Alpha Business Solutions
Resource System
Data Repository
Neural Net Repository
Function Repository
Wolfram|Alpha
Wolfram|Alpha Pro
Problem Generator
API
Data Drop
Products for Education
Mobile Apps
Wolfram Player
Wolfram Cloud App
Wolfram|Alpha for Mobile
Wolfram|Alpha-Powered Apps
Services
Paid Project Support
Wolfram U
Summer Programs
All Products & Services »
Technologies
Wolfram Language
Revolutionary knowledge-based programming language.
Wolfram Cloud
Central infrastructure for Wolfram's cloud products & services.
Wolfram Science
Technology-enabling science of the computational universe.
Wolfram Notebooks
The preeminent environment for any technical workflows.
Wolfram Engine
Software engine implementing the Wolfram Language.
Wolfram Natural Language Understanding System
Knowledge-based broadly deployed natural language.
Wolfram Data Framework
Semantic framework for real-world data.
Wolfram Universal Deployment System
Instant deployment across cloud, desktop, mobile, and more.
Wolfram Knowledgebase
Curated computable knowledge powering Wolfram|Alpha.
All Technologies »
Solutions
Engineering, R&D
Aerospace & Defense
Chemical Engineering
Control Systems
Electrical Engineering
Image Processing
Industrial Engineering
Mechanical Engineering
Operations Research
More...
Finance, Statistics & Business Analysis
Actuarial Sciences
Bioinformatics
Data Science
Econometrics
Financial Risk Management
Statistics
More...
Education
All Solutions for Education
Trends
Machine Learning
Multiparadigm Data Science
Internet of Things
High-Performance Computing
Hackathons
Software & Web
Software Development
Authoring & Publishing
Interface Development
Web Development
Sciences
Astronomy
Biology
Chemistry
More...
All Solutions »
Learning & Support
Learning
Wolfram Language Documentation
Fast Introduction for Programmers
Wolfram U
Videos & Screencasts
Wolfram Language Introductory Book
Webinars & Training
Summer Programs
Books
Need Help?
Support FAQ
Wolfram Community
Contact Support
Premium Support
Paid Project Support
Technical Consulting
All Learning & Support »
Company
About
Company Background
Wolfram Blog
Events
Contact Us
Work with Us
Careers at Wolfram
Internships
Other Wolfram Language Jobs
Initiatives
Wolfram Foundation
MathWorld
Computer-Based Math
A New Kind of Science
Wolfram Technology for Hackathons
Student Ambassador Program
Wolfram for Startups
Demonstrations Project
Wolfram Innovator Awards
Wolfram + Raspberry Pi
Summer Programs
More...
All Company »
Search
WOLFRAM COMMUNITY
Connect with users of Wolfram technologies to learn, solve problems and share ideas
Join
Sign In
Dashboard
Groups
People
Message Boards
Answer
(
Unmark
)
Mark as an Answer
GROUPS:
Staff Picks
Wolfram Science
Mathematics
Physics
Discrete Mathematics
Geometry
Graphs and Networks
Wolfram Language
Wolfram Summer School
Wolfram Function Repository
3
Jean du Plessis
[WWS21] Geometric constructions in discrete non-integer dimensional spaces
Jean du Plessis, Stellenbosch University
Posted
1 year ago
2720 Views
|
2 Replies
|
3 Total Likes
Follow this post
|
Standard differential geometry takes place on differentiable manifolds, which have constant, integer dimensions by construction. This is too constricting for the case where you need to deal with a discrete space which can limit to non-integer dimensional space, such as in Wolfram Models. Especial difficulty arises for the tensor formalism of differential geometry, whose indices takes integer values, corresponding to the integer dimensions of the manifold. It is expected that there will be multiple ways to define dot products, which leads to different definitions of orthonormality, which will expectedly have cascading implications for formulating definitions of curvature, tangent spaces and other features from standard differential geometry. This project will construct some definitions of an inner product of vectors in Wolfram Models and explore some of the consequences and features that come from it.
Introduction
The concept of vectors is essential for constructing geometric formalisms in any space. Notions from Differential Geometry such as tangent spaces, parallel transport, a connection and more depend on a solid understanding of what vectors are. In a continuous space this is all well established and understood, and even in some discrete settings there have been work on defining and exploring it. The problem, however, comes when working in an arbitrary discrete space, which can also potentially have non-integer dimensions. Considering the scales that most vectors will operate on, and considering that dimension and curvature are statistical features that emerge from larger scale space, care was taken to make no assumption on curvature or dimension. In certain sections where readers might be worried that curvature could interfere, short explanations as to how it is avoided is given where possible. The generality obtained from this approach should also be of great value when studying spaces with fractal, or even varying dimension. The document here is meant as preliminary results, to be taken further in constructing a full theory of geometry on these discrete scales.
Throughout various graphs will be used to show the ideas laid out. One that will be used extensively comes directly from the Wolfram Model, and is generated by a rule also used by Gorard. It is convenient since it is easy to visualise, and limits to something analogous to flat 2D space. The reader is however encouraged to substitute in graphs of their own to verify that the results obtained are general.
Initializing a graph that will be used repeatedly:
w
m
=
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
W
o
l
f
r
a
m
M
o
d
e
l
"
]
;
h
t
g
=
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
H
y
p
e
r
g
r
a
p
h
T
o
G
r
a
p
h
"
]
;
g
r
p
h
=
U
n
d
i
r
e
c
t
e
d
G
r
a
p
h
[
S
i
m
p
l
e
G
r
a
p
h
[
h
t
g
[
w
m
[
{
{
x
,
y
,
y
}
,
{
z
,
x
,
u
}
}
{
{
y
,
v
,
y
}
,
{
y
,
z
,
v
}
,
{
u
,
v
,
v
}
}
,
{
{
1
,
1
,
1
}
,
{
1
,
1
,
1
}
}
,
5
0
0
]
[
"
F
i
n
a
l
S
t
a
t
e
"
]
]
]
]
O
u
t
[
]
=
Initializing a graph that limits to a fractal dimension:
f
r
a
c
=
U
n
d
i
r
e
c
t
e
d
G
r
a
p
h
[
S
i
m
p
l
e
G
r
a
p
h
[
h
t
g
[
w
m
[
{
{
{
1
,
2
,
3
}
,
{
1
,
4
,
5
}
}
{
{
2
,
3
,
6
}
,
{
2
,
3
,
6
}
,
{
5
,
2
,
6
}
}
}
,
{
{
1
,
1
,
1
}
,
{
1
,
1
,
1
}
}
,
5
0
0
]
[
"
F
i
n
a
l
S
t
a
t
e
"
]
]
]
]
O
u
t
[
]
=
Vectors
This project will consider three different ways of defining vectors in graphs (and generalizable to hypergraphs and possibly other discrete spaces).
1) Geodesic vectors
One way to see vectors is as a geodesic from the origin vertex to a destination vertex, with the length of the vector then also corresponding to the geodesic's length. These vectors are completely described be an ordered set of vertices connected by edges {
v
i
,
v
2
,..,
v
f
}.
Showing one possible geodesic between two given vertices, unique from other geodesics between the same vertices.
p
1
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
4
3
,
1
9
7
]
;
p
2
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
f
r
a
c
,
5
9
,
2
7
7
]
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
p
h
,
J
o
i
n
[
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
p
1
]
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
f
r
a
c
,
J
o
i
n
[
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
p
2
]
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
O
u
t
[
]
=
O
u
t
[
]
=
2)Vertex vectors
Here we define vectors by only specifying the origin and terminal vertex, with the length of the vector corresponding to the geodesic length between the vertices, but there is no specification of which geodesic corresponds to the vector. These vectors are completely described by an ordered pair of vertices {
v
i
,
v
f
}.
Showing that only the initial and final vertices matter for this definition.
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
p
h
,
{
1
4
3
,
1
9
7
}
,
V
e
r
t
e
x
S
i
z
e
4
]
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
p
h
,
1
4
3
,
1
9
7
]
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
f
r
a
c
,
{
5
9
,
2
7
7
}
,
V
e
r
t
e
x
S
i
z
e
4
]
G
r
a
p
h
D
i
s
t
a
n
c
e
[
f
r
a
c
,
5
9
,
2
7
7
]
O
u
t
[
]
=
O
u
t
[
]
=
4
O
u
t
[
]
=
O
u
t
[
]
=
6
3)Abstract length vertex vectors
Abstract length vertex vectors are very similar to normal vertex vectors, except we only take the vertex pair to specify something analogous to direction, with the length of the vector needing to be specified separately. These vectors are completely described by an ordered pair of vertices, and a specified length {{
v
i
,
v
f
},l}. We can expect some degeneracy, since choosing vertices to indicate direction, is analogous to choosing a point in
n
to specify a unit vector. Showing that multiple vertices in a graph will correspond to the same result of dot products with arbitrary vectors is something that should be possible, but is not attempted here. There is however no obvious reason for this to be true or false in the general case. Therefore no assumptions about the uniqueness of vectors will be made in this analysis. Note also that there is no intrinsic requirement that the abstract length be real, integer or even a number for that matter. Assumptions about the properties of the field over which the length is constructed will be stated where necessary, although these assumptions are only necessary for the given result, not in general. If we were to restrict the abstract length to be equal to the graph distance between the two vertices considered, we can force this construction to be equivalent to the normal vertex vectors. This is therefore a very neat generalisation, that yields some nice extra properties explored below.
Dot product
Here we will explore possible ways of defining the dot product for the given definitions of vectors
1)Geodesic vectors
Given the structure we get from defining vectors as geodesics, it allows us a unique construction of the dot product, analogous to dropping a perpendicular from one vector to the other, and then multiplying the length of the projected vector by the length of the vector projected onto to get the dot product. One problem that is immediately apparent, is that there might be multiple legitimate perpendiculars (of equal length) that would lead to different dot products. Here the convention of picking the one with the largest result is chosen.
Represent perpendicular dropped between two vectors, and calculate the dot product between them :
p
1
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
4
3
,
1
9
7
]
;
p
2
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
4
3
,
2
1
8
]
;
p
3
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
9
7
,
2
0
0
]
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
p
h
,
{
J
o
i
n
[
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
p
1
]
,
S
t
y
l
e
[
J
o
i
n
[
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
p
2
]
]
,
S
t
y
l
e
[
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
d
t
=
0
;
s
h
r
t
=
I
n
f
i
n
i
t
y
;
l
1
=
L
e
n
g
t
h
[
p
1
]
-
1
;
e
1
=
p
1
[
[
l
1
+
1
]
]
;
F
o
r
[
i
=
L
e
n
g
t
h
[
p
2
]
,
i
≥
1
,
i
-
-
,
I
f
[
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
p
h
,
e
1
,
p
2
[
[
i
]
]
]
<
s
h
r
t
,
s
h
r
t
=
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
p
h
,
e
1
,
p
2
[
[
i
]
]
]
;
d
t
=
(
i
-
1
)
*
l
1
;
]
]
;
P
r
i
n
t
[
"
T
h
e
d
o
t
p
r
o
d
u
c
t
h
e
r
e
i
s
:
"
,
d
t
]
O
u
t
[
]
=
T
h
e
d
o
t
p
r
o
d
u
c
t
h
e
r
e
i
s
:
1
2
There are some obvious issues to this definition. The most severe is that the dot product between vectors with angle more than 90
°
between them will be 0. There is also the issue that this dot product does not neccesarily commute, and that it sometimes won't give well behaved answers if the perpendicular is dropped from a long vector to one significantly shorter. A possible remedy for both these issues would be to define that the perpendicular is always dropped to the longer vector, although equal lengthed vectors might still not commute. All of this will be covered in the analysis below.
2)Vertex vectors
H
e
r
e
w
e
d
o
n
'
t
h
a
v
e
t
h
e
n
i
c
e
s
t
r
u
c
t
u
r
e
o
f
g
e
o
d
e
s
i
c
s
t
o
w
o
r
k
w
i
t
h
,
s
o
s
o
m
e
t
h
i
n
g
a
b
i
t
m
o
r
e
a
b
s
t
r
a
c
t
w
i
l
l
b
e
n
e
c
e
s
s
a
r
y
.
W
e
c
a
n
u
s
e
a
m
e
t
h
o
d
a
n
a
l
o
g
o
u
s
t
o
t
h
e
c
o
s
i
n
e
r
u
l
e
i
n
e
u
c
l
i
d
e
a
n
g
e
o
m
e
t
r
y
,
a
n
d
m
o
t
i
v
a
t
e
t
h
a
t
i
t
w
o
u
l
d
b
e
v
a
l
i
d
e
v
e
n
i
n
t
h
e
p
r
e
s
e
n
c
e
o
f
c
u
r
v
a
t
u
r
e
.
c
μ
=
a
μ
-
b
μ
c
μ
μ
c
=
(
a
μ
-
b
μ
)
(
μ
a
-
μ
b
)
|
|
c
2
|
|
=
|
|
a
2
|
|
+
|
|
b
2
|
|
-
a
μ
μ
b
+
μ
a
b
μ
2
g
μ
ν
μ
a
ν
b
=
|
|
a
2
|
|
+
|
|
b
2
|
|
-
|
|
c
2
|
|
a
•
b
=
|
|
a
2
|
|
+
|
|
b
2
|
|
-
|
|
c
2
|
|
2
T
h
i
s
a
l
l
o
w
s
u
s
t
o
o
n
l
y
u
s
e
d
i
s
t
a
n
c
e
s
,
w
h
i
c
h
a
r
e
w
e
l
l
d
e
f
i
n
e
d
o
n
a
g
r
a
p
h
.
(
T
h
i
s
i
s
n
o
t
m
e
a
n
t
t
o
b
e
a
r
i
g
o
r
o
u
s
p
r
o
o
f
,
i
t
i
s
r
a
t
h
e
r
a
m
o
t
i
v
a
t
i
o
n
f
o
r
e
x
p
l
o
r
i
n
g
t
h
e
c
o
n
s
e
q
u
e
n
c
e
s
o
f
p
o
s
t
u
l
a
t
i
n
g
t
h
i
s
d
e
f
i
n
i
t
i
o
n
)
Define a function to compute the dot product between two vertex vectors
I
n
[
]
:
=
v
e
r
t
e
x
d
o
t
[
g
r
a
p
h
_
,
o
r
_
,
v
1
_
,
v
2
_
]
:
=
(
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
a
p
h
,
o
r
,
v
1
]
^
2
+
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
a
p
h
,
o
r
,
v
2
]
^
2
-
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
a
p
h
,
v
1
,
v
2
]
^
2
)
/
2
Represent ' triangle' formed by two vectors, and calculate the dot product between them :
v
1
=
{
1
4
3
,
1
9
7
}
;
v
2
=
{
1
4
3
,
2
1
8
}
;
p
1
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
4
3
,
1
9
7
]
;
p
2
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
4
3
,
2
1
8
]
;
p
3
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
9
7
,
2
1
8
]
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
p
h
,
{
J
o
i
n
[
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
v
1
]
,
J
o
i
n
[
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
v
2
]
,
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
D
o
t
t
e
d
"
,
V
e
r
t
e
x
S
i
z
e
3
]
P
r
i
n
t
[
"
T
h
e
d
o
t
p
r
o
d
u
c
t
i
s
:
"
,
v
e
r
t
e
x
d
o
t
[
g
r
p
h
,
v
1
[
[
1
]
]
,
v
1
[
[
2
]
]
,
v
2
[
[
2
]
]
]
]
O
u
t
[
]
=
T
h
e
d
o
t
p
r
o
d
u
c
t
i
s
:
8
Another possibility arises, in which we can construct something between vertex vectors and geodesic vectors, wherein we identify a vector as the set of
all
geodesics between two given vertices, where we can take the dot product to be the average of the geodesic dot products between the corresponding sets of geodesics. This can, of course, become extremely computationally expensive for vectors with high geodesic degeneracy, even though they should converge in the limit. It is therefore more of a conceptual tool than a suggestion for a way to practically compute dot products. It also inherits most of the problems of the normal geodesic dot products. We will, however, use this conceptual tool extensively in the section discussing the continuum limits, since it is easy to see how both geodesic- and vertex vectors converge to it. Studying
this
construction’s characteristic behaviour, therefore, is analogous to studying the behaviour of the other constructions.
Showing the multiple possible geodesics possible between two given vertices
w
m
=
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
W
o
l
f
r
a
m
M
o
d
e
l
"
]
;
h
t
g
=
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
H
y
p
e
r
g
r
a
p
h
T
o
G
r
a
p
h
"
]
;
r
l
=
{
{
{
1
,
1
,
2
}
,
{
1
,
3
,
4
}
}
{
{
4
,
4
,
3
}
,
{
2
,
5
,
3
}
,
{
2
,
5
,
3
}
}
}
;
g
r
p
h
2
=
U
n
d
i
r
e
c
t
e
d
G
r
a
p
h
[
S
i
m
p
l
e
G
r
a
p
h
[
h
t
g
[
w
m
[
r
l
,
{
{
1
,
1
,
1
}
,
{
1
,
1
,
1
}
}
,
2
5
0
]
[
"
F
i
n
a
l
S
t
a
t
e
"
]
]
]
]
;
v
1
=
1
;
v
2
=
9
7
;
p
t
h
=
F
i
n
d
P
a
t
h
[
g
r
p
h
2
,
v
1
,
v
2
,
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
p
h
2
,
v
1
,
v
2
]
,
A
l
l
]
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
p
h
2
,
T
a
b
l
e
[
J
o
i
n
[
T
a
b
l
e
[
p
t
h
[
[
i
]
]
[
[
j
]
]
p
t
h
[
[
i
]
]
[
[
j
+
1
]
]
,
{
j
,
1
,
L
e
n
g
t
h
[
p
t
h
[
[
i
]
]
]
-
1
}
]
,
p
t
h
[
[
i
]
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
t
h
]
}
]
,
V
e
r
t
e
x
S
i
z
e
2
]
O
u
t
[
]
=
3)Abstract length vertex vectors
W
e
c
a
n
m
o
d
i
f
y
t
h
e
d
o
t
p
r
o
d
u
c
t
d
e
r
i
v
e
d
f
o
r
t
h
e
p
r
e
v
i
o
u
s
c
a
s
e
b
y
d
i
s
t
i
n
g
u
i
s
h
i
n
g
b
e
t
w
e
e
n
g
r
a
p
h
d
i
s
t
a
n
c
e
(
d
e
n
o
t
e
d
|
|
a
|
|
f
o
r
e
x
a
m
p
l
e
)
a
n
d
v
e
c
t
o
r
l
e
n
g
t
h
(
d
e
n
o
t
e
d
l
a
f
o
r
e
x
a
m
p
l
e
)
.
T
h
i
s
g
i
v
e
s
t
h
e
f
o
l
l
o
w
i
n
g
f
o
r
m
u
l
a
:
a
•
b
=
l
a
l
b
|
|
a
2
|
|
+
|
|
b
2
|
|
-
|
|
c
2
|
|
2
|
|
a
|
|
|
|
b
|
|
Define a function to compute the dot product between two abstract length vertex vectors
I
n
[
]
:
=
a
b
s
d
o
t
[
g
r
a
p
h
_
,
o
r
_
,
v
1
_
,
v
2
_
,
l
1
_
,
l
2
_
]
:
=
(
(
l
1
*
l
2
)
/
(
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
a
p
h
,
o
r
,
v
1
]
*
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
a
p
h
,
o
r
,
v
2
]
)
)
*
(
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
a
p
h
,
o
r
,
v
1
]
^
2
+
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
a
p
h
,
o
r
,
v
2
]
^
2
-
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
a
p
h
,
v
1
,
v
2
]
^
2
)
/
2
Represent the ‘triangle’ formed by two vectors(recall we defined abstract length vectors in terms of the initial and final vertices, as well as an abstract length, denoted {{
v
i
,
v
f
},l}), and calculate the dot product between them:
v
1
=
{
{
1
4
3
,
1
9
7
}
,
8
}
;
v
2
=
{
{
1
4
3
,
2
1
8
}
,
3
}
;
p
1
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
4
3
,
1
9
7
]
;
p
2
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
4
3
,
2
1
8
]
;
p
3
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
r
p
h
,
1
9
7
,
2
1
8
]
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
p
h
,
{
J
o
i
n
[
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
v
1
[
[
1
]
]
]
,
J
o
i
n
[
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
v
2
[
[
1
]
]
]
,
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
D
o
t
t
e
d
"
,
V
e
r
t
e
x
S
i
z
e
3
]
P
r
i
n
t
[
"
T
h
e
d
o
t
p
r
o
d
u
c
t
i
s
:
"
,
a
b
s
d
o
t
[
g
r
p
h
,
v
1
[
[
1
]
]
[
[
1
]
]
,
v
1
[
[
1
]
]
[
[
2
]
]
,
v
2
[
[
1
]
]
[
[
2
]
]
,
v
1
[
[
2
]
]
,
v
2
[
[
2
]
]
]
]
O
u
t
[
]
=
T
h
e
d
o
t
p
r
o
d
u
c
t
i
s
:
1
2
The reader is encouraged to edit the code above to see for example that the geodesic vector dot product and the abstract vertex vector dot product will not be equal in the general case.
Features of the respective dot products
1) Geodesic vectors
Commutativity
First we can quite easily construct a hypothetical subgraph that shows that the geodesic approach does not commute in general.
Construct a counterexample showing that commutativity is not a general property of geodesic vectors:
g
=
G
r
a
p
h
[
{
{
1
,
2
}
,
{
2
,
3
}
,
{
3
,
4
}
,
{
4
,
5
}
,
{
5
,
6
}
,
{
6
,
7
}
,
{
7
,
1
2
}
,
{
1
,
8
}
,
{
8
,
9
}
,
{
9
,
1
0
}
,
{
1
0
,
1
1
}
,
{
1
1
,
1
2
}
,
{
1
2
,
1
3
}
,
{
1
3
,
1
4
}
}
]
;
p
1
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
,
1
,
5
]
;
p
2
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
,
1
,
1
4
]
;
p
3
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
,
5
,
1
2
]
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
,
{
J
o
i
n
[
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
p
1
]
,
J
o
i
n
[
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
p
2
]
,
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
O
u
t
[
]
=
Here when the perpendicular is dropped from the red vector onto the yellow vector we get a dot product of 35. If however we consider the perpendicular dropped from the yellow vector onto the red vector, we get a dot product of 16. If we identify the order of multiplication with the direction in which the perpendicular is dropped, this leads to the operation being non-commutative. This also shows a problem where there is a max value of the dot product, which is the square of the length of the vector projected onto. We can make the ad-hoc choice to always project onto the longer vector, which reduces the problem to cases where the vectors are of equal length shown below.
Construct a counterexample showing that commutativity is not a general property of geodesic vectors, even with additional constraints:
g
=
G
r
a
p
h
[
{
{
1
,
2
}
,
{
2
,
3
}
,
{
3
,
4
}
,
{
4
,
5
}
,
{
5
,
6
}
,
{
6
,
7
}
,
{
7
,
1
2
}
,
{
1
,
8
}
,
{
8
,
9
}
,
{
9
,
1
0
}
,
{
1
0
,
1
1
}
,
{
1
1
,
1
2
}
,
{
1
2
,
1
3
}
,
{
1
3
,
1
4
}
,
{
5
,
1
5
}
,
{
1
5
,
1
6
}
,
{
1
6
,
1
7
}
}
]
;
p
1
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
,
1
,
1
7
]
;
p
2
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
,
1
,
1
4
]
;
p
3
=
F
i
n
d
S
h
o
r
t
e
s
t
P
a
t
h
[
g
,
1
4
,
1
7
]
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
,
{
J
o
i
n
[
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
p
1
]
,
J
o
i
n
[
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
p
2
]
,
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
O
u
t
[
]
=
Here when the perpendicular is dropped from the red vector onto the yellow vector we get a dot product of 35. If however we consider the perpendicular dropped from the yellow vector onto the red vector, we get a dot product of 28. So there is still ambiguity possible when the vectors are of equal length, which would require more ad-hoc
choices to remove.
Scalar multiplication
For geodesics on graphs, scalar multiplication is not unique in general.
Constructing a graph showing how scalar multiplication is not well behaved:
p
1
=
{
1
0
,
1
8
,
1
9
}
;
p
2
=
{
1
9
,
2
0
,
2
1
}
;
p
3
=
{
1
9
,
2
0
,
2
8
}
;
p
4
=
{
1
9
,
2
7
,
3
5
}
;
p
5
=
{
1
9
,
2
7
,
2
8
}
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
G
e
n
e
r
a
l
i
z
e
d
G
r
i
d
G
r
a
p
h
"
]
[
{
8
,
8
}
]
,
{
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
,
T
a
b
l
e
[
p
4
[
[
i
]
]
p
4
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
4
]
-
1
}
]
,
T
a
b
l
e
[
p
5
[
[
i
]
]
p
5
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
5
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
O
u
t
[
]
=
Here we can see that by multiplying the red geodesic by 2, there are multiple possible geodesics of length 4, that overlaps with the original. Therefore vectors as geodesics aren’t well behaved under scalar multiplication in general. We can also see that the dot product won’t be linear under a choice of scalar multiple, illustrated below, with respect to the brown and cyan geodesics.
Constructing an example showing that no result of scalar multiplication gives a satisfactory result in general (with regards to scalar multiplication under a dot product):
p
1
=
{
1
0
,
1
8
,
1
9
}
;
p
2
=
{
1
9
,
2
0
,
2
1
}
;
p
3
=
{
1
9
,
2
0
,
2
8
}
;
p
4
=
{
1
9
,
2
7
,
3
5
}
;
p
5
=
{
1
9
,
2
7
,
2
8
}
;
p
6
=
{
1
0
,
1
1
,
1
2
,
1
3
,
1
4
}
;
p
7
=
{
1
0
,
9
,
1
7
,
2
5
,
3
3
}
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
G
e
n
e
r
a
l
i
z
e
d
G
r
i
d
G
r
a
p
h
"
]
[
{
8
,
8
}
]
,
{
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
,
T
a
b
l
e
[
p
4
[
[
i
]
]
p
4
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
4
]
-
1
}
]
,
T
a
b
l
e
[
p
5
[
[
i
]
]
p
5
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
5
]
-
1
}
]
,
T
a
b
l
e
[
p
6
[
[
i
]
]
p
6
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
6
]
-
1
}
]
,
T
a
b
l
e
[
p
7
[
[
i
]
]
p
7
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
7
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
O
u
t
[
]
=
Tabulating the result of the dot products between geodesic vectors:
G
r
i
d
[
{
{
,
"
B
r
o
w
n
"
,
"
C
y
a
n
"
}
,
{
"
R
e
d
"
,
4
,
4
}
,
{
"
O
r
a
n
g
e
"
,
4
,
1
6
}
,
{
"
G
r
e
e
n
"
,
8
,
1
2
}
,
{
"
P
i
n
k
"
,
8
,
1
2
}
,
{
"
Y
e
l
l
o
w
"
,
1
2
,
0
}
}
,
F
r
a
m
e
-
>
A
l
l
]
O
u
t
[
]
=
B
r
o
w
n
C
y
a
n
R
e
d
4
4
O
r
a
n
g
e
4
1
6
G
r
e
e
n
8
1
2
P
i
n
k
8
1
2
Y
e
l
l
o
w
1
2
0
As we can see no geodesic extension will in general be double the dot product with a given geodesic vector, therefore geodesic vector dot products don’t respect scalar multiplication in general under any choice of geodesic extension.
Angles>90
°
It is easy to see that for vectors which are closer to being anti-parallel than parallel, the perpendicular dropped will be along the vector from which it is dropped(which is by definition a geodesic to the origin), such that its projected length will always be 0.
Nonnegative-definite
Since the dot product is the scalar multiple of 2 graph distances, which is always nonnegative, leading to a nonnegative-definite dot product,
not even only
in the case of the dot product with itself.
2) Vertex vectors
Commutativity
F
r
o
m
t
h
e
f
o
r
m
u
l
a
d
e
r
i
v
e
d
b
e
f
o
r
e
w
e
c
a
n
t
r
i
v
i
a
l
l
y
s
e
e
a
•
b
=
|
|
a
2
|
|
+
|
|
b
2
|
|
-
|
|
c
2
|
|
2
=
|
|
b
2
|
|
+
|
|
a
2
|
|
-
|
|
c
2
|
|
2
=
b
•
a
Scalar multiplication
The same difficulty of scalar multiplication arises as before, and we can see below that no choice of multiple satisfies what we want in the general case.
Constructing a graph showing how scalar multiplication is not well behaved :
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
G
e
n
e
r
a
l
i
z
e
d
G
r
i
d
G
r
a
p
h
"
]
[
{
8
,
8
}
]
,
{
{
1
0
,
1
9
}
,
{
2
1
}
,
{
2
8
}
,
{
3
5
}
,
{
1
4
}
,
{
3
3
}
}
,
V
e
r
t
e
x
S
i
z
e
0
.
3
]
O
u
t
[
]
=
Tabulating the result of the dot products between vertex vectors :
G
r
i
d
[
{
{
,
"
B
r
o
w
n
"
,
"
G
r
e
e
n
"
}
,
{
"
R
e
d
"
,
2
,
2
}
,
{
"
O
r
a
n
g
e
"
,
1
4
,
-
2
}
,
{
"
P
i
n
k
"
,
8
,
8
}
,
{
"
Y
e
l
l
o
w
"
,
-
2
,
1
4
}
}
,
F
r
a
m
e
-
>
A
l
l
]
O
u
t
[
]
=
B
r
o
w
n
G
r
e
e
n
R
e
d
2
2
O
r
a
n
g
e
1
4
-
2
P
i
n
k
8
8
Y
e
l
l
o
w
-
2
1
4
Angles>90
°
We can already see that we get a negative result from the dot product where vectors presumably have more than 90
°
between them above (for the dot product between green and orange, or between brown and yellow for example).
Nonnegative-definite
S
t
a
r
t
i
n
g
f
r
o
m
t
h
e
f
o
r
m
u
l
a
f
o
r
a
d
o
t
p
r
o
d
u
c
t
a
•
a
=
|
|
a
2
|
|
+
|
|
a
2
|
|
-
|
|
c
2
|
|
2
=
|
|
a
2
|
|
s
i
n
c
e
t
h
e
d
i
s
t
a
n
c
e
b
e
t
w
e
e
n
t
h
e
e
n
d
v
e
r
t
i
c
e
s
w
i
l
l
b
e
t
r
i
v
i
a
l
l
y
0
.
S
i
n
c
e
g
r
a
p
h
l
e
n
g
t
h
s
a
r
e
a
l
w
a
y
s
p
o
s
i
t
i
v
e
i
n
t
e
g
e
r
s
,
|
|
a
2
|
|
i
s
a
l
w
a
y
s
n
o
n
n
e
g
a
t
i
v
e
.
3)Abstract length vertex vectors
Commutativity
I
t
i
s
o
n
c
e
a
g
a
i
n
e
a
s
y
t
o
s
h
o
w
t
h
a
t
a
•
b
=
l
a
l
b
|
|
a
2
|
|
+
|
|
b
2
|
|
-
|
|
c
2
|
|
2
|
|
a
|
|
|
|
b
|
|
=
l
b
l
a
|
|
b
2
|
|
+
|
|
a
2
|
|
-
|
|
c
2
|
|
2
|
|
b
|
|
|
|
a
|
|
=
b
•
a
a
s
l
o
n
g
a
s
l
a
a
n
d
l
b
c
o
m
m
u
t
e
.
Scalar multiplication
H
e
r
e
i
s
w
h
e
r
e
t
h
e
s
t
r
e
n
g
t
h
o
f
t
h
e
a
b
s
t
r
a
c
t
l
e
n
g
t
h
f
o
r
m
u
l
a
t
i
o
n
o
f
v
e
c
t
o
r
s
.
S
c
a
l
a
r
m
u
l
t
i
p
l
i
c
a
t
i
o
n
h
e
r
e
k
e
e
p
s
t
h
e
v
e
r
t
i
c
e
s
t
h
e
s
a
m
e
,
a
n
d
o
n
l
y
c
h
a
n
g
e
s
t
h
e
a
b
s
t
r
a
c
t
l
e
n
g
t
h
:
(
r
a
)
•
b
=
(
r
l
a
)
l
b
|
|
a
2
|
|
+
|
|
b
2
|
|
-
|
|
c
2
|
|
2
|
|
a
|
|
|
|
b
|
|
=
r
l
a
l
b
|
|
a
2
|
|
+
|
|
b
2
|
|
-
|
|
c
2
|
|
2
|
|
a
|
|
|
|
b
|
|
=
r
(
a
•
b
)
Angles>90
°
All the results of the normal vertex vector construction applies here.
Nonnegative-definite
W
e
c
a
n
s
h
o
w
t
h
a
t
a
•
a
=
l
a
l
a
|
|
a
2
|
|
+
|
|
a
2
|
|
-
|
|
c
2
|
|
2
|
|
a
|
|
|
|
a
|
|
=
2
l
a
w
h
i
c
h
i
s
n
o
n
n
e
g
a
t
i
v
e
a
s
l
o
n
g
a
s
2
l
a
≥
0
Summary
Tabulating the results obtained above
G
r
i
d
[
{
{
,
"
G
e
o
d
e
s
i
c
v
e
c
t
o
r
s
"
,
"
V
e
r
t
e
x
v
e
c
t
o
r
s
"
,
"
A
b
s
t
r
a
c
t
l
e
n
g
t
h
v
e
r
t
e
x
v
e
c
t
o
r
s
"
}
,
{
"
C
o
m
m
u
t
a
t
i
v
i
t
y
"
,
"
"
,
✓
,
✓
}
,
{
"
S
c
a
l
a
r
m
u
l
t
i
p
l
i
c
a
t
i
o
n
"
,
"
"
,
"
"
,
✓
}
,
{
"
A
n
g
l
e
s
>
9
0
°
"
,
"
"
,
✓
,
✓
}
,
{
"
N
o
n
n
e
g
a
t
i
v
e
-
d
e
f
i
n
i
t
e
"
,
✓
,
✓
,
✓
}
}
,
F
r
a
m
e
A
l
l
]
O
u
t
[
]
=
G
e
o
d
e
s
i
c
v
e
c
t
o
r
s
V
e
r
t
e
x
v
e
c
t
o
r
s
A
b
s
t
r
a
c
t
l
e
n
g
t
h
v
e
r
t
e
x
v
e
c
t
o
r
s
C
o
m
m
u
t
a
t
i
v
i
t
y
✓
✓
S
c
a
l
a
r
m
u
l
t
i
p
l
i
c
a
t
i
o
n
✓
A
n
g
l
e
s
>
9
0
°
✓
✓
N
o
n
n
e
g
a
t
i
v
e
-
d
e
f
i
n
i
t
e
✓
✓
✓
General problems with linearity
This section is meant to give the reader a brief overview of problems encountered when considering linearity. It is meant to give an idea of why it is not a trivial matter, and requires further work, rather than to give a complete description.
1) Geodesic vectors
For geodesic vectors addition quite obviously doesn’t even commute, which immediately casts doubt on its linearity. Even on ‘nice’ graphs where the resultant vector is ‘obvious’ even without a proper definition of parallel transport this problem is easy to show
Initializing a graph that will be used repeatedly for visualisation:
I
n
[
]
:
=
g
r
i
d
=
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
G
e
n
e
r
a
l
i
z
e
d
G
r
i
d
G
r
a
p
h
"
]
[
{
9
,
9
}
]
;
Showing both the initial geodesic vectors and the possible results of their addition:
p
1
=
{
2
1
,
2
2
,
3
1
}
;
p
2
=
{
2
1
,
3
0
,
3
9
,
4
8
}
;
p
3
=
{
2
1
,
2
2
,
3
1
,
4
0
,
4
9
,
5
8
}
;
p
4
=
{
2
1
,
3
0
,
3
9
,
4
8
,
4
9
,
5
8
}
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
i
d
,
{
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
i
d
,
{
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
,
T
a
b
l
e
[
p
4
[
[
i
]
]
p
4
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
4
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
O
u
t
[
]
=
O
u
t
[
]
=
Here the order in which we stitch the geodesics in clearly matters. We can try and ignore that for a moment and look at how this case would hold up under a dot product
Providing visualisation for the vectors between which a dot product will be taken:
p
5
=
{
2
1
,
2
0
,
2
9
,
3
8
,
4
7
,
5
6
,
6
5
}
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
i
d
,
{
T
a
b
l
e
[
p
3
[
[
i
]
]
p
3
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
3
]
-
1
}
]
,
T
a
b
l
e
[
p
4
[
[
i
]
]
p
4
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
4
]
-
1
}
]
,
T
a
b
l
e
[
p
1
[
[
i
]
]
p
1
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
1
]
-
1
}
]
,
T
a
b
l
e
[
p
2
[
[
i
]
]
p
2
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
2
]
-
1
}
]
,
T
a
b
l
e
[
p
5
[
[
i
]
]
p
5
[
[
i
+
1
]
]
,
{
i
,
1
,
L
e
n
g
t
h
[
p
5
]
-
1
}
]
}
,
G
r
a
p
h
H
i
g
h
l
i
g
h
t
S
t
y
l
e
"
T
h
i
c
k
"
]
O
u
t
[
]
=
By dropping perpendiculars onto the green vector we can calculate by hand that the dot product with the purple vector+dot product with the orange vector gives 36. The dot product of both resultant vectors with the green vector would be 30. The reader is welcome to calculate that the disparity is even greater if we were to drop the perpendicular from the green vector.
2) Vertex vectors
While I have already shown some problems that arise during scalar multiplication, I noticeably ignored linearity in its entirety. That is simply because there currently exists no rigorous and general way of adding vectors. This problem arises from lack of a general method of parallel transport. This leads to an ambiguity in the ‘direction’ of the resultant vector. The only constraints we can reasonably put for either vertex or geodesic vectors, is that the resultant vector of a+b must be distance ||a|| from the tip of b, and distance ||b|| from the tip of a. There is also no guarantee that such a vertex even exists. Furthermore there is no reason to expect a single resultant vector to act under the dot product as expected for an arbitrary vector to dot it with.
Visualising vertex vectors that will be considered when attempting to add them:
g
r
i
d
=
R
e
s
o
u
r
c
e
F
u
n
c
t
i
o
n
[
"
G
e
n
e
r
a
l
i
z
e
d
G
r
i
d
G
r
a
p
h
"
]
[
{
9
,
9
}
]
;
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
i
d
,
{
{
2
1
,
4
8
}
,
{
2
1
,
3
1
}
}
,
V
e
r
t
e
x
S
i
z
e
0
.
2
]
O
u
t
[
]
=
Showing the overlap in the requirements we can put on final distance of the resultant vector.
s
t
1
=
{
}
;
s
t
2
=
{
}
;
F
o
r
[
i
=
1
,
i
≤
8
1
,
i
+
+
,
I
f
[
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
i
d
,
3
1
,
i
]
3
,
s
t
1
=
J
o
i
n
[
s
t
1
,
{
i
}
]
]
;
I
f
[
G
r
a
p
h
D
i
s
t
a
n
c
e
[
g
r
i
d
,
4
8
,
i
]
2
,
s
t
2
=
J
o
i
n
[
s
t
2
,
{
i
}
]
]
]
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
i
d
,
{
s
t
1
,
s
t
2
}
,
V
e
r
t
e
x
S
i
z
e
0
.
2
]
O
u
t
[
]
=
We can see that there are three vertices that satisfy the results in this case. We can apply our intuition for how parallel transport should work and claim that the right-most of the three should be the resultant, but this is only possible because we are in a well-behave periodic graph. Constructing a general definition for addition of vertex of geodesic vectors on graphs have proven extremely difficult.
Even
if we take the ‘obvious result’, we can easily show that it fails under linearity with a dot product under our constructions. Below the orange vertex is the resultant vertex obtained previously from ‘summing’ the yellow and red vertex vectors. We can now show that the sum of the dot products between the red- and purple vectors, and the yellow- and purple vectors, is not the same as the dot product between the resultant orange vector and the purple vector.
H
i
g
h
l
i
g
h
t
G
r
a
p
h
[
g
r
i
d
,
{
{
2
1
,
4
8
}
,
{
2
1
,
3
1
}
,
{
2
1
,
2
8
}
,
{
2
1
,
5
8
}
}
,
V
e
r
t
e
x
S
i
z
e
0
.
3
]
v
e
r
t
e
x
d
o
t
[
g
r
i
d
,
2
1
,
4
8
,
2
8
]
+
v
e
r
t
e
x
d
o
t
[
g
r
i
d
,
2
1
,
3
1
,
2
8
]
v
e
r
t
e
x
d
o
t
[
g
r
i
d
,
2
1
,
5
8
,
2
8
]
O
u
t
[
]
=
O
u
t
[
]
=
3
O
u
t
[
]
=
-
1
It is easy to try it for different examples and show there are many cases where a satisfactory resultant simply doesn’t exist for vertex vectors.
3) Abstract length vertex vectors
T
h
e
c
o
n
s
t
r
u
c
t
i
o
n
o
f
a
b
s
t
r
a
c
t
l
e
n
g
t
h
v
e
r
t
e
x
v
e
c
t
o
r
s
m
a
k
e
s
i
t
f
u
n
d
a
m
e
n
t
a
l
l
y
d
i
f
f
i
c
u
l
t
t
o
d
e
f
i
n
e
a
d
d
i
t
i
o
n
.
I
t
i
s
a
n
a
l
o
g
o
u
s
t
o
u
s
i
n
g
p
o
l
a
r
c
o
o
r
d
i
n
a
t
e
s
,
w
h
e
r
e
o
u
r
c
h
o
i
c
e
t
o
s
e
p
a
r
a
t
e
l
e
n
g
t
h
a
n
d
d
i
r
e
c
t
i
o
n
m
a
k
e
s
m
u
l
t
i
p
l
i
c
a
t
i
o
n
e
a
s
y
,
b
u
t
a
d
d
i
t
i
o
n
h
a
r
d
.
W
e
c
a
n
n
o
n
e
t
h
e
l
e
s
s
a
t
t
e
m
p
t
t
o
a
n
a
l
y
s
e
i
t
b
r
i
e
f
l
y
.
W
e
c
a
n
s
t
a
r
t
o
f
b
y
g
i
v
i
n
g
t
h
e
i
d
e
a
o
f
a
m
a
t
h
e
m
a
t
i
c
a
l
a
r
g
u
m
e
n
t
t
h
a
t
c
o
n
s
t
r
a
i
n
s
t
h
e
r
e
s
u
l
t
a
n
t
v
e
c
t
o
r
’
s
a
b
s
t
r
a
c
t
l
e
n
g
t
h
i
n
d
e
p
e
n
d
e
n
t
o
f
c
u
r
v
a
t
u
r
e
,
s
i
m
i
l
a
r
l
y
t
o
t
h
e
t
r
i
c
k
u
s
e
d
t
o
d
e
f
i
n
e
d
o
t
p
r
o
d
u
c
t
s
:
c
μ
=
a
μ
+
b
μ
c
μ
μ
c
=
(
a
μ
+
b
μ
)
(
μ
a
+
μ
b
)
|
|
c
2
|
|
=
|
|
a
2
|
|
+
|
|
b
2
|
|
+
a
μ
μ
b
+
μ
a
b
μ
l
c
=
2
l
a
+
2
l
b
+
2
a
·
b
T
h
i
s
g
i
v
e
s
u
s
t
h
e
r
e
s
u
l
t
a
n
t
a
b
s
t
r
a
c
t
l
e
n
g
t
h
,
t
h
a
t
w
e
c
a
n
c
o
n
s
t
r
u
c
t
w
i
t
h
o
n
l
y
r
e
s
u
l
t
s
a
l
r
e
a
d
y
e
a
s
y
t
o
o
b
t
a
i
n
.
F
i
n
d
i
n
g
t
h
e
v
e
r
t
i
c
e
s
t
h
a
t
c
o
r
r
e
s
p
o
n
d
t
o
t
h
e
d
i
r
e
c
t
i
o
n
o
f
t
h
e
r
e
s
u
l
t
a
n
t
g
r
a
p
h
h
o
w
e
v
e
r
r
u
n
s
i
n
t
o
e
x
a
c
t
l
y
t
h
e
s
a
m
e
i
s
s
u
e
s
a
s
w
i
t
h
n
o
r
m
a
l
v
e
r
t
e
x
v
e
c
t
o
r
s
.
W
h
i
l
e
t
h
i
s
c
o
n
s
t
r
a
i
n
t
c
a
n
a
l
s
o
b
e
a
p
p
l
i
e
d
t
o
v
e
r
t
e
x
v
e
c
t
o
r
s
,
i
t
w
o
u
l
d
e
x
t
r
e
m
e
l
y
c
o
n
s
t
r
a
i
n
t
h
e
v
e
c
t
o
r
s
t
h
a
t
c
o
u
l
d
b
e
a
d
d
e
d
,
s
i
n
c
e
t
h
e
r
e
s
u
l
t
a
n
t
l
e
n
g
t
h
h
a
s
t
o
b
e
a
n
i
n
t
e
g
e
r
.
I
t
w
i
l
l
t
h
e
n
o
n
l
y
b
e
e
x
t
r
e
m
e
l
y
r
a
r
e
c
a
s
e
s
(
s
i
n
c
e
i
t
e
s
s
e
n
t
i
a
l
l
y
a
m
o
u
n
t
s
t
o
f
i
n
d
i
n
g
s
o
l
u
t
i
o
n
s
t
o
a
f
o
u
r
v
a
r
i
a
b
l
e
q
u
a
d
r
a
t
i
c
D
i
o
p
h
a
n
t
i
n
e
e
q
u
a
t
i
o
n
)
w
h
e
r
e
e
v
e
n
c
o
n
s
i
d
e
r
i
n
g
t
h
e
d
o
t
p
r
o
d
u
c
t
m
a
k
e
s
s
e
n
s
e
.
In the limit
There is more than one way of taking a continuum limit of these discrete structures. One way of doing it involves adding vertices in between currently existing ones, and instead of using graph distance, we introduce a notion of a measure, which gives a solid notion of length (from here on referred to as taking an interior limit). The other one involves growing the graph, and considering larger and larger subsets of the graph (from here on referred to as taking the exterior limit). Here I discuss how I expect the vectors and dot products to act in the limit, with reasoning, but not a graph theoretic/empirical proof. Doing that is a potential for further work. The intrinsic and extrinsic limits respectively are visualised below.
I
m
p
o
r
t
[
"
.
/
l
i
m
i
t
.
p
n
g
"
]
O
u
t
[
]
=
1) Geodesic vectors
U
n
d
e
r
t
h
e
a
s
s
u
m
p
t
i
o
n
t
h
a