Related papers: Geometrically Constrained Localized Configurations…
A wide variety of stationary or moving spatially localized structures is present in evolution problems on unbounded domains, governed by higher-than-second-order reversible spatial interactions. This work provides a generic unfolding in one…
We establish how a higher local field can be described as a locally convex vector space once an embedding of a local field into it has been fixed. This extends previous results that had been obtained in the two-dimensional case. In…
Previous work in the literature has studied the Hamiltonian structure of an R-squared model of gravity with torsion in a closed Friedmann-Robertson-Walker universe. Within the framework of Dirac's theory, torsion is found to lead to a…
In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically,…
We investigate the presence of defect structures in generalized models described by real scalar field in $(1,1)$ space-time dimensions. We work with two distinct generalizations, one in the form of a product of functions of the field and…
In this paper we present a novel approach to graph (and structural) limits based on model theory and analysis. The role of Stone and Gelfand dualities is displayed prominently and leads to a general theory, which we believe is naturally…
We will analyze the constraint structure of the Einstein-Hilbert first-order action in two dimensions using the Hamilton-Jacobi approach. We will be able to find a set of involutive, as well as a set of non-involutive constraints. Using…
We study the performance of first- and second-order optimization methods for l1-regularized sparse least-squares problems as the conditioning of the problem changes and the dimensions of the problem increase up to one trillion. A rigorously…
In this paper, a methodology for fine scale modeling of large scale structures is proposed, which combines the variational multiscale method, domain decomposition and model order reduction. The influence of the fine scale on the coarse…
We study a generalized framework for structured sparsity. It extends the well-known methods of Lasso and Group Lasso by incorporating additional constraints on the variables as part of a convex optimization problem. This framework provides…
We continue our investigation of the configuration space of general relativity begun in I (gr-qc/9411009). Here we examine the Hamiltonian constraint when the spatial geometry is momentarily static (MS). We show that MS configurations…
The purpose of this present paper is to investigate the geometric structure of regular overdetermined systems of second order with two independent and one dependent variables from the point of view of rank 2 prolongations. Utilizing this…
Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving…
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…
In this paper, we present a general framework for constructively proving the existence and stability of stationary localized 1D solutions and saddle-node bifurcations in activator--inhibitor systems using computer-assisted proofs.…
We exploit analogies between first-order algorithms for constrained optimization and non-smooth dynamical systems to design a new class of accelerated first-order algorithms for constrained optimization. Unlike Frank-Wolfe or projected…
We introduce a class of first-order methods for smooth constrained optimization that are based on an analogy to non-smooth dynamical systems. Two distinctive features of our approach are that (i) projections or optimizations over the entire…
We revisit the classic stability problem of the buckling of an inextensible, axially compressed beam on a nonlinear elastic foundation with a semi-analytical approach to understand how spatially localized deformation solutions emerge in…
A (bar-and-joint) framework is a set of points in a normed space with a set of fixed distance constraints between them. Determining whether a framework is locally rigid - i.e. whether every other suitably close framework with the same…
We study possibilities for algebraic closures, differences between definable and algebraic closures in first-order structures, and variations of these closures with respect to the bounds of cardinalities of definable sets and given sets of…