[논문 리뷰] Introducing the ISE Methodology: A Powerful New Tool for Topological Redescription

Daniel Grimmer|arXiv (Cornell University)|2023. 03. 05.

Advanced Mathematical Theories and Applications인용 수 10

한 줄 요약

이 논문은 위상적 재설명화를 위한 ISE 방법론(Internalize, Search, Externalize)을 도입하고, 이를 Fourier-변환 시공간 이론과 연속 시공간 위의 격자 이론의 재설명을 통해 사용 사례로 보여준다.

ABSTRACT

This paper introduces a powerful new tool for topological redescription, the ISE Methodology. These tools allow us to remove and replace a theory's topological underpinnings just as easily as we can switch between different coordinate systems. Aspirationally, these novel topological redescription techniques can be used to provide new support for a roughly Kantian view of space and time; Rather than corresponding to any fundamental substances or relations, we can see the spacetime manifolds which appear in our theories as merely being an aspect of how we represent the world. This view of spacetime topology parallels the dynamic-first view of geometry as well as a Humean view of laws; The spacetime manifolds which feature in our best theories reflect nothing metaphysically substantial in the world beyond them it being one particularly nice way (among others) of codifying the dynamical behavior of matter. A parallel publication (namely, Grimmer (2023)) will explicitly characterize the power and scope of the topological redescription techniques offered to us by the ISE Methodology. The modest goal of this paper is simply to introduce the ISE Methodology by applying it to two example theories. Firstly, to familiarize ourselves with these techniques, I will show how they can be used to redescribe a spacetime theory via a Fourier transform. Secondly, I will show how the exact same techniques can be used to redescribe a lattice theory (i.e., a theory set on a discrete spacetime, M=RxZ) as existing on a continuous spacetime manifold,M=RxR.

연구 동기 및 목표

• 시공간 매니폴드가 기본 물질이나 관계라기보다 표상임을 보임으로써 칸트적 유사 시공간 코디피케이션 관점을 제안한다.
• Introduce the ISE Methodology (Internalize, Search, Externalize) as a tool to maneuver between topological descriptions of theories.
• Demonstrate the methodology with concrete examples: a Fourier-transform redescription of a spacetime theory and a lattice-to-continuum redescription.
• Clarify how PSTOs (pre-spacetime translation operations) generate new candidate spacetime settings from a theory’s state space.
• Outline the potential philosophical and methodological consequences of having multiple spacetime descriptions via topological redescription.

제안 방법

• 세 단계 ISE 워크플로우를 정의한다: Internalize는 옛 토폴로지 구조에서 역학을 분리하고, Search는 PSTOs를 식별하며, Externalize는 PSTOs를 새로운 설정의 시공간 번역으로 취급한다.
• PSTOs를 이론 상태에 대한 매끄러운 변환으로 사용하여 시공간 번역을 모방하도록 하고, Fourier 공간의 이동과 격자에서의 연속 이동을 포함한다.
• 선택된 PSTOs가 실제 시공간 번역이 되는 새로운 시공간 설정을 구축하여 Externalize한다. 이때 대개 Fourier 변환과 같은 변환으로 관련된다.
• 간단한 Fourier 타입의 이동 재설명과 연속 매니폴드에서 격자 이론 재설명을 포함하여 구체적 이론에 방법론을 적용한다.
• Internalization이 살아 남은 미분동형성과 균질 매니폴드 구조를 통해 옛 시공간의 위상 정보를 보존하면서 핵심 역학적 및 대수적 구조를 드러낼 수 있음을 보여준다.

Figure 2: The Lie group $\text{SO}(3)\cong\text{RP}^{3}$ is depicted here as a smooth manifold: Namely, as a ball with radius $\pi$ in $\mathbb{R}^{3}$ with every pair of antipodal points on its surface identified. Concretely, each point $r\in\mathbb{R}^{3}$ in this figure represents a rotation of $

실험 결과

연구 질문

• RQ1 전통적 시공간 매니폴드에 의존하지 않고도 ISE 방법론이 물리 이론의 유효한 위상적 재설명을 생성할 수 있는가?
• RQ2 PSTO를 얼마나 식별하고 externalize하여 역학을 보존하거나 재해석하는 새로운 시공간 설정을 얻을 수 있는가?
• RQ3 Fourier 공간 및 격자-연속 재설명이 표현과 시공간 위상 간의 관계를 어떻게 밝히는가?
• RQ4 ISE 방법론이 경험적으로와 개념적으로 어떤 시공간에 대한 입장을(시공간 코디피케이션주의) 지지하는가?
• RQ5 역학적 내용을 보존하면서 토폴로지적 배경을 제거하는 내부화의 한계와 범위는 무엇인가?

주요 결과

• ISE 방법론은 좌표계를 전환하는 것과 비슷하게 이론의 토폴로지 배경을 제거하고 대체하는 체계적 경로를 제공한다.
• PSTOs는 이론의 상태에 대한 구체적 매끄러운 변환으로 시공간 번역처럼 작동하며 새로운 시공간 설정을 만들기 위해 externalize될 수 있다.
• Fourier-이동 예시는 이론의 시공간 설명이 Fourier 변환을 통해 재설명될 수 있음을 보여주며, Fourier-공간 이동이 실제 시공간 이동이 되는 새로운 시공간을 낳는다.
• 이산 시공간의 격자 이론은 이산 변환들 사이를 보간하는 연속 PSTOs를 사용하여 연속 시공간에서 재설명될 수 있으며, 숨겨진 동역학적 대칭을 드러낸다.
• Internalization은 살아남은 미분동형성과 균질 매니폴드 구조를 통해 옛 시공간의 토폴로지 정보를 보존하고, 중립 이론에서 살아남은 Lie-군 구조로 옛 시공간을 재구성할 수 있다.