Interior Differentiability Results for Nonlinear Variational Parabolic Systems with Nonlinearity 1 <?q < 2

In this work we prove that the solutions

Seas of squares with sizes from a Π<Stack><Subscript>1</Subscript><Superscript>0</Superscript></Stack> set

A family of sets is union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. Kleitman proved that every union-free family has size at most (1+o(1))( _n/2 ⁿ ). Later, Burosch–Demetrovics–Katona–Kleitman–Sapozhenko asked for the number α(n) of such families, and they proved that \({2^{\left( {\begin{array}{*{20}{c}} n \\ {n/2} \end{array}} \right)}} \leqslant \alpha \left( n \right) \leqslant {2^{2\sqrt 2 \left( {\begin{array}{*{20}{c}} n \\ {n/2} \end{array}} \right)\left( {1 + o\left( 1 \right)} \right)}}\) They conjectured that the constant \(2\sqrt 2 \) can be removed in the exponent of the right-hand side. We prove their conjecture by formulating a new container-type theorem for rooted hypergraphs.     

Combined ℓ<Subscript>2</Subscript> data and gradient fitting in conjunction with ℓ<Subscript>1</Subscript> regularization

We are interested in minimizing functionals with ℓ₂ data and gradient fitting term and ℓ₁ regularization term with higher order derivatives in a discrete setting. We examine the structure of the solution in 1D by reformulating the original problem into a contact problem which can be solved by dual optimization techniques. The solution turns out to be a ’smooth’ discrete polynomial spline whose knots coincide with the contact points while its counterpart in the contact problem is a discrete version of a spline with higher defect and contact points as knots. In 2D we modify Chambolle’s algorithm to solve the minimization problem with the ℓ₁ norm of interacting second order partial derivatives as regularization term. We show that the algorithm can be implemented efficiently by applying the fast cosine transform. We demonstrate by numerical denoising examples that the ℓ₂ gradient fitting term can be used to avoid both edge blurring and staircasing effects.      

Conformally flat Lorentzian hypersurfaces in ℝ<Stack><Subscript>1</Subscript><Superscript>4</Superscript></Stack> with three distinct principal curvatures

A three dimensional Lorentzian hypersurface x: M ₁ ³ → ? ₁ ⁴ is called conformally flat if its induced metric is conformal to the flat Lorentzian metric, and this property is preserved under the conformal transformation of ? ₁ ⁴ . Using the projective light-cone model, for those whose shape operators have three distinct real eigenvalues, we calculate the integrability conditions by constructing a scalar conformal invariant and a canonical moving frame in this paper. Similar to the Riemannian case, these hypersurfaces can be determined by the solutions to some system of partial differential equations.     

Verifiable conditions of <Emphasis Type="Italic">ℓ</Emphasis><Subscript>1</Subscript>-recovery for sparse signals with sign restrictions

We propose necessary and sufficient conditions for a sensing matrix to be “s-semigood” – to allow for exact ℓ ₁-recovery of sparse signals with at most s nonzero entries under sign restrictions on part of the entries. We express error bounds for imperfect ℓ ₁-recovery in terms of the characteristics underlying these conditions. These characteristics, although difficult to evaluate, lead to verifiable sufficient conditions for exact sparse ℓ ₁-recovery and thus efficiently computable upper bounds on those s for which a given sensing matrix is s-semigood. We examine the properties of proposed verifiable sufficient conditions, describe their limits of performance and provide numerical examples comparing them with other verifiable conditions from the literature.     

A Hilbert-type theorem for spacelike surfaces with constant Gaussian curvature in ℍ<Superscript>2</Superscript> × ℝ<Subscript>1</Subscript>

There are examples of complete spacelike surfaces in the Lorentzian product ℍ² × ℝ₁ with constant Gaussian curvature K ≤ −1. In this paper, we show that there exists no complete spacelike surface in ℍ² × ℝ₁ with constant Gaussian curvature K > −1.     

On threefolds of general type with <Emphasis Type="Italic">χ</Emphasis> = 1

For a canonical threefold of general type, we know that the pluri–canonical map is stably birational for a sufficiently large n. This paper aims to find the lower bound of n for such kind of threefolds with χ = 1. To prove our main result, we will estimate the lower bound of plurigenus. L. Zhu is supported by Fudan Graduate Students’ Innovation Projects (EYH5928004).     

Toeplitz operators on hardy spaceH p (S) with 0<p≤1

LetB ⁿ be the unit ball inC ⁿ ,S is the boundary ofB ⁿ . We letL ^p (S) denote the usual Lebesgue spaces overS with respect to the normalized surface measure,H ^p (B ⁿ ) is its usua holomorphic subspace.H ^p (S) denotes the atomic Hardy spaces defined in [GL]. LetPL ² (S)H ²(B ⁿ ) denote the orthogonal projection. For eachfL (S), we useM _f L ^p (S)L ^p (S) to denote the multiplication operator, and we define the Toeplitz operatorT _f =PM _f . The paper gives a characterization theorem onf such that the Toeplitz operatorsT _f and are bounded fromH ^p (S)H ^p (B ⁿ ) with 0<p1. Also several equivalent conditions are given.     

