Showing 1–50 of 51 results for author: Kovacevic, M

DeepNcode: Encoding-Based Protection against Bit-Flip Attacks on Neural Networks

Authors: Patrik Velčický, Jakub Breier, Mladen Kovačević, Xiaolu Hou

Abstract: Fault injection attacks are a potent threat against embedded implementations of neural network models. Several attack vectors have been proposed, such as misclassification, model extraction, and trojan/backdoor planting. Most of these attacks work by flip** bits in the memory where quantized model parameters are stored. In this paper, we introduce an encoding-based protection method against bi… ▽ More Fault injection attacks are a potent threat against embedded implementations of neural network models. Several attack vectors have been proposed, such as misclassification, model extraction, and trojan/backdoor planting. Most of these attacks work by flip** bits in the memory where quantized model parameters are stored. In this paper, we introduce an encoding-based protection method against bit-flip attacks on neural networks, titled DeepNcode. We experimentally evaluate our proposal with several publicly available models and datasets, by using state-of-the-art bit-flip attacks: BFA, T-BFA, and TA-LBF. Our results show an increase in protection margin of up to $7.6\times$ for $4-$bit and $12.4\times$ for $8-$bit quantized networks. Memory overheads start at $50\%$ of the original network size, while the time overheads are negligible. Moreover, DeepNcode does not require retraining and does not change the original accuracy of the model. △ Less

Submitted 2 June, 2024; v1 submitted 22 May, 2024; originally announced May 2024.

Gilbert-Varshamov Bound for Codes in $L_1$ Metric using Multivariate Analytic Combinatorics

Authors: Keshav Goyal, Duc Tu Dao, Mladen Kovačević, Han Mao Kiah

Abstract: Analytic combinatorics in several variables refers to a suite of tools that provide sharp asymptotic estimates for certain combinatorial quantities. In this paper, we apply these tools to determine the Gilbert--Varshamov lower bound on the rate of optimal codes in $L_1$ metric. Several different code spaces are analyzed, including the simplex and the hypercube in $\mathbb{Z^n}$, all of which are i… ▽ More Analytic combinatorics in several variables refers to a suite of tools that provide sharp asymptotic estimates for certain combinatorial quantities. In this paper, we apply these tools to determine the Gilbert--Varshamov lower bound on the rate of optimal codes in $L_1$ metric. Several different code spaces are analyzed, including the simplex and the hypercube in $\mathbb{Z^n}$, all of which are inspired by concrete data storage and transmission models such as the sticky insertion channel, the permutation channel, the adjacent transposition (bit-shift) channel, the multilevel flash memory channel, etc. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: 33 pages, 3 figures, submitted to IEEE Transactions on Information Theory

Vector Multispaces and Multispace Codes

Authors: Mladen Kovačević

