English
Related papers

Related papers: Confluence and Convergence in Probabilistically Te…

200 papers

We study dropout regularization in continuous-time models through the lens of random-batch methods -- a family of stochastic sampling schemes originally devised to reduce the computational cost of interacting particle systems. We construct…

Machine Learning · Computer Science 2025-10-16 Antonio Álvarez-López , Martín Hernández

The complete reducibility property for bipartite states reduced the separability problem to a proper subset of positive under partial transpose states and was used to prove several theorems inside and outside entanglement theory. So far…

Quantum Physics · Physics 2025-09-10 Daniel Cariello

The Robbins-Siegmund theorem establishes the convergence of stochastic processes that are almost supermartingales and is one of the most commonly used approaches for analyzing stochastic iterative algorithms in stochastic approximation and…

Machine Learning · Computer Science 2026-05-28 Xinyu Liu , Zixuan Xie , Shangtong Zhang

This work interprets and generalizes consensus-type algorithms as switching dynamics leading to symmetrization of some vector variables with respect to the actions of a finite group. We show how the symmetrization framework we develop…

Quantum Physics · Physics 2015-06-17 Luca Mazzarella , Francesco Ticozzi , Alain Sarlette

To every minimal model of a complete local isolated cDV singularity Donovan--Wemyss associate a finite dimensional symmetric algebra known as the contraction algebra. We construct the first known standard derived equivalences between these…

Representation Theory · Mathematics 2020-02-11 Jenny August

We establish a result which states that regularizing an inverse problem with the gauge of a convex set $C$ yields solutions which are linear combinations of a few extreme points or elements of the extreme rays of $C$. These can be…

Optimization and Control · Mathematics 2018-12-12 Claire Boyer , Antonin Chambolle , Yohann de Castro , Vincent Duval , Frédéric de Gournay , Pierre Weiss

One important factor determining the computational complexity of evaluating a probabilistic network is the cardinality of the state spaces of the nodes. By varying the granularity of the state spaces, one can trade off accuracy in the…

Artificial Intelligence · Computer Science 2013-02-28 Michael P. Wellman , Chao-Lin Liu

Abstract Meaning Representation (AMR) represents sentences as directed, acyclic and rooted graphs, aiming at capturing their meaning in a machine readable format. AMR parsing converts natural language sentences into such graphs. However,…

Computation and Language · Computer Science 2019-04-18 Juri Opitz , Anette Frank

Suppose that an equilibrium is asymptotically stable when external inputs vanish. Then, every bounded trajectory which corresponds to a control which approaches zero and which lies in the domain of attraction of the unforced system, must…

Optimization and Control · Mathematics 2007-05-23 Eduardo D. Sontag

We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity. Usually, confluence of term rewriting systems containing such rules is proved by treating…

Logic in Computer Science · Computer Science 2015-07-01 Takahito Aoto , Yoshihito Toyama

Continued fractions have been introduced in the field of $p$--adic numbers $\mathbb{Q}_p$ by several authors. However, a standard definition is still missing since all the proposed algorithms are not able to replicate all the properties of…

Number Theory · Mathematics 2022-02-21 Nadir Murru , Giuliano Romeo , Giordano Santilli

We study convergence and convergence rates for resampling schemes. Our first main result is a general consistency theorem based on the notion of negative association, which is applied to establish the almost-sure weak convergence of…

Computation · Statistics 2020-01-20 Mathieu Gerber , Nicolas Chopin , Nick Whiteley

Uniform convergence rates are provided for asymptotic representations of sample extremes. These bounds which are universal in the sense that they do not depend on the extreme value index are meant to be extended to arbitrary samples…

Abstract interpretation is a method to automatically find invariants of programs or pieces of code whose semantics is given via least fixed-points. Up-to techniques have been introduced as enhancements of coinduction, an abstract principle…

Logic in Computer Science · Computer Science 2018-05-03 Filippo Bonchi , Pierre Ganty , Roberto Giacobazzi , Dusko Pavlovic

In this paper, we introduce a notion called "Approximate Ultrametricity" which encapsulates the phenomenology of a sequence of random probability measures having supports that behave like ultrametric spaces insofar as they decompose into…

Probability · Mathematics 2017-03-08 Aukosh Jagannath

We analyze the convergence of the Conjugate Gradient (CG) method in exact arithmetic, when the coefficient matrix $A$ is symmetric positive semidefinite and the system is consistent. To do so, we diagonalize $A$ and decompose the algorithm…

Numerical Analysis · Mathematics 2020-05-12 Ken Hayami

This paper deals with the entanglement, as quantified by the negativity, of pure quantum states chosen at random from the invariant Haar measure. We show that it is a constant (0.72037) multiple of the maximum possible entanglement. In line…

Quantum Physics · Physics 2015-05-18 Animesh Datta

The density matrix yields probabilistic information about the outcome of measurements on a quantum system, but it does not distinguish between classical randomness in the preparation of the system and entanglement with its environment.…

Quantum Physics · Physics 2025-09-11 Julien Pinske , Klaus Mølmer

Existing training criteria in automatic speech recognition(ASR) permit the model to freely explore more than one time alignments between the feature and label sequences. In this paper, we use entropy to measure a model's uncertainty, i.e.…

Computation and Language · Computer Science 2022-12-26 Ehsan Variani , Ke Wu , David Rybach , Cyril Allauzen , Michael Riley

One of the basic principles of Approximation Theory is that the quality of approximations increase with the smoothness of the function to be approximated. Functions that are smooth in certain subdomains will have good approximations in…

Numerical Analysis · Mathematics 2016-12-23 Licia Lenarduzzi , Robert Schaback