English
Related papers

Related papers: Refuting Feder, Kinne and Rafiey

200 papers

We prove that families of semi-orthogonal decompositions do not satisfy the existence part of the valuative criterion for properness, giving a negative answer to a question posed by Belmans, Okawa, and Ricolfi.

Algebraic Geometry · Mathematics 2025-01-22 Weimufei Wu

A finite constraint language $\mathscr{R}$ is a finite set of relations over some finite domain $A$. We show that intractability of the constraint satisfaction problem $\operatorname{CSP}(\mathscr{R})$ can, in all known cases, be replaced…

Computational Complexity · Computer Science 2017-05-02 Lucy Ham , Marcel Jackson

J. Marcinkiewicz and A. Zygmund proved in 1936 that the special $n$-th generalized Riemann derivative ${_2}D_nf(x)$ with nodes $0,1,2,2^2,\ldots, 2^{n-1}$, is equivalent to the $n$-th Peano derivative $f_{(n)}(x)$, for all $n-1$ times Peano…

Classical Analysis and ODEs · Mathematics 2024-09-18 J. Marshall Ash , Stefan Catoiu

We prove that the central sequence algebra of a separable C*-algebra is either subhomogeneous or non-exact, confirming a conjecture of Enders and Shulman. We also prove analogous dichotomy for other massive C*-algebras.

Operator Algebras · Mathematics 2023-12-01 Ilijas Farah , Ilan Hirshberg

We consider the problem of satisfiability of sets of constraints in a given set of finite uniform hypergraphs. While the problem under consideration is similar in nature to the problem of satisfiability of constraints in graphs, the…

Logic in Computer Science · Computer Science 2025-08-25 Antoine Mottet , Tomáš Nagy , Michael Pinsker

(I) We study Clifford-Mackey-Rieffel's theory for finite monoid; (II) We prove some results of Theta Representations of finite inverse monoids.

Representation Theory · Mathematics 2021-02-18 Chun-Hui Wang

The algebraic approach to the Constraint Satisfaction Problem (CSP) uses high order symmetries of relational structures -- polymorphisms -- to study the complexity of the CSP. In this paper we further develop one of the methods the…

Logic in Computer Science · Computer Science 2020-07-21 Andrei A. Bulatov

Paper withdrawn by the author.

Differential Geometry · Mathematics 2007-08-14 Mikhail G. Katz

Recently Breuillard and Tointon showed that one reasonable formulation of the polynomial Freiman-Ruzsa conjecture fails for nonabelian groups. We improve and simplify their construction.

Group Theory · Mathematics 2015-11-25 Sean Eberhard

The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial-time tractable if the model-complete core of the template…

Based on the results people have obtained, we try to prove the Jacobian conjecture, but there is a gap in the proof.

Algebraic Geometry · Mathematics 2017-11-16 Gang Han

This paper has been withdrawn by the author. The conjecture follows from the finiteness of group von Neumann algebras.

Functional Analysis · Mathematics 2007-05-23 Gabor Elek

Bulatov (2008) gave a dichotomy for the counting constraint satisfaction problem #CSP. A problem from #CSP is characterised by a constraint language, which is a fixed, finite set of relations over a finite domain D. An instance of the…

Computational Complexity · Computer Science 2011-08-18 Martin Dyer , David Richerby

In this note we consider a Ramsey type result for partially ordered sets. In particular, we give an alternative short proof of a theorem for a posets with multiple linear extensions recently obtained by Solecki and Zhao.

Combinatorics · Mathematics 2016-08-19 Andrii Arman , Vojtěch Rödl

Harary's conjecture $r(C_3,G)\leq 2q+1$ for every isolated-free graph G with $q$ edges was proved independently by Sidorenko and Goddard and Klietman. In this paper instead of $C_3$ we consider $K_{2,k}$ and seek a sharp upper bound for…

Combinatorics · Mathematics 2019-01-08 C. J. Jayawardene , C. C. Rousseau , B. Bollobás

We upgrade [1] to a complete proof of the conjecture NP = PSPACE. [1]: L. Gordeev, E. H. Haeusler, Proof Compression and NP Versus PSPACE, Studia Logica (107) (1): 55-83 (2019)

Logic in Computer Science · Computer Science 2022-01-11 Lev Gordeev

Based on the recent work of Arsovski, we confirm a conjecture of Feng, Sun, and Xiang, and we give a shortened proof of Snevily's conjecture.

Combinatorics · Mathematics 2011-04-25 Gergely Harcos , Gyula Károlyi , Géza Kós

The purpose of this note is to show by constructing counterexamples that two conjectures of M\'{o}ri and Sz\'{e}kely for the Borel-Cantelli lemma are false.

Number Theory · Mathematics 2013-04-03 Chunrong Feng , Liangpan Li

We prove that the genus $g$, the relative irregularity $q_f$ and the Clifford index $c_f$ of a non-isotrivial fibration $f$ satisfy the inequality $q_f \leq g - c_f$. This gives in particular a proof of Xiao's conjecture for fibrations…

Algebraic Geometry · Mathematics 2015-07-08 Miguel Ángel Barja , Víctor González-Alonso , Juan Carlos Naranjo

This comment about the article "Hamiltonian for the Zeros of the Riemann Zeta Function", by C. M. Bender, D. C. Brody, and M. P. M\"uller, published recently in Phys. Rev. Lett. (Phys. Rev. Lett., 118, 130201, (2017)) gives arguments…

Quantum Physics · Physics 2017-04-11 Jean V. Bellissard