Abstract: Basic algebraic and combinatorial properties of finite vector spaces in which individual vectors are allowed to have multiplicities larger than $ 1 $ are derived. An application in coding theory is illustrated by showing that multispace codes that are introduced here may be used in random linear network coding scenarios, and that they generalize standard subspace codes (defined in the set of all s… ▽ More Basic algebraic and combinatorial properties of finite vector spaces in which individual vectors are allowed to have multiplicities larger than $ 1 $ are derived. An application in coding theory is illustrated by showing that multispace codes that are introduced here may be used in random linear network coding scenarios, and that they generalize standard subspace codes (defined in the set of all subspaces of $ \mathbb{F}_q^n $) and extend them to an infinitely larger set of parameters. In particular, in contrast to subspace codes, multispace codes of arbitrarily large cardinality and minimum distance exist for any fixed $ n $ and $ q $. △ Less

Submitted 27 May, 2024; v1 submitted 21 December, 2023; originally announced December 2023.

MSC Class: 15A03; 94B25; 05E16; 06B99

An Information-Theoretic Analog of the Twin Paradox

Authors: Mladen Kovačević, Iosif Pinelis, Marios Kountouris

Abstract: We revisit the familiar scenario involving two parties in relative motion, in which Alice stays at rest while Bob goes on a journey at speed $βc$ along an arbitrary trajectory and reunites with Alice after a certain period of time. It is a well-known consequence of special relativity that the time that passes until they meet again is different for the two parties and is shorter in Bob's frame by a… ▽ More We revisit the familiar scenario involving two parties in relative motion, in which Alice stays at rest while Bob goes on a journey at speed $βc$ along an arbitrary trajectory and reunites with Alice after a certain period of time. It is a well-known consequence of special relativity that the time that passes until they meet again is different for the two parties and is shorter in Bob's frame by a factor of $\sqrt{1-β^2}$. We investigate how this asymmetry manifests from an information-theoretic viewpoint. Assuming that Alice and Bob transmit signals of equal average power to each other during the whole journey, and that additive white Gaussian noise is present at both sides, we show that the maximum number of bits per second that Alice can transmit reliably to Bob is always higher than the one Bob can transmit to Alice. Equivalently, the energy per bit invested by Alice is lower than that invested by Bob, meaning that the traveler is less efficient from the communication perspective, as conjectured by Jarett and Cover. △ Less

Submitted 16 April, 2024; v1 submitted 21 September, 2023; originally announced September 2023.

Comments: To appear in Europhysics Letters (EPL)

MSC Class: 83A05; 94A24; 94A40

Journal ref: EPL, vol. 146, no. 4, art. no. 42002, 2024

Evaluation of the Gilbert-Varshamov Bound using Multivariate Analytic Combinatorics

Authors: Goyal Keshav, Duc Tu Dao, Han Mao Kiah, Mladen Kovacevic

Abstract: Analytic combinatorics in several variables refers to a suite of tools that provide sharp asymptotic estimates for certain combinatorial quantities. In this paper, we apply these tools to determine the Gilbert-Varshamov (GV) bound for the sticky insertion and the constrained-synthesis channel. Analytic combinatorics in several variables refers to a suite of tools that provide sharp asymptotic estimates for certain combinatorial quantities. In this paper, we apply these tools to determine the Gilbert-Varshamov (GV) bound for the sticky insertion and the constrained-synthesis channel. △ Less

Submitted 7 May, 2023; originally announced May 2023.

Optimal Error-Detecting Codes for General Asymmetric Channels via Sperner Theory

Authors: Mladen Kovačević, Dejan Vukobratović

Abstract: Several communication models that are of relevance in practice are asymmetric in the way they act on the transmitted "objects". Examples include channels in which the amplitudes of the transmitted pulses can only be decreased, channels in which the symbols can only be deleted, channels in which non-zero symbols can only be shifted to the right (e.g., timing channels), subspace channels in which th… ▽ More Several communication models that are of relevance in practice are asymmetric in the way they act on the transmitted "objects". Examples include channels in which the amplitudes of the transmitted pulses can only be decreased, channels in which the symbols can only be deleted, channels in which non-zero symbols can only be shifted to the right (e.g., timing channels), subspace channels in which the dimension of the transmitted vector space can only be reduced, unordered storage channels in which the cardinality of the stored (multi)set can only be reduced, etc. We introduce a formal definition of an asymmetric channel as a channel whose action induces a partial order on the set of all possible inputs, and show that this definition captures all the above examples. Such a general approach allows one to treat all these different models in a unified way, and to obtain a characterization of optimal error-detecting codes for many interesting asymmetric channels by using Sperner theory. △ Less

Submitted 15 August, 2022; v1 submitted 15 May, 2022; originally announced May 2022.

Comments: To be presented at the IEEE Information Theory Workshop (ITW), Mumbai, India, Nov. 2022

MSC Class: 06A07; 68P30; 68R05; 94B25; 94B60

Exploring X-ray variability with unsupervised machine learning I. Self-organizing maps applied to XMM-Newton data

Authors: Miloš Kovačević, Mario Pasquato, Martino Marelli, Andrea De Luca, Ruben Salvaterra, Andrea Belfiore Mondoni

Abstract: XMM-Newton provides unprecedented insight into the X-ray Universe, recording variability information for hundreds of thousands of sources. Manually searching for interesting patterns in light curves is impractical, requiring an automated data-mining approach for the characterization of sources. Straightforward fitting of temporal models to light curves is not a sure way to identify them, especia… ▽ More XMM-Newton provides unprecedented insight into the X-ray Universe, recording variability information for hundreds of thousands of sources. Manually searching for interesting patterns in light curves is impractical, requiring an automated data-mining approach for the characterization of sources. Straightforward fitting of temporal models to light curves is not a sure way to identify them, especially with noisy data. We used unsupervised machine learning to distill a large data set of light-curve parameters, revealing its clustering structure in preparation for anomaly detection and subsequent searches for specific source behaviors (e.g., flares, eclipses). Self-organizing maps (SOMs) achieve dimensionality reduction and clustering within a single framework. They are a type of artificial neural network trained to approximate the data with a two-dimensional grid of discrete interconnected units, which can later be visualized on the plane. We trained our SOM on temporal-only parameters computed from more than 100,000 detections from the EXTraS catalog. The resulting map reveals that about 2500 most variable sources are clustered based on temporal characteristics. We find distinctive regions of the SOM map associated with flares, eclipses, dips, linear light curves, and others. Each group contains sources that appear similar by eye. We single out a handful of interesting sources for further study. The condensed view of our dataset provided by SOMs allowed us to identify groups of similar sources, speeding up manual characterization by orders of magnitude. Our method also highlights problems with fitting simple temporal models to light curves and can be used to mitigate them to an extent. This will be crucial for fully exploiting the high data volume expected from upcoming X-ray surveys, and may also help with interpreting supervised classification models. △ Less

Submitted 17 February, 2022; originally announced February 2022.

Comments: Accepted in Astronomy & Astrophysics (A&A). Main part: 12 pages, 12 figures, 1 video (appendix: 5 pages and 4 figures)

Journal ref: A&A 659, A66 (2022)

Lattice Packings of Cross-polytopes from Reed-Solomon Codes and Sidon Sets

Authors: Mladen Kovačević

Abstract: Two constructions of lattice packings of $ n $-dimensional cross-polytopes ($ \ell_1 $ balls) are described, the density of which exceeds that of any prior construction by a factor of at least $ 2^{\frac{n}{\ln n}(1 + o(1))} $ when $ n \to \infty $. The first family of lattices is explicit and is obtained by applying Construction A to a class of Reed-Solomon codes. The second family has subexponen… ▽ More Two constructions of lattice packings of $ n $-dimensional cross-polytopes ($ \ell_1 $ balls) are described, the density of which exceeds that of any prior construction by a factor of at least $ 2^{\frac{n}{\ln n}(1 + o(1))} $ when $ n \to \infty $. The first family of lattices is explicit and is obtained by applying Construction A to a class of Reed-Solomon codes. The second family has subexponential construction complexity and is based on the notion of Sidon sets in finite Abelian groups. The construction based on Sidon sets also gives the highest known asymptotic density of packing discrete cross-polytopes of fixed radius $ r \geqslant 3 $ in $ \mathbb{Z}^n $. △ Less

Submitted 26 May, 2022; v1 submitted 5 November, 2021; originally announced November 2021.

Comments: 7 pages. v2: Section 2 and the discussion after the proof of Theorem 3.1 are added, v3: minor changes. To appear in the Bulletin of the London Mathematical Society

MSC Class: 11H31; 52C17; 05B40; 11B83; 11H71; 11T71

Journal ref: Bull. London Math. Soc., vol. 54, no. 6, pp. 2372-2378, 2022

Asymptotic Behavior and Typicality Properties of Runlength-Limited Sequences

Authors: Mladen Kovačević, Dejan Vukobratović

Abstract: This paper studies properties of binary runlength-limited sequences with additional constraints on their Hamming weight and/or their number of runs of identical symbols. An algebraic and a probabilistic (entropic) characterization of the exponential growth rate of the number of such sequences, i.e., their information capacity, are obtained by using the methods of multivariate analytic combinatoric… ▽ More This paper studies properties of binary runlength-limited sequences with additional constraints on their Hamming weight and/or their number of runs of identical symbols. An algebraic and a probabilistic (entropic) characterization of the exponential growth rate of the number of such sequences, i.e., their information capacity, are obtained by using the methods of multivariate analytic combinatorics, and properties of the capacity as a function of its parameters are stated. The second-order term in the asymptotic expansion of the rate of these sequences is also given, and the typical values of the relevant quantities are derived. Several applications of the results are illustrated, including bounds on codes for weight-preserving and run-preserving channels (e.g., the run-preserving insertion-deletion channel), a sphere-packing bound for channels with sparse error patterns, and the asymptotics of constant-weight sub-block constrained sequences. In addition, the asymptotics of a closely related notion -- $ q $-ary sequences with fixed Manhattan weight -- is briefly discussed, and an application in coding for molecular timing channels is illustrated. △ Less

Submitted 11 December, 2021; v1 submitted 10 May, 2021; originally announced May 2021.

Comments: 13 pages (double-column), 1 figure

MSC Class: 05A15; 05A16; 68R05; 68R15; 94A55; 94A99; 94B20; 94B50; 94B65

Journal ref: IEEE Trans. Inform. Theory, vol. 68, no. 3, pp. 1638-1650, 2022

Evolutionary computational platform for the automatic discovery of nanocarriers for cancer treatment

Authors: Namid Stillman, Igor Balaz, Antisthenis Tsompanas, Marina Kovacevic, Sepinoud Azimi, Sebastien Lafond, Andrew Adamatzky, Sabine Hauert

Abstract: We present the EVONANO platform for the evolution of nanomedicines with application to anti-cancer treatments. EVONANO includes a simulator to grow tumours, extract representative scenarios, and then simulate nanoparticle transport through these scenarios to predict nanoparticle distribution. The nanoparticle designs are optimised using machine learning to efficiently find the most effective anti-… ▽ More We present the EVONANO platform for the evolution of nanomedicines with application to anti-cancer treatments. EVONANO includes a simulator to grow tumours, extract representative scenarios, and then simulate nanoparticle transport through these scenarios to predict nanoparticle distribution. The nanoparticle designs are optimised using machine learning to efficiently find the most effective anti-cancer treatments. We demonstrate our platform with two examples optimising the properties of nanoparticles and treatment to selectively kill cancer cells over a range of tumour environments. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: 30 pages, 4 figures

The First Fermi-LAT Solar Flare Catalog

Authors: M. Ajello, L. Baldini, D. Bastieri, R. Bellazzini, A. Berretta, E. Bissaldi, R. D. Blandford, R. Bonino, P. Bruel, S. Buson, R. A. Cameron, R. Caputo, E. Cavazzuti, C. C. Cheung, G. Chiaro, D. Costantin, S. Cutini, F. D'Ammando, F. de Palma, R. Desiante, N. Di Lalla, L. Di Venere, F. Fana Dirirsa, S. J. Fegan, Y. Fukazawa , et al. (60 additional authors not shown)

Abstract: We present the first Fermi - Large Area Telescope (LAT) solar flare catalog covering the 24 th solar cycle. This catalog contains 45 Fermi -LAT solar flares (FLSFs) with emission in the gamma-ray energy band (30 MeV - 10 GeV) detected with a significance greater than 5 sigma over the years 2010-2018. A subsample containing 37 of these flares exhibit delayed emission beyond the prompt-impulsive har… ▽ More We present the first Fermi - Large Area Telescope (LAT) solar flare catalog covering the 24 th solar cycle. This catalog contains 45 Fermi -LAT solar flares (FLSFs) with emission in the gamma-ray energy band (30 MeV - 10 GeV) detected with a significance greater than 5 sigma over the years 2010-2018. A subsample containing 37 of these flares exhibit delayed emission beyond the prompt-impulsive hard X-ray phase with 21 flares showing delayed emission lasting more than two hours. No prompt-impulsive emission is detected in four of these flares. We also present in this catalog the observations of GeV emission from 3 flares originating from Active Regions located behind the limb (BTL) of the visible solar disk. We report the light curves, spectra, best proton index and localization (when possible) for all the FLSFs. The gamma-ray spectra is consistent with the decay of pions produced by >300 MeV protons. This work contains the largest sample of high-energy gamma-ray flares ever reported and provides the unique opportunity to perform population studies on the different phases of the flare and thus allowing to open a new window in solar physics. △ Less

Submitted 25 January, 2021; originally announced January 2021.

Comments: Published in ApJS

Journal ref: ApJS 252 13 (2021)

On the Maximum Entropy of a Sum of Independent Discrete Random Variables

Authors: Mladen Kovačević

Abstract: Let $ X_1, \ldots, X_n $ be independent random variables taking values in the alphabet $ \{0, 1, \ldots, r\} $, and $ S_n = \sum_{i = 1}^n X_i $. The Shepp--Olkin theorem states that, in the binary case ($ r = 1 $), the Shannon entropy of $ S_n $ is maximized when all the $ X_i $'s are uniformly distributed, i.e., Bernoulli(1/2). In an attempt to generalize this theorem to arbitrary finite alphabe… ▽ More Let $ X_1, \ldots, X_n $ be independent random variables taking values in the alphabet $ \{0, 1, \ldots, r\} $, and $ S_n = \sum_{i = 1}^n X_i $. The Shepp--Olkin theorem states that, in the binary case ($ r = 1 $), the Shannon entropy of $ S_n $ is maximized when all the $ X_i $'s are uniformly distributed, i.e., Bernoulli(1/2). In an attempt to generalize this theorem to arbitrary finite alphabets, we obtain a lower bound on the maximum entropy of $ S_n $ and prove that it is tight in several special cases. In addition to these special cases, an argument is presented supporting the conjecture that the bound represents the optimal value for all $ n, r $, i.e., that $ H(S_n) $ is maximized when $ X_1, \ldots, X_{n-1} $ are uniformly distributed over $ \{0, r\} $, while the probability mass function of $ X_n $ is a mixture (with explicitly defined non-zero weights) of the uniform distributions over $ \{0, r\} $ and $ \{1, \ldots, r-1\} $. △ Less

Submitted 7 May, 2022; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: 8 pages, 1 figure

MSC Class: 94A17 (Primary) 60C05; 60G50 (Secondary)

Journal ref: Theory Probab. Appl., vol. 66, no. 3, pp. 482-487, 2021

Signaling to Relativistic Observers: An Einstein-Shannon-Riemann Encounter

Authors: Mladen Kovačević

Abstract: A communication scenario is described involving a series of events triggered by a transmitter and observed by a receiver experiencing relativistic time dilation. The message selected by the transmitter is assumed to be encoded in the events' timings and is required to be perfectly recovered by the receiver, regardless of the difference in clock rates in the two frames of reference. It is shown tha… ▽ More A communication scenario is described involving a series of events triggered by a transmitter and observed by a receiver experiencing relativistic time dilation. The message selected by the transmitter is assumed to be encoded in the events' timings and is required to be perfectly recovered by the receiver, regardless of the difference in clock rates in the two frames of reference. It is shown that the largest proportion of the space of all $ k $-event signals that can be selected as a code ensuring error-free information transfer in this setting equals $ ζ(k)^{-1} $, where $ ζ$ is the Riemann zeta function. △ Less

Submitted 27 August, 2021; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: 4 pages (double-column), 1 figure

MSC Class: 83A05; 94A24; 94A40; 94B25; 94B50; 11A41; 11Z05

Journal ref: Probl. Inf. Transm., vol. 56, no. 4, pp. 303-308, Dec. 2020

Classification of Blazar Candidates of Uncertain Type from the Fermi LAT 8-Year Source Catalog with an Artificial Neural Network

Authors: Miloš Kovačević, Graziano Chiaro, Sara Cutini, Gino Tosti

Abstract: The Fermi Large Area Telescope (LAT) has detected more than 5000 gamma-ray sources in its first 8 years of operation. More than 3000 of them are blazars. About 60 per cent of the Fermi-LAT blazars are classified as BL Lacertae objects (BL Lacs) or Flat Spectrum Radio Quasars (FSRQs), while the rest remain of uncertain type. The goal of this study was to classify those blazars of uncertain type, us… ▽ More The Fermi Large Area Telescope (LAT) has detected more than 5000 gamma-ray sources in its first 8 years of operation. More than 3000 of them are blazars. About 60 per cent of the Fermi-LAT blazars are classified as BL Lacertae objects (BL Lacs) or Flat Spectrum Radio Quasars (FSRQs), while the rest remain of uncertain type. The goal of this study was to classify those blazars of uncertain type, using a supervised machine learning method based on an artificial neural network, by comparing their properties to those of known gamma-ray sources. Probabilities for each of 1329 uncertain blazars to be a BL Lac or FSRQ are obtained. Using 90 per cent precision metric, 801 can be classified as BL Lacs and 406 as FSRQs while 122 still remain unclassified. This approach is of interest because it gives a fast preliminary classification of uncertain blazars. We also explored how different selections of training and testing samples affect the classification and discuss the meaning of network outputs. △ Less

Submitted 19 June, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: Change of e-mail

Journal ref: MNRAS, 493 (2020) 1926-1935

On the Maximum Number of Non-Confusable Strings Evolving Under Short Tandem Duplications

Authors: Mladen Kovačević

Abstract: The set of all $ q $-ary strings that do not contain repeated substrings of length $ \leqslant\! 3 $ (i.e., that do not contain substrings of the form $ a a $, $ a b a b $, and $ a b c a b c $) constitutes a code correcting an arbitrary number of tandem-duplication mutations of length $ \leqslant\! 3 $. In other words, any two such strings are non-confusable in the sense that they cannot produce t… ▽ More The set of all $ q $-ary strings that do not contain repeated substrings of length $ \leqslant\! 3 $ (i.e., that do not contain substrings of the form $ a a $, $ a b a b $, and $ a b c a b c $) constitutes a code correcting an arbitrary number of tandem-duplication mutations of length $ \leqslant\! 3 $. In other words, any two such strings are non-confusable in the sense that they cannot produce the same string while evolving under tandem duplications of length $ \leqslant\! 3 $. We demonstrate that this code is asymptotically optimal in terms of rate, meaning that it represents the largest set of non-confusable strings up to subexponential factors. This result settles the zero-error capacity problem for the last remaining case of tandem-duplication channels satisfying the "root-uniqueness" property. △ Less

Submitted 24 April, 2022; v1 submitted 15 November, 2019; originally announced November 2019.

Comments: 10 pages

MSC Class: 94A24; 94A40; 94B25; 94B50; 68R15

Journal ref: Probl. Inf. Transm., vol. 58, no. 2, pp. 111-121, 2022

Optimizing neural network techniques in classifying Fermi-LAT gamma-ray sources

Authors: Miloš Kovačević, Graziano Chiaro, Sara Cutini, Gino Tosti

Abstract: Machine learning is an automatic technique that is revolutionizing scientific research, with innovative applications and wide use in astrophysics. The aim of this study was to developed an optimized version of an Artificial Neural Network machine learning method for classifying blazar candidates of uncertain type detected by the Fermi Large Area Telescope (LAT) gamma-ray instrument. The initial st… ▽ More Machine learning is an automatic technique that is revolutionizing scientific research, with innovative applications and wide use in astrophysics. The aim of this study was to developed an optimized version of an Artificial Neural Network machine learning method for classifying blazar candidates of uncertain type detected by the Fermi Large Area Telescope (LAT) gamma-ray instrument. The initial study used information from gamma-ray light curves present in the LAT 4-year Source Catalog. In this study we used additionally gamma-ray spectra and multiwavelength data, and certain statistical methods in order to improve classification. The final result of this study increased the classification performance by about 80 per cent with respect to previous method, leaving only 15 unclassified blazars instead of 77 out of total 573 in the LAT catalog. Other blazars were classified into BL Lacs and FSRQ in ratio of about two to one, similar to previous study. In both studies a precision value of 90 per cent was used as a threshold for classification. △ Less

Submitted 25 June, 2020; v1 submitted 7 November, 2019; originally announced November 2019.

Comments: Minor edits/corrections in text and references, visual changes in figures, and change of e-mail

Journal ref: MNRAS, 490 (2019) 4770-4777

Second- and Third-Order Asymptotics of the Continuous-Time Poisson Channel

Authors: Yuta Sakai, Vincent Y. F. Tan, Mladen Kovačević

Abstract: The paper derives the optimal second-order coding rate for the continuous-time Poisson channel. We also obtain bounds on the third-order coding rate. This is the first instance of a second-order result for a continuous-time channel. The converse proof hinges on a novel construction of an output distribution induced by Wyner's discretized channel and the construction of an appropriate $ε$-net of th… ▽ More The paper derives the optimal second-order coding rate for the continuous-time Poisson channel. We also obtain bounds on the third-order coding rate. This is the first instance of a second-order result for a continuous-time channel. The converse proof hinges on a novel construction of an output distribution induced by Wyner's discretized channel and the construction of an appropriate $ε$-net of the input probability simplex. While the achievability proof follows the general program to prove the third-order term for non-singular discrete memoryless channels put forth by Polyanskiy, several non-standard techniques -- such as new definitions and bounds on the probabilities of typical sets using logarithmic Sobolev inequalities -- are employed to handle the continuous nature of the channel. △ Less

Submitted 1 April, 2020; v1 submitted 25 March, 2019; originally announced March 2019.

Comments: 26 pages, to appear in the IEEE Transactions on Information Theory, vol. 66, 2020

Journal ref: IEEE Trans. Inform. Theory, vol. 66, no. 8, pp. 4742-4760, Aug. 2020

Zero-Error Capacity of Duplication Channels

Authors: Mladen Kovačević

Abstract: This paper is concerned with the problem of error-free communication over the i.i.d. duplication channel which acts on a transmitted sequence $ x_1 \cdots x_n $ by inserting a random number of copies of each symbol $ x_i $ next to the original symbol. The random variables representing the numbers of inserted copies at each position $ i $ are independent and take values in $ \{0, 1, \ldots, r\} $,… ▽ More This paper is concerned with the problem of error-free communication over the i.i.d. duplication channel which acts on a transmitted sequence $ x_1 \cdots x_n $ by inserting a random number of copies of each symbol $ x_i $ next to the original symbol. The random variables representing the numbers of inserted copies at each position $ i $ are independent and take values in $ \{0, 1, \ldots, r\} $, where $ r $ is a fixed parameter. A more general model in which blocks of $ \ell $ consecutive symbols are being duplicated, and which is inspired by DNA-based data storage systems wherein the stored molecules are subject to tandem-duplication mutations, is also analyzed. A construction of optimal codes correcting all patterns of errors of this type is described, and the zero-error capacity of the duplication channel---the largest rate at which information can be transmitted through it in an error-free manner---is determined for each $ \ell $ and $ r $. △ Less

Submitted 23 July, 2019; v1 submitted 17 February, 2019; originally announced February 2019.

Comments: 8 pages (double-column), 4 figures. Accepted for publication in IEEE Transactions on Communications

MSC Class: 94A24; 94B25; 94B50; 68P30; 68R05

Journal ref: IEEE Trans. Commun., vol. 67, no. 10, pp. 6735-6742, Oct. 2019

Some Enumeration Problems in the Duplication-Loss Model of Genome Rearrangement

Authors: Mladen Kovačević, Sanja Brdar, Vladimir Crnojević

Abstract: Tandem-duplication-random-loss (TDRL) is an important genome rearrangement operation studied in evolutionary biology. This paper investigates some of the formal properties of TDRL operations on the symmetric group (the space of permutations over an $ n $-set). In particular, the cardinality of `balls' of radius one in the TDRL metric, as well as the cardinality of the maximum intersection of two s… ▽ More Tandem-duplication-random-loss (TDRL) is an important genome rearrangement operation studied in evolutionary biology. This paper investigates some of the formal properties of TDRL operations on the symmetric group (the space of permutations over an $ n $-set). In particular, the cardinality of `balls' of radius one in the TDRL metric, as well as the cardinality of the maximum intersection of two such balls, are determined. The corresponding problems for the so-called mirror (or palindromic) TDRL rearrangement operations are also solved. The results represent an initial step in the study of error correction and reconstruction problems in this context and are of potential interest in DNA-based data storage applications. △ Less

Submitted 6 June, 2019; v1 submitted 1 February, 2019; originally announced February 2019.

Comments: 5 pages (double-column). To be presented at the 2019 IEEE International Symposium on Information Theory (ISIT), Paris, France

MSC Class: 05A05; 68R05; 92B99; 92D20; 94B25

Asymptotically Optimal Codes Correcting Fixed-Length Duplication Errors in DNA Storage Systems

Authors: Mladen Kovačević, Vincent Y. F. Tan

Abstract: A (tandem) duplication of length $ k $ is an insertion of an exact copy of a substring of length $ k $ next to its original position. This and related types of impairments are of relevance in modeling communication in the presence of synchronization errors, as well as in several information storage applications. We demonstrate that Levenshtein's construction of binary codes correcting insertions o… ▽ More A (tandem) duplication of length $ k $ is an insertion of an exact copy of a substring of length $ k $ next to its original position. This and related types of impairments are of relevance in modeling communication in the presence of synchronization errors, as well as in several information storage applications. We demonstrate that Levenshtein's construction of binary codes correcting insertions of zeros is, with minor modifications, applicable also to channels with arbitrary alphabets and with duplication errors of arbitrary (but fixed) length $ k $. Furthermore, we derive bounds on the cardinality of optimal $ q $-ary codes correcting up to $ t $ duplications of length $ k $, and establish the following corollaries in the asymptotic regime of growing block-length: 1.) the presented family of codes is optimal for every $ q, t, k $, in the sense of the asymptotic scaling of code redundancy; 2.) the upper bound, when specialized to $ q = 2 $, $ k = 1 $, improves upon Levenshtein's bound for every $ t \geq 3 $; 3.) the bounds coincide for $ t = 1 $, thus yielding the exact asymptotic behavior of the size of optimal single-duplication-correcting codes. △ Less

