-
Broadening of the Divertor Heat Flux Profile in High Confinement Tokamak Fusion Plasmas with Edge Pedestals Limited by Turbulence in DIII-D
Authors:
D. R. Ernst,
A. Bortolon,
C. S. Chang,
S. Ku,
F. Scotti,
H. Q. Wang,
Z. Yan,
Jie Chen,
C. Chrystal,
F. Glass,
S. Haskey,
R. Hood,
F. Khabanov,
F. Laggner,
C. Lasnier,
G. R. McKee,
T. L. Rhodes,
D. Truong,
J. Watkins
Abstract:
Multi-machine empirical scaling predicts an extremely narrow heat exhaust layer in future high magnetic field tokamaks, producing high power densities that require mitigation. In the experiments presented, the width of this exhaust layer is nearly doubled using actuators to increase turbulent transport in the plasma edge. This is achieved in low collisionality, high confinement edge pedestals with…
▽ More
Multi-machine empirical scaling predicts an extremely narrow heat exhaust layer in future high magnetic field tokamaks, producing high power densities that require mitigation. In the experiments presented, the width of this exhaust layer is nearly doubled using actuators to increase turbulent transport in the plasma edge. This is achieved in low collisionality, high confinement edge pedestals with their gradients limited by turbulent transport instead of large-scale, coherent instabilities. The exhaust heat flux profile width and divertor leg diffusive spreading both double as a high frequency band of turbulent fluctuations propagating in the electron diamagnetic direction doubles in amplitude. The results are quantitatively reproduced in electromagnetic XGC particle-in-cell simulations which show the heat flux carried by electrons emerges to broaden the heat flux profile, directly supported by Langmuir probe measurements.
△ Less
Submitted 1 June, 2024; v1 submitted 29 February, 2024;
originally announced March 2024.
-
Multi-layered planar firefighting
Authors:
Arye Deutch,
Ohad Noy Feldheim,
Rani Hod
Abstract:
Consider a model of fire spreading through a graph; initially some vertices are burning, and at every given time-step fire spreads from burning vertices to their neighbours. The firefighter problem is a solitaire game in which a player is allowed, at every time-step, to protect some non-burning vertices (by effectively deleting them) in order to contain the fire growth. How many vertices per turn,…
▽ More
Consider a model of fire spreading through a graph; initially some vertices are burning, and at every given time-step fire spreads from burning vertices to their neighbours. The firefighter problem is a solitaire game in which a player is allowed, at every time-step, to protect some non-burning vertices (by effectively deleting them) in order to contain the fire growth. How many vertices per turn, on average, must be protected in order to stop the fire from spreading infinitely?
Here we consider the problem on $\mathbb{Z}^2\times [h]$ for both nearest neighbour adjacency and strong adjacency. We determine the critical protection rates for these graphs to be $1.5h$ and $3h$, respectively. This establishes the fact that using an optimal two-dimensional strategy for all layers in parallel is asymptotically optimal.
△ Less
Submitted 8 May, 2021;
originally announced May 2021.
-
Component Games on Random Graphs
Authors:
Rani Hod,
Michael Krivelevich,
Tobias Müller,
Alon Naor,
Nicholas Wormald
Abstract:
In the $\left(1:b\right)$ component game played on a graph $G$, two players, Maker and Breaker, alternately claim~$1$ and~$b$ previously unclaimed edges of $G$, respectively. Maker's aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial random graph is strongly correlated with the appe…
▽ More
In the $\left(1:b\right)$ component game played on a graph $G$, two players, Maker and Breaker, alternately claim~$1$ and~$b$ previously unclaimed edges of $G$, respectively. Maker's aim is to maximise the size of a largest connected component in her graph, while Breaker is trying to minimise it. We show that the outcome of the game on the binomial random graph is strongly correlated with the appearance of a nonempty $(b+2)$-core in the graph.
For any integer $k$, the $k$-core of a graph is its largest subgraph of minimum degree at least $k$. Pittel, Spencer and Wormald showed in 1996 that for any $k\ge3$ there exists an explicitly defined constant $c_{k}$ such that $p=c_{k}/n$ is the threshold function for the appearance of the $k$-core in $G(n,p)$. More precisely, $G(n,c/n)$ has WHP a linear-size $k$-core when the constant $c>c_{k}$, and an empty $k$-core when $c<c_{k}$.
We show that for any positive constant $b$, when playing the $(1:b)$ component game on $G(n,c/n)$, Maker can WHP build a linear-size component if $c>c_{b+2}$, while Breaker can WHP prevent Maker from building larger than polylogarithmic-size components if $c<c_{b+2}$.
For Breaker's strategy, we prove a theorem which may be of independent interest. The standard algorithm for computing the $k$-core of any graph is to repeatedly delete ("peel") all vertices of degree less than $k$, as long as such vertices remain. When $G(n,c/n)$ for $c<c_{k}$, it was shown by Jiang, Mitzenmacher and Thaler that $\log_{k-1}\log n+Θ(1)$ peeling iterations are WHP necessary and sufficient to obtain the (empty) $k$-core of~$G$. Our theorem states that already after a constant number of iterations, $G$ is WHP shattered into pieces of polylogarithmic size.
△ Less
Submitted 17 December, 2020; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Phase transitions and spin-state of iron in FeO at the conditions of Earth's deep interior
Authors:
E. Greenberg,
R. Nazarov,
A. Landa,
J. Ying,
R. Q. Hood,
B. Hen,
R. Jeanloz,
V. B. Prakapenka,
V. V. Struzhkin,
G. Kh. Rozenberg,
I. Leonov
Abstract:
Iron-bearing oxides undergo a series of pressure-induced electronic, spin and structural transitions that can cause seismic anomalies and dynamic instabilities in Earth's mantle and outer core. We employ x-ray diffraction and x-ray emission spectroscopy along with state-of-the-art density functional plus dynamical mean-field theory (DFT+DMFT) to characterize the electronic structure and spin state…
▽ More
Iron-bearing oxides undergo a series of pressure-induced electronic, spin and structural transitions that can cause seismic anomalies and dynamic instabilities in Earth's mantle and outer core. We employ x-ray diffraction and x-ray emission spectroscopy along with state-of-the-art density functional plus dynamical mean-field theory (DFT+DMFT) to characterize the electronic structure and spin states, and crystal-structural properties of wüstite (Fe$_{1-x}$O) -- a basic oxide component of Earth's interior -- at high pressure-temperature conditions up to 140 GPa and 2100 K. We find that FeO exhibits complex polymorphism under pressure, with abnormal compression behavior associated with electron-spin and crystallographic phase transitions, and resulting in a substantial change of bulk modulus. Our results reveal the existence of a high-pressure phase characterized by a metallic high-spin state of iron at about the pressure-temperature conditions of Earth's core-mantle boundary. The presence of high-spin metallic iron near the base of the mantle can significantly influence the geophysical and geochemical properties of Earth's deep interior.
△ Less
Submitted 13 January, 2023; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Improved Lower Bounds for the Fourier Entropy/Influence Conjecture via Lexicographic Functions
Authors:
Rani Hod
Abstract:
Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this representation: the entropy roughly measures their spread, while the total influence measures their average level. The Fourier Entropy/Influence conjecture of Friedgut and…
▽ More
Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this representation: the entropy roughly measures their spread, while the total influence measures their average level. The Fourier Entropy/Influence conjecture of Friedgut and Kalai from 1996 states that the entropy to influence ratio is bounded by a universal constant $C$.
Using lexicographic Boolean functions, we present three explicit asymptotic constructions that improve upon the previously best known lower bound $C>6.278944$ by O'Donnell and Tan, obtained via recursive composition. The first uses their construction with the lexicographic function $\ell\left\langle 2/3\right\rangle $ of measure $2/3$ to demonstrate that $C\ge4+3\log_{4}3>6.377444$. The second generalizes their construction to biased functions and obtains $C>6.413846$ using $\ell\left\langle Φ\right\rangle $, where $Φ$ is the inverse golden ratio. The third, independent, construction gives $C>6.454784$, even for monotone functions.
Beyond modest improvements to the value of $C$, our constructions shed some new light on the properties sought in potential counterexamples to the conjecture.
Additionally, we prove a Lipschitz-type condition on the total influence and spectral entropy, which may be of independent interest.
△ Less
Submitted 2 November, 2017;
originally announced November 2017.
-
On determining the fraction of metastable ions produced by direct ionization
Authors:
F. Chu,
S. W. Mattingly,
J. Berumen,
R. Hood,
F. Skiff
Abstract:
Laser-induced fluorescence (LIF) is a powerful tool in studying wave-particle interactions, velocity-space diffusion and other phenomena in plasmas under the proper conditions. Ignoring the possible instrumental errors in LIF, such as metastable lifetime effects, may result in unreliable measurements. LIF is frequently performed on metastable states that are produced from direct ionization of neut…
▽ More
Laser-induced fluorescence (LIF) is a powerful tool in studying wave-particle interactions, velocity-space diffusion and other phenomena in plasmas under the proper conditions. Ignoring the possible instrumental errors in LIF, such as metastable lifetime effects, may result in unreliable measurements. LIF is frequently performed on metastable states that are produced from direct ionization of neutral gas particles and ions in other electronic states. However, the metastable population born from neutrals cannot faithfully represent processes which act on the ion dynamics in a time shorter than the metastable lifetime. A numerical simulation is performed to study the metastable lifetime effects using a Lagrangian approach for LIF. A theoretical model in determining the fraction of metastable ions produced from direct ionization is reported to provide corrections to the LIF measurements.
△ Less
Submitted 9 September, 2017;
originally announced September 2017.
-
Discovering New Variable Stars at Key Stage 3
Authors:
Katy Chubb,
Rosie Hood,
Thomas Wilson,
Jonathan Holdship,
Sarah Hutton
Abstract:
Details of the London pilot of the `Discovery Project' are presented, where university-based astronomers were given the chance to pass on some real and applied knowledge of astronomy to a group of selected secondary school pupils. It was aimed at students in Key Stage 3 of their education, allowing them to be involved in real astronomical research at an early stage of their education, the chance t…
▽ More
Details of the London pilot of the `Discovery Project' are presented, where university-based astronomers were given the chance to pass on some real and applied knowledge of astronomy to a group of selected secondary school pupils. It was aimed at students in Key Stage 3 of their education, allowing them to be involved in real astronomical research at an early stage of their education, the chance to become the official discoverer of a new variable star, and to be listed in the International Variable Star Index database, all while learning and practising research-level skills. Future plans are discussed.
△ Less
Submitted 23 July, 2017;
originally announced July 2017.
-
Tight Bounds on Online Checkpointing Algorithms
Authors:
Achiya Bar-On,
Itai Dinur,
Orr Dunkelman,
Rani Hod,
Nathan Keller,
Eyal Ronen,
Adi Shamir
Abstract:
The problem of online checkpointing is a classical problem with numerous applications which had been studied in various forms for almost 50 years. In the simplest version of this problem, a user has to maintain $k$ memorized checkpoints during a long computation, where the only allowed operation is to move one of the checkpoints from its old time to the current time, and his goal is to keep the ch…
▽ More
The problem of online checkpointing is a classical problem with numerous applications which had been studied in various forms for almost 50 years. In the simplest version of this problem, a user has to maintain $k$ memorized checkpoints during a long computation, where the only allowed operation is to move one of the checkpoints from its old time to the current time, and his goal is to keep the checkpoints as evenly spread out as possible at all times.
Bringmann et al. studied this problem as a special case of an online/offline optimization problem in which the deviation from uniformity is measured by the natural discrepancy metric of the worst case ratio between real and ideal segment lengths. They showed this discrepancy is smaller than $1.59-o(1)$ for all $k$, and smaller than $\ln4-o(1)\approx1.39$ for the sparse subset of $k$'s which are powers of 2. In addition, they obtained upper bounds on the achievable discrepancy for some small values of $k$.
In this paper we solve the main problems left open in the above-mentioned paper by proving that $\ln4$ is a tight upper and lower bound on the asymptotic discrepancy for all large $k$, and by providing tight upper and lower bounds (in the form of provably optimal checkpointing algorithms, some of which are in fact better than those of Bringmann et al.) for all the small values of $k \leq 10$.
In the last part of the paper we describe some new applications of this online checkpointing problem.
△ Less
Submitted 19 June, 2019; v1 submitted 9 April, 2017;
originally announced April 2017.
-
Characterising the optical properties of galaxy clusters with GMPhoRCC
Authors:
R. J. Hood,
R. G. Mann
Abstract:
We introduce the Gaussian Mixture full Photometric Red sequence Cluster Characteriser (GMPhoRCC), an algorithm for determining the redshift and richness of a galaxy cluster candidate. By using data from a multi-band sky survey with photometric redshifts, a red sequence colour magnitude relation (CMR) is isolated and modelled and used to characterise the optical properties of the candidate. GMPhoRC…
▽ More
We introduce the Gaussian Mixture full Photometric Red sequence Cluster Characteriser (GMPhoRCC), an algorithm for determining the redshift and richness of a galaxy cluster candidate. By using data from a multi-band sky survey with photometric redshifts, a red sequence colour magnitude relation (CMR) is isolated and modelled and used to characterise the optical properties of the candidate. GMPhoRCC provides significant advantages over existing methods including, treatment of multi-modal distributions, variable width full CMR red sequence, richness extrapolation and quality control in order to algorithmically identify catastrophic failures. We present redshift comparisons for clusters from the GMBCG, NORAS, REFLEX and XCS catalogues, where the GMPhoRCC estimates are in excellent agreement with spectra, showing accurate, unbiased results with low scatter ($σ_{δz / (1+z)} \sim 0.014$). We conclude with the evaluation of GMPhoRCC performance using empirical Sloan Digital Sky Survey (SDSS) like mock galaxy clusters. GMPhoRCC is shown to produce highly pure characterisations with very low probabilities ($<1\%$) of spurious, clean characterisations. In addition GMPhoRCC is shown to demonstrate high rates of completeness with respect to recovering redshift, richness and correctly identifying the BCG.
△ Less
Submitted 26 November, 2016;
originally announced November 2016.
-
Voronoi Choice Games
Authors:
Meena Boppana,
Rani Hod,
Michael Mitzenmacher,
Tom Morgan
Abstract:
We study novel variations of Voronoi games and associated random processes that we call Voronoi choice games. These games provide a rich framework for studying questions regarding the power of small numbers of choices in multi-player, competitive scenarios, and they further lead to many interesting, non-trivial random processes that appear worthy of study.
As an example of the type of problem we…
▽ More
We study novel variations of Voronoi games and associated random processes that we call Voronoi choice games. These games provide a rich framework for studying questions regarding the power of small numbers of choices in multi-player, competitive scenarios, and they further lead to many interesting, non-trivial random processes that appear worthy of study.
As an example of the type of problem we study, suppose a group of $n$ miners are staking land claims through the following process: each miner has $m$ associated points independently and uniformly distributed on an underlying space, so the $k$th miner will have associated points $p_{k1},p_{k2},\ldots,p_{km}$. Each miner chooses one of these points as the base point for their claim. Each miner obtains mining rights for the area of the square that is closest to their chosen base, that is, they obtain the Voronoi cell corresponding to their chosen point in the Voronoi diagram of the $n$ chosen points. Each player's goal is simply to maximize the amount of land under their control. What can we say about the players' strategy and the equilibria of such games?
In our main result, we derive bounds on the expected number of pure Nash equilibria for a variation of the 1-dimensional game on the circle where a player owns the arc starting from their point and moving clockwise to the next point. This result uses interesting properties of random arc lengths on circles, and demonstrates the challenges in analyzing these kinds of problems. We also provide several other related results. In particular, for the 1-dimensional game on the circle, we show that a pure Nash equilibrium always exists when each player owns the part of the circle nearest to their point, but it is NP-hard to determine whether a pure Nash equilibrium exists in the variant when each player owns the arc starting from their point clockwise to the next point.
△ Less
Submitted 24 April, 2016;
originally announced April 2016.
-
On Scale-Dependent Cosmic Shear Systematic Effects
Authors:
T. D. Kitching,
A. N. Taylor,
M. Cropper,
H. Hoekstra,
R. K. E. Hood,
R. Massey,
S. Niemi
Abstract:
In this paper we investigate the impact that realistic scale-dependence systematic effects may have on cosmic shear tomography. We model spatially varying residual ellipticity and size variations in weak lensing measurements and propagate these through to predicted changes in the uncertainty and bias of cosmological parameters. We show that the survey strategy - whether it is regular or randomised…
▽ More
In this paper we investigate the impact that realistic scale-dependence systematic effects may have on cosmic shear tomography. We model spatially varying residual ellipticity and size variations in weak lensing measurements and propagate these through to predicted changes in the uncertainty and bias of cosmological parameters. We show that the survey strategy - whether it is regular or randomised - is an important factor in determining the impact of a systematic effect: a purely randomised survey strategy produces the smallest biases, at the expense of larger parameter uncertainties, and a very regularised survey strategy produces large biases, but unaffected uncertainties. However, by removing, or modelling, the affected scales (l-modes) in the regular cases the biases are reduced to negligible levels. We find that the integral of the systematic power spectrum is not a good metric for dark energy performance, and we advocate that systematic effects should be modelled accurately in real space, where they enter the measurement process, and their effect subsequently propagated into power spectrum contributions.
△ Less
Submitted 19 July, 2015;
originally announced July 2015.
-
The XMM Cluster Survey: Testing chameleon gravity using the profiles of clusters
Authors:
Harry Wilcox,
David Bacon,
Robert C. Nichol,
Philip J. Rooney,
Ayumu Terukina,
A. Kathy Romer,
Kazuya Koyama,
Gong-Bo Zhao,
Ross Hood,
Robert G. Mann,
Matt Hilton,
Maria Manolopoulou,
Martin Sahlen,
Chris A. Collins,
Andrew R. Liddle,
Julian A. Mayers,
Nicola Mehrtens,
Christopher J. Miller,
John P. Stott,
Pedro T. P. Viana
Abstract:
The chameleon gravity model postulates the existence of a scalar field that couples with matter to mediate a fifth force. If it exists, this fifth force would influence the hot X-ray emitting gas filling the potential wells of galaxy clusters. However, it would not influence the clusters' weak lensing signal. Therefore, by comparing X-ray and weak lensing profiles, one can place upper limits on th…
▽ More
The chameleon gravity model postulates the existence of a scalar field that couples with matter to mediate a fifth force. If it exists, this fifth force would influence the hot X-ray emitting gas filling the potential wells of galaxy clusters. However, it would not influence the clusters' weak lensing signal. Therefore, by comparing X-ray and weak lensing profiles, one can place upper limits on the strength of a fifth force. This technique has been attempted before using a single, nearby cluster (Coma, $z=0.02$). Here we apply the technique to the stacked profiles of 58 clusters at higher redshifts ($0.1<z<1.2$), including 12 new to the literature, using X-ray data from the XMM Cluster Survey (XCS) and weak lensing data from the Canada France Hawaii Telescope Lensing Survey (CFHTLenS). Using a multi-parameter MCMC analysis, we constrain the two chameleon gravity parameters ($β$ and $φ_{\infty}$). Our fits are consistent with general relativity, not requiring a fifth force. In the special case of $f(R)$ gravity (where $β= \sqrt{1/6}$), we set an upper limit on the background field amplitude today of $|f_{\rm{R0}}| < 6 \times 10^{-5}$ (95% CL). This is one of the strongest constraints to date on $|f_{\rm{R0}}|$ on cosmological scales. We hope to improve this constraint in future by extending the study to hundreds of clusters using data from the Dark Energy Survey.
△ Less
Submitted 15 July, 2015; v1 submitted 15 April, 2015;
originally announced April 2015.
-
On active and passive testing
Authors:
Noga Alon,
Rani Hod,
Amit Weinstein
Abstract:
Given a property of Boolean functions, what is the minimum number of queries required to determine with high probability if an input function satisfies this property or is "far" from satisfying it? This is a fundamental question in Property Testing, where traditionally the testing algorithm is allowed to pick its queries among the entire set of inputs. Balcan, Blais, Blum and Yang have recently su…
▽ More
Given a property of Boolean functions, what is the minimum number of queries required to determine with high probability if an input function satisfies this property or is "far" from satisfying it? This is a fundamental question in Property Testing, where traditionally the testing algorithm is allowed to pick its queries among the entire set of inputs. Balcan, Blais, Blum and Yang have recently suggested to restrict the tester to take its queries from a smaller random subset of polynomial size of the inputs. This model is called active testing, and in the extreme case when the size of the set we can query from is exactly the number of queries performed it is known as passive testing.
We prove that passive or active testing of k-linear functions (that is, sums of k variables among n over Z_2) requires Theta(k*log n) queries, assuming k is not too large. This extends the case k=1, (that is, dictator functions), analyzed by Balcan et. al.
We also consider other classes of functions including low degree polynomials, juntas, and partially symmetric functions. Our methods combine algebraic, combinatorial, and probabilistic techniques, including the Talagrand concentration inequality and the Erdos--Rado theorem on Delta-systems.
△ Less
Submitted 15 November, 2015; v1 submitted 28 July, 2013;
originally announced July 2013.
-
A construction of almost Steiner systems
Authors:
Asaf Ferber,
Rani Hod,
Michael Krivelevich,
Benny Sudakov
Abstract:
Let $n$, $k$, and $t$ be integers satisfying $n>k>t\ge2$. A Steiner system with parameters $t$, $k$, and $n$ is a $k$-uniform hypergraph on $n$ vertices in which every set of $t$ distinct vertices is contained in exactly one edge. An outstanding problem in Design Theory is to determine whether a nontrivial Steiner system exists for $t\geq6$.
In this note we prove that for every $k>t\ge2$ and suf…
▽ More
Let $n$, $k$, and $t$ be integers satisfying $n>k>t\ge2$. A Steiner system with parameters $t$, $k$, and $n$ is a $k$-uniform hypergraph on $n$ vertices in which every set of $t$ distinct vertices is contained in exactly one edge. An outstanding problem in Design Theory is to determine whether a nontrivial Steiner system exists for $t\geq6$.
In this note we prove that for every $k>t\ge2$ and sufficiently large $n$, there exists an almost Steiner system with parameters $t$, $k$, and $n$; that is, there exists a $k$-uniform hypergraph on $n$ vertices such that every set of $t$ distinct vertices is covered by either one or two edges.
△ Less
Submitted 17 March, 2013;
originally announced March 2013.
-
Component Games on Regular Graphs
Authors:
Rani Hod,
Alon Naor
Abstract:
We study the (1:b) Maker-Breaker component game, played on the edge set of a d-regular graph. Maker's aim in this game is to build a large connected component, while Breaker's aim is to not let him do so. For all values of Breaker's bias b, we determine whether Breaker wins (on any d-regular graph) or Maker wins (on almost every d-regular graph) and provide explicit winning strategies for both pla…
▽ More
We study the (1:b) Maker-Breaker component game, played on the edge set of a d-regular graph. Maker's aim in this game is to build a large connected component, while Breaker's aim is to not let him do so. For all values of Breaker's bias b, we determine whether Breaker wins (on any d-regular graph) or Maker wins (on almost every d-regular graph) and provide explicit winning strategies for both players.
To this end, we prove an extension of a theorem by Gallai-Hasse-Roy-Vitaver about graph orientations without long directed simple paths.
△ Less
Submitted 2 January, 2013;
originally announced January 2013.
-
Diffusion quantum Monte Carlo study of the equation of state and point defects in aluminum
Authors:
Randolph Q. Hood,
P. R. C. Kent,
Fernando A. Reboredo
Abstract:
The many-body diffusion quantum Monte Carlo (DMC) method with twist-averaged boundary conditions is used to calculate the ground-state equation of state and the energetics of point defects in fcc aluminum using supercells up to 1331 atoms. The DMC equilibrium lattice constant differs from experiment by 0.008 A, or 0.2%, while the cohesive energy using DMC with backflow wave functions with improved…
▽ More
The many-body diffusion quantum Monte Carlo (DMC) method with twist-averaged boundary conditions is used to calculate the ground-state equation of state and the energetics of point defects in fcc aluminum using supercells up to 1331 atoms. The DMC equilibrium lattice constant differs from experiment by 0.008 A, or 0.2%, while the cohesive energy using DMC with backflow wave functions with improved nodal surfaces differs by 27 meV. DMC-calculated defect formation and migration energies agree with available experimental data, except for the nearest-neighbor divacancy, which is found to be energetically unstable, in agreement with previous density functional theory (DFT) calculations. DMC and DFT calculations of vacancy defects are in reasonably close agreement. Self-interstitial formation energies have larger differences between DMC and DFT, of up to 0.33eV, at the tetrahedral site. We also computed formation energies of helium interstitial defects where energies differed by up to 0.34eV, also at the tetrahedral site. The close agreement with available experiments demonstrates that DMC can be used as a predictive method to obtain benchmark energetics of defects in metals.
△ Less
Submitted 19 October, 2012;
originally announced October 2012.
-
A Time Domain Approach to Power Integrity for Printed Circuit Boards
Authors:
Nevil Mattey,
Gerard Edwards,
Ron Hood
Abstract:
Power integrity is becoming increasingly relevant due to increases in device functionality and switching speeds along with reduced operating voltage. Large current spikes at the device terminals result in electromagnetic disturbances which can establish resonant patterns affecting the operation of the whole system. These effects have been examined using a finite difference time domain approach to…
▽ More
Power integrity is becoming increasingly relevant due to increases in device functionality and switching speeds along with reduced operating voltage. Large current spikes at the device terminals result in electromagnetic disturbances which can establish resonant patterns affecting the operation of the whole system. These effects have been examined using a finite difference time domain approach to solve Maxwell's equations for the PCB power and ground plane configuration. The simulation domain is terminated with a uniaxial perfectly matched layer to prevent unwanted reflections. This approach calculates the field values as a function of position and time and allows the evolution of the field to be visualized. The propagation of a pulse over the ground plane was observed demonstrating the establishment of a complex interference pattern between source and reflected wave fronts and then between multiply reflected wave fronts. This interference which affects the whole ground plane area could adversely affect the operation of any device on the board. These resonant waves persist for a significant time after the initial pulse. Examining the FFT of the ground plane electric field response showed numerous resonant peaks at frequencies consistent with the expected values assuming the PCB can be modelled as a resonant cavity with two electric and four magnetic field boundaries.
△ Less
Submitted 16 August, 2010;
originally announced August 2010.
-
A construction for the hat problem on a directed graph
Authors:
Rani Hod,
Marcin Krzywkowski
Abstract:
A team of players plays the following game. After a strategy session, each player is randomly fitted with a blue or red hat. Then, without further communication, everybody can try to guess simultaneously his or her own hat color by looking at the hat colors of other players. Visibility is defined by a directed graph; that is, vertices correspond to players, and a player can see each player to whom…
▽ More
A team of players plays the following game. After a strategy session, each player is randomly fitted with a blue or red hat. Then, without further communication, everybody can try to guess simultaneously his or her own hat color by looking at the hat colors of other players. Visibility is defined by a directed graph; that is, vertices correspond to players, and a player can see each player to whom she or he is connected by an arc. The team wins if at least one player guesses his hat color correctly, and no one guesses his hat color wrong; otherwise the team loses. The team aims to maximize the probability of a win, and this maximum is called the hat number of the graph.
Previous works focused on the problem on complete graphs and on undirected graphs. Some cases were solved, e.g., complete graphs of certain orders, trees, cycles, bipartite graphs. These led Uriel Feige to conjecture that the hat number of any graph is equal to the hat number of its maximum clique.
We show that the conjecture does not hold for directed graphs.Moreover, for every value of the maximum clique size, we provide a tight characterization of the range of possible values of the hat number. We construct families of directed graphs with a fixed clique number the hat number of which is asymptotically optimal. We also determine the hat number of tournaments to be one half.
△ Less
Submitted 24 May, 2013; v1 submitted 8 June, 2010;
originally announced June 2010.
-
3/2 Firefighters are not enough
Authors:
Ohad N. Feldheim,
Rani Hod
Abstract:
The firefighter problem is a monotone dynamic process in graphs that can be viewed as modeling the use of a limited supply of vaccinations to stop the spread of an epidemic. In more detail, a fire spreads through a graph, from burning vertices to their unprotected neighbors. In every round, a small amount of unburnt vertices can be protected by firefighters. How many firefighters per turn, on aver…
▽ More
The firefighter problem is a monotone dynamic process in graphs that can be viewed as modeling the use of a limited supply of vaccinations to stop the spread of an epidemic. In more detail, a fire spreads through a graph, from burning vertices to their unprotected neighbors. In every round, a small amount of unburnt vertices can be protected by firefighters. How many firefighters per turn, on average, are needed to stop the fire from advancing? We prove tight lower and upper bounds on the amount of firefighters needed to control a fire in the Cartesian planar grid and in the strong planar grid, resolving two conjectures of Ng and Raff.
△ Less
Submitted 10 May, 2010;
originally announced May 2010.
-
Systematic reduction of sign errors in many-body calculations of atoms and molecules
Authors:
Michal Bajdich,
Murilo L. Tiago,
Randolph Q. Hood,
Paul R. C. Kent,
Fernando A. Reboredo
Abstract:
The self-healing diffusion Monte Carlo algorithm (SHDMC) [Phys. Rev. B {\bf 79}, 195117 (2009), {\it ibid.} {\bf 80}, 125110 (2009)] is shown to be an accurate and robust method for calculating the ground state of atoms and molecules. By direct comparison with accurate configuration interaction results for the oxygen atom we show that SHDMC converges systematically towards the ground-state wave…
▽ More
The self-healing diffusion Monte Carlo algorithm (SHDMC) [Phys. Rev. B {\bf 79}, 195117 (2009), {\it ibid.} {\bf 80}, 125110 (2009)] is shown to be an accurate and robust method for calculating the ground state of atoms and molecules. By direct comparison with accurate configuration interaction results for the oxygen atom we show that SHDMC converges systematically towards the ground-state wave function. We present results for the challenging N$_2$ molecule, where the binding energies obtained via both energy minimization and SHDMC are near chemical accuracy (1 kcal/mol). Moreover, we demonstrate that SHDMC is robust enough to find the nodal surface for systems at least as large as C$_{20}$ starting from random coefficients. SHDMC is a linear-scaling method, in the degrees of freedom of the nodes, that systematically reduces the fermion sign problem.
△ Less
Submitted 13 April, 2010; v1 submitted 18 December, 2009;
originally announced December 2009.
-
Self-healing diffusion quantum Monte Carlo algorithms: methods for direct reduction of the fermion sign error in electronic structure calculations
Authors:
Fernando A. Reboredo,
Randolph Q. Hood,
Paul R. C. Kent
Abstract:
We develop a formalism and present an algorithm for optimization of the trial wave-function used in fixed-node diffusion quantum Monte Carlo (DMC) methods. We take advantage of a basic property of the walker configuration distribution generated in a DMC calculation, to (i) project-out a multi-determinant expansion of the fixed-node ground-state wave function and (ii) to define a cost function th…
▽ More
We develop a formalism and present an algorithm for optimization of the trial wave-function used in fixed-node diffusion quantum Monte Carlo (DMC) methods. We take advantage of a basic property of the walker configuration distribution generated in a DMC calculation, to (i) project-out a multi-determinant expansion of the fixed-node ground-state wave function and (ii) to define a cost function that relates the fixed-node ground-state and the non-interacting trial wave functions. We show that (a) locally smoothing out the kink of the fixed-node ground-state wave function at the node generates a new trial wave-function with better nodal structure and (b) we argue that the noise in the fixed-node wave-function resulting from finite sampling plays a beneficial role, allowing the nodes to adjust towards the ones of the exact many-body ground state in a simulated annealing-like process. We propose a method to improve both single determinant and multi-determinant expansions of the trial wave-function. We test the method in a model system where benchmark configuration interaction calculations can be performed. Comparing the DMC calculations with the exact solutions, we find that the trial wave-function is systematically improved. The overlap of the optimized trial wave function and the exact ground state converges to 100% even starting from wave-functions orthogonal to the exact ground state. In the optimization process we find an optimal non-interacting nodal potential of density-functional-like form whose existence was predicted earlier[Phys.Rev. B {\bf 77}, 245110 (2008)]. We obtain the exact Kohn-Sham effective potential from the DMC data.
△ Less
Submitted 23 April, 2009; v1 submitted 25 August, 2008;
originally announced August 2008.
-
Neutral and charged excitations in carbon fullerenes from first-principles many-body theories
Authors:
Murilo L. Tiago,
P. R. C. Kent,
Randolph Q. Hood,
Fernando A. Reboredo
Abstract:
We investigate the accuracy of first-principles many-body theories at the nanoscale by comparing the low energy excitations of the carbon fullerenes C_20, C_24, C_50, C_60, C_70, and C_80 with experiment. Properties are calculated via the GW-Bethe-Salpeter Equation (GW-BSE) and diffusion Quantum Monte Carlo (QMC) methods. We critically compare these theories and assess their accuracy against ava…
▽ More
We investigate the accuracy of first-principles many-body theories at the nanoscale by comparing the low energy excitations of the carbon fullerenes C_20, C_24, C_50, C_60, C_70, and C_80 with experiment. Properties are calculated via the GW-Bethe-Salpeter Equation (GW-BSE) and diffusion Quantum Monte Carlo (QMC) methods. We critically compare these theories and assess their accuracy against available photoabsorption and photoelectron spectroscopy data. The first ionization potentials are consistently well reproduced and are similar for all the fullerenes and methods studied. The electron affinities and first triplet excitation energies show substantial method and geometry dependence. These results establish the validity of many-body theories as viable alternative to density-functional theory in describing electronic properties of confined carbon nanostructures. We find a correlation between energy gap and stability of fullerenes. We also find that the electron affinity of fullerenes is very high and size-independent, which explains their tendency to form compounds with electron-donor cations.
△ Less
Submitted 29 July, 2008; v1 submitted 4 March, 2008;
originally announced March 2008.
-
Comparative study of density functional theories of the exchange-correlation hole and energy in silicon
Authors:
A. C. Cancio,
M. Y. Chou,
Randolph Q. Hood
Abstract:
We present a detailed study of the exchange-correlation hole and exchange-correlation energy per particle in the Si crystal as calculated by the Variational Monte Carlo method and predicted by various density functional models. Nonlocal density averaging methods prove to be successful in correcting severe errors in the local density approximation (LDA) at low densities where the density changes…
▽ More
We present a detailed study of the exchange-correlation hole and exchange-correlation energy per particle in the Si crystal as calculated by the Variational Monte Carlo method and predicted by various density functional models. Nonlocal density averaging methods prove to be successful in correcting severe errors in the local density approximation (LDA) at low densities where the density changes dramatically over the correlation length of the LDA hole, but fail to provide systematic improvements at higher densities where the effects of density inhomogeneity are more subtle. Exchange and correlation considered separately show a sensitivity to the nonlocal semiconductor crystal environment, particularly within the Si bond, which is not predicted by the nonlocal approaches based on density averaging. The exchange hole is well described by a bonding orbital picture, while the correlation hole has a significant component due to the polarization of the nearby bonds, which partially screens out the anisotropy in the exchange hole.
△ Less
Submitted 17 May, 2001; v1 submitted 24 January, 2001;
originally announced January 2001.
-
Support for Debugging Automatically Parallelized Programs
Authors:
Robert Hood,
Gabriele Jost
Abstract:
We describe a system that simplifies the process of debugging programs produced by computer-aided parallelization tools. The system uses relative debugging techniques to compare serial and parallel executions in order to show where the computations begin to differ. If the original serial code is correct, errors due to parallelization will be isolated by the comparison.
One of the primary goals…
▽ More
We describe a system that simplifies the process of debugging programs produced by computer-aided parallelization tools. The system uses relative debugging techniques to compare serial and parallel executions in order to show where the computations begin to differ. If the original serial code is correct, errors due to parallelization will be isolated by the comparison.
One of the primary goals of the system is to minimize the effort required of the user. To that end, the debugging system uses information produced by the parallelization tool to drive the comparison process. In particular, the debugging system relies on the parallelization tool to provide information about where variables may have been modified and how arrays are distributed across multiple processes. User effort is also reduced through the use of dynamic instrumentation. This allows us to modify the program execution without changing the way the user builds the executable.
The use of dynamic instrumentation also permits us to compare the executions in a fine-grained fashion and only involve the debugger when a difference has been detected. This reduces the overhead of executing instrumentation.
△ Less
Submitted 11 December, 2000;
originally announced December 2000.
-
Two-dimensional limit of exchange-correlation energy functional approximations in density functional theory
Authors:
Yong-Hoon Kim,
In-Ho Lee,
Satyadev Nagaraja,
Jean-Pierre Leburton,
Randolph Q. Hood,
Richard M. Martin
Abstract:
We investigate the behavior of three-dimensional (3D) exchange-correlation energy functional approximations of density functional theory in anisotropic systems with two-dimensional (2D) character. Using two simple models, quasi-2D electron gas and two-electron quantum dot, we show a {\it fundamental limitation} of the local density approximation (LDA), and its semi-local extensions, generalized…
▽ More
We investigate the behavior of three-dimensional (3D) exchange-correlation energy functional approximations of density functional theory in anisotropic systems with two-dimensional (2D) character. Using two simple models, quasi-2D electron gas and two-electron quantum dot, we show a {\it fundamental limitation} of the local density approximation (LDA), and its semi-local extensions, generalized gradient approximation (GGA) and meta-GGA (MGGA), the most widely used forms of which are worse than the LDA in the strong 2D limit. The origin of these shortcomings is in the inability of the local (LDA) and semi-local (GGA/MGGA) approximations to describe systems with 2D character in which the nature of the exchange-correlation hole is very nonlocal. Nonlocal functionals provide an alternative approach, and explicitly the average density approximation (ADA) is shown to be remarkably accurate for the quasi-2D electron gas system. Our study is not only relevant for understanding of the functionals but also practical applications to semiconductor quantum structures and materials such as graphite and metal surfaces. We also comment on the implication of our findings to the practical device simulations based on the (semi-)local density functional method.
△ Less
Submitted 14 November, 1999; v1 submitted 11 November, 1999;
originally announced November 1999.
-
Symmetry Constraints and Variational Principles in Diffusion Quantum Monte Carlo Calculations of Excited-State Energies
Authors:
W. M. C. Foulkes,
Randolph Q. Hood,
R. J. Needs
Abstract:
Fixed-node diffusion Monte Carlo (DMC) is a stochastic algorithm for finding the lowest energy many-fermion wave function with the same nodal surface as a chosen trial function. It has proved itself among the most accurate methods available for calculating many-electron ground states, and is one of the few approaches that can be applied to systems large enough to act as realistic models of solid…
▽ More
Fixed-node diffusion Monte Carlo (DMC) is a stochastic algorithm for finding the lowest energy many-fermion wave function with the same nodal surface as a chosen trial function. It has proved itself among the most accurate methods available for calculating many-electron ground states, and is one of the few approaches that can be applied to systems large enough to act as realistic models of solids. In attempts to use fixed-node DMC for excited-state calculations, it has often been assumed that the DMC energy must be greater than or equal to the energy of the lowest exact eigenfunction with the same symmetry as the trial function. We show that this assumption is not justified unless the trial function transforms according to a one-dimensional irreducible representation of the symmetry group of the Hamiltonian. If the trial function transforms according to a multi-dimensional irreducible representation, corresponding to a degenerate energy level, the DMC energy may lie below the energy of the lowest eigenstate of that symmetry. Weaker variational bounds may then be obtained by choosing trial functions transforming according to one-dimensional irreducible representations of subgroups of the full symmetry group.
△ Less
Submitted 12 March, 1999;
originally announced March 1999.
-
Finite size errors in quantum many-body simulations of extended systems
Authors:
P. R. C. Kent,
Randolph Q. Hood,
A. J. Williamson,
R. J. Needs,
W. M. C. Foulkes,
G. Rajagopal
Abstract:
Further developments are introduced in the theory of finite size errors in quantum many-body simulations of extended systems using periodic boundary conditions. We show that our recently introduced Model Periodic Coulomb interaction [A. J. Williamson et al., Phys. Rev. B 55, R4851 (1997)] can be applied consistently to all Coulomb interactions in the system. The Model Periodic Coulomb interactio…
▽ More
Further developments are introduced in the theory of finite size errors in quantum many-body simulations of extended systems using periodic boundary conditions. We show that our recently introduced Model Periodic Coulomb interaction [A. J. Williamson et al., Phys. Rev. B 55, R4851 (1997)] can be applied consistently to all Coulomb interactions in the system. The Model Periodic Coulomb interaction greatly reduces the finite size errors in quantum many-body simulations. We illustrate the practical application of our techniques with Hartree-Fock and variational and diffusion quantum Monte Carlo calculations for ground and excited state calculations. We demonstrate that the finite size effects in electron promotion and electron addition/subtraction excitation energy calculations are very similar.
△ Less
Submitted 20 October, 1998;
originally announced October 1998.
-
Quantum Monte Carlo calculations of the one-body density matrix and excitation energies of silicon
Authors:
P. R. C. Kent,
Randolph Q. Hood,
M. D. Towler,
R. J. Needs,
G. Rajagopal
Abstract:
Quantum Monte Carlo (QMC) techniques are used to calculate the one-body density matrix and excitation energies for the valence electrons of bulk silicon. The one-body density matrix and energies are obtained from a Slater-Jastrow wave function with a determinant of local density approximation (LDA) orbitals. The QMC density matrix evaluated in a basis of LDA orbitals is strongly diagonally domin…
▽ More
Quantum Monte Carlo (QMC) techniques are used to calculate the one-body density matrix and excitation energies for the valence electrons of bulk silicon. The one-body density matrix and energies are obtained from a Slater-Jastrow wave function with a determinant of local density approximation (LDA) orbitals. The QMC density matrix evaluated in a basis of LDA orbitals is strongly diagonally dominant. The natural orbitals obtained by diagonalizing the QMC density matrix resemble the LDA orbitals very closely. Replacing the determinant of LDA orbitals in the wave function by a determinant of natural orbitals makes no significant difference to the quality of the wave function's nodal surface, leaving the diffusion Monte Carlo energy unchanged. The Extended Koopmans' Theorem for correlated wave functions is used to calculate excitation energies for silicon, which are in reasonable agreement with the available experimental data. A diagonal approximation to the theorem, evaluated in the basis of LDA orbitals, works quite well for both the quasihole and quasielectron states. We have found that this approximation has an advantageous scaling with system size, allowing more efficient studies of larger systems.
△ Less
Submitted 2 April, 1998;
originally announced April 1998.
-
Diffusion Quantum Monte Carlo Calculations of Excited States of Silicon
Authors:
A. J. Williamson,
Randolph Q. Hood,
R. J. Needs,
G. Rajagopal
Abstract:
The band structure of silicon is calculated at the Gamma, X, and L wave vectors using diffusion quantum Monte Carlo methods. Excited states are formed by promoting an electron from the valence band into the conduction band. We obtain good agreement with experiment for states around the gap region and demonstrate that the method works equally well for direct and indirect excitations, and that one…
▽ More
The band structure of silicon is calculated at the Gamma, X, and L wave vectors using diffusion quantum Monte Carlo methods. Excited states are formed by promoting an electron from the valence band into the conduction band. We obtain good agreement with experiment for states around the gap region and demonstrate that the method works equally well for direct and indirect excitations, and that one can calculate many excited states at each wave vector. This work establishes the fixed-node DMC approach as an accurate method for calculating the energies of low lying excitations in solids.
△ Less
Submitted 17 March, 1998;
originally announced March 1998.