Traveling Waves with Multiple and Nonconvex Fronts for a Bistable Semilinear Parabolic Equation

We construct new examples of traveling wave solutions to the bistable and balanced semilinear parabolic equation in \input amssym ${\Bbb R}^N+1$ , $N\geq 2$ . Our first example is that of a traveling wave solution with two non planar fronts that move with the same speed. Our second example is a traveling wave solution with a nonconvex moving front. To our knowledge no existence results of traveling fronts with these type of geometric characteristics have been previously known. Our approach explores a connection between solutions of the semilinear parabolic PDE and eternal solutions to the mean curvature flow in \input amssym ${\Bbb R}^N+1$ .     

Global mild solutions of Navier‐Stokes equations

We establish a global well‐posedness of mild solutions to the three‐dimensional, incompressible Navier‐Stokes equations if the initial data are in the space ${\cal{X}}^{-1}$ defined by \input amssym ${\cal{X}}^{‐1} = \{f \in {\cal{D}}^\prime(R^3): \int_{{\Bbb{R}}^3}|\xi|^{‐1}|\widehat{f}|d\xi < \infty\}$ and if the norms of the initial data in ${\cal{X}}^{-1}$ are bounded exactly by the viscosity coefficient μ. © 2010 Wiley Periodicals, Inc.     

Infinitely Many Positive Solutions to Some Scalar Field Equations with Nonsymmetric Coefficients

In this paper the equation $\font\open=msbm10 at 10pt\def\R{\hbox{\open R}} - \Delta u + a(x)u = |u|^{p - 1} u\;{\rm in }\;{\R}^N $ is considered, when N ≥ 2, p > 1, and $p < {{N + 2} \over {N - 2}}$ if N ≥ 3. Assuming that the potential a(x) is a positive function belonging to $\font\open=msbm10 at 10pt\def\R{\hbox{\open R}}L_{{\rm loc}}^{N/2} ({\R}^N )$ such that a(x) → a_∞ > 0 as |x|→∞ and satisfies slow decay assumptions but does not need to fulfill any symmetry property, the existence of infinitely many positive solutions, by purely variational methods, is proved. The shape of the solutions is described as is, and furthermore, their asymptotic behavior when $\font\open=msbm10 at 10pt\def\R{\hbox{\open R}}|a(x) - a_\infty |_{L_{{\rm loc}}^{N/2} ({\R}^N )} \to 0$ . © 2012 Wiley Periodicals, Inc.     

PhaseLift: Exact and Stable Signal Recovery from Magnitude Measurements via Convex Programming

Suppose we wish to recover a signal \input amssym $\font\abc=cmmib10\def\bi#1{\hbox{\abc#1}} {\bi x} \in {\Bbb C}^n$ from m intensity measurements of the form $\font\abc=cmmib10\def\bi#1{\hbox{\abc#1}} |\langle \bi x,\bi z_i \rangle|^2$ , $i = 1, 2, \ldots, m$ ; that is, from data in which phase information is missing. We prove that if the vectors $\font\abc=cmmib10\def\bi#1{\hbox{\abc#1}}{\bi z}_i$ are sampled independently and uniformly at random on the unit sphere, then the signal x can be recovered exactly (up to a global phase factor) by solving a convenient semidefinite program–‐a trace‐norm minimization problem; this holds with large probability provided that m is on the order of $n {\log n}$ , and without any assumption about the signal whatsoever. This novel result demonstrates that in some instances, the combinatorial phase retrieval problem can be solved by convex programming techniques. Finally, we also prove that our methodology is robust vis‐à‐vis additive noise. © 2012 Wiley Periodicals, Inc.     

Correlations for paths in random orientations of G(n,p) and G(n,m)

We study random graphs, both G( n,p) and G( n,m), with random orientations on the edges. For three fixed distinct vertices s,a,b we study the correlation, in the combine probability space, of the events $\{a\to s\}$ and $\{s\to b\}$ . For G(n,p), we prove that there is a $pc = 1/2$ such that for a fixed $p < pc$ the correlation is negative for large enough n and for $p > pc$ the correlation is positive for large enough n. We conjecture that for a fixed $n \ge 27$ the correlation changes sign three times for three critical values of p. For G(n,m) it is similarly proved that, with $p=m/({{n}\atop {2}})$ , there is a critical pc that is the solution to a certain equation and approximately equal to 0.7993. A lemma, which computes the probability of non existence of any $\ell$ directed edges in G(n,m), is thought to be of independent interest. We present exact recursions to compute \input amssym $\Bbb{P}(a\to s)$ and \input amssym $\Bbb{P}(a\to s, s\to b)$ . We also briefly discuss the corresponding question in the quenched version of the problem. © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2011     

C‐perfect hypergraphs

