English
Related papers

Related papers: Approximately Dual and Pseudo-Dual Probabilistic F…

200 papers

We show that the set of entries generated by any finite set of doubly stochastic matrices is nowhere dense, in contrast to the cases of stochastic matrices or unitary matrices. In other words, there is no finite universal set of doubly…

Functional Analysis · Mathematics 2021-04-02 Wei Zhan

Randomized higher-order computation can be seen as being captured by a lambda calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice. What matters about such computations is the probability of…

Logic in Computer Science · Computer Science 2020-12-24 Ugo Dal Lago , Claudia Faggian , Simona Ronchi Della Rocca

We propose a framework for a new type of finite field theories based on a hidden duality between an ultra-violet and an infra-red region. Physical quantities do not receive radiative corrections at a fundamental scale or the fixed point of…

High Energy Physics - Phenomenology · Physics 2015-03-18 Yoshiharu Kawamura

This paper is part of a program to understand the parameter spaces of dynamical systems generated by meromorphic functions with finitely many singular values. We give a full description of the parameter space for a specific family based on…

Complex Variables · Mathematics 2022-01-24 Tao Chen , Yunping Jiang , Linda Keen

Recently, the concept of frames generated by graphs has been introduced in \cite{D}. In this paper, we study spectrally optimal dual frames of frames generated by graphs. We show that if the frame is generated by a connected graph, then its…

Functional Analysis · Mathematics 2024-06-04 Deepshikha , Aniruddha Samanta

A finite dimensional quantum system for which the quantum chaos conjecture applies has eigenstates, which show the same statistical properties than the column vectors of random orthogonal or unitary matrices. Here, we consider the different…

Mathematical Physics · Physics 2017-10-05 L. Alonso , T. Gorin

This work presents a quantitative framework for describing the overcompleteness of a large class of frames. It introduces notions of localization and approximation between two frames $\mathcal{F} = \{f_i\}_{i \in I}$ and $\mathcal{E} =…

Functional Analysis · Mathematics 2007-05-23 R. Balan , P. G. Casazza , C. Heil , Z. Landau

The paper is split in two parts: in the first part, we construct the exact likelihood for a discretely observed rough differential equation, driven by a piecewise linear path. In the second part, we use this likelihood in order to construct…

Statistics Theory · Mathematics 2018-07-10 Anastasia Papavasiliou , Kasia B. Taylor

The Chisholm rational approximant is a natural generalization to two variables of the well-known single variable Pad\'e approximant, and has the advantage of reducing to the latter when one of the variables is set equals to 0. We present,…

Mathematical Software · Computer Science 2023-09-15 Souvik Bera , Tanay Pathak

A frame is an overcomplete set that can represent vectors(signals) faithfully and stably. Two frames are equivalent if signals can be essentially represented in the same way, which means two frames differ by a permutation, sign change or…

Information Theory · Computer Science 2019-11-19 Xuemei Chen , Yang Chu , Min Zheng

We study fundamental reachability problems on pseudo-orbits of linear dynamical systems. Pseudo-orbits can be viewed as a model of computation with limited precision and pseudo-reachability can be thought of as a robust version of classical…

Logic in Computer Science · Computer Science 2022-07-07 Julian D'Costa , Toghrul Karimov , Rupak Majumdar , Joël Ouaknine , Mahmoud Salamati , James Worrell

Fundamental duality is a concept which refers to two irreducible, heterogeneous principles which are in opposite and complementary of each other. The complementary principle in quantum mechanics is also praised by Bohr. This important…

General Physics · Physics 2023-01-31 B. T. T. Wong

An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates "almost surely". Proving that can be hard, and this paper presents a new method for doing so; it…

Programming Languages · Computer Science 2017-12-27 Annabelle McIver , Carroll Morgan , Benjamin Lucien Kaminski , Joost-Pieter Katoen

Frame theory is recently an active research area in mathematics, computer science and engineering with many exciting applications in a variety of different fields. This theory has been generalized rapidly and various generalizations of…

Functional Analysis · Mathematics 2020-11-25 Mohamed Rossafi , Brahim Moalige , Hamid Faraj , Abdeslam Touri , Samir Kabbaj

We prove matching direct and inverse theorems for (algebraic) polynomial approximation with doubling weights $w$ having finitely many zeros and singularities (i.e., points where $w$ becomes infinite) on an interval and not too ``rapidly…

Classical Analysis and ODEs · Mathematics 2015-07-20 Kirill A. Kopotun

Due to their flexibility, frames of Hilbert spaces are attractive alternatives to bases in approximation schemes for problems where identifying a basis is not straightforward or even feasible. Computing a best approximation using frames,…

Numerical Analysis · Mathematics 2020-07-08 Ben Adcock , Mohsen Seifi

Let L contain only the equality symbol and let L^+ be an arbitrary finite symmetric relational language containing L . Suppose probabilities are defined on finite L^+ structures with ''edge probability'' n^{- alpha}. By T^alpha, the almost…

Logic · Mathematics 2016-09-06 John T. Baldwin , Saharon Shelah

If $S$ and $T$ are infinite sequences over a finite alphabet, then the lower and upper mutual dimensions $mdim(S:T)$ and $Mdim(S:T)$ are the upper and lower densities of the algorithmic information that is shared by $S$ and $T$. In this…

Computational Complexity · Computer Science 2016-04-01 Adam Case , Jack H. Lutz

Emerging computational paradigms, such as probabilistic and hybrid programming, introduce new primitive operations that often need to be combined with classic programming constructs. However, it still remains a challenge to provide a…

Logic in Computer Science · Computer Science 2018-04-13 Fredrik Dahlqvist , Renato Neves

Some properties of generalized convexity for sets and for functions are identified in case of the reliability polynomials of two dual minimal networks. A method of approximating the reliability polynomials of two dual minimal network is…

Discrete Mathematics · Computer Science 2021-12-14 Gabriela Cristescu , Vlad-Florin Dragoi , Sorin-Horatiu Hoara