Related papers: Note on $\mathsf{TD} + \mathsf{DC}_\mathbb{R}$ imp…
Temporal difference (TD) learning with linear function approximation (linear TD) is a classic and powerful prediction algorithm in reinforcement learning. While it is well-understood that linear TD converges almost surely to a unique point,…
We prove that if two linear codes are equivalent then they are semi-linearly equivalent. We also prove that if two additive MDS codes over a field are equivalent then they are additively equivalent.
This note is intended to give a new proof on Marten's theorem stating that $\dim(\wrd) \leq d-2r$ for any smooth curve with equality occurring exactly in the case when C is hyper-elliptic. The proof follows the general lines of the proof…
Large language models (LLMs) have demonstrated strong reasoning capabilities through step-by-step chain-of-thought (CoT) reasoning. Nevertheless, at the limits of model capability, CoT often proves insufficient, and its strictly sequential…
We prove that $\delta$-derivations of a simple finite-dimensional Lie algebra over a field of characteristic zero, with values in a finite-dimensional module, are either inner derivations, or, in the case of adjoint module, multiplications…
We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part…
We present a multi-reference generalization of the algebraic diagrammatic construction theory (ADC) [J. Schirmer, Phys. Rev. A 26, 2395 (1982)] for excited electronic states. The resulting multi-reference ADC approach (MR-ADC) can be…
Additive codes have attracted considerable attention for their potential to outperform linear codes. However, distinguishing strictly additive codes from those that are equivalent to linear codes remains a fundamental challenge. To resolve…
We prove that the ACC conjecture for minimal log discrepancies holds for threefolds in $[1-\delta,+\infty)$, where $\delta>0$ only depends on the coefficient set. We also study Reid's general elephant for pairs, and show Shokurov's…
We provide a new proof of the linear convergence of the alternating direction method of multipliers (ADMM) when one of the objective terms is strongly convex. Our proof is based on a framework for analyzing optimization algorithms…
A brief review of the modern QCD theory of diffractive DIS is given.
This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized…
Triggered by ongoing dark matter searches in the top quark sector at the Large Hadron Collider we report on the calculation of the next-to-leading order QCD corrections to the Standard Model process $pp\to t\bar{t}+ Z(\to \nu_\ell…
Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency of ZF + DC + there exists a sequence of subsets of R the…
Estimates of the light hadron masses, decay constants and couplings in AdS/QCD models are generally more accurate than should have been expected. Certain predictions based on the AdS/CFT correspondence, such as the ratio of the equilibrium…
We present two improvements to the tight-binding approximation of time-dependent density functional theory (TD-DFTB): Firstly, we add an exact Hartree-Fock exchange term, which is switched on at large distances, to the ground state…
In this article we continue the classical analysis of the symmetry algebra underlying the integrability of the spectrum in the AdS_5/CFT_4 and in the Hubbard model. We extend the construction of the quasi-triangular Lie bialgebra gl(2|2) by…
In this paper, we formalize the almost sure convergence of $Q$-learning and linear temporal difference (TD) learning with Markovian samples using the Lean 4 theorem prover based on the Mathlib library. $Q$-learning and linear TD are among…
We generalize the linear algebra setting of Tate's central extension to arbitrary dimension. In general, one obtains a Lie (n+1)-cocycle. We compute it explicitly. The construction is based on a Lie algebra variant of Beilinson's adelic…
Differentiable logics are a family of quantitative logics originated in the machine learning literature. Because of their origin, differentiable logics often come equipped with analytic properties that guarantee that they are…