arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.07055

Tarski Fixed Points in Quasi-FPT Queries

Xi Chen·Ruiquan Gao·Yuhao Li·Aviad Rubinstein·Mihalis Yannakakis
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the query complexity of finding a Tarski fixed point over $[n]^k$. Previous work has left a large gap between $\smash{Ω(\log^2 n)}$ and $\smash{\log^{O(k)}n}$. We show that both of the previous upper and lower bounds were far from tight: for every $k\geq 3$, \[ Ω\left((\log n)^{\frac{1}{2}\lceil \log k\rceil}\right)\le \operatorname{Tarski}(n,k)\le O\left(5^k(\log n)^{\lceil \log k\rceil}\right). \] Succinctly, up to the fixed-parameter factor of $5^k$, the complexity is settled at $(\log n)^{Θ(\log k )}$. In particular, we obtain the first super-polynomial query lower bound for this problem.

Explore related subjects

cs.CCcs.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xi Chen, Ruiquan Gao, Yuhao Li, Aviad Rubinstein, Mihalis Yannakakis. 2026-10-05. Tarski Fixed Points in Quasi-FPT Queries. https://arxiv.org/abs/2610.07055

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Separations between $\#\mathrm{BIS}$ and $\#\mathrm{IS}$

We give complexity-theoretic separations between $\#\mathrm{BIS}$ and $\#\mathrm{IS}$. Given a graph $G$, and a fugacity $λ>0$, the hard-core model is given by $Z_G(λ)=\sum_{I\in\mathcal I(G)}λ^{|I|}$, where $\mathcal I(G)$ denotes the independent sets of $G$. For $F\ge1$, an $F$-factor approximation to $Z_G(λ)$ is an estimate $\widehat Z$ satisfying $F^{-1}Z_G(λ)\le\widehat Z\le FZ_G(λ)$. Let $\mathcal G_Δ$ denote the class of $Δ$-regular graphs and $\mathcal G_{Δ,Δ}$ the class of $Δ$-regular bipartite graphs. We give two separation results. (1) There exist an integer $Δ\ge3$, a sufficiently large fugacity $λ$, and a constant $c>0$ so that the following hold: (a) For every $δ\in(0,1)$, deterministic $(1+δ)$-factor approximation on $\mathcal G_{Δ,Δ}$ is possible in time $\exp(cn)\operatorname{poly}(n,1/δ)$. (b) Under the Gap-Exponential Time Hypothesis, there exists no deterministic algorithm running in time $\exp(2cn)\operatorname{poly}(n)$ on $\mathcal G_Δ$ that gives an $\frac{11}{10}$-factor approximation. (2) For every fixed $Δ\ge3$ and $\varepsilon\in(0,1)$, for all sufficiently large fugacities $λ$, the following hold: (a) There exists an algorithm which outputs a deterministic $(1+\varepsilon)^n$-factor approximation to $Z_G(λ)$ on $\mathcal G_{Δ,Δ}$ in polynomial time. (b) Under the assumption $\mathrm P\ne\mathrm{NP}$, there exists no deterministic polynomial-time algorithm on $\mathcal G_Δ$ that gives a $(1+\varepsilon)^n$-factor approximation. Both our algorithmic results follow from a new spanning-tree encoding of independent sets that enables an efficient representation of large independent sets.

cs.CC↗
arXiv2026

A Witnessing Duality for ReLU Network Depth

A depth lower bound for ReLU networks asserts that every shallower network errs on some input; we ask when a weak theory can prove such a bound so that an error can be computed. For the exact computation of $\max(x_1,\ldots,x_n)$, recent work shows two hidden layers suffice with unrestricted rational weights. By contrast, Haase, Hertrich and Loho (ICLR 2023) proved that integer weights require depth logarithmic in $n$, and Averkov, Hojny and Merkert (ICLR 2025) extended the bound to nonbias weights whose denominators are powers of a fixed integer not divisible by a prime $q$. With integer weights the bound is sharp: the classical balanced construction has depth $\lceil\log_2 n\rceil$. For each fixed $q$ and depth cap $K$, we prove this known bound in $\mathbf{VTC}^0$, the bounded-arithmetic theory of uniform constant-depth threshold computation, together with a refuter that is itself such a computation and whose correctness the theory proves. Given a network with at most $K$ hidden layers, nonbias weights whose reduced denominators avoid $q$, arbitrary rational biases and $n>q^K$ inputs, the refuter returns a rational input of polynomial length on which the network errs. The proof makes the obstruction finite: an iterated intersection product of piecewise-linear functions is divisible by $q$ for the network but not for the maximum, so one of finitely many test points exposes the error. By witnessing, provable refutation corresponds to a provably correct refuter, and provable existence of a certified network to a provably correct constructor. On the construction side, we introduce certificates that label each maximum gadget by the inputs it aggregates; with them the theory verifies the balanced construction, which meets the refuter at the sharp threshold $n\le2^K$, and a rational family of polynomial description length and depth $O(\log n/\log\log n)$ built from known depth-two blocks.

cs.CC↗
arXiv2026

Almost-Polynomial Ratio Almost-ETH-Hardness of Approximating Densest $k$-Subgraph

In the Densest $k$-Subgraph problem, given an undirected graph $G$ and an integer $k$, the goal is to find a subgraph of $G$ on $k$ vertices that contains maximum number of edges. Even though the state-of-the-art algorithm for the problem achieves only $O(n^{1/4 + \varepsilon})$ approximation ratio (Bhaskara et al., 2010), previous attempts at proving hardness of approximation, including those under average case assumptions, fail to achieve a polynomial ratio; the best ratios ruled out under any worst case assumption and any average case assumption are only any constant (Raghavendra and Steurer, 2010) and $2^{Ω(\log^{2/3} n)}$ (Alon et al., 2011) respectively. In this work, we propose the Almost-Exponential Time Hypothesis (Almost-ETH), which postulates that no algorithm can solve 3SAT on $n$ variables in $O(2^{n^{1 - γ}})$ time for any constant $γ> 0$. Assuming Almost-ETH, we show that, for any constant $\varepsilon > 0$, there is no polynomial-time algorithm that approximates {\sc D$k$S} to within $2^{(\log n)^{1 - \varepsilon}}$ factor of the optimum. In addition, our result has perfect completeness, meaning that, assuming Almost-ETH, no polynomial-time algorithm can even distinguish between the case in which $G$ contains a $k$-clique and the case in which every induced $k$-subgraph of $G$ has density at most $2^{-(\log n)^{1 - \varepsilon}}$.

cs.CC↗