Bijections on the set of extreme points in a compact convex set

Anil Kumar Karn; Susmita Seal

arxiv: 2605.20750 · v1 · pith:IRT6V5NGnew · submitted 2026-05-20 · 🧮 math.FA

Bijections on the set of extreme points in a compact convex set

Anil Kumar Karn , Susmita Seal This is my paper

Pith reviewed 2026-05-21 02:36 UTC · model grok-4.3

classification 🧮 math.FA

keywords compact convex setextreme pointsgauge-reversing bijectionJB-algebraaffine functionscontinuous functionsbijections

0 comments

The pith

Every gauge-reversing bijection on positive continuous affine functions over a compact convex set is uniquely fixed by the bijection it induces on the extreme points.

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

The paper builds on a recent result that the space of continuous affine functions A(K) on a compact convex set K forms a JB-algebra if and only if a gauge-reversing bijection exists on the positive functions A_c(K). It proves that any such bijection is completely determined by the map it induces on the extreme points of K. This matters because it reduces the algebraic condition to the geometry of those boundary points alone, so the full function-level bijection can be recovered from data on the extreme points. A reader sees the work as showing how the structure of the algebra is controlled by the convex set's corners rather than the entire function space.

Core claim

Building on the characterization that A(K) is a JB-algebra if and only if there exists a gauge-reversing bijection on A_c(K), this work establishes that every such gauge-reversing bijection on A_c(K) is completely determined by the induced bijection on the set of extreme points of K.

What carries the argument

The gauge-reversing bijection on A_c(K), which both induces a bijection on the extreme points of K and is uniquely recovered from that induced map.

If this is right

The JB-algebra structure on A(K) is recoverable from maps defined only on the extreme points.
Gauge-reversing bijections stand in one-to-one correspondence with suitable bijections on the extreme points.
Classification or construction of these algebraic objects reduces to studying maps on the extreme point set.
The determination applies whenever the prior existence condition for the gauge-reversing bijection holds.

Where Pith is reading between the lines

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

The link may let researchers classify such JB-algebras using only geometric or combinatorial data about extreme points.
It points toward similar reductions in other ordered function spaces where extreme points determine the structure.
Explicit checks on simple polytopes could confirm the claim by computing both sides directly.
The result suggests extreme points encode enough information to control the full positive affine function algebra in this setting.

Load-bearing premise

A gauge-reversing bijection on A_c(K) exists as characterized by the prior equivalence, and the extreme points of K suffice to determine the entire bijection uniquely via the induced map.

What would settle it

Finding a compact convex set K that admits a gauge-reversing bijection on A_c(K) which cannot be recovered from its induced action on the extreme points, or two distinct such bijections that induce the same map on extreme points but differ on other functions.

read the original abstract

In a recent work, Roelands and Tiersma proved that, for a compact convex set $K$, the space $A(K)$ of all real-valued continuous affine functions on $K$, is a JB-algebra if and only if there is a gauge-reversing bijection on $A_c(K)$, the set of positive real-valued continuous affine functions on $K$. In this paper, we show that every such gauge-reversing bijection on $A_c(K)$ is completely determined by the induced bijection on the set of extreme points of $K$.

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

The paper shows gauge-reversing bijections on A_c(K) are fixed by the induced map on extreme points, adding a determination step to the Roelands-Tiersma existence result.

read the letter

The key point is that every gauge-reversing bijection on the positive continuous affine functions A_c(K) is completely determined by the bijection it induces on the extreme points of the compact convex set K. The authors take the existence characterization from Roelands and Tiersma and strengthen it with this uniqueness statement. They derive the correspondence by noting that affine functions are recovered from their values on the extremes via the Krein-Milman theorem. The gauge-reversing property then forces a specific relation between T(f) and f composed with the induced map on extremes, which pins down T once the extreme-point map is known. This matches the stress-test observation that no extra topological assumptions seem needed. The paper does a clean job of making this explicit. It stays focused and avoids overclaiming. The argument appears to build on standard tools without introducing circularity or new fitted quantities. Credit to the authors for spotting that the determination follows directly from the setup. The main limitation is its narrow focus. This is incremental work in a specialized corner of functional analysis involving JB-algebras and ordered function spaces. It won't shift broader theory, but it does fill in a detail that wasn't in the prior paper. The proof likely consists of unpacking the definitions and applying the representation theorem, so the technical depth is moderate. If there are any gaps in handling the positive cone or the exact form of the gauge reversal, they would show up in the details, but nothing in the abstract suggests a problem. Readers working on convex sets, affine functions, or JB-algebras will find this useful as a follow-up. It is precise enough to merit a serious referee in a journal that covers these topics. I would send it for review.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes that for a compact convex set K, every gauge-reversing bijection T on the cone A_c(K) of positive continuous affine functions is uniquely determined by the bijection σ it induces on the extreme points ext(K). The argument relies on the standard recovery of each f ∈ A_c(K) from its values on ext(K) via affinity and the Krein-Milman theorem, together with the explicit correspondence between the gauge-reversing property and pointwise evaluation at σ(x).

