pith. sign in

arxiv: 2605.18600 · v2 · pith:573XK2TMnew · submitted 2026-05-18 · 💻 cs.IT · math.CO· math.IT· math.PR

The Sharma-Mittal Entropy is Subadditive and Supermodular on the Majorization Lattice

Pith reviewed 2026-05-22 09:29 UTC · model grok-4.3

classification 💻 cs.IT math.COmath.ITmath.PR
keywords Sharma-Mittal entropysubadditivitysupermodularitymajorizationprobability distributionsentropy measuresinformation theory
0
0 comments X

The pith

Sharma-Mittal entropy is subadditive and supermodular on the majorization lattice of probability distributions.

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

The paper proves that Sharma-Mittal entropy, a two-parameter family that includes Shannon, Tsallis, and Rényi entropies as special cases, is subadditive and supermodular when probability distributions are partially ordered by majorization. This ordering turns the set of n-dimensional probability vectors into a lattice, and the entropy function respects the lattice operations in the stated way. A reader would care because subadditivity and supermodularity supply concrete inequalities that bound entropy values once one distribution majorizes another. The result therefore supplies a single proof that recovers and extends the known properties of the three classical entropies.

Core claim

We prove that Sharma-Mittal entropy is a subadditive and supermodular function on the lattice of all n-dimensional probability distributions, ordered according to the partial order relation defined by majorization among vectors. Our result unifies and extends analogous results presented in the literature for the Shannon entropy, the Tsallis entropy, and the Rényi entropy.

What carries the argument

The two-parameter Sharma-Mittal entropy function evaluated on the lattice formed by the majorization partial order on the probability simplex.

If this is right

  • The same subadditivity and supermodularity hold for Shannon entropy, Tsallis entropy, and Rényi entropy as immediate special cases.
  • Any inequality that follows from subadditivity or supermodularity on a lattice now applies directly to Sharma-Mittal entropy.
  • The result supplies a uniform method for deriving entropy bounds once one probability vector majorizes another.

Where Pith is reading between the lines

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

  • The lattice properties may be useful for optimization problems that maximize or minimize entropy subject to majorization constraints.
  • Similar proofs could be attempted for continuous distributions or for quantum states ordered by majorization.
  • Direct computation for low dimensions and selected parameters offers an immediate numerical check of the claim.

Load-bearing premise

The majorization relation must form a lattice on the probability simplex and the Sharma-Mittal entropy must be given by its standard two-parameter definition.

What would settle it

Explicit numerical counterexamples for small n and valid parameter values where either subadditivity or supermodularity fails for a pair of distributions related by majorization.

read the original abstract

We prove that Sharma-Mittal entropy is a subadditive and supermodular function on the lattice of all $n$-dimensional probability distributions, ordered according to the partial order relation defined by majorization among vectors. Our result unifies and extends analogous results presented in the literature for the Shannon entropy, the Tsallis entropy, and the R\'enyi entropy.

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.

Referee Report

2 major / 2 minor

Summary. The paper proves that the Sharma-Mittal entropy (a two-parameter family recovering Shannon, Tsallis, and Rényi entropies as special cases) is subadditive and supermodular on the lattice of n-dimensional probability distributions equipped with the majorization partial order. The result is presented as a unification and extension of prior lattice-theoretic properties known for the special cases.

Significance. If the central claims hold, the work offers a unified lattice-theoretic treatment of several important entropy measures under majorization, which is a standard tool in information theory and majorization theory. This could streamline proofs for related inequalities and support applications in optimization or inequality analysis over probability simplices. The explicit use of lattice operations (suprema and infima induced by sorted partial sums) is a methodological strength.