Let ${\mathcal{H}}=({{X}},{\mathcal{E}})Let ${\mathcal{H}}=({{X}},{\mathcal{E}})$ be a hypergraph with vertex set X and edge set ${\mathcal{E}}$. A C‐coloring of ${\mathcal{H}}$ is a mapping ?:X→? such that |?(E)|<|E| holds for all edges ${{E}}\in{\mathcal{E}}$ (i.e. no edge is multicolored). We denote by $\bar{\chi}({\mathcal{H}})$ the maximum number |?(X)| of colors in a C‐coloring. Let further $\alpha({\mathcal{H}})$ denote the largest cardinality of a vertex set S?X that contains no ${{E}}\in{\mathcal{E}}$, and $\tau({\mathcal{H}})=|{{X}}|-\alpha({\mathcal{H}})$ the minimum cardinality of a vertex set meeting all $E \in {\mathcal{E}}$. The hypergraph ${\mathcal{H}}$ is called C‐perfect if $\bar{\chi}({\mathcal{H}}\prime)=\alpha({\mathcal{H}}\prime)$ holds for every induced subhypergraph ${\mathcal{H}}\prime\subseteq{\mathcal{H}}$. If ${\mathcal{H}}$ is not C‐perfect but all of its proper induced subhypergraphs are, then we say that it is minimally C‐imperfect. We prove that for all r, k∈? there exists a finite upper bound h(r, k) on the number of minimally C‐imperfect hypergraphs ${\mathcal{H}}$ with $\tau({\mathcal{H}})\le {{k}}$ and without edges of more than r vertices. We give a characterization of minimally C‐imperfect hypergraphs that have τ=2, which also characterizes implicitly the C‐perfect ones with τ=2. From this result we derive an infinite family of new constructions that are minimally C‐imperfect. A characterization of minimally C‐imperfect circular hypergraphs is presented, too. © 2009 Wiley Periodicals, Inc. J Graph Theory 64: 132–149, 2010     

Regularized trace of the inverse of the dirichlet laplacian

For the eigenvalues $( \lambda_{n}) _{n=1}^{\infty}$ of the Dirichlet Laplacian on a bounded convex domain $\font\open=msbm10 at 10pt\def\C{\hbox{\open C}}\Omega\subset{\C}$ , we find the sum of the series the regularized trace of the inverse of Dirichlet Laplacian. © 2011 Wiley Periodicals, Inc.     

Periodic problem for a nonlinear‐damped wave equation on the boundary

In this work we investigate the existence of periodic solutions in t for the following problem: We employ elliptic regularization and monotone method. We consider $\mbox{\boldmath{$\Omega$}}\mbox{\boldmath{$\subset$}}{\mathbb{R}}^{{{n}}} \ (n\geqslant 1)$ an open bounded set that has regular boundary Γ and Q=Ω ×(0,T), T>0, a cylinder of ${\mathbb{R}}^{n+1}$ with lateral boundary Σ = Γ × (0,T). Copyright © 2009 John Wiley & Sons, Ltd.     

A critical center‐stable manifold for Schrödinger's equation in three dimensions

Consider the focusing $\dot H^{1/2}$ ‐critical semilinear Schrödinger equation in $\font\open=msbm10 at 10pt\def\R{\hbox{\open R}}\R^3$ It admits an eight‐dimensional manifold of special solutions called ground state solitons. We exhibit a codimension‐1 critical real analytic manifold ${\cal N}$ of asymptotically stable solutions of (0.1) in a neighborhood of the soliton manifold. We then show that ${\cal N}$ is center‐stable, in the dynamical systems sense of Bates and Jones, and globally‐in‐time invariant. Solutions in ${\cal N}$ are asymptotically stable and separate into two asymptotically free parts that decouple in the limit—a soliton and radiation. Conversely, in a general setting, any solution that stays $\dot H^{1/2}$ ‐close to the soliton manifold for all time is in ${\cal N}$ . The proof uses the method of modulation. New elements include a different linearization and an endpoint Strichartz estimate for the time‐dependent linearized equation. The proof also uses the fact that the linearized Hamiltonian has no nonzero real eigenvalues or resonances. This has recently been established in the case treated here—of the focusing cubic NLS in $\font\open=msbm10 at 10pt\def\R{\hbox{\open R}}\R^3$ —by the work of Marzuola and Simpson and Costin, Huang, and Schlag. © 2012 Wiley Periodicals, Inc.     

Fundamental solutions of homogeneous fully nonlinear elliptic equations

