arXiv Science⌕ Search

arXiv subjects

Roberto Bruno

Publications and source records attributed to Roberto Bruno.

At least 19 recordsLinked to original sources

The Information Bottleneck and the Privacy Funnel are NP-hard

Given a joint distribution $P_{XY}$ of random variables $X,Y$ on finite alphabets, the information bottleneck method seeks a representation $T$ of $X$ that is as informative as possible about $Y$ while compressing $X$; the privacy funnel asks for a representation that discloses much about $X$ while leaking little about $Y$. In both scenarios $T$ and $Y$ are conditionally independent given $X$. We show that computing the optimal value $\operatorname{IB}(P_{XY},R) = \sup_T \{ I(Y;T) : I(X;T) \le R \}$ of the information bottleneck problem, as well as its Lagrangian relaxation $L_β(P_{XY}) = \sup_T [ I(Y;T) - βI(X;T) ]$, is NP-hard. Moreover, unless $\mathrm{P} = \mathrm{NP}$, neither $\operatorname{IB}(P_{XY},R)$ nor $L_β(P_{XY})$ can be approximated in polynomial time within an additive error of order $|\mathcal{X}|^{-(1+α)}$, for every fixed $α> 0$. We also prove that computing the privacy funnel $\operatorname{PF}(P_{XY},r) = \inf_T \{ I(Y;T) : I(X;T) \ge r \}$ and its Lagrangian relaxation $Λ_β(P_{XY}) = \inf_T [ I(Y;T) - βI(X;T) ]$ is NP-hard, and that, unless $\mathrm{P} = \mathrm{NP}$, neither can be approximated in polynomial time within an additive error of order $|\mathcal{X}|^{-2}$.

cs.IT↗

Wyner's Common Information and the Common Entropy are NP-Hard to Compute

Wyner's common information $J(p)$ and the common entropy $G(p)$ of a pair of random variables $(X,Y)$ with finite ranges and joint distribution $p$ are both defined by an optimization over the auxiliary random variables $W$ that make $X$ and $Y$ conditionally independent: $J(p)$ is the infimum of the mutual information $I(X,Y;W)$, and $G(p)$ is the infimum of the entropy $H(W)$. We prove that both quantities are NP-hard to compute. For Wyner's common information, deciding whether $J(p)$ is strictly smaller than a given integer $r$ is NP-hard, and the problem is NP-complete on tables that are uniform on their support and have the same number of positive entries in every row. The reduction is from Maximum Edge Biclique and rests on an exact criterion, in terms of rectangles in the support of $p$, for improving on the auxiliary $W=X$; every yes-instance satisfies $J(p)<r-1/(4N^2)$ and every no-instance satisfies $J(p)=r$, where $N$ is the number of positive entries of $p$. For the common entropy, deciding whether $G(p)\le r$ for a rational number $r$ is NP-hard, even for tables with at most four nonzero entries in each row, all taking one of two values. The reduction is from exact cover by $3$-sets and rests on a majorization property of the masses of the nonnegative rank-one decompositions of $p$, combined with a quantitative form of the Schur concavity of entropy. In both cases the separation between yes- and no-instances is inverse-polynomial in the size of $p$, so that approximating $J(p)$ or $G(p)$ within a suitable inverse-polynomial additive error is also NP-hard. The two mechanisms are genuinely different: we exhibit a table on which a large rectangle in the support lowers $J$ below the threshold of our first reduction while leaving $G$ on it.

cs.IT↗

Finite-Sample Binary Hypothesis Testing via Rényi Divergences: Strong Converse and Local Privacy