Submitted 30 August, 2018; originally announced August 2018.

Comments: To appear in IEEE Communications Letters

MSC Class: 94B20; 94B25; 94B50; 94B65; 68P20; 68P30; 68R05

Journal ref: IEEE Commun. Lett., vol. 22, no. 11, pp. 2194-2197, Nov. 2018

Runlength-Limited Sequences and Shift-Correcting Codes: Asymptotic Analysis

Authors: Mladen Kovačević

Abstract: This work is motivated by the problem of error correction in bit-shift channels with the so-called $ (d,k) $ input constraints (where successive $ 1 $'s are required to be separated by at least $ d $ and at most $ k $ zeros, $ 0 \leq d < k \leq \infty $). Bounds on the size of optimal $ (d,k) $-constrained codes correcting a fixed number of bit-shifts are derived, with a focus on their asymptotic… ▽ More This work is motivated by the problem of error correction in bit-shift channels with the so-called $ (d,k) $ input constraints (where successive $ 1 $'s are required to be separated by at least $ d $ and at most $ k $ zeros, $ 0 \leq d < k \leq \infty $). Bounds on the size of optimal $ (d,k) $-constrained codes correcting a fixed number of bit-shifts are derived, with a focus on their asymptotic behavior in the large block-length limit. The upper bound is obtained by a packing argument, while the lower bound follows from a construction based on a family of integer lattices. Several properties of $ (d, k) $-constrained sequences that may be of independent interest are established as well; in particular, the exponential growth-rate of the number of $ (d, k) $-constrained constant-weight sequences is characterized. The results are relevant for magnetic and optical information storage systems, reader-to-tag RFID channels, and other communication models where bit-shift errors are dominant and where $ (d, k) $-constrained sequences are used for modulation. △ Less

Submitted 14 March, 2019; v1 submitted 16 March, 2018; originally announced March 2018.

Comments: 10 pages (double-column), 2 figures. To appear in IEEE Transactions on Information Theory

MSC Class: 94B25; 94B50; 94B65; 94A55

Journal ref: IEEE Trans. Inform. Theory, vol. 65, no. 8, pp. 4804-4814, Aug. 2019

