Related papers: Drawing Sound Conclusions from Unsound Premises

We apply the Inclusion-Exclusion Principle to a unique pair of prime number subsequences to determine whether these subsequences form a small set or a large set and thus whether the infinite sum of the inverse of their terms converges or…

Assuming the existence of Siegel zeros, we prove that there exists an increasing sequence of positive integers for which Chowla's Conjecture on $k$-point correlations of the Liouville function holds. This extends work of Germ\'an and…

We consider positive solutions to $\displaystyle -\Delta_p u=\frac{1}{u^\gamma}+f(u)$ under zero Dirichlet condition in the half space. Exploiting a prio-ri estimates and the moving plane technique, we prove that any solution is monotone…

We introduce the generic Lah polynomials $L_{n,k}(\phi)$, which enumerate unordered forests of increasing ordered trees with a weight $\phi_i$ for each vertex with $i$ children. We show that, if the weight sequence $\phi$ is…

In this paper, we show that if $(U_n)_{n\ge 1}$ is any nondegenerate linearly recurrent sequence of integers whose general term is up to sign not a polynomial in $n$, then the inequality $\phi(|U_n|)\ge |U_{\phi(n)}|$ holds on a set of…

Shoenfield's completeness theorem (1959) states that every true first order arithmetical sentence has a recursive $\omega$-proof encodable by using recursive applications of the $\omega$-rule. For a suitable encoding of Gentzen style…

This paper reports a breakdown in linear stability theory under conditions of neutral stability that is deduced by an examination of exponential modes of the form $h\approx {{e}^{i(kx-\omega t)}}$, where $h$ is a response to a disturbance,…

We study the complexity of consistent query answering on databases that may violate primary key constraints. A repair of such a database is any consistent database that can be obtained by deleting a minimal set of tuples. For every Boolean…

In this paper, generalized Bell polynomials $(\Be_n^\phi)_n$ associated to a sequence of real numbers $\phi=(\phi_i)_{i=1}^\infty$ are introduced. Bell polynomials correspond to $\phi_i=0$, $i\ge 1$. We prove that when $\phi_i\ge 0$, $i\ge…

We introduce the notion of nonevasive reduction, and show that for any monotone poset map $\phi:P\to P$, the simplicial complex $\Delta(P)$ {\tt NE}-reduces to $\Delta(Q)$, for any $Q\supseteq{\text{\rm Fix}}\phi$. As a corollary, we prove…

For lambda phi^4 problems, convergent perturbative series can be obtained by cutting off the large field configurations. The modified series converge to values exponentially close to the exact ones. For lambda larger than some critical…

We construct a C*-algebra that has only one irreducible representation up to unitary equivalence but is not isomorphic to the algebra of compact operators on any Hilbert space. This answers an old question of Naimark. Our construction uses…

We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show…

Motivated by the theory of proof complexity generators we consider the following $\Sigma^p_2$ search problem $\mbox{DD}_P$ determined by a propositional proof system $P$: given a $P$-proof $\pi$ of a disjunction $\bigvee_i {\alpha}_i$, no…

There is no infinite sequence of $\Pi^1_1$-sound extensions of $\mathsf{ACA}_0$ each of which proves $\Pi^1_1$-reflection of the next. This engenders a well-founded ``reflection ranking'' of $\Pi^1_1$-sound extensions of $\mathsf{ACA}_0$.…

Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, $\wedge$, $\Diamond$, and $\Box$. Previously, the only known result was that the…

We consider several formalizations in the language of second-order arithmetic of "The formula $\phi$ is a theorem of $\omega$-logic", including some which have been studied in the literature and a new variant defined via a least fixed…

Let $\mu_1 \ge \dotsc \ge \mu_n > 0$ and $\mu_1 + \dotsm + \mu_n = 1$. Let $X_1, \dotsc, X_n$ be independent non-negative random variables with $EX_1 = \dotsc = EX_n = 1$, and let $Z = \sum_{i=1}^n \mu_i X_i$. Let $M = \max_{1 \le i \le n}…

In this paper, we propose two algorithms for solving linear inverse problems when the observations are corrupted by Poisson noise. A proper data fidelity term (log-likelihood) is introduced to reflect the Poisson statistics of the noise. On…

We consider the nonlinear problem \[(P) \;\; I u=f(x,u) \text{ in $\Omega$,} \;\; u=0 \text{ on $\mathbb{R}^{N}\setminus\Omega$ }\] in an open bounded set $\Omega\subset\mathbb{R}^{N}$, where $I$ is a nonlocal operator which may be…