Significance. If the result holds, it supplies a concrete geometric description of the gauge-reversing maps whose existence is characterized by the recent Roelands-Tiersma theorem, thereby linking the JB-algebra structure on A(K) directly to permutations of extreme points. This strengthens the bridge between convex geometry and the theory of ordered Banach spaces and may simplify subsequent classification or representation results.

minor comments (2)

The abstract and introduction should explicitly reference the main theorem number (e.g., Theorem 3.2) when stating the determination result, to improve traceability for readers.
A brief remark on whether the induced map σ preserves any additional structure (e.g., facial relations or barycentric coordinates) would clarify the scope of the bijection without lengthening the paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript and the recommendation of minor revision. The referee's description of the main result is accurate. No specific major comments were provided in the report, so we have no points to address point-by-point at this time. We remain available to incorporate any additional minor suggestions from the editor or referee.

Circularity Check

0 steps flagged

No circularity; derivation relies on external theorem and standard convex analysis

full rationale

The paper assumes the existence of a gauge-reversing bijection on A_c(K) from the external Roelands-Tiersma characterization (different authors). It then proves that any such bijection is uniquely determined by the induced map on ext(K) by invoking the Krein-Milman theorem and the fact that continuous affine functions are uniquely recovered from their values on extreme points via affinity. This is a direct mathematical argument using general tools of convex analysis, with no self-citation load-bearing the central claim, no fitted parameters renamed as predictions, and no reduction of the determination statement to a definitional or self-referential input. The result is independent of the cited existence theorem beyond using it as a hypothesis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Paper relies on standard background from functional analysis and convex geometry without introducing new free parameters, ad-hoc axioms, or invented entities beyond those in the cited prior work.

axioms (1)

domain assumption Standard properties of compact convex sets, continuous affine functions, and gauge-reversing maps as defined in the theory of JB-algebras.
Invoked implicitly when referring to A(K), A_c(K), and the Roelands-Tiersma characterization.

pith-pipeline@v0.9.0 · 5617 in / 1166 out tokens · 45880 ms · 2026-05-21T02:36:40.616852+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/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

every such gauge-reversing bijection on Ac(K) is completely determined by the induced bijection on the set of extreme points of K
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Φ(f)|∂eK′ = 1/f ∘ α^{-1}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

Springer-Verlag, Berlin57, (1971)

Alfsen, E.M.: Compact convex sets and boundary integrals. Springer-Verlag, Berlin57, (1971)

work page 1971
[2]

Alfsen, E.M., Shultz, F.W., Størmer, E.: A Gelfand-Neumark theorem for Jordan algebras. Ado. Math.28, 11–56, (1978)

work page 1978
[3]

Gelfand, I.M., Naimark, M.A.: On the embedding of normed rings into the ring of operators in Hilbert space. Mat. Sb. 12, 87–105, (1943)

work page 1943
[4]

Kadison, R.V .: A representation theory for commutative topological algebra. Mem. Amer. Math. Soc.7, (1951)

work page 1951
[5]

Koecher, M.: Positiv ¨atsbereiche imR n. Am. J. Math.79, 575–596, (1957)

work page 1957
[6]

Lemmens, B., Roelands, M., Imhoff, H.B.V .: An order theoretic characterization of spin factors. Q. J. Math.68, 1001– 1017, no. 3, (2017)

work page 2017
[7]

arXiv preprint: 2504.12487 (2025)

Lemmens, B., Roelands, M., Wortel, M.: Infinite dimensional symmetric cones and gauge-reversing maps. arXiv preprint: 2504.12487 (2025)

work page arXiv 2025
[8]

