相关论文: Formalising and Computing the Fourth Homotopy Grou…

Let F be a number field with adele ring A_F, and \pi an isobaric, algebraic automorphic representation of GL_4(A_F) of a fixed archimedean weight, which is quasi-regular, meaning that at every archimedean place v of F, the 4-dimensional…

This paper is concerned with the topological space of normalized quaternion-valued positive definite functions on an arbitrary abelian group G, especially its convex characteristics. There are two main results. Firstly, we prove that the…

The abelian Hidden Subgroup Problem (HSP) is extremely general, and many problems with known quantum exponential speed-up (such as integers factorisation, the discrete logarithm and Simon's problem) can be seen as specific instances of it.…

We give a proof of the Universality Conjecture for orthogonal (beta=1) and symplectic (beta=4) random matrix ensembles of Laguerre-type in the bulk of the spectrum as well as at the hard and soft spectral edges. Our results are stated…

Homomorphisms are defined between the multiplicative group of an etale algebra of dimension 4 and the multiplicative group of a canonically associated etale algebra of degree 6 over an arbitrary field. These homomorphisms are used to relate…

Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a…

In this article we present a method for formally proving the correctness of the lazy algorithms for computing homographic and quadratic transformations -- of which field operations are special cases-- on a representation of real numbers by…

The product formula, commonly known as Trotter decomposition, is a central tool for digital quantum simulation, whose performance depends critically on how the Hamiltonian is partitioned into tractable blocks. Standard decompositions…

In this paper, we study representations from the four-punctured sphere group into isometry groups of Gromov-hyperbolic spaces. We prove that the set of simple-stable representations (in analogy with Minsky's notion of primitive-stability)…

Hamiltonian Truncation Methods are a useful numerical tool to study strongly coupled QFTs. In this work we present a new method to compute the exact corrections, at any order, in the Hamiltonian Truncation approach presented by Rychkov et…

In this paper we exhibit the notion of (uniformly) good sections of arithmetic fundamental groups. We introduce and investigate the problem of cuspidalisation of sections of arithmetic fundamental groups, its ultimate aim is to reduce the…

We revisit methods of proof of the Adams Conjecture in order to correct and supplement earlier efforts to prove analogous conjectures in the stable homotopy category. We utilize simplicial schemes over an algebraically closed field of…

This paper describes a large set of related theorem proving problems obtained by translating theorems from the HOL4 standard library into multiple logical formalisms. The formalisms are in higher-order logic (with and without type…

The Multiplier Hopf Group Coalgebra was introduced by Hegazi in 2002 [7] as a generalization of Hope group caolgebra, introduced by Turaev in 2000 [5], in the non-unital case. We prove that the concepts introduced by A.Van Daele in…

We present the type theory CaTT, originally introduced by Finster and Mimram to describe globular weak $\omega$-categories, and we formalise this theory in the language of homotopy type theory. Most of the studies about this type theory…

The IA-automorphism group is the group of automorphisms of the free group $F_n$ that act trivially on the abelianization $F_n^{\mathrm{ab}}$. This group is in many ways analoguous to Torelli groups of surfaces and their higher dimensional…

In this paper the authors consider four questions of primary interest for the representation theory of reductive algebraic groups: (i) Donkin's Tilting Module Conjecture, (ii) the Humphreys-Verma Question, (iii) whether $\operatorname{St}_r…

Liquid 4He has been studied extensively for almost a century, but there are still a number of outstanding weak or missing links in our comprehension of it. This paper reviews some of the principal paths taken in previous research and then…

We give a new formulation of Turing reducibility in terms of higher modalities, inspired by an embedding of the Turing degrees in the lattice of subtoposes of the effective topos discovered by Hyland. In this definition, higher modalities…

In this article, we extend the framework developed in \cite{unbounded_domain_cadiot} to allow for rigorous proofs of existence of smooth, localized solutions in semi-linear partial differential equations possessing both space and non-space…