Breathers for the Discrete Nonlinear Schrödinger Equation with Nonlinear Hopping

We discuss the existence of breathers and lower bounds on their power, in nonlinear Schrödinger lattices with nonlinear hopping. Our methods extend from a simple variational approach to fixed-point arguments, deriving lower bounds for the power which can serve as a threshold for the existence of breather solutions. Qualitatively, the theoretical results justify non-existence of breathers below the prescribed lower bounds of the power which depend on the dimension, the parameters of the lattice as well as of the frequency of breathers. In the case of supercritical power nonlinearities we investigate the interplay of these estimates with the optimal constant of the discrete interpolation inequality. Improvements of the general estimates, taking into account the localization of the true breather solutions are derived. Numerical studies in the one-dimensional lattice corroborate the theoretical bounds and illustrate that in certain parameter regimes of physical significance, the estimates can serve as accurate predictors of the breather power and its dependence on the various system parameters.     

Pattern formation in a nonlinear model for animal coats

Several models have been proposed for describing the formation of animal coat patterns. We consider reaction-diffusion models due to Murray, which rely on a Turing instability for the pattern selection. In this paper, we describe the early stages of the pattern formation process for large domain sizes. This includes the selection mechanism and the geometry of the patterns generated by the nonlinear system on one-, two-, and three-dimensional base domains. These results are obtained by an adaptation of results explaining the occurrence of spinodal decomposition in materials science as modeled by the Cahn-Hilliard equation. We use techniques of dynamical systems, viewing solutions of the reaction-diffusion model in terms of nonlinear semiflows. Our results are applicable to any parabolic system exhibiting a Turing instability.     

A Brunn-Minkowski inequality for the integer lattice

A close discrete analog of the classical Brunn-Minkowksi inequality that holds for finite subsets of the integer lattice is obtained. This is applied to obtain strong new lower bounds for the cardinality of the sum of two finite sets, one of which has full dimension, and, in fact, a method for computing the exact lower bound in this situation, given the dimension of the lattice and the cardinalities of the two sets. These bounds in turn imply corresponding new bounds for the lattice point enumerator of the Minkowski sum of two convex lattice polytopes. A Rogers-Shephard type inequality for the lattice point enumerator in the plane is also proved.

     

Analysis and geometry on manifolds with integral Ricci curvature bounds. II

We extend several geometrical results for manifolds with lower Ricci curvature bounds to situations where one has integral lower bounds. In particular we generalize Colding's volume convergence results and extend the Cheeger-Colding splitting theorem.

     

Monte Carlo approximation of weakly singular integral operators

We study the randomized approximation of weakly singular integral operators. For a suitable class of kernels having a standard type of singularity and being otherwise of finite smoothness, we develop a Monte Carlo multilevel method, give convergence estimates and prove lower bounds which show the optimality of this method and establish the complexity. As an application we obtain optimal methods for and the complexity of randomized solution of the Poisson equation in simple domains, when the solution is sought on subdomains of arbitrary dimension.     

Weak type (1, 1) inequalities of maximal convolution operators

In this paper we study the behavior of the constants which appear in the weak type (1, 1) inequalities for maximal convolution operators by means of discrete methods. One of the first applications of these techniques will give us a very simple proof of the ergodic theorem. We also present partial results in order to investigate the best constant in the weak type (1, 1) inequality for the Hardy-Littlewood centered maximal operator in dimension one. In dimension bigger than one we also obtain some lower bounds for that constant.     

Global existence of classical solution for a viscous liquid-gas two-phase model with mass-dependent viscosity and vacuum

In this work, we obtain the global existence and uniqueness of classical solutions to a viscous liquid-gas two-phase model with mass-dependent viscosity and vacuum in one dimension, where the initial vacuum is allowed. We get the upper and lower bounds of gas and liquid masses n and m by the continuity methods which we use to study the compressible Navier-Stokes equations.     

Domain decomposition methods for a class of spatially heterogeneous delayed reaction–diffusion equations

We derive and study a class of delayed reaction–diffusion equations with spatial heterogeneity, which models the population of a single species with different habitats for mature and immature individuals. We introduce new solid cones, obtain spectral bounds of several spatial heterogeneous operators, and establish limiting non-negativeness property for the whole space and the eventual comparison principle for bounded domains. As a result, we develop new domain decomposition methods so that one can compare solutions with those to associated equations from a suitable bounded spatial domain to the whole space. Then by employing domain decomposition methods and dynamical system approaches, we obtain threshold results under the supremum norm. These results are greatly different from the existing ones of other evolution equations in unbounded domains or the whole space. The main results are applied to two examples with the Ricker birth function and with the Mackey–Glass birth function. It reveals that the size of the immature habitat can affect the reproduction and spread of the population.     

