Sets characterized by missing sums and differences

A more sums than differences (MSTD) set is a finite subset S of the integers such that |S+S|>|S−S|. We show that the probability that a uniform random subset of {0,1,…,n} is an MSTD set approaches some limit ρ>4.28×¹⁰−4. This improves the previous result of Martin and O?Bryant that there is a lower limit of at least 2×¹⁰−7. Monte Carlo experiments suggest that ρ≈4.5×¹⁰−4. We present a deterministic algorithm that can compute ρ up to arbitrary precision. We also describe the structure of a random MSTD set S⊆{0,1,…,n}. We formalize the intuition that fringe elements are most significant, while middle elements are nearly unrestricted. For instance, the probability that any “middle” element is in S approaches 1/2 as n→∞, confirming a conjecture of Miller, Orosz, and Scheinerman. In general, our results work for any specification on the number of missing sums and the number of missing differences of S, with MSTD sets being a special case.     

Explicit constructions of infinite families of MSTD sets

Text

We explicitly construct infinite families of MSTD (more sums than differences) sets, i.e., sets where |A+A|>|A−A|. There are enough of these sets to prove that there exists a constant C such that at least C/r⁴ of the r² subsets of {1,…,r} are MSTD sets; thus our family is significantly denser than previous constructions (whose densities are at most f(r)/²r/2 for some polynomial f(r)). We conclude by generalizing our method to compare linear forms ?₁A+?+?nA with ?i∈{−1,1}.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=vIDDa1R2.     

Counting MSTD sets in finite abelian groups

In an abelian group G, a more sums than differences (MSTD) set is a subset A⊂G such that |A+A|>|A−A|. We provide asymptotics for the number of MSTD sets in finite abelian groups, extending previous results of Nathanson. The proof contains an application of a recently resolved conjecture of Alon and Kahn on the number of independent sets in a regular graph.     

Boundedness of rough oscillatory singular integral on Triebel-Lizorkin spaces

We give the boundedness on Triebel-Lizorkin spaces for oscillatory singular integral operators with polynomial phases and rough kernels of the form eiP(x)Ω(x)|x|⁻ⁿ, where Ω∈Llog⁺L(Sn−1) is homogeneous of degree zero and satisfies certain cancellation condition.     

Dirichlet and VMOA domains via Schwarzian derivative

Short proofs of the following results concerning a bounded conformal map g of the unit disc D are presented: (1) logg^′ belongs to the Dirichlet space if and only if the Schwarzian derivative Sg of g satisfies Sg(z)(1−²|z|)∈L²(D); (2) logg^′∈VMOA if and only if ²|Sg(z)|³(1−²|z|) is a vanishing Carleson measure on D. Analogous results for Besov and Qp,0 spaces are also given.     

A rough hypersingular integral operator with an oscillating factor

We study certain hypersingular integrals TΩ,α,βf defined on all test functions f∈S(Rn), where the kernel of the operator TΩ,α,β has a strong singularity |y|^−n−α(α>0) at the origin, an oscillating factor ei|y|^−β(β>0) and a distribution Ω∈Hr(Sn−1), 0<r<1. We show that TΩ,α,β extends to a bounded linear operator from the Sobolev space to the Lebesgue space Lp for β/(β−α)<p<β/α, if the distribution Ω is in the Hardy space Hr(Sn−1) with 0<r=(n−1)/(n−1+γ)(0<γ?α) and β>2α>0.     

On the symmetric hyperspace of the circle

By X(n), n?1, we denote the n-th symmetric hyperspace of a metric space X as the space of non-empty finite subsets of X with at most n elements endowed with the Hausdorff metric. In this paper we shall describe the n-th symmetric hyperspace S¹(n) as a compactification of an open cone over ΣDn−2, here Dn−2 is the higher-dimensional dunce hat introduced by Andersen, Marjanovi? and Schori (1993) [2] if n is even, and Dn−2 has the homotopy type of Sn−2 if n is odd (see Andersen et al. (1993) [2]). Then we can determine the homotopy type of S¹(n) and detect several topological properties of S¹(n).     

