PDF Source (PDF File Link)

PDF Source (PDF File Link)

English

Dear Organizers,

First of all, I would like to express my sincere appreciation for organizing the symposium Development and Validation of a Unified Theory of Prediction and Action. The theme addressed in this symposium touches upon a profound and fundamental question that spans multiple scientific disciplines.

With great respect, I would like to share a brief personal reflection that I believe may be relevant to the theme of this symposium.

In my view, for a theory to meaningfully qualify as a “unified theory,” it should satisfy at least the following four criteria.

First, a unified theory should be capable of addressing (1) structures themselves, (2) transformations of structures, (3) relations between structures, (4) generativity of structures, and (5) the processes through which structures are generated. In other words, the theory should provide a framework in which structure and generativity can be described within a single formal system.

Second, a unified theory should be able to handle both discrete and continuous structures. Many phenomena in nature and cognition exhibit both discrete and continuous characteristics, and therefore a theoretical framework capable of integrating these two aspects is essential.

Third, a unified theory should naturally accommodate probabilistic structures. Many complex systems, ranging from physical systems to biological and cognitive processes are inherently probabilistic. Consequently, a unified framework must be able to represent and analyze probabilistic dynamics.

Finally, a unified theory should be capable of addressing “pre-structures,” that is, structures that do not presuppose a fixed background such as spacetime. Otherwise, one may encounter an infinite regress of “structures of structures,” where the justification of the framework itself relies on further assumed structures. In philosophical terms, this resembles the issue Lacan described as the “Big Other,” in which one continues to posit a foundational structure that may not ultimately exist.

As a possible candidate satisfying these conditions, I would like to mention Group Field Theory (GFT), a form of quantum field theory developed in the context of quantum gravity research.

GFT possesses several properties that appear consistent with the requirements described above. First, it naturally incorporates dynamical systems in which structures emerge through couplings between other structures, allowing the discussion of structure, transformation, and generativity within a unified framework. Second, although quantum gravity models often describe discrete quantum spacetime, connections with condensed matter theory suggest mechanisms through which continuous spacetime structures may emerge. Third, as a quantum theoretical framework, GFT inherently incorporates probabilistic dynamics. Finally, GFT addresses the issue of background independence. In this framework, spacetime is modeled as an emergent phenomenon arising from algebraic relations defined on groups. Importantly, a group is a purely relational structure: if $g, h, gh \in G$, nothing is assumed about the intrinsic ontology of $g$ or $h$; they function purely as elements defining relations.

Within this context, spin foam models are known as discrete spacetime representations derived from quantum field theoretical formulations. In my personal view, spin foams may also function as a universal intermediate representation capable of connecting various real-world structures to quantum field theoretical frameworks.

From this perspective, I have been exploring the possibility of translating certain structural domains, such as musical structures into spin foam representations, thereby enabling the application of QFT-based analytical frameworks.

I sincerely apologize if this unsolicited message causes any inconvenience. I would be grateful if these reflections could contribute, even in a small way, to the broader discussion surrounding unified theories.

Finally, I would like to express my sincere wishes for the continued success of the organizers and all participants of the symposium.

日本語

学術変革A「統一理論」領域国際シンポジウムへの応答

Development and Validation of a Unified Theory of Prediction and Action

主催者各位

このたびは、「統一理論」領域国際シンポジウム Development and Validation of a Unified Theory of Prediction and Action を開催いただき、誠にありがとうございます。本シンポジウムで扱われているテーマは、多くの学問分野にまたがる根源的かつ重要な問題であると感じております。

大変僭越ではございますが、本シンポジウムのテーマと関連すると思われる個人的な考察を共有させていただければ幸いです。

私見では、ある理論が真に「統一理論」と呼ばれるに値するためには、少なくとも次の四つの性質を満たす必要があると考えます。

第一に、統一理論は 構造そのもの、構造の変化、構造間の関係、構造の生成性、そして構造が生成される過程 を一貫した枠組みの中で扱える必要があります。すなわち、構造と生成性を同一の形式体系の中で記述できる理論であることが重要であると考えます。

第二に、統一理論は 離散的構造と連続的構造の双方 を扱える必要があります。自然現象や認知システムの多くは、離散的性質と連続的性質を同時に持っています。そのため、これらを統合的に扱える理論枠組みが不可欠であると考えられます。

第三に、統一理論は 確率的構造 を自然に扱える必要があります。物理系、生物系、認知系など、多くの複雑なシステムは本質的に確率的な振る舞いを示すため、確率的ダイナミクスを扱える理論が必要になります。

第四に、統一理論は 固定された背景を前提としない「前構造（pre-structure）」 を扱える必要があります。そうでなければ、「構造の構造」をさらに説明するための新たな構造を仮定し続けるという無限後退の問題に陥る可能性があります。哲学的には、これはラカンが述べた「大文字の他者」の問題に類似しており、最終的には存在しないかもしれない基盤を仮定し続けることになります。

これらの条件を満たしうる候補として、量子重力研究の文脈で発展してきた量子場理論の一形態である Group Field Theory（GFT） が挙げられるのではないかと考えています。

GFTは、上記の条件と整合的と思われるいくつかの特徴を持っています。第一に、GFTは構造が他の構造との結合（coupling）から生成される動的システムを自然に記述することができ、構造・変化・生成性を統一的に扱う枠組みを提供します。第二に、量子重力理論では離散的な量子時空が扱われますが、凝縮系理論との関連を通じて連続的な時空構造が創発する可能性が議論されています。第三に、量子理論である以上、GFTは本質的に確率的ダイナミクスを含みます。第四に、GFTは背景独立性の問題に対処します。この枠組みでは、時空は群上の代数的関係から創発するものとしてモデル化されます。群は純粋に関係的な構造であり、(g, h, gh \in G) において、(g) や (h) の実体は仮定されず、関係を定義する要素としてのみ機能します。

