--- title: Two-Parameter Generalized Entropic Functional url: https://www.emergentmind.com/topics/two-parameter-generalized-entropic-functional type: topic --- # Two-Parameter Generalized Entropic Functional A two-parameter generalized entropic functional is an entropy depending on two deformation or scaling parameters that extends the Boltzmann–Gibbs–Shannon entropy in order to accommodate nonadditivity, generalized averaging, or nonstandard asymptotic growth of accessible states. In the modern literature it denotes not a single formula but a class of inequivalent constructions. The main examples are the Sharma–Taneja–Mittal entropies of degree \((\alpha,\beta)\), the Sharma–Mittal entropies of order \((\alpha,\beta)\), and the Hanel–Thurner entropies of class \((c,d)\), to which later work adds scale-invariant, logarithmic, deformed-calculus, and application-driven two-parameter forms such as \(S_{q,\delta}\), \(S_{\delta,\epsilon}\), and \(\mathcal{E}^{LN}_{\alpha,\beta}\) [2102.10071]. ## 1. Principal families and their mathematical archetypes The literature classifies the main two-parameter entropies into distinct structural families rather than simple reparameterizations of one master formula. The most important division is between trace-form functionals, kernel-form functionals, and asymptotic-scaling classes [2102.10071]. | Family | Representative form | Distinguishing principle | |---|---|---| | Sharma–Taneja–Mittal, degree \((\alpha,\beta)\) | \(S_{\alpha,\beta}[p]=\sum_{i=1}^W \frac{p_i^\beta-p_i^\alpha}{\alpha-\beta}\) | Trace-form; generalized logarithm and generalized composability | | Sharma–Mittal, order \((\alpha,\beta)\) | Kernel-form entropy of order \((\alpha,\beta)\) | Generalized averaging; interpolates between Rényi and Tsallis | | Hanel–Thurner, class \((c,d)\) | \(S_{c,d}[p]=\frac{e\sum_{i}^{W}\Gamma(d+1,1-c\ln p_i)}{1-c+cd}-\frac{c}{1-c+cd}\) | Trace-form; asymptotic scaling class [1701.00369] | | Logarithmic \((\alpha,\beta)\)-norm entropy | \(\mathcal{E}_{\alpha,\beta}^{LN}(P)=\frac{\alpha\beta}{\alpha-\beta}\left[\ln\|P\|_\beta-\ln\|P\|_\alpha\right]\) | Scale-invariant on sub-probabilities [1901.01981] | For the Sharma–Taneja–Mittal family, the two parameters deform the elementary information content through the generalized logarithm \[ \ln_{\alpha,\beta}(x)=\frac{x^{1-\beta}-x^{1-\alpha}}{\alpha-\beta}, \] so that \[ S_{\alpha,\beta}[p]=\sum_{i=1}^W p_i\,\ln_{\alpha,\beta}\!\left(\frac1{p_i}\right)=\sum_{i=1}^W \frac{p_i^\beta-p_i^\alpha}{\alpha-\beta}. \] In this family, \(\alpha\) and \(\beta\) directly control the trace kernel and the nonlinear composition law [2102.10071]. In the Sharma–Mittal family, the two parameters play different roles: \(\alpha\) controls the internal order of the power sum, while \(\beta\) controls the external nonadditive deformation. The review literature treats it as a kernel-form entropy rather than a trace-form one [2102.10071]. In the Hanel–Thurner family, the pair \((c,d)\) is not introduced primarily as a deformation of additivity. Instead, it characterizes the asymptotic scaling behavior \[ \frac{S(\lambda W)}{S(W)}\sim \lambda^c,\qquad W^{a(c-1)}\frac{S(W^{1+a})}{S(W)}\sim (1+a)^d,\qquad W\to\infty, \] so that \((c,d)\) labels universality classes of complex systems [2102.10071]. Later constructions broaden the landscape. The two-parameter turbulence entropy \[ S_{q,\delta}=\sum_{i=1}^W p_i\left(\ln_q\frac1{p_i}\right)^\delta \] assigns distinct roles to \(q\) and \(\delta\): the first controls the deformation of the logarithm and the second the stretching exponent in the associated canonical distributions [2606.03139]. The entropy \[ S_{\delta,\epsilon} =\eta_\delta \sum_i p_i\left(\log\frac{1}{p_i}\right)^\delta +\eta_\epsilon \sum_i p_i\left(\log\frac{1}{p_i}\right)^\epsilon \] was introduced as a microscopic functional whose equiprobable form yields two independent area contributions in holographic applications [2603.10964]. ## 2. Kernel characterizations by functional equations A major line of research treats two-parameter entropies through functional equations. The central result of Furuichi is a characterization theorem for the one-point kernel \(f_{\alpha,\beta}\) of the entropy \[ S_{\alpha,\beta}(X)=\sum_{j=1}^n \frac{x_j^\alpha-x_j^\beta}{\beta-\alpha}, \qquad \alpha,\beta>0,\ \alpha\neq\beta. \] If a differentiable nonnegative function \(f_{\alpha,\beta}:(0,1]\to\mathbb R\) satisfies \[ f_{\alpha,\beta}(xy)=x^\alpha f_{\alpha,\beta}(y)+y^\beta f_{\alpha,\beta}(x), \qquad (00,\ a\neq b, \] which generates the generalized Borges–Roditi entropy \[ S^{BR}(\mathbf p)=\sum_{i=1}^W p_i \log^E_{a,b}(1/p_i). \] This formalism unifies several known one-parameter logarithms and entropies inside a two-parameter deformation, while also serving as the mirror map in generalized exponentiated-gradient algorithms [2502.17500]. A different construction begins from \(h\)-calculus. With \[ D_{h,h'}f(x)=\frac{f(x+h)-f(x-h')}{h+h'}, \] the corresponding entropy is defined by \[ S_{h,h'}=-D_{h,h'}\sum_{i=1}^{W}p_i^x\Bigg|_{x=1} =-\sum_{i=1}^{W}\frac{p_i^{1+h}-p_i^{1-h'}}{h+h'}. \] It can be rewritten as \[ S_{h,h'}=\left<\ln_{h,h'}\left(\frac{1}{p_i}\right)\right>, \qquad \ln_{h,h'}(x)=\frac{x^{h'}-x^{-h}}{h+h'}. \] This additive-shift calculus differs from the multiplicative \(q\)-calculus used in Jackson, Abe, and Borges–Roditi constructions [1905.07706]. Another trace-form proposal uses the deformed logarithm \[ \ln_{\{k,r\}}(u) = -\frac{1}{2k\,u^r}\left(u^k-u^{-k}\right) = \frac{u^{2k}-1}{2k\,u^{r+k}}, \] and defines \[ S_{\{k,r\}}(X)=-\sum_{x\in X}(p(x))^{\,r+k+1}\,\ln_{\{k,r\}}(p(x)). \] Here the factor \(p^{r+k+1}\) is not incidental: it is tailored to the exact product rule of \(\ln_{\{k,r\}}\), which in turn yields exact chain rules and pseudo-additivity [1908.01696]. The logarithmic \((\alpha,\beta)\)-norm entropy follows yet another principle. Instead of deforming a pointwise logarithm, it compares logarithms of \(\ell_\alpha\)- and \(\ell_\beta\)-norms: \[ \mathcal{E}_{\alpha,\beta}^{LN}(P) = \frac{\alpha\beta}{\alpha-\beta}\left[\ln\|P\|_\beta-\ln\|P\|_\alpha\right]. \] This construction is scale-invariant on sub-probabilities and is therefore structurally distinct from the Sharma–Taneja–Mittal and Sharma–Mittal families [1901.01981]. ## 4. Limiting cases and reductions to standard entropies The reduction patterns of two-parameter entropies are one of their main organizing principles. For the Sharma–Taneja–Mittal family, the point \((\alpha,\beta)\to(1,1)\) yields the Boltzmann–Gibbs–Shannon entropy, the line \(\alpha=1\) yields the Havrda–Charvát–Daróczy–Tsallis entropy, the choice \((\alpha,\beta)=(1+\kappa,1-\kappa)\) yields the Kaniadakis entropy, the choice \((\alpha,\beta)=(q,1/q)\) yields the Abe entropy, and the diagonal limit \(\beta\to\alpha\) gives \[ -\sum_i p_i^\alpha\ln p_i \] [2102.10071]. The Sharma–Mittal family reduces to Rényi entropy on the line \(\beta=1\), to Tsallis entropy on the line \(\alpha=1\), and to Boltzmann–Gibbs–Shannon entropy at \((1,1)\). Its diagonal limit also produces a weighted logarithmic kernel of the form \(-\sum_i p_i^\beta\ln p_i\) [2102.10071]. For the Hanel–Thurner family, \((c,d)=(1,1)\) gives Boltzmann–Gibbs–Shannon entropy, while the class \((c,d)=(\beta,0)\) includes the Tsallis family in the scaling classification, and \((c,d)=(1-\kappa,0)\) includes the Kaniadakis family [2102.10071]. The \(h\)-calculus entropy is explicitly designed to recover known one-parameter and two-parameter entropies. The limits and parameter choices \[ h=h'\to 0,\qquad (h,h')=(q-1,0),\qquad (h,h')=(q-1,1-q^{-1}),\qquad h'=h,\qquad h'\to -h \] recover respectively the Boltzmann–Gibbs, Tsallis, Abe, Kaniadakis, and Shafee entropies [1905.07706]. For \(S_{q,\delta}\), the cases \[ (q,\delta)=(1,1),\qquad \delta=1,\qquad q=1 \] yield Boltzmann–Gibbs entropy, Tsallis entropy, and the \(\delta\)-entropy \[ S_{1,\delta}=\sum_i p_i\left(\ln\frac1{p_i}\right)^\delta. \] The point \(q=1,\ \delta=\frac32\) is singled out in earlier work as a thermodynamic black-hole entropy and reappears in the turbulence application as the endpoint value \(\delta=\frac32\) [2606.03139]. For the logarithmic \((\alpha,\beta)\)-norm entropy, if either parameter equals \(1\), then on \(\Omega_n\) it reduces to Rényi entropy; on the diagonal it becomes \[ \mathcal{E}_{\beta,\beta}^{LN}(P)=\mathcal{E}^S(P_\beta), \] the Shannon entropy of the escort distribution \(P_\beta\) [1901.01981]. ## 5. Axioms, composability, stability, and geometry The original Shannon–Khinchin axioms single out the Boltzmann–Gibbs–Shannon entropy. Generalized two-parameter families emerge by modifying the conditional composition axiom. Replacing the conditional term by a \(p_i^\beta\)-weighted one yields Tsallis entropy; a further two-parameter generalization due to Wada and Suyari leads to the Sharma–Taneja–Mittal family with kernel \(x\ln_{\alpha,\beta}(1/x)\) [2102.10071]. For statistically independent systems, these modifications induce nonlinear composition laws. Tsallis entropy satisfies the standard pseudo-additivity \[ S_q(X\times Y)=S_q(X)+S_q(Y)+(1-q)S_q(X)S_q(Y), \] while the normalized Tsallis entropy satisfies a similar law with coefficient \((q-1)\) instead of \((1-q)\). Furuichi showed that the functional equation for the Tsallis kernel encodes both pseudoadditivity structures at once [1001.2190]. The Sharma–Taneja–Mittal family has a more general composition law involving the power sums \(\sum_i p_i^\alpha\) and \(\sum_j p_j^\beta\), whereas the Sharma–Mittal family retains a Tsallis-type pseudo-additivity at the level of independent-system composition [2102.10071]. By contrast, the Hanel–Thurner family is organized by thermodynamic-limit scaling rather than a single universal composition rule. Stability properties are not uniform across the landscape. The review literature states that trace-form families such as Sharma–Taneja–Mittal and Hanel–Thurner satisfy the Lesche criterion, whereas the situation for Sharma–Mittal is more problematic, and some members such as Rényi entropy appear not to be Lesche stable [2102.10071]. Some later two-parameter proposals were designed to restore stronger information-theoretic properties. The entropy \(S_{\{k,r\}}\) satisfies exact chain rules, pseudo-additivity for independent variables, sub-additivity, and strong sub-additivity, and its associated divergence is nonnegative, jointly convex, and information monotone under stochastic maps [1908.01696]. The logarithmic \((\alpha,\beta)\)-norm entropy is extensive on products, \[ \mathcal{E}_{\alpha,\beta}^{LN}(P\ast Q) = \mathcal{E}_{\alpha,\beta}^{LN}(P)+\mathcal{E}_{\alpha,\beta}^{LN}(Q), \] and is scale-invariant on sub-probabilities, \[ \mathcal{E}_{\alpha,\beta}^{LN}(cP)=\mathcal{E}_{\alpha,\beta}^{LN}(P) \] [1901.01981]. The Hanel–Thurner family also supports an information-geometric program. The associated maximizing distributions form a \((c,d)\)-exponential family \[ p(x,\theta)=\mathcal E_{c,d,r}(x_i\theta^i-\psi(\theta)), \] from which one obtains a generalized divergence, a Fisher-like metric, a generalized Cramér–Rao inequality, and a scalar curvature used to discriminate complexity classes [1701.00369]. ## 6. Applications and extensions Two-parameter entropies have become application-specific modeling tools. In turbulence, maximizing \[ S_{q,\delta}=\sum_i p_i\left(\ln_q\frac1{p_i}\right)^\delta \] under ordinary normalization and linear energy constraints produces generalized canonical distributions of stretched \(q\)-exponential form. For turbulent velocity differences \(u\), the resulting continuum density is \[ p(u)= \left( 1+(q_{ss}-1) \left( \alpha + \frac{1}{2} \beta u^2\right)^\frac{1}{\delta} \right)^{-\frac{1}{q_{ss}-1}}, \] and the theory yields the scale-dependent relation \[ \delta^{-1}(r)=2-q(r), \] which the authors compare with Taylor–Couette data [2606.03139]. In holographic cosmology, the entropy \[ S_{\delta,\epsilon} = \eta_\delta \sum_i p_i\left(\log\frac{1}{p_i}\right)^\delta + \eta_\epsilon \sum_i p_i\left(\log\frac{1}{p_i}\right)^\epsilon \] induces a generalized area law \[ S_{\delta,\epsilon}=\gamma_\delta A^\delta+\gamma_\epsilon A^\epsilon, \] and hence a generalized holographic dark-energy density \[ \rho_{DE}= \gamma_\delta L^{2(\delta-2)} +\gamma_\epsilon L^{2(\epsilon-2)}. \] This framework embeds standard holographic dark energy and \(\Lambda\)CDM as limiting cases [2603.10964]. In optimization, the Euler logarithm \[ \log^E_{a,b}(x)=\frac{x^a-x^b}{a-b} \] defines a mirror map \[ F(\mathbf w)=\frac{1}{a-b}\sum_{i=1}^N\left(\frac{w_i^{a+1}}{a+1}-\frac{w_i^{b+1}}{b+1}\right), \] whose Bregman divergence regularizes generalized exponentiated-gradient and mirror-descent updates. The resulting simplex-constrained update is \[ \tilde{\mathbf w}_{t+1} = \exp_{a,b}\!\left[\log_{a,b}(\mathbf w_t)-\eta_t \nabla \widehat L(\mathbf w_t)\right], \qquad \mathbf w_{t+1}=\frac{\tilde{\mathbf w}_{t+1}}{\|\tilde{\mathbf w}_{t+1}\|_1}, \] and was developed for online portfolio selection [2502.17500]. The two-parameter idea also extends beyond scalar probability functionals. In operator theory, the Tsallis relative operator \((\alpha,\beta)\)-entropy \[ T_{\alpha,\beta}(A|B)=A^{\beta/2}\,\ln_\alpha\!\left(A^{-\beta/2}BA^{-\beta/2}\right)A^{\beta/2} \] and the relative operator \((\alpha,\beta)\)-entropy \[ S_{\alpha,\beta}(A|B)=A^{\beta/2}\left(A^{-\beta/2}BA^{-\beta/2}\right)^\alpha \log\!\left(A^{-\beta/2}BA^{-\beta/2}\right)A^{\beta/2} \] were introduced so as to preserve joint convexity under explicit parameter restrictions [1706.08047]. In quantum information, the \(\alpha\)-\(z\)-Rényi relative entropy is a continuous, real-valued, two-parameter family of contractive distinguishability measures used to derive generalized entropic quantum speed limits [2501.11049]. ## 7. Corrections, controversies, and conceptual cautions The theory of two-parameter entropies contains several technical cautions. First, uniqueness theorems are sensitive to regularity assumptions. The correction of the Wada–Suyari theorem showed that the earlier differentiability conditions on \(C_{\alpha,\beta}\) were not calibrated correctly: admissible entropies existed without them, and the old conditions did not guarantee the Shannon limit [1301.6935]. Related work on entropy functional equations further showed that measurability or local boundedness often suffices to eliminate pathological additive or logarithmic solutions [1307.0650]. Second, non-trace-form entropies preserve Legendre reciprocity more generally than was sometimes assumed. For the class \[ S=G\!\left[\int dV\, f(\xi)\right], \] including the Rényi case \[ S=\frac{1}{1-q}\ln\!\left(\int dV\,\xi^q\right), \] the canonical MaxEnt treatment still yields the reciprocity relations \[ \frac{\partial S}{\partial \langle U\rangle}=\lambda_U, \qquad \frac{d\lambda_J}{d\lambda_U}=-\langle U\rangle. \] The anomalies that appear in some multiplier formulas arise when one varies a normalization-reduced entropy representation rather than the full unconstrained functional [1810.05024]. Third, superstatistical reconstruction does not single out a unique entropy functional from a distribution. Under the first three Shannon–Khinchin axioms, only two reconstruction schemes survive: the HT scheme without escort probabilities and the TS scheme with escort probabilities. These are related by a duality at the level of generalized logarithms, \[ \frac{1}{s_{TS}'(x)}-\frac{1}{s_{HT}'(x)}=-\nu, \] or equivalently \[ \Lambda^*=\frac{1}{\frac{1}{\Lambda}+c\nu}. \] The choice between escort and non-escort reconstruction is therefore empirical rather than purely formal [1103.0580]. A plausible implication is that two-parameter entropies should be distinguished not only by their values on normalized distributions, but also by their variational representatives, their composability rules, and the scaling or stability principle from which they are derived. That is why the literature does not treat the Sharma–Taneja–Mittal, Sharma–Mittal, and Hanel–Thurner families as equivalent parameterizations of the same object, even when they share limiting cases such as Boltzmann–Gibbs, Tsallis, Rényi, or Kaniadakis [2102.10071]. Source: https://www.emergentmind.com/topics/two-parameter-generalized-entropic-functional