Showing 1–50 of 69 results for author: Hart, P

$C$-embedding, Lindelöfness, Čech-completeness

Authors: Alan Dow, Klaas Pieter Hart, Jan van Mill, Hans Vermeer

Abstract: We show that in the class of Lindelöf Čech-complete spaces the property of being $C$-embedded is quite well-behaved. It admits a useful characterization that can be used to show that products and perfect preimages of $C$-embedded spaces are again $C$-embedded. We also show that both properties, Lindelöf and Čech-complete, are needed in the product result. We show that in the class of Lindelöf Čech-complete spaces the property of being $C$-embedded is quite well-behaved. It admits a useful characterization that can be used to show that products and perfect preimages of $C$-embedded spaces are again $C$-embedded. We also show that both properties, Lindelöf and Čech-complete, are needed in the product result. △ Less

Submitted 30 April, 2024; originally announced April 2024.

MSC Class: 54C45; 54D20; 54D35; 54D40; 54D60; 54G20

All Thresholds Barred: Direct Estimation of Call Density in Bioacoustic Data

Authors: Amanda K. Navine, Tom Denton, Matthew J. Weldy, Patrick J. Hart

Abstract: Passive acoustic monitoring (PAM) studies generate thousands of hours of audio, which may be used to monitor specific animal populations, conduct broad biodiversity surveys, detect threats such as poachers, and more. Machine learning classifiers for species identification are increasingly being used to process the vast amount of audio generated by bioacoustic surveys, expediting analysis and incre… ▽ More Passive acoustic monitoring (PAM) studies generate thousands of hours of audio, which may be used to monitor specific animal populations, conduct broad biodiversity surveys, detect threats such as poachers, and more. Machine learning classifiers for species identification are increasingly being used to process the vast amount of audio generated by bioacoustic surveys, expediting analysis and increasing the utility of PAM as a management tool. In common practice, a threshold is applied to classifier output scores, and scores above the threshold are aggregated into a detection count. The choice of threshold produces biased counts of vocalizations, which are subject to false positive/negative rates that may vary across subsets of the dataset. In this work, we advocate for directly estimating call density: The proportion of detection windows containing the target vocalization, regardless of classifier score. Our approach targets a desirable ecological estimator and provides a more rigorous grounding for identifying the core problems caused by distribution shifts -- when the defining characteristics of the data distribution change -- and designing strategies to mitigate them. We propose a validation scheme for estimating call density in a body of data and obtain, through Bayesian reasoning, probability distributions of confidence scores for both the positive and negative classes. We use these distributions to predict site-level densities, which may be subject to distribution shifts. We test our proposed methods on a real-world study of Hawaiian birds and provide simulation results leveraging existing fully annotated datasets, demonstrating robustness to variations in call density and classifier model quality. △ Less

Submitted 23 February, 2024; originally announced February 2024.

Comments: 14 pages, 6 figures, 3 tables; submitted to Frontiers in Bird Science; Our Hawaiian PAM dataset and classifier scores, as well as annotation information for the three study species, can be found on Zenodo at https://doi.org/10.5281/zenodo.10581530. The fully annotated Powdermill dataset assembled by Chronister et al. that was used in this study is available at https://doi.org/10.1002/ecy.3329

Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$

Authors: Alan Dow, Klaas Pieter Hart, Jan van Mill, Hans Vermeer

Abstract: We investigate closed copies of~$\mathbb{N}$ in powers of~$\mathbb{R}$ with respect to $C^*$- and $C$-embedding. We show that $\mathbb{R}^{ω_1}$ contains closed copies of~$\mathbb{N}$ that are not $C^*$-embedded. We investigate closed copies of~$\mathbb{N}$ in powers of~$\mathbb{R}$ with respect to $C^*$- and $C$-embedding. We show that $\mathbb{R}^{ω_1}$ contains closed copies of~$\mathbb{N}$ that are not $C^*$-embedded. △ Less

Submitted 31 October, 2023; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: Version 2: some corrections and reformulations Version 3: references to older results plus an example of a nonC*-embedded copy consistent with not-CH

MSC Class: Primary 54C45; Secondary: 03E17; 03E50; 03E55; 54D35; 54D40; 54D60; 54G20

Long chains in the Rudin-Frolík order for uncountable cardinals

Authors: Klaas Pieter Hart

Abstract: We point out that a construction by Butkovičová of a chain of length $\mathfrak{c}^+$ in the Rudin-Frolík order on $βω$ can easily be adapted to produce, given an uncountable cardinal $κ$, a chain of length $(2^κ)^+$ in the Rudin-Frolík order on $βκ$. We point out that a construction by Butkovičová of a chain of length $\mathfrak{c}^+$ in the Rudin-Frolík order on $βω$ can easily be adapted to produce, given an uncountable cardinal $κ$, a chain of length $(2^κ)^+$ in the Rudin-Frolík order on $βκ$. △ Less

Submitted 24 March, 2023; originally announced March 2023.

MSC Class: Primary 03E05; Secondary: 54D80

Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$

Authors: Klaas Pieter Hart

Abstract: In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(ω)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies $\mathcal{B}_Y$ is a subalgebra of $\mathcal{B}_X$ and if $X\not\subseteq Y$ then $\mathcal{B}_Y$ is not embeddable into~$\mathcal{B}_X$. The proof proceeds by Stone duality a… ▽ More In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(ω)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies $\mathcal{B}_Y$ is a subalgebra of $\mathcal{B}_X$ and if $X\not\subseteq Y$ then $\mathcal{B}_Y$ is not embeddable into~$\mathcal{B}_X$. The proof proceeds by Stone duality and the construction of a suitable family of separable zero-dimensional compact spaces. △ Less

Submitted 15 March, 2023; originally announced March 2023.

MSC Class: Primary 06E05; Secondary: 06E15; 54C05; 54D65; 54G20

Some realcompact spaces

Authors: Alan Dow, Jan van Mill, Klaas Pieter Hart, Hans Vermeer

Abstract: We present examples of realcompact spaces with closed subsets that are C*-embedded but not C-embedded, including one where the closed set is a copy of the space of natural numbers. We present examples of realcompact spaces with closed subsets that are C*-embedded but not C-embedded, including one where the closed set is a copy of the space of natural numbers. △ Less

Submitted 25 August, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: Version 2: corrections after referee report. One question removed because it was answered; reference to answer added Version 3: final version

MSC Class: Primary 54D60; Secondary: 54D80; 54G05; 54G20

Journal ref: Topology Proceedings 62 (2023), 205-216 (e-published on 25-08-2023)

Wave induced thrust on a submerged hydrofoil: pitch stiffness effects

Authors: **gru Xing, Dimitris Stagonas, Phil Hart, Chengchun Zhang, Jianhui Yang, Liang Yang

Abstract: Submerged flap** foils can convert wave energy directly into thrust, which could be potentially utilised for green marine propulsion. This study analyses the wave-induced flap** hydrofoil propulsion using an in-house developed, new computational fluid dynamics (CFD) framework. The numerical model was initially validated against a few benchmarked problems and then used for the numerical investi… ▽ More Submerged flap** foils can convert wave energy directly into thrust, which could be potentially utilised for green marine propulsion. This study analyses the wave-induced flap** hydrofoil propulsion using an in-house developed, new computational fluid dynamics (CFD) framework. The numerical model was initially validated against a few benchmarked problems and then used for the numerical investigation of wave-induced flap** hydrofoil propulsion. The transition between drag and thrust can be observed from the vortex flow pattern. The pitch stiffness and other physical parameter were non-dimensionalised for the first time. The optimal wave conditions and the optimal pitch stiffness are given for the future green marine system design. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Spatiotemporal motion planning with combinatorial reasoning for autonomous driving

Authors: Klemens Esterle, Patrick Hart, Julian Bernhard, Alois Knoll

Abstract: Motion planning for urban environments with numerous moving agents can be viewed as a combinatorial problem. With passing an obstacle before, after, right or left, there are multiple options an autonomous vehicle could choose to execute. These combinatorial aspects need to be taken into account in the planning framework. We address this problem by proposing a novel planning approach that combines… ▽ More Motion planning for urban environments with numerous moving agents can be viewed as a combinatorial problem. With passing an obstacle before, after, right or left, there are multiple options an autonomous vehicle could choose to execute. These combinatorial aspects need to be taken into account in the planning framework. We address this problem by proposing a novel planning approach that combines trajectory planning and maneuver reasoning. We define a classification for dynamic obstacles along a reference curve that allows us to extract tactical decision sequences. We separate longitudinal and lateral movement to speed up the optimization-based trajectory planning. To map the set of obtained trajectories to maneuver variants, we define a semantic language to describe them. This allows us to choose an optimal trajectory while also ensuring maneuver consistency over time. We demonstrate the capabilities of our approach for a scenario that is still widely considered to be challenging. △ Less

Submitted 10 July, 2022; originally announced July 2022.

Comments: published at IEEE IV 2018

Problems on $β\mathbb{N}$

Authors: Klaas Pieter Hart, Jan van Mill

Abstract: This is an update on, and expansion of, our paper Open problems on $βω$ in the book Open Problems in Topology. This is an update on, and expansion of, our paper Open problems on $βω$ in the book Open Problems in Topology. △ Less

Submitted 1 February, 2024; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: New version, much reworked. 2024-02-01: version after comments from the referee

MSC Class: 54D35 54D80 03E35 03E75

Universal autohomeomorphisms of $\mathbb{N}^*$

Authors: Klaas Pieter Hart, Jan van Mill

Abstract: We study the existence of universal autohomeomorphisms of $\mathbb{N}^*$. We prove that $\mathsf{CH}$ implies there is such an autohomeomorphism and show that there are none in any model where all autohomeomorphisms of $\mathbb{N}^*$ are trivial. We study the existence of universal autohomeomorphisms of $\mathbb{N}^*$. We prove that $\mathsf{CH}$ implies there is such an autohomeomorphism and show that there are none in any model where all autohomeomorphisms of $\mathbb{N}^*$ are trivial. △ Less

Submitted 9 September, 2021; v1 submitted 29 August, 2021; originally announced August 2021.

Comments: Version 2: some corrections and additions after a referee's report

MSC Class: Primary: 54D40; Secondary: 03E50 54A35

Journal ref: Proc. Amer. Math. Soc. Ser. B 9 (2022), 71-74

A zero-dimensional F-space that is not strongly zero-dimensional

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We present an example of a zero-dimensional $F$-space that is not strongly zero-dimensional. We present an example of a zero-dimensional $F$-space that is not strongly zero-dimensional. △ Less

Submitted 10 December, 2021; v1 submitted 29 August, 2021; originally announced August 2021.

Comments: Version 2: corrections and some changes after referee's report

MSC Class: Primary 54G05; Secondary 54F45; 54G20

Journal ref: Topology and its Applications Volume 310, 1 April 2022, 108042

Risk-Based Safety Envelopes for Autonomous Vehicles Under Perception Uncertainty

Authors: Julian Bernhard, Patrick Hart, Amit Sahu, Christoph Schöller, Michell Guzman Cancimance

Abstract: Ensuring the safety of autonomous vehicles, given the uncertainty in sensing other road users, is an open problem. Moreover, separate safety specifications for perception and planning components raise how to assess the overall system safety. This work provides a probabilistic approach to calculate safety envelopes under perception uncertainty. The probabilistic envelope definition is based on a ri… ▽ More Ensuring the safety of autonomous vehicles, given the uncertainty in sensing other road users, is an open problem. Moreover, separate safety specifications for perception and planning components raise how to assess the overall system safety. This work provides a probabilistic approach to calculate safety envelopes under perception uncertainty. The probabilistic envelope definition is based on a risk threshold. It limits the cumulative probability that the actual safety envelope in a fully observable environment is larger than an applied envelope and is solved using iterative worst-case analysis of envelopes. Our approach extends non-probabilistic envelopes - in this work, the Responsibility-Sensitive Safety (RSS) - to handle uncertainties. To evaluate our probabilistic envelope approach, we compare it in a simulated highway merging scenario against several baseline safety architectures. Our evaluation shows that our model allows adjusting safety and performance based on a chosen risk level and the amount of perception uncertainty. We conclude with an outline of how to formally argue safety under perception uncertainty using our formulation of envelope violation risk. △ Less

Submitted 21 July, 2021; originally announced July 2021.

ACM Class: I.2.9; G.3

Conjugacy classes of autohomeomorphisms of $\mathbb{N}^*$

Authors: Klaas Pieter Hart, Jan van Mill

Abstract: We present some problems related to the conjugacy classes of $\mathsf{Aut}(\mathbb{N}^*)$. We present some problems related to the conjugacy classes of $\mathsf{Aut}(\mathbb{N}^*)$. △ Less

Submitted 28 June, 2021; originally announced June 2021.

MSC Class: 54D40 (Primary) 03E50; 54A35; 54C10 (Secondary)

Journal ref: Questions and Answers in General Topology 40 (2022), 11-17

Characterization and Modeling of Self-Heating in Nanometer Bulk-CMOS at Cryogenic Temperatures

Authors: P. A. 't Hart, M. Babaie, A. Vladimirescu, F. Sebastiano

Abstract: This work presents a self-heating study of a 40-nm bulk-CMOS technology in the ambient temperature range from 300 K down to 4.2 K. A custom test chip was designed and fabricated for measuring both the temperature rise in the MOSFET channel and in the surrounding silicon substrate, using the gate resistance and silicon diodes as sensors, respectively. Since self-heating depends on factors such as d… ▽ More This work presents a self-heating study of a 40-nm bulk-CMOS technology in the ambient temperature range from 300 K down to 4.2 K. A custom test chip was designed and fabricated for measuring both the temperature rise in the MOSFET channel and in the surrounding silicon substrate, using the gate resistance and silicon diodes as sensors, respectively. Since self-heating depends on factors such as device geometry and power density, the test structure characterized in this work was specifically designed to resemble actual devices used in cryogenic qubit control ICs. Severe self-heating was observed at deep-cryogenic ambient temperatures, resulting in a channel temperature rise exceeding 50 K and having an impact detectable at a distance of up to 30 um from the device. By extracting the thermal resistance from measured data at different temperatures, it was shown that a simple model is able to accurately predict channel temperatures over the full ambient temperature range from deep-cryogenic to room temperature. The results and modeling presented in this work contribute towards the full self-heating-aware IC design-flow required for the reliable design and operation of cryo-CMOS circuits. △ Less

Submitted 15 June, 2021; originally announced June 2021.

Comments: 11 pages, 16 figures

$\mathsf{PFA}$ and $ω_1$-free compact spaces

Authors: Alan Dow, Klaas Pieter Hart

Abstract: The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $ω_1$-sequence. The Proper Forcing Axiom implies that compact Hausdorff spaces are either first-countable or contain a converging $ω_1$-sequence. △ Less

Submitted 11 November, 2021; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: Version 2: various corrections and changes Version 3: some corrections/changes after referee's report; final version

MSC Class: 54D30 (Primary); 03E35; 03E50; 03E57; 54A20; 54A35; 54D20 (Secondary)

Journal ref: Acta Mathematica Hungarica (2022)

Countably compact group topologies on arbitrarily large free Abelian groups

Authors: M. K. Bellini, K. P. Hart, V. O. Rodrigues, A. H. Tomita

Abstract: We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $κ$ such that $κ^ω=κ$, there exists a group topology on the free Abelian group of cardinality $κ$ without nontrivial convergent sequences and such that every finite power is countably compact. In particular, there are arbitrarily large countably compact groups. This answers a 1992 questio… ▽ More We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $κ$ such that $κ^ω=κ$, there exists a group topology on the free Abelian group of cardinality $κ$ without nontrivial convergent sequences and such that every finite power is countably compact. In particular, there are arbitrarily large countably compact groups. This answers a 1992 question of D. Dikranjan and D. Shakhmatov. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Ptychographic wavefront characterisation for single-particle imaging at X-ray lasers

Authors: Benedikt J. Daurer, Simone Sala, Max F. Hantke, Hemanth K. N. Reddy, Johan Bielecki, Zhou Shen, Carl Nettleblad, Martin Svenda, Tomas Ekeberg, Gabriella A. Carini, Philip Hart, Timur Osipov, Andrew Aquila, N. Duane Loh, Filipe R. N. C. Maia, Pierre Thibault

Abstract: A well-characterised wavefront is important for many X-ray free-electron laser (XFEL) experiments, especially for single-particle imaging (SPI), where individual bio-molecules randomly sample a nanometer-region of highly-focused femtosecond pulses. We demonstrate high-resolution multiple-plane wavefront imaging of an ensemble of XFEL pulses, focused by Kirkpatrick-Baez (KB) mirrors, based on mixed… ▽ More A well-characterised wavefront is important for many X-ray free-electron laser (XFEL) experiments, especially for single-particle imaging (SPI), where individual bio-molecules randomly sample a nanometer-region of highly-focused femtosecond pulses. We demonstrate high-resolution multiple-plane wavefront imaging of an ensemble of XFEL pulses, focused by Kirkpatrick-Baez (KB) mirrors, based on mixed-state ptychography, an approach letting us infer and reduce experimental sources of instability. From the recovered wavefront profiles, we show that while local photon fluence correction is crucial and possible for SPI, a small diversity of phase-tilts likely has no impact. Our detailed characterisation will aid interpretation of data from past and future SPI experiments, and provides a basis for further improvements to experimental design and reconstruction algorithms. △ Less

Submitted 26 December, 2020; originally announced December 2020.

Comments: 13 pages, 7 figures

Petr Simon (1944-2018)

Authors: K. P. Hart, M. Hrusak, J. L. Verner

Abstract: This article is a reflection on the mathematical legacy of Professor Petr Simon. This article is a reflection on the mathematical legacy of Professor Petr Simon. △ Less

Submitted 15 September, 2020; originally announced September 2020.

MSC Class: 01A70 03E05 03E17 03E35 03E50 03E75 06E05 04E10 06E15A 54A05 54A20 54A25 54A35 54B10 54C15 54C30 54D15 54D20 54D30 54D35 54D40 54D55 54D80 54E17

Journal ref: Topology and its Applications 285 (2020) 107391

Balanced Detection in Femtosecond X-ray Absorption Spectroscopy to Reach the Ultimate Sensitivity Limit

Authors: W. F. Schlotter, M. Beye, S. Zohar, G. Coslovich, G. L. Dakovski, M. -F. Lin, Y. Liu, A. Reid, S. Stubbs, P. Walter, K. Nakahara, P. Hart, P. S. Miedema, L. LeGuyader, K. Hofhuis, Phu Tran Phong Le, Johan E. ten Elshof, H. Hilgenkamp, G. Koster, X. H. Verbeek, S. Smit, M. S. Golden, H. A. Durr, A. Sakdinawat

Abstract: X-ray absorption spectroscopy (XAS) is a powerful and well established technique with sensitivity to elemental and chemical composition. Despite these advantages, its implementation has not kept pace with the development of ultrafast pulsed x-ray sources where XAS can capture femtosecond chemical processes. X-ray Free Electron Lasers (XFELs) deliver femtosecond, narrow bandwidth (… ▽ More X-ray absorption spectroscopy (XAS) is a powerful and well established technique with sensitivity to elemental and chemical composition. Despite these advantages, its implementation has not kept pace with the development of ultrafast pulsed x-ray sources where XAS can capture femtosecond chemical processes. X-ray Free Electron Lasers (XFELs) deliver femtosecond, narrow bandwidth ($\frac{ΔE}{E} < 0.5\%$) pulses containing $\sim 10^{10}$ photons. However, the energy contained in each pulse fluctuates thus complicating pulse by pulse efforts to quantify the number of photons. Improvements in counting the photons in each pulse have defined the state of the art for XAS sensitivity. Here we demonstrate a final step in these improvements through a balanced detection method that approaches the photon counting shot noise limit. In doing so, we obtain high quality absorption spectra from the insulator-metal transition in VO$_2$ and unlock a method to explore dilute systems, subtle processes and nonlinear phenomena with ultrafast x-rays. The method is especially beneficial for x-ray light sources where integration and averaging are not viable options to improve sensitivity. △ Less

Submitted 24 June, 2020; originally announced June 2020.

Graph Neural Networks and Reinforcement Learning for Behavior Generation in Semantic Environments

Authors: Patrick Hart, Alois Knoll

Abstract: Most reinforcement learning approaches used in behavior generation utilize vectorial information as input. However, this requires the network to have a pre-defined input-size -- in semantic environments this means assuming the maximum number of vehicles. Additionally, this vectorial representation is not invariant to the order and number of vehicles. To mitigate the above-stated disadvantages, we… ▽ More Most reinforcement learning approaches used in behavior generation utilize vectorial information as input. However, this requires the network to have a pre-defined input-size -- in semantic environments this means assuming the maximum number of vehicles. Additionally, this vectorial representation is not invariant to the order and number of vehicles. To mitigate the above-stated disadvantages, we propose combining graph neural networks with actor-critic reinforcement learning. As graph neural networks apply the same network to every vehicle and aggregate incoming edge information, they are invariant to the number and order of vehicles. This makes them ideal candidates to be used as networks in semantic environments -- environments consisting of objects lists. Graph neural networks exhibit some other advantages that make them favorable to be used in semantic environments. The relational information is explicitly given and does not have to be inferred. Moreover, graph neural networks propagate information through the network and can gather higher-degree information. We demonstrate our approach using a highway lane-change scenario and compare the performance of graph neural networks to conventional ones. We show that graph neural networks are capable of handling scenarios with a varying number and order of vehicles during training and application. △ Less

Submitted 22 June, 2020; originally announced June 2020.

Counterfactual Policy Evaluation for Decision-Making in Autonomous Driving

Authors: Patrick Hart, Alois Knoll

Abstract: Learning-based approaches, such as reinforcement and imitation learning are gaining popularity in decision-making for autonomous driving. However, learned policies often fail to generalize and cannot handle novel situations well. Asking and answering questions in the form of "Would a policy perform well if the other agents had behaved differently?" can shed light on whether a policy has seen simil… ▽ More Learning-based approaches, such as reinforcement and imitation learning are gaining popularity in decision-making for autonomous driving. However, learned policies often fail to generalize and cannot handle novel situations well. Asking and answering questions in the form of "Would a policy perform well if the other agents had behaved differently?" can shed light on whether a policy has seen similar situations during training and generalizes well. In this work, a counterfactual policy evaluation is introduced that makes use of counterfactual worlds - worlds in which the behaviors of others are non-actual. If a policy can handle all counterfactual worlds well, it either has seen similar situations during training or it generalizes well and is deemed to be fit enough to be executed in the actual world. Additionally, by performing the counterfactual policy evaluation, causal relations and the influence of changing vehicle's behaviors on the surrounding vehicles becomes evident. To validate the proposed method, we learn a policy using reinforcement learning for a lane merging scenario. In the application-phase, the policy is only executed after the counterfactual policy evaluation has been performed and if the policy is found to be safe enough. We show that the proposed approach significantly decreases the collision-rate whilst maintaining a high success-rate. △ Less

Submitted 12 November, 2020; v1 submitted 20 March, 2020; originally announced March 2020.

Comments: Accepted at IROS 2020 PLC Workshop

Lane-Merging Using Policy-based Reinforcement Learning and Post-Optimization

Authors: Patrick Hart, Leonard Rychly, Alois Knol

Abstract: Many current behavior generation methods struggle to handle real-world traffic situations as they do not scale well with complexity. However, behaviors can be learned off-line using data-driven approaches. Especially, reinforcement learning is promising as it implicitly learns how to behave utilizing collected experiences. In this work, we combine policy-based reinforcement learning with local opt… ▽ More Many current behavior generation methods struggle to handle real-world traffic situations as they do not scale well with complexity. However, behaviors can be learned off-line using data-driven approaches. Especially, reinforcement learning is promising as it implicitly learns how to behave utilizing collected experiences. In this work, we combine policy-based reinforcement learning with local optimization to foster and synthesize the best of the two methodologies. The policy-based reinforcement learning algorithm provides an initial solution and guiding reference for the post-optimization. Therefore, the optimizer only has to compute a single homotopy class, e.g.\ drive behind or in front of the other vehicle. By storing the state-history during reinforcement learning, it can be used for constraint checking and the optimizer can account for interactions. The post-optimization additionally acts as a safety-layer and the novel method, thus, can be applied in safety-critical applications. We evaluate the proposed method using lane-change scenarios with a varying number of vehicles. △ Less

Submitted 6 March, 2020; originally announced March 2020.

BARK: Open Behavior Benchmarking in Multi-Agent Environments

Authors: Julian Bernhard, Klemens Esterle, Patrick Hart, Tobias Kessler

Abstract: Predicting and planning interactive behaviors in complex traffic situations presents a challenging task. Especially in scenarios involving multiple traffic participants that interact densely, autonomous vehicles still struggle to interpret situations and to eventually achieve their own mission goal. As driving tests are costly and challenging scenarios are hard to find and reproduce, simulation is… ▽ More Predicting and planning interactive behaviors in complex traffic situations presents a challenging task. Especially in scenarios involving multiple traffic participants that interact densely, autonomous vehicles still struggle to interpret situations and to eventually achieve their own mission goal. As driving tests are costly and challenging scenarios are hard to find and reproduce, simulation is widely used to develop, test, and benchmark behavior models. However, most simulations rely on datasets and simplistic behavior models for traffic participants and do not cover the full variety of real-world, interactive human behaviors. In this work, we introduce BARK, an open-source behavior benchmarking environment designed to mitigate the shortcomings stated above. In BARK, behavior models are (re-)used for planning, prediction, and simulation. A range of models is currently available, such as Monte-Carlo Tree Search and Reinforcement Learning-based behavior models. We use a public dataset and sampling-based scenario generation to show the inter-exchangeability of behavior models in BARK. We evaluate how well the models used cope with interactions and how robust they are towards exchanging behavior models. Our evaluation shows that BARK provides a suitable framework for a systematic development of behavior models. △ Less

Submitted 29 September, 2020; v1 submitted 5 March, 2020; originally announced March 2020.

Comments: Published at IEEE International Conference on Intelligent Robots and Systems (IROS) 2020

A Hierarchical Optimization Architecture for Large-Scale Power Networks

Authors: Sungho Shin, Philip Hart, Thomas Jahns, Victor M. Zavala

Abstract: We present a hierarchical optimization architecture for large-scale power networks that overcomes limitations of fully centralized and fully decentralized architectures. The architecture leverages principles of multigrid computing schemes, which are widely used in the solution of partial differential equations on massively parallel computers. The top layer of the architecture uses a coarse represe… ▽ More We present a hierarchical optimization architecture for large-scale power networks that overcomes limitations of fully centralized and fully decentralized architectures. The architecture leverages principles of multigrid computing schemes, which are widely used in the solution of partial differential equations on massively parallel computers. The top layer of the architecture uses a coarse representation of the entire network while the bottom layer is composed of a family of decentralized optimization agents each operating on a network subdomain at full resolution. We use an alternating direction method of multipliers (ADMM) framework to drive coordination of the decentralized agents. We show that state and dual information obtained from the top layer can be used to accelerate the coordination of the decentralized optimization agents and to recover optimality for the entire system. We demonstrate that the hierarchical architecture can be used to manage large collections of microgrids. △ Less

Submitted 22 February, 2020; originally announced February 2020.

Journal ref: IEEE Transactions on Control of Network Systems, 2019

Bridging the Gap between Open Source Software and Vehicle Hardware for Autonomous Driving

Authors: Tobias Kessler, Julian Bernhard, Martin Buechel, Klemens Esterle, Patrick Hart, Daniel Malovetz, Michael Truong Le, Frederik Diehl, Thomas Brunner, Alois Knoll

Abstract: Although many research vehicle platforms for autonomous driving have been built in the past, hardware design, source code and lessons learned have not been made available for the next generation of demonstrators. This raises the efforts for the research community to contribute results based on real-world evaluations as engineering knowledge of building and maintaining a research vehicle is lost. I… ▽ More Although many research vehicle platforms for autonomous driving have been built in the past, hardware design, source code and lessons learned have not been made available for the next generation of demonstrators. This raises the efforts for the research community to contribute results based on real-world evaluations as engineering knowledge of building and maintaining a research vehicle is lost. In this paper, we deliver an analysis of our approach to transferring an open source driving stack to a research vehicle. We put the hardware and software setup in context to other demonstrators and explain the criteria that led to our chosen hardware and software design. Specifically, we discuss the map** of the Apollo driving stack to the system layout of our research vehicle, fortuna, including communication with the actuators by a controller running on a real-time hardware platform and the integration of the sensor setup. With our collection of the lessons learned, we encourage a faster setup of such systems by other research groups in the future. △ Less

Submitted 29 November, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

Comments: Published at IEEE Intelligent Vehicles Symposium (IV), 2019

Performance of ePix10K, a high dynamic range, gain auto-ranging pixel detector for FELs

Authors: G. Blaj, A. Dragone, C. J. Kenney, F. Abu-Nimeh, P. Caragiulo, D. Doering, M. Kwiatkowski, J. Pines, M. Weaver, S. Boutet, G. Carini, C. -E. Chang, P. Hart, J. Hasi, M. Hayes, R. Herbst, J. Koglin, K. Nakahara, J. Segal, G. Haller

Abstract: ePix10K is a hybrid pixel detector developed at SLAC for demanding free-electron laser (FEL) applications, providing an ultrahigh dynamic range (245 eV to 88 MeV) through gain auto-ranging. It has three gain modes (high, medium and low) and two auto-ranging modes (high-to-low and medium-to-low). The first ePix10K cameras are built around modules consisting of a sensor flip-chip bonded to 4 ASICs,… ▽ More ePix10K is a hybrid pixel detector developed at SLAC for demanding free-electron laser (FEL) applications, providing an ultrahigh dynamic range (245 eV to 88 MeV) through gain auto-ranging. It has three gain modes (high, medium and low) and two auto-ranging modes (high-to-low and medium-to-low). The first ePix10K cameras are built around modules consisting of a sensor flip-chip bonded to 4 ASICs, resulting in 352x384 pixels of 100 $μ$m x 100 $μ$m each. We present results from extensive testing of three ePix10K cameras with FEL beams at LCLS, resulting in a measured noise floor of 245 eV rms, or 67 e$^-$ equivalent noise charge (ENC), and a range of 11000 photons at 8 keV. We demonstrate the linearity of the response in various gain combinations: fixed high, fixed medium, fixed low, auto-ranging high to low, and auto-ranging medium-to-low, while maintaining a low noise (well within the counting statistics), a very low cross-talk, perfect saturation response at fluxes up to 900 times the maximum range, and acquisition rates of up to 480 Hz. Finally, we present examples of high dynamic range x-ray imaging spanning more than 4 orders of magnitude dynamic range (from a single photon to 11000 photons/pixel/pulse at 8 keV). Achieving this high performance with only one auto-ranging switch leads to relatively simple calibration and reconstruction procedures. The low noise levels allow usage with long integration times at non-FEL sources. ePix10K cameras leverage the advantages of hybrid pixel detectors with high production yield and good availability, minimize development complexity through sharing the hardware, software and DAQ development with all other versions of ePix cameras, while providing an upgrade path to 5 kHz, 25 kHz and 100 kHz in three steps over the next few years, matching the LCLS-II requirements. △ Less

Submitted 15 March, 2019; originally announced March 2019.

Comments: 9 pages, 5 figures

Report number: SLAC-PUB-17275

Journal ref: =AIP Conf. Proc. 2054, 060062 (2019)

Machine learning and the Continuum Hypothesis

Authors: Klaas Pieter Hart

Abstract: We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show that there is no Borel measurable monotone compression function on the unit interval. We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show that there is no Borel measurable monotone compression function on the unit interval. △ Less

Submitted 14 March, 2019; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: version 2: some simplifications version 3: expanded presentation with more comments

MSC Class: 03E05 (primary) 03E15; 54B20; 54C05; 54H05 (secondary)

Journal ref: <a href="http://www.nieuwarchief.nl/">Nieuw Archief voor Wiskunde</a> 20 (3) (2019), 214-217

All Parovichenko spaces may be soft-Parovichenko

Authors: Alan Dow, Klaas Pieter Hart

Abstract: It is shown that, assuming the Continuum Hypothesis, compact Hausdorff space of weight at most $\mathfrak{c}$ is a remainder in a soft compactification of $\mathbb{N}$. We also exhibit an example of a compact space of weight $\aleph_1$ -- hence a remainder in some compactification of $\mathbb{N}$ -- for which it is consistent that is not the remainder in a soft compactification of $\mathbb{N}$. It is shown that, assuming the Continuum Hypothesis, compact Hausdorff space of weight at most $\mathfrak{c}$ is a remainder in a soft compactification of $\mathbb{N}$. We also exhibit an example of a compact space of weight $\aleph_1$ -- hence a remainder in some compactification of $\mathbb{N}$ -- for which it is consistent that is not the remainder in a soft compactification of $\mathbb{N}$. △ Less

Submitted 10 May, 2021; v1 submitted 9 November, 2018; originally announced November 2018.

Comments: Version 2: simpler construction, plus a remainder of $\mathbb{N}$ that is consistently not a soft remainder of $\mathbb{N}$ Version 3: new author; examples of soft-Parovichenko spaces as well as some questions Version 4: new title, corrections after referee's report

MSC Class: 54D40 (Primary); 03E35; 03E50; 54A35; 54D80 (Secondary)

Journal ref: Topology Proceedings, 59 (2022), 209-221. (E-published on May 17, 2021)

Homogeneity and rigidity in Erdős spaces

Authors: Klaas Pieter Hart, Jan van Mill

Abstract: We investigate the homogeneity of topological subspaces of separable Hilbert space, akin to the spaces with all points rational or all points irrational, so-called Erdős spaces. We provide a non-homogeneous example, that is based on one set of coordinates using, and a rigid example, based on a sequence of coordinate sets. We investigate the homogeneity of topological subspaces of separable Hilbert space, akin to the spaces with all points rational or all points irrational, so-called Erdős spaces. We provide a non-homogeneous example, that is based on one set of coordinates using, and a rigid example, based on a sequence of coordinate sets. △ Less

Submitted 12 February, 2018; originally announced February 2018.

MSC Class: 54F99 (Primary); 46A45; 54B05; 54D65; 54E50; 54F50 (Secondary)

Journal ref: Commentationes Mathematicae Universitatis Carolinae 59 (4) (2018), 495-501

Detector Damage at X-Ray Free-Electron Laser Sources

Authors: G. Blaj, G. Carini, S. Carron, G. Haller, P. Hart, J. Hasi, S. Herrmann, C. Kenney, J. Segal, C. A. Stan, A. Tomada

Abstract: Free-electron lasers (FELs) opened a new window on imaging the motion of atoms and molecules. At SLAC, FEL experiments are performed at LCLS using 120 Hz pulses with 10^12 to 10^13 photons in 10 fs (billions of times brighter than at the most powerful synchrotrons). Concurrently, users and staff operate under high pressure due to flexible and often rapidly changing setups and low tolerance for sys… ▽ More Free-electron lasers (FELs) opened a new window on imaging the motion of atoms and molecules. At SLAC, FEL experiments are performed at LCLS using 120 Hz pulses with 10^12 to 10^13 photons in 10 fs (billions of times brighter than at the most powerful synchrotrons). Concurrently, users and staff operate under high pressure due to flexible and often rapidly changing setups and low tolerance for system malfunction. This extreme detection environment raises unique challenges, from obvious to surprising, and leads to treating detectors as consumables. We discuss in detail the detector damage mechanisms observed in 7 years of operation at LCLS, together with the corresponding damage mitigation strategies and their effectiveness. Main types of damage mechanisms already identified include: (1) x-ray radiation damage (from "catastrophic" to "classical"), (2) direct and indirect damage caused by optical lasers, (3) sample induced damage, (4) vacuum related damage, (5) high-pressure environment. In total, 19 damage mechanisms have been identified. We also present general strategies for reducing damage risk or minimizing the impact of detector damage on the science program. These include availability of replacement parts and skilled operators and also careful planning, incident investigation resulting in updated designs, procedures and operator training. △ Less

Submitted 5 June, 2017; originally announced June 2017.

Comments: 10 pages, 6 figures, 2 tables

Report number: SLAC-PUB-16524

Journal ref: IEEE Transactions on Nuclear Science, vol. 63, pp. 1818-1826, June 2016

Optimal pulse processing, pile-up decomposition and applications of silicon drift detectors at LCLS

Authors: G. Blaj, C. J. Kenney, A. Dragone, G. Carini, S. Herrmann, P. Hart, A. Tomada, J. Koglin, G. Haller, S. Boutet, M. Messerschmidt, G. Williams, M. Chollet, G. Dakovski, S. Nelson, J. Pines, S. Song, J. Thayer

Abstract: Silicon drift detectors (SDDs) revolutionized spectroscopy in fields as diverse as geology and dentistry. For a subset of experiments at ultra-fast, x-ray free-electron lasers (FELs), SDDs can make substantial contributions. Often the unknown spectrum is interesting, carrying science data, or the background measurement is useful to identify unexpected signals. Many measurements involve only severa… ▽ More Silicon drift detectors (SDDs) revolutionized spectroscopy in fields as diverse as geology and dentistry. For a subset of experiments at ultra-fast, x-ray free-electron lasers (FELs), SDDs can make substantial contributions. Often the unknown spectrum is interesting, carrying science data, or the background measurement is useful to identify unexpected signals. Many measurements involve only several discrete photon energies known a priori, allowing single event decomposition of pile-up and spectroscopic photon counting. We designed a pulse function and demonstrated that the signal amplitude and rise time are obtained for each pulse by fitting, thus removing the need for pulse sha**. By avoiding pulse sha**, rise times of tens of nanoseconds resulted in reduced pulse pile-up and allowed decomposition of remaining pulse pile-up at photon separation times down to hundreds of nanoseconds while yielding time-of-arrival information with precision of 10 nanoseconds. Waveform fitting yields simultaneously high energy resolution and high counting rates (2 orders of magnitude higher than current digital pulse processors). We showed that pile-up spectrum fitting is relatively simple and preferable to pile-up spectrum deconvolution. We developed a photon pile-up statistical model for constant intensity sources, extended it to variable intensity sources (typical for FELs) and used it to fit a complex pile-up spectrum. We subsequently developed a Bayesian pile-up decomposition method that allows decomposing pile-up of single events with up to 6 photons from 6 monochromatic lines with 99% accuracy. The usefulness of SDDs will continue into the x-ray FEL era of science. Their successors, the ePixS hybrid pixel detectors, already offer hundreds of pixels, each with similar performance to an SDD, in a compact, robust and affordable package △ Less

Submitted 19 March, 2019; v1 submitted 5 June, 2017; originally announced June 2017.

Comments: 16 pages, 11 figures, 4 tables

Report number: SLAC-PUB-16991

Journal ref: IEEE Transactions on Nuclear Science vol. 64 pp. 2854-2868, 2017

Brouwer and Cardinalities

Authors: Klaas Pieter Hart

Abstract: This paper discusses a paper by L. E. J. Brouwer on possible cardinalities of subsets of the continuum. This paper discusses a paper by L. E. J. Brouwer on possible cardinalities of subsets of the continuum. △ Less

Submitted 13 September, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: Version 3 of 2017-07-06, changes made after further refereeing

MSC Class: 03F55 (Primary); 03E10; 03E50 (Secondary)

Journal ref: Indagationes Mathematicae, Volume 29, Issue 6, December 2018, Pages 1555-1564

Alan Dow

Authors: Klaas Pieter Hart, Jan van Mill

Abstract: On the occasion of Alan Dow 60th birthday. On the occasion of Alan Dow 60th birthday. △ Less

Submitted 30 November, 2016; originally announced November 2016.

MSC Class: 03E; 54

Journal ref: Topology and its Applications, 213 (2016) 2-7

Effects of multi-jet coupling on propulsive performance in underwater pulsed jets

Authors: Athanasios G. Athanassiadis, Douglas P. Hart

Abstract: Despite the importance of pulsed jets for underwater propulsion, the effect of multiple-jet interactions remains poorly understood. We experimentally investigate how interactions between neighboring jets in a pulsed-jet thruster affect the thruster's propulsive performance. Using high-speed fluorescence imaging, we investigate the mutual influence of two pulsed jets under conditions relevant to lo… ▽ More Despite the importance of pulsed jets for underwater propulsion, the effect of multiple-jet interactions remains poorly understood. We experimentally investigate how interactions between neighboring jets in a pulsed-jet thruster affect the thruster's propulsive performance. Using high-speed fluorescence imaging, we investigate the mutual influence of two pulsed jets under conditions relevant to low-speed maneuvering in a vehicle ($Re\approx350,$ $L/D\leq2$). Thrust production and propulsive efficiency are evaluated for different nozzle spacings using a new force estimation technique based on the fluorescence data. This analysis reveals that, compared to non-interacting jets, the efficiency and thrust generated by the pair of interacting jets can fall by as much as 10\% when the jets are brought into close proximity. Empirically, the thrust $T$ falls off with the non-dimensional jet spacing $\widetildeΔ$ as $T=T_\infty(1-Co \widetildeΔ^{-6})$ for a thrust coupling coefficient $Co=2.04 \pm 0.11.$ Finally, we predict this leading order dependence of thrust on spacing using a model that relates the thrust and efficiency drop to streamline curvature and vortex induction at the nozzles. △ Less

Submitted 19 July, 2016; v1 submitted 18 April, 2016; originally announced April 2016.

Comments: Main Text - 8 Pages, 5 Figures; Supplemental Content - 9 pages, 5 figures; Supplemental Videos available at https://www.youtube.com/playlist?list=PLZz0i65PO8GYvkzeKpQF5zCYFkOgp9B1J

Journal ref: Phys. Rev. Fluids 1, 034501 (2016)

Femtosecond X-ray magnetic circular dichroism absorption spectroscopy at an X-ray free electron laser

Authors: Daniel J. Higley, Konstantin Hirsch, Georgi L. Dakovski, Emmanuelle Jal, Edwin Yuan, Tianmin Liu, Alberto A. Lutman, James P. MacArthur, Elke Arenholz, Zhao Chen, Giacomo Coslovich, Peter Denes, Patrick W. Granitzka, Philip Hart, Matthias C. Hoffmann, John Joseph, Loïc Le Guyader, Ankush Mitra, Stefan Moeller, Hendrik Ohldag, Matthew Seaberg, Padraic Shafer, Joachim Stöhr, Arata Tsukamoto, Heinz-Dieter Nuhn , et al. (3 additional authors not shown)

Abstract: X-ray magnetic circular dichroism spectroscopy using an X-ray free electron laser is demonstrated with spectra over the Fe L$_{3,2}$-edges. This new ultrafast time-resolved capability is then applied to a fluence-dependent study of all-optical magnetic switching dynamics of Fe and Gd magnetic sublattices in a GdFeCo thin film above its magnetization compensation temperature. At the magnetic switch… ▽ More X-ray magnetic circular dichroism spectroscopy using an X-ray free electron laser is demonstrated with spectra over the Fe L$_{3,2}$-edges. This new ultrafast time-resolved capability is then applied to a fluence-dependent study of all-optical magnetic switching dynamics of Fe and Gd magnetic sublattices in a GdFeCo thin film above its magnetization compensation temperature. At the magnetic switching fuence, we corroborate the existence of a transient ferromagnetic-like state. The timescales of the dynamics, however, are longer than previously observed below the magnetization compensation temperature. Above and below the switching fluence range, we observe secondary demagnetization with about 5 ps timescales. This indicates that the spin thermalization takes longer than 5 ps. △ Less

Submitted 23 November, 2015; originally announced November 2015.

Comments: 5 pages, 4 figures

Journal ref: Rev. Sci. Instrum. 87, 033110 (2016)

Compact spaces with a $\mathbb{P}$-diagonal

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We prove that compact Hausdorff spaces with a $\mathbb{P}$-diagonal are metrizable. We prove that compact Hausdorff spaces with a $\mathbb{P}$-diagonal are metrizable. △ Less

Submitted 12 January, 2016; v1 submitted 6 August, 2015; originally announced August 2015.

Comments: Version 2, after referee's comments

MSC Class: 54E35 (Primary); 03E17; 54D30; 54B10 (Secondary)

Journal ref: Indagationes Mathematicae, 27 (2016) 721-726

Nonlinear X-ray Compton Scattering

Authors: Matthias Fuchs, Mariano Trigo, Jian Chen, Shambhu Ghimire, Sharon Shwartz, Michael Kozina, Mason Jiang, Thomas Henighan, Crystal Bray, Georges Ndabashimiye, P. H. Bucksbaum, Yi** Feng, Sven Herrmann, Gabriella Carini, Jack Pines, Philip Hart, Christopher Kenney, Serge Guillet, Sebastien Boutet, Garth Williams, Marc Messerschmidt, Marvin Seibert, Stefan Moeller, Jerome B. Hastings, David A. Reis

Abstract: X-ray scattering is a weak linear probe of matter. It is primarily sensitive to the position of electrons and their momentum distribution. Elastic X-ray scattering forms the basis of atomic structural determination while inelastic Compton scattering is often used as a spectroscopic probe of both single-particle excitations and collective modes. X-ray free-electron lasers (XFELs) are unique tools f… ▽ More X-ray scattering is a weak linear probe of matter. It is primarily sensitive to the position of electrons and their momentum distribution. Elastic X-ray scattering forms the basis of atomic structural determination while inelastic Compton scattering is often used as a spectroscopic probe of both single-particle excitations and collective modes. X-ray free-electron lasers (XFELs) are unique tools for studying matter on its natural time and length scales due to their bright and coherent ultrashort pulses. However, in the focus of an XFEL the assumption of a weak linear probe breaks down, and nonlinear light-matter interactions can become ubiquitous. The field can be sufficiently high that even non-resonant multiphoton interactions at hard X-rays wavelengths become relevant. Here we report the observation of one of the most fundamental nonlinear X-ray-matter interactions, the simultaneous Compton scattering of two identical photons producing a single photon at nearly twice the photon energy. We measure scattered photons with an energy near 18 keV generated from solid beryllium irradiated by 8.8-9.75 keV XFEL pulses. The intensity in the X-ray focus reaches up to 4x20 W/cm2, which corresponds to a peak electric field two orders of magnitude higher than the atomic unit of field-strength and within four orders of magnitude of the quantum electrodynamic critical field. The observed signal scales quadratically in intensity and is emitted into a non-dipolar pattern, consistent with the simultaneous two-photon scattering from free electrons. However, the energy of the generated photons shows an anomalously large redshift only present at high intensities. This indicates that the instantaneous high-intensity scattering effectively interacts with a different electron momentum distribution than linear Compton scattering, with implications for the study of atomic-scale structure and dynamics of matter △ Less

Submitted 27 February, 2015; v1 submitted 2 February, 2015; originally announced February 2015.

The Physics of the B Factories

Authors: A. J. Bevan, B. Golob, Th. Mannel, S. Prell, B. D. Yabsley, K. Abe, H. Aihara, F. Anulli, N. Arnaud, T. Aushev, M. Beneke, J. Beringer, F. Bianchi, I. I. Bigi, M. Bona, N. Brambilla, J. B rodzicka, P. Chang, M. J. Charles, C. H. Cheng, H. -Y. Cheng, R. Chistov, P. Colangelo, J. P. Coleman, A. Drutskoy , et al. (2009 additional authors not shown)

Abstract: This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C. Please note that version 3 on the archive is the auxiliary… ▽ More This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C. Please note that version 3 on the archive is the auxiliary version of the Physics of the B Factories book. This uses the notation alpha, beta, gamma for the angles of the Unitarity Triangle. The nominal version uses the notation phi_1, phi_2 and phi_3. Please cite this work as Eur. Phys. J. C74 (2014) 3026. △ Less

Submitted 31 October, 2015; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: 928 pages, version 3 (arXiv:1406.6311v3) corresponds to the alpha, beta, gamma version of the book, the other versions use the phi1, phi2, phi3 notation

Report number: SLAC-PUB-15968, KEK Preprint 2014-3

Journal ref: Eur. Phys. J. C74 (2014) 3026

On subcontinua and continuous images of beta R\R

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We prove that the Cech-Stone remainder of the real line has a family of 2^c mutually non-homeomorphic subcontinua. We also exhibit a consistent example of a first-countable continuum that is not a continuous image of this remainder. We prove that the Cech-Stone remainder of the real line has a family of 2^c mutually non-homeomorphic subcontinua. We also exhibit a consistent example of a first-countable continuum that is not a continuous image of this remainder. △ Less

Submitted 14 January, 2014; originally announced January 2014.

MSC Class: 54F15 (Primary) 03E50; 03E65; 54A35; 54D35; 54D40; 54G20 (Secondary)

Journal ref: Topology and its Applications, 195 (2015), 93-106

The Katowice problem and autohomeomorphisms of $ω^*$

Authors: David Chodounsky, Alan Dow, Klaas Pieter Hart, Harm de Vries

Abstract: We show that the existence of a homeomorphism between $ω_0^*$ and $ω_1^*$ entails the existence of a non-trivial autohomeomorphism of $ω_0^*$. We show that the existence of a homeomorphism between $ω_0^*$ and $ω_1^*$ entails the existence of a non-trivial autohomeomorphism of $ω_0^*$. △ Less

Submitted 6 August, 2015; v1 submitted 15 July, 2013; originally announced July 2013.

MSC Class: 54D40 (Primary); 03E05; 03E35; 06E05; 06E15; 54A35; 54D80 (Secondary)

Journal ref: Topology and its Applications, 213 (2016) 230-237

Unions of F-spaces

Authors: Klaas Pieter Hart, Leon Luo, Jan van Mill

Abstract: We show that every space that is the union of a `small' family consisting of special P-sets that are F-spaces, is an F-space. We also comment on the sharpness of our results. We show that every space that is the union of a `small' family consisting of special P-sets that are F-spaces, is an F-space. We also comment on the sharpness of our results. △ Less

Submitted 13 June, 2013; originally announced June 2013.

MSC Class: 54G05; 54G10

Journal ref: Topology Proceedings, 43, 2013, 293 - 300

A chain condition for operators from C(K)-spaces

Authors: Klaas Pieter Hart, Tomasz Kania, Tomasz Kochanek

Abstract: We introduce a chain condition (bishop), defined for operators acting on C(K)-spaces, which is intermediate between weak compactness and having weakly compactly generated range. It is motivated by Pełczyński's characterisation of weakly compact operators on C(K)-spaces. We prove that if K is extremally disconnected and X is a Banach space then an operator T : C(K) -> X is weakly compact if and onl… ▽ More We introduce a chain condition (bishop), defined for operators acting on C(K)-spaces, which is intermediate between weak compactness and having weakly compactly generated range. It is motivated by Pełczyński's characterisation of weakly compact operators on C(K)-spaces. We prove that if K is extremally disconnected and X is a Banach space then an operator T : C(K) -> X is weakly compact if and only if it satisfies (bishop) if and only if the representing vector measure of T satisfies an analogous chain condition. As a tool for proving the above-mentioned result, we derive a topological counterpart of Rosenthal's lemma. We exhibit several compact Hausdorff spaces K for which the identity operator on C(K) satisfies (bishop), for example both locally connected compact spaces having countable cellularity and ladder system spaces have this property. Using a Ramsey-type theorem, due to Dushnik and Miller, we prove that the collection of operators on a C(K)-space satisfying (bishop) forms a closed left ideal of B(C(K)). △ Less

Submitted 15 February, 2013; v1 submitted 12 November, 2012; originally announced November 2012.

Comments: New version, incorporating referee's comments. To appear in Quarterly Journal of Mathematics

MSC Class: 46B50; 46E15; 37F20 (Primary) 54D30; 54F05; 46B26 (Secondary)

Journal ref: The Quarterly Journal of Mathematics 65 (2014), 703-715

Reflecting Lindelöf and converging omega_1-sequences

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models… ▽ More We deal with a conjectured dichotomy for compact Hausdorff spaces: each such space contains a non-trivial converging omega-sequence or a non-trivial converging omega_1-sequence. We establish that this dichotomy holds in a variety of models; these include the Cohen models, the random real models and any model obtained from a model of CH by an iteration of property K posets. In fact in these models every compact Hausdorff space without non-trivial converging omega_1-sequences is first-countable and, in addition, has many aleph_1-sized Lindelöf subspaces. As a corollary we find that in these models all compact Hausdorff spaces with a small diagonal are metrizable. △ Less

Submitted 17 July, 2013; v1 submitted 12 November, 2012; originally announced November 2012.

Comments: New version after referee's report

MSC Class: 54D30 (Primary) 03E35; 54A20; 54A25; 54A35; 54D20 (Secondary)

Journal ref: Fundamenta Mathematicae 224 (2014), 205-218

Elementary chains and compact spaces with a small diagonal

Authors: Alan Dow, Klaas Pieter Hart

Abstract: It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such spaces have countable π-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of r… ▽ More It is a well known open problem if, in ZFC, each compact space with a small diagonal is metrizable. We explore properties of compact spaces with a small diagonal using elementary chains of submodels. We prove that ccc subspaces of such spaces have countable π-weight. We generalize a result of Gruenhage about spaces which are metrizably fibered. Finally we discover that if there is a Luzin set of reals, then every compact space with a small diagonal will have many points of countable character. △ Less

Submitted 8 September, 2011; originally announced September 2011.

MSC Class: 54A20; 54G20; 54A35; 03E35; 54G12

Journal ref: Indagationes Mathematicae 23 (2012), 438-447

Covering dimension and finite-to-one maps

Authors: Klaas Pieter Hart, Jan van Mill

Abstract: Hurewicz' characterized the dimension of separable metrizable spaces by means of finite-to-one maps. We investigate whether this characterization also holds in the class of compact F-spaces of weight c. Our main result is that, assuming the Continuum Hypothesis, an n-dimensional compact F-space of weight c is the continuous image of a zero-dimensional compact Hausdorff space by an at most 2n-to-… ▽ More Hurewicz' characterized the dimension of separable metrizable spaces by means of finite-to-one maps. We investigate whether this characterization also holds in the class of compact F-spaces of weight c. Our main result is that, assuming the Continuum Hypothesis, an n-dimensional compact F-space of weight c is the continuous image of a zero-dimensional compact Hausdorff space by an at most 2n-to-1 map. △ Less

Submitted 21 October, 2009; originally announced October 2009.

MSC Class: 54F45; 54C10; 54G05

Journal ref: Topology and its Applications, 158, (2011), 2512--2519

A Note on Monotonically Metacompact Spaces

Authors: Harold R. Bennett, Klaas Pieter Hart, David J. Lutzer

Abstract: We show that any metacompact Moore space is monotonically metacompact and use that result to characterize monotone metacompactness in certain generalized ordered (GO)spaces. We show, for example, that a generalized ordered space with a sigma-closed-discrete dense subset is metrizable if and only if it is monotonically (countably) metacompact, that a monotonically (countably) metacompact GO-space… ▽ More We show that any metacompact Moore space is monotonically metacompact and use that result to characterize monotone metacompactness in certain generalized ordered (GO)spaces. We show, for example, that a generalized ordered space with a sigma-closed-discrete dense subset is metrizable if and only if it is monotonically (countably) metacompact, that a monotonically (countably) metacompact GO-space is hereditarily paracompact, and that a locally countably compact GO-space is metrizable if and only if it is monotonically (countably) metacompact. We give an example of a non-metrizable LOTS that is monotonically metacompact, thereby answering a question posed by S. G. Popvassilev. We also give consistent examples showing that if there is a Souslin line, then there is one Souslin line that is monotonically countable metacompact, and another Souslin line that is not monotonically countably metacompact. △ Less

Submitted 21 October, 2009; originally announced October 2009.

MSC Class: 54D20; 54E30; 54E35; 54F05

Journal ref: Topology and its Applications, 157 (2010), 456--465

Lelek's problem is not a metric problem

Authors: Dana Bartosova, Logan Hoehn, Klaas Pieter Hart, Berd van der Steeg

Abstract: We show that Lelek's problem on the chainability of continua with span zero is not a metric problem: from a non-metric counterexample one can construct a metric one. We show that Lelek's problem on the chainability of continua with span zero is not a metric problem: from a non-metric counterexample one can construct a metric one. △ Less

Submitted 22 December, 2009; v1 submitted 9 October, 2008; originally announced October 2008.

Comments: Final version as sent to editor

MSC Class: 54F15 (Primary) 03C20; 03C68 (Secondary)

Journal ref: Topology and its Applications, 158, (2011), 2479--2484

A concrete co-existential map that is not confluent

Authors: Klaas Pieter Hart

Abstract: We give a concrete example of a co-existential map between continua that is not confluent. We give a concrete example of a co-existential map between continua that is not confluent. △ Less

Submitted 11 October, 2008; v1 submitted 21 August, 2008; originally announced August 2008.

Comments: 2008-10-11: revision after referee report

MSC Class: 54F15; 03C20

Journal ref: Topology Proceedings, 34 (2009), 303--306

A first-countable non-remainder of H

Authors: Alan Dow, Klaas Pieter Hart

Abstract: We give a (consistent) example of a first-countable continuum that is not a remainder of the real line. We give a (consistent) example of a first-countable continuum that is not a remainder of the real line. △ Less

Submitted 30 May, 2008; originally announced May 2008.

MSC Class: 54F15 (Primary); 03E50; 03E65; 54A35; 54D40; 54G20 (Secondary)

On hereditarily indecomposable compacta and factorization of maps

Authors: Klaas Pieter Hart, Elzbieta Pol

Abstract: We prove a general factorization theorem for maps with hereditarily indecomposable fibers and apply it to reprove a theorem of Mackoviak on the existence of universal hereditarily indecomposable continua. We prove a general factorization theorem for maps with hereditarily indecomposable fibers and apply it to reprove a theorem of Mackoviak on the existence of universal hereditarily indecomposable continua. △ Less

Submitted 21 August, 2008; v1 submitted 15 May, 2008; originally announced May 2008.

Comments: 2008-08-21: Revision after referee report

MSC Class: 54F15; 54F45; 03C98

Journal ref: Houston Journal of Mathematics, 37, (2011), 637--644