New symplectic 4–manifolds with <Emphasis Type="Italic">b</Emphasis><Subscript>+</Subscript>=1

In 1995 Dusa McDuff and Dietmar Salamon conjectured the existence of symplectic 4–manifolds (X,ω) which satisfy b₊=1, K²=0, K·ω>0, and which fail to be of Lefschetz type. This is equivalent to finding a symplectic, homology T²×S² manifold with nontorsion canonical class and a cohomology ring which is not isomorphic to the cohomology ring of T²×S². They needed such examples to complete a list of possible symplectic 4–manifolds with b₊=1. In that same year Tian-Jun Li and Ai-ko Liu, working from a different point of view, questioned whether there existed symplectic 4–manifolds with b₊=1 with Seiberg- Witten invariants that did not depend on the chamber structure of the moduli space. The purpose of this paper is to construct an infinite number of examples which satisfy both requirements. The author was partially supported by NSF grant DMS-0406021.     

Positive definite and Gram tensor complementarity problems

Given a continuous function Open image in new window and Open image in new window , the non-linear complementarity problem \(\text{ NCP }(g,q)\) is to find a vector Open image in new window such that

$$\begin{aligned} x \ge 0,~~y:=g(x) +q\ge 0~~\text{ and }~~x^Ty=0. \end{aligned}$$

We say that g has the Globally Uniquely Solvable (\(\text{ GUS }\))-property if \(\text{ NCP }(g,q)\) has a unique solution for all Open image in new window and C-property if \(\mathrm{NCP}(g,q)\) has a convex solution set for all Open image in new window . In this paper, we find a class of non-linear functions that have the \(\text{ GUS }\)-property and C-property. These functions are constructed by some special tensors which are positive semidefinite. We call these tensors as Gram tensors.

     

AFFINE EXTENSIONS OF PRINCIPAL ADDITIVE BUNDLES OVER A PUNCTURED SURFACE

The aim of this article is to make a first step towards the classification of complex normal affine

Open image in new window

_α -threefolds X. We consider the case where the restriction of the quotient morphism π: X → S to π^?1 (S _* ), where S _* denotes the complement of some regular closed point in S, is a principal

Open image in new window

_α -bundle. The variety SL₂ will be of special interest and a source of many examples. It has a natural right

Open image in new window

_α -action such that the quotient morphism SL₂ →

Open image in new window

² restricts to a principal

Open image in new window

_α -bundle over the punctured plane

Open image in new window

.

     

Geodesic mapping onto Kählerian spaces of the first kind

In the present paper a generalized Kählerian space Open image in new window of the first kind is considered as a generalized Riemannian space \(\mathbb{G}\mathbb{R}_N \) with almost complex structure F _i ^h that is covariantly constant with respect to the first kind of covariant derivative.Using a non-symmetric metric tensor we find necessary and sufficient conditions for geodesic mappings f: Open image in new window with respect to the four kinds of covariant derivatives. These conditions have the form of a closed system of partial differential equations in covariant derivatives with respect to unknown components of the metric tensor and the complex structure of the Kählerian space Open image in new window .     

A weird relation between two cardinals

For a set M, let \({\text {seq}}(M)\) denote the set of all finite sequences which can be formed with elements of M, and let \([M]^2\) denote the set of all 2-element subsets of M. Furthermore, for a set A, let Open image in new window denote the cardinality of A. It will be shown that the following statement is consistent with Zermelo–Fraenkel Set Theory \(\textsf {ZF}\): There exists a set M such that Open image in new window and no function Open image in new window is finite-to-one.     

EXOTIC SYMMETRIC SPACES OF HIGHER LEVEL: SPRINGER CORRESPONDENCE FOR COMPLEX REFLECTION GROUPS

Let G?=?GL(V) for a 2n-dimensional vector space V, and θ an involutive automorphism of G such that H?=?G ^θ ???Sp(V). Let Open image in new window be the set of unipotent elements g ∈ G such that θ(g)?=?g ^?1. For any integer r?≥?2, we consider the variety Open image in new window , on which H acts diagonally. Let Open image in new window be a complex reflection group. In this paper, generalizing the known result for r?=?2, we show that there exists a natural bijective correspondence (Springer correspondence) between the set of irreducible representations of W _n,r and a certain set of H-equivariant simple perverse sheaves on Open image in new window . We also consider a similar problem for Open image in new window , on which G acts diagonally, where G?=?GL(V) for a finite-dimensional vector space V.     

Weighted Solyanik Estimates for the Hardy–Littlewood Maximal Operator and Embedding of into

