The Mathematical Structure of the I Ching: From Dialectics to Formal Proof

The I Ching (Book of Changes) is one of China's oldest philosophical classics, dating back over 3,000 years. Its core idea is to understand the dialectical development of all things in the world through the opposition, unity, transformation, and dynamic balance of contradictions.

• Yang ⚊ (solid line) and Yin ⚋ (broken line) represent the two opposing aspects of things
• Yin and Yang are not static but dynamic: extreme Yin generates Yang, extreme Yang generates Yin
• Everything can be abstracted as combinations and transformations of Yin and Yang

The combination of three Yin-Yang lines yields 8 patterns (trigrams). There are two classical arrangements, each serving a different philosophical purpose:

The Primordial Bagua represents the ideal state of the universe, the fundamental principles before manifestation:

Philosophical Purpose: The Primordial Bagua is arranged by pure binary opposition - Qian (111) opposes Kun (000), forming perfect symmetry. It represents the cosmic principle (体, essence) - the unchanging mathematical structure underlying reality.

The Manifested Bagua represents the actual world as we experience it, with concrete correspondences:

Philosophical Purpose: The Manifested Bagua describes practical applications (用, function) - how cosmic principles manifest in nature, seasons, human relations, and the body. This is the dialectical abstraction of nature through contradiction.

The relationship: 先天为体，后天为用 (Primordial is essence, Manifested is function) - one is the ideal mathematical structure, the other is how that structure unfolds in reality.

Stacking two trigrams creates 64 states (hexagrams), representing more complex dialectical processes:

• Upper trigram (outer): External manifestation, development tendency
• Lower trigram (inner): Internal essence, root cause

Various hexagram transformations in the I Ching are not merely mathematical operations, but different perspectives for observing the dialectical movement of things:

Flipping all lines (Yin becomes Yang, Yang becomes Yin) gives the complement hexagram (综卦).

Philosophical meaning: Everything has its opposite. To understand a thing, one must simultaneously understand its opposite.

• Qian ☰☰ (pure Yang, firmness) complements to Kun ☷☷ (pure Yin, yielding)
• Tai ☷☰ (Peace, prosperity) complements to Pi ☰☷ (Standstill, obstruction)

Turning the hexagram upside down gives the reversed hexagram (覆卦).

Philosophical meaning: The same thing appears differently from different angles. Internal and external causes transform into each other.

• Zhun ☵☳ (Difficulty at the Beginning) reverses to Meng ☶☵ (Youthful Folly)
• The shift in perspective reveals another stage of development

Extracting lines 2-5 (discarding the first and sixth) and recombining them.

Philosophical meaning: Things develop according to internal necessity. Removing the superficial (first and sixth lines) reveals the essence (the middle four lines).

• The nuclear hexagram reveals the internal mechanism of change
• It's a deepening from phenomenon to essence

In divination, certain lines "move" (old Yin becomes young Yang, old Yang becomes young Yin), producing a new hexagram.

Philosophical meaning: When contradiction accumulates to a certain degree, qualitative change necessarily occurs. Quantitative change leads to qualitative change.

King Wen arranged the 64 hexagrams into 32 pairs. This project is an interesting exploration: Can we prove the King Wen sequence is an optimal solution to a well-defined mathematical problem?

• A hexagram = 6-bit binary vector $h \in {0,1}^6$
• Complement (comp), reversal (rev), and their composition form the Klein four-group $K_4$
• Hamming distance = "degree of Yin-Yang transformation" between two hexagrams

Among all pairing schemes using complement or reversal, how can we minimize the total "amount of change" across the 32 pairs?

The solution embodies philosophical intuition:

• Opposites complement each other: Opposing things should pair (complement)
• Angles complement: Different views of the same thing should pair (reversal)
• Principle of least action: Nature chooses the most economical path of change

Theorem (Uniqueness): The optimal pairing strategy is the "reversal-priority rule":

$$\mathrm{partner}(h) = \begin{cases} \mathrm{rev}(h) & \text{if } h \neq \mathrm{rev}(h) \text{ (viewing the same thing from different angles)} \ \mathrm{comp}(h) & \text{if } h = \mathrm{rev}(h) \text{ (palindrome pairs with its opposite)} \end{cases}$$

Theorem (King Wen is Optimal): The King Wen sequence is isomorphic to this unique optimal pairing.

What does this mean? The King Wen sequence not only embodies dialectical thought (unity of opposites, perspective transformation), but is also the most concise and harmonious pairing scheme mathematically.

The King Wen sequence achieves optimality while maintaining structural simplicity, embodying the philosophy of "the great Dao is simple" (大道至简).

├── IChing.lean              # Main entry point
├── IChing/
│   ├── Hexagram.lean        # Hexagram representation, Hamming distance (measure of change)
│   ├── Symmetry.lean        # Klein four-group action (complement, reversal, etc.)
│   ├── KingWen.lean         # King Wen sequence encoding
│   ├── KingWenOptimality.lean  # Optimality and uniqueness proofs
│   └── Canonical.lean       # Equivariant matching definition
├── paper_source.tex         # LaTeX paper with full proofs
└── .astrolabe/              # Astrolabe visualization data

Requires Lean 4 with Lake and Mathlib:

lake exe cache get    # Download Mathlib cache
lake build            # Build the project

This project includes Astrolabe visualization data (in .astrolabe/ directory). Open the project in Astrolabe to explore the dependency graph and mathematical annotations, visualizing the logical structure of the proofs.

This project only explores Klein four-group symmetry (complement, reversal, etc.). The I Ching tradition contains much richer dialectical structures worth formalizing:

• Nuclear hexagram (互卦): Reveals internal logic of development
• Interchange (交卦): Upper and lower trigram exchange, internal-external transformation
• Changing hexagram (之卦): Process from quantitative to qualitative change

• Five Elements (五行): Wood, Fire, Earth, Metal, Water in generative and destructive cycles (five-element structure of unity of opposites)
• Bagua Directions (八卦方位): Contrast between Primordial Bagua (ideal state, 体) and Manifested Bagua (actual state, 用)
• Heavenly Stems & Earthly Branches (天干地支): 60-cycle of dialectical temporal movement
• Eight Palaces (八宫): Hierarchical classification of 64 hexagrams (development from simple to complex)

• Astronomical Calendar (天文历法): Cyclical movement of heaven-earth Yin-Yang
• Qimen Dunjia (奇门遁甲): Comprehensive dialectical system integrating time-space, directions, and stems-branches

Can these systems be formalized in Lean? What hidden dialectical structures would formalization reveal?

• Wilhelm, R. & Baynes, C.F. (1967). The I Ching or Book of Changes. Princeton University Press.
• Leibniz, G.W. (1703). Explication de l'arithmétique binaire. Leibniz was the first to discover the connection between I Ching and binary arithmetic.
• Zhouyi Zhengyi (周易正义), Kong Yingda's commentary, Tang Dynasty classical annotation.

It's real.

Laugh at the end if you get there.