Related papers: Constructive approach to the truncated moment prob…
A common optimization problem is the minimization of a symmetric positive definite quadratic form $< x,Tx >$ under linear constrains. The solution to this problem may be given using the Moore-Penrose inverse matrix. In this work we extend…
We study a class of degenerate hyperbolic equations in a bounded domain whose degeneracy occurs at a boundary point. We first develop the weighted functional framework, prove well-posedness of the degenerate problem, and establish…
In this paper we investigate the one-dimensional hyperbolic mean curvature flow for closed plane curves. We show that there exists a class of initial velocities such that the solution of the corresponding initial value problem exists only…
In a wide range of applications, we are required to rapidly solve a sequence of convex multiparametric quadratic programs (mp-QPs) on resource-limited hardwares. This is a nontrivial task and has been an active topic for decades in control…
This paper deals with the moment problem on a (not necessarily finitely generated) commutative unital real algebra $A$. We define moment functionals on $A$ as linear functionals which can be written as integrals over characters of $A$ with…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
Initiated by the work of Uhlenbeck in late 1970s, we study questions about the existence, multiplicity and asymptotic behavior for minimal immersions of closed surface in some hyperbolic three-manifold, with prescribed conformal structure…
Let $(M,\,g)$ be a Poincar$\acute{\text{e}}$-Einstein manifold with a smooth defining function. In this note, we prove that there are infinitely many asymptotically hyperbolic metrics with constant $Q$-curvature in the conformal class of an…
We develop an approach for the treatment of one--dimensional bounded quantum--mechanical models by straightforward modification of a successful method for unbounded ones. We apply the new approach to a simple example and show that it…
About a decade ago Thurston proved that a vast collection of 3-manifolds carry metrics of constant negative curvature. These manifolds are thus elements of {\em hyperbolic geometry}, as natural as Euclid's regular polyhedra. For a closed…
The effectiveness of the hyperbolic relaxation method for solving the Einstein constraint equations numerically is studied here on a variety of compact orientable three-manifolds. Convergent numerical solutions are found using this method…
In this work, we discuss and compare three methods for the numerical approximation of constant- and variable-coefficient diffusion equations in both single and composite domains with possible discontinuity in the solution/flux at…
We present a deterministic polynomial-time algorithm for estimating the volume of a hypercube intersected by a fixed number of constraints of the type $f(x) \leq b$, where $f$ is the sum of univariate functions that are each nonnegative,…
Consider the planar restricted $(N+1)$-body problem with trajectories of the $N(\ge 2)$ primaries forming a collision-free periodic solution of the $N$-body problem, for any positive energy $h$ and directions $\theta_{\pm} \in [0, 2\pi)$,…
Triangulation of a three-dimensional point from at least two noisy 2-D images can be formulated as a quadratically constrained quadratic program. We propose an algorithm to extract candidate solutions to this problem from its semidefinite…
In this research paper, the problem of optimization of a quadratic form over the convex hull generated by the corners of hypercube is attempted and solved. It is reasoned that under some conditions, the optimum occurs at the corners of…
We study a class of initial boundary value problems of hyperbolic type. A new topological approach is applied to prove the existence of non-negative classical solutions. The arguments are based upon a recent theoretical result.
We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally…
We establish necessary and sufficient conditions for determining when a flat manifold can occur as a cusp cross-section within a given commensurability class of cusped arithmetic hyperbolic manifolds. This reduces the problem of identifying…
This paper developed a method called "modified exponential cubic B-Spline differential quadrature (mExp-DQM) for space discretization together with a time integration algorithm" for the numerical computation of hyperbolic telegraph equation…