Cameologist

Tina的小站,随机胡诌&科研笔记。调试中...

0%

容斥原理是一种组合数学方法,可以求集合并的大小,计算复合事件的概率。

容斥原理

对 n 个集合求并集中的元素,可以先加起来,再逐项减去交集中的元素。

$\left|\bigcup_{i=1}^n A_i\right|=\sum_{i=1}^n\left|A_i\right|-\sum_{i, j: 1 \leq i<j \leq n}\left|A_i \cap A_j\right|+\sum_{i, j, k:} \sum_{1 \leq i<j<k \leq n}\left|A_i \cap A_j \cap A_k\right|-\ldots+(-1)^{n-1}\left|A_1 \cap \ldots \cap A_n\right|$

写成求和的形式:

$\left|\bigcup_{i=1}^n A_i\right|=\sum_{C \subseteq B}(-1)^{\operatorname{size}(C)-1}\left|\bigcap_{e \in C} e\right|$

证明

n 较小时,可以通过韦恩图来理解。

一般地,我们可以证明对于任意一个元素,只在等式右边加了1次:

假设这一元素在 k 个集合中出现,则

C = 1 项:加了 k 次。

C = 2 项:$- C_k^2$.

……

C = k: $(-1)^{k-1}C_k^k$.

对这些项求和,得到一个多项式:

$T=C_k^1-C_k^2+C_k^3-\ldots+(-1)^{i-1} \cdot C_k^i+\ldots+(-1)^{k-1} \cdot C_k^k$

注意到:

$(1-x)^k = C_k^0 -C_k^1\cdot x + C_k^2 \cdot x^2 +\dots + (-1)^k\cdot C_k^k \cdot x^k.$

$T= -(1-1)^k + 1 = 0, T = 1.$

例子1: 方程整数解问题。

已知 $0 \leq x_i \leq 8$, 方程 $x_1 + x_2 + \dots + x_6 = 20$ 的整数解有多少?

解:

假设 x 均为自然数,则一共有 $C_{25}^5$ 种解。(20个1和5个分隔板共25个位置,取5个为分隔板。)

考虑某一个 $x_k \geq 9$ 的情况。25个位置中,固定了9个位置,再安排5个分隔板,所以解的数目 $|A_k| = C_{16}^5$.

计算 $x_k \geq 9$ 和 $x_p \geq 9$ 的交集:

因为不可能有3个及以上的x超过8,所以我们最多只需要考虑两两相交的情况。利用容斥原理:

记录一下计算复杂度理论中的一些记号。
-notation (also called Big notation), -notation (Omega notation), and -notation (Theta notation) are mathematical notations used in computer science and computational complexity theory to describe the behavior of functions and algorithms.

阅读全文 »

本文主要记录一下一个爵士乐初学者的一点感悟和新知识。
从今年春天开始学习一直感兴趣的爵士乐,自学+跟老师上了几节课。很幸运能够遇到特别有才华又特别好看的杨老师!
自学的书:《The Jazz Theory Book》,《Patterns for Jazz》.
另外也尝试和东棉花七号的乐队吉他手启明老师学习蓝调吉他。但是很遗憾老师太强了,我的学习能力不能匹配老师的教学进度5555,这学期因为太忙已经搁置了。
在钢琴上也尝试了一下Blues,参考了一本入门的书《Real Blues 键盘技法速成》。

阅读全文 »

Magic是量子计算中的一种资源。众所周知,没有Magic的量子线路可以被经典有效模拟。
而对于另一种资源,量子纠缠,张量网络算法可以有效模拟纠缠不太大的系统。更精确的说法是可以利用局域张量之间的bond维度截断来有效模拟area law的纠缠。
Magic作为度量量子计算资源的另一种度量,是否也可以设计一种算法,使得对于Magic随线路深度增长不太快的系统能够有效截断?
这篇讨论一下现有的一些经典模拟magic不太大的系统的算法。

阅读全文 »

记录一下量子信息里的重要概念,几年前在关于QEC的热力学规律中学了,今天发现又忘了是啥。记录一下避免反复学习。

阅读全文 »

最近准备系统学习一下蒙卡算法。使用的教材是”Monte Carlo Simulation ain Statistical Physics - An Introduction, Sixth Edition, Kurt Binder, Dieter W. Heermann”, 是比较基本的教材,学校有买电子书。
另有一本 “Quantum Monte Carlo Methods: Algorithms for Lattice Models, J. Gubernatis, et. al., 2016” 这本书写也还行,但是似乎到处都没找到电子版,好在校图书馆有一本。
量子系统和静电系统的区别就在于量子系统中存在非对异性,以及根据粒子统计性质的不同需要对称或者反对称的波函数。上述量子性体现在蒙卡算法中,还会出现符号问题(sign problem)。
首先,需要学习经典的蒙特卡罗算法。因为量子蒙卡是利用蒙卡算法计算量子系统。

阅读全文 »

绝热量子计算是先把初态制备到product state,然后利用绝热路径演化初始哈密顿量到对应待解决问题的哈密顿量,从而使基态演化到包含我们需要的解的态。
学习一下何为绝热量子计算,以及他如何与circuit 量子计算等价。

阅读全文 »

Fock space是量子场论中使用的态空间,可以满足二次量子化之后产生湮灭算符的对易和反对易关系。
关注其与Hilbert space不同的性质。

阅读全文 »

记录一次报错及解决。

利用hexo s开启本地预览,打开http://localhost:4000查看网页预览的时候,macOS可能跳出一个框问你是不是要保存什么乱七八糟的(记不清了)。当时随手选了“是”,结果调试好网站后,用hexo d部署到GitHub的时候出错了:

阅读全文 »