---
title: 'Proteus 2k: Even-Dimensional Unlinked Simplices'
url: https://www.emergentmind.com/topics/proteus-2k
type: topic
---

# Proteus 2k: Even-Dimensional Unlinked Simplices

Proteus 2k most specifically denotes the even-dimensional Proteus-type problem in affine geometry and topological combinatorics: whether every set of \(2k+3\) points in general position in \(\mathbb{R}^{2k}\) must contain a linked complementary pair of simplices in the parity sense. The 2024 paper "An example of an 'unlinked' set of \(2k + 3\) points in \(2k\)-space" proves that the answer is negative by constructing an explicit unlinked configuration on the moment curve [2402.09002]. In current arXiv usage, however, the label also coexists with several unrelated systems named Proteus in wearable authentication, mobile visualization adaptation, distributed ledgers, and processing-using-DRAM, so the term is context-dependent rather than globally canonical [2403.00889], [2604.23299], [2602.05346], [2501.17466].

## 1. Scope and nomenclature

Within the mathematical literature represented here, Proteus 2k refers to the even-dimensional analogue of a classical linked-simplices phenomenon. The corresponding question asks whether the odd-dimensional linking theorem has a parity-analogue in dimension \(d=2k\). The cited paper answers this in the negative by exhibiting a configuration in which every relevant complementary pair has even intersection parity, hence no pair is linked [2402.09002].

A separate source of ambiguity is terminological. Several unrelated papers use the name Proteus for systems in distinct technical areas, but not all of them introduce a separate formal object called “Proteus 2k.” In the ledger paper, for example, the core protocol is explicitly just Proteus, and the text states that if “2k” is used elsewhere, it most plausibly denotes a particular deployment/configuration size rather than a different protocol [2602.05346]. This suggests a context-sensitive rather than uniform use of the label.

| Usage | Domain | Core object |
| --- | --- | --- |
| Proteus \(2k\) | Affine geometry / topological combinatorics | Even-dimensional linked-simplices problem and unlinked configuration |
| Proteus | Minimalist wearables | Time-bound contextual bio-IDs from sensor streams |
| Proteus | Visualization systems | Mobile adaptation of desktop visualizations |
| Proteus | Distributed ledgers | Platform-fault-tolerant append-only ledger |
| Proteus | Processing-using-DRAM | Runtime-adaptive PUD framework |

## 2. The \(d+3\)-point framework

The mathematical Proteus \(2k\) problem sits inside the standard \(d+3\)-point framework. The cited paper recalls the classical theorem:

> Take any \(d+3\) points in general position in \(\mathbb{R}^d\).  
> (a) If \(d=2k+1\), then there are two linked \((k+1)\)-simplices with vertices among these points.  
> (b) If \(d=2k\), then there are two disjoint \((k+1)\)-tuples of these points whose convex hulls intersect [2402.09002].

The same source also recalls the “opposite parity” analogue for intersections in odd dimension: for \(d=2k+1\), there are two disjoint subsets of sizes \(k+1\) and \(k+2\) whose convex hulls intersect. The Proteus \(2k\) question is the converse-type analogue in even dimension: must one always obtain linked simplices there as well? The answer is no [2402.09002].

The relevant definitions are standard. A set of points in \(\mathbb{R}^d\) is in general position if no \(d+1\) of them lie in a common \((d-1)\)-dimensional hyperplane. For a pair of disjoint simplices, one of dimension \(k\) and the other of dimension \(d-k\), the pair is linked if the \(k\)-simplex intersects the boundary of the \((d-k)\)-simplex in an odd number of points. In the even-dimensional case \(d=2k\), the complementary pair consists of a \(k\)-simplex on \(k+1\) vertices and the simplex on the remaining \(k+2\) vertices; the parity question is whether the first simplex meets the boundary of the second evenly or oddly [2402.09002].

The number \(2k+3\) is therefore not incidental. When \(d=2k\), one has \(d+3=2k+3\), so the natural combinatorial configuration is exactly a set of \(2k+3\) points. One complementary subset has size \(k+1\), the other has size \(k+2\), and the geometric problem becomes a parity statement about boundary intersections [2402.09002].

## 3. Main theorem: existence of an unlinked set

The central statement is Assertion 2 of the paper:

> There are \(2k+3\) points in general position in \(\mathbb{R}^{2k}\) such that any \(k\)-simplex formed by \(k+1\) of them intersects the boundary of the simplex formed by the remaining \(k+2\) points at an even number of points [2402.09002].

Equivalently, the number of linked pairs of simplices is zero for that configuration. The result is described as disproving the natural even-dimensional analogue of the classical linked-simplices theorem, and it does so in the strongest possible way: not merely by showing that a linked pair need not exist, but by producing a configuration in which all complementary pairs are unlinked [2402.09002].

