Adjacent dyadic systems are pivotal in analysis and related fields to study continuous objects via collections of dyadic ones. In our prior work (joint with Jiang, Olson, and Wei), we describe precise necessary and sufficient conditions for two dyadic systems on the real line to be adjacent. Here, we extend this work to all dimensions, which turns out to have many surprising difficulties due to the fact that $d+1$, not $2^d$, grids is the optimal number in an adjacent dyadic system in $\mathbb {R}^d$. As a byproduct, we show that a collection of $d+1$ dyadic systems in $\mathbb {R}^d$ is adjacent if and only if the projection of any two of them onto any coordinate axis are adjacent on $\mathbb {R}$. The underlying geometric structures that arise in this higher-dimensional generalization are interesting objects themselves, ripe for future study; these lead us to a compact, geometric description of our main result. We describe these structures, along with what adjacent dyadic (and n-adic, for any n) systems look like, from a variety of contexts, relating them to previous work, as well as illustrating a specific exa.

We study families of metrics on automorphic vector bundles associated with representations of the modular group. These metrics are defined using an Eisenstein series construction. We show that in certain cases, the residue of these Eisenstein metrics at their rightmost pole is a harmonic metric for the underlying representation of the modular group. The last section of the paper considers the case of a family of representations that are indecomposable but not irreducible. The analysis of the corresponding Eisenstein metrics, and the location of their rightmost pole, is an open question whose resolution depends on the asymptotics of matrix-valued Kloosterman sums.

In this paper, we considered the global strong solution to the 3D incompressible micropolar equations with fractional partial dissipation. Whether or not the classical solution to the 3D Navier–Stokes equations can develop finite-time singularity remains an outstanding open problem, so does the same issue on the 3D incompressible micropolar equations. We establish the global-in-time existence and uniqueness strong solutions to the 3D incompressible micropolar equations with fractional partial velocity dissipation and microrotation diffusion with the initial data $(\mathbf {u}_0,\ \mathbf {w}_0)\in H^1(\mathbb {R}^3)$.

Let $N\geq 1$ be squarefree with $(N,6)=1$ . Let $c\phi _N(n)$ denote the number of N-colored generalized Frobenius partitions of n introduced by Andrews in 1984, and $P(n)$ denote the number of partitions of n. We prove

$$ \begin{align*}c\phi_N(n)= \sum_{d \mid N} N/d \cdot P\left( \frac{ N}{d^2}n - \frac{N^2-d^2}{24d^2} \right) + b(n),\end{align*} $$

$C(z) := (q;q)^N_\infty \sum _{n=1}^{\infty } b(n) q^n$

$S_{(N-1)/2} (\Gamma _0(N),\chi _N)$

$c\phi _N(n)$

$P(n)$

We compare the solutions of two Poisson problems in a spherical shell with Robin boundary conditions, one with given data, and one where the data have been cap symmetrized. When the Robin parameters are nonnegative, we show that the solution to the symmetrized problem has larger convex means. Sending one of the Robin parameters to $+\infty $ , we obtain mixed Robin/Dirichlet comparison results in shells. We prove similar results on balls and prove a comparison principle on generalized cylinders with mixed Robin/Neumann boundary conditions.

In this paper, we study the images of multilinear graded polynomials on the graded algebra of upper triangular matrices $UT_n$. For positive integers $q\leq n$, we classify these images on $UT_{n}$ endowed with a particular elementary ${\mathbb {Z}}_{q}$-grading. As a consequence, we obtain the images of multilinear graded polynomials on $UT_{n}$ with the natural ${\mathbb {Z}}_{n}$-grading. We apply this classification in order to give a new condition for a multilinear polynomial in terms of graded identities so that to obtain the traceless matrices in its image on the full matrix algebra. We also describe the images of multilinear polynomials on the graded algebras $UT_{2}$ and $UT_{3}$, for arbitrary gradings. We finish the paper by proving a similar result for the graded Jordan algebra $UJ_{2}$, and also for $UJ_{3}$ endowed with the natural elementary ${\mathbb {Z}}_{3}$-grading.

