1,965 results
Search Results
2. The role of ‘extension papers’ in preparation for undergraduate mathematics: students’ views of the MAT, AEA and STEP
- Author
-
Jessica Bowyer and Ellie Darlington
- Subjects
Extension (metaphysics) ,General Mathematics ,05 social sciences ,Mathematics education ,050301 education ,050109 social psychology ,0501 psychology and cognitive sciences ,Psychology ,0503 education ,Education ,Mathematics - Published
- 2017
3. Erratum to the paper 'L∞(L∞)-boundedness and convergence of DG(p)-solutions for nonlinear conservation laws with boundary conditions'
- Author
-
Christian Henke and Lutz Angermann
- Subjects
Conservation law ,Pure mathematics ,Lemma (mathematics) ,Applied Mathematics ,General Mathematics ,Mathematical analysis ,Lebesgue integration ,Computational Mathematics ,Nonlinear system ,symbols.namesake ,Convergence (routing) ,symbols ,Boundary value problem ,Affine transformation ,Constant (mathematics) ,Mathematics - Abstract
In the paper (HA14), unfortunately, a computational error occurred in one estimate. Although the wrong estimate does not affect the main results, we want to present the necessary corrections. Essentially, Lemma 5.2 has to be corrected and, since it is used in the proof of Theorem 5.1, the proof of this theorem also requires an adaptation. (i) The corrected formulation of Lemma 5.2 is as follows. Lemma 5.2 For Lagrange finite elements with a shape-regular family of affine meshes { T n h } h>0 there is a constant C > 0 independent of q and h such that for all w ∈ Wh and q = 2m, m ∈N: CΛq−2 p (∇w,∇Ip h (wq−1))T ∫ T ‖∇w‖l2‖w‖ q−2 0,∞,T dx, ∀T ∈ T n h , (5.1) where Λp = ‖ ∑ndof i=1 |φi|‖0,∞,T is the Lebesgue constant.
- Published
- 2015
4. Godel's Unpublished Papers on Foundations of Mathematics†
- Author
-
W. W. Tatt
- Subjects
Philosophy ,Chose ,Philosophy of mathematics ,Pure mathematics ,General Mathematics ,Gödel ,Relation (history of concept) ,computer ,Foundations of mathematics ,Nachlass ,Classics ,Mathematics ,computer.programming_language - Abstract
Kurt Godel: Collected Works Volume III [Godel, 1995] contains a selection from Godel’s Nachlass; it consists of texts of lectures, notes for lectures and manuscripts of papers that for one reason or another Godel chose not to publish. I will discuss those papers in it that are concerned with the foundations/philosophy of mathematics in relation to his well-known published papers on this topic.
- Published
- 2001
5. Corrigendum to the paper 'Numerical approximation of fractional powers of regularly accretive operators'
- Author
-
Andrea Bonito and Joseph E. Pasciak
- Subjects
010101 applied mathematics ,Computational Mathematics ,Numerical approximation ,Applied Mathematics ,General Mathematics ,Calculus ,Applied mathematics ,010103 numerical & computational mathematics ,0101 mathematics ,01 natural sciences ,Mathematics - Published
- 2017
6. Studies in the history of probability and statistics XLV. The late Philip Holgate's paper 'independent functions: probability and analysis in Poland between the wars'
- Author
-
N. H. Bingham
- Subjects
Statistics and Probability ,Power series ,Applied Mathematics ,General Mathematics ,Probability and statistics ,Random series ,Agricultural and Biological Sciences (miscellaneous) ,Probability theory ,Independent function ,Statistics ,Statistics, Probability and Uncertainty ,Statistical theory ,General Agricultural and Biological Sciences ,Mathematics - Published
- 1997
7. Discussion of paper by C. B. Begg
- Author
-
Richard M. Royall
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Mathematics education ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1990
8. Discussion of paper by C. B. Begg
- Author
-
Oscar Kempthorne
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Mathematics education ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1990
9. Papers from ICME 9 (TSG 9): Batch 2
- Author
-
Peter Galbraith, Iben Maj Christiansen, and Werner Blum
- Subjects
General Mathematics ,Calculus ,Education ,Mathematics - Published
- 2002
10. Discussion of paper by C. B. Begg
- Author
-
Thomas R. Fleming
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Mathematics education ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1990
11. Discussion of paper by C. B. Begg
- Author
-
D. R. Cox
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Mathematics education ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1990
12. Discussion of paper by C. B. Begg
- Author
-
L. J. Wei
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Mathematics education ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1990
13. Discussion of paper by C. B. Begg
- Author
-
D. A. Sprott and Vernon T. Farewell
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Mathematics education ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1990
14. CONSTRUCTION OF CONSERVATION LAWS FOR LAX EQUATIONS: COMMENTS ON A PAPER BY G. WILSON
- Author
-
H. Flaschka
- Subjects
Conservation law ,General Mathematics ,Calculus ,Mathematics - Published
- 1983
15. Comments on paper by J. D. Kalbfleisch: Some personal comments on sufficiency and conditionality
- Author
-
A. D. McLAREN
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Conditionality ,Statistics, Probability and Uncertainty ,Positive economics ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1975
16. Comments on a paper by I. Olkin and M. Vaeth on two-way analysis of variance with correlated errors
- Author
-
D. E. Walters and J. G. Rowell
- Subjects
Statistics and Probability ,Wishart distribution ,Covariance matrix ,Applied Mathematics ,General Mathematics ,Two-way analysis of variance ,Multivariate normal distribution ,Agricultural and Biological Sciences (miscellaneous) ,One-way analysis of variance ,Time factor ,Statistics ,Data analysis ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Row ,Mathematics - Abstract
Olkin & Vaeth (1981) consider a two-way classification model with k rows and p columns in which the residuals (ei1, ..., eip) for row i are independently distributed with a multivariate normal distribution with zero means and common covariance matrix ((ij)). They concentrate their attention particularly on the situation where the row classification corresponds to k subjects, each treated in one of two or more ways; the column classification corresponds to p repetitions, perhaps in time, from each subject, probably resulting in correlated errors. Replication of subjects within treatments enables the elements of the covariance matrix to be estimated from the data, which in turn enables maximum likelihood estimates of the row and column parameters to be computed and likelihood ratio tests to be carried out without having to make assumptions about the form of the covariance matrix. The careful analysis of data of this kind has been the subject of numerous papers, Wishart (1938) perhaps being the first to concentrate on this topic. Despite this, however, the use of erroneous methods in published material is widespread and this provided the stimulus for the publication of our earlier paper (Rowell & Walters, 1976), and also for the present communication. We note here that there is confusion in Olkin & Vaeth's row/column terminology in their worked example: the rows in their tables are referred to as columns in the text, and vice versa. In what follows, when referring to their numerical example, the rows classification will refer to the high/low factor, and the columns classification to the time factor.
- Published
- 1982
17. Comments on paper by J. D. Kalbfleisch
- Author
-
Allan Birnbaum
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematical economics ,Mathematics - Published
- 1975
18. Approximation methods in the computer numerically controlled fabrication of optical surfaces, Part 2: mollifications
- Author
-
C. A. Hall and T. A. Porsching
- Subjects
business.product_category ,Fabrication ,Applied Mathematics ,General Mathematics ,Process (computing) ,Mechanical engineering ,Polishing ,Material removal ,Grinding ,Computational Mathematics ,Paper machine ,Convergence (routing) ,Machine material ,business ,Mathematics - Abstract
The process of grinding and polishing optical surfaces using a Computer Numerically Controlled machine produces a machine material removal profile. The profiles achievable by the machine depend on the nature of the tool used in the process, and the tool center motions. In this paper machine material removal profiles are developed as mollifications of given workpiece profiles for a variety of tool configurations. The form of the mollification, in effect, defines the tool center motion. Convergence of the machine's material removal profile to the given workpiece profile as the support of the tool goes to zero is established under mild assumptions. Numerical examples are included
- Published
- 1992
19. Improved structural methods for nonlinear differential-algebraic equations via combinatorial relaxation
- Author
-
Taihei Oki
- Subjects
Computer Science - Symbolic Computation ,FOS: Computer and information sciences ,Dynamical systems theory ,General Mathematics ,Mathematics::Optimization and Control ,010103 numerical & computational mathematics ,0102 computer and information sciences ,Symbolic Computation (cs.SC) ,01 natural sciences ,Computer Science::Systems and Control ,ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ,FOS: Mathematics ,Applied mathematics ,Computer Science::Symbolic Computation ,Mathematics - Numerical Analysis ,0101 mathematics ,Mathematics - Optimization and Control ,Mathematics ,Numerical analysis ,Applied Mathematics ,Relaxation (iterative method) ,Numerical Analysis (math.NA) ,Solver ,Numerical integration ,Nonlinear system ,Computational Mathematics ,Optimization and Control (math.OC) ,010201 computation theory & mathematics ,Differential algebraic equation ,Equation solving - Abstract
Differential-algebraic equations (DAEs) are widely used for modeling of dynamical systems. In numerical analysis of DAEs, consistent initialization and index reduction are important preprocessing prior to numerical integration. Existing DAE solvers commonly adopt structural preprocessing methods based on combinatorial optimization. Unfortunately, the structural methods fail if the DAE has numerical or symbolic cancellations. For such DAEs, methods have been proposed to modify them to other DAEs to which the structural methods are applicable, based on the combinatorial relaxation technique. Existing modification methods, however, work only for a class of DAEs that are linear or close to linear. This paper presents two new modification methods for nonlinear DAEs: the substitution method and the augmentation method. Both methods are based on the combinatorial relaxation approach and are applicable to a large class of nonlinear DAEs. The substitution method symbolically solves equations for some derivatives based on the implicit function theorem and substitutes the solution back into the system. Instead of solving equations, the augmentation method modifies DAEs by appending new variables and equations. The augmentation method has advantages that the equation solving is not needed and the sparsity of DAEs is retained. It is shown in numerical experiments that both methods, especially the augmentation method, successfully modify high-index DAEs that the DAE solver in MATLAB cannot handle., Comment: A preliminary version of this paper is to appear in Proceedings of the 44th International Symposium on Symbolic and Algebraic Computation (ISSAC 2019), Beijing, China, July 2019
- Published
- 2021
20. Gaussian Asymptotics of Jack Measures on Partitions From Weighted Enumeration of Ribbon Paths
- Author
-
Alexander Moll
- Subjects
Spectral theory ,Generalization ,General Mathematics ,Gaussian ,Probability (math.PR) ,Mathematical proof ,Combinatorics ,symbols.namesake ,Mathematics::Quantum Algebra ,Ribbon ,FOS: Mathematics ,symbols ,Enumeration ,Mathematics - Combinatorics ,Combinatorics (math.CO) ,Limit (mathematics) ,Mathematics::Representation Theory ,Cumulant ,Mathematics - Probability ,Mathematics - Abstract
In this paper we determine two asymptotic results for Jack measures on partitions, a model defined by two specializations of Jack polynomials proposed by Borodin-Olshanski in [European J. Combin. 26.6 (2005): 795-834]. Assuming these two specializations are the same, we derive limit shapes and Gaussian fluctuations for the anisotropic profiles of these random partitions in three asymptotic regimes associated to diverging, fixed, and vanishing values of the Jack parameter. To do so, we introduce a generalization of Motzkin paths we call "ribbon paths", show for general Jack measures that certain joint cumulants are weighted sums of connected ribbon paths on $n$ sites with $n-1+g$ pairings, and derive our two results from the contributions of $(n,g)=(1,0)$ and $(2,0)$, respectively. Our analysis makes use of Nazarov-Sklyanin's spectral theory for Jack polynomials. As a consequence, we give new proofs of several results for Schur measures, Plancherel measures, and Jack-Plancherel measures. In addition, we relate our weighted sums of ribbon paths to the weighted sums of ribbon graphs of maps on non-oriented real surfaces recently introduced by Chapuy-Dol\k{e}ga., Comment: Several results in this paper first appeared in the author's unpublished monograph arXiv:1508.03063. Version 2: revised and accepted for publication in International Mathematics Research Notices (IMRN)
- Published
- 2021
21. 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
22. Comments on paper by B. Efron and D. V. Hinkley
- Author
-
A. T. James
- Subjects
Statistics and Probability ,Discrete mathematics ,Applied Mathematics ,General Mathematics ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1978
23. Comments on paper by B. Efron and D. V. Hinkley
- Author
-
D. A. Sprott
- Subjects
Statistics and Probability ,Discrete mathematics ,Applied Mathematics ,General Mathematics ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1978
24. Comments on paper by P. D. Finch
- Author
-
Oscar Kempthorne
- Subjects
Statistics and Probability ,biology ,Applied Mathematics ,General Mathematics ,biology.animal ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Humanities ,Finch ,Mathematics - Published
- 1979
25. Comments on paper by M. Hollander and J. Sethuraman
- Author
-
William R. Schucany
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Humanities ,Mathematics - Published
- 1978
26. Comments on paper by J. D. Kalbfleisch
- Author
-
Ole E. Barndorff-Nielsen
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematical economics ,Mathematics - Published
- 1975
27. Comments on paper by J. D. Kalbfleisch
- Author
-
G. A. Barnard
- Subjects
Statistics and Probability ,Applied Mathematics ,General Mathematics ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematical economics ,Mathematics - Published
- 1975
28. Comments on a paper by R. C. Geary on standardized mean deviation
- Author
-
K. O. Bowman, H. K. Lam, and L.R. Shenton
- Subjects
Statistics and Probability ,Absolute deviation ,Deviation ,Applied Mathematics ,General Mathematics ,Mean square weighted deviation ,Statistics ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1979
29. On the minimum value of the condition number of polynomials
- Author
-
Carlos Beltrán, Fátima Lizarte, and Universidad de Cantabria
- Subjects
Sequence ,Degree (graph theory) ,Mathematics - Complex Variables ,Applied Mathematics ,General Mathematics ,Univariate ,Term (logic) ,Combinatorics ,Computational Mathematics ,Integer ,Simple (abstract algebra) ,FOS: Mathematics ,30E10, 30C15, 31A15 ,Complex Variables (math.CV) ,Constant (mathematics) ,Condition number ,Mathematics - Abstract
In 1993, Shub and Smale posed the problem of finding a sequence of univariate polynomials of degree $N$ with condition number bounded above by $N$. In a previous paper by C. Belt\'an, U. Etayo, J. Marzo and J. Ortega-Cerd\`a, it was proved that the optimal value of the condition number is of the form $O(\sqrt{N})$, and the sequence demanded by Shub and Smale was described by a closed formula (for large enough $N\geqslant N_0$ with $N_0$ unknown) and by a search algorithm for the rest of the cases. In this paper we find concrete estimates for the constant hidden in the $O(\sqrt{N})$ term and we describe a simple formula for a sequence of polynomials whose condition number is at most $N$, valid for all $N=4M^2$, with $M$ a positive integer., Comment: 21 pages
- Published
- 2021
30. Erratum: 'Breaking the 3/2 barrier for unit distances in three dimensions'
- Author
-
Joshua Zahl and Micha Sharir
- Subjects
General Mathematics ,Geometry ,Unit (ring theory) ,Mathematics - Abstract
We wish to correct an error in the paper “Breaking the 3/2 barrier for unit distances in three dimensions.” Lemma 3.2 of this paper contained an incorrect claim about the intersection patterns of ellipses obtained by projecting circles from three dimensions to the plane. In this erratum we state and prove a correct version of this statement.
- Published
- 2021
31. 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
32. 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
33. Hyperbolic Jigsaws and Families of Pseudomodular Groups II
- Author
-
Anh Duc Vo, Ser Peow Tan, and Beicheng Lou
- Subjects
Mathematics - Geometric Topology ,Mathematics - Number Theory ,11F06, 20H05, 20H15, 30F35, 30F60, 57M05, 57M50 ,General Mathematics ,FOS: Mathematics ,Mathematics education ,Geometric Topology (math.GT) ,Group Theory (math.GR) ,Number Theory (math.NT) ,Mathematics::Geometric Topology ,Mathematics - Group Theory ,Mathematics - Abstract
In our previous paper, we introduced a hyperbolic jigsaw construction and constructed infinitely many non-commensurable, non-uniform, non-arithmetic lattices of $\mathrm{PSL}(2, \mathbb{R})$ with cusp set $\mathbb{Q} \cup \{\infty\}$ (called pseudomodular groups by Long and Reid), thus answering a question posed by Long and Reid. In this paper, we continue with our study of these jigsaw groups exploring questions of arithmeticity, pseudomodularity, and also related pseudo-euclidean and continued fraction algorithms arising from these groups. We also answer another question of Long and Reid by demonstrating a recursive formula for the tessellation of the hyperbolic plane arising from Weierstrass groups which generalizes the well-known "Farey addition" used to generate the Farey tessellation., 32 pages, 7 figures, 5 tables
- Published
- 2021
34. 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
35. Analysis of backward Euler projection FEM for the Landau–Lifshitz equation
- Author
-
Weiwei Sun and Rong An
- Subjects
010101 applied mathematics ,Computational Mathematics ,Applied Mathematics ,General Mathematics ,Mathematical analysis ,010103 numerical & computational mathematics ,0101 mathematics ,Projection (set theory) ,01 natural sciences ,Backward Euler method ,Landau–Lifshitz–Gilbert equation ,Finite element method ,Mathematics - Abstract
The paper focuses on the analysis of the Euler projection Galerkin finite element method (FEM) for the dynamics of magnetization in ferromagnetic materials, described by the Landau–Lifshitz equation with the point-wise constraint $|{\textbf{m}}|=1$. The method is based on a simple sphere projection that projects the numerical solution onto a unit sphere at each time step, and the method has been used in many areas in the past several decades. However, error analysis for the commonly used method has not been done since the classical energy approach cannot be applied directly. In this paper we present an optimal $\textbf{L}^2$ error analysis of the backward Euler sphere projection method by using quadratic or higher order finite elements under a time step condition $\tau =O(\epsilon _0 h)$ with some small $\epsilon _0>0$. The analysis is based on more precise estimates of the extra error caused by the sphere projection in both $\textbf{L}^2$ and $\textbf{H}^1$ norms, and the classical estimate of dual norm. Numerical experiment is provided to confirm our theoretical analysis.
- Published
- 2021
36. 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
37. A Unified Approach to the Arens Regularity and Related Problems for a Class of Banach Algebras Associated with Locally Compact Groups
- Author
-
A. Ülger and Anthony To-Ming Lau
- Subjects
Mathematics::Functional Analysis ,Pure mathematics ,Class (set theory) ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,Locally compact space ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
Based on Katznelson–Tzafriri Theorem on power bounded operators, we prove in this paper a theorem, which applies to the most of the classical Banach algebras of harmonic analysis associated with locally compact groups, to deal with the problems when a given Banach algebra A is Arens regular and when A is an ideal in its bidual. In the second part of the paper, we study the topological center of the bidual of a class of Banach algebras with a multiplier bounded approximate identity.
- Published
- 2021
38. The Alternating Block Decomposition of Iterated Integrals and Cyclic Insertion on Multiple Zeta Values
- Author
-
Steven Charlton
- Subjects
Combinatorics ,Identity (mathematics) ,Conjecture ,Mathematics - Number Theory ,Iterated integrals ,General Mathematics ,FOS: Mathematics ,Pi ,Block (permutation group theory) ,Structure (category theory) ,Number Theory (math.NT) ,11M32 ,Mathematics - Abstract
The cyclic insertion conjecture of Borwein, Bradley, Broadhurst and Lison\v{e}k states that by inserting all cyclic permutations of some initial blocks of 2's into the multiple zeta value $ \zeta(1,3,\ldots,1,3) $ and summing, one obtains an explicit rational multiple of a power of $ \pi $. Hoffman gives a conjectural identity of a similar flavour concerning $ 2 \zeta(3,3,\{2\}^m) - \zeta(3,\{2\}^m,(1,2)) $. In this paper we introduce the 'generalised cyclic insertion conjecture', which we describe using a new combinatorial structure on iterated integrals -- the so-called alternating block decomposition. We see that both the original BBBL cyclic insertion conjecture, and Hoffman's conjectural identity, are special cases of this 'generalised' cyclic insertion conjecture. By using Brown's motivic MZV framework, we establish that some symmetrised version of the generalised cyclic insertion conjecture always holds, up to a rational; this provides some evidence for the generalised conjecture., Comment: 40 pages, 1 figure created with Inkscape. Added an observation due to Panzer about the structure of D_odd cycle I(\ell_1, \ldots, \ell_n), in the odd weight case. Added a reference to the recent paper from Hirose and Sato, which proves Hoffman's conjectural identity exactly
- Published
- 2021
39. Comments on paper by B. Efron and D. V. Hinkley
- Author
-
G. K. Robinson
- Subjects
Statistics and Probability ,Discrete mathematics ,Applied Mathematics ,General Mathematics ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Mathematics - Published
- 1978
40. Comments on paper by P. D. Finch
- Author
-
M. J. R. Healy
- Subjects
Statistics and Probability ,biology ,Applied Mathematics ,General Mathematics ,biology.animal ,Statistics, Probability and Uncertainty ,General Agricultural and Biological Sciences ,Agricultural and Biological Sciences (miscellaneous) ,Humanities ,Finch ,Mathematics - Published
- 1979
41. A Bijective Proof of the ASM Theorem Part II: ASM Enumeration and ASM–DPP Relation
- Author
-
Ilse Fischer and Matjaž Konvalinka
- Subjects
Mathematics::Combinatorics ,Series (mathematics) ,General Mathematics ,010102 general mathematics ,Mathematical proof ,01 natural sciences ,Bijective proof ,Combinatorics ,Matrix (mathematics) ,Bijection ,Alternating sign matrix ,0101 mathematics ,Bijection, injection and surjection ,Sign (mathematics) ,Mathematics - Abstract
This paper is the 2nd in a series of planned papers that provide 1st bijective proofs of alternating sign matrix (ASM) results. Based on the main result from the 1st paper, we construct a bijective proof of the enumeration formula for ASMs and of the fact that ASMs are equinumerous with descending plane partitions. We are also able to refine these bijections by including the position of the unique $1$ in the top row of the matrix. Our constructions rely on signed sets and related notions. The starting point for these constructions were known “computational” proofs, but the combinatorial point of view led to several drastic modifications. We also provide computer code where all of our constructions have been implemented.
- Published
- 2020
42. On Bourgain’s Counterexample for the Schrödinger Maximal Function
- Author
-
Lillian B. Pierce
- Subjects
Pure mathematics ,General Mathematics ,010102 general mathematics ,02 engineering and technology ,021001 nanoscience & nanotechnology ,01 natural sciences ,symbols.namesake ,symbols ,Maximal function ,0101 mathematics ,0210 nano-technology ,Schrödinger's cat ,Counterexample ,Mathematics - Abstract
This paper provides a rigorous derivation of a counterexample of Bourgain, related to a well-known question of pointwise a.e. convergence for the solution of the linear Schrödinger equation, for initial data in a Sobolev space. This counterexample combines ideas from analysis and number theory, and the present paper demonstrates how to build such counterexamples from first principles, and then optimize them.
- Published
- 2020
43. Optimal error estimates and recovery technique of a mixed finite element method for nonlinear thermistor equations
- Author
-
Huadong Gao, Chengda Wu, and Weiwei Sun
- Subjects
010101 applied mathematics ,Computational Mathematics ,Nonlinear system ,Applied Mathematics ,General Mathematics ,Thermistor ,Applied mathematics ,010103 numerical & computational mathematics ,Mixed finite element method ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
This paper is concerned with optimal error estimates and recovery technique of a classical mixed finite element method for the thermistor problem, which is governed by a parabolic/elliptic system with strong nonlinearity and coupling. The method is based on a popular combination of the lowest-order Raviart–Thomas mixed approximation for the electric potential/field $(\phi , \boldsymbol{\theta })$ and the linear Lagrange approximation for the temperature $u$. A common question is how the first-order approximation influences the accuracy of the second-order approximation to the temperature in such a strongly coupled system, while previous work only showed the first-order accuracy $O(h)$ for all three components in a traditional way. In this paper, we prove that the method produces the optimal second-order accuracy $O(h^2)$ for $u$ in the spatial direction, although the accuracy for the potential/field is in the order of $O(h)$. And more importantly, we propose a simple one-step recovery technique to obtain a new numerical electric potential/field of second-order accuracy. The analysis presented in this paper relies on an $H^{-1}$-norm estimate of the mixed finite element methods and analysis on a nonclassical elliptic map. We provide numerical experiments in both two- and three-dimensional spaces to confirm our theoretical analyses.
- Published
- 2020
44. On QZ steps with perfect shifts and computing the index of a differential-algebraic equation
- Author
-
Paul Van Dooren and Nicola Mastronardi
- Subjects
Index (economics) ,Applied Mathematics ,General Mathematics ,020206 networking & telecommunications ,010103 numerical & computational mathematics ,02 engineering and technology ,01 natural sciences ,Mathematics::Numerical Analysis ,Computational Mathematics ,0202 electrical engineering, electronic engineering, information engineering ,Applied mathematics ,0101 mathematics ,Differential algebraic equation ,QZ algorithm ,eigenvalues ,perfect shifts ,index ,Mathematics - Abstract
In this paper we revisit the problem of performing a $QZ$ step with a so-called ‘perfect shift’, which is an ‘exact’ eigenvalue of a given regular pencil $\lambda B-A$ in unreduced Hessenberg triangular form. In exact arithmetic, the $QZ$ step moves that eigenvalue to the bottom of the pencil, while the rest of the pencil is maintained in Hessenberg triangular form, which then yields a deflation of the given eigenvalue. But in finite precision the $QZ$ step gets ‘blurred’ and precludes the deflation of the given eigenvalue. In this paper we show that when we first compute the corresponding eigenvector to sufficient accuracy, then the $QZ$ step can be constructed using this eigenvector, so that the deflation is also obtained in finite precision. An important application of this technique is the computation of the index of a system of differential algebraic equations, since an exact deflation of the infinite eigenvalues is needed to impose correctly the algebraic constraints of such differential equations.
- Published
- 2020
45. Hyperbolicity and Uniformity of Varieties of Log General type
- Author
-
Amos Turchet, Kristin DeVleming, Kenneth Ascher, Ascher, Kenneth, Devleming, Kristin, and Turchet, Amos
- Subjects
Pure mathematics ,Conjecture ,Mathematics - Number Theory ,Generalization ,General Mathematics ,010102 general mathematics ,Type (model theory) ,01 natural sciences ,Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,0103 physical sciences ,FOS: Mathematics ,Sheaf ,Trigonometric functions ,Uniform boundedness ,Cotangent bundle ,Number Theory (math.NT) ,010307 mathematical physics ,0101 mathematics ,Variety (universal algebra) ,Algebraic Geometry (math.AG) ,Mathematics::Symplectic Geometry ,Mathematics - Abstract
Projective varieties with ample cotangent bundle satisfy many notions of hyperbolicity, and one goal of this paper is to discuss generalizations to quasi-projective varieties. A major hurdle is that the naive generalization fails, i.e. the log cotangent bundle is never ample. Instead, we define a notion called almost ample which roughly asks that the log cotangent is as positive as possible. We show that all subvarieties of a quasi-projective variety with almost ample log cotangent bundle are of log general type. In addition, if one assumes globally generated then we obtain that such varieties contain finitely many integral points. In another direction, we show that the Lang-Vojta conjecture implies the number of stably integral points on curves of log general type, and surfaces of log general type with almost ample log cotangent sheaf are uniformly bounded., v5: exposition greatly improved. Previous section on function fields removed, to be expanded upon in a future paper. To appear in IMRN
- Published
- 2020
46. Multivariate approximation of functions on irregular domains by weighted least-squares methods
- Author
-
Giovanni Migliorati, Laboratoire Jacques-Louis Lions (LJLL (UMR_7598)), and Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP)
- Subjects
Christoffel symbols ,Computational complexity theory ,Basis (linear algebra) ,Applied Mathematics ,General Mathematics ,010102 general mathematics ,Estimator ,Numerical Analysis (math.NA) ,010103 numerical & computational mathematics ,Function (mathematics) ,01 natural sciences ,Domain (mathematical analysis) ,Computational Mathematics ,Bounded function ,FOS: Mathematics ,Applied mathematics ,Orthonormal basis ,Mathematics - Numerical Analysis ,[MATH]Mathematics [math] ,0101 mathematics ,Mathematics - Abstract
We propose and analyse numerical algorithms based on weighted least squares for the approximation of a real-valued function on a general bounded domain $\Omega \subset \mathbb{R}^d$. Given any $n$-dimensional approximation space $V_n \subset L^2(\Omega)$, the analysis in [6] shows the existence of stable and optimally converging weighted least-squares estimators, using a number of function evaluations $m$ of the order $n \log n$. When an $L^2(\Omega)$-orthonormal basis of $V_n$ is available in analytic form, such estimators can be constructed using the algorithms described in [6,Section 5]. If the basis also has product form, then these algorithms have computational complexity linear in $d$ and $m$. In this paper we show that, when $\Omega$ is an irregular domain such that the analytic form of an $L^2(\Omega)$-orthonormal basis is not available, stable and quasi-optimally weighted least-squares estimators can still be constructed from $V_n$, again with $m$ of the order $n \log n$, but using a suitable surrogate basis of $V_n$ orthonormal in a discrete sense. The computational cost for the calculation of the surrogate basis depends on the Christoffel function of $\Omega$ and $V_n$. Numerical results validating our analysis are presented., Comment: Version of the paper accepted for publication
- Published
- 2020
47. Optimal-rate finite-element solution of Dirichlet problems in curved domains with straight-edged tetrahedra
- Author
-
Vitoriano Ruas
- Subjects
Applied Mathematics ,General Mathematics ,Mathematical analysis ,010103 numerical & computational mathematics ,Finite element solution ,01 natural sciences ,Dirichlet distribution ,010101 applied mathematics ,Computational Mathematics ,symbols.namesake ,Tetrahedron ,symbols ,0101 mathematics ,Mathematics - Abstract
In a series of papers published since 2017 the author introduced a simple alternative of the $n$-simplex type, to enhance the accuracy of approximations of second-order boundary value problems subject to Dirichlet boundary conditions, posed on smooth curved domains. This technique is based upon trial functions consisting of piecewise polynomials defined on straight-edged triangular or tetrahedral meshes, interpolating the Dirichlet boundary conditions at points of the true boundary. In contrast, the test functions are defined by the standard degrees of freedom associated with the underlying method for polytopic domains. While the mathematical analysis of the method for Lagrange and Hermite methods for two-dimensional second- and fourth-order problems was carried out in earlier paper by the author this paper is devoted to the study of the three-dimensional case. Well-posedness, uniform stability and optimal a priori error estimates in the energy norm are proved for a tetrahedron-based Lagrange family of finite elements. Novel error estimates in the $L^2$-norm, for the class of problems considered in this work, are also proved. A series of numerical examples illustrates the potential of the new technique. In particular, its superior accuracy at equivalent cost, as compared to the isoparametric technique, is highlighted.
- Published
- 2020
48. Factorization of Noncommutative Polynomials and Nullstellensätze for the Free Algebra
- Author
-
Igor Klep, J.W. Helton, and Jurij Volčič
- Subjects
General Mathematics ,010102 general mathematics ,0211 other engineering and technologies ,021107 urban & regional planning ,Mathematics - Rings and Algebras ,02 engineering and technology ,01 natural sciences ,Noncommutative geometry ,Algebra ,Factorization ,Rings and Algebras (math.RA) ,Free algebra ,FOS: Mathematics ,0101 mathematics ,Mathematics - Abstract
This article gives a class of Nullstellensätze for noncommutative polynomials. The singularity set of a noncommutative polynomial $f=f(x_1,\dots ,x_g)$ is $\mathscr{Z}(\,f)=(\mathscr{Z}_n(\,f))_n$, where $\mathscr{Z}_n(\,f)=\{X \in{\operatorname{M}}_{n}({\mathbb{C}})^g \colon \det f(X) = 0\}.$ The 1st main theorem of this article shows that the irreducible factors of $f$ are in a natural bijective correspondence with irreducible components of $\mathscr{Z}_n(\,f)$ for every sufficiently large $n$. With each polynomial $h$ in $x$ and $x^*$ one also associates its real singularity set $\mathscr{Z}^{{\operatorname{re}}}(h)=\{X\colon \det h(X,X^*)=0\}$. A polynomial $f$ that depends on $x$ alone (no $x^*$ variables) will be called analytic. The main Nullstellensatz proved here is as follows: for analytic $f$ but for $h$ dependent on possibly both $x$ and $x^*$, the containment $\mathscr{Z}(\,f) \subseteq \mathscr{Z}^{{\operatorname{re}}} (h)$ is equivalent to each factor of $f$ being “stably associated” to a factor of $h$ or of $h^*$. For perspective, classical Hilbert-type Nullstellensätze typically apply only to analytic polynomials $f,h $, while real Nullstellensätze typically require adjusting the functions by sums of squares of polynomials (sos). Since the above “algebraic certificate” does not involve a sos, it seems justified to think of this as the natural determinantal Hilbert Nullstellensatz. An earlier paper of the authors (Adv. Math. 331 (2018): 589–626) obtained such a theorem for special classes of analytic polynomials $f$ and $h$. This paper requires few hypotheses and hopefully brings this type of Nullstellensatz to near final form. Finally, the paper gives a Nullstellensatz for zeros ${\mathcal{V}}(\,f)=\{X\colon f(X,X^*)=0\}$ of a hermitian polynomial $f$, leading to a strong Positivstellensatz for quadratic free semialgebraic sets by the use of a slack variable.
- Published
- 2020
49. A priori analysis of a higher-order nonlinear elasticity model for an atomistic chain with periodic boundary condition
- Author
-
Lei Zhang, Hao Wang, and Yangshuai Wang
- Subjects
Applied Mathematics ,General Mathematics ,010103 numerical & computational mathematics ,01 natural sciences ,010101 applied mathematics ,Computational Mathematics ,Chain (algebraic topology) ,Periodic boundary conditions ,Order (group theory) ,A priori and a posteriori ,Applied mathematics ,0101 mathematics ,Nonlinear elasticity ,Mathematics - Abstract
Nonlinear elastic models are widely used to describe the elastic response of crystalline solids, for example, the well-known Cauchy–Born model. While the Cauchy–Born model only depends on the strain, effects of higher-order strain gradients are significant and higher-order continuum models are preferred in various applications such as defect dynamics and modeling of carbon nanotubes. In this paper we rigorously derive a higher-order nonlinear elasticity model for crystals from its atomistic description in one dimension. We show that, compared to the second-order accuracy of the Cauchy–Born model, the higher-order continuum model in this paper is of fourth-order accuracy with respect to the interatomic spacing in the thermal dynamic limit. In addition we discuss the key issues for the derivation of higher-order continuum models in more general cases. The theoretical convergence results are demonstrated by numerical experiments.
- Published
- 2020
50. Trace finite element methods for surface vector-Laplace equations
- Author
-
Thomas Jankuhn and Arnold Reusken
- Subjects
Partial differential equation ,Discretization ,Applied Mathematics ,General Mathematics ,Tangent ,Numerical Analysis (math.NA) ,010103 numerical & computational mathematics ,01 natural sciences ,Finite element method ,010101 applied mathematics ,Computational Mathematics ,symbols.namesake ,Lagrange multiplier ,Norm (mathematics) ,ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ,FOS: Mathematics ,symbols ,65N30, 65N12, 65N15 ,Applied mathematics ,Vector field ,Penalty method ,Mathematics - Numerical Analysis ,0101 mathematics ,Mathematics - Abstract
In this paper we analyze a class of trace finite element methods for the discretization of vector-Laplace equations. A key issue in the finite element discretization of such problems is the treatment of the constraint that the unknown vector field must be tangential to the surface (‘tangent condition’). We study three different natural techniques for treating the tangent condition, namely a consistent penalty method, a simpler inconsistent penalty method and a Lagrange multiplier method. The main goal of the paper is to present an analysis that reveals important properties of these three different techniques for treating the tangent constraint. A detailed error analysis is presented that takes the approximation of both the geometry of the surface and the solution of the partial differential equation into account. Error bounds in the energy norm are derived that show how the discretization error depends on relevant parameters such as the degree of the polynomials used for the approximation of the solution, the degree of the polynomials used for the approximation of the level set function that characterizes the surface, the penalty parameter and the degree of the polynomials used for the approximation of the Lagrange multiplier.
- Published
- 2020
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.