Fundamental Limits of Communication Over State-Dependent Channels With Feedback

Authors: Mladen Kovačević, Carol Wang, Vincent Y. F. Tan

Abstract: The fundamental limits of communication over state-dependent discrete memoryless channels with noiseless feedback are studied, under the assumption that the communicating parties are allowed to use variable-length coding schemes. Various cases are analyzed, with the employed coding schemes having either bounded or unbounded codeword lengths, and with state information revealed to the encoder and/o… ▽ More The fundamental limits of communication over state-dependent discrete memoryless channels with noiseless feedback are studied, under the assumption that the communicating parties are allowed to use variable-length coding schemes. Various cases are analyzed, with the employed coding schemes having either bounded or unbounded codeword lengths, and with state information revealed to the encoder and/or decoder in a strictly causal, causal, or non-causal manner. In each of these settings, necessary and sufficient conditions for positivity of the zero-error capacity are obtained and it is shown that, whenever the zero-error capacity is positive, it equals the conventional vanishing-error capacity. Moreover, it is shown that the vanishing-error capacity of state-dependent channels is not increased by the use of feedback and variable-length coding. Both these kinds of capacities of state-dependent channels with feedback are thus fully characterized. △ Less

Submitted 15 January, 2019; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 10 pages. To appear in IEEE Transactions on Communications

MSC Class: 94A24; 94A45; 68P30

Journal ref: IEEE Trans. Commun., vol. 67, no. 5, pp. 3182-3191, May 2019

On the ultra-relativistic Prompt Emission (UPE), the Hard and Soft X-ray Flares, and the extended thermal emission (ETE) in GRB 151027A

Authors: R. Ruffini, L. Becerra, C. L. Bianco, Y. C. Chen, M. Karlica, M. Kovacevic, J. D. Melon Fuksman, R. Moradi, M. Muccino, G. B. Pisani, D. Primorac, J. A. Rueda, G. V. Vereshchagin, Y. Wang, S. -S. Xue

Abstract: We analyze GRB 151027A within the binary-driven hypernova (BdHN) approach, with progenitor a carbon-oxygen core on the verge of a supernova (SN) explosion and a binary companion neutron star (NS). The hypercritical accretion of the SN ejecta onto the NS leads to its gravitational collapse into a black hole (BH), to the emission of the GRB and to a copious $e^+e^-$ plasma. The impact of this… ▽ More We analyze GRB 151027A within the binary-driven hypernova (BdHN) approach, with progenitor a carbon-oxygen core on the verge of a supernova (SN) explosion and a binary companion neutron star (NS). The hypercritical accretion of the SN ejecta onto the NS leads to its gravitational collapse into a black hole (BH), to the emission of the GRB and to a copious $e^+e^-$ plasma. The impact of this $e^+e^-$ plasma on the SN ejecta explains {the} early soft X-ray flare observed in long GRBs. We here apply this approach to the UPE and to the hard X-ray flares. We use GRB 151027A as a prototype. From the time-integrated and the time-resolved analysis we identify a double component in the UPE and confirm its ultra-relativistic nature. We confirm the mildly-relativistic nature of the soft X-ray flare, of the hard X-ray flare and of the ETE. We show that the ETE identifies the transition from a SN to the HN. We then address the theoretical justification of these observations by integrating the hydrodynamical propagation equations of the $e^+ e^-$ into the SN ejecta, the latter independently obtained from 3D smoothed-particle-hydrodynamics simulations. We conclude that the UPE, the hard X-ray flare and the soft X-ray flare do not form a causally connected sequence: Within our model they are the manifestation of \textbf{the same} physical process of the BH formation as seen through different viewing angles, implied by the morphology and the $\sim 300$~s rotation period of the HN ejecta. △ Less

Submitted 4 November, 2018; v1 submitted 13 December, 2017; originally announced December 2017.

Comments: Accepted by ApJ

A Note on Parallel Asynchronous Channels with Arbitrary Skews

Authors: Mladen Kovačević

Abstract: A zero-error coding scheme of asymptotic rate $ \log_2 (1+\sqrt{5}) - 1 $ was recently described for a communication channel composed of parallel asynchronous lines satisfying the so-called no switch assumption. We prove that this is in fact the highest rate attainable, i.e., the zero-error capacity of this channel. A zero-error coding scheme of asymptotic rate $ \log_2 (1+\sqrt{5}) - 1 $ was recently described for a communication channel composed of parallel asynchronous lines satisfying the so-called no switch assumption. We prove that this is in fact the highest rate attainable, i.e., the zero-error capacity of this channel. △ Less

Submitted 26 October, 2017; originally announced October 2017.

MSC Class: 94A24; 94B50

Journal ref: IEEE Trans. Inform. Theory, vol. 63, no. 11, pp. 7320-7321, Nov. 2017

On Error Detection in Asymmetric Channels

Authors: Mladen Kovačević

Abstract: We study the error detection problem in $ q $-ary asymmetric channels wherein every input symbol $ x_i $ is mapped to an output symbol $ y_i $ satisfying $ y_i \geq x_i $. A general setting is assumed where the noise vectors are (potentially) restricted in: 1) the amplitude, $ y_i - x_i \leq a $, 2) the Hamming weight, $ \sum_{i=1}^n 1_{\{y_i \neq x_i\}} \leq h $, and 3) the total weight,… ▽ More We study the error detection problem in $ q $-ary asymmetric channels wherein every input symbol $ x_i $ is mapped to an output symbol $ y_i $ satisfying $ y_i \geq x_i $. A general setting is assumed where the noise vectors are (potentially) restricted in: 1) the amplitude, $ y_i - x_i \leq a $, 2) the Hamming weight, $ \sum_{i=1}^n 1_{\{y_i \neq x_i\}} \leq h $, and 3) the total weight, $ \sum_{i=1}^n (y_i - x_i) \leq t $. Optimal codes detecting these types of errors are described for certain sets of parameters $ a, h, t $, both in the standard and in the cyclic ($ \operatorname{mod}\, q $) version of the problem. It is also demonstrated that these codes are optimal in the large alphabet limit for every $ a, h, t $ and every block-length $ n $. △ Less

Submitted 9 September, 2017; v1 submitted 14 June, 2017; originally announced June 2017.

Comments: 4 pages, 2 figures

MSC Class: 94B05; 94B25; 05D99; 68P30; 68R05

Journal ref: IEEE Commun. Lett., vol. 21, no. 9, pp. 1933-1936, Sep. 2017

Early X-ray Flares in GRBs

Authors: R. Ruffini, Y. Wang, Y. Aimuratov, U. Barres de Almeida, L. Becerra, C. L. Bianco, Y. C. Chen, M. Karlica, M. Kovacevic, L. Li, J. D. Melon Fuksman, R. Moradi, M. Muccino, A. V. Penacchioni, G. B. Pisani, D. Primorac, J. A. Rueda, S. Shakeri, G. V. Vereshchagin, S. -S. Xue

Abstract: We analyze the early X-ray flares in the GRB "flare-plateau-afterglow" (FPA) phase observed by Swift-XRT. The FPA occurs only in one of the seven GRB subclasses: the binary-driven hypernovae (BdHNe). This subclass consists of long GRBs with a carbon-oxygen core and a neutron star (NS) binary companion as progenitors. The hypercritical accretion of the supernova (SN) ejecta onto the NS can lead to… ▽ More We analyze the early X-ray flares in the GRB "flare-plateau-afterglow" (FPA) phase observed by Swift-XRT. The FPA occurs only in one of the seven GRB subclasses: the binary-driven hypernovae (BdHNe). This subclass consists of long GRBs with a carbon-oxygen core and a neutron star (NS) binary companion as progenitors. The hypercritical accretion of the supernova (SN) ejecta onto the NS can lead to the gravitational collapse of the NS into a black hole. Consequently, one can observe a GRB emission with isotropic energy $E_{iso}\gtrsim10^{52}$~erg, as well as the associated GeV emission and the FPA phase. Previous work had shown that gamma-ray spikes in the prompt emission occur at $\sim 10^{15}$--$10^{17}$~cm with Lorentz gamma factor $Γ\sim10^{2}$--$10^{3}$. Using a novel data analysis we show that the time of occurrence, duration, luminosity and total energy of the X-ray flares correlate with $E_{iso}$. A crucial feature is the observation of thermal emission in the X-ray flares that we show occurs at radii $\sim10^{12}$~cm with $Γ\lesssim 4$. These model independent observations cannot be explained by the "fireball" model, which postulates synchrotron and inverse Compton radiation from a single ultra relativistic jetted emission extending from the prompt to the late afterglow and GeV emission phases. We show that in BdHNe a collision between the GRB and the SN ejecta occurs at $\simeq10^{10}$~cm reaching transparency at $\sim10^{12}$~cm with $Γ\lesssim4$. The agreement between the thermal emission observations and these theoretically derived values validates our model and opens the possibility of testing each BdHN episode with the corresponding Lorentz gamma factor. △ Less

Submitted 24 November, 2017; v1 submitted 12 April, 2017; originally announced April 2017.

Comments: 57 pages, 40 figures, accepted for publication on ApJ

Codes in the Space of Multisets---Coding for Permutation Channels with Impairments

Authors: Mladen Kovačević, Vincent Y. F. Tan

Abstract: Motivated by communication channels in which the transmitted sequences are subject to random permutations, as well as by certain DNA storage systems, we study the error control problem in settings where the information is stored/transmitted in the form of multisets of symbols from a given finite alphabet. A general channel model is assumed in which the transmitted multisets are potentially impaire… ▽ More Motivated by communication channels in which the transmitted sequences are subject to random permutations, as well as by certain DNA storage systems, we study the error control problem in settings where the information is stored/transmitted in the form of multisets of symbols from a given finite alphabet. A general channel model is assumed in which the transmitted multisets are potentially impaired by insertions, deletions, substitutions, and erasures of symbols. Several constructions of error-correcting codes for this channel are described, and bounds on the size of optimal codes correcting any given number of errors derived. The construction based on the notion of Sidon sets in finite Abelian groups is shown to be optimal, in the sense of the asymptotic scaling of code redundancy, for any "error radius" and any alphabet size. It is also shown to be optimal in the stronger sense of maximal code cardinality in various cases. △ Less

Submitted 21 June, 2018; v1 submitted 28 December, 2016; originally announced December 2016.