Quantum scattering at low energies

For a class of negative slowly decaying potentials, including V(x):=−γ|x|^−μ with 0<μ<2, we study the quantum mechanical scattering theory in the low-energy regime. Using appropriate modifiers of the Isozaki-Kitada type we show that scattering theory is well behaved on the whole continuous spectrum of the Hamiltonian, including the energy 0. We show that the modified scattering matrices S(λ) are well-defined and strongly continuous down to the zero energy threshold. Similarly, we prove that the modified wave matrices and generalized eigenfunctions are norm continuous down to the zero energy if we use appropriate weighted spaces. These results are used to derive (oscillatory) asymptotics of the standard short-range and Dollard type S-matrices for the subclasses of potentials where both kinds of S-matrices are defined. For potentials whose leading part is −γ|x|^−μ we show that the location of singularities of the kernel of S(λ) experiences an abrupt change from passing from positive energies λ to the limiting energy λ=0. This change corresponds to the behaviour of the classical orbits. Under stronger conditions one can extract the leading term of the asymptotics of the kernel of S(λ) at its singularities.     

On the successive coefficients of close-to-convex functions

Let f∈S, f be a close-to-convex function, f_k(z)=[f(z^k)]^1/k. The relative growth of successive coefficients of f_k(z) is investigated. The sharp estimate of ||c_n+1|−|c_n|| is obtained by using the method of the subordination function.     

Schatten class membership of Hankel operators on the unit sphere

Let H²(S) be the Hardy space on the unit sphere S in Cn, n?2. Consider the Hankel operator Hf=(1−P)Mf|H²(S), where the symbol function f is allowed to be arbitrary in L²(S,dσ). We show that for p>2n, Hf is in the Schatten class Cp if and only if f−Pf belongs to the Besov space Bp. To be more precise, the “if” part of this statement is easy. The main result of the paper is the “only if” part. We also show that the membership Hf∈C2n implies f−Pf=0, i.e., Hf=0.     

Existence and asymptotic behavior for elliptic equations with singular anisotropic potentials

We study the equation Δu+u|u|^p−1+V(x)u+f(x)=0 in Rn, where n?3 and p>n/(n−2). The forcing term f and the potential V can be singular at zero, change sign and decay polynomially at infinity. We can consider anisotropic potentials of form h(x)|x|⁻² where h is not purely angular. We obtain solutions u which blow up at the origin and do not belong to any Lebesgue space Lr. Also, u is positive and radial, in case f and V are. Asymptotic stability properties of solutions, their behavior near the singularity, and decay are addressed.     

Removable singularity of the polyharmonic equation

Let x₀∈Ω⊂Rⁿ, n≥2, be a domain and let m≥2. We will prove that a solution u of the polyharmonic equation Δ^mu=0 in Ω?{x₀} has a removable singularity at x₀ if and only if as |x−x₀|→0 for n≥3 and as |x−x₀|→0 for n=2. For m≥2 we will also prove that u has a removable singularity at x₀ if |u(x)|=o(|x−x₀|^2m−n) as |x−x₀|→0 for n≥3 and |u(x)|=o(|x−x₀|^2m−2log(|x−x₀|⁻¹)) as |x−x₀|→0 for n=2.     

Separable solutions of some quasilinear equations with source reaction

We study the existence of singular solutions to the equation −div(|Du|^p−2Du)=|u|^q−1u under the form u(r,θ)=r−βω(θ), r>0, θ∈SN−1. We prove the existence of an exponent q below which no positive solutions can exist. If the dimension is 2 we use a dynamical system approach to construct solutions.     

Global solutions of the fast diffusion equation with gradient absorption terms