Two-sided bounds of eigenvalues of second-and fourth-order elliptic operators

This article presents an idea in the finite element methods (FEMs) for obtaining two-sided bounds of exact eigenvalues. This approach is based on the combination of nonconforming methods giving lower bounds of the eigenvalues and a postprocessing technique using conforming finite elements. Our results hold for the second and fourth-order problems defined on two-dimensional domains. First, we list analytic and experimental results concerning triangular and rectangular nonconforming elements which give at least asymptotically lower bounds of the exact eigenvalues. We present some new numerical experiments for the plate bending problem on a rectangular domain. The main result is that if we know an estimate from below by nonconforming FEM, then by using a postprocessing procedure we can obtain two-sided bounds of the first (essential) eigenvalue. For the other eigenvalues λ_l, l = 2, 3, …, we prove and give conditions when this method is applicable. Finally, the numerical results presented and discussed in the paper illustrate the efficiency of our method.     

Transience and capacity of minimal submanifolds

We prove explicit lower bounds for the capacity of annular domains of minimal submanifolds P ^m in ambient Riemannian spaces N ⁿ with sectional curvatures bounded from above. We characterize the situations in which the lower bounds for the capacity are actually attained. Furthermore we apply these bounds to prove that Brownian motion defined on a complete minimal submanifold is transient when the ambient space is a negatively curved Hadamard-Cartan manifold. The proof stems directly from the capacity bounds and also covers the case of minimal submanifolds of dimension m > 2 in Euclidean spaces.     

GLOBAL EXISTENCE OF CLASSICAL SOLUTION FOR A VISCOUS LIQUID-GAS TWO-PHASE MODEL WITH MASS-DEPENDENT VISCOSITY AND VACUUM

In this work, we obtain the global existence and uniqueness of classical solu-tions to a viscous liquid-gas two-phase model with mass-dependent viscosity and vacuum in one dimension, where the initial vacuum is allowed. We get the upper and lower bounds of gas and liquid masses n and m by the continuity methods which we use to study the compressible Navier-Stokes equations.     

A Hurewicz-type theorem for asymptotic dimension and applications to geometric group theory

We prove an asymptotic analog of the classical Hurewicz theorem on mappings that lower dimension. This theorem allows us to find sharp upper bound estimates for the asymptotic dimension of groups acting on finite-dimensional metric spaces and allows us to prove a useful extension theorem for asymptotic dimension. As applications we find upper bound estimates for the asymptotic dimension of nilpotent and polycyclic groups in terms of their Hirsch length. We are also able to improve the known upper bounds on the asymptotic dimension of fundamental groups of complexes of groups, amalgamated free products and the hyperbolization of metric spaces possessing the Higson property.

     

An Algorithm to Compute Bounds for the Star Discrepancy

We propose an algorithm to compute upper and lower bounds for the star discrepancy of an arbitrary sequence of points in the s-dimensional unit cube. The method is based on a particular partition of the unit cube into subintervals and on a specialized procedure for orthogonal range counting. The cardinality of the partition depends on the dimension and on an accuracy parameter that has to be specified. We have implemented this method and here we present results of some computational experiments obtained with this implementation.     

On the dimension of trivariate spline spaces with the highest order smoothness on 3D T-meshes

T-meshes are a type of rectangular partitions of planar domains which allow hanging vertices. Because of the special structure of T-meshes, adaptive local refinement is possible for splines defined on this type of meshes, which provides a solution for the defect of NURBS. In this paper, we generalize the definitions to the three-dimensional (3D) case and discuss a fundamental problem – the dimension of trivariate spline spaces on 3D T-meshes. We focus on a special case where splines are C ^d?1 continuous for degree d. The smoothing cofactor method for trivariate splines is explored for this situation. We obtain a general dimension formula and present lower and upper bounds for the dimension. At last, we introduce a type of 3D T-meshes, where we can give an explicit dimension formula.     

NONLINEAR STOCHASTIC HEAT EQUATION DRIVEN BY SPATIALLY COLORED NOISE:MOMENTS AND INTERMITTENCY