The explicit construction is
\[
m([2k+3]) \subset \mathbb{R}^{2k},
\]
where \(m\) is the moment curve map
\[
m(t)=(t,t^2,\dots,t^{2k}),
\]
and
\[
[2k+3]=\{1,2,\dots,2k+3\}.
\]
The paper identifies this as a cyclic-polytope configuration and shows that the rigidity of convex-hull intersections along the moment curve makes the parity analysis tractable [2402.09002].

This construction yields an **unlinked** set of \(2k+3\) points in \(2k\)-space. In the paper’s terminology, “unlinked” means that every complementary \(k\)-simplex / \((k+1)\)-simplex pair has even intersection parity. Since linkedness is defined by odd parity, the configuration contains no linked pairs at all [2402.09002].

## 4. Moment-curve mechanism and parity reduction

The proof is geometric in formulation but combinatorial in execution. A preliminary fact, Lemma 4, states that for points in general position, the convex hulls of two disjoint simplices can intersect in at most one point. As the paper notes, this allows parity of intersections to be identified with whether an intersection occurs at all, because every contributing face meets at most once [2402.09002].

General position of the chosen configuration is obtained from Lemma 5: any \((d-1)\)-hyperplane intersects the moment curve in at most \(d\) points. Applied to \(m([2k+3])\), this ensures that the selected points on the moment curve are in general position [2402.09002].

The decisive structural input is Lemma 6. For disjoint \(P,Q\subset [2k+2]\) with \(|P|=|Q|=k+1\),
\[
\operatorname{Conv} m(P)\cap \operatorname{Conv} m(Q)\neq\varnothing
\quad\Longleftrightarrow\quad
P,Q\text{ alternate}.
\]
Moreover, if they intersect, they intersect in exactly one point. Here “alternate” means that the elements of the two \((k+1)\)-sets can be ordered so that the numbers alternate along \([n]\), for example
\[
s_1<t_1<s_2<t_2<\cdots<s_{k+1}<t_{k+1},
\]
or the same with the roles swapped [2402.09002].

For a fixed \(I\in \binom{[2k+3]}{k+1}\), the paper studies the number \(n\) of intersection points between
\[
\operatorname{Conv}(m(I))
\quad\text{and}\quad
\partial\operatorname{Conv}(m(M\setminus I)),
\]
where \(M=[2k+3]\). It then identifies \(n\) in several equivalent ways: as the number of boundary intersections, as the number of \(k\)-faces of \(\operatorname{Conv}(m(M\setminus I))\) meeting \(\operatorname{Conv}(m(I))\), and as the number of \((k+1)\)-subsets \(J\subset M\setminus I\) such that \(\operatorname{Conv}(m(I))\cap \operatorname{Conv}(m(J))\neq\varnothing\). By Lemma 6, this is exactly the number of \((k+1)\)-subsets \(J\) alternating with \(I\) [2402.09002].

The geometric claim is thereby reduced to Lemma 7: for every \((k+1)\)-subset \(I\subset [2k+3]\), the number of \((k+1)\)-subsets \(J\) alternating with \(I\) is even. The proof is a case analysis. If \(I\) contains adjacent integers, then no \(J\) alternates with \(I\). If \(I\) has no adjacent integers, one distinguishes whether \(1\) and/or \(2k+3\) lie in \(I\). In the most symmetric case,
\[
I=\{2,4,\dots,2k+2\},
\]
the only alternating complements are
\[
\{1,3,5,\dots,2k+1\}
\quad\text{and}\quad
\{3,5,7,\dots,2k+3\},
\]
so the count is exactly \(2\). In every case the total is \(0\) or \(2\), hence even [2402.09002].

## 5. Conceptual significance

The principal conceptual point is the separation between intersection theorems and linking theorems. In \(d=2k+1\), the \(d+3\)-point theorem guarantees linked \((k+1)\)-simplices. In \(d=2k\), one instead has a theorem about intersecting convex hulls of disjoint \((k+1)\)-subsets. The paper shows that the naive parity-analogue of the odd-dimensional linking theorem does not extend to even dimensions [2402.09002].

A common misconception is that the odd-dimensional linked-simplices theorem should have a formally parallel even-dimensional statement. The result rules this out by producing a configuration in which all complementary pairs have even intersection parity. The failure is therefore not marginal but absolute for the constructed example: every potentially relevant pair is unlinked [2402.09002].

This also clarifies the role of cyclic-polytope combinatorics. The moment curve is not used merely as a convenient generic-position source; it provides an explicit combinatorial criterion for convex-hull intersections via alternation. A plausible implication is that the even-dimensional obstruction is deeply tied to the rigid oriented-matroid structure of cyclic-polytopal configurations, rather than to an accident of a particular coordinate choice.

