Related papers: Interpolation inequalities in pattern formation
We consider near-critical two-dimensional statistical systems at phase coexistence on the half plane with boundary conditions leading to the formation of a droplet separating coexisting phases. General low-energy properties of…
We investigate superconvergence properties of the spectral interpolation involving fractional derivatives. Our interest in this superconvergence problem is, in fact, twofold: when interpolating function values, we identify the points at…
We consider a variational model for a charge density $u\in\{-1,1\}$ on a (hyper)plane, with a short-range attraction coming from the interfacial energy and a long-range repulsion coming from the electrostatic energy. This competition leads…
Interpolation-based techniques have been widely and successfully applied in the verification of hardware and software, e.g., in bounded-model check- ing, CEGAR, SMT, etc., whose hardest part is how to synthesize interpolants. Various work…
In this paper we present a new approach to proving some exponential inequalities involving the sinc function. Power series expansions are used to generate new polynomial inequalities that are sufficient to prove the given exponential…
Many superconducting devices rely on the finite gap in the excitation spectrum of a superconductor: thanks to this gap, at temperatures much smaller than the critical one the number of excitations (quasiparticles) that can impact the…
In this paper we prove refined first-order interpolation inequalities for periodic functions and give applications to various refinements of the Carlson--Landau-type inequalities and to magnetic Schrodinger operators. We also obtain…
This dissertation presents a multifaceted look into the structural decomposition of permutation classes. The theory of permutation patterns is a rich and varied field, and is a prime example of how an accessible and intuitive definition…
Molecular dynamics simulations and integral equation calculations of a simple equimolar mixture of diatomic molecules and monomers interacting via attractive and repulsive short-range potentials show the existence of pattern formation…
Branching can be observed at the austenite-martensite interface of martensitic phase transformations. For a model problem, Kohn and M\"uller studied a branching pattern with optimal scaling of the energy with respect to its parameters.…
Inequalities for the transformation operator kernel $A(x,y)$ in terms of $F$-function are given, and vice versa. These inequalities are applied to inverse scattering on half-line. Characterization of the scattering data corresponding to the…
Parisi--Sourlas supersymmetric models are known to undergo dimensional reduction; that is, their physics is captured by models in two fewer dimensions. In this work, we revisit dimensional reduction, providing new arguments and…
We analyzed pattern formation and identified different phases in a system of particles interacting through a non-monotonic short-range repulsive (r<r_c) and long-range attractive (r>r_c) potential, using molecular-dynamics simulations.…
In this paper we consider interpolation in model spaces, $H^2 \ominus B H^2$ with $B$ a Blaschke product. We study unions of interpolating sequences for two sequences that are far from each other in the pseudohyperbolic metric as well as…
We consider a problem of superconductivity coexistence with the spin-density-wave order in disordered multiband metals. It is assumed that random variations of the disorder potential on short length scales render the interactions between…
Feasible interpolation is a general technique for proving proof complexity lower bounds. The monotone version of the technique converts, in its basic variant, lower bounds for monotone Boolean circuits separating two NP-sets to proof…
A model of a phase-separating two-component Langmuir monolayer in the presence of a photo-induced reaction interconvering two components is formulated. An interplay between phase separation, orientational ordering and treaction is found to…
The worst-case performance of an optimization method on a problem class can be analyzed using a finite description of the problem class, known as interpolation conditions. In this work, we study interpolation conditions for linear operators…
Most self-assembled quantum dot molecules are intrinsically asymmetric with inequivalent dots resulting from imperfect control of crystal growth. We have grown vertically-aligned pairs of InAs/GaAs quantum dots by molecular beam epitaxy,…
Linear interpolation inequalities that combine Hardy's inequality with sharp Sobolev embedding are obtained using classical arguments of Hardy and Littlewood (Bliss lemma). Such results are equivalent to Caffarelli-Kohn-Nirenberg…