Archimedean
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Non-Archimedean Polydisc Spaces and Applications to Optimisation
arXiv:2606.07782v1 Announce Type: cross Abstract: We propose a new framework for optimisation over non-Archimedean spaces inspired by Berkovich geometry. Specifically, we introduce polydisc spaces, which consists of products of closed balls over a non-Archimedean field. These spaces retain the rigid hierarchical structure of the non-Archimedean field whilst acquiring many desirable geometric features absent from it.
A Kernel-Clean Lean Mechanization of Classical Lottery in Action and the Wakker--Debreu--Koopmans Representation Layer
Announce Type: new Abstract: We present a Lean 4/Mathlib formalization of the additive representation theory behind Classical Lottery in Action and the Wakker-Debreu-Koopmans (WDK) layer it relies on. Our central result is a machine-checked proof that the cross-pair Thomsen / double-cancellation (hexagon) condition is irreducible from the ordinal axioms of additive conjoint measurement (weak order, restricted solvability, Archimedean condition, and tradeoff consistency). We exhibit an...
Apple-Peel Unfolding in Three and Four Dimensions: Spiral and Zonal Selection Rules
arXiv:2605.30373v1 Announce Type: new Abstract: Apple-Peel Unfolding is a greedy algorithm that selects the faces (or cells) of a polyhedron (or polytope) one at a time in a spiral order, producing a net analogous to peeling an apple in a single continuous strip. We define two face-selection rules -- RS (Spiral rule: minimum signed determinant, i.e.\ sharpest clockwise turn) and RZ (Zonal rule: maximum coordinate along the peeling axis) -- and systematically evaluate their unfolding success...