Related papers: Wadge degrees of $\Delta^0_2$ omega-powers

We establish the decidability of the $\Sigma_2$ theory of $\mathscr{D}_h(\leq_h \mathcal{O})$, the hyperarithmetic degrees below Kleene's $\mathcal{O}$, in the language of uppersemilattices with least and greatest element. This requires a…

We report some further developments regarding the language theory of higher-dimensional automata (HDAs). Regular languages of HDAs are sets of finite interval partially ordered multisets (pomsets) with interfaces. We show a pumping lemma…

Let $\sigma(n)$ denote the sum of the positive divisors of $n$. We say that $n$ is perfect if $\sigma(n) = 2 n$. Currently there are no known odd perfect numbers. It is known that if an odd perfect number exists, then it must be of the form…

While finite automata have minimal DFAs as a simple and natural normal form, deterministic omega-automata do not currently have anything similar. One reason for this is that a normal form for omega-regular languages has to speak about more…

Adding modular predicates yields a generalization of first-order logic FO over words. The expressive power of FO[<,MOD] with order comparison $x<y$ and predicates for $x \equiv i \mod n$ has been investigated by Barrington, Compton,…

Consider the Dirichlet Laplacian operator $-\Delta^D$ in a periodic waveguide $\Omega$. On the condition that $\Omega$ is sufficiently thin, we show that its spectrum $\sigma(-\Delta^D)$ is absolutely continuous (in each finite region). In…

In this article, we study the necessary and sufficient conditions for the existence of solutions in $W_0^{1,\infty}(\Omega;\mathbb R^n)$ in the minimal dimension of $\textrm{span }E$ for the following problem: \begin{equation*} P(D)u\in E…

We show in this note that the average number of terms in the optimal double-base number system is in Omega(n / log n). The lower bound matches the upper bound shown earlier by Dimitrov, Imbert, and Mishra (Math. of Comp. 2008).

We will describe an algorithm to arrange all the positive and negative integer numbers. This array of numbers permits grouping them in six different Classes, $\alpha$, $\beta$, $\gamma$, $\delta$, $\epsilon$, and $\zeta$. Particularly,…

We define and study the properties of $\gamma^{*}$-regular and $\gamma$-normal spaces. We also continue studying $\gamma_{o}$-compact spaces defined in [5].

This paper explores the fine-grained structure of classes of regular languages maintainable in fragments of first-order logic within the dynamic descriptive complexity framework of Patnaik and Immerman. A result by Hesse states that the…

Fix positive numbers $\alpha$ and $\beta$. For the family of doubly cyclic matrices of the form $diag(a_1, a_2, ... ,a_n) - diag(b_1, b_2, ... ,b_n) \Sigma_*$, where $\Sigma_*$ is a permutation matrix for the $n$-cycle $1 \to 2$, $2 \to 3$,…

This note is devoted to partial study of recurrent equation $d\omega=\beta \wedge \omega$, based on linear algebra of exterior forms. Such equation was considered by Lee, for non-degenerate 2-form. In this note we approach general case,…

$\omega$-clones are multi-sorted structures that naturally emerge as algebras for infinite trees, just as $\omega$-semigroups are convenient algebras for infinite words. In the algebraic theory of languages, one hopes that a language is…

Let $\mathbb K$ be a perfect field of characterstic $p\ge 0$ and let $R\in \mathbb K(x)$ be a rational function. This paper studies the number $\Delta_{\alpha, R}(n)$ of distinct solutions of $R^{(n)}(x)=\alpha$ over the algebraic closure…

We give explicit formulas for Whittaker functions for the class one principal series representations of the orthogonal groups $ SO_{2n+1}(\R) $ of odd degree. Our formulas are similar to the recursive formulas for Whittaker functions on…

We give a ranker-based description using finite-index congruences for the variety $\boldsymbol{\mathrm{DAb}}$ of finite monoids whose regular $\mathcal{D}$-classes form Abelian groups. This combinatorial description yields a normal form for…

We obtain global explicit numerical bounds, with best possible constants, for the differences $\frac{1}{n}\sum_{k\leq n}\omega(k)-\log\log n$ and$ \frac{1}{n}\sum_{k\leq n}\Omega(k)-\log\log n$, where $\omega(k)$ and $\Omega(k)$ refer to…

We show that many classical decision problems about 1-counter omega-languages, context free omega-languages, or infinitary rational relations, are $\Pi_2^1$-complete, hence located at the second level of the analytical hierarchy, and…

Orthogonal polynomials of degree $n$ with respect to the weight function $W_\mu(x) = (1-\|x\|^2)^\mu$ on the unit ball in $\RR^d$ are known to satisfy the partial differential equation $$ [ \Delta - \la x, \nabla \ra^2 - (2 \mu +d) \la x,…