-
Equations for the overlaps of a SIC
Authors:
Len Bos,
Shayne Waldron
Abstract:
We give a holomorphic quartic polynomial in the overlap variables whose zeros on the torus are precisely the Weyl-Heisenberg SICs (symmetric informationally complete positive operator valued measures). By way of comparison, all the other known systems of equations that determine a Weyl-Heisenberg SIC involve variables and their complex conjugates. We also give a related interesting result about th…
▽ More
We give a holomorphic quartic polynomial in the overlap variables whose zeros on the torus are precisely the Weyl-Heisenberg SICs (symmetric informationally complete positive operator valued measures). By way of comparison, all the other known systems of equations that determine a Weyl-Heisenberg SIC involve variables and their complex conjugates. We also give a related interesting result about the powers of the projective Fourier transform of the group G = Z d x Z d .
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
On minimizing cyclists' ascent times
Authors:
Len Bos,
Michael A. Slawinski,
Raphaël A. Slawinski,
Theodore Stanoev
Abstract:
We prove that, given an average power, the ascent time is minimized if a cyclist maintains a constant ground speed regardless of the slope. Herein, minimizing the time is equivalent to maximizing -- for a given uphill -- the corresponding mean ascent velocity (VAM: velocità ascensionale media), which is a common training metric. We illustrate the proof with numerical examples, and show that, in ge…
▽ More
We prove that, given an average power, the ascent time is minimized if a cyclist maintains a constant ground speed regardless of the slope. Herein, minimizing the time is equivalent to maximizing -- for a given uphill -- the corresponding mean ascent velocity (VAM: velocità ascensionale media), which is a common training metric. We illustrate the proof with numerical examples, and show that, in general, maintaining a constant instantaneous power results in longer ascent times; both strategies result in the same time if the slope is constant. To remain within the athlete's capacity, we examine the effect of complementing the average-power constraint with a maximum-power constraint. Even with this additional constraint, the ascent time is the shortest with a modified constant-speed -- not constant-power -- strategy; as expected, both strategies result in the same time if the maximum and average powers are equal to one another. Given standard available information -- including level of fitness, quantified by the power output, and ascent profile -- our results allow to formulate reliable and convenient strategies of uphill timetrials.
△ Less
Submitted 9 May, 2024; v1 submitted 5 March, 2024;
originally announced March 2024.
-
Towards AI-Based Precision Oncology: A Machine Learning Framework for Personalized Counterfactual Treatment Suggestions based on Multi-Omics Data
Authors:
Manuel Schürch,
Laura Boos,
Viola Heinzelmann-Schwarz,
Gabriele Gut,
Michael Krauthammer,
Andreas Wicki,
Tumor Profiler Consortium
Abstract:
AI-driven precision oncology has the transformative potential to reshape cancer treatment by leveraging the power of AI models to analyze the interaction between complex patient characteristics and their corresponding treatment outcomes. New technological platforms have facilitated the timely acquisition of multimodal data on tumor biology at an unprecedented resolution, such as single-cell multi-…
▽ More
AI-driven precision oncology has the transformative potential to reshape cancer treatment by leveraging the power of AI models to analyze the interaction between complex patient characteristics and their corresponding treatment outcomes. New technological platforms have facilitated the timely acquisition of multimodal data on tumor biology at an unprecedented resolution, such as single-cell multi-omics data, making this quality and quantity of data available for data-driven improved clinical decision-making. In this work, we propose a modular machine learning framework designed for personalized counterfactual cancer treatment suggestions based on an ensemble of machine learning experts trained on diverse multi-omics technologies. These specialized counterfactual experts per technology are consistently aggregated into a more powerful expert with superior performance and can provide both confidence and an explanation of its decision. The framework is tailored to address critical challenges inherent in data-driven cancer research, including the high-dimensional nature of the data, and the presence of treatment assignment bias in the retrospective observational data. The framework is showcased through comprehensive demonstrations using data from in-vitro and in-vivo treatment responses from a cohort of patients with ovarian cancer. Our method aims to empower clinicians with a reality-centric decision-support tool including probabilistic treatment suggestions with calibrated confidence and personalized explanations for tailoring treatment strategies to multi-omics characteristics of individual cancer patients.
△ Less
Submitted 20 March, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
A note on polynomial-free unisolvence of polyharmonic splines at random points
Authors:
Len Bos,
Alvise Sommariva,
Marco Vianello
Abstract:
In this note we prove almost sure unisolvence of RBF interpolation on randomly distributed sequences by a wide class of polyharmonic splines (including Thin-Plate Splines), without polynomial addition.
In this note we prove almost sure unisolvence of RBF interpolation on randomly distributed sequences by a wide class of polyharmonic splines (including Thin-Plate Splines), without polynomial addition.
△ Less
Submitted 21 December, 2023;
originally announced December 2023.
-
A Characterization of Optimal Prediction Measures via $\ell_1$ Minimization
Authors:
Len Bos
Abstract:
Suppose that $K\subset\C$ is compact and that $z_0\in\C\backslash K$ is an external point. An optimal prediction measure for regression by polynomials of degree at most $n,$ is one for which the variance of the prediction at $z_0$ is as small as possible. Hoel and Levine (\cite{HL}) have considered the case of $K=[-1,1]$ and $z_0=x_0\in \R\backslash [-1,1],$ where they show that the support of the…
▽ More
Suppose that $K\subset\C$ is compact and that $z_0\in\C\backslash K$ is an external point. An optimal prediction measure for regression by polynomials of degree at most $n,$ is one for which the variance of the prediction at $z_0$ is as small as possible. Hoel and Levine (\cite{HL}) have considered the case of $K=[-1,1]$ and $z_0=x_0\in \R\backslash [-1,1],$ where they show that the support of the optimal measure is the $n+1$ extremme points of the Chebyshev polynomial $T_n(x)$ and characterizing the optimal weights in terms of absolute values of fundamental interpolating Lagrange polynomials. More recently, \cite{BLO} has given the equivalence of the optimal prediction problem with that of finding polynomials of extremal growth. They also study in detail the case of $K=[-1,1]$ and $z_0=ia\in i\R,$ purely imaginary. In this work we generalize the Hoel-Levine formula to the general case when the support of the optimal measure is a finite set and give a formula for the optimal weights in terms of a $\ell_1$ minimization problem.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
On Waldron Interpolation on a Simplex in $\mathbb{R}^d$
Authors:
Len Bos,
Sione Ma'u,
Shayne Waldron
Abstract:
We introduce explicit families of good interpolation points for interpolation on a triangle in $\mathbb{R}^2$ that may be used for either polynomial interpolation or a certain rational interpolation for which we give explicit formulas.
We introduce explicit families of good interpolation points for interpolation on a triangle in $\mathbb{R}^2$ that may be used for either polynomial interpolation or a certain rational interpolation for which we give explicit formulas.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
On the Growth of Lebesgue Constants for Degree One Fekete Points in terms of the Dimension
Authors:
Len Bos
Abstract:
We discuss the growth of the Lebesgue constants for polynomial interpolation at Fekete points for fixed degree (one) and varying dimension, and underlying set $K\subset \R^d$ a simplex, ball or cube.
We discuss the growth of the Lebesgue constants for polynomial interpolation at Fekete points for fixed degree (one) and varying dimension, and underlying set $K\subset \R^d$ a simplex, ball or cube.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
Asymptotic Approximate Fekete Arrays
Authors:
T. Bloom,
L. Bos,
N. Levenberg
Abstract:
The notion of asymptotic Fekete arrays, arrays of points in a compact set $K\subset {\bf C}^d$ which behave asymptotically like Fekete arrays, has been well-studied, albeit much more recently in dimensions $d>1$. Here we show that one can allow a more flexible definition where the points in the array need not lie in $K$. Our results, which work in the general setting of weighted pluripotential the…
▽ More
The notion of asymptotic Fekete arrays, arrays of points in a compact set $K\subset {\bf C}^d$ which behave asymptotically like Fekete arrays, has been well-studied, albeit much more recently in dimensions $d>1$. Here we show that one can allow a more flexible definition where the points in the array need not lie in $K$. Our results, which work in the general setting of weighted pluripotential theory, rely heavily, in the multidimensional setting, on the ground-breaking work of Berman, Boucksom and Nystrom.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
On Fekete Points for a Real Simplex
Authors:
Len Bos
Abstract:
We survey what is known about Fekete points/optimal designs for a simplex in $\R^d.$ Several new results are included. The notion of Fejér exponenet for a set of interpolation points is introduced.
We survey what is known about Fekete points/optimal designs for a simplex in $\R^d.$ Several new results are included. The notion of Fejér exponenet for a set of interpolation points is introduced.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
Modelling of a cyclist's power for time trials on a velodrome
Authors:
Len Bos,
Michael A. Slawinski,
Raphaël A. Slawinski,
Theodore Stanoev
Abstract:
We formulate a phenomenological model to study the power applied by a cyclist on a velodrome\, -- \,for individual timetrials\, -- \,taking into account the straights, circular arcs, connecting transition curves and banking. The dissipative forces we consider are air resistance, rolling resistance, lateral friction and drivetrain resistance. Also, power can be used to increase the kinetic and grav…
▽ More
We formulate a phenomenological model to study the power applied by a cyclist on a velodrome\, -- \,for individual timetrials\, -- \,taking into account the straights, circular arcs, connecting transition curves and banking. The dissipative forces we consider are air resistance, rolling resistance, lateral friction and drivetrain resistance. Also, power can be used to increase the kinetic and gravitational potential energy. Herein, to model a steady ride\, -- \,as expected for individual timetrials\, -- \,we assume a constant centre-of-mass speed, while allowing the cadence and power to vary during a lap. Hence, the kinetic energy is constant and the only mechanical energy whose change we need to consider is the increase of gravitational potential energy due to raising the centre of mass upon exiting each curve. The effect of dissipative forces is examined at each point of the lap; the effect of conservative forces is examined as an average. The latter is a small\, -- \,albeit not negligible\, -- \,part of the total power, and its inclusion within a model is a novelty presented herein. It increases the model's empirical adequacy.
Following derivations and justifications of expressions that constitute this mathematical model, we present a numerical example. We show that the cadence and power vary slightly during a steady ride. In other words, a constant centre-of-mass speed entails nearly constant cadence and power, as expected for a steady ride and as supported by measurements. Also, we examine changes in the required power due to changes of various quantities, such as air density at a velodrome, laptime and several others, as well as the model sensitivity to input errors. Furthermore, we examine the effects on the required power of slight and gradual changes in speed, which are pertinent to individual time trials.
△ Less
Submitted 20 September, 2023; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Collective discrete optimisation as judgment aggregation
Authors:
Linus Boes,
Rachael Colley,
Umberto Grandi,
Jerome Lang,
Arianna Novaro
Abstract:
Many important collective decision-making problems can be seen as multi-agent versions of discrete optimisation problems. Participatory budgeting, for instance, is the collective version of the knapsack problem; other examples include collective scheduling, and collective spanning trees. Rather than develo** a specific model, as well as specific algorithmic techniques, for each of these problems…
▽ More
Many important collective decision-making problems can be seen as multi-agent versions of discrete optimisation problems. Participatory budgeting, for instance, is the collective version of the knapsack problem; other examples include collective scheduling, and collective spanning trees. Rather than develo** a specific model, as well as specific algorithmic techniques, for each of these problems, we propose to represent and solve them in the unifying framework of judgment aggregation with weighted issues. We provide a modular definition of collective discrete optimisation (CDO) rules based on coupling a set scoring function with an operator, and we show how they generalise several existing procedures developed for specific CDO problems. We also give an implementation based on integer linear programming (ILP) and test it on the problem of collective spanning trees.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Modelling of cyclist's power to overcome dissipative forces on a velodrome
Authors:
Len Bos,
Michael A. Slawinski,
Raphaël Slawinski,
Theodore Stanoev
Abstract:
We model the instantaneous power applied by a cyclist on a velodrome -- for individual pursuits and other individual time trials -- taking into account its straights, circular arcs, and connecting transition curves. The forces opposing the motion are air resistance, rolling resistance, lateral friction and drivetrain resistance. We examine the constant-cadence and constant-power cases, and discuss…
▽ More
We model the instantaneous power applied by a cyclist on a velodrome -- for individual pursuits and other individual time trials -- taking into account its straights, circular arcs, and connecting transition curves. The forces opposing the motion are air resistance, rolling resistance, lateral friction and drivetrain resistance. We examine the constant-cadence and constant-power cases, and discuss their results, including an examination of empirical adequacy of the model.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
On modelling bicycle power for velodromes: Part II Formulation for individual pursuits
Authors:
Len Bos,
Michael A. Slawinski,
Raphaël A. Slawinski,
Theodore Stanoev
Abstract:
We model the instantaneous power on a velodrome--as applied to individual pursuits and other individual time trials--taking into account its straights, circular arcs, and connecting transition curves. The forces opposing the motion are air resistance, rolling resistance, lateral friction and drivetrain resistance. We examine the constant-cadence and constant-power cases, and discuss their results,…
▽ More
We model the instantaneous power on a velodrome--as applied to individual pursuits and other individual time trials--taking into account its straights, circular arcs, and connecting transition curves. The forces opposing the motion are air resistance, rolling resistance, lateral friction and drivetrain resistance. We examine the constant-cadence and constant-power cases, and discuss their results, including an examination of an empirical adequacy of the model. We also examine changes in the kinetic and potential energy.
△ Less
Submitted 8 January, 2021; v1 submitted 2 September, 2020;
originally announced September 2020.
-
On maximizing VAM for a given power: Slope, cadence, force and gear-ratio considerations
Authors:
Len Bos,
Michael A. Slawinski,
Theodore Stanoev
Abstract:
The velocità ascensionale media (VAM) is measurement that quantifies a cyclist's climbing ability. It depends on both the ground speed of a bicycle-cyclist system and the slope of an incline. To maximize the ascent speed, the solution to the brachistochrone problem determines that the optimal curve for the incline is a straight line, which is a hill with a constant slope. The maximum obtainable VA…
▽ More
The velocità ascensionale media (VAM) is measurement that quantifies a cyclist's climbing ability. It depends on both the ground speed of a bicycle-cyclist system and the slope of an incline. To maximize the ascent speed, the solution to the brachistochrone problem determines that the optimal curve for the incline is a straight line, which is a hill with a constant slope. The maximum obtainable VAM value by a cyclist increases monotonically with the slope of the incline, but is limited by the maximum sustainable power. These properties -- which are theorems stemming from a standard mathematical model to account for the power required to propel a bicycle -- constitute a mathematical-physics background upon which various strategies for the VAM maximization can be examined in the context of the maximum sustainable power as a function of both the gear ratio and cadence. Recently established records provide an empirical support for these analytical results, which are based on theoretical considerations.
△ Less
Submitted 23 March, 2021; v1 submitted 29 June, 2020;
originally announced June 2020.
-
Correction/Addendum to "The Extremal Function for the Complex Ball for Generalized Notions of Degree and Multivariate Polynomial Approximation"
Authors:
T. Bloom,
L. Bos,
N. Levenberg,
S. Ma'u,
F. Piazzon
Abstract:
We correct the calculation of the Monge-Ampère measure of a certain extremal plurisubharmonic function for the complex Euclidean ball in C^2.
We correct the calculation of the Monge-Ampère measure of a certain extremal plurisubharmonic function for the complex Euclidean ball in C^2.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
Optimal Polynomial Prediction Measures and Extremal Polynomial Growth
Authors:
L. Bos,
N. Levenberg,
J. Ortega-Cerda
Abstract:
We show that the problem of finding the measure supported on a compact subset K of the complex plane such that the variance of the least squares predictor by polynomials of degree at most n at a point exterior to K is a minimum, is equivalent to the problem of finding the polynomial of degree at most n, bounded by 1 on K with extremal growth at this external point. We use this to find the polynomi…
▽ More
We show that the problem of finding the measure supported on a compact subset K of the complex plane such that the variance of the least squares predictor by polynomials of degree at most n at a point exterior to K is a minimum, is equivalent to the problem of finding the polynomial of degree at most n, bounded by 1 on K with extremal growth at this external point. We use this to find the polynomials of extremal growth for the interval [-1,1] at a purely imaginary point. The related problem on the extremal growth of real polynomials was studied by Erdős in 1947.
△ Less
Submitted 28 December, 2019;
originally announced December 2019.
-
Adaptive sampling-based quadrature rules for efficient Bayesian prediction
Authors:
L. M. M. van den Bos,
B. Sanderse,
W. A. A. M. Bierbooms
Abstract:
A novel method is proposed to infer Bayesian predictions of computationally expensive models. The method is based on the construction of quadrature rules, which are well-suited for approximating the weighted integrals occurring in Bayesian prediction. The novel idea is to construct a sequence of nested quadrature rules with positive weights that converge to a quadrature rule that is weighted with…
▽ More
A novel method is proposed to infer Bayesian predictions of computationally expensive models. The method is based on the construction of quadrature rules, which are well-suited for approximating the weighted integrals occurring in Bayesian prediction. The novel idea is to construct a sequence of nested quadrature rules with positive weights that converge to a quadrature rule that is weighted with respect to the posterior. The quadrature rules are constructed using a proposal distribution that is determined by means of nearest neighbor interpolation of all available evaluations of the posterior. It is demonstrated both theoretically and numerically that this approach yields accurate estimates of the integrals involved in Bayesian prediction. The applicability of the approach for a fluid dynamics test case is demonstrated by inferring accurate predictions of the transonic flow over the RAE2822 airfoil with a small number of model evaluations. Here, the closure coefficients of the Spalart-Allmaras turbulence model are considered to be uncertain and are calibrated using wind tunnel measurements.
△ Less
Submitted 24 May, 2020; v1 submitted 19 July, 2019;
originally announced July 2019.
-
Non-intrusive uncertainty quantification using reduced cubature rules
Authors:
L. M. M. van den Bos,
B. Koren,
R. P. Dwight
Abstract:
For the purpose of uncertainty quantification with collocation, a method is proposed for generating families of one-dimensional nested quadrature rules with positive weights and symmetric nodes. This is achieved through a reduction procedure: we start with a high-degree quadrature rule with positive weights and remove nodes while preserving symmetry and positivity. This is shown to be always possi…
▽ More
For the purpose of uncertainty quantification with collocation, a method is proposed for generating families of one-dimensional nested quadrature rules with positive weights and symmetric nodes. This is achieved through a reduction procedure: we start with a high-degree quadrature rule with positive weights and remove nodes while preserving symmetry and positivity. This is shown to be always possible, by a lemma depending primarily on Carathéodory's theorem. The resulting one-dimensional rules can be used within a Smolyak procedure to produce sparse multi-dimensional rules, but weight positivity is lost then. As a remedy, the reduction procedure is directly applied to multi-dimensional tensor-product cubature rules. This allows to produce a family of sparse cubature rules with positive weights, competitive with Smolyak rules. Finally the positivity constraint is relaxed to allow more flexibility in the removal of nodes. This gives a second family of sparse cubature rules, in which iteratively as many nodes as possible are removed. The new quadrature and cubature rules are applied to test problems from mathematics and fluid dynamics. Their performance is compared with that of the tensor-product and standard Clenshaw-Curtis Smolyak cubature rule.
△ Less
Submitted 15 May, 2019;
originally announced May 2019.
-
Fatigue design load calculations of the offshore NREL 5MW benchmark turbine using quadrature rule techniques
Authors:
L. M. M. van den Bos,
W. A. A. M. Bierbooms,
A. Alexandre,
B. Sanderse,
G. J. W. van Bussel
Abstract:
A novel approach is proposed to reduce, compared to the conventional binning approach, the large number of aeroelastic code evaluations that are necessary to obtain equivalent loads acting on wind turbines. These loads describe the effect of long-term environmental variability on the fatigue loads of a horizontal-axis wind turbine. In particular Design Load Case 1.2, as standardized by IEC, is con…
▽ More
A novel approach is proposed to reduce, compared to the conventional binning approach, the large number of aeroelastic code evaluations that are necessary to obtain equivalent loads acting on wind turbines. These loads describe the effect of long-term environmental variability on the fatigue loads of a horizontal-axis wind turbine. In particular Design Load Case 1.2, as standardized by IEC, is considered. The approach is based on numerical integration techniques and, more specifically, quadrature rules. The quadrature rule used in this work is a recently proposed "implicit" quadrature rule, which has the main advantage that it can be constructed directly using measurements of the environment. It is demonstrated that the proposed approach yields accurate estimations of the equivalent loads using a significantly reduced number of aeroelastic model evaluations (compared to binning). Moreover the error introduced by the seeds (introduced by averaging over random wind fields and sea states) is incorporated in the quadrature framework, yielding an even further reduction in the number of aeroelastic code evaluations. The reduction in computational time is demonstrated by assessing the fatigue loads on the NREL 5MW reference offshore wind turbine in conjunction with measurement data obtained at the North Sea, both for a simplified and a full load case.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
On Christoffel roots for nondetached slowness surfaces
Authors:
Len Bos,
Michael A. Slawinski,
Theodore Stanoev
Abstract:
The only restriction on the values of the elasticity parameters is the stability condition. Within this condition, we examine Christoffel equation for nondetached $qP$ slowness surfaces in transversely isotropic media. If the $qP$ slowness surface is detached, each root of the solubility condition corresponds to a distinct smooth wavefront. If the $qP$ slowness surface is nondetached, the roots ar…
▽ More
The only restriction on the values of the elasticity parameters is the stability condition. Within this condition, we examine Christoffel equation for nondetached $qP$ slowness surfaces in transversely isotropic media. If the $qP$ slowness surface is detached, each root of the solubility condition corresponds to a distinct smooth wavefront. If the $qP$ slowness surface is nondetached, the roots are elliptical but do not correspond to distinct wavefronts; also, the $qP$ and $qSV$ slowness surfaces are not smooth.
△ Less
Submitted 6 March, 2019;
originally announced March 2019.
-
A geometric approach for the addition of nodes to an interpolatory quadrature rule with positive weights
Authors:
L. M. M. van den Bos,
B. Sanderse
Abstract:
A novel mathematical framework is derived for the addition of nodes to univariate and interpolatory quadrature rules. The framework is based on the geometrical interpretation of the Vandermonde matrix describing the relation between the nodes and the weights and can be used to determine all nodes that can be added to an interpolatory quadrature rule with positive weights such that the positive wei…
▽ More
A novel mathematical framework is derived for the addition of nodes to univariate and interpolatory quadrature rules. The framework is based on the geometrical interpretation of the Vandermonde matrix describing the relation between the nodes and the weights and can be used to determine all nodes that can be added to an interpolatory quadrature rule with positive weights such that the positive weights are preserved. In the case of addition of a single node, the derived inequalities that describe the regions where nodes can be added are explicit. Besides addition of nodes these inequalities also yield an algorithmic description of the replacement and removal of nodes. It is shown that it is not always possible to add a single node while preserving positive weights. On the other hand, addition of multiple nodes and preservation of positive weights is always possible, although the minimum number of nodes that need to be added can be as large as the number of nodes of the quadrature rule. In case of addition of multiple nodes the inequalities describing the regions where nodes can be added become implicit. It is shown that the well-known Patterson extension of quadrature rules is a special case that forms the boundary of these regions and various examples of the applicability of the framework are discussed. By exploiting the framework, two new sets of quadrature rules are proposed. Their performance is compared with the well-known Gaussian and Clenshaw-Curtis quadrature rules, demonstrating the advantages of our proposed nested quadrature rules with positive weights and fine granularity.
△ Less
Submitted 23 January, 2021; v1 submitted 20 February, 2019;
originally announced February 2019.
-
On orthogonal transformations of Christoffel equations
Authors:
Len Bos,
Michael A. Slawinski,
Theodore Stanoev,
Maurizio Vianello
Abstract:
The purpose of this paper is to prove the equivalence$-$under rotations of distinct terms$-$of different forms of a determinantal equation that appears in the studies of wave propagation in Hookean solids, in the context of the Christoffel equations. To do so, we prove a general proposition that is not limited to ${\mathbb R}^3$, nor is it limited to the elasticity tensor with its index symmetries…
▽ More
The purpose of this paper is to prove the equivalence$-$under rotations of distinct terms$-$of different forms of a determinantal equation that appears in the studies of wave propagation in Hookean solids, in the context of the Christoffel equations. To do so, we prove a general proposition that is not limited to ${\mathbb R}^3$, nor is it limited to the elasticity tensor with its index symmetries. Furthermore, the proposition is valid for orthogonal transformations, not only for rotations. The sought equivalence is a corollary of that proposition.
△ Less
Submitted 12 January, 2019;
originally announced January 2019.
-
Generating nested quadrature rules with positive weights based on arbitrary sample sets
Authors:
L. M. M. van den Bos,
B. Sanderse,
W. A. A. M. Bierbooms,
G. J. W. van Bussel
Abstract:
For the purpose of uncertainty propagation a new quadrature rule technique is proposed that has positive weights, has high degree, and is constructed using only samples that describe the probability distribution of the uncertain parameters. Moreover, nodes can be added to the quadrature rule, resulting into a sequence of nested rules. The rule is constructed by iterating over the samples of the di…
▽ More
For the purpose of uncertainty propagation a new quadrature rule technique is proposed that has positive weights, has high degree, and is constructed using only samples that describe the probability distribution of the uncertain parameters. Moreover, nodes can be added to the quadrature rule, resulting into a sequence of nested rules. The rule is constructed by iterating over the samples of the distribution and exploiting the null space of the Vandermonde-system that describes the nodes and weights, in order to select which samples will be used as nodes in the quadrature rule. The main novelty of the quadrature rule is that it can be constructed using any number of dimensions, using any basis, in any space, and using any distribution. It is demonstrated both theoretically and numerically that the rule always has positive weights and therefore has high convergence rates for sufficiently smooth functions. The convergence properties are demonstrated by approximating the integral of the Genz test functions. The applicability of the quadrature rule to complex uncertainty propagation cases is demonstrated by determining the statistics of the flow over an airfoil governed by the Euler equations, including the case of dependent uncertain input parameters. The new quadrature rule significantly outperforms classical sparse grid methods.
△ Less
Submitted 17 July, 2019; v1 submitted 26 September, 2018;
originally announced September 2018.
-
On the Backus average of layers with randomly oriented elasticity tensors
Authors:
Len Bos,
Michael A. Slawinski,
Theodore Stanoev
Abstract:
As shown by Backus (1962), the average of a stack of isotropic layers results in a transversely isotropic medium. Herein, we consider a stack of layers consisting of a randomly oriented anisotropic elasticity tensor, which-one might expect-would result in an isotropic medium. However, we show-by means of a fundamental symmetry of the Backus average-that the corresponding Backus average is only tra…
▽ More
As shown by Backus (1962), the average of a stack of isotropic layers results in a transversely isotropic medium. Herein, we consider a stack of layers consisting of a randomly oriented anisotropic elasticity tensor, which-one might expect-would result in an isotropic medium. However, we show-by means of a fundamental symmetry of the Backus average-that the corresponding Backus average is only transversely isotropic and not, in general, isotropic. In the process, we formulate, and use, a relationship between the Backus and Gazis et al. (1963) averages.
△ Less
Submitted 18 April, 2018;
originally announced April 2018.
-
Bayesian model calibration with interpolating polynomials based on adaptively weighted Leja nodes
Authors:
L. M. M. van den Bos,
B. Sanderse,
W. A. A. M. Bierbooms,
G. J. W. van Bussel
Abstract:
An efficient algorithm is proposed for Bayesian model calibration, which is commonly used to estimate the model parameters of non-linear, computationally expensive models using measurement data. The approach is based on Bayesian statistics: using a prior distribution and a likelihood, the posterior distribution is obtained through application of Bayes' law. Our novel algorithm to accurately determ…
▽ More
An efficient algorithm is proposed for Bayesian model calibration, which is commonly used to estimate the model parameters of non-linear, computationally expensive models using measurement data. The approach is based on Bayesian statistics: using a prior distribution and a likelihood, the posterior distribution is obtained through application of Bayes' law. Our novel algorithm to accurately determine this posterior requires significantly fewer discrete model evaluations than traditional Monte Carlo methods. The key idea is to replace the expensive model by an interpolating surrogate model and to construct the interpolating nodal set maximizing the accuracy of the posterior. To determine such a nodal set an extension to weighted Leja nodes is introduced, based on a new weighting function. We prove that the convergence of the posterior has the same rate as the convergence of the model. If the convergence of the posterior is measured in the Kullback-Leibler divergence, the rate doubles. The algorithm and its theoretical properties are verified in three different test cases: analytical cases that confirm the correctness of the theoretical findings, Burgers' equation to show its applicability in implicit problems, and finally the calibration of the closure parameters of a turbulence model to show the effectiveness for computationally expensive problems.
△ Less
Submitted 17 July, 2019; v1 submitted 6 February, 2018;
originally announced February 2018.
-
The Extremal Function for the Complex Ball for Generalized Notions of Degree and Multivariate Polynomial Approximation
Authors:
T. Bloom,
L. Bos,
N. Levenberg,
S. Ma'u,
F. Piazzon
Abstract:
We discuss the Siciak-Zaharjuta extremal function of pluripotential theory for the unit ball in C^d for spaces of polynomials with the notion of degree determined by a convex body P. We then use it to analyze the approximation properties of such polynomial spaces, and how these may differ depending on the function f to be approximated.
We discuss the Siciak-Zaharjuta extremal function of pluripotential theory for the unit ball in C^d for spaces of polynomials with the notion of degree determined by a convex body P. We then use it to analyze the approximation properties of such polynomial spaces, and how these may differ depending on the function f to be approximated.
△ Less
Submitted 8 January, 2018;
originally announced January 2018.
-
On commutativity and near commutativity of translational and rotational averages: Analytical proofs and numerical examinations
Authors:
Len Bos,
David R. Dalton,
Michael A. Slawinski
Abstract:
We show that, in general, the translational average over a spatial variable---discussed by Backus \cite{backus}, and referred to as the equivalent-medium average---and the rotational average over a symmetry group at a point---discussed by Gazis et al. \cite{gazis}, and referred to as the effective-medium average---do not commute. However, they do commute in special cases of particular symmetry cla…
▽ More
We show that, in general, the translational average over a spatial variable---discussed by Backus \cite{backus}, and referred to as the equivalent-medium average---and the rotational average over a symmetry group at a point---discussed by Gazis et al. \cite{gazis}, and referred to as the effective-medium average---do not commute. However, they do commute in special cases of particular symmetry classes, which correspond to special relations among the elasticity parameters. We also show that this noncommutativity is a function of the strength of anisotropy. Surprisingly, a perturbation of the elasticity parameters about a point of weak anisotropy results in the commutator of the two types of averaging being of the order of the {\it square\/} of this perturbation. Thus, these averages nearly commute in the case of weak anisotropy, which is of interest in such disciplines as quantitative seismology, where the weak-anisotropy assumption results in empirically adequate models.
△ Less
Submitted 18 December, 2017; v1 submitted 18 April, 2017;
originally announced April 2017.
-
Statistical and numerical considerations of Backus-average product approximation
Authors:
Len Bos,
Tomasz Danek,
Michael A. Slawinski,
Theodore Stanoev
Abstract:
In this paper, we examine the applicability of the approximation, $\overline{f\,g}\approx \overline f\,\overline g\,$, within Backus (1962) averaging. This approximation is a crucial step in the method proposed by Backus (1962), which is widely used in studying wave propagation in layered Hookean solids. According to this approximation, the average of the product of a rapidly varying function and…
▽ More
In this paper, we examine the applicability of the approximation, $\overline{f\,g}\approx \overline f\,\overline g\,$, within Backus (1962) averaging. This approximation is a crucial step in the method proposed by Backus (1962), which is widely used in studying wave propagation in layered Hookean solids. According to this approximation, the average of the product of a rapidly varying function and a slowly varying function is approximately equal to the product of the averages of those two functions.
Considering that the rapidly varying function represents the mechanical properties of layers, we express it as a step function. The slowly varying function is continuous, since it represents the components of the stress or strain tensors. In this paper, beyond the upper bound of the error for that approximation, which is formulated by Bos et al. (2017), we provide a statistical analysis of the approximation by allowing the function values to be sampled from general distributions.
Even though, according to the upper bound, Backus (1962) averaging might not appear as a viable approach, we show that$-$for cases representative of physical scenarios modelled by such an averaging$-$the approximation is typically quite good. We identify the cases for which there can be a deterioration in its efficacy.
In particular, we examine a special case for which the approximation results in spurious values. However, such a case$-$though physically realizable$-$is not likely to appear in seismology, where Backus (1962) averaging is commonly used. Yet, such values might occur in material sciences, in general, for which Backus (1962) averaging is also considered.
△ Less
Submitted 30 December, 2018; v1 submitted 11 April, 2017;
originally announced April 2017.
-
Bernstein-Walsh theory associated to convex bodies and applications to multivariate approximation theory
Authors:
Len Bos,
Norm Levenberg
Abstract:
We prove a version of the Bernstein-Walsh theorem on uniform polynomial approximation of holomorphic functions on compact sets in several complex variables. Here we consider subclasses of the full polynomial space associated to a convex body P. As a consequence, we validate and clarify some observations of Trefethen in multivariate approximation theory.
We prove a version of the Bernstein-Walsh theorem on uniform polynomial approximation of holomorphic functions on compact sets in several complex variables. Here we consider subclasses of the full polynomial space associated to a convex body P. As a consequence, we validate and clarify some observations of Trefethen in multivariate approximation theory.
△ Less
Submitted 19 January, 2017;
originally announced January 2017.
-
On Backus average for generally anisotropic layers
Authors:
Len Bos,
David R. Dalton,
Michael A. Slawinski,
Theodore Stanoev
Abstract:
In this paper, following the Backus (1962) approach, we examine expressions for elasticity parameters of a homogeneous generally anisotropic medium that is long-wave-equivalent to a stack of thin generally anisotropic layers. These expressions reduce to the results of Backus (1962) for the case of isotropic and transversely isotropic layers.
In the over half-a-century since the publications of B…
▽ More
In this paper, following the Backus (1962) approach, we examine expressions for elasticity parameters of a homogeneous generally anisotropic medium that is long-wave-equivalent to a stack of thin generally anisotropic layers. These expressions reduce to the results of Backus (1962) for the case of isotropic and transversely isotropic layers.
In the over half-a-century since the publications of Backus (1962) there have been numerous publications applying and extending that formulation. However, neither George Backus nor the authors of the present paper are aware of further examinations of the mathematical underpinnings of the original formulation; hence this paper.
We prove that---within the long-wave approximation---if the thin layers obey stability conditions then so does the equivalent medium. We examine---within the Backus-average context---the approximation of the average of a product as the product of averages, which underlies the averaging process.
In the presented examination we use the expression of Hooke's law as a tensor equation; in other words, we use Kelvin's---as opposed to Voigt's---notation. In general, the tensorial notation allows us to conveniently examine effects due to rotations of coordinate systems.
△ Less
Submitted 22 June, 2016; v1 submitted 12 January, 2016;
originally announced January 2016.
-
A weighted extremal function and equilibrium measure
Authors:
Len Bos,
Norman Levenberg,
Sione Ma`u,
Federico Piazzon
Abstract:
Let $K={\bf R}^n\subset {\bf C}^n$ and $Q(x):=\frac{1}{2}\log (1+x^2)$ where $x=(x_1,...,x_n)$ and $x^2 = x_1^2+\cdots +x_n^2$. Utilizing extremal functions for convex bodies in ${\bf R}^n\subset {\bf C}^n$ and Sadullaev's characterization of algebraicity for complex analytic subvarieties of ${\bf C}^n$ we prove the following explicit formula for the weighted extremal function $V_{K,Q}$:…
▽ More
Let $K={\bf R}^n\subset {\bf C}^n$ and $Q(x):=\frac{1}{2}\log (1+x^2)$ where $x=(x_1,...,x_n)$ and $x^2 = x_1^2+\cdots +x_n^2$. Utilizing extremal functions for convex bodies in ${\bf R}^n\subset {\bf C}^n$ and Sadullaev's characterization of algebraicity for complex analytic subvarieties of ${\bf C}^n$ we prove the following explicit formula for the weighted extremal function $V_{K,Q}$: $$V_{K,Q}(z)=\frac{1}{2}\log \bigl( [1+|z|^2] + \{ [1+|z|^2]^2-|1+z^2|^2\}^{1/2})$$ where $z=(z_1,...,z_n)$ and $z^2 = z_1^2+\cdots +z_n^2$. As a corollary, we find that the Alexander capacity $T_ω({\bf R} {\bf P}^n)$ of ${\bf R} {\bf P}^n$ is $1/\sqrt 2$. We also compute the Monge-Ampère measure of $V_{K,Q}$: $$(dd^cV_{K,Q})^n = n!\frac{1}{(1+x^2)^{\frac{n+1}{2}}}dx.$$
△ Less
Submitted 28 May, 2015;
originally announced May 2015.
-
An Orthogonality Property of the Legendre Polynomials
Authors:
Len Bos,
Akil Narayan,
Norm Levenberg,
Federico Piazzon
Abstract:
We give a remarkable additional orthogonality property of the classical Legendre polynomials on the real interval $[-1,1]$: polynomials up to degree $n$ from this family are mutually orthogonal under the arcsine measure weighted by the degree-$n$ normalized Christoffel function.
We give a remarkable additional orthogonality property of the classical Legendre polynomials on the real interval $[-1,1]$: polynomials up to degree $n$ from this family are mutually orthogonal under the arcsine measure weighted by the degree-$n$ normalized Christoffel function.
△ Less
Submitted 25 May, 2015;
originally announced May 2015.
-
Trivariate polynomial approximation on Lissajous curves
Authors:
Len Bos,
Stefano De Marchi,
Marco Vianello
Abstract:
We study Lissajous curves in the 3-cube, that generate algebraic cubature formulas on a special family of rank-1 Chebyshev lattices. These formulas are used to construct trivariate hyperinterpolation polynomials via a single 1-d Fast Chebyshev Transform (by the Chebfun package), and to compute discrete extremal sets of Fekete and Leja type for trivariate polynomial interpolation. Applications coul…
▽ More
We study Lissajous curves in the 3-cube, that generate algebraic cubature formulas on a special family of rank-1 Chebyshev lattices. These formulas are used to construct trivariate hyperinterpolation polynomials via a single 1-d Fast Chebyshev Transform (by the Chebfun package), and to compute discrete extremal sets of Fekete and Leja type for trivariate polynomial interpolation. Applications could arise in the framework of Lissajous sampling for MPI (Magnetic Particle Imaging).
△ Less
Submitted 13 February, 2015;
originally announced February 2015.
-
The Asymptotics of Optimal Designs for Polynomial Regression
Authors:
T. Bloom,
L. Bos,
N. Levenberg
Abstract:
We give the asymptotics for D-optimal (equivalently G-optimal) designs on a compact (possibly complex) design space.
We give the asymptotics for D-optimal (equivalently G-optimal) designs on a compact (possibly complex) design space.
△ Less
Submitted 16 December, 2011;
originally announced December 2011.
-
Polynomial Interpolation and Approximation in C^d
Authors:
T. Bloom,
L. P. Bos,
J. -P. Calvi,
N. Levenberg
Abstract:
We update the state of the subject approximately 20 years after the publication of a previous article on this topic. This report is mostly a survey, with a sprinkling of assorted new results throughout.
We update the state of the subject approximately 20 years after the publication of a previous article on this topic. This report is mostly a survey, with a sprinkling of assorted new results throughout.
△ Less
Submitted 28 November, 2011;
originally announced November 2011.
-
Proof of validity of first-order travel estimates
Authors:
Len Bos,
Michael A. Slawinski
Abstract:
In the seminal paper by Dahlen et al. the authors formulate an important expression as a first-order estimate of traveltime delay. The authors left out a term which would at first glance seem nontrivial, on the basis that their intention was to derive the Fréchet derivative linking the observed delay to the model perturbation (Nolet 2009, pers. comm.). Here we show that the derivation by Dahlen et…
▽ More
In the seminal paper by Dahlen et al. the authors formulate an important expression as a first-order estimate of traveltime delay. The authors left out a term which would at first glance seem nontrivial, on the basis that their intention was to derive the Fréchet derivative linking the observed delay to the model perturbation (Nolet 2009, pers. comm.). Here we show that the derivation by Dahlen et al. results in a first-order estimate even without anticipating a Fréchet derivative, but instead remaining deductively in their Taylor-series formulation. Although a mathematical technicality, this strengthens the result of Dahlen et al. by showing that it is intrinsically valid, requiring no external justification. We show also that ignoring the aforementioned term is not valid in general and needs to be supported by careful argument.
△ Less
Submitted 13 March, 2010;
originally announced March 2010.
-
Geometric Weakly Admissible Meshes, Discrete Least Squares Approximations and Approximate Fekete Points
Authors:
Len Bos,
Jean-Paul Calvi,
Norm Levenberg,
Alvise Sommariva,
Marco Vianello
Abstract:
Using the concept of Geometric Weakly Admissible Meshes together with an algorithm based on the classical QR factorization of matrices, we compute efficient points for discrete multivariate least squares approximation and Lagrange interpolation.
Using the concept of Geometric Weakly Admissible Meshes together with an algorithm based on the classical QR factorization of matrices, we compute efficient points for discrete multivariate least squares approximation and Lagrange interpolation.
△ Less
Submitted 2 February, 2009;
originally announced February 2009.
-
On the Convergence of Optimal Measures
Authors:
T. Bloom,
L. Bos,
N. Levenberg,
S. Waldron
Abstract:
Using recent results of Berman and Boucksom we show that for a non-pluripolar compact set K in C^d and an admissible weight function w=e^{-φ} any sequence of so-called optimal measures converges weak-* to the equilibrium measure μ_{K,φ} of (weighted) Pluripotential Theory for K,φ.
Using recent results of Berman and Boucksom we show that for a non-pluripolar compact set K in C^d and an admissible weight function w=e^{-φ} any sequence of so-called optimal measures converges weak-* to the equilibrium measure μ_{K,φ} of (weighted) Pluripotential Theory for K,φ.
△ Less
Submitted 5 August, 2008;
originally announced August 2008.
-
Bivariate Lagrange interpolation at the Padua points: the ideal theory approach
Authors:
Len Bos,
Stefano De Marchi,
Marco Vianello,
Yuan Xu
Abstract:
Padua points is a family of points on the square $[-1,1]^2$ given by explicit formulas that admits unique Lagrange interpolation by bivariate polynomials. The interpolation polynomials and cubature formulas based on the Padua points are studied from an ideal theoretic point of view, which leads to the discovery of a compact formula for the interpolation polynomials. The $L^p$ convergence of the…
▽ More
Padua points is a family of points on the square $[-1,1]^2$ given by explicit formulas that admits unique Lagrange interpolation by bivariate polynomials. The interpolation polynomials and cubature formulas based on the Padua points are studied from an ideal theoretic point of view, which leads to the discovery of a compact formula for the interpolation polynomials. The $L^p$ convergence of the interpolation polynomials is also studied.
△ Less
Submitted 27 April, 2006;
originally announced April 2006.
-
Several new quadrature formulas for polynomial integration in the triangle
Authors:
Mark A. Taylor,
Beth A. Wingate,
Len P. Bos
Abstract:
We present several new quadrature formulas in the triangle for exact integration of polynomials. The points were computed numerically with a cardinal function algorithm which imposes that the number of quadrature points $N$ be equal to the dimension of a lower dimensional polynomial space. Quadrature forumulas are presented for up to degree $d=25$, all which have positive weights and contain no…
▽ More
We present several new quadrature formulas in the triangle for exact integration of polynomials. The points were computed numerically with a cardinal function algorithm which imposes that the number of quadrature points $N$ be equal to the dimension of a lower dimensional polynomial space. Quadrature forumulas are presented for up to degree $d=25$, all which have positive weights and contain no points outside the triangle. Seven of these quadrature formulas improve on previously known results.
△ Less
Submitted 7 February, 2007; v1 submitted 27 January, 2005;
originally announced January 2005.
-
A Tangential Markov Inequality on Exponential Curves
Authors:
L. P. Bos,
A. Brudnyi,
N. Levenberg
Abstract:
We show that on the curves y=e^{t(x)} where t(x) is a fixed polynomial, there holds a tangential Markov inequality of exponent four. Specifically, for the real interval [a,b] there is a constant C such that max_{x\in [a,b]}|\frac{d}{dx}P(x,e^{t(x)})|\leq C(deg(P))^{4} max_{x\in [a,b]}|P(x,e^{t(x)})| for all bivariate polynomials P(x,y).
We show that on the curves y=e^{t(x)} where t(x) is a fixed polynomial, there holds a tangential Markov inequality of exponent four. Specifically, for the real interval [a,b] there is a constant C such that max_{x\in [a,b]}|\frac{d}{dx}P(x,e^{t(x)})|\leq C(deg(P))^{4} max_{x\in [a,b]}|P(x,e^{t(x)})| for all bivariate polynomials P(x,y).
△ Less
Submitted 25 April, 2001;
originally announced April 2001.