Tyche: Managing Chance in Diverse Fields

• Tyche is a multi-faceted term that evolved from the ancient personification of chance to denote modern frameworks managing uncertainty across disciplines.
• In planetary science, Tyche marks hypotheses on hidden trans-Plutonian bodies and lunar eccentricity anomalies, refining dynamical constraints.
• Across control theory, medical imaging, security, and blockchain, Tyche-inspired approaches use probabilistic models and optimization to tackle risk and ambiguity.

Tyche is, in current research usage, both an ancient conceptual term and a recurrent modern namesake. In Greek and Roman antiquity, Tyche—Latin Fortuna—denoted a powerful, capricious source of events beyond human control; in contemporary arXiv literature, the same name is reused for hypotheses, algorithms, frameworks, and systems concerned with chance, uncertainty, risk, hidden structure, or probabilistic allocation across astronomy, control, medical image analysis, security, cryptography, satellite networking, probabilistic reasoning, and confidential cloud isolation (Johnson, 2024).

Domain	Referent	arXiv id
Intellectual history	Tyche/Fortuna as chance and its relation to probability	(Johnson, 2024)
Solar System dynamics	Planet X / Tyche / Thelisto hypothesis	(Iorio, 2014)
Lunar dynamics	Tyche as a candidate trans-Plutonian perturber	(Iorio, 2011)
Optimal control	Tychastic optimal control and unscented trajectory optimization	(Ross et al., 2024)
Medical imaging	Stochastic in-context segmentation model	(Rakic et al., 2024)
Smart-home security	Risk-based permission model	(Rahmati et al., 2018)
Blockchain protocols	Collateral-free coalition-resistant lotteries	(Kniep et al., 2024)
Probabilistic reasoning	Python library for ADL belief models	(Lamont, 2022)
Satellite networking	Hybrid beam-hopping pattern computation framework	(Yang et al., 10 Dec 2025)
Confidential cloud	Security monitor with trust domains	(Ghosn et al., 16 Jul 2025)

1. Classical meaning and the semantics of chance

In historical and philosophical usage, Tyche names the domain of contingency. The relevant reconstruction presents Tyche/Fortuna as “a powerful, capricious force” responsible for events outside human control, and places alongside it the classical distinctions between phronesis/prudentia and epistēmē/scientia: prudential judgment governs particular, contingent situations, whereas scientific knowledge governs universals. On that reading, chance was long treated as too particular for mathematics. The same study attributes the emergence of mathematical probability and statistics in the second half of the seventeenth century to Calvin’s Reformed theology, arguing that Calvin accommodated Epicurean chance with Stoic determinism, synthesized phronesis/prudentia and epistēmē/scientia, and recast hope as “certain expectation,” thereby helping to make matters of chance mathematically tractable; Huygens’s consideration of spes for mathematical expectation and the later French term espérance are presented as direct evidence of that transition (Johnson, 2024).

This historical layer is important because many modern technical uses of “Tyche” inherit precisely that semantic field. In several papers the name explicitly evokes chance, uncertainty, or hidden structure rather than any common software lineage or institutional genealogy. A plausible implication is that “Tyche” functions less as a stable technical brand than as a cross-disciplinary symbolic marker for systems that formalize uncertainty while trying to retain control, fairness, or interpretability.

2. Planetary hypotheses and Solar System dynamics

In planetary science, Tyche appears as one of several names for a hypothesized trans-Plutonian body. The 2014 Planet X analysis uses “Planet X” as a generic label for a still-unseen massive body in the distant Solar System and treats Planet X, Nemesis, Tyche, and Thelisto as variants of the same underlying idea. Its concrete target is the revived Trujillo–Sheppard scenario: a near-ecliptic rock–ice “super-Earth” with mass $m_{\rm X}=2$–$15\,m_\oplus$ at heliocentric distance $d_{\rm X}\approx 200$–$300$ AU, proposed to explain the clustering of arguments of perihelion $\omega$ near $\omega\approx 0^\circ$ for Sedna, 2012 VP$_{113}$, and related bodies with $q>30$ AU and $a>150$ AU. Using anomalous perihelion precessions $\Delta\dot\varpi$ from the INPOP and EPM ephemerides, the paper concludes that such a body is strongly disfavored: the lower bounds become $15\,m_\oplus$0–$15\,m_\oplus$1 AU for $15\,m_\oplus$2 and $15\,m_\oplus$3–$15\,m_\oplus$4 AU for $15\,m_\oplus$5, with tighter future constraints anticipated from New Horizons (Iorio, 2014).

