English
Related papers

Related papers: An axiomatization of $\Lambda$-quantiles

200 papers

The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while…

Logic in Computer Science · Computer Science 2012-03-29 Pablo Buiras , Alejandro Díaz-Caro , Mauro Jaskelioff

We introduce new formulations of aperiodicity and cofinality for finitely aligned higher-rank graphs \Lambda, and prove that C*(\Lambda) is simple if and only if \Lambda is aperiodic and cofinal. The main advantage of our versions of…

Operator Algebras · Mathematics 2015-05-13 Peter Lewin , Aidan Sims

We provide a proof of strong normalisation for lambda+, a recently introduced, explicitly typed, non-deterministic lambda-calculus where isomorphic propositions are identified. Such a proof is a non-trivial adaptation of the reducibility…

Logic in Computer Science · Computer Science 2014-01-09 Alejandro Díaz-Caro , Gilles Dowek

It is well known that it is impossible to construct useful confidence intervals (CIs) about the mean or median of a response $Y$ conditional on features $X = x$ without making strong assumptions about the joint distribution of $X$ and $Y$.…

Methodology · Statistics 2024-01-29 Jayoon Jang , Emmanuel Candès

We define $\lambda(r)$-convergence, which is a generalization of nontangential convergence in the unit disc. We prove Fatou-type theorems on almost everywhere nontangential convergence of Poisson-Stiltjes integrals for general kernels…

Classical Analysis and ODEs · Mathematics 2022-11-08 G. A. Karagulyan , M. H. Safaryan

Quasi-probabilities appear across diverse areas of physics, but their conceptual foundations remain unclear: they are often treated merely as computational tools, and operations like conditioning and Bayes' theorem become ambiguous. We…

Quantum Physics · Physics 2026-02-16 Jacopo Surace

We introduce a new quantification of nonuniform ellipticity in variational problems via convex duality, and prove higher differentiability and $2d$-smoothness results for vector valued minimizers of possibly degenerate functionals. Our…

Analysis of PDEs · Mathematics 2024-04-30 Cristiana De Filippis , Lukas Koch , Jan Kristensen

The paper is a brief informal introduction to C*-algebraic foundations of causal contextual subquantum theories. In particular, it is explained how the contextuality property (which is a necessary consistency condition of all causal…

Quantum Physics · Physics 2007-05-23 Micho Durdevich

In 1948, W. Hoeffding introduced a large class of unbiased estimators called U-statistics, defined as the average value of a real-valued m-variate function h calculated at all possible sets of m points from a random sample. In the present…

Methodology · Statistics 2009-06-09 Michael Mayer

We propose a definition of mass for characteristic hypersurfaces in asymptotically vacuum space-times with non-vanishing cosmological constant $\Lambda \in {\mathbb R}^*$, generalising the definition of Trautman and Bondi for $\Lambda=0$.…

General Relativity and Quantum Cosmology · Physics 2016-07-06 Piotr T. Chruściel , Lukas Ifsits

We establish a non-Archimedean analogue of Koksma's theorem. For a local field F of characteristic zero, we prove that the sequence ([{\alpha}x^n]) is uniformly distributed in the valuation ring O for almost every x with |x|_p>1. In the…

Number Theory · Mathematics 2025-12-08 Aihua Fan , Shilei Fan , Hanfei Ye

The changes that quantum states undergo during measurement are both probabilistic and nonlocal. These two characteristics complement one another to insure compatibility with relativity and maintain conservation laws. The probabilistic…

Quantum Physics · Physics 2026-02-13 Edward J. Gillis

Quantiles are a fundamental concept in probability and theoretical statistics and a daily tool in their applications. While the univariate concept of quantiles is quite clear and well understood, its multivariate extension is more…

Statistics Theory · Mathematics 2024-01-08 Marc Hallin , Dimitri Konen

Let $X_1, X_2,\ldots, X_n$ (resp. $Y_1, Y_2,\ldots, Y_n$) be independent random variables such that $X_i$ (resp. $Y_i$) follows generalized exponential distribution with shape parameter $\theta_i$ and scale parameter $\lambda_i$ (resp.…

Applications · Statistics 2016-01-18 Amarjit Kundu , Shovan Chowdhury , Asok K. Nanda , Nil Kamal Hazra

We propose a generalization of the linear panel quantile regression model to accommodate both \textit{sparse} and \textit{dense} parts: sparse means while the number of covariates available is large, potentially only a much smaller number…

Econometrics · Economics 2022-08-24 Alexandre Belloni , Mingli Chen , Oscar Hernan Madrid Padilla , Zixuan , Wang

This paper evolves a new non-perturbative theory by which the problem of infinities appearing in quantum physics can be handled. Its most important application is an exact derivation of the Lamb shift formula by using no renormalization.…

Mathematical Physics · Physics 2008-02-14 Zoltan Imre Szabo

We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vectorial (as well as Lineal) has been originally designed for quantum computing, as an extension to System F where linear combinations of lambda terms are also terms and…

Logic in Computer Science · Computer Science 2021-05-17 Francisco Noriega , Alejandro Díaz-Caro

The demonstration and use of nonlocality, as defined by Bell's theorem, rely strongly on dealing with non-detection events due to losses and detector inefficiencies. Otherwise, the so-called detection loophole could be exploited. The only…

Quantum Physics · Physics 2016-01-20 Gilles Pütz , Nicolas Gisin

It is argued that while quantum mechanics contains nonlocal or entangled states, the instantaneous or nonlocal influences sometimes thought to be present due to violations of Bell inequalities in fact arise from mistaken attempts to apply…

Quantum Physics · Physics 2012-02-22 Robert B. Griffiths

This article supplements recent work of the authors. (1) A criterion for failure of covariant finiteness of a full subcategory of $\Lambda\text{-mod}$ is given, where $\Lambda$ is a finite dimensional algebra. The criterion is applied to…

Representation Theory · Mathematics 2014-07-10 B. Huisgen-Zimmermann , S. O. Smalø