We prove the existence of two fundamental solutions Φ and of the PDE \input amssym $F(D^2\Phi) = 0 \quad {\rm in} \ {\Bbb{R}}^n \setminus \{ 0 \}$ for any positively homogeneous, uniformly elliptic operator F. Corresponding to F are two unique scaling exponents α*, > −1 that describe the homogeneity of Φ and . We give a sharp characterization of the isolated singularities and the behavior at infinity of a solution of the equation F(D²u) = 0, which is bounded on one side. A Liouville‐type result demonstrates that the two fundamental solutions are the unique nontrivial solutions of F(D²u) = 0 in \input amssym ${\Bbb{R}}^n \setminus \{ 0 \}$ that are bounded on one side in both a neighborhood of the origin as well as at infinity. Finally, we show that the sign of each scaling exponent is related to the recurrence or transience of a stochastic process for a two‐player differential game. © 2010 Wiley Periodicals, Inc.     

Increasing the output length of zero‐error dispersers

Let $\cal{C}$ be a class of probability distributions over a finite set Ω. A function $D : \Omega \mapsto\{0,1\}^{m}$ is a disperser for $\cal{C}$ with entropy threshold $k$ and error $\epsilon$ if for any distribution X in $\cal{C}$ such that X gives positive probability to at least $2^{k}$ elements we have that the distribution $D(X)$ gives positive probability to at least $(1-\epsilon)2^{m}$ elements. A long line of research is devoted to giving explicit (that is polynomial time computable) dispersers (and related objects called “extractors”) for various classes of distributions while trying to maximize m as a function of k. For several interesting classes of distributions there are explicit constructions in the literature of zero‐error dispersers with “small” output length m. In this paper we develop a general technique to improve the output length of zero‐error dispersers. This strategy works for several classes of sources and is inspired by a transformation that improves the output length of extractors (which was given by Shaltiel (CCC'06; Proceedings of the 21st Annual IEEE Conference on Computational Complexity, (2006) 46–60.) building on earlier work by Gabizon, Raz and Shaltiel (SIAM J Comput 36 (2006) 1072–1094). Our techniques are different than those of Shaltiel (CCC'06; Proceedings of the 21st Annual IEEE Conference on Computational Complexity (2006) 46–60) and in particular give non‐trivial results in the errorless case. Using our approach we construct improved zero‐error 2‐source dispersers. More precisely, we show that for any constant $\delta >0$ there is a constant $\eta >0$ such that for sufficiently large n there is a poly‐time computable function $D :\{0,1\}^{n}\times\{0,1\}^{n}\mapsto\{0,1\}^{\eta n}$ such that for every two independent distributions $X_1,X_2$ over $\{0,1\}^{n}$ each with support size at least $2^{\delta n}$ , the output distribution $D(X_1,X_2)$ has full support. This improves the output length of previous constructions by Barak, Kindler, Shaltiel, Sudakov and Wigderson (Proceedings of the 37th Annual ACM Symposium on Theory of Computing (2005) 1–10) and has applications in Ramsey theory and in improved constructions of certain data structures from the work of Fiat and Naor [SIAM J Comput 22 (1993)]. We also use our techniques to give explicit constructions of zero‐error dispersers for bit‐fixing sources and affine sources over polynomially large fields. These constructions improve the best known explicit constructions due to Rao (unpublished data) and Gabizon and Raz [Combinatorica 28 (2008)] and achieve $m=\Omega(k)$ for bit‐fixing sources and $m=k-o(k)$ for affine sources over polynomial size fields. © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2011     

Piercing random boxes

Consider a set of n random axis parallel boxes in the unit hypercube in ${\bf R}^{d}$ , where d is fixed and n tends to infinity. We show that the minimum number of points one needs to pierce all these boxes is, with high probability, at least $\Omega_d(\sqrt{n}(\log n)^{d/2-1})$ and at most $O_d(\sqrt{n}(\log n)^{d/2-1}\log \log n)$ . © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 38, 365–380, 2011     

Variational Inclusion Systems in $\mathbb{R}^N$

The authors study the existence of nontrivial solutions to p-Laplacian variational inclusion systems

A Self‐Dual Polar Factorization for Vector Fields

We show that any nondegenerate vector field u in \begin{align*}L^{\infty}(\Omega, \mathbb{R}^N)\end{align*}, where Ω is a bounded domain in \begin{align*}\mathbb{R}^N\end{align*}, can be written as \begin{align*}u(x)= \nabla_1 H(S(x), x)\quad {\text for a.e.\ x \in \Omega}\end{align*}}, where S is a measure‐preserving point transformation on Ω such that \begin{align*}S^2=I\end{align*} a.e. (an involution), and \begin{align*}H: \mathbb{R}^N \times \mathbb{R}^N \to \mathbb{R}\end{align*} is a globally Lipschitz antisymmetric convex‐concave Hamiltonian. Moreover, u is a monotone map if and only if S can be taken to be the identity, which suggests that our result is a self‐dual version of Brenier's polar decomposition for the vector field as \begin{align*}u(x)=\nabla \phi (S(x))\end{align*}, where ? is convex and S is a measure‐preserving transformation. We also describe how our polar decomposition can be reformulated as a (self‐dual) mass transport problem. © 2012 Wiley Periodicals, Inc.     

