-
What is Hiding in Medicine's Dark Matter? Learning with Missing Data in Medical Practices
Authors:
Neslihan Suzen,
Evgeny M. Mirkes,
Damian Roland,
Jeremy Levesley,
Alexander N. Gorban,
Tim J. Coats
Abstract:
Electronic patient records (EPRs) produce a wealth of data but contain significant missing information. Understanding and handling this missing data is an important part of clinical data analysis and if left unaddressed could result in bias in analysis and distortion in critical conclusions. Missing data may be linked to health care professional practice patterns and imputation of missing data can…
▽ More
Electronic patient records (EPRs) produce a wealth of data but contain significant missing information. Understanding and handling this missing data is an important part of clinical data analysis and if left unaddressed could result in bias in analysis and distortion in critical conclusions. Missing data may be linked to health care professional practice patterns and imputation of missing data can increase the validity of clinical decisions. This study focuses on statistical approaches for understanding and interpreting the missing data and machine learning based clinical data imputation using a single centre's paediatric emergency data and the data from UK's largest clinical audit for traumatic injury database (TARN). In the study of 56,961 data points related to initial vital signs and observations taken on children presenting to an Emergency Department, we have shown that missing data are likely to be non-random and how these are linked to health care professional practice patterns. We have then examined 79 TARN fields with missing values for 5,791 trauma cases. Singular Value Decomposition (SVD) and k-Nearest Neighbour (kNN) based missing data imputation methods are used and imputation results against the original dataset are compared and statistically tested. We have concluded that the 1NN imputer is the best imputation which indicates a usual pattern of clinical decision making: find the most similar patients and take their attributes as imputation.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
The dimension of the set of $ψ$-badly approximable points in all ambient dimensions; on a question of Beresnevich and Velani
Authors:
Henna Koivusalo,
Jason Levesley,
Benjamin Ward,
Xintian Zhang
Abstract:
Let $ψ:\mathbb{N} \to [0,\infty)$, $ψ(q)=q^{-(1+τ)}$ and let $ψ$-badly approximable points be those vectors in $\mathbb{R}^{d}$ that are $ψ$-well approximable, but not $cψ$-well approximable for arbitrarily small constants $c>0$. We establish that the $ψ$-badly approximable points have the Hausdorff dimension of the $ψ$-well approximable points, the dimension taking the value $(d+1)/(τ+1)$ familia…
▽ More
Let $ψ:\mathbb{N} \to [0,\infty)$, $ψ(q)=q^{-(1+τ)}$ and let $ψ$-badly approximable points be those vectors in $\mathbb{R}^{d}$ that are $ψ$-well approximable, but not $cψ$-well approximable for arbitrarily small constants $c>0$. We establish that the $ψ$-badly approximable points have the Hausdorff dimension of the $ψ$-well approximable points, the dimension taking the value $(d+1)/(τ+1)$ familiar from theorems of Besicovitch and Jarník. The method of proof is an entirely new take on the Mass Transference Principle by Beresnevich and Velani (Annals, 2006); namely, we use the colloquially named `delayed pruning' to construct a sufficiently large $\liminf$ set and combine this with ideas inspired by the proof of the Mass Transference Principle to find a large $\limsup$ subset of the $\liminf$ set. Our results are a generalisation of some $1$-dimensional results due to Bugeaud and Moreira (Acta Arith, 2011), but our method of proof is nothing alike.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
An Informational Space Based Semantic Analysis for Scientific Texts
Authors:
Neslihan Suzen,
Alexander N. Gorban,
Jeremy Levesley,
Evgeny M. Mirkes
Abstract:
One major problem in Natural Language Processing is the automatic analysis and representation of human language. Human language is ambiguous and deeper understanding of semantics and creating human-to-machine interaction have required an effort in creating the schemes for act of communication and building common-sense knowledge bases for the 'meaning' in texts. This paper introduces computational…
▽ More
One major problem in Natural Language Processing is the automatic analysis and representation of human language. Human language is ambiguous and deeper understanding of semantics and creating human-to-machine interaction have required an effort in creating the schemes for act of communication and building common-sense knowledge bases for the 'meaning' in texts. This paper introduces computational methods for semantic analysis and the quantifying the meaning of short scientific texts. Computational methods extracting semantic feature are used to analyse the relations between texts of messages and 'representations of situations' for a newly created large collection of scientific texts, Leicester Scientific Corpus. The representation of scientific-specific meaning is standardised by replacing the situation representations, rather than psychological properties, with the vectors of some attributes: a list of scientific subject categories that the text belongs to. First, this paper introduces 'Meaning Space' in which the informational representation of the meaning is extracted from the occurrence of the word in texts across the scientific categories, i.e., the meaning of a word is represented by a vector of Relative Information Gain about the subject categories. Then, the meaning space is statistically analysed for Leicester Scientific Dictionary-Core and we investigate 'Principal Components of the Meaning' to describe the adequate dimensions of the meaning. The research in this paper conducts the base for the geometric representation of the meaning of texts.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Convergence of sparse grid Gaussian convolution approximation for multi-dimensional periodic function
Authors:
Simon Hubbert,
Janin Jäger,
Jeremy Levesley
Abstract:
We consider the problem of approximating $[0,1]^{d}$-periodic functions by convolution with a scaled Gaussian kernel. We start by establishing convergence rates to functions from periodic Sobolev spaces and we show that the saturation rate is $O(h^{2}),$ where $h$ is the scale of the Gaussian kernel. Taken from a discrete point of view, this result can be interpreted as the accuracy that can be ac…
▽ More
We consider the problem of approximating $[0,1]^{d}$-periodic functions by convolution with a scaled Gaussian kernel. We start by establishing convergence rates to functions from periodic Sobolev spaces and we show that the saturation rate is $O(h^{2}),$ where $h$ is the scale of the Gaussian kernel. Taken from a discrete point of view, this result can be interpreted as the accuracy that can be achieved on the uniform grid with spacing $h.$ In the discrete setting, the curse of dimensionality would place severe restrictions on the computation of the approximation. For instance, a spacing of $2^{-n}$ would provide an approximation converging at a rate of $O(2^{-2n})$ but would require $(2^{n}+1)^{d}$ grid points. To overcome this we introduce a sparse grid version of Gaussian convolution approximation, where substantially fewer grid points are required, and
show that the sparse grid version delivers a saturation rate of $O(n^{d-1}2^{-2n}).$ This rate is in line with what one would expect in the sparse grid setting (where the full grid error only deteriorates by a factor of order $n^{d-1}$) however the analysis that leads to the result is novel in that it draws on results from the theory of special functions and key observations regarding the form of certain weighted geometric sums.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
Semantic Analysis for Automated Evaluation of the Potential Impact of Research Articles
Authors:
Neslihan Suzen,
Alexander Gorban,
Jeremy Levesley,
Evgeny Mirkes
Abstract:
Can the analysis of the semantics of words used in the text of a scientific paper predict its future impact measured by citations? This study details examples of automated text classification that achieved 80% success rate in distinguishing between highly-cited and little-cited articles. Automated intelligent systems allow the identification of promising works that could become influential in the…
▽ More
Can the analysis of the semantics of words used in the text of a scientific paper predict its future impact measured by citations? This study details examples of automated text classification that achieved 80% success rate in distinguishing between highly-cited and little-cited articles. Automated intelligent systems allow the identification of promising works that could become influential in the scientific community.
The problems of quantifying the meaning of texts and representation of human language have been clear since the inception of Natural Language Processing. This paper presents a novel method for vector representation of text meaning based on information theory and show how this informational semantics is used for text classification on the basis of the Leicester Scientific Corpus.
We describe the experimental framework used to evaluate the impact of scientific articles through their informational semantics. Our interest is in citation classification to discover how important semantics of texts are in predicting the citation count. We propose the semantics of texts as an important factor for citation prediction.
For each article, our system extracts the abstract of paper, represents the words of the abstract as vectors in Meaning Space, automatically analyses the distribution of scientific categories (Web of Science categories) within the text of abstract, and then classifies papers according to citation counts (highly-cited, little-cited).
We show that an informational approach to representing the meaning of a text has offered a way to effectively predict the scientific impact of research papers.
△ Less
Submitted 26 April, 2021;
originally announced April 2021.
-
Simultaneous p-adic Diophantine approximation
Authors:
Victor Beresnevich,
Jason Levesley,
Benjamin Ward
Abstract:
The goal of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to $p$-adic numbers. Firstly, we establish complete analogues of Khintchine's theorem, the Duffin-Schaeffer theorem and the Jarník-Besicovitch theorem for `weighted' simultaneous Diophantine approximation in the $p$-adic case. Secondly, we obtain a lower bound for the Hausdorff dimension of we…
▽ More
The goal of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to $p$-adic numbers. Firstly, we establish complete analogues of Khintchine's theorem, the Duffin-Schaeffer theorem and the Jarník-Besicovitch theorem for `weighted' simultaneous Diophantine approximation in the $p$-adic case. Secondly, we obtain a lower bound for the Hausdorff dimension of weighted simultaneously approximable points lying on $p$-adic manifolds. This is valid for very general classes of curves and manifolds and have natural constraints on the exponents of approximation. The key tools we use in our proofs are the Mass Transference Principle, including its recent extension due to Wang and Wu, and a Zero-One law for weighted $p$-adic approximations established in this paper.
△ Less
Submitted 6 July, 2021; v1 submitted 13 January, 2021;
originally announced January 2021.
-
Principal Components of the Meaning
Authors:
Neslihan Suzen,
Alexander Gorban,
Jeremy Levesley,
Evgeny Mirkes
Abstract:
In this paper we argue that (lexical) meaning in science can be represented in a 13 dimension Meaning Space. This space is constructed using principal component analysis (singular decomposition) on the matrix of word category relative information gains, where the categories are those used by the Web of Science, and the words are taken from a reduced word set from texts in the Web of Science. We sh…
▽ More
In this paper we argue that (lexical) meaning in science can be represented in a 13 dimension Meaning Space. This space is constructed using principal component analysis (singular decomposition) on the matrix of word category relative information gains, where the categories are those used by the Web of Science, and the words are taken from a reduced word set from texts in the Web of Science. We show that this reduced word set plausibly represents all texts in the corpus, so that the principal component analysis has some objective meaning with respect to the corpus. We argue that 13 dimensions is adequate to describe the meaning of scientific texts, and hypothesise about the qualitative meaning of the principal components.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
A lower bound for the Hausdorff dimension of the set of weighted simultaneously approximable points over manifolds
Authors:
Victor Beresnevich,
Jason Levesley,
Benjamin Ward
Abstract:
Given a weight vector $τ=(τ_{1}, \dots, τ_{n}) \in \mathbb{R}^{n}_{+}$ with each $τ_{i}$ bounded by certain constraints, we obtain a lower bound for the Hausdorff dimension of the set of $τ$-approximable points points over a manifold $\mathcal{M}$, where $\mathcal{M}$ is twice continuously differentiable. From this we produce a lower bound for the set of $ψ$-approximable points over a manifold whe…
▽ More
Given a weight vector $τ=(τ_{1}, \dots, τ_{n}) \in \mathbb{R}^{n}_{+}$ with each $τ_{i}$ bounded by certain constraints, we obtain a lower bound for the Hausdorff dimension of the set of $τ$-approximable points points over a manifold $\mathcal{M}$, where $\mathcal{M}$ is twice continuously differentiable. From this we produce a lower bound for the set of $ψ$-approximable points over a manifold where $ψ$ is a general approximation function with certain limits. The proof is based on a technique developed by Beresnevich et al. in arXiv:1712.03761, but we use an alternative mass transference style theorem.
△ Less
Submitted 12 October, 2020; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Personality Traits and Drug Consumption. A Story Told by Data
Authors:
Elaine Fehrman,
Vincent Egan,
Alexander N. Gorban,
Jeremy Levesley,
Evgeny M. Mirkes,
Awaz K. Muhammad
Abstract:
This is a preprint version of the first book from the series: "Stories told by data". In this book a story is told about the psychological traits associated with drug consumption. The book includes:
- A review of published works on the psychological profiles of drug users.
- Analysis of a new original database with information on 1885 respondents and usage of 18 drugs. (Database is available o…
▽ More
This is a preprint version of the first book from the series: "Stories told by data". In this book a story is told about the psychological traits associated with drug consumption. The book includes:
- A review of published works on the psychological profiles of drug users.
- Analysis of a new original database with information on 1885 respondents and usage of 18 drugs. (Database is available online.)
- An introductory description of the data mining and machine learning methods used for the analysis of this dataset.
- The demonstration that the personality traits (five factor model, impulsivity, and sensation seeking), together with simple demographic data, give the possibility of predicting the risk of consumption of individual drugs with sensitivity and specificity above 70% for most drugs.
- The analysis of correlations of use of different substances and the description of the groups of drugs with correlated use (correlation pleiades).
- Proof of significant differences of personality profiles for users of different drugs. This is explicitly proved for benzodiazepines, ecstasy, and heroin.
- Tables of personality profiles for users and non-users of 18 substances.
The book is aimed at advanced undergraduates or first-year PhD students, as well as researchers and practitioners. No previous knowledge of machine learning, advanced data mining concepts or modern psychology of personality is assumed. For more detailed introduction into statistical methods we recommend several undergraduate textbooks. Familiarity with basic statistics and some experience in the use of probabilities would be helpful as well as some basic technical understanding of psychology.
△ Less
Submitted 17 January, 2020;
originally announced January 2020.
-
sk-Spline interpolation on R^n
Authors:
F. Jarad,
A. Kushpel,
J. Levesley,
K. Tas
Abstract:
The main aim of this article is to introduce sk-splines on R^n and establish representations of cardinal sk-splines with knots and points of interpolation on the sets AZ^n, where A is an arbitrary nonsingular matrix. Such sets of points are analogs for R^n of number theoretic Korobov's grids on the torus and proved to be useful for problems of very high dimensionality.
The main aim of this article is to introduce sk-splines on R^n and establish representations of cardinal sk-splines with knots and points of interpolation on the sets AZ^n, where A is an arbitrary nonsingular matrix. Such sets of points are analogs for R^n of number theoretic Korobov's grids on the torus and proved to be useful for problems of very high dimensionality.
△ Less
Submitted 23 September, 2018;
originally announced September 2018.
-
Automatic Short Answer Grading and Feedback Using Text Mining Methods
Authors:
Neslihan Suzen,
Alexander Gorban,
Jeremy Levesley,
Evgeny Mirkes
Abstract:
Automatic grading is not a new approach but the need to adapt the latest technology to automatic grading has become very important. As the technology has rapidly became more powerful on scoring exams and essays, especially from the 1990s onwards, partially or wholly automated grading systems using computational methods have evolved and have become a major area of research. In particular, the deman…
▽ More
Automatic grading is not a new approach but the need to adapt the latest technology to automatic grading has become very important. As the technology has rapidly became more powerful on scoring exams and essays, especially from the 1990s onwards, partially or wholly automated grading systems using computational methods have evolved and have become a major area of research. In particular, the demand of scoring of natural language responses has created a need for tools that can be applied to automatically grade these responses. In this paper, we focus on the concept of automatic grading of short answer questions such as are typical in the UK GCSE system, and providing useful feedback on their answers to students. We present experimental results on a dataset provided from the introductory computer science class in the University of North Texas. We first apply standard data mining techniques to the corpus of student answers for the purpose of measuring similarity between the student answers and the model answer. This is based on the number of common words. We then evaluate the relation between these similarities and marks awarded by scorers. We then consider an approach that groups student answers into clusters. Each cluster would be awarded the same mark, and the same feedback given to each answer in a cluster. In this manner, we demonstrate that clusters indicate the groups of students who are awarded the same or the similar scores. Words in each cluster are compared to show that clusters are constructed based on how many and which words of the model answer have been used. The main novelty in this paper is that we design a model to predict marks based on the similarities between the student answers and the model answer.
△ Less
Submitted 19 December, 2019; v1 submitted 27 July, 2018;
originally announced July 2018.
-
Convergence of Multilevel Stationary Gaussian Convolution
Authors:
Simon Hubbert,
Jeremy Levesley
Abstract:
It is well-known that polynomial reproduction is not possible when approximating with Gaussian kernels. Quasi-interpolation schemes have been developed which use a finite number of Gaussians at different scales, which then reproduce polynomials of low degree \cite{beatson}, and thus achieve polynomial orders of convergence. At the same time, interpolation with kernels of fixed width suffers from a…
▽ More
It is well-known that polynomial reproduction is not possible when approximating with Gaussian kernels. Quasi-interpolation schemes have been developed which use a finite number of Gaussians at different scales, which then reproduce polynomials of low degree \cite{beatson}, and thus achieve polynomial orders of convergence. At the same time, interpolation with kernels of fixed width suffers from an explosion in condition number, and information from all data points influences the approximation at any one data point (no localisation). In \cite{HL1} the authors show that, for periodic convolution with the Gaussian kernel, a multilevel scheme can give orders of approximation faster than any polynomial. In this paper we present a new multilevel quasi-interpolation algorithm, the discrete version of the algorithm in \cite{HL1}, which mimics the continuous algorithm well, to single precision accuracy, and gives excellent convergence rates for band limited periodic functions. In this paper we explain how the algorithm works, and why we achieve the numerical results we do. The estimates developed have two parts, one involving the convergence of a low degree polynomial truncation term and one involving the control of the remainder of the truncation as the algorithm proceeds.
△ Less
Submitted 23 January, 2020; v1 submitted 29 November, 2017;
originally announced November 2017.
-
Multilevel sparse grids collocation for linear partial differential equations, with tensor product smooth basis functions
Authors:
Yangzhang Zhao,
Qi Zhang,
Jeremy Levesley
Abstract:
Radial basis functions have become a popular tool for approximation and solution of partial differential equations (PDEs). The recently proposed multilevel sparse interpolation with kernels (MuSIK) algorithm proposed in \cite{Georgoulis} shows good convergence. In this paper we use a sparse kernel basis for the solution of PDEs by collocation. We will use the form of approximation proposed and dev…
▽ More
Radial basis functions have become a popular tool for approximation and solution of partial differential equations (PDEs). The recently proposed multilevel sparse interpolation with kernels (MuSIK) algorithm proposed in \cite{Georgoulis} shows good convergence. In this paper we use a sparse kernel basis for the solution of PDEs by collocation. We will use the form of approximation proposed and developed by Kansa \cite{Kansa1986}. We will give numerical examples using a tensor product basis with the multiquadric (MQ) and Gaussian basis functions. This paper is novel in that we consider space-time PDEs in four dimensions using an easy-to-implement algorithm, with smooth approximations. The accuracy observed numerically is as good, with respect to the number of data points used, as other methods in the literature; see \cite{Langer1,Wang1}.
△ Less
Submitted 19 October, 2017;
originally announced October 2017.
-
Pseudo-Outcrop Visualization of Borehole Images and Core Scans
Authors:
Evgeny M. Mirkes,
Alexander N. Gorban,
Jeremy Levesley,
Peter A. S. Elkington,
James A. Whetton
Abstract:
A pseudo-outcrop visualization is demonstrated for borehole and full-diameter rock core images to augment the ubiquitous unwrapped cylinder view and thereby to assist non-specialist interpreters. The pseudo-outcrop visualization is equivalent to a nonlinear projection of the image from borehole to earth frame of reference that creates a solid volume sliced longitudinally to reveal two or more face…
▽ More
A pseudo-outcrop visualization is demonstrated for borehole and full-diameter rock core images to augment the ubiquitous unwrapped cylinder view and thereby to assist non-specialist interpreters. The pseudo-outcrop visualization is equivalent to a nonlinear projection of the image from borehole to earth frame of reference that creates a solid volume sliced longitudinally to reveal two or more faces in which the orientations of geological features indicate what is observed in the subsurface. A proxy for grain size is used to modulate the external dimensions of the plot to mimic profiles seen in real outcrops. The volume is created from a mixture of geological boundary elements and texture, the latter being the residue after the sum of boundary elements is subtracted from the original data. In the case of measurements from wireline microresistivity tools, whose circumferential coverage is substantially less than 100%, the missing circumferential data is first inpainted using multiscale directional transforms, which decompose the image into its elemental building structures, before reconstructing the full image. The pseudo-outcrop view enables direct observation of the angular relationships between features and aids visual comparison between borehole and core images, especially for the interested non-specialist.
△ Less
Submitted 3 September, 2017; v1 submitted 8 February, 2017;
originally announced February 2017.
-
Convergence of Multilevel Stationary Gaussian Quasi-Interpolation
Authors:
Simon Hubbert,
Jeremy Levesley
Abstract:
In this paper we present a new multilevel quasi-interpolation algorithm for smooth periodic functions using scaled Gaussians as basis functions. Recent research in this area has focussed upon implementations using basis function with finite smoothness. In this paper we deliver a first error estimates for the multilevel algorithm using analytic basis functions. The estimate has two parts, one invol…
▽ More
In this paper we present a new multilevel quasi-interpolation algorithm for smooth periodic functions using scaled Gaussians as basis functions. Recent research in this area has focussed upon implementations using basis function with finite smoothness. In this paper we deliver a first error estimates for the multilevel algorithm using analytic basis functions. The estimate has two parts, one involving the convergence of a low degree polynomial truncation term and one involving the control of the remainder of the truncation as the algorithm proceeds. Thus, numerically one observes a convergent scheme. Numerical results suggest that the scheme converges much faster than the theory shows.
△ Less
Submitted 12 March, 2017; v1 submitted 8 September, 2016;
originally announced September 2016.
-
Quasi-interpolation on a sparse grid with Gaussian
Authors:
Fuat Usta,
Jeremy Levesley
Abstract:
Motivated by the recent multilevel sparse kernel-based interpolation (MuSIK) algorithm proposed in [Georgoulis, Levesley and Subhan, SIAM J. Sci. Comput., 35(2), pp. A815-A831, 2013], we introduce the new quasi-multilevel sparse interpolation with kernels (Q-MuSIK) via the combination technique. The Q-MuSIK scheme achieves better convergence and run time in comparison with classical quasi-interpol…
▽ More
Motivated by the recent multilevel sparse kernel-based interpolation (MuSIK) algorithm proposed in [Georgoulis, Levesley and Subhan, SIAM J. Sci. Comput., 35(2), pp. A815-A831, 2013], we introduce the new quasi-multilevel sparse interpolation with kernels (Q-MuSIK) via the combination technique. The Q-MuSIK scheme achieves better convergence and run time in comparison with classical quasi-interpolation; namely, the Q-MuSIK algorithm is generally superior to the MuSIK methods in terms of run time in particular in high-dimensional interpolation problems, since there is no need to solve large algebraic systems.
We subsequently propose a fast, low complexity, high-dimensional quadrature formula based on Q-MuSIK interpolation of the integrand. We present the results of numerical experimentation for both interpolation and quadrature in high dimension.
△ Less
Submitted 2 August, 2016;
originally announced August 2016.
-
Handling missing data in large healthcare dataset: a case study of unknown trauma outcomes
Authors:
E. M. Mirkes,
T. J. Coats,
J. Levesley,
A. N. Gorban
Abstract:
Handling of missed data is one of the main tasks in data preprocessing especially in large public service datasets. We have analysed data from the Trauma Audit and Research Network (TARN) database, the largest trauma database in Europe. For the analysis we used 165,559 trauma cases. Among them, there are 19,289 cases (13.19\%) with unknown outcome. We have demonstrated that these outcomes are not…
▽ More
Handling of missed data is one of the main tasks in data preprocessing especially in large public service datasets. We have analysed data from the Trauma Audit and Research Network (TARN) database, the largest trauma database in Europe. For the analysis we used 165,559 trauma cases. Among them, there are 19,289 cases (13.19\%) with unknown outcome. We have demonstrated that these outcomes are not missed `completely at random' and, hence, it is impossible just to exclude these cases from analysis despite the large amount of available data. We have developed a system of non-stationary Markov models for the handling of missed outcomes and validated these models on the data of 15,437 patients which arrived into TARN hospitals later than 24 hours but within 30 days from injury. We used these Markov models for the analysis of mortality. In particular, we corrected the observed fraction of death. Two naïve approaches give 7.20\% (available case study) or 6.36\% (if we assume that all unknown outcomes are `alive'). The corrected value is 6.78\%. Following the seminal paper of Trunkey (1983) the multimodality of mortality curves has become a much discussed idea. For the whole analysed TARN dataset the coefficient of mortality monotonically decreases in time but the stratified analysis of the mortality gives a different result: for lower severities the coefficient of mortality is a non-monotonic function of the time after injury and may have maxima at the second and third weeks. The approach developed here can be applied to various healthcare datasets which experience the problem of lost patients and missed outcomes.
△ Less
Submitted 18 May, 2020; v1 submitted 3 April, 2016;
originally announced April 2016.
-
Diophantine Approximation and applications in Interference Alignment
Authors:
Faustin Adiceam,
Victor Beresnevich,
Jason Levesley,
Sanju Velani,
Evgeniy Zorin
Abstract:
This paper is motivated by recent applications of Diophantine approximation in electronics, in particular, in the rapidly develo** area of Interference Alignment. Some remarkable advances in this area give substantial credit to the fundamental Khintchine-Groshev Theorem and, in particular, to its far reaching generalisation for submanifolds of a Euclidean space. With a view towards the aforement…
▽ More
This paper is motivated by recent applications of Diophantine approximation in electronics, in particular, in the rapidly develo** area of Interference Alignment. Some remarkable advances in this area give substantial credit to the fundamental Khintchine-Groshev Theorem and, in particular, to its far reaching generalisation for submanifolds of a Euclidean space. With a view towards the aforementioned applications, here we introduce and prove quantitative explicit generalisations of the Khintchine-Groshev Theorem for non-degenerate submanifolds of $\mathbb{R}^n$. The importance of such quantitative statements is explicitly discussed in Section 4.7.1 of Jafar's monograph `Interference Alignment - A New Look at Signal Dimensions in a Communication Network', Foundations and Trends in Communications and Information Theory, Vol. 7, no. 1, 2010.
△ Less
Submitted 11 June, 2015;
originally announced June 2015.
-
Entropy of Sobolev's classes on Compact Homogeneous Riemannian Manifolds
Authors:
A. Kushpel,
J. Levesley
Abstract:
We develop a general method to calculate entropy numbers of standard Sobolev's classes on an arbitrary compact homogeneous Riemannian manifold. Our method is essentially based on a detailed study of geometric characteristics of norms induced by subspaces of harmonics. The method's possibilities are not confined to the statements proved but can be applied in studying more general problems such as e…
▽ More
We develop a general method to calculate entropy numbers of standard Sobolev's classes on an arbitrary compact homogeneous Riemannian manifold. Our method is essentially based on a detailed study of geometric characteristics of norms induced by subspaces of harmonics. The method's possibilities are not confined to the statements proved but can be applied in studying more general problems such as entropy of multiplier operators. As an application, we establish sharp orders of entropy of Sobolev's classes and respective n-widths.
△ Less
Submitted 24 April, 2015;
originally announced April 2015.
-
Approximation of exponential-type functions on a uniform grid by shifts of a basis function
Authors:
Alexander Kushpel,
Jeremy Levesley,
** Sun
Abstract:
In this paper, we study the problem of interpolating a continuous function at $(n+1)$ equally-spaced points in the interval $[0,1]$, using shifts of a kernel on the $(1/n)$-spaced infinite grid. The archetypal example here is approximation using shifts of a Gaussian kernel. We present new results concerning interpolation of functions of exponential type, in particular, polynomials on the integer g…
▽ More
In this paper, we study the problem of interpolating a continuous function at $(n+1)$ equally-spaced points in the interval $[0,1]$, using shifts of a kernel on the $(1/n)$-spaced infinite grid. The archetypal example here is approximation using shifts of a Gaussian kernel. We present new results concerning interpolation of functions of exponential type, in particular, polynomials on the integer grid as a step en route to solve the general interpolation problem. For the Gaussian kernel we introduce a new class of polynomials, closely related to the probabilistic Hermite polynomials and show that evaluations of the polynomials at the integer points provide the coefficients of the interpolants. Taking cue from the classical Newton polynomial interpolation, we derive a closed formula for the Gaussian interpolant of a continuous function on a uniform grid in the unit interval.
△ Less
Submitted 5 March, 2017; v1 submitted 16 April, 2015;
originally announced April 2015.
-
Fast multilevel sparse Gaussian kernels for high-dimensional approximation and integration
Authors:
Zhaonan Dong,
Emmanuil H. Georgoulis,
Jeremy Levesley,
Fuat Usta
Abstract:
A fast multilevel algorithm based on directionally scaled tensor-product Gaussian kernels on structured sparse grids is proposed for interpolation of high-dimensional functions and for the numerical integration of high-dimensional integrals. The algorithm is based on the recent Multilevel Sparse Kernel-based Interpolation (MLSKI) method (Georgoulis, Levesley \& Subhan, \emph{SIAM J. Sci. Comput.},…
▽ More
A fast multilevel algorithm based on directionally scaled tensor-product Gaussian kernels on structured sparse grids is proposed for interpolation of high-dimensional functions and for the numerical integration of high-dimensional integrals. The algorithm is based on the recent Multilevel Sparse Kernel-based Interpolation (MLSKI) method (Georgoulis, Levesley \& Subhan, \emph{SIAM J. Sci. Comput.}, 35(2), pp.~A815--A831, 2013), with particular focus on the fast implementation of Gaussian-based MLSKI for interpolation and integration problems of high-dimen-sional functions $f:[0,1]^d\to\mathbb{R}$, with $5\le d\le 10$. The MLSKI interpolation procedure is shown to be interpolatory and a fast implementation is proposed. More specifically, exploiting the tensor-product nature of anisotropic Gaussian kernels, one-dimensional cardinal basis functions on a sequence of hierarchical equidistant nodes are precomputed to machine precision, rendering the interpolation problem into a fully parallelisable ensemble of linear combinations of function evaluations. A numerical integration algorithm is also proposed, based on interpolating the (high-dimensional) integrand. A series of numerical experiments highlights the applicability of the proposed algorithm for interpolation and integration for up to 10-dimensional problems.
△ Less
Submitted 14 January, 2015;
originally announced January 2015.
-
Noise-Produced Patterns in Images Constructed from Magnetic Flux Leakage Data
Authors:
Anastasiya V. Pimenova,
Denis S. Goldobin,
Jeremy Levesley,
Peter Elkington,
Mark Bacciarelli
Abstract:
Magnetic flux leakage measurements help identify the position, size and shape of corrosion-related defects in steel casings used to protect boreholes drilled into oil and gas reservoirs. Images constructed from magnetic flux leakage data contain patterns related to noise inherent in the method. We investigate the patterns and their scaling properties for the case of delta-correlated input noise, a…
▽ More
Magnetic flux leakage measurements help identify the position, size and shape of corrosion-related defects in steel casings used to protect boreholes drilled into oil and gas reservoirs. Images constructed from magnetic flux leakage data contain patterns related to noise inherent in the method. We investigate the patterns and their scaling properties for the case of delta-correlated input noise, and consider the implications for the method's ability to resolve defects. The analytical evaluation of the noise-produced patterns is made possible by model reduction facilitated by large-scale approximation. With appropriate modification, the approach can be employed to analyze noise-produced patterns in other situations where the data of interest are not measured directly, but are related to the measured data by a complex linear transform involving integrations with respect to spatial coordinates.
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
Magnetic Flux Leakage Method: Large-Scale Approximation
Authors:
Anastasiya V. Pimenova,
Denis S. Goldobin,
Jeremy Levesley,
Andrey O. Ivantsov,
Peter Elkington,
Mark Bacciarelli
Abstract:
We consider the application of the magnetic flux leakage (MFL) method to the detection of defects in ferromagnetic (steel) tubulars. The problem setup corresponds to the cases where the distance from the casing and the point where the magnetic field is measured is small compared to the curvature radius of the undamaged casing and the scale of inhomogeneity of the magnetic field in the defect-free…
▽ More
We consider the application of the magnetic flux leakage (MFL) method to the detection of defects in ferromagnetic (steel) tubulars. The problem setup corresponds to the cases where the distance from the casing and the point where the magnetic field is measured is small compared to the curvature radius of the undamaged casing and the scale of inhomogeneity of the magnetic field in the defect-free case. Mathematically this corresponds to the planar ferromagnetic layer in a uniform magnetic field oriented along this layer. Defects in the layer surface result in a strong deformation of the magnetic field, which provides opportunities for the reconstruction of the surface profile from measurements of the magnetic field. We deal with large-scale defects whose depth is small compared to their longitudinal sizes---these being typical of corrosive damage. Within the framework of large-scale approximation, analytical relations between the casing thickness profile and the measured magnetic field can be derived.
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
Reconstruction of density functions by sk-splines
Authors:
A. Kushpel,
J. Levesley
Abstract:
Reconstruction of density functions and their characteristic functions by radial basis functions with scattered data points is a popular topic in the theory of pricing of basket options. Such functions are usually entire or admit an analytic extension into an appropriate tube and "bell-shaped" with rapidly decaying tails. Unfortunately, the domain of such functions is not compact which creates var…
▽ More
Reconstruction of density functions and their characteristic functions by radial basis functions with scattered data points is a popular topic in the theory of pricing of basket options. Such functions are usually entire or admit an analytic extension into an appropriate tube and "bell-shaped" with rapidly decaying tails. Unfortunately, the domain of such functions is not compact which creates various technical difficulties. We solve interpolation problem on an infinite rectangular grid for a wide range of kernel functions and calculate explicitly their Fourier transform to obtain representations for the respective density functions.
△ Less
Submitted 21 April, 2014;
originally announced April 2014.
-
Lévy driven models and derivative pricing
Authors:
Alexander Kushpel,
Jeremy Levesley
Abstract:
We develop a general method for derivative pricing. This approach has its roots in Shannon's Information Theory. The notion of $λ$-analyticity of Lévy models is introduced on the basis of which new representations of the pricing integral are obtained. It is shown that popular in applications Lévy models are $λ$-analytic. We apply these results to derive a general algorithm for pricing of European…
▽ More
We develop a general method for derivative pricing. This approach has its roots in Shannon's Information Theory. The notion of $λ$-analyticity of Lévy models is introduced on the basis of which new representations of the pricing integral are obtained. It is shown that popular in applications Lévy models are $λ$-analytic. We apply these results to derive a general algorithm for pricing of European call options.
△ Less
Submitted 17 June, 2013;
originally announced June 2013.
-
A converse to linear independence criteria, valid almost everywhere
Authors:
Stéphane Fischler,
Mumtaz Hussain,
Simon Kristensen,
Jason Levesley
Abstract:
We prove a weighted analogue of the Khintchine-Groshev Theorem, where the distance to the nearest integer is replaced by the absolute value. This is subsequently applied to proving the optimality of several linear independence criteria over the field of rational numbers.
We prove a weighted analogue of the Khintchine-Groshev Theorem, where the distance to the nearest integer is replaced by the absolute value. This is subsequently applied to proving the optimality of several linear independence criteria over the field of rational numbers.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.
-
Approximation on the complex sphere
Authors:
Huda Alsaud,
Alexander Kushpel,
Jeremy Levesley
Abstract:
We develop new elements of harmonic analysis on the complex sphere on the basis of which Bernstein's, Jackson's and Kolmogorov's inequalities are established. We apply these results to get order sharp estimates of $m$-term approximations. The results obtained is a synthesis of new results on classical orthogonal polynomials, harmonic analysis on manifolds and geometric properties of Euclidean spac…
▽ More
We develop new elements of harmonic analysis on the complex sphere on the basis of which Bernstein's, Jackson's and Kolmogorov's inequalities are established. We apply these results to get order sharp estimates of $m$-term approximations. The results obtained is a synthesis of new results on classical orthogonal polynomials, harmonic analysis on manifolds and geometric properties of Euclidean spaces.
△ Less
Submitted 27 April, 2012;
originally announced April 2012.
-
A Multiplier Version of the Bernstein Inequality on the Complex Sphere
Authors:
Alexander Kushpel,
Jeremy Levesley
Abstract:
We prove a multiplier version of the Bernstein inequality on the complex sphere. Included in this is a new result relating a bivariate sum involving Jacobi polynomials and Gegenbauer polynomials, which relates the sum of reproducing kernels on spaces of polynomials irreducibly invariant under the unitary group, with the reproducing kernel of the sum of these spaces, which is irreducibly invariant…
▽ More
We prove a multiplier version of the Bernstein inequality on the complex sphere. Included in this is a new result relating a bivariate sum involving Jacobi polynomials and Gegenbauer polynomials, which relates the sum of reproducing kernels on spaces of polynomials irreducibly invariant under the unitary group, with the reproducing kernel of the sum of these spaces, which is irreducibly invariant under the action of the orthogonal group.
△ Less
Submitted 27 April, 2012;
originally announced April 2012.
-
Multilevel Sparse Kernel-Based Interpolation
Authors:
Emmanuil H. Georgoulis,
Jeremy Levesley,
Fazli Subhan
Abstract:
A multilevel kernel-based interpolation method, suitable for moderately high-dimensional function interpolation problems, is proposed. The method, termed multilevel sparse kernel-based interpolation (MLSKI, for short), uses both level-wise and direction-wise multilevel decomposition of structured (or mildly unstructured) interpolation data sites in conjunction with the application of kernel-based…
▽ More
A multilevel kernel-based interpolation method, suitable for moderately high-dimensional function interpolation problems, is proposed. The method, termed multilevel sparse kernel-based interpolation (MLSKI, for short), uses both level-wise and direction-wise multilevel decomposition of structured (or mildly unstructured) interpolation data sites in conjunction with the application of kernel-based interpolants with different scaling in each direction. The multilevel interpolation algorithm is based on a hierarchical decomposition of the data sites, whereby at each level the detail is added to the interpolant by interpolating the resulting residual of the previous level. On each level, anisotropic radial basis functions are used for solving a number of small interpolation problems, which are subsequently linearly combined to produce the interpolant. MLSKI can be viewed as an extension of $d$-boolean interpolation (which is closely related to ideas in sparse grid and hyperbolic crosses literature) to kernel-based functions, within the hierarchical multilevel framework to achieve accelerated convergence. Numerical experiments suggest that the new algorithm is numerically stable and efficient for the reconstruction of large data in $\mathbb{R}^{d}\times \mathbb{R}$, for $d = 2, 3, 4$, with tens or even hundreds of thousands data points. Also, MLSKI appears to be generally superior over classical radial basis function methods in terms of complexity, run time and convergence at least for large data sets.
△ Less
Submitted 18 April, 2012;
originally announced April 2012.
-
On the density of polyharmonic splines
Authors:
Thomas Hangelbroek,
Jeremy Levesley
Abstract:
This article treats the question of fundamentality of the translates of a polyharmonic spline kernel (also known as a surface spline) in the space of continuous functions on a compact set $Ω\subset \RR^d$ when the translates are restricted to $Ω$. Fundamentality is not hard to demonstrate when a low degree polynomial may be added or when translates are permitted to lie outside of $Ω$; the challeng…
▽ More
This article treats the question of fundamentality of the translates of a polyharmonic spline kernel (also known as a surface spline) in the space of continuous functions on a compact set $Ω\subset \RR^d$ when the translates are restricted to $Ω$. Fundamentality is not hard to demonstrate when a low degree polynomial may be added or when translates are permitted to lie outside of $Ω$; the challenge of this problem stems from the presence of the boundary, for which all successful approximation schemes require an added polynomial.
When $Ω$ is the unit ball, we demonstrate that translates of polyharmonic splines are fundamental by considering two related problems: the fundamentality in the space of functions vanishing at the boundary and fundamentality of the restricted kernel in the space of continuous function on the sphere. This gives rise to a new approximation scheme composed of two parts: one which approximates purely on $\partial Ω$, and a second part involving a shift invariant approximant of a function vanishing outside of a neighborhood $Ω$.
△ Less
Submitted 28 November, 2012; v1 submitted 28 November, 2011;
originally announced November 2011.
-
Add-ons for Lattice Boltzmann Methods: Regularization, Filtering and Limiters
Authors:
R. A. Brownlee,
J. Levesley,
D. Packwood,
A. N. Gorban
Abstract:
We describe how regularization of lattice Boltzmann methods can be achieved by modifying dissipation. Classes of techniques used to try to improve regularization of LBMs include flux limiters, enforcing the exact correct production of entropy and manipulating non-hydrodynamic modes of the system in relaxation. Each of these techniques corresponds to an additional modification of dissipation compar…
▽ More
We describe how regularization of lattice Boltzmann methods can be achieved by modifying dissipation. Classes of techniques used to try to improve regularization of LBMs include flux limiters, enforcing the exact correct production of entropy and manipulating non-hydrodynamic modes of the system in relaxation. Each of these techniques corresponds to an additional modification of dissipation compared with the standard LBGK model. Using some standard 1D and 2D benchmarks including the shock tube and lid driven cavity, we explore the effectiveness of these classes of methods.
△ Less
Submitted 16 May, 2012; v1 submitted 3 October, 2011;
originally announced October 2011.
-
Non-Fickian Diffusion and the Accumulation of Methane Bubbles in Deep-Water Sediments
Authors:
D. S. Goldobin,
N. V. Brilliantov,
J. Levesley,
M. A. Lovell,
C. A. Rochelle,
P. D. Jackson,
A. M. Haywood,
S. J. Hunter,
J. G. Rees
Abstract:
In the absence of fractures, methane bubbles in deep-water sediments can be immovably trapped within a porous matrix by surface tension. The dominant mechanism of transfer of gas mass therefore becomes the diffusion of gas molecules through porewater. The accurate description of this process requires non-Fickian diffusion to be accounted for, including both thermodiffusion and gravitational action…
▽ More
In the absence of fractures, methane bubbles in deep-water sediments can be immovably trapped within a porous matrix by surface tension. The dominant mechanism of transfer of gas mass therefore becomes the diffusion of gas molecules through porewater. The accurate description of this process requires non-Fickian diffusion to be accounted for, including both thermodiffusion and gravitational action. We evaluate the diffusive flux of aqueous methane considering non-Fickian diffusion and predict the existence of extensive bubble mass accumulation zones within deep-water sediments. The limitation on the hydrate deposit capacity is revealed; too weak deposits cannot reach the base of the hydrate stability zone and form any bubbly horizon.
△ Less
Submitted 25 December, 2013; v1 submitted 29 November, 2010;
originally announced November 2010.
-
Time Step Expansions and the Invariant Manifold Approach to Lattice Boltzmann Models
Authors:
David J. Packwood,
Jeremy Levesley,
Alexander N. Gorban
Abstract:
The classical method for deriving the macroscopic dynamics of a lattice Boltzmann system is to use a combination of different approximations and expansions. Usually a Chapman-Enskog analysis is performed, either on the continuous Boltzmann system, or its discrete velocity counterpart. Separately a discrete time approximation is introduced to the discrete velocity Boltzmann system, to achieve a pra…
▽ More
The classical method for deriving the macroscopic dynamics of a lattice Boltzmann system is to use a combination of different approximations and expansions. Usually a Chapman-Enskog analysis is performed, either on the continuous Boltzmann system, or its discrete velocity counterpart. Separately a discrete time approximation is introduced to the discrete velocity Boltzmann system, to achieve a practically useful approximation to the continuous system, for use in computation. Thereafter, with some additional arguments, the dynamics of the Chapman-Enskog expansion are linked to the discrete time system to produce the dynamics of the completely discrete scheme. In this paper we put forward a different route to the macroscopic dynamics. We begin with the system discrete in both velocity space and time. We hypothesize that the alternating steps of advection and relaxation, common to all lattice Boltzmann schemes, give rise to a slow invariant manifold. We perform a time step expansion of the discrete time dynamics using the invariance of the manifold. Finally we calculate the dynamics arising from this system. By choosing the fully discrete scheme as a starting point we avoid mixing approximations and arrive at a general form of the microscopic dynamics up to the second order in the time step. We calculate the macroscopic dynamics of two commonly used lattice schemes up to the first order, and hence find the precise form of the deviation from the Navier-Stokes equations in the dissipative term, arising from the discretization of velocity space. Finally we perform a short wave perturbation on the dynamics of these example systems, to find the necessary conditions for their stability.
△ Less
Submitted 16 June, 2010;
originally announced June 2010.
-
The mixed Schmidt conjecture in the theory of Diophantine approximation
Authors:
Dzmitry Badziahin,
Jason Levesley,
Sanju Velani
Abstract:
Let $\mathcal{D}=(d_n)_{n=1}^\infty$ be a bounded sequence of integers with $d_n\ge 2$ and let $(i, j)$ be a pair of strictly positive numbers with $i+j=1$. We prove that the set of $x \in \RR$ for which there exists some constant $c(x) > 0$ such that \[ \max\{|q|_\DDD^{1/i}, \|qx\|^{1/j}\} > c(x)/ q \qquad \forall q \in \NN \] is one quarter winning (in the sense of Schmidt games). Thus the int…
▽ More
Let $\mathcal{D}=(d_n)_{n=1}^\infty$ be a bounded sequence of integers with $d_n\ge 2$ and let $(i, j)$ be a pair of strictly positive numbers with $i+j=1$. We prove that the set of $x \in \RR$ for which there exists some constant $c(x) > 0$ such that \[ \max\{|q|_\DDD^{1/i}, \|qx\|^{1/j}\} > c(x)/ q \qquad \forall q \in \NN \] is one quarter winning (in the sense of Schmidt games). Thus the intersection of any countable number of such sets is of full dimension. In turn, this establishes the natural analogue of Schmidt's conjecture within the framework of the de Mathan-Teulié conjecture -- also known as the `Mixed Littlewood Conjecture'.
△ Less
Submitted 25 January, 2010;
originally announced January 2010.
-
The Metrical Theory of Simultaneously Small Linear Forms
Authors:
Mumtaz Hussain,
Jason Levesley
Abstract:
In this paper we investigate the metrical theory of Diophantine approximation associated with linear forms that are simultaneously small for infinitely many integer vectors; i.e. forms which are close to the origin. A complete Khintchine--Groshev type theorem is established, as well as its Hausdorff measure generalization. The latter implies the complete Hausdorff dimension theory.
In this paper we investigate the metrical theory of Diophantine approximation associated with linear forms that are simultaneously small for infinitely many integer vectors; i.e. forms which are close to the origin. A complete Khintchine--Groshev type theorem is established, as well as its Hausdorff measure generalization. The latter implies the complete Hausdorff dimension theory.
△ Less
Submitted 19 October, 2009;
originally announced October 2009.
-
Enhancing SPH using moving least-squares and radial basis functions
Authors:
R. A. Brownlee,
P. Houston,
J. Levesley,
S. Rosswog
Abstract:
In this paper we consider two sources of enhancement for the meshfree Lagrangian particle method smoothed particle hydrodynamics (SPH) by improving the accuracy of the particle approximation. Namely, we will consider shape functions constructed using: moving least-squares approximation (MLS); radial basis functions (RBF). Using MLS approximation is appealing because polynomial consistency of the…
▽ More
In this paper we consider two sources of enhancement for the meshfree Lagrangian particle method smoothed particle hydrodynamics (SPH) by improving the accuracy of the particle approximation. Namely, we will consider shape functions constructed using: moving least-squares approximation (MLS); radial basis functions (RBF). Using MLS approximation is appealing because polynomial consistency of the particle approximation can be enforced. RBFs further appeal as they allow one to dispense with the smoothing-length -- the parameter in the SPH method which governs the number of particles within the support of the shape function. Currently, only ad hoc methods for choosing the smoothing-length exist. We ensure that any enhancement retains the conservative and meshfree nature of SPH. In doing so, we derive a new set of variationally-consistent hydrodynamic equations. Finally, we demonstrate the performance of the new equations on the Sod shock tube problem.
△ Less
Submitted 30 May, 2007;
originally announced May 2007.
-
Stable simulation of fluid flow with high-Reynolds number using Ehrenfests' steps
Authors:
R. A. Brownlee,
A. N. Gorban,
J. Levesley
Abstract:
The Navier--Stokes equations arise naturally as a result of Ehrenfests' coarse-graining in phase space after a period of free-flight dynamics. This point of view allows for a very flexible approach to the simulation of fluid flow for high-Reynolds number. We construct regularisers for lattice Boltzmann computational models. These regularisers are based on Ehrenfests' coarse-graining idea and cou…
▽ More
The Navier--Stokes equations arise naturally as a result of Ehrenfests' coarse-graining in phase space after a period of free-flight dynamics. This point of view allows for a very flexible approach to the simulation of fluid flow for high-Reynolds number. We construct regularisers for lattice Boltzmann computational models. These regularisers are based on Ehrenfests' coarse-graining idea and could be applied to schemes with either entropic or non-entropic quasiequilibria. We give a numerical scheme which gives good results for the standard test cases of the shock tube and the flow past a square cylinder.
△ Less
Submitted 30 May, 2007;
originally announced May 2007.
-
Extending the range of error estimates for radial approximation in Euclidean space and on spheres
Authors:
R. A. Brownlee,
E. H. Georgoulis,
J. Levesley
Abstract:
We adapt Schaback's error doubling trick [R. Schaback. Improved error bounds for scattered data interpolation by radial basis functions. Math. Comp., 68(225):201--216, 1999.] to give error estimates for radial interpolation of functions with smoothness lying (in some sense) between that of the usual native space and the subspace with double the smoothness. We do this for both bounded subsets of…
▽ More
We adapt Schaback's error doubling trick [R. Schaback. Improved error bounds for scattered data interpolation by radial basis functions. Math. Comp., 68(225):201--216, 1999.] to give error estimates for radial interpolation of functions with smoothness lying (in some sense) between that of the usual native space and the subspace with double the smoothness. We do this for both bounded subsets of R^d and spheres. As a step on the way to our ultimate goal we also show convergence of pseudoderivatives of the interpolation error.
△ Less
Submitted 30 May, 2007;
originally announced May 2007.
-
Nonequilibrium entropy limiters in lattice Boltzmann methods
Authors:
R. A. Brownlee,
A. N. Gorban,
J. Levesley
Abstract:
We construct a system of nonequilibrium entropy limiters for the lattice Boltzmann methods (LBM). These limiters erase spurious oscillations without blurring of shocks, and do not affect smooth solutions. In general, they do the same work for LBM as flux limiters do for finite differences, finite volumes and finite elements methods, but for LBM the main idea behind the construction of nonequilib…
▽ More
We construct a system of nonequilibrium entropy limiters for the lattice Boltzmann methods (LBM). These limiters erase spurious oscillations without blurring of shocks, and do not affect smooth solutions. In general, they do the same work for LBM as flux limiters do for finite differences, finite volumes and finite elements methods, but for LBM the main idea behind the construction of nonequilibrium entropy limiter schemes is to transform a field of a scalar quantity - nonequilibrium entropy. There are two families of limiters: (i) based on restriction of nonequilibrium entropy (entropy "trimming") and (ii) based on filtering of nonequilibrium entropy (entropy filtering). The physical properties of LBM provide some additional benefits: the control of entropy production and accurate estimate of introduced artificial dissipation are possible. The constructed limiters are tested on classical numerical examples: 1D athermal shock tubes with an initial density ratio 1:2 and the 2D lid-driven cavity for Reynolds numbers Re between 2000 and 7500 on a coarse 100*100 grid. All limiter constructions are applicable for both entropic and non-entropic quasiequilibria.
△ Less
Submitted 31 March, 2007;
originally announced April 2007.
-
Stable multispeed lattice Boltzmann methods
Authors:
R. A. Brownlee,
A. N. Gorban,
J. Levesley
Abstract:
We demonstrate how to produce a stable multispeed lattice Boltzmann method (LBM) for a wide range of velocity sets, many of which were previously thought to be intrinsically unstable. We use non-Gauss--Hermitian cubatures. The method operates stably for almost zero viscosity, has second-order accuracy, suppresses typical spurious oscillation (only a modest Gibbs effect is present) and introduces…
▽ More
We demonstrate how to produce a stable multispeed lattice Boltzmann method (LBM) for a wide range of velocity sets, many of which were previously thought to be intrinsically unstable. We use non-Gauss--Hermitian cubatures. The method operates stably for almost zero viscosity, has second-order accuracy, suppresses typical spurious oscillation (only a modest Gibbs effect is present) and introduces no artificial viscosity. There is almost no computational cost for this innovation.
DISCLAIMER: Additional tests and wide discussion of this preprint show that the claimed property of coupled steps: no artificial dissipation and the second-order accuracy of the method are valid only on sufficiently fine grids. For coarse grids the higher-order terms destroy coupling of steps and additional dissipation appears.
The equations are true.
△ Less
Submitted 7 December, 2006; v1 submitted 23 November, 2006;
originally announced November 2006.
-
Stability and stabilisation of the lattice Boltzmann method: Magic steps and salvation operations
Authors:
R. A. Brownlee,
A. N. Gorban,
J. Levesley
Abstract:
We revisit the classical stability versus accuracy dilemma for the lattice Boltzmann methods (LBM). Our goal is a stable method of second-order accuracy for fluid dynamics based on the lattice Bhatnager--Gross--Krook method (LBGK).
The LBGK scheme can be recognised as a discrete dynamical system generated by free-flight and entropic involution. In this framework the stability and accuracy anal…
▽ More
We revisit the classical stability versus accuracy dilemma for the lattice Boltzmann methods (LBM). Our goal is a stable method of second-order accuracy for fluid dynamics based on the lattice Bhatnager--Gross--Krook method (LBGK).
The LBGK scheme can be recognised as a discrete dynamical system generated by free-flight and entropic involution. In this framework the stability and accuracy analysis are more natural. We find the necessary and sufficient conditions for second-order accurate fluid dynamics modelling. In particular, it is proven that in order to guarantee second-order accuracy the distribution should belong to a distinguished surface -- the invariant film (up to second-order in the time step). This surface is the trajectory of the (quasi)equilibrium distribution surface under free-flight.
The main instability mechanisms are identified. The simplest recipes for stabilisation add no artificial dissipation (up to second-order) and provide second-order accuracy of the method. Two other prescriptions add some artificial dissipation locally and prevent the system from loss of positivity and local blow-up. Demonstration of the proposed stable LBGK schemes are provided by the numerical simulation of a 1D shock tube and the unsteady 2D-flow around a square-cylinder up to Reynolds number $\mathcal{O}(10000)$.
△ Less
Submitted 19 January, 2007; v1 submitted 16 November, 2006;
originally announced November 2006.
-
Convergence results for simultaneous and multiplicative Diophantine approximation on planar curves
Authors:
Dzmitry Badziahin,
Jason Levesley
Abstract:
Let $\mathcal{C}$ be a non-degenerate planar curve. We show that the curve is of Khintchine-type for convergence in the case of simultaneous approximation with two independent approximation functions; that is if a certain sum converges then the set of all points $(x,y)$ on the curve which satisfy simultaneously the inequalities $\| q x \| < ψ_1(q)$ and $\| qy \| < ψ_2(q)$ infinitely often has in…
▽ More
Let $\mathcal{C}$ be a non-degenerate planar curve. We show that the curve is of Khintchine-type for convergence in the case of simultaneous approximation with two independent approximation functions; that is if a certain sum converges then the set of all points $(x,y)$ on the curve which satisfy simultaneously the inequalities $\| q x \| < ψ_1(q)$ and $\| qy \| < ψ_2(q)$ infinitely often has induced measure 0. This completes the metric theory for the Lebesgue case. Further, for the cae of multiplicative approximation $\| qx \| \| q y \| < ψ(q)$, we establish a Hausdorff measure convergence result for the same class of curves, the first such result for a general class of manifolds in this particular setup.
△ Less
Submitted 28 April, 2006;
originally announced May 2006.
-
Stabilisation of the lattice-Boltzmann method using the Ehrenfests' coarse-graining
Authors:
R. A. Brownlee,
A. N. Gorban,
J. Levesley
Abstract:
The lattice-Boltzmann method (LBM) and its variants have emerged as promising, computationally efficient and increasingly popular numerical methods for modelling complex fluid flow. However, it is acknowledged that the method can demonstrate numerical instabilities, e.g., in the vicinity of shocks. We propose a simple and novel technique to stabilise the lattice-Boltzmann method by monitoring th…
▽ More
The lattice-Boltzmann method (LBM) and its variants have emerged as promising, computationally efficient and increasingly popular numerical methods for modelling complex fluid flow. However, it is acknowledged that the method can demonstrate numerical instabilities, e.g., in the vicinity of shocks. We propose a simple and novel technique to stabilise the lattice-Boltzmann method by monitoring the difference between microscopic and macroscopic entropy. Populations are returned to their equilibrium states if a threshold value is exceeded. We coin the name Ehrenfests' steps for this procedure in homage to the vehicle that we use to introduce the procedure, namely, the Ehrenfests' idea of coarse-graining. The one-dimensional shock tube for a compressible isothermal fluid is a standard benchmark test for hydrodynamic codes. We observe that, of all the LBMs considered in the numerical experiment with the one-dimensional shock tube, only the method which includes Ehrenfests' steps is capable of suppressing spurious post-shock oscillations.
△ Less
Submitted 23 May, 2006; v1 submitted 15 May, 2006;
originally announced May 2006.
-
Diophantine approximation with perfect squares and the solvability of an inhomogeneous wave equation
Authors:
V. Beresnevich,
M. Dodson,
S. Kristensen,
J. Levesley
Abstract:
The Hausdorff dimension of an exceptional set of periods for which convergence of a formal solution to an inhomogeneous wave equation in n spatial and one temporal dimension is problematic, is determined along with conditions which the periods must satisfy to ensure the solvability of the inhomogeneous wave equation by a smooth periodic function. To derive this information, a complete metric the…
▽ More
The Hausdorff dimension of an exceptional set of periods for which convergence of a formal solution to an inhomogeneous wave equation in n spatial and one temporal dimension is problematic, is determined along with conditions which the periods must satisfy to ensure the solvability of the inhomogeneous wave equation by a smooth periodic function. To derive this information, a complete metric theory for a related fully nonlinear Diophantine approximation problem involving perfect squares is established.
△ Less
Submitted 29 December, 2005;
originally announced December 2005.
-
On a problem of K. Mahler: Diophantine approximation and Cantor sets
Authors:
Jason Levesley,
Cem Salp,
Sanju Velani
Abstract:
Let $K$ denote the middle third Cantor set and ${\cal A}:= \{3^n : n = 0,1,2, >... \} $. Given a real, positive function $ψ$ let $ W_{\cal A}(ψ)$ denote the set of real numbers $x$ in the unit interval for which there exist infinitely many $(p,q) \in \Z \times {\cal A} $ such that $ |x - p/q| < ψ(q) $. The analogue of the Hausdorff measure version of the Duffin-Schaeffer conjecture is establishe…
▽ More
Let $K$ denote the middle third Cantor set and ${\cal A}:= \{3^n : n = 0,1,2, >... \} $. Given a real, positive function $ψ$ let $ W_{\cal A}(ψ)$ denote the set of real numbers $x$ in the unit interval for which there exist infinitely many $(p,q) \in \Z \times {\cal A} $ such that $ |x - p/q| < ψ(q) $. The analogue of the Hausdorff measure version of the Duffin-Schaeffer conjecture is established for $ W_{\cal A}(ψ) \cap K $. One of the consequences of this is that there exist very well approximable numbers, other than Liouville numbers, in $K$ -- an assertion attributed to K. Mahler.
△ Less
Submitted 4 May, 2005;
originally announced May 2005.
-
A quantitative Khintchine-Groshev type theorem over a field of formal series
Authors:
M. M. Dodson,
S. Kristensen,
J. Levesley
Abstract:
An asymptotic formula which holds almost everywhere is obtained for the number of solutions to the Diophantine inequalities |qA-p|<ψ(|q|), where A is an n by m matrix (m>1) over the field of formal Laurent series with coefficients from a finite field, and p and q are vectors of polynomials over the same finite field.
An asymptotic formula which holds almost everywhere is obtained for the number of solutions to the Diophantine inequalities |qA-p|<ψ(|q|), where A is an n by m matrix (m>1) over the field of formal Laurent series with coefficients from a finite field, and p and q are vectors of polynomials over the same finite field.
△ Less
Submitted 28 October, 2004; v1 submitted 30 January, 2004;
originally announced January 2004.