Noll, W., Sch ¨affer, J.J.: Orders, gauge, and distance in faceless linear cones; with examples relevant to continuum mechanics and relativity. Arch. Ration. Mech. Anal.66, 343–377, (1977)

work page 1977
[9]

arXiv preprint: 2507.09526 (2025)

Roelands, M., Tiersma, S.: An order-theoretic characterization of JB-algebras. arXiv preprint: 2507.09526 (2025)

work page arXiv 2025
[10]

Sherman, S.: Order in operator algebras, Am. J. Math.73, 227–232, no. 1, (1951)

work page 1951
[11]

Walsh, C.: Gauge-reversing maps on cones, and Hilbert and Thompson isometries. Geom. Topol.22, 55–104, no. 1, (2018)

work page 2018
[12]

B.: Homogeneous cones

Vinberg, E. B.: Homogeneous cones. Sov. Math. Dokl.1, 787–790, (1960). 1 SCHOOL OFMATHEMATICALSCIENCES, NATIONALINSTITUTE OFSCIENCEEDUCATIONAL ANDRESEARCHBHUBANESWAR, ANOCCOFHOMIBHABHANATIONALINSTITUTE, P.O. - JATNI, DISTRICT- KHURDA, ODISHA- 752050, INDIA Email address:anilkarn@niser.ac.in 14 KARN, SEAL 2 SCHOOL OFMATHEMATICALSCIENCES, NATIONALINSTITUTE ...

work page 1960

[1] [1]

Springer-Verlag, Berlin57, (1971)

Alfsen, E.M.: Compact convex sets and boundary integrals. Springer-Verlag, Berlin57, (1971)

work page 1971

[2] [2]

Alfsen, E.M., Shultz, F.W., Størmer, E.: A Gelfand-Neumark theorem for Jordan algebras. Ado. Math.28, 11–56, (1978)

work page 1978

[3] [3]

Gelfand, I.M., Naimark, M.A.: On the embedding of normed rings into the ring of operators in Hilbert space. Mat. Sb. 12, 87–105, (1943)

work page 1943

[4] [4]

Kadison, R.V .: A representation theory for commutative topological algebra. Mem. Amer. Math. Soc.7, (1951)

work page 1951

[5] [5]

Koecher, M.: Positiv ¨atsbereiche imR n. Am. J. Math.79, 575–596, (1957)

work page 1957

[6] [6]

Lemmens, B., Roelands, M., Imhoff, H.B.V .: An order theoretic characterization of spin factors. Q. J. Math.68, 1001– 1017, no. 3, (2017)

work page 2017

[7] [7]

arXiv preprint: 2504.12487 (2025)

Lemmens, B., Roelands, M., Wortel, M.: Infinite dimensional symmetric cones and gauge-reversing maps. arXiv preprint: 2504.12487 (2025)

work page arXiv 2025

[8] [8]

Noll, W., Sch ¨affer, J.J.: Orders, gauge, and distance in faceless linear cones; with examples relevant to continuum mechanics and relativity. Arch. Ration. Mech. Anal.66, 343–377, (1977)

work page 1977

[9] [9]

arXiv preprint: 2507.09526 (2025)

Roelands, M., Tiersma, S.: An order-theoretic characterization of JB-algebras. arXiv preprint: 2507.09526 (2025)

work page arXiv 2025

[10] [10]

Sherman, S.: Order in operator algebras, Am. J. Math.73, 227–232, no. 1, (1951)

work page 1951

[11] [11]

Walsh, C.: Gauge-reversing maps on cones, and Hilbert and Thompson isometries. Geom. Topol.22, 55–104, no. 1, (2018)

work page 2018

[12] [12]

B.: Homogeneous cones

Vinberg, E. B.: Homogeneous cones. Sov. Math. Dokl.1, 787–790, (1960). 1 SCHOOL OFMATHEMATICALSCIENCES, NATIONALINSTITUTE OFSCIENCEEDUCATIONAL ANDRESEARCHBHUBANESWAR, ANOCCOFHOMIBHABHANATIONALINSTITUTE, P.O. - JATNI, DISTRICT- KHURDA, ODISHA- 752050, INDIA Email address:anilkarn@niser.ac.in 14 KARN, SEAL 2 SCHOOL OFMATHEMATICALSCIENCES, NATIONALINSTITUTE ...

work page 1960