张量决策图的收缩启发式.
Christian Bøgh Larsen1, Simon Brun Olsen1, Kim Guldstrand Larsen1
1Department of Computer Science, Aalborg University, 9220 Aalborg, Denmark.
Entropy (Basel, Switzerland)
|January 8, 2025
概括
这项研究引入了新的张量收缩启发式,用于高效地检查量子电路等价性. 我们的新方法显著优于现有方法,改善了量子计算验证的最新状态.
科学领域:
- 量子计算是一种量子计算.
- 计算复杂性 计算复杂性
- 张量网络 张量网络 张量网络
背景情况:
- 量子电路的等价性问题在计算上具有挑战性.
- 有效收缩张量网络对于解决这个问题至关重要.
- 现有的收缩启发学与张量决策图作斗争.
研究的目的:
- 为量子电路等价性检查开发高效的张量收缩启发式.
- 为了提高同等性检查框架的性能.
- 用张量决策图来解决当前启发学的局限性.
主要方法:
- 将量子电路的等价性降低到张量子网络收缩.
- 使用张量决策图来有效地表示张量.
- 提出和实施两个新的张量收缩启发式.
主要成果:
- 拟议的启发式方法优于现有的最先进的方法.
- 实验验证证证实了新启发式的优越性.
- 该框架在同等性检查方面实现了最先进的性能.
结论:
- 新型张量收缩启发学增强了量子电路等价性检查.
- 张量决策图与新的启发式计算相结合,提供了一个强大的方法.
- 这项工作推动了量子算法和电路的验证.
相关概念视频
Inertia Tensor
369
The concept of the inertia tensor is employed to depict the mass distribution and rotational inertia of a solid or rigid object. This tensor is expressed through a three-by-three matrix. Each component within this matrix corresponds to varying moments of inertia about specific axes.
The diagonal components of the inertia tensor matrix represent the moments of inertia concerning the principal axes of the object. These primary axes are defined as the axes where the object experiences the least...
The diagonal components of the inertia tensor matrix represent the moments of inertia concerning the principal axes of the object. These primary axes are defined as the axes where the object experiences the least...
369
Convolution Properties I
136
Convolution computations can be simplified by utilizing their inherent properties.
The commutative property reveals that the input and the impulse response of an LTI (Linear Time-Invariant) system can be interchanged without affecting the output:
The commutative property reveals that the input and the impulse response of an LTI (Linear Time-Invariant) system can be interchanged without affecting the output:
136
Heuristics
73
Heuristics are problem-solving strategies that use mental shortcuts to simplify decision-making. Unlike algorithms, which must be followed precisely to achieve a correct result, heuristics offer a general problem-solving framework. They save time and energy but can sometimes lead to less rational decisions.
People often rely on heuristics when faced with an overload of information, limited time, low importance of the decision, limited information, or when a heuristic readily comes to mind. For...
People often rely on heuristics when faced with an overload of information, limited time, low importance of the decision, limited information, or when a heuristic readily comes to mind. For...
73
Method of Joints: Problem Solving I
1.1K
The method of joints is a commonly used technique to analyze the forces in structural trusses. The method is based on the principle of equilibrium, which assumes that the truss members are connected by frictionless pins. The forces at each joint can be determined by considering the equilibrium of the forces acting on that joint. Consider a truss structure with two forces of 20 N and 10 N acting at joints C and D, respectively. The method of joints can be used to determine the forces FCB, FDC,...
1.1K
Cartesian Form for Vector Formulation
603
The Cartesian form for vector formulation is a process to calculate the moment of force using the position and force vectors. The moment of force is defined as the cross-product of these vectors, making it a vector quantity. The Cartesian form of the position and force vectors involves unit vectors, which can be used to express the cross-product in determinant form.
603
Vector Algebra: Graphical Method
11.8K
Vectors can be multiplied by scalars, added to other vectors, or subtracted from other vectors. The vector sum of two (or more) vectors is called the resultant vector or, for short, the resultant.
We use the laws of geometry to construct resultant vectors, followed by trigonometry to find vector magnitudes and directions. For a geometric construction of the sum of two vectors in a plane, we follow the parallelogram rule. Suppose two vectors are at arbitrary positions. Translate either one of...
We use the laws of geometry to construct resultant vectors, followed by trigonometry to find vector magnitudes and directions. For a geometric construction of the sum of two vectors in a plane, we follow the parallelogram rule. Suppose two vectors are at arbitrary positions. Translate either one of...
11.8K


