Super Unique Tarski is in UEOPL
Computational Complexity
2024-11-18 v3
Abstract
We define the Super-Unique-Tarski problem, which is a Tarski instance in which all slices are required to have a unique fixed point. We show that Super-Unique-Tarski lies in UEOPL under promise-preserving reductions.
Cite
@article{arxiv.2411.05666,
title = {Super Unique Tarski is in UEOPL},
author = {John Fearnley and Rahul Savani},
journal= {arXiv preprint arXiv:2411.05666},
year = {2024}
}
Related papers
View all related →
Computational Complexity · Computer Science
Unique End of Potential Line
John Fearnley, Spencer Gordon, Ruta Mehta, Rahul Savani
2018-11-12
Computational Geometry · Computer Science
Unique Sink Orientations of Grids is in Unique End of Potential Line
Michaela Borzechowski, Wolfgang Mulzer
2022-09-07
Computational Complexity · Computer Science
The Mystery Deepens: On the Query Complexity of Tarski Fixed Points
Xi Chen, Yuhao Li, Mihalis Yannakakis
2026-04-02
Analysis of PDEs · Mathematics
Unconditional Uniqueness Results for the Nonlinear Schr\"odinger Equation
Sebastian Herr, Vedran Sohinger
2019-11-18
Computer Science and Game Theory · Computer Science
Improved Upper Bounds for Finding Tarski Fixed Points
Xi Chen, Yuhao Li
2022-05-24
Computational Complexity · Computer Science
Downward Self-Reducibility in TFNP
Prahladh Harsha, Daniel Mitropolsky, Alon Rosen
2023-12-27
Discrete Mathematics · Computer Science
Non-Promise Version of Unique Sink Orientations
Tiago Oliveira Marques
2024-09-02
Logic in Computer Science · Computer Science
Extension Preservation in the Finite and Prefix Classes of First Order Logic
Anuj Dawar, Abhisekh Sankaran
2020-10-27
Dynamical Systems · Mathematics
Iteration and iterative equation on lattices
Chaitanya Gopalakrishna, Weinian Zhang
2021-05-10
Software Engineering · Computer Science
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas
2024-03-12
Logic · Mathematics
A model-thoeretic version of Tarski's theorem
Jana Maříková
2025-07-14
Computational Complexity · Computer Science
Promises Make Finite (Constraint Satisfaction) Problems Infinitary
Libor Barto
2019-09-12
Logic · Mathematics
Strict Superstablity and Decidability of Certain Generic Graphs
Ali N. Valizadeh, Massoud Pourmahdian
2025-10-16
Computational Complexity · Computer Science
Tarski Lower Bounds from Multi-Dimensional Herringbones
Simina Brânzei, Reed Phillips, Nicholas Recker
2025-07-15
Analysis of PDEs · Mathematics
The $L_p$-Minkowski problem with super-critical exponents
Qiang Guang, Qi-Rui Li, Xu-Jia Wang
2022-03-11
Analysis of PDEs · Mathematics
Existence and uniqueness of solutions in fractional Orlicz-Sobolev spaces for a nonlocal singular elliptic problem
Abdelaaziz Sbai, Youssef El hadfi, Mounim El ouardy
2025-08-12
Differential Geometry · Mathematics
Uniqueness in the Plateau problem near Quadratic cones
Vishnu Nandakumaran, Gábor Székelyhidi
2025-09-22
Logic in Computer Science · Computer Science
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
Yoshiki Nakamura
2025-06-03
Functional Analysis · Mathematics
Fixed point of subadditive maps and some non-linear integral equations
Yousef Estaremi, Bahman Moeini
2015-06-02
Functional Analysis · Mathematics
Fixed Point Theorems for TSR-Contraction Mapping in Probabilistic Metric Spaces
Sanjay Roy, T. K. Samanta
2025-05-27
Logic · Mathematics
Uniquely Universal Sets
Arnold W. Miller
2011-06-09
Analysis of PDEs · Mathematics
Unconditional uniqueness of solutions for nonlinear dispersive equations
Nobu Kishimoto
2021-07-20
Differential Geometry · Mathematics
Uniqueness of solutions to some classes of anisotropic and isotropic curvature problems
Haizhong Li, Yao Wan
2023-09-28
Classical Analysis and ODEs · Mathematics
Existence and uniqueness of solutions of linear sparse matrix equations via a fixed point theorem
Xiaorong Liu
2015-07-30
Computational Geometry · Computer Science
Computational Complexity of the $\alpha$-Ham-Sandwich Problem
Man-Kwun Chiu, Aruni Choudhary, Wolfgang Mulzer
2020-03-23