この文脈において、Spin Foam は量子場理論に基づく離散時空の表現として知られています。私見では、Spin Foam は現実世界のさまざまな構造を量子場理論の枠組みに接続するための 普遍的な中間表現（intermediate representation） として機能する可能性があるのではないかと考えています。

この観点から、私は個人的な試みとして、音楽構造などの構造的パターンを Spin Foam 表現へと変換し、量子場理論に基づく解析枠組みを応用する可能性を探っています。

突然のご連絡となり、もしご迷惑をおかけしましたら誠に申し訳ございません。本内容が、統一理論に関する議論において、わずかでも参考となれば幸いです。

末筆ながら、先生方および関係者の皆様の今後のご健勝とご活躍を心よりお祈り申し上げます。

Wanhong HUANG

Independent Researcher

huangwanhong.g.official@gmail.com

PDF Source (PDF File Link)

Author’s Statement

This paper constitutes a preliminary attempt at formal modeling of a top-level structural framework, aiming to propose a possible theoretical structure. The current model has not yet undergone verification of completeness, consistency, or adequacy. Its expressive power and categorical-semantic interpretation also remain to be rigorously examined.

The background of this work lies in the development of legal artificial intelligence and computational law. As these fields advance, the structuring, formalization, and computable representation of legal knowledge have become important issues. Formal modeling helps construct calculable legal structural models, providing a foundation for automated reasoning, rule verification, and the establishment of computational frameworks. The top-level design proposed in this paper is intended to offer an abstract structural direction for the subsequent development of such computational models.

This paper does not claim that the system presented constitutes a complete theoretical representation of civil law, but rather serves as an exploratory construction at the structural level.

I. SYNTAX

The syntactic layer defines only well-formed symbolic constructions and does not involve any semantic interpretation.

Sort (Type Identifiers)

$$
\text{Sort} ::=
\text{Entity}
\mid \text{Process}
\mid \text{Event}
\mid \text{State}
\mid \text{Property}
\mid \text{Relation}
\mid s \otimes t
\mid s \oplus t
\mid \wp(s)
$$

Fact (Type Family)

$$
\text{Fact} : \text{Sort} \to \mathsf{Type}
$$

Intuitively, for each sort $s$, $\text{Fact}(s)$ denotes the collection of fact expressions of type $s$.

Term

$$
\text{Term} ::=
\text{entity}(i)
\mid \text{process}(i)
\mid \text{event}(i)
\mid \text{state}(i)
\mid \text{property}(i)
\mid \text{relation}(i)
$$

$$
\mid;
\text{rel}(r, A, B)
\mid;
\text{has_attr}(A, P)
\mid;
\text{evolve}(A, B)
\mid;
\iota_s(A)
\mid;
\text{reify}(e)
\mid;
\text{unit}
\mid;
\text{tensor}(A, B)
\mid;
\text{multi_rel}(r, {A_i})
$$

$$
\mid { A_1, \dots, A_n }
\mid \text{map}(f, S)
\mid \text{fold}(S)
$$

Author Note: This post is a personal speculative reflection prompted by a close reading of Le Tallec, Prihar, and Käser (2025). The authors have produced a careful and methodologically innovative contribution to learning analytics by repurposing large-scale randomised experimental data to evaluate affective outcomes of support strategies alongside the cognitive outcomes that prior work had primarily examined. The theoretical and computational framings proposed in this note are exploratory extensions offered in a spirit of intellectual curiosity. They make no claims about the authors’ intentions or the scope of their original study. The authors of the original paper bear no responsibility for the speculative reasoning that follows, and any errors in the mathematical formalisations or philosophical interpretations are entirely my own.

Reference Paper: Le Tallec, J., Prihar, E., & Käser, T. (2025). The effect of different support strategies on student affect. In LAK ‘25: Proceedings of the 15th International Learning Analytics and Knowledge Conference, March 03–07, 2025, Dublin, Ireland. ACM. https://doi.org/10.1145/3706468.3706469

1. Reading the Paper as a Relational Dynamical System

The paper by Le Tallec et al. investigates how the availability of support strategies (hints, worked examples, and scaffolding) causally affects students’ affective states (boredom, concentration, confusion, frustration) during interaction with an online mathematics platform. The empirical findings are clear and, in places, counterintuitive: all three strategies improve performance, yet they produce divergent affective profiles. Hints increase confusion and reduce concentration. Examples reduce confusion. Scaffolding increases frustration. When video delivery is compared to text, confusion drops while frustration rises for scaffolded video support. When a student actually uses support, boredom reliably decreases and concentration reliably increases across all three types, a pattern absent in the mere-availability comparisons.

The authors’ own interpretive conclusion is apt: different support strategies likely operate through different psychological mechanisms. One strategy’s benefit in one affective dimension may arrive alongside a cost in another.

The experimental design is cross-sectional in its affect measurement, observing states at discrete moments and leaving the continuous or sequential evolution of learner states under repeated support interactions unmodelled. Reading the paper through a systems-theoretic lens reveals that what has been measured is a fragment of a richer closed-loop relational system between a learner and an instructional environment. This note attempts to articulate that system more formally, and to examine what its structure implies for both the interpretation of the existing results and the design of future adaptive systems.