A related dynamical use appears in the study of the anomalous secular increase of the Moon’s eccentricity. There, a trans-Plutonian massive object denoted Planet X/Nemesis/Tyche is one of the few Newtonian mechanisms that can generate a non-vanishing long-term variation in lunar eccentricity, through a quadrupolar tidal potential with $15\,m_\oplus$6. The crucial result, however, is negative: matching the reported $15\,m_\oplus$7 would require a tidal parameter $15\,m_\oplus$8, corresponding to an Earth-mass body at roughly $15\,m_\oplus$9 au or a Jupiter-mass body at roughly $d_{\rm X}\approx 200$0 au, which the paper calls “completely unrealistic” and inconsistent with planetary ephemerides and established outer-Solar-System scenarios (Iorio, 2011).

A common misconception is that these analyses collectively exclude every possible “Tyche.” They do not. They exclude specific dynamical roles for specific mass–distance regimes: in one case, the near-ecliptic $d_{\rm X}\approx 200$1–$d_{\rm X}\approx 200$2 AU super-Earth invoked to explain $d_{\rm X}\approx 200$3 clustering; in the other, the subset of Tyche-like configurations capable of explaining the lunar eccentricity anomaly.

3. Tychastic optimal control and probabilistic belief models

In control theory, Tyche is explicit etymology. “Tychastic optimal control theory” is introduced as a framework “from Tyche, the Greek goddess of chance” that avoids Brownian motion and Itô calculus while still using random variables “across the entire spectrum of a problem formulation.” The central substitution is methodological: instead of the stochastic control differential equation

$d_{\rm X}\approx 200$4

the tychastic formulation uses a deterministic ODE with random parameters,

$d_{\rm X}\approx 200$5

and interprets the resulting family of trajectories as a controlled differential inclusion. Expectations are written as Lebesgue–Stieltjes integrals and then approximated by cubature, with the unscented transform providing a practical sigma-point instantiation. The framework supports average costs, covariance-trace dispersion penalties, nonlinear endpoint costs of expectations, and chance constraints. In the Zermelo example, unscented dispersion control reduces estimated risk substantially; for $d_{\rm X}\approx 200$6, the paper reports about a $d_{\rm X}\approx 200$7 drop in $d_{\rm X}\approx 200$8, corresponding to about an $d_{\rm X}\approx 200$9 reduction in risk relative to the standard solution. In the Hubble Space Telescope “zero-gyro mode” recovery example, unscented trajectory optimization reduces terminal dispersions by about an order of magnitude while maintaining near-zero mean error (Ross et al., 2024).

A distinct but related probabilistic use is the Python library Tyche for belief modelling with Aleatoric Description Logic (ADL). Here, Tyche is not an optimizer but an inference-and-learning substrate in which individuals carry probabilistic concepts and probabilistic roles, ADL formulas are evaluated recursively, and observation propagation converts complex ADL observations into local learning signals. The library emphasizes computational simplicity relative to heavier probabilistic logics by treating each occurrence of a concept or role as an independent sampling. Its demonstration task predicts the author of anonymized message sets and learns author writing tendencies from indirect observations; for example, author-classification accuracy rises from $300$0 to $300$1 for Bob as the number of messages increases from $300$2 to $300$3, and learned tendencies converge close to the planted ground truth after repeated observations (Lamont, 2022).

These two usages are connected by theme rather than method. Tychastic control suppresses pathwise stochastic calculus in favor of parameter-space randomness, whereas ADL-based Tyche embeds uncertainty directly into logical semantics. Both, however, are attempts to make uncertain worlds tractable without collapsing them into purely deterministic surrogates.

4. Machine learning and large-scale optimization

In medical image segmentation, Tyche names a framework for stochastic in-context learning. The system is designed to address two limitations of standard segmentation pipelines: task specificity and deterministic output. Instead of retraining for each new task, Tyche uses a context set $300$4 and predicts multiple candidate masks

$300$5

for previously unseen tasks. The Tyche-TS variant introduces SetBlock, a convolutional block that allows interactions among candidate predictions and context features within a single UNet-like forward pass; Tyche-IS wraps a deterministic in-context model with in-context test-time augmentation. Training uses a best-candidate loss to encourage diversity, and evaluation uses best-candidate Dice, Hungarian matching Dice, GED, and sample diversity. On out-of-distribution multi-rater tasks, Tyche-TS reports best-candidate Dice values of $300$6 on hippocampus, $300$7 on LIDC-IDRI, $300$8 on QUBIQ prostate task 1, and $300$9 on STARE, while generating eight predictions with context size $\omega$0 in about $\omega$1 ms on a V100 GPU with $\omega$2M parameters (Rakic et al., 2024).

In satellite networking, Tyche is a hybrid computation framework for illumination patterns in beam hopping for High-Throughput Satellites. Its motivation is computational scale: traditional genetic algorithms require over $\omega$3 seconds for one illumination pattern on $\omega$4 cells, and multi-agent deep reinforcement learning fails to converge beyond about $\omega$5 cells. Tyche therefore combines an online Greedy Beam Hopping algorithm, G-BH, which produces provisional solutions in milliseconds, with an offline Monte Carlo Tree Search algorithm, MCTS-BH, which computes higher-quality patterns in the background. The framework also discretizes traffic demand and stores previously computed BHTPs in a database for $\omega$6 lookup. MCTS-BH uses sliding-window interference scoring and pruning to reduce complexity; the headline result is that it can compute one illumination pattern for $\omega$7 cells in $\omega$8 seconds and can increase throughput by up to $\omega$9 relative to the periodic baseline in the evaluated setting (Yang et al., 10 Dec 2025).

