Related papers: Comparing DNR and WWKL
Let $p$ be a fixed prime number, and $N$ be a large integer. The 'Inverse Conjecture for the Gowers norm' states that if the "$d$-th Gowers norm" of a function $f:\F_p^N \to \F_p$ is non-negligible, that is larger than a constant…
Weighted low-rank approximation (WLRA), a dimensionality reduction technique for data analysis, has been successfully used in several applications, such as in collaborative filtering to design recommender systems or in computer vision to…
We verify conjecture 5.11 of Panyushev [\emph{Antichains in weight posets associated with gradings of simple Lie algebras}, Math Z 281(3):1191--1214, 2015].
This paper studies chemical kinetic systems which decompose into weakly reversible complex factorizable (CF) systems. Among power law kinetic systems, CF systems (denoted as PL-RDK systems) are those where branching reactions of a reactant…
We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e.…
A set C of reals is said to be negligible if there is no probabilistic algorithm which generates a member of C with positive probability. Various classes have been proven to be negligible, for example the Turing upper-cone of a…
A function from sequences to their subsequences is called selection function. A selection function is called admissible (with respect to normal numbers) if for all normal numbers, their subsequences obtained by the selection function are…
Let $f :\R\to\R$ be a continuous function. We prove that under some additional assumptions on $f$ and $A:\R\to\R_{+}$, weak $\Cuno$ solutions of the differential inequality $-\diver(A(\abs{\nabla u})\nabla u)\ge f(u)$ on $\RN$ are…
Following a result of Bennewitz-Lewis for non-doubling harmonic measure, we prove a criterion for non-doubling caloric measure to satisfy a weak reverse Holder inequality on an open set $\Omega$, assuming as a background hypothesis only…
Dunkl operators are differential-difference operators parametrized by a finite reflection group and a weight function. The commutative algebra generated by these operators generalizes the algebra of standard differential operators and…
Let $R$ be a ring. An $R$-module $M$ is said to be a weak $w$-projective module if ${\rm Ext}_R^1(M,N)=0$ for all $N \in \mathcal{P}_{w}^{\dagger_\infty}$ (see, \cite{FLQ}). In this paper, we introduce and study some properties of weak…
Deep Neural Networks (DNNs) have been shown to be vulnerable to adversarial examples. While numerous successful adversarial attacks have been proposed, defenses against these attacks remain relatively understudied. Existing defense…
Chemical reaction networks, or CRNs, are known to stably compute semilinear Boolean-valued predicates and functions, provided that all reactions are irreversible. However, this property does not hold for wet-lab implementations, as all…
Difference Logic (DL) is a fragment of linear arithmetics where atoms are constraints x+k <= y for variables x,y (ranging over Q or Z) and integer k. We study the complexity of deciding the truth of existential DL sentences. This problem…
The notion of well order admits an alternative definition in terms of embeddings between initial segments. We use the framework of reverse mathematics to investigate the logical strength of this definition and its connection with…
A compact space is said to be weakly Radon-Nikod\'{y}m (WRN) if it can be weak*-embedded into the dual of a Banach space not containing $\ell_1$. We investigate WRN Boolean algebras, i.e. algebras whose Stone space is WRN compact. We show…
Recent work by Lakshminarayanan and Singh [2020] provided a dual view for fully connected deep neural networks (DNNs) with rectified linear units (ReLU). It was shown that (i) the information in the gates is analytically characterised by a…
It is shown that $u_k \cdot v_k$ converges weakly to $u\cdot v$ if $u_k\weakto u$ weakly in $L^p$ and $v_k\weakly v$ weakly in $L^q$ with $p, q\in (1,\infty)$, $1/p+1/q=1$, under the additional assumptions that the sequences $\Div u_k$ and…
Contemporary wisdom based on empirical studies suggests that standard recurrent neural networks (RNNs) do not perform well on tasks requiring long-term memory. However, precise reasoning for this behavior is still unknown. This paper…
A regularity lemma for polynomials provides a decomposition in terms of a bounded number of approximately independent polynomials. Such regularity lemmas play an important role in numerous results, yet suffer from the familiar shortcoming…