Related papers: How does the partition of unity influence SORAS pr…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
We provide a sparse version of the bounded degree SOS hierarchy BSOS [7] for polynomial optimization problems. It permits to treat large scale problems which satisfy a structured sparsity pattern. When the sparsity pattern satisfies the…
We consider Lie and Strang splitting for the time integration of constrained partial differential equations with a nonlinear reaction term. Since such systems are known to be sensitive with respect to perturbations, the splitting procedure…
We study a cutting-plane method for semidefinite optimization problems (SDOs), and supply a proof of the method's convergence, under a boundedness assumption. By relating the method's rate of convergence to an initial outer approximation's…
We present a molecular dynamics simulation study of the liquid-solid transition in a two dimensional system consisting of particles of two different sizes interacting via a truncated Lennard-Jones potential. We work with equal number of…
Pallalel GPGPU computing for lattice QCD simulations has a bottleneck on the GPU to GPU data communication due to the lack of the direct data exchanging facility. In this work we investigate the performance of quark solver using the…
The conic bundle implementation of the spectral bundle method for large scale semidefinite programming solves in each iteration a semidefinite quadratic subproblem by an interior point approach. For larger cutting model sizes the limiting…
Reiner, Shaw and van Willigenburg showed that if two skew Schur functions s_A and s_B are equal, then the skew shapes A and B must have the same "row overlap partitions." Here we show that these row overlap equalities are also implied by a…
Optimization under structural constraints is typically analyzed through projection or penalty methods, obscuring the geometric mechanism by which constraints shape admissible dynamics. We propose an operator-theoretic formulation in which…
In this paper, we propose an overlapping additive Schwarz method for total variation minimization based on a dual formulation. The $O(1/n)$-energy convergence of the proposed method is proven, where $n$ is the number of iterations. In…
An order relation for contractions on a Hilbert space can be introduced by stating that $A\preccurlyeq B$ if and only $A$ is unitarily equivalent to the restriction of $B$ to an invariant subspace. We discuss the equivalence classes…
While multi-layer systems can possess global inversion centers, they can have regions with locally broken inversion symmetry. This can modify the superconducting properties of such a system. Here we analyze two dimensional multi-layer…
The influence of the boundary conditions used in the Wigner-Seitz (WS) approximation applied to the neutron star inner crust is examined. The generalized energy functional method which includes the neutron and proton pairing correlations is…
We report the effect of interstitial fluid on the extent of segregation by imaging the pile that results after bidisperse color-coded particles are poured into a silo. Segregation is sharply reduced and preferential clumping of small…
Solving large-scale Helmholtz problems discretized with high-order finite elements is notoriously difficult, especially in 3D where direct factorization of the system matrix is very expensive and memory demanding, and robust convergence of…
The Onsager-Stefan-Maxwell (OSM) equations are an important model of mass transport in multicomponent flows with multiple chemical species. They describe the coupling of diffusive fluxes between species, accounting for their interactions…
We propose two variants of the overlapping additive Schwarz method for the finite element discretiza- tion of the elliptic problem in 3D with highly heterogeneous coefficients. The methods are efficient and simple to construct using the…
The first part of this work established the foundations of a radial duality between nonnegative optimization problems, inspired by the work of (Renegar, 2016). Here we utilize our radial duality theory to design and analyze projection-free…
Uniform preconditioners for operators of negative order discretized by (dis)continuous piecewise polynomials of any order are constructed from a boundedly invertible operator of opposite order discretized by continuous piecewise linears.…
The formulation of the variational problems for the solute transport in a fluid layer in presence of double-diffusive thermal convection is discussed. It is shown that the variational functional obtained by Strauss can be generalized and…