4,152 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. 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
4. On some previous results for the Drazin inverse of block matrices
- Author
-
Jelena Višnjić
- Subjects
Combinatorics ,General Mathematics ,010102 general mathematics ,Drazin inverse ,Short paper ,Block (permutation group theory) ,Block matrix ,010103 numerical & computational mathematics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
This short paper is motivated by the paper of Bu et al. [C. Bu, C. Feng, P. Dong, A note on computational formulas for the Drazin inverse of certain block matrices, J. Appl. Math. Comput.(38) (2012) 631-640], where the authors gave additive formula for Drazin inverse for matrices under new conditions, and two representations under some specific conditions. Here is shown that the additive formula is not valid for all matrices which satisfy given conditions. Also, here is proved that the representations which were given in mentioned paper do not extend the results given by Hartwig et al. [R. Hartwig, X. Li, Y. Wei, Representations for the Drazin inverse of a 2 _ 2 block matrix, SIAM J. Matrix. Anal. Appl. (27)(2006) 757-771 ], in fact they are equivalent.
- Published
- 2016
5. U(X) as a ring for metric spaces X
- Author
-
Javier Cabello Sánchez
- Subjects
Ring (mathematics) ,021103 operations research ,General Mathematics ,010102 general mathematics ,Short paper ,0211 other engineering and technologies ,02 engineering and technology ,Function (mathematics) ,Space (mathematics) ,01 natural sciences ,Combinatorics ,Uniform continuity ,Metric space ,Bounded function ,0101 mathematics ,Mathematics - Abstract
In this short paper, we will show that the space of real valued uniformly continuous functions defined on a metric space (X,d) is a ring if and only if every subset A ? X has one of the following properties: ? A is Bourbaki-bounded, i.e., every uniformly continuous function on X is bounded on A. ? A contains an infinite uniformly isolated subset, i.e., there exist ? > 0 and an infinite subset F ? A such that d(a,x) ? ? for every a ? F, x ? X n \{a}.
- Published
- 2017
6. 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
7. New Algorithms for Maximum Disjoint Paths Based on Tree-Likeness
- Author
-
Fleszar, Krzysztof, Mnich, Matthias, Spoerhase, Joachim, QE Operations research, and RS: GSBE Theme Data-Driven Decision-Making
- Subjects
90C27 ,FOS: Computer and information sciences ,Vertex deletion ,FLOW ,0211 other engineering and technologies ,02 engineering and technology ,Disjoint sets ,68Q17 ,01 natural sciences ,Upper and lower bounds ,05C05 ,05C85 ,Data Structures and Algorithms (cs.DS) ,05C40 ,Feedback vertex set ,Mathematics ,90B18 ,90C39 ,021103 operations research ,Full Length Paper ,68Q87 ,Approximation algorithm ,68W40 ,90B10 ,Binary logarithm ,90C35 ,Graph ,68W05 ,010201 computation theory & mathematics ,Randomized rounding ,90C05 ,90C49 ,68-02 ,General Mathematics ,68R10 ,68-06 ,0102 computer and information sciences ,90C46 ,Combinatorics ,Computer Science - Data Structures and Algorithms ,THEOREM ,49L20 ,Disjoint paths ,0101 mathematics ,05C21 ,000 Computer science, knowledge, general works ,010102 general mathematics ,INTEGER ,68Q25 ,90C10 ,68W20 ,68W25 ,90C59 ,05C38 ,Fixed-parameter algorithm ,Computer Science ,Software - Abstract
We study the classical \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}}$$\end{document}NP-hard problems of finding maximum-size subsets from given sets of k terminal pairs that can be routed via edge-disjoint paths (MaxEDP) or node-disjoint paths (MaxNDP) in a given graph. The approximability of MaxEDP/MaxNDP is currently not well understood; the best known lower bound is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^{\varOmega (\sqrt{\log n})}}$$\end{document}2Ω(logn), assuming \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}\not \subseteq \mathsf {DTIME}(n^{\mathcal {O}(\log n)})}$$\end{document}NP⊈DTIME(nO(logn)). This constitutes a significant gap to the best known approximation upper bound of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{n})}$$\end{document}O(n) due to Chekuri et al. (Theory Comput 2:137–146, 2006), and closing this gap is currently one of the big open problems in approximation algorithms. In their seminal paper, Raghavan and Thompson (Combinatorica 7(4):365–374, 1987) introduce the technique of randomized rounding for LPs; their technique gives an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(1)}$$\end{document}O(1)-approximation when edges (or nodes) may be used by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}\left( \log n/\log \log n\right) }$$\end{document}Ologn/loglogn paths. In this paper, we strengthen the fundamental results above. We provide new bounds formulated in terms of the feedback vertex set number r of a graph, which measures its vertex deletion distance to a forest. In particular, we obtain the following results:For MaxEDP, we give an \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{r} \log ({k}r))}$$\end{document}O(rlog(kr))-approximation algorithm. Up to a logarithmic factor, our result strengthens the best known ratio \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\sqrt{n})}$$\end{document}O(n) due to Chekuri et al., as \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r\le n}$$\end{document}r≤n.Further, we show how to route \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varOmega ({\text {OPT}}^{*})}$$\end{document}Ω(OPT∗) pairs with congestion bounded by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {O}(\log (kr)/\log \log (kr))}$$\end{document}O(log(kr)/loglog(kr)), strengthening the bound obtained by the classic approach of Raghavan and Thompson.For MaxNDP, we give an algorithm that gives the optimal answer in time \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(k+r)^{\mathcal {O}(r)}\cdot n}$$\end{document}(k+r)O(r)·n. This is a substantial improvement on the run time of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^kr^{\mathcal {O}(r)}\cdot n}$$\end{document}2krO(r)·n, which can be obtained via an algorithm by Scheffler. We complement these positive results by proving that MaxEDP is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {NP}}$$\end{document}NP-hard even for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${r=1}$$\end{document}r=1, and MaxNDP is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {W}[1]}$$\end{document}W[1]-hard when r is the parameter. This shows that neither problem is fixed-parameter tractable in r unless \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {FPT}= \mathsf {W}[1]}$$\end{document}FPT=W[1] and that our approximability results are relevant even for very small constant values of r.
- Published
- 2016
- Full Text
- View/download PDF
8. 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
9. Fekete-Szegö problem for starlike functions connected withk-Fibonacci numbers
- Author
-
Serap Bulut
- Subjects
Combinatorics ,Subordination (linguistics) ,Fibonacci number ,General Mathematics ,010102 general mathematics ,010103 numerical & computational mathematics ,0101 mathematics ,01 natural sciences ,Analytic function ,Mathematics - Abstract
In a recent paper, Sokół et al. [Applications of k-Fibonacci numbers for the starlike analytic functions, Hacet. J. Math. Stat. 44(1) (2015), 121{127] obtained an upper bound for the Fekete-Szegö functionalϕλwhenλ 2R of functions belong to the classSLkconnected withk-Fibonacci numbers. The main purpose of this paper is to obtain sharp bounds forϕλbothλ 2R andλ 2C.
- Published
- 2021
10. 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
11. 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
12. An improvement on Furstenberg’s intersection problem
- Author
-
Han Yu
- Subjects
Combinatorics ,Intersection ,Applied Mathematics ,General Mathematics ,Bounded function ,010102 general mathematics ,Dimension (graph theory) ,Zero (complex analysis) ,0101 mathematics ,Invariant (mathematics) ,Dynamical system (definition) ,01 natural sciences ,Mathematics - Abstract
In this paper, we study a problem posed by Furstenberg on intersections between × 2 , × 3 \times 2, \times 3 invariant sets. We present here a direct geometrical counting argument to revisit a theorem of Wu and Shmerkin. This argument can be used to obtain further improvements. For example, we show that if A 2 , A 3 ⊂ [ 0 , 1 ] A_2,A_3\subset [0,1] are closed and × 2 , × 3 \times 2, \times 3 invariant respectively, assuming that dim A 2 + dim A 3 > 1 \dim A_2+\dim A_3>1 then A 2 ∩ ( u A 3 + v ) A_2\cap (uA_3+v) is sparse (defined in this paper) and has box dimension zero uniformly with respect to the real parameters u , v u,v such that u u and u − 1 u^{-1} are both bounded away from 0 0 .
- Published
- 2021
13. 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
14. 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
15. 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
16. A new obstruction for normal spanning trees
- Author
-
Max Pitz
- Subjects
Aleph ,Spanning tree ,General Mathematics ,010102 general mathematics ,Minor (linear algebra) ,Type (model theory) ,01 natural sciences ,Graph ,Combinatorics ,Mathematics::Logic ,Arbitrarily large ,Cardinality ,FOS: Mathematics ,Mathematics - Combinatorics ,Combinatorics (math.CO) ,0101 mathematics ,Connectivity ,05C83, 05C05, 05C63 ,Mathematics - Abstract
In a paper from 2001 (Journal of the LMS), Diestel and Leader offered a proof that a connected graph has a normal spanning tree if and only if it does not contain a minor from two specific forbidden classes of graphs, all of cardinality $\aleph_1$. Unfortunately, their proof contains a gap, and their result is incorrect. In this paper, we construct a third type of obstruction: an $\aleph_1$-sized graph without a normal spanning tree that contains neither of the two types described by Diestel and Leader as a minor. Further, we show that any list of forbidden minors characterising the graphs with normal spanning trees must contain graphs of arbitrarily large cardinality., Comment: 9 pages. arXiv admin note: text overlap with arXiv:2005.02833
- Published
- 2021
17. Fourier restriction in low fractal dimensions
- Author
-
Bassam Shayya
- Subjects
Conjecture ,Measurable function ,Characteristic function (probability theory) ,General Mathematics ,Second fundamental form ,010102 general mathematics ,42B10, 42B20 (Primary), 28A75 (Secondary) ,0102 computer and information sciences ,Function (mathematics) ,Lebesgue integration ,01 natural sciences ,Measure (mathematics) ,Combinatorics ,symbols.namesake ,Hypersurface ,Mathematics - Classical Analysis and ODEs ,010201 computation theory & mathematics ,Classical Analysis and ODEs (math.CA) ,FOS: Mathematics ,symbols ,0101 mathematics ,Mathematics - Abstract
Let $S \subset \Bbb R^n$ be a smooth compact hypersurface with a strictly positive second fundamental form, $E$ be the Fourier extension operator on $S$, and $X$ be a Lebesgue measurable subset of $\Bbb R^n$. If $X$ contains a ball of each radius, then the problem of determining the range of exponents $(p,q)$ for which the estimate $\| Ef \|_{L^q(X)} \leq C \| f \|_{L^p(S)}$ holds is equivalent to the restriction conjecture. In this paper, we study the estimate under the following assumption on the set $X$: there is a number $0 < \alpha \leq n$ such that $|X \cap B_R| \leq c \, R^\alpha$ for all balls $B_R$ in $\Bbb R^n$ of radius $R \geq 1$. On the left-hand side of this estimate, we are integrating the function $|Ef(x)|^q$ against the measure $\chi_X dx$. Our approach consists of replacing the characteristic function $\chi_X$ of $X$ by an appropriate weight function $H$, and studying the resulting estimate in three different regimes: small values of $\alpha$, intermediate values of $\alpha$, and large values of $\alpha$. In the first regime, we establish the estimate by using already available methods. In the second regime, we prove a weighted H\"{o}lder-type inequality that holds for general non-negative Lebesgue measurable functions on $\Bbb R^n$, and combine it with the result from the first regime. In the third regime, we borrow a recent fractal Fourier restriction theorem of Du and Zhang and combine it with the result from the second regime. In the opposite direction, the results of this paper improve on the Du-Zhang theorem in the range $0 < \alpha < n/2$., Comment: 31 pages. Minor revision
- Published
- 2021
18. 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
19. 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
20. 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
21. On additive and multiplicative decompositions of sets of integers with restricted prime factors, I. (Smooth numbers)
- Author
-
Kálmán Győry, Lajos Hajdu, and András Sárközy
- Subjects
Sequence ,Conjecture ,Mathematics - Number Theory ,General Mathematics ,Sieve (category theory) ,010102 general mathematics ,Multiplicative function ,010103 numerical & computational mathematics ,01 natural sciences ,Combinatorics ,Prime factor ,FOS: Mathematics ,Number Theory (math.NT) ,0101 mathematics ,Unit (ring theory) ,Mathematics - Abstract
In Sarkozy (2001) the third author of this paper presented two conjectures on the additive decomposability of the sequence of ”smooth” (or ”friable”) numbers. Elsholtz and Harper (2015) proved (by using sieve methods) the second (less demanding) conjecture. The goal of this paper is to extend and sharpen their result in three directions by using a different approach (based on the theory of S -unit equations).
- Published
- 2021
22. 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
23. 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
24. Minimizing closed geodesics on polygons and disks
- Author
-
Ian M. Adelstein, Arthur Azvolinsky, Alexander Schlesinger, and Joshua Hinman
- Subjects
Mathematics - Differential Geometry ,Sequence ,Geodesic ,General Mathematics ,010102 general mathematics ,0102 computer and information sciences ,01 natural sciences ,Closed geodesic ,Combinatorics ,Differential Geometry (math.DG) ,010201 computation theory & mathematics ,FOS: Mathematics ,Mathematics::Metric Geometry ,Mathematics::Differential Geometry ,0101 mathematics ,Mathematics - Abstract
In this paper we study 1/k geodesics, those closed geodesics that minimize on all subintervals of length $L/k$, where $L$ is the length of the geodesic. We develop new techniques to study the minimizing properties of these curves on doubled polygons, and demonstrate a sequence of doubled polygons whose closed geodesics exhibit unbounded minimizing properties. We also compute the length of the shortest closed geodesic on doubled odd-gons and show that this length approaches 4 times the diameter., Comment: This paper is a result of a SUMRY (REU) project at Yale
- Published
- 2021
25. Continuous Extension of Functions from a Segment to Functions in $\mathbb{R}^n$ with Zero Ball Means
- Author
-
V. V. Volchkov and Vit. V. Volchkov
- Subjects
Continuous function ,Euclidean space ,General Mathematics ,010102 general mathematics ,Dimension (graph theory) ,Zero (complex analysis) ,Function (mathematics) ,01 natural sciences ,Domain (mathematical analysis) ,Modulus of continuity ,010101 applied mathematics ,Combinatorics ,Bounded function ,0101 mathematics ,Mathematics - Abstract
Let $\mathbb{R}^n$ be a Euclidean space of dimension $n\geq 2$ . For a domain $G\subset \mathbb{R}^n$ , we denote by $V_r(G)$ the set of functions $f\in L_{\mathrm{loc}}(G)$ having zero integrals over all closed balls of radius r contained in G (if domain G does not contain such balls, we set $V_r(G)=L_{\mathrm{loc}}(G)$ ). Let E be a nonempty subset of $\mathbb{R}^n$ . In this paper we study the following questions related to the extension problem. 1) Which conditions guarantee the extension of a continuous function defined on E to a continuous function of class $V_r(\mathbb{R}^n)$ defined on the whole $\mathbb{R}^n$ ? 2) If the above extension exists, obtain growth estimates of the extended function at infinity. Theorem 1 of this paper shows that for a wide class of continuous functions on segment E defined in terms of the modulus of continuity, there exists an extension to a bounded function of class $(V_r\cap C)(\mathbb{R}^n)$ regardless of the length of segment E. A similar result is not true for open sets E with a diameter greater than 2r, even without conditions for extension growth. Theorem 1 also contains an estimate of the velocity decrease of the extended function at infinity in directions orthogonal to the segment E.
- Published
- 2021
26. $$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
27. CUBE PACKINGS IN EUCLIDEAN SPACES
- Author
-
Han Yu
- Subjects
General Mathematics ,010102 general mathematics ,Dimension (graph theory) ,05B30, 28A78, 52C17 ,0102 computer and information sciences ,01 natural sciences ,Combinatorics ,Packing problems ,Mathematics - Classical Analysis and ODEs ,010201 computation theory & mathematics ,Euclidean geometry ,Classical Analysis and ODEs (math.CA) ,FOS: Mathematics ,0101 mathematics ,Cube ,Mathematics - Abstract
In this paper we study some cube packing problems. In particular we are interested in compact subsets of $\mathbb{R}^n,n\geq 2$, which contain boundaries of cubes with all side lengths in $(0,1)$. We show here that such sets must have lower box dimension at least $n-0.5$ and we will also provide sharp examples. We also show here that such sets must be large in general in a precise sense which is also introduced in this paper., 9 pages. arXiv admin note: text overlap with arXiv:1711.06533
- Published
- 2021
28. 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
29. 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
30. 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
31. 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
32. A Bijective Proof of the ASM Theorem Part II: ASM Enumeration and ASM–DPP Relation
- Author
-
Ilse Fischer and Matjaž Konvalinka
- Subjects
Mathematics::Combinatorics ,Series (mathematics) ,General Mathematics ,010102 general mathematics ,Mathematical proof ,01 natural sciences ,Bijective proof ,Combinatorics ,Matrix (mathematics) ,Bijection ,Alternating sign matrix ,0101 mathematics ,Bijection, injection and surjection ,Sign (mathematics) ,Mathematics - Abstract
This paper is the 2nd in a series of planned papers that provide 1st bijective proofs of alternating sign matrix (ASM) results. Based on the main result from the 1st paper, we construct a bijective proof of the enumeration formula for ASMs and of the fact that ASMs are equinumerous with descending plane partitions. We are also able to refine these bijections by including the position of the unique $1$ in the top row of the matrix. Our constructions rely on signed sets and related notions. The starting point for these constructions were known “computational” proofs, but the combinatorial point of view led to several drastic modifications. We also provide computer code where all of our constructions have been implemented.
- Published
- 2020
33. The Absolutely Strongly Star-Hurewicz Property with Respect to an Ideal
- Author
-
B. K. Tyagi, Sumit Singh, and Manoj Bhardwaj
- Subjects
Class (set theory) ,Sequence ,Property (philosophy) ,Dense set ,General Mathematics ,010102 general mathematics ,Star (graph theory) ,Space (mathematics) ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Ideal (ring theory) ,0101 mathematics ,Mathematics - Abstract
Aspace X is said to have the absolutely strongly star --Hurewicz (ASSH) property if for each sequence (𝒰 n : n ∈ )of opencovers of X and each dense subset Y of X, there is a sequence (Fn : n ∈ ) of finite subsets of Y such that for each x ∈ X, {n ∈ : x ∉ St(Fn , 𝒰 n )}∈ , where is the proper admissible ideal of . In this paper, we investigate the relationship between the ASSH property and other related properties and study the topological properties of the ASSH property. This paper generalizes several results of Song [25] to the larger class of spaces having the ASSH properties.
- Published
- 2020
34. 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
35. Fibonacci numbers in generalized Pell sequences
- Author
-
José Luis Arciniegas Herrera and Jhon J. Bravo
- Subjects
Combinatorics ,Fibonacci number ,General Mathematics ,010102 general mathematics ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,02 engineering and technology ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In this paper, by using lower bounds for linear forms in logarithms of algebraic numbers and the theory of continued fractions, we find all Fibonacci numbers that appear in generalized Pell sequences. Some interesting estimations involving generalized Pell numbers, that we believe are of independent interest, are also deduced. This paper continues a previous work that searched for Fibonacci numbers in the Pell sequence.
- Published
- 2020
36. 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
37. 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
38. Faber polynomial coefficients for certain subclasses of analytic and biunivalent functions
- Author
-
Fatma Z. El-Emam and Abdel Moneim Lashin
- Subjects
010101 applied mathematics ,Polynomial (hyperelastic model) ,Combinatorics ,Open unit ,General Mathematics ,010102 general mathematics ,Polynomial coefficients ,Faber polynomial,univalent functions,bi-univalent functions,coefficient bounds ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In this paper, we introduce and investigate two new subclasses of analytic and bi-univalent functions defined in the open unit disc. We use the Faber polynomial expansions to find upper bounds for the $n$th$~ n\geq 3 $ Taylor-Maclaurin coefficients $\left\vert a_{n}\right\vert $ of functions belong to these new subclasses with $a_{k}=0$ for $2\leq k\leq n-1$, also we find non-sharp estimates on the first two coefficients $\left\vert a_{2}\right\vert $ and $\left\vert a_{3}\right\vert $. The results, which are presented in this paper, would generalize those in related earlier works of several authors.
- Published
- 2020
39. 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
40. 2-Colorings of Hypergraphs with Large Girth
- Author
-
Yu. A. Demidovich
- Subjects
Hypergraph ,Degree (graph theory) ,General Mathematics ,010102 general mathematics ,02 engineering and technology ,Girth (graph theory) ,01 natural sciences ,Upper and lower bounds ,Combinatorics ,020303 mechanical engineering & transports ,0203 mechanical engineering ,Has property ,Homogeneous ,Simple (abstract algebra) ,0101 mathematics ,Mathematics - Abstract
A hypergraph $$H=(V,E)$$ has property $$B_k$$ if there exists a 2-coloring of the set $$V$$ such that each edge contains at least $$k$$ vertices of each color. We let $$m_{k,g}(n)$$ and $$m_{k,b}(n)$$ , respectively, denote the least number of edges of an $$n$$ -homogeneous hypergraph without property $$B_k$$ which contains either no cycles of length at least $$g$$ or no two edges intersecting in more than $$b$$ vertices. In the paper, upper bounds for these quantities are given. As a consequence, we obtain results for $$m^{*}_k(n)$$ , i.e., for the least number of edges of an $$n$$ -homogeneous simple hypergraph without property $$B_k$$ . Let $$\Delta(H)$$ be the maximal degree of vertices of a hypergraph $$H$$ . By $$\Delta_k(n,g)$$ we denote the minimal degree $$\Delta$$ such that there exists an $$n$$ -homogeneous hypergraph $$H$$ with maximal degree $$\Delta$$ and girth at least $$g$$ but without property $$B_k$$ . In the paper, an upper bound for $$\Delta_k(n,g)$$ is obtained.
- Published
- 2020
41. Equivalence of the existence of best proximity points and best proximity pairs for cyclic and noncyclic nonexpansive mappings
- Author
-
Moosa Gabeleh and Hans-Peter A. Künzi
- Subjects
47h09 ,uniformly convex banach space ,lcsh:Mathematics ,General Mathematics ,010102 general mathematics ,best proximity (point) pair ,lcsh:QA1-939 ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,46b20 ,0101 mathematics ,Equivalence (measure theory) ,noncyclic (cyclic) contraction ,Mathematics - Abstract
In this study, at first we prove that the existence of best proximity points for cyclic nonexpansive mappings is equivalent to the existence of best proximity pairs for noncyclic nonexpansive mappings in the setting of strictly convex Banach spaces by using the projection operator. In this way, we conclude that the main result of the paper [Proximal normal structure and nonexpansive mappings, Studia Math. 171 (2005), 283–293] immediately follows. We then discuss the convergence of best proximity pairs for noncyclic contractions by applying the convergence of iterative sequences for cyclic contractions and show that the convergence method of a recent paper [Convergence of Picard's iteration using projection algorithm for noncyclic contractions, Indag. Math. 30 (2019), no. 1, 227–239] is obtained exactly from Picard’s iteration sequence.
- Published
- 2020
42. Residual Nilpotence of Groups with One Defining Relation
- Author
-
D. I. Moldavanskii
- Subjects
Group (mathematics) ,General Mathematics ,010102 general mathematics ,Prime number ,02 engineering and technology ,Residual ,01 natural sciences ,Prime (order theory) ,Combinatorics ,Mathematics::Group Theory ,Nilpotent ,020303 mechanical engineering & transports ,0203 mechanical engineering ,Simple (abstract algebra) ,Order (group theory) ,0101 mathematics ,Mathematics - Abstract
All groups in the family of Baumslag-Solitar groups (i.e., groups of the form G(m,n) = 〈a, b; a−1bma = bn〉, where m and n are nonzero integers) for which the residual nilpotence condition holds if and only if the residual p-finiteness condition holds for some prime number p are described. It has turned out, in particular, that the group G(pr, −pr), where p is an odd prime and r ≥ 1, is residually nilpotent, but it is residually q-finite for no prime q. Thus, an answer to the existence problem for noncyclic one-relator groups possessing such a property (formulated by McCarron in his 1996 paper) is obtained. A simple proof of the statement that an arbitrary residually nilpotent noncyclic one-relator group which has elements of finite order is residual p-finite for some prime p, which was announced in the same paper of McCarron, is also given.
- Published
- 2020
43. 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
44. 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
45. 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
46. 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
47. 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
48. Positivity of mixed multiplicities of filtrations
- Author
-
Hema Srinivasan, Steven Dale Cutkosky, and J. K. Verma
- Subjects
Ring (mathematics) ,Mathematics::Commutative Algebra ,General Mathematics ,010102 general mathematics ,Zero (complex analysis) ,Characterization (mathematics) ,Commutative Algebra (math.AC) ,Mathematics - Commutative Algebra ,01 natural sciences ,Combinatorics ,Mathematics - Algebraic Geometry ,Finitely-generated module ,Simple (abstract algebra) ,FOS: Mathematics ,0101 mathematics ,Algebraic Geometry (math.AG) ,13H15, 13A30 ,Mathematics ,Real number - Abstract
The theory of mixed multiplicities of filtrations by $m$-primary ideals in a ring is introduced in a recent paper by Cutkosky, Sarkar and Srinivasan. In this paper, we consider the positivity of mixed multiplicities of filtrations. We show that the mixed multiplicities of filtrations must be nonnegative real numbers and give examples to show that they could be zero or even irrational. When $R$ is analytically irreducible, and $\mathcal I(1),\ldots,\mathcal I(r)$ are filtrations of $R$ by $m_R$-primary ideals, we show that all of the mixed multiplicities $e_R(\mathcal I(1)^{[d_1]},\ldots,\mathcal I(r)^{[d_r]};R)$ are positive if and only if the ordinary multiplicities $e_R(\mathcal I(i);R)$ for $1\le i\le r$ are positive. We extend this to modules and prove a simple characterization of when the mixed multiplicities are positive or zero on a finitely generated module., 15 pages
- Published
- 2020
49. Uniqueness of the Continuation of a Certain Function to a Positive Definite Function
- Author
-
A. D. Manov
- Subjects
Class (set theory) ,Continuous function (set theory) ,General Mathematics ,010102 general mathematics ,02 engineering and technology ,Function (mathematics) ,Positive-definite matrix ,Extension (predicate logic) ,01 natural sciences ,Combinatorics ,020303 mechanical engineering & transports ,0203 mechanical engineering ,Positive-definite function ,Interval (graph theory) ,Uniqueness ,0101 mathematics ,Mathematics - Abstract
In 1940, M. G. Krein obtained necessary and sufficient conditions for the extension of a continuous function f defined in an interval (-a, a), a > 0, to a positive definite function on the whole number axis R. In addition, Krein showed that the function 1 - |x|, |x| < a, can be extended to a positive definite one on R if and only if 0 < a ≤ 2, and this function has a unique extension only in the case a = 2. The present paper deals with the problem of uniqueness of the extension of the function 1 - |x|, |x| ≤ a, a G (0,1), for a class of positive definite functions on R whose support is contained in the closed interval [-1,1] (the class T). It is proved that if a ∈ [1/2,1] and Re ϕ(x) = 1 - |x|, |x| ≤ a, for some ϕ ∈ T, then ϕ(x) = (1 - |x|) +, x G R. In addition, for any a G (0,1/2), there exists a function ϕ ∈ T such that ϕ(x) = 1 - |x|, |x| ≤ a, but ϕ(x) ≠ (1 - |x|)+. Also the paper deals with extremal problems for positive definite functions and nonnegative trigonometric polynomials indirectly related to the extension problem under consideration.
- Published
- 2020
50. 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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.