25,431 results
Search Results
2. On Variability and Interdependence of Local Porosity and Local Tortuosity in Porous Materials: a Case Study for Sack Paper
- Author
-
Matthias Neumann, Eduardo Machado Charry, Volker Schmidt, and Karin Zojer
- Subjects
Statistics and Probability ,Geodesic ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Copula (linguistics) ,Sinuosity ,01 natural sciences ,Tortuosity ,010104 statistics & probability ,Goodness of fit ,Gumbel distribution ,Joint probability distribution ,0101 mathematics ,Porosity ,Mathematics - Abstract
The variability and interdependence of local porosity and local mean geodesic tortuosity, which is a measure for the sinuosity of shortest transportation paths, is investigated at the example of the microstructure in sack paper. By means of statistical image analysis, these two morphological characteristics are computed for several cutouts of 3D image data obtained by X-ray microcomputed tomography. Considering cutouts of different sizes allows us to study the influence of the sample size on the local variability of the considered characteristics. Moreover, the interdependence between local porosity and local mean geodesic tortuosity is quantified by modeling their joint distribution parametrically using Archimedean copulas. It turns out that the family of Gumbel copulas is an appropriate model type, which is formally validated by a goodness of fit test. Besides mean geodesic tortuosity, we consider further related morphological characteristics, describing the sinuosity of those shortest transportation paths, whose minimum diameter exceeds a predefined threshold. Moreover, we show that the copula approach investigated in this paper can also be used to quantify the negative correlation between local porosity and these modified versions of local mean geodesic tortuosity. Our results elucidate the impact of local porosity on various kinds of morphological characteristics, which are not experimentally accessible and which are important for local air permeance – a key property of sack paper.
- Published
- 2020
3. 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
4. An example regarding Kalton's paper 'Isomorphisms between spaces of vector-valued continuous functions'
- Author
-
Félix Cabello Sánchez
- Subjects
Pure mathematics ,Mathematics::Functional Analysis ,General Mathematics ,010102 general mathematics ,General Topology (math.GN) ,01 natural sciences ,Functional Analysis (math.FA) ,010101 applied mathematics ,Mathematics - Functional Analysis ,Dimension (vector space) ,46A16, 46E10 ,Metric (mathematics) ,FOS: Mathematics ,0101 mathematics ,Mathematics ,Mathematics - General Topology - Abstract
The paper alluded to in the title contains the following striking result: Let $I$ be the unit interval and $\Delta$ the Cantor set. If $X$ is a quasi Banach space containing no copy of $c_0$ which is isomorphic to a closed subspace of a space with a basis and $C(I, X)$ is linearly homeomorphic to $C(\Delta, X)$, then $X$ is locally convex, i.e., a Banach space. It is shown that Kalton result is sharp by exhibiting non locally convex quasi Banach spaces X with a basis for which $C(I, X)$ and $C(\Delta, X)$ are isomorphic. Our examples are rather specific and actually in all cases X is isomorphic to $C(\Delta, X)$ if $K$ is a metric compactum of finite covering dimension., Comment: 4 pages
- Published
- 2021
- Full Text
- View/download PDF
5. On a paper of Erdös and Szekeres
- Author
-
Mei-Chu Chang and Jean Bourgain
- Subjects
010101 applied mathematics ,Discrete mathematics ,Set (abstract data type) ,Partial differential equation ,Functional analysis ,General Mathematics ,010102 general mathematics ,0101 mathematics ,01 natural sciences ,Analysis ,Mathematics - Abstract
Propositions 1.1–1.3 stated below contribute to results and certain problems considered in [E-S], on the behavior of products $$\Pi^n_1(1-z^{a_j}),1\leq{a_1}...\leq{a_n}$$ integers. In the discussion below, {a1,..., an} will be either a proportional subset of {1,..., n} or a set of large arithmetic diameter.
- Published
- 2018
6. Correction and notes to the paper 'A classification of Artin–Schreier defect extensions and characterizations of defectless fields'
- Author
-
Franz-Viktor Kuhlmann
- Subjects
Discrete mathematics ,Lemma (mathematics) ,14B05 ,General Mathematics ,13A18 ,010102 general mathematics ,12J10 ,Mistake ,Commutative Algebra (math.AC) ,Linearly disjoint ,Mathematics - Commutative Algebra ,01 natural sciences ,Primary 12J10, 13A18, Secondary 12J25, 12L12, 14B05 ,Field extension ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,12J25 ,12L12 ,Mathematics - Abstract
We correct a mistake in a lemma in the paper cited in the title and show that it did not affect any of the other results of the paper. To this end, we prove results on linearly disjoint field extensions that do not seem to be commonly known. We give an example to show that a separability assumption in one of these results cannot be dropped (doing so had led to the mistake). Further, we discuss recent generalizations of the original classification of defect extensions.
- Published
- 2019
7. Notes on the paper 'A note on pronormal p-subgroups of finite groups'
- Author
-
Haoran Yu and Suli Liu
- Subjects
Discrete mathematics ,Lemma (mathematics) ,010505 oceanography ,General Mathematics ,010102 general mathematics ,0101 mathematics ,01 natural sciences ,0105 earth and related environmental sciences ,Mathematics - Abstract
In this short note, we show that Theorem 4.3 of Liu and Yu (Monatshefte Math 195:173–176, 2021) is a consequence of Lemma 2 of Ballester-Bolinches and Esteban-Romero (J Aust Math Soc 75:181–191, 2003).
- Published
- 2021
8. An unpublished paper ‘Über einige durch unendliche Reihen definirte Functionen eines complexen Argumentes’ by Adolf Hurwitz
- Author
-
Nicola Oswald
- Subjects
History ,Pure mathematics ,General Mathematics ,010102 general mathematics ,01 natural sciences ,Algebra ,symbols.namesake ,Continuation ,0103 physical sciences ,Functional equation ,symbols ,010307 mathematical physics ,0101 mathematics ,Dirichlet series ,Meromorphic function ,Mathematics - Abstract
In 1903, Epstein published his proof of meromorphic continuation and a functional equation for Dirichlet series associated with quadratic forms, now called Epstein zeta-functions. However, already in 1889 (or even earlier) Hurwitz was aware of these results as his mathematical diaries and some unpublished notes (in an almost final form) found in his estate at the ETH Zurich show. In this article we present and analyze Hurwitz's notes and compare his reasoning with Epstein's paper in detail.
- Published
- 2017
9. Scientific heritage of L.D. Faddeev. Survey of papers
- Author
-
M. A. Semenov-Tian-Shansky, I. Ya. Aref'eva, Evgeny Sklyanin, A. Yu. Alekseev, Samson L. Shatashvili, F. A. Smirnov, Leon A. Takhtajan, Euler International Mathematical Institute [St. Petersburg], Stony Brook University [SUNY] (SBU), State University of New York (SUNY), University of Geneva [Switzerland], Steklov Mathematical Institute [Moscow] (SMI), Russian Academy of Sciences [Moscow] (RAS), Institut de Mathématiques de Bourgogne [Dijon] (IMB), Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Bourgogne (UB), University of York [York, UK], Université Pierre et Marie Curie - Paris 6 (UPMC), Institut des Hautes Etudes Scientifiques (IHES), IHES, Trinity College Dublin, Institute for Information Transmission Problems, The work of Semenov-Tian-Shansky was supported by the Presidium of the Russian Academy of Sciences programme no. 02 'Non-linear dynamics: fundamental problems and applications' (grant no. PRAS-18-02). Sklyanin worked as a Royal Society Leverhulme Trust Senior Research Fellow. The work of Shatashvili was supported by the Simons Foundation under the programme 'Targeted Grants to Institutes' (The Hamilton Mathematics Institute)., Université de Genève = University of Geneva (UNIGE), Université de Bourgogne (UB)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), and Institut des Hautes Études Scientifiques (IHES)
- Subjects
Inverse scattering problem ,Scattering theory ,General Mathematics ,Yang-Baxter equation ,Inverse scattering method ,Quantum groups ,01 natural sciences ,AMS 2010 Mathematics Subject Classification. Primary 01A70, 16T25, 17B37, 35J10, 35P25,35Q53, 35Q55, 37K15, 58B32, 58J52, 70S15, 81-03, 81R50, 81S40, 81T10, 81T13, 81T50, 81T70,81U40, 82B23, 82C23 ,Eigenfunction expansion ,[MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph] ,Quantization of gauge fields ,Korteweg-de Vries equation ,0103 physical sciences ,Schrodinger operator ,0101 mathematics ,Korteweg–de Vries equation ,Mathematics ,Mathematical physics ,Quantum anomalies ,010308 nuclear & particles physics ,Yang–Baxter equation ,Faddeev-Popov ghosts ,010102 general mathematics ,Algebraic Bethe ansatz ,Quantum dilogarithm ,Complete integrability ,Quantum inverse problem method - Abstract
International audience; This survey was written by students of L. D. Faddeev under the editorship of L. A. Takhtajan. Sections 1.1, 1.2, 2–4, and 6 were written by Takhtajan, §§1.3 and 1.4 by F. A. Smirnov, §§5.1 and 5.2 by E. K. Sklyanin, §§5.3–5.6 by Sklyanin, Smirnov, and Takhtajan, §7.1 by M. A. Semenov- Tian-Shansky, §§7.2–7.6 by Takhtajan and S. L. Shatashvili, §7.7 by A. Yu. Alekseev and Shatashvili, and §8 by I. Ya. Aref'eva.
- Published
- 2017
10. On A.Ya. Khinchin's paper ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ (1926): A translation with introduction and commentary
- Author
-
Lukas M. Verburgt and Olga Hoppe-Kondrikova
- Subjects
History ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Victory ,Ignorance ,06 humanities and the arts ,0603 philosophy, ethics and religion ,01 natural sciences ,Epistemology ,Subject matter ,Formalism (philosophy of mathematics) ,Intuitionism ,060302 philosophy ,Calculus ,Ideology ,0101 mathematics ,Communism ,media_common ,Mathematics - Abstract
The translation into English of Aleksandr Yakovlevich Khinchin's (1894–1959) 1926 paper entitled ‘Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics’ is made available for the first time. Here, Khinchin presented the famous foundational debate between L.E.J. Brouwer and David Hilbert of the 1920s in terms of a search for a mathematics with content. His main aim seems to have been to make intuitionism ideologically acceptable to his audience at the Communist Academy by means of the claim that insofar as Brouwer's intuitionism had a clear ‘subject matter’ and Hilbert's new program was a concession to intuitionism, the alleged victory of intuitionism not only implied the defeat of ‘empty’ formalism, but also showed the compatibility and affinity of Marxism with the newest developments in modern mathematics. This introduction provides a tentative exploration of the issue of what was tactical (or due to ideological pressure) and what was real scientific interest (or due to ignorance) (or what was both) in Khinchin's 1926 paper in the form of a detailed commentary, especially, on the tactical side of his presentation of the positions of Brouwer and Hilbert.
- Published
- 2016
11. Notes on the Paper 'On SS-Quasinormal and S-Quasinormally Embedded Subgroups of Finite Groups' of Shen et al
- Author
-
Yuemei Mao, Xiaolan Yi, and Changwen Li
- Subjects
Discrete mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,Zhàng ,ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,GeneralLiterature_MISCELLANEOUS ,Mathematics - Abstract
We correct an error in the paper of Z. Shen, S. Li, and J. Zhang published in [4]. In addition, we give an answer to a question posed by the authors.
- Published
- 2018
12. Corrections and complements to my paper 'On a class of operator monotone functions of several variables'
- Author
-
A. R. Mirotin
- Subjects
Discrete mathematics ,General Mathematics ,010102 general mathematics ,0211 other engineering and technologies ,021107 urban & regional planning ,02 engineering and technology ,Finite-rank operator ,Compact operator ,Strongly monotone ,Shift operator ,01 natural sciences ,Semi-elliptic operator ,Algebra ,Pseudo-monotone operator ,Monotone polygon ,Multiplication operator ,0101 mathematics ,Mathematics - Published
- 2017
13. Using A4-sized paper to illustrate that is irrational
- Author
-
Nick Lord
- Subjects
General Mathematics ,Irrational number ,010102 general mathematics ,0101 mathematics ,01 natural sciences ,Mathematical economics ,Mathematics - Published
- 2017
14. 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
15. On Nash’s unique contribution to analysis in just three of his papers
- Author
-
Sergiu Klainerman
- Subjects
Applied Mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Published
- 2016
16. Addendum to the paper 'Linearly topologized modules over a discrete valuation ring'
- Author
-
Patricia Couto G. Mauro and Dinamérico P. Pombo
- Subjects
Discrete mathematics ,General Mathematics ,010102 general mathematics ,Addendum ,0101 mathematics ,01 natural sciences ,Discrete valuation ring ,Linear equation ,Mathematics - Abstract
For any discrete valuation ring R, any R-linear mapping u from an R-module E into an R-module F and any \(y_0\in F\), a necessary and sufficient condition for the solvability of the equation \(u(x)=y_0\) is established, and an application of this result is presented.
- Published
- 2016
17. Derived length of zero entropy groups acting on projective varieties in arbitrary characteristic — A remark to a paper of Dinh-Oguiso-Zhang
- Author
-
Sichen Li
- Subjects
Automorphism group ,Pure mathematics ,Computer Science::Information Retrieval ,General Mathematics ,010102 general mathematics ,Zhàng ,Astrophysics::Instrumentation and Methods for Astrophysics ,Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) ,01 natural sciences ,0103 physical sciences ,Computer Science::General Literature ,Entropy (information theory) ,010307 mathematical physics ,0101 mathematics ,Algebraically closed field ,Projective test ,Projective variety ,Mathematics - Abstract
Let [Formula: see text] be a projective variety of dimension [Formula: see text] over an algebraically closed field of arbitrary characteristic. We prove a Fujiki–Lieberman type theorem on the structure of the automorphism group of [Formula: see text]. Let [Formula: see text] be a group of zero entropy automorphisms of [Formula: see text] and [Formula: see text] the set of elements in [Formula: see text] which are isotopic to the identity. We show that after replacing [Formula: see text] by a suitable finite-index subgroup, [Formula: see text] is a unipotent group of the derived length at most [Formula: see text]. This result was first proved by Dinh et al. for compact Kähler manifolds.
- Published
- 2020
18. 'Graph Paper' Trace Characterizations of Functions of Finite Energy
- Author
-
Robert S. Strichartz
- Subjects
Discrete mathematics ,Plane (geometry) ,General Mathematics ,010102 general mathematics ,Voltage graph ,Mathematics::General Topology ,Graph paper ,01 natural sciences ,Sierpinski triangle ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,Sobolev space ,Coxeter graph ,Sierpinski carpet ,0103 physical sciences ,String graph ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Analysis ,Mathematics - Abstract
We characterize functions of finite energy in the plane in terms of their traces on the lines that make up "graph paper" with squares of side length $mn$ for all $n$, and certain $\12-$order Sobolev norms on the graph paper lines. We also obtain analogous results for functions of finite energy on two classical fractals: the Sierpinski gasket and the Sierpinski carpet.
- Published
- 2013
- Full Text
- View/download PDF
19. On a paper of Berestycki-Hamel-Rossi and its relations to the weak maximum principle at infinity, with applications
- Author
-
Luciano Mari, Marco Rigoli, and Marco Magliaro
- Subjects
Pure mathematics ,Work (thermodynamics) ,Trace (linear algebra) ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Differential operator ,Infinity ,01 natural sciences ,010101 applied mathematics ,Type condition ,Maximum principle ,Bounded function ,Uniqueness ,0101 mathematics ,Mathematics ,media_common - Abstract
The aim of this paper is to study a new equivalent form of the weak maximum principle for a large class of differential operators on Riemannian manifolds. This new form has been inspired by the work of Berestycki, Hamel and Rossi for trace operators, and allows us to shed new light on it and to introduce a new sufficient bounded Khas’minskii type condition for its validity. We show its effectiveness by applying it to obtain some uniqueness results in a geometric setting.
- Published
- 2018
20. NOTES ON THE PAPER 'A CRITERION FOR BOUNDED FUNCTIONS' [BULL. KOREAN MATH. SOC. 53 (2016), NO. 1, 215-225]
- Author
-
Jin-Lin Liu and Yi-Ling Cang
- Subjects
Algebra ,General Mathematics ,Bounded function ,010102 general mathematics ,0101 mathematics ,Arithmetic ,01 natural sciences ,Mathematics - Published
- 2016
21. Entropy criteria and stability of extreme shocks: a remark on a paper of Leger and Vasseur
- Author
-
Kevin Zumbrun and Benjamin Texier
- Subjects
Conservation law ,Kullback–Leibler divergence ,Standard molar entropy ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Mathematics::Analysis of PDEs ,Regular polygon ,Min entropy ,Shock strength ,01 natural sciences ,010101 applied mathematics ,Mathematics - Analysis of PDEs ,FOS: Mathematics ,Uniqueness ,0101 mathematics ,Analysis of PDEs (math.AP) ,Mathematics - Abstract
We show that a relative entropy condition recently shown by Leger and Vasseur to imply uniqueness and stable $L^2$ dependence on initial data of Lax 1- or $n$-shock solutions of an $n\times n$ system of hyperbolic conservation laws with convex entropy implies Lopatinski stability in the sense of Majda. This means in particular that Leger and Vasseur's relative entropy condition represents a considerable improvement over the standard entropy condition of decreasing shock strength and increasing entropy along forward Hugoniot curves, which, in a recent example exhibited by Barker, Freist\"uhler and Zumbrun, was shown to fail to imply Lopatinski stability, even for systems with convex entropy. This observation bears also on the parallel question of existence, at least for small $BV$ or $H^s$ perturbations, Comment: to appear in Proceedings of the AMS
- Published
- 2014
22. Some comments on the paper of Khuangsatung and Kangtunyakarn
- Author
-
Kanokwan Wongchan
- Subjects
010101 applied mathematics ,Nonlinear system ,Fixed point problem ,General Mathematics ,010102 general mathematics ,Convergence (routing) ,Applied mathematics ,0101 mathematics ,Fixed point ,01 natural sciences ,Mathematics - Abstract
In this paper, we discuss the validity of the result of Khuangsatung and Kangtunyakarn [Existence and convergence theorem for fixed point problem of various nonlinear mappings and variational inequality problems without some assumptions, Filomat 32(1) (2018) 305–309].
- Published
- 2018
23. A Note on a Paper by Wong and Heyde
- Author
-
Mikhail Urusov and Aleksandar Mijatović
- Subjects
Statistics and Probability ,Statistics::Theory ,Pure mathematics ,60G44, 60G48, 60H10, 60J60 ,General Mathematics ,Applied probability ,01 natural sciences ,FOS: Economics and business ,010104 statistics & probability ,60G48 ,FOS: Mathematics ,60G44 ,0101 mathematics ,60J60 ,Mathematics ,Local martingales versus true martingales ,010102 general mathematics ,Probability (math.PR) ,stochastic exponential ,Exponential function ,Mathematik ,60H10 ,Statistics, Probability and Uncertainty ,Martingale (probability theory) ,Quantitative Finance - General Finance ,General Finance (q-fin.GN) ,Mathematics - Probability ,Counterexample - Abstract
In this note we re-examine the analysis of the paper "On the martingale property of stochastic exponentials" by B. Wong and C.C. Heyde, Journal of Applied Probability, 41(3):654-664, 2004. Some counterexamples are presented and alternative formulations are discussed., Comment: To appear in Journal of Applied Probability, 11 pages
- Published
- 2011
24. Some comments on the paper: Controllability of fractional neutral stochastic functional differential systems, Z. Angew. Math. Phys. 65 (2014), no. 5, 941–959
- Author
-
Michelle Pierri and Donal O'Regan
- Subjects
Discrete mathematics ,Class (set theory) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,General Physics and Astronomy ,Differential systems ,01 natural sciences ,010101 applied mathematics ,Controllability ,Algebra ,0101 mathematics ,Differential (mathematics) ,Mathematics - Abstract
The abstract results and applications presented in “Controllability of fractional neutral stochastic functional differential systems, Z. Angew. Math. Phys. 65 (2014), no. 5, 941–959, are not correct. Moreover, the class of differential control problems studied in [1] is not H-controllable.
- Published
- 2016
25. 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
26. Variations on a Theme in Paper Folding
- Author
-
Burkard Polster
- Subjects
General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,Folding (DSP implementation) ,0101 mathematics ,01 natural sciences ,Linguistics ,Theme (narrative) ,Mathematics - Published
- 2004
27. Corrigendum to our paper : How Expressions can code for Automata
- Author
-
Sylvain Lombardy, Jacques Sakarovitch, Laboratoire d'Informatique Gaspard-Monge (LIGM), Centre National de la Recherche Scientifique (CNRS)-Fédération de Recherche Bézout-ESIEE Paris-École des Ponts ParisTech (ENPC)-Université Paris-Est Marne-la-Vallée (UPEM), Laboratoire Traitement et Communication de l'Information (LTCI), Télécom ParisTech-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), and Université Paris-Est Marne-la-Vallée (UPEM)-École des Ponts ParisTech (ENPC)-ESIEE Paris-Fédération de Recherche Bézout-Centre National de la Recherche Scientifique (CNRS)
- Subjects
TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES ,Powerset construction ,General Mathematics ,010102 general mathematics ,Continuous automaton ,Timed automaton ,Pushdown automaton ,Büchi automaton ,0102 computer and information sciences ,16. Peace & justice ,Nonlinear Sciences::Cellular Automata and Lattice Gases ,01 natural sciences ,Computer Science Applications ,Algebra ,TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES ,010201 computation theory & mathematics ,Deterministic automaton ,[INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering ,Probabilistic automaton ,Two-way deterministic finite automaton ,0101 mathematics ,Algorithm ,Software ,Computer Science::Formal Languages and Automata Theory ,Mathematics - Abstract
International audience; In a previous paper, we have described the construction of an automaton from a rational expression which has the property that the automaton built from an expression which is itself computed from a co-deterministic automaton by the state elimination method is co-deterministic. It turned out that the definition on which the construction is based was inappropriate, and thus the proof of the property was flawed. We give here the correct definition of the broken derived terms of an expression which allow to define the automaton and the detailed full proof of the property.
- Published
- 2010
28. Rebuttal of Donnelly's paper on the spectral gap
- Author
-
Antoine Henrot, Mark S. Ashbaugh, Richard S. Laugesen, Department of Mathematics, University of Missouri Columbia, University of Missouri [Columbia] (Mizzou), University of Missouri System-University of Missouri System, Institut Élie Cartan de Nancy (IECN), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Robust control of infinite dimensional systems and applications (CORIDA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire de Mathématiques et Applications de Metz (LMAM), Centre National de la Recherche Scientifique (CNRS)-Université Paul Verlaine - Metz (UPVM)-Centre National de la Recherche Scientifique (CNRS)-Université Paul Verlaine - Metz (UPVM)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria), Department of Mathematics [Urbana], University of Illinois at Urbana-Champaign [Urbana], University of Illinois System-University of Illinois System, CORIDA, and Université Paul Verlaine - Metz (UPVM)-Centre National de la Recherche Scientifique (CNRS)-Université Paul Verlaine - Metz (UPVM)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est
- Subjects
Discrete mathematics ,Sequence ,Conjecture ,General Mathematics ,010102 general mathematics ,Mathematics::History and Overview ,Mathematics::Spectral Theory ,01 natural sciences ,Domain (mathematical analysis) ,Computer Science::Computers and Society ,010101 applied mathematics ,symbols.namesake ,Physics::Popular Physics ,Dirichlet boundary condition ,Euclidean geometry ,symbols ,Calculus ,Convex body ,Quantitative Biology::Populations and Evolution ,[MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP] ,Spectral gap ,0101 mathematics ,Mathematics ,Unit interval - Abstract
The spectral gap conjecture of M. van den Berg [2, formula (65)] asserts that λ2 − λ1 ≥ 3π for all convex euclidean domains of diameter 1, where λ1 and λ2 denote the first two eigenvalues of the Dirichlet Laplacian. Notice that equality holds for the 1-dimensional unit interval, which can be regarded also as a degenerate n-dimensional rectangular box. The gap estimate is conjectured to hold more generally for Schrodinger operators with convex potentials, under Dirichlet boundary conditions; see the work of S.-T. Yau and collaborators [9, 11]. This Schrodinger gap conjecture was proved some time ago in 1 dimension by R. Lavine [8], and more recently in all dimensions by B. Andrews and J. Clutterbuck [1]. The proof in this journal by H. Donnelly [3] of the original gap conjecture in 2 dimensions (for the Dirichlet Laplacian with zero potential) is not correct. The Editors of Mathematische Zeitschrift have asked us to describe the flaws in the proof, in order to clarify the state of the literature. Donnelly’s approach to the problem is a natural one: first perform a shape optimization to rule out a non-degenerate minimizing domain, and then analyze the spectral gap for a sequence of domains degenerating to an interval, with the help of results by D. Jerison [5]. (For some history on this approach, and on the gap conjecture more generally, see the report on the AIM meeting “Low Eigenvalues of Laplace and Schrodinger Operators” [10], especially page 12 of the open problems list.) The error lies in the proof of the shape optimization step, as we now explain. Donnelly wishes to prove that no minimizing domain can exist for
- Published
- 2011
29. On Dyakonov’s paper 'Equivalent normos on Lipschitz-type spaces of homorphic functions'
- Author
-
Miroslav Pavlović
- Subjects
010101 applied mathematics ,Pure mathematics ,Unit circle ,General Mathematics ,010102 general mathematics ,Holomorphic function ,0101 mathematics ,Type (model theory) ,Lipschitz continuity ,01 natural sciences ,Complex plane ,Unit disk ,Mathematics - Published
- 1999
30. Addendum to the paper 'A note on weighted Bergman spaces and the Cesàro operator'
- Author
-
Stevo Stević and Der-Chen Chang
- Subjects
Pure mathematics ,010308 nuclear & particles physics ,General Mathematics ,Operator (physics) ,010102 general mathematics ,Mathematical analysis ,Weighted Bergman space ,Addendum ,01 natural sciences ,Bergman space ,0103 physical sciences ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,46E15 ,0101 mathematics ,polydisk ,Cesàro operator ,Mathematics ,Bergman kernel ,47B38 - Abstract
Let H(Dn) be the space of holomorphic functions on the unit polydisk Dn, and let , where p, q> 0, α = (α1,…,αn) with αj > -1, j =1,..., n, be the class of all measurable functions f defined on Dn such thatwhere Mp(f,r) denote the p-integral means of the function f. Denote the weighted Bergman space on . We provide a characterization for a function f being in . Using the characterization we prove the following result: Let p> 1, then the Cesàro operator is bounded on the space .
- Published
- 2005
31. A note on Saleh's paper ‘Almost continuity implies closure continuity’
- Author
-
Julian Dontchev and Takashi Noiri
- Subjects
Pure mathematics ,Continuous function ,General Mathematics ,010102 general mathematics ,General Topology (math.GN) ,Closure (topology) ,Topology (electrical circuits) ,01 natural sciences ,010101 applied mathematics ,54C08 ,FOS: Mathematics ,0101 mathematics ,Mathematics - General Topology ,Mathematics - Abstract
Recently, Saleh claimed to have solved `a long standing open question' in Topology; namely, he proved that every almost continuous function is closure continuous (= $\theta$-continuous). Unfortunately, this problem was settled long time ago and even a better result is known., Comment: 2 pages, to appear in "Glasgow Math. J."
- Published
- 1998
32. A study on fractional COVID‐19 disease model by using Hermite wavelets
- Author
-
Shaher Momani, Ranbir Kumar, Samir Hadid, and Sunil Kumar
- Subjects
General Mathematics ,coronavirus ,Value (computer science) ,Derivative ,34a34 ,01 natural sciences ,Caputo derivative ,convergence analysis ,Wavelet ,Special Issue Paper ,operational matrix ,Applied mathematics ,0101 mathematics ,26a33 ,Hermite wavelets ,Mathematics ,Hermite polynomials ,Collocation ,Special Issue Papers ,Basis (linear algebra) ,010102 general mathematics ,General Engineering ,34a08 ,010101 applied mathematics ,Algebraic equation ,Scheme (mathematics) ,60g22 ,mathematical model - Abstract
The preeminent target of present study is to reveal the speed characteristic of ongoing outbreak COVID-19 due to novel coronavirus. On January 2020, the novel coronavirus infection (COVID-19) detected in India, and the total statistic of cases continuously increased to 7 128 268 cases including 109 285 deceases to October 2020, where 860 601 cases are active in India. In this study, we use the Hermite wavelets basis in order to solve the COVID-19 model with time- arbitrary Caputo derivative. The discussed framework is based upon Hermite wavelets. The operational matrix incorporated with the collocation scheme is used in order to transform arbitrary-order problem into algebraic equations. The corrector scheme is also used for solving the COVID-19 model for distinct value of arbitrary order. Also, authors have investigated the various behaviors of the arbitrary-order COVID-19 system and procured developments are matched with exiting developments by various techniques. The various illustrations of susceptible, exposed, infected, and recovered individuals are given for its behaviors at the various value of fractional order. In addition, the proposed model has been also supported by some numerical simulations and wavelet-based results.
- Published
- 2021
33. Biased Adjusted Poisson Ridge Estimators-Method and Application
- Author
-
Pär Sjölander, Muhammad Qasim, Muhammad Amin, B. M. Golam Kibria, and Kristofer Månsson
- Subjects
Mean squared error ,General Mathematics ,Maximum likelihood ,General Physics and Astronomy ,Regression estimator ,Poisson distribution ,Modified almost unbiased ridge estimators ,01 natural sciences ,symbols.namesake ,0103 physical sciences ,Statistics ,Poisson regression ,0101 mathematics ,Mathematics ,010308 nuclear & particles physics ,010102 general mathematics ,Estimator ,Mean square error ,General Chemistry ,Ridge (differential geometry) ,Poisson ridge regression ,Multicollinearity ,Maximum likelihood estimator ,symbols ,General Earth and Planetary Sciences ,General Agricultural and Biological Sciences ,Research Paper - Abstract
Månsson and Shukur (Econ Model 28:1475–1481, 2011) proposed a Poisson ridge regression estimator (PRRE) to reduce the negative effects of multicollinearity. However, a weakness of the PRRE is its relatively large bias. Therefore, as a remedy, Türkan and Özel (J Appl Stat 43:1892–1905, 2016) examined the performance of almost unbiased ridge estimators for the Poisson regression model. These estimators will not only reduce the consequences of multicollinearity but also decrease the bias of PRRE and thus perform more efficiently. The aim of this paper is twofold. Firstly, to derive the mean square error properties of the Modified Almost Unbiased PRRE (MAUPRRE) and Almost Unbiased PRRE (AUPRRE) and then propose new ridge estimators for MAUPRRE and AUPRRE. Secondly, to compare the performance of the MAUPRRE with the AUPRRE, PRRE and maximum likelihood estimator. Using both simulation study and real-world dataset from the Swedish football league, it is evidenced that one of the proposed, MAUPRRE ($$ \hat{k}_{q4} $$ k ^ q 4 ) performed better than the rest in the presence of high to strong (0.80–0.99) multicollinearity situation.
- Published
- 2020
34. Algebraic bounds on the Rayleigh–Bénard attractor
- Author
-
Michael S. Jolly, Edriss S. Titi, Yu Cao, Jared P. Whitehead, Jolly, Michael S [0000-0002-7158-0933], Titi, Edriss S [0000-0002-5004-1746], Apollo - University of Cambridge Repository, Jolly, MS [0000-0002-7158-0933], and Titi, ES [0000-0002-5004-1746]
- Subjects
Paper ,General Mathematics ,General Physics and Astronomy ,global attractor ,Enstrophy ,01 natural sciences ,76F35 ,Attractor ,Periodic boundary conditions ,Boundary value problem ,0101 mathematics ,Algebraic number ,Rayleigh–Bénard convection ,math.AP ,Mathematical Physics ,Mathematics ,Rayleigh-Benard convection ,Plane (geometry) ,Applied Mathematics ,010102 general mathematics ,Mathematical analysis ,Statistical and Nonlinear Physics ,76E06 ,Nonlinear Sciences::Chaotic Dynamics ,010101 applied mathematics ,34D06 ,Homogeneous space ,Affine space ,synchronization ,35Q35 - Abstract
Funder: John Simon Guggenheim Memorial Foundation; doi: https://doi.org/10.13039/100005851, Funder: Einstein Visiting Fellow Program, The Rayleigh–Bénard system with stress-free boundary conditions is shown to have a global attractor in each affine space where velocity has fixed spatial average. The physical problem is shown to be equivalent to one with periodic boundary conditions and certain symmetries. This enables a Gronwall estimate on enstrophy. That estimate is then used to bound the L 2 norm of the temperature gradient on the global attractor, which, in turn, is used to find a bounding region for the attractor in the enstrophy–palinstrophy plane. All final bounds are algebraic in the viscosity and thermal diffusivity, a significant improvement over previously established estimates. The sharpness of the bounds are tested with numerical simulations.
- Published
- 2021
35. Remarks on E. A. Rahmanov's paper 'on the asymptotics of the ratio of orthogonal polynomials'
- Author
-
Paul Nevai and Attila Máté
- Subjects
Discrete mathematics ,Mathematics(all) ,Numerical Analysis ,Statement (logic) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,010103 numerical & computational mathematics ,01 natural sciences ,Algebra ,Orthogonal polynomials ,0101 mathematics ,Analysis ,Mathematics ,Counterexample - Abstract
It is pointed out that the proof of the basic result of Rahmanov's paper has a serious gap. It is documented by original sources that a statement he relied on in the proof contains a misprint, and it is shown by a counterexample that this statement (with the misprint) is, in fact, false. A somewhat weaker statement is proved true.
- Published
- 1982
36. Improving the performance of deep learning models using statistical features: The case study of COVID‐19 forecasting
- Author
-
Hossein Abbasimehr, Reza Paki, and Aram Bahrini
- Subjects
2019-20 coronavirus outbreak ,Coronavirus disease 2019 (COVID-19) ,62‐07 ,General Mathematics ,Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) ,Context (language use) ,97r40 ,Machine learning ,computer.software_genre ,01 natural sciences ,Convolutional neural network ,Special Issue Paper ,0101 mathematics ,Combined method ,Mathematics ,Special Issue Papers ,business.industry ,Deep learning ,010102 general mathematics ,General Engineering ,deep learning ,COVID‐19 pandemic ,010101 applied mathematics ,hybrid methods ,Memory model ,Artificial intelligence ,business ,computer ,statistical features - Abstract
COVID-19 pandemic has affected all aspects of people's lives and disrupted the economy. Forecasting the number of cases infected with this virus can help authorities make accurate decisions on the interventions that must be implemented to control the pandemic. Investigation of the studies on COVID-19 forecasting indicates that various techniques such as statistical, mathematical, and machine and deep learning have been utilized. Although deep learning models have shown promising results in this context, their performance can be improved using auxiliary features. Therefore, in this study, we propose two hybrid deep learning methods that utilize the statistical features as auxiliary inputs and associate them with their main input. Specifically, we design a hybrid method of the multihead attention mechanism and the statistical features (ATT_FE) and a combined method of convolutional neural network and the statistical features (CNN_FE) and apply them to COVID-19 data of 10 countries with the highest number of confirmed cases. The results of experiments indicate that the hybrid models outperform their conventional counterparts in terms of performance measures. The experiments also demonstrate the superiority of the hybrid ATT_FE method over the long short-term memory model.
- Published
- 2021
37. Epidemics with carriers: A note on a paper of Dietz
- Author
-
F. Downton
- Subjects
Statistics and Probability ,Entire population ,education.field_of_study ,General Mathematics ,010102 general mathematics ,Population ,01 natural sciences ,Short interval ,010104 statistics & probability ,0101 mathematics ,Statistics, Probability and Uncertainty ,education ,Demography ,Mathematics - Abstract
In a recent paper Weiss (1965) has suggested a simple model for a carrier-borne epidemic such as typhoid. He considers a population (of size m) of susceptibles into which a number (k) of carriers is introduced. These carriers exhibit no overt symptoms and are only detectable by the discovery of infected persons. He supposed that after the initial introduction of the carriers, the population remains entirely closed and no new carriers arise. The epidemic then progresses until either all the carriers have been traced and isolated or until the entire population has succumbed to the disease.
- Published
- 1967
38. (CMMSE2018 paper) Solving the random Pielou logistic equation with the random variable transformation technique: Theory and applications
- Author
-
Ana Navarro-Quiles, M.-D. Roselló, José Vicente Romero, and Juan Carlos Cortés
- Subjects
education.field_of_study ,Differential equation ,Stochastic process ,General Mathematics ,Computation ,010102 general mathematics ,Population ,General Engineering ,Probability density function ,01 natural sciences ,010101 applied mathematics ,Transformation (function) ,Applied mathematics ,0101 mathematics ,Logistic function ,education ,Random variable ,Mathematics - Abstract
The study of the dynamics of the size of a population via mathematical modelling is a problem of interest and widely studied. Traditionally, continuous deterministic methods based on differential equations have been used to deal with this problem. However discrete versions of some models are also available and sometimes more adequate. In this paper, we randomize the Pielou logistic equation in order to include the inherent uncertainty in modelling. Taking advantage of the method of transformation of random variables, we provide a full probabilistic description to the randomized Pielou logistic model via the computation of the probability density functions of the solution stochastic process, the steady state and the time until a certain level of population is reached. The theoretical results are illustrated by means of two examples, the first one consists of a numerical experiment and the second one shows an application to study the diffusion of a technology using real data.
- Full Text
- View/download PDF
39. Special Ulrich bundles on regular Weierstrass fibrations
- Author
-
Joan Pons-Llopis and Rosa M. Miró-Roig
- Subjects
Pure mathematics ,Class (set theory) ,Mathematics::Commutative Algebra ,General Mathematics ,010102 general mathematics ,Short paper ,Elliptic surfaces ,Ulrich bundles ,01 natural sciences ,Mathematics::Algebraic Geometry ,Simple (abstract algebra) ,0103 physical sciences ,Weierstrass fibrations ,Rank (graph theory) ,010307 mathematical physics ,0101 mathematics ,Mathematics::Symplectic Geometry ,Mathematics - Abstract
The main goal of this short paper is to prove the existence of rank 2 simple and special Ulrich bundles on a wide class of elliptic surfaces: namely, on regular Weierstrass fibrations \(\pi : S\rightarrow \mathbb {P}^1\). Alongside we also show the existence of rank 2 weakly Ulrich sheaves on arbitrary Weierstrass fibrations \(S\rightarrow C_0\) and we deal with the (non-)existence of rank one Ulrich bundles on them.
- Published
- 2019
40. On the Characterizations of Wave Front Sets in Terms of the Short-Time Fourier Transform
- Author
-
Stevan Pilipović and Bojan Prangoski
- Subjects
Wavefront ,General Mathematics ,010102 general mathematics ,Short paper ,Mathematical analysis ,Short-time Fourier transform ,02 engineering and technology ,01 natural sciences ,Sobolev space ,symbols.namesake ,020303 mechanical engineering & transports ,Fourier transform ,0203 mechanical engineering ,symbols ,0101 mathematics ,Mathematics - Abstract
© 2019, Pleiades Publishing, Ltd. It is well known that the classical and Sobolev wave fronts were extended to nonequivalent global versions by the use of the short-time Fourier transform. In this very short paper, we give complete characterizations of the former wave front sets in terms of the short-time Fourier transform.
- Published
- 2019
41. Bounds on entanglement dimensions and quantum graph parameters via noncommutative polynomial optimization
- Author
-
Sander Gribling, Monique Laurent, David de Laat, Econometrics and Operations Research, and Research Group: Operations Research
- Subjects
Optimization problem ,General Mathematics ,Quantum correlation ,Dimension (graph theory) ,quantum graph parameters ,FOS: Physical sciences ,Quantum entanglement ,90C22 ,Squashed entanglement ,01 natural sciences ,90C26 ,81P40 ,81P45 ,0103 physical sciences ,polynomial optimization ,FOS: Mathematics ,0101 mathematics ,010306 general physics ,Mathematics - Optimization and Control ,Mathematics ,Discrete mathematics ,Semidefinite programming ,Quantum Physics ,Quantum discord ,Full Length Paper ,quantum correlations ,010102 general mathematics ,90C30 ,TheoryofComputation_GENERAL ,16. Peace & justice ,entanglement dimension ,05C15 ,Optimization and Control (math.OC) ,Quantum graph ,Quantum Physics (quant-ph) ,Software - Abstract
In this paper we study bipartite quantum correlations using techniques from tracial noncommutative polynomial optimization. We construct a hierarchy of semidefinite programming lower bounds on the minimal entanglement dimension of a bipartite correlation. This hierarchy converges to a new parameter: the minimal average entanglement dimension, which measures the amount of entanglement needed to reproduce a quantum correlation when access to shared randomness is free. For synchronous correlations, we show a correspondence between the minimal entanglement dimension and the completely positive semidefinite rank of an associated matrix. We then study optimization over the set of synchronous correlations by investigating quantum graph parameters. We unify existing bounds on the quantum chromatic number and the quantum stability number by placing them in the framework of tracial optimization. In particular, we show that the projective packing number, the projective rank, and the tracial rank arise naturally when considering tracial analogues of the Lasserre hierarchy for the stability and chromatic number of a graph. We also introduce semidefinite programming hierarchies converging to the commuting quantum chromatic number and commuting quantum stability number., Comment: 26 pages
- Published
- 2018
42. A case study of Covid-19 epidemic in India via new generalised Caputo type fractional derivatives
- Author
-
Pushpendra Kumar and Vedat Suat Erturk
- Subjects
Covid‐19 epidemic ,General Mathematics ,Banach space ,Fixed-point theorem ,new generalised Caputo non‐integer order derivative ,01 natural sciences ,92c60 ,Special Issue Paper ,Applied mathematics ,Uniform boundedness ,Uniqueness ,0101 mathematics ,26a33 ,Mathematics ,Special Issue Papers ,fixed point theory ,010102 general mathematics ,34c60 ,General Engineering ,Equicontinuity ,Fractional calculus ,010101 applied mathematics ,Norm (mathematics) ,92d30 ,Predictor‐Corrector scheme ,Epidemic model ,mathematical model - Abstract
The first symptomatic infected individuals of coronavirus (Covid-19) was confirmed in December 2020 in the city of Wuhan, China. In India, the first reported case of Covid-19 was confirmed on 30 January 2020. Today, coronavirus has been spread out all over the world. In this manuscript, we studied the coronavirus epidemic model with a true data of India by using Predictor-Corrector scheme. For the proposed model of Covid-19, the numerical and graphical simulations are performed in a framework of the new generalised Caputo sense non-integer order derivative. We analysed the existence and uniqueness of solution of the given fractional model by the definition of Chebyshev norm, Banach space, Schauder's second fixed point theorem, Arzel's-Ascoli theorem, uniform boundedness, equicontinuity and Weissinger's fixed point theorem. A new analysis of the given model with the true data is given to analyse the dynamics of the model in fractional sense. Graphical simulations show the structure of the given classes of the non-linear model with respect to the time variable. We investigated that the mentioned method is copiously strong and smooth to implement on the systems of non-linear fractional differential equation systems. The stability results for the projected algorithm is also performed with the applications of some important lemmas. The present study gives the applicability of this new generalised version of Caputo type non-integer operator in mathematical epidemiology. We compared that the fractional order results are more credible to the integer order results.
- Published
- 2020
43. Note on a Paper by Robinson
- Author
-
J. A. Todd
- Subjects
General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematical economics ,Mathematics - Abstract
In a recent paper Robinson has obtained an explicit formula for the expression of an invariant matrix of an invariant matrix as a direct sum of invariant matrices. The object of the present note is to show that this formula may be deduced from known properties of Schur functions, with the aid of a result which the author has proved elsewhere.
- Published
- 1950
44. Derived Non-archimedean analytic Hilbert space
- Author
-
Mauro Porta, Jorge António, Institut de Recherche Mathématique Avancée (IRMA), and Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Pure mathematics ,Fiber (mathematics) ,General Mathematics ,010102 general mathematics ,Short paper ,Formal scheme ,Hilbert space ,Space (mathematics) ,01 natural sciences ,symbols.namesake ,Mathematics - Algebraic Geometry ,Mathematics::Category Theory ,0103 physical sciences ,Localization theorem ,FOS: Mathematics ,symbols ,010307 mathematical physics ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,0101 mathematics ,Algebraic Geometry (math.AG) ,Quotient ,Mathematics - Abstract
In this short paper we combine the representability theorem introduced in [17, 18] with the theory of derived formal models introduced in [2] to prove the existence representability of the derived Hilbert space RHilb(X) for a separated k-analytic space X. Such representability results relies on a localization theorem stating that if X is a quasi-compact and quasi-separated formal scheme, then the \infty-category Coh^+(X^rig) of almost perfect complexes over the generic fiber can be realized as a Verdier quotient of the \infty-category Coh^+(X). Along the way, we prove several results concerning the the \infty-categories of formal models for almost perfect modules on derived k-analytic spaces., 28 pages
- Published
- 2019
45. On sums of squares of primes and a k-th power of prime
- Author
-
Zhixin Liu and Rui Zhang
- Subjects
Discrete mathematics ,010505 oceanography ,General Mathematics ,010102 general mathematics ,Short paper ,Sander ,01 natural sciences ,Prime (order theory) ,Power (physics) ,Integer ,Congruence (manifolds) ,0101 mathematics ,0105 earth and related environmental sciences ,Mathematics - Abstract
In this short paper, we consider the exceptional set of integers, not restricted by elementary congruence conditions, which cannot be represented as sums of two squares of primes and a k-th power of prime for any integer $$k \ge 3$$ . Our results improve the recent results due to Brudern (in: Sander, Steuding, Steuding (eds) From arithmetic to zeta-functions, Springer, Cham 2016). The similar method can be also applied to some related questions in this direction, and this can improve the previous results.
- Published
- 2018
46. Improved bounds for solutions of ϕ-Laplacians
- Author
-
Jorge Huentutripay and Waldo Arriagada
- Subjects
Pure mathematics ,Harnack inequality ,General Mathematics ,lcsh:T57-57.97 ,010102 general mathematics ,Short paper ,Sense (electronics) ,01 natural sciences ,\(\phi\)-Laplacian ,Orlicz-Sobolev space ,lcsh:Applied mathematics. Quantitative methods ,0101 mathematics ,Parametric statistics ,Mathematics ,Harnack's inequality - Abstract
In this short paper we prove a parametric version of the Harnack inequality for \(\phi\)-Laplacian equations. In this sense, the estimates are optimal and represent an improvement of previous bounds for this kind of operators.
- Published
- 2018
47. 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
48. 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
49. Self-contracted curves in spaces with weak lower curvature bound
- Author
-
Shin-ichi Ohta, Vladimir Zolotov, and Nina Lebedeva
- Subjects
Pure mathematics ,Class (set theory) ,General Mathematics ,Flag (linear algebra) ,010102 general mathematics ,Metric Geometry (math.MG) ,Paper based ,Curvature ,01 natural sciences ,Angle condition ,010101 applied mathematics ,Metric space ,51F99 ,Mathematics - Metric Geometry ,Bounded function ,FOS: Mathematics ,Mathematics::Differential Geometry ,0101 mathematics ,Snowflake ,Mathematics - Abstract
We show that bounded self-contracted curves are rectifiable in metric spaces with weak lower curvature bound in a sense we introduce in this article. This class of spaces is wide and includes, for example, finite-dimensional Alexandrov spaces of curvature bounded below and Berwald spaces of nonnegative flag curvature. (To be more precise, our condition is regarded as a strengthened doubling condition and holds also for a certain class of metric spaces with upper curvature bound.) We also provide the non-embeddability of large snowflakes into (balls in) metric spaces in the same class. We follow the strategy of the last author's previous paper based on the small rough angle condition, where spaces with upper curvature bound are considered. The results in this article show that such a strategy applies to spaces with lower curvature bound as well., Comment: A goofy mistake in formulations of Theorem 2 and 4 is fixed
- Published
- 2019
- Full Text
- View/download PDF
50. Tikhonov regularization of a second order dynamical system with Hessian driven damping
- Author
-
Szilárd László, Radu Ioan Boţ, and Ernö Robert Csetnek
- Subjects
Hessian matrix ,General Mathematics ,0211 other engineering and technologies ,Dynamical Systems (math.DS) ,02 engineering and technology ,Dynamical system ,01 natural sciences ,Hessian-driven damping ,90C26 ,Tikhonov regularization ,symbols.namesake ,34G25, 47J25, 47H05, 90C26, 90C30, 65K10 ,Convergence (routing) ,FOS: Mathematics ,Applied mathematics ,0101 mathematics ,Mathematics - Dynamical Systems ,Mathematics - Optimization and Control ,Mathematics ,65K10 ,021103 operations research ,Full Length Paper ,47J25 ,47H05 ,010102 general mathematics ,Hilbert space ,90C30 ,Function (mathematics) ,Convex optimization ,Optimization and Control (math.OC) ,Second order dynamical system ,34G25 ,symbols ,Fast convergence methods ,Convex function ,Software - Abstract
We investigate the asymptotic properties of the trajectories generated by a second-order dynamical system with Hessian driven damping and a Tikhonov regularization term in connection with the minimization of a smooth convex function in Hilbert spaces. We obtain fast convergence results for the function values along the trajectories. The Tikhonov regularization term enables the derivation of strong convergence results of the trajectory to the minimizer of the objective function of minimum norm.
- Published
- 2020
51. The r-Hunter-Saxton equation, smooth and singular solutions and their approximation
- Author
-
Colin J. Cotter, Tristan Pryer, Jacob Deasy, Cotter, Colin J [0000-0001-7962-8324], Apollo - University of Cambridge Repository, and Engineering & Physical Science Research Council (EPSRC)
- Subjects
Paper ,singular solutions ,GEODESIC-FLOW ,Work (thermodynamics) ,General Mathematics ,Mathematics, Applied ,HYPERBOLIC VARIATIONAL EQUATION ,Mathematics::Analysis of PDEs ,General Physics and Astronomy ,FOS: Physical sciences ,01 natural sciences ,Piecewise linear function ,37K06 ,Mathematics - Analysis of PDEs ,0102 Applied Mathematics ,37K05 ,FOS: Mathematics ,Hunter–Saxton equation ,Applied mathematics ,Initial value problem ,Lie symmetries ,0101 mathematics ,nlin.SI ,math.AP ,Mathematical Physics ,Mathematics ,Science & Technology ,Nonlinear Sciences - Exactly Solvable and Integrable Systems ,Physics ,Applied Mathematics ,010102 general mathematics ,4901 Applied Mathematics ,4904 Pure Mathematics ,Statistical and Nonlinear Physics ,Action (physics) ,Symmetry (physics) ,Physics, Mathematical ,010101 applied mathematics ,35Q53 ,Nonlinear Sciences::Exactly Solvable and Integrable Systems ,nonlinear PDEs ,Physical Sciences ,49 Mathematical Sciences ,37K58 ,Exactly Solvable and Integrable Systems (nlin.SI) ,Analysis of PDEs (math.AP) - Abstract
In this work we introduce the r-Hunter-Saxton equation, a generalisation of the Hunter-Saxton equation arising as extremals of an action principle posed in L_r. We characterise solutions to the Cauchy problem, quantifying the blow-up time and studying various symmetry reductions. We construct piecewise linear functions and show that they are weak solutions to the r-Hunter-Saxton equation., Revised after referee comments
- Published
- 2019
52. 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
53. A Remark on the Local Cohomology Modules of a Union of Disjoint Matroids
- Author
-
Cong Minh Nguyen and Minh Cong Nguyen
- Subjects
Discrete mathematics ,Ideal (set theory) ,Mathematics::Commutative Algebra ,General Mathematics ,010102 general mathematics ,Short paper ,0102 computer and information sciences ,Disjoint sets ,Local cohomology ,01 natural sciences ,Matroid ,Simplicial complex ,010201 computation theory & mathematics ,0101 mathematics ,Mathematics - Abstract
Let I be the Stanley–Reisner ideal of a simplicial complex Δ. In this short paper, we shall give a formula of vanishing of the local cohomology modules for S/I(r) in the case Δ is a union of disjoint matroids, where I(r) is the rth symbolic power of I. As an application, we will improve a previous result in Minh and Nakamura (Nagoya Math. J. 213, 127–140, 2014) for the k-Buchsbaumness of S/I(r).
- Published
- 2015
54. 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
55. On Beilinson’s equivalence for p-adic cohomology
- Author
-
Daniel Caro, Tomoyuki Abe, Institute for the Physics and Mathematics of the Universe (IPMU), The University of Tokyo (UTokyo), Laboratoire de Mathématiques Nicolas Oresme (LMNO), Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), and Normandie Université (NU)-Normandie Université (NU)
- Subjects
Pure mathematics ,Derived category ,Functor ,Holonomic ,General Mathematics ,010102 general mathematics ,Short paper ,General Physics and Astronomy ,Unipotent ,01 natural sciences ,Cohomology ,Mathematics::K-Theory and Homology ,Mathematics::Category Theory ,0103 physical sciences ,010307 mathematical physics ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,0101 mathematics ,Equivalence (formal languages) ,Mathematics::Representation Theory ,ComputingMilieux_MISCELLANEOUS ,Mathematics - Abstract
In this short paper, we construct a unipotent nearby cycle functor and show a p-adic analogue of Beilinson’s equivalence comparing two derived categories: the derived category of holonomic arithmetic $${\mathcal {D}}$$ -modules and the derived category of arithmetic $${\mathcal {D}}$$ -modules whose cohomologies are holonomic.
- Published
- 2018
56. 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
57. 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
58. 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
59. Iterates of Generic Polynomials and Generic Rational Functions
- Author
-
Jamie Juul
- Subjects
Pure mathematics ,Degree (graph theory) ,Mathematics - Number Theory ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,MathematicsofComputing_GENERAL ,Galois group ,37P05, 11G50, 14G25 ,Rational function ,01 natural sciences ,Unpublished paper ,Generic polynomial ,Number theory ,Symmetric group ,Iterated function ,0103 physical sciences ,FOS: Mathematics ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
In 1985, Odoni showed that in characteristic 0 0 the Galois group of the n n -th iterate of the generic polynomial with degree d d is as large as possible. That is, he showed that this Galois group is the n n -th wreath power of the symmetric group S d S_d . We generalize this result to positive characteristic, as well as to the generic rational function. These results can be applied to prove certain density results in number theory, two of which are presented here. This work was partially completed by the late R.W.K. Odoni in an unpublished paper.
- Published
- 2014
60. AN ALMOST SCHUR THEOREM ON 4-DIMENSIONAL MANIFOLDS
- Author
-
Guofang Wang, Yuxin Ge, Laboratoire d'Analyse et de Mathématiques Appliquées (LAMA), Centre National de la Recherche Scientifique (CNRS)-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Fédération de Recherche Bézout-Université Paris-Est Marne-la-Vallée (UPEM), and Université Paris-Est Marne-la-Vallée (UPEM)-Fédération de Recherche Bézout-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Pure mathematics ,010308 nuclear & particles physics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Short paper ,01 natural sciences ,Schur's theorem ,Computer Science::Computers and Society ,[MATH.MATH-MP]Mathematics [math]/Mathematical Physics [math-ph] ,Ricci-flat manifold ,0103 physical sciences ,Sectional curvature ,Mathematics::Differential Geometry ,0101 mathematics ,Mathematics::Symplectic Geometry ,Schur product theorem ,Mathematics ,Scalar curvature - Abstract
International audience; In this short paper we prove that the almost Schur theorem, introduced by De Lellis and Topping, is true on 4-dimensional Riemannian manifolds of nonnegative scalar curvature and discuss some related problems on other dimensional manifolds.
- Published
- 2012
61. Non-negative Ricci curvature on closed manifolds under Ricci flow
- Author
-
Davi Maximo
- Subjects
Mathematics - Differential Geometry ,Pure mathematics ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Short paper ,Ricci flow ,01 natural sciences ,Mathematics::Geometric Topology ,Mathematics - Analysis of PDEs ,Differential Geometry (math.DG) ,Bounded curvature ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,Mathematics::Differential Geometry ,0101 mathematics ,10. No inequality ,Mathematics::Symplectic Geometry ,Ricci curvature ,Mathematics ,Analysis of PDEs (math.AP) - Abstract
In this short note we show that non-negative Ricci curvature is not preserved under Ricci flow for closed manifolds of dimensions four and above, strengthening a previous result of Knopf in \cite{K} for complete non-compact manifolds of bounded curvature. This brings down to four dimensions a similar result B\"ohm and Wilking have for dimensions twelve and above, \cite{BW}. Moreover, the manifolds constructed here are \Kahler manifolds and relate to a question raised by Xiuxiong Chen in \cite{XC}, \cite{XCL}., Comment: New version with added references and corrected typos
- Published
- 2009
- Full Text
- View/download PDF
62. Why a Population Converges to Stability
- Author
-
W.B. Arthur
- Subjects
education.field_of_study ,Fundamental theorem ,Age structure ,General Mathematics ,010102 general mathematics ,Short paper ,Population ,Full view ,01 natural sciences ,0103 physical sciences ,Quantitative Biology::Populations and Evolution ,Ergodic theory ,Age distribution ,010307 mathematical physics ,0101 mathematics ,education ,Mathematical economics ,Smoothing ,Mathematics - Abstract
A large part of mathematical demography is built upon one fundamental theorem, the "strong ergodic theorem" of demography. If the fertility and mortality age-schedules of a population remain unchanged over time, its age distribution, no matter what its initial shape, will converge in time to a fixed and stable form. In brief, when demographic behavior remains unchanged, the population, it is said, converges to stability. This short paper presents a new argument for the convergence of the age structure, one that is self-contained, and that brings the mechanism behind convergence into full view. The idea is simple. Looked at directly, the dynamics of the age-distribution say little to our normal intuition. Looked at from a slightly different angle though, population dynamics define a smoothing or averaging process over the generations -- a process comfortable to our intuition. This smoothing and resmoothing turns out to be the mechanism that forces the age structure toward a fixed and final form.
- Published
- 1981
63. The geometry of diagonal groups
- Author
-
Peter J. Cameron, Cheryl E. Praeger, Csaba Schneider, R. A. Bailey, University of St Andrews. Pure Mathematics, University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra, and University of St Andrews. Statistics
- Subjects
Mathematics(all) ,South china ,Primitive permutation group ,General Mathematics ,Diagonal group ,T-NDAS ,Library science ,Group Theory (math.GR) ,O'Nan-Scott Theorem ,01 natural sciences ,Hospitality ,FOS: Mathematics ,NCAD ,Mathematics - Combinatorics ,QA Mathematics ,0101 mathematics ,Diagonal semilattice ,QA ,Cartesian lattice ,Mathematics ,business.industry ,20B05 ,Applied Mathematics ,010102 general mathematics ,Latin square ,Semilattice ,Latin cube ,010101 applied mathematics ,Hamming graph ,Research council ,Diagonal graph ,Combinatorics (math.CO) ,business ,Mathematics - Group Theory ,Partition - Abstract
Part of the work was done while the authors were visiting the South China University of Science and Technology (SUSTech), Shenzhen, in 2018, and we are grateful (in particular to Professor Cai Heng Li) for the hospitality that we received.The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Groups, representations and applications: new perspectives (supported by EPSRC grant no.EP/R014604/1), where further work on this paper was undertaken. In particular we acknowledge a Simons Fellowship (Cameron) and a Kirk Distinguished Visiting Fellowship (Praeger) during this programme. Schneider thanks the Centre for the Mathematics of Symmetry and Computation of The University of Western Australia and Australian Research Council Discovery Grant DP160102323 for hosting his visit in 2017 and acknowledges the support of the CNPq projects Produtividade em Pesquisa (project no.: 308212/2019-3) and Universal (project no.:421624/2018-3). Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied in general. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over arbitrary groups, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our combinatorial axioms. However, for m≥3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in great profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set Ω, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions turn out to be equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group as the diagonal semilattice except in four small cases with m
- Published
- 2022
64. Satisfiability in MultiValued Circuits
- Author
-
Paweł M. Idziak and Jacek Krzaczkowski
- Subjects
FOS: Computer and information sciences ,Computational complexity theory ,General Computer Science ,68Q17, 08A05, 08A70 (Primary) 68Q05, 68T27, 03B25, 08B05, 08B10 (Secondary) ,Boolean circuit ,General Mathematics ,010102 general mathematics ,circuit satisfiability ,Distributive lattice ,0102 computer and information sciences ,Computational Complexity (cs.CC) ,01 natural sciences ,Satisfiability ,Algebra ,Computer Science - Computational Complexity ,Monotone polygon ,010201 computation theory & mathematics ,ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ,Lie algebra ,0101 mathematics ,Time complexity ,solving equations ,Equation solving ,Mathematics - Abstract
Satisfiability of Boolean circuits is among the most known and important problems in theoretical computer science. This problem is NP-complete in general but becomes polynomial time when restricted either to monotone gates or linear gates. We go outside Boolean realm and consider circuits built of any fixed set of gates on an arbitrary large finite domain. From the complexity point of view this is strictly connected with the problems of solving equations (or systems of equations) over finite algebras. The research reported in this work was motivated by a desire to know for which finite algebras $\mathbf A$ there is a polynomial time algorithm that decides if an equation over $\mathbf A$ has a solution. We are also looking for polynomial time algorithms that decide if two circuits over a finite algebra compute the same function. Although we have not managed to solve these problems in the most general setting we have obtained such a characterization for a very broad class of algebras from congruence modular varieties. This class includes most known and well-studied algebras such as groups, rings, modules (and their generalizations like quasigroups, loops, near-rings, nonassociative rings, Lie algebras), lattices (and their extensions like Boolean algebras, Heyting algebras or other algebras connected with multi-valued logics including MV-algebras). This paper seems to be the first systematic study of the computational complexity of satisfiability of non-Boolean circuits and solving equations over finite algebras. The characterization results provided by the paper is given in terms of nice structural properties of algebras for which the problems are solvable in polynomial time., 50 pages
- Published
- 2022
65. Extrapolation of compactness on weighted spaces: Bilinear operators
- Author
-
Stefanos Lappas, Tuomas Hytönen, Tuomas Hytönen / Principal Investigator, and Department of Mathematics and Statistics
- Subjects
Pure mathematics ,General Mathematics ,COMMUTATORS ,Mathematics::Classical Analysis and ODEs ,Extrapolation ,Bilinear interpolation ,NORM INEQUALITIES ,47B38 (Primary), 42B20, 42B35, 46B70, 47H60 ,Space (mathematics) ,Multilinear Muckenhoupt weights ,01 natural sciences ,Rubio de Francia extrapolation ,Compact operators ,111 Mathematics ,Classical Analysis and ODEs (math.CA) ,FOS: Mathematics ,0101 mathematics ,Lp space ,Mathematics ,Calderon-Zygmund operators ,Fractional integral operators ,010102 general mathematics ,Muckenhoupt weights ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,010101 applied mathematics ,Range (mathematics) ,Compact space ,Mathematics - Classical Analysis and ODEs ,Bounded function ,Fourier multipliers ,INTEGRAL-OPERATORS - Abstract
In a previous paper, we obtained several "compact versions" of Rubio de Francia's weighted extrapolation theorem, which allowed us to extrapolate the compactness of linear operators from just one space to the full range of weighted Lebesgue spaces, where these operators are bounded. In this paper, we study the extrapolation of compactness for bilinear operators in terms of bilinear Muckenhoupt weights. As applications, we easily recover and improve earlier results on the weighted compactness of commutators of bilinear Calder\'{o}n-Zygmund operators, bilinear fractional integrals and bilinear Fourier multipliers. More general versions of these results are recently due to Cao, Olivo and Yabuta (arXiv:2011.13191), whose approach depends on developing weighted versions of the Fr\'echet--Kolmogorov criterion of compactness, whereas we avoid this by relying on "softer" tools, which might have an independent interest in view of further extensions of the method., Comment: v3: final version, incorporated referee comments, to appear in Indagationes Mathematicae, 27 pages
- Published
- 2022
66. Some significant remarks on multivalued Perov type contractions on cone metric spaces with a directed graph
- Author
-
Aleksandra Sretenovic, Nicola Fabiano, Ana Savić, Stojan Radenović, and Nikola Mirkov
- Subjects
Pure mathematics ,General Mathematics ,cone metric space ,010102 general mathematics ,multivalued mapping ,graphic contraction ,Directed graph ,common fixed point ,Fixed point ,Type (model theory) ,Mathematical proof ,directed graph ,01 natural sciences ,Cone (formal languages) ,c-sequence ,010101 applied mathematics ,Metric space ,QA1-939 ,0101 mathematics ,Contraction principle ,perov's type results ,Mathematics ,Complement (set theory) - Abstract
Using the approach of so-called c-sequences introduced by the fifth author in his recent work, we give much simpler and shorter proofs of multivalued Perov's type results with respect to the ones presented in the recently published paper by M. Abbas et al. Our proofs improve, complement, unify and enrich the ones from the recent papers. Further, in the last section of this paper, we correct and generalize the well-known Perov's fixed point result. We show that this result is in fact equivalent to Banach's contraction principle.
- Published
- 2022
67. Phase portraits of separable quadratic systems and a bibliographical survey on quadratic systems
- Author
-
Jaume Llibre and Tao Li
- Subjects
Pure mathematics ,Class (set theory) ,Poincaré compactification ,Phase portrait ,General Mathematics ,010102 general mathematics ,Quadratic function ,01 natural sciences ,Separable space ,Quadratic system ,symbols.namesake ,Quadratic equation ,Separable system ,Poincaré conjecture ,symbols ,Compactification (mathematics) ,0101 mathematics ,Quadratic differential ,Mathematics - Abstract
Although planar quadratic differential systems and their applications have been studied in more than one thousand papers, we still have no complete understanding of these systems. In this paper we have two objectives. First we provide a brief bibliographical survey on the main results about quadratic systems. Here we do not consider the applications of these systems to many areas as in Physics, Chemist, Economics, Biology, … Second we characterize the new class of planar separable quadratic polynomial differential systems. For such class of systems we provide the normal forms which contain one parameter, and using the Poincare compactification and the blow up technique, we prove that there exist 10 non-equivalent topological phase portraits in the Poincare disc for the separable quadratic polynomial differential systems.
- Published
- 2021
68. 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
69. Order 3 symplectic automorphisms on K3 surfaces
- Author
-
Alice Garbagnati and Yulieth Prieto Montañez
- Subjects
Pure mathematics ,Endomorphism ,General Mathematics ,010102 general mathematics ,Lattice (group) ,Order (ring theory) ,Automorphism ,01 natural sciences ,Cohomology ,14J28, 14J50 ,Mathematics - Algebraic Geometry ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Abelian group ,Algebraic Geometry (math.AG) ,Quotient ,Mathematics ,Symplectic geometry - Abstract
The aim of this paper is to generalize results known for the symplectic involutions on K3 surfaces to the order 3 symplectic automorphisms on K3 surfaces. In particular, we will explicitly describe the action induced on the lattice $\Lambda_{K3}$, isometric to the second cohomology group of a K3 surface, by a symplectic automorphism of order 3; we exhibit the maps $\pi_*$ and $\pi^*$ induced in cohomology by the rational quotient map $\pi:X\dashrightarrow Y$, where $X$ is a K3 surface admitting an order 3 symplectic automorphism $\sigma$ and $Y$ is the minimal resolution of the quotient $X/\sigma$; we deduce the relation between the N\'eron--Severi group of $X$ and the one of $Y$. Applying these results we describe explicit geometric examples and generalize the Shioda--Inose structures, relating Abelian surfaces admitting order 3 endomorphisms with certain specific K3 surfaces admitting particular order 3 symplectic automorphisms., Comment: 28 pages. Version 2: this is the published version of the paper. The last section of the previous version (v1) was erased (the results are only stated) and it is now contained in arXiv:2209.10141
- Published
- 2021
70. Quadratic Gorenstein Rings and the Koszul Property II
- Author
-
Michael Stillman, Matthew Mastroeni, and Hal Schenck
- Subjects
Pure mathematics ,Property (philosophy) ,Mathematics::Commutative Algebra ,General Mathematics ,Mathematics::Rings and Algebras ,010102 general mathematics ,Mathematics - Commutative Algebra ,Commutative Algebra (math.AC) ,16. Peace & justice ,01 natural sciences ,010101 applied mathematics ,Quadratic equation ,FOS: Mathematics ,0101 mathematics ,Mathematics - Abstract
A question of Conca, Rossi, and Valla asks whether every quadratic Gorenstein ring $R$ of regularity three is Koszul. In a previous paper, we use idealization to answer their question, proving that in nine or more variables there exist quadratic Gorenstein rings of regularity three which are not Koszul. In this paper, we study the analog of the Conca-Rossi-Valla question when the regularity of $R$ is four or more. Let $R$ be a quadratic Gorenstein ring having $\mathrm{codim}\, R = c$ and $\mathrm{reg}\, R = r \ge 4$. We prove that if $c = r+1$ then $R$ is always Koszul, and for every $c \geq r+2$, we construct quadratic Gorenstein rings that are not Koszul, answering questions of Matsuda and Migliore-Nagel concerning the $h$-vectors of quadratic Gorenstein rings., Comment: v2 - Minor changes based on referee comments
- Published
- 2021
71. Good Formal Structures for Flat Meromorphic Connections, III: Irregularity and Turning Loci
- Author
-
Kiran S. Kedlaya
- Subjects
Pure mathematics ,Mathematics - Complex Variables ,Divisor ,General Mathematics ,010102 general mathematics ,Fibration ,Codimension ,Lattice (discrete subgroup) ,14F10, 32C38, 14C20 ,01 natural sciences ,Blowing up ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,FOS: Mathematics ,Sheaf ,Complex Variables (math.CV) ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics ,Meromorphic function ,Resolution (algebra) - Abstract
Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, in a previous paper we established existence of good formal structures and a good Deligne-Malgrange lattice after suitably blowing up. In this paper, we reinterpret and refine these results by introducing some related structures. We consider the turning locus, which is the set of points at which one cannot achieve a good formal structure without blowing up. We show that when the polar divisor has normal crossings, the turning locus is of pure codimension 1 within the polar divisor, and hence of pure codimension 2 within the full space; this had been previously established by Andre in the case of a smooth polar divisor. We also construct an irregularity sheaf and its associated b-divisor, which measure irregularity along divisors on blowups of the original space; this generalizes another result of Andre on the semicontinuity of irregularity in a curve fibration. One concrete consequence of these refinements is a process for resolution of turning points which is functorial with respect to regular morphisms of excellent schemes; this allows us to transfer the result from schemes to formal schemes, complex analytic varieties, and nonarchimedean analytic varieties., 27 pages; v4: refereed version; some technical edits in 2.2
- Published
- 2021
72. Multivariate quasi-tight framelets with high balancing orders derived from any compactly supported refinable vector functions
- Author
-
Bin Han and Ran Lu
- Subjects
FOS: Computer and information sciences ,Pure mathematics ,Information Theory (cs.IT) ,Computer Science - Information Theory ,General Mathematics ,010102 general mathematics ,Scalar (mathematics) ,42C40, 42C15, 41A25, 41A35, 65T60 ,010103 numerical & computational mathematics ,Spectral theorem ,Trigonometric polynomial ,01 natural sciences ,Hermitian matrix ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,Spline (mathematics) ,Wavelet ,Factorization ,FOS: Mathematics ,0101 mathematics ,Vector-valued function ,Mathematics - Abstract
Generalizing wavelets by adding desired redundancy and flexibility, framelets (i.e., wavelet frames) are of interest and importance in many applications such as image processing and numerical algorithms. Several key properties of framelets are high vanishing moments for sparse multiscale representation, fast framelet transforms for numerical efficiency, and redundancy for robustness. However, it is a challenging problem to study and construct multivariate nonseparable framelets, mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices. Moreover, all the known multivariate tight framelets derived from spline refinable scalar functions have only one vanishing moment, and framelets derived from refinable vector functions are barely studied yet in the literature. In this paper, we circumvent the above difficulties through the approach of quasi-tight framelets, which behave almost identically to tight framelets. Employing the popular oblique extension principle (OEP), from an arbitrary compactly supported M-refinable vector function ϕ with multiplicity greater than one, we prove that we can always derive from ϕ a compactly supported multivariate quasi-tight framelet such that: (i) all the framelet generators have the highest possible order of vanishing moments; (ii) its associated fast framelet transform has the highest balancing order and is compact. For a refinable scalar function ϕ (i.e., its multiplicity is one), the above item (ii) often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP-based multivariate quasi-tight framelet derived from ϕ satisfying item (i). We point out that constructing OEP-based quasi-tight framelets is closely related to the generalized spectral factorization of Hermitian trigonometric polynomial matrices. Our proof is critically built on a newly developed result on the normal form of a matrix-valued filter, which is of interest and importance in itself for greatly facilitating the study of refinable vector functions and multiwavelets/multiframelets. This paper provides a comprehensive investigation on OEP-based multivariate quasi-tight multiframelets and their associated framelet transforms with high balancing orders. This deepens our theoretical understanding of multivariate quasi-tight multiframelets and their associated fast multiframelet transforms.
- Published
- 2021
73. On the singular value decomposition over finite fields and orbits of GU×GU
- Author
-
Robert M. Guralnick
- Subjects
Pure mathematics ,General Mathematics ,010102 general mathematics ,010103 numerical & computational mathematics ,01 natural sciences ,Unitary state ,Nilpotent matrix ,symbols.namesake ,Finite field ,Character (mathematics) ,Kronecker delta ,Singular value decomposition ,Linear algebra ,symbols ,0101 mathematics ,Algebraic number ,Mathematics - Abstract
The singular value decomposition of a complex matrix is a fundamental concept in linear algebra and has proved extremely useful in many subjects. It is less clear what the situation is over a finite field. In this paper, we classify the orbits of GU m ( q ) × GU n ( q ) on M m × n ( q 2 ) (which is the analog of the singular value decomposition). The proof involves Kronecker’s theory of pencils and the Lang–Steinberg theorem for algebraic groups. Besides the motivation mentioned above, this problem came up in a recent paper of Guralnick et al. (2020) where a concept of character level for the complex irreducible characters of finite, general or special, linear and unitary groups was studied and bounds on the number of orbits was needed. A consequence of this work determines possible pairs of Jordan forms for nilpotent matrices of the form A A ∗ and A ∗ A over a finite field and A A ⊤ and A ⊤ A over arbitrary fields.
- Published
- 2021
74. Metric Rectifiability of ℍ-regular Surfaces with Hölder Continuous Horizontal Normal
- Author
-
Katrin Fässler, Daniela Di Donato, and Tuomas Orponen
- Subjects
0209 industrial biotechnology ,020901 industrial engineering & automation ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Metric (mathematics) ,Mathematics::Metric Geometry ,Hölder condition ,02 engineering and technology ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
Two definitions for the rectifiability of hypersurfaces in Heisenberg groups $\mathbb{H}^n$ have been proposed: one based on ${\mathbb{H}}$-regular surfaces and the other on Lipschitz images of subsets of codimension-$1$ vertical subgroups. The equivalence between these notions remains an open problem. Recent partial results are due to Cole–Pauls, Bigolin–Vittone, and Antonelli–Le Donne. This paper makes progress in one direction: the metric Lipschitz rectifiability of ${\mathbb{H}}$-regular surfaces. We prove that ${\mathbb{H}}$-regular surfaces in $\mathbb{H}^{n}$ with $\alpha $-Hölder continuous horizontal normal, $\alpha> 0$, are metric bilipschitz rectifiable. This improves on the work by Antonelli–Le Donne, where the same conclusion was obtained for $C^{\infty }$-surfaces. In $\mathbb{H}^{1}$, we prove a slightly stronger result: every codimension-$1$ intrinsic Lipschitz graph with an $\epsilon $ of extra regularity in the vertical direction is metric bilipschitz rectifiable. All the proofs in the paper are based on a new general criterion for finding bilipschitz maps between “big pieces” of metric spaces.
- Published
- 2021
75. A generalization of the Freidlin–Wentcell theorem on averaging of Hamiltonian systems
- Author
-
Yichun Zhu
- Subjects
Pure mathematics ,Girsanov theorem ,Weak convergence ,General Mathematics ,010102 general mathematics ,Identity matrix ,Differential operator ,01 natural sciences ,Hamiltonian system ,010101 applied mathematics ,symbols.namesake ,Matrix (mathematics) ,Compact space ,Wiener process ,symbols ,0101 mathematics ,Mathematics - Abstract
In this paper, we generalize the classical Freidlin-Wentzell’s theorem for random perturbations of Hamiltonian systems. In (Probability Theory and Related Fields 128 (2004) 441–466), M.Freidlin and M.Weber generalized the original result in the sense that the coefficient for the noise term is no longer the identity matrix but a state-dependent matrix and taking the drift term into consideration. In this paper, We generalize the result by adding a state-dependent matrix that converges uniformly to 0 on any compact sets as ϵ tends to 0 to a state-dependent noise and considering the drift term which contains two parts, the state-dependent mapping and a state-dependent mapping that converges uniformly to 0 on any compact sets as ϵ tends to 0. In the proof, we adapt a new way to prove the weak convergence inside the edge by constructing an auxiliary process and modify the proof in (Probability Theory and Related Fields 128 (2004) 441–466) when proving gluing condition.
- Published
- 2021
76. Simulations of nonlinear parabolic PDEs with forcing function without linearization
- Author
-
Shko Ali Tahir and Murat Sari
- Subjects
010101 applied mathematics ,Nonlinear parabolic equations ,Nonlinear system ,Linearization ,Force function ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
This paper aims at producing numerical solutions of nonlinear parabolic PDEs with forcing term without any linearization. Since the linearization of nonlinear term leads to lose real features, without doing linearization, this paper focuses on capturing natural behaviour of the mechanism. Therefore we concentrate on analysis of the physical processes without losing their properties. To carry out this study, a backward differentiation formula in time and a spline method in space have been combined in leading to the discretized equation. This method leads to a very reliable alternative in solving the problem by conserving the physical properties of the nature. The efficiency of the present method are proved theoretically and illustrated by various numerical tests.
- Published
- 2021
77. 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
78. 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
79. On Nilpotent Extensions of ∞-Categories and the Cyclotomic Trace
- Author
-
Elden Elmanto and Vladimir Sosnilo
- Subjects
Trace (semiology) ,Pure mathematics ,Nilpotent ,Mathematics::K-Theory and Homology ,Mathematics::Category Theory ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty $-categories) for additive $\infty $-categories, (2) define the notion of nilpotent extensions for suitable $\infty $-categories and furnish interesting examples such as categorical square-zero extensions, and (3) use (1) and (2) to extend the Dundas–Goodwillie–McCarthy theorem for stable $\infty $-categories that are not monogenically generated (such as the stable $\infty $-category of Voevodsky’s motives or the stable $\infty $-category of perfect complexes on some algebraic stacks). The key input in our paper is Bondarko’s notion of weight structures, which provides a “ring-with-many-objects” analog of a connective $\mathbb{E}_1$-ring spectrum. As applications, we prove cdh descent results for truncating invariants of stacks extending the work by Hoyois–Krishna for homotopy $K$-theory and establish new cases of Blanc’s lattice conjecture.
- Published
- 2021
80. Entire Theta Operators at Unramified Primes
- Author
-
Elena Mantovan and E. Eischen
- Subjects
Shimura variety ,Pure mathematics ,Mathematics - Number Theory ,Degree (graph theory) ,Mathematics::Number Theory ,General Mathematics ,Analytic continuation ,010102 general mathematics ,Modular form ,Automorphic form ,Differential operator ,Galois module ,01 natural sciences ,010101 applied mathematics ,Mathematics::Algebraic Geometry ,FOS: Mathematics ,Number Theory (math.NT) ,0101 mathematics ,Mathematics::Representation Theory ,Signature (topology) ,Mathematics - Abstract
Starting with work of Serre, Katz, and Swinnerton-Dyer, theta operators have played a key role in the study of $p$-adic and $\bmod p$ modular forms and Galois representations. This paper achieves two main results for theta operators on automorphic forms on PEL-type Shimura varieties: 1) the analytic continuation at unramified primes $p$ to the whole Shimura variety of the $\bmod p$ reduction of $p$-adic Maass--Shimura operators {\it a priori} defined only over the $\mu$-ordinary locus, and 2) the construction of new $\bmod p$ theta operators that do not arise as the $\bmod p$ reduction of Maass--Shimura operators. While the main accomplishments of this paper concern the geometry of Shimura varieties and consequences for differential operators, we conclude with applications to Galois representations. Our approach involves a careful analysis of the behavior of Shimura varieties and enables us to obtain more general results than allowed by prior techniques, including for arbitrary signature, vector weights, and unramified primes in CM fields of arbitrary degree., Comment: Accepted for publication in IMRN. 42 pages
- Published
- 2021
81. Solving Bisymmetric Solution of a Class of Matrix Equations Based on Linear Saturated System Model Neural Network
- Author
-
Feng Zhang
- Subjects
Normalization (statistics) ,Class (set theory) ,Article Subject ,Artificial neural network ,Computer science ,General Mathematics ,010102 general mathematics ,General Engineering ,Process (computing) ,Structure (category theory) ,Engineering (General). Civil engineering (General) ,01 natural sciences ,Backpropagation ,System model ,010101 applied mathematics ,Matrix (mathematics) ,QA1-939 ,Applied mathematics ,TA1-2040 ,0101 mathematics ,Mathematics - Abstract
In order to solve the complicated process and low efficiency and low accuracy of solving a class of matrix equations, this paper introduces the linear saturated system model neural network architecture to solve the bisymmetric solution of a class of matrix equations. Firstly, a class of matrix equations is constructed to determine the key problems of solving the equations. Secondly, the linear saturated system model neural network structure is constructed to determine the characteristic parameters in the process of bisymmetric solution. Then, the matrix equations is solved by using backpropagation neural network topology. Finally, the class normalization is realized by using the objective function of bisymmetric solution, and the bisymmetric solution of a class of matrix equations is realized. In order to verify the solving effect of the method in this paper, three indexes (accuracy, correction accuracy, and solving time) are designed in the experiment. The experimental results show that the proposed method can effectively reduce the solving time, can improve the accuracy and correction effect of the bisymmetric solution, and has high practicability.
- Published
- 2021
82. An index theorem for higher orbital integrals
- Author
-
Xiang Tang, Peter Hochs, and Yanli Song
- Subjects
Mathematics - Differential Geometry ,Pure mathematics ,Index (economics) ,General Mathematics ,01 natural sciences ,Mathematics::K-Theory and Homology ,0103 physical sciences ,FOS: Mathematics ,Representation Theory (math.RT) ,0101 mathematics ,Algebra over a field ,Operator Algebras (math.OA) ,Mathematics ,Group (mathematics) ,010102 general mathematics ,Mathematics - Operator Algebras ,Lie group ,K-Theory and Homology (math.KT) ,Elliptic operator ,Differential Geometry (math.DG) ,Mathematics - K-Theory and Homology ,Equivariant map ,010307 mathematical physics ,Atiyah–Singer index theorem ,Mathematics - Representation Theory - Abstract
Recently, two of the authors of this paper constructed cyclic cocycles on Harish-Chandra's Schwartz algebra of linear reductive Lie groups that detect all information in the $K$-theory of the corresponding group $C^*$-algebra. The main result in this paper is an index formula for the pairings of these cocycles with equivariant indices of elliptic operators for proper, cocompact actions. This index formula completely determines such equivariant indices via topological expressions., 40 pages; updates based on referee comments; expanded proof of Proposition 3.3
- Published
- 2021
83. The integrals and integral transformations connected with the joint vector Gaussian distribution
- Author
-
N. F. Kako and V. S. Mukha
- Subjects
010302 applied physics ,Distribution (number theory) ,General Mathematics ,Gaussian ,010102 general mathematics ,Mathematical analysis ,General Physics and Astronomy ,01 natural sciences ,symbols.namesake ,Computational Theory and Mathematics ,0103 physical sciences ,symbols ,0101 mathematics ,Joint (geology) ,Mathematics - Abstract
In many applications it is desirable to consider not one random vector but a number of random vectors with the joint distribution. This paper is devoted to the integral and integral transformations connected with the joint vector Gaussian probability density function. Such integral and transformations arise in the statistical decision theory, particularly, in the dual control theory based on the statistical decision theory. One of the results represented in the paper is the integral of the joint Gaussian probability density function. The other results are the total probability formula and Bayes formula formulated in terms of the joint vector Gaussian probability density function. As an example the Bayesian estimations of the coefficients of the multiple regression function are obtained. The proposed integrals can be used as table integrals in various fields of research.
- Published
- 2021
84. Third Hankel determinants for two classes of analytic functions with real coefficients
- Author
-
Paweł Zaprawa and Young Jae Sim
- Subjects
010101 applied mathematics ,Algebra ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0101 mathematics ,01 natural sciences ,Mathematics ,Analytic function - Abstract
In recent years, the problem of estimating Hankel determinants has attracted the attention of many mathematicians. Their research have been focused mainly on deriving the bounds of H 2 , 2 {H_{2,2}} or H 3 , 1 {H_{3,1}} over different subclasses of 𝒮 {\mathcal{S}} . Only in a few papers third Hankel determinants for non-univalent functions were considered. In this paper, we consider two classes of analytic functions with real coefficients. The first one is the class 𝒯 {\mathcal{T}} of typically real functions. The second object of our interest is 𝒦 ℝ ( i ) {\mathcal{K}_{\mathbb{R}}(i)} , the class of functions with real coefficients which are convex in the direction of the imaginary axis. In both classes, we find lower and upper bounds of the third Hankel determinant. The results are sharp.
- Published
- 2021
85. On curves with circles as their isoptics
- Author
-
Waldemar Cieślak and Witold Mozgawa
- Subjects
Pure mathematics ,Class (set theory) ,Plane curve ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,0211 other engineering and technologies ,Regular polygon ,02 engineering and technology ,Characterization (mathematics) ,Ellipse ,01 natural sciences ,Discrete Mathematics and Combinatorics ,0101 mathematics ,021101 geological & geomatics engineering ,Mathematics - Abstract
In the present paper we describe the family of all closed convex plane curves of class $$C^1$$ C 1 which have circles as their isoptics. In the first part of the paper we give a certain characterization of all ellipses based on the notion of isoptic and we give a geometric characterization of curves whose orthoptics are circles. The second part of the paper contains considerations on curves which have circles as their isoptics and we show the form of support functions of all considered curves.
- Published
- 2021
86. 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
87. Counting tropical rational space curves with cross-ratio constraints
- Author
-
Christoph Goldner
- Subjects
Pure mathematics ,Current (mathematics) ,Plane (geometry) ,General Mathematics ,010102 general mathematics ,Cross-ratio ,0102 computer and information sciences ,Algebraic geometry ,Space (mathematics) ,01 natural sciences ,Mathematics - Algebraic Geometry ,Number theory ,14N10, 14T05 ,010201 computation theory & mathematics ,FOS: Mathematics ,Tropical geometry ,Mathematics - Combinatorics ,Point (geometry) ,Combinatorics (math.CO) ,0101 mathematics ,Algebraic Geometry (math.AG) ,Mathematics - Abstract
This is a follow-up paper of arXiv:1805.00115, where rational curves in surfaces that satisfy general positioned point and cross-ratio conditions were enumerated. A suitable correspondence theorem provided in arXiv:1509.07453 allowed us to use tropical geometry, and, in particular, a degeneration technique called floor diagrams. This correspondence theorem also holds in higher dimension. In the current paper, we introduce so-called cross-ratio floor diagrams and show that they allow us to determine the number of rational space curves that satisfy general positioned point and cross-ratio conditions. Moreover, graphical contributions are introduced which provide a novel and structured way of understanding multiplicities of floor decomposed curves in $\mathbb{R}^3$. Additionally, so-called condition flows on a tropical curve are used to reflect how conditions imposed on a tropical curve yield different types of edges. This concept is applicable in arbitrary dimension., 36 pages, 15 figures; fixed minor issues, added references
- Published
- 2021
88. Bivariate Sarmanov Phase-Type Distributions for Joint Lifetimes Modeling
- Author
-
Hassan Abdelrahman and Khouzeima Moutanabbir
- Subjects
Statistics and Probability ,General Mathematics ,010102 general mathematics ,Phase (waves) ,Structure (category theory) ,Context (language use) ,Bivariate analysis ,Type (model theory) ,01 natural sciences ,010104 statistics & probability ,Distribution (mathematics) ,Range (statistics) ,Statistical physics ,0101 mathematics ,Marginal distribution ,Mathematics - Abstract
In this paper, we are interested in the dependence between lifetimes based on a joint survival model. This model is built using the bivariate Sarmanov distribution with Phase-Type marginal distributions. Capitalizing on these two classes of distributions’ mathematical properties, we drive some useful closed-form expressions of distributions and quantities of interest in the context of multiple-life insurance contracts. The dependence structure that we consider in this paper is based on a general form of kernel function for the Bivariate Sarmanov distribution. The introduction of this new kernel function allows us to improve the attainable correlation range.
- Published
- 2021
89. 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
90. On some new quantum midpoint-type inequalities for twice quantum differentiable convex functions
- Author
-
Zhiyue Zhang, Hüseyin Budak, Yu-Ming Chu, Necmettin Alp, Muhammad Ali, and [Belirlenecek]
- Subjects
Pure mathematics ,Inequality ,General Mathematics ,media_common.quotation_subject ,Type (model theory) ,Quantum calculus ,quantum calculus ,01 natural sciences ,Midpoint ,26d15 ,Hermite–Hadamard inequality ,QA1-939 ,26a51 ,Differentiable function ,0101 mathematics ,Quantum ,26d10 ,Mathematics ,media_common ,convex function ,hermite-hadamard inequality ,010102 general mathematics ,010101 applied mathematics ,Computer Science::Graphics ,q-integral ,Convex function - Abstract
The present paper aims to find some new midpoint-type inequalities for twice quantum differentiable convex functions. The consequences derived in this paper are unification and generalization of the comparable consequences in the literature on midpoint inequalities. © 2021 Muhammad Aamir Ali et al., published by De Gruyter. National Natural Science Foundation of China, NSFC: 11301127, 11601485, 11626101, 11701176, 11971241, 61673169 Funding information : The work was supported by the Natural Science Foundation of China (Grant Nos. 61673169, 11301127, 11701176, 11626101, 11601485, 11971241). 2-s2.0-85105011594
- Published
- 2021
91. Existence on solutions of a class of casual differential equations on a time scale
- Author
-
Yige Zhao
- Subjects
010101 applied mathematics ,Class (set theory) ,Scale (ratio) ,Casual ,Differential equation ,General Mathematics ,010102 general mathematics ,Applied mathematics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In this paper, we develop the theory of a class of casual differential equations on a time scale. An existence theorem for casual differential equations on a time scale is given under mixed Lipschitz and compactness conditions by the fixed point theorem in Banach algebra due to Dhage. Some fundamental differential inequalities on a time scale are also presented which are utilized to investigate the existence of extremal solutions. The comparison principle on casual differential equations on a time scale is established. Our results in this paper extend and improve some well-known results.
- Published
- 2021
92. 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
93. 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
94. 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
95. 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
96. Systems of quasilinear parabolic equations in Rn and systems of quadratic backward stochastic differential equations
- Author
-
Sheung Chi Phillip Yam, Jens Frehse, and Alain Bensoussan
- Subjects
Quadratic growth ,Applied Mathematics ,General Mathematics ,Open problem ,010102 general mathematics ,01 natural sciences ,Parabolic partial differential equation ,Domain (mathematical analysis) ,010104 statistics & probability ,Stochastic differential equation ,Quadratic equation ,Bounded function ,Applied mathematics ,Uniqueness ,0101 mathematics ,Mathematics - Abstract
The objective of this paper is two-fold. The first objective is to complete the former work of Bensoussan and Frehse [2] . One big limitation of this paper was the fact that they are systems of PDE. on a bounded domain. One can expect solutions to be bounded, since one looks for smooth solutions. This is a very important property for the development of the method. It is true also that solutions which exist in a bounded domain may fail to exist on R n , because of the lack of bounds. We give conditions so that the results of [2] can be extended to R n . The second objective is to consider the BSDE (Backward stochastic differential equations) version of the system of PDE. This is the objective of a more recent work of Xing and Zitkovic [8] . They consider systems of BSDE with quadratic growth, which is a well-known open problem in the BSDE literature. Since the BSDE are Markovian, the problem is equivalent to the analytic one. However, because of this motivation the analytic problem is in R n and not on a bounded domain. Xing and Zitkovic developed a probabilistic approach. The connection between the analytic problem and the BSDE is not apparent. Our objective is to show that the analytic approach can be completely translated into a probabilistic one. Nevertheless probabilistic concepts are also useful, after their conversion into the analytic framework. This is in particular true for the uniqueness result.
- Published
- 2021
97. 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
98. 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
99. 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
100. Existence and Uniqueness of the Global L1 Solution of the Euler Equations for Chaplygin Gas
- Author
-
Zhen Wang, Tingting Chen, and Aifang Qu
- Subjects
Continuous function ,General Mathematics ,Weak solution ,010102 general mathematics ,General Physics and Astronomy ,Euler system ,Absolute continuity ,Lebesgue integration ,01 natural sciences ,010101 applied mathematics ,symbols.namesake ,symbols ,Local boundedness ,Applied mathematics ,Initial value problem ,Uniqueness ,0101 mathematics ,Mathematics - Abstract
In this paper, we establish the global existence and uniqueness of the solution of the Cauchy problem of a one-dimensional compressible isentropic Euler system for a Chaplygin gas with large initial data in the space L loc 1 . The hypotheses on the initial data may be the least requirement to ensure the existence of a weak solution in the Lebesgue measurable sense. The novelty and also the essence of the difficulty of the problem lie in the fact that we have neither the requirement on the local boundedness of the density nor that which is bounded away from vacuum. We develop the previous results on this degenerate system. The method used is Lagrangian representation, the essence of which is characteristic analysis. The key point is to prove the existence of the Lagrangian representation and the absolute continuity of the potentials constructed with respect to the space and the time variables. We achieve this by finding a property of the fundamental theorem of calculus for Lebesgue integration, which is a sufficient and necessary condition for judging whether a monotone continuous function is absolutely continuous. The assumptions on the initial data in this paper are believed to also be necessary for ruling out the formation of Dirac singularity of density. The ideas and techniques developed here may be useful for other nonlinear problems involving similar difficulties.
- Published
- 2021
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.