-
Record Acceleration of the Two-Dimensional Ising Model Using High-Performance Wafer Scale Engine
Authors:
Dirk Van Essendelft,
Hayl Almolyki,
Wei Shi,
Terry Jordan,
Mei-Yu Wang,
Wissam A. Saidi
Abstract:
The versatility and wide-ranging applicability of the Ising model, originally introduced to study phase transitions in magnetic materials, have made it a cornerstone in statistical physics and a valuable tool for evaluating the performance of emerging computer hardware. Here, we present a novel implementation of the two-dimensional Ising model on a Cerebras Wafer-Scale Engine (WSE), a revolutionar…
▽ More
The versatility and wide-ranging applicability of the Ising model, originally introduced to study phase transitions in magnetic materials, have made it a cornerstone in statistical physics and a valuable tool for evaluating the performance of emerging computer hardware. Here, we present a novel implementation of the two-dimensional Ising model on a Cerebras Wafer-Scale Engine (WSE), a revolutionary processor that is opening new frontiers in computing. In our deployment of the checkerboard algorithm, we optimized the Ising model to take advantage of the unique WSE architecture. Specifically, we employed a compressed bit representation storing 16 spins on each int16 word, and efficiently distributed the spins over the processing units enabling seamless weak scaling and limiting communications to only immediate neighboring units. Our implementation can handle up to 754 simulations in parallel, achieving an aggregate of over 61.8 trillion flip attempts per second for Ising models with up to 200 million spins. This represents a gain of up to 148 times over previously reported single-device with a highly optimized implementation on NVIDIA V100 and up to 88 times in productivity compared to NVIDIA H100. Our findings highlight the significant potential of the WSE in scientific computing, particularly in the field of materials modeling.
△ Less
Submitted 1 May, 2024; v1 submitted 25 April, 2024;
originally announced April 2024.
-
Highly connected orientations from edge-disjoint rigid subgraphs
Authors:
Dániel Garamvölgyi,
Tibor Jordán,
Csaba Király,
Soma Villányi
Abstract:
We give an affirmative answer to a long-standing conjecture of Thomassen, stating that every sufficiently highly connected graph has a $k$-vertex-connected orientation. We prove that a connectivity of order $O(k^2)$ suffices. As a key tool, we show that for every pair of positive integers $d$ and $t$, every $(t \cdot h(d))$-connected graph contains $t$ edge-disjoint $d$-rigid (in particular, $d$-c…
▽ More
We give an affirmative answer to a long-standing conjecture of Thomassen, stating that every sufficiently highly connected graph has a $k$-vertex-connected orientation. We prove that a connectivity of order $O(k^2)$ suffices. As a key tool, we show that for every pair of positive integers $d$ and $t$, every $(t \cdot h(d))$-connected graph contains $t$ edge-disjoint $d$-rigid (in particular, $d$-connected) spanning subgraphs, where $h(d) = 10d(d+1)$. This also implies a positive answer to the conjecture of Kriesell that every sufficiently highly connected graph $G$ contains a spanning tree $T$ such that $G-E(T)$ is $k$-connected.
△ Less
Submitted 3 May, 2024; v1 submitted 23 January, 2024;
originally announced January 2024.
-
Globally linked pairs and cheapest globally rigid supergraphs
Authors:
Tibor Jordán,
Soma Villányi
Abstract:
Given a graph $G$, a cost function on the non-edges of $G$, and an integer $d$, the problem of finding a cheapest globally rigid supergraph of $G$ in $\mathbb{R}^d$ is NP-hard for $d\geq 1$. For this problem, which is a common generalization of several well-studied graph augmentation problems, no approximation algorithm has previously been known for $d\geq 2$. Our main algorithmic result is a 5-ap…
▽ More
Given a graph $G$, a cost function on the non-edges of $G$, and an integer $d$, the problem of finding a cheapest globally rigid supergraph of $G$ in $\mathbb{R}^d$ is NP-hard for $d\geq 1$. For this problem, which is a common generalization of several well-studied graph augmentation problems, no approximation algorithm has previously been known for $d\geq 2$. Our main algorithmic result is a 5-approximation algorithm in the $d=2$ case. We achieve this by proving numerous new structural results on rigid graphs and globally linked vertex pairs. In particular, we show that every rigid graph in $\mathbb{R}^2$ has a tree-like structure, which conveys all the information regarding its globally rigid augmentations. Our results also yield a new, simple solution to the minimum cardinality version (where the cost function is uniform) for rigid input graphs, a problem which is known to be solvable in polynomial time.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Globally linked pairs of vertices in generic frameworks
Authors:
Tibor Jordán,
Soma Villányi
Abstract:
A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $xy\in E$ in $(G,p)$ is the distance between $p(x)$ and $p(y)$. A vertex pair $\{u,v\}$ of $G$ is said to be globally linked in $(G,p)$ if the distance between $p(u)$ and $p(v)$ is equal to the distance between $q(u)$ and $q(v)$ for every $d$-dimensional fram…
▽ More
A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $xy\in E$ in $(G,p)$ is the distance between $p(x)$ and $p(y)$. A vertex pair $\{u,v\}$ of $G$ is said to be globally linked in $(G,p)$ if the distance between $p(u)$ and $p(v)$ is equal to the distance between $q(u)$ and $q(v)$ for every $d$-dimensional framework $(G,q)$ in which the corresponding edge lengths are the same as in $(G,p)$. We call $(G,p)$ globally rigid in $\mathbb{R}^d$ when each vertex pair of $G$ is globally linked in $(G,p)$. A pair $\{u,v\}$ of vertices of $G$ is said to be weakly globally linked in $G$ in $\mathbb{R}^d$ if there exists a generic framework $(G,p)$ in which $\{u,v\}$ is globally linked.
In this paper we first give a sufficient condition for the weak global linkedness of a vertex pair of a $(d+1)$-connected graph $G$ in $\mathbb{R}^d$ and then show that for $d=2$ it is also necessary. We use this result to obtain a complete characterization of weakly globally linked pairs in graphs in $\mathbb{R}^2$, which gives rise to an algorithm for testing weak global linkedness in the plane in $O(|V|^2)$ time. Our methods lead to a new short proof for the characterization of globally rigid graphs in $\mathbb{R}^2$, and further results on weakly globally linked pairs and globally rigid graphs in the plane and in higher dimensions.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
On generic universal rigidity on the line
Authors:
Guilherme Zeus Dantas e Moura,
Tibor Jordán,
Corwin Silverman
Abstract:
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We gi…
▽ More
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We give counterexamples to a conjectured characterization of generically universally rigid graphs from R. Connelly (2011). We also introduce two new operations that preserve the universal rigidity of generic frameworks, and the property of being not universally rigid, respectively. One of these operations is used in the analysis of one of our examples, while the other operation is applied to obtain a lower bound on the size of generically universally rigid graphs. This bound gives a partial answer to a question from T. Jordán and V-H. Nguyen (2015).
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Partial reflections and globally linked pairs in rigid graphs
Authors:
Dániel Garamvölgyi,
Tibor Jordán
Abstract:
A $d$-dimensional framework is a pair $(G,p)$, where $G$ is a graph and $p$ maps the vertices of $G$ to points in $\mathbb{R}^d$. The edges of $G$ are mapped to the corresponding line segments. A graph $G$ is said to be globally rigid in $\mathbb{R}^d$ if every generic $d$-dimensional framework $(G,p)$ is determined, up to congruence, by its edge lengths. A finer property is global linkedness: we…
▽ More
A $d$-dimensional framework is a pair $(G,p)$, where $G$ is a graph and $p$ maps the vertices of $G$ to points in $\mathbb{R}^d$. The edges of $G$ are mapped to the corresponding line segments. A graph $G$ is said to be globally rigid in $\mathbb{R}^d$ if every generic $d$-dimensional framework $(G,p)$ is determined, up to congruence, by its edge lengths. A finer property is global linkedness: we say that a vertex pair $\{u,v\}$ of $G$ is globally linked in $G$ in $\mathbb{R}^d$ if in every generic $d$-dimensional framework $(G,p)$ the distance of $u$ and $v$ is uniquely determined by the edge lengths.
In this paper we investigate globally linked pairs in graphs in $\mathbb{R}^d$. We give several characterizations of those rigid graphs $G$ in which a pair $\{u,v\}$ is globally linked if and only if there exist $d+1$ internally disjoint paths from $u$ to $v$ in $G$. We call these graphs $d$-joined. Among others, we show that $G$ is $d$-joined if and only if for each pair of generic frameworks of $G$ with the same edge lengths, one can be obtained from the other by a sequence of partial reflections along hyperplanes determined by $d$-separators of $G$. We also show that the family of $d$-joined graphs is closed under edge addition, as well as under gluing along $d$ or more vertices. As a key ingredient to our main results, we prove that rigid graphs in $\mathbb{R}^d$ contain no crossing $d$-separators.
Our results give rise to new families of graphs for which global linkedness (and global rigidity) in $\mathbb{R}^d$ can be tested in polynomial time.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Development of an Equation-based Parallelization Method for Multiphase Particle-in-Cell Simulations
Authors:
Mino Woo,
Terry Jordan,
Tarak Nandi,
Jean Francois Dietiker,
Christopher Guenther,
Dirk Van Essendelft
Abstract:
Manufacturers have been develo** new graphics processing unit (GPU) nodes with large capacity, high bandwidth memory and very high bandwidth intra-node interconnects. This enables moving large amounts of data between GPUs on the same node at low cost. However, small packet bandwidths and latencies have not decreased which makes global dot products expensive. These characteristics favor a new kin…
▽ More
Manufacturers have been develo** new graphics processing unit (GPU) nodes with large capacity, high bandwidth memory and very high bandwidth intra-node interconnects. This enables moving large amounts of data between GPUs on the same node at low cost. However, small packet bandwidths and latencies have not decreased which makes global dot products expensive. These characteristics favor a new kind of problem decomposition called "equation decomposition" rather than traditional domain decomposition. In this approach, each GPU is assigned one equation set to solve in parallel so that the frequent and expensive dot product synchronization points in traditional distributed linear solvers are eliminated. In exchange, the method involves infrequent movement of state variables over the high bandwidth, intra-node interconnects. To test this theory, our flagship code Multiphase Flow with Interphase eXchanges (MFiX) was ported to TensorFlow. This new product is known as MFiX-AI and can produce near identical results to the original version of MFiX with significant acceleration in multiphase particle-in-cell (MP-PIC) simulations. The performance of a single node with 4 NVIDIA A100s connected over NVLINK 2.0 was shown to be competitive to 1000 CPU cores (25 nodes) on the JOULE 2.0 supercomputer, leading to an energy savings of up to 90%. This is a substantial performance benefit for small- to intermediate-sized problems. This benefit is expected to grow as GPU nodes become more powerful. Further, MFiX-AI is poised to accept native artificial intelligence/machine learning models for further acceleration and development.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
Disruptive Changes in Field Equation Modeling: A Simple Interface for Wafer Scale Engines
Authors:
Mino Woo,
Terry Jordan,
Robert Schreiber,
Ilya Sharapov,
Shaheer Muhammad,
Abhishek Koneru,
Michael James,
Dirk Van Essendelft
Abstract:
We present a high-level and accessible Application Programming Interface (API) for the solution of field equations on the Cerebras Systems Wafer-Scale Engine (WSE) with over two orders of magnitude performance gain relative to traditional distributed computing approaches. The domain-specific API is called the WSE Field-equation API (WFA). The WFA outperforms OpenFOAM on NETL's Joule 2.0 supercompu…
▽ More
We present a high-level and accessible Application Programming Interface (API) for the solution of field equations on the Cerebras Systems Wafer-Scale Engine (WSE) with over two orders of magnitude performance gain relative to traditional distributed computing approaches. The domain-specific API is called the WSE Field-equation API (WFA). The WFA outperforms OpenFOAM on NETL's Joule 2.0 supercomputer by over two orders of magnitude in time to solution. While this performance is consistent with hand-optimized assembly codes, the WFA provides an easy-to-use, high-level Python interface that allows users to form and solve field equations effortlessly. We report here the WFA programming methodology and achieved performance on the latest generation of WSE, the CS-2.
△ Less
Submitted 28 September, 2022; v1 submitted 27 September, 2022;
originally announced September 2022.
-
Count and cofactor matroids of highly connected graphs
Authors:
Dániel Garamvölgyi,
Tibor Jordán,
Csaba Király
Abstract:
We consider two types of matroids defined on the edge set of a graph $G$: count matroids ${\cal M}_{k,\ell}(G)$, in which independence is defined by a sparsity count involving the parameters $k$ and $\ell$, and the (three-dimensional generic) cofactor matroid $\mathcal{C}(G)$, in which independence is defined by linear independence in the cofactor matrix of $G$. We give tight lower bounds, for eac…
▽ More
We consider two types of matroids defined on the edge set of a graph $G$: count matroids ${\cal M}_{k,\ell}(G)$, in which independence is defined by a sparsity count involving the parameters $k$ and $\ell$, and the (three-dimensional generic) cofactor matroid $\mathcal{C}(G)$, in which independence is defined by linear independence in the cofactor matrix of $G$. We give tight lower bounds, for each pair $(k,\ell)$, that show that if $G$ is sufficiently highly connected, then $G-e$ has maximum rank for all $e\in E(G)$, and ${\cal M}_{k,\ell}(G)$ is connected. These bounds unify and extend several previous results, including theorems of Nash-Williams and Tutte ($k=\ell$), and Lovász and Yemini ($k=2, \ell=3$). We also prove that if $G$ is highly connected, then the vertical connectivity of $\mathcal{C}(G)$ is also high.
We use these results to generalize Whitney's celebrated result on the graphic matroid of $G$ (which corresponds to ${\cal M}_{1,1}(G)$) to all count matroids and to the three-dimensional cofactor matroid: if $G$ is highly connected, depending on $k$ and $\ell$, then the count matroid ${\cal M}_{k,\ell}(G)$ uniquely determines $G$; and similarly, if $G$ is $14$-connected, then its cofactor matroid $\mathcal{C}(G)$ uniquely determines $G$. We also derive similar results for the $t$-fold union of the three-dimensional cofactor matroid, and use them to prove that every $24$-connected graph has a spanning tree $T$ for which $G-E(T)$ is $3$-connected, which verifies a case of a conjecture of Kriesell.
△ Less
Submitted 10 January, 2024; v1 submitted 13 September, 2022;
originally announced September 2022.
-
Minimally globally rigid graphs
Authors:
Dániel Garamvölgyi,
Tibor Jordán
Abstract:
A graph $G = (V,E)$ is globally rigid in $\mathbb{R}^d$ if for any generic placement $p : V \rightarrow \mathbb{R}^d$ of the vertices, the edge lengths $||p(u) - p(v)||, uv \in E$ uniquely determine $p$, up to congruence. In this paper we consider minimally globally rigid graphs, in which the deletion of an arbitrary edge destroys global rigidity. We prove that if $G=(V,E)$ is minimally globally r…
▽ More
A graph $G = (V,E)$ is globally rigid in $\mathbb{R}^d$ if for any generic placement $p : V \rightarrow \mathbb{R}^d$ of the vertices, the edge lengths $||p(u) - p(v)||, uv \in E$ uniquely determine $p$, up to congruence. In this paper we consider minimally globally rigid graphs, in which the deletion of an arbitrary edge destroys global rigidity. We prove that if $G=(V,E)$ is minimally globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then $|E|\leq (d+1)|V|-\binom{d+2}{2}$. This implies that the minimum degree of $G$ is at most $2d+1$. We also show that the only graph in which the upper bound on the number of edges is attained is the complete graph $K_{d+2}$. It follows that every minimally globally rigid graph in $\mathbb{R}^d$ on at least $d+3$ vertices is flexible in $\mathbb{R}^{d+1}$. As a counterpart to our main result on the sparsity of minimally globally rigid graphs, we show that in two dimensions, dense graphs always contain nontrivial globally rigid subgraphs. More precisely, if some graph $G=(V,E)$ satisfies $|E|\geq 5|V|$, then $G$ contains a subgraph on at least seven vertices that is globally rigid in $\mathbb{R}^2$. If the well-known "sufficient connectivity conjecture" is true, then our methods also extend to higher dimensions. Finally, we discuss a conjectured strengthening of our main result, which states that if a pair of vertices $\{u,v\}$ is linked in $G$ in $\mathbb{R}^{d+1}$, then $\{u,v\}$ is globally linked in $G$ in $\mathbb{R}^d$. We prove this conjecture in the $d=1,2$ cases, along with a variety of related results.
△ Less
Submitted 11 September, 2022; v1 submitted 23 February, 2022;
originally announced February 2022.
-
Globally rigid graphs are fully reconstructible
Authors:
Dániel Garamvölgyi,
Steven J. Gortler,
Tibor Jordán
Abstract:
A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb{R}^d$ if the graph $G$ and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph $G$ is called globally rigid in…
▽ More
A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb{R}^d$ if the graph $G$ and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph $G$ is called globally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is globally rigid.
In this paper, we consider the problem of reconstructing a graph from the set of edge lengths arising from a generic framework. Roughly speaking, a graph $G$ is strongly reconstructible in $\mathbb{C}^d$ if the set of (unlabeled) edge lengths of any generic framework $(G,p)$ in $d$-space, along with the number of vertices of $G$, uniquely determine both $G$ and the association between the edges of $G$ and the set of edge lengths. It is known that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then it is strongly reconstructible in $\mathbb{C}^d$. We strengthen this result and show that under the same conditions, $G$ is in fact fully reconstructible in $\mathbb{C}^d$, which means that the set of edge lengths alone is sufficient to uniquely reconstruct $G$, without any constraint on the number of vertices (although still under the assumption that the edge lengths come from a generic realization).
As a key step in our proof, we also prove that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then the $d$-dimensional generic rigidity matroid of $G$ is connected. Finally, we provide new families of fully reconstructible graphs and use them to answer some questions regarding unlabeled reconstructibility posed in recent papers.
△ Less
Submitted 3 June, 2022; v1 submitted 10 May, 2021;
originally announced May 2021.
-
Repeated Acoustic Vaporization of Perfluorohexane Nanodroplets for Contrast-Enhanced Ultrasound Imaging
Authors:
Austin Van Namen,
Sidhartha Jandhyala,
Tomas Jordan,
Geoffrey Luke
Abstract:
Superheated perfluorocarbon nanodroplets are emerging ultrasound imaging contrast agents boasting biocompatible components, unique phase-change dynamics, and therapeutic loading capabilities. Upon exposure to a sufficiently high intensity pulse of acoustic energy, the nanodroplet perfluorocarbon core undergoes a liquid-to-gas phase change and becomes an echogenic microbubble, providing ultrasound…
▽ More
Superheated perfluorocarbon nanodroplets are emerging ultrasound imaging contrast agents boasting biocompatible components, unique phase-change dynamics, and therapeutic loading capabilities. Upon exposure to a sufficiently high intensity pulse of acoustic energy, the nanodroplet perfluorocarbon core undergoes a liquid-to-gas phase change and becomes an echogenic microbubble, providing ultrasound contrast. The controllable activation leads to high-contrast images, while the small size of the nanodroplets promotes longer circulation times and better in-vivo stability. One drawback, however, is that the nanodroplets can only be vaporized a single time, limiting their versatility. Recently, we and others have address this issue by using a perfluorohexane core, which has a boiling point above body temperature. Thus after vaporization, the microbubbles recondense back into their stable nanodroplets form. Previous work with perfluorohexane nanodroplets relied on optical activation via pulse laser absorption of an encapsulated dye. This strategy limits the imaging depth and temporal resolution of the method. In this study we overcome these limitations by demonstrating acoustic droplet vaporization with 1.1-MHz high intensity focused ultrasound. A short-duration, high-amplitude pulse of focused ultrasound provides a sufficiently strong peak negative pressure to initiate vaporization. When using a custom imaging sequence with a high-frequency transducer, the repeated acoustic activation of perfluorohexane nanodroplets can be visualized in polyacrylamide tissue-mimicking phantoms. We demonstrate detection of hundreds of vaporization events from individual nanodroplets with activation thresholds well below the tissue cavitation limit. Overall, this approach has the potential to result in reliable contrast-enhanced ultrasound imaging at clinically relevant depths.
△ Less
Submitted 29 March, 2021;
originally announced March 2021.
-
Low Energy Light Yield of Fast Plastic Scintillators
Authors:
T. A. Laplace,
B. L. Goldblum,
J. A. Brown,
D. L. Bleuel,
C. A. Brand,
G. Gabella,
T. Jordan,
C. Moore,
N. Munshi,
Z. W. Sweger,
A. Ureche,
E. Brubaker
Abstract:
Compact neutron imagers using double-scatter kinematic reconstruction are being designed for localization and characterization of special nuclear material. These neutron imaging systems rely on scintillators with a rapid prompt temporal response as the detection medium. As n-p elastic scattering is the primary mechanism for light generation by fast neutron interactions in organic scintillators, pr…
▽ More
Compact neutron imagers using double-scatter kinematic reconstruction are being designed for localization and characterization of special nuclear material. These neutron imaging systems rely on scintillators with a rapid prompt temporal response as the detection medium. As n-p elastic scattering is the primary mechanism for light generation by fast neutron interactions in organic scintillators, proton light yield data are needed for accurate assessment of scintillator performance. The proton light yield of a series of commercial fast plastic organic scintillators---EJ-200, EJ-204, and EJ-208---was measured via a double time-of-flight technique at the 88-Inch Cyclotron at Lawrence Berkeley National Laboratory. Using a tunable deuteron breakup neutron source, target scintillators housed in a dual photomultiplier tube configuration, and an array of pulse-shape-discriminating observation scintillators, the fast plastic scintillator light yield was measured over a broad and continuous energy range down to proton recoil energies of approximately 50 keV. This work provides key input to event reconstruction algorithms required for utilization of these materials in emerging neutron imaging modalities.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Modelling ice birefringence and oblique radio wave propagation for neutrino detection at the South Pole
Authors:
T. M. Jordan,
D. Z. Besson,
I. Kravchenko,
U. Latif,
B. Madison,
A. Novikov,
A. Shultz
Abstract:
The Askaryan Radio Array (ARA) experiment at the South Pole is designed to detect high-energy neutrinos which, via in-ice interactions, produce coherent radiation at frequencies up to 1000 MHz. In Dec. 2018, a custom high-amplitude radio-frequency transmitter was lowered into the 1700 m SPICE ice core to provide test sources for ARA receiver stations sensitive to vertical and horizontal polarizati…
▽ More
The Askaryan Radio Array (ARA) experiment at the South Pole is designed to detect high-energy neutrinos which, via in-ice interactions, produce coherent radiation at frequencies up to 1000 MHz. In Dec. 2018, a custom high-amplitude radio-frequency transmitter was lowered into the 1700 m SPICE ice core to provide test sources for ARA receiver stations sensitive to vertical and horizontal polarizations. For these tests, signal geometries correspond to obliquely propagating radio waves from below. The ARA collaboration has recently measured the polarization-dependent time delay variation, and report more significant time delays for trajectories perpendicular to ice flow. Here we use fabric data from the SPICE ice core to construct a bounding model for the ice birefringence and the polarization time delays across ARA. The data-model comparison is consistent with the vertical girdle fabric at the South Pole having the prevailing horizontal crystallographic axis oriented near-perpendicular to ice flow. This study presents the possibility that ice birefringence can be used to constrain the range to a neutrino interaction, and hence aid in neutrino energy reconstruction, for in-ice experiments such as ARA.
△ Less
Submitted 3 October, 2019;
originally announced October 2019.
-
Dimension of ergodic measures projected onto self-similar sets with overlaps
Authors:
Thomas Jordan,
Ariel Rapaport
Abstract:
For self-similar sets on $\mathbb{R}$ satisfying the exponential separation condition we show that the natural projections of shift invariant ergodic measures is equal to $\min\{1,\frac{h}{-χ}\}$, where $h$ and $χ$ are the entropy and Lyapunov exponent respectively. The proof relies on Shmerkin's recent result on the $L^{q}$ dimension of self-similar measures. We also use the same method to give r…
▽ More
For self-similar sets on $\mathbb{R}$ satisfying the exponential separation condition we show that the natural projections of shift invariant ergodic measures is equal to $\min\{1,\frac{h}{-χ}\}$, where $h$ and $χ$ are the entropy and Lyapunov exponent respectively. The proof relies on Shmerkin's recent result on the $L^{q}$ dimension of self-similar measures. We also use the same method to give results on convolutions and orthogonal projections of ergodic measures projected onto self-similar sets.
△ Less
Submitted 9 March, 2020; v1 submitted 1 August, 2019;
originally announced August 2019.
-
The Stabilized Explicit Variable-Load Solver with Machine Learning Acceleration for the Rapid Solution of Stiff Chemical Kinetics
Authors:
Kyle Buchheit,
Opeoluwa Owoyele,
Terry Jordan,
Dirk Van Essendelft
Abstract:
In this study, a fast and stable machine-learned hybrid algorithm implemented in TensorFlow for the integration of stiff chemical kinetics is introduced. Numerical solutions to differential equations are at the core of computational fluid dynamics calculations. As the size and complexity of the simulations grow, so does the need for computational power and time. Many efforts have been made to impl…
▽ More
In this study, a fast and stable machine-learned hybrid algorithm implemented in TensorFlow for the integration of stiff chemical kinetics is introduced. Numerical solutions to differential equations are at the core of computational fluid dynamics calculations. As the size and complexity of the simulations grow, so does the need for computational power and time. Many efforts have been made to implement stiff chemistry solvers on GPUs but have not been highly successful because of the logical divergence in traditional stiff solver algorithms. Because of these constrains, a novel Explicit Stabilized Variable-load (STEV) solver has been developed. Overstep** due to the relatively large time steps is prevented by introducing limits to the maximum changes of chemical species per time step. To prevent oscillations, a discrete Fourier transform is introduced to dampen ringing. In contrast to conventional explicit approaches, a variable-load approach is used where each cell in the computational domain is advanced with its unique time step. This approach allows cells to be integrated simultaneously while maintaining warp convergence but finish at different iterations and be removed from the workload. To improve the computational performance of the introduced solver, specific thermodynamic quantities of interest were estimated using shallow neural networks in place of polynomial fits, leading to an additional 10% savings in clock time with minimal training and implementation requirements. However ML specific hardware could increase the time savings to as much as 28%. While the complexity of these particular machine learning models is not high by modern standards, the impact on computational efficiency should not be ignored. The results show a dramatic decrease in total chemistry solution time (over 200 times) while maintaining a similar degree of accuracy.
△ Less
Submitted 21 June, 2019; v1 submitted 21 May, 2019;
originally announced May 2019.
-
Birkhoff and Lyapunov spectra on planar self-affine sets
Authors:
Balázs Bárány,
Thomas Jordan,
Antti Käenmäki,
Michał Rams
Abstract:
Working on strongly irreducible planar self-affine sets satisfying the strong open set condition, we calculate the Birkhoff spectrum of continuous potentials and the Lyapunov spectrum.
Working on strongly irreducible planar self-affine sets satisfying the strong open set condition, we calculate the Birkhoff spectrum of continuous potentials and the Lyapunov spectrum.
△ Less
Submitted 6 December, 2019; v1 submitted 21 May, 2018;
originally announced May 2018.
-
Birkhoff spectrum for piecewise monotone interval maps
Authors:
Thomas Jordan,
Michal Rams
Abstract:
For piecewise monotone interval maps we look at Birkhoff spectra for regular potential functions. This means considering the Hausdorff dimension of the set of points for which the Birkhoff average of the potential takes a fixed value. In the uniformly hyperbolic case we obtain complete results, in the case with parabolic behaviour we are able to describe the part of the sets where the lower Lyapun…
▽ More
For piecewise monotone interval maps we look at Birkhoff spectra for regular potential functions. This means considering the Hausdorff dimension of the set of points for which the Birkhoff average of the potential takes a fixed value. In the uniformly hyperbolic case we obtain complete results, in the case with parabolic behaviour we are able to describe the part of the sets where the lower Lyapunov exponent is positive. In addition we give some lower bounds on the full spectrum in this case. This is an extension of work of Hofbauer on the entropy and Lyapunov spectra.
△ Less
Submitted 11 December, 2017;
originally announced December 2017.
-
Dimensions of equilibrium measures on a class of planar self-affine sets
Authors:
Jonathan Fraser,
Thomas Jordan,
Natalia Jurga
Abstract:
We study equilibrium measures (Käenmäki measures) supported on self-affine sets generated by a finite collection of diagonal and anti-diagonal matrices acting on the plane and satisfying the strong separation property. Our main result is that such measures are exact dimensional and the dimension satisfies the Ledrappier-Young formula, which gives an explicit expression for the dimension in terms o…
▽ More
We study equilibrium measures (Käenmäki measures) supported on self-affine sets generated by a finite collection of diagonal and anti-diagonal matrices acting on the plane and satisfying the strong separation property. Our main result is that such measures are exact dimensional and the dimension satisfies the Ledrappier-Young formula, which gives an explicit expression for the dimension in terms of the entropy and Lyapunov exponents as well as the dimension of the important coordinate projection of the measure. In particular, we do this by showing that the Käenmäki measure is equal to the sum of (the pushforwards) of two Gibbs measures on an associated subshift of finite type.
△ Less
Submitted 23 July, 2018; v1 submitted 21 June, 2017;
originally announced June 2017.
-
The Assouad dimension of self-affine carpets with no grid structure
Authors:
Jonathan M. Fraser,
Thomas Jordan
Abstract:
Previous study of the Assouad dimension of planar self-affine sets has relied heavily on the underlying IFS having a `grid structure', thus allowing for the use of approximate squares. We study the Assouad dimension of a class of self-affine carpets which do not have an associated grid structure. We find that the Assouad dimension is related to the box and Assouad dimensions of the (self-similar)…
▽ More
Previous study of the Assouad dimension of planar self-affine sets has relied heavily on the underlying IFS having a `grid structure', thus allowing for the use of approximate squares. We study the Assouad dimension of a class of self-affine carpets which do not have an associated grid structure. We find that the Assouad dimension is related to the box and Assouad dimensions of the (self-similar) projection of the self-affine set onto the first coordinate and to the local dimensions of the projection of a natural Bernoulli measure onto the first coordinate. In a special case we relate the Assouad dimension of the Przytycki-Urbański sets to the lower local dimensions of Bernoulli convolutions.
△ Less
Submitted 22 December, 2016; v1 submitted 7 July, 2016;
originally announced July 2016.
-
Pointwise perturbations of countable Markov maps
Authors:
Thomas Jordan,
Sara Munday,
Tuomas Sahlsten
Abstract:
We study the pointwise perturbations of countable Markov maps with infinitely many inverse branches and establish the following continuity theorem: Let $T_k$ and $T$ be expanding countable Markov maps such that the inverse branches of $T_k$ converge pointwise to the inverse branches of $T$ as $k \to \infty$. Then under suitable regularity assumptions on the maps $T_k$ and $T$ the following limit e…
▽ More
We study the pointwise perturbations of countable Markov maps with infinitely many inverse branches and establish the following continuity theorem: Let $T_k$ and $T$ be expanding countable Markov maps such that the inverse branches of $T_k$ converge pointwise to the inverse branches of $T$ as $k \to \infty$. Then under suitable regularity assumptions on the maps $T_k$ and $T$ the following limit exists: $$\lim_{k \to \infty} \dim_\mathrm{H} \{x : θ_k'(x) \neq 0\} = 1,$$ where $θ_k$ is the topological conjugacy between $T_k$ and $T$ and $\dim_\mathrm{H}$ stands for the Hausdorff dimension. This is in contrast with the fact that other natural quantities measuring the singularity of $θ_k$ fail to be continuous in this manner under pointwise convergence such as the Hölder exponent of $θ_k$ or the Hausdorff dimension $\dim_\mathrm{H} (μ\circ θ_k)$ for the preimage of the absolutely continuous invariant measure $μ$ for $T$. As an application we obtain a perturbation theorem in non-uniformly hyperbolic dynamics for conjugacies between intermittent Manneville-Pomeau maps $x \mapsto x + x^{1+α} \mod 1$ when varying the parameter $α$.
△ Less
Submitted 25 January, 2016;
originally announced January 2016.
-
An optimal shape design problem for plates
Authors:
Klaus Deckelnick,
Michael Hinze,
Tobias Jordan
Abstract:
We consider an optimal shape design problem for the plate equation, where the variable thickness of the plate is the design function. This problem can be formulated as a control in the coefficient PDE-constrained optimal control problem with additional control and state constraints. The state constraints are treated with a Moreau-Yosida regularization of a dual problem. Variational discretization…
▽ More
We consider an optimal shape design problem for the plate equation, where the variable thickness of the plate is the design function. This problem can be formulated as a control in the coefficient PDE-constrained optimal control problem with additional control and state constraints. The state constraints are treated with a Moreau-Yosida regularization of a dual problem. Variational discretization is employed for discrete approximation of the optimal control problem. For discretization of the state in the mixed formulation we compare the standard continuous piecewise linear ansatz with a piecewise constant one based on the lowest-order Raviart-Thomas mixed finite element. We derive bounds for the discretization and regularization errors and also address the coupling of the regularization parameter and finite element grid size. The numerical solution of the optimal control problem is realized with a semismooth Newton algorithm. Numerical examples show the performance of the method.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Symmetry examples in open quantum dynamics
Authors:
Thomas F. Jordan,
San Ha Seo
Abstract:
Dependent symmetries, symmetries that depend on the situation of the subsystem in a larger closed system, are explored by looking at simple examples. This is a new kind of symmetry in the open quantum dynamics of a subsystem
Each symmetry implies a particular form for the results of the open dynamics. The forms exhibit the symmetries very simply. It is shown directly, without assuming anything a…
▽ More
Dependent symmetries, symmetries that depend on the situation of the subsystem in a larger closed system, are explored by looking at simple examples. This is a new kind of symmetry in the open quantum dynamics of a subsystem
Each symmetry implies a particular form for the results of the open dynamics. The forms exhibit the symmetries very simply. It is shown directly, without assuming anything about the symmetry, that the dynamics produces the form, but knowing the symmetry and the form it implies can reduce what needs to be done to work out the dynamics; pieces can be deduced from the symmetry rather that calculated from the dynamics.
Symmetries can be related to constants of the motion in new ways. A quantity might be a dependent constant of the motion, constant only for particular situations of the subsystem in the larger system. In particular, a generator of dependent symmetries could represent a quantity that is a dependent constant of the motion for the same situations as for the symmetries. The examples present a variety of possibilities. Sometimes a generator of dependent symmetries does represent a dependent constant of the motion. Sometimes it does not. Sometimes no quantity is a dependent constant of the motion. Sometimes every quantity is.
△ Less
Submitted 10 November, 2016; v1 submitted 19 August, 2014;
originally announced August 2014.
-
Symmetries in open quantum dynamics
Authors:
Thomas F. Jordan
Abstract:
Simple examples are used to introduce and examine symmetries of open quantum dynamics that can be described by unitary operators. For the Hamiltonian dynamics of an entire closed system, the symmetry takes the expected form which, when the Hamiltonian has a lower bound, says that the unitary symmetry operator commutes with the Hamiltonian operator. There are many more symmetries that are only for…
▽ More
Simple examples are used to introduce and examine symmetries of open quantum dynamics that can be described by unitary operators. For the Hamiltonian dynamics of an entire closed system, the symmetry takes the expected form which, when the Hamiltonian has a lower bound, says that the unitary symmetry operator commutes with the Hamiltonian operator. There are many more symmetries that are only for the open dynamics of a subsystem. Examples show how these symmetries alone can reveal properties of the dynamics and reduce what needs to be done to work out the dynamics. A symmetry of the open dynamics of a subsystem can even imply properties of the dynamics for the entire system that are not implied by the symmetries of the dynamics of the entire system. The symmetries are generally not related to constants of the motion for the open dynamics of the subsystem. There are many symmetries that cannot be seen in the Schrodinger picture as symmetries of dynamical maps of density matrices for the subsystem.
There are symmetries of the open dynamics of a subsystem that depend only on the dynamics. In the simplest examples, these are also symmetries of the dynamics of the entire system. There are many more symmetries, of a new kind, that also depend on correlations, or absence of correlations, between the subsystem and the rest of the entire system, or on the state of the rest of the entire system.
△ Less
Submitted 10 November, 2016; v1 submitted 16 August, 2014;
originally announced August 2014.
-
Packing spectra for Bernoulli measures supported on Bedford-McMullen carpets
Authors:
Thomas Jordan,
Michał Rams
Abstract:
In this paper we consider the packing spectra for local dimension of Bernoulli measures supported on Bedford-McMullen carpets. We show that typically the packing dimension of the regular set is smaller than the packing dimension of the attractor. We also consider a specific class of measures for which we are able to calculate the packing spectrum exactly and we show that the packing spectrum is di…
▽ More
In this paper we consider the packing spectra for local dimension of Bernoulli measures supported on Bedford-McMullen carpets. We show that typically the packing dimension of the regular set is smaller than the packing dimension of the attractor. We also consider a specific class of measures for which we are able to calculate the packing spectrum exactly and we show that the packing spectrum is discontinuous as a function on the space of Bernoulli measures.
△ Less
Submitted 24 July, 2014;
originally announced July 2014.
-
Planning the Future of U.S. Particle Physics (Snowmass 2013): Chapter 10: Communication, Education, and Outreach
Authors:
M. Bardeen,
D. Cronin-Hennessy,
R. M. Barnett,
P. Bhat,
K. Cecire,
K. Cranmer,
T. Jordan,
I. Karliner,
J. Lykken,
P. Norris,
H. White,
K. Yurkewicz
Abstract:
These reports present the results of the 2013 Community Summer Study of the APS Division of Particles and Fields ("Snowmass 2013") on the future program of particle physics in the U.S. Chapter 10, on Communication, Education, and Outreach, discusses the resources and issues for the communication of information about particle physics to teachers and students, to scientists in other fields, to polic…
▽ More
These reports present the results of the 2013 Community Summer Study of the APS Division of Particles and Fields ("Snowmass 2013") on the future program of particle physics in the U.S. Chapter 10, on Communication, Education, and Outreach, discusses the resources and issues for the communication of information about particle physics to teachers and students, to scientists in other fields, to policy makers, and to the general public.
△ Less
Submitted 24 January, 2014; v1 submitted 23 January, 2014;
originally announced January 2014.
-
Fourier transforms of Gibbs measures for the Gauss map
Authors:
Thomas Jordan,
Tuomas Sahlsten
Abstract:
We investigate under which conditions a given invariant measure $μ$ for the dynamical system defined by the Gauss map $x \mapsto 1/x \mod 1$ is a Rajchman measure with polynomially decaying Fourier transform $$|\widehatμ(ξ)| = O(|ξ|^{-η}), \quad \text{as } |ξ| \to \infty.$$ We show that this property holds for any Gibbs measure $μ$ of Hausdorff dimension greater than $1/2$ with a natural large dev…
▽ More
We investigate under which conditions a given invariant measure $μ$ for the dynamical system defined by the Gauss map $x \mapsto 1/x \mod 1$ is a Rajchman measure with polynomially decaying Fourier transform $$|\widehatμ(ξ)| = O(|ξ|^{-η}), \quad \text{as } |ξ| \to \infty.$$ We show that this property holds for any Gibbs measure $μ$ of Hausdorff dimension greater than $1/2$ with a natural large deviation assumption on the Gibbs potential. In particular, we obtain the result for the Hausdorff measure and all Gibbs measures of dimension greater than $1/2$ on badly approximable numbers, which extends the constructions of Kaufman and Queffélec-Ramaré. Our main result implies that the Fourier-Stieltjes coefficients of the Minkowski's question mark function decay to $0$ polynomially answering a question of Salem from 1943. As an application of the Davenport-Erdős-LeVeque criterion we obtain an equidistribution theorem for Gibbs measures, which extends in part a recent result by Hochman-Shmerkin. Our proofs are based on exploiting the nonlinear and number theoretic nature of the Gauss map and large deviation theory for Hausdorff dimension and Lyapunov exponents.
△ Less
Submitted 2 February, 2015; v1 submitted 12 December, 2013;
originally announced December 2013.
-
Self-affine sets with non-compactly supported random perturbations
Authors:
Thomas Jordan,
Natalia Jurga
Abstract:
In this note we consider the Hausdorff dimension of self-affine sets with random perturbations. We extend previous work in this area by allowing the random perturbation to be distributed according to distributions with unbounded support as long as the measure of the tails of the distribution decay super polynomially.
In this note we consider the Hausdorff dimension of self-affine sets with random perturbations. We extend previous work in this area by allowing the random perturbation to be distributed according to distributions with unbounded support as long as the measure of the tails of the distribution decay super polynomially.
△ Less
Submitted 8 May, 2014; v1 submitted 3 October, 2013;
originally announced October 2013.
-
Transience and multifractal analysis
Authors:
Godofredo Iommi,
Thomas Jordan,
Mike Todd
Abstract:
We study dimension theory for dissipative dynamical systems, proving a conditional variational principle for the quotients of Birkhoff averages restricted to the recurrent part of the system. On the other hand, we show that when the whole system is considered (and not just its recurrent part) the conditional variational principle does not necessarily hold. Moreover, we exhibit the first example of…
▽ More
We study dimension theory for dissipative dynamical systems, proving a conditional variational principle for the quotients of Birkhoff averages restricted to the recurrent part of the system. On the other hand, we show that when the whole system is considered (and not just its recurrent part) the conditional variational principle does not necessarily hold. Moreover, we exhibit the first example of a topologically transitive map having discontinuous Lyapunov spectrum. The mechanism producing all these pathological features on the multifractal spectra is transience, that is, the non-recurrent part of the dynamics.
△ Less
Submitted 17 December, 2015; v1 submitted 3 September, 2013;
originally announced September 2013.
-
Multifractal analysis for quotients of Birkhoff sums for countable Markov maps
Authors:
Godofredo Iommi,
Thomas Jordan
Abstract:
This paper is devoted to study multifractal analysis of quotients of Birkhoff averages for countable Markov maps. We prove a variational principle for the Hausdorff dimension of the level sets. Under certain assumptions we are able to show that the spectrum varies analytically in parts of its domain. We apply our results to show that the Birkhoff spectrum for the Manneville-Pomeau map can be disco…
▽ More
This paper is devoted to study multifractal analysis of quotients of Birkhoff averages for countable Markov maps. We prove a variational principle for the Hausdorff dimension of the level sets. Under certain assumptions we are able to show that the spectrum varies analytically in parts of its domain. We apply our results to show that the Birkhoff spectrum for the Manneville-Pomeau map can be discontinuous, showing the remarkable differences with the uniformly hyperbolic setting. We also obtain results describing the Birkhoff spectrum of suspension flows. Examples involving continued fractions are also given.
△ Less
Submitted 9 September, 2013; v1 submitted 11 March, 2013;
originally announced March 2013.
-
Recurrence and transience for suspension flows
Authors:
Godofredo Iommi,
Thomas Jordan,
Mike Todd
Abstract:
We study the thermodynamic formalism for suspension flows over countable Markov shifts with roof functions not necessarily bounded away from zero. We establish conditions to ensure the existence and uniqueness of equilibrium measures for regular potentials. We define the notions of recurrence and transience of a potential in this setting. We define the "renewal flow", which is a symbolic model for…
▽ More
We study the thermodynamic formalism for suspension flows over countable Markov shifts with roof functions not necessarily bounded away from zero. We establish conditions to ensure the existence and uniqueness of equilibrium measures for regular potentials. We define the notions of recurrence and transience of a potential in this setting. We define the "renewal flow", which is a symbolic model for a class of flows with diverse recurrence features. We study the corresponding thermodynamic formalism, establishing conditions for the existence of equilibrium measures and phase transitions. Applications are given to suspension flows defined over interval maps having parabolic fixed points.
△ Less
Submitted 9 February, 2015; v1 submitted 28 September, 2012;
originally announced September 2012.
-
Dimension of self-affine sets with holes
Authors:
Andrew Ferguson,
Thomas Jordan,
Michał Rams
Abstract:
In this paper we compute the dimension of a class of dynamically defined non-conformal sets. Let $X\subseteq\mathbb{T}^2$ denote a Bedford-McMullen set and $T:X\to X$ the natural expanding toral endomorphism which leaves $X$ invariant. For an open set $U\subset X$ we let
X_U={x\in X : T^k(x)\not\in U \text{for all}k}.
We investigate the box and Hausdorff dimensions of $X_U$ for both a fixed Marko…
▽ More
In this paper we compute the dimension of a class of dynamically defined non-conformal sets. Let $X\subseteq\mathbb{T}^2$ denote a Bedford-McMullen set and $T:X\to X$ the natural expanding toral endomorphism which leaves $X$ invariant. For an open set $U\subset X$ we let
X_U={x\in X : T^k(x)\not\in U \text{for all}k}.
We investigate the box and Hausdorff dimensions of $X_U$ for both a fixed Markov hole and also when $U$ is a shrinking metric ball. We show that the box dimension is controlled by the escape rate of the measure of maximal entropy through $U$, while the Hausdorff dimension depends on the escape rate of the measure of maximal dimension.
△ Less
Submitted 11 June, 2012;
originally announced June 2012.
-
Phase transitions for suspension flows
Authors:
Godofredo Iommi,
Thomas Jordan
Abstract:
This paper is devoted to study thermodynamic formalism for suspension flows defined over countable alphabets. We are mostly interested in the regularity properties of the pressure function. We establish conditions for the pressure function to be real analytic or to exhibit a phase transition. We also construct an example of a potential for which the pressure has countably many phase transitions.
This paper is devoted to study thermodynamic formalism for suspension flows defined over countable alphabets. We are mostly interested in the regularity properties of the pressure function. We establish conditions for the pressure function to be real analytic or to exhibit a phase transition. We also construct an example of a potential for which the pressure has countably many phase transitions.
△ Less
Submitted 23 February, 2012; v1 submitted 3 February, 2012;
originally announced February 2012.
-
Multifractal analysis for expanding interval maps with infinitely many branches
Authors:
Ai-Hua Fan,
Thomas Jordan,
Lingmin Liao,
Michal Rams
Abstract:
In this paper we investigate multifractal decompositions based on values of Birkhoff averages of functions from a class of symbolically continuous functions. This will be done for an expanding interval map with infinitely many branches and is a generalisation of previous work for expanding maps with finitely many branches. We show that there are substantial differences between this case and the se…
▽ More
In this paper we investigate multifractal decompositions based on values of Birkhoff averages of functions from a class of symbolically continuous functions. This will be done for an expanding interval map with infinitely many branches and is a generalisation of previous work for expanding maps with finitely many branches. We show that there are substantial differences between this case and the setting where the expanding map has only finitely many branches.
△ Less
Submitted 7 February, 2013; v1 submitted 13 October, 2011;
originally announced October 2011.
-
Multifractal structure of Bernoulli convolutions
Authors:
Thomas Jordan,
Pablo Shmerkin,
Boris Solomyak
Abstract:
Let $ν_λ^p$ be the distribution of the random series $\sum_{n=1}^\infty i_n λ^n$, where $i_n$ is a sequence of i.i.d. random variables taking the values 0,1 with probabilities $p,1-p$. These measures are the well-known (biased) Bernoulli convolutions.
In this paper we study the multifractal spectrum of $ν_λ^p$ for typical $λ$. Namely, we investigate the size of the sets
\[ Δ_{λ,p}(α) = \left\{…
▽ More
Let $ν_λ^p$ be the distribution of the random series $\sum_{n=1}^\infty i_n λ^n$, where $i_n$ is a sequence of i.i.d. random variables taking the values 0,1 with probabilities $p,1-p$. These measures are the well-known (biased) Bernoulli convolutions.
In this paper we study the multifractal spectrum of $ν_λ^p$ for typical $λ$. Namely, we investigate the size of the sets
\[ Δ_{λ,p}(α) = \left\{x\in\R: \lim_{r\searrow 0} \frac{\log ν_λ^p(B(x,r))}{\log r} =α\right\}. \]
Our main results highlight the fact that for almost all, and in some cases all, $λ$ in an appropriate range, $Δ_{λ,p}(α)$ is nonempty and, moreover, has positive Hausdorff dimension, for many values of $α$. This happens even in parameter regions for which $ν_λ^p$ is typically absolutely continuous.
△ Less
Submitted 8 November, 2010;
originally announced November 2010.
-
Increasing digit subsystems of infinite iterated function systems
Authors:
Thomas Jordan,
Michal Rams
Abstract:
We consider infinite iterated function systems $\{f_i\}_{i=1}^{\infty}$ on $[0,1]$ with a polynomially increasing contraction rate. We look at subsets of such systems where we only allow iterates $f_{i_1}\circ f_{i_2}\circ f_{i_3}\circ...$ if $i_n>Φ(i_{n-1})$ for certain increasing functions $Φ:\mathbb{N}\rightarrow\mathbb{N}$. We compute both the Hausdorff and packing dimensions of such sets. Our…
▽ More
We consider infinite iterated function systems $\{f_i\}_{i=1}^{\infty}$ on $[0,1]$ with a polynomially increasing contraction rate. We look at subsets of such systems where we only allow iterates $f_{i_1}\circ f_{i_2}\circ f_{i_3}\circ...$ if $i_n>Φ(i_{n-1})$ for certain increasing functions $Φ:\mathbb{N}\rightarrow\mathbb{N}$. We compute both the Hausdorff and packing dimensions of such sets. Our results generalize work of Ramharter which shows that the set of continued fractions with strictly increasing digits has Hausdorff dimension 1/2.
△ Less
Submitted 4 November, 2010; v1 submitted 25 October, 2010;
originally announced October 2010.
-
Multifractal analysis of Birkhoff averages for countable Markov maps
Authors:
Godofredo Iommi,
Thomas Jordan
Abstract:
In this paper we prove a multifractal formalism of Birkhoff averages for interval maps with countably many branches. Furthermore, we prove that under certain regularity assumptions on the potential the Birkhoff spectrum is real analytic. Applications of these results to number theory are also given. Finally, we compute the Hausdorff dimension of the set of points for which the Birkhoff average is…
▽ More
In this paper we prove a multifractal formalism of Birkhoff averages for interval maps with countably many branches. Furthermore, we prove that under certain regularity assumptions on the potential the Birkhoff spectrum is real analytic. Applications of these results to number theory are also given. Finally, we compute the Hausdorff dimension of the set of points for which the Birkhoff average is infinite.
△ Less
Submitted 16 May, 2011; v1 submitted 15 March, 2010;
originally announced March 2010.
-
What is tested when experiments test that quantum dynamics is linear
Authors:
Thomas F. Jordan
Abstract:
Experiments that look for nonlinear quantum dynamics test the fundamental premise of physics that one of two separate systems can influence the physical behavior of the other only if there is a force between them, an interaction that involves momentum and energy. The premise is tested because it is the assumption of a proof that quantum dynamics must be linear. Here variations of a familiar exampl…
▽ More
Experiments that look for nonlinear quantum dynamics test the fundamental premise of physics that one of two separate systems can influence the physical behavior of the other only if there is a force between them, an interaction that involves momentum and energy. The premise is tested because it is the assumption of a proof that quantum dynamics must be linear. Here variations of a familiar example are used to show how results of nonlinear dynamics in one system can depend on correlations with the other. Effects of one system on the other, influence without interaction between separate systems, not previously considered possible, would be expected with nonlinear quantum dynamics. Whether it is possible or not is subject to experimental tests together with the linearity of quantum dynamics. Concluding comments and questions consider directions our thinking might take in response to this surprising unprecedented situation.
△ Less
Submitted 8 June, 2010; v1 submitted 24 February, 2010;
originally announced February 2010.
-
Multifractal analysis for Bedford-McMullen carpets
Authors:
Thomas Jordan,
Michal Rams
Abstract:
In this paper we compute the multifractal analysis for local dimensions of Bernoulli measures supported on the self-affine carpets introduced by Bedford-McMullen. This extends the work of King where the multifractal analysis is computed with strong additional separation assumptions.
In this paper we compute the multifractal analysis for local dimensions of Bernoulli measures supported on the self-affine carpets introduced by Bedford-McMullen. This extends the work of King where the multifractal analysis is computed with strong additional separation assumptions.
△ Less
Submitted 5 November, 2009; v1 submitted 1 September, 2009;
originally announced September 2009.
-
Change of the plane of oscillation of a Foucault pendulum from simple pictures
Authors:
Thomas F. Jordan,
J. Maps
Abstract:
The change of the plane of oscillation of a Foucault pendulum is calculated without using equations of motion, the Gauss-Bonnet theorem, parallel transport, or assumptions that are difficult to explain.
The change of the plane of oscillation of a Foucault pendulum is calculated without using equations of motion, the Gauss-Bonnet theorem, parallel transport, or assumptions that are difficult to explain.
△ Less
Submitted 3 July, 2010; v1 submitted 2 August, 2009;
originally announced August 2009.
-
Repeatable procedures and maps in open quantum dynamics
Authors:
Thomas F. Jordan,
Anil Shaji
Abstract:
Examples of repeatable procedures and maps are found in the open quantum dynamics of one qubit that interacts with another qubit. They show that a mathematical map that is repeatable can be made by a physical procedure that is not.
Examples of repeatable procedures and maps are found in the open quantum dynamics of one qubit that interacts with another qubit. They show that a mathematical map that is repeatable can be made by a physical procedure that is not.
△ Less
Submitted 26 March, 2009;
originally announced March 2009.
-
The Hausdorff dimension of the projections of self-affine carpets
Authors:
Andrew Ferguson,
Thomas Jordan,
Pablo Shmerkin
Abstract:
We study the orthogonal projections of a large class of self-affine carpets, which contains the carpets of Bedford and McMullen as special cases. Our main result is that if $Λ$ is such a carpet, and certain natural irrationality conditions hold, then every orthogonal projection of $Λ$ in a non-principal direction has Hausdorff dimension $\min(γ,1)$, where $γ$ is the Hausdorff dimension of $Λ$. T…
▽ More
We study the orthogonal projections of a large class of self-affine carpets, which contains the carpets of Bedford and McMullen as special cases. Our main result is that if $Λ$ is such a carpet, and certain natural irrationality conditions hold, then every orthogonal projection of $Λ$ in a non-principal direction has Hausdorff dimension $\min(γ,1)$, where $γ$ is the Hausdorff dimension of $Λ$. This generalizes a recent result of Peres and Shmerkin on sums of Cantor sets.
△ Less
Submitted 21 October, 2009; v1 submitted 12 March, 2009;
originally announced March 2009.
-
Bracket relations for relativity groups
Authors:
Thomas F. Jordan
Abstract:
Poisson bracket relations for generators of canonical transformations are derived directly from the Galilei and Poincaré groups of changes of space-time coordinates. The method is simple but rigorous. The meaning of each step is clear because it corresponds to an operation in the group of changes of space-time coordinates. Only products and inverses are used; differences are not used. It is made e…
▽ More
Poisson bracket relations for generators of canonical transformations are derived directly from the Galilei and Poincaré groups of changes of space-time coordinates. The method is simple but rigorous. The meaning of each step is clear because it corresponds to an operation in the group of changes of space-time coordinates. Only products and inverses are used; differences are not used. It is made explicitly clear why constants occur in some bracket relations but not in others, and how some constants can be removed, so that in the end there is a constant in the bracket relations for the Galilei group but not for the Poincaré group. Each change of coordinates needs to be only to first order, so matrices are not needed for rotations or Lorentz transformations; simple three-vector descriptions are enough.
Conversion to quantum mechanics is immediate. One result is a simpler derivation of the commutation relations for angular momentum directly from rotations. Problems are included.
△ Less
Submitted 20 March, 2016; v1 submitted 25 October, 2008;
originally announced October 2008.
-
Sets of non-differentiability for conjugacies between expanding interval maps
Authors:
Thomas Jordan,
Marc Kesseböhmer,
Mark Pollicott,
Bernd O. Stratmann
Abstract:
We study differentiability of topological conjugacies between expanding piecewise $C^{1+ε}$ interval maps. If these conjugacies are not $C^1$, then they have zero derivative almost everywhere. We obtain the result that in this case the Hausdorff dimension of the set of points for which the derivative of the conjugacy does not exist lies strictly between zero and one. Using multifractal analysis…
▽ More
We study differentiability of topological conjugacies between expanding piecewise $C^{1+ε}$ interval maps. If these conjugacies are not $C^1$, then they have zero derivative almost everywhere. We obtain the result that in this case the Hausdorff dimension of the set of points for which the derivative of the conjugacy does not exist lies strictly between zero and one. Using multifractal analysis and thermodynamic formalism, we show that this Hausdorff dimension is explicitly determined by the Lyapunov spectrum. Moreover, we show that these results give rise to a "rigidity dichotomy" for the type of conjugacies under consideration.
△ Less
Submitted 1 July, 2008;
originally announced July 2008.
-
Higher Order Birkhoff Averages
Authors:
Thomas Jordan,
Vincent Naudot,
Todd Young
Abstract:
There are well-known examples of dynamical systems for which the Birkhoff averages with respect to a given observable along some or all of the orbits do not converge. It has been suggested that such orbits could be classified using higher order averages. In the case of a bounded observable, we show that a classical result of G.H. Hardy implies that if the Birkhoff averages do not converge, then…
▽ More
There are well-known examples of dynamical systems for which the Birkhoff averages with respect to a given observable along some or all of the orbits do not converge. It has been suggested that such orbits could be classified using higher order averages. In the case of a bounded observable, we show that a classical result of G.H. Hardy implies that if the Birkhoff averages do not converge, then neither do the higher order averages.
If the Birkhoff averages do not converge then we may denote by $[α_k,β_k]$ the limit set of the $k$-th order averages. The sequence of intervals thus generated is nested: $[α_{k+1},β_{k+1}] \subset [α_k,β_k]$. We can thus make a distinction among nonconvergent Birkhoff averages; either:
B1. $\cap_{k=1}^\infty [α_k,β_k]$ is a point $B_\infty$, or,
B2. $\cap_{k=1}^\infty [α_k,β_k]$ is a non-trivial interval
$[α_\infty,β_\infty]$.
We give characterizations of the types B1 and B2 in terms of how slowly they oscillate and we give examples that exhibit both behaviours B1 and B2 in the context of full shifts on finite symbols and "Bowen's example". For finite full shifts, we show that the set of orbits with type B2 behaviour has full topological entropy.
△ Less
Submitted 3 December, 2008; v1 submitted 18 June, 2008;
originally announced June 2008.
-
Multifractal analysis of weak Gibbs measures for non-uniformly expanding C^1 maps
Authors:
Thomas Jordan,
Michal Rams
Abstract:
We consider the local dimension spectrum of a weak Gibbs measure on a C^1 non-uniformly hyperbolic system of Manneville- Pomeau type. We present the spectrum in three ways: using invariant measures, uniformly hyperbolic ergodic measures and equilibrium states. We are also proving analyticity of the spectrum under additional assumptions. All three presentations are well known for smooth uniformly…
▽ More
We consider the local dimension spectrum of a weak Gibbs measure on a C^1 non-uniformly hyperbolic system of Manneville- Pomeau type. We present the spectrum in three ways: using invariant measures, uniformly hyperbolic ergodic measures and equilibrium states. We are also proving analyticity of the spectrum under additional assumptions. All three presentations are well known for smooth uniformly hyperbolic systems.
△ Less
Submitted 14 August, 2009; v1 submitted 4 June, 2008;
originally announced June 2008.
-
Probability sum rules and consistent quantum histories
Authors:
Thomas F. Jordan,
Eric D. Chisolm
Abstract:
An example shows that weak decoherence is more restrictive than the minimal logical decoherence structure that allows probabilities to be used consistently for quantum histories. The probabilities in the sum rules that define minimal decoherence are all calculated by using a projection operator to describe each possibility for the state at each time. Weak decoherence requires more sum rules. The…
▽ More
An example shows that weak decoherence is more restrictive than the minimal logical decoherence structure that allows probabilities to be used consistently for quantum histories. The probabilities in the sum rules that define minimal decoherence are all calculated by using a projection operator to describe each possibility for the state at each time. Weak decoherence requires more sum rules. They bring in additional variables, that require different measurements and a different way to calculate probabilities, and raise questions of operational meaning. The example shows that extending the linearly positive probability formula from weak to minimal decoherence gives probabilities that are different from those calculated in the usual way using the Born and von Neumann rules and a projection operator at each time.
△ Less
Submitted 21 July, 2009; v1 submitted 17 January, 2008;
originally announced January 2008.
-
Multifractal analysis of non-uniformly hyperbolic systems
Authors:
Anders Johansson,
Thomas Jordan,
Anders Öberg,
Mark Pollicott
Abstract:
We prove a multifractal formalism for Birkhoff averages of continuous functions in the case of some non-uniformly hyperbolic maps, which includes interval examples such as the Manneville--Pomeau map.
We prove a multifractal formalism for Birkhoff averages of continuous functions in the case of some non-uniformly hyperbolic maps, which includes interval examples such as the Manneville--Pomeau map.
△ Less
Submitted 23 September, 2008; v1 submitted 9 January, 2008;
originally announced January 2008.
-
A hazard of open quantum dynamics: Markov approximations encounter map domains
Authors:
Thomas F. Jordan,
Anil Shaji,
E. C. G. Sudarshan
Abstract:
A Markov approximation in open quantum dynamics can give unphysical results when a map acts on a state that is not in its domain. This is examined here in a simple example, an open quantum dynamics for one qubit in a system of two interacting qubits, for which the map domains have been described quite completely. A time interval is split into two parts and the map from the exact dynamics for the…
▽ More
A Markov approximation in open quantum dynamics can give unphysical results when a map acts on a state that is not in its domain. This is examined here in a simple example, an open quantum dynamics for one qubit in a system of two interacting qubits, for which the map domains have been described quite completely. A time interval is split into two parts and the map from the exact dynamics for the entire interval is replaced by the conjunction of that same map for both parts. If there is any correlation between the two qubits, unphysical results can appear as soon as the map conjunction is used, even for infinitesimal times. If the map is repeated an unlimited number of times, every state is at risk of being taken outside the bounds of physical meaning. Treatment by slippage of initial conditions is discussed.
△ Less
Submitted 23 January, 2008; v1 submitted 27 November, 2007;
originally announced November 2007.
-
Maps and inverse maps in open quantum dynamics
Authors:
Thomas F. Jordan
Abstract:
Two kinds of maps that describe evolution of states of a subsystem coming from dynamics described by a unitary operator for a larger system, maps defined for fixed mean values and maps defined for fixed correlations, are found to be quite different for the same unitary dynamics in the same situation in the larger system. An affine form is used for both kinds of maps to find necessary and suffici…
▽ More
Two kinds of maps that describe evolution of states of a subsystem coming from dynamics described by a unitary operator for a larger system, maps defined for fixed mean values and maps defined for fixed correlations, are found to be quite different for the same unitary dynamics in the same situation in the larger system. An affine form is used for both kinds of maps to find necessary and sufficient conditions for inverse maps. All the different maps with the same homogeneous part in their affine forms have inverses if and only if the homogeneous part does. Some of these maps are completely positive; others are not, but the homogeneous part is always completely positive. The conditions for an inverse are the same for maps that are not completely positive as for maps that are. For maps defined for fixed mean values, the homogeneous part depends only on the unitary operator for the dynamics of the larger system, not on any state or mean values or correlations. Necessary and sufficient conditions for an inverse are stated several different ways: in terms of the maps of matrices, basis matrices, density matrices, or mean values. The inverse maps are generally not tied to the dynamics the way the maps forward are. A trace-preserving completely positive map that is unital can not have an inverse that is obtained from any dynamics described by any unitary operator for any states of a larger system.
△ Less
Submitted 8 July, 2008; v1 submitted 24 October, 2007;
originally announced October 2007.