Related papers: Descending sequences in reflection hierarchies
We extend our investigation of $2$-determinants, which we defined in a previous paper. For a linear homogenous recurrence of the second order, we consider relations between different sequences satisfying the same linear homogeneous…
We study two families of sequences, listed in the On-Line Encyclopedia of Integer Sequences (OEIS), which are associated to invariant theory of Lie algebras. For the first family, we prove combinatorially that the sequences A059710 and…
We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…
Neither the Euler-Mascheroni constant, $\gamma=0.577215...$, nor the Euler-Gompertz constant, $\delta=0.596347...$, is currently known to be irrational. However, it has been proved that at least one of them is transcendental. The two…
We consider the higher order Tur\'an inequality and higher order log-concavity for sequences $\{a_n\}_{n \ge 0}$ such that \[ \frac{a_{n-1}a_{n+1}}{a_n^2} = 1 + \sum_{i=1}^m \frac{r_i(\log n)}{n^{\alpha_i}} + o\left( \frac{1}{n^{\beta}}…
We introduce the notion of $\mathbb{E}_\infty$-descendability as well as a derived variant. We prove that several classes of descendable maps of commutative rings are $\mathbb{E}_\infty$-descendable. As an application, we prove a variant of…
These are classified by the direction of approximation (from above or below), the set family types (partition or covering) of simple functions, the coefficient signature (non-negative or signed), and cardinal number of terms of simple…
Hjorth, assuming ${\sf{AD+ZF+DC}}$, showed that there is no sequence of length $\omega_2$ consisting of distinct $\Sigma^1_2$-sets. We show that the same theory implies that for $n\geq 0$, there is no sequence of length $\delta^1_{2n+2}$…
We derived the second-order perturbations of the Einstein equations and the Klein-Gordon equation for a generic situation in terms of gauge-invariant variables. The consistency of all the equations is confirmed. This confirmation implies…
We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…
We extend the classification of finite Weyl groupoids of rank two. Then we generalize these Weyl groupoids to `reflection groupoids' by admitting non-integral entries of the Cartan matrices. This leads to the unexpected observation that the…
We study the class of graphs known as k-trees through the lens of Joyal's theory of combinatorial species (and an equivariant extension known as '$\Gamma$-species' which incorporates data about 'structural' group actions). This culminates…
This paper establishes the homological and geometric foundations of non-commutative n-ary Gamma-semirings, unifying two previously distinct directions in Gamma-algebra: the derived Gamma-geometry developed for the commutative ternary case…
An infinite number of distinct $d=1$ matrix models reproduce the perturbation theory of $d=2$ string theory. Due to constraints of causality, however, we argue that none of the existing constructions gives a consistent nonperturbative…
When a human undertakes a test, their responses likely follow a pattern: if they answered an easy question $(2 \times 3)$ incorrectly, they would likely answer a more difficult one $(2 \times 3 \times 4)$ incorrectly; and if they answered a…
This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…
A well-known conjecture says that every one-relator group is coherent. We state and partly prove an analogous statement for graded associative algebras. In particular, we show that every Gorenstein algebra $A$ of global dimension 2 is…
We study Lagrangians with the minimal amount of gauge symmetry required to propagate spin-two particles without ghosts or tachyons. In general, these Lagrangians also have a scalar mode in their spectrum. We find that, in two cases, the…
Prior work of Gavryushkin, Khoussainov, Jain and Stephan investigated what algebraic structures can be realised in worlds given by a positive (= recursively enumerable) equivalence relation which partitions the natural numbers into…
We consider the problem of the vanishing of Poincar\'e series for congruence subgroups. Denoting by $P_{k,m,N}$ the Poincar\'e series of weight $k$ and index $m$ for the group $\Gamma_0(N)$, we show that for certain choices of parameters…