The mutual information should be always non-negative. So whatever estimator you use, say $\hat I$, I would just define a new estimator based on it say $\hat J= \max(\hat I,0)$. If $\hat I$ is always nonnegative, $\hat J = \hat I$. Otherwise
$\hat J$ would be a strictly better estimator (closer to the truth). $\hat J$ could be biased, but who cares! This is one example where you should trade-off bias for something else.
Personally, I would use an estimator based on the KL divergence definition of the mutual information which is guaranteed to be nnonegative, not based on estimating the entropies in $ H(X) + H(Y) - H(X,Y)$. The idea is to use binning, compute a contingency table (a discretized version of the joint distribution), and then compute the KL divergence between the joint distribution and the distribution with corresponding independent marginals. (There should be ways to fix the bias you get due to binning if the number of samples in each bin is very small. Otherwise this should be a good estimate in itself. Choosing the bin size is generally the tricky problem).
Regarding "Is it acceptable to have > 0 for completely independent variables", you just have to understand the "sampling error" (the inherent uncertainly caused by looking at a finite sample of a distribution). Then it would hopefully make perfect sense.
mm
estimator (Miller-Madow asymptotic bias-corrected empirical estimator). It is the only estimator that can give me a very close value to the correct one. $\endgroup$infotheo
package? $\endgroup$infotheo
package. So, do you advise me to use another estimator? $\endgroup$