Related papers: A Warped Product Splitting Theorem Through Weak KA…
Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems.…
The decomposition of a matrix, as a product of factors with particular properties, is a much used tool in numerical analysis. Here we develop methods for decomposing a matrix $C$ into a product $X Y$, where the factors $X$ and $Y$ are…
We propose a methodology for studying the performance of common splitting methods through semidefinite programming. We prove tightness of the methodology and demonstrate its value by presenting two applications of it. First, we use the…
We survey recent progress in the theory of weak containment of measure preserving group actions.
We use tilting modules to study the structure of the tensor product of two simple modules for the algebraic group $\SL_2$, in positive characteristic, obtaining a twisted tensor product theorem for its indecomposable direct summands.…
The weak Galerkin (WG) finite element method is an effective and flexible general numerical technique for solving partial differential equations. The novel idea of weak Galerkin finite element methods is on the use of weak functions and…
We give a proof of the KAM theorem on the existence of invariant tori for weakly perturbed Hamiltonian systems, based on Thirring's approach for Hamiltonians that are quadratic in the action variables. The main point of this approach is…
We formulate learning guided Automated Theorem Proving as Partial Label Learning, building the first bridge across these fields of research and providing a theoretical framework for dealing with alternative proofs during learning. We use…
We formulate Aubry-Mather theory for Hamiltonians/Lagrangians defined on graphs and discuss its relationship with weak KAM theory developed in [24].
The notion of weak truth-table reducibility plays an important role in recursion theory. In this paper, we introduce an elaboration of this notion, where a computable bound on the use function is explicitly specified. This elaboration…
We fill in a gap in the proof of the main theorem in our earlier paper [Ol]. At the same time, we prove a slightly stronger version of the theorem needed for another paper.
Let (V,W;F) be a weakly reducible, unstabilized, genus three Heegaard splitting in an orientable, irreducible 3-manifold M and DVW(F) the subset of the disk complex D(F) consisting of simplices having at least one vertex from V and at least…
Dissipative systems play a very important role in several physical models, most notably in Celestial Mechanics, where the dissipation drives the motion of natural and artificial satellites, leading them to migration of orbits, resonant…
A weakly admissible mesh (WAM) on a continuum real-valued domain is a sequence of discrete grids such that the discrete maximum norm of polynomials on the grid is comparable to the supremum norm of polynomials on the domain. The asymptotic…
We expose different methods of regularizations of subsolutions in the context of discrete weak KAM theory. They allow to prove the existence and the density of $C^{1,1}$ subsolutions. Moreover, these subsolutions can be made strict and…
In this paper we improve drastically the estimate for the multiplicity of a binary recurrence. The main contribution comes from an effective version of the Faltings' Product Theorem.
For spatially dependent functional data, a generalized Karhunen-Lo\`{e}ve expansion is commonly used to decompose data into an additive form of temporal components and spatially correlated coefficients. This structure provides a convenient…
New singularity theorems are derived for generic warped-product spacetimes of any dimension. The main purpose is to analyze the stability of (compact or large) extra dimensions against dynamical perturbations. To that end, the base of the…
In this paper, we will continue the investigation of Waring's problem, and give further improvements.
We review the definition and the concepts of the weak values and some measurement model to extract the weak value. This material is based on the author Ph.D. thesis "Time in Weak Values and Discrete Time Quantum Walk" at Tokyo Institute of…