A new reciprocity formula for Dirichlet L-functions associated to an arbitrary primitive Dirichlet character of prime modulus q is established. We find an identity relating the fourth moment of individual Dirichlet L-functions in the t-aspect to the cubic moment of central L-values of Hecke–Maaß newforms of level at most $q^{2}$ and primitive central character $\psi ^{2}$ averaged over all primitive nonquadratic characters $\psi $ modulo q. Our formula can be thought of as a reverse version of recent work of Petrow–Young. Direct corollaries involve a variant of Iwaniec’s short interval fourth moment bound and the twelfth moment bound for Dirichlet L-functions, which generalise work of Jutila and Heath-Brown, respectively. This work traverses an intersection of classical analytic number theory and automorphic forms.

The signature of a path can be described as its full non-commutative exponential. Following T. Lyons, we regard its expectation, the expected signature, as a path space analogue of the classical moment generating function. The logarithm thereof, taken in the tensor algebra, defines the signature cumulant. We establish a universal functional relation in a general semimartingale context. Our work exhibits the importance of Magnus expansions in the algorithmic problem of computing expected signature cumulants and further offers a far-reaching generalization of recent results on characteristic exponents dubbed diamond and cumulant expansions with motivations ranging from financial mathematics to statistical physics. From an affine semimartingale perspective, the functional relation may be interpreted as a type of generalized Riccati equation.

This is the first of a series of papers concerning what might be thought of as ‘locally grouped spaces’, in a loose analogy with the locally ringed spaces of algebraic geometry. The spaces that we have in mind are simplicial sets that generalise the simplicial sets that underlie and determine the classifying spaces of finite (or compact) groups. If the analogy is pursued, then the role of ‘structure sheaf’ is provided by the ‘fusion systems’ associated with these spaces. Our approach here will be purely algebraic and combinatorial, so we will not be concerned with topological realisations. All of the groups to be considered will be finite; but a parallel series of papers representing some joint work with Alex Gonzalez will considerably broaden the scope.

In this paper, we prove a series of identities of the quasi-map K-theoretical I-functions with level structure between the Grassmannian and its dual Grassmannian. Those identities prove the quantum K-theory version mutation conjecture stated in [13]. Here we find an interval of levels within which two I-functions are the same, and on the boundary of that interval, two I-functions intertwine. We call this phenomenon the level correspondence in Grassmann duality.

Let $f: X \to B$ be a relatively minimal fibration of maximal Albanese dimension from a variety X of dimension $n \ge 2$ to a curve B defined over an algebraically closed field of characteristic zero. We prove that $K_{X/B}^n \ge 2n! \chi _f$ . It verifies a conjectural formulation of Barja in [2]. Via the strategy outlined in [4], it also leads to a new proof of the Severi inequality for varieties of maximal Albanese dimension. Moreover, when the equality holds and $\chi _f> 0$ , we prove that the general fibre F of f has to satisfy the Severi equality that $K_F^{n-1} = 2(n-1)! \chi (F, \omega _F)$ . We also prove some sharper results of the same type under extra assumptions.

Using a recent breakthrough of Smith [18], we improve the results of Fouvry and Klüners [4, 5] on the solubility of the negative Pell equation. Let $\mathcal {D}$ denote the set of positive squarefree integers having no prime factors congruent to $3$ modulo $4$ . Stevenhagen [19] conjectured that the density of d in $\mathcal {D}$ such that the negative Pell equation $x^2-dy^2=-1$ is solvable with $x, y \in \mathbb {Z}$ is $58.1\%$ , to the nearest tenth of a percent. By studying the distribution of the $8$ -rank of narrow class groups $\operatorname {\mathrm {Cl}}^+(d)$ of $\mathbb {Q}(\sqrt {d})$ , we prove that the infimum of this density is at least $53.8\%$ .

We prove an asymptotic expansion of the second moment of the central values of the $\mathrm {GL}(n)\times \mathrm {GL}(n)$ Rankin–Selberg L-functions $L(1/2,\pi \otimes \pi _0)$ for a fixed cuspidal automorphic representation $\pi _0$ over the family of $\pi $ with analytic conductors bounded by a quantity that is tending to infinity. Our proof uses the integral representations of the L-functions, period with regularised Eisenstein series and the invariance properties of the analytic newvectors.

The Alperin–McKay conjecture is a longstanding open conjecture in the representation theory of finite groups. Späth showed that the Alperin–McKay conjecture holds if the so-called inductive Alperin–McKay (iAM) condition holds for all finite simple groups. In a previous paper, the author has proved that it is enough to verify the inductive condition for quasi-isolated blocks of groups of Lie type. In this paper, we show that the verification of the iAM-condition can be further reduced in many cases to isolated blocks. As a consequence of this, we obtain a proof of the Alperin–McKay conjecture for $2$ -blocks of finite groups with abelian defect.

