Search

We show that the phase tropical pair-of-pants is (ambient) isotopic to the complex pair-of-pants. This paper can serve as an addendum to the author's joint paper with Ruddat arXiv:2001.08267 where an isotopy between complex and ober-tropical pairs-of-pants was shown. Thus all three versions are isotopic., 10 pages, 8 figures. arXiv admin note: text overlap with arXiv:2001.08267

In this paper, we first use the distribution of the number of records to demonstrate that the right tail probabilities of counts of rare events are generally better approximated by the right tail probabilities of Poisson distribution than {those} of normal distribution. We then show the moderate deviations in Poisson approximation generally require an adjustment and, with suitable adjustment, we establish better error estimates of the moderate deviations in Poisson approximation than those in \cite{CFS}. Our estimates contain no unspecified constants and are easy to apply. We illustrate the use of the theorems in six applications: Poisson-binomial distribution, matching problem, occupancy problem, birthday problem, random graphs and 2-runs. The paper complements the works of \cite{CC92,BCC95,CFS}., 29 pages and 5 figures

A Cohen-Macaulay local ring $R$ satisfies trivial vanishing if $\operatorname{Tor}_i^R(M,N)=0$ for all large $i$ implies $M$ or $N$ has finite projective dimension. If $R$ satisfies trivial vanishing then we also have that $\operatorname{Ext}^i_R(M,N)=0$ for all large $i$ implies $M$ has finite projective dimension or $N$ has finite injective dimension. In this paper, we establish obstructions for the failure of trivial vanishing in terms of the asymptotic growth of the Betti and Bass numbers of the modules involved. These, together with a result of Gasharov and Peeva, provide sufficient conditions for $R$ to satisfy trivial vanishing; we provide sharpened conditions when $R$ is generalized Golod. Our methods allow us to settle the Auslander-Reiten conjecture in several new cases. In the last part of the paper, we provide criteria for the Gorenstein property based on consecutive vanishing of Ext. The latter results improve similar statements due to Ulrich, Hanes-Huneke, and Jorgensen-Leuschke., to appear in Trans. Amer. Math. Soc

Projective varieties with ample cotangent bundle satisfy many notions of hyperbolicity, and one goal of this paper is to discuss generalizations to quasi-projective varieties. A major hurdle is that the naive generalization fails, i.e. the log cotangent bundle is never ample. Instead, we define a notion called almost ample which roughly asks that the log cotangent is as positive as possible. We show that all subvarieties of a quasi-projective variety with almost ample log cotangent bundle are of log general type. In addition, if one assumes globally generated then we obtain that such varieties contain finitely many integral points. In another direction, we show that the Lang-Vojta conjecture implies the number of stably integral points on curves of log general type, and surfaces of log general type with almost ample log cotangent sheaf are uniformly bounded., v5: exposition greatly improved. Previous section on function fields removed, to be expanded upon in a future paper. To appear in IMRN

In this paper, we study noncommutative surface singularities arising from orders. The singularities we study are mild in the sense that they have finite representation type or, equivalently, are log terminal in the sense of the Mori minimal model program for orders (Chan and Ingalls in Invent Math 161(2):427–452, 2005). These were classified independently by Artin (in terms of ramification data) and Reiten–Van den Bergh (in terms of their AR-quivers). The first main goal of this paper is to connect these two classifications, by going through the finite subgroups $$G \subset {{{\,\mathrm{GL}\,}}_2}$$ , explicitly computing $$H^2(G,k^*)$$ , and then matching these up with Artin’s list of ramification data and Reiten–Van den Bergh’s AR-quivers. This provides a semi-independent proof of their classifications and extends the study of canonical orders in Chan et al. (Proc Lond Math Soc (3) 98(1):83–115, 2009) to the case of log terminal orders. A secondary goal of this paper is to study noncommutative analogues of plane curves which arise as follows. Let $$B = k_{\zeta } \llbracket x,y \rrbracket $$ be the skew power series ring where $$\zeta $$ is a root of unity, or more generally a terminal order over a complete local ring. We consider rings of the form $$A = B/(f)$$ where $$f \in Z(B)$$ which we interpret to be the ring of functions on a noncommutative plane curve. We classify those noncommutative plane curves which are of finite representation type and compute their AR-quivers.

We propose and analyse numerical algorithms based on weighted least squares for the approximation of a real-valued function on a general bounded domain $\Omega \subset \mathbb{R}^d$. Given any $n$-dimensional approximation space $V_n \subset L^2(\Omega)$, the analysis in [6] shows the existence of stable and optimally converging weighted least-squares estimators, using a number of function evaluations $m$ of the order $n \log n$. When an $L^2(\Omega)$-orthonormal basis of $V_n$ is available in analytic form, such estimators can be constructed using the algorithms described in [6,Section 5]. If the basis also has product form, then these algorithms have computational complexity linear in $d$ and $m$. In this paper we show that, when $\Omega$ is an irregular domain such that the analytic form of an $L^2(\Omega)$-orthonormal basis is not available, stable and quasi-optimally weighted least-squares estimators can still be constructed from $V_n$, again with $m$ of the order $n \log n$, but using a suitable surrogate basis of $V_n$ orthonormal in a discrete sense. The computational cost for the calculation of the surrogate basis depends on the Christoffel function of $\Omega$ and $V_n$. Numerical results validating our analysis are presented., Comment: Version of the paper accepted for publication

