We show that each limiting semiclassical measure obtained from a sequence of eigenfunctions of the Laplacian on a compact hyperbolic surface is supported on the entire cosphere bundle. The key new ingredient for the proof is the fractal uncertainty principle, first formulated by Dyatlov-Zahl and proved for porous sets in Bourgain-Dyatlov.

In this paper, we study time-periodic perturbation of classical systems with two degrees of freedom. A transition chain is established, by passing through small neighborhood of double resonant point, to connect any two cohomology classes corresponding to resonant frequencies. Applying the result to nearly integrable Hamiltonian systems with three degrees of freedom, one obtains a transition chain along which one is able to construct diffusion orbits suggested by Arnold in [A66].

The commonly used spatial entropy hr(U) of the multi-dimensional shift space U is the limit of growth rate of admissible local patterns on finite rectangular sublattices which expands to whole space Zd, d ≥ 2. This work studies spatial entropy hΩ(U) of shift space U on general expanding system Ω = {Ω(n)}∞ n=1 where Ω(n) is increasing finite sublattices and expands to Zd. Ω is called genuinely d-dimensional if Ω(n) contains no lower-dimensional part whose size is comparable to that of its d-dimensional part. We show that hr(U) is the supremum of hΩ(U) for all genuinely two-dimensional Ω. Furthermore, when Ω is genuinely d-dimensional and satisfies certain conditions, then hΩ(U) = hr(U). On the contrary, when Ω(n) contains a lower-dimensional part, then hr(U) < hΩ(U) for some U. Therefore, hr(U) is appropriate to be the d-dimensional spatial entropy.

This paper studies a two-strain SIS epidemic model with a competing mechanism and a saturating incidence rate on complex networks. This type of incidence rate could be used to reflect the crowding effect of the infective individuals. We first obtain the associated reproduction numbers for each of the two strains which determine the existence of the boundary equilibria. Stability of the disease-free and boundary equilibria are further examined. Besides, we also show that the two competing strains can coexist under certain conditions. Interestingly, the saturating incidence rate can have specific effects on not only the stability of the boundary equilibria, but also the existence of the coexistence equilibrium. Numerical simulations are presented to support the theoretical results.

We show that for any amenable group \Gamma and any Z\Gamma-module M of type FL with vanishing Euler characteristic, the entropy of the natural \Gamma-action on the Pontryagin dual of M is equal to the L^2-torsion of M. As a particular case, the entropy of the principal algebraic action associated with the module Z\Gamma / Z\Gamma f is equal to the logarithm of the Fuglede-Kadison determinant of f whenever f is a non-zero-divisor in Z\Gamma. This confirms a conjecture of Deninger. As a key step in the proof we provide a general Szeg\H{o}-type approximation theorem for the Fuglede-Kadison determinant on the group von Neumann algebra of an amenable group. As a consequence of the equality between L^2-torsion and entropy, we show that the L^2-torsion of a non-trivial amenable group with finite classifying space vanishes. This was conjectured by Lueck. Finally, we establish a Milnor-Turaev formula for the L^2-torsion of a finite \Delta-acyclic chain complex.

We show that for a class of C2 quasiperiodic potentials and for any fixed Diophantinefrequency, the Lyapunov exponent of the corresponding Schrödinger cocycles, as a function of energies, are uniformly positive and weakly Hölder continuous. As a corollary, we obtain that the corresponding integrated density of states is weakly Hölder continuous as well. Our approach is of purely dynamical systems, which depends on a detailed analysis of asymptotic stable and unstable directions. We also apply it to more general SL(2, R)cocycles, which in turn can be applied to get uniform positivity and continuity of Lyapunovexponents around unique nondegenerate extremal points of any smooth potential, and to a certain class of C2 Szegő cocycles.

We study mixing properties of commutative groups of automorphisms acting on compact nilmanifolds. Assuming that every non-trivial element acts ergodically, we prove that such actions are mixing of all orders. We further show exponential 2-mixing and 3-mixing. As an application we prove smooth cocycle rigidity for higher-rank abelian groups of nilmanifold automorphisms.

In this paper, we prove that the ODE system, $ \dot{x}=sinz+cosy$ $ \dot{y}=sinx+cosz$ $ \dot{z}=siny+cosx$ whose right-hand side is the Arnold-Beltrami-Childress (ABC) flow with parameters A = B = C = 1, has periodic orbits on $(2 \pi T)^3$ with rotation vectors parallel to (1, 0, 0), (0, 1, 0), and (0, 0, 1). An application of this result is that the well-known G-equation model for turbulent combustion with this ABC flow on $R^3$ has a linear (i.e., maximal possible) flame speed enhancement rate as the amplitude of the flow grows.

