Search

Part of the work was done while the authors were visiting the South China University of Science and Technology (SUSTech), Shenzhen, in 2018, and we are grateful (in particular to Professor Cai Heng Li) for the hospitality that we received.The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Groups, representations and applications: new perspectives (supported by EPSRC grant no.EP/R014604/1), where further work on this paper was undertaken. In particular we acknowledge a Simons Fellowship (Cameron) and a Kirk Distinguished Visiting Fellowship (Praeger) during this programme. Schneider thanks the Centre for the Mathematics of Symmetry and Computation of The University of Western Australia and Australian Research Council Discovery Grant DP160102323 for hosting his visit in 2017 and acknowledges the support of the CNPq projects Produtividade em Pesquisa (project no.: 308212/2019-3) and Universal (project no.:421624/2018-3). Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied in general. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over arbitrary groups, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our combinatorial axioms. However, for m≥3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in great profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set Ω, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions turn out to be equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group as the diagonal semilattice except in four small cases with m

We continue our exploration of various approaches to integration of representations from a Lie algebra $\mbox{Lie} (G)$ to an algebraic group $G$ in positive characteristic. In the present paper we concentrate on an approach exploiting exponentials. This approach works well for over-restricted representations, introduced in this paper, and takes no note of $G$-stability., Accepted by Transactions of the AMS. This paper is split off the earlier versions (1, 2 and 3) of arXiv:1708.06620. Some of the statements in these versions of arXiv:1708.06620 contain mistakes corrected here. Version 2 of this paper: close to the accepted version by the journal, minor improvements, compared to Version 1

In this paper, we study a problem posed by Furstenberg on intersections between × 2 , × 3 \times 2, \times 3 invariant sets. We present here a direct geometrical counting argument to revisit a theorem of Wu and Shmerkin. This argument can be used to obtain further improvements. For example, we show that if A 2 , A 3 ⊂ [ 0 , 1 ] A_2,A_3\subset [0,1] are closed and × 2 , × 3 \times 2, \times 3 invariant respectively, assuming that dim ⁡ A 2 + dim ⁡ A 3 > 1 \dim A_2+\dim A_3>1 then A 2 ∩ ( u A 3 + v ) A_2\cap (uA_3+v) is sparse (defined in this paper) and has box dimension zero uniformly with respect to the real parameters u , v u,v such that u u and u − 1 u^{-1} are both bounded away from 0 0 .

The question of which functions acting entrywise preserve positive semidefiniteness has a long history, beginning with the Schur product theorem [Crelle 1911], which implies that absolutely monotonic functions (i.e., power series with nonnegative coefficients) preserve positivity on matrices of all dimensions. A famous result of Schoenberg and of Rudin [Duke Math. J. 1942, 1959] shows the converse: there are no other such functions. Motivated by modern applications, Guillot and Rajaratnam [Trans. Amer. Math. Soc. 2015] classified the entrywise positivity preservers in all dimensions, which act only on the off-diagonal entries. These two results are at "opposite ends", and in both cases the preservers have to be absolutely monotonic. We complete the classification of positivity preservers that act entrywise except on specified "diagonal/principal blocks", in every case other than the two above. (In fact we achieve this in a more general framework.) This yields the first examples of dimension-free entrywise positivity preservers - with certain forbidden principal blocks - that are not absolutely monotonic., Minor edits in exposition, 19 pages. The paper now uses the style file of Trans. AMS (to appear)

A special case of a fundamental result of Loewner and Horn [Trans. Amer. Math. Soc. 1969] says that given an integer $n \geq 1$, if the entrywise application of a smooth function $f : (0,\infty) \to \mathbb{R}$ preserves the set of $n \times n$ positive semidefinite matrices with positive entries, then $f$ and its first $n-1$ derivatives are non-negative on $(0,\infty)$. In a recent joint work with Belton-Guillot-Putinar [J. Eur. Math. Soc., in press], we proved a stronger version, and used it to strengthen the Schoenberg-Rudin characterization of dimension-free positivity preservers [Duke Math. J. 1942, 1959]. In recent works with Belton-Guillot-Putinar [Adv. Math. 2016] and with Tao [Amer. J. Math., in press] we used local, real-analytic versions at the origin of the Horn-Loewner condition, and discovered unexpected connections between entrywise polynomials preserving positivity and Schur polynomials. In this paper, we unify these two stories via a Master Theorem (Theorem A) which (i) simultaneously unifies and extends all of the aforementioned variants; and (ii) proves the positivity of the first $n$ nonzero Taylor coefficients at individual points rather than on all of $(0,\infty)$. A key step in the proof is a new determinantal / symmetric function calculation (Theorem B), which shows that Schur polynomials arise naturally from considering arbitrary entrywise maps that are sufficiently differentiable. Of independent interest may be the following application to symmetric function theory: we extend the Schur function expansion of Cauchy's (1841) determinant (whose matrix entries are geometric series $1 / (1 - u_j v_k)$), as well as of a determinant of Frobenius [J. reine angew. Math. 1882] (whose matrix entries are a sum of two geometric series), to arbitrary power series, and over all commutative rings., Comment: Final version, to appear in Transactions of the American Mathematical Society. 19 pages, no figures

