Search

Recall that two geodesics in a negatively curved surface $S$ are of the same type if their free homotopy classes differ by a homeomorphism of the surface. In this note we study the distribution in the unit tangent bundle of the geodesics of fixed type, proving that they are asymptotically equidistributed with respect to a certain measure $\mathfrak{m}^S$ on $T^1S$. We study a few properties of this measure, showing for example that it distinguishes between hyperbolic surfaces., 18 pages

We improve on and generalize a 1960 result of Maltsev. For a field $F$, we denote by $H(F)$ the Heisenberg group with entries in $F$. Maltsev showed that there is a copy of $F$ defined in $H(F)$, using existential formulas with an arbitrary non-commuting pair $(u,v)$ as parameters. We show that $F$ is interpreted in $H(F)$ using computable $\Sigma_1$ formulas with no parameters. We give two proofs. The first is an existence proof, relying on a result of Harrison-Trainor, Melnikov, R. Miller, and Montalb\'an. This proof allows the possibility that the elements of $F$ are represented by tuples in $H(F)$ of no fixed arity. The second proof is direct, giving explicit finitary existential formulas that define the interpretation, with elements of $F$ represented by triples in $H(F)$. Looking at what was used to arrive at this parameter-free interpretation of $F$ in $H(F)$, we give general conditions sufficient to eliminate parameters from interpretations., Comment: Published online by the *Journal of Symbolic Logic*, 23 December 2021. Print version to appear subsequently

We consider the three-dimensional sloshing problem on a triangular prism whose angles with the sloshing surface are of the form $\frac{\pi}{2q}$, where $q$ is an integer. We are interested in finding a two-term asymptotic expansion of the eigenvalue counting function. When both angles are $\frac{\pi}{4}$, we compute the exact value of the second term. As for the general case, we conjecture an asymptotic expansion by constructing quasimodes for the problem and computing the counting function of the related quasi-eigenvalues. These quasimodes come from solutions of the sloping beach problem and correspond to two kinds of waves, edge waves and surface waves. We show that the quasi-eigenvalues are exponentially close to real eigenvalues of the sloshing problem. The asymptotic expansion of their counting function is closely related to a lattice counting problem inside a perturbed ellipse where the perturbation is in a sense random. The contribution of the angles can then be detected through that perturbation., Comment: 31 pages

Combinatorial samplers are algorithmic schemes devised for the approximate- and exact-size generation of large random combinatorial structures, such as context-free words, various tree-like data structures, maps, tilings, RNA molecules. They can be adapted to combinatorial specifications with additional parameters, allowing for a more flexible control over the output profile of parametrised combinatorial patterns. One can control, for instance, the number of leaves, profile of node degrees in trees or the number of certain sub-patterns in generated strings. However, such a flexible control requires an additional and nontrivial tuning procedure. Using techniques of convex optimisation, we present an efficient tuning algorithm for multi-parametric combinatorial specifications. Our algorithm works in polynomial time in the system description length, the number of tuning parameters, the number of combinatorial classes in the specification, and the logarithm of the total target size. We demonstrate the effectiveness of our method on a series of practical examples, including rational, algebraic, and so-called P\'olya specifications. We show how our method can be adapted to a broad range of less typical combinatorial constructions, including symmetric polynomials, labelled sets and cycles with cardinality lower bounds, simple increasing trees or substitutions. Finally, we discuss some practical aspects of our prototype tuner implementation and provide its benchmark results., Comment: 44 pages, an extended version of the paper "Polynomial tuning of multiparametric combinatorial samplers" presented at ANALCO'18. arXiv admin note: text overlap with arXiv:1708.01212

We obtain an effective analytic formula, with explicit constants, for the number of distinct irreducible factors of a polynomial $f \in \mathbb{Z}[x]$. We use an explicit version of Mertens' theorem for number fields to estimate a related sum over rational primes. For a given $f \in \mathbb{Z}[x]$, our result yields a finite list of primes that certifies the number of distinct irreducible factors of $f$., Comment: 15 pages

