相关论文: Lecture notes on the Ein-Popa extension result

In this article, we review the proofs of the first Zassenhaus Conjecture on conjugacy of torsion units in integral group rings for the alternating groups of degree 5 and 6, by Luthar-Passi and Hertweck. We describe how the study of these…

Various subsets of the tracial state space of a unital C*-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II_1-factor representations of a class of C*-algebras considered by…

We prove the finiteness of relative log pluricanonical representations in the complex analytic setting. As an application, we discuss the abundance conjecture for semi-log canonical pairs within this framework. Furthermore, we establish the…

We develop a fully expectation--value formulation of the GUP/Bekenstein--bound (BEB) correspondence, building on \cite{Ali:2024tbd,Ali:2022ckm,Ali:2022ulp}. Using Dirac's commutator--Poisson equivalence, the BEB supplies an information…

In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambda terms and/or the denotations studied tend to follow the…

We give a light introduction to some recent developments in Mori theory, and to our recent direct proof of the finite generation of the canonical ring.

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the…

Internal language theorems are fundamental in categorical logic, since they express an equivalence between syntax and semantics. One of such theorems was proven by Clairambault and Dybjer, who corrected the result originally by Seely. More…

The neglected Russian mathematician, N.~S.~Koshliakov, derived beautiful generalizations of the classical Abel--Plana summation formula through a setting arising from a boundary value problem in heat conduction. When we let the parameter…

We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…

The AGM postulates by Alchourr\'{o}n, G\"{a}rdenfors, and Makinson continue to represent a cornerstone in research related to belief change. We generalize the approach of Katsuno and Mendelzon (KM) for characterizing AGM base revision from…

It was noticed by Harel in [Har86] that "one can define $\Sigma_1^1$-complete versions of the well-known Post Correspondence Problem". We first give a complete proof of this result, showing that the infinite Post Correspondence Problem in a…

In 2007, Andrews and Paule published the eleventh paper in their series on MacMahon's partition analysis, with a particular focus on broken $k$-diamond partitions. On the way to broken $k$-diamond partitions, Andrews and Paule introduced…

This is the full version of a paper submitted to the Computability in Europe (CiE 2023) conference, with all proofs omitted there. In 2012 P. D. Azar and S. Micali introduced a new model of interactive proofs, called "Rational Interactive…

Asymptotic approximations for the continuous Hahn polynomials and their zeros as the degree grows to infinity are established via their three-term recurrence relation. The methods are based on the uniform asymptotic expansions for…

Using algebraic transformations and equivalent reformulations we derive a number of new results from some earlier ones (by the author) in more accepted terms closely related to well-known conjectures of Bondy and Jung including a number of…

Ramsey Theorem [6] for pairs is intuitionistically but not classically provable: it is equivalent to a subclassical principle [2]. In this note we show that Ramsey may be restated in an intuitionistically provable form, which is informative…

- Let p be a prime number and K an algebraic number field. What is the arithmetic structure of Galois extensions L/K having p-adic analytic Galois group $\Gamma$ = Gal(L/K)? The celebrated Tame Fontaine-Mazur conjecture predicts that such…

For an alternate base $\boldsymbol{\beta}=(\beta_0,\ldots,\beta_{p-1})$, we show that if all rational numbers in the unit interval $[0,1)$ have periodic expansions with respect to the $p$ shifts of $\boldsymbol{\beta}$, then the bases…

We give explicit examples of pairs of one-ended, open 4-manifolds whose end-sums yield uncountably many manifolds with distinct proper homotopy types. This answers strongly in the affirmative a conjecture of Siebenmann regarding the…