In this paper we treat realization results for operator-valued functions which are analytic in the complex sense or slice hyperholomorphic over the quaternions. In the complex setting, we prove a realization theorem for an operator-valued function analytic in a neighborhood of the origin with a coisometric state space operator thus generalizing an analogous result in the unitary case. A main difference with previous works is the use of reproducing kernel Krein spaces. We then prove the counterpart of this result in the quaternionic setting. The present work is the first paper which presents a realization theorem with a state space which is a quaternionic Krein space and may open new avenues of research in hypercomplex analysis.

Fix $m\geq 0$, and let $A=\left( A_{ij}\left( x\right) \right) _{1\leq i\leq N,1\leq j\leq M}$ be a matrix of semialgebraic functions on $\mathbb{R}^{n}$ or on a compact subset $E \subset \mathbb{R}^n$. Given $f=\left( f_{1},\cdots ,f_{N}\right) \in C^{\infty }\left( \mathbb{R}^{n},\mathbb{R}^{N}\right) $, we consider the following system of equations \begin{equation} \sum_{j=1}^{M}A_{ij}\left( x\right) F_{j}\left( x\right) =f_{i}\left( x\right) \text{ }\left( i=1,\cdots ,N\right) \text{.} \end{equation} In this paper, we give algorithms for computing a finite list of linear partial differential operators such that $AF= f$ admits a $C^m(\mathbb{R}^n, \mathbb{R}^M)$ solution $F=(F_1,\cdots, F_M)$ if and only if $f=(f_1,\cdots, f_N)$ is annihilated by the linear partial differential operators., 48 pages, see also the related paper "Generators for the $C^m$-closures of Ideals"

We present a new method of proving the Diophantine extremality of various dynamically defined measures, vastly expanding the class of measures known to be extremal. This generalizes and improves the celebrated theorem of Kleinbock and Margulis [{\it Invent. Math.} {\bf 138}(3) (1999), 451--494] resolving Sprind\v zuk's conjecture, as well as its extension by Kleinbock, Lindenstrauss, and Weiss [On fractal measures and Diophantine approximation. {\it Selecta Math.} {\bf 10} (2004), 479--523], hereafter abbreviated KLW. As applications we prove the extremality of all hyperbolic measures of smooth dynamical systems with sufficiently large Hausdorff dimension, and of the Patterson--Sullivan measures of all nonplanar geometrically finite groups. The key technical idea, which has led to a plethora of new applications, is a significant weakening of KLW's sufficient conditions for extremality. In the first of this series of papers [{\it Selecta Math.} {\bf 24}(3) (2018), 2165--2206], we introduce and develop a systematic account of two classes of measures, which we call {\it quasi-decaying} and {\it weakly quasi-decaying}. We prove that weak quasi-decay implies strong extremality in the matrix approximation framework, as well as proving the ``inherited exponent of irrationality'' version of this theorem. In this paper, the second of the series, we establish sufficient conditions on various classes of conformal dynamical systems for their measures to be quasi-decaying. In particular, we prove the above-mentioned result about Patterson--Sullivan measures, and we show that equilibrium states (including conformal measures) of nonplanar infinite iterated function systems (including those which do not satisfy the open set condition) and rational functions are quasi-decaying., Comment: Link to Part I: arXiv:1504.04778

This article gives a class of Nullstellensätze for noncommutative polynomials. The singularity set of a noncommutative polynomial $f=f(x_1,\dots ,x_g)$ is $\mathscr{Z}(\,f)=(\mathscr{Z}_n(\,f))_n$, where $\mathscr{Z}_n(\,f)=\{X \in{\operatorname{M}}_{n}({\mathbb{C}})^g \colon \det f(X) = 0\}.$ The 1st main theorem of this article shows that the irreducible factors of $f$ are in a natural bijective correspondence with irreducible components of $\mathscr{Z}_n(\,f)$ for every sufficiently large $n$. With each polynomial $h$ in $x$ and $x^*$ one also associates its real singularity set $\mathscr{Z}^{{\operatorname{re}}}(h)=\{X\colon \det h(X,X^*)=0\}$. A polynomial $f$ that depends on $x$ alone (no $x^*$ variables) will be called analytic. The main Nullstellensatz proved here is as follows: for analytic $f$ but for $h$ dependent on possibly both $x$ and $x^*$, the containment $\mathscr{Z}(\,f) \subseteq \mathscr{Z}^{{\operatorname{re}}} (h)$ is equivalent to each factor of $f$ being “stably associated” to a factor of $h$ or of $h^*$. For perspective, classical Hilbert-type Nullstellensätze typically apply only to analytic polynomials $f,h $, while real Nullstellensätze typically require adjusting the functions by sums of squares of polynomials (sos). Since the above “algebraic certificate” does not involve a sos, it seems justified to think of this as the natural determinantal Hilbert Nullstellensatz. An earlier paper of the authors (Adv. Math. 331 (2018): 589–626) obtained such a theorem for special classes of analytic polynomials $f$ and $h$. This paper requires few hypotheses and hopefully brings this type of Nullstellensatz to near final form. Finally, the paper gives a Nullstellensatz for zeros ${\mathcal{V}}(\,f)=\{X\colon f(X,X^*)=0\}$ of a hermitian polynomial $f$, leading to a strong Positivstellensatz for quadratic free semialgebraic sets by the use of a slack variable.

In this paper, we show how to use the framework of mod-Gaussian convergence in order to study the fluctuations of certain models of random graphs, of random permutations and of random integer partitions. We prove that, in these three frameworks, a generic homogeneous observable of a generic random model is mod-Gaussian under an appropriate renormalisation. This implies a central limit theorem with an extended zone of normality, a moderate deviation principle, an estimate of the speed of convergence, a local limit theorem and a concentration inequality. The universal asymptotic behavior of the observables of these models gives rise to a notion of mod-Gaussian moduli space., Comment: New version: the paper has been slightly shortened, and a few references were added. 52 pages, 13 figures