We investigate criteria for circle packing(CP) types of disk triangulation graphs embedded into simply connected domains in $ \mathbb{C}$. In particular, by studying combinatorial curvature and the combinatorial Gauss-Bonnet theorem involving boundary turns, we show that a disk triangulation graph is CP parabolic if \[ \sum_{n=1}^\infty \frac{1}{\sum_{j=0}^{n-1} (k_j +6)} = \infty, \] where $k_n$ is the degree excess sequence defined by \[ k_n = \sum_{v \in B_n} (\mbox{deg}\, v - 6) \] for combinatorial balls $B_n$ of radius $n$ and centered at a fixed vertex. It is also shown that the simple random walk on a disk triangulation graph is recurrent if \[ \sum_{n=1}^\infty \frac{1}{\sum_{j=0}^{n-1} (k_j +6)+\sum_{j=0}^{n} (k_j +6)} = \infty. \] These criteria are sharp, and generalize a conjecture by He and Schramm in their paper from 1995, which was later proved by Repp in 2001. We also give several criteria for CP hyperbolicity, one of which generalizes a theorem of He and Schramm, and present a necessary and sufficient condition for CP types of layered circle packings generalizing and confirming a criterion given by Siders in 1998., Comment: 45 pages, 19 figures; to appear in TAMS

For fixed $r\geq 3$ and $n$ divisible by $r$, let ${\mathcal H}={\mathcal H}^r_{n,M}$ be the random $M$-edge $r$-graph on $V=\{1,\ldots ,n\}$; that is, ${\mathcal H}$ is chosen uniformly from the $M$-subsets of ${\mathcal K}:={V \choose r}$ ($:= \{\mbox{$r$-subsets of $V$}\}$). Shamir's Problem (circa 1980) asks, roughly, for what $M=M(n)$ is ${\mathcal H}$ likely to contain a perfect matching (that is, $n/r$ disjoint $r$-sets)? In 2008 Johansson, Vu and the author showed that this is true for $M>C_rn\log n$. More recently the author proved the asymptotically correct version of that result: for fixed $C> 1/r$ and $M> Cn\log n$, $P({\mathcal H} ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}.$ The present work completes a proof, begun in that recent paper, of the definitive "hitting time" statement: $\mbox{Theorem.}$ If $A_1, \ldots ~$ is a uniform permutation of ${\mathcal K}$, ${\mathcal H}_t=\{A_1\dots A_t\}$, and \[ T=\min\{t:A_1\cup \cdots\cup A_t=V\}, \] then $P({\mathcal H}_T ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}$.

In this paper we develop a method to transfer density results for primitive automatic sequences to logarithmic-density results for general automatic sequences. As an application we show that the logarithmic densities of any automatic sequence along squares $(n^2)_{n\geq 0}$ and primes $(p_n)_{n\geq 1}$ exist and are computable. Furthermore, we give for these subsequences a criterion to decide whether the densities exist, in which case they are also computable. In particular in the prime case these densities are all rational. We also deduce from a recent result of the third author and Lema\'nczyk that all subshifts generated by automatic sequences are orthogonal to any bounded multiplicative aperiodic function., Comment: 35 pages. We added an Appendix concerning upper densities of subsequences of automatic sequences

A graph $X$ is defined inductively to be $(a_0,\dots,a_{n-1})$-regular if $X$ is $a_0$-regular and for every vertex $v$ of $X$, the sphere of radius $1$ around $v$ is an $(a_1,\dots,a_{n-1})$-regular graph. Such a graph $X$ is said to be highly regular (HR) of level $n$ if $a_{n-1}\neq 0$. Chapman, Linial and Peled studied HR-graphs of level 2 and provided several methods to construct families of graphs which are expanders "globally and locally". They ask whether such HR-graphs of level 3 exist. In this paper we show how the theory of Coxeter groups, and abstract regular polytopes and their generalisations, can lead to such graphs. Given a Coxeter system $(W,S)$ and a subset $M$ of $S$, we construct highly regular quotients of the 1-skeleton of the associated Wythoffian polytope $\mathcal{P}_{W,M}$, which form an infinite family of expander graphs when $(W,S)$ is indefinite and $\mathcal{P}_{W,M}$ has finite vertex links. The regularity of the graphs in this family can be deduced from the Coxeter diagram of $(W,S)$. The expansion stems from applying superapproximation to the congruence subgroups of the linear group $W$. This machinery gives a rich collection of families of HR-graphs, with various interesting properties, and in particular answers affirmatively the question asked by Chapman, Linial and Peled., Comment: 22 pages, 2 tables. Dedicated to the memory of John Conway and Ernest Vinberg

