A model-theoretic characterization of constant-depth arithmetic circuits

We study the class ${\mathrm{\#}\text{AC}}^0$ of functions computed by constant-depth polynomial-size arithmetic circuits of unbounded fan-in addition and multiplication gates. No model-theoretic characterization for arithmetic circuit classes is known so far. Inspired by Immerman's characterization of the Boolean circuit class ${\text{AC}}^0$, we remedy this situation and develop such a characterization of ${\mathrm{\#}\text{AC}}^0$. Our characterization can be interpreted as follows: Functions in ${\mathrm{\#}\text{AC}}^0$ are exactly those functions counting winning strategies in first-order model checking games. A consequence of our results is a new model-theoretic characterization of ${\text{TC}}^0$, the class of languages accepted by constant-depth polynomial-size majority circuits.     

Dahlberg's theorem in higher co-dimension

In 1977 the celebrated theorem of B. Dahlberg established that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a Lipschitz graph of dimension $n?1$ in ${\mathbb{R}}^n$, and later this result has been extended to more general non-tangentially accessible domains and beyond.In the present paper we prove the first analogue of Dahlberg's theorem in higher co-dimension, on a Lipschitz graph Γ of dimension d in ${\mathbb{R}}^n$, $d<n?1$, with a small Lipschitz constant. We construct a linear degenerate elliptic operator L such that the corresponding harmonic measure ${\omega }_L$ is absolutely continuous with respect to the Hausdorff measure on Γ. More generally, we provide sufficient conditions on the matrix of coefficients of L which guarantee the mutual absolute continuity of ${\omega }_L$ and the Hausdorff measure.     

Infinitely many nodal solutions with a prescribed number of nodes for the Kirchhoff type equations

In this paper, we investigate the existence of multiple radial sign-changing solutions with the nodal characterization for a class of Kirchhoff type problems$\{\begin{array}{cc}\hfill & ?(a+b|\mathrm{?}u{|}_{L^2}^2)\mathrm{\Delta }u+V(|x|)u=K(|x|)f(u)\text{in}{\mathbb{R}}^N,\hfill \\ \hfill & u\in H^1({\mathbb{R}}^N),\hfill \end{array}$ where $N=1,2,3,a,b>0$, $V,K$ are radial and bounded away from below by positive numbers. Under some weak assumptions on $f\in C^0(\mathbb{R};\mathbb{R})$, by taking advantage of the Gersgorin disc's theorem and Miranda theorem, we develop some new analytic techniques and prove that this problem admits infinitely many nodal solutions $\{U_k^b\}$ having a prescribed number of nodes k, whose energy is strictly increasing in k. Moreover, the asymptotic behaviors of $U_k^b$ as $b\to 0_{+}$ are established. These results improve and generalize the previous results in the literature.     

On Yau's problem of evolving one curve to another: Convex case

A revised Yau's Curvature Difference Flow is considered to deform one convex curve $X_0$ to another one $\stackrel{?}{X}$. It is proved that this flow exists globally on time interval $[0,+\infty )$ and the evolving curve, preserving its convexity and bounded area A, converges to a fixed limiting curve $X_{\infty }$ (congruent to $\sqrt{A/\stackrel{?}{A}}\stackrel{?}{X}$) as time tends to infinity, where $\stackrel{?}{A}$ is the area bounded by the target curve $\stackrel{?}{X}$.     

Traveling wave solutions for a non-monotone Logistic equation in a cylinder

The traveling wave solutions connecting two equilibria for a delayed Logistic equation in a cylinder are obtained for any delay $\tau >0$. We attain our goal by using the approach based on the combination of Schauder fixed point theory and the weak coupled upper–lower solutions method. Moreover, we prove that there is a constant $c^1$ that serves as the minimal wave speed of such traveling wave solutions.     

Self-similar asymptotic behavior for the solutions of a linear coagulation equation

In this paper we consider the long-time asymptotics of a linear version of the Smoluchowski equation which describes the evolution of a tagged particle moving in a random distribution of fixed particles. The volumes v of these particles are independently distributed according to a probability distribution which decays asymptotically as a power law $v^{?\sigma }$. The validity of the equation has been rigorously proved in [22] taking as a starting point a particle model and for values of the exponent $\sigma >3$, but the model can be expected to be valid, on heuristic grounds, for $\sigma >\frac{5}{3}$. The resulting equation is a non-local linear degenerate parabolic equation. The solutions of this equation display a rich structure of different asymptotic behaviors according to the different values of the exponent σ. Here we show that for $\frac{5}{3}<\sigma <2$ the linear Smoluchowski equation is well-posed and that there exists a unique self-similar profile which is asymptotically stable.     

A proof of Jones' conjecture

In this paper, we prove that Wright's equation $y^{\prime }(t)=?\alpha y(t?1)\{1+y(t)\}$ has a unique slowly oscillating periodic solution for parameter values $\alpha \in (\frac{\pi }{2},1.9]$, up to time translation. This result proves Jones' Conjecture formulated in 1962, that there is a unique slowly oscillating periodic orbit for all $\alpha >\frac{\pi }{2}$. Furthermore, there are no isolas of periodic solutions to Wright's equation; all periodic orbits arise from Hopf bifurcations.     

Darboux transformation and explicit solutions for the (2+1)-dimensional nonlocal nonlinear Schrödinger–Maxwell–Bloch system

The $(2+1)$-dimensional nonlocal nonlinear Schrödinger–Maxwell–Bloch system with $PT$-symmetric potentials will be investigated in this paper. The $(2+1)$-dimensional Darboux transformation will be constructed, some explicit solutions including periodic waves solutions, soliton solutions and complexiton solutions will be obtained under different backgrounds, and the interaction behaviors of those solutions will be discussed through some figures.     

The full basis theorem does not imply analytic wellordering

A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.     

Equivalence of bar induction and bar recursion for continuous functions with continuous moduli

We compare Brouwer's bar theorem and Spector's bar recursion for the lowest type in the context of constructive reverse mathematics. To this end, we reformulate bar recursion as a logical principle stating the existence of a bar recursor for every function which serves as the stopping condition of bar recursion. We then show that the decidable bar induction is equivalent to the existence of a bar recursor for every continuous function from ${\mathbb{N}}^{\mathbb{N}}$ to $\mathbb{N}$ with a continuous modulus. We also introduce fan recursion, the bar recursion for binary trees, and show that the decidable fan theorem is equivalent to the existence of a fan recursor for every continuous function from ${\{0,1\}}^{\mathbb{N}}$ to $\mathbb{N}$ with a continuous modulus. The equivalence for bar induction holds over the extensional version of intuitionistic arithmetic in all finite types augmented with the characteristic principles of Gödel's Dialectica interpretation. On the other hand, we show the equivalence for fan theorem without using such extra principles.     

On arithmetical completeness of the logic of proofs

In this paper, we establish a stronger version of Artemov's arithmetical completeness theorem of the Logic of Proofs ${\mathsf{LP}}_0$. Moreover, we prove a version of the uniform arithmetical completeness theorem of ${\mathsf{LP}}_0$.     

The lifespan of classical solutions for the inviscid Surface Quasi-geostrophic equation

We consider classical solutions of the inviscid Surface Quasi-geostrophic equation that are a small perturbation ϵ from a radial stationary solution $\theta =|x|$. We use a modified energy method to prove the existence time of classical solutions from $\frac{1}{ϵ}$ to a time scale of $\frac{1}{{ϵ}^4}$. Moreover, by perturbing in a suitable direction we construct global smooth solutions, via bifurcation, that rotate uniformly in time and space.     

Existence of strong minimizers for the Griffith static fracture model in dimension two

We consider the Griffith fracture model in two spatial dimensions, and prove existence of strong minimizers, with closed jump set and continuously differentiable deformation fields. One key ingredient, which is the object of the present paper, is a generalization to the vectorial situation of the decay estimate by De Giorgi, Carriero, and Leaci. This is based on replacing the coarea formula by a method to approximate $SB{D}^p$ functions with small jump set by Sobolev functions, and is restricted to two dimensions. The other two ingredients will appear in companion papers and consist respectively in regularity results for vectorial elliptic problems of the elasticity type and in a method to approximate in energy $GSB{D}^p$ functions by $SB{V}^p$ ones.     

On configuration spaces and Whitehouse's lifts of the Eulerian representations

S. Whitehouse's lifts of the Eulerian representations of ${\mathfrak{S}}_n$ to ${\mathfrak{S}}_{n+1}$ are reinterpreted, topologically and ring-theoretically, building on the first author's work on A. Ocneanu's theory of permutohedral blades.