This paper is a follow up of [6]. We investigate the boundedness of the bilinear fractional integral operator introduced by Grafakos in [3]. When the local integrability index $s$ falls 1 with weights and $t$ exceeds 1, He and Yan obtained some results on this operator was worked on Morrey spaces earlier in [7]. Later in the paper [6], we considered the case $t=1$. This paper handles the remaining case $0, Comment: 9 PAGES

In this paper we analyze a class of trace finite element methods for the discretization of vector-Laplace equations. A key issue in the finite element discretization of such problems is the treatment of the constraint that the unknown vector field must be tangential to the surface (‘tangent condition’). We study three different natural techniques for treating the tangent condition, namely a consistent penalty method, a simpler inconsistent penalty method and a Lagrange multiplier method. The main goal of the paper is to present an analysis that reveals important properties of these three different techniques for treating the tangent constraint. A detailed error analysis is presented that takes the approximation of both the geometry of the surface and the solution of the partial differential equation into account. Error bounds in the energy norm are derived that show how the discretization error depends on relevant parameters such as the degree of the polynomials used for the approximation of the solution, the degree of the polynomials used for the approximation of the level set function that characterizes the surface, the penalty parameter and the degree of the polynomials used for the approximation of the Lagrange multiplier.

Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $\chi_{\rho}(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs. In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $\Delta$ times ($\Delta$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$., Comment: 24 pages

This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of genera and ideal complexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the results of Yu on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigation., Comment: 23 pages. Section 5.4 corrected

In the study of the constant in Ahlfors' second fundamental theorem involving a set E_{q} of q points, branch values of covering surfaces outside E_{q} bring a lot of troubles. To avoid this situation, for a given surface S, it is useful to construct a new surface So such that L(So) =H(S), and all branch values of So are contained in E_{q}. The goal of this paper is to prove the existence of such So, which generalizes Lemma 9.1 and Theorem 10.1 in Zhang G.Y.: The precise bound for the area-length ratio in Ahifors' theory of covering surfaces. Invent math 191:197-253(2013), This paper is a preparation for the further research on Ahlfors' theorey of covering surfaces

The theory of mixed multiplicities of filtrations by $m$-primary ideals in a ring is introduced in a recent paper by Cutkosky, Sarkar and Srinivasan. In this paper, we consider the positivity of mixed multiplicities of filtrations. We show that the mixed multiplicities of filtrations must be nonnegative real numbers and give examples to show that they could be zero or even irrational. When $R$ is analytically irreducible, and $\mathcal I(1),\ldots,\mathcal I(r)$ are filtrations of $R$ by $m_R$-primary ideals, we show that all of the mixed multiplicities $e_R(\mathcal I(1)^{[d_1]},\ldots,\mathcal I(r)^{[d_r]};R)$ are positive if and only if the ordinary multiplicities $e_R(\mathcal I(i);R)$ for $1\le i\le r$ are positive. We extend this to modules and prove a simple characterization of when the mixed multiplicities are positive or zero on a finitely generated module., 15 pages

This is a follow-up of the paper J. Fernandez-Bonder, A. Ritorto and A. Salort, H-convergence result for nonlocal elliptic-type problems via Tartar’s method, SIAM J. Math. Anal., 49 (2017), pp. 2387–2408, where the classical concept of H-convergence was extended to fractional $$p$$ -Laplace type operators. In this short paper we provide an explicit characterization of this notion by demonstrating that the weak- $$*$$ convergence of the coefficients is an equivalent condition for H-convergence of the sequence of nonlocal operators. This result takes advantage of nonlocality and is in stark contrast to the local $$p$$ -Laplacian case.

It is well known that the problem solving equations in virtually free groups can be reduced to the problem of solving twisted word equations with regular constraints over free monoids with involution. In this paper we prove that the set of all solutions of a twisted word equation is an EDT0L language whose specification can be computed in $\mathsf{PSPACE}$. Within the same complexity bound we can decide whether the solution set is empty, finite, or infinite. In the second part of the paper we apply the results for twisted equations to obtain in $\mathsf{PSPACE}$ an EDT0L description of the solution set of equations with rational constraints for finitely generated virtually free groups in standard normal forms with respect to a natural set of generators. If the rational constraints are given by a homomorphism into a fixed (or "small enough") finite monoid, then our algorithms can be implemented in $\mathsf{NSPACE}(n^2\log n)$, that is, in quasi-quadratic nondeterministic space. Our results generalize the work by Lohrey and S\'enizergues (ICALP 2006) and Dahmani and Guirardel (J. of Topology 2010) with respect to both complexity and expressive power. Neither paper gave any concrete complexity bound and the results in these papers are stated for subsets of solutions only, whereas our results concern all solutions., Comment: 72 pages, 14 figures. Small edits to the exposition in Section 15. An extended abstract of a preliminary version of this paper was presented at ICALP 2017

T. Ikeda and H. Katsurada have developed the theory of the Gross-Keating invariant of a quadratic form in their recent papers [IK1] and [IK2]. In particular, they prove that the local factor of the Fourier coefficients of the Siegel-Eisenstein series is completely determined by the Gross-Keating invariant with extra datum, called the extended GK datum, in [IK2]. On the other hand, such local factor is a special case of the local densities for a pair of two quadratic forms. Thus we propose a general question if the local density can be determined by certain series of the Gross-Keating invariants and the extended GK datums. In this paper, we prove that the answer to this question is affirmative, for the local density of a single quadratic form defined over an unramified finite extension of $\mathbb{Z}_2$. In the appendix, T. Ikeda and H. Katsurada compute the local density formula of a single binary quadratic form defined over any finite extension of $\mathbb{Z}_2$., 32 pages

In [10], Pickrell fully characterizes the unitarily invariant probability measures on infinite Hermitian matrices. An alternative proof of this classification is given by Olshanski and Vershik in [9], and in [3] Borodin and Olshanski deduce from this proof that under any of these invariant measures, the extreme eigenvalues of the minors, divided by the dimension, converge almost surely. In this paper, we prove that one also has a weak convergence for the eigenvectors, in a sense that is made precise. After mapping Hermitian to unitary matrices via the Cayley transform, our result extends a convergence proven in our paper with Maples and Nikeghbali [6], for which a coupling of the circular unitary ensemble of all dimensions is considered.

In this paper, a G-shift of finite type (G-SFT) is a shift of finite type together with a free continuous shift-commuting action by a finite group G. We reduce the classification of G-SFTs up to equivariant flow equivalence to an algebraic classification of a class of poset-blocked matrices over the integral group ring of G. For a special case of two irreducible components with G$=\mathbb Z_2$, we compute explicit complete invariants. We relate our matrix structures to the Adler-Kitchens-Marcus group actions approach. We give examples of G-SFT applications, including a new connection to involutions of cellular automata., The paper has been augmented considerably and the second version is now 81 pages long. This version has been accepted for publication in Transactions of the American Mathematical Society

The hypergeometric solutions of the KZ equations were constructed almost 30 years ago. The polynomial solutions of the KZ equations over the finite field $F_p$ with a prime number $p$ of elements were constructed recently. In this paper we consider the example of the KZ equations whose hypergeometric solutions are given by hyperelliptic integrals of genus $g$. It is known that in this case the total $2g$-dimensional space of holomorphic solutions is given by the hyperelliptic integrals. We show that the recent construction of the polynomial solutions over the field $F_p$ in this case gives only a $g$-dimensional space of solutions, that is, a "half" of what the complex analytic construction gives. We also show that all the constructed polynomial solutions over the field $F_p$ can be obtained by reduction modulo $p$ of a single distinguished hypergeometric solution. The corresponding formulas involve the entries of the Cartier-Manin matrix of the hyperelliptic curve. That situation is analogous to the example of the elliptic integral considered in the classical Y.I. Manin's paper in 1961., Latex, 16 pages

Bidimensionality Theory was introduced by [E.D. Demaine, F.V. Fomin, M.Hajiaghayi, and D.M. Thilikos. Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs, J. ACM, 52 (2005), pp.866--893] as a tool to obtain sub-exponential time parameterized algorithms on H-minor-free graphs. In [E.D. Demaine and M.Hajiaghayi, Bidimensionality: new connections between FPT algorithms and PTASs, in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), SIAM, 2005, pp.590--601] this theory was extended in order to obtain polynomial time approximation schemes (PTASs) for bidimensional problems. In this work, we establish a third meta-algorithmic direction for bidimensionality theory by relating it to the existence of linear kernels for parameterized problems. In particular, we prove that every minor (respectively contraction) bidimensional problem that satisfies a separation property and is expressible in Countable Monadic Second Order Logic (CMSO), admits a linear kernel for classes of graphs that exclude a fixed graph (respectively an apex graph) H as a minor. Our results imply that a multitude of bidimensional problems g graph classes. For most of these problems no polynomial kernels on H-minor-free graphs were known prior to our work., Comment: An an earlier version of this paper appeared in SODA 2010. That paper contained preliminary versions of some of the results of this paper

Let (G, V) be a prehomogeneous vector space, let O be any G(F_q)-invariant subset of V(F_q), and let f be the characteristic function of O. In this paper we develop a method for explicitly and efficiently evaluating the Fourier transform of f, based on combinatorics and linear algebra. We then carry out these computations in full for each of five prehomogeneous vector spaces, including the 12-dimensional space of pairs of ternary quadratic forms. Our computations reveal that these Fourier transforms enjoy a great deal of structure, and sometimes exhibit more than square root cancellation on average. These Fourier transforms naturally arise in analytic number theory, where explicit formulas (or upper bounds) lead to sieve level of distribution results for related arithmetic sequences. We describe some examples, and in a companion paper we develop a new method to do so, designed to exploit the particular structure of these Fourier transforms., 28 pages; to appear in American Journal of Mathematics. Includes a table after the bibliography. Also includes relevant PARI/GP code, embedded as a comment in the LaTeX code

In this paper, we analyzed the physical meaning of scalar curvatures for a generalized Riemannian space. It is developed the Madsen's formulae for pressures and energy-densities with respect to the corresponding energy-momentum tensors. After that, the energy-momentum tensors, pressures, energy-densities and state-parameters are analyzed with respect to different concepts of generalized Riemannian spaces. At the end of this paper, linearities of the energy-momentum tensor, pressure, energy-density and the state-parameter are examined., Comment: 17 pages, 0 figures, manuscript

In this paper we provide quantitative Bloom type estimates for iterated commutators of fractional integrals improving and extending results from a work of Holmes, Rahm and Spencer. We give new proofs for those inequalities relying upon a new sparse domination that we provide as well in this paper and also in techniques developed in a recent paper due to Lerner, Ombrosi and the third author. We extend as well the necessity established in the work of Holmes, Rahm and Spencer to iterated commutators providing a new proof. As a consequence of the preceding results we recover the one weight estimates in works of Cruz-Uribe and Moen and B\'enyi, Martell, Moen, Stachura, Torres and establish the sharpness in the iterated case. Our result provides as well a new characterization of the BMO space., Comment: 18 pages

In this paper, we propose and study the polar Orlicz-Minkowski problems: under what conditions on a nonzero finite measure $\mu$ and a continuous function $\varphi:(0,\infty)\rightarrow(0,\infty)$, there exists a convex body $K\in\mathcal{K}_0$ such that $K$ is an optimizer of the following optimization problems: \begin{equation*} \inf/\sup \bigg\{\int_{S^{n-1}}\varphi\big( h_L \big) \,d \mu: L \in \mathcal{K}_{0} \ \text{and}\ |L^\circ|=\omega_{n}\bigg\}. \end{equation*} The solvability of the polar Orlicz-Minkowski problems is discussed under different conditions. In particular, under certain conditions on $\varphi,$ the existence of a solution is proved for a nonzero finite measure $\mu$ on $S^{n-1}$ which is not concentrated on any hemisphere of $S^{n-1}.$ Another part of this paper deals with the $p$-capacitary Orlicz-Petty bodies. In particular, the existence of the $p$-capacitary Orlicz-Petty bodies is established and the continuity of the $p$-capacitary Orlicz-Petty bodies is proved., Comment: This paper has been accepted by Indiana University Mathematics Journal

The standard $L$-functions of $\mathrm{GL}_{2n}$ expressed in terms of the Friedberg-Jacquet global zeta integrals have better structure for arithmetic applications, due to the relation of the linear periods with the modular symbols. The most technical obstacles towards such arithmetic applications are (1) non-vanishing of modular symbols at infinity and (2) the existance or construction of uniform cohomological test vectors. Problem (1) is also called the non-vanishing hypothesis at infinity, which was proved by Binyong Sun, by establishing the existence of certain cohomological test vectors. In this paper, we explicitly construct an archimedean local integral that produces a new type of a twisted linear functional $\Lambda_{s,\chi}$, which, when evaluated with our explicitly constructed cohomological vector, is equal to the local twisted standard $L$-function $L(s,\pi\otimes\chi)$ as a meromorphic function of $s\in \mathbb{C}$. With the relations between linear models and Shalika models, we establish (1) with an explicitly constructed cohomological vector, and hence recovers a non-vanishing result of Binyong Sun via a completely different method. Our main result indicates a complete solution to (2), which will be presented in a paper of Dihua Jiang, Binyong Sun and Fangyang Tian with full details and with applications to the global period relations for the twisted standard $L$-functions at critical places., Comment: 39 pages. The current version of this paper is significantly shorter than the previous one, as the first author pointed out a conceptual intepretation of construction of cohomological test vector in the old version of this paper. Section 4 is completely rewritten. Also fix some inaccuracies

If $G$ is a group, a virtual retract of $G$ is a subgroup which is a retract of a finite index subgroup. Most of the paper focuses on two group properties: property (LR), that all finitely generated subgroups are virtual retracts, and property (VRC), that all cyclic subgroups are virtual retracts. We study the permanence of these properties under commensurability, amalgams over retracts, graph products and wreath products. In particular, we show that (VRC) is stable under passing to finite index overgroups, while (LR) is not. The question whether all finitely generated virtually free groups satisfy (LR) motivates the remaining part of the paper, studying virtual free factors of such groups. We give a simple criterion characterizing when a finitely generated subgroup of a virtually free group is a free factor of a finite index subgroup. We apply this criterion to settle a conjecture of Brunner and Burns., 30 pages, 1 figure. v3: added Lemma 5.8 and made minor corrections following referee's comments. This version of the paper has been accepted for publication

In our previous paper we have elaborated a certain signed count of real lines on real projective n-dimensional hypersurfaces of degree 2n-1. Contrary to the honest "cardinal" count, it is independent of the choice of a hypersurface, and by this reason provides a strong lower bound on the honest count. In this count the contribution of a line is its local input to the Euler number of a certain auxiliary vector bundle. The aim of this paper is to present other, in a sense more geometric, interpretations of this local input. One of them results from a generalization of Segre species of real lines on cubic surfaces and another from a generalization of Welschinger weights of real lines on quintic threefolds., Comment: 20 pages, typos are corrected (most essential, in Proposition 4.3.3)

Let $f\in\mathbb{Z}[T]$ be any polynomial of degree $d>1$ and $F\in\mathbb{Z}[X_{0},...,X_{n}]$ an irreducible homogeneous polynomial of degree $e>1$ such that the projective hypersurface $V(F)$ is smooth. In this paper we give a bound for \[ N(f,F,B):=|\{\textbf{x}\in\mathbb{Z}^{n+1}:\max_{0\leq i\leq n}|x_{i}|\leq B,\exists t\in\mathbb{Z}\text{ such that }f(t)=F(\textbf{x})\}|, \] To do this, we introduce a generalization of the Heath-Brown and Munshi's power sieve and we extend two results by Deligne and Katz on estimates for additive and multiplicative characters in many variables., Theorem 1 has been improved. The paper has been reorganized to improve the exposition

Associated to a presentable $\infty$-category $\mathcal{C}$ and an object $X \in \mathcal{C}$ is the tangent $\infty$-category $\mathcal{T}_X\mathcal{C}$, consisting of parameterized spectrum objects over $X$. This gives rise to a cohomology theory, called Quillen cohomology, whose category of coefficients is $\mathcal{T}_X\mathcal{C}$. When $\mathcal{C}$ consists of algebras over a nice $\infty$-operad in a stable $\infty$-category, $\mathcal{T}_X\mathcal{C}$ is equivalent to the $\infty$-category of operadic modules, by work of Basterra--Mandell, Schwede and Lurie. In this paper we develop the model-categorical counterpart of this identification and extend it to the case of algebras over an enriched operad, taking values in a model category which is not necessarily stable. This extended comparison can be used, for example, to identify the cotangent complex of enriched categories, an application we take up in a subsequent paper., Comment: The section concerning stabilization of model categories was separated into an independent paper, appearing now as arXiv:1802.08031

In the first part of the paper, we clarify the connections between several algebraic objects appearing in matroid theory: both partial fields and hyperfields are fuzzy rings, fuzzy rings are tracts, and these relations are compatible with the respective matroid theories. Moreover, fuzzy rings are ordered blueprints and lie in the intersection of tracts with ordered blueprints; we call the objects of this intersection pastures. In the second part, we construct moduli spaces for matroids over pastures. We show that, for any non-empty finite set $E$, the functor taking a pasture $F$ to the set of isomorphism classes of rank-$r$ $F$-matroids on $E$ is representable by an ordered blue scheme $Mat(r,E)$, the moduli space of rank-$r$ matroids on $E$. In the third part, we draw conclusions on matroid theory. A classical rank-$r$ matroid $M$ on $E$ corresponds to a $\mathbb{K}$-valued point of $Mat(r,E)$ where $\mathbb{K}$ is the Krasner hyperfield. Such a point defines a residue pasture $k_M$, which we call the universal pasture of $M$. We show that for every pasture $F$, morphisms $k_M\to F$ are canonically in bijection with $F$-matroid structures on $M$. An analogous weak universal pasture $k_M^w$ classifies weak $F$-matroid structures on $M$. The unit group of $k_M^w$ can be canonically identified with the Tutte group of $M$. We call the sub-pasture $k_M^f$ of $k_M^w$ generated by ``cross-ratios' the foundation of $M$,. It parametrizes rescaling classes of weak $F$-matroid structures on $M$, and its unit group is coincides with the inner Tutte group of $M$. We show that a matroid $M$ is regular if and only if its foundation is the regular partial field, and a non-regular matroid $M$ is binary if and only if its foundation is the field with two elements. This yields a new proof of the fact that a matroid is regular if and only if it is both binary and orientable., 85 pages; some additional material, e.g. a new section 5.6; the terminology has been adapted to the usage in follow-up papers

We study a free boundary problem for a parabolic partial differential equation in which the solution is coupled to the moving boundary through an integral constraint. The problem arises as the hydrodynamic limit of an interacting particle system involving branching Brownian motion with selection, the so-called Brownian bees model which is studied in a companion paper. In this paper we prove existence and uniqueness of the solution to the free boundary problem, and we characterise the behaviour of the solution in the large time limit., Comment: 53 pages

We are interested in the McKay quiver $\Gamma(G)$ and skew group rings $A*G$, where $G$ is a finite subgroup of $\mathrm{GL}(V)$, where $V$ is a finite dimensional vector space over a field $K$, and $A$ is a $K-G$-algebra. These skew group rings appear in Auslander's version of the McKay correspondence. In the first part of this paper we consider complex reflection groups $G \subseteq \mathrm{GL}(V)$ and find a combinatorial method, making use of Young diagrams, to construct the McKay quivers for the groups $G(r,p,n)$. We first look at the case $G(1,1,n)$, which is isomorphic to the symmetric group $S_n$, followed by $G(r,1,n)$ for $r >1$. Then, using Clifford theory, we can determine the McKay quiver for any $G(r,p,n)$ and thus for all finite irreducible complex reflection groups up to finitely many exceptions. In the second part of the paper we consider a more conceptual approach to McKay quivers of arbitrary finite groups: we define the Lusztig algebra $\widetilde A(G)$ of a finite group $G \subseteq \mathrm{GL}(V)$, which is Morita equivalent to the skew group ring $A*G$. This description gives us an embedding of the basic algebra Morita equivalent to $A*G$ into a matrix algebra over $A$., Comment: v2: minor revision, final version to appear in Algebr. Represent. Theory

We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $\psi$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach. Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $\gamma$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $\gamma$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$. We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3\pi g}}\cdot\frac{1}{4^g}$ times less frequent., Comment: The current paper (as well as the companion paper arXiv:2007.04740) has grown from arxiv:1908.08611. The conjectures stated in arXiv:1908.08611 are proved by A. Aggarwal in arXiv:2004.05042