We study the two main types of trajectories of the ABC ow in the near-integrable regime: spiral orbits and edge orbits. The former are helical orbits which are perturbations of similar orbits that exist in the integrable regime, while the latter exist only in the non-integrable regime. We prove existence of ballistic (i.e., linearly growing) spiral orbits by using the contraction mapping principle in the Hamiltonian formulation, and we also nd and analyze ballistic edge orbits. We discuss the relationship of existence of these orbits with questions concerning front propagation in the presence of ows, in particular, the question of linear (i.e., maximal possible) front speed enhancement rate for ABC ows.

Going beyond the linearized study has been a longstanding problem in the theory of Landau damping. In this paper we establish exponential Landau damping in analytic regularity. The damping phenomenon is reinterpreted in terms of transfer of regularity between kinetic and spatial variables, rather than exchanges of energy; phase mixing is the driving mechanism. The analysis involves new families of analytic norms, measuring regularity by comparison with solutions of the free transport equation; new functional inequalities; a control of non-linear echoes; sharp “deflection” estimates; and a Newton approximation scheme. Our results hold for any potential no more singular than Coulomb or Newton interaction; the limit cases are included with specific technical effort. As a side result, the stability of homogeneous equilibria of the non-linear Vlasov equation is established under sharp assumptions. We point out the strong analogy with the KAM theory, and discuss physical implications. Finally, we extend these results to some Gevrey (non-analytic) distribution functions.

For two-sided topological Markov chains, we show that the set of points for which the two-sided Birkhoff averages of a continuous function diverge is residual. We also show that the set of points for which the Birkhoff averages have a given set of accumulation points other than a singleton is residual. A nontrivial consequence of our results is that the set of points for which the local entropies of an invariant measure on a locally maximal hyperbolic set does not exist is residual. This strongly contrasts to the Shannon–McMillan–Breiman theorem in the context of ergodic theory, which says that local entropies exist on a full measure set.

This work is concerned with zeta functions of two-dimensional shifts of finite type. A two-dimensional zeta function ζ0(s) which generalizes the Artin-Mazur zeta function was given by Lind for Z2-action φ. The n-th order zeta function ζn of φ on Zn×∞, n ≥ 1, is studied first. The trace operator Tn which is the transition matrix for x-periodic patterns of period n with height 2 is rotationally symmetric. The rotational symmetry of Tn induces the reduced trace operator τn and ζn = (det (I − snτn))−1. The zeta function ζ =∞ Qn=1 (det (I − snτn))−1 in the x-direction is now a reciprocal of an infinite product of polynomials. The zeta function can be presented in the y-direction and in the coordinates of any unimodular transformation in GL2(Z). Therefore, there exists a family of zeta functions that are meromorphic extensions of the same analytic function ζ0(s). The Taylor series at the origin for these zeta functions are equal with integer coefficients, yielding a family of identities which are of interest in number theory. The method applies to thermodynamic zeta functions for the Ising model with finite range interactions.

This paper studies the dynamics of a network-based SIS epidemic model with nonmonotone incidence rate. This type of nonlinear incidence can be used to describe the psychological effect of certain diseases spread in a contact network at high infective levels. We first find a threshold value for the transmission rate. This value completely determines the dynamics of the model and interestingly, the threshold is not dependent on the functional form of the nonlinear incidence rate. Furthermore, if the transmission rate is less than or equal to the threshold value, the disease will die out. Otherwise, it will be permanent. Numerical experiments are given to illustrate the theoretical results. We also consider the effect of the nonlinear incidence on the epidemic dynamics.

By constructing an infinite graph-directed iterated iterated function system associated with a finite iterated function system, we develop a new approach for proving the differentiability of the $L^q$-spectrum and establishing the multifractal formalism of certain self-similar measures with overlaps, especially those defined by similitudes with different contraction ratios. We apply our technique to a well-known class of self-similar measures of generalized finite type.

The main goal of this paper is to understand finer properties of the effective burning velocity from a combustion model introduced by Majda and Souganidis. Motivated by results of Bangert and applications in turbulent combus- tion, we show that when the dimension is two and the flow of the ambient fluid is either weak or very strong, the level set of the effective burning velocity has flat pieces. Due to the lack of an applicable Hopf-type rigidity result, we need to identify the exact location of at least one flat piece. Implications on the effective flame front and other related inverse type problems are also discussed.

In this paper, we study intermittent behaviors of coupled piecewise-expanding map lattices with two nodes and a weak coupling. We show that the successive phase transition between ordered and disordered phases occurs for almost every orbit. That is, we prove $\liminf_{n\rightarrow \infty}| x_1(n)-x_2(n)|=0$ and $\limsup_{n\rightarrow \infty}| x_1(n)-x_2(n)|\ge c_0>0$, where $x_1(n), x_2(n)$ correspond to the coordinates of two nodes at the iterative step $n$. We also prove the same conclusion for weakly coupled tent-map lattices with any multi-nodes.

No abstract uploaded!

No abstract uploaded!

In this paper we show that for a generic strictly convex domain, one can recover the eigendata corresponding to Aubry–Mather periodic orbits of the induced billiard map from the (maximal) marked length spectrum of the domain.