We consider families of random products of close-by Anosov diffeomorphisms, and show that statistical stability and linear response hold for the associated families of equivariant and stationary measures. Our analysis rely on the study of the top Oseledets space of a parametrized transfer operator cocycle, as well as ad-hoc abstract perturbation statements. As an application, we show that, when the quenched central limit theorem holds, under the conditions that ensure linear response for our cocycle, the variance in the CLT depends differentiably on the parameter., Electronic copy of final peer-reviewed manuscript accepted for publication in Ergodic Theory and Dynamical Systems

We establish sharp bounds for the second moment of symmetric-square L-functions attached to Hecke Maass cusp forms $u_j$ with spectral parameter $t_j$ , where the second moment is a sum over $t_j$ in a short interval. At the central point $s=1/2$ of the L-function, our interval is smaller than previous known results. More specifically, for $\left \lvert t_j\right \rvert $ of size T, our interval is of size $T^{1/5}$ , whereas the previous best was $T^{1/3}$ , from work of Lam. A little higher up on the critical line, our second moment yields a subconvexity bound for the symmetric-square L-function. More specifically, we get subconvexity at $s=1/2+it$ provided $\left \lvert t_j\right \rvert ^{6/7+\delta }\le \lvert t\rvert \le (2-\delta )\left \lvert t_j\right \rvert $ for any fixed $\delta>0$ . Since $\lvert t\rvert $ can be taken significantly smaller than $\left \lvert t_j\right \rvert $ , this may be viewed as an approximation to the notorious subconvexity problem for the symmetric-square L-function in the spectral aspect at $s=1/2$ .

We explain how to develop the twisted doubling integrals for Brylinski–Deligne extensions of connected classical groups. This gives a family of global integrals which represent Euler products for this class of nonlinear extensions.

This is a short expository account of the regularity lemma for stable graphs proved by the authors, with some comments on the model theoretic context, written for a general logical audience., Comment: 6 pages. Paper E98

We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in free spaces over their compact subsets. As easy consequences we derive several new and some known results. The main new results are: $\mathcal {F}(X)$ is weakly sequentially complete for every superreflexive Banach space $X$, and $\mathcal {F}(M)$ has the Schur property and the approximation property for every scattered complete metric space $M$.

In [20] Krajíček and Pudlák discovered connections between problems in computational complexity and the lengths of first-order proofs of finite consistency statements. Later Pudlák [25] studied more statements that connect provability with computational complexity and conjectured that they are true. All these conjectures are at least as strong as $\mathsf {P}\neq \mathsf {NP}$ [23–25].One of the problems concerning these conjectures is to find out how tightly they are connected with statements about computational complexity classes. Results of this kind had been proved in [20, 22].In this paper, we generalize and strengthen these results. Another question that we address concerns the dependence between these conjectures. We construct two oracles that enable us to answer questions about relativized separations asked in [19, 25] (i.e., for the pairs of conjectures mentioned in the questions, we construct oracles such that one conjecture from the pair is true in the relativized world and the other is false and vice versa). We also show several new connections between the studied conjectures. In particular, we show that the relation between the finite reflection principle and proof systems for existentially quantified Boolean formulas is similar to the one for finite consistency statements and proof systems for non-quantified propositional tautologies.

Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using this foundation for the past 35 years to elevate logic programming from its roots in first-order classical logic into higher-order versions of intuitionistic and linear logic. These more expressive logic programming languages allow for capturing stateful computations and rich forms of abstractions, including higher-order programming, modularity, and abstract data types. Term-level bindings are another kind of abstraction, and these are given an elegant and direct treatment within both proof theory and these extended logic programming languages. Logic programming has also inspired new results in proof theory, such as those involving polarity and focused proofs. These recent results provide a high-level means for presenting the differences between forward-chaining and backward-chaining style inferences. Anchoring logic programming in proof theory has also helped identify its connections and differences with functional programming, deductive databases, and model checking., To appear in Theory and Practice of Logic Programming (TPLP)

We set out some general criteria to prove the K-property, refining the assumptions used in an earlier paper for the flow case, and introducing the analogous discrete-time result. We also introduce one-sided $\lambda $ -decompositions, as well as multiple techniques for checking the pressure gap required to show the K-property. We apply our results to the family of Mañé diffeomorphisms and the Katok map. Our argument builds on the orbit decomposition theory of Climenhaga and Thompson.