Chinta and Gunnells introduced a rather intricate multi-parameter Weyl group action on rational functions on a torus, which, when the parameters are specialized to certain Gauss sums, describes the functional equations of Weyl group multiple Dirichlet series associated to metaplectic (n-fold) covers of algebraic groups. In subsequent joint work with Puskas, they extended this action to a "metaplectic" representation of the equal parameter affine Hecke algebra, which allowed them to obtain explicit formulas for the p-parts of these Dirichlet series. They have also verified by a computer check the remarkable fact that their formulas continue to define a group action for general (unspecialized) parameters. In the first part of paper we give a conceptual explanation of this fact, by giving a uniform and elementary construction of the "metaplectic" representation for generic Hecke algebras as a suitable quotient of a parabolically induced affine Hecke algebra module, from which the associated Chinta-Gunnells Weyl group action follows through localization. In the second part of the paper we extend the metaplectic representation to the double affine Hecke algebra, which provides a generalization of Cherednik's basic representation. This allows us to introduce a new family of "metaplectic" polynomials, which generalize nonsymmetric Macdonald polynomials. In this paper, we provide the details of the construction of metaplectic polynomials in type A; the general case will be handled in the sequel to this paper., 39 pages. Version 2 is a significant revision. Added second part introducing a new family of "metaplectic" polynomials, which generalize nonsymmetric Macdonald polynomials and metaplectic Iwahori-Whittaker functions. Title has been changed and the introduction has been expanded

