Search arXivSearch

arXiv · 2604.13095

On the simplicial structure of uncertain information

Abstract

The mathematical representation of uncertainty has led to a proliferation of preference structures, such as interval-valued fuzzy sets, intuitionistic fuzzy sets, and various granular models. While these extensions are often studied independently, they share profound geometric and topological foundations. This paper provides a unifying framework by identifying these disparate structures with the simplicial geometry of $n$-dimensional fuzzy sets. We first conduct an extensive revision of both classical and modern preference structures, demonstrating that they are distinct semantic interpretations of the same underlying topological objects within the lattice $L_n$. Building on this unification, we introduce a new, highly interpretable preference structure based on Deck-of-Cards membership functions. This approach generalizes the revised models by providing a flexible mechanism to represent complex membership degrees through monotonic sequences. Furthermore, we establish a formal simplicial structure for the set of multidimensional fuzzy sets $L_\infty$. By employing face and degeneracy maps, we demonstrate how this framework unifies existing models into a single simplicial set, allowing for the consistent transformation of information across different levels of granularity. The examples provided illustrate the utility of this simplicial connection in several contexts, offering a robust topological foundation for future developments in fuzzy set theory.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Juan Martínez-Moreno, Diego García-Zamora. 2026-04-09. On the simplicial structure of uncertain information. https://arxiv.org/abs/2604.13095

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM