-
A polynomial chaos approach for uncertainty quantification of Monte Carlo transport codes
Authors:
Gianluca Geraci,
Kayla Clements,
Aaron J Olson
Abstract:
In this contribution, we discuss the construction of Polynomial Chaos surrogates for Monte Carlo radiation transport applications via non-intrusive spectral projection. This contribution focuses on improvements with respect to the approach that we previously introduced in previous work. We focus on understanding the impact of re-sampling cost on the algorithm performance and provide algorithm refi…
▽ More
In this contribution, we discuss the construction of Polynomial Chaos surrogates for Monte Carlo radiation transport applications via non-intrusive spectral projection. This contribution focuses on improvements with respect to the approach that we previously introduced in previous work. We focus on understanding the impact of re-sampling cost on the algorithm performance and provide algorithm refinements, which allow to obtain unbiased estimators for the variance, estimate the PC variability due to limited samples, and adapt the expansion. An attenuation-only test case is provided to illustrate and discuss the results.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
Convergent non complete interpolatory quadrature rules
Authors:
U. Fidalgo,
J. Olson
Abstract:
We find a family of convergent schemes of nodes for non-complete interpolatory quadrature rules.
We find a family of convergent schemes of nodes for non-complete interpolatory quadrature rules.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
On the Assouad dimension of differences of self-similar fractals
Authors:
Alexandros Margaris,
Eric J. Olson,
James C. Robinson
Abstract:
If $X$ is a set with finite Assouad dimension, it is known that the Assouad dimension of $X-X$ does not necessarily obey any non-trivial bound in terms of the Assouad dimension of $X$. In this paper, we consider self-similar sets on the real line and we show that if a particular weak separation condition is satisfied, then the Assouad dimension of the set of differences is bounded above by twice t…
▽ More
If $X$ is a set with finite Assouad dimension, it is known that the Assouad dimension of $X-X$ does not necessarily obey any non-trivial bound in terms of the Assouad dimension of $X$. In this paper, we consider self-similar sets on the real line and we show that if a particular weak separation condition is satisfied, then the Assouad dimension of the set of differences is bounded above by twice the Assouad dimension of the set itself. We then apply this result to a particular class of asymmetric Cantor sets.
△ Less
Submitted 8 January, 2020; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Continuous data assimilation with blurred-in-time measurements of the surface quasi-geostrophic equation
Authors:
Michael S. Jolly,
Vincent R. Martinez,
Eric J. Olson,
Edriss S. Titi
Abstract:
An intrinsic property of almost any physical measuring device is that it makes observations which are slightly blurred in time. We consider a nudging-based approach for data assimilation that constructs an approximate solution based on a feedback control mechanism that is designed to account for observations that have been blurred by a moving time average. Analysis of this nudging model in the con…
▽ More
An intrinsic property of almost any physical measuring device is that it makes observations which are slightly blurred in time. We consider a nudging-based approach for data assimilation that constructs an approximate solution based on a feedback control mechanism that is designed to account for observations that have been blurred by a moving time average. Analysis of this nudging model in the context of the subcritical surface quasi-geostrophic equation shows, provided the time-averaging window is sufficiently small and the resolution of the observations sufficiently fine, that the approximating solution converges exponentially fast to the observed solution over time. In particular, we demonstrate that observational data with a small blur in time possess no significant obstructions to data assimilation provided that the nudging properly takes the time averaging into account. Two key ingredients in our analysis are additional boundedness properties for the relevant interpolant observation operators and a non-local Gronwall inequality.
△ Less
Submitted 31 August, 2018;
originally announced September 2018.
-
On the $1/3-2/3$ Conjecture
Authors:
Emily J. Olson,
Bruce E. Sagan
Abstract:
Let $(P,\leq)$ be a finite poset (partially ordered set), where $P$ has cardinality $n$. Consider linear extensions of $P$ as permutations $x_1x_2\cdots x_n$ in one-line notation. For distinct elements $x,y\in P$, we define $\mathbb{P}(x\prec y)$ to be the proportion of linear extensions of $P$ in which $x$ comes before $y$. For $0\leq α\leq \frac{1}{2}$, we say $(x,y)$ is an $α$-balanced pair if…
▽ More
Let $(P,\leq)$ be a finite poset (partially ordered set), where $P$ has cardinality $n$. Consider linear extensions of $P$ as permutations $x_1x_2\cdots x_n$ in one-line notation. For distinct elements $x,y\in P$, we define $\mathbb{P}(x\prec y)$ to be the proportion of linear extensions of $P$ in which $x$ comes before $y$. For $0\leq α\leq \frac{1}{2}$, we say $(x,y)$ is an $α$-balanced pair if $α\leq \mathbb{P}(x\prec y) \leq 1-α.$ The $1/3-2/3$ Conjecture states that every finite partially ordered set which is not a chain has a $1/3$-balanced pair. We make progress on this conjecture by showing that it holds for certain families of posets. These include lattices such as the Boolean, set partition, and subspace lattices; partial orders that arise from a Young diagram; and some partial orders of dimension $2$. We also consider various posets which satisfy the stronger condition of having a $1/2$-balanced pair. For example, this happens when the poset has an automorphism with a cycle of length $2$. Various questions for future research are posed.
△ Less
Submitted 31 January, 2018; v1 submitted 15 June, 2017;
originally announced June 2017.
-
Continuity of pullback and uniform attractors
Authors:
Luan T. Hoang,
Eric J. Olson,
James C. Robinson
Abstract:
We study the continuity of pullback and uniform attractors for non-autonomous dynamical systems with respect to perturbations of a parameter. Consider a family of dynamical systems parameterised by a complete metric space $Λ$ such that for each $λ\inΛ$ there exists a unique pullback attractor $\mathcal A_λ(t)$. Using the theory of Baire category we show under natural conditions that there exists a…
▽ More
We study the continuity of pullback and uniform attractors for non-autonomous dynamical systems with respect to perturbations of a parameter. Consider a family of dynamical systems parameterised by a complete metric space $Λ$ such that for each $λ\inΛ$ there exists a unique pullback attractor $\mathcal A_λ(t)$. Using the theory of Baire category we show under natural conditions that there exists a residual set $Λ_*\subseteqΛ$ such that for every $t\in\mathbb R$ the function $λ\mapsto\mathcal A_λ(t)$ is continuous at each $λ\inΛ_*$ with respect to the Hausdorff metric. Similarly, given a family of uniform attractors $\mathbb A_λ$, there is a residual set at which the map $λ\mapsto\mathbb A_λ$ is continuous. We also introduce notions of equi-attraction suitable for pullback and uniform attractors and then show when $Λ$ is compact that the continuity of pullback attractors and uniform attractors with respect to $λ$ is equivalent to pullback equi-attraction and, respectively, uniform equi-attraction. These abstract results are then illustrated in the context of the Lorenz equations and the two-dimensional Navier-Stokes equations.
△ Less
Submitted 26 February, 2017; v1 submitted 27 January, 2016;
originally announced January 2016.
-
Lower bounds on blowing-up solutions of the 3D Navier--Stokes equations in $\dot H^{3/2}$, $\dot H^{5/2}$, and $\dot B^{5/2}_{2,1}$
Authors:
David S. McCormick,
Eric J. Olson,
James C. Robinson,
Jose L. Rodrigo,
Alejandro Vidal-Lopez,
Yi Zhou
Abstract:
If $u$ is a smooth solution of the Navier--Stokes equations on ${\mathbb R}^3$ with first blowup time $T$, we prove lower bounds for $u$ in the Sobolev spaces $\dot H^{3/2}$, $\dot H^{5/2}$, and the Besov space $\dot B^{5/2}_{2,1}$, with optimal rates of blowup: we prove the strong lower bounds $\|u(t)\|_{\dot H^{3/2}}\ge c(T-t)^{-1/2}$ and $\|u(t)\|_{\dot B^{5/2}_{2,1}}\ge c(T-t)^{-1}$, but in…
▽ More
If $u$ is a smooth solution of the Navier--Stokes equations on ${\mathbb R}^3$ with first blowup time $T$, we prove lower bounds for $u$ in the Sobolev spaces $\dot H^{3/2}$, $\dot H^{5/2}$, and the Besov space $\dot B^{5/2}_{2,1}$, with optimal rates of blowup: we prove the strong lower bounds $\|u(t)\|_{\dot H^{3/2}}\ge c(T-t)^{-1/2}$ and $\|u(t)\|_{\dot B^{5/2}_{2,1}}\ge c(T-t)^{-1}$, but in $\dot H^{5/2}$ we only obtain the weaker result $\limsup_{t\to T^-}(T-t)\|u(t)\|_{\dot H^{5/2}}\ge c$. The proofs involve new inequalities for the nonlinear term in Sobolev and Besov spaces, both of which are obtained using a dyadic decomposition of $u$.
△ Less
Submitted 14 March, 2015;
originally announced March 2015.
-
Equi-homogeneity, Assouad Dimension and Non-autonomous Dynamics
Authors:
Alexander M. Henderson,
Eric J. Olson,
James C. Robinson,
Nicholas Sharples
Abstract:
We show that self-similar sets arising from iterated function systems that satisfy the Moran open-set condition, a canonical class of fractal sets, are `equi-homogeneous'. This is a regularity property that, roughly speaking, means that at each fixed length-scale any two neighbourhoods of the set have covers of approximately equal cardinality.
Self-similar sets are notable in that they are Ahlfo…
▽ More
We show that self-similar sets arising from iterated function systems that satisfy the Moran open-set condition, a canonical class of fractal sets, are `equi-homogeneous'. This is a regularity property that, roughly speaking, means that at each fixed length-scale any two neighbourhoods of the set have covers of approximately equal cardinality.
Self-similar sets are notable in that they are Ahlfors-David regular, which implies that their Assouad and box-counting dimensions coincide. More generally, attractors of non-autonomous iterated functions systems (where maps are allowed to vary between iterations) can have distinct Assouad and box-counting dimensions. Consequently the familiar notion of Ahlfors-David regularity is too strong to be useful in the analysis of this important class of sets, which include generalised Cantor sets and possess different dimensional behaviour at different length-scales.
We further develop the theory of equi-homogeneity showing that it is a weaker property than Ahlfors-David regularity and distinct from any previously defined notion of dimensional equivalence. However, we show that if the upper and lower box-counting dimensions of an equi-homogeneous set are equal and `attained' in a sense we make precise then the lower Assouad, Hausdorff, packing, lower box-counting, upper box-counting and Assouad dimensions coincide.
Our main results provide conditions under which the attractor of a non-autonomous iterated function system is equi-homogeneous and we use this to compute the Assouad dimension of a certain class of these highly non-trivial sets.
△ Less
Submitted 26 August, 2016; v1 submitted 16 September, 2014;
originally announced September 2014.
-
Central Strips of Sibling Leaves in Laminations of the Unit Disk
Authors:
David J. Cosper,
Jeffrey K. Houghton,
John C. Mayer,
Luka Mernik,
Joseph W. Olson
Abstract:
Quadratic laminations of the unit disk were introduced by Thurston as a vehicle for understanding the (connected) Julia sets of quadratic polynomials and the parameter space of quadratic polynomials. The "Central Strip Lemma" plays a key role in Thurston's classification of gaps in quadratic laminations, and in describing the corresponding parameter space. We generalize the notion of {\em Central…
▽ More
Quadratic laminations of the unit disk were introduced by Thurston as a vehicle for understanding the (connected) Julia sets of quadratic polynomials and the parameter space of quadratic polynomials. The "Central Strip Lemma" plays a key role in Thurston's classification of gaps in quadratic laminations, and in describing the corresponding parameter space. We generalize the notion of {\em Central Strip} to laminations of all degrees $d\ge2$ and prove a Central Strip Lemma for degree $d\ge2$. We conclude with applications of the Central Strip Lemma to {\em identity return polygons} that show it may play a role similar to Thurston's lemma for higher degree laminations.
△ Less
Submitted 26 January, 2015; v1 submitted 1 August, 2014;
originally announced August 2014.
-
Some results in support of the Kakeya Conjecture
Authors:
Jonathan M. Fraser,
Eric J. Olson,
James C. Robinson
Abstract:
A Besicovitch set is a subset of $\R^d$ that contains a unit line segment in every direction and the famous Kakeya conjecture states that Besicovitch sets should have full dimension. We provide a number of results in support of this conjecture in a variety of contexts. Our proofs are simple and aim to give an intuitive feel for the problem. For example, we give a very simple proof that the packing…
▽ More
A Besicovitch set is a subset of $\R^d$ that contains a unit line segment in every direction and the famous Kakeya conjecture states that Besicovitch sets should have full dimension. We provide a number of results in support of this conjecture in a variety of contexts. Our proofs are simple and aim to give an intuitive feel for the problem. For example, we give a very simple proof that the packing and lower box-counting dimension of any Besicovitch set is at least $(d+1)/2$ (better estimates are available in the literature). We also study the `generic validity' of the Kakeya conjecture in the setting of Baire Category and prove that typical Besicovitch sets have full upper box-counting dimension.
We also study a weaker version of the Kakeya problem where unit line segments are replaced by half-infinite lines. We prove that such `half-extended Besicovitch sets' have full Assouad dimension. This can be viewed as full resolution of a (much weakened) version of the Kakeya problem.
△ Less
Submitted 4 May, 2017; v1 submitted 24 July, 2014;
originally announced July 2014.
-
On the continuity of global attractors
Authors:
Luan Hoang,
Eric J. Olson,
James C. Robinson
Abstract:
Let $Λ$ be a complete metric space, and let $\{S_λ(\cdot):\ λ\inΛ\}$ be a parametrised family of semigroups with global attractors ${\mathscr A}_λ$. We assume that there exists a fixed bounded set $D$ such that ${\mathscr A}_λ\subset D$ for every $λ\inΛ$. By viewing the attractors as the limit as $t\to\infty$ of the sets $S_λ(t)D$, we give simple proofs of the equivalence of `equi-attraction' to c…
▽ More
Let $Λ$ be a complete metric space, and let $\{S_λ(\cdot):\ λ\inΛ\}$ be a parametrised family of semigroups with global attractors ${\mathscr A}_λ$. We assume that there exists a fixed bounded set $D$ such that ${\mathscr A}_λ\subset D$ for every $λ\inΛ$. By viewing the attractors as the limit as $t\to\infty$ of the sets $S_λ(t)D$, we give simple proofs of the equivalence of `equi-attraction' to continuity (when this convergence is uniform in $λ$) and show that the attractors ${\mathscr A}_λ$ are continuous in $λ$ at a residual set of parameters in the sense of Baire Category (when the convergence is only pointwise).
△ Less
Submitted 11 July, 2014;
originally announced July 2014.
-
Generalised Cantor sets and the dimension of products
Authors:
Eric J. Olson,
James C. Robinson,
Nicholas Sharples
Abstract:
In this paper we consider the relationship between the Assouad and box-counting dimension and how both behave under the operation of taking products. We introduce the notion of `equi-homogeneity' of a set, which requires a uniformity in the size of local covers at all lengths and at all points. We prove that the Assouad and box-counting dimensions coincide for sets that have equal upper and lower…
▽ More
In this paper we consider the relationship between the Assouad and box-counting dimension and how both behave under the operation of taking products. We introduce the notion of `equi-homogeneity' of a set, which requires a uniformity in the size of local covers at all lengths and at all points. We prove that the Assouad and box-counting dimensions coincide for sets that have equal upper and lower box-counting dimensions provided that the set `attains' these dimensions (analogous to `s-sets' when considering the Hausdorff dimension), and the set is equi-homogeneous. Using this fact we show that for any $α\in(0,1)$ and any $β,γ\in(0,1)$ such that $β+ γ\geq 1$ we can construct two generalised Cantor sets $C$ and $D$ such that $\text{dim}_{B}C=αβ$, $\text{dim}_{B}D=αγ$, and $\text{dim}_{A}C=\text{dim}_{A}D=\text{dim}_{A}(C\times D)=\text{dim}_{B}(C\times D)=α$.
△ Less
Submitted 16 September, 2014; v1 submitted 2 July, 2014;
originally announced July 2014.
-
On the Assouad dimension of self-similar sets with overlaps
Authors:
Jonathan. M. Fraser,
Alexander. M. Henderson,
Eric J. Olson,
James C. Robinson
Abstract:
It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar sets in the line: either the \emph{weak separation property} is satisfied, in which case the Hausdorff and Assouad dimensions coincide; or the \emph{weak separ…
▽ More
It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar sets in the line: either the \emph{weak separation property} is satisfied, in which case the Hausdorff and Assouad dimensions coincide; or the \emph{weak separation property} is not satisfied, in which case the Assouad dimension is maximal (equal to one).
In the first case we prove that the self-similar set is Ahlfors regular, and in the second case we use the fact that if the \emph{weak separation property} is not satisfied, one can approximate the identity arbitrarily well in the group generated by the similarity mappings, and this allows us to build a \emph{weak tangent} that contains an interval. We also obtain results in higher dimensions and provide illustrative examples showing that the `equality/maximal' dichotomy does not extend to this setting.
△ Less
Submitted 16 January, 2015; v1 submitted 3 April, 2014;
originally announced April 2014.
-
Phase Transitions on Fixed Connected Graphs and Random Graphs in the Presence of Noise
Authors:
Jialing Liu,
Vikas Yadav,
Hullas Sehgal,
Joshua M. Olson,
Haifeng Liu,
Nicola Elia
Abstract:
In this paper, we study the phase transition behavior emerging from the interactions among multiple agents in the presence of noise. We propose a simple discrete-time model in which a group of non-mobile agents form either a fixed connected graph or a random graph process, and each agent, taking bipolar value either +1 or -1, updates its value according to its previous value and the noisy measur…
▽ More
In this paper, we study the phase transition behavior emerging from the interactions among multiple agents in the presence of noise. We propose a simple discrete-time model in which a group of non-mobile agents form either a fixed connected graph or a random graph process, and each agent, taking bipolar value either +1 or -1, updates its value according to its previous value and the noisy measurements of the values of the agents connected to it. We present proofs for the occurrence of the following phase transition behavior: At a noise level higher than some threshold, the system generates symmetric behavior (vapor or melt of magnetization) or disagreement; whereas at a noise level lower than the threshold, the system exhibits spontaneous symmetry breaking (solid or magnetization) or consensus. The threshold is found analytically. The phase transition occurs for any dimension. Finally, we demonstrate the phase transition behavior and all analytic results using simulations. This result may be found useful in the study of the collective behavior of complex systems under communication constraints.
△ Less
Submitted 24 August, 2008;
originally announced August 2008.
-
Almost bi-Lipschitz embeddings and almost homogeneous sets
Authors:
Eric J. Olson,
James C. Robinson
Abstract:
This paper is concerned with embeddings of homogeneous spaces into Euclidean spaces. We show that any homogeneous metric space can be embedded into a Hilbert space using an almost bi-Lipschitz mapping (bi-Lipschitz to within logarithmic corrections). The image of this set is no longer homogeneous, but `almost homogeneous'. We therefore study the problem of embedding an almost homogeneous subset…
▽ More
This paper is concerned with embeddings of homogeneous spaces into Euclidean spaces. We show that any homogeneous metric space can be embedded into a Hilbert space using an almost bi-Lipschitz mapping (bi-Lipschitz to within logarithmic corrections). The image of this set is no longer homogeneous, but `almost homogeneous'. We therefore study the problem of embedding an almost homogeneous subset $X$ of a Hilbert space $H$ into a finite-dimensional Euclidean space. In fact we show that if $X$ is a compact subset of a Banach space and $X-X$ is almost homogeneous then, for $N$ sufficiently large, a prevalent set of linear maps from $X$ into $\Re^N$ are almost bi-Lipschitz between $X$ and its image. We are then able to use the Kuratowski embedding of $(X,d)$ into $L^\infty(X)$ to prove a similar result for compact metric spaces.
△ Less
Submitted 3 May, 2007;
originally announced May 2007.