Related papers: On the quantitative coarse Baum-Connes conjecture …
The possibility of a fundamental consistency between the basic quantum principles and reduction (so-called wave function reduction) is reexamined. The mathematical description of an organized macroscopic device is constructed explicitly as…
We give a new proof of some cases of the Baum-Connes conjecture along the lines of a proof of the Farrell-Jones conjecture.
We introduce an algebra qCCS of pure quantum processes in which no classical data is involved, communications by moving quantum states physically are allowed, and computations is modeled by super-operators. An operational semantics of qCCS…
Uncertainty quantification (UQ) is essential for deploying machine learning models in safety-critical physical systems, yet classical Bayesian approaches incur substantial computational overhead. We establish a formal connection between…
We obtain the equivariant K-homology of the classifying space \underline{E}W for W a right-angled or, more generally, an even Coxeter group. The key result is a formula for the relative Bredon homology of \underline{E}W in terms of Coxeter…
We provide several new $q$-congruences for truncated basic hypergeometric series, mostly of arbitrary order. Our results include congruences modulo the square or the cube of a cyclotomic polynomial, and in some instances, parametric…
We derive computationally tractable formulations of the robust counterparts of convex quadratic and conic quadratic constraints that are concave in matrix-valued uncertain parameters. We do this for a broad range of uncertainty sets. In…
We develop an Eilenberg-Moore spectral sequence to compute Bredon cohomology of spaces with an action of a group given as a pullback. Using several other spectral sequences, and positive results on the Baum-Connes Conjecture, we are able to…
We study generalizations of Reifenberg's Theorem for measures in $\mathbb R^n$ under assumptions on the Jones' $\beta$-numbers, which appropriately measure how close the support is to being contained in a subspace. Our main results, which…
In this brief note, it is shown that the Bures-Wasserstein (BW) metric on the space positive definite matrices lends itself to convex optimization. In other words, the computation of the BW metric can be posed as a convex optimization…
In this article we prove a global result in the spirit of Basener's theorem regarding the relation between q-pseudoconvexity and q-holomorphic convexity: we prove that any smoothly bounded strictly q-pseudoconvex open subset of the complex…
We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of finite proofs. We prove that the theory of interpolative…
We introduce a homological approach to exhibiting instances of Stembridge's q=-1 phenomenon. This approach is shown to explain two important instances of the phenomenon, namely that of partitions whose Ferrers diagrams fit in a rectangle of…
Using the Baum-Connes conjecture with coefficients, we develop a K-theory formula for reduced C*-algebras of strongly $0$-$E$-unitary inverse semigroups, or equivalently, for certain reduced partial crossed products. In the case of…
Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…
In this paper, we study the Br\"{u}ck conjecture \cite{Bruck-1996} by interpreting it through solutions of first-order partial differential equations in several complex variables. Our results show that the Br\"{u}ck conjecture…
In this short note we report on results on a computational search for a counterexample to the strong coincidence conjecture. In particular, we discuss the method used so that further searches can be conducted.
We exploit symmetries to give short proofs for two prominent formula families of QBF proof complexity. On the one hand, we employ symmetry breakers. On the other hand, we enrich the (relatively weak) QBF resolution calculus Q-Res with the…
We show that complex semisimple quantum groups, that is, Drinfeld doubles of $ q $-deformations of compact semisimple Lie groups, satisfy a categorical version of the Baum-Connes conjecture with trivial coefficients. This approach, based on…
We study kernel quadrature rules with convex weights. Our approach combines the spectral properties of the kernel with recombination results about point measures. This results in effective algorithms that construct convex quadrature rules…