Related papers: Intermediate models and Kinna--Wagner Principles
We consider a certain class of infinitary rules of inference, called here restriction rules, using of which allows us to deduce complete theories of given models. The first instance of such rules was the $\omega$-rule introduced by Hilbert,…
We present a discussion of the extended Wigner's friend thought experiment proposed by Frauchiger and Renner in [1]. We show by using various arguments, including textbook quantum mechanics and the ontological approach of Contexts, Systems,…
We study the set of circuits of a homogeneous ideal and that of its truncations, and introduce the notion of generic circuits set. We show how this is a well-defined invariant that can be used, in the case of initial ideals with respect to…
We analyze the notion of guessing model, a way to assign combinatorial properties to arbitrary regular cardinals. Guessing models can be used, in combination with inaccessibility, to characterize various large cardinals axioms, ranging from…
The Wigner function of a finite-dimensional system can be constructed via dual pairing of a density matrix with the Stratonovich-Weyl kernel. Following Kenfack and $\dot{\text{Z}}$yczkowski, we consider the indicator of nonclassicality of a…
We prove the following Return Times Theorem along the sequence of prime times, the first extension of the Return Times Theorem to arithmetic sequences: For every probability space, $(\Omega,\nu)$, equipped with a measure-preserving…
A phase space formulation of the filtering process upon an incident quantum state is developed. This formulation can explain the results of both quantum interference and delayed-choice experiments without making use of the controversial…
In this article we prove a version of Kolyvagin's conjecture for modular forms at non-ordinary primes. In particular, we generalize the work of Wang on a converse to a higher weight Gross-Zagier-Kolyvagin theorem in order to prove the…
In this paper we first formulate several ``combinatorial principles'' concerning kappa \times omega matrices of subsets of omega and prove that they are valid in the generic extension obtained by adding any number of Cohen reals to any…
Let $0\leq \alpha<n$, $m\in \mathbb{N}$ and let consider $T_{\alpha,m}$ be a of integral operator, given by kernel of the form $$K(x,y)=k_1(x-A_1y)k_2(x-A_2y)\dots k_m(x-A_my),$$ where $A_i$ are invertible matrices and each $k_i$ satisfies…
A wavelet is a special case of a vector in a separable Hilbert space that generates a basis under the action of a collection, or system, of unitary operators. We will describe the operator-interpolation approach to wavelet theory using the…
The primary purpose of this paper is to study the Wiener-type regularity criteria for non-linear equations driven by integro-differential operators, whose model is the fractional $p-$Laplace equation. In doing so, with the help of tools…
The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…
Convergence of the ensemble Kalman filter in the limit for large ensembles to the Kalman filter is proved. In each step of the filter, convergence of the ensemble sample covariance follows from a weak law of large numbers for exchangeable…
We consider the ``visible'' Wigner matrix, a Wigner matrix whose $(i, j)$-th entry is coerced to zero if $i, j$ are co-prime. Using a recent result from elementary number theory on co-primality patterns in integers, we show that the…
This work brings together the moment matching approach based on Loewner functions and the classical Loewner framework based on the Loewner pencil in the case of bilinear systems. New Loewner functions are defined based on the bilinear…
Automated decision support systems that are able to infer second opinions from experts can potentially facilitate a more efficient allocation of resources; they can help decide when and from whom to seek a second opinion. In this paper, we…
A well known conjecture of Wigner, Dyson, and Mehta asserts that the (appropriately normalized) $k$-point correlation functions of the eigenvalues of random $n \times n$ Wigner matrices in the bulk of the spectrum converge (in various…
Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets (UDTFS). This settles a conjecture of Laskowski.
We present a comprehensive analysis of the convergence properties of the frame operators of Weyl-Heisenberg systems and shift-invariant systems, and relate these to the convergence of the Walnut representation. We give a deep analysis of…