We study asymmetric simple binary hypothesis testing between $H_0:P_0^{n}$ and $H_1:P_1^{n}$, based on $n$ independent and identically distributed observations. Leveraging a variational representation of Rényi divergence of order $α$, we derive our main result: a finite-sample converse with $α>1$. The bound uses both directions of the divergence $D_α(P_1\|P_0)$ and $D_α(P_0\|P_1)$, tensorises under product measures, and contains familiar data-processing converses as boundary cases. For comparison, we apply the same variational approach to general $f$-divergences and specialise it to total variation, $E_γ$, Hellinger, and Kullback Leibler divergences, thereby recovering familiar converses within a unified framework. Together with an achievability bound involving Rényi divergence with $α\in (0,1)$, the main converse recovers the phase transition of the optimal Type II error under the exponentially decaying Type I error constraint $\varepsilon_n=e^{-nr}$. Under regularity conditions, the optimal Type II error vanishes exponentially when $r D(P_1\|P_0)$. We also derive sample-complexity bounds and extend both the converse and achievability analyses to locally differentially private observations, quantifying the cost of privacy and recovering the non-private achievability bound as the privacy constraint vanishes.

cs.IT↗

Constrained Maximum Entropy Contiguous Aggregations

Given a probability distribution $p = (p_1, \dots, p_n)$ and an integer $1\leq m \leq n$, a contiguous aggregation of $p$ is a probability distribution $q = (q_1, \dots, q_m)$ such that each $q_i$ is a sum of consecutive elements of $p$. Given $p$ and a positive number $R$, we consider the problem of computing a maximum entropy contiguous aggregation $q$ of $p$, under the constraint that its Shannon entropy $H(q)$ is at most $R$. We devise a dynamic programming algorithm that solves the problem exactly, and two time-efficient greedy algorithms that provide close-to-optimal solutions. We discuss a few scenarios where our problem arises.

cs.IT↗

An Information Theoretic Treatment of Yager's Probability Distribution Negation

In the seminal paper (Yager 2015), Yager defined the negation of a probability distribution $\mathbf{p}=(p_1,\dots,p_n)$, as the distribution $\overline{\mathbf{p}} = (\overline{p}_1,\dots,\overline{p}_n)$, where $\overline{p}_i = ({1-p_i})/({n-1}),$ for $ i=1, \ldots , n.$ In this paper, we present a comprehensive information-theoretic analysis of Yager's negation and its generalizations. Using tools from information theory and majorization theory, we unify, extend, and strengthen a number of previously known properties of Yager's negation within a common framework. Overall, our results offer strong theoretical justification for Yager's negation as the most natural and principled definition of probability distribution negation under various information theoretic criteria.

cs.IT↗

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

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.

cs.IT↗

Probing Solar Wind Structures with Solar Energetic Particle Observations from Solar Orbiter

The propagation of solar energetic particles (SEPs) through the heliosphere is primarily guided by the interplanetary magnetic field (IMF) which is embedded in the solar wind plasma. Large-scale IMF structures can drive transient variations in SEP intensities. Using Solar Orbiter observations, we identify a distinct class of SEP variations: SEP flux deflections (SFDs), which are commonly detected in SEP events and frequently recur multiple times within a single event. SFDs are characterized by a sudden change in SEP flux directions where the intensities drop in one direction and increase in another direction, without a significant net change in total flux magnitude. These deflections occur dispersionlessly across a broad energy range-from tens of keV to over 100 MeV-and exhibit steep intensity gradients. SFDs are typically associated with magnetic flux tubes with boundary features consistent with tangential discontinuities. We further show that the solar wind inside these structures exhibits distinct plasma properties, and that the SEP streaming direction within SFDs aligns closely to the flux-tube axis. These observations suggest that magnetic flux tubes are a prevalent structural element of the solar wind, and demonstrate that SEPs can serve as an effective diagnostic tool for probing the topology and dynamics of solar wind structures.

astro-ph.SR↗

A Finite-Sample Strong Converse for Binary Hypothesis Testing via (Reverse) Rényi Divergence

This work investigates binary hypothesis testing between $H_0\sim P_0$ and $H_1\sim P_1$ in the finite-sample regime under asymmetric error constraints. By employing the ``reverse" Rényi divergence, we derive novel non-asymptotic bounds on the Type II error probability which naturally establish a strong converse result. Furthermore, when the Type I error is constrained to decay exponentially with a rate $c$, we show that the Type II error converges to 1 exponentially fast if $c$ exceeds the Kullback-Leibler divergence $D(P_1\|P_0)$, and vanishes exponentially fast if $c$ is smaller. Finally, we present numerical examples demonstrating that the proposed converse bounds strictly improve upon existing finite-sample results in the literature.