Comments: 14 pages, 5 figures. v1: conference version (ISIT'17). v5: extended version (IEEE Trans. Inf. Theory), includes parts of arXiv:1409.5276

MSC Class: 94B25; 94B65; 94A40; 68P30; 68R05

Journal ref: IEEE Trans. Inform. Theory, vol. 64, no. 7, pp. 5156-5169, Jul. 2018

On the universal late X-ray emission of binary-driven hypernovae and its possible collimation

Authors: G. B. Pisani, R. Ruffini, Y. Aimuratov, C. L. Bianco, M. Kovacevic, R. Moradi, M. Muccino, A. V. Penacchioni, J. A. Rueda, S. Shakeri, Y. Wang

Abstract: It has previously been discovered that there is a universal power law behavior exhibited by the late X-ray emission (LXRE) of a "golden sample" (GS) of six long energetic GRBs, when observed in the rest-frame of the source. This remarkable feature, independent of the different isotropic energy (E_iso) of each GRB, has been used to estimate the cosmological redshift of some long GRBs. This analysis… ▽ More It has previously been discovered that there is a universal power law behavior exhibited by the late X-ray emission (LXRE) of a "golden sample" (GS) of six long energetic GRBs, when observed in the rest-frame of the source. This remarkable feature, independent of the different isotropic energy (E_iso) of each GRB, has been used to estimate the cosmological redshift of some long GRBs. This analysis is extended here to a new class of 161 long GRBs, all with E_iso > 10^52 erg. These GRBs are indicated as binary-driven hypernovae (BdHNe) in view of their progenitors: a tight binary system composed of a carbon-oxygen core (CO_core) and a neutron star undergoing an induced gravitational collapse (IGC) to a black hole triggered by the CO_core explosion as a supernova (SN). We confirm the universal behavior of the LXRE for the "enlarged sample" (ES) of 161 BdHNe observed up to the end of 2015, assuming a double-cone emitting region. We obtain a distribution of half-opening angles peaking at 17.62 degrees, with a mean value of 30.05 degrees, and a standard deviation of 19.65 degrees. This, in turn, leads to the possible establishment of a new cosmological candle. Within the IGC model, such universal LXRE behavior is only indirectly related to the GRB and originates from the SN ejecta, of a standard constant mass, being shocked by the GRB emission. The fulfillment of the universal relation in the LXRE and its independence of the prompt emission, further confirmed in this article, establishes a crucial test for any viable GRB model. △ Less

Submitted 28 November, 2016; v1 submitted 18 October, 2016; originally announced October 2016.

Improved Bounds on Sidon Sets via Lattice Packings of Simplices

Authors: Mladen Kovačević, Vincent Y. F. Tan

Abstract: A $ B_h $ set (or Sidon set of order $ h $) in an Abelian group $ G $ is any subset $ \{b_0, b_1, \ldots,b_{n}\} $ of $ G $ with the property that all the sums $ b_{i_1} + \cdots + b_{i_h} $ are different up to the order of the summands. Let $ φ(h,n) $ denote the order of the smallest Abelian group containing a $ B_h $ set of cardinality $ n + 1 $. It is shown that \[ \lim_{h \to \infty} \frac{ φ(… ▽ More A $ B_h $ set (or Sidon set of order $ h $) in an Abelian group $ G $ is any subset $ \{b_0, b_1, \ldots,b_{n}\} $ of $ G $ with the property that all the sums $ b_{i_1} + \cdots + b_{i_h} $ are different up to the order of the summands. Let $ φ(h,n) $ denote the order of the smallest Abelian group containing a $ B_h $ set of cardinality $ n + 1 $. It is shown that \[ \lim_{h \to \infty} \frac{ φ(h,n) }{ h^n } = \frac{1}{n! δ_L(\triangle^n)} , \] where $ δ_L(\triangle^n) $ is the lattice packing density of an $ n $-simplex in Euclidean space. This determines the asymptotics exactly in cases where this density is known ($ n \leq 3 $) and gives improved bounds on $ φ(h,n) $ in the remaining cases. The corresponding geometric characterization of bases of order $ h $ in finite Abelian groups in terms of lattice coverings by simplices is also given. △ Less

Submitted 28 September, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: 9 pages, 2 figures

MSC Class: 05B10; 05B40; 11B13; 11B75; 11B83; 11H31; 52C17; 94B65; 20K99

Journal ref: SIAM J. Discrete Math., vol. 31, no. 3, pp. 2269-2278, 2017

GRB 090510: a genuine short-GRB from a binary neutron star coalescing into a Kerr-Newman black hole

Authors: R. Ruffini, M. Muccino, Y. Aimuratov, C. L. Bianco, C. Cherubini, M. Enderli, M. Kovacevic, R. Moradi, A. V. Penacchioni, G. B. Pisani, J. A. Rueda, Y. Wang

Abstract: In a new classification of merging binary neutron stars (NSs) we separate short gamma-ray bursts (GRBs) in two sub-classes. The ones with $E_{iso}\lesssim10^{52}$ erg coalesce to form a massive NS and are indicated as short gamma-ray flashes (S-GRFs). The hardest, with $E_{iso}\gtrsim10^{52}$ erg, coalesce to form a black hole (BH) and are indicated as genuine short-GRBs (S-GRBs). Within the fires… ▽ More In a new classification of merging binary neutron stars (NSs) we separate short gamma-ray bursts (GRBs) in two sub-classes. The ones with $E_{iso}\lesssim10^{52}$ erg coalesce to form a massive NS and are indicated as short gamma-ray flashes (S-GRFs). The hardest, with $E_{iso}\gtrsim10^{52}$ erg, coalesce to form a black hole (BH) and are indicated as genuine short-GRBs (S-GRBs). Within the fireshell model, S-GRBs exhibit three different components: the P-GRB emission, observed at the transparency of a self-accelerating baryon-$e^+e^-$ plasma; the prompt emission, originating from the interaction of the accelerated baryons with the circumburst medium; the high-energy (GeV) emission, observed after the P-GRB and indicating the formation of a BH. GRB 090510 gives the first evidence for the formation of a Kerr BH or, possibly, a Kerr-Newman BH. Its P-GRB spectrum can be fitted by a convolution of thermal spectra whose origin can be traced back to an axially symmetric dyadotorus. A large value of the angular momentum of the newborn BH is consistent with the large energetics of this S-GRB, which reach in the 1--10000 keV range $E_{iso}=(3.95\pm0.21)\times10^{52}$ erg and in the 0.1--100 GeV range $E_{LAT}=(5.78\pm0.60)\times10^{52}$ erg, the most energetic GeV emission ever observed in S-GRBs. The theoretical redshift $z_{th}=0.75\pm0.17$ that we derive from the fireshell theory is consistent with the spectroscopic measurement $z=0.903\pm0.003$, showing the self-consistency of the theoretical approach. All S-GRBs exhibit GeV emission, when inside the Fermi-LAT field of view, unlike S-GRFs, which never evidence it. The GeV emission appears to be the discriminant for the formation of a BH in GRBs, confirmed by their observed overall energetics. △ Less

Submitted 5 September, 2016; v1 submitted 8 July, 2016; originally announced July 2016.

Comments: 23 pages, 11 figures, this version is accepted on ApJ

Journal ref: ApJ 831 (2016) 178

Zero-Error Capacity of $P$-ary Shift Channels and FIFO Queues

Authors: Mladen Kovačević, Miloš Stojaković, Vincent Y. F. Tan

Abstract: The objects of study of this paper are communication channels in which the dominant type of noise are symbol shifts, the main motivating examples being timing and bit-shift channels. Two channel models are introduced and their zero-error capacities and zero-error-detection capacities determined by explicit constructions of optimal codes. Model A can be informally described as follows: 1) The infor… ▽ More The objects of study of this paper are communication channels in which the dominant type of noise are symbol shifts, the main motivating examples being timing and bit-shift channels. Two channel models are introduced and their zero-error capacities and zero-error-detection capacities determined by explicit constructions of optimal codes. Model A can be informally described as follows: 1) The information is stored in an $ n $-cell register, where each cell is either empty or contains a particle of one of $ P $ possible types, and 2) due to the imperfections of the device each of the particles may be shifted several cells away from its original position over time. Model B is an abstraction of a single-server queue: 1) The transmitter sends packets from a $ P $-ary alphabet through a queuing system with an infinite buffer and a First-In-First-Out (FIFO) service procedure, and 2) each packet is being processed by the server for a random number of time slots. More general models including additional types of noise that the particles/packets can experience are also studied, as are the continuous-time versions of these problems. △ Less

Submitted 10 September, 2017; v1 submitted 9 May, 2016; originally announced May 2016.

Comments: 10 pages (double-column), 3 figures. v2: title changed, material reorganized. Accepted for publication in IEEE Transactions on Information Theory (the Appendix will not appear in the published article)

MSC Class: 94A24; 94A40; 94B25; 94B50

Journal ref: IEEE Trans. Inform. Theory, vol. 63, no. 12, pp. 7698-7707, Dec. 2017

On the rate and on the gravitational wave emission of short and long GRBs

Authors: R. Ruffini, J. Rodriguez, M. Muccino, J. A. Rueda, Y. Aimuratov, U. Barres de Almeida, L. Becerra, C. L. Bianco, C. Cherubini, S. Filippi, D. Gizzi, M. Kovacevic, R. Moradi, F. G. Oliveira, G. B. Pisani, Y. Wang

Abstract: On the ground of the large number of gamma-ray bursts (GRBs) detected with cosmological redshift, we classified GRBs in seven subclasses, all with binary progenitors originating gravitational waves (GWs). Each binary is composed by combinations of carbon-oxygen cores (CO$_{\rm core}$), neutron stars (NSs), black holes (BHs) and white dwarfs (WDs). The long bursts, traditionally assumed to originat… ▽ More On the ground of the large number of gamma-ray bursts (GRBs) detected with cosmological redshift, we classified GRBs in seven subclasses, all with binary progenitors originating gravitational waves (GWs). Each binary is composed by combinations of carbon-oxygen cores (CO$_{\rm core}$), neutron stars (NSs), black holes (BHs) and white dwarfs (WDs). The long bursts, traditionally assumed to originate from a BH with an ultra-relativistic jetted emission, not emitting GWs, have been subclassified as (I) X-ray flashes (XRFs), (II) binary-driven hypernovae (BdHNe), and (III) BH-supernovae (BH-SNe). They are framed within the induced gravitational collapse (IGC) paradigm with progenitor a CO$_{\rm core}$-NS/BH binary. The supernova (SN) explosion of the CO$_{\rm core}$ triggers an accretion process onto the NS/BH. If the accretion does not lead the NS to its critical mass, an XRF occurs, while when the BH is present or formed by accretion, a BdHN occurs. When the binaries are not disrupted, XRFs lead to NS-NS and BdHNe lead to NS-BH. The short bursts, originating in NS-NS, are subclassified as (IV) short gamma-ray flashes (S-GRFs) and (V) short GRBs (S-GRBs), the latter when a BH is formed. There are (VI) ultra-short GRBs (U-GRBs) and (VII) gamma-ray flashes (GRFs), respectively formed in NS-BH and NS-WD. We use the occurrence rate and GW emission of these subclasses to assess their detectability by Advanced LIGO-Virgo, eLISA, and resonant bars. We discuss the consequences of our results in view of the announcement of the LIGO-Virgo Collaboration of the source GW 170817 as being originated by a NS-NS. △ Less