We investigate the existence of nonnegative weak solutions to the problem ut=Δ(um)−p|∇u| in Rn×(0,∞) with ⁺(1−2/n)<m<1. It will be proved that: (i) When 1<p<2, if the initial datum u₀∈D(Rn) then there exists a solution; (ii) When 1<p<(2+mn)/(n+1), if the initial datum u₀(x) is a bounded and nonnegative measure then the solution exists; (iii) When (2+mn)/(n+1)?p<2, if the initial datum is a Dirac mass then the solution does not exist. We also study the large time behavior of the L¹-norm of solutions for 1<p?(2+mn)/(n+1), and the large time behavior of t1/β‖u(⋅,t)−Ec(⋅,t)L^∞_‖ for (2+mn)/(n+1)<p<2.     

Isolated singularities of solutions to quasi-linear elliptic equations with absorption

We study the problem of removability of isolated singularities for a general second-order quasi-linear equation in divergence form −divA(x,u,∇u)+a₀(x,u)+g(x,u)=0 in a punctured domain Ω?{0}, where Ω is a domain in Rn, n?3. The model example is the equation −Δpu+gu|u|^p−2+u|u|^q−1=0, q>p−1>0, p<n. Assuming that the lower-order terms satisfy certain non-linear Kato-type conditions, we prove that for all point singularities of the above equation are removable, thus extending the seminal result of Brezis and Véron.     

A polyominoes-permutations injection and tree-like convex polyominoes

Plane polyominoes are edge-connected sets of cells on the orthogonal lattice Z², considered identical if their cell sets are equal up to an integral translation. We introduce a novel injection from the set of polyominoes with n cells to the set of permutations of [n], and classify the families of convex polyominoes and tree-like convex polyominoes as classes of permutations that avoid some sets of forbidden patterns. By analyzing the structure of the respective permutations of the family of tree-like convex polyominoes, we are able to find the generating function of the sequence that enumerates this family, conclude that this sequence satisfies the linear recurrence an=6an−1−14an−2+16an−3−9an−4+2an−5, and compute the closed-form formula an=²n+2−(n³−n²+10n+4)/2.     

A construction of 2-designs from Steiner systems and extendable designs

We give a construction of a 2-(mn²+1,mn,(n+1)(mn−1)) design starting from a Steiner system S(2,m+1,mn²+1) and an affine plane of order n. This construction is applied to known classes of Steiner systems arising from affine and projective geometries, Denniston designs, and unitals. We also consider the extendability of these designs to 3-designs.     

Existence and multiplicity of solutions for quasilinear nonhomogeneous problems: An Orlicz-Sobolev space setting

We study the boundary value problem −div(log(1+q|∇u|)|∇u|^p−2∇u)=f(u) in Ω, u=0 on ∂Ω, where Ω is a bounded domain in RN with smooth boundary. We distinguish the cases where either f(u)=−λ|u|^p−2u+|u|^r−2u or f(u)=λ|u|^p−2u−|u|^r−2u, with p, q>1, p+q<min{N,r}, and r<(Np−N+p)/(N−p). In the first case we show the existence of infinitely many weak solutions for any λ>0. In the second case we prove the existence of a nontrivial weak solution if λ is sufficiently large. Our approach relies on adequate variational methods in Orlicz-Sobolev spaces.     

Global attractors for p-Laplacian equation

The existence of a -global attractor is proved for the p-Laplacian equation ut−div(|∇u|^p−2∇u)+f(u)=g on a bounded domain Ω⊂Rn(n?3) with Dirichlet boundary condition, where p?2. The nonlinear term f is supposed to satisfy the polynomial growth condition of arbitrary order c₁q|u|−k?f(u)u?c₂q|u|+k and f^′(u)?−l, where q?2 is arbitrary. There is no other restriction on p and q. The asymptotic compactness of the corresponding semigroup is proved by using a new a priori estimate method, called asymptotic a priori estimate.     

Mathematical analysis to a nonlinear fourth-order partial differential equation

The paper first study the steady-state thin film type equation

∇⋅(uⁿ|∇Δu|^q−2∇Δu)−δu^mΔu=f(x,u)