cs.IT↗

Optimal Binary Variable-Length Codes with a Bounded Number of 1's per Codeword: Design, Analysis, and Applications

In this paper, we consider the problem of constructing optimal average-length binary codes under the constraint that each codeword must contain at most $D$ ones, where $D$ is a given input parameter. We provide an $O(n^2D)$-time complexity algorithm for the construction of such codes, where $n$ is the number of codewords. We also describe several scenarios where the need to design these kinds of codes naturally arises. We also provide a Kraft-like inequality for the existence of (optimal) variable-length binary codes, subject to the above-described constraint on the number of 1's in each codeword.

cs.IT↗

Old and New Results on Alphabetic Codes

This comprehensive survey examines the field of alphabetic codes, tracing their development from the 1960s to the present day. We explore classical alphabetic codes and their variants, analyzing their properties and the underlying mathematical and algorithmic principles. The paper covers the fundamental relationship between alphabetic codes and comparison-based search procedures and their applications in data compression, routing, and testing. We review optimal alphabetic code construction algorithms, necessary and sufficient conditions for their existence, and upper bounds on the average code length of optimal alphabetic codes. The survey also discusses variations and generalizations of the classical problem of constructing minimum average length alphabetic codes. By elucidating both classical results and recent findings, this paper aims to serve as a valuable resource for researchers and students, concluding with promising future research directions in this still-active field.

cs.IT↗

Impact of Two-Population $α$-particle Distributions on Plasma Stability

The stability of weakly collisional plasmas is well represented by linear theory, and the generated waves play an essential role in the thermodynamics of these systems. The velocity distribution functions (VDF) characterizing kinetic particle behavior are commonly represented as a sum of anisotropic bi-Maxwellians. For the majority of in situ observations of solar wind plasmas enabled by heliospheric missions, a three bi-Maxwellian model is commonly applied for the ions, assuming that the VDF consists of a proton core, proton beam, and a single He ($α$) particle population, each with their own density, bulk velocity, and anisotropic temperature. Resolving an $α$-beam component was generally not possible due to instrumental limitations. The Solar Orbiter Solar Wind Analyser Proton and Alpha Sensor (SWA PAS) resolves velocity space with sufficient coverage and accuracy to routinely characterize secondary $α$ populations consistently. This design makes the SWA PAS dataset ideal for examining effects of the $α$-particle beam on the plasma's kinetic stability. We test the wave signatures observed in the magnetic field power spectrum at ion scales and compare them to the predictions from linear plasma theory, Doppler-shifted into the spacecraft reference frame. We find that taking into account the $α$-particle beam component is necessary to predict the coherent wave signatures in the observed power spectra, emphasizing the importance of separating the $α$-particle populations as is traditionally done for protons. Moreover, we demonstrate that the drifts of beam components are responsible for the majority of the modes that propagate in oblique direction to the magnetic field, while their temperature anisotropies are the primary source of parallel Fast Magnetosonic Modes in the solar wind.

astro-ph.SR↗

Bounds and Algorithms for Alphabetic Codes and Binary Search Trees

Alphabetic codes and binary search trees are combinatorial structures that abstract search procedures in ordered sets endowed with probability distributions. In this paper, we design new linear-time algorithms to construct alphabetic codes, and we show that the obtained codes are not too far from being optimal. Moreover, we exploit our results on alphabetic codes to provide new bounds on the average cost of optimal binary search trees. Our results improve on the best-known bounds on the average cost of optimal binary search trees present in the literature.

cs.IT↗

Hardness and Approximability of Dimension Reduction on the Probability Simplex

Dimension reduction is a technique used to transform data from a high-dimensional space into a lower-dimensional space, aiming to retain as much of the original information as possible. This approach is crucial in many disciplines like engineering, biology, astronomy, and economics. In this paper, we consider the following dimensionality reduction instance: Given an n-dimensional probability distribution p and an integer m<n, we aim to find the m-dimensional probability distribution q that is the closest to p, using the Kullback-Leibler divergence as the measure of closeness. We prove that the problem is strongly NP-hard, and we present an approximation algorithm for it.

cs.DS↗

