arxiv: 2604.13095 · v1 · submitted 2026-04-09 · 🧮 math.GM

Recognition: 2 theorem links

· Lean Theorem

On the simplicial structure of uncertain information

Diego Garc\'ia-Zamora, Juan Mart\'inez-Moreno

Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:59 UTC · model grok-4.3

classification 🧮 math.GM

keywords fuzzy setssimplicial structureuncertain informationpreference structuresmultidimensional fuzzy setsdeck-of-cards membershipgranularity transformationlattice L_n

0 comments

The pith

Various models of uncertain information share a unifying simplicial geometric structure.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that many different representations of uncertainty, such as interval-valued fuzzy sets and intuitionistic fuzzy sets, amount to distinct semantic interpretations of the same topological objects inside the lattice L_n. It introduces a deck-of-cards membership function that encodes complex degrees via monotonic sequences and thereby generalizes the earlier models. The authors then equip the set of multidimensional fuzzy sets L_∞ with face and degeneracy maps, turning it into a simplicial set. This construction makes it possible to move information consistently from one level of granularity to another. A sympathetic reader would care because the approach replaces separate treatments of each model with a single geometric foundation that preserves their original properties.

Core claim

The authors identify the listed preference structures with the simplicial geometry of n-dimensional fuzzy sets and establish a formal simplicial structure on the set of multidimensional fuzzy sets L_∞. Using face and degeneracy maps, they demonstrate that this structure unifies the models into a single simplicial set and supports the consistent transformation of information across different levels of granularity.

What carries the argument

The simplicial set structure placed on L_∞ by means of face and degeneracy maps, which encodes the transformations that relate different dimensions of fuzzy membership.

If this is right

Existing preference structures become interchangeable via simplicial maps while retaining their original semantics.
The deck-of-cards representation supplies a single, monotonic-sequence mechanism that subsumes the earlier models.
Information expressed at one granularity can be coarsened or refined at another granularity without loss of consistency.
New fuzzy-set models can be developed directly inside the same simplicial framework.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Hybrid uncertainty systems could switch representations on the fly by applying the simplicial maps.
The deck-of-cards form might simplify the direct elicitation of complex membership values from domain experts.
Analogous simplicial constructions could be examined for other families of uncertainty representations outside the fuzzy-set literature.

Load-bearing premise

The listed preference structures must be genuine distinct semantic interpretations of identical underlying topological objects in L_n, and the deck-of-cards construction must preserve all their original properties without introducing new inconsistencies.

What would settle it

A concrete counterexample in which one of the standard preference structures cannot be realized as a simplicial object in L_∞ without violating its defining axioms, or in which applying a face map produces an inconsistency with the original model's uncertainty values.

Figures

Figures reproduced from arXiv: 2604.13095 by Diego Garc\'ia-Zamora, Juan Mart\'inez-Moreno.

**Figure 1.** Figure 1: Visualization of the Order Polytope for n = 2 and n = 3, showing the simplex boundaries within the unit hypercube. Using the polytope Ln as a basis, [26] introduced the notion of n-dimensional fuzzy sets on a non-empty universe of discourse X. Definition 1 ([26]). Let n ∈ N. An n-dimensional fuzzy set A over X is a map A : X → Ln given by A(x) = (A1(x), ..., An(x)), with A1(x) ≤ ... ≤ An(x), for every x ∈ … view at source ↗

**Figure 2.** Figure 2: Visual comparison of projections in L2 and L3. We can represent the structure consisting of L∞ together with these mappings as follows: L• = · · ·L4 L3 L2 L1 = [0, 1]. d2 d0 d1 d0 s0 Consequently, we obtain the following result: Theorem 9. The sequence of sets L• = {Ln}n≥0 together with th previously defined mappings di : Ln → Ln−1, 0 ≤ i ≤ n − 1, and sj : Ln → Ln+1, 0 ≤ j ≤ n − 1, is a simplicial lattice … view at source ↗

