The hyperbolic quadratic eigenvalue problem (HQEP) was shown to admit Courant–Fischer type min–max principles in 1955 by Duffin and Cauchy type interlacing inequalities in 2010 by Veselić. It can be regarded as the closest analog (among all kinds of quadratic eigenvalue problem) to the standard Hermitian eigenvalue problem (among all kinds of standard eigenvalue problem). In this paper, we conduct a systematic study on the HQEP both theoretically and numerically. On the theoretical front, we generalize Wielandt–Lidskii type min–max principles and, as a special case, Fan type trace min/max principles and establish Weyl type and Wielandt–Lidskii–Mirsky type perturbation results when an HQEP is perturbed to another HQEP. On the numerical front, we justify the natural generalization of the Rayleigh–Ritz procedure with existing principles and our new optimization principles, and, as consequences of these principles, we extend various current optimization approaches—steepest descent/ascent and nonlinear conjugate gradient type methods for the Hermitian eigenvalue problem—to calculate a few extreme eigenvalues (of both positive and negative type). A detailed convergence analysis is given for the steepest descent/ascent methods. The analysis reveals the intrinsic quantities that control convergence rates and consequently yields ways of constructing effective preconditioners. Numerical examples are presented to demonstrate the proposed theory and algorithms.

For a finite alphabet {\mathcal{A}}${\mathcal{A}}$ and shift X\subseteq {\mathcal{A}}^{\mathbb{Z}}$X\subseteq {\mathcal{A}}^{\mathbb{Z}}$ whose factor complexity function grows at most linearly, we study the algebraic properties of the automorphism group \text{Aut}(X)$\text{Aut}(X)$. For such systems, we show that every finitely generated subgroup of \text{Aut}(X)$\text{Aut}(X)$ is virtually \mathbb{Z}^{d}$\mathbb{Z}^{d}$, in contrast to the behavior when the complexity function grows more quickly. With additional dynamical assumptions we show more: if X$X$ is transitive, then \text{Aut}(X)$\text{Aut}(X)$ is virtually \mathbb{Z}$\mathbb{Z}$; if X$X$ has dense aperiodic points, then \text{Aut}(X)$\text{Aut}(X)$ is virtually \mathbb{Z}^{d}$\mathbb{Z}^{d}$. We also classify all finite groups that arise as the automorphism group of a shift.

Given a mixed Hodge module \mathcal{N}$\mathcal{N}$ and a meromorphic function f$f$ on a complex manifold, we associate to these data a filtration (the irregular Hodge filtration) on the exponentially twisted holonomic module \mathcal{N}\otimes \mathcal{E}^{f}$\mathcal{N}\otimes \mathcal{E}^{f}$, which extends the construction of Esnault et al. (E_{1}$E_{1}$-degeneration of the irregular Hodge filtration (with an appendix by Saito), J. reine angew. Math. (2015), doi:10.1515/crelle-2014-0118). We show the strictness of the push-forward filtered {\mathcal{D}}${\mathcal{D}}$-module through any projective morphism {\it\pi}:X\rightarrow Y${\it\pi}:X\rightarrow Y$, by using the theory of mixed twistor {\mathcal{D}}${\mathcal{D}}$-modules of Mochizuki. We consider the example of the rescaling of a regular function f$f$, which leads to an expression of the irregular Hodge filtration of the Laplace transform of the Gauss–Manin systems of f$f$ in terms of the Harder–Narasimhan filtration of the Kontsevich bundles associated with f$f$.

We make a systematic study of a new combinatorial construction called a dual equivalence graph. We axiomatize these graphs and prove that their generating functions are symmetric and Schur positive. This provides a universal method for establishing the symmetry and Schur positivity of quasisymmetric functions.

We prove, in \text{ZF}+\boldsymbol{{\it\Sigma}}_{2}^{1}$\text{ZF}+\boldsymbol{{\it\Sigma}}_{2}^{1}$-determinacy, that, for any analytic equivalence relation E$E$, the following three statements are equivalent: (1) E$E$ does not have perfectly many classes, (2) E$E$ satisfies hyperarithmetic-is-recursive on a cone, and (3) relative to some oracle, for every equivalence class [Y]_{E}$[Y]_{E}$ we have that a real X$X$ computes a member of the equivalence class if and only if {\it\omega}_{1}^{X}\geqslant {\it\omega}_{1}^{[Y]}${\it\omega}_{1}^{X}\geqslant {\it\omega}_{1}^{[Y]}$. We also show that the implication from (1) to (2) is equivalent to the existence of sharps over ZF$ZF$.

We find defining equations for the Shimura curve of discriminant 15 over \mathbb{Z}[1/15]$\mathbb{Z}[1/15]$. We then determine the graded ring of automorphic forms over the 2-adic integers, as well as the higher cohomology. We apply this to calculate the homotopy groups of a spectrum of ‘topological automorphic forms’ associated to this curve, as well as one associated to a quotient by an Atkin–Lehner involution.

Let F_{2}$F_{2}$ denote the free group on two generators a$a$ and b$b$. For any measure-preserving system (X,{\mathcal{X}},{\it\mu},(T_{g})_{g\in F_{2}})$(X,{\mathcal{X}},{\it\mu},(T_{g})_{g\in F_{2}})$ on a finite measure space X=(X,{\mathcal{X}},{\it\mu})$X=(X,{\mathcal{X}},{\it\mu})$, any f\in L^{1}(X)$f\in L^{1}(X)$, and any n\geqslant 1$n\geqslant 1$, define the averaging operators

\begin{eqnarray}\displaystyle {\mathcal{A}}_{n}f(x):=\frac{1}{4\times 3^{n-1}}\mathop{\sum }_{g\in F_{2}:|g|=n}f(T_{g}^{-1}x), & & \displaystyle \nonumber\end{eqnarray} $$\begin{eqnarray}\displaystyle {\mathcal{A}}_{n}f(x):=\frac{1}{4\times 3^{n-1}}\mathop{\sum }_{g\in F_{2}:|g|=n}f(T_{g}^{-1}x), & & \displaystyle \nonumber\end{eqnarray}$$

|g|$|g|$

g$g$

X$X$

f\in L^{1}(X)$f\in L^{1}(X)$

{\mathcal{A}}_{n}f(x)${\mathcal{A}}_{n}f(x)$

n$n$

x$x$

L^{1}$L^{1}$

F_{2}$F_{2}$

L^{p}$L^{p}$

p>1$p>1$

L\log L$L\log L$

(1,1)$(1,1)$

\ell ^{1}(F_{2})$\ell ^{1}(F_{2})$

We prove the quasiinvariance of Gaussian measures (supported by functions of increasing Sobolev regularity) under the flow of one-dimensional Hamiltonian partial differential equations such as the regularized long wave, also known as the Benjamin–Bona–Mahony (BBM) equation.