Submitted 6 April, 2018; v1 submitted 10 February, 2016; originally announced February 2016.

Comments: Accepted for publication in The Astrophysical Journal

On the classification of GRBs and their occurrence rates

Authors: R. Ruffini, J. A. Rueda, M. Muccino, Y. Aimuratov, L. M. Becerra, C. L. Bianco, M. Kovacevic, R. Moradi, F. G. Oliveira, G. B. Pisani, Y. Wang

Abstract: There is mounting evidence for the binary nature of the progenitors of gamma-ray bursts (GRBs). For a long GRB, the induced gravitational collapse (IGC) paradigm proposes as progenitor, or "in-state", a tight binary system composed of a carbon-oxygen core (CO$_{core}$) undergoing a supernova (SN) explosion which triggers hypercritical accretion onto a neutron star (NS) companion. For a short GRB,… ▽ More There is mounting evidence for the binary nature of the progenitors of gamma-ray bursts (GRBs). For a long GRB, the induced gravitational collapse (IGC) paradigm proposes as progenitor, or "in-state", a tight binary system composed of a carbon-oxygen core (CO$_{core}$) undergoing a supernova (SN) explosion which triggers hypercritical accretion onto a neutron star (NS) companion. For a short GRB, a NS-NS merger is traditionally adopted as the progenitor. We divide long and short GRBs into two sub-classes, depending on whether or not a black hole (BH) is formed in the merger or in the hypercritical accretion process exceeding the NS critical mass. For long bursts, when no BH is formed we have the sub-class of X-ray flashes (XRFs), with isotropic energy $E_{iso}\lesssim10^{52}$ erg and rest-frame spectral peak energy $E_{p,i}\lesssim200$ keV. When a BH is formed we have the sub-class of binary-driven hypernovae (BdHNe), with $E_{iso}\gtrsim10^{52}$ erg and $E_{p,i}\gtrsim200$ keV. In analogy, short bursts are similarly divided into two sub-classes. When no BH is formed, short gamma-ray flashes (S-GRFs) occur, with $E_{iso}\lesssim10^{52}$ erg and $E_{p,i}\lesssim2$ MeV. When a BH is formed, the authentic short GRBs (S-GRBs) occur, with $E_{iso}\gtrsim10^{52}$ erg and $E_{p,i}\gtrsim2$ MeV. We give examples and observational signatures of these four sub-classes and their rate of occurrence. From their respective rates it is possible that "in-states" of S-GRFs and S-GRBs originate from the "out-states" of XRFs. We indicate two additional progenitor systems: white dwarf-NS and BH-NS. These systems have hybrid features between long and short bursts. In the case of S-GRBs and BdHNe evidence is given of the coincidence of the onset of the high energy GeV emission with the birth of a Kerr BH. △ Less

Submitted 27 October, 2016; v1 submitted 8 February, 2016; originally announced February 2016.

Comments: 31 pages, 10 figures, this version matches the one in press on ApJ

Journal ref: ApJ 832 (2016) 136

GRB 140619B: a short GRB from a binary neutron star merger leading to black hole formation

Authors: R. Ruffini, M. Muccino, M. Kovacevic, F. G. Oliveira, J. A. Rueda, C. L. Bianco, M. Enderli, A. V. Penacchioni, G. B. Pisani, Y. Wang, E. Zaninoni

Abstract: We show the existence of two families of short GRBs, both originating from the merger of binary neutron stars (NSs): family-1 with $E_{iso}<10^{52}$ erg, leading to a massive NS as the merged core, and family-2 with $E_{iso}>10^{52}$ erg, leading to a black hole (BH). Following the identification of the prototype GRB 090227B, we present the details of a new example of family-2 short burst: GRB 140… ▽ More We show the existence of two families of short GRBs, both originating from the merger of binary neutron stars (NSs): family-1 with $E_{iso}<10^{52}$ erg, leading to a massive NS as the merged core, and family-2 with $E_{iso}>10^{52}$ erg, leading to a black hole (BH). Following the identification of the prototype GRB 090227B, we present the details of a new example of family-2 short burst: GRB 140619B. From the spectral analysis of the early $\sim0.2$ s, we infer an observed temperature $kT =(324\pm33)$ keV of the $e^+e^-$-plasma at transparency (P-GRB), a theoretically derived redshift $z=2.67\pm0.37$, a total burst energy $E^{tot}_{e^+e^-}=(6.03\pm0.79)\times10^{52}$ erg, a rest-frame peak energy $E_{p,i}=4.7$ MeV, and a baryon load $B=(5.52\pm0.73)\times10^{-5}$. We also estimate the corresponding emission of gravitational waves. Two additional examples of family-2 short bursts are identified: GRB 081024B and GRB 090510, remarkable for its well determined cosmological distance. We show that marked differences exist in the nature of the afterglows of these two families of short bursts: family-2 bursts, leading to BH formation, consistently exhibit high energy emission following the P-GRB emission; family-1 bursts, leading to the formation of a massive NS, should never exhibit high energy emission. We also show that both the families fulfill an $E_{p,i}$--$E_{iso}$ relation with slope $γ=0.59\pm0.07$ and a normalization constant incompatible with the one for long GRBs. The observed rate of such family-2 events is $ρ_0=\left(2.1^{+2.8}_{-1.4}\right)\times10^{-4}$Gpc$^{-3}$yr$^{-1}$. △ Less

Submitted 19 June, 2015; v1 submitted 2 December, 2014; originally announced December 2014.

Comments: 14 pages, 13 figures, ApJ in press

Sidon Sets, Difference Sets, and Codes in $ A_n $ Lattices

Authors: Mladen Kovačević

Abstract: This chapter investigates the properties of (linear) codes in $ A_n $ lattices, the practical motivation for which is found in several communication scenarios, such as asymmetric channels, sticky-insertion channels, bit-shift channels, and permutation channels. In particular, a connection between these codes and notions of difference sets and Sidon sets in Abelian groups is demonstrated. It is sho… ▽ More This chapter investigates the properties of (linear) codes in $ A_n $ lattices, the practical motivation for which is found in several communication scenarios, such as asymmetric channels, sticky-insertion channels, bit-shift channels, and permutation channels. In particular, a connection between these codes and notions of difference sets and Sidon sets in Abelian groups is demonstrated. It is shown that the $ A_n $ lattice admits a linear perfect code of radius $ 1 $ if and only if there exists an Abelian planar difference set of cardinality $ n + 1 $. Similarly, a direct link is given between linear codes of radius $ r $ in the $ A_n $ lattice and Sidon sets of order $ 2r $ and cardinality $ n + 1 $. Sidon sets of order $ 2r-1 $ are also represented geometrically in a similar way. Apart from providing geometric intuition about Sidon sets, this interpretation enables simple derivations of bounds on their parameters, which are either equivalent to, or improve upon the known bounds. In connection to the above, more general (non-planar) Abelian difference sets and perfect codes of radius $ r $ are also discussed. △ Less

Submitted 15 November, 2019; v1 submitted 18 September, 2014; originally announced September 2014.

Comments: 15 pages (single-column format), 8 figures

MSC Class: 05B10; 05B40; 05B45; 11B75; 11T71; 52C17; 52C22; 94B25

A search for \textit{Fermi} bursts associated to supernovae and their frequency of occurrence

Authors: M. Kovacevic, L. Izzo, Y. Wang, M. Muccino, M. Della Valle, L. Amati, C. Barbarino, M. Enderli, G. B. Pisani, L. Li

Abstract: Context: Observations suggest that the major fraction of long duration gamma-ray bursts (GRBs) are connected with broad-lines supernovae Ib/c, (SNe-Ibc). The presence of GRB-SNe is revealed by rebrightenings emerging from the optical GRB afterglow $10$--$15$ days, in the rest-frame of the source, after the prompt GRB emission. Aims: \textit{Fermi}-GBM has a field of view (FoV) which is about 6.5 t… ▽ More Context: Observations suggest that the major fraction of long duration gamma-ray bursts (GRBs) are connected with broad-lines supernovae Ib/c, (SNe-Ibc). The presence of GRB-SNe is revealed by rebrightenings emerging from the optical GRB afterglow $10$--$15$ days, in the rest-frame of the source, after the prompt GRB emission. Aims: \textit{Fermi}-GBM has a field of view (FoV) which is about 6.5 times larger than the FoV of \textit{Swift}, therefore we expect that a number of GRB-SN connections have been missed due to lack of optical and X-ray instruments on board of \textit{Fermi}, which are essential to reveal SNe associated with GRBs. This fact has motivated our search in the \textit{Fermi} catalogue for possible GRB-SN events. Methods: The search for possible GRB-SN associations follows two requirements: (1) SN should fall inside the \textit{Fermi}-GBM error box of the considered long GRB, and (2) this GRB should occur within $20$ days before the SN event. Results: We have found $5$ cases, within $z<0.2$ fulfilling the above reported requirements. One of them, GRB 130702A-SN 2013dx, was already known as GRB-SN association. We have analyzed the remaining $4$ cases and we concluded that three of them are, very likely, just random coincidences, due to the \textit{Fermi}-GBM large error box associated with each GRB detection. We found one GRB possibly associated with a SN 1998bw-like, GRB 120121B/SN 2012ba. Conclusions: The very low redshift of GRB 120121B/SN 2012ba ($z = 0.017$) implies a low isotropic energy of this burst ($E_{iso} = 1.39 \times 10^{48}$) erg. We then compute the rate of \textit{Fermi} low-luminosity GRBs connected with SNe to be $ρ_{0,b} \leq 770\ $Gpc$^{-3}$yr$^{-1}$. We estimate that \textit{Fermi}-GBM could detect $1$--$4$ GRBs-SNe within $z \leq 0.2$ in the next 4 years. △ Less

Submitted 26 August, 2014; originally announced August 2014.

Comments: 6 pages, 1 figure, accepted for publication in A&A

Journal ref: A&A 569, A108 (2014)

The Non-Relativistic Superparticle in a Curved Background

Authors: Eric Bergshoeff, Joaquim Gomis, Marija Kovacevic, Lorena Parra, Jan Rosseel, Thomas Zojer

