Related papers: Solution of a Problem of Barendregt on Sensible la…
A conjecture of Berger states that, for any simply connected Riemannian manifold all of whose geodesics are closed, all prime geodesics have the same length. We firstly show that the energy function on the free loop space of such a manifold…
The article has been withdrawn by the author. Wolfgang Lueck and Peter Linnell pointed out that the proof of Lemma 3.8 does not apply to the unrestricted case of wreath product. It is not clear at this stage how to complete the proof of…
It is shown that analytically soluble bound states of the Schr\"odinger equation for a large class of systems relevant to atomic and molecular physics can be obtained by means of the Laplace transform of the confluent hypergeometric…
Let G be a connected linear algebraic group over an algebraically closed field k, and let H be a connected closed subgroup of G. We prove that the homogeneous variety G/H is a rational variety over k whenever H is solvable, or when dim(G/H)…
Let $\mathfrak{h}_3$ be the Heisenberg algebra and let $\mathfrak g$ be the 3-dimensional Lie algebra having $[e_1,e_2]=e_1\,(=-[e_2,e_1])$ as its only non-zero commutation relations. We describe the closure of the orbit of a vector of…
We present a conditionally integrable potential, belonging to the bi-confluent Heun class, for which the Schr\"odinger equation is solved in terms of the confluent hypergeometric functions. The potential involves an attractive inverse…
Valiant's Holant theorem is a powerful tool for algorithms and reductions for counting problems. It states that if two sets $\mathcal{F}$ and $\mathcal{G}$ of tensors (a.k.a. constraint functions or signatures) are related by a…
Recently, a conjecture due to Hendry was disproved which stated that every Hamiltonian chordal graph is cycle extendible. Here we further explore the conjecture, showing that it fails to hold even when a number of extra conditions are…
Let $\{v_{\alpha}\}$ be a system of polynomial solutions of the parabolic equation $a_{hk}\partial_{x_{h}x_{k}}u - \partial_t u =0$ in a bounded $C^1$-cylinder $\Omega_{T}$ contained in $\mathbb{R}^{n+1}$. Here $a_{hk}\partial_{x_{h}x_{k}}$…
An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…
An integral of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. In this paper, we prove that the integrability of a finite group is a decidable problem.
We study translation-invariant additive equations of the form $\sum_{i=1}^s \lambda_i \mathbf{P}(\mathbf{n}_i) = 0$ in variables $\mathbf{n}_i \in \mathbb{Z}^d$, where the $\lambda_i$ are nonzero integers summing to zero, and $\mathbf{P}$…
Fixing some computably enumerable theory $T$, the Friedman-Goldfarb-Harrington (FGH) theorem says that over elementary arithmetic, each $\Sigma_1$ formula is equivalent to some formula of the form $\Box_T \varphi$ provided that $T$ is…
For a continuous Hamiltonian $H : (x, p, u) \in T^*\mathbb{R}^n \times \mathbb{R}\rightarrow \mathbb{R}$, we consider the asymptotic behavior of associated Hamilton--Jacobi equations with state-constraint $H(x, Du, \lambda u) \leq…
A family of sets $\mathcal{A}$ is union-closed if it is finite and nonempty with member sets that are all finite and distinct (at least one of which is nonempty) and it satisfies the property $X, Y \in \mathcal{A} \implies X \cup Y \in…
This paper examines the possibilities of extending Cantor's two arguments on the uncountable nature of the set of real numbers to one of its proper denumerable subsets: the set of rational numbers. The paper proves that, unless certain…
The Hodge conjecture is shown to be equivalent to a question about the homology of very ample divisors with ordinary double point singularities. The infinitesimal version of the result is also discussed.
A set is introreducible if it can be computed by every infinite subset of itself. Such a set can be thought of as coding information very robustly. We investigate introreducible sets and related notions. Our two main results are that the…
We classify all closed, aspherical Riemannian manifolds M whose universal cover has indiscrete isometry group. One sample application is the theorem that any such M with word-hyperbolic fundamental group must be isometric to a negatively…
We prove that the following problem is decidable: given a finite set of relations, decide whether this set admits a near-unanimity function.