In this paper, we establish the inductive Alperin weight condition for the finite simple groups of Lie type A \mathsf A , contributing to the program to prove the Alperin weight conjecture by checking the inductive condition for all finite simple groups.

The aim of this study is to understand to what extent a 1-convex domain with Levi-flat boundary is capable of holomorphic functions with slow growth. This paper discusses a typical example of such domain, the space of all the geodesic segments on a hyperbolic compact Riemann surface. Our main finding is an integral formula that produces holomorphic functions on the domain from holomorphic differentials on the Riemann surface. This construction can be seen as a non-trivial example of $L^2$ jet extension of holomorphic functions with optimal constant. As its corollary, it is shown that the weighted Bergman spaces of the domain is infinite dimensional for any weight order greater than $-1$ in spite of the fact that the domain does not admit any non-constant bounded holomorphic functions., The title was changed from "Weighted Bergman spaces of domains with Levi-flat boundary: geodesic segments on compact Riemann surfaces". 25 pages, final version, to appear in Transactions of the American Mathematical Society

In 2013, Farhi conjectured that for each $m\geq 3$, every natural number $n$ can be represented as $\lfloor x^2/m\rfloor+\lfloor y^2/m\rfloor+\lfloor z^2/m\rfloor$ with $x,y,z\in\Z$, where $\lfloor\cdot\rfloor$ denotes the floor function. Moreover, in 2015, Sun conjectured that every natural number $n$ can be written as $\lfloor x^2/a\rfloor+\lfloor y^2/b\rfloor+\lfloor z^2/c\rfloor$ with $x,y,z\in\Z$, where $a,b,c$ are integers and $(a,b,c)\neq (1,1,1),(2,2,2)$. In this paper, with the help of congruence theta functions, we prove that for each $m\geq 3$, Farhi's conjecture is true for every sufficiently large integer $n$. And for $a,b,c\geq 5$ with $a,b,c$ are pairwisely co-prime, we also confirm Sun's conjecture for every sufficiently large integer $n$.

Let X X be a separable infinite dimensional (real or complex) Banach space. Hájek and Smith, in 2010, constructed a linear bounded operator T T on X X such that A T ≔ { x ∈ X : ‖ T n x ‖ → ∞ } A_T≔\{x\in X:~ \|T^nx\|\to \infty \} is not dense and has nonempty interior, whenever X X admits a symmetric basis. Augé, in 2012, extended the previous construction to each separable Banach space, introducing the notion of wild operators. This work is divided in two parts. In the first part we define and explore the notion of asymptotically separated sets on Banach spaces, giving several examples whenever the ambient space has either finite or infinite dimension. We show how these sets can be used to construct operators with non-intuitive dynamics. Specifically, operators T : X → X T:X\rightarrow X for which the set A T A_T and the set of recurrent points form a partition of the space. Secondly, we investigate geometric and spectral properties of operators with wild dynamic and we provide a wild operator whose spectrum is equal to the closed unit disk. We end this paper giving some comments about the norm closure of the set of wild operators.

Let G G be a finite simple connected graph on [ n ] [n] and \[ R = K [ x 1 , … , x n ] R = K[x_1, \ldots , x_n] \] the polynomial ring in n n variables over a field K K . The edge ideal of G G is the ideal I ( G ) I(G) of R R which is generated by those monomials x i x j x_ix_j for which { i , j } \{i, j\} is an edge of G G . In the present paper, the possible tuples \[ ( n , d e p t h ( R / I ( G ) ) , r e g ( R / I ( G ) ) , dim ⁡ R / I ( G ) , deg ⁡ h ( R / I ( G ) ) ) , (n, depth(R/I(G)), reg(R/I(G)), \dim R/I(G), \deg h(R/I(G))), \] where deg ⁡ h ( R / I ( G ) ) \deg h(R/I(G)) is the degree of the h h -polynomial of R / I ( G ) R/I(G) , arising from Cameron–Walker graphs on [ n ] [n] will be completely determined.