Recent works at the interface of algebraic combinatorics, algebraic geometry, number theory and topology have provided new integer-valued invariants on integer partitions. It is natural to consider the distribution of partitions when sorted by these invariants in congruence classes. We consider the prominent situations that arise from extensions of the Nekrasov–Okounkov hook product formula and from Betti numbers of various Hilbert schemes of n points on ${\mathbb {C}}^2$ . For the Hilbert schemes, we prove that homology is equidistributed as $n\to \infty $ . For t-hooks, we prove distributions that are often not equidistributed. The cases where $t\in \{2, 3\}$ stand out, as there are congruence classes where such counts are zero. To obtain these distributions, we obtain analytic results of independent interest. We determine the asymptotics, near roots of unity, of the ubiquitous infinite products

$$ \begin{align*}F_1(\xi; q):=\prod_{n=1}^{\infty}\left(1-\xi q^n\right), \ \ \ F_2(\xi; q):=\prod_{n=1}^{\infty}\left(1-(\xi q)^n\right) \ \ \ {\mathrm{and}}\ \ \ F_3(\xi; q):=\prod_{n=1}^{\infty}\left(1-\xi^{-1}(\xi q)^n\right). \end{align*} $$

In this paper, we study sample size thresholds for maximum likelihood estimation for tensor normal models. Given the model parameters and the number of samples, we determine whether, almost surely, (1) the likelihood function is bounded from above, (2) maximum likelihood estimates (MLEs) exist, and (3) MLEs exist uniquely. We obtain a complete answer for both real and complex models. One consequence of our results is that almost sure boundedness of the log-likelihood function guarantees almost sure existence of an MLE. Our techniques are based on invariant theory and castling transforms.