Abstract: Using a component formulation, we construct the supersymmetric action for a superparticle in a three-dimensional Newton-Cartan supergravity background and clarify its symmetries. Our construction proceeds by first constructing the superparticle in a flat background. Next, by boosting up the background symmetries, we replace in a first step the flat background by a Galilean supergravity background.… ▽ More Using a component formulation, we construct the supersymmetric action for a superparticle in a three-dimensional Newton-Cartan supergravity background and clarify its symmetries. Our construction proceeds by first constructing the superparticle in a flat background. Next, by boosting up the background symmetries, we replace in a first step the flat background by a Galilean supergravity background. In a second step the Galilean supergravity background is replaced by a Newton-Cartan supergravity background. We extend our results by adding a supersymmetric cosmological constant and compare the non-relativistic superparticle with the relativistic kappa-symmetric three-dimensional superparticle. △ Less

Submitted 8 September, 2014; v1 submitted 27 June, 2014; originally announced June 2014.

Comments: 36 pages; v2: added references; v3: more refs; matches published version

Report number: UG-14-14, ICCUB-14-052, TUW-14-09

Journal ref: Phys. Rev. D 90, 065006 (2014)

GRB 130427A and SN 2013cq: A Multi-wavelength Analysis of An Induced Gravitational Collapse Event

Authors: R. Ruffini, Y. Wang, M. Kovacevic, C. L. Bianco, M. Enderli, M. Muccino, A. V. Penacchioni, G. B. Pisani, J. A. Rueda

Abstract: We have performed our data analysis of the observations by Swift and Fermi satellites in order to probe the induced gravitational collapse (IGC) paradigm for GRBs associated with supernovae (SNe), in the "terra incognita" of GRB 130427A. We compare and contrast our data analysis with those in the literature. We have verified that the GRB 130427A conforms to the IGC paradigm by examining the power… ▽ More We have performed our data analysis of the observations by Swift and Fermi satellites in order to probe the induced gravitational collapse (IGC) paradigm for GRBs associated with supernovae (SNe), in the "terra incognita" of GRB 130427A. We compare and contrast our data analysis with those in the literature. We have verified that the GRB 130427A conforms to the IGC paradigm by examining the power law behavior of the luminosity in the early $10^4$ s of the Swift-XRT observations. This has led to the successful prediction of the occurrence of SN 2013cq and to the identification of the four different episodes of the "binary driven hypernovae" (BdHNe). The exceptional quality of the data has allowed the identification of novel features in Episode 3 including: a) the confirmation and the extension of the existence of the recently discovered "nested structure" in the late X-ray luminosity in GRB 130427A, as well as the identification of a spiky structure at $10^2$ s in the cosmological rest-frame of the source; b) a power law emission of the GeV luminosity light curve and its onset at the end of Episode 2 c) different Lorentz $Γ$ factors for the emitting regions of the X-ray and GeV emissions in this Episode 3. These results make it possible to test the details of the physical and astrophysical regimes at work in the BdHNe: 1) a newly born neutron star and the supernova ejecta, originating in Episode 1, 2) a newly formed black hole originating in Episode 2, and 3) the possible interaction among these components, observable in the standard features of Episode 3. △ Less

Submitted 23 October, 2014; v1 submitted 22 May, 2014; originally announced May 2014.

Comments: 10 pages, 9 figures. Accepted for publication in Astrophysical Journal

On Binary Driven Hypernovae and their nested late X-ray emission

Authors: R. Ruffini, M. Muccino, C. L. Bianco, M. Enderli, L. Izzo, M. Kovacevic, A. V. Penacchioni, G. B. Pisani, J. A. Rueda, Y. Wang

Abstract: Context: The induced gravitational collapse (IGC) paradigm addresses the very energetic (10^{52}-10^{54}erg) long gamma-ray bursts (GRBs) associated to supernovae (SNe). Unlike the traditional "collapsar" model, an evolved FeCO core with a companion neutron star (NS) in a tight binary system is considered as the progenitor. This special class of sources, here named "binary driven hypernovae" (BdHN… ▽ More Context: The induced gravitational collapse (IGC) paradigm addresses the very energetic (10^{52}-10^{54}erg) long gamma-ray bursts (GRBs) associated to supernovae (SNe). Unlike the traditional "collapsar" model, an evolved FeCO core with a companion neutron star (NS) in a tight binary system is considered as the progenitor. This special class of sources, here named "binary driven hypernovae" (BdHNe), presents a composite sequence composed of four different episodes [...]. Aims: We first compare and contrast the steep decay, the plateau and the power-law decay of the X-ray luminosities of three selected BdHNe [...]. Second, to explain the different sizes and Lorentz factors of the emitting regions of the four Episodes, [...]. Finally, we show the possible role of r-process, which originates in the binary system of the progenitor.. Methods: We compare and contrast the late X-ray luminosity of the above three BdHNe. We examine correlations between the time at the starting point of the constant late power-law decay, t^*_a, the average prompt luminosity, <L_{iso}>, and the luminosity at the end of the plateau, L_a. We analyze a thermal emission (~0.97-0.29 keV), observed during the X-ray steep decay phase of GRB 090618. Results: The late X-ray luminosities of the three BdHNe [...] show a precisely constrained "nested" structure [...]. Conclusions: We confirm a constant slope power-law behavior for the late X-ray luminosity in the source rest-frame, which may lead to a new distance indicator for BdHNe. These results, as well as the emitter size and Lorentz factor, appear to be inconsistent with the traditional afterglow model based on synchrotron emission from an ultra-relativistic [...] collimated jet outflow. We argue, instead, for the possible role of r-process, originating in the binary system, to power the mildly relativistic X-ray source. △ Less

Submitted 14 May, 2014; v1 submitted 15 April, 2014; originally announced April 2014.

Comments: 4 pages, 4 figures, to appear on A&A. New version slightly modified to match the one in press

Journal ref: A&A 565, L10 (2014)

Induced gravitational collapse at extreme cosmological distances: the case of GRB 090423

Authors: R. Ruffini, L. Izzo, M. Muccino, G. B. Pisani, J. A. Rueda, Y. Wang, C. Barbarino, C. L. Bianco, M. Enderli, M. Kovacevic

Abstract: CONTEXT: The induced gravitational collapse (IGC) scenario has been introduced in order to explain the most energetic gamma ray bursts (GRBs), Eiso=10^{52}-10^{54}erg, associated with type Ib/c supernovae (SNe). It has led to the concept of binary-driven hypernovae (BdHNe) originating in a tight binary system composed by a FeCO core on the verge of a SN explosion and a companion neutron star (NS).… ▽ More CONTEXT: The induced gravitational collapse (IGC) scenario has been introduced in order to explain the most energetic gamma ray bursts (GRBs), Eiso=10^{52}-10^{54}erg, associated with type Ib/c supernovae (SNe). It has led to the concept of binary-driven hypernovae (BdHNe) originating in a tight binary system composed by a FeCO core on the verge of a SN explosion and a companion neutron star (NS). Their evolution is characterized by a rapid sequence of events: [...]. AIMS: We investigate whether GRB 090423, one of the farthest observed GRB at z=8.2, is a member of the BdHN family. METHODS: We compare and contrast the spectra, the luminosity evolution and the detectability in the observations by Swift of GRB 090423 with the corresponding ones of the best known BdHN case, GRB 090618. RESULTS: Identification of constant slope power-law behavior in the late X-ray emission of GRB 090423 and its overlap** with the corresponding one in GRB 090618, measured in a common rest frame, represents the main result of this article. This result represents a very significant step on the way to using the scaling law properties, proven in Episode 3 of this BdHN family, as a cosmological standard candle. CONCLUSIONS: Having identified GRB 090423 as a member of the BdHN family, we can conclude that SN events, leading to NS formation, can already occur already at z=8.2, namely at 650 Myr after the Big Bang. It is then possible that these BdHNe originate stem from 40-60 M_{\odot} binaries. They are probing the Population II stars after the completion and possible disappearance of Population III stars. △ Less

Submitted 7 July, 2014; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 9 pages, 9 figures, to appear on A&A

Journal ref: A&A 569 (2014) A39

Information-Geometric Equivalence of Transportation Polytopes

Authors: Mladen Kovačević, Ivan Stanojević, Vo** Šenk

Abstract: This paper deals with transportation polytopes in the probability simplex (that is, sets of categorical bivariate probability distributions with prescribed marginals). Information projections between such polytopes are studied, and a sufficient condition is described under which these map**s are homeomorphisms. This paper deals with transportation polytopes in the probability simplex (that is, sets of categorical bivariate probability distributions with prescribed marginals). Information projections between such polytopes are studied, and a sufficient condition is described under which these map**s are homeomorphisms. △ Less

Submitted 6 July, 2015; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: 6 pages, 1 figure. v2: A remark concerning Frechet-Hoeffding bounds is added

MSC Class: 94A17; 52B11; 52B12; 62B10; 62H17; 54C99

Journal ref: Probl. Inf. Transm., vol. 51, no. 2, pp. 103-109, Apr. 2015

Zero-Error Capacity of a Class of Timing Channels

Authors: Mladen Kovačević, Petar Popovski

Abstract: We analyze the problem of zero-error communication through timing channels that can be interpreted as discrete-time queues with bounded waiting times. The channel model includes the following assumptions: 1) Time is slotted, 2) at most $ N $ "particles" are sent in each time slot, 3) every particle is delayed in the channel for a number of slots chosen randomly from the set… ▽ More We analyze the problem of zero-error communication through timing channels that can be interpreted as discrete-time queues with bounded waiting times. The channel model includes the following assumptions: 1) Time is slotted, 2) at most $ N $ "particles" are sent in each time slot, 3) every particle is delayed in the channel for a number of slots chosen randomly from the set $ \{0, 1, \ldots, K\} $, and 4) the particles are identical. It is shown that the zero-error capacity of this channel is $ \log r $, where $ r $ is the unique positive real root of the polynomial $ x^{K+1} - x^{K} - N $. Capacity-achieving codes are explicitly constructed, and a linear-time decoding algorithm for these codes devised. In the particular case $ N = 1 $, $ K = 1 $, the capacity is equal to $ \log φ$, where $ φ= (1 + \sqrt{5}) / 2 $ is the golden ratio, and the constructed codes give another interpretation of the Fibonacci sequence. △ Less

Submitted 24 August, 2014; v1 submitted 6 November, 2013; originally announced November 2013.

Comments: 5 pages (double-column), 3 figures. v3: Section IV.1 from v2 is replaced with Remark 1, and Section IV.2 is removed. Accepted for publication in IEEE Transactions on Information Theory

MSC Class: 94B25; 94A40; 94A24; 68R05; 65Q30

Journal ref: IEEE Trans. Inform. Theory, vol. 60, no. 11, pp. 6796-6800, Nov. 2014

Perfect Codes in the Discrete Simplex

Authors: Mladen Kovačević, Dejan Vukobratović