In this paper we study the geodesic flow for a particular class of Riemannian non-compact manifolds with variable pinched negative sectional curvature. For a sequence of invariant measures we are able to prove results relating the loss of mass and bounds on the measure entropies. We compute the entropy contribution of the cusps. We develop and study the corresponding thermodynamic formalism. We obtain certain regularity results for the pressure of a class of potentials. We prove that the pressure is real analytic until it undergoes a phase transition, after which it becomes constant. Our techniques are based on the one side on symbolic methods and Markov partitions and on the other on geometric techniques and approximation properties at level of groups., 34 pages, 4 figures. In this new version we have improved the organization of the paper and the clarity of some statements

A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable log maps of maximal tangency. We ask how various natural components of the moduli space contribute to the log Gromov-Witten invariants. The first such calculation by Gross-Pandharipande-Siebert deals with multiple covers over rigid curves in the log Calabi-Yau setting. As a natural continuation, in this paper we compute the contributions of non-rigid irreducible curves in the log Calabi-Yau setting and that of the union of two rigid curves in general position. For the former, we construct and study a moduli space of "logarithmic" 1-dimensional sheaves and compare the resulting multiplicity with tropical multiplicity. For the latter, we explicitly describe the components of the moduli space and work out the logarithmic deformation theory in full, which we then compare with the deformation theory of the analogous relative stable maps., Comment: Added two example sections including a comparison with tropical multiplicity. 53 pages, 4 figures

