Related papers: First- and Second-Order Models of Recursive Arithm…
Reductive W-algebras which are generated by bosonic fields of spin-1, a single spin-2 field and fermionic fields of spin-3/2 are classified. Three new cases are found: a `symplectic' family of superconformal algebras which are extended by…
We describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all them when seen as isomorphic with the set of…
By applying the recurrence approach and coupling constant metamorphosis, we construct higher order integrals of motion for the Stackel equivalents of the $N$-dimensional superintegrable Kepler-Coulomb model with non-central terms and the…
We provide new methods to straightforwardly obtain compact and analytic expressions for epsilon-expansions of functions appearing in both field and string theory amplitudes. An algebraic method is presented to explicitly solve for…
Recently, a remarkable correspondence has been unveiled between a certain class of ordinary linear differential equations (ODE) and integrable models. In the first part of the report, we survey the results concerning the 2nd order…
Second-order methods are of great importance for composite convex optimization problems due to their local super-linear convergence rates (under appropriate assumptions). However, the presence of even a simple nonsmooth function in the…
We study the complexity of infinite-domain constraint satisfaction problems: our basic setting is that a complexity classification for the CSPs of first-order expansions of a structure $\mathfrak A$ can be transferred to a classification of…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation \beta, and a quaternary equidistance relation \equiv. Tarski established, inter alia, that the first-order…
Subregular W-algebras are an interesting and increasingly important class of quantum hamiltonian reductions of affine vertex algebras. Here, we show that the $\mathfrak{sl}_{n+1}$ subregular W-algebra can be realised in terms of the…
We review the main topics concerning Fusion Rule Algebras (FRA) of Rational Conformal Field Theories. After an exposition of their general properties, we examine known results on the complete classification for low number of fields ($\leq…
This talk describes how a combination of symbolic computation techniques with first-order theorem proving can be used for solving some challenges of automating program analysis, in particular for generating and proving properties about the…
We prove that $\mathsf{RCA}_0+\mathsf{RT}_2^2\not\rightarrow \mathsf{WKL}_0$ by showing that for any set $C$ not of PA-degree and any set $A$, there exists an infinite subset $G$ of $A$ or $\bar{A}$, such that $G\oplus C$ is also not of…
We survey the relationships of rank one self-adjoint and unitary perturbations as well as finite rank unitary perturbations with various branches of analysis and mathematical physics. We include the case of non-inner characteristic operator…
In part I of this two-part work, certain minimization problems based on a parametric family of relative entropies (denoted $\mathscr{I}_{\alpha}$) were studied. Such minimizers were called forward $\mathscr{I}_{\alpha}$-projections. Here, a…
We introduce deterministic perturbation schemes for the recently proposed random directions stochastic approximation (RDSA) [17], and propose new first-order and second-order algorithms. In the latter case, these are the first second-order…
Potential algebras can be used effectively in the analysis of the quantum systems. In the article, we focus on the systems described by a separable, 2x2 matrix Hamiltonian of the first order in derivatives. We find integrals of motion of…
We show that for a model complete strongly minimal theory whose pregeometry is flat, the recursive spectrum (SRM($T$)) is either of the form $[0,\alpha)$ for $\alpha\in \omega+2$ or $[0,n]\cup\{\omega\}$ for $n\in \omega$, or $\{\omega\}$,…
We study automorphisms and representations of quasi polynomial algebras (QPAs) and quasi Laurent polynomial algebras (QLPAs). For any QLPA defined by an arbitrary skew symmetric integral matrix, we explicitly describe its automorphism…
This paper is a continuation of our previous work \cite{St} where we have studied the Stokes phenomenon for a particular family of equation \eqref{initial} with \eqref{form-0}-\eqref{npe} from a perturbative point of view. Here we focus on…
Zamolodchikov's famous analysis of the RG trajectory connecting successive minimal CFT models $M_p$ and $M_{p-1}$ for $p\gg 1$, is improved by including second order in coupling constant corrections. This allows to compute IR quantities…