This investigation studies nonemptiness problems of plane edge coloring with three colors. In the edge coloring (or Wang tiles) of a plane, unit squares with colored edges that have one of p colors are arranged side by side such that the touching edges of the adjacent tiles have the same colors. Given a basic set B of Wang tiles, the nonemptiness problem is to determine whether or not Σ(B) 6= ∅, where Σ(B) is the set of all global patterns on Z2 that can be constructed from the Wang tiles in B. Wang’s conjecture is that for any B of Wang tiles, Σ(B) 6= ∅ if and only if P(B) 6= ∅, where P(B) is the set of all periodic patterns on Z2 that can be generated by the tiles in B. When p ≥ 5, Wang’s conjecture is known to be wrong. When p = 2, theconjecture is true. This study proves that when p = 3, the conjecture is also true. If P(B) 6= ∅, then B has a subset B′ of minimal cycle generators such that P(B′) 6= ∅ and P(B′′) = ∅ for B′′ $ B′. This study demonstrates that the set C(3) of all minimal cycle generators contains 787, 605 members that can be classified into 2, 906 equivalence classes. N(3) is the set of all maximal non-cycle generators : if B ∈ N(3), then P(B) = ∅ and P(B ˜) 6= ∅ for B ˜ % B. Wang’s conjecture is shown to be true by proving that B ∈ N(3) implies Σ(B) = ∅.

We show that given $${n \geqslant 3}$$ , $${q \geqslant 1}$$ , and a finite set $${\{y_1, \ldots, y_q \}}$$ in $${\mathbb{R}^n}$$ there exists a quasiregular mapping $${\mathbb{R}^n\to \mathbb{R}^n}$$ omitting exactly points $${y_1, \ldots, y_q}$$ .

We consider a large class of 2D area-preserving diffeomorphisms that are not uniformly hyperbolic but have strong hyperbolicity properties on large regions of their phase spaces. A prime example is the standard map. Lower bounds for Lyapunov exponents of such systems are very hard to estimate, due to the potential switching of “stable” and “unstable” directions. This paper shows that with the addition of (very) small random perturbations, one obtains with relative ease Lyapunov exponents reflecting the geometry of the deterministic maps.

We study infinite iterated functions systems (IIFSs) consisting of bi-Lipschitz mappings instead of conformal contractions, focusing on IFSs that do not satisfy the open set condition. By assuming the logarithmic distortion property and some cardinality growth condition, we obtain a formula for the Hausdorff, box, and packing dimensions of the limit set in terms of certain topological pressure. By assuming, in addition, the weak separation condition, we show that these dimensions are equal to the growth dimension of the limit set.

Let $K$ be a self-similar set satisfying the open set condition. Following Kaimanovich’s elegant idea, it has been proved that on the symbolic space $X$ of $K$ a natural augmented tree structure $E$ exists; it is hyperbolic, and the hyperbolic boundary $\partial_H X$ with the Gromov metric is H\"older equivalent to $K$. In this paper we consider certain reversible random walks with return ratio $0 < \lambda < 1$ on $(X,E)$. We show that the Martin boundary ${\mathcal M}$ can be identified with $\partial_H X$ and $K$. With this setup and a device of Silverstein, we obtain precise estimates of the Martin kernel and the Na\"im kernel in terms of the Gromov product. Moreover, the Naïm kernel turns out to be a jump kernel satisfying the estimate $\Theta (\xi,\eta) \asymp |\xi-\eta|^{-(\alpha+\beta)}$, where $\alpha$ is the Hausdorff dimension of $K$ and $\beta$ depends on $\lambda$. For suitable $\beta$, the kernel defines a regular non-local Dirichlet form on $K$. This extends the results of Kigami concerning random walks on certain trees with Cantor-type sets as boundaries.

We study Schrödinger operators with a one-frequency analytic potential, focusing on the transition between the two distinct local regimes characteristic respectively of large and small potentials. From the dynamical point of view, the transition signals the emergence of non-uniform hyperbolicity, so the dependence of the Lyapunov exponent with respect to parameters plays a central role in the analysis. Though often ill-behaved by conventional measures, we show that the Lyapunov exponent is in fact remarkably regular in a “stratified sense” which we define: the irregularity comes from the matching of nice (analytic or smooth) functions along sets with complicated geometry. This result allows us to establish that the “critical set” for the transition lies within countably many codimension one subvarieties of the (infinite-dimensional) parameter space. A more refined renormalization-based analysis shows that the critical set is rather thin within those subvarieties, and allows us to conclude that a typical potential has no critical energies. Such acritical potentials also form an open set and have several interesting properties: only finitely many “phase transitions” may happen, but never at any specific point in the spectrum, and the Lyapunov exponent is minorated in the region of the spectrum where it is positive. On the other hand, we do show that the number of phase transitions can be arbitrarily large.