ترغب بنشر مسار تعليمي؟ اضغط هنا

If VNP is hard, then so are equations for it

103   0   0.0 ( 0 )
 نشر من قبل Anamay Tengse
 تاريخ النشر 2020
  مجال البحث الهندسة المعلوماتية
والبحث باللغة English




اسأل ChatGPT حول البحث

Assuming that the Permanent polynomial requires algebraic circuits of exponential size, we show that the class VNP does not have efficiently computable equations. In other words, any nonzero polynomial that vanishes on the coefficient vectors of all polynomials in the class VNP requires algebraic circuits of super-polynomial size. In a recent work of Chatterjee and the authors (FOCS 2020), it was shown that the subclasses of VP and VNP consisting of polynomials with bounded integer coefficients do have equations with small algebraic circuits. Their work left open the possibility that these results could perhaps be extended to all of VP or VNP. The results in this paper show that assuming the hardness of Permanent, at least for VNP, allowing polynomials with large coefficients does indeed incur a significant blow up in the circuit complexity of equations.



قيم البحث

اقرأ أيضاً

266 - P. Chudzinski 2018
The problem of photoemission from a quasi-1D material is studied. We identify two issues that play a key role in the detection of gapless Tomonaga-Luttinger liquid (TLL) phase. Firstly, we show how a disorder -- backward scattering as well as forward scattering component, is able to significantly obscure the TLL states, hence the initial state of ARPES. Secondly, we investigate the photo-electron propagation towards a samples surface. We focus on the scattering path operator contribution to the final state of ARPES. We show that, in the particular conditions set by the 1D states, one can derive exact analytic solution for this intermediate stage of ARPES. The solution shows that for particular energies of incoming photons the intensity of photo-current may be substantially reduced. Finally, we put together the two aspects (the disorder and the scattering path operator) to show the full, disruptive force of any inhomogeneities on the ARPES amplitude.
A subset $A$ of a semigroup $S$ is called a $chain$ ($antichain$) if $xyin{x,y}$ ($xy otin{x,y}$) for any (distinct) elements $x,yin S$. A semigroup $S$ is called ($anti$)$chain$-$finite$ if $S$ contains no infinite (anti)chains. We prove that each a ntichain-finite semigroup $S$ is periodic and for every idempotent $e$ of $S$ the set $sqrt[infty]{e}={xin S:exists ninmathbb N;;(x^n=e)}$ is finite. This property of antichain-finite semigroups is used to prove that a semigroup is finite if and only if it is chain-finite and antichain-finite. Also we present an example of an antichain-finite semilattice that is not a union of finitely many chains.
The random k-SAT model is the most important and well-studied distribution over k-SAT instances. It is closely connected to statistical physics; it is used as a testbench for satisfiability algorithms, and average-case hardness over this distribution has also been linked to hardness of approximation via Feiges hypothesis. We prove that any Cutting Planes refutation for random k-SAT requires exponential size, for k that is logarithmic in the number of variables, in the (interesting) regime where the number of clauses guarantees that the formula is unsatisfiable with high probability.
249 - Jesus Zavala Ruiz 2019
Software engineering (SE) undergoes an ontological crisis and it lacks of a theory. Why? Among other reasons, because always it succumbed to the pragmatism demanded by the commercial and political interests and abandoned any intention to become a sci ence instead of a professional discipline. For beginning a discussion for define a theory of software, first, is required to know what software is.
Automatic translation from natural language descriptions into programs is a longstanding challenging problem. In this work, we consider a simple yet important sub-problem: translation from textual descriptions to If-Then programs. We devise a novel n eural network architecture for this task which we train end-to-end. Specifically, we introduce Latent Attention, which computes multiplicative weights for the words in the description in a two-stage process with the goal of better leveraging the natural language structures that indicate the relevant parts for predicting program elements. Our architecture reduces the error rate by 28.57% compared to prior art. We also propose a one-shot learning scenario of If-Then program synthesis and simulate it with our existing dataset. We demonstrate a variation on the training procedure for this scenario that outperforms the original procedure, significantly closing the gap to the model trained with all data.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا