7,829 results
Search Results
2. Sendov’s Conjecture: A Note on a Paper of Dégot
- Author
-
T. P. Chalebgwa
- Subjects
Combinatorics ,Conjecture ,General Mathematics ,Sendov's conjecture ,Complex polynomial ,Unit distance ,Unit disk ,Critical point (mathematics) ,Mathematics - Abstract
Sendov’s conjecture states that if all the zeroes of a complex polynomial P(z) of degree at least two lie in the unit disk, then within a unit distance of each zero lies a critical point of P(z). In a paper that appeared in 2014, Degot proved that, for each a ∈ (0, 1), there exists an integer N such that for any polynomial P(z) with degree greater than N, if P(a) = 0 and all zeroes lie inside the unit disk, the disk |z − a| ≤ 1 contains a critical point of P(z). Based on this result, we derive an explicit formula N(a) for each a ∈ (0, 1) and, consequently obtain a uniform bound N for all a ∈ [α, β] where 0 < α < β < 1. This (partially) addresses the questions posed in Degot’s paper.
- Published
- 2020
3. Ramsey, Paper, Scissors
- Author
-
Jacob Fox, Xiaoyu He, and Yuval Wigderson
- Subjects
Computer Science::Computer Science and Game Theory ,Applied Mathematics ,General Mathematics ,Combinatorial game theory ,0102 computer and information sciences ,01 natural sciences ,Computer Graphics and Computer-Aided Design ,Upper and lower bounds ,Combinatorics ,010201 computation theory & mathematics ,TheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY ,FOS: Mathematics ,Mathematics - Combinatorics ,Graph (abstract data type) ,Combinatorics (math.CO) ,Ramsey's theorem ,Null graph ,Software ,MathematicsofComputing_DISCRETEMATHEMATICS ,Mathematics ,Independence number - Abstract
We introduce a graph Ramsey game called Ramsey, Paper, Scissors. This game has two players, Proposer and Decider. Starting from an empty graph on $n$ vertices, on each turn Proposer proposes a potential edge and Decider simultaneously decides (without knowing Proposer's choice) whether to add it to the graph. Proposer cannot propose an edge which would create a triangle in the graph. The game ends when Proposer has no legal moves remaining, and Proposer wins if the final graph has independence number at least $s$. We prove a threshold phenomenon exists for this game by exhibiting randomized strategies for both players that are optimal up to constants. Namely, there exist constants $0B\sqrt{n}\log{n}$. This is a factor of $\Theta(\sqrt{\log{n}})$ larger than the lower bound coming from the off-diagonal Ramsey number $r(3,s)$.
- Published
- 2020
4. A Note on a Paper of Aivazidis, Safonova and Skiba
- Author
-
M. M. Al-Shomrani, Adolfo Ballester-Bolinches, and A. A. Heliel
- Subjects
Subnormal subgroup ,Combinatorics ,Mathematics::Group Theory ,Finite group ,General Mathematics ,Mathematics - Abstract
The main result of this paper states that if $${\mathcal {F}}$$ is a subgroup-closed saturated formation of full characteristic, then the $${\mathcal {F}}$$ -residual of a K- $${\mathcal {F}}$$ -subnormal subgroup S of a finite group G is a large subgroup of G provided that the $${\mathcal {F}}$$ -hypercentre of every subgroup X of G containing S is contained in the $${\mathcal {F}}$$ -residual of X. This extends a recent result of Aivazidis, Safonova and Skiba.
- Published
- 2021
5. On a paper of Dressler and Van de Lune
- Author
-
Pablo Andres Panzone
- Subjects
Combinatorics ,Lune ,General Mathematics ,Arithmetic function ,Natural number ,Prime (order theory) ,Mathematics - Abstract
If $$z\in {\mathbb {C}}$$ and $$1\le n$$ is a natural number then $$\begin{aligned} \sum _{d_1 d_2 =n} (1-z^{p_1})\cdots (1-z^{p_m}) z^{q_1 e_{1}+\cdots +q_i e_{i} }=1, \end{aligned}$$ where $$d_1=p_1^{r_1}\dots p_m^{r_m }$$ , $$d_2=q_1^{e_1}\dots q_i^{e_i }$$ are the prime decompositions of $$d_1, d_2$$ . This is one of the identities involving arithmetic functions that we prove using ideas from the paper of Dressler and van de Lune [3].
- Published
- 2020
6. Note on a paper by Bordellès, Dai, Heyman, Pan and Shparlinski
- Author
-
Jie Wu
- Subjects
Combinatorics ,General Mathematics ,010102 general mathematics ,0211 other engineering and technologies ,021107 urban & regional planning ,02 engineering and technology ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
Very recently Bordelles, Dai, Heyman, Pan and Shparlinski studied asymptotic behaviour of the quantity $$\begin{aligned} S_f(x) := \sum _{n\leqslant x} f\left( \left[ \frac{x}{n}\right] \right) , \end{aligned}$$and established some asymptotic formulas for $$S_f(x)$$ under three different types of assumptions on f. In this short note we improve some of their results.
- Published
- 2019
7. A remark on a paper of P. B. Djakov and M. S. Ramanujan
- Author
-
Murat Yurdakul and Elif Uyanik
- Subjects
Unbounded operator ,Combinatorics ,symbols.namesake ,Monotone polygon ,Basis (linear algebra) ,General Mathematics ,Bounded function ,Operator (physics) ,symbols ,Sequence space ,Continuous linear operator ,Ramanujan's sum ,Mathematics - Abstract
Let l be a Banach sequence space with a monotone norm in which the canonical system (e_{n}) is an unconditional basis. We show that if there exists a continuous linear unbounded operator between l-K\"{o}the spaces, then there exists a continuous unbounded quasi-diagonal operator between them. Using this result, we study in terms of corresponding K\"{o}the matrices when every continuous linear operator between l-K\"{o}the spaces is bounded. As an application, we observe that the existence of an unbounded operator between l-K\"{o}the spaces, under a splitting condition, causes the existence of a common basic subspace.
- Published
- 2019
8. Menon-type identities again: A note on a paper by Li, Kim and Qiao
- Author
-
László Tóth, Pentti Haukkanen, Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences, and Tampere University
- Subjects
Combinatorics ,Identity (mathematics) ,Character (mathematics) ,Mathematics - Number Theory ,Simple (abstract algebra) ,General Mathematics ,Matematiikka - Mathematics ,Arithmetic function ,Function (mathematics) ,11A07, 11A25 ,Type (model theory) ,Mathematics - Group Theory ,Mathematics - Abstract
We give common generalizations of the Menon-type identities by Sivaramakrishnan (1969) and Li, Kim, Qiao (2019). Our general identities involve arithmetic functions of several variables, and also contain, as special cases, identities for gcd-sum type functions. We point out a new Menon-type identity concerning the lcm function. We present a simple character free approach for the proof., Comment: 14 pages
- Published
- 2019
9. Addendum and corrigenda to the paper 'Infinitary superperfect numbers'
- Author
-
Tomohiro Yamada
- Subjects
Combinatorics ,General Computer Science ,General Mathematics ,Addendum ,Mathematics - Published
- 2018
10. 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
11. Distribution functions of ratio sequences. An expository paper
- Author
-
Oto Strauch
- Subjects
Combinatorics ,Discrete mathematics ,Distribution function ,General Mathematics ,Mathematics - Abstract
This expository paper presents known results on distribution functions g(x) of the sequence of blocks where xn is an increasing sequence of positive integers. Also presents results of the set G(Xn) of all distribution functions g(x). Specially: - continuity of g(x); - connectivity of G(Xn); - singleton of G(Xn); - one-step g(x); - uniform distribution of Xn, n = 1, 2, . . . ; - lower and upper bounds of g(x); - applications to bounds of ; - many examples, e.g., , where pn is the nth prime, is uniformly distributed. The present results have been published by 25 papers of several authors between 2001-2013.
- Published
- 2015
12. On D.Y. Gao and X. Lu paper 'On the extrema of a nonconvex functional with double-well potential in 1D'
- Author
-
Constantin Zălinescu
- Subjects
021103 operations research ,Applied Mathematics ,General Mathematics ,0211 other engineering and technologies ,General Physics and Astronomy ,Double-well potential ,02 engineering and technology ,Space (mathematics) ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Maxima and minima ,35J20, 35J60, 74G65, 74S30 ,Optimization and Control (math.OC) ,FOS: Mathematics ,Preprint ,0101 mathematics ,Constant (mathematics) ,Mathematics - Optimization and Control ,Subspace topology ,Mathematics - Abstract
The aim of this paper is to discuss the main result in the paper by D.Y. Gao and X. Lu [On the extrema of a nonconvex functional with double-well potential in 1D, Z. Angew. Math. Phys. (2016) 67:62]. More precisely we provide a detailed study of the problem considered in that paper, pointing out the importance of the norm on the space $C^{1}[a,b]$; because no norm (topology) is mentioned on $C^{1}[a,b]$ we look at it as being a subspace of $W^{1,p}(a,b)$ for $p\in [1,\infty]$ endowed with its usual norm. We show that the objective function has not local extrema with the mentioned constraints for $p\in [1,4)$, and has (up to an additive constant) only a local maximizer for $p=\infty$, unlike the conclusion of the main result of the discussed paper where it is mentioned that there are (up to additive constants) two local minimizers and a local maximizer. We also show that the same conclusions are valid for the similar problem treated in the preprint by X. Lu and D.Y. Gao [On the extrema of a nonconvex functional with double-well potential in higher dimensions, arXiv:1607.03995]., 12 pages; in this version we added the forgotten condition $F(x) \ne 0$ for $x\in (a,b)$ on page 3
- Published
- 2017
13. Addendum to the paper: 'Artin prime producing quadratics', by P. Moree
- Author
-
Pieter Moree and Yves Gallot
- Subjects
Combinatorics ,Algebra ,Number theory ,General Mathematics ,Addendum ,Algebra over a field ,Primitive root modulo n ,Prime (order theory) ,Mathematics - Abstract
A record mentioned in the paper by Moree (Abh Math Sem Univ Hamburg 77:109–127, 2007) was recently improved on by Akbary and Scholten. However, the record mentioned was not the then record. The then record, due to Gallot (2004), actually slightly improves on that obtained recently by Akbary and Scholten.
- Published
- 2015
14. 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
15. Remarks on the paper 'On some new inequalities for convex functions\\' by M. Tunç
- Author
-
Alfred Witkowski
- Subjects
Pure mathematics ,Quantitative Biology::Biomolecules ,Convex function,mean ,Inequality ,General Mathematics ,media_common.quotation_subject ,Term (time) ,Combinatorics ,Convex optimization ,Point (geometry) ,Danskin's theorem ,Astrophysics::Earth and Planetary Astrophysics ,Convex function ,media_common ,Mathematics - Abstract
In this note, we slightly generalize Theorem 2 in the paper by M. Tunç and point out that the assumption of Theorem 3 is not sufficient. A misuse of the term 'mean' is also discussed.
- Published
- 2014
16. A lattice-theoretic characterization of pure subgroups of Abelian groups
- Author
-
M. Ferrara, Marco Trombetti, Ferrara, M., and Trombetti, M.
- Subjects
Pure subgroup ,Applied Mathematics ,General Mathematics ,Short paper ,Lattice (group) ,Context (language use) ,Characterization (mathematics) ,Subgroup lattice ,Combinatorics ,Nilpotent ,Lattice-theoretic characterization ,Abelian group ,Algebra over a field ,Mathematics - Abstract
Let G be an abelian group. The aim of this short paper is to describe a way to identify pure subgroups H of G by looking only at how the subgroup lattice $$\mathcal {L}(H)$$ L ( H ) embeds in $$\mathcal {L}(G)$$ L ( G ) . It is worth noticing that all results are carried out in a local nilpotent context for a general definition of purity.
- Published
- 2021
17. 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
18. 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
19. 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
20. A note on gonality of curves on general hypersurfaces
- Author
-
Flaminio Flamini, Paola Supino, Ciro Ciliberto, Francesco Bastianelli, Bastianelli, Francesco, Ciliberto, Ciro, Flamini, Flaminio, and Supino, Paola
- Subjects
Series (mathematics) ,Degree (graph theory) ,family of curves ,General Mathematics ,010102 general mathematics ,Short paper ,Birational geometry ,gonality of curves, projective hypersurfaces ,01 natural sciences ,Hypersurfaces ,Combinatorics ,Mathematics::Algebraic Geometry ,Hypersurface ,Product (mathematics) ,0103 physical sciences ,Hypersurfaces, family of curves, gonality ,010307 mathematical physics ,gonality ,Settore MAT/03 - Geometria ,0101 mathematics ,Mathematics - Abstract
This short paper concerns the existence of curves with low gonality on smooth hypersurfaces $$X\subset \mathbb {P}^{n+1}$$ . After reviewing a series of results on this topic, we report on a recent progress we achieved as a product of the Workshop Birational geometry of surfaces, held at University of Rome “Tor Vergata” on January 11th–15th, 2016. In particular, we obtained that if $$X\subset \mathbb {P}^{n+1}$$ is a very general hypersurface of degree $$d\geqslant 2n+2$$ , the least gonality of a curve $$C\subset X$$ passing through a general point of X is $$\mathrm {gon}(C)=d-\left\lfloor \frac{\sqrt{16n+1}-1}{2}\right\rfloor $$ , apart from some exceptions we list.
- Published
- 2018
21. 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
22. Halfspace type Theorems for Self-Shrinkers
- Author
-
Marcos P. Cavalcante and José M. Espinar
- Subjects
Mathematics - Differential Geometry ,0209 industrial biotechnology ,Minimal surface ,General Mathematics ,010102 general mathematics ,Short paper ,02 engineering and technology ,Radius ,Type (model theory) ,Lambda ,01 natural sciences ,Combinatorics ,020901 industrial engineering & automation ,Hypersurface ,Differential Geometry (math.DG) ,Hyperplane ,Catenoid ,FOS: Mathematics ,Mathematics::Differential Geometry ,0101 mathematics ,Mathematics - Abstract
In this short paper, we extend the classical Hoffman-Meeks Halfspace Theorem [Hoffman and Meeks, 'The strong halfspace theorem for minimal surfaces', Invent. Math. 101 (1990) 373-377] to self-shrinkers, that is: Let $P$ be a hyperplane passing through the origin. The only properly immersed self-shrinker $\Sigma $ contained in one of the closed half-space determined by $P$ is $\Sigma = P$. Our proof is geometric and uses a catenoid type hypersurface discovered by Kleene-Moller [Kleene and Moller, 'Self-shrinkers with a rotational symmetry', Trans. Amer. Math. Soc. 366 (2014) 3943-3963]. Also, using a similar geometric idea, we obtain that the only self-shrinker properly immersed in an closed cylinder $ \overline {B^{k+1} (R)} \times {\mathbb R}^{n-k}\subset {\mathbb R}^{n+1}$, for some $k\in \{1, \ldots, n\}$ and radius $R$, $R \leqslant \sqrt {2k}$, is the cylinder ${\mathbb S}^k (\sqrt {2k}) \times {\mathbb R}^{n-k}$. We also extend the above results for $\lambda $-hypersurfaces.
- Published
- 2014
23. Hill representations for ∗-linear matrix maps
- Author
-
A. van der Merwe and S. ter Horst
- Subjects
Combinatorics ,Linear map ,Matrix (mathematics) ,General Mathematics ,Nonnegative matrix ,Linear matrix ,Hermitian matrix ,Mathematics - Abstract
In the paper (Hill, 1973) from 1973 R.D. Hill studied linear matrix maps L : ℂ q × q → ℂ n × n which map Hermitian matrices to Hermitian matrices, or equivalently, preserve adjoints, i.e., L ( V ∗ ) = L ( V ) ∗ , via representations of the form L ( V ) = ∑ k , l = 1 m H k l A l V A k ∗ , V ∈ ℂ q × q , for matrices A 1 , … , A m ∈ ℂ n × q and continued his study of such representations in later work, sometimes with co-authors, to completely positive matrix maps and associated matrix reorderings. In this paper we expand the study of such representations, referred to as Hill representations here, in various directions. In particular, we describe which matrices A 1 , … , A m can appear in Hill representations (provided the number m is minimal) and determine the associated Hill matrix H = H k l explicitly. Also, we describe how different Hill representations of L (again with m minimal) are related and investigate further the implication of ∗ -linearity on the linear map L .
- Published
- 2022
24. Post-quantum Simpson's type inequalities for coordinated convex functions
- Author
-
Xuexiao You, Saowaluck Chasreechai, Muhammad Ali, Ghulam Murtaza, Thanin Sitthiwirattham, and Sotiris K. Ntouyas
- Subjects
Inequality ,General Mathematics ,media_common.quotation_subject ,simpson's inequalities ,co-ordinated convexity ,Combinatorics ,(p ,QA1-939 ,Convex function ,Quantum ,post quantum calculus ,q)-integrals ,Mathematics ,media_common - Abstract
In this paper, we prove some new Simpson's type inequalities for partial $ (p, q) $-differentiable convex functions of two variables in the context of $ (p, q) $-calculus. We also show that the findings in this paper are generalizations of comparable findings in the literature.
- Published
- 2022
25. Analyzing the Weyl Construction for Dynamical Cartan Subalgebras
- Author
-
Elizabeth Gillaspy, Anna Duwenig, and Rachael Norton
- Subjects
General Mathematics ,01 natural sciences ,Section (fiber bundle) ,Combinatorics ,Mathematics::K-Theory and Homology ,Mathematics::Category Theory ,Mathematics::Quantum Algebra ,46L05, 22D25, 22A22 ,0103 physical sciences ,FOS: Mathematics ,0101 mathematics ,Twist ,Operator Algebras (math.OA) ,Mathematics::Representation Theory ,Quotient ,Mathematics ,Science & Technology ,Mathematics::Operator Algebras ,010102 general mathematics ,Spectrum (functional analysis) ,Mathematics - Operator Algebras ,Cartan subalgebra ,C-ASTERISK-ALGEBRAS ,Physical Sciences ,010307 mathematical physics ,EQUIVALENCE - Abstract
When the reduced twisted $C^*$-algebra $C^*_r(\mathcal{G}, c)$ of a non-principal groupoid $\mathcal{G}$ admits a Cartan subalgebra, Renault's work on Cartan subalgebras implies the existence of another groupoid description of $C^*_r(\mathcal{G}, c)$. In an earlier paper, joint with Reznikoff and Wright, we identified situations where such a Cartan subalgebra arises from a subgroupoid $\mathcal{S}$ of $\mathcal{G}$. In this paper, we study the relationship between the original groupoids $\mathcal{S}, \mathcal{G}$ and the Weyl groupoid and twist associated to the Cartan pair. We first identify the spectrum $\mathfrak{B}$ of the Cartan subalgebra $C^*_r(\mathcal{S}, c)$. We then show that the quotient groupoid $\mathcal{G}/\mathcal{S}$ acts on $\mathfrak{B}$, and that the corresponding action groupoid is exactly the Weyl groupoid of the Cartan pair. Lastly we show that, if the quotient map $\mathcal{G}\to\mathcal{G}/\mathcal{S}$ admits a continuous section, then the Weyl twist is also given by an explicit continuous $2$-cocycle on $\mathcal{G}/\mathcal{S} \ltimes \mathfrak{B}$., 32 pages
- Published
- 2022
26. Real subset sums and posets with an involution
- Author
-
Cinzia Bisi, Tommaso Gentile, and Giampiero Chiaselotti
- Subjects
Computer Science::Information Retrieval ,General Mathematics ,Carry (arithmetic) ,Astrophysics::Instrumentation and Methods for Astrophysics ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,Context (language use) ,Combinatorics ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Computer Science::General Literature ,Order (group theory) ,Involution (philosophy) ,Partially ordered set ,ComputingMilieux_MISCELLANEOUS ,Mathematics - Abstract
In this paper, we carry out in an abstract order context some real subset combinatorial problems. Specifically, let [Formula: see text] be a finite poset, where [Formula: see text] is an order-reversing and involutive map such that [Formula: see text] for each [Formula: see text]. Let [Formula: see text] be the Boolean lattice with two elements and [Formula: see text] the family of all the order-preserving 2-valued maps [Formula: see text] such that [Formula: see text] if [Formula: see text] for all [Formula: see text]. In this paper, we build a family [Formula: see text] of particular subsets of [Formula: see text], that we call [Formula: see text]-bases on [Formula: see text], and we determine a bijection between the family [Formula: see text] and the family [Formula: see text]. In such a bijection, a [Formula: see text]-basis [Formula: see text] on [Formula: see text] corresponds to a map [Formula: see text] whose restriction of [Formula: see text] to [Formula: see text] is the smallest 2-valued partial map on [Formula: see text] which has [Formula: see text] as its unique extension in [Formula: see text]. Next we show how each [Formula: see text]-basis on [Formula: see text] becomes, in a particular context, a sub-system of a larger system of linear inequalities, whose compatibility implies the compatibility of the whole system.
- Published
- 2021
27. Metric properties of Cayley graphs of alternating groups
- Author
-
M.S. Olshevskyi
- Subjects
Combinatorics ,Cayley graph ,General Mathematics ,Metric (mathematics) ,Mathematics - Abstract
A well known diameter search problem for finite groups with respect to its systems of generators is considered. The problem can be formulated as follows: find the diameter of a group over its system of generators. The diameter of a group over a specific system of generators is the diameter of the corresponding Cayley graph. It is considered alternating groups with classic irreducible system of generators consisting of cycles with length three of the form $(1,2,k)$. The main part of the paper concentrates on analysis how even permutations decompose with respect to this system of generators. The rules for moving generators from permutation's decomposition from left to right and from right to left are introduced. These rules give rise for transformations of decompositions, that do not increase their lengths. They are applied for removing fixed points of a permutation, that were included in its decomposition. Based on this rule the stability of system of generators is proved. The strict growing property of the system of generators is also proved, as the corollary of transformation rules and the stability property. It is considered homogeneous theory, that was introduced in the previous author's paper. For the series of alternating groups with systems of generators mentioned above it is shown that this series is uniform and homogeneous. It makes possible to apply the homogeneous down search algorithm to compute the diameter. This algorithm is applied and exact values of diameters for alternating groups of degree up to 43 are computed.
- Published
- 2021
28. The Optimal Graph Whose Least Eigenvalue is Minimal among All Graphs via 1-2 Adjacency Matrix
- Author
-
Nudrat Aamir, Lubna Gul, Gohar Ali, and Usama Waheed
- Subjects
Combinatorics ,Article Subject ,General Mathematics ,QA1-939 ,Adjacency matrix ,Mathematics ,Graph ,Eigenvalues and eigenvectors - Abstract
All graphs under consideration are finite, simple, connected, and undirected. Adjacency matrix of a graph G is 0,1 matrix A = a i j = 0 , i f v i = v j o r d v i , v j ≥ 2 1 , i f d v i , v j = 1. . Here in this paper, we discussed new type of adjacency matrix known by 1-2 adjacency matrix defined as A 1,2 G = a i j = 0 , i f v i = v j o r d v i , v j ≥ 3 1 , i f d v i , v j = 2 , from eigenvalues of the graph, we mean eigenvalues of the 1-2 adjacency matrix. Let T n c be the set of the complement of trees of order n . In this paper, we characterized a unique graph whose least eigenvalue is minimal among all the graphs in T n c .
- Published
- 2021
29. Covering by homothets and illuminating convex bodies
- Author
-
Alexey Glazyrin
- Subjects
Conjecture ,Applied Mathematics ,General Mathematics ,Discrete geometry ,Boundary (topology) ,Metric Geometry (math.MG) ,Upper and lower bounds ,Infimum and supremum ,Homothetic transformation ,Combinatorics ,Mathematics - Metric Geometry ,Hausdorff dimension ,FOS: Mathematics ,Mathematics::Metric Geometry ,Convex body ,Mathematics - Abstract
The paper is devoted to coverings by translative homothets and illuminations of convex bodies. For a given positive number $\alpha$ and a convex body $B$, $g_{\alpha}(B)$ is the infimum of $\alpha$-powers of finitely many homothety coefficients less than 1 such that there is a covering of $B$ by translative homothets with these coefficients. $h_{\alpha}(B)$ is the minimal number of directions such that the boundary of $B$ can be illuminated by this number of directions except for a subset whose Hausdorff dimension is less than $\alpha$. In this paper, we prove that $g_{\alpha}(B)\leq h_{\alpha}(B)$, find upper and lower bounds for both numbers, and discuss several general conjectures. In particular, we show that $h_{\alpha} (B) > 2^{d-\alpha}$ for almost all $\alpha$ and $d$ when $B$ is the $d$-dimensional cube, thus disproving the conjecture from Research Problems in Discrete Geometry by Brass, Moser, and Pach.
- Published
- 2021
30. Additive subgroups generated by noncommutative polynomials
- Author
-
Tsiu-Kwen Lee
- Subjects
Combinatorics ,Ring (mathematics) ,Polynomial ,General Mathematics ,Unital ,Image (category theory) ,Structure (category theory) ,Ideal (ring theory) ,Algebra over a field ,Noncommutative geometry ,Mathematics - Abstract
Let R be an algebra. Given a noncommutative polynomial f, let f(R) stand for the additive subgroup of R generated by the image of f. For a unital or an affine algebra R, $$S_k(R)$$ is completely determined for any standard polynomial $$S_k$$ when R is generated by $$S_k(R)$$ as an ideal. Motivated by Bresar’s paper [Adv. Math. 374 (2020), 107346, 21 pp] and Robert’s paper [J. Oper. Theory 75 (2016), 387–408], under certain conditions we also prove that f(R) is equal to either [R, R] or the whole ring R. We obtain these results by studying the structure of Lie ideals L of a ring R whenever R is generated by [R, L] as an ideal.
- Published
- 2021
31. Navier-Stokes equations under slip boundary conditions: Lower bounds to the minimal amplitude of possible time-discontinuities of solutions with two components in L∞(L3)
- Author
-
Hugo Beirão da Veiga and Jiaqi Yang
- Subjects
Combinatorics ,Amplitude ,General Mathematics ,Boundary (topology) ,Slip (materials science) ,Boundary value problem ,Classification of discontinuities ,Navier–Stokes equations ,Omega ,Mathematics ,Bar (unit) - Abstract
The main purpose of this paper is to extend the result obtained by Beirao da Veiga (2000) from the whole-space case to slip boundary cases. Denote by u two components of the velocity u. To fix ideas set ū = (u1,u2, 0) (the half-space) or $${\boldsymbol{\bar u}} = {\hat u_1}{\hat e_1} + {\hat u_2}{\hat e_2}$$ (the general boundary case (see (7.1))). We show that there exists a constant K, which enjoys very simple and significant expressions such that if at some time τ ∈ (0,T) one has $$\lim {\sup _{t \to \tau - 0}}\left\| {{\boldsymbol{\bar u}}(t)} \right\|_{{L^3}(\Omega )}^3 < \left\| {{\boldsymbol{\bar u}}(\tau )} \right\|_{{L^3}(\Omega )}^3 + K$$ , then u is continuous at τ with values in L3(Ω). Roughly speaking, the above norm-discontinuity of merely two components of the velocity cannot occur for steps’ amplitudes smaller than K. In particular, if the above condition holds at each τ ∈ (0,T), the solution is smooth in (0,T) × Ω. Note that here there is no limitation on the width of the norms $$\left\| {{\boldsymbol{\bar u}}(t)} \right\|_{{L^3}(\Omega )}^3$$ . So K is independent of these quantities. Many other related results are discussed and compared among them. This is a second main aim of this paper. New results are proved in Sections 5–7.
- Published
- 2021
32. Gaussian Asymptotics of Jack Measures on Partitions From Weighted Enumeration of Ribbon Paths
- Author
-
Alexander Moll
- Subjects
Spectral theory ,Generalization ,General Mathematics ,Gaussian ,Probability (math.PR) ,Mathematical proof ,Combinatorics ,symbols.namesake ,Mathematics::Quantum Algebra ,Ribbon ,FOS: Mathematics ,symbols ,Enumeration ,Mathematics - Combinatorics ,Combinatorics (math.CO) ,Limit (mathematics) ,Mathematics::Representation Theory ,Cumulant ,Mathematics - Probability ,Mathematics - Abstract
In this paper we determine two asymptotic results for Jack measures on partitions, a model defined by two specializations of Jack polynomials proposed by Borodin-Olshanski in [European J. Combin. 26.6 (2005): 795-834]. Assuming these two specializations are the same, we derive limit shapes and Gaussian fluctuations for the anisotropic profiles of these random partitions in three asymptotic regimes associated to diverging, fixed, and vanishing values of the Jack parameter. To do so, we introduce a generalization of Motzkin paths we call "ribbon paths", show for general Jack measures that certain joint cumulants are weighted sums of connected ribbon paths on $n$ sites with $n-1+g$ pairings, and derive our two results from the contributions of $(n,g)=(1,0)$ and $(2,0)$, respectively. Our analysis makes use of Nazarov-Sklyanin's spectral theory for Jack polynomials. As a consequence, we give new proofs of several results for Schur measures, Plancherel measures, and Jack-Plancherel measures. In addition, we relate our weighted sums of ribbon paths to the weighted sums of ribbon graphs of maps on non-oriented real surfaces recently introduced by Chapuy-Dol\k{e}ga., Comment: Several results in this paper first appeared in the author's unpublished monograph arXiv:1508.03063. Version 2: revised and accepted for publication in International Mathematics Research Notices (IMRN)
- Published
- 2021
33. Approximation of functions of H$$\ddot{o}$$lder class and solution of ODE and PDE by extended Haar wavelet operational matrix
- Author
-
Priya Kumari and Shyam Lal
- Subjects
Combinatorics ,Approximation theory ,Wavelet ,Partial differential equation ,Exact solutions in general relativity ,General Mathematics ,Ode ,Estimator ,Interval (mathematics) ,Haar wavelet ,Mathematics - Abstract
In this paper, extended H $$\ddot{o}$$ lder class $$H_\alpha ^{(w)}[0,\mu )$$ is considered. This class is the generalization of H $$\ddot{o}$$ lder class $$H_\alpha [0,\mu )$$ . Three new estimators $$E_N^{(1)}(f), E_N^{(2)}(f)$$ and $$E_N^{(3)}(f)$$ of functions of classes $$H_\alpha [0,\mu )$$ and $$H_\alpha ^{(w)}[0,\mu )$$ have been obtained. These estimators are best in approximation of functions by wavelet methods. The estimators obtained in this paper and the solution of ordinary and partial differential equations by extended Haar wavelet operational matrix method in the interval $$[0,\mu )$$ and its comparison with exact solution for different values of $$\mu$$ are the significant achievement of this research paper in approximation theory as well as Wavelet Analysis.
- Published
- 2021
34. Approximation by a new sequence of operators involving Apostol-Genocchi polynomials
- Author
-
D. K. Verma, Naokant Deo, and Chandra Prakash
- Subjects
Combinatorics ,General Mathematics ,Mathematics ,Sequence (medicine) - Abstract
The main objective of this paper is to construct a new sequence of operators involving Apostol-Genocchi polynomials based on certain parameters. We investigate the rate of convergence of the operators given in this paper using second-order modulus of continuity and Voronovskaja type approximation theorem. Moreover, we find weighted approximation result of the given operators. Finally, we derive the Kantorovich variant of the given operators and discussed the approximation results.
- Published
- 2021
35. Unitary representations of type B rational Cherednik algebras and crystal combinatorics
- Author
-
Emily Norton
- Subjects
Functor ,Unitarity ,General Mathematics ,Type (model theory) ,Unitary state ,Fock space ,Combinatorics ,Irreducible representation ,FOS: Mathematics ,Mathematics - Combinatorics ,Partition (number theory) ,Component (group theory) ,Combinatorics (math.CO) ,Representation Theory (math.RT) ,Mathematics::Representation Theory ,Mathematics - Representation Theory ,Mathematics - Abstract
We compare crystal combinatorics of the level 2 Fock space with the classification of unitary irreducible representations of type B rational Cherednik algebras to study how unitarity behaves under parabolic restriction. First, we show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica. Second, we show that the crystal operators that remove boxes preserve the combinatorial conditions for unitarity, and that the parabolic restriction functors categorifying the crystals send irreducible unitary representations to unitary representations. Third, we find the supports of the unitary representations., This paper supersedes arXiv:1907.00919 and contains that paper as a subsection. 35 pages, some color figures
- Published
- 2021
36. On the minimum value of the condition number of polynomials
- Author
-
Carlos Beltrán, Fátima Lizarte, and Universidad de Cantabria
- Subjects
Sequence ,Degree (graph theory) ,Mathematics - Complex Variables ,Applied Mathematics ,General Mathematics ,Univariate ,Term (logic) ,Combinatorics ,Computational Mathematics ,Integer ,Simple (abstract algebra) ,FOS: Mathematics ,30E10, 30C15, 31A15 ,Complex Variables (math.CV) ,Constant (mathematics) ,Condition number ,Mathematics - Abstract
In 1993, Shub and Smale posed the problem of finding a sequence of univariate polynomials of degree $N$ with condition number bounded above by $N$. In a previous paper by C. Belt\'an, U. Etayo, J. Marzo and J. Ortega-Cerd\`a, it was proved that the optimal value of the condition number is of the form $O(\sqrt{N})$, and the sequence demanded by Shub and Smale was described by a closed formula (for large enough $N\geqslant N_0$ with $N_0$ unknown) and by a search algorithm for the rest of the cases. In this paper we find concrete estimates for the constant hidden in the $O(\sqrt{N})$ term and we describe a simple formula for a sequence of polynomials whose condition number is at most $N$, valid for all $N=4M^2$, with $M$ a positive integer., Comment: 21 pages
- Published
- 2021
37. New fixed point theorems for orthogonal $F_m$-contractions in incomplete $m$-metric spaces
- Author
-
A. Shoaib, F. Uddin, M. Mehmood, and H. Isik
- Subjects
Combinatorics ,Metric space ,General Mathematics ,Fixed-point theorem ,Mathematics - Abstract
In this paper, we introduce the concept of orthogonal $m$-metric spaces and by using $F_m$-contraction in orthogonal $m$-metric spaces, we give the concept of orthogonal $F_m$-contraction (briefly, $\bot_{F_m}$-contraction) and investigate fixed point results for such mappings. Many existing results in the literature appear to be special case of results proved in this paper. An example to support our main results is also mentioned.
- Published
- 2021
38. 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
39. 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
40. Fragility of nonconvergence in preferential attachment graphs with three types
- Author
-
Ben Andrews and Jonathan Jordan
- Subjects
Random graph ,Vertex (graph theory) ,05C82 ,General Mathematics ,Probability (math.PR) ,Type (model theory) ,Preferential attachment ,Graph ,Combinatorics ,Fragility ,FOS: Mathematics ,Tournament ,Node (circuits) ,Mathematics - Probability ,Mathematics - Abstract
Preferential attachment networks are a type of random network where new nodes are connected to existing ones at random, and are more likely to connect to those that already have many connections. We investigate further a family of models introduced by Antunovi\'{c}, Mossel and R\'{a}cz where each vertex in a preferential attachment graph is assigned a type, based on the types of its neighbours. Instances of this type of process where the proportions of each type present do not converge over time seem to be rare. Previous work found that a "rock-paper-scissors" setup where each new node's type was determined by a rock-paper-scissors contest between its two neighbours does not converge. Here, two cases similar to that are considered, one which is like the above but with an arbitrarily small chance of picking a random type and one where there are four neighbours which perform a knockout tournament to determine the new type. These two new setups, despite seeming very similar to the rock-paper-scissors model, do in fact converge, perhaps surprisingly., Comment: 7 pages, 2 figures
- Published
- 2021
41. Inverse problems of the Erdős-Ko-Rado type theorems for families of vector spaces and permutations
- Author
-
Xiangliang Kong, Bingchen Qian, Yuanxiao Xi, and Gennian Ge
- Subjects
Combinatorics ,Matrix (mathematics) ,Intersection ,General Mathematics ,Structure (category theory) ,Intersection number ,Inverse problem ,Type (model theory) ,Linear subspace ,Mathematics ,Vector space - Abstract
Ever since the famous Erdős-Ko-Rado theorem initiated the study of intersecting families of subsets, extremal problems regarding intersecting properties of families of various combinatorial objects have been extensively investigated. Among them, studies about families of subsets, vector spaces and permutations are of particular concerns. Recently, we proposed a new quantitative intersection problem for families of subsets: For $${\cal F} \subseteq \left({\matrix{{[n]} \cr k \cr}} \right)$$ , define its total intersection number as $${\cal I}({\cal F}) = \sum\nolimits_{{F_1},{F_2} \in {\cal F}} {\left| {{F_1} \cap {F_2}} \right|} $$ . Then, what is the structure of $${\cal F}$$ when it has the maximal total intersection number among all the families in $$\left({\matrix{{[n]} \cr k \cr}} \right)$$ with the same family size? In a recent paper, Kong and Ge (2020) studied this problem and characterized extremal structures of families maximizing the total intersection number of given sizes. In this paper, we consider the analogues of this problem for families of vector spaces and permutations. For certain ranges of family size, we provide structural characterizations for both families of subspaces and families of permutations having maximal total intersection numbers. To some extent, these results determine the unique structure of the optimal family for some certain values of $$\left| {\cal F} \right|$$ and characterize the relationship between having maximal total intersection number and being intersecting. Besides, we also show several upper bounds on the total intersection numbers for both families of subspaces and families of permutations of given sizes.
- Published
- 2021
42. Sumsets of Wythoff sequences, Fibonacci representation, and beyond
- Author
-
Jeffrey Shallit
- Subjects
FOS: Computer and information sciences ,Fibonacci number ,Mathematics - Number Theory ,Discrete Mathematics (cs.DM) ,Formal Languages and Automata Theory (cs.FL) ,General Mathematics ,Computer Science - Formal Languages and Automata Theory ,Of the form ,Combinatorics ,Alpha (programming language) ,Simple (abstract algebra) ,FOS: Mathematics ,Mathematics - Combinatorics ,Combinatorics (math.CO) ,Number Theory (math.NT) ,Representation (mathematics) ,Computer Science - Discrete Mathematics ,Mathematics - Abstract
Let $$\alpha = (1+\sqrt{5})/2$$ and define the lower and upper Wythoff sequences by $$a_i = \lfloor i \alpha \rfloor $$ , $$b_i = \lfloor i \alpha ^2 \rfloor $$ for $$i \ge 1$$ . In a recent interesting paper, Kawsumarng et al. proved a number of results about numbers representable as sums of the form $$a_i + a_j$$ , $$b_i + b_j$$ , $$a_i + b_j$$ , and so forth. In this paper I show how to derive all of their results, using one simple idea and existing free software called Walnut. The key idea is that for each of their sumsets, there is a relatively small automaton accepting the Fibonacci representation of the numbers represented. I also show how the automaton approach can easily prove other results.
- Published
- 2021
43. Finite Homogeneous Subspaces of Euclidean Spaces
- Author
-
V. N. Berestovskiĭ and Yu. G. Nikonorov
- Subjects
Convex hull ,General Mathematics ,Archimedean solid ,Combinatorics ,symbols.namesake ,Polyhedron ,Metric space ,symbols ,Tetrahedron ,Mathematics::Metric Geometry ,Cube ,Isometry group ,Mathematics ,Regular polytope - Abstract
The paper is devoted to the study of the metric properties of regular and semiregular polyhedra in Euclidean spaces. In the first part, we prove that every regular polytope of dimension greater or equal than 4, and different from 120-cell in $$\mathbb {E}^4 $$ is such that the set of its vertices is a Clifford–Wolf homogeneous finite metric space. The second part of the paper is devoted to the study of special properties of Archimedean solids. In particular, for each Archimedean solid, its description is given as the convex hull of the orbit of a suitable point of a regular tetrahedron, cube or dodecahedron under the action of the corresponding isometry group.
- Published
- 2021
44. A fractional $$p(x,\cdot )$$-Laplacian problem involving a singular term
- Author
-
K. Saoudi, A. Mokhtari, and N. T. Chung
- Subjects
Symmetric function ,Sobolev space ,Combinatorics ,Continuous function (set theory) ,Applied Mathematics ,General Mathematics ,Bounded function ,Domain (ring theory) ,Lambda ,Laplace operator ,Omega ,Mathematics - Abstract
This paper deals with a class of singular problems involving the fractional $$p(x,\cdot )$$ -Laplace operator of the form $$\begin{aligned} \left\{ \begin{array}{ll} (-\Delta )^{s}_{p(x,\cdot )}u(x)= \frac{\lambda }{u^{\gamma (x)}}+u^{q(x)-1} &{} \hbox {in }\Omega , \\ u>0, \;\;\text {in}\;\; \Omega &{} \hbox {} \\ u=0 \;\;\text {on}\;\;{\mathbb {R}}^N\setminus \Omega , &{} \hbox {} \end{array} \right. \end{aligned}$$ where $$\Omega $$ is a smooth bounded domain in $${\mathbb {R}}^N$$ ( $$N\ge 3$$ ), $$00$$ small enough. To our best knowledge, this paper is one of the first attempts in the study of singular problems involving fractional $$p(x,\cdot )$$ -Laplace operators.
- Published
- 2021
45. 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
46. A group of Pythagorean triples using the inradius
- Author
-
Howard Sporn
- Subjects
Combinatorics ,Coprime integers ,Group (mathematics) ,General Mathematics ,Pythagorean triple ,Right triangle ,Mathematics ,Incircle and excircles of a triangle - Abstract
Pythagorean triples are triples of integers (a, b, c) satisfying the equation a2 + b2 = c2. For the purpose of this paper, we will take a, b and c to be positive, unless otherwise stated. Then, of course, it follows that a triple represents the lengths of sides of a right triangle. Also, for the purpose of this paper, we will consider the triples (a, b, c) and (b, a, c) to be distinct, even though they represent the same right triangle. A primitive Pythagorean triple is one for which a, b and c are relatively prime.
- Published
- 2021
47. 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
48. Generalization of some fractional versions of Hadamard inequalities via exponentially (α,h−m)-convex functions
- Author
-
Ghulam Farid, Waqas Nazeer, Hafsa Yasmeen, Yu-Pei Lv, and Chahn Yong Jung
- Subjects
Generalization ,General Mathematics ,Regular polygon ,Function (mathematics) ,Hadamard inequality ,h−m)-convex function ,hadamard inequality ,exponentionally (α ,Combinatorics ,Alpha (programming language) ,Exponential growth ,Hadamard transform ,riemann-liouville fractional integrals ,(α ,QA1-939 ,Convex function ,Mathematics - Abstract
In this paper we give Hadamard inequalities for exponentially $ (\alpha, h-m) $-convex functions using Riemann-Liouville fractional integrals for strictly increasing function. Results for Riemann-Liouville fractional integrals of convex, $ m $-convex, $ s $-convex, $ (\alpha, m) $-convex, $ (s, m) $-convex, $ (h-m) $-convex, $ (\alpha, h-m) $-convex, exponentially convex, exponentially $ m $-convex, exponentially $ s $-convex, exponentially $ (s, m) $-convex, exponentially $ (h-m) $-convex, exponentially $ (\alpha, h-m) $-convex functions are particular cases of the results of this paper. The error estimations of these inequalities by using two fractional integral identities are also given.
- Published
- 2021
49. 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
50. On a class number formula of Hurwitz
- Author
-
William Duke, Árpád Tóth, and Özlem Imamoglu
- Subjects
Binary quadratic forms ,Combinatorics ,class numbers ,Hurwitz ,Applied Mathematics ,General Mathematics ,Binary quadratic form ,Class number formula ,Mathematics - Abstract
In a little-known paper Hurwitz gave an infinite series representation of the class number for positive definite binary quadratic forms. In this paper we give a similar formula in the indefinite case. We also give a simple proof of Hurwitz's formula and indicate some extensions., Journal of the European Mathematical Society, 23 (12), ISSN:1435-9855, ISSN:1435-9863
- Published
- 2021
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.