Let Open image in new window denote a weight in Open image in new window which belongs to the Muckenhoupt class Open image in new window and let Open image in new window denote the uncentered Hardy–Littlewood maximal operator defined with respect to the measure Open image in new window . The sharp Tauberian constant of Open image in new window with respect to Open image in new window , denoted by Open image in new window , is defined by

Open image in new window

In this paper, we show that the Solyanik estimate

$$\begin{aligned} \lim _{\alpha \rightarrow 1^-}\mathsf{C}_{w}(\alpha ) = 1 \end{aligned}$$

holds. Following the classical theme of weighted norm inequalities we also consider the sharp Tauberian constants defined with respect to the usual uncentered Hardy–Littlewood maximal operator Open image in new window and a weight Open image in new window :

Open image in new window

We show that we have Open image in new window if and only if Open image in new window . As a corollary of our methods we obtain a quantitative embedding of Open image in new window into Open image in new window .

     

Asymptotic Normality of Some Graph Sequences

For a simple finite graph G denote by Open image in new window the number of ways of partitioning the vertex set of G into k non-empty independent sets (that is, into classes that span no edges of G). If \(E_n\) is the graph on n vertices with no edges then Open image in new window coincides with Open image in new window , the ordinary Stirling number of the second kind, and so we refer to Open image in new window as a graph Stirling number. Harper showed that the sequence of Stirling numbers of the second kind, and thus the graph Stirling sequence of \(E_n\), is asymptotically normal—essentially, as n grows, the histogram of Open image in new window , suitably normalized, approaches the density function of the standard normal distribution. In light of Harper’s result, it is natural to ask for which sequences \((G_n)_{n \ge 0}\) of graphs is there asymptotic normality of Open image in new window . Thanh and Galvin conjectured that if for each n, \(G_n\) is acyclic and has n vertices, then asymptotic normality occurs, and they gave a proof under the added condition that \(G_n\) has no more than \(o(\sqrt{n/\log n})\) components. Here we settle Thanh and Galvin’s conjecture in the affirmative, and significantly extend it, replacing “acyclic” in their conjecture with “co-chromatic with a quasi-threshold graph, and with negligible chromatic number”. Our proof combines old work of Navon and recent work of Engbers, Galvin and Hilyard on the normal order problem in the Weyl algebra, and work of Kahn on the matching polynomial of a graph.     

Commuting variety of Witt algebra

Let \(\mathfrak{g} = W_1 \) be the Witt algebra over an algebraically closed field k of characteristic p > 3; and let Open image in new window be the commuting variety of g. In contrast with the case of classical Lie algebras of P. Levy [J. Algebra, 2002, 250: 473–484], we show that the variety Open image in new window is reducible, and not equidimensional. Irreducible components of Open image in new window and their dimensions are precisely given. As a consequence, the variety Open image in new window is not normal.     

A BKR Operation for Events Occurring for Disjoint Reasons with High Probability

Given events A and B on a product space \(S={\prod }_{i = 1}^{n} S_{i}\), the set \(A \Box B\) consists of all vectors x = (x₁,…,x_n) ∈ S for which there exist disjoint coordinate subsets K and L of {1,…,n} such that given the coordinates x_i,i ∈ K one has that x ∈ A regardless of the values of x on the remaining coordinates, and likewise that x ∈ B given the coordinates x_j,j ∈ L. For a finite product of discrete spaces endowed with a product measure, the BKR inequality

$$ P(A \Box B) \le P(A)P(B) $$

(1)

was conjectured by van den Berg and Kesten (J Appl Probab 22:556–569, 1985) and proved by Reimer (Combin Probab Comput 9:27–32, 2000). In Goldstein and Rinott (J Theor Probab 20:275–293, 2007) inequality Eq. 1 was extended to general product probability spaces, replacing \(A \Box B\) by the set Open image in new window consisting of those outcomes x for which one can only assure with probability one that x ∈ A and x ∈ B based only on the revealed coordinates in K and L as above. A strengthening of the original BKR inequality Eq. 1 results, due to the fact that Open image in new window . In particular, it may be the case that \(A \Box B\) is empty, while Open image in new window is not. We propose the further extension Open image in new window depending on probability thresholds s and t, where Open image in new window is the special case where both s and t take the value one. The outcomes Open image in new window are those for which disjoint sets of coordinates K and L exist such that given the values of x on the revealed set of coordinates K, the probability that A occurs is at least s, and given the coordinates of x in L, the probability of B is at least t. We provide simple examples that illustrate the utility of these extensions.

     

SINGULAR CONFORMALLY INVARIANT TRILINEAR FORMS,I THE MULTIPLICITY ONE THEOREM

A normalized holomorphic family (depending on Open image in new window ∈ ?³) of conformally invariant trilinear forms on the sphere is studied. Its zero set Z is described. For Open image in new window ? Z, the multiplicity of the space of conformally invariant trilinear forms is shown to be 1.