Both systems use Tyche to denote structured uncertainty management at scale. In one case the uncertainty lies in ambiguous annotations and unseen segmentation tasks; in the other, in time-varying spatial demand and interference-coupled combinatorics.

5. Security, permissions, and composable isolation

In smart-home security, Tyche is a risk-based permission model for Samsung SmartThings-style platforms. Its starting point is the claim that physical device operations are risk-asymmetric: operations grouped together by functional capabilities may differ sharply in consequence, as with door.unlock versus door.lock, or oven.on versus oven.off. Tyche replaces purely functional capability groupings with low-, medium-, and high-risk groupings derived from expert and user studies over $\omega\approx 0^\circ$0 operations across $\omega\approx 0^\circ$1 device types. User risk judgments are shown to track expert rankings reasonably closely, with Pearson correlation approximately $\omega\approx 0^\circ$2 for uninformed users and approximately $\omega\approx 0^\circ$3 for informed users. The resulting source-rewriting and reference-monitor implementation enforces risk-level requests at runtime, and the paper reports that existing SmartThings apps can remain functional while exposing about $\omega\approx 0^\circ$4 fewer high-risk operations on average (Rahmati et al., 2018).

In confidential cloud systems, Tyche is a small security monitor that unifies confidential virtual machines, enclaves, and sandboxes under a single abstraction: trust domains (TDs). TDs recursively create sub-TDs and manage resources through capabilities for partitioning, sharing, attesting, and reclaiming memory, cores, devices, and interrupts. Region capabilities distinguish exclusive from aliased memory and support attributes such as hash, clean, and vital; TD capabilities support recursive composition, and attestations capture these relationships so that remote verifiers can reason about end-to-end security. Tyche runs on commodity x86_64 without SGX, SEV, TDX, or similar hardware security extensions, provides an SDK for unmodified workloads, and includes a RISC-V prototype. On x86, the paper reports average enter-and-exit monitor cost of $\omega\approx 0^\circ$5 and total TD switch cost of $\omega\approx 0^\circ$6; on RISC-V, the corresponding total TD switch cost is $\omega\approx 0^\circ$7. The system is evaluated on scenarios including confidential LLM inference with mutually distrustful users, model owners, and cloud providers (Ghosn et al., 16 Jul 2025).

These two security-oriented Tyches solve different problems—permission granularity in IoT and low-level isolation in the cloud—but both replace ad hoc, implicit trust boundaries with explicit, attestable, or user-visible structures.

6. Cryptographic lotteries, fairness, and distributed trust

In cryptography, Tyche is a family of blockchain-based protocols for multiparty lotteries with arbitrary payouts. The construction uses commit-and-reveal, requires only a collision-resistant hash function, uses the blockchain as a public bulletin board and settlement layer rather than as a randomness source, and does not require collateral beyond the buy-in. Its fairness notion is one-sided: conditioned on arbitrary misbehavior by others, an honest participant’s expected payout is not reduced below the fully honest baseline. The protocols support payout functions

$\omega\approx 0^\circ$8

and achieve $\omega\approx 0^\circ$9 rounds and $_{113}$0 messages by instantiating monotonic shuffling networks with two-party commit-and-reveal lotteries. Two privacy extensions are proposed: Tyche-ZKP for unlinkable equal-probability lotteries and Tyche-Coop for weak unlinkability in weighted settings. In the Sui implementation with $_{113}$1 participants, reported total fees are $_{113}$2 SUI for Tyche and $_{113}$3 SUI for Tyche-Coop, and the authors argue that the protocols could potentially support millions of participants (Kniep et al., 2024).

This use of the name is especially faithful to the ancient semantic core. The system formalizes chance as a public, adversarially robust, and economically settled process. It also exemplifies a modern inversion of classical Fortuna: rather than coping with capricious outcomes through prudence alone, the protocol engineers an explicit fairness envelope around chance itself.

Across these usages, Tyche consistently marks a transition from contingency to structure. Sometimes the transition is skeptical, as in planetary dynamics, where proposed hidden bodies are dynamically constrained rather than confirmed. Sometimes it is constructive, as in optimal control, medical segmentation, smart-home permissions, lotteries, beam hopping, or confidential cloud isolation, where the name signals a framework for handling uncertainty without surrendering rigor. The shared motif is not doctrinal unity but a repeated technical ambition: to make chance analyzable, governable, and, where necessary, attestable.