Related papers: On Alternation and the Union Theorem

Using properties of Blum complexity measures and certain complexity class operators, we exhibit a total computable and non-decreasing function $t_{\mathsf{poly}}$ such that for all $k$, $\Sigma_k\mathsf{P} =…

Let $f(z)=\sum_{n=1}^\infty a(n)e^{2\pi i nz}\in S_k^{new}(\Gamma_0(N))$ be a newform of even weight $k\geq2$ that does not have complex multiplication. Then $a(n)\in\mathbb{R}$ for all $n$, so for any prime $p$, there exists…

For a prime $p$, we show that uniqueness of factorization into irreducible $\Sigma_{p^2}$-invariant representations of $\mathbb{Z}/p \wr \mathbb{Z}/p$ holds if and only if $p=2$. We also show nonuniqueness of factorization for…

This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…

Let $p$ be a prime and let $S_2(\Gamma(p))$ be the space of weight $2$ cusp forms for the principal congruence subgroup $\Gamma(p)$. Then $\mathrm{SL}_2(\mathbb{F}_p)$ acts on $S_2(\Gamma(p))$ in a natural way. Around 1928, Hecke proved…

Motivated by the observation that $2+2=4$, we consider four-dimensional $\mathcal{N}=2$ superconformal field theories on $S^2\times\Sigma$, turning on a suitable rigid supergravity background. On the one hand, reduction of a…

Let $\mathrm{Mod}(S_g)$ be the mapping class group of the closed orientable surface of genus $g \geq 2$. In this article, we derive necessary and sufficient conditions under which two torsion elements in $\mathrm{Mod}(S_g)$ will have…

We present a pseudoclassical mechanics model which exhibits gauge symmetry and time-reparametrization invariance. As such, first- and second-class constraints restrict the phase space, and the Hamiltonian weakly vanishes. We show that the…

For any time bound f, let H(f) denote the hierarchy conjecture which means that the restriction of the numbers of work tapes of deterministic Turing machines to some b generates an infinite hierarchy of proper subclasses DTIME_b(f) \subset…

We develop further our fibre bundle construct of non-commutative space-time on a Minkowski base space. We assume space-time is non-commutative due to the existence of additional non-commutative algebraic structure at each point x of…

This is a conitunation of [1] and [2]. We prove that if function $f$ belongs to the class $\Lambda_{\omega} \overset{\text{def}}{=} \{f: \omega_{f}(\delta)\leq \text{const} \omega(\delta)\} $ for an arbitrary modulus of continuity $\omega$,…

We generalize the classical definition of effectively closed subshift to finitely generated groups. We study classical stability properties of this class and then extend this notion by allowing the usage of an oracle to the word problem of…

We reprove a result of Boppana and Lagarias: If Pi_2^P is different from Sigma_2^P then there exists a partial function f that is computable by a polynomial-size family of circuits, but no inverse of f is computable by a polynomial-size…

The Fewest Clues Problem (FCP) framework has been introduced to study the complexity of determining whether a solution to an \NP~problem can be uniquely identified by specifying a subset of the certificate. For a given problem $P \in \NP$,…

A new class UF of problems is introduced, strictly included in the class NP, which arises in the analysis of the time verifying the intermediate results of computations. The implications of the introduction of this class are considered.…

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…

Let $\mathbb{G}$ be a locally compact abelian group and let $1<p\leq 2$. $\mathbb{G}^{'}$ is the dual group of $\mathbb{G}$, and $p^{'}$ the conjugate exponent of $p$. An operator $T$ between Banach spaces $X$ and $Y$ is said to be…

In this paper, we provide both a preservation and breaking of symmetry theorem for $2\pi$-periodic problems of the form \begin{align*} \begin{cases} -u''(t) + g(u(t)) = f(t)\cr u(0) - u(2\pi) = u'(0) - u'(2\pi) = 0 \end{cases} \end{align*}…

In this paper we prove a noncommutative version of Hardy-Littlewood inequalities relating a function and its Fourier coefficients on the group $SU(2)$. As a consequence, we use it to obtain lower bounds for the $L^p-L^q$ norms of Fourier…

The purpose of the present paper is to prove for finitely generated groups of type I the following conjecture of A.Fel'shtyn and R.Hill, which is a generalization of the classical Burnside theorem. Let G be a countable discrete group, f one…