ECCC - Reports tagged with Valiant's model
Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > KEYWORD > VALIANT'S MODEL:
Reports tagged with Valiant's model:
TR04-003 | 22nd December 2003
Pascal Koiran

Valiant's model and the cost of computing integers

Let $\tau(k)$ be the minimum number of arithmetic operations
required to build the integer $k \in \N$ from the constant 1.
A sequence $x_k$ is said to be ``easy to compute'' if
there exists a polynomial $p$ such that $\tau(x_k) \leq p(\log k)$
for all $k \geq ... more >>>


TR18-182 | 31st October 2018
Henry Corrigan-Gibbs, Dmitry Kogan

The Function-Inversion Problem: Barriers and Opportunities

Revisions: 1

We study preprocessing algorithms for the function-inversion problem. In this problem, an algorithm gets oracle access to a function $f\colon[N] \to [N]$ and takes as input $S$ bits of auxiliary information about $f$, along with a point $y \in [N]$. After running for time $T$, the algorithm must output an ... more >>>


TR26-263 | 20th October 2026
Karthik Sheshadri

A short proof of a quadratic lower bound on the border determinantal complexity of the power sum polynomial over C: A simple human exposition

I give a short proof that the border determinantal complexity of F_n = x_1^n + ... + x_n^n over C is at least (n-1)^2/(4e), and at least (n-1)^2/(2e) in the symmetric model. The same argument shows that the border determinantal complexity of x_1^d + ... + x_N^d is Theta(Nd) for ... more >>>


TR26-287 | 29th October 2026
Karthik Sheshadri

Extending OpenAI's cubic lower bound for the permanent to odd characteristic, Pfaffian representations, and polynomial entries

OpenAI's Sep 2026 preprint introduced the first cubic lower bound on the border DC of the permanent. Their preprint generalizes the method I introduced in my June 2026 preprint (https://arxiv.org/abs/2606.15970; see also TR26-275). However, their proof only applies over $\mathbb{C}$.

In this note, I prove that the cubic lower bound ... more >>>


TR26-309 | 5th November 2026
Karthik Sheshadri

The determinantal complexity of the 4*4 permanent is 15: A short proof

The best known lower bound on the determinantal complexity of the $4\times4$ permanent is 10. In this short note, I prove that this value is exactly 15: the $4\times4$ permanent is the determinant of a $15\times15$ matrix of affine linear forms, and cannot be that of any smaller matrix. To ... more >>>




ISSN 1433-8092 | Imprint