Search problems in algebraic complexity, GCT, and hardness of generator for invariant rings

10/02/2019
by   Ankit Garg, et al.
0

We consider the problem of outputting succinct encodings of lists of generators for invariant rings. Mulmuley conjectured that there are always polynomial sized such encodings for all invariant rings. We provide simple examples that disprove this conjecture (under standard complexity assumptions).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/19/2018

Nivat's Conjecture and Pattern Complexity in Algebraic Subshifts

We study Nivat's conjecture on algebraic subshifts and prove that in som...
research
08/24/2022

On the existence of strong proof complexity generators

The working conjecture from K'04 that there is a proof complexity genera...
research
12/19/2019

Hyperpfaffians and Geometric Complexity Theory

The hyperpfaffian polynomial was introduced by Barvinok in 1995 as a nat...
research
11/10/2022

A New Conjecture on Hardness of Low-Degree 2-CSP's with Implications to Hardness of Densest k-Subgraph and Other Problems

We propose a new conjecture on hardness of low-degree 2-CSP's, and show ...
research
09/24/2020

Fine-grained complexity of the list homomorphism problem: feedback vertex set and cutwidth

For graphs G,H, a homomorphism from G to H is an edge-preserving mapping...
research
02/07/2019

Constructive Non-Linear Polynomial Cryptanalysis of a Historical Block Cipher

One of the major open problems in symmetric cryptanalysis is to discover...
research
11/28/2014

Learning with Algebraic Invariances, and the Invariant Kernel Trick

When solving data analysis problems it is important to integrate prior k...

Please sign up or login with your details

Forgot password? Click here to reset