Related papers: Machine Proofs for Adams Differentials and Extensi…
We establish a hidden extension in the Adams spectral sequence converging to the stable homotopy groups of spheres at the prime 2 in the 54-stem. This extension is exceptional in that the only proof we know proceeds via Pstragowski's…
We describe an algorithm for the automated deduction of many $d_2$ differentials in the Adams spectral sequence. We discuss our implementation and the results of the computation.
We establish a differential $d_2(D_1)=h_0^2h_3g_2$ in the $51$-stem of the Adams spectral sequence at the prime $2$, which gives the first correct calculation of the stable 51 and 52 stems. This differential is remarkable since we know of…
We show a few nontrivial extensions in the classical Adams spectral sequence. In particular, we compute that the 2-primary part of $\pi_{51}$ is $\mathbb{Z}/8\oplus\mathbb{Z}/8\oplus\mathbb{Z}/2$. This was the last unsolved 2-extension…
In the early 2000's, Baues computed the secondary Steenrod algebra, the algebra of all secondary cohomology operations. Together with Jibladze, they showed that this gives an algorithm that computes all Adams $d_2$ differentials for the…
In filtration 1 of the Adams spectral sequence, using secondary cohomology operations, Adams computed the differentials on the classes $h_j$, resolving the Hopf invariant one problem. In Adams filtration 2, using equivariant and chromatic…
We study the full set of solutions to the ADHM equation as an affine algebraic set, the ADHM variety. We gather the points of the ADHM variety into subvarieties according to the dimension of the stabilizing subspace. We compute dimension,…
In this paper we introduce a method of characteristic sets with respect to several term orderings for difference-differential polynomials. Using this technique, we obtain a method of computation of multivariate dimension polynomials of…
Let $p \geq 5$ be an odd prime. Using the correspondence between secondary Adams differentials and secondary algebraic Novikov differentials, we compute four families of nontrivial secondary differentials on the fourth line of the Adams…
An algorithm is described giving effective determination of the second differential in the Adams spectral sequence. The algorithm is based on the notion of secondary derived functor, and on the explicit algebraic model of the groupoid…
The paper presents a numerical analysis of the class of mathematical models of linear fractional oscillators, which is the Cauchy problem for a differential equation with derivatives of fractional orders in the sense of Gerasimov-Caputo. A…
The New Doomsday Conjecture (Minami, Amer. J. Math., 1995) states that, for any nonzero $\mathrm{Sq}^0$-family, only finitely many terms in this family survive to the $E_\infty$-page. On the Adams $1$ and $2$-line, the conjecture, which…
Adaptive optimization algorithms, particularly Adam and its variant AdamW, are fundamental components of modern deep learning. However, their training dynamics lack comprehensive theoretical understanding, with limited insight into why…
The problem of estimating the number $n$ of distinct keys of a large collection of $N$ data is well known in computer science. A classical algorithm is the adaptive sampling (AS). $n$ can be estimated by $R.2^D$, where $R$ is the final…
In the previous three papers in this series, [WKO1]-[WKO3] (arXiv:1405.1956, arXiv:1405.1955, and to appear), Z. Dancso and I studied a certain theory of "homomorphic expansions" of "w-knotted objects", a certain class of knotted objects in…
We introduce a new type of reduction of inversive difference polynomials that is associated with a partition of the basic set of automorphisms $\sigma$ and uses a generalization of the concept of effective order of a difference polynomial.…
I define multiple Watson values (MWVs) as iterated integrals, on the interval $x\in[0,1]$, of the 6 differential forms $A=d\log(x)$, $B=-d\log(1-x)$, $T=-d\log(1-z_1x)$, $U=-d\log(1-z_2x)$, $V=-d\log(1-z_3x)$ and $W=-d\log(1-z_4x)$, where…
The paper provides results regarding the computational complexity of hybrid system identification. More precisely, we focus on the estimation of piecewise affine (PWA) maps from input-output data and analyze the complexity of computing a…
The covariance evolution is a system of differential equations with respect to the covariance of the number of edges connecting to the nodes of each residual degree. Solving the covariance evolution, we can derive distributions of the…
The alternating direction method of multipliers (ADMM) is a widely used method for solving many convex minimization models arising in signal and image processing. In this paper, we propose an inertial ADMM for solving a two-block separable…