In this article, we study the nonlinear stochastic heat equation in the spatial domain R~d subject to a Gaussian noise which is white in time and colored in space. The spatial correlation can be any symmetric, nonnegative and nonnegative-definite function that satisfies Dalang's condition. We establish the existence and uniqueness of a random field solution starting from measure-valued initial data. We find the upper and lower bounds for the second moment. With these moment bounds, we first establish some necessary and sufficient conditions for the phase transition of the moment Lyapunov exponents, which extends the classical results from the stochastic heat equation on Z~d to that on R~d. Then,we prove a localization result for the intermittency fronts, which extends results by Conus and Khoshnevisan [9] from one space dimension to higher space dimension. The linear case has been recently proved by Huang et al [17] using different techniques.     

Condition number estimates for combined potential integral operators in acoustics and their boundary element discretisation

We consider the classical coupled, combined‐field integral equation formulations for time‐harmonic acoustic scattering by a sound soft bounded obstacle. In recent work, we have proved lower and upper bounds on the L² condition numbers for these formulations and also on the norms of the classical acoustic single‐ and double‐layer potential operators. These bounds to some extent make explicit the dependence of condition numbers on the wave number k, the geometry of the scatterer, and the coupling parameter. For example, with the usual choice of coupling parameter they show that, while the condition number grows like k^1/3 as k →∞, when the scatterer is a circle or sphere, it can grow as fast as k^7/5 for a class of “trapping” obstacles. In this article, we prove further bounds, sharpening and extending our previous results. In particular, we show that there exist trapping obstacles for which the condition numbers grow as fast as exp(γk), for some γ > 0, as k →∞ through some sequence. This result depends on exponential localization bounds on Laplace eigenfunctions in an ellipse that we prove in the appendix. We also clarify the correct choice of coupling parameter in 2D for low k. In the second part of the article, we focus on the boundary element discretisation of these operators. We discuss the extent to which the bounds on the continuous operators are also satisfied by their discrete counterparts and, via numerical experiments, we provide supporting evidence for some of the theoretical results, both quantitative and asymptotic, indicating further which of the upper and lower bounds may be sharper. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2010     

Worst-case analysis of maximal dual feasible functions

Dual feasible functions have been used to compute fast lower bounds and valid inequalities for integer linear problems. In this paper, we analyze the worst-case performance of the lower bounds provided by some of the best functions proposed in the literature. We describe some worst-case examples for these functions, and we report on new results concerning the best parameter choice for one of these functions.     

Circuit lower bounds and linear codes

In 1977, Valiant proposed a graph-theoretical method for proving lower bounds on algebraic circuits with gates computing linear functions. He used this method to reduce the problem of proving lower bounds on circuits with linear gates to proving lower bounds on the rigidity of a matrix, a notion that he introduced in that paper. The largest lower bound for an explicitly given matrix is due to J. Friedman, who proved a lower bound on the rigidity of the generator matrices of error-correcting codes over finite fields. He showed that the proof can be interpreted as a bound on a certain parameter defined for all linear spaces of finite dimension. In this note, we define another parameter that can be used to prove lower bounds on circuits with linear gates. Our parameter may be larger than Friedman’s, and it seems incomparable with rigidity, hence it may be easier to prove a lower bound using this notion. Bibliography: 14 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 316, 2004, pp. 188–204.     

On the probability distribution of condition numbers of complete intersection varieties and the average radius of convergence of Newton's method in the underdetermined case

In these pages we show upper bound estimates on the probability distribution of the condition numbers of smooth complete intersection algebraic varieties. As a by-product, we also obtain lower bounds for the average value of the radius of Newton's basin of attraction in the case of positive dimension affine complex algebraic varieties.

     

Lower bounds in communication complexity based on factorization norms

We introduce a new method to derive lower bounds on randomized and quantum communication complexity. Our method is based on factorization norms, a notion from Banach Space theory. This approach gives us access to several powerful tools from this area such as normed spaces duality and Grothendiek's inequality. This extends the arsenal of methods for deriving lower bounds in communication complexity. As we show, our method subsumes most of the previously known general approaches to lower bounds on communication complexity. Moreover, we extend all (but one) of these lower bounds to the realm of quantum communication complexity with entanglement. Our results also shed some light on the question how much communication can be saved by using entanglement. It is known that entanglement can save one of every two qubits, and examples for which this is tight are also known. It follows from our results that this bound on the saving in communication is tight almost always. © 2008 Wiley Periodicals, Inc. Random Struct. Alg., 2009