相关论文: The weak pigeonhole principle for function classes…

A weak value is an effective description of the influence of a pre and post-selected 'principal' system on another 'meter' system to which it is weakly coupled. Weak values can describe anomalously large deflections of the meter, and…

We prove a duality relation and an integration by parts formula for fractional operators with a general analytical kernel. Based on these basic results, we are able to prove a new Gronwall's inequality and continuity and differentiability…

Let $(X_n)$ be a sequence of random variables with values in a standard Borel space $S$. We investigate the condition \begin{gather}\label{x56w1q} E\bigl\{f(X_{n+1})\mid X_1,\ldots,X_n\bigr\}\,\quad\text{converges in probability,}\tag{*}…

This paper introduces a more restrictive notion of feasibility of functionals on Baire space than the established one from second-order complexity theory. Thereby making it possible to consider functions on the natural numbers as running…

We develop a formal theory of the weak values with emphasis on the consistency conditions and a probabilistic interpretation in the counter-factual processes. We present the condition for the choice of the post-selected state to give a…

We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies…

The classes of FP-injective and weakly quasi-Frobenius rings are investigated. The properties for both classes of rings are closely linked with embedding of finitely presented modules in fp-flat and free modules respectively. Using these…

S-Boxes are important security components of block ciphers. We provide theoretical results on necessary or sufficient criteria for an (invertible) 4-bit S-Box to be weakly APN. Thanks to a classification of 4-bit invertible S-Boxes achieved…

We develop the abstract framework for a proof-theoretic analysis of theories with scope beyond ordinal numbers, resulting in an analog of Ordinal Analysis aimed at the study of theorems of complexity $\Pi^1_2$. This is done by replacing the…

Today we have quite stringent constraints on possible violations of the Weak Equivalence Principle from the comparison of the acceleration of test-bodies of different composition in Earth's gravitational field. In the present paper, we…

The existence of string functions, which are not polynomial time computable, but whose graph is checkable in polynomial time, is a basic assumption in cryptography. We prove that in the framework of algebraic complexity, there are no such…

In this note we give a summary of [arXiv:2401.14449] in which we proposed a proof of the weak gravity conjecture in perturbative string theory. While the WGC is well established, checked in many examples, and many of the ingredients we use…

Weak superimposed codes are combinatorial structures related closely to generalized cover-free families, superimposed codes, and disjunct matrices in that they are only required to satisfy similar but less stringent conditions. This class…

The outcome of a weak quantum measurement conditioned to a subsequent postselection (a weak value protocol) can assume peculiar values. These results cannot be explained in terms of conditional probabilistic outcomes of projective…

Recently there has been an interest in applying the concept of weak values and weak measurements to condensed matter systems. Here a weak measurement protocol is proposed for obtaining the $Z_2$ index of a topological insulator. The setup…

Polynomial functions on the group of units Q_n of the ring Z_{2^n} are considered. A finite set of reduced polynomials RP_n in Z[x] that induces the polynomial functions on Q_n is determined. Each polynomial function on Q_n is induced by a…

The notion of weak tiling was a key ingredient in the proof of Fuglede's spectral set conjecture for convex bodies \cite{conv}, due to the fact that every spectral set tiles its complement weakly with a suitable Borel measure. In this paper…

We study the problem of obtaining lower bounds for polynomial calculus (PC) and polynomial calculus resolution (PCR) on proof degree, and hence by [Impagliazzo et al. '99] also on proof size. [Alekhnovich and Razborov '03] established that…

The empirical copula process plays a central role in the asymptotic analysis of many statistical procedures which are based on copulas or ranks. Among other applications, results regarding its weak convergence can be used to develop…

We prove that Ringel duality in the category of strict polynomial functors can be interpreted as derived functors of non-additive functors (in the sense of Dold and Puppe). We give applications of this fact for both theories.