English
Related papers

Related papers: Sequential Channel Synthesis

200 papers

Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite-state protocols using scenarios: we show that it is…

Formal Languages and Automata Theory · Computer Science 2014-03-03 Rajeev Alur , Milo Martin , Mukund Raghothaman , Christos Stergiou , Stavros Tripakis , Abhishek Udupa

We propose a strategic formulation for the joint source-channel coding problem in which the encoder and the decoder are endowed with distinct distortion functions. We provide the solutions in four different scenarios. First, we assume that…

Information Theory · Computer Science 2020-10-26 Maël Le Treust , Tristan Tomala

In this work, we consider decoupling a bipartite quantum state via a general quantum channel. We propose a joint state-channel decoupling approach to obtain a one-shot error exponent bound without smoothing, in which trace distance is used…

Quantum Physics · Physics 2024-09-24 Hao-Chung Cheng , Frédéric Dupuis , Li Gao

We study the asymptotic behavior of the output states of sequences of quantum channels. Under a natural assumption, we show that the output set converges to a compact convex set, clarifying and substantially generalizing results in [BCN13].…

Mathematical Physics · Physics 2015-10-15 Benoit Collins , Motohisa Fukuda , Ion Nechita

This paper investigates the linear precoder design that maximizes the average mutual information of multiple-input multiple-output channels with finite-alphabet inputs and statistical channel state information known at the transmitter. This…

Information Theory · Computer Science 2011-09-07 Weiliang Zeng , Chengshan Xiao , Mingxi Wang , Jianhua Lu

This paper investigates a joint source-channel secrecy problem for the Shannon cipher broadcast system. We suppose list secrecy is applied, i.e., a wiretapper is allowed to produce a list of reconstruction sequences and the secrecy is…

Information Theory · Computer Science 2017-07-25 Lei Yu , Houqiang Li , Weiping Li

The process of dynamic state estimation (filtering) based on point process observations is in general intractable. Numerical sampling techniques are often practically useful, but lead to limited conceptual insight about optimal…

Machine Learning · Statistics 2016-09-13 Yuval Harel , Ron Meir , Manfred Opper

We propose an end-to-end approach for synthetic QA data generation. Our model comprises a single transformer-based encoder-decoder network that is trained end-to-end to generate both answers and questions. In a nutshell, we feed a passage…

Computation and Language · Computer Science 2020-10-14 Siamak Shakeri , Cicero Nogueira dos Santos , Henry Zhu , Patrick Ng , Feng Nan , Zhiguo Wang , Ramesh Nallapati , Bing Xiang

A sequential problem in decentralized detection is considered. Two observers can make repeated noisy observations of a binary hypothesis on the state of the environment. At any time, observer 1 can stop and send a final binary message to…

Optimization and Control · Mathematics 2009-10-29 Ashutosh Nayyar , Demosthenis Teneketzis

Over the past several years, we have witnessed impressive progress in the field of learned image compression. Recent learned image codecs are commonly based on autoencoders, that first encode an image into low-dimensional latent…

Computer Vision and Pattern Recognition · Computer Science 2021-11-02 Zongyu Guo , Zhizheng Zhang , Runsen Feng , Zhibo Chen

The Bayesian formulation of sequentially testing $M \ge 3$ hypotheses is studied in the context of a decentralized sensor network system. In such a system, local sensors observe raw observations and send quantized sensor messages to a…

Statistics Theory · Mathematics 2016-11-15 Yan Wang , Yajun Mei

Sequential estimation of a vector of linear regression coefficients is considered under both centralized and decentralized setups. In sequential estimation, the number of observations used for estimation is determined by the observed…

Applications · Statistics 2014-12-18 Yasin Yilmaz , George V. Moustakides , Xiaodong Wang

A real time coding system with lookahead consists of a memoryless source, a memoryless channel, an encoder, which encodes the source symbols sequentially with knowledge of future source symbols upto a fixed finite lookahead, d, with or…

Information Theory · Computer Science 2011-05-31 Himanshu Asnani , Tsachy Weissman

We consider a basic joint communication and sensing setup comprising a transmitter, a receiver and a sensor. The transmitter sends a codeword to the receiver through a discrete memoryless channel, and the receiver is interested in decoding…

Information Theory · Computer Science 2024-12-09 Han Wu , Hamdi Joudeh

The distribution of entanglement in quantum networks is typically approached under idealized assumptions such as perfect synchronization and centralized control, while classical communication is often neglected. However, these assumptions…

Quantum Physics · Physics 2024-06-04 Shahrooz Pouryousef , Hassan Shapourian , Don Towsley

We introduce a new quantum decoder based on a variant of the pretty good measurement, but defined via an alternative matrix quotient. We use this decoder to show new lower bounds on the error exponent both in the one-shot and asymptotic…

Quantum Physics · Physics 2025-07-29 Salman Beigi , Marco Tomamichel

In this paper, we investigate problems of communication over physically degraded, state-dependent broadcast channels (BCs) with cooperating decoders. Two different setups are considered and their capacity regions are characterized. First,…

Information Theory · Computer Science 2014-05-21 Lior Dikstein , Haim H. Permuter , Yossef Steinberg

We determine the optimal rates of universal quantum codes for entanglement transmission and generation under channel uncertainty. In the simplest scenario the sender and receiver are provided merely with the information that the channel…

Quantum Physics · Physics 2015-05-13 I. Bjelakovic , H. Boche , J. Noetzel

The problem of distributed synthesis is to automatically generate a distributed algorithm, given a target communication network and a specification of the algorithm's correct behavior. Previous work has focused on static networks with an a…

Formal Languages and Automata Theory · Computer Science 2020-09-24 Béatrice Bérard , Benedikt Bollig , Patricia Bouyer , Matthias Függer , Nathalie Sznajder

Information leakage is a significant problem in modern software systems. Information leaks due to side channels are especially hard to detect and analyze. In this paper, we present techniques for automated synthesis of adaptive side-channel…

Software Engineering · Computer Science 2019-05-15 Seemanta Saha , William Eiers , Ismet Burak Kadron , Lucas Bang , Tevfik Bultan