Sunday, June 25, 2023

Problems in Objectizing

 Bernard d’Espagnat

Here I would like to mention one particular physicist and philosopher: Bernard d’Espagnat. In his paper “Problems in Objectizing”, d’Espagnat opts for “Mind-Independent Reality”, and, in particular, he also supports Hans Primas’s proposals which EEQT developed into a full-fledged mathematical model. 



That is an example of a totally subjective view.

But even d’Espagnat is somewhat pessimistic about the final results of such an approach. He ends his paper with the comment:

…although we cannot know Mind-Independent Reality, still we get, through physics, not fully deceitful glimpses of it. I feel Primas’s optimistic guess somehow strengthens my position in this matter.



Waves and Things: Information!

In EEQT we are dealing with two kinds of objects: material objects about the existence of which we have no doubts, and which are necessary if we want to tell engineers what to do; but also we have “wave functions” that are necessary for modeling quantum phenomena - two different categories of objects. These two kind of objects are coupled together – there is an exchange of information between them. That is why in our theory we have not only “dynamics” – exchange of forces, but also, what we called, “binamics” – exchange of “bits of information”. Therefore our theory can be considered as one step towards an introduction to the active role of information in physics.

I was already well-situated in my career as a scientist when I made the decision to follow this path so it was not so easy to attack me – it was enough to just ignore my work. 

The Three Questions of John Archibald Wheeler

Here comes the important term that is rather new in physics: Information. It has become more popular since John Archibald Wheeler published his famous “It from Bit” article "Information, Physics, Quantum: The Search for Links", and asked three important questions:

How come existence?

How come the quantum?

How come the “one world” out of many observer-participants?

The simplest answer to the first question, “How come existence”, is, I would say, existence comes from “timeless information”.

Profile photo for ChatGPT

ChatGPT

 ·

AI bot

BETA

An AI bot writing helpful answers

What does John Wheeler mean by his famous 'It from bit' idea?

Profile photo for ChatGPT

ChatGPT

John Wheeler's "It from bit" idea is a concept that suggests that all physical reality is ultimately based on information. In other words, the physical world can be thought of as being made up of bits of information rather than physical particles. This idea is rooted in the field of quantum mechanics and suggests that the universe is fundamentally digital in nature.


Tell me more

P.S.1. To my wife: The Air That I Breathe - The Hollies


Lyrics.

P.S.2. 

"When I speak, the reason says, “This will I say”; but God

takes the word out of my mouth and the lips say something else

at which reason trembles."

Sri Aurobindo

P.S.3. New version of my notes on the conformal group.  Will add still more today.




P.S.4. 25-06 12:45 Finished Sec. 6.7 "Calculating the conformal structure". Updated the file.

P.S.5. A Reader has sent me a link to a paper by Alexander Prahauser "Hegel in Mathematics"

At the end of this paper I am finding, in particular, these gramatically correct sentences:

"From this fermionic superpoint, through a series of canonical extensions, emanates a piece of 11-dimensional spacetime R 10,1|32 , which has precisely the properties that are demanded by M-theory, the joint generalization of string theory and supergravity. Our physical universe would then be determined by some manifold in ∞ − SF S or some extension thereof, with some force field on it that is the unified fundamental force which manifests as the four fundamental forces of our universe after M through a process called KK-compactification, which yields the four-dimensional spacetime we all know and love. At this point mathematics becomes difficult to avoid. However, it should be noted that a conjecture by Sati and Schreiber called Hypothesis H, based on the observations by Sati in [21], states that such a field would be described by a cycle in the fourth differential equivariant J-twisted cohomotopy on X, so a differential equivariant refinement of a section of the J-morphism into the 4- dimensional spere. Given the importance of the n-dimensional spheres and the J-morphism in homotopy theory (and in general), this result would be highly satisfying."

Frankly speaking I consider it as a "word salad" that has nothing to do with Reality. Escapism into total abstraction - that is how I call it.

