English
Related papers

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

200 papers

There are several mathematical and physical reasons why Dirac's quantization must hold. How far one can go without it remains an open problem. The present work outlines a few steps in this direction.

High Energy Physics - Theory · Physics 2007-05-23 A. I. Nesterov , F. Aceves de la Cruz

This paper has been withdrawn by the author due to a misunderstanding about 3QBF.

Computational Complexity · Computer Science 2010-07-14 Norichika Matsuki

We prove some results on the existence and compactness of solutions of a fractional Nirenberg problem.

Analysis of PDEs · Mathematics 2014-11-25 Tianling Jin , YanYan Li , Jingang Xiong

We prove some extensions of Andrews inequality.

Differential Geometry · Mathematics 2020-11-02 Hao Fang , Biao Ma , Wei Wei

We obtain similar types of conclusions as that of Br\"{u}ck [1] for two differential polynomials which in turn radically improve and generalize several existing results. Moreover, a number of examples have been exhibited to justify the…

Complex Variables · Mathematics 2022-09-15 Abhijit Banerjee , Bikash Chakraborty

Remarks on mathematical proof and the practice of mathematics.

History and Overview · Mathematics 2009-05-25 Melvyn B. Nathanson

This document presents a simpler proof showcasing the NP-hardness of Familial Graph Compression.

Computational Complexity · Computer Science 2020-09-08 Ammar Ahmed , Zohair Raza Hassan , Mudassir Shabbir

We streamline Malliaris and Shelah's proof that $\mathfrak{p} = \mathfrak{t}$. In particular, we replace cofinality spectrum problems with models of $ZFC^-$, and we eliminate the use of peculiar cuts.

Logic · Mathematics 2018-10-23 Douglas Ulrich

This is a revised version of Sh:430, section 6.

Logic · Mathematics 2015-12-23 Saharon Shelah

A simple proof of a key inequality required by the paper's analysis is presented. An introductory section discussing the paper's setup may be helpful to some readers. An alternative statistical analysis is suggested.

Quantum Physics · Physics 2007-07-25 Stephen Parrott

This text is an appendix to our work "On the growth of Kronecker coefficients", arXiv:1607.02887. Here, we provide some complementary theorems, remarks, and calculations that for the sake of space are not going to appear into the final…

Representation Theory · Mathematics 2016-11-23 Emmanuel Briand , Amarpreet Rattan , Mercedes Rosas

In the present note, we study a new method of constructing efficient coverings for Kronecker powers of matrices, recently proposed by J. Alman, Y. Guan, A. Padaki [arXiv, 2022]. We provide an alternative proof for the case of symmetric…

Data Structures and Algorithms · Computer Science 2022-12-06 Igor S. Sergeev

Using Singular Rescaling We Prove Some Bifurcation Results. This note Presents short proofs for some Bifurcation results which had been appeared with other authors.

Dynamical Systems · Mathematics 2024-04-16 Ali Taghavi

In this short note we confirm the relation between the generalized $abc$-conjecture and the $p$-rationality of number fields. Namely, we prove that given K$/\mathbb{Q}$ a real quadratic extension or an imaginary $S_3$-extension, if the…

Number Theory · Mathematics 2019-07-09 Christian Maire , Marine Rougnant

We find a new proof for the celebrated theorem of Keith and Zhong that a $(1,p)$-Poincar\'e inequality self-improves to a $(1,p-\epsilon)$-Poincar\'e inequality. The paper consists of a novel characterization of Poincar\'e inequalities and…

Metric Geometry · Mathematics 2018-09-21 Sylvester Eriksson-Bique

This paper was written, apart from one technical correction, in July and August of 2013. The, then very recent, breakthrough of Y. Zhang \cite{Z} had revived in us an intention to produce a second edition of our book "Opera de Cribro", one…

Number Theory · Mathematics 2014-01-14 J. B. Friedlander , H. Iwaniec

The paper contains an alternative proof of M. Kontsevich Formality Theorem.

Quantum Algebra · Mathematics 2007-05-23 Dmitry E. Tamarkin

We critique Valerii Sopin's paper "${\rm PH} = {\rm PSPACE}$" [Sop14]. The paper claims to resolve one of the major open problems of theoretical computer science by leveraging the Skolemization of existential quantifiers of quantified…

Computational Complexity · Computer Science 2023-01-10 Michael C. Chavrimootoo , Ian Clingerman , Quan Luu

We prove some new results related to Tanaka's formula.

Probability · Mathematics 2017-09-19 Gianluca Cassese

We prove a continued fraction expansion for the reciprocal of a certain $q$-series. All the specialists in the world are asked whether it is new or not.

Combinatorics · Mathematics 2008-06-06 Helmut Prodinger
‹ Prev 1 3 4 5 6 7 10 Next ›