Related papers: Drawing Sound Conclusions from Unsound Premises

Let $f$ be a smooth plurisubharmonic function which solves $$ \det(f_{i\bar j})=1\;\;\;\;\;\;\mbox{in }\Omega\subset \mathbb C^n.$$ Suppose that the metric $\omega_{f}=\sqrt{-1}f_{i\bar j}dz_{i}\wedge d\bar z_{j}$ is complete and $f$…

For a word $\pi$ and integer $i$, we define $L^i(\pi)$ to be the length of the longest subsequence of the form $i(i+1)\cdots j$, and we let $L(\pi):=\max_i L^i(\pi)$. In this paper we estimate the expected values of $L^1(\pi)$ and $L(\pi)$…

It was noticed by Harel in [Har86] that "one can define $\Sigma_1^1$-complete versions of the well-known Post Correspondence Problem". We first give a complete proof of this result, showing that the infinite Post Correspondence Problem in a…

Let $\varphi$, $\psi\in C(\mathbb{T})$, $g\in C(\overline{\mathbb{D}})$, where $\mathbb{D}$ and $\mathbb{T}$ denote the unit disk and the unit circle, respectively. Suppose that $f\in C^{4}(\mathbb{D})$ satisfies the following: (1) the…

This paper presents the following results on sets that are complete for NP. 1. If there is a problem in NP that requires exponential time at almost all lengths, then every many-one NP-complete set is complete under length-increasing…

We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding…

Let $\Phi = (\phi_1,\dots,\phi_6)$ be a system of $6$ linear forms in $3$ variables, i.e. $\phi_i \colon \mathbb{Z}^3 \to \mathbb{Z}$ for each $i$. Suppose also that $\Phi$ has Cauchy--Schwarz complexity $2$ and true complexity $1$, in the…

This paper concerns the values of the Euler phi-function evaluated simultaneously on k arithmetic progressions a_1 n + b_1, a_2 n + b_2, ..., a_k n + b_k. Assuming the necessary condition that no two of the polynomials a_i x + b_i are…

We study the limits of inductive sequences (A_i,\phi_i) where each A_i is a direct sum of full matrix algebras over compact metric spaces and each partial map of \phi_i is diagonal. We give a new characterisation of simplicity for such…

L. Capogna and M. Cowling showed that if $\phi$ is 1-quasiconformal on an open subset of a Carnot group G, then composition with $\phi$ preserves Q-harmonic functions, where Q denotes the homogeneous dimension of G. Then they combine this…

A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…

The problem of lifting a preference order on a set of objects to a preference order on a family of subsets of this set is a fundamental problem with a wide variety of applications in AI. The process is often guided by axioms postulating…

In this paper, we derive the early-time asymptotics for fixed-frequency solutions $\phi_\ell$ to the wave equation $\Box_g \phi_\ell=0$ on a fixed Schwarzschild background ($M>0$) arising from the no incoming radiation condition on…

Doubly periodic (periodic both in time and in space) solutions for the Lagrange-Euler equation of the (1+1)-dimensional scalar Phi^4 theory are considered. The nonlinear term is assumed to be small, and the Poincare-Lindstedt method is used…

This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…

Let $n\geq 2$ be an integer. Let $\phi(x)$ belonging to $\mathbb{Z}[x]$ be a monic polynomial which is irreducible modulo all primes less than or equal to $n$. Let $a_0(x), a_1(x), \dots, a_{n-1}(x)$ belonging to $\mathbb{Z}[x]$ be…

Let $\phi(n)$ be the Euler-phi function, define $\phi_0(n) = n$ and $\phi_{k+1}(n)=\phi(\phi_{k}(n))$ for all $k\geq 0$. We will determine an asymptotic formula for the set of integers $n$ less than $x$ for which $\phi_k(n)$ is $y$-smooth,…

Let $p$ be a prime. One formulation of the Polynomial Freiman-Ruzsa conjecture over $\mathbb{F}_p$ can be stated as follows. If $\phi : \mathbb{F}_p^n \rightarrow \mathbb{F}_p^N$ is a function such that $\phi(x+y) - \phi(x) - \phi(y)$ takes…

Atserias and M\"uller (JACM, 2020) proved that for every unsatisfiable CNF formula $\varphi$, the formula $\operatorname{Ref}(\varphi)$, stating "$\varphi$ has small Resolution refutations", does not have subexponential-size Resolution…

A large variety of microscopic or mesoscopic models lead to generic results that accommodate naturally within Boltzmann-Gibbs statistical mechanics (based on $S_1\equiv -k \int du p(u) \ln p(u)$). Similarly, other classes of models point…