A d-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and p is a map from V to $\mathbb {R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb {R}^d$ if the graph G and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph G is called globally rigid in $\mathbb {R}^d$ if every d-dimensional generic framework $(G,p)$ is globally rigid.

In this paper, we consider the problem of reconstructing a graph from the set of edge lengths arising from a generic framework. Roughly speaking, a graph G is strongly reconstructible in $\mathbb {C}^d$ if the set of (unlabeled) edge lengths of any generic framework $(G,p)$ in d-space, along with the number of vertices of G, uniquely determine both G and the association between the edges of G and the set of edge lengths. It is known that if G is globally rigid in $\mathbb {R}^d$ on at least $d+2$ vertices, then it is strongly reconstructible in $\mathbb {C}^d$. We strengthen this result and show that, under the same conditions, G is in fact fully reconstructible in $\mathbb {C}^d$, which means that the set of edge lengths alone is sufficient to uniquely reconstruct G, without any constraint on the number of vertices (although still under the assumption that the edge lengths come from a generic realization).

As a key step in our proof, we also prove that if G is globally rigid in $\mathbb {R}^d$ on at least $d+2$ vertices, then the d-dimensional generic rigidity matroid of G is connected. Finally, we provide new families of fully reconstructible graphs and use them to answer some questions regarding unlabeled reconstructibility posed in recent papers.

We show that there is an extra grading in the mirror duality discovered in the early nineties by Greene–Plesser and Berglund–Hübsch. Their duality matches cohomology classes of two Calabi–Yau orbifolds. When both orbifolds are equipped with an automorphism s of the same order, our mirror duality involves the weight of the action of $s^*$ on cohomology. In particular it matches the respective s-fixed loci, which are not Calabi–Yau in general. When applied to K3 surfaces with nonsymplectic automorphism s of odd prime order, this provides a proof that Berglund–Hübsch mirror symmetry implies K3 lattice mirror symmetry replacing earlier case-by-case treatments.

We construct coloured lattice models whose partition functions represent symplectic and odd orthogonal Demazure characters and atoms. We show that our lattice models are not solvable, but we are able to show the existence of sufficiently many solutions of the Yang–Baxter equation that allow us to compute functional equations for the corresponding partition functions. From these functional equations, we determine that the partition function of our models are the Demazure atoms and characters for the symplectic and odd orthogonal Lie groups. We coin our lattice models as quasi-solvable. We use the natural bijection of admissible states in our models with Proctor patterns to give a right key algorithm for reverse King tableaux and Sundaram tableaux.

For every $\infty $-category $\mathscr {C}$, there is a homotopy n-category $\mathrm {h}_n \mathscr {C}$ and a canonical functor $\gamma _n \colon \mathscr {C} \to \mathrm {h}_n \mathscr {C}$. We study these higher homotopy categories, especially in connection with the existence and preservation of (co)limits, by introducing a higher categorical notion of weak colimit. Using homotopy n-categories, we introduce the notion of an n-derivator and study the main examples arising from $\infty $-categories. Following the work of Maltsiniotis and Garkusha, we define K-theory for $\infty $-derivators and prove that the canonical comparison map from the Waldhausen K-theory of $\mathscr {C}$ to the K-theory of the associated n-derivator $\mathbb {D}_{\mathscr {C}}^{(n)}$ is $(n+1)$-connected. We also prove that this comparison map identifies derivator K-theory of $\infty $-derivators in terms of a universal property. Moreover, using the canonical structure of higher weak pushouts in the homotopy n-category, we also define a K-theory space $K(\mathrm {h}_n \mathscr {C}, \mathrm {can})$ associated to $\mathrm {h}_n \mathscr {C}$. We prove that the canonical comparison map from the Waldhausen K-theory of $\mathscr {C}$ to $K(\mathrm {h}_n \mathscr {C}, \mathrm {can})$ is n-connected.

We study the distribution of the roots of a random p-adic polynomial in an algebraic closure of ${\mathbb Q}_p$ . We prove that the mean number of roots generating a fixed finite extension K of ${\mathbb Q}_p$ depends mostly on the discriminant of K, an extension containing fewer roots when it becomes more ramified. We prove further that for any positive integer r, a random p-adic polynomial of sufficiently large degree has about r roots on average in extensions of degree at most r.

Beyond the mean, we also study higher moments and correlations between the number of roots in two given subsets of ${\mathbb Q}_p$ (or, more generally, of a finite extension of ${\mathbb Q}_p$ ). In this perspective, we notably establish results highlighting that the roots tend to repel each other and quantify this phenomenon.

We show that the dimer algebra of a connected Postnikov diagram in the disc is bimodule internally $3$ -Calabi–Yau in the sense of the author’s earlier work [43]. As a consequence, we obtain an additive categorification of the cluster algebra associated to the diagram, which (after inverting frozen variables) is isomorphic to the homogeneous coordinate ring of a positroid variety in the Grassmannian by a recent result of Galashin and Lam [18]. We show that our categorification can be realised as a full extension closed subcategory of Jensen–King–Su’s Grassmannian cluster category [28], in a way compatible with their bijection between rank $1$ modules and Plücker coordinates.

There has been recent interest in a hybrid form of the celebrated conjectures of Hardy–Littlewood and of Chowla. We prove that for any $k,\ell \ge 1$ and distinct integers $h_2,\ldots ,h_k,a_1,\ldots ,a_\ell $, we have:

$$ \begin{align*}\sum_{n\leq X}\mu(n+h_1)\cdots \mu(n+h_k)\Lambda(n+a_1)\cdots\Lambda(n+a_{\ell})=o(X)\end{align*} $$

for all except $o(H)$ values of $h_1\leq H$, so long as $H\geq (\log X)^{\ell +\varepsilon }$. This improves on the range $H\ge (\log X)^{\psi (X)}$, $\psi (X)\to \infty $, obtained in previous work of the first author. Our results also generalise from the Möbius function $\mu $ to arbitrary (non-pretentious) multiplicative functions.

We study open-closed orbifold Gromov-Witten invariants of 3-dimensional Calabi-Yau smooth toric Deligne-Mumford stacks (with possibly nontrivial generic stabilisers K and semi-projective coarse moduli spaces) relative to Lagrangian branes of Aganagic-Vafa type. An Aganagic-Vafa brane in this paper is a possibly ineffective $C^\infty $ orbifold that admits a presentation $[(S^1\times \mathbb {R} ^2)/G_\tau ]$ , where $G_\tau $ is a finite abelian group containing K and $G_\tau /K \cong \boldsymbol {\mu }_{\mathfrak {m}}$ is cyclic of some order $\mathfrak {m}\in \mathbb {Z} _{>0}$ .

1. 1. We present foundational materials of enumerative geometry of stable holomorphic maps from bordered orbifold Riemann surfaces to a 3-dimensional Calabi-Yau smooth toric DM stack $\mathcal {X}$ with boundaries mapped into an Aganagic-Vafa brane $\mathcal {L}$ . All genus open-closed Gromov-Witten invariants of $\mathcal {X}$ relative to $\mathcal {L}$ are defined by torus localisation and depend on the choice of a framing $f\in \mathbb {Z} $ of $\mathcal {L}$ .

2. 2. We provide another definition of all genus open-closed Gromov-Witten invariants in (1) based on algebraic relative orbifold Gromov-Witten theory, which agrees with the definition in (1) up to a sign depending on the choice of orientation on moduli of maps in (1). This generalises the definition in [57] for smooth toric Calabi-Yau 3-folds and specifies an orientation on moduli of maps in (1) compatible with the canonical orientation on moduli of relative stable maps determined by the complex structure.

3. 3. When $\mathcal {X}$ is a toric Calabi-Yau 3-orbifold (i.e., when the generic stabiliser K is trivial), so that $G_\tau =\boldsymbol {\mu }_{\mathfrak {m}}$ , we define generating functions $F_{g,h}^{\mathcal {X},(\mathcal {L},f)}$ of open-closed Gromov-Witten invariants of arbitrary genus g and number h of boundary circles; it takes values in $H^*_{ {\mathrm {CR}} }(\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}; \mathbb {C} )^{\otimes h}$ , where $H^*_{ {\mathrm {CR}} }(\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}; \mathbb {C} )\cong \mathbb {C} ^{\mathfrak {m}}$ is the Chen-Ruan orbifold cohomology of the classifying space $\mathcal {B} \boldsymbol {\mu }_{\mathfrak {m}}$ of $\boldsymbol {\mu }_{\mathfrak {m}}$ .