The purpose of this paper is to analyze solutions of a non-local nonlinear partial integro-differential equation (PIDE) in multidimensional spaces. Such class of PIDE often arises in financial modeling. We employ the theory of abstract semilinear parabolic equations in order to prove existence and uniqueness of solutions in the scale of Bessel potential spaces. We consider a wide class of Lévy measures satisfying suitable growth conditions near the origin and infinity. The novelty of the paper is the generalization of already known results in the one space dimension to the multidimensional case. We consider Black–Scholes models for option pricing on underlying assets following a Lévy stochastic process with jumps. As an application to option pricing in the one-dimensional space, we consider a general shift function arising from a nonlinear option pricing model taking into account a large trader stock-trading strategy. We prove existence and uniqueness of a solution to the nonlinear PIDE in which the shift function may depend on a prescribed large investor stock-trading strategy function.

In this paper, we introduce a general family of $q$-hypergeometric polynomials and investigate several $q$-series identities such as an extended generating function and a Srivastava-Agarwal type bilinear generating function for this family of $q$-hypergeometric polynomials. We give a transformational identity involving generating functions for the generalized $q$-hypergeometric polynomials which we have introduced here. We also point out relevant connections of the various $q$-results, which we investigate here, with those in several related earlier works on this subject. We conclude this paper by remarking that it will be a rather trivial and inconsequential exercise to give the so-called $(p,q)$-variations of the $q$-results, which we have investigated here, because the additional parameter $p$ is obviously redundant., 14 pages

In a companion paper to this one, we proved that the Gromov--Witten theory of a Fano orbifold line of type $D$ is governed by a system of Hirota Bilinear Equations. The goal of this paper is to prove that every solution to the Hirota Bilinear Equations determines a solution to a new integrable hierarchy of Lax equations. We suggest the name extended D-Toda hierarchy for this new system of Lax equations, because it should be viewed as the analogue of Carlet's extended bi-graded Toda hierarchy, which is known to govern the Gromov--Witten theory of Fano orbifold lines of type $A$, 73 pages

We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming the Generalized Riemann Hypothesis. The error term in this new Chebotarev density theorem also avoids the effect of an exceptional zero of the Dedekind zeta function of $L$, without assuming GRH. We give many different "appropriate families," including families of arbitrarily large degree. To do this, we first prove a new effective Chebotarev density theorem that requires a zero-free region of the Dedekind zeta function. Then we prove that almost all number fields in our families yield such a zero-free region. The innovation that allows us to achieve this is a delicate new method for controlling zeroes of certain families of non-cuspidal $L$-functions. This builds on, and greatly generalizes the applicability of, work of Kowalski and Michel on the average density of zeroes of a family of cuspidal $L$-functions. A surprising feature of this new method, which we expect will have independent interest, is that we control the number of zeroes in the family of $L$-functions by bounding the number of certain associated fields with fixed discriminant. As an application of the new Chebotarev density theorem, we prove the first nontrivial upper bounds for $\ell$-torsion in class groups, for all integers $\ell \geq 1$, applicable to infinite families of fields of arbitrarily large degree., Comment: 52 pages. This shorter version aligns with the published paper. Note that portions of Section 8 of the longer v1 have been developed as a separate paper with identifier arXiv:1902.02008

We study a Markovian agent-based model (MABM) in this paper. Each agent is endowed with a local state that changes over time as the agent interacts with its neighbours. The neighbourhood structure is given by a graph. In a recent paper [Simon et al. 2011], the authors used the automorphisms of the underlying graph to generate a lumpable partition of the joint state space ensuring Markovianness of the lumped process for binary dynamics. However, many large random graphs tend to become asymmetric rendering the automorphism-based lumping approach ineffective as a tool of model reduction. In order to mitigate this problem, we propose a lumping method based on a notion of local symmetry, which compares only local neighbourhoods of vertices. Since local symmetry only ensures approximate lumpability, we quantify the approximation error by means of Kullback-Leibler divergence rate between the original Markov chain and a lifted Markov chain. We prove the approximation error decreases monotonically. The connections to fibrations of graphs are also discussed., Comment: 28 pages, 4 figures

