1,571 results
Search Results
2. Remark on the paper 'On products of Fourier coefficients of cusp forms'
- Author
-
Yuk-Kam Lau, Deyu Zhang, and Yingnan Wang
- Subjects
Cusp (singularity) ,Discrete group ,Mathematics::Number Theory ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Holomorphic function ,02 engineering and technology ,01 natural sciences ,Cusp form ,Combinatorics ,Integer ,Product (mathematics) ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,0101 mathematics ,Fourier series ,Mathematics - Abstract
Let a(n) be the Fourier coefficient of a holomorphic cusp form on some discrete subgroup of \(SL_2({\mathbb R})\). This note is to refine a recent result of Hofmann and Kohnen on the non-positive (resp. non-negative) product of \(a(n)a(n+r)\) for a fixed positive integer r.
- Published
- 2016
3. On D.Y. Gao and X. Lu paper 'On the extrema of a nonconvex functional with double-well potential in 1D'
- Author
-
Constantin Zălinescu
- Subjects
021103 operations research ,Applied Mathematics ,General Mathematics ,0211 other engineering and technologies ,General Physics and Astronomy ,Double-well potential ,02 engineering and technology ,Space (mathematics) ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Maxima and minima ,35J20, 35J60, 74G65, 74S30 ,Optimization and Control (math.OC) ,FOS: Mathematics ,Preprint ,0101 mathematics ,Constant (mathematics) ,Mathematics - Optimization and Control ,Subspace topology ,Mathematics - Abstract
The aim of this paper is to discuss the main result in the paper by D.Y. Gao and X. Lu [On the extrema of a nonconvex functional with double-well potential in 1D, Z. Angew. Math. Phys. (2016) 67:62]. More precisely we provide a detailed study of the problem considered in that paper, pointing out the importance of the norm on the space $C^{1}[a,b]$; because no norm (topology) is mentioned on $C^{1}[a,b]$ we look at it as being a subspace of $W^{1,p}(a,b)$ for $p\in [1,\infty]$ endowed with its usual norm. We show that the objective function has not local extrema with the mentioned constraints for $p\in [1,4)$, and has (up to an additive constant) only a local maximizer for $p=\infty$, unlike the conclusion of the main result of the discussed paper where it is mentioned that there are (up to additive constants) two local minimizers and a local maximizer. We also show that the same conclusions are valid for the similar problem treated in the preprint by X. Lu and D.Y. Gao [On the extrema of a nonconvex functional with double-well potential in higher dimensions, arXiv:1607.03995]., 12 pages; in this version we added the forgotten condition $F(x) \ne 0$ for $x\in (a,b)$ on page 3
- Published
- 2017
4. Fractional Factorials and Prime Numbers (A Remark on the Paper 'On Prime Values of Some Quadratic Polynomials')
- Author
-
A. N. Andrianov
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Prime element ,01 natural sciences ,Prime k-tuple ,Prime (order theory) ,010305 fluids & plasmas ,Combinatorics ,0103 physical sciences ,Prime factor ,Unique prime ,0101 mathematics ,Fibonacci prime ,Prime power ,Sphenic number ,Mathematics - Abstract
Congruences mod p for a prime p and partial products of the numbers 1,…, p − 1 are obtained. Bibliography: 2 titles.
- Published
- 2016
5. d-Hermite rings and skew $$\textit{PBW}$$ PBW extensions
- Author
-
Oswaldo Lezama and Claudia Gallego
- Subjects
Hermite polynomials ,Rank (linear algebra) ,General Mathematics ,010102 general mathematics ,Short paper ,Skew ,010103 numerical & computational mathematics ,01 natural sciences ,Combinatorics ,symbols.namesake ,Computational Theory and Mathematics ,Kronecker delta ,symbols ,Kronecker's theorem ,Finitely-generated abelian group ,0101 mathematics ,Statistics, Probability and Uncertainty ,Mathematics - Abstract
In this short paper we study the d-Hermite condition about stably free modules for skew $$\textit{PBW}$$ extensions. For this purpose, we estimate the stable rank of these non-commutative rings. In addition, and closely related with these questions, we will prove Kronecker’s theorem about the radical of finitely generated ideals for some particular types of skew $$\textit{PBW}$$ extensions.
- Published
- 2015
6. Maximal families of nodal varieties with defect
- Author
-
REMKE NANNE KLOOSTERMAN
- Subjects
Surface (mathematics) ,Double cover ,Degree (graph theory) ,Plane (geometry) ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Combinatorics ,Mathematics - Algebraic Geometry ,Hypersurface ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,NODAL ,Algebraic Geometry (math.AG) ,Mathematics - Abstract
In this paper we prove that a nodal hypersurface in P^4 with defect has at least (d-1)^2 nodes, and if it has at most 2(d-2)(d-1) nodes and d>6 then it contains either a plane or a quadric surface. Furthermore, we prove that a nodal double cover of P^3 ramified along a surface of degree 2d with defect has at least d(2d-1) nodes. We construct the largest dimensional family of nodal degree d hypersurfaces in P^(2n+2) with defect for d sufficiently large., v2: A proof for the Ciliberto-Di Gennaro conjecture is added (Section 5); Some minor corrections in the other sections. v3: some minor corrections in the abstract v4: The proof for the Ciliberto-Di Gennaro conjecture has been modified; The paper is split into two parts, the complete intersection case will be discussed in a different paper
- Published
- 2021
7. Limit theorems for linear random fields with tapered innovations. II: The stable case
- Author
-
Vygantas Paulauskas and Julius Damarackas
- Subjects
Combinatorics ,010104 statistics & probability ,Number theory ,Random field ,General Mathematics ,010102 general mathematics ,Limit (mathematics) ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In the paper, we consider the limit behavior of partial-sum random field (r.f.) $$ \left.{S}_n\left({t}_1,{t}_2;\right)X\left(b\left(\mathbf{n}\right)\right)\right)={\sum}_{k=1}^{\left[{n}_1{t}_1\right]}{\sum}_{l=1}^{\left[{n}_2{t}_2\right]}{X}_{k,l}\left(b\left(\mathbf{n}\right)\right), $$ where $$ \left\{{X}_{k,l}\left(b\left(\mathbf{n}\right)\right)={\sum}_{i=0}^{\infty }{\sum}_{j=0}^{\infty }{c}_{i,j}{\upxi}_{k-i,l-j}\left(b\left(\mathbf{n}\right)\right),k,l\in \mathrm{\mathbb{Z}}\right\},n\ge 1, $$ is a family (indexed by n = (n1, n2), ni ≥ 1) of linear r.f.s with filter ci,j = aibj and innovations ξk,l(b(n)) having heavy-tailed tapered distributions with tapering parameter b(n) growing to infinity as n → ∞. In [V. Paulauskas, Limit theorems for linear random fields with tapered innovations. I: The Gaussian case, Lith. Math. J., 61(2):261–273, 2021], we considered the so-called hard tapering as b(n) grows relatively slowly and the limit r.f.s for appropriately normalized Sn(t1, t2;X(b(n))) are Gaussian. In this paper, we consider the case of soft tapering where b(n) grows more rapidly in comparison with the case of hard tapering and stable limit r.f.s.We consider cases where the sequences {ai} and {bj} are long-range, short-range, and negatively dependent.
- Published
- 2021
8. Degrees of Enumerations of Countable Wehner-Like Families
- Author
-
I. Sh. Kalimullin and M. Kh. Faizrahmanov
- Subjects
Statistics and Probability ,Class (set theory) ,Degree (graph theory) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Spectrum (topology) ,010305 fluids & plasmas ,Combinatorics ,0103 physical sciences ,Enumeration ,Countable set ,Family of sets ,0101 mathematics ,Turing ,computer ,Finite set ,computer.programming_language ,Mathematics - Abstract
This paper is a survey of results on countable families with natural degree spectra. These results were obtained by a modification of the methodology proposed by Wechner, who first found a family of sets with the spectrum consisting precisely of nonzero Turing degrees. Based on this method, many researchers obtained examples of families with other natural spectra. In addition, in this paper we extend these results and present new examples of natural spectra. In particular, we construct a family of finite sets with the spectrum consisting of exactly non-K-trivial degrees and also we find new sufficient conditions on $$ {\Delta}_2^0 $$ -degree a, which guarantees that the class {x : x ≰ a} is the degree spectrum of some family. Finally, we give a survey of our recent results on the degree spectra of α-families, where α is an arbitrary computable ordinal.
- Published
- 2021
9. On the size of subsets of $$\mathbb{F}_p^n$$ without p distinct elements summing to zero
- Author
-
Lisa Sauermann
- Subjects
Mathematics - Number Theory ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Zero (complex analysis) ,Lattice (group) ,0102 computer and information sciences ,Infinity ,01 natural sciences ,Upper and lower bounds ,Prime (order theory) ,Combinatorics ,Integer ,010201 computation theory & mathematics ,FOS: Mathematics ,Mathematics - Combinatorics ,Maximum size ,Combinatorics (math.CO) ,Number Theory (math.NT) ,0101 mathematics ,Constant (mathematics) ,media_common ,Mathematics - Abstract
Let us fix a prime $p$. The Erd\H{o}s-Ginzburg-Ziv problem asks for the minimum integer $s$ such that any collection of $s$ points in the lattice $\mathbb{Z}^n$ contains $p$ points whose centroid is also a lattice point in $\mathbb{Z}^n$. For large $n$, this is essentially equivalent to asking for the maximum size of a subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero. In this paper, we give a new upper bound for this problem for any fixed prime $p\geq 5$ and large $n$. In particular, we prove that any subset of $\mathbb{F}_p^n$ without $p$ distinct elements summing to zero has size at most $C_p\cdot \left(2\sqrt{p}\right)^n$, where $C_p$ is a constant only depending on $p$. For $p$ and $n$ going to infinity, our bound is of the form $p^{(1/2)\cdot (1+o(1))n}$, whereas all previously known upper bounds were of the form $p^{(1-o(1))n}$ (with $p^n$ being a trivial bound). Our proof uses the so-called multi-colored sum-free theorem which is a consequence of the Croot-Lev-Pach polynomial method. This method and its consequences were already applied by Naslund as well as by Fox and the author to prove bounds for the problem studied in this paper. However, using some key new ideas, we significantly improve their bounds., Comment: 11 pages
- Published
- 2021
10. Approximations in $$L^1$$ with convergent Fourier series
- Author
-
Michael Ruzhansky, Zhirayr Avetisyan, and M. G. Grigoryan
- Subjects
Measurable function ,General Mathematics ,010102 general mathematics ,Hausdorff space ,Second-countable space ,Space (mathematics) ,01 natural sciences ,Functional Analysis (math.FA) ,Separable space ,Mathematics - Functional Analysis ,010101 applied mathematics ,Combinatorics ,Mathematics and Statistics ,Bounded function ,41A99, 43A15, 43A50, 43A85, 46E30 ,Homogeneous space ,FOS: Mathematics ,Orthonormal basis ,0101 mathematics ,Mathematics - Abstract
For a separable finite diffuse measure space $${\mathcal {M}}$$ M and an orthonormal basis $$\{\varphi _n\}$$ { φ n } of $$L^2({\mathcal {M}})$$ L 2 ( M ) consisting of bounded functions $$\varphi _n\in L^\infty ({\mathcal {M}})$$ φ n ∈ L ∞ ( M ) , we find a measurable subset $$E\subset {\mathcal {M}}$$ E ⊂ M of arbitrarily small complement $$|{\mathcal {M}}{\setminus } E| | M \ E | < ϵ , such that every measurable function $$f\in L^1({\mathcal {M}})$$ f ∈ L 1 ( M ) has an approximant $$g\in L^1({\mathcal {M}})$$ g ∈ L 1 ( M ) with $$g=f$$ g = f on E and the Fourier series of g converges to g, and a few further properties. The subset E is universal in the sense that it does not depend on the function f to be approximated. Further in the paper this result is adapted to the case of $${\mathcal {M}}=G/H$$ M = G / H being a homogeneous space of an infinite compact second countable Hausdorff group. As a useful illustration the case of n-spheres with spherical harmonics is discussed. The construction of the subset E and approximant g is sketched briefly at the end of the paper.
- Published
- 2021
11. High perturbations of quasilinear problems with double criticality
- Author
-
Prashanta Garain, Vicenţiu D. Rădulescu, Claudianor O. Alves, Universidade Federal de Campina Grande, Department of Mathematics and Systems Analysis, AGH University of Science and Technology, Aalto-yliopisto, and Aalto University
- Subjects
General Mathematics ,010102 general mathematics ,01 natural sciences ,Omega ,010101 applied mathematics ,Combinatorics ,Qualitative analysis ,Variational methods ,Domain (ring theory) ,Musielak–Sobolev space ,Nabla symbol ,0101 mathematics ,Quasilinear problems ,Mathematics - Abstract
This paper is concerned with the qualitative analysis of solutions to the following class of quasilinear problems $$\begin{aligned} \left\{ \begin{array}{ll} -\Delta _{\Phi }u=f(x,u) &{}\quad \text {in } \Omega ,\\ u=0 &{}\quad \text {on }\partial \Omega , \end{array} \right. \end{aligned}$$ - Δ Φ u = f ( x , u ) in Ω , u = 0 on ∂ Ω , where $$\Delta _{\Phi }u=\mathrm{div}\,(\varphi (x,|\nabla u|)\nabla u)$$ Δ Φ u = div ( φ ( x , | ∇ u | ) ∇ u ) and $$\Phi (x,t)=\int _{0}^{|t|}\varphi (x,s)s\,ds$$ Φ ( x , t ) = ∫ 0 | t | φ ( x , s ) s d s is a generalized N-function. We assume that $$\Omega \subset {\mathbb {R}}^N$$ Ω ⊂ R N is a smooth bounded domain that contains two open regions $$\Omega _N,\Omega _p$$ Ω N , Ω p with $${\overline{\Omega }}_N \cap {\overline{\Omega }}_p=\emptyset $$ Ω ¯ N ∩ Ω ¯ p = ∅ . The features of this paper are that $$-\Delta _{\Phi }u$$ - Δ Φ u behaves like $$-\Delta _N u $$ - Δ N u on $$\Omega _N$$ Ω N and $$-\Delta _p u $$ - Δ p u on $$\Omega _p$$ Ω p , and that the growth of $$f:\Omega \times {\mathbb {R}} \rightarrow {\mathbb {R}}$$ f : Ω × R → R is like that of $$e^{\alpha |t|^{\frac{N}{N-1}}}$$ e α | t | N N - 1 on $$\Omega _N$$ Ω N and as $$|t|^{p^{*}-2}t$$ | t | p ∗ - 2 t on $$\Omega _p$$ Ω p when |t| is large enough. The main result establishes the existence of solutions in a suitable Musielak–Sobolev space in the case of high perturbations with respect to the values of a positive parameter.
- Published
- 2021
12. On the pair correlations of powers of real numbers
- Author
-
Christoph Aistleitner and Simon Baker
- Subjects
11K06, 11K60 ,General Mathematics ,Modulo ,FOS: Physical sciences ,0102 computer and information sciences ,Lebesgue integration ,01 natural sciences ,Combinatorics ,symbols.namesake ,Pair correlation ,FOS: Mathematics ,Number Theory (math.NT) ,0101 mathematics ,Algebra over a field ,Classical theorem ,Mathematical Physics ,Real number ,Mathematics ,Sequence ,Mathematics - Number Theory ,Probability (math.PR) ,010102 general mathematics ,Mathematical Physics (math-ph) ,010201 computation theory & mathematics ,symbols ,Martingale (probability theory) ,Mathematics - Probability - Abstract
A classical theorem of Koksma states that for Lebesgue almost every $x>1$ the sequence $(x^n)_{n=1}^{\infty}$ is uniformly distributed modulo one. In the present paper we extend Koksma's theorem to the pair correlation setting. More precisely, we show that for Lebesgue almost every $x>1$ the pair correlations of the fractional parts of $(x^n)_{n=1}^{\infty}$ are asymptotically Poissonian. The proof is based on a martingale approximation method., Version 2: some minor changes. The paper will appear in the Israel Journal of Mathematics
- Published
- 2021
13. Simpson filtration and oper stratum conjecture
- Author
-
Zhi Hu and Pengfei Huang
- Subjects
Mathematics::Dynamical Systems ,Conjecture ,Mathematics::Commutative Algebra ,General Mathematics ,010102 general mathematics ,Dimension (graph theory) ,Vector bundle ,Algebraic geometry ,01 natural sciences ,Moduli space ,Combinatorics ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,Number theory ,0103 physical sciences ,FOS: Mathematics ,Filtration (mathematics) ,010307 mathematical physics ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics::Symplectic Geometry ,Mathematics ,Stratum - Abstract
In this paper, we prove that for the oper stratification of the de Rham moduli space $M_{\mathrm{dR}}(X,r)$, the closed oper stratum is the unique minimal stratum with dimension $r^2(g-1)+g+1$, and the open dense stratum consisting of irreducible flat bundles with stable underlying vector bundles is the unique maximal stratum., Comment: This paper comes from the last section of arXiv:1905.10765v1 as an independent paper. Comments are welcome! To appear in manuscripta mathematica
- Published
- 2021
14. Results on a Conjecture of Chen and Yi
- Author
-
Yan Liu, Xiao-Min Li, and Hong-Xun Yi
- Subjects
010101 applied mathematics ,Combinatorics ,Conjecture ,Integer ,General Mathematics ,Operator (physics) ,010102 general mathematics ,Order (ring theory) ,0101 mathematics ,01 natural sciences ,Meromorphic function ,Mathematics - Abstract
In this paper, we prove that if a nonconstant finite order meromorphic function f and its n-th order difference operator $$\Delta ^n_{\eta }f$$ share $$a_1,$$ $$a_2,$$ $$a_3$$ CM, where n is a positive integer, $$\eta \ne 0$$ is a finite complex value, and $$a_1,$$ $$a_2,$$ $$a_3$$ are three distinct finite complex values, then $$f(z)=\Delta ^n_{\eta }f(z)$$ for each $$z\in \mathbb {C}.$$ The main results in this paper improve and extend many known results concerning a conjecture posed by Chen and Yi in 2013.
- Published
- 2021
15. $$k-$$Fibonacci powers as sums of powers of some fixed primes
- Author
-
Jhonny C. Gómez, Carlos A. Gómez, and Florian Luca
- Subjects
Fibonacci number ,Sums of powers ,010505 oceanography ,General Mathematics ,Diophantine equation ,010102 general mathematics ,Prime number ,Order (ring theory) ,01 natural sciences ,Combinatorics ,Integer ,0101 mathematics ,Finite set ,0105 earth and related environmental sciences ,Mathematics - Abstract
Let $$S=\{p_{1},\ldots ,p_{t}\}$$ be a fixed finite set of prime numbers listed in increasing order. In this paper, we prove that the Diophantine equation $$(F_n^{(k)})^s=p_{1}^{a_{1}}+\cdots +p_{t}^{a_{t}}$$ , in integer unknowns $$n\ge 1$$ , $$s\ge 1,~k\ge 2$$ and $$a_i\ge 0$$ for $$i=1,\ldots ,t$$ such that $$\max \left\{ a_{i}: 1\le i\le t\right\} =a_t$$ has only finitely many effectively computable solutions. Here, $$F_n^{(k)}$$ is the nth k–generalized Fibonacci number. We compute all these solutions when $$S=\{2,3,5\}$$ . This paper extends the main results of [15] where the particular case $$k=2$$ was treated.
- Published
- 2021
16. On graphs with equal total domination and Grundy total domination numbers
- Author
-
Tilen Marc, Tim Kos, Tanja Dravec, and Marko Jakovac
- Subjects
Sequence ,Domination analysis ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,010103 numerical & computational mathematics ,Characterization (mathematics) ,01 natural sciences ,Vertex (geometry) ,Combinatorics ,Dominating set ,Chordal graph ,Bipartite graph ,Discrete Mathematics and Combinatorics ,Projective plane ,0101 mathematics ,Mathematics - Abstract
A sequence $$(v_1,\ldots ,v_k)$$ of vertices in a graph G without isolated vertices is called a total dominating sequence if every vertex $$v_i$$ in the sequence totally dominates at least one vertex that was not totally dominated by $$\{v_1,\ldots , v_{i-1}\}$$ and $$\{v_1,\ldots ,v_k\}$$ is a total dominating set of G. The length of a shortest such sequence is the total domination number of G ( $$\gamma _{t}(G)$$ ), while the length of a longest such sequence is the Grundy total domination number of G ( $$\gamma _{gr}^t(G)$$ ). In this paper we study graphs with equal total and Grundy total domination numbers. We characterize bipartite graphs with both total and Grundy total dominations number equal to 4, and show that there is no connected chordal graph G with $$\gamma _{t}(G)=\gamma _{gr}^t(G)=4$$ . The main result of the paper is a characterization of bipartite graphs with $$\gamma _{t}(G)=\gamma _{gr}^t(G)=6$$ proved by establishing a surprising correspondence between the existence of such graphs and a classical but still open problem of the existence of certain finite projective planes.
- Published
- 2021
17. Simplest Test for the Three-Dimensional Dynamical Inverse Problem (The BC-Method)
- Author
-
Mikhail I. Belishev, N. A. Karazeeva, and A. S. Blagoveshchensky
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Operator (physics) ,010102 general mathematics ,Boundary (topology) ,Function (mathematics) ,Inverse problem ,Positive function ,01 natural sciences ,010305 fluids & plasmas ,Combinatorics ,0103 physical sciences ,Nabla symbol ,0101 mathematics ,Dynamical system (definition) ,Realization (systems) ,Mathematics - Abstract
A dynamical system $$ {\displaystyle \begin{array}{ll}{u}_{tt}-\Delta u-\nabla 1\mathrm{n}\;\rho \cdot \nabla u=0& in\kern0.6em {\mathrm{\mathbb{R}}}_{+}^3\times \left(0,T\right),\\ {}{\left.u\right|}_{t=0}={\left.{u}_t\right|}_{t=0}=0& in\kern0.6em \overline{{\mathrm{\mathbb{R}}}_{+}^3},\\ {}{\left.{u}_z\right|}_{z=0}=f& for\kern0.36em 0\le t\le T,\end{array}} $$ is under consideration, where ρ = ρ(x, y, z) is a smooth positive function; f = f(x, y, t) is a boundary control; u = uf (x, y, z, t) is a solution. With the system one associates a response operator R : f ↦ uf|z = 0. The inverse problem is to recover the function ρ via the response operator. A short representation of the local version of the BC-method, which recovers ρ via the data given on a part of the boundary, is provided. If ρ is constant, the forward problem is solved in explicit form. In the paper, the corresponding representations for the solutions and response operator are derived. A way to use them for testing the BC-algorithm, which solves the inverse problem, is outlined. The goal of the paper is to extend the circle of the BC-method users, who are interested in numerical realization of methods for solving inverse problems.
- Published
- 2021
18. Khintchine-type theorems for values of subhomogeneous functions at integer points
- Author
-
Mishel Skenderi and Dmitry Kleinbock
- Subjects
Mathematics - Number Theory ,010505 oceanography ,General Mathematics ,010102 general mathematics ,Second moment of area ,Function (mathematics) ,Type (model theory) ,01 natural sciences ,Minimax approximation algorithm ,Combinatorics ,Integer ,FOS: Mathematics ,11J25, 11J54, 11J83, 11H06, 11H60, 37A17 ,Number Theory (math.NT) ,0101 mathematics ,Element (category theory) ,Axiom ,0105 earth and related environmental sciences ,Mathematics - Abstract
This work has been motivated by recent papers that quantify the density of values of generic quadratic forms and other polynomials at integer points, in particular ones that use Rogers' second moment estimates. In this paper we establish such results in a very general framework. Given any subhomogeneous function (a notion to be defined) $f: \mathbb{R}^n \to \mathbb{R}$, we derive a necessary and sufficient condition on the approximating function $\psi$ for guaranteeing that a generic element $f\circ g$ in the $G$-orbit of $f$ is $\psi$-approximable; that is, $|f\circ g(\mathbf{v})| \le \psi(\|\mathbf{v}\|)$ for infinitely many $\mathbf{v} \in \mathbb{Z}^n$. We also deduce a sufficient condition in the case of uniform approximation. Here, $G$ can be any closed subgroup of $\rm{ASL}_n(\mathbb{R})$ satisfying certain axioms that allow for the use of Rogers-type estimates., Comment: 26 pages; misprints corrected, concluding remarks added
- Published
- 2021
19. On the fill-in of nonnegative scalar curvature metrics
- Author
-
Wenlong Wang, Guodong Wei, Jintian Zhu, and Yuguang Shi
- Subjects
Combinatorics ,Conjecture ,Mean curvature ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Invariant (mathematics) ,01 natural sciences ,Mathematics ,Scalar curvature - Abstract
In the first part of this paper, we consider the problem of fill-in of nonnegative scalar curvature (NNSC) metrics for a triple of Bartnik data $$(\varSigma ,\gamma ,H)$$ . We prove that given a metric $$\gamma $$ on $${{\mathbf {S}}}^{n-1}$$ ( $$3\le n\le 7$$ ), $$({{\mathbf {S}}}^{n-1},\gamma ,H)$$ admits no fill-in of NNSC metrics provided the prescribed mean curvature H is large enough (Theorem 4). Moreover, we prove that if $$\gamma $$ is a positive scalar curvature (PSC) metric isotopic to the standard metric on $${{\mathbf {S}}}^{n-1}$$ , then the much weaker condition that the total mean curvature $$\int _{{{\mathbf {S}}}^{n-1}}H\,{{\mathrm {d}}}\mu _\gamma $$ is large enough rules out NNSC fill-ins, giving an partially affirmative answer to a conjecture by Gromov (Four lectures on scalar curvature, 2019, see P. 23). In the second part of this paper, we investigate the $$\theta $$ -invariant of Bartnik data and obtain some sufficient conditions for the existence of PSC fill-ins.
- Published
- 2020
20. Low dimensional orders of finite representation type
- Author
-
Daniel Chan and Colin Ingalls
- Subjects
Ring (mathematics) ,Plane curve ,Root of unity ,General Mathematics ,010102 general mathematics ,14E16 ,Local ring ,Order (ring theory) ,Mathematics - Rings and Algebras ,Type (model theory) ,01 natural sciences ,Noncommutative geometry ,Combinatorics ,Minimal model program ,Mathematics - Algebraic Geometry ,Rings and Algebras (math.RA) ,Mathematics - Quantum Algebra ,0103 physical sciences ,FOS: Mathematics ,Quantum Algebra (math.QA) ,010307 mathematical physics ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics - Abstract
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.
- Published
- 2020
21. On the Generalized Cartan Matrices Arising from k-th Yau Algebras of Isolated Hypersurface Singularities
- Author
-
Huaiqing Zuo, Naveed Hussain, and Stephen S.-T. Yau
- Subjects
Conjecture ,General Mathematics ,010102 general mathematics ,0211 other engineering and technologies ,Holomorphic function ,021107 urban & regional planning ,02 engineering and technology ,01 natural sciences ,Moduli ,Combinatorics ,Hypersurface ,Singularity ,Lie algebra ,Cartan matrix ,Maximal ideal ,0101 mathematics ,Mathematics - Abstract
Let (V,0) be an isolated hypersurface singularity defined by the holomorphic function $f: (\mathbb {C}^{n}, 0)\rightarrow (\mathbb {C}, 0)$ . The k-th Yau algebra Lk(V ) is defined to be the Lie algebra of derivations of the k-th moduli algebra $A^{k}(V) := \mathcal {O}_{n}/(f, m^{k}J(f))$ , where k ≥ 0, m is the maximal ideal of $\mathcal {O}_{n}$ . I.e., Lk(V ) := Der(Ak(V ),Ak(V )). These new series of derivation Lie algebras are quite subtle invariants since they capture enough information about the complexity of singularities. In this paper we formulate a conjecture for the complete characterization of ADE singularities by using generalized Cartan matrix Ck(V ) associated to k-th Yau algebras Lk(V ), k ≥ 1. In this paper, we provide evidence for the conjecture and give a new complete characterization for ADE singularities. Furthermore, we compute their other various invariants that arising from the 1-st Yau algebra L1(V ).
- Published
- 2020
22. Packing colorings of subcubic outerplanar graphs
- Author
-
Nicolas Gastineau, Olivier Togni, Boštjan Brešar, Faculty of Natural Sciences and Mathematics [Maribor], University of Maribor, Laboratoire d'Informatique de Bourgogne [Dijon] (LIB), Université de Bourgogne (UB), and Togni, Olivier
- Subjects
05C15, 05C12, 05C70 ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,010103 numerical & computational mathematics ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,01 natural sciences ,Graph ,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO] ,Combinatorics ,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] ,Integer ,Outerplanar graph ,Bounded function ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,FOS: Mathematics ,Bipartite graph ,Mathematics - Combinatorics ,Discrete Mathematics and Combinatorics ,Combinatorics (math.CO) ,0101 mathematics ,Invariant (mathematics) ,ComputingMilieux_MISCELLANEOUS ,Mathematics - Abstract
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
- Published
- 2020
23. On the Structure of a 3-Connected Graph. 2
- Author
-
D. V. Karpov
- Subjects
Statistics and Probability ,Hypergraph ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Structure (category theory) ,Type (model theory) ,01 natural sciences ,010305 fluids & plasmas ,Set (abstract data type) ,Combinatorics ,0103 physical sciences ,Decomposition (computer science) ,Graph (abstract data type) ,0101 mathematics ,Connectivity ,Hyperbolic tree ,Mathematics - Abstract
In this paper, the structure of relative disposition of 3-vertex cutsets in a 3-connected graph is studied. All such cutsets are divided into structural units – complexes of flowers, of cuts, of single cutsets, and trivial complexes. The decomposition of the graph by a complex of each type is described in detail. It is proved that for any two complexes C1 and C2 of a 3-connected graph G there is a unique part of the decomposition of G by C1 that contains C2. The relative disposition of complexes is described with the help of a hypertree T (G) – a hypergraph any cycle of which is a subset of a certain hyperedge. It is also proved that each nonempty part of the decomposition of G by the set of all of its 3-vertex cutsets is either a part of the decomposition of G by one of the complexes or corresponds to a hyperedge of T (G). This paper can be considered as a continuation of studies begun in the joint paper by D. V. Karpov and A. V. Pastor “On the structure of a 3-connected graph,” published in 2011. Bibliography: 10 titles.
- Published
- 2020
24. Convergence of linking Baskakov-type operators
- Author
-
Ulrich Abel, Margareta Heilmann, and Vitaliy Kushnirevych
- Subjects
010101 applied mathematics ,Combinatorics ,Pointwise ,Polynomial (hyperelastic model) ,General Mathematics ,Uniform convergence ,010102 general mathematics ,Convergence (routing) ,0101 mathematics ,Type (model theory) ,01 natural sciences ,Complex plane ,Mathematics - Abstract
In this paper we consider a link $$B_{n,\rho }$$Bn,ρ between Baskakov type operators $$B_{n,\infty }$$Bn,∞ and genuine Baskakov–Durrmeyer type operators $$ B_{n,1}$$Bn,1 depending on a positive real parameter $$\rho $$ρ. The topic of the present paper is the pointwise limit relation $$\left( B_{n,\rho }f\right) \left( x\right) \rightarrow \left( B_{n,\infty }f\right) \left( x\right) $$Bn,ρfx→Bn,∞fx as $$\rho \rightarrow \infty $$ρ→∞ for $$x\ge 0.$$x≥0. As a main result we derive uniform convergence on each compact subinterval of the positive real axis for all continuous functions f of polynomial growth.
- Published
- 2020
25. Nikolskii constants for polynomials on the unit sphere
- Author
-
Feng Dai, Sergey Tikhonov, and Dmitry Gorbachev
- Subjects
Combinatorics ,Unit sphere ,Degree (graph theory) ,Functional analysis ,General Mathematics ,Entire function ,010102 general mathematics ,010103 numerical & computational mathematics ,0101 mathematics ,01 natural sciences ,Analysis ,Exponential type ,Mathematics - Abstract
This paper studies the asymptotic behavior of the exact constants of the Nikolskii inequalities for the space $$\Pi _n^d$$ of spherical polynomials of degree at most n on the unit sphere $$\mathbb{S}{^d} \subset {^{d + 1}}$$ as n → ∞. It is shown that for 0 < p < ∞, $$\mathop {\lim }\limits_{x \to \infty } \sup \left\{ {\frac{{{{\left\| P \right\|}_{{L^\infty }({\mathbb{S}^d})}}}}{{{n^{\tfrac{d}{p}}}{{\left\| P \right\|}_{{L^p}({\mathbb{S}^d})}}}}:P \in \Pi _n^d} \right\} = \sup \left\{ {\frac{{{{\left\| f \right\|}_{{L^\infty }({\mathbb{R}^d})}}}}{{{{\left\| f \right\|}_{{L^p}({\mathbb{R}^d})}}}}:f \in \varepsilon _p^d} \right\},$$ where $$\varepsilon _p^d$$ denotes the space of all entire functions of spherical exponential type at most 1 whose restrictions to ℝd belong to the space Lp(ℝd), and it is agreed that 0/0 = 0. It is also proved that for 0 < p < q < ∞, $$\liminf _{n \rightarrow \infty} \sup \left\{\frac{\|P\|_{L^{q}\left(\mathbb{S}^{d}\right)}}{n^{d(1 / p-1 / q)}\|P\|_{L^{p}\left(\mathbb{S}^{d}\right)}}: P \in \Pi_{n}^{d}\right\} \geq \sup \left\{\frac{\|f\|_{L^{q}\left(\mathbb{R}^{d}\right)}}{\|f\|_{L^{p}\left(\mathbb{R}^{d}\right)}}: f \in \mathcal{E}_{p}^{d}\right\}.$$ These results extend the recent results of Levin and Lubinsky for trigonometric polynomials on the unit circle. The paper also determines the exact value of the Nikolskii constant for nonnegative functions with p = 1 and q = ∞: $$\lim _{n \rightarrow \infty} \sup _{0 \leq P \in \Pi_{n}^{d}} \frac{\|P\|_{L^{\infty}\left(\mathbb{S}^{d}\right)}}{\|P\|_{L^{1}\left(\mathbb{S}^{d}\right)}}=\sup _{0 \leq f \in \mathcal{E}_{1}^{d}} \frac{\|f\|_{L^{\infty}\left(\mathbb{R}^{d}\right)}}{\|f\|_{L^{1} \mathbb{R}^{d}}}=\frac{1}{4^{d} \pi^{d / 2} \Gamma(d / 2+1)}.$$
- Published
- 2020
26. On Tetravalent Vertex-Transitive Bi-Circulants
- Author
-
Sha Qiao and Jin-Xin Zhou
- Subjects
Transitive relation ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Cyclic group ,0102 computer and information sciences ,Automorphism ,01 natural sciences ,Graph ,Vertex (geometry) ,Combinatorics ,010201 computation theory & mathematics ,0101 mathematics ,Mathematics - Abstract
A graph Γ is called a bi-circulant if it admits a cyclic group as a group of automorphisms acting semiregularly on the vertices of Γ with two orbits. The characterization of tetravalent edgetransitive bi-circulants was given in several recent papers. In this paper, a classification is given of connected tetravalent vertex-transitive bi-circulants of order twice an odd integer.
- Published
- 2020
27. Products of Commutators on a General Linear Group Over a Division Algebra
- Author
-
Nikolai Gordeev and E. A. Egorchenkova
- Subjects
Statistics and Probability ,Group (mathematics) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Center (category theory) ,General linear group ,Field (mathematics) ,01 natural sciences ,010305 fluids & plasmas ,Combinatorics ,0103 physical sciences ,Division algebra ,0101 mathematics ,Word (group theory) ,Mathematics - Abstract
The word maps $$ \tilde{w}:\kern0.5em {\mathrm{GL}}_m{(D)}^{2k}\to {\mathrm{GL}}_n(D) $$ and $$ \tilde{w}:\kern0.5em {D}^{\ast 2k}\to {D}^{\ast } $$ for a word $$ w=\prod \limits_{i=1}^k\left[{x}_i,{y}_i\right], $$ where D is a division algebra over a field K, are considered. It is proved that if $$ \tilde{w}\left({D}^{\ast 2k}\right)=\left[{D}^{\ast },{D}^{\ast}\right], $$ then $$ \tilde{w}\left({\mathrm{GL}}_n(D)\right)\supset {E}_n(D)\backslash Z\left({E}_n(D)\right), $$ where En(D) is the subgroup of GLn(D), generated by transvections, and Z(En(D)) is its center. Furthermore if, in addition, n > 2, then $$ \tilde{w}\left({E}_n(D)\right)\supset {E}_n(D)\backslash Z\left({E}_n(D)\right). $$ The proof of the result is based on an analog of the “Gauss decomposition with prescribed semisimple part” (introduced and studied in two papers of the second author with collaborators) in the case of the group GLn(D), which is also considered in the present paper.
- Published
- 2019
28. Magic Labeling of Disjoint Union Graphs
- Author
-
Tao Wang, De Ming Li, and Ming Ju Liu
- Subjects
Vertex (graph theory) ,Degree (graph theory) ,Applied Mathematics ,General Mathematics ,020206 networking & telecommunications ,0102 computer and information sciences ,02 engineering and technology ,01 natural sciences ,Graph ,Combinatorics ,Edge coloring ,010201 computation theory & mathematics ,0202 electrical engineering, electronic engineering, information engineering ,Mathematics - Abstract
Let G be a graph with vertex set V(G), edge set E(G) and maximum degree Δ respectively. G is called degree-magic if it admits a labelling of the edges by integers {1, 2, …, |E(G)|} such that for any vertex v the sum of the labels of the edges incident with v is equal to $${{1 + \left| {E(G)} \right|} \over 2} \cdot d(v)$$ , where d(v) is the degree of v. Let f be a proper edge coloring of G such that for each vertex v ∈ V(G), |{e : e ∈ Ev, f(e) ≤ Δ/2}| = |{e : e ∈ Ev, f(e) > Δ/2}|, and such an f is called a balanced edge coloring of G. In this paper, we show that if G is a supermagic even graph with a balanced edge coloring and m ≥ 1, then (2m + 1)G is a supermagic graph. If G is a d-magic even graph with a balanced edge coloring and n ≥ 2, then nG is a d-magic graph. Results in this paper generalise some known results.
- Published
- 2019
29. Tangent categories of algebras over operads
- Author
-
Joost Nuiten, Matan Prasma, Yonatan Harpaz, Laboratoire Analyse, Géométrie et Applications (LAGA), Université Paris 8 Vincennes-Saint-Denis (UP8)-Centre National de la Recherche Scientifique (CNRS)-Institut Galilée-Université Paris 13 (UP13), and Harpaz, Yonatan
- Subjects
Model category ,General Mathematics ,Parameterized complexity ,[MATH] Mathematics [math] ,[MATH.MATH-AT] Mathematics [math]/Algebraic Topology [math.AT] ,0102 computer and information sciences ,Mathematics::Algebraic Topology ,01 natural sciences ,Spectrum (topology) ,Combinatorics ,Mathematics::Category Theory ,FOS: Mathematics ,Algebraic Topology (math.AT) ,Cotangent complex ,Mathematics - Algebraic Topology ,[MATH]Mathematics [math] ,0101 mathematics ,Algebra over a field ,Mathematics ,010102 general mathematics ,Tangent ,55P42, 18G55, 18D50 ,16. Peace & justice ,Cohomology ,010201 computation theory & mathematics ,[MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT] - Abstract
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
- Published
- 2019
30. On connectivity of the facet graphs of simplicial complexes
- Author
-
Ilan Newman and Yuri Rabinovich
- Subjects
Combinatorics ,Connected component ,010201 computation theory & mathematics ,General Mathematics ,010102 general mathematics ,0102 computer and information sciences ,0101 mathematics ,01 natural sciences ,Graph ,Mathematics - Abstract
The paper studies the connectivity properties of facet graphs of simplicial complexes of combinatorial interest. In particular, it is shown that the facet graphs of d-cycles, d-hypertrees and d-hypercuts are, respectively, (d +1)-, d-and (n − d − 1)-vertex-connected. It is also shown that the facet graph of a d-cycle cannot be split into more than s connected components by removing at most s vertices. In addition, the paper discusses various related issues, as well as an extension to cell-complexes.
- Published
- 2019
31. Liouville quantum gravity and the Brownian map I: the $$\mathrm{QLE}(8/3,0)$$ metric
- Author
-
Scott Sheffield and Jason Miller
- Subjects
Sequence ,Series (mathematics) ,Triangle inequality ,General Mathematics ,Open problem ,010102 general mathematics ,Surface (topology) ,01 natural sciences ,Measure (mathematics) ,Combinatorics ,Metric space ,0103 physical sciences ,Quantum gravity ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
Liouville quantum gravity (LQG) and the Brownian map (TBM) are two distinct models of measure-endowed random surfaces. LQG is defined in terms of a real parameter $$\gamma $$, and it has long been believed that when $$\gamma = \sqrt{8/3}$$, the LQG sphere should be equivalent (in some sense) to TBM. However, the LQG sphere comes equipped with a conformal structure, and TBM comes equipped with a metric space structure, and endowing either one with the other’s structure has been an open problem for some time. This paper is the first in a three-part series that unifies LQG and TBM by endowing each object with the other’s structure and showing that the resulting laws agree. The present work considers a growth process called quantum Loewner evolution (QLE) on a $$\sqrt{8/3}$$-LQG surface $${\mathcal {S}}$$ and defines $$d_{{\mathcal {Q}}}(x,y)$$ to be the amount of time it takes QLE to grow from $$x \in {\mathcal {S}}$$ to $$y \in {\mathcal {S}}$$. We show that $$d_{{\mathcal {Q}}}(x,y)$$ is a.s. determined by the triple $$({\mathcal {S}},x,y)$$ (which is far from clear from the definition of QLE) and that $$d_{{\mathcal {Q}}}$$ a.s. satisfies symmetry (i.e., $$d_{{\mathcal {Q}}}(x,y) = d_{{\mathcal {Q}}}(y,x)$$) for a.a. (x, y) pairs and the triangle inequality for a.a. triples. This implies that $$d_{{\mathcal {Q}}}$$ is a.s. a metric on any countable sequence sampled i.i.d. from the area measure on $${\mathcal {S}}$$. We establish several facts about the law of this metric, which are in agreement with similar facts known for TBM. The subsequent papers will show that this metric a.s. extends uniquely and continuously to the entire $$\sqrt{8/3}$$-LQG surface and that the resulting measure-endowed metric space is TBM.
- Published
- 2019
32. Depth functions of symbolic powers of homogeneous ideals
- Author
-
Hop D. Nguyen and Ngo Viet Trung
- Subjects
Noetherian ,Monomial ,Mathematics::Commutative Algebra ,General Mathematics ,Polynomial ring ,010102 general mathematics ,Dimension (graph theory) ,Monomial ideal ,Square-free integer ,01 natural sciences ,Combinatorics ,Homogeneous ,0103 physical sciences ,010307 mathematical physics ,Ideal (ring theory) ,0101 mathematics ,Mathematics - Abstract
This paper addresses the problem of comparing minimal free resolutions of symbolic powers of an ideal. Our investigation is focused on the behavior of the function $${{\,\mathrm{depth}\,}}R/I^{(t)} = \dim R -{{\,\mathrm{pd}\,}}I^{(t)} - 1$$ , where $$I^{(t)}$$ denotes the t-th symbolic power of a homogeneous ideal I in a noetherian polynomial ring R and $${{\,\mathrm{pd}\,}}$$ denotes the projective dimension. It has been an open question whether the function $${{\,\mathrm{depth}\,}}R/I^{(t)}$$ is non-increasing if I is a squarefree monomial ideal. We show that $${{\,\mathrm{depth}\,}}R/I^{(t)}$$ is almost non-increasing in the sense that $${{\,\mathrm{depth}\,}}R/I^{(s)} \ge {{\,\mathrm{depth}\,}}R/I^{(t)}$$ for all $$s \ge 1$$ and $$t \in E(s)$$ , where $$\begin{aligned} E(s) = \bigcup _{i \ge 1}\{t \in {\mathbb {N}}|\ i(s-1)+1 \le t \le is\} \end{aligned}$$ (which contains all integers $$t \ge (s-1)^2+1$$ ). The range E(s) is the best possible since we can find squarefree monomial ideals I such that $${{\,\mathrm{depth}\,}}R/I^{(s)} < {{\,\mathrm{depth}\,}}R/I^{(t)}$$ for $$t \not \in E(s)$$ , which gives a negative answer to the above question. Another open question asks whether the function $${{\,\mathrm{depth}\,}}R/I^{(t)}$$ is always constant for $$t \gg 0$$ . We are able to construct counter-examples to this question by monomial ideals. On the other hand, we show that if I is a monomial ideal such that $$I^{(t)}$$ is integrally closed for $$t \gg 0$$ (e.g. if I is a squarefree monomial ideal), then $${{\,\mathrm{depth}\,}}R/I^{(t)}$$ is constant for $$t \gg 0$$ with $$\begin{aligned} \lim _{t \rightarrow \infty }{{\,\mathrm{depth}\,}}R/I^{(t)} = \dim R - \dim \oplus _{t \ge 0}I^{(t)}/{\mathfrak {m}}I^{(t)}. \end{aligned}$$ Our last result (which is the main contribution of this paper) shows that for any positive numerical function $$\phi (t)$$ which is periodic for $$t \gg 0$$ , there exist a polynomial ring R and a homogeneous ideal I such that $${{\,\mathrm{depth}\,}}R/I^{(t)} = \phi (t)$$ for all $$t \ge 1$$ . As a consequence, for any non-negative numerical function $$\psi (t)$$ which is periodic for $$t \gg 0$$ , there is a homogeneous ideal I and a number c such that $${{\,\mathrm{pd}\,}}I^{(t)} = \psi (t) + c$$ for all $$t \ge 1$$ .
- Published
- 2019
33. A spectral characterization of isomorphisms on $$C^\star $$-algebras
- Author
-
Rudi Brits, F. Schulz, and C. Touré
- Subjects
General Mathematics ,Star (game theory) ,010102 general mathematics ,Spectrum (functional analysis) ,Characterization (mathematics) ,01 natural sciences ,Surjective function ,Combinatorics ,0103 physical sciences ,010307 mathematical physics ,Isomorphism ,0101 mathematics ,Algebra over a field ,Commutative property ,Banach *-algebra ,Mathematics - Abstract
Following a result of Hatori et al. (J Math Anal Appl 326:281–296, 2007), we give here a spectral characterization of an isomorphism from a $$C^\star $$ -algebra onto a Banach algebra. We then use this result to show that a $$C^\star $$ -algebra A is isomorphic to a Banach algebra B if and only if there exists a surjective function $$\phi :A\rightarrow B$$ satisfying (i) $$\sigma \left( \phi (x)\phi (y)\phi (z)\right) =\sigma \left( xyz\right) $$ for all $$x,y,z\in A$$ (where $$\sigma $$ denotes the spectrum), and (ii) $$\phi $$ is continuous at $$\mathbf 1$$ . In particular, if (in addition to (i) and (ii)) $$\phi (\mathbf 1)=\mathbf 1$$ , then $$\phi $$ is an isomorphism. An example shows that (i) cannot be relaxed to products of two elements, as is the case with commutative Banach algebras. The results presented here also elaborate on a paper of Bresar and Spenko (J Math Anal Appl 393:144–150, 2012), and a paper of Bourhim et al. (Arch Math 107:609–621, 2016).
- Published
- 2019
34. On the averages of generalized Hasse–Witt invariants of pointed stable curves in positive characteristic
- Author
-
Yu Yang
- Subjects
Fundamental group ,Stable curve ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Upper and lower bounds ,Combinatorics ,Anabelian geometry ,0103 physical sciences ,010307 mathematical physics ,Isomorphism class ,0101 mathematics ,Abelian group ,Algebraically closed field ,Invariant (mathematics) ,Mathematics - Abstract
In the present paper, we study fundamental groups of curves in positive characteristic. Let $$X^{\bullet }$$ be a pointed stable curve of type $$(g_{X}, n_{X})$$ over an algebraically closed field of characteristic $$p>0$$, $$\Gamma _{X^{\bullet }}$$ the dual semi-graph of $$X^{\bullet }$$, and $$\Pi _{X^{\bullet }}$$ the admissible fundamental group of $$X^{\bullet }$$. In the present paper, we study a kind of group-theoretical invariant $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$ associated to the isomorphism class of $$\Pi _{X^{\bullet }}$$ called the limit of p-averages of $$\Pi _{X^{\bullet }}$$, which plays a central role in the theory of anabelian geometry of curves over algebraically closed fields of positive characteristic. Without any assumptions concerning $$\Gamma _{X^{\bullet }}$$, we give a lower bound and a upper bound of $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$. In particular, we prove an explicit formula for $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$ under a certain assumption concerning $$\Gamma _{X^{\bullet }}$$ which generalizes a formula for $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$ obtained by Tamagawa. Moreover, if $$X^{\bullet }$$ is a component-generic pointed stable curve, we prove an explicit formula for $$\text {Avr}_{p}(\Pi _{X^{\bullet }})$$ without any assumptions concerning $$\Gamma _{X^{\bullet }}$$, which can be regarded as an averaged analogue of the results of Nakajima, Zhang, and Ozman–Pries concerning p-rank of abelian etale coverings of projective generic curves for admissible coverings of component-generic pointed stable curves.
- Published
- 2019
35. Optimal quantization for the Cantor distribution generated by infinite similutudes
- Author
-
Mrinal Kanti Roychowdhury
- Subjects
General Mathematics ,Quantization (signal processing) ,010102 general mathematics ,Dynamical Systems (math.DS) ,0102 computer and information sciences ,01 natural sciences ,Probability vector ,Combinatorics ,Cantor set ,60Exx, 28A80, 94A34 ,010201 computation theory & mathematics ,FOS: Mathematics ,Mathematics - Dynamical Systems ,0101 mathematics ,Cantor distribution ,Borel probability measure ,Mathematics - Abstract
Let P be a Borel probability measure on ℝ generated by an infinite system of similarity mappings {Sj : j ∈ ℕ} such that $$P=\Sigma_{j=1}^{\infty}\frac{1}{2^{j}}P\circ{S}_j^{-1}$$ , where for each j ∈ ℕ and x ∈ ℝ, $$S_j(x)=\frac{1}{3^j}x+1-\frac{1}{3^{j-1}}$$ . Then, the support of P is the dyadic Cantor set C generated by the similarity mappings f1, f2 : ℝ → ℝ such that f1(x) = 1/3x and f2(x) = 1/3x+ 2/3 for all x ∈ ℝ. In this paper, using the infinite system of similarity mappings {Sj : j ∈ ℕ} associated with the probability vector $$(\frac{1}{2},\frac{1}{{{2^2}}},...)$$ , for all n ∈ ℕ, we determine the optimal sets of n-means and the nth quantization errors for the infinite self-similar measure P. The technique obtained in this paper can be utilized to determine the optimal sets of n-means and the nth quantization errors for more general infinite self-similar measures.
- Published
- 2019
36. Convergence of Solutions of General Dispersive Equations Along Curve
- Author
-
Yong Ding and Yaoming Niu
- Subjects
Combinatorics ,010104 statistics & probability ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Maximal operator ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In this paper, the authors give the local L2 estimate of the maximal operator $$S_{\phi ,\gamma }^ * $$ of the operator family {St,ϕ, γ} defined initially by $${S_{t,\phi ,\gamma }}f(x): = {{\rm{e}}^{{\rm{i}}\,t\phi (\sqrt { - \Delta } )}}f(\gamma (x,t)) = {(2\pi )^{ - 1}}\int_\mathbb{R} {{{\rm{e}}^{{\rm{i}}\gamma (x,t) \cdot \xi + {\rm{i}}\,t\phi ({\rm{|}}\xi {\rm{|}})}}} \hat f(\xi ){\rm{d}}\xi ,\;\;\;\;\;\;\;\;f \in {\cal S}(\mathbb{R}),$$ which is the solution (when {itn} = 1) of the following dispersive equations (*) along a curve {itγ}: $$\left\{ {\matrix{ {{\rm{i}}{\partial _t}u + \phi (\sqrt { - {\rm{\Delta }}} )u = 0,} \hfill \;\;\;\;\; {(x,t) \in \mathbb{R}{^n} \times \mathbb{R},} \hfill \cr {u(x,0) = f(x),} \hfill \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; {f \in {\cal S}({\mathbb{R}^n}),} \hfill \cr } } \right.$$ where {itϕ}: ℝ+ → ℝ satisfies some suitable conditions and $$\phi (\sqrt { - {\rm{\Delta }}} )$$ is a pseudo-differential operator with symbol {itϕ}(∣{itξ}∣). As a consequence of the above result, the authors give the pointwise convergence of the solution (when {itn} = 1) of the equation (*) along curve {itγ}. Moreover, a global {itL}2 estimate of the maximal operator $$S_{\phi ,\gamma }^ * $$ is also given in this paper.
- Published
- 2019
37. Counting non-uniform lattices
- Author
-
Mikhail Belolipetsky and Alexander Lubotzky
- Subjects
Conjecture ,Mathematics - Number Theory ,22E40 (Primary), 11N45, 20G30 (Secondary) ,Rank (linear algebra) ,General Mathematics ,Simple Lie group ,010102 general mathematics ,Group Theory (math.GR) ,0102 computer and information sciences ,01 natural sciences ,Combinatorics ,Conjugacy class ,010201 computation theory & mathematics ,Log-log plot ,FOS: Mathematics ,Number Theory (math.NT) ,0101 mathematics ,Algebra over a field ,Constant (mathematics) ,Mathematics - Group Theory ,Mathematics - Abstract
In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(\gamma(H)+o(1))\log x/\log\log x}$ where $\gamma(H)$ is an explicit constant computable from the (absolute) root system of $H$. In [BLu] we disproved this conjecture. In this paper we prove that for most groups $H$ the conjecture is actually true if we restrict to counting only non-uniform lattices., Comment: 23 pages, revised following referee's comments. Dedicated to Aner Shalev on his 60th birthday. This paper is related to our previous work arXiv:0905.1841 with which it shares some preliminaries
- Published
- 2019
38. On the critical behavior of a homopolymer model
- Author
-
Michael Cranston and Stanislav Molchanov
- Subjects
Phase transition ,General Mathematics ,Operator (physics) ,010102 general mathematics ,Critical value ,01 natural sciences ,Measure (mathematics) ,Combinatorics ,Phase (matter) ,0103 physical sciences ,Beta (velocity) ,010307 mathematical physics ,0101 mathematics ,Continuous-time random walk ,Probability measure ,Mathematics - Abstract
We begin with the reference measure P0 induced by simple, symmetric nearest neighbor continuous time random walk on Zd starting at 0 with jump rate 2d and then define, for β ⩾ 0, t > 0, the Gibbs probability measure Pβ,t by specifying its density with respect to P0 as $${{d{P_{\beta, t}}} \over {d{P^0}}} = {Z_{\beta, t}}{(0)^{-1}}{{\rm{e}}^{\beta \int_0^t {{\delta _0}({x_s})ds}}},$$ (0.1) where $${Z_{\beta, t}}(0) \equiv {E^0}{\rm{[}}{{\rm{e}}^{\beta \;\int_0^t {{\delta _0}({x_s})ds}}}].$$. This Gibbs probability measure provides a simple model for a homopolymer with an attractive potential at the origin. In a previous paper (Cranston and Molchanov, 2007), we showed that for dimensions d ⩾ 3 there is a phase transition in the behavior of these paths from the diffusive behavior for β below a critical parameter to the positive recurrent behavior for β above this critical value. The critical value was determined by means of the spectral properties of the operator Δ + βδ0, where Δ is the discrete Laplacian on Zd. This corresponds to a transition from a diffusive or stretched-out phase to a globular phase for the polymer. In this paper we give a description of the polymer at the critical value where the phase transition takes place. The behavior at the critical parameter is dimension-dependent.
- Published
- 2019
39. One-line formula for automorphic differential operators on Siegel modular forms
- Author
-
Tomoyoshi Ibukiyama
- Subjects
Constant coefficients ,Siegel upper half-space ,General Mathematics ,010102 general mathematics ,Holomorphic function ,Differential operator ,Monomial basis ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Number theory ,Equivariant map ,0101 mathematics ,Mathematics ,Siegel modular form - Abstract
We consider the Siegel upper half space $$H_{2m}$$ of degree 2m and a subset $$H_m\times H_m$$ of $$H_{2m}$$ consisting of two $$m\times m$$ diagonal block matrices. We consider two actions of $$Sp(m,{\mathbb R})\times Sp(m,{\mathbb R}) \subset Sp(2m,{\mathbb R})$$ , one is the action on holomorphic functions on $$H_{2m}$$ defined by the automorphy factor of weight k on $$H_{2m}$$ and the other is the action on vector valued holomorphic functions on $$H_m\times H_m$$ defined on each component by automorphy factors obtained by $$det^k \otimes \rho $$ , where $$\rho $$ is a polynomial representation of $$GL(n,{\mathbb C})$$ . We consider vector valued linear holomorphic differential operators with constant coefficients on holomorphic functions on $$H_{2m}$$ which give an equivariant map with respect to the above two actions under the restriction to $$H_m\times H_m$$ . In a previous paper, we have already shown that all such operators can be obtained either by a projection of the universal automorphic differential operator or alternatively by a vector of monomial basis corresponding to the partition $$2m=m+m$$ . Here in this paper, based on a completely different idea, we give much simpler looking one-line formula for such operators. This is obtained independently from our previous results. The proofs also provide more algorithmic approach to our operators.
- Published
- 2019
40. The prime end capacity of inaccessible prime ends, resolutivity, and the Kellogg property
- Author
-
Nageswari Shanmugalingam and Tomasz Adamowicz
- Subjects
Mathematics::Number Theory ,General Mathematics ,010102 general mathematics ,Zero (complex analysis) ,Boundary (topology) ,Metric Geometry (math.MG) ,Lipschitz continuity ,01 natural sciences ,Prime (order theory) ,Domain (mathematical analysis) ,Combinatorics ,Metric space ,Mathematics - Analysis of PDEs ,Prime end ,Mathematics - Metric Geometry ,Bounded function ,31E05, 31B15, 31B25, 31C15, 30L99 ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Analysis of PDEs (math.AP) ,Mathematics - Abstract
Prime end boundaries $\partial_P\Omega$ of domains $\Omega$ are studied in the setting of complete doubling metric measure spaces supporting a $p$-Poincar\'e inequality. Notions of rectifiably (in)accessible- and (in)finitely far away prime ends are introduced and employed in classification of prime ends. We show that, for a given domain, the prime end capacity of the collection of all rectifiably inaccessible prime ends together will all non-singleton prime ends is zero. We show the resolutivity of continouous functions on $\partial_P\Omega$ which are Lipschitz continuous with respect to the Mazurkiewicz metric when restricted to the collection $\partial_{SP}\Omega$ of all accessible prime ends. Furthermore, bounded perturbations of such functions in $\partial_P\Omega\setminus\partial_{SP}\Omega$ yield the same Perron solution. In the final part of the paper, we demonstrate the (resolutive) Kellogg property with respect to the prime end boundary of bounded domains in the metric space. Notions given in this paper are illustrated by a number of examples., Comment: 23 pages, 3 figures
- Published
- 2019
41. Zeckendorf representations with at most two terms to x-coordinates of Pell equations
- Author
-
Florian Luca and Carlos A. Gómez
- Subjects
Fibonacci number ,Mathematics - Number Theory ,General Mathematics ,010102 general mathematics ,Square-free integer ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,11B39, 11J86 ,Number theory ,Integer ,FOS: Mathematics ,Pell's equation ,Number Theory (math.NT) ,0101 mathematics ,Mathematics - Abstract
In this paper, we find all positive squarefree integers d such that the Pell equation X2-dY2 = +-1 has at least two positive integer solutions (X,Y) and (X',Y') such that both X and X' have Zeckendorf representations with at most two terms. This paper has been accepted for publication in SCIENCE CHINA Mathematics.
- Published
- 2019
42. Zero Forcing in Claw-Free Cubic Graphs
- Author
-
Randy Davila and Michael A. Henning
- Subjects
General Mathematics ,010102 general mathematics ,01 natural sciences ,Graph ,Vertex (geometry) ,010101 applied mathematics ,Combinatorics ,Discrete time and continuous time ,Colored ,Zero Forcing Equalizer ,Cubic graph ,0101 mathematics ,Independence number ,Mathematics - Abstract
In this paper, we study a dynamic coloring of the vertices of a graph G that starts with an initial subset S of colored vertices, with all remaining vertices being uncolored. At each discrete time interval, a colored vertex with exactly one uncolored neighbor forces this uncolored neighbor to be colored. The initial set S is a zero forcing set of G if, by iteratively applying the forcing process, every vertex in G becomes colored. The zero forcing number Z(G) of G is the minimum cardinality of a zero forcing set of G. In this paper, we prove that if G is a connected, cubic, claw-free graph of order $$n \ge 6$$, then $$Z(G) \le \alpha (G) + 1$$ where $$\alpha (G)$$ denotes the independence number of G. Further we prove that if $$n \ge 10$$, then $$Z(G) \le \frac{1}{3}n + 1$$. Both bounds are shown to be best possible.
- Published
- 2018
43. Configuration spaces, moduli spaces and 3-fold covering spaces
- Author
-
Yongjin Song and Byung Chun Kim
- Subjects
Fundamental group ,Covering space ,General Mathematics ,010102 general mathematics ,Braid group ,Inverse ,Mathematics::Geometric Topology ,01 natural sciences ,Mapping class group ,Combinatorics ,0103 physical sciences ,Homomorphism ,010307 mathematical physics ,Branched covering ,0101 mathematics ,Twist ,Mathematics - Abstract
We have, in this paper, constructed a new non-geometric embedding of some braid group into the mapping class group of a surface which is induced by the 3-fold branched covering over a disk with some branch points. There is a lift $$\tilde{\beta }_i$$ of the half-Dehn twist $$\beta _i$$ on the disk with some marked points to some surface via the 3-fold covering. We show how this lift $$\tilde{\beta }_i$$ acts on the fundamental group of the surface, and also show that $$\tilde{\beta }_i$$ equals the product of two (inverse) Dehn twists. Two adjacent lifts satisfy the braid relation, hence such lifts induce a homomorphism $$\phi : B_k \rightarrow \Gamma _{g,b}$$ . In this paper we give a concrete description of this homomorphism and show that it is injective by the Birman–Hilden theory. Furthermore, we show that the map on the level of classifying spaces of groups is compatible with the action of little 2-cube operad so that it induces a trivial homomorphism on the stable homology.
- Published
- 2018
44. Determination of blowup type in the parabolic–parabolic Keller–Segel system
- Author
-
Noriko Mizoguchi
- Subjects
General Mathematics ,010102 general mathematics ,Mathematics::Analysis of PDEs ,Type (model theory) ,01 natural sciences ,Omega ,Delta-v (physics) ,Combinatorics ,Bounded function ,0103 physical sciences ,Domain (ring theory) ,Neumann boundary condition ,010307 mathematical physics ,Nabla symbol ,0101 mathematics ,Mathematics - Abstract
This paper is concerned with a parabolic–parabolic Keller–Segel system $$\begin{aligned} \left\{ \begin{array}{ll} u_t = \nabla \cdot ( \nabla u - u \nabla v ) &{} \quad \text{ in } \, \Omega \times (0,T), \\ v_t = \Delta v - \alpha v + u &{} \quad \text{ in } \, \Omega \times (0,T) \end{array} \right. \end{aligned}$$with a constant $$ \alpha \ge 0 $$ and nonnegative initial data in a smoothly bounded domain $$ \Omega \subset \mathbb {R}^2 $$ under the Neumann boundary condition or in $$ \Omega = \mathbb {R}^2 $$. It was introduced as a model of aggregation of bacteria, which is mathematically translated as finite-time blowup. A solution (u, v) is said to blow up at $$ t = T 0 $$, and type II otherwise. It was shown in Mizoguchi (J Funct Anal 271:3323–3347, 2016) that each blowup is type II in radial case. In this paper, we obtain the conclusion in general case.
- Published
- 2018
45. Remarks on Rawnsley’s $$\varvec{\varepsilon }$$ε-function on the Fock–Bargmann–Hartogs domains
- Author
-
Enchao Bi and Huan Yang
- Subjects
Combinatorics ,E-function ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,Ball (mathematics) ,0101 mathematics ,01 natural sciences ,Mathematics ,Fock space - Abstract
In this paper, we mainly study a family of unbounded non-hyperbolic domains in $$\mathbb {C}^{n+m}$$, called Fock–Bargmann–Hartogs domains $$D_{n,m}(\mu )$$ ($$\mu >0$$) which are defined as a Hartogs type domains with the fiber over each $$z\in \mathbb {C}^{n}$$ being a ball of radius $$e^{-\frac{\mu }{2} {\Vert z\Vert }^{2}}$$. The purpose of this paper is twofold. Firstly, we obtain necessary and sufficient conditions for Rawnsley’s $$\varepsilon $$-function $$\varepsilon _{(\alpha ,g)}(\widetilde{w})$$ of $$\big (D_{n,m}(\mu ), g(\mu ;\nu )\big )$$ to be a polynomial in $$\Vert \widetilde{w}\Vert ^2$$, where $$g(\mu ;\nu )$$ is a Kahler metric associated with the Kahler potential $$\nu \mu {\Vert z\Vert }^{2} -\ln (e^{-\mu {\Vert z\Vert }^{2}}-\Vert w\Vert ^2)$$. Secondly, using above results, we study the Berezin quantization on $$D_{n,m}(\mu )$$ with the metric $$\beta g(\mu ;\nu )$$$$(\beta >0)$$.
- Published
- 2018
46. Spectral spread and non-autonomous Hamiltonian diffeomorphisms
- Author
-
Yoshihiro Sugimoto
- Subjects
Dense set ,Computer Science::Information Retrieval ,General Mathematics ,010102 general mathematics ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,Algebraic geometry ,Mathematics::Geometric Topology ,01 natural sciences ,Omega ,Manifold ,Combinatorics ,Number theory ,Floer homology ,Mathematics - Symplectic Geometry ,0103 physical sciences ,FOS: Mathematics ,Symplectic Geometry (math.SG) ,53D05, 53D35, 53D40 ,Mathematics::Differential Geometry ,010307 mathematical physics ,0101 mathematics ,Mathematics::Symplectic Geometry ,Mathematics ,Symplectic manifold ,Symplectic geometry - Abstract
For any symplectic manifold $${(M,\omega )}$$ , the set of Hamiltonian diffeomorphisms $${{\text {Ham}}^c(M,\omega )}$$ forms a group and $${{\text {Ham}}^c(M,\omega )}$$ contains an important subset $${{\text {Aut}}(M,\omega )}$$ which consists of time one flows of autonomous(time-independent) Hamiltonian vector fields on M. One might expect that $${{\text {Aut}}(M,\omega )}$$ is a very small subset of $${{\text {Ham}}^c(M,\omega )}$$ . In this paper, we estimate the size of the subset $${{\text {Aut}}(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric which was introduced by Hofer. Polterovich and Shelukhin proved that the complement $${{\text {Ham}}^c\backslash {\text {Aut}}(M,\omega )}$$ is a dense subset of $${{\text {Ham}}^c(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric if $${(M,\omega )}$$ is a closed symplectically aspherical manifold where Conley conjecture is established (Polterovich and Schelukhin in Sel Math 22(1):227–296, 2016). In this paper, we generalize above theorem to general closed symplectic manifolds and general conv! ex symplectic manifolds. So, we prove that the set of all non-autonomous Hamiltonian diffeomorphisms $${{\text {Ham}}^c\backslash {\text {Aut}}(M,\omega )}$$ is a dense subset of $${{\text {Ham}}^c(M,\omega )}$$ in $${C^{\infty }}$$ -topology and Hofer’s metric if $${(M,\omega )}$$ is a closed or convex symplectic manifold without relying on the solution of Conley conjecture.
- Published
- 2018
47. The multidimensional truncated moment problem: Carathéodory numbers from Hilbert functions
- Author
-
Philipp J. di Dio and Mario Kummer
- Subjects
Monomial ,44A60, 14P99, 30E05, 65D32, 35R30 ,Degree (graph theory) ,General Mathematics ,010102 general mathematics ,Order (ring theory) ,Algebraic variety ,010103 numerical & computational mathematics ,01 natural sciences ,Mathematics - Functional Analysis ,Combinatorics ,Moment problem ,Matrix (mathematics) ,0101 mathematics ,Hankel matrix ,Mathematics - Abstract
In this paper we improve the bounds for the Carath\'eodory number, especially on algebraic varieties and with small gaps (not all monomials are present). We provide explicit lower and upper bounds on algebraic varieties, $\mathbb{R}^n$, and $[0,1]^n$. We also treat moment problems with small gaps. We find that for every $\varepsilon>0$ and $d\in\mathbb{N}$ there is a $n\in\mathbb{N}$ such that we can construct a moment functional $L:\mathbb{R}[x_1,\dots,x_n]_{\leq d}\rightarrow\mathbb{R}$ which needs at least $(1-\varepsilon)\cdot\left(\begin{smallmatrix} n+d\\ n\end{smallmatrix}\right)$ atoms $l_{x_i}$. Consequences and results for the Hankel matrix and flat extension are gained. We find that there are moment functionals $L:\mathbb{R}[x_1,\dots,x_n]_{\leq 2d}\rightarrow\mathbb{R}$ which need to be extended to the worst case degree $4d$, $\tilde{L}:\mathbb{R}[x_1,\dots,x_n]_{\leq 4d}\rightarrow\mathbb{R}$, in order to have a flat extension., Comment: The first version contained the Carath\'eodory numbers from Hilbert functions and the shape reconstruction from derivatives of moments. The second part part extended and the paper is split into two papers: "Carath\'eodory numbers from Hilbert functions" and "Shape and Gaussian Mixture Reconstruction from Derivatives of Moments"
- Published
- 2021
48. Quantum modular invariant and Hilbert class fields of real quadratic global function fields
- Author
-
L. Demangos and T. M. Gendron
- Subjects
Series (mathematics) ,General Mathematics ,010102 general mathematics ,General Physics and Astronomy ,Multimap ,01 natural sciences ,Exponential function ,Combinatorics ,Closure (mathematics) ,Product (mathematics) ,0101 mathematics ,Invariant (mathematics) ,Hilbert class field ,Mathematics ,Fundamental unit (number theory) - Abstract
This is the first of a series of two papers in which we present a solution to Manin’s Real Multiplication program (Manin in: Laudal and Piene (eds) The Legacy of Niels Henrik Abel, Springer, Berlin, 2004) —an approach to Hilbert’s 12th problem for real quadratic extensions of $$\mathbb Q$$ —in positive characteristic, using quantum analogs of the modular invariant and the exponential function. In this first paper, we treat the problem of Hilbert class field generation. If $$k=\mathbb F_{q}(T)$$ and $$k_{\infty }$$ is the analytic completion of k, we introduce the quantum modular invariant $$\begin{aligned} j^\mathrm{qt}: k_{\infty }\multimap k_{\infty } \end{aligned}$$ as a multivalued, discontinuous modular invariant function. Then if $$K=k(f)\subset k_{\infty }$$ is a real quadratic extension of k and f is a fundamental unit, we show that the Hilbert class field $$H_{\mathcal {O}_{K}}$$ (associated to $$\mathcal {O}_{K}=$$ integral closure of $$\mathbb F_{q}[T]$$ in K) is generated over K by the product of the multivalues of $$j^\mathrm{qt}(f)$$ .
- Published
- 2021
49. On Critical Schrödinger–Kirchhoff-Type Problems Involving the Fractional p-Laplacian with Potential Vanishing at Infinity
- Author
-
Binlin Zhang, Nguyen Van Thin, and Mingqi Xiang
- Subjects
Continuous function ,General Mathematics ,Operator (physics) ,010102 general mathematics ,Degenerate energy levels ,Space (mathematics) ,Lambda ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Mountain pass theorem ,p-Laplacian ,Differentiable function ,0101 mathematics ,Mathematics - Abstract
The aim of this paper is to study the existence of solutions for critical Schrodinger–Kirchhoff-type problems involving a nonlocal integro-differential operator with potential vanishing at infinity. As a particular case, we consider the following fractional problem: $$\begin{aligned}&M\left( \iint _{{\mathbb {R}}^{2N}}\frac{|u(x)-u(y)|^{p}}{|x-y|^{N+sp}}\mathrm{dxdy}+\int _{{\mathbb {R}}^N}V(x)|u(x)|^{p}\mathrm{{d}}x\right) ((-\Delta )_p^{s}u(x)+V(x)|u|^{p-2}u)\\&\quad =K(x)(\lambda f(x,u)+|u|^{p_s^{*}-2}u), \end{aligned}$$ where $$M:[0, \infty )\rightarrow [0, \infty )$$ is a continuous function, $$(-\Delta )_p^{s}$$ is the fractional p-Laplacian, $$00$$ is a real parameter. Using the mountain pass theorem, we obtain the existence of the above problem in suitable space W. For this, we first study the properties of the embedding from W into $$L_{K}^{\alpha }({\mathbb {R}}^N), \alpha \in [p, p_s^{*}].$$ Then, we obtain the differentiability of energy functional with some suitable conditions on f. To the best of our knowledge, this is the first existence results for degenerate Kirchhoff-type problems involving the fractional p-Laplacian with potential vanishing at infinity. Finally, we fill some gaps of papers of do O et al. (Commun Contemp Math 18: 150063, 2016) and Li et al. (Mediterr J Math 14: 80, 2017).
- Published
- 2020
50. On the Existence of an Extremal Function in the Delsarte Extremal Problem
- Author
-
Marcell Gaál and Zsuzsanna Nagy-Csiha
- Subjects
Current (mathematics) ,General Mathematics ,010102 general mathematics ,Positive-definite matrix ,Function (mathematics) ,01 natural sciences ,Combinatorics ,0103 physical sciences ,010307 mathematical physics ,Locally compact space ,0101 mathematics ,Abelian group ,Haar measure ,Mathematics - Abstract
This paper is concerned with a Delsarte-type extremal problem. Denote by$${\mathcal {P}}(G)$$P(G)the set of positive definite continuous functions on a locally compact abelian groupG. We consider the function class, which was originally introduced by Gorbachev,$$\begin{aligned}&{\mathcal {G}}(W, Q)_G = \left\{ f \in {\mathcal {P}}(G) \cap L^1(G)~:\right. \\&\qquad \qquad \qquad \qquad \qquad \left. f(0) = 1, ~ {\text {supp}}{f_+} \subseteq W,~ {\text {supp}}{\widehat{f}} \subseteq Q \right\} \end{aligned}$$G(W,Q)G=f∈P(G)∩L1(G):f(0)=1,suppf+⊆W,suppf^⊆Qwhere$$W\subseteq G$$W⊆Gis closed and of finite Haar measure and$$Q\subseteq {\widehat{G}}$$Q⊆G^is compact. We also consider the related Delsarte-type problem of finding the extremal quantity$$\begin{aligned} {\mathcal {D}}(W,Q)_G = \sup \left\{ \int _{G} f(g) \mathrm{d}\lambda _G(g) ~ : ~ f \in {\mathcal {G}}(W,Q)_G\right\} . \end{aligned}$$D(W,Q)G=sup∫Gf(g)dλG(g):f∈G(W,Q)G.The main objective of the current paper is to prove the existence of an extremal function for the Delsarte-type extremal problem$${\mathcal {D}}(W,Q)_G$$D(W,Q)G. The existence of the extremal function has recently been established by Berdysheva and Révész in the most immediate case where$$G={\mathbb {R}}^d$$G=Rd. So, the novelty here is that we consider the problem in the general setting of locally compact abelian groups. In this way, our result provides a far reaching generalization of the former work of Berdysheva and Révész.
- Published
- 2020
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.