Related papers: On Alternation and the Union Theorem

Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as communication protocols or hardware. The main advantage of the alternating model of computation is that complementation is…

We solve the twisted conjugacy problem on Thompson's group F. We also exhibit orbit undecidable subgroups of Aut(F), and give a proof that Aut(F) and Aut_+(F) are orbit decidable provided a certain conjecture on Thompson's group T is true.…

Let $L/K$ be a Galois extension of number fields and let $G=\mathrm{Gal}(L/K)$. We show that under certain hypotheses on $G$, for a fixed prime number $p$, Leopoldt's conjecture at $p$ for certain proper intermediate fields of $L/K$ implies…

To verify the universal validity of the "two-sided" monotonicity condition introduced in [8], we will apply it to include more classical examples. The present paper selects the $L^{p}$ convergence case for this purpose. Furthermore, Theorem…

A proof of a theorem of M. Hertweck presented during a seminar in January 2013 in Stuttgart is given. The proof is based on a preprint given to me by Hertweck. Let $R$ be a commutative ring, $G$ a finite group, $N$ a normal $p$-subgroup of…

In this paper we prove that for any prime $p\ge 11$ holds $$ {2p-1\choose p-1}\equiv 1 -2p \sum_{k=1}^{p-1}\frac{1}{k} +4p^2\sum_{1\le i<j\le p-1}\frac{1}{ij}\pmod{p^7}. $$ This is a generalization of the famous Wolstenholme's theorem which…

We prove a general decomposition theorem for the modal $\mu$-calculus $L_\mu$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a structure (i.e., transition system) is composed of two…

The normal covering number $\gamma(G)$ of a finite, non-cyclic group $G$ is the least number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We prove that there is a positive constant $c$…

Using ideas from Jones, lattice gauge theory and loop quantum gravity, we construct 1+1-dimensional gauge theories on a spacetime cylinder. Given a separable compact group $G$, we construct localized time-zero fields on the spatial torus as…

This paper aims to better understand the link better understand the links between aperiodicity in subshifts and pattern complexity. Our main contribution deals with substitutive subshifts, an equivalent to substitutive tilings in the…

We study the complexity of classical constraint satisfaction problems on a 2D grid. Specifically, we consider the complexity of function versions of such problems, with the additional restriction that the constraints are translationally…

SU($N_c$) gauge theories containing matter fields may be invariant under transformations of some subgroup of the $\mathbb{Z}_{N_c}$ center; the maximum such subgroup is $\mathbb{Z}_{p}$, with $p$ depending on $N_c$ and the representations…

We show that every effectively closed action of a finitely generated group $G$ on a closed subset of $\{0,1\}^{\mathbb{N}}$ can be obtained as a topological factor of the $G$-subaction of a $(G \times H_1 \times H_2)$-subshift of finite…

Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. In this paper, we prove that if $\sigma_1(G)<2+\frac{11}{|G|}$\,, then $G$ is supersolvable. In particular, some new characterizations of the well-known groups…

In this paper I present a conjecture for a recursive algorithm that finds each permutation of combining two sets of objects (AKA the Shuffle Product). This algorithm provides an efficient way to navigate this problem, as each atomic…

We consider in a Hilbert space a self-adjoint operator H and a family Phi=(Phi_1,...,Phi_d) of mutually commuting self-adjoint operators. Under some regularity properties of H with respect to Phi, we propose two new formulae for a time…

We show that the suspended pinch point can be seen as an elliptically fibered variety with singular fibers of type I$_2$ over codimension-one points of the base and a torsionless Mordell--Weil group of rank one. In the F-theory algorithm,…

In this paper, we prove uniform bounds for $\rm GL (3)\times GL(2)$ $L$-functions in the $\rm GL(2)$ spectral aspect and the $t$ aspect by a delta method. More precisely, let $\phi$ be a Hecke--Maass cusp form for $\rm SL(3,\mathbb{Z})$ and…

In this paper we construct a new difference analog of the Caputo fractional derivative (called the $L2$-$1_\sigma$ formula). The basic properties of this difference operator are investigated and on its basis some difference schemes…

A known Hardy-Littlewood theorem asserts that if both the function and its conjugate are of bounded variation, then their Fourier series are absolutely convergent. It is proved in the paper that the same result holds true for functions on…