Related papers: Note on $\mathsf{TD} + \mathsf{DC}_\mathbb{R}$ imp…
In order to study light unstable nuclei systematically, we propose a new method ''AMD + Hartree-Fock''. This method introduces the concept of the single particle orbits into the usual AMD. Applying AMD + HF to Be isotopes, it is found that…
In this paper we consider Erd\"os-Mordell inequality and its extension in the plane of triangle to the Erd\"os-Mordell curve. Algebraic equation of this curve is derived, and using modern computer tools in mathematics, we verified one…
This paper defines cyclic and minimal derivative descendants (DDs) of an extended cyclic code from the derivative of the Mattson-Solomon polynomials, respectively. First, it demonstrates that the cyclic DDs are the same extended cyclic…
We give a simple proof of a crucial lemma that is established in [1, Lemma 2.1] by induction, and plays important roles in that paper and [2].
Let $\mathit{s}\mathcal{L}$ be the $\infty$-category of simplicial restricted Lie algebras over $\mathbf{F} = \overline{\mathbf{F}}_p$, the algebraic closure of a finite field $\mathbf{F}_p$. By the work of A. K. Bousfield et al. on the…
In this paper, we generalize Ahlfors' lemma on logarithmic derivative to holomorphic tangent curves of directed projective manifolds intersecting closed subschemes. As a consequence, we obtain Algebro-Geometric Ahlfors' Lemma on Logarithmic…
Some minor changes to the exposition.
Analyzing the reasoning patterns of students in science classrooms is critical for understanding knowledge construction mechanism and improving instructional practice to maximize cognitive engagement, yet manual coding of classroom…
In this paper, we present a proof system $\mathsf{GL}_{+}^{\top\bot}$, which is based on a sequent system $\mathsf{K}_{+}^{\top\bot}$ given by Dunn, for the positive fragment of $\mathsf{GL}$. Positive modal formulas are modal formulas that…
In the paper we complete a case by case proof of Reeder's Conjecture started in our previous work, proving the conjecture for simple Lie algebras of type $D$ and for the exceptional cases.
This paper presents \tdl, a typed feature-based representation language and inference system. Type definitions in \tdl\ consist of type and feature constraints over the boolean connectives. \tdl\ supports open- and closed-world reasoning…
We prove explicit congruences modulo powers of arbitrary primes for three smallest parts functions: one for partitions, one for overpartitions, and one for partitions without repeated odd parts. The proofs depend on $\ell$-adic properties…
We introduce $\mathcal{DLR}^+$, an extension of the n-ary propositionally closed description logic $\mathcal{DLR}$ to deal with attribute-labelled tuples (generalising the positional notation), projections of relations, and global and local…
Using recent results in four-derivative 5d $\mathcal{N}=2$ minimal gauged supergravity, we evaluate the regularized on-shell action of the Euclidean solution in this theory that admits a Lorentzian continuation to an AdS$_5$ black hole with…
Multiplicative linear logic is a very well studied formal system, and most such studies are concerned with the one-sided sequent calculus. In this paper we look in detail at existing translations between a deep inference system and the…
Let $f\colon \mathbb{T}\to \mathbb{R}$ be of class $C^{1+\delta}$ for some $\delta>0$ and let $c\in\mathbb{Z}$. We show that for a generic $\alpha\in\mathbb{R}$, the extension $T_{c,f}\colon \mathbb{T}^2\to\mathbb{T}^2$ of the irrational…
Let F be a non-Archimedean local field of characteristic 0, and let D be a finite dimensional central division algebra over F. We prove that any unitary irreducible representation of a Levi subgroup of GL(m,D), with m a positive integer,…
We quantify the efficiency of temporal difference (TD) learning over the direct, or Monte Carlo (MC), estimator for policy evaluation in reinforcement learning, with an emphasis on estimation of quantities related to rare events. Policy…
The famous Erdos-Heilbronn conjecture plays an important role in the development of additive combinatorics. In 2007 Z. W. Sun made the following further conjecture (which is the linear extension of the Erdos-Heilbronn conjecture): For any…
We consider the core reinforcement-learning problem of on-policy value function approximation from a batch of trajectory data, and focus on various issues of Temporal Difference (TD) learning and Monte Carlo (MC) policy evaluation. The two…