Related papers: Proofs of NP = coNP = PSPACE: Current upgrade
We fill in a gap in the proof of the main theorem in our earlier paper [Ol]. At the same time, we prove a slightly stronger version of the theorem needed for another paper.
We give a counterexample to a recently conjectured variant of the Penrose inequality.
We refine results of Gannon [G21, Theorem 4.7] and Simon [S15a, Lemma 2.8] on equivalences of convergent Morley sequences. We then introduce the notion of eventual $NIP$, as a property of a model, and give a variant of [KP18, Corollary…
In the paper based on the question of Zhang and L\"{u}[15], we present one theorem which will improve and extend the results of Banerjee-Majumder [2] and a recent result of Li-Huang [9].
Recently we have obtained two simple proofs of Sharkovsky's theorem, one with directed graphs [7] and the other without [8]. In this note, we present yet more simple proofs of Sharkovsky's theorem.
This notes explains how standard algorithms that construct sorting networks have been formalised and proved correct in the Coq proof assistant using the SSReflect extension.
In this critique, we examine the technical report by Daniel Uribe entitled "P vs. NP." The paper claims to show an exponential lower bound on the runtime of algorithms that decide CLIQUE. We show that the paper's proofs fail to generalize…
A few aspects of the mechanism of confinement of color by monopole condensation are reviewed.
That a superposition of fundamental solutions to the $p$-Laplace Equation is $p$-superharmonic -- even in the non-linear cases $p>2$ -- has been known since M. Crandall and J. Zhang published their paper "Another Way to Say Harmonic" in…
Comment: Monitoring Networked Applications With Incremental Quantile Estimation [arXiv:0708.0302]
Comment: Monitoring Networked Applications With Incremental Quantile Estimation [arXiv:0708.0302]
We prove an improved form of an expectation of Polya and discuss several related questions
We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique can be adapted to recover every existing result of this kind,…
In this paper, new inequalities connected with the celebrated Steffensen's integral inequality are proved.
Here we give further evidences to support our scaling relation described in our previous paper [cond-mat/0006459, Phys. Rev. Lett. Vol.85, pp.1238 (2000)].
We comment on some apparently weak points in the novel strategies recently developed by various authors aiming at a proof of the Riemann hypothesis. After noting the existence of relevant previous papers where similar tools have been used,…
Z. Xu, et al. [Phys. Rev. A 103, 023114 (2021)], have reported a measurement for the enhancement factor $\kappa$, which characterizes the overlap of the electron wavefunction with the noble-gas nucleus in Cs-$^{129}$Xe spin-exchange optical…
We provide a simple proof of the completeness of arbitrary public announcement logic APAL. The proof is an improvement over the proof found in the publication Knowable as Known after an Announcement.
We survey recent progress in the proof complexity of strong proof systems and its connection to algebraic circuit complexity, showing how the synergy between the two gives rise to new approaches to fundamental open questions, solutions to…
Generalizing earlier works of Delbaen & Haezendonck [5] as well as of [18] and [16] for given compound mixed renewal process S under a probability measure P, we characterize all those probability measures Q on the domain of P such that Q…