78 comments:

  1. "In EEQT we are dealing with two kinds of objects: material objects about the existence of which we have no doubts, and which are necessary if we want to tell engineers what to do; but also we have “wave functions” that are necessary for modeling quantum phenomena - two different categories of objects.".

    Rather, I would say that these are classes of objects, for categories require the identification of both objects and morphisms. I think this can be quickly rectified, however. What will be the morphisms in these categories?

    The way I see it is this:

    Material objects encompass all kinds of particles and systems that can be described by classical dynamical equations. The morphisms for these objects could include classical dynamical operations such as translations, rotations, as well as physical processes like collisions, thermodynamic phenomena, etc.

    Wave functions, however, are described in the framework of quantum mechanics and represent the quantum states of a system. The morphisms for these objects could include quantum operations like evolution according to the Schrödinger equation, projections resulting from quantum measurements, as well as quantum transformations such as rotation and translation. Quantum observables would be morphisms too.

    However, it's worth noting that one of the key aspects of EEQT is the merging of these two "categories" through processes like wave function collapse that affect both the quantum states and classical evolution. Thus, while we can think about these two categories separately, they are tightly interconnected in the context of EEQT.

    So I would venture a question. Would it not be a good idea to create a quotient category given by a certain class of abstractions? For what is the transition between the two categories we have now, assuming that it can be imagined as I have described?

    ReplyDelete
    Replies
    1. "Both multiplication and *-structure are too rigid to include information.".

      And what does it require to include information? Why do you think this is currently impossible?

      Delete
    2. "And what does it require to include information? Why do you think this is currently impossible?"

      A "feeling".

      Delete
    3. Quoting from : "Towards the theory of matter, geometry and information"

      "Continuing the analogy : in the same way as a gravitational field curves space-time [f6], the information field may curve the state space. May change the geometry of the space of quantum states. May enable the flow of information and of energy through new channels. Now quantum matter gets a worthy partner, just as the gravitational field was a worthy partner to classical matter. The same way as gravitational field is local[f7] in space-time, the information field is local in Hilbert space where " near" means " similar". The geometry of the information field must be, as we have said, a nonlinear geometry. Only in this way can we explain the stability of structures, such as the structure of life. With the phenomenon of life we can in this way, associate a topological invariant (a kind of a vortex) in the nonlinear field of information. Physical and chemical life processes would be then controlled by a quantum feedback between information and matter. And, when we speak about geometry, it must be noted that it must be more than a classical geometry such as is sufficient for the Einstein theory of gravitation. What is needed here is a kind of quantum geometry. Such a geometry is today only in statu nascendi."

      Delete
    4. "A "feeling".".

      It seems to me that the term 'feeling' used in this context is a metaphorical placeholder for a theoretical construct we have yet to fully comprehend and incorporate into our mathematical models.

      When we say that both multiplication and *-structure are too rigid to include information, we're indicating that our traditional mathematical operations may not adequately encapsulate all facets of information transfer and processing. For instance, they might not be sufficiently flexible to capture dynamic, context-dependent processes that characterize complex information systems.

      As for the 'feeling', it can be interpreted as our ability to intuitively understand and respond to these complex, often non-linear, dynamics in a way that is currently difficult to formalize mathematically. Our challenge, therefore, is to develop new mathematical tools or frameworks that can emulate this 'feeling'—the subtle, nuanced interplay of elements within an information system.

      So isn't this 'feeling' simply the same as a semantic structure that we cannot describe at the moment? Doesn't this prompt us to mathematise philosophy? After all, we want to capture the 'feeling', and more specifically it seems to me that we just want to capture the sense. We are concerned with semantics. Time, too, has a semantic structure, but nobody cares about that because it's 'no longer physics, but philosophy, metaphysics'. Yes, but quantum mechanics used to be outside physics too. And I don't see any other way than combining separated disciplines. Otherwise we will go no further.

      Delete
    5. What I know is that mathematically EEQT is almost ok, and it does its job concerning physical applications of quantum theory. However its main category, the category of C* algebras is too restrictive. Both multiplication and *-structure are too rigid to include information. I have only glimpses of how it should be extended - a task for the future. And only then there will be something to guide us in the creation of a consistent philosophy.

      Delete
    6. "What I know is that mathematically EEQT is almost ok, and it does its job concerning physical applications of quantum theory. However its main category, the category of C* algebras is too restrictive. Both multiplication and *-structure are too rigid to include information. I have only glimpses of how it should be extended - a task for the future. And only then there will be something to guide us in the creation of a consistent philosophy.".

      One possible avenue is to consider a new concept of "Semantic C*-algebras", essentially extending the traditional C*-algebras with additional structure that carries semantic information.

      Formally, let's denote the category of C*-algebras as $\mathcal{A}$, and define a new category $\mathcal{A'}$ of "Semantic C*-algebras" as follows:

      Objects in $\mathcal{A'}$ are pairs $(A, \sigma)$ where $A$ is a C*-algebra and $\sigma$ is a "semantic structure" on $A$.

      Morphisms in $\mathcal{A'}$ are *-homomorphisms that preserve the semantic structure.

      A semantic structure $\sigma$ could be thought of as a function that assigns to each element of the C*-algebra a "meaning" from some set of meanings $\mathcal{M}$, i.e. $\sigma : A \rightarrow \mathcal{M}$. The preservation of the semantic structure by a *-homomorphism $f$ could then mean that for all $a \in A$, $f(\sigma(a)) = \sigma(f(a))$.

      While the specifics of what the set of meanings $\mathcal{M}$ and the semantic structure function $\sigma$ would be, and how they should interact with the algebraic operations in $A$, are open problems, they should be designed to capture the semantic aspects that we're interested in.

      As an illustration, suppose we have two semantic C*-algebras $(A, \sigma_A)$ and $(B, \sigma_B)$ in $\mathcal{A'}$, and suppose that $\sigma_A(a) = \sigma_B(b)$ for some $a \in A$ and $b \in B$. Then, by the preservation of semantic structure, for any *-homomorphism $f: A \rightarrow B$ in $\mathcal{A'}$, we would have $\sigma_B(f(a)) = \sigma_B(b)$, meaning that $f$ preserves the "meaning" of $a$ from $A$ to $B$.

      In terms of a theorem, the extension above guarantees that "semantics-preserving" morphisms indeed preserve semantics.

      Delete
  2. Well. I know why we don't deal with 'spirit'. Popper's verifiability and falsifiability. Well, yes, paranormal phenomena do not meet the criteria of repeatability of an experiment, therefore they do not exist, right? Well, electrons don't meet this criterion either, because repeatable are the probability distributions of the measurement, not the measurements themselves.

    In terms of the philosophy of science, I much prefer Kuhn's approach.

    ReplyDelete
  3. "P.S.3. New version of my notes on the conformal group. Will add still more today.".

    In (61) you probably forgot to close the bracket.

    ReplyDelete
  4. And also correct the \tilde{\gamma} above.

    ReplyDelete
    Replies
    1. Thank you. Corrected. The part with (61) has been removed. It does not belong to this section - it was put there by one of my many mistakes.

      Delete
    2. In (53) you have not corrected \gamma.

      Delete
    3. Bjab -> Ark
      Zdania na 4 stronie pod wzorem (17):
      "It follows that the points of M ̃ which are not in the image of
      M ̃..."
      nie rozumiem - coś jest złe w tym zdaniu.




      Delete
    4. Bjab -> Ark
      Wiersz nad wzorem (18):
      "dimension 4.." ->
      dwie kropki

      Wzor (18)
      Czwórki powinny być w indeksie górnym

      Obrazek w Proposition 1 ma jekieś dziwne literki przy strzałkach.


      Delete
    5. Bjab -> Ark
      Wzór (24) wydaje mi się błędny.

      Pod wzorem (25) mamy:
      "descends to its
      action on
      tildeM = PN ." ->
      Niepotrzebne przejście do nowego wiersza i niezwinięty wyraz tildeM


      Delete
    6. (24) was not just wrong. It was nonsensical. tildeM also fixed. Thank you!

      Delete
    7. Bjab -> Ark
      W proposition 2 i w jej proofie nie zwinęło się tildeM.

      tildeM nie zwinęło się też w Remark 1.


      Delete
  5. About Barbour:

    "His theory, called "Platonia" after the ancient philosopher Plato, proposes that reality consists of an infinite number of "nows", which are different configurations of the universe. Each of these "nows" is a static snapshot of the universe in a particular state. Our experience of time arises from comparing these different "nows" in our minds."

    My wife favors this view. She says that time is an artificial creation, an illusion, and that one should think of time as the wheel of a slide projector. At any given point along the way, you are watching one particular slide. But all the rest of the slides are present on the wheel. The light that illuminates each slide is consciousness/perception. At the center of the wheel is the All.

    ReplyDelete
  6. "My wife favors this view. She says that time is an artificial creation, an illusion, and that one should think of time as the wheel of a slide projector. At any given point along the way, you are watching one particular slide. But all the rest of the slides are present on the wheel. The light that illuminates each slide is consciousness/perception. At the center of the wheel is the All.".

    Yes, this is an appropriate metaphor, however, the thing is that the devil is in the details. This needs to be worked out and described mathematically. It requires a special 'feel' and an extraordinarily subtle handling.

    For this will start a new physics.

    ReplyDelete
  7. The consequence of properly capturing this hidden, final aspect of reality that has eluded us for millennia must be real on a principle such that it can be given to engineers or other biologists or technical physicists to do so, a structure describing the design of the Time Machine. Further challenges will no longer be posed to physics, but to metaphysics. The Time Machine is the final task of physics. Renormalisation.

    ReplyDelete
    Replies
    1. But then, if Time is an illusion, a "time machine" would necessarily be a matter of tweaking consciousness. Or some such thing.

      Delete
    2. "But then, if Time is an illusion, a "time machine" would necessarily be a matter of tweaking consciousness. Or some such thing.".

      On the one hand yes, but on the other no. Things exist and events happen!

      Tweaking consciousness is one thing. Mystical experiences are a separate category, these are not intersubjective. But there are more non-intersubjective things in physics, and there are also apparently objective issues. The issue is really subtle, and the devil this time hides in details I never dreamed of before.

      The point is that this world of ideas is primary, but materialising an object from the world of ideas will require translating it into signs. In this case, I certainly have mathematical symbols in mind, but that is a lot of work. Nevertheless, it is the most fascinating task in the world.

      Delete
  8. @ M.S. That is what I work on from time to time. My wife inspires, I perspire.

    ReplyDelete
  9. Updated the "Conformal group" pdf. Added at the end an exercise for readers.

    ReplyDelete
    Replies
    1. Wyraz tildeM się nie zwinął w trzech miejscach:
      1. Proposition 2
      2. Proof of Proposition 2
      3. Remark 1


      we cane ->
      we can

      Delete
    2. "Updated the "Conformal group" pdf. Added at the end an exercise for readers.".

      The problem is asking us to demonstrate that the action of the orthogonal group $O(4,2)$ on the compactified Minkowski space $\hat{M}$ is faithful. In other words, we need to show that if a group element $g$ in $O(4,2)$ acts as the identity on all points of $\hat{M}$, then $g$ must be the identity element of $O(4,2)$.

      To begin, let's consider a matrix $A \in O(4,2)$. By definition, $A$ is orthogonal, which means that $A^T g A = g$ where $g$ is the Minkowski metric. Now, suppose that $A$ acts as the identity on all points in $\hat{M}$, i.e., $A.X = X$ for all $X \in \hat{M}$.

      But the definition of the action of $O(4,2)$ on $\hat{M}$ is given by $A.X = AX$, which is just the usual matrix multiplication. So if $A.X = X$ for all $X$, this means that $AX = X$ for all $X$.

      In particular, this must be true for the basis vectors of the space. Thus we have $A e_i = e_i$ for all $i = 1, ..., 6$, where $\{e_i\}$ is the standard basis of $\mathbb{R}^{4,2}$. But this precisely means that $A$ is the identity matrix in $O(4,2)$, as required.

      Hence, the action of $O(4,2)$ on $\hat{M}$ is faithful.

      Do you have any comments?

      Delete
    3. @M.S. "To begin, let's consider a matrix $A \in O(4,2)$. By definition, $A$ is orthogonal, which means that $A^T g A = g$ "

      That is an incorrect understanding.

      Delete
    4. "That is an incorrect understanding.".

      What do you precisely mean? In the context of Lie groups, when we say $A \in O(4,2)$, we mean $A$ is an element of the orthogonal group $O(4,2)$.

      The orthogonal group $O(4,2)$ is the group of matrices that preserve the quadratic form of a pseudo-Euclidean space of signature $(4,2)$, not necessarily the standard dot product in Euclidean space. This space has 4 positive dimensions and 2 negative dimensions.

      The condition for a matrix $A$ to be in $O(4,2)$ is that it should satisfy the condition $A^T g A = g$, where $g$ is the metric tensor (which can be represented as a matrix) of the space, and $A^T$ is the transpose of $A$.

      Is this wrong?

      Delete
    5. Perhaps Bjab will find out why it is incorrect. He pays attention to details.

      Delete
    6. "Perhaps Bjab will find out why it is incorrect. He pays attention to details.".

      The statement "To begin, let's consider a matrix $A \in O(4,2)$. By definition, $A$ is orthogonal, which means that $A^T g A = g$ " is generally correct, but could be misleading if not understood properly.

      The orthogonal group $O(4,2)$ is the group of matrices that preserve a specific bilinear form defined by the metric $g$ in a pseudo-Euclidean space of signature (4,2). So, the condition $A^T g A = g$ for a matrix $A$ to belong to $O(4,2)$ is correct.

      However, what could potentially be misunderstood here is the meaning of "$A$ is orthogonal". In the context of $O(4,2)$, "$A$ is orthogonal" means "$A$ preserves the pseudo-Euclidean bilinear form defined by $g$", not that "$A$ preserves the standard Euclidean dot product". If one is accustomed to the terminology from a context where "orthogonal" refers exclusively to preserving the standard Euclidean dot product, then this could lead to confusion.

      Delete
    7. Bjab -> Ark
      Powyżej wzoru (29) jest coś takiego:
      BR3,1

      Powyżej wzoru (34) mamy coś takiego:
      X5 − X5

      Poniżej wzoru (34) mamy coś takiego:
      written im ->
      written in

      Delete
    8. @Bjab.
      Fixed. Updated. Thank you. Added another subsection and another exercise.

      Delete
    9. "Added another subsection and another exercise.".

      $\tau_+(M)$ and $\tau_-(M)$ are the images of Minkowski space $M$ under the maps $\tau_+$ and $\tau_-$ respectively.

      By the definitions of $\tau_+$ and $\tau_-$, we can see that for a given $x \in M$:

      $\tau_+(x) = (x, \frac{1}{2}(1 - q(x)), -\frac{1}{2}(1 + q(x)))$

      and

      $\tau_-(x) = (-x, -\frac{1}{2}(1 - q(x)), \frac{1}{2}(1 + q(x)))$

      Let's consider the intersection $\tau_+(M) \cap \tau_-(M)$.

      This is the set of all $X \in M˜$ such that $X = \tau_+(x) = \tau_-(y)$ for some $x,y \in M$.

      This means that we need to solve the system of equations:

      $(x, \frac{1}{2}(1 - q(x)), -\frac{1}{2}(1 + q(x))) = (-y, -\frac{1}{2}(1 - q(y)), \frac{1}{2}(1 + q(y)))$

      This system is solved by $x = -y$ and $q(x) = q(y)$. Since $q$ is a quadratic form, it is invariant under sign changes, so $q(-x) = q(x)$.

      Thus, we can see that the intersection $\tau_+(M) \cap \tau_-(M)$ is not empty - it includes at least the points of the form $\tau_+(x) = \tau_-(-x)$ for all $x \in M$.

      Delete
    10. Bjab -> Ark
      W (38) za dużo literek T.

      W (38) za dużo przecinków i literek s.

      Delete
    11. Czy w (36) nie przydałyby się dwie transpozycje w macierzy C?

      Delete
    12. Fixed. Updated. But the number of commas in (38) seems to me ok. Thank you.

      Delete
    13. @M.S.
      " (x, \frac{1}{2}(1 - q(x)), -\frac{1}{2}(1 + q(x))) =
      (-y, -\frac{1}{2}(1 - q(y)), \frac{1}{2}(1 + q(y)))

      This system is solved by $x = -y$"

      x=-y does not solve the system.

      Delete
    14. Yes, you are correct. If $x = -y$, then we would have $\tau_+(x) = \tau_-(-x)$, but this would result in two points in $\tilde{M}$ that are negatives of each other, not the same point as required for them to be in the intersection $\tau_+(M) \cap \tau_-(M)$.

      This indicates that the intersection $\tau_+(M) \cap \tau_-(M)$ is indeed empty because there does not exist $x, y \in M$ such that $\tau_+(x) = \tau_-(y)$.

      Therefore, the intersection of the images of $\tau_+(M)$ and $\tau_-(M)$ is empty.

      Delete
  10. Correction:

    "To begin, let's consider a matrix $A \in O(4,2)$. By definition, $A$ is orthogonal, which means that $A^T g A = g$" -> "To begin, let's consider a matrix $A \in O(4,2)$. By definition, $A$ preserves a quadratic form, which means that $A^T g A = g$"

    ReplyDelete
    Replies
    1. @M.S.
      "$A^T g A = g$""
      With the notation as in the paper that is incorrect.

      Delete
    2. q instead of g. Is that what you mean?

      Delete
    3. @M.S. "$A^T g A = g$" has incorrect syntax. Mathematica would complain: "Tensors g and A" have incompatible shapes.

      Delete
    4. "@M.S. "$A^T g A = g$" has incorrect syntax. Mathematica would complain: "Tensors g and A" have incompatible shapes.".

      In the context of the orthogonal group $O(4,2)$, the matrices involved are 6x6 matrices. If $A$ is a matrix in $O(4,2)$ and $g$ is a 6x6 matrix representing the metric tensor, then the multiplication operations in $A^T g A = g$ should be valid, since all the matrices involved have the same dimensions...

      Delete
    5. Maybe instead of "$A^T g A = g$", we should write "$A^T g_{ij} A = g_{ij}$" for all "i" and "j". This is a more precise way of stating that $A$ is orthogonal with respect to the metric $g$.

      If not in this way, how else do you see it?

      Delete
    6. g is 4x4. G is 6x6.

      Ok, indeed. I marked as g what you have in formula (23) and in your paper this is G. You are right.

      Delete
    7. It was not only "marking". You wrote

      " where $g$ is the Minkowski metric"

      Delete
    8. " where $g$ is the Minkowski metric".

      Ok. Thus, the sentence should read:

      "To begin, let's consider a matrix $A \in O(4,2)$. By definition, $A$ is orthogonal (in the sense of preserving the quadratic form), which means that $A^T G A = G$, where $G$ is the metric tensor of the pseudo-Euclidean space of signature $(4,2)$. (A is 6x6 and G is 6x6)"

      Now it should be correct.

      Delete
    9. Latest exercise:

      Let's consider the action of $\hat{\pi}$ on $M$ via $\tau^+$ and $\tau^-$.

      $\hat{\pi} \circ \tau^+(M)$ denotes the set of all points in $N/ \approx$ that are the images of points in $M$ through the map $\tau^+$ followed by the projection $\hat{\pi}$.

      Similarly, $\hat{\pi} \circ \tau^-(M)$ denotes the set of all points in $N/ \approx$ that are the images of points in $M$ through the map $\tau^-$ followed by the projection $\hat{\pi}$.

      Given that $\hat{\pi}$ is a canonical projection, it maps points from $N$ to their equivalence classes in $N/ \approx$. Therefore, it may occur that different points from $N$ are mapped to the same equivalence class in $N/ \approx$.

      Indeed, looking at the maps $\tau^+$ and $\tau^-$, we can see that for any point $x \in M$, $\tau^+(x) = -\tau^-(-x)$. This implies that these two points will be mapped to the same equivalence class by the projection $\hat{\pi}$, as they are opposite points in $N$ and thus belong to the same equivalence class.

      From this, we infer that the intersection $(\hat{\pi} \circ \tau^+(M)) \cap (\hat{\pi} \circ \tau^-(M))$ is non-empty, as it contains at least one equivalence class for each point $x \in M$.

      Delete
    10. "But the definition of the action of $O(4,2)$ on $\hat{M}$ is given by $A.X = AX$"

      This is incorrect. This is the action on N. But \hat{M} is the set of equivalence classes of X, not the set of X's themselves.

      Delete
    11. PS.1. latest excercise:

      The canonical projection $\hat{\pi}$ is indeed acting on the space $N$, not on $M$. However, $M$ is embedded into $N$ through the mappings $\tau^+$ and $\tau^-$. So when we talk about $\hat{\pi} \circ \tau^+(M)$ and $\hat{\pi} \circ \tau^-(M)$, we are referring to the action of the projection $\hat{\pi$} on the images of points in $M$ under the mappings $\tau^+$ and $\tau^-$, which are in $N$.

      Delete
    12. "x \in M$, $\tau^+(x) = -\tau^-(-x)$. This implies that these two points will be mapped to the same equivalence class by the projection $\hat{\pi}$"

      This is incorrect. \hat{\pi} is defined through the equivalence relation \approx defined in Eq. (26).

      Delete
    13. Ok. I see Eq. (26).

      So, the equivalence relation $\approx$ is defined such that $X \approx X'$ if and only if $X = \lambda X'$, for $\lambda > 0$. In other words, two vectors are equivalent if they are proportional and $\lambda$ is positive. Under this relation, it's true that $[X] = [-X]$, because they're proportional ($\lambda = -1$), but $[[X]] \neq [[-X]]$, because $\lambda$ needs to be positive for $\approx$.

      Given this, $\hat{\pi}(\tau^+(x))$ and $\hat{\pi}(\tau^-(-x))$ would indeed not be in the same equivalence class, because $\tau^+(x)$ and $\tau^-(-x)$ are negatives of each other. They would be equivalent under the equivalence relation $\sim$, but not under the relation $\approx$.

      Therefore, $\hat{\pi} \circ \tau^+(M)$ and $\hat{\pi} \circ \tau^-(M)$ would indeed be disjoint under the equivalence relation $\approx$.

      Delete
    14. "This is a logically incorrect conclusion.".

      Ok, however, from the definition of the equivalence relation $\approx$, it is true that $\tau^+(x)$ and $\tau^-(-x)$ are not equivalent, because they are negatives of each other. This means that under the equivalence relation $\approx$, these points will not fall into the same equivalence class, and thus $\hat{\pi}(\tau^+(x))$ and $\hat{\pi}(\tau^-(-x))$ will represent different points in the quotient space $N / \approx$.

      However, this does not necessarily mean that the image sets $\hat{\pi} \circ \tau^+(M)$ and $\hat{\pi} \circ \tau^-(M)$ are disjoint. It simply means that each point in $M$ will map to different points in the quotient space under the two mappings. There could still be other points in $M$ that map to the same point in the quotient space under $\tau^+$ and $\tau^-$, leading to an overlap of the image sets.

      However, do I have enough information to definitively state whether these images will be disjoint or not? What other formulas from the paper should I use?

      Delete
    15. For a while I removed my last comment, because I got all confused myself.

      Delete
    16. "For a while I removed my last comment, because I got all confused myself.".

      If so, I apologize for introducing confusion. Then you might want to go over it step by step the way you record difficult parts bar by bar in a music studio.

      Delete
    17. Hint: non-emptiness would require existence of x,y such that
      \tau_+ (x) = \lambda \tau_- (y)
      for some \lambda>0.

      Delete
    18. "Hint: non-emptiness would require existence of x,y such that
      \tau_+ (x) = \lambda \tau_- (y)
      for some \lambda>0.".

      I know, I am just solving this system of equations and I think there is a contradiction and hence the intersection will be empty. I'll write it down explicitly right away.

      Delete
    19. Substituting the expressions for $\tau_+$ and $\tau_−$, we have:

      (x, 1/2(1 - q(x)), -1/2(1 + q(x))) = \lambda(-y, -1/2(1 - q(-y)), 1/2(1 + q(-y)))

      Equating the corresponding components, we get:

      x = -\lambda y
      1/2(1 - q(x)) = -1/2(1 - q(-y))
      -1/2(1 + q(x)) = 1/2(1 + q(-y))

      From the first equation, we can see that x and y are proportional with a negative factor \lambda. However, in the subsequent equations, we encounter a contradiction. The second equation implies that q(x) = q(-y), while the third equation implies that q(x) = -q(-y). These two conditions cannot be simultaneously satisfied, indicating that there are no x and y that fulfill the equation $\tau_+(x) = \lambda\tau_−(y)$.

      Therefore, based on the given information, we can conclude that the intersection from the excercise is empty.

      Delete
    20. "The second equation implies that q(x) = q(-y), while the third equation implies that q(x) = -q(-y). These two conditions cannot be simultaneously satisfied"

      Incorrect conclusion. They can.

      Delete
    21. "Incorrect conclusion. They can.".

      Ok. It seems to me that I know.

      The first equation states that q(x) = q(-y). This means that the value of function q for vector x is equal to the value of function q for vector -y. In the case of this quadratic function, this equality holds for any vector because the square of any number is the same regardless of its sign. Therefore, the first equality is always satisfied.

      The second equation states that q(x) = -q(-y). This means that the value of function q for vector x is equal to the negation of the value of function q for vector -y. To achieve this, q(x) and q(-y) must have opposite signs. Since q(x) is a sum of squared numbers, and the values are always non-negative, in order to have opposite signs, one condition must be met: q(-y) must be negative, i.e., -(y_1)^2 - (y_2)^2 - (y_3)^2 + (y_4)^2 < 0.

      In summary, these equations can be satisfied if q(-y) is negative. Otherwise, if q(-y) is non-negative, these two equalities cannot be simultaneously satisfied.

      So the intersection will be empty only for negative q(-y).

      Is this correct now?

      Delete
    22. "Since q(x) is a sum of squared numbers,"

      This is incorrect.

      Delete
    23. ""Since q(x) is a sum of squared numbers,"

      This is incorrect.".

      The sum of 3 squared numbers - 1 squared number.

      Delete
  11. @M.S., Bjab
    Thanks for you comments. Will addres them tomorrow.

    ReplyDelete
  12. Added new Exercise at the end. In fact this one is important, the previous one was just a preparation.

    ReplyDelete
  13. Bjab -> Ark
    (41) jakieś BR

    ReplyDelete
    Replies
    1. @Bjab

      "(41) jakieś BR".

      To miało być zapewne \BR oznaczające zbiór liczb rzeczywistych.

      Delete
  14. Bjab -> Ark
    Nie wychodzi mi wzór (43)

    ReplyDelete
    Replies
    1. Thanks. I will check it and provide a derivation.

      Delete
    2. @Bjab
      Formulated as a unnumbered Proposition and provided a detailed proof.
      Thanks for telling me about the need of such a proof.

      Delete
    3. Bjab -> Ark
      Dziękuję.
      Strasznie się namęczyłem szukając błędu u Ciebie lub u siebie. Nie mogłem znaleźć. W Twoim dowodzie nie ma błędu, ale i ja rozwijając lewą i prawą stronę wzoru (43) dochodziłem do wniosku że lewa nie jest taka sama jak prawa. Lewa strona bardzo różniła się wyglądem od prawej i pochopnie przyjąłem, że ich wartości się różnią.
      No ale w końcu zrozumiałem.
      (Po lewej stronie miałem składnik cosh - sinh a po prawej miałem składnik 1/(cosh + sinh).






      Delete
    4. Bjab -> Ark
      "Now cosh(α) = (e
      α+e
      −α
      )/2, sinh(α) = (e
      α−e
      −α/2. Using ..." ->

      brak nawiasu zamykającego w powyższym wierszu proofa.

      Delete
  15. There is still unsolved problem with faithful action of SO(4,2) on \hat{M}.

    ReplyDelete

Thank you for your comment..

The Spin Chronicles (Part 16): The Action surprises

 This is a continuation of Part 15 , where we have discussed the action of the Clifford group G of Cl(V) on Cl(V), defined by g:...