English
Related papers

Related papers: Polynomial Depth, Highness and Lowness for E

200 papers

Unlike the matrix case, computing low-rank approximations of tensors is NP-hard and numerically ill-posed in general. Even the best rank-1 approximation of a tensor is NP-hard. In this paper, we use convex optimization to develop…

Statistics Theory · Mathematics 2016-09-14 Anil Aswani

A sumtest for a discrete semimeasure $P$ is a function $f$ mapping bitstrings to non-negative rational numbers such that \[ \sum P(x)f(x) \le 1 \,. \] Sumtests are the discrete analogue of Martin-L\"of tests. The behavior of sumtests for…

Computational Complexity · Computer Science 2013-12-09 Bruno Bauwens

A linkage $\mathcal{L}$ consists of a graph $G=(V,E)$ and an edge-length function $\ell$. Deciding whether $\mathcal{L}$ can be realized as a planar straight-line embedding in $\mathbb{R}^2$ with edge length $\ell(e)$ for all $e \in E$ is…

Computational Geometry · Computer Science 2026-04-08 Thomas Depian , Carolina Haase , Martin Nöllenburg , André Schulz

In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects of elimination theory (i.e. polynomial equation systems)…

Commutative Algebra · Mathematics 2007-05-23 David Castro , Marc Giusti , Joos Heintz , Guillermo Matera , Luis Miguel Pardo

Let $E\subset\Bbb{C}$ be a compact set symmetric with respect to the real axis. A classical theorem of Fekete-Szeg\H{o} asserts that such a compact set is of logarithmic capacity at least one if and only if it admits approximation by…

Dynamical Systems · Mathematics 2026-03-03 Turgay Bayraktar , Melike Efe

We introduce a natural notion of depth that applies to individual cutting planes as well as entire families. This depth has nice properties that make it easy to work with theoretically, and we argue that it is a good proxy for the practical…

Optimization and Control · Mathematics 2019-03-14 Laurent Poirrier , James Yu

One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., $\mathbf{P}\not\subseteq\mathbf{NC}^{1}$). Karchmer, Raz, and Wigderson (Computational Complexity 5(3/4), 1995)…

Computational Complexity · Computer Science 2025-02-13 Or Meir

We present a deterministic algorithm which computes the multilinear factors of multivariate lacunary polynomials over number fields. Its complexity is polynomial in $\ell^n$ where $\ell$ is the lacunary size of the input polynomial and $n$…

Symbolic Computation · Computer Science 2020-04-22 Arkadev Chattopadhyay , Bruno Grenet , Pascal Koiran , Natacha Portier , Yann Strozecki

We prove that unless P=NP, there exists no polynomial time (or even pseudo-polynomial time) algorithm that can test whether the optimal value of a nonlinear optimization problem where the objective and constraints are given by low-degree…

Optimization and Control · Mathematics 2019-05-01 Amir Ali Ahmadi , Jeffrey Zhang

Moment polytopes of tensors, the study of which is deeply rooted in invariant theory, representation theory and symplectic geometry, have found relevance in numerous places, from quantum information (entanglement polytopes) and algebraic…

Computational Complexity · Computer Science 2025-03-31 Maxim van den Berg , Matthias Christandl , Vladimir Lysikov , Harold Nieuwboer , Michael Walter , Jeroen Zuiddam

We extend the definitions of complexity measures of functions to domains such as the symmetric group. The complexity measures we consider include degree, approximate degree, decision tree complexity, sensitivity, block sensitivity, and a…

Computational Complexity · Computer Science 2020-10-16 Neta Dafni , Yuval Filmus , Noam Lifshitz , Nathan Lindzey , Marc Vinyals

Let E be a compact set of C of positive logarithmic capacity. Let us suppose that for every polynomial $P\not=id$ we have $P^{-1}(E)\not=E$. Then for all no constant polynomials f and g such that $f^{-1}(E)=g^{-1}(E)$ we have f=g.

Complex Variables · Mathematics 2007-05-23 Tien-Cuong Dinh

The central open question in Descriptive Complexity is whether there is a logic that characterizes deterministic polynomial time (PTIME) on relational structures. Towards this goal, we define a logic that is obtained from first-order logic…

Logic in Computer Science · Computer Science 2021-11-16 Eugenia Ternovska

Recently, several deep learning (DL) methods for approximating high-dimensional partial differential equations (PDEs) have been proposed. The interest that these methods have generated in the literature is in large part due to simulations…

Numerical Analysis · Mathematics 2026-04-30 Julia Ackermann , Arnulf Jentzen , Thomas Kruse , Benno Kuckuck , Joshua Lee Padgett

In a sequence of seminal results in the 80's, Kaltofen showed that the complexity class VP is closed under taking factors. A natural question in this context is to understand if other natural classes of multivariate polynomials, for…

Computational Complexity · Computer Science 2018-03-19 Chi-Ning Chou , Mrinal Kumar , Noam Solomon

The black-box nature of Large Language Models necessitates novel evaluation frameworks that transcend surface-level performance metrics. This study investigates the internal neural representations of cognitive complexity using Bloom's…

Artificial Intelligence · Computer Science 2026-02-20 Bianca Raimondi , Maurizio Gabbrielli

We obtain a polynomial upper bound in the finite-field version of the multidimensional polynomial Szemer\'{e}di theorem for distinct-degree polynomials. That is, if $P_1, ..., P_t$ are nonconstant integer polynomials of distinct degrees and…

Number Theory · Mathematics 2021-11-10 Borys Kuca

For fixed compact connected Lie groups H \subseteq G, we provide a polynomial time algorithm to compute the multiplicity of a given irreducible representation of H in the restriction of an irreducible representation of G. Our algorithm is…

Computational Complexity · Computer Science 2012-10-31 Matthias Christandl , Brent Doran , Michael Walter

We extend the concept of polynomial time approximation algorithms to apply to problems for hierarchically specified graphs, many of which are PSPACE-complete. Assuming P != PSPACE, the existence or nonexistence of such efficient…

Combinatorics · Mathematics 2016-09-06 Madhav V. Marathe , Harry B. Hunt , S. S. Ravi

We demonstrate some novel links between entropy and description complexity, a notion referring to the minimal formula length for specifying given properties. Let MLU be the logic obtained by extending propositional logic with the universal…

Logic · Mathematics 2022-09-27 Reijo Jaakkola , Antti Kuusisto , Miikka Vilander