major comments (2)
  1. [§3, Theorem 3.2] §3, Theorem 3.2 (subadditivity): the proof invokes the monotonicity of the Sharma-Mittal function under majorization for admissible (α,β); an explicit check that the two-parameter form preserves the required inequality direction for all β in the admissible range (including the Tsallis limit) would strengthen the argument, as the reduction to known cases is only sketched.
  2. [§4, Proposition 4.1] §4, Proposition 4.1 (supermodularity): the lattice join operation is defined via componentwise suprema on sorted vectors; the derivation assumes these suprema remain probability vectors, but the boundary case when the join saturates the simplex constraints is not separately verified for the entropy expression.
minor comments (2)
  1. [Eq. (2)] The notation for the Sharma-Mittal entropy (Eq. (2)) uses α and β without restating the conventional range restrictions (α ≠ 1, β > 0, etc.) in the statement of the main theorems; adding a short reminder would improve readability.
  2. [Figure 1] Figure 1 (illustration of lattice operations) would benefit from labeling the sorted partial-sum vectors explicitly to match the definitions in §2.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We respond to each major comment below.

read point-by-point responses
  1. Referee: [§3, Theorem 3.2] §3, Theorem 3.2 (subadditivity): the proof invokes the monotonicity of the Sharma-Mittal function under majorization for admissible (α,β); an explicit check that the two-parameter form preserves the required inequality direction for all β in the admissible range (including the Tsallis limit) would strengthen the argument, as the reduction to known cases is only sketched.

    Authors: We agree that an explicit verification strengthens the argument. In the revised manuscript we will add a short lemma immediately before Theorem 3.2 that directly confirms the monotonicity inequality for the full admissible range of (α, β), with a separate paragraph treating the Tsallis limit β → 0. This replaces the sketched reduction with a self-contained check. revision: yes

  2. Referee: [§4, Proposition 4.1] §4, Proposition 4.1 (supermodularity): the lattice join operation is defined via componentwise suprema on sorted vectors; the derivation assumes these suprema remain probability vectors, but the boundary case when the join saturates the simplex constraints is not separately verified for the entropy expression.

    Authors: We agree that the boundary case deserves explicit treatment. Although the majorization lattice join is known to preserve the probability simplex, we will insert a brief subcase analysis in the proof of Proposition 4.1 that verifies the supermodularity inequality when the join saturates the simplex boundaries, either by direct substitution or by continuity of the entropy. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes subadditivity and supermodularity of the Sharma-Mittal entropy directly via lattice arguments on the majorization partial order over the probability simplex. The entropy definition is the standard two-parameter form (recovering Shannon, Tsallis, and Rényi as special cases) with no parameters fitted to the target properties. The lattice structure follows from the existence of componentwise suprema and infima on sorted partial sums, a standard fact independent of the entropy result. The unification of prior results for special cases is presented as an extension rather than a load-bearing premise, and no derivation step reduces to self-definition, fitted inputs renamed as predictions, or self-citation chains that substitute for independent verification.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the definition of Sharma-Mittal entropy and the lattice structure induced by majorization; no free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption Majorization defines a lattice partial order on the probability simplex
    Invoked when stating the ordering among vectors of probability distributions
  • domain assumption Sharma-Mittal entropy reduces to Shannon, Tsallis, and Rényi entropies for specific parameter values
    Used to claim unification with prior results

pith-pipeline@v0.9.0 · 5583 in / 1161 out tokens · 40579 ms · 2026-05-22T09:29:49.465103+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

67 extracted references · 67 canonical work pages · 2 internal anchors

  1. [1]

    Ahmed, S

    F. Ahmed, S. K. Ramachandran, M. Fuge, S. Hunter, and S. Miller, Design variety mea- surement using Sharma–Mittal entropy,Journal of Mechanical Design, American Society of Mechanical Engineers, vol. 143(6), 2020

  2. [2]

    B. C. Arnold and J. M. Sarabia,Majorization and the Lorenz order with applications in applied mathematics and economics, Springer, vol. 7, 2018

  3. [3]

    R. B. Bapat, Majorization and singular values. III,Linear Algebra and its Applications, vol. 145, pp. 59-–70, 1991

  4. [4]

    T. N. Bakiev, D. V. Nakashidze, A. M. Savchenko, and K. M. Semenov, Some properties of the Sharma–Mittal statistical distribution,Moscow University Physics Bulletin, vol. 78(4), pp. 434-–444, 2023

  5. [5]

    Beck, Generalised information and entropy measures in physics,Contemporary Physics, vol

    C. Beck, Generalised information and entropy measures in physics,Contemporary Physics, vol. 50(4), pp. 495-–510, 2009

  6. [6]

    Bellomo, G

    G. Bellomo, G. M. Bosyk,Majorization, across the (quantum) universe, Cambridge Uni- versity Press, 2019. 10

  7. [7]

    P. K. Bhatia, S. Singh, and V. Kumar, On some properties of Tsallis entropy on majoriza- tion lattice,Acta Mathematica Academiae Paedagogicae Nyíregyháziensis, vol. 31(2), pp. 331–340, 2015

  8. [8]

    Bianchi, G

    M. Bianchi, G. P. Clemente, A. Cornaro, J. L. Palacios, and A. Torreiro, New trends in majorization techniques for bounding topological indices,Bounds in Chemical Graph Theory-Basics, pp. 3–66, 2017

  9. [9]

    G. M. Bosyk, G. Sergioli, H. Freytes, F. Holik, and G. Bellomo, Approximate transfor- mations of bipartite pure-state entanglement from the majorization lattice,Physica A: Statistical Mechanics and its Applications, vol. 473, pp. 403–411, 2017

  10. [10]

    Bruno, and U

    R. Bruno, and U. Vaccaro, A note on equivalent conditions for majorization,AIMS Math- ematics, vol. 9(4), pp. 8641–8660, 2024

  11. [11]

    Carannante and A

    M. Carannante and A. Mazzoccoli, Wavelet energy entropy for predictability and cross- market similarity in crude oil benchmarks,Axioms, MDPI, vol. 15(4), pp. 253, 2026

  12. [12]

    Cicalese and U

    F. Cicalese and U. Vaccaro, Supermodularity and subadditivity properties of the entropy on the majorization lattice,IEEE Transactions in Information Theory, Vol. 48, Issue 4, pp. 933–938, 2002

  13. [13]

    Cicalese, L

    F. Cicalese, L. Gargano, and U. Vaccaro, Bounds on the entropy of a function of a random variable and their applications,IEEE Transactions on Information Theory, vol. 64(4), pp. 2220–2230, 2018

  14. [14]

    Cicalese, L

    F. Cicalese, L. Gargano, and U. Vaccaro, Minimum-entropy couplings and their applica- tions,IEEE Transactions on Information Theory, vol. 65(6), pp. 3436—3451, 2019

  15. [15]

    Cicalese and U

    F. Cicalese and U. Vaccaro, Bounding the average length of optimal source codes via majorization theory,IEEE Transactions on Information Theory, vol. 50(4), pp. 633–637, 2004

  16. [16]

    Compton, D

    S. Compton, D. Katz, B. Qi, K. Greenewald, and M. Kocaoglu, Minimum-entropy cou- pling approximation guarantees beyond the majorization barrier,Proceedings of the 26th International Conference on Artificial Intelligence and Statistics, F. Ruiz, J. Dy, and J.-W. van de Meent, (Eds.), vol. 206, pp. 10445—10469, 2023

  17. [17]

    P. Cuff, T. Cover, G. Kumar, and Lei Zhao, A lattice of gambles,IEEE International Symposium on Information Theory, pp. 1762–1766, 2011

  18. [18]

    Dahl, Principal majorization ideals and optimization,Linear Algebra and its Applica- tions, vol

    G. Dahl, Principal majorization ideals and optimization,Linear Algebra and its Applica- tions, vol. 331(1–3), pp. 113–130, 2001

  19. [19]

    B. A. Davey and H. A. Priestly,Introduction to lattices and order, Cambridge University Press, 2002

  20. [20]

    Deside, M

    S. Deside, M. Arnhem, C. Griffet, and N. J. Cerf, Probabilistic pure state conversion on the majorization lattice,Physical Review Research, vol. 6(2), pp. 023156, 2024

  21. [21]

    normal” and “anomalous

    D. Finkelshtein, A. Malyarenko, Y. Mishura, and K. Ralchenko, Entropies of the poisson distribution as functions of intensity: “normal” and “anomalous” behavior,Methodology and Computing in Applied Probability, vol. 27(2), pp. 45, 2025

  22. [22]

    T. D. Frank and A. Daffertshofer, Exact time-dependent solutions of the Renyi Fokker— Planck equation and the Fokker-–Planck equations related to the entropies proposed by Sharma and Mittal,Physica A: Statistical Mechanics and its Applications, vol. 285(3–4), pp. 351–366, 2000. 11

  23. [23]

    T. D. Frank and A. R. Plastino, Generalized thermostatistics based on the Sharma-Mittal entropy and escort mean values,The European Physical Journal B-Condensed Matter and Complex Systems, vol. 30(4), pp. 543–549, 2002

  24. [24]

    S. N. Gashti, A. Anand, M. A. S. Afshar, M. R. Alipour, Y. Sekhmani, B. Pourhassan, İ. Sakallı, and J. Sadeghi, AdS-Schwarzschild-like black hole thermodynamics: Loop quan- tum gravity impact on topology and universality,Nuclear Physics B, vol. 1021, pp. 117188, 2025

  25. [25]

    Gell-Mann, M

    M. Gell-Mann, M. and C. Tsallis,Nonextensive entropy: interdisciplinary applications, Oxford University Press, 2004

  26. [26]

    Ghaffari, A

    S. Ghaffari, A. H. Ziaie, H. Moradpour, F. Asghariyan, F. Feleppa, and M. Tavayef, Black holethermodynamicsinSharma—Mittalgeneralizedentropyformalism,General Relativity and Gravitation, vol. 51(7), pp. 93, 2019

  27. [27]

    G. H. Hardy, J. E. Littlewood, G. Pólya,Inequalities, Cambridge University Press, 1934

  28. [28]

    Harremoës, A new look at majorization,Proceedings of ISITA 2004, Parma, Italy, pp

    P. Harremoës, A new look at majorization,Proceedings of ISITA 2004, Parma, Italy, pp. 1422—1425, 2004

  29. [29]

    Hu and Z

    X. Hu and Z. Ye, Generalized quantum entropy,Journal of Mathematical Physics, vol. 47(2), pp. 23502, 2006

  30. [30]

    Jawad, K

    A. Jawad, K. Bamba, M. Younas, S. Qummer, and S. Rani, Tsallis, Rényi and Sharma- Mittal holographic dark energy models in loop quantum cosmology,Symmetry, MDPI, vol. 10(11), pp. 635, 2018

  31. [31]

    Jorswieck and H

    E. Jorswieck and H. Boche, Majorization and matrix-monotone functions in wireless com- munications,Foundations and Trends in Communications and Information Theory, vol. 3(6), pp. 553–701, 2007

  32. [32]

    L. Kaur, B. Singh Khehra and A. Singh, Sharma-Mittal entropy and whale optimization algorithm based multilevel thresholding approach for image segmentation,Artificial Intel- ligence and Sustainable Computing: Proceedings of ICSISCET 2021, pp. 451–467, 2022

  33. [33]

    M. A. Khan, S. I. Bradanovic, N. Latif, Ð. Pecaric, and J. Pecaric,Majorization Inequality and Information Theory, Element, Zagreb, 2019

  34. [34]

    Koltcov, V

    S. Koltcov, V. Ignatenko, and O. Koltsova, Estimating topic modeling performance with Sharma–Mittal entropy,Entropy, MDPI, vol. 21(7), pp. 660, 2019

  35. [35]

    C. T. Li, Infinite divisibility of information,IEEE Transactions on Information Theory, vol. 68(7), pp. 4257—4271, 2022

  36. [36]

    Li and C.-F

    J.-L. Li and C.-F. Qiao, The optimal uncertainty relation,Annalen der Physik, vol. 531(10), pp. 1900143, 2019

  37. [37]

    Madiman, L

    M. Madiman, L. Wang, and J. O. Woo, Majorization and Rényi entropy inequalities via Sperner theory,Discrete Mathematics, vol. 342(10), pp. 2911–2932, 2019

  38. [38]

    A. W. Marshall, I. Olkin, and B. C. Arnold,Inequalities: theory of majorization and its applications, Springer, 1979

  39. [39]

    M. Masi, On the extended Kolmogorov–Nagumo information-entropy theory, the q→1/q duality and its possible implications for a non-extensive two-dimensional Ising model, Physica A: Statistical Mechanics and its Applications, vol. 377(1), pp. 67–78, 2007. 12

  40. [40]

    Masi, A step beyond Tsallis and Rényi entropies,Physics Letters A, vol

    M. Masi, A step beyond Tsallis and Rényi entropies,Physics Letters A, vol. 338(3–5), pp. 217–224, 2005

  41. [41]

    Massri, G

    C. Massri, G. Bellomo, F. Holik, and G. M. Bosyk, Extremal elements of a sublattice of the majorization lattice and approximate majorization,Journal of Physics A: Mathematical and Theoretical, vol. 53(21), pp. 215305, 2020

  42. [42]

    From Sharma-Mittal to von-Neumann Entropy of a Graph

    S. Mazumdar, A. Singh, S. Dutta, S. K. Yadav, and P. Guha, From Sharma-Mittal to von-Neumann entropy of a graph,arXiv preprint arXiv:1902.07548, 2019

  43. [43]

    R. P. Mondaini and S. C. A. Neto, A comprehensive review of Sharma-Mittal entropy measures and their usefulness in the study of discrete probability distributions in math- ematical biology,Trends in Biomathematics: Exploring Epidemics, Eco-Epidemiological Systems, and Optimal Control Strategies: Selected Works from the BIOMAT Consortium Lecture, pp. 321–355, 2024

  44. [44]

    62(4), pp

    M.P.MüellerandM.Pastena, AgeneralizationofmajorizationthatcharacterizesShannon entropy,IEEE Transaction on Information Theory, vol. 62(4), pp. 1711—1720, 2016

  45. [45]

    M.NaeemandA.Bibi, CorrectiontotheFriedmannequationwithSharma–Mittalentropy: a new perspective on cosmology,Annals of Physics, vol. 462, pp. 169618, 2024

  46. [46]

    Nielsen and R

    F. Nielsen and R. Nock, A closed-form expression for the Sharma–Mittal entropy of ex- ponential families,Journal of Physics A: Mathematical and Theoretical, vol. 45(3), pp. 32003, 2012

  47. [47]

    M. A. Nielsen and G. Vidal, Majorization and the interconversion of bipartite states, Quantum Information and Computation, vol. 1(1), pp. 76–93, 2001

  48. [48]

    D. P. Palomar and Y. Jiang, MIMO transceiver design via majorization theory,Foundation and Trends in Communications and Information Theory, vol. 3(4–5), pp. 331–551, 2006

  49. [49]

    Paul and P

    J. Paul and P. Y. Thomas, Sharma-Mittal entropy properties on record values,Statistica, vol. 76(3), pp. 273–287, 2016

  50. [50]

    Portes de Albuquerque, I

    M. Portes de Albuquerque, I. A. Esquef, A.R. Gesualdi Mello, and M. Portes de Albu- querque, Image thresholding using Tsallis entropy,Pattern Recognition Letters, vol. 25(9), pp. 1059–1065, 2004

  51. [51]

    Rényi, On measures of entropy and information,Proceedings of the fourth Berkeley Symposium on Mathematics, Statistics and Probability, pp

    A. Rényi, On measures of entropy and information,Proceedings of the fourth Berkeley Symposium on Mathematics, Statistics and Probability, pp. 547–562, 1961

  52. [52]

    M. Á. Rodríguez, Á. Romaniega, and P. Tempesta, A new class of entropic information measures, formal group theory and information geometry,Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 475(2222), 2019

  53. [53]

    Rudamenko, D

    R. Rudamenko, D. Abulkhanov, K. Semenov, M. Diskin, and A. Savchenko, Learning when to be sparse: adaptive activations via two–parameter entropy,Workshop on Scientific Methods for Understanding Deep Learning, 2026

  54. [54]

    Sagawa,Entropy, divergence, and majorization in classical and quantum thermodynam- ics, Springer Nature, 2022

    T. Sagawa,Entropy, divergence, and majorization in classical and quantum thermodynam- ics, Springer Nature, 2022

  55. [55]

    Sason, Tight bounds on the Rényi entropy via majorization with applications to guessing and compression,Entropy, MDPI, vol

    I. Sason, Tight bounds on the Rényi entropy via majorization with applications to guessing and compression,Entropy, MDPI, vol. 20(12), pp. 896, 2018

  56. [56]

    Sason, On data-processing and majorization inequalities forf-divergences with applica- tions,Entropy, MDPI, vol

    I. Sason, On data-processing and majorization inequalities forf-divergences with applica- tions,Entropy, MDPI, vol. 21(10), pp. 1022, 2019. 13

  57. [57]

    A. M. Scarfone, Legendre structure of the thermostatistics theory based on the Sharma— Taneja-–Mittal entropy,Physica A: Statistical Mechanics and its Applications, vol. 365(1), pp. 63–70, 2006

  58. [58]

    B. D. Sharma and D. P. Mittal, New non-additive measures of entropy for discrete prob- ability distributions,Journal of Mathematical Sciences, vol. 10(75), pp. 28–40, 1975

  59. [59]

    Y. Y. Shkel and A. Kumar Yadav, Information spectrum converse for minimum entropy couplings and functional representations,IEEE International Symposium on Information Theory, pp. 66–71, 2023

  60. [60]

    I. J. Taneja, On generalized information measures and their applications,Advances in Electronics and Electron Physics, vol. 76, pp. 327–413, 1989

  61. [61]

    Tsallis, Possible generalization of Boltzmann-Gibbs statistics,Journal of Statistical Physics, vol

    C. Tsallis, Possible generalization of Boltzmann-Gibbs statistics,Journal of Statistical Physics, vol. 52(1), pp. 479–487, 1988

  62. [62]

    van Erven and P

    T. van Erven and P. Harremoës, Rényi divergence and majorization,2010 IEEE Interna- tional Symposium on Information Theory, pp. 1335—1339, 2010

  63. [63]

    538(1), pp

    D.-P.Xuan, Z.-X.Wang, andS.-M.Fei, QuantumspeedlimitsbasedontheSharma–Mittal entropy,Annalen der Physik, vol. 538(1), pp. e00383, 2026

  64. [64]

    Wang and D

    J. Wang and D. P. Palomar, Majorization theory and applications,Mathematical Foun- dations for Signal Processing, Communications and Networking, CRC Press, pp. 561–598, 2017

  65. [65]

    Witsenhausen, Some aspects of convexity useful in information theory,IEEE Transac- tion on Information Theory, vol

    H. Witsenhausen, Some aspects of convexity useful in information theory,IEEE Transac- tion on Information Theory, vol. 26(3), pp. 265–271, 1980

  66. [66]

    A. K. Yadav and Y. Y. Shkel, Geometry of Rényi entropy on the majorization lattice, arXiv preprint arXiv:2605.09655, 2026

  67. [67]

    Yang and C.-F

    M.-C. Yang and C.-F. Qiao, Witness high-dimensional quantum steering via majorization lattice,npj Quantum Information, vol. 12(55), 2026. 14