Related papers: Characterising SJT reducibility

We show that for any $k\in\omega$, the structure $(H_k,\in)$ of sets that are hereditarily of size at most $k$ is decidable. We provide a transparent complete axiomatization of its theory, a quantifier elimination result, and tight bounds…

We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…

A generic PT-symmetric Hamiltonian is assumed tridiagonalized and truncated to N dimensions, and its up-down symmetrized special cases with J=[N/2] real couplings are considered. In the strongly non-Hermitian regime the secular equation…

Consider the generalized absolute value function defined by \[ a(t) = \vert t \vert t^{n-1}, \qquad t \in \mathbb{R}, n \in \mathbb{N}_{\geq 1}. \] Further, consider the $n$-th order divided difference function $a^{[n]}: \mathbb{R}^{n+1}…

Comparator circuits are a natural circuit model for studying bounded fan-out computation whose power sits between nondeterministic branching programs and general circuits. Despite having been studied for nearly three decades, the first…

Constraint tightening to non-conservatively guarantee recursive feasibility and stability in Stochastic Model Predictive Control is addressed. Stability and feasibility requirements are considered separately, highlighting the difference…

Given a reduced abelian $p$-group, we give an upper bound on the Scott complexity of the group in terms of its Ulm invariants. For limit ordinals, we show that this upper bound is tight. This gives an explicit sequence of such groups with…

Skewed probit regression is but one example of a statistical model that generalizes a simpler model, like probit regression. All skew-symmetric distributions and link functions arise from symmetric distributions by incorporating a skewness…

This paper is about nilpotent orbits of reductive groups over local non-Archimedean fields. In this paper we will try to identify for which groups there are only finitely many nilpotent orbits, for which groups the nilpotent orbits are…

Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$, and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$. Provided $F$ is…

For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is…

We define a notion of super-transitivity for \`etale algebra objects $A \in \mathcal{C}(\mathfrak{sl}_N, k)$. This definition is a direct analogue of the notion of super-transitivity for subfactors, and measures at what depth the first…

We construct a set $S$ such that every translate of $S$ is a set of recurrence and a set of rigidity for a weak mixing measure preserving system. This construction generalizes or strengthens results of Katznelson, Saeki, Forrest, and Fayad…

The notion of a shift-compact set in an abelian topological group $X$ plays a significant role in functional equations and inequalities, especially so since each Borel set that is not Haar-meagre, alternatively not Haar-null, is necessarily…

Let \begin{equation*} S_{0}=0,\quad S_{n}=X_{1}+...+X_{n},\ n\geq 1, \end{equation*} be a random walk whose increments belong without centering to the domain of attraction of a stable law with scaling constants $a_{n}$, that provide…

We develop a linear response framework for interpretability that treats a neural network as a Bayesian statistical mechanical system. A small perturbation of the data distribution, for example shifting the Pile toward GitHub or legal text,…

If $A(t)$ is a $C^{1,\al}$-curve of unbounded self-adjoint operators with compact resolvents and common domain of definition, then the eigenvalues can be parameterized $C^1$ in $t$. If $A$ is $C^\infty$ then the eigenvalues can be…

We develop conjectures and theorems expressing the idea that the prime sequence exhibits computational irreducibility in the transition from one prime to its successor. Informally, given a prime pp p, no general algorithm can compute the…

In this note, we unify and extend various concepts in the area of $G$-complete reducibility, where $G$ is a reductive algebraic group. By results of Serre and Bate--Martin--R\"{o}hrle, the usual notion of $G$-complete reducibility can be…

We provide a complete classification of the homogeneous $3$-local representations of the twin group $T_n$, the virtual twin group $VT_n$, and the welded twin group $WT_n$, for all $n\geq 4$. Beyond this classification, we examine the main…