We derive three critical exponents for Bernoulli site percolation on the uniform infinite planar triangulation (UIPT). First, we compute explicitly the probability that the root cluster is infinite. As a consequence, we show that the off-critical exponent for site percolation on the UIPT is $\beta = 1/2$. Then we establish an integral formula for the generating function of the number of vertices in the root cluster. We use this formula to prove that, at criticality, the probability that the root cluster has at least n vertices decays like $n^{-1/7}$. Finally, we also derive an expression for the law of the perimeter of the root cluster and use it to establish that, at criticality, the probability that the perimeter of the root cluster is equal to n decays like $n^{-4/3}$. Among these three exponents, only the last one was previously known. Our main tools are the so-called gasket decomposition of percolation clusters, generic properties of random Boltzmann maps, and analytic combinatorics.

Let $f(z)=\sum _{n=0}^\infty a_n z^n$ be an entire function on the complex plane, and let ${\mathcal R} f(z) = \sum _{n=0}^\infty a_n X_n z^n$ be its randomization induced by a standard sequence $(X_n)_n$ of independent Bernoulli, Steinhaus, or Gaussian random variables. In this paper, we characterize those functions $f(z)$ such that ${\mathcal R} f(z)$ is almost surely in the Fock space ${\mathcal F}_{\alpha }^p$ for any $p, \alpha \in (0,\infty )$. Then such a characterization, together with embedding theorems which are of independent interests, is used to obtain a Littlewood-type theorem, also known as regularity improvement under randomization within the scale of Fock spaces. Other results obtained in this paper include: (a) a characterization of random analytic functions in the mixed-norm space ${\mathcal F}(\infty , q, \alpha )$, an endpoint version of Fock spaces, via entropy integrals; (b) a complete description of random lacunary elements in Fock spaces; and (c) a complete description of random multipliers between different Fock spaces.

For a Galois extension $K/F$ with $\text {char}(K)\neq 2$ and $\mathrm {Gal}(K/F) \simeq \mathbb {Z}/2\mathbb {Z}\oplus \mathbb {Z}/2\mathbb {Z}$ , we determine the $\mathbb {F}_{2}[\mathrm {Gal}(K/F)]$ -module structure of $K^{\times }/K^{\times 2}$ . Although there are an infinite number of (pairwise nonisomorphic) indecomposable $\mathbb {F}_{2}[\mathbb {Z}/2\mathbb {Z}\oplus \mathbb {Z}/2\mathbb {Z}]$ -modules, our decomposition includes at most nine indecomposable types. This paper marks the first time that the Galois module structure of power classes of a field has been fully determined when the modular representation theory allows for an infinite number of indecomposable types.

In this paper, we consider the family of nth degree polynomials whose coefficients form a log-convex sequence (up to binomial weights), and investigate their roots. We study, among others, the structure of the set of roots of such polynomials, showing that it is a closed convex cone in the upper half-plane, which covers its interior when n tends to infinity, and giving its precise description for every $n\in \mathbb {N}$ , $n\geq 2$ . Dual Steiner polynomials of star bodies are a particular case of them, and so we derive, as a consequence, further properties for their roots.

In the past $20$ years, the enumeration of plane lattice walks confined to a convex cone—normalized into the first quadrant—has received a lot of attention, stimulated the development of several original approaches, and led to a rich collection of results. Most of these results deal with the nature of the associated generating function: for which models is it algebraic, D-finite, D-algebraic? By model, what we mean is a finite collection of allowed steps.

More recently, similar questions have been raised for nonconvex cones, typically the three-quadrant cone $\mathcal {C} = \{ (i,j) : i \geq 0 \text { or } j \geq 0 \}$. They turn out to be more difficult than their quadrant counterparts. In this paper, we investigate a collection of eight models in $\mathcal {C}$, which can be seen as the first level of difficulty beyond quadrant problems. This collection consists of diagonally symmetric models in $\{-1, 0,1\}^2\setminus \{(-1,1), (1,-1)\}$. Three of them are known not to be D-algebraic. We show that the remaining five can be solved in a uniform fashion using Tutte’s notion of invariants, which has already proved useful for some quadrant models. Three models are found to be algebraic, one is (only) D-finite, and the last one is (only) D-algebraic. We also solve in the same fashion the diagonal model $\{ \nearrow , \nwarrow , \swarrow , \searrow \}$, which is D-finite. The three algebraic models are those of the Kreweras trilogy, $\mathcal S=\{\nearrow , \leftarrow , \downarrow \}$, $\mathcal S^*=\{\rightarrow , \uparrow , \swarrow \}$, and $\mathcal S\cup \mathcal S^*$.

