Related papers: The higher sharp II: on $M_2^\#$

A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…

We provide a simple proof of a computable analogue to the Jayne Rogers Theorem from descriptive set theory. The difficulty of the proof is delegated to a simulation result pertaining to non-deterministic type-2 machines. Thus, we…

For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…

In this note, we study irreducible unitary representations of special linear groups of lower ranks, in terms of the matrix models of Gelfand-Naimark and Gelfand-Graev. Review of existing literature is provided. We also add some new…

In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the…

This is the second in a series of papers extending Martin-L\"{o}f's meaning explanation of dependent type theory to account for higher-dimensional types. We build on the cubical realizability framework for simple types developed in Part I,…

Computational Group Theory is applied to indexed objects (tensors, spinors, and so on) with dummy indices. There are two groups to consider: one describes the intrinsic symmetries of the object and the other describes the interchange of…

We give new examples of linear differential operators of order $k=2m+1$ (any given odd integer) that are invariant under the isometries of $\mathbb R^n$ and satisfy so-called $L^1$-duality estimates and div/curl inequalities.

If $\mu_m$ and $d_m$ denote, respectively, the $m$-th largest Laplacian eigenvalue and the $m$-th largest vertex degree of a graph, then $\mu_m \geqslant d_m-m+2$. This inequality was conjectured by Guo in 2007 and proved by Brouwer and…

Learning meaningful representations that disentangle the underlying structure of the data generating process is considered to be of key importance in machine learning. While disentangled representations were found to be useful for diverse…

We examine double successive approximations on a set, which we denote by $L_2L_1, \ U_2U_1, U_2L_1,$ $L_2U_1$ where $L_1, U_1$ and $L_2, U_2$ are based on generally non-equivalent equivalence relations $E_1$ and $E_2$ respectively, on a…

Let $Q_n$ be the $n$-dimensional Hamming cube and $N=2^n$. We prove that the number of maximal independent sets in $Q_n$ is asymptotically \[2n2^{N/4},\] as was conjectured by Ilinca and the first author in connection with a question of…

We show that quadratic and symmetric L-theory of the integers are related by Anderson duality and show that both spectra split integrally into the L-theory of the real numbers and a generalised Eilenberg-Mac Lane spectrum. As a consequence,…

In this paper a theory of Hecke operators for higher order modular forms is established. The definition of cusp forms and attached L-functions is extended beyond the realm of parabolic invariants. The role of representation theoretic…

Understanding representation transfer in multilingual neural machine translation (MNMT) can reveal the reason for the zero-shot translation deficiency. In this work, we systematically analyze the representational issue of MNMT models. We…

The main result of this article is the decomposition of tensor products of representations of SL(2) in the sum of irreducible representations parametrized by outerplanar graphs. An outerplanar graph is a graph with the vertices 0, 1, 2,…

The Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very…

The paper introduces a generalization for known probabilistic models such as log-linear and graphical models, called here multiplicative models. These models, that express probabilities via product of parameters are shown to capture…

We explicitly compute examples of sheaves over the projectivization of the spectrum of the cohomology of sl_2. In particular, we compute \ker\Theta_M for every indecomposable M and we compute F_i(M) when M is an indecomposable Weyl module…

This paper is a fundamental study of the Real $2$-representation theory of $2$-groups. It also contains many new results in the ordinary (non-Real) case. Our framework relies on a $2$-equivariant Morita bicategory, where a novel…