Related papers: Descent equalities and the inductive McKay conditi…

In this note we classify the necessary and the sufficient conditions that an index of a superconformal theory in $3\leq d \leq 6$ must obey for the theory to have enhanced supersymmetry. We do that by noting that the index distinguishes a…

We identify a class of left-invariant pseudo-Riemannian metrics on Lie groups for which the Laplace-Beltrami equation reduces to a first-order PDE and admits exact solutions. The defining condition is the existence of a commutative ideal…

Let $N$ be normal subgroup of a finite group $G$, $p$ be a prime, $P$ be a Sylow $p$-subgroup of $G$ and $\theta$ be a $P$-invariant irreducible character of $N$. Suppose that $G/N$ is a $p$-solvable group. In this note we show that,…

We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient algorithm to solve a restricted case of higher-order…

This work presents two simple criteria for determining the oscillatory nature of solutions to second-order differential equations with deviated arguments. These criteria extend the (Leighton-Wintner)-type criteria established by G.Q. Wang…

The aim of this paper is to compare various criteria leading to the central limit theorem and the weak invariance principle. These criteria are the martingale-coboundary decomposition developed by Gordin in Dokl. Akad. Nauk SSSR 188 (1969),…

This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and M\"obius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences…

We prove the Relative Manin-Mumford Conjecture for families of abelian varieties in characteristic 0. We follow the Pila-Zannier method to study special point problems, and we use the Betti map which goes back to work of Masser and Zannier…

In this paper, we give a simple proof for the small cancellation conditions of the upper presentations of 2-bridge link groups, which holds the key to the proof of the main result of [1]. We also give an alternative proof of the main result…

We use the single-cluster Monte Carlo update algorithm to simulate the Ising model on two-dimensional Poissonian random lattices of Delaunay type with up to 80\,000 sites. By applying reweighting techniques and finite-size scaling analyses…

For any ordinary irreducible character of a maximal reflection subgroup of type $D_aD_b$ of a type $D$ Weyl group we give an explicit decomposition of the induced character in terms of Littlewood-Richardson coefficients.

This is an up-to-date introduction to and overview of the Minimum Description Length (MDL) Principle, a theory of inductive inference that can be applied to general problems in statistics, machine learning and pattern recognition. While MDL…

The Stone-von Neumann-Mackey Theorem for Heisenberg groups associated to locally compact abelian groups is proved using the Peter-Weyl theorem and the theory of Fourier transforms for finite dimensional real vector spaces. A theorem of…

Lie's Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of…

We solve the differentiability problem for the evolution map in Milnor's infinite dimensional setting. We first show that the evolution map of each $C^k$-semiregular Lie group $G$ (for $k\in \mathbb{N}\sqcup\{\mathrm{lip},\infty\}$) admits…

Working with the simple types over a base type of natural numbers (including product types), we consider the question of when a type $\sigma$ is encodable as a definable retract of $\tau$: that is, when there are $\lambda$-terms…

We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…

We prove a higher-dimensional Chevalley restriction theorem for orthogonal groups, which was conjectured by Chen and Ng\^{o} for reductive groups. In characteristic $p>2$, we also prove a weaker statement. In characteristic $0$, the theorem…

We prove that for any fixed integers $m\ge 2, t\ge 1, k\ge 2$ a generic $m$-generator $t$-relator group satisfies the Ascending Chain Condition for $k$-generated subgroups.

We introduce the notion of weak minimizer in set optimization. Necessary and sufficient conditions in terms of scalarized variational inequalities of Stampacchia and Minty type, respectively, are proved. As an application, we obtain…