Persistence of activity in threshold contact processes,an “Annealed approximation” of random Boolean networks

We consider a model for gene regulatory networks that is a modification of Kauffmann's J Theor Biol 22 (1969), 437–467 random Boolean networks. There are three parameters: $n = {\rm the}$ number of nodes, $r = {\rm the}$ number of inputs to each node, and $p = {\rm the}$ expected fraction of 1'sin the Boolean functions at each node. Following a standard practice in thephysics literature, we use a threshold contact process on a random graph on n nodes, in which each node has in degree r, to approximate its dynamics. We show that if $r\ge 3$ and $r \cdot 2p(1-p)>1$ , then the threshold contact process persists for a long time, which correspond to chaotic behavior of the Boolean network. Unfortunately, we are only able to prove the persistence time is $\ge \exp(cn^{b(p)})$ with $b(p)>0$ when $r\cdot 2p(1-p)> 1$ , and $b(p)=1$ when $(r-1)\cdot 2p(1-p)>1$ . © 2011 Wiley Periodicals, Inc. Random Struct. Alg., 2011     

Large Deviations for Brownian Intersection Measures

We consider p independent Brownian motions in \input amssym ${\Bbb R}^d$ . We assume that p ≥ 2 and p (d ? 2) < d. Let ?_t denote the intersection measure of the p paths by time t, i.e., the random measure on \input amssym ${\Bbb R}^d$ that assigns to any measurable set \input amssym $A \subset {\Bbb R}^d$ the amount of intersection local time of the motions spent in A by time t. Earlier results of X. Chen derived the logarithmic asymptotics of the upper tails of the total mass \input amssym $\ell _t \left({{\Bbb R}^d } \right)$ as t → ∞. In this paper, we derive a large‐deviation principle for the normalized intersection measure t^?p?_t on the set of positive measures on some open bounded set \input amssym $B \subset {\Bbb R}^d$ as t → ∞ before exiting B. The rate function is explicit and gives some rigorous meaning, in this asymptotic regime, to the understanding that the intersection measure is the pointwise product of the densities of the normalized occupation times measures of the p motions. Our proof makes the classical Donsker‐Varadhan principle for the latter applicable to the intersection measure. A second version of our principle is proved for the motions observed until the individual exit times from B, conditional on a large total mass in some compact set . This extends earlier studies on the intersection measure by König and Mörters. © 2012 Wiley Periodicals, Inc.     

Forward dynamical problem for the Timoshenko beam

The initial boundary value problem

Bubbling Solutions for the SU(3) Chern‐Simons Model on a Torus

We consider the following nonlinear system derived from the SU(3) Chern‐Simons models on a torus Ω: where $\delta_p$ denotes the Dirac measure at $p\in\Omega$ . When $\{p_j^1\}_1^{N_1}= \{p_j^2\}_1^{N_2}$ , if we look for a solution with $u_1=u_2=u$ , then (0.1) is reduced to the Chern‐Simons‐Higgs equation: The existence of bubbling solutions to (0.1) has been a longstanding problem. In this paper, we prove the existence of such solutions such that $u_1\ne u_2$ even if $\{p_j^1\}_1^{N_1}=\{p_j^2\}_1^{N_2}$ . © 2012 Wiley Periodicals, Inc.     

One‐Bit Compressed Sensing by Linear Programming

We give the first computationally tractable and almost optimal solution to the problem of one‐bit compressed sensing, showing how to accurately recover an s‐sparse vector \input amssym $x \in {\Bbb R}^n$ from the signs of $O(s \log^2(n/s))$ random linear measurements of x. The recovery is achieved by a simple linear program. This result extends to approximately sparse vectors x. Our result is universal in the sense that with high probability, one measurement scheme will successfully recover all sparse vectors simultaneously. The argument is based on solving an equivalent geometric problem on random hyperplane tessellations.     

Regularity of renormalized solutions in the Boltzmann equation with long‐range interactions

It is well‐established that renormalized solutions of the Boltzmann equation enjoy some kind of regularity, or at least compactness, in the velocity variable when the angular collision kernel is nonintegrable. However, obtaining explicit estimates in convenient and natural functional settings proves rather difficult. In this work, we derive a velocity smoothness estimate from the a priori control of the renormalized dissipation. As a direct consequence of our result, we show that, in the presence of long‐range interactions, any renormalized solution F(t, x, v) to the Boltzmann equation satisfies locally ${\textstyle{F \over {1 + F}}} \in W_{t,x,v}^{s,p}$ for every $1 \le p \le {\textstyle{D \over {D - 1}}}$ and for some s > 0 depending on p. We also provide an application of this new estimate to the hydrodynamic limit of the Boltzmann equation without cutoff. © 2012 Wiley Periodicals, Inc.