Related papers: On the equivalence of two quantifier elimination t…

Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the…

We establish the q-analogue of a classical congruence of Lehmer. Also, the q-analogues of two congruences of Morley and Granville are given.

We demonstrate that the checkable/synthesisable split in bidirectional typechecking coincides with existing dualities in polarised System L, also known as polarised $\mu\tilde{\mu}$-calculus. Specifically, positive terms and negative…

We prove the existence of entire functions that achieve universal approximations on certain countable sequences of translation operators .

We show that the notion of $(\infty,n)$-limit defined using the enriched approach and the one defined using the internal approach coincide. We also give explicit constructions of various double $(\infty,n-1)$-categories implementing various…

Given two schemes $S$ and $S'$, we prove that every equivalence between $\mathbf{Sch}_S$ and $\mathbf{Sch}_{S'}$ comes from a unique isomorphism between $S$ and $S'$. This eliminates all Noetherian and finite type hypotheses from a result…

We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit…

We show that many theorems which assert that two kinds of partitions of the same integer $n$ are equinumerous are actually special cases of a much stronger form of equality. We show that in fact there correspond partition statistics $X$ and…

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…

The surge in digitized text data requires reliable inferential methods on observed textual patterns. This article proposes a novel two-sample text test for comparing similarity between two groups of documents. The hypothesis is whether the…

We demonstrate the consistency of cross validation for comparing multiple density estimators using simple inequalities on the likelihood ratio. In nonparametric problems, the splitting of data does not require the domination of test data…

A class of state models, called Kronecker-Weierstrass models (or, simply, KW-models), is introduced, and the state representation problem for linear differential systems is studied in the context of these models. It is shown, in particular,…

Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations. In this work, we supply logical foundations to this practice,…

We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of…

We begin an investigation into extending the T1 theorem of David and Journ\'e, and the corresponding cancellation conditions of Stein, to more general pairs of distinct doubling weights. For example, assuming the measures satisfy a…

Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…

A decidability proof for bisimulation equivalence of first-order grammars (finite sets of labelled rules for rewriting roots of first-order terms) is presented. The equivalence generalizes the DPDA (deterministic pushdown automata)…

We study an untyped lambda calculus with quantum data and classical control. This work stems from previous proposals by Selinger and Valiron and by Van Tonder. We focus on syntax and expressiveness, rather than (denotational) semantics. We…

Recently, a generalized test approach is proposed by Sadooghi-alvandi et al. (2016) and a fiducial approach is proposed by Xu and Li (2018) to test the equality of coefficients in several regression models with unequal variances. In this…

Second-order quantifier-elimination is the problem of finding, given a formula with second-order quantifiers, a logically equivalent first-order formula. While such formulas are not computable in general, there are practical algorithms and…