The physical meaning of a symplectic form.
$begingroup$
So I've studied a bit about symplectic geometry, and I know that phase space is a symplectic manifold, and the symplectic form induces a poisson bracket. However, what is the physical meaning of the symplectic form? Perhaps it's simply the same as asking what the meaning is of the poisson bracket. What does the poisson bracket say about a system? And what is the physical meaning of observables?
differential-geometry classical-mechanics symplectic-geometry
$endgroup$
add a comment |
$begingroup$
So I've studied a bit about symplectic geometry, and I know that phase space is a symplectic manifold, and the symplectic form induces a poisson bracket. However, what is the physical meaning of the symplectic form? Perhaps it's simply the same as asking what the meaning is of the poisson bracket. What does the poisson bracket say about a system? And what is the physical meaning of observables?
differential-geometry classical-mechanics symplectic-geometry
$endgroup$
1
$begingroup$
Have you looked at the first chapter of McDuff and Salamon's book on symplectic topology? I don't know if that will answer your question but it should be useful.
$endgroup$
– user98602
Feb 1 at 23:20
$begingroup$
a little bit, just scanned through it
$endgroup$
– AkatsukiMaliki
Feb 1 at 23:54
1
$begingroup$
You might find "What is symplectic geometry?" by McDuff helpful for getting intuition. Abstract: "In this talk we explain the elements of symplectic geometry, and sketch the proof of one of its foundational results — Gromov’s nonsqueezing theorem — using J-holomorphic curves."
$endgroup$
– Jess Riedel
Feb 2 at 3:55
add a comment |
$begingroup$
So I've studied a bit about symplectic geometry, and I know that phase space is a symplectic manifold, and the symplectic form induces a poisson bracket. However, what is the physical meaning of the symplectic form? Perhaps it's simply the same as asking what the meaning is of the poisson bracket. What does the poisson bracket say about a system? And what is the physical meaning of observables?
differential-geometry classical-mechanics symplectic-geometry
$endgroup$
So I've studied a bit about symplectic geometry, and I know that phase space is a symplectic manifold, and the symplectic form induces a poisson bracket. However, what is the physical meaning of the symplectic form? Perhaps it's simply the same as asking what the meaning is of the poisson bracket. What does the poisson bracket say about a system? And what is the physical meaning of observables?
differential-geometry classical-mechanics symplectic-geometry
differential-geometry classical-mechanics symplectic-geometry
asked Feb 1 at 23:08
AkatsukiMalikiAkatsukiMaliki
353110
353110
1
$begingroup$
Have you looked at the first chapter of McDuff and Salamon's book on symplectic topology? I don't know if that will answer your question but it should be useful.
$endgroup$
– user98602
Feb 1 at 23:20
$begingroup$
a little bit, just scanned through it
$endgroup$
– AkatsukiMaliki
Feb 1 at 23:54
1
$begingroup$
You might find "What is symplectic geometry?" by McDuff helpful for getting intuition. Abstract: "In this talk we explain the elements of symplectic geometry, and sketch the proof of one of its foundational results — Gromov’s nonsqueezing theorem — using J-holomorphic curves."
$endgroup$
– Jess Riedel
Feb 2 at 3:55
add a comment |
1
$begingroup$
Have you looked at the first chapter of McDuff and Salamon's book on symplectic topology? I don't know if that will answer your question but it should be useful.
$endgroup$
– user98602
Feb 1 at 23:20
$begingroup$
a little bit, just scanned through it
$endgroup$
– AkatsukiMaliki
Feb 1 at 23:54
1
$begingroup$
You might find "What is symplectic geometry?" by McDuff helpful for getting intuition. Abstract: "In this talk we explain the elements of symplectic geometry, and sketch the proof of one of its foundational results — Gromov’s nonsqueezing theorem — using J-holomorphic curves."
$endgroup$
– Jess Riedel
Feb 2 at 3:55
1
1
$begingroup$
Have you looked at the first chapter of McDuff and Salamon's book on symplectic topology? I don't know if that will answer your question but it should be useful.
$endgroup$
– user98602
Feb 1 at 23:20
$begingroup$
Have you looked at the first chapter of McDuff and Salamon's book on symplectic topology? I don't know if that will answer your question but it should be useful.
$endgroup$
– user98602
Feb 1 at 23:20
$begingroup$
a little bit, just scanned through it
$endgroup$
– AkatsukiMaliki
Feb 1 at 23:54
$begingroup$
a little bit, just scanned through it
$endgroup$
– AkatsukiMaliki
Feb 1 at 23:54
1
1
$begingroup$
You might find "What is symplectic geometry?" by McDuff helpful for getting intuition. Abstract: "In this talk we explain the elements of symplectic geometry, and sketch the proof of one of its foundational results — Gromov’s nonsqueezing theorem — using J-holomorphic curves."
$endgroup$
– Jess Riedel
Feb 2 at 3:55
$begingroup$
You might find "What is symplectic geometry?" by McDuff helpful for getting intuition. Abstract: "In this talk we explain the elements of symplectic geometry, and sketch the proof of one of its foundational results — Gromov’s nonsqueezing theorem — using J-holomorphic curves."
$endgroup$
– Jess Riedel
Feb 2 at 3:55
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
This topic is incredibly deep so my answer barely skims the surface, however I believe you're looking for an intuitive meaning of the symplectic form. Consider the standard symplectic form
$$
omega = sum_i d x_i wedge d lambda_i
$$
This can also be written as
$$
omega = begin{bmatrix}
mathbf{0} & mathbf{I} \
-mathbf{I} & mathbf{0}
end{bmatrix}
$$
Now consider a rotation matrix
$$
R_theta = begin{bmatrix}
cos(theta) & sin(theta) \
-sin(theta) & cos(theta)
end{bmatrix}
$$
By setting $theta = 90^o$, you find the data of these tensors are equivalent. Ergo the standard symplectic form is very similar to a rotation matrix that rotates vectors by 90 degrees. Consider the symplectic form of Hamiltonian mechanics
$$
dH = iota_{X_H} omega
$$
where $dH$ is the exterior derivative of the Hamiltonian and $iota$ is the interior derivative. This exterior derivative generates a covector field whose covectors point in the direction of steepest descent. Rotate these covectors by 90 degrees and they point tangential to the level sets of $H$. In Hamiltonian mechanics, motion almost always lies on level sets of $H$.
Ultimately, I like to think about the symplectic form as a rotation matrix that properly encodes the structure of mechanics, but be aware that due to its differential geometric nature, it's much deeper than I lead on.
$endgroup$
add a comment |
$begingroup$
Before I start, I would like to readily admit that the math behind this topic is beyond my skill. Question what I write. And please, if you see anything wrong, comment so that I can correct it.
I came across symplectic geometry as part of studying groups. Group theory can be summarized as the study of symmetry. Symmetry is fascinating to me because it permits you to make statements about a system that you do not otherwise understand. For example, if I create a pair of entangled electrons, I may not know whether one is spin up or down, but I can create them in a symmetric way such that if one is up the other is down, and vice versa. I can make experiments which take advantage of this, as we do with quantum encryption. At a more macroscopic level, if I am sparring in martial arts, I may not know where my opponent is punching, but I do know that for wherever he punches, there's a corresponding position he must contort his body into to avoid tearing tendons. This can be used in fascinating ways. If I can find a place that his body must be if he threw a punch, but where his body wont be if he doesn't throw a punch, and I can get there first, I can make sure that I punish him for throwing a punch if he throws it, but not hurt him if he didn't throw it. (This is often overlooked in combat, but in more civilized venues, being able to do something that only hurts them if they are doing bad things is highly prized).
So what is the Poisson bracket? The philosopher in me would say either that its a curiosity about how objects change state over time (time evolution), or that we may have developed our sense of time to take advantage of an apparent symmetry in the world around us. Physical systems seem to evolve this way if you think of them in terms of phase space. Phrased in the other way, if we can't sense the time evolution of the system captured by the Poisson bracket, we typically don't think of it as physical. We apply metaphysical terms to it, such as the "agency" of individuals.
What is important about the symplectic form of the Hamiltonian equations is that it points out that any symmetry in the time evolution of the physical world must be a symplectomorphism (in particular, a Hamiltonian symplectomorphism). This ties into observables. If you want to state anything about the state of a system, you either need to know enough about a state in the past, or you need to state something that can be proven with symmetry. If I want to state something about the state of an electron, I either need to have measured it in that state, or I need to state something I can know by symmetry, such as the result of interacting it with its entangled pair.
One of the key aspects of Hamiltonian mechanics is the ability to define canonical transformations. These are transforms of how we model a system which preserve Hamiltonian mechanics (read: don't break physics). They let us start with one system which is governed by physical laws (perhaps the states of electrons in cartesian coordinates) and transform it into another system which is governed by physical laws (perhaps the same electrons, but viewed in spherical coordinates).
The symplectic form of the Hamiltonian equations gives rise to Liouville's theorem, which states that these canonical transformations preserve volumes in state space. In other words, if we choose to model the world using symplectic forms, we find this volume preserving behavior occurs. If we model it with other tools, it doesn't necessarily occur.
This is a big deal for observables. In a quantum system, there is a phase space describing the system. When we observe it, we configure our test apparatus to test in a way which is easy to understand in one coordinate system (such as "spin up" "spin down"). We show that the symmetries in the system will ensure a time evolution that leads to one answer or the other. Now since we knew the phase space from the setup of the system, we can apply a canonical transformation to go from the coordinate system we used to describe the system at first to the coordinate system we want to use for test measurement.
And when we do this, we instantly see uncertainty. Since the volume of the phase space must be preserved, and we're effectively squeezing the phase space in one dimension, another dimension must expand in order to preserve the volume. You can demonstrate this in any number of ways, not just with symplectic forms, but symplectic forms make it obvious to see.
But in the end, I must wax philosophic. What is important about these forms is not necessarily that they're fundamental to reality. They do indeed appear to be fundamental to physics. If you believe that reality only consists of the physical world, then you will find that they must be fundamental to reality too. But if you consider that its possible there might be more, the importance of these forms gets bit more peculiar. It may be that they are important because humans have found them to be a useful lens with which to view reality around them. We may thus ascribe importance to these forms simply because they are important to what we saw in the past, and we see them because we ascribed importance to them in the past.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3096840%2fthe-physical-meaning-of-a-symplectic-form%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
This topic is incredibly deep so my answer barely skims the surface, however I believe you're looking for an intuitive meaning of the symplectic form. Consider the standard symplectic form
$$
omega = sum_i d x_i wedge d lambda_i
$$
This can also be written as
$$
omega = begin{bmatrix}
mathbf{0} & mathbf{I} \
-mathbf{I} & mathbf{0}
end{bmatrix}
$$
Now consider a rotation matrix
$$
R_theta = begin{bmatrix}
cos(theta) & sin(theta) \
-sin(theta) & cos(theta)
end{bmatrix}
$$
By setting $theta = 90^o$, you find the data of these tensors are equivalent. Ergo the standard symplectic form is very similar to a rotation matrix that rotates vectors by 90 degrees. Consider the symplectic form of Hamiltonian mechanics
$$
dH = iota_{X_H} omega
$$
where $dH$ is the exterior derivative of the Hamiltonian and $iota$ is the interior derivative. This exterior derivative generates a covector field whose covectors point in the direction of steepest descent. Rotate these covectors by 90 degrees and they point tangential to the level sets of $H$. In Hamiltonian mechanics, motion almost always lies on level sets of $H$.
Ultimately, I like to think about the symplectic form as a rotation matrix that properly encodes the structure of mechanics, but be aware that due to its differential geometric nature, it's much deeper than I lead on.
$endgroup$
add a comment |
$begingroup$
This topic is incredibly deep so my answer barely skims the surface, however I believe you're looking for an intuitive meaning of the symplectic form. Consider the standard symplectic form
$$
omega = sum_i d x_i wedge d lambda_i
$$
This can also be written as
$$
omega = begin{bmatrix}
mathbf{0} & mathbf{I} \
-mathbf{I} & mathbf{0}
end{bmatrix}
$$
Now consider a rotation matrix
$$
R_theta = begin{bmatrix}
cos(theta) & sin(theta) \
-sin(theta) & cos(theta)
end{bmatrix}
$$
By setting $theta = 90^o$, you find the data of these tensors are equivalent. Ergo the standard symplectic form is very similar to a rotation matrix that rotates vectors by 90 degrees. Consider the symplectic form of Hamiltonian mechanics
$$
dH = iota_{X_H} omega
$$
where $dH$ is the exterior derivative of the Hamiltonian and $iota$ is the interior derivative. This exterior derivative generates a covector field whose covectors point in the direction of steepest descent. Rotate these covectors by 90 degrees and they point tangential to the level sets of $H$. In Hamiltonian mechanics, motion almost always lies on level sets of $H$.
Ultimately, I like to think about the symplectic form as a rotation matrix that properly encodes the structure of mechanics, but be aware that due to its differential geometric nature, it's much deeper than I lead on.
$endgroup$
add a comment |
$begingroup$
This topic is incredibly deep so my answer barely skims the surface, however I believe you're looking for an intuitive meaning of the symplectic form. Consider the standard symplectic form
$$
omega = sum_i d x_i wedge d lambda_i
$$
This can also be written as
$$
omega = begin{bmatrix}
mathbf{0} & mathbf{I} \
-mathbf{I} & mathbf{0}
end{bmatrix}
$$
Now consider a rotation matrix
$$
R_theta = begin{bmatrix}
cos(theta) & sin(theta) \
-sin(theta) & cos(theta)
end{bmatrix}
$$
By setting $theta = 90^o$, you find the data of these tensors are equivalent. Ergo the standard symplectic form is very similar to a rotation matrix that rotates vectors by 90 degrees. Consider the symplectic form of Hamiltonian mechanics
$$
dH = iota_{X_H} omega
$$
where $dH$ is the exterior derivative of the Hamiltonian and $iota$ is the interior derivative. This exterior derivative generates a covector field whose covectors point in the direction of steepest descent. Rotate these covectors by 90 degrees and they point tangential to the level sets of $H$. In Hamiltonian mechanics, motion almost always lies on level sets of $H$.
Ultimately, I like to think about the symplectic form as a rotation matrix that properly encodes the structure of mechanics, but be aware that due to its differential geometric nature, it's much deeper than I lead on.
$endgroup$
This topic is incredibly deep so my answer barely skims the surface, however I believe you're looking for an intuitive meaning of the symplectic form. Consider the standard symplectic form
$$
omega = sum_i d x_i wedge d lambda_i
$$
This can also be written as
$$
omega = begin{bmatrix}
mathbf{0} & mathbf{I} \
-mathbf{I} & mathbf{0}
end{bmatrix}
$$
Now consider a rotation matrix
$$
R_theta = begin{bmatrix}
cos(theta) & sin(theta) \
-sin(theta) & cos(theta)
end{bmatrix}
$$
By setting $theta = 90^o$, you find the data of these tensors are equivalent. Ergo the standard symplectic form is very similar to a rotation matrix that rotates vectors by 90 degrees. Consider the symplectic form of Hamiltonian mechanics
$$
dH = iota_{X_H} omega
$$
where $dH$ is the exterior derivative of the Hamiltonian and $iota$ is the interior derivative. This exterior derivative generates a covector field whose covectors point in the direction of steepest descent. Rotate these covectors by 90 degrees and they point tangential to the level sets of $H$. In Hamiltonian mechanics, motion almost always lies on level sets of $H$.
Ultimately, I like to think about the symplectic form as a rotation matrix that properly encodes the structure of mechanics, but be aware that due to its differential geometric nature, it's much deeper than I lead on.
answered Feb 1 at 23:48
Michael SparapanyMichael Sparapany
1265
1265
add a comment |
add a comment |
$begingroup$
Before I start, I would like to readily admit that the math behind this topic is beyond my skill. Question what I write. And please, if you see anything wrong, comment so that I can correct it.
I came across symplectic geometry as part of studying groups. Group theory can be summarized as the study of symmetry. Symmetry is fascinating to me because it permits you to make statements about a system that you do not otherwise understand. For example, if I create a pair of entangled electrons, I may not know whether one is spin up or down, but I can create them in a symmetric way such that if one is up the other is down, and vice versa. I can make experiments which take advantage of this, as we do with quantum encryption. At a more macroscopic level, if I am sparring in martial arts, I may not know where my opponent is punching, but I do know that for wherever he punches, there's a corresponding position he must contort his body into to avoid tearing tendons. This can be used in fascinating ways. If I can find a place that his body must be if he threw a punch, but where his body wont be if he doesn't throw a punch, and I can get there first, I can make sure that I punish him for throwing a punch if he throws it, but not hurt him if he didn't throw it. (This is often overlooked in combat, but in more civilized venues, being able to do something that only hurts them if they are doing bad things is highly prized).
So what is the Poisson bracket? The philosopher in me would say either that its a curiosity about how objects change state over time (time evolution), or that we may have developed our sense of time to take advantage of an apparent symmetry in the world around us. Physical systems seem to evolve this way if you think of them in terms of phase space. Phrased in the other way, if we can't sense the time evolution of the system captured by the Poisson bracket, we typically don't think of it as physical. We apply metaphysical terms to it, such as the "agency" of individuals.
What is important about the symplectic form of the Hamiltonian equations is that it points out that any symmetry in the time evolution of the physical world must be a symplectomorphism (in particular, a Hamiltonian symplectomorphism). This ties into observables. If you want to state anything about the state of a system, you either need to know enough about a state in the past, or you need to state something that can be proven with symmetry. If I want to state something about the state of an electron, I either need to have measured it in that state, or I need to state something I can know by symmetry, such as the result of interacting it with its entangled pair.
One of the key aspects of Hamiltonian mechanics is the ability to define canonical transformations. These are transforms of how we model a system which preserve Hamiltonian mechanics (read: don't break physics). They let us start with one system which is governed by physical laws (perhaps the states of electrons in cartesian coordinates) and transform it into another system which is governed by physical laws (perhaps the same electrons, but viewed in spherical coordinates).
The symplectic form of the Hamiltonian equations gives rise to Liouville's theorem, which states that these canonical transformations preserve volumes in state space. In other words, if we choose to model the world using symplectic forms, we find this volume preserving behavior occurs. If we model it with other tools, it doesn't necessarily occur.
This is a big deal for observables. In a quantum system, there is a phase space describing the system. When we observe it, we configure our test apparatus to test in a way which is easy to understand in one coordinate system (such as "spin up" "spin down"). We show that the symmetries in the system will ensure a time evolution that leads to one answer or the other. Now since we knew the phase space from the setup of the system, we can apply a canonical transformation to go from the coordinate system we used to describe the system at first to the coordinate system we want to use for test measurement.
And when we do this, we instantly see uncertainty. Since the volume of the phase space must be preserved, and we're effectively squeezing the phase space in one dimension, another dimension must expand in order to preserve the volume. You can demonstrate this in any number of ways, not just with symplectic forms, but symplectic forms make it obvious to see.
But in the end, I must wax philosophic. What is important about these forms is not necessarily that they're fundamental to reality. They do indeed appear to be fundamental to physics. If you believe that reality only consists of the physical world, then you will find that they must be fundamental to reality too. But if you consider that its possible there might be more, the importance of these forms gets bit more peculiar. It may be that they are important because humans have found them to be a useful lens with which to view reality around them. We may thus ascribe importance to these forms simply because they are important to what we saw in the past, and we see them because we ascribed importance to them in the past.
$endgroup$
add a comment |
$begingroup$
Before I start, I would like to readily admit that the math behind this topic is beyond my skill. Question what I write. And please, if you see anything wrong, comment so that I can correct it.
I came across symplectic geometry as part of studying groups. Group theory can be summarized as the study of symmetry. Symmetry is fascinating to me because it permits you to make statements about a system that you do not otherwise understand. For example, if I create a pair of entangled electrons, I may not know whether one is spin up or down, but I can create them in a symmetric way such that if one is up the other is down, and vice versa. I can make experiments which take advantage of this, as we do with quantum encryption. At a more macroscopic level, if I am sparring in martial arts, I may not know where my opponent is punching, but I do know that for wherever he punches, there's a corresponding position he must contort his body into to avoid tearing tendons. This can be used in fascinating ways. If I can find a place that his body must be if he threw a punch, but where his body wont be if he doesn't throw a punch, and I can get there first, I can make sure that I punish him for throwing a punch if he throws it, but not hurt him if he didn't throw it. (This is often overlooked in combat, but in more civilized venues, being able to do something that only hurts them if they are doing bad things is highly prized).
So what is the Poisson bracket? The philosopher in me would say either that its a curiosity about how objects change state over time (time evolution), or that we may have developed our sense of time to take advantage of an apparent symmetry in the world around us. Physical systems seem to evolve this way if you think of them in terms of phase space. Phrased in the other way, if we can't sense the time evolution of the system captured by the Poisson bracket, we typically don't think of it as physical. We apply metaphysical terms to it, such as the "agency" of individuals.
What is important about the symplectic form of the Hamiltonian equations is that it points out that any symmetry in the time evolution of the physical world must be a symplectomorphism (in particular, a Hamiltonian symplectomorphism). This ties into observables. If you want to state anything about the state of a system, you either need to know enough about a state in the past, or you need to state something that can be proven with symmetry. If I want to state something about the state of an electron, I either need to have measured it in that state, or I need to state something I can know by symmetry, such as the result of interacting it with its entangled pair.
One of the key aspects of Hamiltonian mechanics is the ability to define canonical transformations. These are transforms of how we model a system which preserve Hamiltonian mechanics (read: don't break physics). They let us start with one system which is governed by physical laws (perhaps the states of electrons in cartesian coordinates) and transform it into another system which is governed by physical laws (perhaps the same electrons, but viewed in spherical coordinates).
The symplectic form of the Hamiltonian equations gives rise to Liouville's theorem, which states that these canonical transformations preserve volumes in state space. In other words, if we choose to model the world using symplectic forms, we find this volume preserving behavior occurs. If we model it with other tools, it doesn't necessarily occur.
This is a big deal for observables. In a quantum system, there is a phase space describing the system. When we observe it, we configure our test apparatus to test in a way which is easy to understand in one coordinate system (such as "spin up" "spin down"). We show that the symmetries in the system will ensure a time evolution that leads to one answer or the other. Now since we knew the phase space from the setup of the system, we can apply a canonical transformation to go from the coordinate system we used to describe the system at first to the coordinate system we want to use for test measurement.
And when we do this, we instantly see uncertainty. Since the volume of the phase space must be preserved, and we're effectively squeezing the phase space in one dimension, another dimension must expand in order to preserve the volume. You can demonstrate this in any number of ways, not just with symplectic forms, but symplectic forms make it obvious to see.
But in the end, I must wax philosophic. What is important about these forms is not necessarily that they're fundamental to reality. They do indeed appear to be fundamental to physics. If you believe that reality only consists of the physical world, then you will find that they must be fundamental to reality too. But if you consider that its possible there might be more, the importance of these forms gets bit more peculiar. It may be that they are important because humans have found them to be a useful lens with which to view reality around them. We may thus ascribe importance to these forms simply because they are important to what we saw in the past, and we see them because we ascribed importance to them in the past.
$endgroup$
add a comment |
$begingroup$
Before I start, I would like to readily admit that the math behind this topic is beyond my skill. Question what I write. And please, if you see anything wrong, comment so that I can correct it.
I came across symplectic geometry as part of studying groups. Group theory can be summarized as the study of symmetry. Symmetry is fascinating to me because it permits you to make statements about a system that you do not otherwise understand. For example, if I create a pair of entangled electrons, I may not know whether one is spin up or down, but I can create them in a symmetric way such that if one is up the other is down, and vice versa. I can make experiments which take advantage of this, as we do with quantum encryption. At a more macroscopic level, if I am sparring in martial arts, I may not know where my opponent is punching, but I do know that for wherever he punches, there's a corresponding position he must contort his body into to avoid tearing tendons. This can be used in fascinating ways. If I can find a place that his body must be if he threw a punch, but where his body wont be if he doesn't throw a punch, and I can get there first, I can make sure that I punish him for throwing a punch if he throws it, but not hurt him if he didn't throw it. (This is often overlooked in combat, but in more civilized venues, being able to do something that only hurts them if they are doing bad things is highly prized).
So what is the Poisson bracket? The philosopher in me would say either that its a curiosity about how objects change state over time (time evolution), or that we may have developed our sense of time to take advantage of an apparent symmetry in the world around us. Physical systems seem to evolve this way if you think of them in terms of phase space. Phrased in the other way, if we can't sense the time evolution of the system captured by the Poisson bracket, we typically don't think of it as physical. We apply metaphysical terms to it, such as the "agency" of individuals.
What is important about the symplectic form of the Hamiltonian equations is that it points out that any symmetry in the time evolution of the physical world must be a symplectomorphism (in particular, a Hamiltonian symplectomorphism). This ties into observables. If you want to state anything about the state of a system, you either need to know enough about a state in the past, or you need to state something that can be proven with symmetry. If I want to state something about the state of an electron, I either need to have measured it in that state, or I need to state something I can know by symmetry, such as the result of interacting it with its entangled pair.
One of the key aspects of Hamiltonian mechanics is the ability to define canonical transformations. These are transforms of how we model a system which preserve Hamiltonian mechanics (read: don't break physics). They let us start with one system which is governed by physical laws (perhaps the states of electrons in cartesian coordinates) and transform it into another system which is governed by physical laws (perhaps the same electrons, but viewed in spherical coordinates).
The symplectic form of the Hamiltonian equations gives rise to Liouville's theorem, which states that these canonical transformations preserve volumes in state space. In other words, if we choose to model the world using symplectic forms, we find this volume preserving behavior occurs. If we model it with other tools, it doesn't necessarily occur.
This is a big deal for observables. In a quantum system, there is a phase space describing the system. When we observe it, we configure our test apparatus to test in a way which is easy to understand in one coordinate system (such as "spin up" "spin down"). We show that the symmetries in the system will ensure a time evolution that leads to one answer or the other. Now since we knew the phase space from the setup of the system, we can apply a canonical transformation to go from the coordinate system we used to describe the system at first to the coordinate system we want to use for test measurement.
And when we do this, we instantly see uncertainty. Since the volume of the phase space must be preserved, and we're effectively squeezing the phase space in one dimension, another dimension must expand in order to preserve the volume. You can demonstrate this in any number of ways, not just with symplectic forms, but symplectic forms make it obvious to see.
But in the end, I must wax philosophic. What is important about these forms is not necessarily that they're fundamental to reality. They do indeed appear to be fundamental to physics. If you believe that reality only consists of the physical world, then you will find that they must be fundamental to reality too. But if you consider that its possible there might be more, the importance of these forms gets bit more peculiar. It may be that they are important because humans have found them to be a useful lens with which to view reality around them. We may thus ascribe importance to these forms simply because they are important to what we saw in the past, and we see them because we ascribed importance to them in the past.
$endgroup$
Before I start, I would like to readily admit that the math behind this topic is beyond my skill. Question what I write. And please, if you see anything wrong, comment so that I can correct it.
I came across symplectic geometry as part of studying groups. Group theory can be summarized as the study of symmetry. Symmetry is fascinating to me because it permits you to make statements about a system that you do not otherwise understand. For example, if I create a pair of entangled electrons, I may not know whether one is spin up or down, but I can create them in a symmetric way such that if one is up the other is down, and vice versa. I can make experiments which take advantage of this, as we do with quantum encryption. At a more macroscopic level, if I am sparring in martial arts, I may not know where my opponent is punching, but I do know that for wherever he punches, there's a corresponding position he must contort his body into to avoid tearing tendons. This can be used in fascinating ways. If I can find a place that his body must be if he threw a punch, but where his body wont be if he doesn't throw a punch, and I can get there first, I can make sure that I punish him for throwing a punch if he throws it, but not hurt him if he didn't throw it. (This is often overlooked in combat, but in more civilized venues, being able to do something that only hurts them if they are doing bad things is highly prized).
So what is the Poisson bracket? The philosopher in me would say either that its a curiosity about how objects change state over time (time evolution), or that we may have developed our sense of time to take advantage of an apparent symmetry in the world around us. Physical systems seem to evolve this way if you think of them in terms of phase space. Phrased in the other way, if we can't sense the time evolution of the system captured by the Poisson bracket, we typically don't think of it as physical. We apply metaphysical terms to it, such as the "agency" of individuals.
What is important about the symplectic form of the Hamiltonian equations is that it points out that any symmetry in the time evolution of the physical world must be a symplectomorphism (in particular, a Hamiltonian symplectomorphism). This ties into observables. If you want to state anything about the state of a system, you either need to know enough about a state in the past, or you need to state something that can be proven with symmetry. If I want to state something about the state of an electron, I either need to have measured it in that state, or I need to state something I can know by symmetry, such as the result of interacting it with its entangled pair.
One of the key aspects of Hamiltonian mechanics is the ability to define canonical transformations. These are transforms of how we model a system which preserve Hamiltonian mechanics (read: don't break physics). They let us start with one system which is governed by physical laws (perhaps the states of electrons in cartesian coordinates) and transform it into another system which is governed by physical laws (perhaps the same electrons, but viewed in spherical coordinates).
The symplectic form of the Hamiltonian equations gives rise to Liouville's theorem, which states that these canonical transformations preserve volumes in state space. In other words, if we choose to model the world using symplectic forms, we find this volume preserving behavior occurs. If we model it with other tools, it doesn't necessarily occur.
This is a big deal for observables. In a quantum system, there is a phase space describing the system. When we observe it, we configure our test apparatus to test in a way which is easy to understand in one coordinate system (such as "spin up" "spin down"). We show that the symmetries in the system will ensure a time evolution that leads to one answer or the other. Now since we knew the phase space from the setup of the system, we can apply a canonical transformation to go from the coordinate system we used to describe the system at first to the coordinate system we want to use for test measurement.
And when we do this, we instantly see uncertainty. Since the volume of the phase space must be preserved, and we're effectively squeezing the phase space in one dimension, another dimension must expand in order to preserve the volume. You can demonstrate this in any number of ways, not just with symplectic forms, but symplectic forms make it obvious to see.
But in the end, I must wax philosophic. What is important about these forms is not necessarily that they're fundamental to reality. They do indeed appear to be fundamental to physics. If you believe that reality only consists of the physical world, then you will find that they must be fundamental to reality too. But if you consider that its possible there might be more, the importance of these forms gets bit more peculiar. It may be that they are important because humans have found them to be a useful lens with which to view reality around them. We may thus ascribe importance to these forms simply because they are important to what we saw in the past, and we see them because we ascribed importance to them in the past.
answered Feb 2 at 15:38
Cort AmmonCort Ammon
2,411716
2,411716
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3096840%2fthe-physical-meaning-of-a-symplectic-form%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
Have you looked at the first chapter of McDuff and Salamon's book on symplectic topology? I don't know if that will answer your question but it should be useful.
$endgroup$
– user98602
Feb 1 at 23:20
$begingroup$
a little bit, just scanned through it
$endgroup$
– AkatsukiMaliki
Feb 1 at 23:54
1
$begingroup$
You might find "What is symplectic geometry?" by McDuff helpful for getting intuition. Abstract: "In this talk we explain the elements of symplectic geometry, and sketch the proof of one of its foundational results — Gromov’s nonsqueezing theorem — using J-holomorphic curves."
$endgroup$
– Jess Riedel
Feb 2 at 3:55