1,279 results
Search Results
2. Lattice Polygons and the Number 2i + 7
- Author
-
Josef Schicho and Christian Haase
- Subjects
Discrete mathematics ,General Mathematics ,010102 general mathematics ,Integer lattice ,Toric variety ,Graph paper ,Computer Science::Computational Geometry ,01 natural sciences ,Combinatorics ,Lattice (order) ,0103 physical sciences ,Polygon ,010307 mathematical physics ,0101 mathematics ,Algebraic number ,Invariant (mathematics) ,Mathematics - Abstract
0.1. How it all began. When the second author translated a result on algebraic sur faces into the language of lattice polygons using toric geometry, he got a simple inequality for lattice polygons. This inequality had originally been discovered by Scott [12]. The first author then found a third proof. Subsequently, both authors went through a phase of polygon addiction. Once you get started drawing lattice polygons on graph paper and discovering relations between their numerical invariants, it is not so easy to stop! (The gentle reader has been warned.) Thus, it was just unavoidable that the authors came up with new inequalities: Scott's inequality can be sharpened if one takes into account another invariant, which is de fined by peeling off the skins of the polygons like an onion (see Section 3).
- Published
- 2009
3. 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
4. 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
5. Noncommutative Counting Invariants and Curve Complexes
- Author
-
Ludmil Katzarkov and George Dimitrov
- Subjects
Intersection theory ,medicine.medical_specialty ,Functor ,Conjecture ,Group (mathematics) ,General Mathematics ,010102 general mathematics ,Quiver ,Type (model theory) ,01 natural sciences ,Combinatorics ,0103 physical sciences ,medicine ,010307 mathematical physics ,0101 mathematics ,Partially ordered set ,Commutative property ,Mathematics - Abstract
In our previous paper, viewing $D^b(K(l))$ as a noncommutative curve, where $K(l)$ is the Kronecker quiver with $l$-arrows, we introduced categorical invariants via counting of noncommutative curves. Roughly, these invariants are sets of subcategories in a given category and their quotients. The noncommutative curve-counting invariants are obtained by restricting the subcategories to be equivalent to $D^b(K(l))$. The general definition, however, defines a larger class of invariants and many of them behave properly with respect to fully faithful functors. Here, after recalling the definition, we focus on the examples and extend our studies beyond counting. We enrich our invariants with the following structures: the inclusion of subcategories makes them partially ordered sets and considering semi-orthogonal pairs of subcategories as edges amounts to directed graphs. It turns out that the problem for counting $D^b(A_k)$ in $D^b(A_n)$ has a geometric combinatorial parallel - counting of maps between polygons. Estimating the numbers counting noncommutative curves in $D^b({\mathbb P}^2)$ modulo the group of autoequivalences, we prove finiteness and that the exact determining of these numbers leads to a solution of Markov problem. Via homological mirror symmetry, this gives a new approach to this problem. Regarding the structure of a partially ordered set mentioned above, we initiate intersection theory of noncommutative curves focusing on the case of noncommutative genus zero. The above-mentioned structure of a directed graph (and related simplicial complex) is a categorical analogue of the classical curve complex, introduced by Harvey and Harrer. The paper contains pictures of the graphs in many examples and also presents an approach to Markov conjecture via counting of subgraphs in a graph associated with $D^b({{\mathbb{P}}}^2)$. Some of the results proved here were announced in a previous work.
- Published
- 2021
6. 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
7. Properties of triangulated and quotient categories arising from n-Calabi–Yau triples
- Author
-
Francesca Fedele
- Subjects
Derived category ,Endomorphism ,Triangulated category ,General Mathematics ,010102 general mathematics ,Field (mathematics) ,01 natural sciences ,Cluster algebra ,Combinatorics ,Mathematics::Category Theory ,0103 physical sciences ,FOS: Mathematics ,Homological algebra ,010307 mathematical physics ,Gap theorem ,Representation Theory (math.RT) ,0101 mathematics ,Mathematics - Representation Theory ,Quotient ,Mathematics - Abstract
The original definition of cluster algebras by Fomin and Zelevinsky has been categorified and generalised in several ways over the course of the past 20 years, giving rise to cluster theory. This study lead to Iyama and Yang's generalised cluster categories $\mathcal{T}/\mathcal{T}^{fd}$ coming from $n$-Calabi-Yau triples $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$. In this paper, we use some classic tools of homological algebra to give a deeper understanding of such categories $\mathcal{T}/\mathcal{T}^{fd}$. Let $k$ be a field, $n\geq 3$ an integer and $\mathcal{T}$ a $k$-linear triangulated category with a triangulated subcategory $\mathcal{T}^{fd}$ and a subcategory $\mathcal{M}=\text{add}(M)$ such that $(\mathcal{T}, \mathcal{T}^{fd}, \mathcal{M})$ is an $n$-Calabi-Yau triple. In this paper, we prove some properties of the triangulated categories $\mathcal{T}$ and $\mathcal{T}/\mathcal{T}^{fd}$. Our first result gives a relation between the Hom-spaces in these categories, using limits and colimits. Our second result is a Gap Theorem in $\mathcal{T}$, showing when the truncation triangles split. Moreover, we apply our two theorems to present an alternative proof to a result by Guo, originally stated in a more specific setup of dg $k$-algebras $A$ and subcategories of the derived category of dg $A$-modules. This proves that $\mathcal{T}/\mathcal{T}^{fd}$ is Hom-finite and $(n-1)$-Calabi-Yau, its object $M$ is $(n-1)$-cluster tilting and the endomorphism algebras of $M$ over $\mathcal{T}$ and over $\mathcal{T}/\mathcal{T}^{fd}$ are isomorphic. Note that these properties make $\mathcal{T}/\mathcal{T}^{fd}$ a generalisation of the cluster category., Comment: 17 pages. Final accepted version to appear in the Pacific Journal of Mathematics
- Published
- 2021
8. 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
9. 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
10. 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
11. On some universal Morse–Sard type theorems
- Author
-
Alba Roviello, Adele Ferone, Mikhail V. Korobkov, Ferone, A., Korobkov, M. V., and Roviello, A.
- Subjects
Uncertainty principle ,Dubovitskii-Federer theorems ,Near critical ,Morse-Sard theorem ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Algebraic geometry ,Morse code ,Sobolev-Lorentz mapping ,Holder mapping ,01 natural sciences ,law.invention ,Sobolev space ,Combinatorics ,law ,0103 physical sciences ,010307 mathematical physics ,Differentiable function ,Bessel potential space ,0101 mathematics ,Critical set ,Mathematics - Abstract
The classical Morse–Sard theorem claims that for a mapping v : R n → R m + 1 of class C k the measure of critical values v ( Z v , m ) is zero under condition k ≥ n − m . Here the critical set, or m-critical set is defined as Z v , m = { x ∈ R n : rank ∇ v ( x ) ≤ m } . Further Dubovitskiĭ in 1957 and independently Federer and Dubovitskiĭ in 1967 found some elegant extensions of this theorem to the case of other (e.g., lower) smoothness assumptions. They also established the sharpness of their results within the C k category. Here we formulate and prove a bridge theorem that includes all the above results as particular cases: namely, if a function v : R n → R d belongs to the Holder class C k , α , 0 ≤ α ≤ 1 , then for every q > m the identity H μ ( Z v , m ∩ v − 1 ( y ) ) = 0 holds for H q -almost all y ∈ R d , where μ = n − m − ( k + α ) ( q − m ) . Intuitively, the sense of this bridge theorem is very close to Heisenberg's uncertainty principle in theoretical physics: the more precise is the information we receive on measure of the image of the critical set, the less precisely the preimages are described, and vice versa. The result is new even for the classical C k -case (when α = 0 ); similar result is established for the Sobolev classes of mappings W p k ( R n , R d ) with minimal integrability assumptions p = max ( 1 , n / k ) , i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. However, using some N-properties for Sobolev mappings, established in our previous paper, we obtained that the sets of nondifferentiability points of Sobolev mappings are fortunately negligible in the above bridge theorem. We cover also the case of fractional Sobolev spaces. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015). We also crucially use very deep Y. Yomdin's entropy estimates of near critical values for polynomials (based on algebraic geometry tools).
- Published
- 2020
12. Bernoulliness of when is an irrational rotation: towards an explicit isomorphism
- Author
-
Christophe Leuridan
- Subjects
Rational number ,Lebesgue measure ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Diophantine approximation ,01 natural sciences ,Irrational rotation ,Combinatorics ,0103 physical sciences ,010307 mathematical physics ,Bernoulli scheme ,Isomorphism ,0101 mathematics ,Real number ,Unit interval ,Mathematics - Abstract
Let $\unicode[STIX]{x1D703}$ be an irrational real number. The map $T_{\unicode[STIX]{x1D703}}:y\mapsto (y+\unicode[STIX]{x1D703})\!\hspace{0.6em}{\rm mod}\hspace{0.2em}1$ from the unit interval $\mathbf{I}= [\!0,1\![$ (endowed with the Lebesgue measure) to itself is ergodic. In a short paper [Parry, Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] published in 1996, Parry provided an explicit isomorphism between the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift when $\unicode[STIX]{x1D703}$ is extremely well approximated by the rational numbers, namely, if $$\begin{eqnarray}\inf _{q\geq 1}q^{4}4^{q^{2}}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ A few years later, Hoffman and Rudolph [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2)156 (2002), 79–101] showed that for every irrational number, the measure-preserving map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ is isomorphic to the unilateral dyadic Bernoulli shift. Their proof is not constructive. In the present paper, we relax notably Parry’s condition on $\unicode[STIX]{x1D703}$: the explicit map provided by Parry’s method is an isomorphism between the map $[T_{\unicode[STIX]{x1D703}},\text{Id}]$ and the unilateral dyadic Bernoulli shift whenever $$\begin{eqnarray}\inf _{q\geq 1}q^{4}~\text{dist}(\unicode[STIX]{x1D703},q^{-1}\mathbb{Z})=0.\end{eqnarray}$$ This condition can be relaxed again into $$\begin{eqnarray}\inf _{n\geq 1}q_{n}^{3}~(a_{1}+\cdots +a_{n})~|q_{n}\unicode[STIX]{x1D703}-p_{n}| where $[0;a_{1},a_{2},\ldots ]$ is the continued fraction expansion and $(p_{n}/q_{n})_{n\geq 0}$ the sequence of convergents of $\Vert \unicode[STIX]{x1D703}\Vert :=\text{dist}(\unicode[STIX]{x1D703},\mathbb{Z})$. Whether Parry’s map is an isomorphism for every $\unicode[STIX]{x1D703}$ or not is still an open question, although we expect a positive answer.
- Published
- 2020
13. 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
14. On Sufficient Conditions for the Closure of an Elementary Net
- Author
-
V. A. Koibaev and A. K. Gutnova
- Subjects
Group (mathematics) ,General Mathematics ,010102 general mathematics ,Diagonal ,Closure (topology) ,Sigma ,Field (mathematics) ,Net (mathematics) ,01 natural sciences ,010305 fluids & plasmas ,Combinatorics ,0103 physical sciences ,Closure problem ,0101 mathematics ,Mathematics - Abstract
In the paper, the elementary net closure problem is considered. An elementary net (net without a diagonal) σ = (σij)i ≠ j of additive subgroups σij of field k is called “closed” if elementary net group E(σ) does not contain new elementary transvections. Elementary net σ = (σij) is called “supplemented” if table (with a diagonal) σ = (σij), 1 ≤ i, j ≤ n, is a (full) net for some additive subgroups σii of field k. The supplemented elementary nets are closed. The necessary and sufficient condition for the supplementarity of elementary net σ = (σij) is the implementation of inclusions σijσjiσij ⊆ σij (for any i ≠ j). The question (Kourovka Notebook, Problem 19.63) is investigated of whether it true that, for closure of elementary net σ = (σij) it suffices to implement inclusions $$\sigma _{{ij}}^{2}{{\sigma }_{{ji}}}$$ ⊆ σji for any i ≠ j (here, ($$\sigma _{{ij}}^{2}$$ denotes the additive subgroup of field k generated by the squares from σij). The elementary nets for which the latter inclusions are satisfied are called “weakly supplemented elementary nets.” The concepts of supplemented and weakly supplemented elementary nets coincide for fields of odd characteristic. Thus, the aforementioned question of the sufficiency of weak supplementarity for the closure of an elementary net is relevant for the fields of characteristics 0 and 2. In this paper, examples of weakly supplemented but not supplemented elementary nets are constructed for the fields of characteristics 0 and 2. An example of a closed elementary net that is not weakly supplemented is constructed.
- Published
- 2020
15. Linear operators preserving majorization of matrix tuples
- Author
-
Alexander Guterman and Pavel Shteyner
- Subjects
Doubly stochastic matrix ,General Mathematics ,010102 general mathematics ,Stochastic matrix ,General Physics and Astronomy ,01 natural sciences ,Square matrix ,010305 fluids & plasmas ,Combinatorics ,Linear map ,Matrix (mathematics) ,0103 physical sciences ,Ordered pair ,0101 mathematics ,Tuple ,Majorization ,Mathematics - Abstract
In this paper, we consider weak, directional and strong matrix majorizations. Namely, for square matrices A and B of the same size we say that A is weakly majorized by B if there is a row stochastic matrix X such that A = XB. Further, A is strongly majorized by B if there is a doubly stochastic matrix X such that A = XB. Finally, A is directionally majorized by B if Ax is majorized by Bx for any vector x where the usual vector majorization is used. We introduce the notion of majorization of matrix tuples which is defined as a natural generalization of matrix majorizations: for a chosen type of majorization we say that one tuple of matrices is majorized by another tuple of the same size if every matrix of the “smaller” tuple is majorized by a matrix in the same position in the “bigger” tuple. We say that a linear operator preserves majorization if it maps ordered pairs to ordered pairs and the image of the smaller element does not exceed the image of the bigger one. This paper contains a full characterization of linear operators that preserve weak, strong or directional majorization of tuples of matrices and linear operators that map tuples that are ordered with respect to strong majorization to tuples that are ordered with respect to directional majorization. We have shown that every such operator preserves respective majorization of each component. For all types of majorization we provide counterexamples that demonstrate that the inverse statement does not hold, that is if majorization of each component is preserved, majorization of tuples may not.
- Published
- 2020
16. Virtual Retraction Properties in Groups
- Author
-
Ashot Minasyan
- Subjects
Property (philosophy) ,Conjecture ,Group (mathematics) ,General Mathematics ,010102 general mathematics ,20E26, 20E25, 20E08 ,Group Theory (math.GR) ,01 natural sciences ,Commensurability (mathematics) ,Combinatorics ,Mathematics::Group Theory ,Simple (abstract algebra) ,Retract ,0103 physical sciences ,Free group ,FOS: Mathematics ,Graph (abstract data type) ,010307 mathematical physics ,0101 mathematics ,Mathematics - Group Theory ,Mathematics - Abstract
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
- Published
- 2019
17. Segre Indices and Welschinger Weights as Options for Invariant Count of Real Lines
- Author
-
Sergey Finashin, Viatcheslav Kharlamov, Institut de Recherche Mathématique Avancée (IRMA), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), Middle East Technical University (METU), and Middle East Technical University [Ankara] (METU)
- Subjects
General Mathematics ,010102 general mathematics ,Vector bundle ,Algebraic geometry ,01 natural sciences ,Upper and lower bounds ,Quintic function ,Combinatorics ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,Hypersurface ,0103 physical sciences ,FOS: Mathematics ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,010307 mathematical physics ,0101 mathematics ,Invariant (mathematics) ,Algebraic Geometry (math.AG) ,14P25 ,Mathematics - Abstract
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)
- Published
- 2019
18. A Polynomial Sieve and Sums of Deligne Type
- Author
-
Dante Bonolis
- Subjects
Polynomial (hyperelastic model) ,Mathematics - Number Theory ,Degree (graph theory) ,General Mathematics ,Sieve (category theory) ,010102 general mathematics ,Multiplicative function ,Type (model theory) ,01 natural sciences ,Combinatorics ,Hypersurface ,Homogeneous polynomial ,0103 physical sciences ,FOS: Mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
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
- Published
- 2019
19. 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
20. 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
21. 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
22. 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
23. Sharkovskii’s Ordering and Estimates of the Number of Periodic Trajectories of Given Period of a Self-Map of an Interval
- Author
-
O. A. Ivanov
- Subjects
Period (periodic table) ,General Mathematics ,010102 general mathematics ,Periodic point ,Interval (mathematics) ,01 natural sciences ,Upper and lower bounds ,010305 fluids & plasmas ,Combinatorics ,Set (abstract data type) ,0103 physical sciences ,Point (geometry) ,0101 mathematics ,Mathematics - Abstract
In 1964, A. N. Sharkovskii published a paper in which he introduced an ordering relation on the set of positive integers. His ordering had the property that if a continuous self-map of an interval has a periodic point of some period p, then it also has periodic points of any period larger than p in this ordering. The least number in this ordering is 3. Thus, if a continuous self-map of an interval has a point of period 3, then it has points of any period. In 1975, this result was rediscovered by Lie and Yorke, who published it in their paper “Period three implies chaos.” Their work has led to the international recognition of Sharkovskii’s theorem. Since then, numerous papers on properties of self-maps of an interval have appeared. In 1994, even a conference named “Thirty Years after Sharkovskii’s Theorem: New Perspectives” was held. One of the research directions is estimating the number of periodic trajectories which a map satisfying the conditions of Sharkovskii’s theorem must have. In 1985, Bau-Sen Du published a paper in which he obtained an exact lower bound for the number of periodic trajectories of given period. In the present paper, a new, significantly shorter and more natural, proof of this result is given.
- Published
- 2019
24. 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
25. 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
26. 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
27. Permutability of the Sylow 2-subgroup with some biprimary subgroups
- Author
-
S. Y. Bashun
- Subjects
Finite group ,Group (mathematics) ,General Mathematics ,010102 general mathematics ,Sylow theorems ,Structure (category theory) ,General Physics and Astronomy ,Type (model theory) ,01 natural sciences ,Combinatorics ,Computational Theory and Mathematics ,Simple (abstract algebra) ,0103 physical sciences ,Order (group theory) ,010307 mathematical physics ,Permutable prime ,0101 mathematics ,Mathematics - Abstract
In this paper, the compositional structure of a finite group G is investigated, which has the Sylow 2-subgroup that is permutable with some non p-nilpotent biprimary subgroups, which contain the Sylow р-subgroup of G for all odd simple divisors of the р order of the group G, and such biprimary subgroups are taken one by one for each odd р, and mark the set SB(G). In this work, the existence of the subset SB(G)* in SB(G) is proved, which consists of р-closed subgroups. The main result of this paper is as follows: if the Sylow 2-subgroup of the group G is permutable with all subgroups SB(G)*, then G may have simple non-abelian compositional factors only of L2(7) type, if p > 3, and additionally of L2(3f) type, f = 3a, a ≥ 1, if p = 3.
- Published
- 2019
28. On Urysohn’s ℝ-Tree
- Author
-
V. N. Berestovskii
- Subjects
General Mathematics ,010102 general mathematics ,Valency ,01 natural sciences ,Separable space ,Combinatorics ,Tree (descriptive set theory) ,Metric space ,0103 physical sciences ,Point (geometry) ,010307 mathematical physics ,0101 mathematics ,Ultrametric space ,Mathematics - Abstract
In the short note of 1927, Urysohn constructed the metric space R that is nowhere locally separable. There is no publication with indications that R is a (noncomplete) ℝ-tree that has valency c at each point. The author in 1989, as well as Polterovich and Shnirelman in 1997, constructed ℝ-trees isometric to R unaware of the paper by Urysohn. In this paper the author considers various constructions of the ℝ-tree R and of the minimal complete ℝ-tree of valency c including R, as well as the characterizations of ℝ-trees, their properties, and connections with ultrametric spaces.
- Published
- 2019
29. Entire functions of order 1/2 in the approximation of functions on the semiaxis
- Author
-
N. A. Shirokov and Olga V. Silvanovich
- Subjects
Class (set theory) ,General Mathematics ,Entire function ,010102 general mathematics ,General Physics and Astronomy ,Type (model theory) ,01 natural sciences ,Midpoint ,Exponential type ,010305 fluids & plasmas ,Combinatorics ,Bounded function ,0103 physical sciences ,Order (group theory) ,Countable set ,0101 mathematics ,Mathematics - Abstract
We present a theorem in the present paper on an approximation to functions of a Holder class on a countable union of segments lying on a positive ray by entire functions of order 1/2 bounded on this ray. Problems related to the approximation of entire functions on subsets of the semiaxis by using entire functions of order 1/2 are closely related to problems of approximating functions on subsets of the whole axis using entire functions of exponential type but have their own specifics. We consider segments In in this paper with lengths of order n such that the distance between In and In + 1 is also of order n. Cases of the whole semiaxis or the union of finitely many segments and a ray were considered in previous papers. As for the problem of approximating functions of the Holder class on the union of a countable set of segments on the whole axis, it turns out that the approximation rate at neighborhoods of the segment endpoints as the type of the functions increases is higher than that in a neighborhood of their midpoints.
- Published
- 2019
30. Asymptotic normality in the problem of selfish parking
- Author
-
Nikolay A. Kryukov and Sergey M. Ananjevskii
- Subjects
General Mathematics ,Parking problem ,010102 general mathematics ,General Physics and Astronomy ,Contrast (statistics) ,Asymptotic distribution ,01 natural sciences ,010305 fluids & plasmas ,Combinatorics ,0103 physical sciences ,Interval (graph theory) ,Central moment ,0101 mathematics ,Random variable ,Unit (ring theory) ,Open interval ,Mathematics - Abstract
We continue in this paper to study one of the models of a discrete analog of the Renyi problem, also known as the parking problem. Suppose that n and i are integers satisfying n ≥ 0 and 0 ≤ i ≤ n – 1. We place an open interval (i, i + 1) in the segment [0, n] with i being a random variable taking values 0, 1, 2, …, n – 1 with equal probability for all n ≥ 2. If n < 2, then we say that the interval does not fit. After placing the first interval, two free segments [0, i] and [i + 1, n] are formed and independently filled with intervals of unit length according to the same rule, and so on. At the end of the process of filling the segment [0, n] with intervals of unit length, the distance between any two adjacent unit intervals does not exceed one. Suppose now that Xn is the number of unit intervals placed. In our earlier work published in 2018, we studied the asymptotic behavior of the first moments of random variable Xn. In contrast to the classical case, the exact expressions for the expectation, variance, and third central moment were obtained. The asymptotic behavior of all central moments of random variable Xn is investigated in this paper and the asymptotic normality for Xn is proved.
- Published
- 2019
31. 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
32. 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
33. 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
34. 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
35. An Estimate for the Number of Periodical Trajectories of the Given Period for Mapping of an Interval, Lucas Numbers, and Necklaces
- Author
-
Oleg А. Ivanov
- Subjects
General Mathematics ,010102 general mathematics ,Interval (mathematics) ,Type (model theory) ,01 natural sciences ,Upper and lower bounds ,010305 fluids & plasmas ,Piecewise linear function ,Combinatorics ,Unimodular matrix ,Lucas number ,Bounded function ,0103 physical sciences ,Point (geometry) ,0101 mathematics ,Mathematics - Abstract
In 1964, A.N. Sharkovskii published an article in which he introduced a special ordering on the set of positive integers. This ordering has the property that if p ◃ q and a mapping of a closed bounded interval into itself has a point of period p, then it has a point of period q. The least number with respect to this ordering is 3. Thus, if a mapping has a point of period 3, then it has points of any periods. In 1975, the latter result was rediscovered by Li and Yorke, who published the paper “Period Three Implies Chaos.” In the present paper, an exact lower bound for the number of trajectories of a given period for a mapping of a closed bounded interval into itself having a point of period 3 is given. The key point of the reasoning consisted in solution of a combinatorial problem the answer to which is expressed in terms of Lucas numbers. As a consequence, an explicit formula for the number of necklaces of a special type is obtained. We also consider a piecewise linear unimodular mapping of [0, 1] into itself for which it is possible to find points of an arbitrary given period.
- Published
- 2018
36. 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
37. Domains Without Dense Steklov Nodal Sets
- Author
-
Jeffrey Galkowski and Oscar P. Bruno
- Subjects
Applied Mathematics ,General Mathematics ,Open problem ,010102 general mathematics ,Sigma ,Mathematics::Spectral Theory ,Eigenfunction ,01 natural sciences ,Omega ,Combinatorics ,0103 physical sciences ,010307 mathematical physics ,Ball (mathematics) ,0101 mathematics ,Analysis ,Eigenvalues and eigenvectors ,Mathematics - Abstract
This article concerns the asymptotic geometric character of the nodal set of the eigenfunctions of the Steklov eigenvalue problem $$\begin{aligned} -\Delta \phi _{\sigma _j}=0,\quad \hbox { on }\,\,\Omega ,\quad \partial _\nu \phi _{\sigma _j}=\sigma _j \phi _{\sigma _j}\quad \hbox { on }\,\,\partial \Omega \end{aligned}$$-Δϕσj=0,onΩ,∂νϕσj=σjϕσjon∂Ωin two-dimensional domains $$\Omega $$Ω. In particular, this paper presents a dense family $$\mathcal {A}$$A of simply-connected two-dimensional domains with analytic boundaries such that, for each $$\Omega \in \mathcal {A}$$Ω∈A, the nodal set of the eigenfunction $$\phi _{\sigma _j}$$ϕσj “is not dense at scale $$\sigma _j^{-1}$$σj-1”. This result addresses a question put forth under “Open Problem 10” in Girouard and Polterovich (J Spectr Theory 7(2):321–359, 2017). In fact, the results in the present paper establish that, for domains $$\Omega \in \mathcal {A}$$Ω∈A, the nodal sets of the eigenfunctions $$\phi _{\sigma _j}$$ϕσj associated with the eigenvalue $$\sigma _j$$σj have starkly different character than anticipated: they are not dense at any shrinking scale. More precisely, for each $$\Omega \in \mathcal {A}$$Ω∈A there is a value $$r_1>0$$r1>0 such that for each j there is $$x_j\in \Omega $$xj∈Ω such that $$\phi _{\sigma _j}$$ϕσj does not vanish on the ball of radius $$r_1$$r1 around $$x_j$$xj.
- Published
- 2020
38. Multiplicities for tensor products on Special linear versus Classical groups
- Author
-
Dipendra Prasad and Vinay Wagh
- Subjects
Classical group ,20G05 ,General Mathematics ,010102 general mathematics ,Special linear group ,Algebraic geometry ,01 natural sciences ,Combinatorics ,Number theory ,Tensor product ,Irreducible representation ,0103 physical sciences ,Trivial representation ,Bijection ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Representation Theory (math.RT) ,Mathematics - Representation Theory ,Mathematics - Abstract
In this paper, using computations done through the LiE software, we compare the tensor product of irreducible selfdual representations of the special linear group with those of classical groups to formulate some conjectures relating the two. In the process a few other phenomenon present themselves which we record as questions. More precisely, under the natural correspondence of irreducible finite dimensional selfdual representations of ${\rm SL}_{2n}({\mathbb C})$ with those of ${\rm Spin}_{2n+1}({\mathbb C})$, it is easy to see that if the tensor product of three irreducible representations of ${\rm Spin}_{2n+1}({\rm C})$ contains the trivial representation, then so does the tensor product of the corresponding representations of ${\rm SL}_{2n}({\rm C})$. The paper formulates a conjecture in the reverse direction. We also deal with the pair $({\rm SL}_{2n+1}({\rm C}), {\rm Sp}_{2n}({\rm C}))$., Comment: Revised version!
- Published
- 2020
- Full Text
- View/download PDF
39. FOUR IDENTITIES FOR THIRD ORDER MOCK THETA FUNCTIONS
- Author
-
Amita Malik, George E. Andrews, Bruce C. Berndt, Sun Kim, and Song Heng Chan
- Subjects
Lemma (mathematics) ,010308 nuclear & particles physics ,General Mathematics ,010102 general mathematics ,Rank (computer programming) ,Mathematical proof ,01 natural sciences ,Ramanujan's sum ,Ramanujan theta function ,Combinatorics ,symbols.namesake ,Third order ,Section (category theory) ,0103 physical sciences ,symbols ,0101 mathematics ,Mathematics - Abstract
In 2005, using a famous lemma of Atkin and Swinnerton-Dyer (Some properties of partitions, Proc. Lond. Math. Soc. (3)4(1954), 84–106), Yesilyurt (Four identities related to third order mock theta functions in Ramanujan’s lost notebook, Adv. Math. 190(2005), 278–299) proved four identities for third order mock theta functions found on pages 2 and 17 in Ramanujan’s lost notebook. The primary purpose of this paper is to offer new proofs in the spirit of what Ramanujan might have given in the hope that a better understanding of the identities might be gained. Third order mock theta functions are intimately connected with ranks of partitions. We prove new dissections for two rank generating functions, which are keys to our proof of the fourth, and the most difficult, of Ramanujan’s identities. In the last section of this paper, we establish new relations for ranks arising from our dissections of rank generating functions.
- Published
- 2018
40. On Riesz Means of the Coefficients of Epstein’s Zeta Functions
- Author
-
O. M. Fomenko
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Generating function ,Type (model theory) ,01 natural sciences ,Omega ,010305 fluids & plasmas ,Riemann zeta function ,Combinatorics ,symbols.namesake ,Riesz mean ,0103 physical sciences ,symbols ,0101 mathematics ,Mathematics - Abstract
Let rk(n) denote the number of lattice points on a k-dimensional sphere of radius $$ \sqrt{n} $$ . The generating function $$ {\zeta}_k(s)=\sum \limits_{n=1}^{\infty }{r}_k(n){n}^{-s},\kern0.5em k\ge 2, $$ is Epstein’s zeta function. The paper considers the Riesz mean of the type $$ {D}_{\rho}\left(x;{\zeta}_3\right)=\frac{1}{\Gamma \left(\rho +1\right)}\sum \limits_{n\le x}{\left(x-n\right)}^{\rho }{r}_3(n), $$ where ρ > 0; the error term Δρ(x; ζ3) is defined by $$ {D}_{\rho}\left(x;{\zeta}_3\right)=\frac{\uppi^{3/2}{x}^{\rho +3/2}}{\Gamma \left(\rho +5/2\right)}+\frac{x^{\rho }}{\Gamma \left(\rho +1\right)}{\zeta}_3(0)+{\Delta}_{\rho}\left(x;{\zeta}_3\right). $$ K. Chandrasekharan and R. Narasimhan (1962, MR25#3911) proved that $$ {\Delta}_{\rho}\left(x;{\zeta}_3\right)=\Big\{{\displaystyle \begin{array}{ll}O\Big({x}^{1/2+\rho /2\Big)}& \left(\rho >1\right),\\ {}{\Omega}_{\pm}\left({x}^{1/2+\rho /2}\right)& \left(\rho \ge 0\right).\end{array}} $$ In the present paper, it is proved that $$ {\Delta}_{\rho}\left(x;{\zeta}_3\right)=\Big\{{\displaystyle \begin{array}{ll}O\left(x\log x\right)& \left(\rho =1\right),\\ {}O\left({x}^{2/3+\rho /3+\varepsilon}\right)& \left(1/2
- Published
- 2018
41. Quadratic Interaction Estimate for Hyperbolic Conservation Laws: an Overview
- Author
-
Stefano Modena
- Subjects
Statistics and Probability ,Conservation law ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Prime (order theory) ,Interaction time ,Combinatorics ,Quadratic equation ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
In a joint work with S. Bianchini [8] (see also [6, 7]), we proved a quadratic interaction estimate for the system of conservation laws $$ \left\{\begin{array}{l}{u}_t+f{(u)}_x=0,\\ {}u\left(t=0\right)={u}_0(x),\end{array}\right. $$ where u : [0, ∞) × ℝ → ℝn, f : ℝn → ℝn is strictly hyperbolic, and Tot.Var.(u0) ≪ 1. For a wavefront solution in which only two wavefronts at a time interact, such an estimate can be written in the form $$ \sum \limits_{t_j\;\mathrm{interaction}\ \mathrm{time}}\frac{\left|\sigma \left({\alpha}_j\right)-\sigma \left({\alpha}_j^{\prime}\right)\right|\left|{\alpha}_j\right|\left|{\alpha}_j^{\prime}\right|}{\left|{\alpha}_j\right|+\left|{\alpha}_j^{\prime}\right|}\le C(f)\mathrm{Tot}.\mathrm{Var}.{\left({u}_0\right)}^2, $$ where αj and $$ {\alpha}_j^{\prime } $$ are the wavefronts interacting at the interaction time tj, σ(·) is the speed, |·| denotes the strength, and C(f) is a constant depending only on f (see [8, Theorem 1.1] or Theorem 3.1 in the present paper for a more general form). The aim of this paper is to provide the reader with a proof for such a quadratic estimate in a simplified setting, in which: • all the main ideas of the construction are presented; • all the technicalities of the proof in the general setting [8] are avoided.
- Published
- 2018
42. Decomposition spaces, incidence algebras and Möbius inversion III: The decomposition space of Möbius intervals
- Author
-
Joachim Kock, Imma Gálvez-Carrillo, Andrew Tonks, Universitat Politècnica de Catalunya. Departament de Matemàtiques, and Universitat Politècnica de Catalunya. GEOMVAP - Geometria de Varietats i Aplicacions
- Subjects
Pure mathematics ,Mathematics::General Mathematics ,Mathematics::Number Theory ,General Mathematics ,Coalgebra ,18 Category theory [Classificació AMS] ,Structure (category theory) ,18G Homological algebra [homological algebra] ,Combinatorial topology ,55 Algebraic topology::55P Homotopy theory [Classificació AMS] ,Algebraic topology ,Space (mathematics) ,2-Segal space ,01 natural sciences ,Combinatorics ,decomposition space ,18G30, 16T10, 06A11, 18-XX, 55Pxx ,Mathematics::Category Theory ,0103 physical sciences ,Mathematics - Combinatorics ,Mathematics::Metric Geometry ,Matemàtiques i estadística::Topologia::Topologia algebraica [Àrees temàtiques de la UPC] ,Mathematics - Algebraic Topology ,0101 mathematics ,06 Order, lattices, ordered algebraic structures::06A Ordered sets [Classificació AMS] ,Mathematics ,Topologia combinatòria ,CULF functor ,Mathematics::Combinatorics ,Functor ,Mathematics::Complex Variables ,Homotopy ,010102 general mathematics ,Mathematics - Category Theory ,Möbius interval ,Topologia algebraica ,Hopf algebra ,18 Category theory ,homological algebra::18G Homological algebra [Classificació AMS] ,010307 mathematical physics ,Möbius inversion - Abstract
Decomposition spaces are simplicial $\infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of M\"obius decomposition space, a far-reaching generalisation of the notion of M\"obius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of M\"obius intervals, which contains the universal M\"obius function (but is not induced by a M\"obius category), can be realised as the homotopy cardinality of a M\"obius decomposition space $U$ of all M\"obius intervals, and that in a certain sense $U$ is universal for M\"obius decomposition spaces and CULF functors., Comment: 35 pages. This paper is one of six papers that formerly constituted the long manuscript arXiv:1404.3202. v3: minor expository improvements. Final version to appear in Adv. Math
- Published
- 2018
43. On Self-Similar Subgroups in the Sense of IFS
- Author
-
Saltan, Mustafa and Anadolu Üniversitesi, Fen Fakültesi, Matematik Bölümü
- Subjects
11e95 ,28a80 ,Cantor Set ,General Mathematics ,010102 general mathematics ,Sense (electronics) ,P-Adic Integers ,01 natural sciences ,010305 fluids & plasmas ,Combinatorics ,Cantor set ,Mathematics::Group Theory ,Computer Science::Graphics ,Iterated function system ,0103 physical sciences ,QA1-939 ,Self-Similar Group ,[MATH]Mathematics [math] ,0101 mathematics ,47h10 ,Mathematics - Abstract
In this paper, we first give several properties with respect to subgroups of self-similar groups in the sense of iterate function system (IFS). We then prove that some subgroups of p-adic numbers p are strong self-similar in the sense of IFS, 1306F169, The author thanks editor Stephen Glasby and the anonymous reviewers for their constructive suggestions. This paper is supported by the Anadolu University Research Fund under Contract 1306F169.
- Published
- 2018
44. Involutions fixing Fn∪F3
- Author
-
Pedro L. Q. Pergher and Évelin Meneguesso Barbaresco
- Subjects
Combinatorics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,Codimension ,0101 mathematics ,Fixed point ,01 natural sciences ,Mathematics - Abstract
Let M m be a closed smooth manifold equipped with a smooth involution having fixed point set of the form F n ∪ F 3 , where F n and F 3 are submanifolds with dimensions n and 3, respectively, where 3 n m and with the normal bundles over F n and F 3 being nonbounding. The authors of this paper, together with Patricia E. Desideri, previously showed that, when n is even, then m ≤ n + 4 , which we call a small codimension phenomenon. Further, they showed that this small bound is best possible. In this paper we study this problem for n odd, which is much more complicated, requiring more sophisticated techniques involving characteristic numbers. We show in this case that m ≤ M ( n − 3 ) + 6 , where M ( n ) is the Stong–Pergher number (see the definition of M ( n ) in Section 1). Further, we show that this bound is almost best possible, in the sense that there exists an example with m = M ( n − 3 ) + 5 , which means that for n odd the small codimension phenomenon does not occur and the bound in question is meaningful. The existence of these bounds is guaranteed by the famous Five Halves Theorem of J. Boardman, which establishes that, under the above hypotheses, m ≤ 5 2 n .
- Published
- 2018
45. An approximation principle for congruence subgroups
- Author
-
Tobias Finis and Erez Lapid
- Subjects
20E18, 20G25 ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Lattice (group) ,Group Theory (math.GR) ,01 natural sciences ,Prime (order theory) ,Combinatorics ,Conjugacy class ,Group scheme ,0103 physical sciences ,Lie algebra ,Simply connected space ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Mathematics - Group Theory ,Group theory ,Mathematics ,Congruence subgroup - Abstract
The motivating question of this paper is roughly the following: given a group scheme $G$ over $\mathbb{Z}_p$, $p$ prime, with semisimple generic fiber $G_{\mathbb{Q}_p}$, how far are open subgroups of $G(\mathbb{Z}_p)$ from subgroups of the form $X(\mathbb{Z}_p)\mathbf{K}_p(p^n)$, where $X$ is a subgroup scheme of $G$ and $\mathbf{K}_p(p^n)$ is the principal congruence subgroup $\operatorname{Ker} (G(\mathbb{Z}_p)\rightarrow G(\mathbb{Z}/p^n\mathbb{Z}))$? More precisely, we will show that for $G_{\mathbb{Q}_p}$ simply connected there exist constants $J\ge1$ and $\varepsilon>0$, depending only on $G$, such that any open subgroup of $G (\mathbb{Z}_p)$ of level $p^n$ admits an open subgroup of index $\le J$ which is contained in $X(\mathbb{Z}_p)\mathbf{K}_p(p^{\lceil \varepsilon n\rceil})$ for some proper connected algebraic subgroup $X$ of $G$ defined over $\mathbb{Q}_p$. Moreover, if $G$ is defined over $\mathbb{Z}$, then $\varepsilon$ and $J$ can be taken independently of $p$. We also give a correspondence between natural classes of $\mathbb{Z}_p$-Lie subalgebras of $\mathfrak{g}_{\mathbb{Z}_p}$ and of closed subgroups of $G(\mathbb{Z}_p)$ that can be regarded as a variant over $\mathbb{Z}_p$ of Nori's results on the structure of finite subgroups of $\operatorname{GL}(N_0,\mathbb{F}_p)$ for large $p$. As an application we give a bound for the volume of the intersection of a conjugacy class in the group $G (\hat{\mathbb{Z}}) = \prod_p G (\mathbb{Z}_p)$, for $G$ defined over $\mathbb{Z}$, with an arbitrary open subgroup. In a future paper, this result will be applied to the limit multiplicity problem for arbitrary congruence subgroups of the arithmetic lattice $G (\mathbb{Z})$., fixed a few inaccuracies and made some stylistic changes to appear in JEMS
- Published
- 2018
46. The Groups G2 n with Additional Structures
- Author
-
Seongjeong Kim
- Subjects
Combinatorics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,Braid ,010307 mathematical physics ,0101 mathematics ,Parity (mathematics) ,01 natural sciences ,Mathematics - Abstract
In the paper [1], V. O. Manturov introduced the groups G k n depending on two natural parameters n > k and naturally related to topology and to the theory of dynamical systems. The group G2 n , which is the simplest part of G k n , is isomorphic to the group of pure free braids on n strands. In the present paper, we study the groups G2 n supplied with additional structures–parity and points; these groups are denoted by G2n,p and G2n,d. First,we define the groups G2n,p and G2n,d, then study the relationship between the groups G2 n , G2n,p, and G2n,d. Finally, we give an example of a braid on n + 1 strands, which is not the trivial braid on n + 1 strands, by using a braid on n strands with parity. After that, the author discusses links in S g × S1 that can determine diagrams with points; these points correspond to the factor S1 in the product S g × S1.
- Published
- 2018
47. Index theorem for $\mathbb{Z}/2$-harmonic spinors
- Author
-
Ryosuke Takahashi
- Subjects
Spinor ,General Mathematics ,010102 general mathematics ,Dimension (graph theory) ,Structure (category theory) ,Zero (complex analysis) ,Harmonic (mathematics) ,Type (model theory) ,01 natural sciences ,Moduli space ,Combinatorics ,0103 physical sciences ,Mathematics::Differential Geometry ,010307 mathematical physics ,0101 mathematics ,Mathematics::Representation Theory ,Mathematics::Symplectic Geometry ,Atiyah–Singer index theorem ,Mathematics - Abstract
In my previous paper, I prove the existence of the Kuranishi structure for the moduli space $\mathfrak{M}$ of zero loci of $\mathbb{Z}/2$-harmonic spinors on a 3-manifold. So a nature question we can ask is to compute the virtual dimension for this moduli space $\mathfrak{M}_{g_0}:=\mathfrak{M}\cap\{g=g_0\}$. In this paper, I will first prove that $v-dim(\mathfrak{M}_{g_0})=0$. Secondly, I will generalize this formula on 4-manifolds by using a special type of index developed by Jochen Bruning, Robert Seeley, and Fangyun Yang.
- Published
- 2018
48. Isomorphisms of Twisted Hilbert Loop Algebras
- Author
-
Timothée Marquis and Karl-Hermann Neeb
- Subjects
17B65, 17B70, 17B22, 17B10 ,General Mathematics ,010102 general mathematics ,Hilbert space ,Mathematics - Rings and Algebras ,01 natural sciences ,Combinatorics ,Loop (topology) ,symbols.namesake ,Isomorphism theorem ,Rings and Algebras (math.RA) ,Affine root system ,Product (mathematics) ,0103 physical sciences ,Lie algebra ,FOS: Mathematics ,symbols ,010307 mathematical physics ,Isomorphism ,Representation Theory (math.RT) ,0101 mathematics ,Invariant (mathematics) ,Mathematics - Representation Theory ,Mathematics - Abstract
The closest infinite dimensional relatives of compact Lie algebras are Hilbert-Lie algebras, i.e. real Hilbert spaces with a Lie algebra structure for which the scalar product is invariant. Locally affine Lie algebras (LALAs) correspond to double extensions of (twisted) loop algebras over simple Hilbert-Lie algebras $\mathfrak{k}$, also called affinisations of $\mathfrak{k}$. They possess a root space decomposition whose corresponding root system is a locally affine root system of one of the $7$ families $A_J^{(1)}$, $B_J^{(1)}$, $C_J^{(1)}$, $D_J^{(1)}$, $B_J^{(2)}$, $C_J^{(2)}$ and $BC_J^{(2)}$ for some infinite set $J$. To each of these types corresponds a "minimal" affinisation of some simple Hilbert-Lie algebra $\mathfrak{k}$, which we call standard. In this paper, we give for each affinisation $\mathfrak{g}$ of a simple Hilbert-Lie algebra $\mathfrak{k}$ an explicit isomorphism from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from the classification of locally affine root systems, but for representation theoretic purposes it is crucial to obtain it explicitely as a deformation between two twists which is compatible with the root decompositions. We illustrate this by applying our isomorphism theorem to the study of positive energy highest weight representations of $\mathfrak{g}$. In subsequent work, the present paper will be used to obtain a complete classification of the positive energy highest weight representations of affinisations of $\mathfrak{k}$., Comment: 22 pages; Minor corrections
- Published
- 2017
49. NP-complete problems for systems of Linear polynomial’s values divisibilities
- Author
-
Mikhail R. Starchak, N. K. Kosovskii, T. M. Kosovskaya, and N. N. Kosovskii
- Subjects
Discrete mathematics ,NEXPTIME ,Series (mathematics) ,Divisor ,General Mathematics ,010102 general mathematics ,Polynomial arithmetic ,Polynomial remainder theorem ,Divisibility rule ,01 natural sciences ,010305 fluids & plasmas ,Square-free polynomial ,Combinatorics ,0103 physical sciences ,0101 mathematics ,Mathematics - Abstract
The paper studies the algorithmic complexity of subproblems for satisfiability in positive integers of simultaneous divisibility of linear polynomials with nonnegative coefficients. In the general case, it is not known whether this problem is in the class NP, but that it is in NEXPTIME is known. The NP-completeness of two series of restricted versions of this problem such that a divisor of a linear polynomial is a number in the first case, and a linear polynomial is a divisor of a number in the second case is proved in the paper. The parameters providing the NP-completeness of these problems have been established. Their membership in the class P has been proven for smaller values of these parameters. For the general problem SIMULTANEOUS DIVISIBILITY OF LINEAR POLYNOMIALS, NP-hardness has been proven for its particular case, when the coefficients of the polynomials are only from the set {1, 2} and constant terms are only from the set {1, 5}.
- Published
- 2017
50. Exotic elliptic algebras of dimension 4
- Author
-
Alexandru Chirvasitu and S. Paul Smith
- Subjects
Discrete mathematics ,Ring (mathematics) ,General Mathematics ,010102 general mathematics ,Homogeneous coordinate ring ,Algebraic geometry ,Automorphism ,01 natural sciences ,Combinatorics ,Elliptic curve ,Grassmannian ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Algebraically closed field ,Incidence (geometry) ,Mathematics - Abstract
Let E be an elliptic curve defined over an algebraically closed field k whose characteristic is not 2 or 3. Let τ be a translation automorphism of E that is not of order 2. In a previous paper we studied an algebra A = A ( E , τ ) that depends on this data: A ( E , τ ) = ( S ( E , τ ) ⊗ M 2 ( k ) ) Γ where S ( E , τ ) is the 4-dimensional Sklyanin algebra associated to ( E , τ ) , M 2 ( k ) is the ring of 2 × 2 matrices over k, and Γ is ( Z / 2 ) × ( Z / 2 ) acting in a particular way as automorphisms of S and M 2 ( k ) . The action of Γ on S is compatible with the translation action of the 2-torsion subgroup E [ 2 ] on E. Following the ideas and results in papers of Artin–Tate–Van den Bergh, Smith–Stafford, and Levasseur–Smith, this paper examines the line modules, point modules, and fat point modules, over A, and their incidence relations. The right context for the results is non-commutative algebraic geometry: we view A as a homogeneous coordinate ring of a non-commutative analogue of P 3 that we denote by Proj n c ( A ) . Point modules and fat point modules determine “points” in Proj n c ( A ) . Line modules determine “lines” in Proj n c ( A ) . Line modules for A are in bijection with certain lines in P ( A 1 ⁎ ) ≅ P 3 and therefore correspond to the closed points of a certain subscheme L of the Grassmannian G ( 1 , 3 ) . Shelton–Vancliff call L the line scheme for A. We show that L is the union of 7 reduced and irreducible components, 3 quartic elliptic space curves and 4 plane conics in the ambient Plucker P 5 , and that deg ( L ) = 20 . The union of the lines corresponding to the points on each elliptic curve is an elliptic scroll in P ( A 1 ⁎ ) . Thus, the lines on that elliptic scroll are in natural bijection with a corresponding family of line modules for A.
- Published
- 2017
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.