The bottom line of the paper is:
\[
\boxed{\text{There exists a set of }2k+3\text{ points in general position in }\mathbb{R}^{2k}\text{ with no linked complementary }(k+1)\text{-simplices.}}
\]
An explicit example is
\[
m([2k+3])=\{(t,t^2,\dots,t^{2k}) : t=1,2,\dots,2k+3\},
\]
and the proof proceeds by counting alternating complementary subsets and showing that the count is always even [2402.09002].

## 6. Other Proteus systems in current arXiv usage

Outside combinatorial geometry, Proteus names several unrelated systems. In wearable computing, "Proteus" [2403.00889] is a framework for generating **time-bound contextual bio-IDs** from live sensor data so that devices can authenticate users and collaborate **without relying on static pairing alone**. It uses IMU and PPG data from devices such as earbuds, wristband, and headband; trains a global bio-ID model using contrastive learning inspired by SimCLR; segments data into **20-second windows** for IMU-only data and **30-second windows** for PPG-only or IMU/PPG data; resamples to **100 Hz**; and uses a 1D convolutional embedding network with **three convolutional blocks**, **one max-pooling layer**, and a projection head of **three fully connected layers**. Experiments on **FatigueSet** with **12 participants** report, among other outcomes, **TPR = 84%**, **FPR = 9%**, and **FNR = 16%** in the left/right earbud IMU+PPG setting, with **TPR stays above 80%**, ranging from **83% to 89%** across activity types [2403.00889].

In visualization systems, "Proteus" [2604.23299] is an automated framework for adapting desktop-authored visualizations to mobile screens. It formalizes a three-level design space—**Global Topology**, **Reference Frame**, and **Visual Elements**—and implements an LLM-driven five-agent workflow consisting of **Semantic Parser**, **Data Extractor**, **Design Planner**, **Frontend Engineer**, and **Visual Critic**. The framework is organized around **R1 Perceptual Scalability**, **R2 Semantic Equivalence**, **R3 Exchange Space for Time**, and **R4 Respect Cross-Level Dependencies**. In a within-subject study with **12 participants** over **67 real desktop visualizations**, Proteus reports a **render success rate: 91.8%** versus **87.8%** for a stronger multi-agent baseline, with **\(p < 0.05\)** for data fidelity and readability and **\(p < 0.001\)** for aesthetics and interaction reasonableness [2604.23299].

In distributed systems, "Proteus" [2602.05346] is a platform-fault-tolerant append-only ledger that embeds a Byzantine fault-tolerant audit protocol inside a crash-fault-tolerant protocol with no additional messages. The formal replica bound is
\[
N\geq 2(c+f_{live}) + f_{safe} + 1,
\]
with \(u=f_{live}+c\). Each batch has the form
\[
B=\langle v,i,p,commitQC_{anc},auditQC_{anc},b\rangle_{Opt<sig>}.
\]
A batch is committed if it is replicated at a majority of nodes in the same view, while auditQCs require a supermajority signed set of `Resp` messages. The protocol uses hash chaining, pipelining, incremental quorums, `pendingQCs`, and a stabilization-based branch-selection rule that prefers the highest auditQC, then fast-path candidates, then highest view, then highest sequence number. In the default LAN setup, it reaches **345k txn/s at peak**, about **87%** of the throughput of signed Raft with seven nodes, and is about **1.9× faster than Engraft** [2602.05346].

In computer architecture, "Proteus" [2501.17466] is a processing-using-DRAM framework that dynamically chooses bit-precision, data representation, and arithmetic implementation at runtime. Its three principal mechanisms are dynamic bit-precision reduction for narrow values, concurrent execution of independent in-DRAM primitives across multiple DRAM arrays via **One-Bit-Per-Subarray (OBPS)** mapping, and adaptive selection among bit-serial, bit-parallel, and **redundant binary representation (RBR)** algorithms. The dynamic precision engine tracks the maximum value of each registered PUD object and can compute required precision as
\[
p = \left\lceil \log_2(M) \right\rceil + 1.
\]
The paper evaluates the design on **12 real applications** and reports, using a single DRAM bank, average performance per mm\(^2\) of **17×** over CPU, **7.3×** over GPU, and **10.2×** over SIMDRAM in the latency-optimized configuration, together with **90.3×** lower energy than CPU, **21×** lower than GPU, and **8.1×** lower than SIMDRAM in the energy-optimized dynamic configuration [2501.17466].

Taken together, these usages show that “Proteus 2k” has one precise mathematical meaning tied to the even-dimensional unlinked-set problem, while “Proteus” functions more broadly as a reused system name across several technical domains. The mathematically specific sense is the one anchored by the explicit \(2k\)-notation and by the theorem on unlinked sets in \(\mathbb{R}^{2k}\) [2402.09002].

Source: https://www.emergentmind.com/topics/proteus-2k