International audience; This article is the continuation of our first work on the determination of the cases where there is equality in Courant's Nodal Domain theorem in the case of a Robin boundary condition (with Robin parameter h). For the square, our first paper focused on the case where h is large and extended results that were obtained by Pleijel, Bérard-Helffer, for the problem with a Dirichlet boundary condition. There, we also obtained some general results about the behaviour of the nodal structure (for planar domains) under a small deformation of h, where h is positive and not close to 0. In this second paper, we extend results that were obtained by Helffer-Persson-Sundqvist for the Neumann problem to the case where h > 0 is small. MSC classification (2010): 35P99, 58J50, 58J37.

Let $L$ be a fixed branch -- that is, an irreducible germ of curve -- on a normal surface singularity $X$. If $A,B$ are two other branches, define $u_L(A,B) := \dfrac{(L \cdot A) \: (L \cdot B)}{A \cdot B}$, where $A \cdot B$ denotes the intersection number of $A$ and $B$. Call $X$ arborescent if all the dual graphs of its resolutions are trees. In a previous paper, the first three authors extended a 1985 theorem of P{\l}oski by proving that whenever $X$ is arborescent, the function $u_L$ is an ultrametric on the set of branches on $X$ different from $L$. In the present paper we prove that, conversely, if $u_L$ is an ultrametric, then $X$ is arborescent. We also show that for any normal surface singularity, one may find arbitrarily large sets of branches on $X$, characterized uniquely in terms of the topology of the resolutions of their sum, in restriction to which $u_L$ is still an ultrametric. Moreover, we describe the associated tree in terms of the dual graphs of such resolutions. Then we extend our setting by allowing $L$ to be an arbitrary semivaluation on $X$ and by defining $u_L$ on a suitable space of semivaluations. We prove that any such function is again an ultrametric if and only if $X$ is arborescent, and without any restriction on $X$ we exhibit special subspaces of the space of semivaluations in restriction to which $u_L$ is still an ultrametric., Comment: 50 pages, 14 figures. Final version

For a finite involutive non-degenerate solution $(X,r)$ of the Yang--Baxter equation it is known that the structure monoid $M(X,r)$ is a monoid of I-type, and the structure algebra $K[M(X,r)]$ over a field $K$ share many properties with commutative polynomial algebras, in particular, it is a Noetherian PI-domain that has finite Gelfand--Kirillov dimension. In this paper we deal with arbitrary finite (left) non-degenerate solutions. Although the structure of both the monoid $M(X,r)$ and the algebra $K[M(X,r)]$ is much more complicated than in the involutive case, we provide some deep insights. In this general context, using a realization of Lebed and Vendramin of $M(X,r)$ as a regular submonoid in the semidirect product $A(X,r)\rtimes\mathrm{Sym}(X)$, where $A(X,r)$ is the structure monoid of the rack solution associated to $(X,r)$, we prove that $K[M(X,r)]$ is a module finite normal extension of a commutative affine subalgebra. In particular, $K[M(X,r)]$ is a Noetherian PI-algebra of finite Gelfand--Kirillov dimension bounded by $|X|$. We also characterize, in ring-theoretical terms of $K[M(X,r)]$, when $(X,r)$ is an involutive solution. This characterization provides, in particular, a positive answer to the Gateva-Ivanova conjecture concerning cancellativity of $M(X,r)$. These results allow us to control the prime spectrum of the algebra $K[M(X,r)]$ and to describe the Jacobson radical and prime radical of $K[M(X,r)]$. Finally, we give a matrix-type representation of the algebra $K[M(X,r)]/P$ for each prime ideal $P$ of $K[M(X,r)]$. As a consequence, we show that if $K[M(X,r)]$ is semiprime then there exist finitely many finitely generated abelian-by-finite groups, $G_1,\dotsc,G_m$, each being the group of quotients of a cancellative subsemigroup of $M(X,r)$ such that the algebra $K[M(X,r)]$ embeds into $\mathrm{M}_{v_1}(K[G_1])\times\dotsb\times \mathrm{M}_{v_m}(K[G_m])$., A subtle mistake in the proof of Theorem 4.4 has been corrected (will appear in a corrigendum et addendum, TAMS). In the latter paper we also strengthen some of the results by removing the "square free'' condition in Section 5 and in this paper we also prove new homological equivalences in Theorem 4.4

In the present paper, we define a notion of good coverings of Alexandrov spaces with curvature bounded below, and prove that every Alexandrov space admits such a good covering and that it has the same homotopy type as the nerve of the good covering. We also prove the stability of the isomorphism classes of the nerves of good coverings in the non-collapsing case. In the proof, we need a version of Perelman's fibration theorem, which is also proved in this paper., Minor change basically on the proof of Theorem 1.2 in Section 5

We introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollob\'as and Riordan to sparse graphs without dense spots. In doing so, we replace the no dense spots hypothesis with weaker assumptions, which allow us to analyze graphs with power law degree distributions. This gives the first broadly applicable limit theory for sparse graphs with unbounded average degrees. In this paper, we lay the foundations of the $L^p$ theory of graphons, characterize convergence, and develop corresponding random graph models, while we prove the equivalence of several alternative metrics in a companion paper., Comment: 44 pages