4. 4. We prove an open mirror theorem that relates the generating function $F_{0,1}^{\mathcal {X},(\mathcal {L},f)}$ of orbifold disk invariants to Abel-Jacobi maps of the mirror curve of $\mathcal {X}$ . This generalises a conjecture by Aganagic-Vafa [6] and Aganagic-Klemm-Vafa [5] (proved in full generality by the first and the second authors in [33]) on the disk potential of a smooth semi-projective toric Calabi-Yau 3-fold.

Let $\Omega \subset \mathbb {R}^{n+1}$ , $n\ge 2$ , be a $1$ -sided nontangentially accessible domain, that is, a set which is quantitatively open and path-connected. Assume also that $\Omega $ satisfies the capacity density condition. Let $L_0 u=-\mathop {\operatorname {div}}\nolimits (A_0 \nabla u)$ , $Lu=-\mathop {\operatorname {div}}\nolimits (A\nabla u)$ be two real (not necessarily symmetric) uniformly elliptic operators in $\Omega $ , and write $\omega _{L_0}, \omega _L$ for the respective associated elliptic measures. We establish the equivalence between the following properties: (i) $\omega _L \in A_{\infty }(\omega _{L_0})$ , (ii) L is $L^p(\omega _{L_0})$ -solvable for some $p\in (1,\infty )$ , (iii) bounded null solutions of L satisfy Carleson measure estimates with respect to $\omega _{L_0}$ , (iv) $\mathcal {S}<\mathcal {N}$ (i.e., the conical square function is controlled by the nontangential maximal function) in $L^q(\omega _{L_0})$ for some (or for all) $q\in (0,\infty )$ for any null solution of L, and (v) L is $\mathrm {BMO}(\omega _{L_0})$ -solvable. Moreover, in each of the properties (ii)-(v) it is enough to consider the class of solutions given by characteristic functions of Borel sets (i.e, $u(X)=\omega _L^X(S)$ for an arbitrary Borel set $S\subset \partial \Omega $ ).

Also, we obtain a qualitative analog of the previous equivalences. Namely, we characterize the absolute continuity of $\omega _{L_0}$ with respect to $\omega _L$ in terms of some qualitative local $L^2(\omega _{L_0})$ estimates for the truncated conical square function for any bounded null solution of L. This is also equivalent to the finiteness $\omega _{L_0}$ -almost everywhere of the truncated conical square function for any bounded null solution of L. As applications, we show that $\omega _{L_0}$ is absolutely continuous with respect to $\omega _L$ if the disagreement of the coefficients satisfies some qualitative quadratic estimate in truncated cones for $\omega _{L_0}$ -almost everywhere vertex. Finally, when $L_0$ is either the transpose of L or its symmetric part, we obtain the corresponding absolute continuity upon assuming that the antisymmetric part of the coefficients has some controlled oscillation in truncated cones for $\omega _{L_0}$ -almost every vertex.

Let q be a nontrivial odd prime power, and let $n \ge 2$ be a natural number with $(n,q) \ne (2,3)$ . We characterize the groups $PSL_n(q)$ and $PSU_n(q)$ by their $2$ -fusion systems. This contributes to a programme of Aschbacher aiming at a simplified proof of the classification of finite simple groups.