Related papers: Proofs of NP = coNP = PSPACE: Current upgrade

The content of this paper is now available as part of arXiv:0902.1502

We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.

Remarks on the Obstructedness of Cones Over Curves of Low Genus. Reason for replacement: proof of the main lemma was significantly improved.

This is a detailed survey on the QWEP conjecture and Connes' embedding problem. Most of contents are taken from Kirchberg's paper [Invent. Math. 112 (1993)].

This article gives a short description of pattern formation and coarsening phenomena and focuses on recent experimental and theoretical advances in these fields. It serves as an introduction to phase ordering kinetics and it will appear in…

We present a relative form of the Toponogov comparison theorem.

Our goal in the present paper is to give a new ergodic proof of a well-known Veech's result, build upon our previous works.

We prove two congruences for the coefficients of power series expansions in t of modular forms where t is a modular function. As a result, we settle two recent conjectures of Chan, Cooper and Sica. Additionally, we provide a table of…

This second part is devoted to the proof of all main results that we have mentionned in [KI].

The lack of transparency of Deep Neural Networks continues to be a limitation that severely undermines their reliability and usage in high-stakes applications. Promising approaches to overcome such limitations are Prototype-Based…

In this paper we investigate the recent advances by Zhang, Maynard and Pintz towards Polignac's conjecture and give some new results concerning the relationship between Polignac numbers and arithmetic progressions.

In this paper we present many congruences for several Ap\'ery-like sequences.

We improve the known upper bound for short exponential sums and increase the range on which a sharp upper bound is known.

We discuss several existing proofs of the value of a quartic integral and present a new proof that evolved from rational Landen transformations.

This review aims to provide a comprehensive update on the progress made on the Sequential Testing problem (STP) in the last 20 years after the review, [1] was published. Many studies have provided new theoretical results, extensions of the…

The paper presents a counterexample to the Hodge conjecture.

We give a new proof of the existence of designs, which is much shorter and gives better bounds.

We are pleased to see that Jeckelmann has made many changes to the original version of his comment on our paper as a result of our response. Here is a copy of this powerful response that reveals problems in his previous results. However,…

We describe recent progress on QH(G/P) with special emphasis of our own work.

We present an alternative cyclic proof system for Peano arithmetic that could be simpler than the existing ones and well-adapted both for proof analysis and for automatizing inductive proof search. In addition, we will show how various…