首页/论文/1509.02503

arXiv 1509.025032015-09-08math.AGcs.CCmath.DGmath.RT

几何复杂性理论导论

An introduction to geometric complexity theory

J. M. Landsberg

备注：: Draft of article to appear in the Newsletter of the European Mathematical Society. 9 pages in original, arXiv version has extra spaces due to arXiv processing

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我调查的方法，从微分几何，代数几何和表示论相关的永久v.行列式的问题，从计算机科学，一个代数模拟的P v. NP问题。

英文摘要：

I survey methods from differential geometry, algebraic geometry and representation theory relevant for the permanent v. determinant problem from computer science, an algebraic analog of the P v. NP problem.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

两类广义不变量行列式复杂度的界

Bounds on Determinantal Complexity of Two Types of Generalized Permanents

我们定义了两个新的家庭的多项式，推广持久性和证明上限和下界的行列式复杂性可比已知的持久性。这些家庭之一是通过取代置换符号置换，和其他置换置换满射函数与规定的大小的原像。

2022-02-25cs.CCmath.AGmath.CO

关于复杂性理论中的次积算和其它理想的极小自由分解

On minimal free resolutions of sub-permanents and other ideals arising in complexity theory

我们计算的线性链的最小自由决议的理想所产生的k × k子永久式的n × n一般矩阵和理想所产生的平方自由单项式的度k。后者的计算通过Biagioli-Faridi-Rosas的工作给出了完整的最小自由分辨率。我们的动机是使用交换代数复杂性理论奠定了基础。我们还计算了几个与复杂性理论相关的希尔伯特函数。

2017-12-03cs.CCmath.ACmath.AG

几何复杂性理论中的无发生障碍

No occurrence obstructions in geometric complexity theory

永久性与行列式猜想是复杂性理论中的一个主要问题，它等价于复杂性类VP_{ws}和VNP的分离。Mulmuley和Sohoni（SIAM J.Comput.，2001年）建议研究这个猜想的一个加强版本，在复数上相当于分离行列式和填充永久多项式的轨道闭合。在那篇论文中，还提出了通过展示出现障碍物来分离这些轨道闭合，这些障碍物是GL_{n^2}（C）的不可约表示，它们出现在轨道闭合的一个坐标环中，而不是另一个。我们证明这种方法是不可能的。然而，我们并不排除一般的方法，通过Mulmuley和Sohoni提出的多重性障碍的永久性与行列式的问题。

2018-09-17cs.CCmath.AGmath.RT

Bernstein-Gelfand-Gelfand 遇见几何复杂性理论：求解 2×n 矩阵的 2×2 永久子式

Bernstein-Gelfand-Gelfand meets geometric complexity theory: resolving the 2 x 2 permanents of a 2 x n matrix

本文利用 Bernstein-Gelfand-Gelfand 对应产生的谱序列，结合 Gröbner 基与单纯复形方法，给出了 2×n 一般矩阵的 2×2 子永久式理想的极小自由消解，解决了该理想非素且非 Cohen-Macaulay 情形下的结构问题。

2024-11-19math.ACmath.AG

退化超曲面与几何复杂性理论程序

Hypersurfaces with degenerate duals and the Geometric Complexity Theory Program

我们确定了N维复向量空间中维数不超过k的对偶超曲面的集合论定义方程。我们将这些方程应用于Mulmuley-Sohoni簇，行列式的GL_{n^2}轨道闭包，表明它是C^{n^2}中维数最多为2n-2的对偶的次数为$n$的超曲面簇的不可约分支。我们建立了Mulmuley-Sohoni簇的额外几何性质，并证明了永久式的决定性边界复杂度的二次下界。

2010-04-27cs.CCmath.AG

Schur乘子在$q$-永久函数的Pólya转换问题中的极限

The limits of Schur multipliers in Pólya conversion problems for the $q$-permanent function

Hassan Second University of Casablanca（卡萨布兰卡哈桑二世大学）；Faculty of Sciences and Technology, Laboratory MSPASI（科学与技术学院，MSPASI实验室）

本文研究$q$-永久函数的广义Pólya转换问题，建立了从低维代数灵活性到高维组合刚性的尖锐阈值，并分类了Schur乘子保持子空间。

2026-05-31math.AGmath.COmath.QA

更多相关论文收起更多论文

概述了几何复杂性理论方法中出现的数学问题，以VP与VNP

An overview of mathematical issues arising in the Geometric complexity theory approach to VP v.s. VNP

我们讨论的几何轨道封闭和克罗内克系数的渐近行为的背景下，几何复杂性理论程序证明一个变种的Valiant的代数模拟的P不等于NP猜想。我们还描述了他们的程序提出要演示的复杂性类的精确分离。

2011-01-07cs.CCmath.AGmath.RT

填充多项式及其表兄弟与几何复杂性理论

Padded polynomials, their cousins, and geometric complexity theory

我们建立了关于齐次多项式的品种可除的权力的线性型的基本事实，并解释几何复杂性理论的后果。这包括二次集理论方程，一个描述的理想的内核的线性映射，推广的Foulkes-Howe映射，并明确描述的坐标环的规范化。我们还证明了Foulkes-Howe映射的渐近内射性。

2012-04-20cs.CCmath.AGmath.RT

Geometric Complexity Theory：几何学入门

Geometric Complexity Theory: an introduction for geometers

这篇文章是一个调查的最新发展，并指导，对P v. NP和相关问题的方法称为几何复杂性理论（GCT）。它是为研究生编写的。代数几何和表示论中的许多悬而未决的问题GCT相关。

2013-12-11cs.CCmath.AGmath.RT

代数几何码格状状态复杂度的Goppa类界

A Goppa-like bound on the trellis state complexity of algebraic geometric codes

对于长度为$n$且维数为$k$的线性码$\cC$，Wolf注意到$\cC$的网格状态复杂度$s(\cC)$的上界为$w(\cC):=\min(k,n-k)$。本文给出了$s(\cC)$的一些新的下界.特别地，如果$\cC$是代数几何码，则为$s(\cC)\geq w(\cC)-(g-a)$，其中$g$是基础曲线的亏格，而$a$是代码的丰度。

2002-12-03cs.ITmath.AGmath.IT

代数几何码格形状态复杂度的界

Bounding the trellis state complexity of algebraic geometric codes

设C是构造在$F_q$上的曲线X上的维数为k，长度为n的代数几何码.设s（C）为C的状态复杂度，设w（C）：=min{k，n-k}，s（C）的Wolf上界.引入一个依赖于X的角性序列的数值函数R，证明了s（C）\geq w（C）-R（2 g-2），其中g是X的亏格.事实上，R（2 g-2）\leq g-（γ_2-2），其中γ_2是X在F_q上的共角性，因此特别地，我们有s（C）\geq w（C）-g+γ_2-2.

2003-03-08cs.ITmath.AGmath.IT