brain
tamnd's digital brain — notes, problems, research
41641 notes
Let T = \sum_{1 \le j < k \le n} (u_j - u_k)(v_j - v_k).
For each integer $j$ with $1 \le j \le n$, define S_j = \sum_{i=1}^m a_{ij}.
Let $x_1, x_2, \ldots, x_n$ be distinct numbers and define $P(x)=\prod_{k=1}^n (x-x_k).$ Then for each $j$, $P'(x_j)=\prod_{\substack{1\le k\le n\\ k\ne j}}(x_j-x_k).$ For an integer $r\ge 0$, define...
For $j \ge 2$, 1 - \frac{1}{j^2} = \frac{j^2 - 1}{j^2} = \frac{(j-1)(j+1)}{j^2} = \frac{j-1}{j} \cdot \frac{j+1}{j}.
Let $S=\sum_{j=1}^n a_j x_j,\qquad T=\sum_{j=1}^n b_j y_j.$ Then $ST=\left(\sum_{j=1}^n a_j x_j\right)\left(\sum_{k=1}^n b_k y_k\right)=\sum_{j=1}^n\sum_{k=1}^n a_j b_k x_j y_k. \eqno(1)$ Similarly, $...
The iterated sum \sum_{i=0}^n \sum_{j=0}^i \sum_{k=0}^j a_i a_j a_k ranges over all integer triples satisfying
The first equality \left(\sum_{i=1}^n a_i\right)\left(\sum_{j=1}^n \frac{1}{a_j}\right) = \sum_{1 \le i \le n} \sum_{1 \le j \le n} \frac{a_i}{a_j} follows directly from the distributive law (4), appl...
Let $P_n = \prod_{j=1}^n (1 - a_j)$ and $S_n = \sum_{j=1}^n a_j$, where $0 < a_j < 1$ for each $j$.
Let $J$ be the finite set of all integers $j$ for which $R(j)$ is true, and let $|J| = n$.
Let P=\prod_{i=0}^n \prod_{j=0}^i a_i a_j.
The product notation is defined in Eq.
When no integer satisfies $R(j)$, the expression $\sum_{R(j)} a_j$ must behave as an additive identity so that identities such as Eq.
From (17), each restricted sum may be written as a full sum using Iverson’s convention: \sum_{R(j)} a_j = \sum_j a_j [R(j)], \qquad \sum_{S(j)} a_j = \sum_j a_j [S(j)].
Let $R(i)$ be the relation “$i$ is a positive integer such that $n$ is a multiple of $i$,” equivalently $i \mid n$, and let $S(i,j)$ be the relation $1 \le j < i$.
$\sum_{j=m}^n (a_j - a_{j-1}) = \sum_{j=m}^n a_j - \sum_{j=m}^n a_{j-1}.$ The first term is unchanged.
Let $k \ge 1$.
Each term in $\sum_{j \in S} 1$ contributes the value $1$ once for every integer $j$ contained in $S$.
Let S_n = \sum_{k=1}^{n} k 2^k.
Let S=\sum_{j=0}^n jx^j.
Let $S=\sum_{j=m}^n \sum_{k=r}^s jk.$ For fixed $j$, the factor $j$ does not depend on $k$, hence $\sum_{k=r}^s jk = j \sum_{k=r}^s k.$ Substituting into $S$ gives $S=\sum_{j=m}^n \left(j \sum_{k=r}^s...
From equation (15) with $a=0$ and $b=1$, $\sum_{0 \le j \le N} j = \frac{1}{2}N(N+1).$ This gives $\sum_{j=0}^n j = \frac{1}{2}n(n+1), \qquad \sum_{j=0}^{m-1} j = \frac{1}{2}(m-1)m.$ Since $m \le n$,...
Let S = 1 + \frac{1}{7} + \frac{1}{7^2} + \cdots + \left(\frac{1}{7}\right)^n.
No.
If $x = 1$, each term $a x^j$ in the sum $\sum_{0 \le j \le n} a x^j$ becomes $a$.
We consider the standard derivation of Eq.
Let A_n=\sum_{i=1}^n a_i,\qquad B_m=\sum_{j=1}^m b_j, and assume both series $\sum_i a_i$ and $\sum_j b_j$ converge, so
Define the transformation $p(j)=c-j$.
Let $R,S \subseteq \mathbb{Z}$, and let $(a_j)$ be an arbitrary real-valued sequence.
Let $R(i)$ and $S(j)$ both be the relation $i \ge 0$ and $j \ge 0$.
The expression $a_1 + a_2 + \cdots + a_0$ contains no indices $j$ satisfying $1 \le j \le 0$, so it is a sum over an empty set of indices and is defined to be $0$.
For the first sum, the condition $0 \le n \le 5$ restricts $n$ to the six integers $0,1,2,3,4,5$.
The notation $\sum_{1 \le j \le n} a_j$ means the sum of $a_j$ over all integers $j$ satisfying $1 \le j \le n$.
For $n = 3$, the left-hand side of Eq.
For $b>1$, $b \log_b x = b \frac{\ln x}{\ln b} = (\ln x)\frac{b}{\ln b}.$ Since $x>1$, the factor $\ln x$ is positive and independent of $b$, so minimizing $b \log_b x$ is equivalent to minimizing $g(...
Let $t = \ln x$.
The goal is to compute $b^x$ for $0 \le x < 1$ using only shifting, addition, and subtraction, and to analyze accuracy.
The reviewer’s objections identify a real structural gap: the original proof implicitly assumed identical normalization behavior and uncontrolled error collapse.
The key error in the previous solution is the assumption that a right shift implements exact division by a power of two.
Let $x > 0$.
We restart from a consistent floating-point model and propagate the error through the iterative state update.
Let $\ln x$ be interpreted as the area described in Fig.
For $x>0$, the binary, natural, and common logarithms are related by change of base: $\lg x = \frac{\ln x}{\ln 2}, \qquad \log_{10} x = \frac{\ln x}{\ln 10}.$ Hence $\ln x + \log_{10} x = \ln x \left(...
Assume $b>0$, $b\ne 1$, and $x>1$ so that all logarithms and iterated logarithms are defined.
Using the change of base formula (14) with base $2$, \log_8 x = \frac{\log_2 x}{\log_2 8}.
A 14-digit decimal integer $n$ satisfies $10^{13} \le n \le 10^{14} - 1.$ A computer word with 47 bits for magnitude and one sign bit can represent integers in the range $- (2^{47} - 1) \le n \le 2^{4...
$\lg 32 = \log_2 32 = 5$, because $2^5 = 32$.
From equation (14), taking base $b=2$ and $c=10$, one obtains $\log_{10} 2 = \frac{\log_2 2}{\log_2 10}.$ Since $\log_2 2 = 1$ by equation (9), this simplifies to $\log_{10} 2 = \frac{1}{\log_2 10}.$...
For $x,y>0$, write $\frac{x}{y} = x \cdot \frac{1}{y}.$ Using Eq.
Let $b > 0$, $b \ne 1$, $c > 0$, and let $y$ be a real number.
Let $x>0$ and let $n$ be a positive integer.
From equation (14), with $b = e$ and $c = 10$, one obtains $\log_{10} x = \frac{\log_e x}{\log_e 10}.$ By definition (15), $\log_e x = \ln x$ and $\log_e 10 = \ln 10$, hence $\log_{10} x = \frac{\ln x...
Let $y = 10^x$.
Let $m$ be a positive integer and let $u>0$.
Since $10^x$ is strictly increasing for real $x$ when $10>1$, the inequalities in (8) imply $10^{0.30102999} < 2 < 10^{0.30103000}.$ Applying the monotonicity of $10^x$ and the definition of logarithm...
Let $b>0$, and let $x=\frac{p}{q}$ and $y=\frac{r}{s}$, where $p,r\in\mathbb{Z}$ and $q,s$ are positive integers.
Assume that $\log_{10} 2$ is rational.
The issue is that decimal expansions are not unique.
We compute (0.
A real number $x$ can be defined by a binary expansion $x = n + 0.b_1 b_2 b_3 \ldots,$ where $n$ is an integer and each $b_i \in {0,1}$, with the restriction that the sequence does not end in infinite...
Let the exponentiation of an integer exponent be defined as in Eq.
Let $r$ be a positive rational number.
The flaw in the previous solution is not the asymptotic analysis itself, but the unjustified introduction of the factor $(n/2)^{1-k/2}$.
The expression $1 + 0.239999999\ldots$ equals the real number whose fractional part is $0.239999999\ldots$, hence it represents $1.239999999\ldots$.
Let $b^n$ be defined for integer $n$ by the rules in (4).
For fixed integer $n>0$, consider the series S(n) = 1 + \frac{n}{n+1} + \frac{n}{n+1}\frac{n+1}{n+2} + \cdots = \sum_{k \ge 0} a_k,
The function $Q(n)$ is defined in this section so that its normalization removes the factor $n^n$ from sums of the form \sum_{k=0}^n \binom{n}{k} k^k (n-k)^{n-k}.
The previous argument fails because it never uses a valid definition of $Q(k)$ and therefore cannot justify any of the inversion steps.
Write C_n=\int_0^r e^{-nx}f(x)\,dx+\int_r^\infty e^{-nx}f(x)\,dx = A_n+B_n.
Start from the identity \left(1+\frac{u}{x}\right)^x = \exp\!
Consider I=\int_0^\infty \left(1+\frac{z}{n}\right)^n e^{-z}\,dz.
We restart from the integrand and determine all contributions that survive after integration down to order $O(x^{-2})$.
Start from Eq.
The errors in the previous solution stem from treating the Euler–Maclaurin remainder and the size of $f^{(3)}$ in a purely global way, and from introducing an unsupported “cancellation” step.
From the definition, v = u - \ln(1+u).
Start from the exact factorization \frac{(n+\alpha)^n}{n^{n+\beta}} = n^{-\beta}\left(1+\frac{\alpha}{n}\right)^n.
The previous solution fails because it treats a non-power-series manipulation as if it were coefficient algebra.
Assume $g(n)=\Omega(f(n))$.
Let S_n(x)=\sum_{k=0}^{n}\frac{x^k}{k!
Let \gamma(a,x)=\int_0^x e^{-t}t^{a-1}\,dt,\qquad a>0,\ x\ge 0.
From the definition of the exponential function, e^x = \sum_{k\ge 0}\frac{x^k}{k!
Let m = an^2 + bn.
Let \binom{2n}{n}=\frac{(2n)!
We are given a string s of length n, and we should think of every occurrence of a character as a position on a line. Moving between two positions has a cost that depends on whether the characters are the same.
Let $u(z)=O(z^m)$ as $z\to 0$.
Let $f(x)=x^m$.
We restart the argument using a representation of $\Gamma$ that avoids any delicate extraction from the digamma kernel.
Let P_n = 1^1 2^2 3^3 \cdots n^n.
Assume n!
Equation (7) in Section 1.
Equation (10) is obtained in Euler’s summation formula by repeated application of finite-difference identities that depend on a specific sequence of coefficients introduced in Eq.
Let $m=2k>0$ and assume $f^{(m)}(x)$ has constant sign on $1\le x\le n$.
Let $a_1a_2\ldots a_n$ be a permutation of ${1,2,\ldots,n}$ and let $b_1b_2\ldots b_n$ be its inverse, so that a_k = l \iff b_l = k.
The error in the previous solution is not in the Chernoff optimization step or the reduction to a KL divergence, but in the justification of the quadratic lower bound.
Let $d_k = a_k - b_k$, where $b_1 \le b_2 \le \cdots \le b_n$.
Let $G(z)=\prod_{k=1}^n (q_k+p_k z)$ be the probability generating function of $X$.
Let $g_i(z)=\sum_k p^{(i)}_k z^k$ be the generating function of distribution $g_i$, so $p^{(i)}_k$ is the probability that the value equals $k$.
Let the multiset consist of $k_i$ copies of value $i$, $1\le i\le n$, with \sum_{i=1}^n k_i = n.
The probability that the quantity has value $k$ is $e^{-\mu}\frac{\mu^k}{k!}$.
Let f(z)=\sum_{k\ge 0} a_k z^k,\qquad g(z)=\sum_{n\ge 0} b_n z^n be probability generating functions.
Let $G(z)=\sum_k p_k z^k$ be the probability generating function of a distribution for a random variable $A$.