A Note on Equivalent Conditions for Majorization

In this paper, we introduce novel characterizations of the classical concept of majorization in terms of upper triangular (resp., lower triangular) row-stochastic matrices, and in terms of sequences of linear transforms on vectors. We used our new characterizations of majorization to derive an improved entropy inequality.

cs.IT↗

Entropic Bounds on the Average Length of Codes with a Space

We consider the problem of constructing prefix-free codes in which a designated symbol, a space, can only appear at the end of codewords. We provide a linear-time algorithm to construct almost-optimal codes with this property, meaning that their average length differs from the minimum possible by at most one. We obtain our results by uncovering a relation between our class of codes and the class of one-to-one codes. Additionally, we derive upper and lower bounds to the average length of optimal prefix-free codes with a space in terms of the source entropy.

cs.IT↗

Comparative study of the kinetic properties of proton and alpha beams in the Alfvénic wind observed by SWA-PAS onboard Solar Orbiter

The problems of heating and acceleration of solar wind particles are of significant and enduring interest in astrophysics. The interactions between waves and particles are crucial in determining the distributions of proton and alpha particles, resulting in non-Maxwellian characteristics including temperature anisotropies and particle beams. These processes can be better understood as long as the beam can be separated from the core for the two major components of the solar wind. We utilized an alternative numerical approach that leverages the clustering technique employed in Machine Learning to differentiate the primary populations within the velocity distribution, rather than employing the conventional bi-Maxwellian fitting method. Separation of the core and beam revealed new features for protons and alphas. We estimated that the total temperature of the two beams was slightly higher than that of their respective cores, and the temperature anisotropy for the cores and beams was larger than 1. We concluded that the temperature ratio between alphas and protons largely over 4 is due to the presence of a massive alpha beam, which is approximately 50\% of the alpha core. We provided evidence that the alpha core and beam populations are sensitive to Alfvénic fluctuations and the surfing effect found in the literature can be recovered only when considering the core and beam as a single population. Several similarities between proton and alpha beams would suggest a common and local generation mechanism not shared with the alpha core, which may not have necessarily been accelerated and heated locally.

astro-ph.SR↗

Coronal Heating Rate in the Slow Solar Wind

This Letter reports the first observational estimate of the heating rate in the slowly expanding solar corona. The analysis exploits the simultaneous remote and local observations of the same coronal plasma volume with the Solar Orbiter/Metis and the Parker Solar Probe instruments, respectively, and relies on the basic solar wind magnetohydrodynamic equations. As expected, energy losses are a minor fraction of the solar wind energy flux, since most of the energy dissipation that feeds the heating and acceleration of the coronal flow occurs much closer to the Sun than the heights probed in the present study, which range from 6.3 to 13.3 solar radii. The energy deposited to the supersonic wind is then used to explain the observed slight residual wind acceleration and to maintain the plasma in a non-adiabatic state. As derived in the Wentzel-Kramers-Brillouin limit, the present energy transfer rate estimates provide a lower limit, which can be very useful in refining the turbulence-based modeling of coronal heating and subsequent solar wind acceleration.

astro-ph.SR↗

Does Turbulence along the Coronal Current Sheet Drive Ion Cyclotron Waves?

Evidence for the presence of ion cyclotron waves, driven by turbulence, at the boundaries of the current sheet is reported in this paper. By exploiting the full potential of the joint observations performed by Parker Solar Probe and the Metis coronagraph on board Solar Orbiter, local measurements of the solar wind can be linked with the large-scale structures of the solar corona. The results suggest that the dynamics of the current sheet layers generates turbulence, which in turn creates a sufficiently strong temperature anisotropy to make the solar-wind plasma unstable to anisotropy-driven instabilities such as the Alfvén ion-cyclotron, mirror-mode, and firehose instabilities. The study of the polarization state of high-frequency magnetic fluctuations reveals that ion cyclotron waves are indeed present along the current sheet, thus linking the magnetic topology of the remotely imaged coronal source regions with the wave bursts observed in situ. The present results may allow improvement of state-of-the-art models based on the ion cyclotron mechanism, providing new insights into the processes involved in coronal heating.

astro-ph.SR↗