Related papers: On Alternation and the Union Theorem

We conclude from Goedel's Theorem VII of his seminal 1931 paper that every recursive function f(x_{1}, x_{2}) is representable in the first-order Peano Arithmetic PA by a formula [F(x_{1}, x_{2}, x_{3})] which is algorithmically verifiable,…

Let $G$ be a complex reductive group and $H=G^{\theta}$ be its fixed point subgroup under a Galois involution $\theta$. We show that any $H$-distinguished representation $\pi$ (i.e $\mathrm{dim}_{\mathbb{C}}\left(\pi^{*}\right)^{H}\neq0$)…

We consider the ambiguity associated with the choice of clock in time reparameterization invariant theories. This arbitrariness undermines the goal of prescribing a fixed set of physical laws, since a change of time variable can completely…

We establish an operator-theoretic uncertainty principle over arbitrary compact groups, generalizing several previous results. As a consequence, we show that if f is in L^2(G), then the product of the measures of the supports of f and its…

In this paper, we sharpen results obtained by the author in 2023. The new results reduce the Mathieu Conjecture on $SU(N)$ (formulated for all compact connected Lie groups by O. Mathieu in 1997) to a conjecture involving only functions on…

The Three Gap Theorem, also known as the Steinhaus Conjecture, is a classical result on the combinatorics of the fractional part function, and has since been generalized in many ways. In this paper, we pose a new problem related to these…

Using methods from the theory of commutative graded Banach algebras, we obtain a generalization of the two dimensional Borsuk-Ulam theorem as follows: Let $\phi:S^{2} \rightarrow S^{2}$ be a homeomorphism of order n and $\lambda\neq 1$ be…

We prove a new case of mixed discrete joint universality theorem on approximation of certain target couple of analytic functions by the shifts of a pair consisting of the function belonging to wide class of Matsumoto zeta-functions and the…

The symmetric function theorem states that a polynomial that is invariant under permutation of variables, is a polynomial in the elementary symmetric polynomials. We deduce this classical result, in the analytic setting, from the…

In this work we study oblivious complexity classes. These classes capture the power of interactive proofs where the prover(s) are only given the input size rather than the actual input. In particular, we study the connections between the…

The concept of the $p^{\text{th}}$ variation of a continuous function $f$ along a refining sequence of partitions is the key to a pathwise It\^o integration theory with integrator $f$. Here, we analyze the $p^{\text{th}}$ variation of a…

We consider the compactification M(atrix) theory on a Riemann surface Sigma of genus g>1. A natural generalization of the case of the torus leads to construct a projective unitary representation of pi_1(\Sigma), realized on the Hilbert…

The present work proves that P=NP. The proof, presented in this work, is a constructive one: the program of a polynomial time deterministic multi-tape Turing machine M_ExistsAcceptingPath, that determines if there exists an accepting…

In this paper, we demonstrate the existence of the second moment of the Selberg zeta function for a Fuchsian group of the first kind at $\sigma = 1$. The prime geodesic theorem plays a crucial role in this context. The proof extends to…

For $j=1,2$, let $f_j(z) = \sum_{n=1}^{\infty} a_{j}(n) e^{2\pi i nz}$ be a holomorphic, non-CM cuspidal newform of even weight $k_j \ge 2$ with trivial nebentypus. For each prime $p$, let $\theta_{j}(p)\in[0,\pi]$ be the angle such that…

We introduce computable actions of computable groups and prove the following versions of effective Birkhoff's ergodic theorem. Let $\Gamma$ be a computable amenable group, then there always exists a canonically computable tempered two-sided…

As observed by Intrigila, there are hardly techniques available in the lambda-calculus to prove that two lambda-terms are not beta-convertible. Techniques employing the usual Boehm Trees are inadequate when we deal with terms having the…

Assume $\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\mathsf{S}_n$, and let $\mathsf{M}_n^{\otimes k}$ be its $k$-fold tensor power. The partition algebra $\mathsf{P}_k(n)$ maps surjectively onto the…

We prove a compactness theorem for pseudopower operations of the form $pp_{\Gamma(\mu,\sigma)}(\mu)$ where $\aleph_0<\sigma=cf(\sigma)\leq cf(\mu)$. Our main tool is a result that has Shelah's cov vs. pp Theorem as a consequence. We also…

In a recent paper, Bacher and de la Harpe study conjugacy growth series of infinite permutation groups and their relationships with $p(n)$, the partition function, and $p(n)_{\textbf{e}}$, a generalized partition function. They prove…