相关论文: An Inverse Ackermannian Lower Bound on the Local U…

In the general context of computable metric spaces and computable measures we prove a kind of constructive Borel-Cantelli lemma: given a sequence (constructive in some way) of sets $A_{i}$ with effectively summable measures, there are…

We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…

We construct, assuming Jensen's principle diamond, a one-dimensional locally connected hereditarily separable continuum without convergent sequences. The construction is an inverse limit in omega_1 steps, and is patterned after the original…

Structural causal models provide a unified semantics for interventions and counterfactuals, but most identifiability results rely on restrictive assumptions like global monotonicity, which are often violated in embodied interaction, where…

Let \Gamma be a non-cocompact lattice on a locally finite regular right-angled building X. We prove that if \Gamma has a strict fundamental domain then \Gamma is not finitely generated. We use the separation properties of subcomplexes of X…

All constructive methods employed in modern mathematics produce only countable sets, even when designed to transcend countability. We show that any constructive argument for uncountability -- excluding diagonalization techniques --…

As is well known, an external magnetic field in configuration space coupled to a quantum dynamics induces noncommutativity in its velocity momentum space. By phase space duality, an external vector potential in the conjugate momentum sector…

We introduce and study a non uniform hyperbolicity condition for complex rational maps, that does not involve a growth condition. We call this condition Backward Contraction. We show this condition is weaker than the Collet-Eckmann…

We present a possible scheme to tamper with non-local quantum correlations in a way that is consistent with relativistic causality, but goes beyond quantum mechanics. A non-local ``jamming" mechanism, operating within a certain space-time…

We utilize quantum superposition principle to establish the improvable upper and lower bounds on the stronger uncertainty relation, i.e., the "weighted-like" sum of the variances of observables. Our bounds include some free parameters which…

We develop locale theory constructively and predicatively in univalent foundations (UF), with a particular focus on the theory of spectral and Stone locales. In the context of UF, predicativity refers specifically to the development of…

In this article we develope a spinorial proof of the Shi-Tam theorem for the positivity of the Brown-York mass without necessity of building non smooth infinite asymptotically flat hypersurfaces in the Euclidean space and use the positivity…

Examples of non-standard construction of Hamiltonian structures for dynamical systems and the respective Hamilton-Jacobi (H-J) equations, without using Lagrangians, are presented. Alternative H-J equations for Euler top are explicitly…

If $X$ is a closed subspace of a Banach space $L$ which embeds into a Banach lattice not containing $\ell_\infty^n$'s uniformly and $L/X$ contains $\ell_\infty^n$'s uniformly, then $X$ cannot have local unconditional structure in the sense…

We study an ergodic problem associated to a non-local Hamilton-Jacobi equation defined on the whole space $\lambda-\mathcal{L}[u](x)+|Du(x)|^m=f(x)$ and determine whether (unbounded) solutions exist or not. We prove that there is a…

In this paper, we compute uncertainty relations for non-commutative space and obtain a better lower bound than the standard one obtained from Heisenberg's uncertainty relation. We also derive the reverse uncertainty relation for product and…

We initiate the study of the Stam region, defined as the subset of the positive orthant in $\mathbb{R}^{2^n-1}$ that arises from considering entropy powers of subset sums of $n$ independent random vectors in a Euclidean space of finite…

We define and study the independent natural extension of two local uncertainty models for the general case of infinite spaces, using the frameworks of sets of desirable gambles and conditional lower previsions. In contrast to Miranda and…

We consider a two-point spatial lattice approximation to an open string moving in a flat background with B field. It gives a constrained dipole system under the influence of a vector potential. Solving and quantizing this system recover all…

We investigate the unconditional basis property of martingale differences in weighted $L^2$ spaces in the non-homogeneous situation (i.e. when the reference measure is not doubling). Specifically, we prove that finiteness of the quantity…