Abstract: We study the problem of existence of (nontrivial) perfect codes in the discrete $ n $-simplex $ Δ_{\ell}^n := \left\{ \begin{pmatrix} x_0, \ldots, x_n \end{pmatrix} : x_i \in \mathbb{Z}_{+}, \sum_i x_i = \ell \right\} $ under $ \ell_1 $ metric. The problem is motivated by the so-called multiset codes, which have recently been introduced by the authors as appropriate constructs for error correction… ▽ More We study the problem of existence of (nontrivial) perfect codes in the discrete $ n $-simplex $ Δ_{\ell}^n := \left\{ \begin{pmatrix} x_0, \ldots, x_n \end{pmatrix} : x_i \in \mathbb{Z}_{+}, \sum_i x_i = \ell \right\} $ under $ \ell_1 $ metric. The problem is motivated by the so-called multiset codes, which have recently been introduced by the authors as appropriate constructs for error correction in the permutation channels. It is shown that $ e $-perfect codes in the $ 1 $-simplex $ Δ_{\ell}^1 $ exist for any $ \ell \geq 2e + 1 $, the $ 2 $-simplex $ Δ_{\ell}^2 $ admits an $ e $-perfect code if and only if $ \ell = 3e + 1 $, while there are no perfect codes in higher-dimensional simplices. In other words, perfect multiset codes exist only over binary and ternary alphabets. △ Less

Submitted 5 November, 2013; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: 15 pages (single-column), 5 figures. Minor revisions made. Accepted for publication in Designs, Codes and Cryptography

MSC Class: 94B25; 05B40; 52C17; 05C12; 68R99

Journal ref: Des. Codes Cryptogr., vol. 75, no. 1, pp. 81-95, Apr. 2015

New Massive Supergravity and Auxiliary Fields

Authors: Eric A. Bergshoeff, Marija Kovacevic, Lorena Parra, Jan Rosseel, Yihao Yin, Thomas Zojer

Abstract: We construct a supersymmetric formulation of linearized New Massive Gravity without introducing higher derivatives. Instead, we introduce supersymmetrically a set of bosonic and fermionic auxiliary fields which, upon elimination by their equations of motion, introduce fourth-order derivative terms for the metric and third-order derivative terms for the gravitino. Our construction requires an off-s… ▽ More We construct a supersymmetric formulation of linearized New Massive Gravity without introducing higher derivatives. Instead, we introduce supersymmetrically a set of bosonic and fermionic auxiliary fields which, upon elimination by their equations of motion, introduce fourth-order derivative terms for the metric and third-order derivative terms for the gravitino. Our construction requires an off-shell formulation of the three-dimensional supersymmetric massive Fierz-Pauli theory. We discuss the non-linear extension of our results. △ Less

Submitted 9 September, 2013; v1 submitted 19 April, 2013; originally announced April 2013.

Comments: 31 pages; v2: minor changes, added references/published version

Report number: UG-13-17

Journal ref: Class.Quant.Grav. 30 (2013) 195004

On the Entropy of Couplings

Authors: Mladen Kovačević, Ivan Stanojević, Vo** Šenk

Abstract: In this paper, some general properties of Shannon information measures are investigated over sets of probability distributions with restricted marginals. Certain optimization problems associated with these functionals are shown to be NP-hard, and their special cases are found to be essentially information-theoretic restatements of well-known computational problems, such as the SUBSET SUM and the… ▽ More In this paper, some general properties of Shannon information measures are investigated over sets of probability distributions with restricted marginals. Certain optimization problems associated with these functionals are shown to be NP-hard, and their special cases are found to be essentially information-theoretic restatements of well-known computational problems, such as the SUBSET SUM and the 3-PARTITION. The notion of minimum entropy coupling is introduced and its relevance is demonstrated in information-theoretic, computational, and statistical contexts. Finally, a family of pseudometrics (on the space of discrete probability distributions) defined by these couplings is studied, in particular their relation to the total variation distance, and a new characterization of the conditional entropy is given. △ Less

Submitted 22 March, 2015; v1 submitted 13 March, 2013; originally announced March 2013.

Comments: 18 pages (single-column). Compared to v1, the material is reorganized, Section IV.C is removed (the results will possible appear elsewhere), Propositions 3.2 and 3.7 are added. Accepted for publication in Information and Computation

MSC Class: 94A17; 60E99; 68Q17

Journal ref: Inf. Comput., vol. 242, pp. 369-382, June 2015

Multiset Codes for Permutation Channels

Authors: Mladen Kovačević, Dejan Vukobratović

Abstract: This paper introduces the notion of multiset codes as relevant to the problem of reliable information transmission over permutation channels. The motivation for studying permutation channels comes from the effect of out of order delivery of packets in some types of packet networks. The proposed codes are a generalization of the so-called subset codes, recently proposed by the authors. Some of the… ▽ More This paper introduces the notion of multiset codes as relevant to the problem of reliable information transmission over permutation channels. The motivation for studying permutation channels comes from the effect of out of order delivery of packets in some types of packet networks. The proposed codes are a generalization of the so-called subset codes, recently proposed by the authors. Some of the basic properties of multiset codes are established, among which their equivalence to integer codes under the Manhattan metric. The presented coding-theoretic framework follows closely the one proposed by Koetter and Kschischang for the operator channels. The two mathematical models are similar in many respects, and the basic idea is presented in a way which admits a unified view on coding for these types of channels. △ Less

Submitted 31 January, 2013; originally announced January 2013.

Comments: 5 pages

MSC Class: 94B60

Subset Codes for Packet Networks

Authors: Mladen Kovačević, Dejan Vukobratović

Abstract: In this paper, we present a coding-theoretic framework for message transmission over packet-switched networks. Network is modeled as a channel which can induce packet errors, deletions, insertions, and out of order delivery of packets. The proposed approach can be viewed as an extension of the one introduced by Koetter and Kschischang for networks based on random linear network coding. Namely, whi… ▽ More In this paper, we present a coding-theoretic framework for message transmission over packet-switched networks. Network is modeled as a channel which can induce packet errors, deletions, insertions, and out of order delivery of packets. The proposed approach can be viewed as an extension of the one introduced by Koetter and Kschischang for networks based on random linear network coding. Namely, while their framework is based on subspace codes and designed for networks in which network nodes perform random linear combining of the packets, ours is based on the so-called subset codes, and is designed for networks employing routing in network nodes. △ Less

Submitted 27 February, 2013; v1 submitted 27 October, 2012; originally announced October 2012.

Comments: 4 pages

MSC Class: 94B60

Journal ref: IEEE Commun. Lett., vol. 17, no. 4, pp. 729-732, Apr. 2013

On the Hardness of Entropy Minimization and Related Problems

Authors: Mladen Kovačević, Ivan Stanojević, Vo** Šenk

Abstract: We investigate certain optimization problems for Shannon information measures, namely, minimization of joint and conditional entropies $H(X,Y)$, $H(X|Y)$, $H(Y|X)$, and maximization of mutual information $I(X;Y)$, over convex regions. When restricted to the so-called transportation polytopes (sets of distributions with fixed marginals), very simple proofs of NP-hardness are obtained for these prob… ▽ More We investigate certain optimization problems for Shannon information measures, namely, minimization of joint and conditional entropies $H(X,Y)$, $H(X|Y)$, $H(Y|X)$, and maximization of mutual information $I(X;Y)$, over convex regions. When restricted to the so-called transportation polytopes (sets of distributions with fixed marginals), very simple proofs of NP-hardness are obtained for these problems because in that case they are all equivalent, and their connection to the well-known \textsc{Subset sum} and \textsc{Partition} problems is revealed. The computational intractability of the more general problems over arbitrary polytopes is then a simple consequence. Further, a simple class of polytopes is shown over which the above problems are not equivalent and their complexity differs sharply, namely, minimization of $H(X,Y)$ and $H(Y|X)$ is trivial, while minimization of $H(X|Y)$ and maximization of $I(X;Y)$ are strongly NP-hard problems. Finally, two new (pseudo)metrics on the space of discrete probability distributions are introduced, based on the so-called variation of information quantity, and NP-hardness of their computation is shown. △ Less

Submitted 5 July, 2012; originally announced July 2012.

Comments: IEEE Information Theory Workshop (ITW) 2012

MSC Class: 94A17; 68Q17

On Topologically Massive Spin-2 Gauge Theories beyond Three Dimensions

Authors: Eric A. Bergshoeff, Marija Kovacevic, Jan Rosseel, Yihao Yin

Abstract: We investigate in which sense, at the linearized level, one can extend the 3D topologically massive gravity theory beyond three dimensions. We show that, for each k=1,2,3... a free topologically massive gauge theory in 4k-1 dimensions can be defined describing a massive "spin-2" particle provided one uses a non-standard representation of the massive "spin-2" state which makes use of a two-column Y… ▽ More We investigate in which sense, at the linearized level, one can extend the 3D topologically massive gravity theory beyond three dimensions. We show that, for each k=1,2,3... a free topologically massive gauge theory in 4k-1 dimensions can be defined describing a massive "spin-2" particle provided one uses a non-standard representation of the massive "spin-2" state which makes use of a two-column Young tableau where each column is of height 2k-1. We work out the case of k=2, i.e. 7D, and show, by canonical analysis, that the model describes, unitarily, 35 massive "spin-2" degrees of freedom. The issue of interactions is discussed and compared with the three-dimensional situation. △ Less

Submitted 15 October, 2012; v1 submitted 1 July, 2012; originally announced July 2012.

Comments: 14 pages. v2: minor changes - published version

Journal ref: JHEP 1210 (2012) 055

A spin-4 analog of 3D massive gravity

Authors: Eric A. Bergshoeff, Marija Kovacevic, Jan Rosseel, Paul K. Townsend, Yihao Yin

Abstract: A 6th-order, but ghost-free, gauge-invariant action is found for a 4th-rank symmetric tensor potential in a three-dimensional (3D) Minkowski spacetime. It propagates two massive modes of spin 4 that are interchanged by parity, and is thus a spin-4 analog of linearized "new massive gravity". Also found are ghost-free spin-4 analogs of linearized "topologically massive gravity" and "new topologicall… ▽ More A 6th-order, but ghost-free, gauge-invariant action is found for a 4th-rank symmetric tensor potential in a three-dimensional (3D) Minkowski spacetime. It propagates two massive modes of spin 4 that are interchanged by parity, and is thus a spin-4 analog of linearized "new massive gravity". Also found are ghost-free spin-4 analogs of linearized "topologically massive gravity" and "new topologically massive gravity", of 5th- and 8th-order respectively. △ Less

Submitted 14 December, 2011; v1 submitted 2 September, 2011; originally announced September 2011.

Comments: 16 pages, v2 : version published in Class. Quant. Grav