Related papers: Relaxation and 3d-2d passage with determinant type…
After surveying some known properties of compact convex sets in the plane, we give a two rigorous proofs of the general feeling that supporting lines can be slide-turned slowly and continuously. Targeting a wide readership, our treatment is…
For general quadratically-constrained quadratic programming (QCQP), we propose a parabolic relaxation described with convex quadratic constraints. An interesting property of the parabolic relaxation is that the original non-convex feasible…
We study mixed-integer programming formulations for the piecewise linear lower and upper bounds (in other words, piecewise linear relaxations) of nonlinear functions that can be modeled by a new class of combinatorial disjunctive…
More analysis of operator determinants on homogeneous three dimensional lens spaces is presented with the emphasis on numerics so that Laplacians for massive fields can be dealt with. Polyhedral quotients are also briefly considered.…
This paper deals with the rigorous study of the diffusive stress relaxation in the multidimensional system arising in the mathematical modeling of viscoelastic materials. The control of an appropriate high order energy shall lead to the…
This paper is concerned with analysis on metric spaces in a variety of settings and with several kinds of structure.
Motivated by phase transitions in combinatorial optimization problems, we define two kinds of geometry-preserving reductions between constraint satisfaction problems and other NP-search problems. We give a couple of examples and…
We study the properties, in particular termination, of dependent types systems for lambda calculus and rewriting.
We present a sampling-based approach to reasoning about the caging-based manipulation of rigid and a simplified class of deformable 3D objects subject to energy constraints. Towards this end, we propose the notion of soft fixtures extending…
This paper provides a technical companion to M. Aguado and E. Seiler, hep-lat/0406041, in which the fate of perturbation theory in the thermodynamic limit is discussed for the O(N) model on a 2d lattice and different boundary conditions.…
The work is devoted to the relaxation limit in larger Besov spaces for compressible Euler equations, which contains previous results in Sobolev spaces and Besov spaces with critical regularity. Such an extension depends on a revision of…
This paper concerns the explicit treatment of substitutions in the lambda calculus. One of its contributions is the simplification and rationalization of the suspension calculus that embodies such a treatment. The earlier version of this…
The constraint equations for smooth $[n+1]$-dimensional (with $n\geq 3$) Riemannian or Lorentzian spaces satisfying the Einstein field equations are considered. It is shown, regardless of the signature of the primary space, that the…
This paper is a complement of our recent works on the semilinear Tricomi equations in [8] and[9].
We consider a class of self-interacting random walks in deterministic or random environments, known as excited random walks or cookie walks, on the d-dimensional integer lattice. The main purpose of this paper is two-fold: to give a survey…
We propose a notion of discrete elastic and area-constrained elastic curves in 2-dimensional space forms. Our definition extends the well-known discrete Euclidean curvature equation to space forms and reflects various geometric properties…
Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components. Because of this, previous approaches to solver design and…
We propose a new shape-based modeling technique for applications in imaging problems. Given a collection of shape priors (a shape dictionary), we define our problem as choosing the right dictionary elements and geometrically composing them…
D-dimensional constrained systems are studied with stochastic Lagrangian and\break Hamiltonian. It is shown that stochastic consistency conditions are second class constraints and Lagrange multiplier fields can be determined in…
This expository paper explores the interaction of group ordering with topological questions, especially in dimensions 2 and 3. Among the topics considered are surfaces, braid groups, 3-manifolds and their structures such as foliations and…