Given a real number x > 0 x>0 , we determine q s ( x ) ≔ inf ⁡ U ( x ) q_s(x)≔\operatorname {inf}{\mathscr {U}}(x) , where U ( x ) {\mathscr {U}}(x) is the set of all bases q ∈ ( 1 , 2 ] q\in (1,2] for which x x has a unique expansion of 0 0 ’s and 1 1 ’s. We give an explicit description of q s ( x ) q_s(x) for several regions of x x -values. For others, we present an efficient algorithm to determine q s ( x ) q_s(x) and the lexicographically smallest unique expansion of x x . We show that the infimum is attained for almost all x x , but there is also a set of points of positive Hausdorff dimension for which the infimum is proper. In addition, we show that the function q s q_s is right-continuous with left-hand limits and no downward jumps, and characterize the points of discontinuity of q s q_s . A large part of the paper is devoted to the level sets L ( q ) ≔ { x > 0 : q s ( x ) = q } L(q)≔\{x>0:q_s(x)=q\} . We show that L ( q ) L(q) is finite for almost every q q , but there are also infinitely many infinite level sets. In particular, for the Komornik-Loreti constant q K L = min ⁡ U ( 1 ) ≈ 1.787 q_{KL}=\operatorname {min}{\mathscr {U}}(1)\approx 1.787 we prove that L ( q K L ) L(q_{KL}) has both infinitely many left- and infinitely many right accumulation points.

Let V V be a vertex operator superalgebra with the natural order 2 automorphism σ \sigma . Under suitable conditions on V V , the σ \sigma -fixed subspace V 0 ¯ V_{\bar 0} is a vertex operator algebra and the V 0 ¯ V_{\bar 0} -module category C V 0 ¯ \mathcal {C}_{V_{\bar 0}} is a modular tensor category. In this paper, we prove that C V 0 ¯ \mathcal {C}_{V_{\bar 0}} is a fermionic modular tensor category and the Müger centralizer C V 0 ¯ 0 \mathcal {C}_{V_{\bar 0}}^0 of the fermion in C V 0 ¯ \mathcal {C}_{V_{\bar 0}} is generated by the irreducible V 0 ¯ V_{\bar 0} -submodules of the V V -modules. In particular, C V 0 ¯ 0 \mathcal {C}_{V_{\bar 0}}^0 is a super-modular tensor category and C V 0 ¯ \mathcal {C}_{V_{\bar 0}} is a minimal modular extension of C V 0 ¯ 0 \mathcal {C}_{V_{\bar 0}}^0 . We provide a construction of a vertex operator superalgebra V l V^l for each positive integer l l such that C ( V l ) 0 ¯ \mathcal {C}_{{(V^l)_{\bar 0}}} is a minimal modular extension of C V 0 ¯ 0 \mathcal {C}_{V_{\bar 0}}^0 . We prove that these modular tensor categories C ( V l ) 0 ¯ \mathcal {C}_{{(V^l)_{\bar 0}}} are uniquely determined, up to equivalence, by the congruence class of l l modulo 16.

The purpose of this paper is to study and classify singular solutions of the Poisson problem { L μ s u = f in Ω ∖ { 0 } , u = 0 in R N ∖ Ω \begin{equation*} \left \{ \begin {aligned} \mathcal {L}^s_\mu u = f \quad \ \text {in}\ \, \Omega \setminus \{0\},\\ u =0 \quad \ \text {in}\ \, \mathbb {R}^N \setminus \Omega \ \end{aligned} \right . \end{equation*} for the fractional Hardy operator L μ s u = ( − Δ ) s u + μ | x | 2 s u \mathcal {L}_\mu ^s u= (-\Delta )^s u +\frac {\mu }{|x|^{2s}}u in a bounded domain Ω ⊂ R N \Omega \subset \mathbb {R}^N ( N ≥ 2 N \ge 2 ) containing the origin. Here ( − Δ ) s (-\Delta )^s , s ∈ ( 0 , 1 ) s\in (0,1) , is the fractional Laplacian of order 2 s 2s , and μ ≥ μ 0 \mu \ge \mu _0 , where μ 0 = − 2 2 s Γ 2 ( N + 2 s 4 ) Γ 2 ( N − 2 s 4 ) > 0 \mu _0 = -2^{2s}\frac {\Gamma ^2(\frac {N+2s}4)}{\Gamma ^2(\frac {N-2s}{4})}>0 is the best constant in the fractional Hardy inequality. The analysis requires a thorough study of fundamental solutions and associated distributional identities. Special attention will be given to the critical case μ = μ 0 \mu = \mu _0 which requires more subtle estimates than the case μ > μ 0 \mu >\mu _0 .