Our solutions take similar forms for all six models. Roughly speaking, the square of the generating function of three-quadrant walks with steps in $\mathcal S$ is an explicit rational function in the quadrant generating function with steps in $\mathscr S:= \{(j-i,j): (i,j) \in \mathcal S\}$. We derive various exact or asymptotic corollaries, including an explicit algebraic description of a positive harmonic function in $\mathcal C$ for the (reverses of the) five models that are at least D-finite.

We compare crystal combinatorics of the level $2$ Fock space with the classification of unitary irreducible representations of type B rational Cherednik algebras to study how unitarity behaves under parabolic restriction. We show that the crystal operators that remove boxes preserve the combinatorial conditions for unitarity, and that the parabolic restriction functors categorifying the crystals send irreducible unitary representations to unitary representations. Furthermore, we find the supports of the unitary representations.

The cardinal invariant $\mathfrak {hm}$ is defined as the minimum size of a family of $\mathsf {c}_{\mathsf {min}}$ -monochromatic sets that cover $2^{\omega }$ (where $\mathsf {c}_{\mathsf {min}}( x,y) $ is the parity of the biggest initial segment both x and y have in common). We prove that $\mathfrak {hm}=\omega _{1}$ holds in Shelah’s model of $\mathfrak {i<u},$ so the inequality $\mathfrak {hm<u}$ is consistent with the axioms of $\mathsf {ZFC}$ . This answers a question of Thilo Weinert. We prove that the diamond principle $\mathfrak {\Diamond }_{\mathfrak {d}}$ also holds in that model.

We construct a new type of planar Euler flows with localized vorticity. Let $\kappa _i\not =0$ , $i=1,\ldots , m$ , be m arbitrarily fixed constants. For any given nondegenerate critical point $\mathbf {x}_0=(x_{0,1},\ldots ,x_{0,m})$ of the Kirchhoff–Routh function defined on $\Omega ^m$ corresponding to $(\kappa _1,\ldots , \kappa _m)$ , we construct a family of stationary planar flows with vortex sheets that have large vorticity amplitude and concentrate on curves perturbed from small circles centered near $x_{0,i}$ , $i=1,\ldots ,m$ . The proof is accomplished via the implicit function theorem with suitable choice of function spaces.

We apply capacities to explore the space–time fractional dissipative equation: (0.1)

