English
Related papers

Related papers: Efficient Quantile Computation in Markov Chains vi…

200 papers

Parameterized quantum circuits (PQCs), as one of the most promising schemes to realize quantum machine learning algorithms on near-term quantum computers, have been designed to solve machine earning tasks with quantum advantages. In this…

Quantum Physics · Physics 2018-05-30 Yuxuan Du , Tongliang Liu , Dacheng Tao

Markov chain (MC) algorithms are ubiquitous in machine learning and statistics and many other disciplines. Typically, these algorithms can be formulated as acceptance rejection methods. In this work we present a novel estimator applicable…

Machine Learning · Statistics 2020-08-07 Ingmar Schuster , Ilja Klebanov

We present the conditional value-at-risk (CVaR) in the context of Markov chains and Markov decision processes with reachability and mean-payoff objectives. CVaR quantifies risk by means of the expectation of the worst p-quantile. As such it…

Logic in Computer Science · Computer Science 2018-05-09 Jan Křetínský , Tobias Meggendorfer

We describe an exact approach for calculating transition probabilities and waiting times in finite-state discrete-time Markov processes. All the states and the rules for transitions between them must be known in advance. We can then…

Other Condensed Matter · Physics 2009-11-11 Semen A. Trygubenko , David J. Wales

Stochastic processes find applications in modelling systems in a variety of disciplines. A large number of stochastic models considered are Markovian in nature. It is often observed that higher order Markov processes can model the data…

Probability · Mathematics 2021-04-13 Suryadeepto Nag

Low-density parity-check codes, a class of capacity-approaching linear codes, are particularly recognized for their efficient decoding scheme. The decoding scheme, known as the sum-product, is an iterative algorithm consisting of passing…

Information Theory · Computer Science 2014-05-27 Nima Noorshams , Aravind Iyengar

Unambiguous automata are nondeterministic automata in which every word has at most one accepting run. In this paper we give a polynomial-time algorithm for model checking discrete-time Markov chains against \omega-regular specifications…

Logic in Computer Science · Computer Science 2023-04-10 Christel Baier , Stefan Kiefer , Joachim Klein , David Müller , James Worrell

Given $n$ points in $\ell_p^d$, we consider the problem of partitioning points into $k$ clusters with associated centers. The cost of a clustering is the sum of $p^{\text{th}}$ powers of distances of points to their cluster centers. For $p…

Data Structures and Algorithms · Computer Science 2022-04-27 Moses Charikar , Erik Waingarten

In this paper, we present a generalized version of the matrix chain algorithm to generate efficient code for linear algebra problems, a task for which human experts often invest days or even weeks of works. The standard matrix chain problem…

Mathematical Software · Computer Science 2018-04-12 Henrik Barthels , Marcin Copik , Paolo Bientinesi

Effective stock price forecasting (estimating future prices) and prediction (estimating future price changes) are pivotal for investors, regulatory agencies, and policymakers. These tasks enable informed decision-making, risk management,…

Computational Engineering, Finance, and Science · Computer Science 2025-04-25 Zhuohang Zhu , Haodong Chen , Qiang Qu , Xiaoming Chen , Vera Chung

This paper considers the queueing performance of a system that transmits coded data over a time-varying erasure channel. In our model, the queue length and channel state together form a Markov chain that depends on the system parameters.…

Information Theory · Computer Science 2021-03-26 Parimal Parag , Jean-Francois Chamberland , Henry D. Pfister , Krishna R. Narayanan

A decision maker records measurements of a finite-state Markov chain corrupted by noise. The goal is to decide when the Markov chain hits a specific target state. The decision maker can choose from a finite set of sampling intervals to pick…

Optimization and Control · Mathematics 2012-08-17 Vikram Krishnamurthy

This paper bounds the computational cost of computing the Kauffman bracket of a link in terms of the crossing number of that link. Specifically, it is shown that the image of a tangle with $g$ boundary points and $n$ crossings in the…

Geometric Topology · Mathematics 2013-03-29 Lauren Ellenberg , Gabriella Newman , Stephen Sawin , Jonathan Shi

Estimating properties of quantum states, such as fidelities, molecular energies, and correlation functions, is a fundamental task in quantum information science. Due to the limitation of practical quantum devices, including limited circuit…

Quantum Physics · Physics 2025-10-17 Bujiao Wu , Lingyu Kong , Yuxuan Yan , Fuchuan Wei , Zhenhuan Liu

The matrix chain problem consists in finding the parenthesization of a matrix product $M := A_1 A_2 \cdots A_n$ that minimizes the number of scalar operations. In practical applications, however, one frequently encounters more complicated…

Data Structures and Algorithms · Computer Science 2016-11-18 Henrik Barthels , Paolo Bientinesi

Generalized Matrix Chains (GMCs) are products of matrices where each matrix carries features (e.g., general, symmetric, triangular, positive-definite) and is optionally transposed and/or inverted. GMCs are commonly evaluated via sequences…

Mathematical Software · Computer Science 2025-11-26 Francisco López , Lars Karlsson , Paolo Bientinesi

Faults are stochastic by nature while most man-made systems, and especially computers, work deterministically. This necessitates the linking of probability theory with mathematical logics, automata, and switching circuit theory. This paper…

Artificial Intelligence · Computer Science 2022-09-13 Alexander Feldman , Johan de Kleer , Ion Matei

To overcome the physical limitations of scaling monolithic quantum computers, distributed quantum computing (DQC) interconnects multiple smaller-scale quantum processing units (QPUs) to form a quantum network. However, this approach…

In this paper, we consider the Markov-Chain Monte Carlo (MCMC) approach for random sampling of combinatorial objects. The running time of such an algorithm depends on the total mixing time of the underlying Markov chain and is unknown in…

Discrete Mathematics · Computer Science 2016-09-15 Steffen Rechner , Annabell Berger

Permutational Quantum Computing (PQC) [\emph{Quantum~Info.~Comput.}, \textbf{10}, 470--497, (2010)] is a natural quantum computational model conjectured to capture non-classical aspects of quantum computation. An argument backing this…

Quantum Physics · Physics 2018-08-15 Vojtech Havlicek , Sergii Strelchuk