相关论文: An algebraic approach for the weak coupling of mul…

We consider the Cauchy problem for a hyperbolic pseudodifferential operator whose symbol is generalized, resembling a representative of a Colombeau generalized function. Such equations arise, for example, after a reduction-decoupling of…

Fixed point iterations are a fundamental tool in numerical analysis and scientific computing for the approximation of solutions to nonlinear problems. Their convergence is often established via the Banach fixed point theorem, provided that…

We consider the weak coupling limit of F-theory in the presence of non-Abelian gauge groups implemented using the traditional ansatz coming from Tate's algorithm. We classify the types of singularities that could appear in the weak coupling…

The Weak KAM theory was developed by Fathi in order to study the dynamics of convex Hamiltonian systems. It somehow makes a bridge between viscosity solutions of the Hamilton-Jacobi equation and Mather invariant sets of Hamiltonian systems,…

In the triplectic quantization of general gauge theories, we prove a `triplectic' analogue of the Darboux theorem: we show that the doublet of compatible antibrackets can be brought to a weakly-canonical form provided the general triplectic…

A linear relation, i.e., a multivalued operator $T$ from a Hilbert space ${\mathfrak H}$ to a Hilbert space ${\mathfrak K}$ has Lebesgue type decompositions $T=T_{1}+T_{2}$, where $T_{1}$ is a closable operator and $T_{2}$ is an operator or…

Lattice field theories with complex actions are not easily studied using conventional analytic or simulation methods. However, a large class of these models are invariant under CT, where C is charge conjugation and T is time reversal,…

We consider the problem of integration of d-variate analytic functions defined on the unit cube with directional derivatives of all orders bounded by 1. We prove that the Clenshaw Curtis Smolyak algorithm leads to weak tractability of the…

Local-operator entanglement (LOE) dictates the complexity of simulating Heisenberg evolution using tensor network methods, {and bears witness to many-body chaos for local dynamics}. We show that LOE is also sensitive to how non-Clifford a…

With the help of a logarithmic barrier augmented Lagrangian function, we can obtain closed-form solutions of slack variables of logarithmic-barrier problems of nonlinear programs. As a result, a two-parameter primal-dual nonlinear system is…

This paper investigates the existence of weak solutions of biquasilinear boundary value problem for a coupled elliptic-parabolic system of divergence form with discontinuous leading coefficients. The mathematical framework addressed in the…

We study the Cauchy problem associated to parabolic systems of the form $D_t\boldsymbol{u}=\boldsymbol{\mathcal A}(t)\boldsymbol u$ in $C_b(\mathbb{R}^d;\mathbb{R}^m)$, the space of continuous and bounded functions…

It is known that the set of all solutions of a commutant lifting and other interpolation problems admits a Redheffer linear-fractional parametrization. The method of unitary coupling identifies solutions of the lifting problem with minimal…

We discuss some applications of fusion rules and intertwining operators in the representation theory of cyclic orbifolds of the triplet vertex operator algebra. We prove that the classification of irreducible modules for the orbifold vertex…

Tensor networks provide a natural language for non-invertible symmetries in general Hamiltonian lattice models. We use ZX-diagrams, which are tensor network presentations of quantum circuits, to define a non-invertible operator implementing…

We present optimized implementations of the weak-coupling continuous-time Monte Carlo method defined for nonequilibrium problems on the Keldysh contour. We describe and compare two methods of preparing the system before beginning the…

We consider an initial-boundary value problem for a fully nonlinear coupled parabolic system with nonlinear boundary conditions modelling hygro-thermal behavior of concrete at high temperatures. We prove a global existence of a weak…

The great majority of algorithms employed in the study of lattice field theory are based on Monte Carlo's importance sampling method, i.e. on probability interpretation of the Boltzmann weight. Unfortunately in many theories of interest one…

We investigate the two-dimensional lattice U(1) gauge-Higgs model with a topological term, employing L\"uscher's admissibility condition. The standard Monte Carlo simulation for this model is hindered not only by the complex action problem…

The concurrent refinement algebra has been developed to support rely/guarantee reasoning about concurrent programs. The algebra supports atomic commands and defines parallel composition as a synchronous operation, as in Milner's SCCS. In…