Related papers: The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete …

Let $S(t)$ denote the argument of the Riemann zeta-function, defined as $$ S(t)=\dfrac{1}{\pi}\,\Im\log\zeta(1/2+it). $$ Assuming the Riemann hypothesis, we prove that $$ S(t)=\Omega_{\pm}\bigg(\dfrac{\log t\log\log\log t}{\log\log…

In a recent letter, new representations were proposed for the pair of sequences ($\gamma,\delta$), as defined formally by Bailey in his famous lemma. Here we extend and prove this result, providing pairs ($\gamma,\delta$) labelled by the…

In this article, we prove that if $X$ is a Stein space and $\Omega\subset X$ an increasing sequence of $q$-complete open subsets, then $\Omega$ is $q$-complete.

Quantum formulas, defined by Yao [FOCS '93], are the quantum analogs of classical formulas, i.e., classical circuits in which all gates have fanout one. We show that any read-once quantum formula over a gate set that contains all…

This paper studies the problem of testing if an input (Gamma,*), where Gamma is a finite set of unknown size and * is a binary operation over Gamma given as an oracle, is close to a specified class of groups. Friedl et al. [Efficient…

Let $\alpha,\beta \in \mathbb{R}_{>0}$ be such that $\alpha,\beta$ are quadratic and $\mathbb{Q}(\alpha)\neq \mathbb{Q}(\beta)$. Then every subset of $\mathbb{R}^n$ definable in both $(\mathbb{R},{<},+,\mathbb{Z},x\mapsto \alpha x)$ and…

In this paper we study the orthogonality conditions satisfied by Jacobi polynomials $P_n^{(\alpha,\beta)}$ when the parameters $\alpha$ and $\beta$ are not necessarily $>-1$. We establish orthogonality on a generic closed contour on a…

Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…

We in this paper show that omega regular languages are not closed under infinite union and intersection. As an attempt, we propose to add step variables and quantifiers to temporal logics to enhance the expressiveness of the underlying…

For each closed, positive (1,1)-current \omega on a complex manifold X and each \omega-upper semicontinuous function \phi on X we associate a disc functional and prove that its envelope is equal to the supremum of all…

We call an $\alpha \in \mathbb{R}$ regainingly approximable if there exists a computable nondecreasing sequence $(a_n)_n$ of rational numbers converging to $\alpha$ with $\alpha - a_n < 2^{-n}$ for infinitely many $n \in \mathbb{N}$. We…

We develop a general field-covariant approach to quantum gauge theories. Extending the usual set of integrated fields and external sources to "proper" fields and sources, which include partners of the composite fields, we define the master…

Safety is a syntactic condition of higher-order grammars that constrains occurrences of variables in the production rules according to their type-theoretic order. In this paper, we introduce the safe lambda calculus, which is obtained by…

Let $G_{\lambda}^{(\alpha,\beta)}$ be the eigenfunctions of the Dunkl-Cherednik operator $T^{(\alpha,\beta)}$ on $\mathbb{R}$. In this paper we express the product $G_{\lambda}^{(\alpha,\beta)}(x)G_{\lambda}^{(\alpha,\beta)}(y)$ as an…

We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness problem asks whether the formula is complete for that logic.…

A dictionary is a set of finite words over some finite alphabet X. The omega-power of a dictionary V is the set of infinite words obtained by infinite concatenation of words in V. Lecomte studied in [Omega-powers and descriptive set theory,…

We characterize pairs of orthogonal countable ordinals. Two ordinals $\alpha$ and $\beta$ are orthogonal if there are two linear orders $A$ and $B$ on the same set $V$ with order types $\alpha$ and $\beta$ respectively such that the only…

We investigate the log-concavity on the half-line of the Wright function $\phi(-\alpha,\beta,-x),$ in the probabilistic setting $\alpha\in (0,1)$ and $\beta \ge 0.$ Applications are given to the construction of generalized entropies…

In this note, we show that if $N$ is an odd perfect number and $q^{\alpha}$ is some prime power exactly dividing it, then $\sigma(N/q^{\alpha})/q^{\alpha}>5$. In general, we also show that if $\sigma(N/q^{\alpha})/q^{\alpha}<K$, where $K$…

Twenty years after its introduction by Ehrhard and Regnier, differentiation in $\lambda$-calculus and in linear logic is now a celebrated tool. In particular, it allows to establish a Taylor expansion formula for various $\lambda$-calculi,…