**Figure 3.** Figure 3: Visualizing the embedding of lower-dimensional order polytopes via degeneracy [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗

**Figure 4.** Figure 4: Representation of a 3-ICUI as nested intervals. [PITH_FULL_IMAGE:figures/full_fig_p023_4.png] view at source ↗

**Figure 5.** Figure 5: Transformation of a 3-step fuzzy number into a 2-step fuzzy number using [PITH_FULL_IMAGE:figures/full_fig_p023_5.png] view at source ↗

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper sketches a simplicial unification of fuzzy sets on L_infty but the abstract supplies no check that the face and degeneracy maps obey the required identities.

read the letter

The main claim is that interval-valued, intuitionistic, and other fuzzy-set variants are just different semantic takes on the same simplicial objects in lattices L_n, with a new deck-of-cards model added as monotonic sequences and a simplicial-set structure on L_infty to move information across granularity levels via face and degeneracy maps. They also review the existing structures to show the shared foundations. If the construction holds, it could give a single framework for consistent transformations that the subfield currently lacks. The deck-of-cards functions look like a practical rephrasing that might make complex memberships easier to interpret in applications. The summary of prior models is clear and brings the landscape together in one place. The soft spot is the missing verification. The abstract states that the maps establish the simplicial structure and demonstrate unification, yet it contains no derivation or small example confirming that d_i d_j = d_{j-1} d_i, the degeneracy relations, or the mixed identities hold on this specific L_infty, or that the embeddings of the other models preserve their original algebraic properties without new inconsistencies. Without those checks the central unification remains untested. The paper is for researchers already working in fuzzy-set theory and uncertainty modeling who follow topological approaches. A reader outside that niche would need more background on L_n to get much out of it. It deserves peer review because the topic is active and a working simplicial unification would be useful if the algebra checks out. Referees should focus on the map identities and concrete examples showing the transformations actually work.

Referee Report

2 major / 1 minor

Summary. The paper claims to unify disparate preference structures in uncertainty modeling (interval-valued fuzzy sets, intuitionistic fuzzy sets, and granular models) by identifying them as distinct semantic interpretations of the same underlying topological objects in the lattice L_n. It introduces a new 'Deck-of-Cards' membership function construction as a generalization and asserts that the set of multidimensional fuzzy sets L_∞ carries a formal simplicial structure via face and degeneracy maps, enabling consistent cross-granularity transformations.

Significance. If the simplicial identities are verified and the embeddings preserve the algebraic properties of the listed models without introducing inconsistencies, the work could supply a useful topological unification for fuzzy set theory, with the deck-of-cards construction providing an interpretable new representation. The absence of explicit derivations, however, prevents assessment of whether these benefits are realized.

major comments (2)

[Section establishing the simplicial structure for L_∞ (and related discussion of face/degeneracy maps)] The central claim that L_∞ with the introduced face and degeneracy maps forms a simplicial set (thereby unifying the preference structures) requires explicit verification that the maps satisfy the simplicial identities (d_i d_j = d_{j-1} d_i for i < j, s_i s_j = s_{j+1} s_i for i ≤ j, and the mixed d_i s_j relations). No such check or derivation appears in the text, and this verification is load-bearing for the unification and transformation claims.
[Discussion of Deck-of-Cards membership functions and unification] The deck-of-cards construction is presented as generalizing the revised models while preserving their properties, yet no demonstration is given that the embedding of interval-valued, intuitionistic, and other structures into L_n / L_∞ preserves their original algebraic or semantic properties without new inconsistencies.

minor comments (1)

[Introduction and preliminaries] Notation for L_n and L_∞ is introduced without an explicit definition of the underlying lattice operations or how n-dimensional fuzzy sets are formally constructed.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the detailed review of our manuscript. We address the major comments below and outline the revisions we will make to strengthen the paper.

read point-by-point responses

Referee: The central claim that L_∞ with the introduced face and degeneracy maps forms a simplicial set (thereby unifying the preference structures) requires explicit verification that the maps satisfy the simplicial identities (d_i d_j = d_{j-1} d_i for i < j, s_i s_j = s_{j+1} s_i for i ≤ j, and the mixed d_i s_j relations). No such check or derivation appears in the text, and this verification is load-bearing for the unification and transformation claims.

Authors: We agree that an explicit verification of the simplicial identities is necessary to fully substantiate the claim. Although the face and degeneracy maps are defined on L_∞ in a manner consistent with the simplicial set axioms (as they are induced by the lattice structure and the multidimensional nature of the sets), the manuscript does not include the step-by-step derivation. In the revised version, we will add a new subsection that verifies all the required identities: the face-face, degeneracy-degeneracy, and mixed relations. This will provide the rigorous foundation for the unification. revision: yes
Referee: The deck-of-cards construction is presented as generalizing the revised models while preserving their properties, yet no demonstration is given that the embedding of interval-valued, intuitionistic, and other structures into L_n / L_∞ preserves their original algebraic or semantic properties without new inconsistencies.

Authors: The deck-of-cards membership functions are designed as monotonic sequences that encompass the interval and intuitionistic cases as special instances within L_n. The embeddings are defined such that the lattice operations and order relations are preserved by construction. However, we recognize the need for explicit demonstration to rule out inconsistencies. We will include additional examples and proofs in the revised manuscript showing that the embeddings maintain the key algebraic properties (such as the lattice meet and join) and semantic interpretations for interval-valued fuzzy sets and intuitionistic fuzzy sets. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on standard simplicial-set constructions

full rationale

The paper revises existing preference structures as semantic interpretations of objects in the lattice L_n, introduces deck-of-cards membership functions as a generalization, and defines face/degeneracy maps on L_∞ to obtain a simplicial set. No step reduces a claimed result to a fitted parameter, self-citation, or definitional tautology; the simplicial identities are invoked as external facts from standard category theory rather than derived from the paper's own inputs. The unification is presented as an identification, not a prediction forced by construction, leaving the central claims independent of any self-referential loop.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claims rest on the standard axioms of simplicial sets and the existence of a lattice L_n whose elements carry the listed semantic interpretations; no free parameters or new physical entities are mentioned.

axioms (2)

standard math Standard axioms of simplicial sets (face and degeneracy maps satisfy the usual identities)
Invoked to equip L_∞ with a simplicial structure
domain assumption The lattice L_n of n-dimensional fuzzy sets exists and carries the listed preference structures as distinct interpretations
Central to the unification claim

invented entities (1)

Deck-of-Cards membership functions no independent evidence
purpose: Flexible representation of complex membership degrees via monotonic sequences
New structure introduced to generalize existing models

pith-pipeline@v0.9.0 · 5508 in / 1396 out tokens · 53218 ms · 2026-05-10T17:59:39.495992+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
we establish a formal simplicial structure for the set of multidimensional fuzzy sets L_∞. By employing face and degeneracy maps, we demonstrate how this framework unifies existing models into a single simplicial set
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat_equivNat unclear
n-dimensional fuzzy sets ... forming the lattice L_n ... order polytope O(P_n)

Reference graph

Works this paper leans on

31 extracted references · 19 canonical work pages

[2]

Interval valued intuitionistic fuzzy sets

Atanassov, K., Gargov, G., 1989b. Interval valued intuitionistic fuzzy sets. Fuzzy Sets and Systems 31, 343–349. doi:10.1016/0165-0114(89) 90205-4

work page doi:10.1016/0165-0114(89
[3]

amd Fernández, J., Mesiar, R., 2011

Bedregal, B., Beliakov, G., Bustince, H., Calvo, T. amd Fernández, J., Mesiar, R., 2011. A characterization theorem for t-representable n-dimensional triangular norms, in: Proceedings of Eurofuse, Springer. pp. 103–112

2011
[4]

From fuzzy sets to interval-valued and atanassov intuitionistic fuzzy sets: A unified view of different axiomatic measures

Couso, I., Bustince, H., 2019. From fuzzy sets to interval-valued and atanassov intuitionistic fuzzy sets: A unified view of different axiomatic measures. IEEE Transactions on Fuzzy Systems 27, 362–371. doi:10. 1109/TFUZZ.2018.2855654. 26

work page arXiv 2019
[5]

Picture fuzzy sets

Cuong, B.C., 2014. Picture fuzzy sets. Journal of Computer Science and Cybernetics 30, 409. doi:10.15625/1813-9663/30/4/5032

work page doi:10.15625/1813-9663/30/4/5032 2014
[6]

Simplicial homotopy theory

Curtis, E.B., 1971. Simplicial homotopy theory. Advances in Mathe- matics 6, 107–209

1971
[7]

On the relationship between some extensions of fuzzy set theory

Deschrijver, G., Kerre, E.E., 2003. On the relationship between some extensions of fuzzy set theory. Fuzzy Sets and Systems 133, 227–235. doi:10.1016/S0165-0114(02)00127-6

work page doi:10.1016/s0165-0114(02)00127-6 2003
[8]

The deck of cards method to build interpretable fuzzy sets in decision- making

García-Zamora, D., Dutta, B., Figueira, J.R., Martínez, L., 2024. The deck of cards method to build interpretable fuzzy sets in decision- making. European Journal of Operational Research 319, 246–262. doi:10.1016/j.ejor.2024.06.039

work page doi:10.1016/j.ejor.2024.06.039 2024
[9]

A data-driven large-scale group decision-making framework for managing ratingsandtextreviews

García-Zamora, D., Dutta, B., Jin, L., Chen, Z.S., Martínez, L., 2025. A data-driven large-scale group decision-making framework for managing ratingsandtextreviews. ExpertSystemswithApplications263, 125726. doi:10.1016/j.eswa.2024.125726

work page doi:10.1016/j.eswa.2024.125726 2025
[10]

A linguisticmetricforconsensusreachingprocessesbasedonelicitcompre- hensive minimum cost consensus models

García-Zamora, D., Labella, A., Rodríguez, R.M., Martínez, L., 2023. A linguisticmetricforconsensusreachingprocessesbasedonelicitcompre- hensive minimum cost consensus models. IEEE Transactions on Fuzzy Systems 31, 1676–1688. doi:10.1109/TFUZZ.2022.3213943

work page doi:10.1109/tfuzz.2022.3213943 2023
[11]

Vague sets

Gau, W.L., Buehrer, D., 1993. Vague sets. IEEE Transactions on Systems, Man, and Cybernetics 23, 610–614. doi:10.1109/21.229476

work page doi:10.1109/21.229476 1993
[12]

A 2-tuple fuzzy linguistic representation model for computing with words

Herrera, F., Martínez, L., 2000. A 2-tuple fuzzy linguistic representation model for computing with words. IEEE Transactions on Fuzzy Systems 8, 746–752

2000
[13]

Cognitive uncer- tain information with some properties and characteristics

Jin, L., Chen, Z.S., Yager, R.R., Langari, R., 2023a. Cognitive uncer- tain information with some properties and characteristics. Information Fusion Preprint/Working Paper. 27
[14]

Interval type interval and cognitive uncertain information in information fusion and decision making

Jin, L., Chen, Z.S., Yager, R.R., Langari, R., 2023b. Interval type interval and cognitive uncertain information in information fusion and decision making. Information Fusion 16, 60
[15]

Interval andbuitypebasicuncertaininformationinmulti-sourcesevaluationand rules based decision making

Jin, L., Yager, R.R., Chen, Z.S., Špirková, J., Mesiar, R., 2023c. Interval andbuitypebasicuncertaininformationinmulti-sourcesevaluationand rules based decision making. International Journal of General Systems 52, 443–454
[16]

Hesitant cognitive uncertain information in aggregation and decision making

Jin, L., Yager, R.R., Ma, C., Langari, R., Jana, C., Mesiar, R., Bustince, H., 2024. Hesitant cognitive uncertain information in aggregation and decision making. Iranian Journal of Fuzzy Systems 21, 1–9

2024
[17]

Rel- ative basic uncertain information in preference and uncertain involved information fusion

Jin, L.S., Xu, Y.Q., Chen, Z.S., Mesiar, R., Yager, R.R., 2022. Rel- ative basic uncertain information in preference and uncertain involved information fusion. International Journal of Computational Intelligence Systems 15, 12. doi:10.1007/s44196-022-00066-9

work page doi:10.1007/s44196-022-00066-9 2022
[18]

Combinatorial Algebraic Topology

Kozlov, D., 2007. Combinatorial Algebraic Topology. volume 21 ofAlgo- rithms and Computation in Mathematics. Springer Science & Business Media

2007
[19]

Multidimen- sional fuzzy sets

Lima, A., Palmeira, E.S., Bedregal, B., Bustince, H., 2021. Multidimen- sional fuzzy sets. IEEE Transactions on Fuzzy Systems 29, 2195–2208. doi:10.1109/TFUZZ.2020.2994997

work page doi:10.1109/tfuzz.2020.2994997 2021
[20]

Aggregation under uncertainty

Mesiar, R., Borkotokey, S., Jin, L., Kalina, M., 2018. Aggregation under uncertainty. IEEE Transactions on Fuzzy Systems 26, 2475–2478. doi:10.1109/TFUZZ.2017.2756828

work page doi:10.1109/tfuzz.2017.2756828 2018
[21]

Elements of Algebraic Topology

Munkres, J.R., 2018. Elements of Algebraic Topology. CRC Press

2018
[22]

Probabilistic linguistic term sets in multi-attribute group decision making

Pang, Q., Wang, H., Xu, Z., 2016. Probabilistic linguistic term sets in multi-attribute group decision making. Information Sciences 369, 128–143. doi:10.1016/j.ins.2016.06.021. 28

work page doi:10.1016/j.ins.2016.06.021 2016
[23]

Rough sets

Pawlak, Z., 1982. Rough sets. International Journal of Computer & Information Sciences 11, 341–356. doi:10.1007/BF01001956

work page doi:10.1007/bf01001956 1982
[24]

Shadowed sets: representing and processing fuzzy sets

Pedrycz, W., 1998. Shadowed sets: representing and processing fuzzy sets. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 28, 103–109. doi:10.1109/3477.658584

work page doi:10.1109/3477.658584 1998
[25]

Asymmetric interval numbers: A new approach to modeling uncertainty

Sałabun, W., 2025. Asymmetric interval numbers: A new approach to modeling uncertainty. Fuzzy Sets and Systems 499, 109169

2025
[26]

The n-dimensional fuzzy sets and zadeh fuzzy sets based on the finite valued fuzzy sets

Shang, Y., Yuan, X., Lee, E.S., 2010. The n-dimensional fuzzy sets and zadeh fuzzy sets based on the finite valued fuzzy sets. Computers & Mathematics with Applications 60, 442–463

2010
[27]

Two poset polytopes

Stanley, R.P., 1986. Two poset polytopes. Discrete & Computational Geometry 1, 9–23

1986
[28]

On n-polygonal interval-valued fuzzy sets

Suo, C., Li, Y., Li, Z., 2021. On n-polygonal interval-valued fuzzy sets. Fuzzy Sets and Systems 417, 46–70. doi:10.1016/j.fss.2020.10.014. fuzzy Intervals and Their Applications

work page doi:10.1016/j.fss.2020.10.014 2021
[29]

Pattern Recog- nition153, 110500 (2024).https://doi.org/https://doi.org/10.1016/j

Wang, G., Li, J., 2017. Approximations of fuzzy numbers by step type fuzzy numbers. Fuzzy Sets and Systems 310, 47–59. doi:10.1016/j. fss.2016.08.003. theme : Fuzzy Numbers

work page doi:10.1016/j 2017
[30]

Pythagorean membership grades in multicriteria decision making

Yager, R.R., 2014. Pythagorean membership grades in multicriteria decision making. IEEE Transactions on Fuzzy Systems 22, 958–965. doi:10.1109/TFUZZ.2013.2278989

work page doi:10.1109/tfuzz.2013.2278989 2014
[31]

Grey sets and greyness

Yang, Y., John, R., 2012. Grey sets and greyness. Information Sciences 185, 249–264. doi:10.1016/j.ins.2011.09.029

work page doi:10.1016/j.ins.2011.09.029 2012
[32]

A comparative study of fuzzy sets and rough sets

Yao, Y., 1998. A comparative study of fuzzy sets and rough sets. Infor- mation Sciences 109, 227–242. doi:10.1016/S0020-0255(98)10023-3. 29

work page doi:10.1016/s0020-0255(98)10023-3 1998