Proving $\frac{1}{2^n}\sum_{z\in\{0,1\}^n} (-1)^{z\cdot (x\oplus y)}=\delta_{xy}$, where $x\oplus y$ is the bitwise sum

I am not able to prove in general the case in which $x\ne y$

Suppose $x\ne y$, and let $a:=x\oplus y.$ Then $a$ has a leftmost $1$-bit, say in position $p$. For any $z$ whose $p$th bit is $1$ (i.e. matching $a$ at that bit), let $f_a(z)$ be the result of flipping that bit in $z$ (so as to not match $a$ at that bit). Now, among the $2^n$ $z$ values, exactly half of them match the leftmost $1$-bit of $a$ and half do not; furthermore, $z\cdot a$ and $f_a(z)\cdot a$ have opposite parity, hence $$\begin{align}\sum_{z\in\{0,1\}^n} (-1)^{z\cdot a}&=\sum_{z\in\{0,1\}^n:\text{$z$ matches the leftmost $1$-bit in $a$}} \left((-1)^{z\cdot a}+(-1)^{f_a(z)\cdot a}\right)=0. \end{align}$$


As mentioned in the comments, the key is to distribute and distribute and distribute: \begin{align} \frac{1}{2^n}\sum_{z\in\{0,1\}^n} (-1)^{z\cdot (x\oplus y)} & = \frac{1}{2^n}\sum_{z\in\{0,1\}^n} (-1)^{\sum_i z_i(x_i\oplus y_i)} \\ & = \frac{1}{2\stackrel{n}{\cdots}2} \sum_{z_1\in\{0,1\}} \cdots \sum_{z_n\in\{0,1\}} (-1)^{z_1(x_1\oplus y_1)} \cdots (-1)^{z_n(x_n\oplus y_n)} \\ & = \left( \frac12 \sum_{z_1\in\{0,1\}} (-1)^{z_1(x_1\oplus y_1)} \right) \cdots \left( \frac12 \sum_{z_n\in\{0,1\}} (-1)^{z_n(x_n\oplus y_n)} \right) \end{align} In other words, the problem reduces to a product of copies of the $n=1$ case, which you've solved already.

Tags:

Quantum Mechanics

Quantum Information

Related

Abelian finite groups and their subgroups If $x$ and $y$ are integer variables that have value $0$ or $1$, then what does the expression $x + y - xy$ mean? Let $a_2,a_3,\cdots,a_n$ be positive real numbers and $s=a_2+a_3+\cdots+a_n$. Show that $\sum\limits_{k=2}^na_k^{1-\frac{1}{k}}<s+2\sqrt{s}$ If $H$ is a subgroup of a group $G$, is there a standard name for subsets of the form $xHy$? Find all positive integers $x$ and $y$ for which $\frac{1}{x} + \frac{1}{y} = \frac{1}{p}.$ Prove that $\tan^{-1}\frac{\sqrt{1+x^2}+\sqrt{1-x^2}}{\sqrt{1+x^2}-\sqrt{1-x^2}}=\frac{\pi}{4}+\frac 12 \cos^{-1}x^2$ Solve $2x^2+y^2-z=2\sqrt{4x+8y-z}-19$ Evaluating $\int_{0}^{2\pi}\frac{1}{\cos^2(\theta)+1}\, d\theta$ Is there an explicit construction of this bijection? Small-angle approximation of $ \frac{\sin^2 x}{x^2 \sqrt{1-\frac{\sin^2 x}{3}}} $ What loops are possible when doing this function to the rationals? Do functions with the same gradient differ by a constant?

Recent Posts