$$ \begin{align} \left\{\begin{aligned} &\partial^{\beta}_{t}u(t,x)=-\nu(-\Delta)^{\alpha/2}u(t,x)+f(t,x),\quad (t,x)\in\mathbb R^{1+n}_{+},\\ &u(0,x)=\varphi(x),\ x\in\mathbb R^{n}, \end{aligned}\right. \end{align} $$

where $\alpha>n$ and $\beta \in (0,1)$. In this paper, we focus on the regularity and the blow-up set of mild solutions to (0.1). First, we establish the Strichartz-type estimates for the homogeneous term $R_{\alpha ,\beta }(\varphi )$ and inhomogeneous term $G_{\alpha ,\beta }(g)$, respectively. Second, we obtain some space–time estimates for $G_{\alpha ,\beta }(g).$ Based on these estimates, we prove that the continuity of $R_{\alpha ,\beta }(\varphi )(t,x)$ and the Hölder continuity of $G_{\alpha ,\beta }(g)(t,x)$ on $\mathbb {R}^{1+n}_+,$ which implies a Moser–Trudinger-type estimate for $G_{\alpha ,\beta }.$ Then, for a newly introduced $L^{q}_{t}L^p_{x}$-capacity related to the space–time fractional dissipative operator $\partial ^{\beta }_{t}+(-\Delta )^{\alpha /2},$ we perform the geometric-measure-theoretic analysis and establish its basic properties. Especially, we estimate the capacity of fractional parabolic balls in $\mathbb {R}^{1+n}_+$ by using the Strichartz estimates and the Moser–Trudinger-type estimate for $G_{\alpha ,\beta }.$ A strong-type estimate of the $L^{q}_{t}L^p_{x}$-capacity and an embedding of Lorentz spaces are also derived. Based on these results, especially the Strichartz-type estimates and the $L^{q}_{t}L^p_{x}$-capacity of fractional parabolic balls, we deduce the size, i.e., the Hausdorff dimension, of the blow-up set of solutions to (0.1).

We consider a quiver with potential (QP) $(Q(D),W(D))$ and an iced quiver with potential (IQP) $(\overline {Q}(D), F(D), \overline {W}(D))$ associated with a Postnikov Diagram D and prove that their mutations are compatible with the geometric exchanges of D. This ensures that we may define a QP $(Q,W)$ and an IQP $(\overline {Q},F,\overline {W})$ for a Grassmannian cluster algebra up to mutation equivalence. It shows that $(Q,W)$ is always rigid (thus nondegenerate) and Jacobi-finite. Moreover, in fact, we show that it is the unique nondegenerate (thus rigid) QP by using a general result of Geiß, Labardini-Fragoso, and Schröer (2016, Advances in Mathematics 290, 364–452).

Then we show that, within the mutation class of the QP for a Grassmannian cluster algebra, the quivers determine the potentials up to right equivalence. As an application, we verify that the auto-equivalence group of the generalized cluster category ${\mathcal {C}}_{(Q, W)}$ is isomorphic to the cluster automorphism group of the associated Grassmannian cluster algebra ${{\mathcal {A}}_Q}$ with trivial coefficients.

We prove that it is consistent that Club Stationary Reflection and the Special Aronszajn Tree Property simultaneously hold on $\omega _2$ , thereby contributing to the study of the tension between compactness and incompactness in set theory. The poset which produces the final model follows the collapse of an ineffable cardinal first with an iteration of club adding (with anticipation) and second with an iteration specializing Aronszajn trees.

In the first part of the paper, we prove a general theorem about specializing Aronszajn trees on $\omega _2$ after forcing with what we call $\mathcal {F}$ -Strongly Proper posets, where $\mathcal {F}$ is either the weakly compact filter or the filter dual to the ineffability ideal. This type of poset, of which the Levy collapse is a degenerate example, uses systems of exact residue functions to create many strongly generic conditions. We prove a new result about stationary set preservation by quotients of this kind of poset; as a corollary, we show that the original Laver–Shelah model, which starts from a weakly compact cardinal, satisfies a strong stationary reflection principle, although it fails to satisfy the full Club Stationary Reflection. In the second part, we show that the composition of collapsing and club adding (with anticipation) is an $\mathcal {F}$ -Strongly Proper poset. After proving a new result about Aronszajn tree preservation, we show how to obtain the final model.

Given a sequence $\varrho =(r_n)_n\in [0,1)$ tending to $1$, we consider the set ${\mathcal {U}}_A({\mathbb {D}},\varrho )$ of Abel universal functions consisting of holomorphic functions f in the open unit disk $\mathbb {D}$ such that for any compact set K included in the unit circle ${\mathbb {T}}$, different from ${\mathbb {T}}$, the set $\{z\mapsto f(r_n \cdot )\vert _K:n\in \mathbb {N}\}$ is dense in the space ${\mathcal {C}}(K)$ of continuous functions on K. It is known that the set ${\mathcal {U}}_A({\mathbb {D}},\varrho )$ is residual in $H(\mathbb {D})$. We prove that it does not coincide with any other classical sets of universal holomorphic functions. In particular, it is not even comparable in terms of inclusion to the set of holomorphic functions whose Taylor polynomials at $0$ are dense in ${\mathcal {C}}(K)$ for any compact set $K\subset {\mathbb {T}}$ different from ${\mathbb {T}}$. Moreover, we prove that the class of Abel universal functions is not invariant under the action of the differentiation operator. Finally, an Abel universal function can be viewed as a universal vector of the sequence of dilation operators $T_n:f\mapsto f(r_n \cdot )$ acting on $H(\mathbb {D})$. Thus, we study the dynamical properties of $(T_n)_n$ such as the multiuniversality and the (common) frequent universality. All the proofs are constructive.

We generalize a classical extension result by Seeley in the context of Bastiani’s differential calculus to infinite dimensions. The construction follows Seeley’s original approach, but is significantly more involved as not only $C^k$ -maps (for ) on (subsets of) half spaces are extended, but also continuous extensions of their differentials to some given piece of boundary of the domains under consideration. A further feature of the generalization is that we construct families of extension operators (instead of only one single extension operator) that fulfill certain compatibility (and continuity) conditions. Various applications are discussed as well.

We use tools from free probability to study the spectra of Hermitian operators on infinite graphs. Special attention is devoted to universal covering trees of finite graphs. For operators on these graphs, we derive a new variational formula for the spectral radius and provide new proofs of results due to Sunada and Aomoto using free probability.

With the goal of extending the applicability of free probability techniques beyond universal covering trees, we introduce a new combinatorial product operation on graphs and show that, in the noncommutative probability context, it corresponds to the notion of freeness with amalgamation. We show that Cayley graphs of amalgamated free products of groups, as well as universal covering trees, can be constructed using our graph product.