We consider the no-flux initial-boundary value problem for the cross-diffusive evolution system: \begin{eqnarray*} \left\{ \begin{array}{ll} u_t = u_{xx} - \chi \big(\frac{u}{v} \partial_x v \big)_x - uv +B_1(x,t), \qquad & x\in \Omega, \ t>0, \\[1mm] v_t = v_{xx} +uv - v + B_2(x,t), \qquad & x\in \Omega, \ t>0, \end{array} \right. \end{eqnarray*} which was introduced by Short et al. in [40] with $\chi=2$ to describe the dynamics of urban crime.In bounded intervals $\Omega\subset\mathbb{R}$ and with prescribed suitably regular non-negative functions $B_1$ and $B_2$ , we first prove the existence of global classical solutions for any choice of $\chi>0$ and all reasonably regular non-negative initial data.We next address the issue of determining the qualitative behaviour of solutions under appropriate assumptions on the asymptotic properties of $B_1$ and $B_2$ . Indeed, for arbitrary $\chi>0$ , we obtain boundedness of the solutions given strict positivity of the average of $B_2$ over the domain; moreover, it is seen that imposing a mild decay assumption on $B_1$ implies that u must decay to zero in the long-term limit. Our final result, valid for all $\chi\in\left(0,\frac{\sqrt{6\sqrt{3}+9}}{2}\right),$ which contains the relevant value $\chi=2$ , states that under the above decay assumption on $B_1$ , if furthermore $B_2$ appropriately stabilises to a non-trivial function $B_{2,\infty}$ , then (u,v) approaches the limit $(0,v_\infty)$ , where $v_\infty$ denotes the solution of \begin{eqnarray*} \left\{ \begin{array}{l} -\partial_{xx}v_\infty + v_\infty = B_{2,\infty}, \qquad x\in \Omega, \\[1mm] \partial_x v_{\infty}=0, \qquad x\in\partial\Omega. \end{array} \right. \end{eqnarray*} We conclude with some numerical simulations exploring possible effects that may arise when considering large values of $\chi$ not covered by our qualitative analysis. We observe that when $\chi$ increases, solutions may grow substantially on short time intervals, whereas only on large timescales diffusion will dominate and enforce equilibration.

We study the ergodic properties of horospheres on rank 1 manifolds with non-positive curvature. We prove that the horospheres are equidistributed under the action of the geodesic flow towards the Bowen–Margulis measure, on a large class of manifolds. In the case of surfaces, we define a parametrization of the horocyclic flow on the set of horocycles containing a rank 1 vector that is recurrent under the action of the geodesic flow. We prove that the horocyclic flow in restriction to this set is uniquely ergodic. The results are valid for large classes of manifolds, including the compact ones.

We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an almost unperforated type semigroup. Finally, we build a bridge between coarse geometry and topological dynamics by characterizing almost finiteness of the coarse groupoid in terms of a new coarsely invariant property for metric spaces, which might be of independent interest in coarse geometry. As a consequence, we are able to construct new examples of almost finite principal groupoids lacking other desirable properties, such as amenability or even a-T-menability. This behaviour is in stark contrast to the case of principal transformation groupoids associated to group actions., Comment: Revised version. To appear in Ergodic Theory and Dynamical Systems

We investigate the local dynamics of antiholomorphic diffeomorphisms around a parabolic fixed point. We first give a normal form. Then we give a complete classification including a modulus space for antiholomorphic germs with a parabolic fixed point under analytic conjugacy. We then study some geometric applications: existence of real analytic invariant curves, existence of holomorphic and antiholomorphic roots of holomorphic and antiholomorphic parabolic germs, and commuting holomorphic and antiholomorphic parabolic germs.

In this survey we discuss work of Levin and V’yugin on collections of sequences that are non-negligible in the sense that they can be computed by a probabilistic algorithm with positive probability. More precisely, Levin and V’yugin introduced an ordering on collections of sequences that are closed under Turing equivalence. Roughly speaking, given two such collections $\mathcal {A}$ and $\mathcal {B}$ , $\mathcal {A}$ is below $\mathcal {B}$ in this ordering if $\mathcal {A}\setminus \mathcal {B}$ is negligible. The degree structure associated with this ordering, the Levin–V’yugin degrees (or $\mathrm {LV}$ -degrees), can be shown to be a Boolean algebra, and in fact a measure algebra. We demonstrate the interactions of this work with recent results in computability theory and algorithmic randomness: First, we recall the definition of the Levin–V’yugin algebra and identify connections between its properties and classical properties from computability theory. In particular, we apply results on the interactions between notions of randomness and Turing reducibility to establish new facts about specific LV-degrees, such as the LV-degree of the collection of 1-generic sequences, that of the collection of sequences of hyperimmune degree, and those collections corresponding to various notions of effective randomness. Next, we provide a detailed explanation of a complex technique developed by V’yugin that allows the construction of semi-measures into which computability-theoretic properties can be encoded. We provide two examples of the use of this technique by explicating a result of V’yugin’s about the LV-degree of the collection of Martin-Löf random sequences and extending the result to the LV-degree of the collection of sequences of DNC degree.

Let $Y$ be a smooth complete intersection of three quadrics, and assume the dimension of $Y$ is even. We show that $Y$ has a multiplicative Chow-K\"unneth decomposition, in the sense of Shen-Vial. As a consequence, the Chow ring of (powers of) $Y$ displays K3-like behaviour. As a by-product of the argument, we also establish a multiplicative Chow-K\"unneth decomposition for double planes., Comment: 19 pages, to appear in Math. Proceedings of the Cambridge Philosophical Society, comments welcome. arXiv admin note: substantial text overlap with arXiv:2105.02224, arXiv:2105.02016, arXiv:2009.11061

A gap mapping is a discontinuous interval mapping with two strictly increasing branches that have a gap between their ranges. They are one-dimensional dynamical systems, which arise in the study of certain higher dimensional flows, for example the Lorenz flow and the Cherry flow. In this paper, we prove hyperbolicity of renormalization acting on $C^3$ dissipative gap mappings, and show that the topological conjugacy classes of infinitely renormalizable gap mappings are $C^1$ manifolds.

Given a hereditary property of graphs $\mathcal{H}$ and a $p\in [0,1]$ , the edit distance function $\textrm{ed}_{\mathcal{H}}(p)$ is asymptotically the maximum proportion of edge additions plus edge deletions applied to a graph of edge density p sufficient to ensure that the resulting graph satisfies $\mathcal{H}$ . The edit distance function is directly related to other well-studied quantities such as the speed function for $\mathcal{H}$ and the $\mathcal{H}$ -chromatic number of a random graph.Let $\mathcal{H}$ be the property of forbidding an Erdős–Rényi random graph $F\sim \mathbb{G}(n_0,p_0)$ , and let $\varphi$ represent the golden ratio. In this paper, we show that if $p_0\in [1-1/\varphi,1/\varphi]$ , then a.a.s. as $n_0\to\infty$ , \begin{align*} {\textrm{ed}}_{\mathcal{H}}(p) = (1+o(1))\,\frac{2\log n_0}{n_0} \cdot\min\left\{ \frac{p}{-\log(1-p_0)}, \frac{1-p}{-\log p_0} \right\}. \end{align*} Moreover, this holds for $p\in [1/3,2/3]$ for any $p_0\in (0,1)$ .A primary tool in the proof is the categorization of p-core coloured regularity graphs in the range $p\in[1-1/\varphi,1/\varphi]$ . Such coloured regularity graphs must have the property that the non-grey edges form vertex-disjoint cliques.

We develop the notion of Rokhlin dimension for partial actions of finite groups, extending the well-established theory for global systems. The partial setting exhibits phenomena that cannot be expected for global actions, usually stemming from the fact that virtually all averaging arguments for finite group actions completely break down for partial systems. For example, fixed point algebra and crossed product are not in general Morita equivalent, and there is in general no local approximation of the crossed product $A\rtimes G$ by matrices over $A$. By using decomposition arguments for partial actions of finite groups, we show that a number of structural properties are preserved by formation of crossed products, including finite stable rank, finite nuclear dimension, and absorption of a strongly self-absorbing $C^*$-algebra. For partial actions with the Rokhlin property, being an AF-algebra is also preserved. Some of our results are new even in the global case. We also study the Rokhlin dimension of globalizable actions: while in general it differs from the Rokhlin dimension of its globalization, we show that they agree if the coefficient algebra is unital. For topological partial actions on spaces of finite covering dimension, we show that finiteness of the Rokhlin dimension is equivalent to freeness, thus providing a large class of examples to which our theory applies., Comment: V2: minor changes, 29 pages. This version was accepted in Ergodic Theory Dynam. Syst

In this paper, we study the centralizer of a partially hyperbolic diffeomorphism on ${\mathbb T}^3$ which is homotopic to an Anosov automorphism, and we show that either its centralizer is virtually trivial or such diffeomorphism is smoothly conjugate to its linear part.

In this paper, we consider an eigenvalue problem for ordinary differential equations of fourth order with a spectral parameter in the boundary conditions. The location of eigenvalues on real axis, the structure of root subspaces and the oscillation properties of eigenfunctions of this problem are investigated, and asymptotic formulas for the eigenvalues and eigenfunctions are found. Next, by the use of these properties, we establish sufficient conditions for subsystems of root functions of the considered problem to form a basis in the space $L_p,1 < p < \infty$.

Let $f\,{:}\,(\mathbb R^n,0)\to (\mathbb R,0)$ be an analytic function germ with non-isolated singularities and let $F\,{:}\, (\mathbb{R}^{1+n},0) \to (\mathbb{R},0)$ be a 1-parameter deformation of f. Let $ f_t ^{-1}(0) \cap B_\epsilon^n$ , $0 < \vert t \vert \ll \epsilon$ , be the “generalized” Milnor fiber of the deformation F. Under some conditions on F, we give a topological degree formula for the Euler characteristic of this fiber. This generalizes a result of Fukui.

We consider a system of reaction–diffusion equations including chemotaxis terms and coming out of the modelling of multiple sclerosis. The global existence of strong solutions to this system in any dimension is proved, and it is also shown that the solution is bounded uniformly in time. Finally, a nonlinear stability result is obtained when the chemotaxis term is not too big. We also perform numerical simulations to show the appearance of Turing patterns when the chemotaxis term is large.

We compare the Kummer flat (resp. Kummer etale) cohomology with the flat (resp. etale) cohomology with coefficients in smooth commutative group schemes, finite flat group schemes and the logarithmic multiplicative group of Kato. We will be particularly interested in the case of algebraic tori in the Kummer flat topology. We also make some computations for certain special cases of the base log scheme., Comment: Introduction has been rewritten. Theorem 1.8 has been slightly modified. The original Lemma 1.15 has been removed. The original Theorem 1.16 has been changed to Corollary 1.10. The original Theorem 1.24 (now Theorem 1.23) has been slightly modified. Errors and typos have been corrected. 30 pages. Accepted by J. Inst. Math. Jussieu. Might be slightly different from the journal version

We expand upon work from many hands on the decomposition of nuclear maps. Such maps can be characterized by their ability to be approximately written as the composition of maps to and from matrices. Under certain conditions (such as quasidiagonality), we can find a decomposition whose maps behave nicely, by preserving multiplication up to an arbitrary degree of accuracy and being constructed from order zero maps (as in the definition of nuclear dimension). We investigate these conditions and relate them to a W*-analog., 9 pages, 0 figures

We introduce ‘generalised higher-rank k-graphs’ as a class of categories equipped with a notion of size. They extend not only higher-rank k-graphs, but also the Levi categories introduced by the first author as a categorical setting for graphs of groups. We prove that examples of generalised higher-rank k-graphs can be constructed using Zappa–Szép products of groupoids and higher-rank graphs.

In this study, we are concerned with the asymptotic stability towards a rarefaction wave of the solution to an outflow problem for the Navier-Stokes Korteweg equations of a compressible fluid in the half space. We assume that the space-asymptotic states and the boundary data satisfy some conditions so that the time-asymptotic state of this solution is a rarefaction wave. Then we show that the rarefaction wave is non-linearly stable, as time goes to infinity, provided that the strength of the wave is weak and the initial perturbation is small. The proof is mainly based on $L^{2}$-energy method and some time-decay estimates in $L^{p}$-norm for the smoothed rarefaction wave.

We propose a conjecture that the Galois representation attached to every Hilbert modular form is noncritical and prove it under certain conditions. Under the same condition we prove Chida, Mok and Park’s conjecture that Fontaine-Mazur L-invariant and Teitelbaum-type L-invariant coincide with each other.

We present infinite analogues of our splinter lemma from [Trees of tangles in abstract separation systems, arXiv:1909.09030]. From these we derive several tree-of-tangles-type theorems for infinite graphs and infinite abstract separation systems., 33 pages, 1 figure; Version 2+3+4: minor changes

In this paper we prove a local exponential synchronization for Markovian random iterations of homeomorphisms of the circle $S^{1}$ , providing a new result on stochastic circle dynamics even for $C^1$ -diffeomorphisms. This result is obtained by combining an invariance principle for stationary random iterations of homeomorphisms of the circle with a Krylov–Bogolyubov-type result for homogeneous Markov chains.

We study normal reflection subgroups of complex reflection groups. Our approach leads to a refinement of a theorem of Orlik and Solomon to the effect that the generating function for fixed-space dimension over a reflection group is a product of linear factors involving generalised exponents. Our refinement gives a uniform proof and generalisation of a recent theorem of the second author.

The article focuses on the evaluation of convolution sums $${W_k}(n): = \mathop \sum \nolimits_{_{m < {n \over k}}} \sigma (m)\sigma (n - km)$$ involving the sum of divisor function $$\sigma (n)$$ for k =21, 33, and 35. In this article, our aim is to obtain certain Eisenstein series of level 21 and use them to evaluate the convolution sums for level 21. We also make use of the existing Eisenstein series identities for level 33 and 35 in evaluating the convolution sums for level 33 and 35. Most of the convolution sums were evaluated using the theory of modular forms, whereas we have devised a technique which is free from the theory of modular forms. As an application, we determine a formula for the number of representations of a positive integer n by the octonary quadratic form $$(x_1^2 + {x_1}{x_2} + ax_2^2 + x_3^2 + {x_3}{x_4} + ax_4^2) + b(x_5^2 + {x_5}{x_6} + ax_6^2 + x_7^2 + {x_7}{x_8} + ax_8^2)$$, for (a, b)=(1, 7), (1, 11), (2, 3), and (2, 5).

We equate various Euler classes of algebraic vector bundles, including those of [12] and one suggested by M. J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class and give formulas for local indices at isolated zeros, both in terms of the six-functors formalism of coherent sheaves and as an explicit recipe in the commutative algebra of Scheja and Storch. As an application, we compute the Euler classes enriched in bilinear forms associated to arithmetic counts of d-planes on complete intersections in $\mathbb P^n$ in terms of topological Euler numbers over $\mathbb {R}$ and $\mathbb {C}$ .

The results of this study demonstrate the lower incidence of posttransurethral resection of the prostate (TURP) urinary tract infection (UTI) among patients receiving appropriate antibiotic prophylaxis (AAP) versus inappropriate antibiotic prophylaxis (27% vs 47%; P < .001). Preoperative urine culture procurement and APP are critical for post-TURP UTI prevention in the era of antibiotic resistance.

Similarly to the Frobenius–Schur indicator of irreducible characters, we consider higher Frobenius–Schur indicators$\nu _{p^n}(\chi ) = |G|^{-1} \sum _{g \in G} \chi (g^{p^n})$for primespand$n \in \mathbb {N}$, whereGis a finite group and$\chi $is a generalised character ofG. These invariants give answers to interesting questions in representation theory. In particular, we give several characterisations of groups via higher Frobenius–Schur indicators.

Moduli spaces of bounded local G-shtukas are a group-theoretic generalisation of the function field analogue of Rapoport and Zink’s moduli spaces of p-divisible groups. In this article we generalise some very prominent concepts in the theory of Rapoport-Zink spaces to our setting. More precisely, we define period spaces, as well as the period map from a moduli space of bounded local G-shtukas to the corresponding period space, and we determine the image of the period map. Furthermore, we define a tower of coverings of the generic fibre of the moduli space, which is equipped with a Hecke action and an action of a suitable automorphism group. Finally, we consider the $\ell $ -adic cohomology of these towers.Les espaces de modules de G-chtoucas locaux bornés sont une généralisation des espaces de modules de groupes p-divisibles de Rapoport-Zink, au cas d’un corps de fonctions local, pour des groupes plus généraux et des copoids pas nécessairement minuscules. Dans cet article nous définissons les espaces de périodes et l’application de périodes associés à un tel espace, et nous calculons son image. Nous étudions la tour au-dessus de la fibre générique de l’espace de modules, équipée d’une action de Hecke ainsi que d’une action d’un groupe d’automorphismes. Enfin, nous définissons la cohomologie $\ell $ -adique de ces tours.

In this article we study physical measures for $\operatorname {C}^{1+\alpha }$ partially hyperbolic diffeomorphisms with a mostly expanding center. We show that every diffeomorphism with a mostly expanding center direction exhibits a geometrical-combinatorial structure, which we call skeleton, that determines the number, basins and supports of the physical measures. Furthermore, the skeleton allows us to describe how physical measures bifurcate as the diffeomorphism changes under $C^1$ topology.Moreover, for each diffeomorphism with a mostly expanding center, there exists a $C^1$ neighbourhood, such that diffeomorphism among a $C^1$ residual subset of this neighbourhood admits finitely many physical measures, whose basins have full volume.We also show that the physical measures for diffeomorphisms with a mostly expanding center satisfy exponential decay of correlation for any Hölder observes. In particular, we prove that every $C^2$ , partially hyperbolic, accessible diffeomorphism with 1-dimensional center and nonvanishing center exponent has exponential decay of correlations for Hölder functions.

Generalising the concept of injectivity, we study the notion of $\varphi $ -injectivity for dual Banach algebras. It provides a framework for studying $\varphi $ -amenability of enveloping dual Banach algebras.

Let A be a Banach algebra and let X be a Banach A-bimodule. We consider the Banach algebra ${A\oplus _1 X}$ , where A is a commutative Banach algebra. We investigate the Bochner–Schoenberg–Eberlein (BSE) property and the BSE module property on $A\oplus _1 X$ . We show that the module extension Banach algebra $A\oplus _1 X$ is a BSE Banach algebra if and only if A is a BSE Banach algebra and $X=\{0\}$ . Furthermore, we consider $A\oplus _1 X$ as a Banach $A\oplus _1 X$ -module and characterise the BSE module property on $A\oplus _1 X$ . We show that $A\oplus _1 X$ is a BSE Banach $A\oplus _1 X$ -module if and only if A and X are BSE Banach A-modules.

Cogdell et al. [‘Evaluating the Mahler measure of linear forms via Kronecker limit formulas on complex projective space’, Trans. Amer. Math. Soc. (2021), to appear] developed infinite series representations for the logarithmic Mahler measure of a complex linear form with four or more variables. We establish the case of three variables by bounding an integral with integrand involving the random walk probability density $a\int _0^\infty tJ_0(at) \prod _{m=0}^2 J_0(r_m t)\,dt$ , where $J_0$ is the order-zero Bessel function of the first kind and a and $r_m$ are positive real numbers. To facilitate our proof we develop an alternative description of the integral’s asymptotic behaviour at its known points of divergence. As a computational aid for numerical experiments, an algorithm to calculate these series is presented in the appendix.

We show that fractal percolation sets in $\mathbb{R}^{d}$ almost surely intersect every hyperplane absolutely winning (HAW) set with full Hausdorff dimension. In particular, if $E\subset\mathbb{R}^{d}$ is a realisation of a fractal percolation process, then almost surely (conditioned on $E\neq\emptyset$), for every countable collection $\left(f_{i}\right)_{i\in\mathbb{N}}$ of $C^{1}$ diffeomorphisms of $\mathbb{R}^{d}$, $\dim_{H}\left(E\cap\left(\bigcap_{i\in\mathbb{N}}f_{i}\left(\text{BA}_{d}\right)\right)\right)=\dim_{H}\left(E\right)$, where $\text{BA}_{d}$ is the set of badly approximable vectors in $\mathbb{R}^{d}$. We show this by proving that E almost surely contains hyperplane diffuse subsets which are Ahlfors-regular with dimensions arbitrarily close to $\dim_{H}\left(E\right)$.We achieve this by analysing Galton–Watson trees and showing that they almost surely contain appropriate subtrees whose projections to $\mathbb{R}^{d}$ yield the aforementioned subsets of E. This method allows us to obtain a more general result by projecting the Galton–Watson trees against any similarity IFS whose attractor is not contained in a single affine hyperplane. Thus our general result relates to a broader class of random fractals than fractal percolation.

AbstarctAn effective estimate for the measure of the set of real numbers for which the inequality |P(x)| {3 \over 2}n + 1$ has a solution in integral polynomials P of degree n and of height H(P) at most $Q \in {\rm{\mathbb N}}$ is obtained.

We introduce and study analogues of expander and hyperfinite graph sequences in the context of directed acyclic graphs, which we call "extender" and "hypershallow" graph sequences, respectively. Our main result is a probabilistic construction of non-hypershallow graph sequences., Comment: 17 pages, no figures, v3: very minor changes compared to v2, final accepted version to appear in Comb. Probab. Comput

Distinguishing between continuous and first-order phase transitions is a major challenge in random discrete systems. We study the topic for events with recursive structure on Galton-Watson trees. For example, let $\mathcal{T}_1$ be the event that a Galton-Watson tree is infinite, and let $\mathcal{T}_2$ be the event that it contains an infinite binary tree starting from its root. These events satisfy similar recursive properties: $\mathcal{T}_1$ holds if and only if $\mathcal{T}_1$ holds for at least one of the trees initiated by children of the root, and $\mathcal{T}_2$ holds if and only if $\mathcal{T}_2$ holds for at least two of these trees. The probability of $\mathcal{T}_1$ has a continuous phase transition, increasing from 0 when the mean of the child distribution increases above 1. On the other hand, the probability of $\mathcal{T}_2$ has a first-order phase transition, jumping discontinuously to a nonzero value at criticality. Given the recursive property satisfied by the event, we describe the critical child distributions where a continuous phase transition takes place. In many cases, we also characterize the event undergoing the phase transition., minor small corrections; 34 pages; to appear in Combinatorics, Probability and Computing

In finite group theory, chief factors play an important and well-understood role in the structure theory. We here develop a theory of chief factors for Polish groups. In the development of this theory, we prove a version of the Schreier refinement theorem. We also prove a trichotomy for the structure of topologically characteristically simple Polish groups.The development of the theory of chief factors requires two independently interesting lines of study. First we consider injective, continuous homomorphisms with dense normal image. We show such maps admit a canonical factorisation via a semidirect product, and as a consequence, these maps preserve topological simplicity up to abelian error. We then define two generalisations of direct products and use these to isolate a notion of semisimplicity for Polish groups.

It has been recently proved that the automorphism group of a minimal subshift with non-superlinear word complexity is virtually $\mathbb {Z}$ [Cyr and Kra. The automorphism group of a shift of linear growth: beyond transitivity. Forum Math. Sigma3 (2015), e5; Donoso et al. On automorphism groups of low complexity subshifts. Ergod. Th. & Dynam. Sys.36(1) (2016), 64–95]. In this article we extend this result to a broader class proving that the automorphism group of a minimal $\mathcal {S}$ -adic subshift of finite alphabet rank is virtually $\mathbb {Z}$ . The proof is based on a fine combinatorial analysis of the asymptotic classes in this type of subshifts, which we prove are a finite number.

Let $\pi: X \longrightarrow C$ be a fibration with reduced fibers over a curve $C$ and consider a polarization $H$ on the surface $X$. Let $E$ be a stable vector bundle of rank $2$ on $C$. We prove that the pullback $\pi^*E$ is a $H-$stable bundle over $X$. This result allows us to relate the corresponding moduli spaces of stable bundles $\mathcal{M}_C(2,d)$ and $\mathcal{M}_{X,H}(2,df,0)$ through an injective morphism. We study the induced morphism at the level of Brill-Noether loci to construct examples of Brill-Noether loci on fibered surfaces. Results concerning the emptiness of Brill-Noether loci follow as a consequence of a generalization of Clifford's Theorem for rank two bundles on surfaces., Comment: 15 pages