Related papers: Interpolation above S4
Here the polynomial interpolation approach is used to introduce the main results on multivariate normal algebraic systems. Next we bring a construction which shows that any standard algebraic system, with finite set of solutions, can be…
The survey provides classification results for integrable one-field evolution equations of orders 2, 3 and 5 with the constant separant. The classification is based on necessary integrability conditions following from the existence of the…
We give more precise statements of Fock-Goncharov duality conjecture for cluster varieties parametrizing ${\rm SL}_{2}/{\rm PGL}_{2}$-local systems on the once punctured torus. Then we prove these statements. Along the way, using distinct…
Arguably the most widely used approaches for obtaining highly accurate molecular ground-state energies are coupled cluster methods. Despite introducing two layers of approximation, a linear and a nonlinear one, coupled cluster methods…
We investigate the proof complexity of extended Frege (EF) systems for basic transitive modal logics (K4, S4, GL, ...) augmented with the bounded branching axioms $\mathbf{BB}_k$. First, we study feasibility of the disjunction property and…
The class $Ts(r,f)$ the trigonometric interpolation splines depending on the parameter vectors, selected convergence factors and interpolation factors is considered. The main properties of simple interpolation trigonometric splines are…
We introduce a Gentzen-style framework, called layered sequent calculi, for modal logic K5 and its extensions KD5, K45, KD45, KB5, and S5 with the goal to investigate the uniform Lyndon interpolation property (ULIP), which implies both the…
An example of interpolation by means of local field theories between the case of normal Kogut-Susskind fermions and the case of keeping just the fourth root of the Kogut-Susskind determinant is given. For the fourth root trick to be a valid…
We present a categorification of four mutation finite cluster algebras by the cluster category of the category of coherent sheaves over a weighted projective line of tubular weight type. Each of these cluster algebras which we call tubular…
We show that the co-chordal cover number of a graph G gives an upper bound for the Castelnuovo-Mumford regularity of the associated edge ideal. Several known combinatorial upper bounds of regularity for edge ideals are then easy…
The calculation of scattering amplitudes at higher orders in perturbation theory has reached a high degree of maturity. However, their usage to produce physical predictions within Monte Carlo programs is often precluded by the slow…
Let (B_0,B_1) be a Banach pair. Stafney showed that one can replace the space F(B_0,B_1) with its subspace G(B_0,B_1) in the definition of the norm in the Calderon complex interpolation method on the strip if the element belongs to the…
The recently developed method combining the configuration interaction and the coupled-cluster method was demonstrated to provide accurate treatment of correlation corrections in divalent atomic systems [M.S.Safronova, M.G.Kozlov, and…
In 2011 Musiker, Schiffler and Williams obtained expansion formulae for cluster algebras from orientable surfaces. For singly and doubly notched arcs these formulae required the notion of $\gamma$-symmetric perfect matchings and…
A seminal result of Agler characterizes the so-called Schur-Agler class of functions on the polydisk in terms of a unitary colligation transfer function representation. We generalize this to the unit ball of the algebra of multipliers for a…
In this paper we show that a $k$-shellable simplicial complex is the expansion of a shellable complex. We prove that the face ring of a pure $k$-shellable simplicial complex satisfies the Stanley conjecture. In this way, by applying…
We construct Lagrange interpolating polynomials for a set of points and values belonging to the algebra of real quaternions $H\simeq R_{0,2}$, or to the real Clifford algebra $R_{0,3}$. In the quaternionic case, the approach by means of…
A double Ore extension is a natural generalization of the Ore extension. We prove that a connected graded double Ore extension of an Artin-Schelter regular algebra is Artin-Schelter regular. Some other basic properties such as the…
We prove the "Sullivan Conjecture" on the classification of 4-dimensional complete intersections up to diffeomorphism. Here an $n$-dimensional complete intersection is a smooth complex variety formed by the transverse intersection of $k$…
There are three new things in this paper about the open symmetrized bidisk $\mathbb G = \{(z_1+z_2, z_1z_2) : |z_1|, |z_2| < 1\}$. They are motivated in the Introduction. In this Abstract, we mention them in the order in which they will be…