-
Determination of spin Hall effect and spin diffusion length of Pt from self-consistent fitting of dam** enhancement and inverse spin-orbit torque measurements
Authors:
Andrew J. Berger,
Eric R. J. Edwards,
Hans T. Nembach,
Olof Karis,
Mathias Weiler,
T. J. Silva
Abstract:
Understanding the evolution of spin-orbit torque (SOT) with increasing heavy-metal thickness in ferromagnet/normal metal (FM/NM) bilayers is critical for the development of magnetic memory based on SOT. However, several experiments have revealed an apparent discrepancy between dam** enhancement and dam**-like SOT regarding their dependence on NM thickness. Here, using linewidth and phase-resol…
▽ More
Understanding the evolution of spin-orbit torque (SOT) with increasing heavy-metal thickness in ferromagnet/normal metal (FM/NM) bilayers is critical for the development of magnetic memory based on SOT. However, several experiments have revealed an apparent discrepancy between dam** enhancement and dam**-like SOT regarding their dependence on NM thickness. Here, using linewidth and phase-resolved amplitude analysis of vector network analyzer ferromagnetic resonance (VNA-FMR) measurements, we simultaneously extract dam** enhancement and both field-like and dam**-like inverse SOT in Ni$_{80}$Fe$_{20}$/Pt bilayers as a function of Pt thickness. By enforcing an interpretation of the data which satisfies Onsager reciprocity, we find that both the dam** enhancement and dam**-like inverse SOT can be described by a single spin diffusion length ($\approx$ 4 nm), and that we can separate the spin pum** and spin memory loss (SML) contributions to the total dam**. This analysis indicates that less than 40% of the angular momentum pumped by FMR through the Ni$_{80}$Fe$_{20}$/Pt interface is transported as spin current into the Pt. On account of the SML and corresponding reduction in total spin current available for spin-charge transduction in the Pt, we determine the Pt spin Hall conductivity ($σ_\mathrm{SH} = (2.36 \pm 0.04)\times10^6 Ω^{-1} \mathrm{m}^{-1}$) and bulk spin Hall angle ($θ_\mathrm{SH}=0.387 \pm0.008$) to be larger than commonly-cited values. These results suggest that Pt can be an extremely useful source of SOT if the FM/NM interface can be engineered to minimize SML. Lastly, we find that self-consistent fitting of the dam** and SOT data is best achieved by a model with Elliott-Yafet spin relaxation and extrinsic inverse spin Hall effect, such that both the spin diffusion length and spin Hall conductivity are proportional to the Pt charge conductivity.
△ Less
Submitted 21 March, 2018; v1 submitted 21 November, 2017;
originally announced November 2017.
-
Revisiting the origin of satellites in core level photoemission of transparent conducting oxides: the case of $n$-doped SnO$_2$
Authors:
F. Borgatti,
J. A. Berger,
D. Céolin,
J. S. Zhou,
J. J. Kas,
M. Guzzo,
C. F. McConville,
F. Offi,
G. Panaccione,
A. Regoutz,
D. J. Payne,
J. -P. Rueff,
O. Bierwagen,
M. E. White,
J. S. Speck,
M. Gatti,
R. G. Egdell
Abstract:
The longstanding problem of interpretation of satellite structures in core level photoemission spectra of metallic systems with a low density of conduction electrons is addressed using the specific example of Sb-doped SnO$_2$. Comparison of {\it ab initio} many-body calculations with experimental hard X-ray photoemission spectra of the Sn 4$d$ states shows that strong satellites are produced by co…
▽ More
The longstanding problem of interpretation of satellite structures in core level photoemission spectra of metallic systems with a low density of conduction electrons is addressed using the specific example of Sb-doped SnO$_2$. Comparison of {\it ab initio} many-body calculations with experimental hard X-ray photoemission spectra of the Sn 4$d$ states shows that strong satellites are produced by coupling of the Sn core hole to the plasma oscillations of the free electrons introduced by do**. Within the same theoretical framework, spectral changes of the valence band spectra are also related to dynamical screening effects. These results demonstrate that, for the interpretation of electron correlation features in the core level photoelectron spectra of such narrow-band materials, going beyond the homogeneous electron gas electron-plasmon coupling model is essential.
△ Less
Submitted 24 October, 2017;
originally announced October 2017.
-
Many-body perturbation theory and non-perturbative approaches: the screened interaction as key ingredient
Authors:
Walter Tarantino,
Bernardo S. Mendoza,
Pina Romaniello,
J. A. Berger,
Lucia Reining
Abstract:
Many-body perturbation theory is often formulated in terms of an expansion in the dressed instead of the bare Green's function, and in the screened instead of the bare Coulomb interaction. However, screening can be calculated on different levels of approximation, and it is important to define what is the most appropriate choice. We explore this question by studying a zero-dimensional model (so cal…
▽ More
Many-body perturbation theory is often formulated in terms of an expansion in the dressed instead of the bare Green's function, and in the screened instead of the bare Coulomb interaction. However, screening can be calculated on different levels of approximation, and it is important to define what is the most appropriate choice. We explore this question by studying a zero-dimensional model (so called 'one-point model') that retains the structure of the full equations. We study both linear and non-linear response approximations to the screening. We find that an expansion in terms of the screening in the random phase approximation is the most promising way for an application in real systems. Moreover, by making use of the nonperturbative features of the Kadanoff-Baym equation for the one-body Green's function, we obtain an approximate solution in our model that is very promising, although its applicability to real systems has still to be explored.
△ Less
Submitted 18 October, 2017;
originally announced October 2017.
-
Algorithm guided outlining of 105 pancreatic cancer liver metastases in Ultrasound
Authors:
Alexander Hann,
Lucas Bettac,
Mark M. Haenle,
Tilmann Graeter,
Andreas W. Berger,
Jens Dreyhaupt,
Dieter Schmalstieg,
Wolfram G. Zoller,
Jan Egger
Abstract:
Manual segmentation of hepatic metastases in ultrasound images acquired from patients suffering from pancreatic cancer is common practice. Semiautomatic measurements promising assistance in this process are often assessed using a small number of lesions performed by examiners who already know the algorithm. In this work, we present the application of an algorithm for the segmentation of liver meta…
▽ More
Manual segmentation of hepatic metastases in ultrasound images acquired from patients suffering from pancreatic cancer is common practice. Semiautomatic measurements promising assistance in this process are often assessed using a small number of lesions performed by examiners who already know the algorithm. In this work, we present the application of an algorithm for the segmentation of liver metastases due to pancreatic cancer using a set of 105 different images of metastases. The algorithm and the two examiners had never assessed the images before. The examiners first performed a manual segmentation and, after five weeks, a semiautomatic segmentation using the algorithm. They were satisfied in up to 90% of the cases with the semiautomatic segmentation results. Using the algorithm was significantly faster and resulted in a median Dice similarity score of over 80%. Estimation of the inter-operator variability by using the intra class correlation coefficient was good with 0.8. In conclusion, the algorithm facilitates fast and accurate segmentation of liver metastases, comparable to the current gold standard of manual segmentation.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.
-
kIP: a Measured Approach to IPv6 Address Anonymization
Authors:
David Plonka,
Arthur Berger
Abstract:
Privacy-minded Internet service operators anonymize IPv6 addresses by truncating them to a fixed length, perhaps due to long-standing use of this technique with IPv4 and a belief that it's "good enough." We claim that simple anonymization by truncation is suspect since it does not entail privacy guarantees nor does it take into account some common address assignment practices observed today. To in…
▽ More
Privacy-minded Internet service operators anonymize IPv6 addresses by truncating them to a fixed length, perhaps due to long-standing use of this technique with IPv4 and a belief that it's "good enough." We claim that simple anonymization by truncation is suspect since it does not entail privacy guarantees nor does it take into account some common address assignment practices observed today. To investigate, with standard activity logs as input, we develop a counting method to determine a lower bound on the number of active IPv6 addresses that are simultaneously assigned, such as those of clients that access World-Wide Web services. In many instances, we find that these empirical measurements offer no evidence that truncating IPv6 addresses to a fixed number of bits, e.g., 48 in common practice, protects individuals' privacy.
To remedy this problem, we propose kIP anonymization, an aggregation method that ensures a certain level of address privacy. Our method adaptively determines variable truncation lengths using parameter k, the desired number of active (rather than merely potential) addresses, e.g., 32 or 256, that can not be distinguished from each other once anonymized. We describe our implementation and present first results of its application to millions of real IPv6 client addresses active over a week's time, demonstrating both feasibility at large scale and ability to automatically adapt to each network's address assignment practice and synthesize a set of anonymous aggregates (prefixes), each of which is guaranteed to cover (contain) at least k of the active addresses. Each address is anonymized by truncating it to the length of its longest matching prefix in that set.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Progressions and Paths in Colorings of $\mathbb Z$
Authors:
Aaron Berger
Abstract:
A $\textit{ladder}$ is a set $S \subseteq \mathbb Z^+$ such that any finite coloring of $\mathbb Z$ contains arbitrarily long monochromatic progressions with common difference in $S$. Van der Waerden's theorem famously asserts that $\mathbb Z^+$ itself is a ladder. We also discuss variants of ladders, namely $\textit{accessible}$ and $\textit{walkable}$ sets, which are sets $S$ such that any color…
▽ More
A $\textit{ladder}$ is a set $S \subseteq \mathbb Z^+$ such that any finite coloring of $\mathbb Z$ contains arbitrarily long monochromatic progressions with common difference in $S$. Van der Waerden's theorem famously asserts that $\mathbb Z^+$ itself is a ladder. We also discuss variants of ladders, namely $\textit{accessible}$ and $\textit{walkable}$ sets, which are sets $S$ such that any coloring of $\mathbb Z$ contains arbitrarily long (for accessible sets) or infinite (for walkable sets) monochromatic sequences with consecutive differences in $S$. We show that sets with upper density 1 are ladders and walkable. We also show that all directed graphs with infinite chromatic number are accessible, and reduce the bound on the walkability order of sparse sets from 3 to 2, making it tight.
△ Less
Submitted 5 June, 2017;
originally announced June 2017.
-
Best finite constrained approximations of one-dimensional probabilities
Authors:
Chuang Xu,
Arno Berger
Abstract:
This paper studies best finitely supported approximations of one-dimensional probability measures with respect to the $L^r$-Kantorovich (or transport) distance, where either the locations or the weights of the approximations' atoms are prescribed. Necessary and sufficient optimality conditions are established, and the rate of convergence (as the number of atoms goes to infinity) is discussed. In v…
▽ More
This paper studies best finitely supported approximations of one-dimensional probability measures with respect to the $L^r$-Kantorovich (or transport) distance, where either the locations or the weights of the approximations' atoms are prescribed. Necessary and sufficient optimality conditions are established, and the rate of convergence (as the number of atoms goes to infinity) is discussed. In view of emerging mathematical and statistical applications, special attention is given to the case of best uniform approximations (i.e., all atoms having equal weight). The approach developed in this paper is elementary; it is based on best approximations of (monotone) $L^r$-functions by step functions, and thus different from, yet naturally complementary to, the classical Voronoi partition approach.
△ Less
Submitted 5 March, 2019; v1 submitted 25 April, 2017;
originally announced April 2017.
-
The fading of Cassiopeia A, and improved models for the absolute spectrum of primary radio calibration sources
Authors:
A. S. Trotter,
D. E. Reichart,
R. E. Egger,
J. Stýblová,
M. L. Paggen,
J. R. Martin,
D. A. Dutton,
J. E. Reichart,
N. D. Kumar,
M. P. Maples,
B. N. Barlow,
T. A. Berger,
A. C. Foster,
N. R. Frank,
F. D. Ghigo,
J. B. Haislip,
S. A. Heatherly,
V. V. Kouprianov,
A. P. LaCluyzé,
D. A. Moffett,
J. P. Moore,
J. L. Stanley,
S. White
Abstract:
Based on five years of observations with the 40-foot telescope at Green Bank Observatory (GBO), Reichart & Stephens (2000) found that the radio source Cassiopeia A had either faded more slowly between the mid-1970s and late 1990s than Baars et al. (1977) had found it to be fading between the late 1940s and mid-1970s, or that it had rebrightened and then resumed fading sometime between the mid-1970…
▽ More
Based on five years of observations with the 40-foot telescope at Green Bank Observatory (GBO), Reichart & Stephens (2000) found that the radio source Cassiopeia A had either faded more slowly between the mid-1970s and late 1990s than Baars et al. (1977) had found it to be fading between the late 1940s and mid-1970s, or that it had rebrightened and then resumed fading sometime between the mid-1970s and mid-1990s, in L band (1.4 GHz). Here, we present 15 additional years of observations of Cas A and Cyg A with the 40-foot in L band, and three and a half additional years of observations of Cas A, Cyg A, Tau A, and Vir A with GBO's recently refurbished 20-meter telescope in L and X (9 GHz) bands. We also present a more sophisticated analysis of the 40-foot data, and a reanalysis of the Baars et al. (1977) data, which reveals small, but non-negligible differences. We find that overall, between the late 1950s and late 2010s, Cas A faded at an average rate of $0.670 \pm 0.019$ %/yr in L band, consistent with Reichart & Stephens (2000). However, we also find, at the 6.3$σ$ credible level, that it did not fade at a constant rate. Rather, Cas A faded at a faster rate through at least the late 1960s, rebrightened (or at least faded at a much slower rate), and then resumed fading at a similarly fast rate by, at most, the late 1990s. Given these differences from the original Baars et al. (1977) analysis, and given the importance of their fitted spectral and temporal models for flux-density calibration in radio astronomy, we update and improve on these models for all four of these radio sources. In doing so, we additionally find that Tau A is fading at a rate of $0.102^{+0.042}_{-0.043}$ %/yr in L band.
△ Less
Submitted 30 March, 2017;
originally announced April 2017.
-
The self-consistent Dyson equation and self-energy functionals: failure or new opportunities?
Authors:
Walter Tarantino,
Pina Romaniello,
J. A. Berger,
Lucia Reining
Abstract:
Perturbation theory using self-consistent Green's functions is one of the most widely used approaches to study many-body effects in condensed matter. On the basis of general considerations and by performing analytical calculations for the specific example of the Hubbard atom, we discuss some key features of this approach. We show that when the domain of the functionals that are used to realize the…
▽ More
Perturbation theory using self-consistent Green's functions is one of the most widely used approaches to study many-body effects in condensed matter. On the basis of general considerations and by performing analytical calculations for the specific example of the Hubbard atom, we discuss some key features of this approach. We show that when the domain of the functionals that are used to realize the map between the non-interacting and the interacting Green's functions is properly defined, there exists a class of self-energy functionals for which the self-consistent Dyson equation has only one solution, which is the physical one. We also show that manipulation of the perturbative expansion of the interacting Green's function may lead to a wrong self-energy as functional of the interacting Green's function, at least for some regions of the parameter space. These findings confirm and explain numerical results of Kozik et al. for the widely used skeleton series of Luttinger and Ward [Phys. Rev. Lett. 114, 156402]. Our study shows that it is important to distinguish between the maps between sets of functions and the functionals that realize those maps. We demonstrate that the self-consistent Green's functions approach itself is not problematic, whereas the functionals that are widely used may have a limited range of validity.
△ Less
Submitted 16 March, 2017;
originally announced March 2017.
-
Optical properties of periodic systems within the current-current response framework: pitfalls and remedies
Authors:
D. Sangalli,
A. Berger,
C. Attaccalite,
M. Gruning,
P. Romaniello
Abstract:
We compare the optical absorption of extended systems using the density-density and current-current linear response functions calculated within many-body perturbation theory. The two approaches are formally equivalent for a finite momentum $\mathbf{q}$ of the external perturbation. At $\mathbf{q}=\mathbf{0}$, however, the equivalence is maintained only if a small $q$ expansion of the density-densi…
▽ More
We compare the optical absorption of extended systems using the density-density and current-current linear response functions calculated within many-body perturbation theory. The two approaches are formally equivalent for a finite momentum $\mathbf{q}$ of the external perturbation. At $\mathbf{q}=\mathbf{0}$, however, the equivalence is maintained only if a small $q$ expansion of the density-density response function is used. Moreover, in practical calculations this equivalence can be lost if one naively extends the strategies usually employed in the density-based approach to the current-based approach. Specifically we discuss the use of a smearing parameter or of the quasiparticle lifetimes to describe the finite width of the spectral peaks and the inclusion of electron-hole interaction. In those instances we show that the incorrect definition of the velocity operator and the violation of the conductivity sum rule introduce unphysical features in the optical absorption spectra of three paradigmatic systems: silicon (semiconductor), copper (metal) and lithium fluoride (insulator). We then demonstrate how to correctly introduce lifetime effects and electron-hole interactions within the current-based approach.
△ Less
Submitted 23 January, 2017;
originally announced January 2017.
-
Inductive detection of field-like and dam**-like AC inverse spin-orbit torques in ferromagnet/normal metal bilayers
Authors:
Andrew J. Berger,
Eric R. J. Edwards,
Hans T. Nembach,
Alexy D. Karenowska,
Mathias Weiler,
Thomas J. Silva
Abstract:
Functional spintronic devices rely on spin-charge interconversion effects, such as the reciprocal processes of electric field-driven spin torque and magnetization dynamics-driven spin and charge flow. Both dam**-like and field-like spin-orbit torques have been observed in the forward process of current-driven spin torque and dam**-like inverse spin-orbit torque has been well-studied via spin p…
▽ More
Functional spintronic devices rely on spin-charge interconversion effects, such as the reciprocal processes of electric field-driven spin torque and magnetization dynamics-driven spin and charge flow. Both dam**-like and field-like spin-orbit torques have been observed in the forward process of current-driven spin torque and dam**-like inverse spin-orbit torque has been well-studied via spin pum** into heavy metal layers. Here we demonstrate that established microwave transmission spectroscopy of ferromagnet/normal metal bilayers under ferromagnetic resonance can be used to inductively detect the AC charge currents driven by the inverse spin-charge conversion processes. This technique relies on vector network analyzer ferromagnetic resonance (VNA-FMR) measurements. We show that in addition to the commonly-extracted spectroscopic information, VNA-FMR measurements can be used to quantify the magnitude and phase of all AC charge currents in the sample, including those due to spin pum** and spin-charge conversion. Our findings reveal that Ni$_{80}$Fe$_{20}$/Pt bilayers exhibit both dam**-like and field-like inverse spin-orbit torques. While the magnitudes of both the dam**-like and field-like inverse spin-orbit torque are of comparable scale to prior reported values for similar material systems, we observed a significant dependence of the dam**-like magnitude on the order of deposition. This suggests interface quality plays an important role in the overall strength of the dam**-like spin-to-charge conversion.
△ Less
Submitted 26 October, 2017; v1 submitted 17 November, 2016;
originally announced November 2016.
-
A unifying framework for fast randomization of ecological networks with fixed (node) degrees
Authors:
Corrie Jacobien Carstens,
Annabell Berger,
Giovanni Strona
Abstract:
The switching model is a Markov chain approach to sample graphs with fixed degree sequence uniformly at random. The recently invented Curveball algorithm for bipartite graphs applies several switches simultaneously (`trades'). Here, we introduce Curveball algorithms for simple (un)directed graphs which use single or simultaneous trades. We show experimentally that these algorithms converge magnitu…
▽ More
The switching model is a Markov chain approach to sample graphs with fixed degree sequence uniformly at random. The recently invented Curveball algorithm for bipartite graphs applies several switches simultaneously (`trades'). Here, we introduce Curveball algorithms for simple (un)directed graphs which use single or simultaneous trades. We show experimentally that these algorithms converge magnitudes faster than the corresponding switching models.
△ Less
Submitted 26 July, 2018; v1 submitted 16 September, 2016;
originally announced September 2016.
-
An Analogue of the Erdős-Ginzburg-Ziv Theorem over $\mathbb Z$
Authors:
Aaron Berger
Abstract:
Let $\mathcal S$ be a multiset of integers. We say $\mathcal S$ is a $\textit{zero-sum sequence}$ if the sum of its elements is 0. We study zero-sum sequences whose elements lie in the interval $[-k,k]$ such that no subsequence of length $t$ is also zero-sum. Given these restrictions, Augspurger, Minter, Shoukry, Sissokho, Voss show that there are arbitrarily long $t$-avoiding, $k$-bounded zero-su…
▽ More
Let $\mathcal S$ be a multiset of integers. We say $\mathcal S$ is a $\textit{zero-sum sequence}$ if the sum of its elements is 0. We study zero-sum sequences whose elements lie in the interval $[-k,k]$ such that no subsequence of length $t$ is also zero-sum. Given these restrictions, Augspurger, Minter, Shoukry, Sissokho, Voss show that there are arbitrarily long $t$-avoiding, $k$-bounded zero-sum sequences unless $t$ is divisible by $\mathrm{LCM}(2,3,4,\dots,2k-1)$. We confirm a conjecture of these authors that for $k$ and $t$ such that this divisibility condition holds, every zero-sum sequence of length at least $t+k^2-k$ contains a zero-sum subsequence of length $t$, and that this is the minimal length for which this property holds.
△ Less
Submitted 23 August, 2018; v1 submitted 14 August, 2016;
originally announced August 2016.
-
Sampling bipartite graphs with given vertex degrees and fixed edges and non-edges
Authors:
Annabell Berger
Abstract:
We consider the problem of sampling a bipartite graph with given vertex degrees where a set $F$ of edges and non-edges which need to be contained is predefined. Our general result shows that the repeated swap of edges and non-edges in alternating cycles of at most size $2\ell-2$ ('$j$-swaps' with $j \leq 2 \ell-2$) in a current graph lead to an ergodic Metropolis Markov chain whenever $F$ does not…
▽ More
We consider the problem of sampling a bipartite graph with given vertex degrees where a set $F$ of edges and non-edges which need to be contained is predefined. Our general result shows that the repeated swap of edges and non-edges in alternating cycles of at most size $2\ell-2$ ('$j$-swaps' with $j \leq 2 \ell-2$) in a current graph lead to an ergodic Metropolis Markov chain whenever $F$ does not contain a cycle of length $2 \ell$ with $\ell \geq 4.$ This leads to useful Markov chains whenever $\ell$ is not too large. If $F$ is a forest, $4$- and $6$-swaps are sufficient. Furthermore, we prove that $4$-swaps are sufficient when $F$ does not contain a matching of size $3.$ We extend the Curveball algorithm of Strona et al. \cite{Strona2014b} to our cases.
△ Less
Submitted 16 January, 2017; v1 submitted 10 August, 2016;
originally announced August 2016.
-
Weak de-localization in graphene on a ferromagnetic insulating film
Authors:
Luca Pietrobon,
Lorenzo Fallarino,
Andreas Berger,
Andrey Chuvilin,
Fèlix Casanova,
Luis E. Hueso
Abstract:
Graphene has been predicted to develop a magnetic moment by proximity effect when placed on a ferromagnetic film, a promise that could open exciting possibilities in the fields of spintronics and magnetic data recording. In this work, we study in detail the interplay between the magnetoresistance of graphene and the magnetization of an underlying ferromagnetic insulating film. A clear correlation…
▽ More
Graphene has been predicted to develop a magnetic moment by proximity effect when placed on a ferromagnetic film, a promise that could open exciting possibilities in the fields of spintronics and magnetic data recording. In this work, we study in detail the interplay between the magnetoresistance of graphene and the magnetization of an underlying ferromagnetic insulating film. A clear correlation between both magnitudes is observed but we find, through a careful modelling of the magnetization and the weak localization measurements, that such correspondence can be explained by the effects of the magnetic stray fields arising from the ferromagnetic insulator. Our results emphasize the complexity arising at the interface between magnetic and two-dimensional materials.
△ Less
Submitted 29 July, 2016;
originally announced July 2016.
-
Photoemission Spectra from Reduced Density Matrices: the Band Gap in Strongly Correlated Systems
Authors:
Stefano Di Sabatino,
J. A. Berger,
Lucia Reining,
Pina Romaniello
Abstract:
We present a method for the calculation of photoemission spectra in terms of reduced density matrices. We start from the spectral representation of the one-body Green's function G, whose imaginary part is related to photoemission spectra, and we introduce a frequency-dependent effective energy that accounts for all the poles of G. Simple approximations to this effective energy give accurate spectr…
▽ More
We present a method for the calculation of photoemission spectra in terms of reduced density matrices. We start from the spectral representation of the one-body Green's function G, whose imaginary part is related to photoemission spectra, and we introduce a frequency-dependent effective energy that accounts for all the poles of G. Simple approximations to this effective energy give accurate spectra in model systems in the weak as well as strong correlation regime. In real systems reduced density matrices can be obtained from reduced density-matrix functional theory. Here we use this approach to calculate the photoemission spectrum of bulk NiO: our method yields a qualitatively correct picture both in the antiferromagnetic and paramagnetic phases, contrary to mean-field methods, in which the paramagnet is a metal.
△ Less
Submitted 28 July, 2016;
originally announced July 2016.
-
Query Complexity of Mastermind Variants
Authors:
Aaron Berger,
Christopher Chute,
Matthew Stone
Abstract:
We study variants of Mastermind, a popular board game in which the objective is sequence reconstruction. In this two-player game, the so-called \textit{codemaker} constructs a hidden sequence $H = (h_1, h_2, \ldots, h_n)$ of colors selected from an alphabet $\mathcal{A} = \{1,2,\ldots, k\}$ (\textit{i.e.,} $h_i\in\mathcal{A}$ for all $i\in\{1,2,\ldots, n\}$). The game then proceeds in turns, each…
▽ More
We study variants of Mastermind, a popular board game in which the objective is sequence reconstruction. In this two-player game, the so-called \textit{codemaker} constructs a hidden sequence $H = (h_1, h_2, \ldots, h_n)$ of colors selected from an alphabet $\mathcal{A} = \{1,2,\ldots, k\}$ (\textit{i.e.,} $h_i\in\mathcal{A}$ for all $i\in\{1,2,\ldots, n\}$). The game then proceeds in turns, each of which consists of two parts: in turn $t$, the second player (the \textit{codebreaker}) first submits a query sequence $Q_t = (q_1, q_2, \ldots, q_n)$ with $q_i\in \mathcal{A}$ for all $i$, and second receives feedback $Δ(Q_t, H)$, where $Δ$ is some agreed-upon function of distance between two sequences with $n$ components. The game terminates when $Q_t = H$, and the codebreaker seeks to end the game in as few turns as possible. Throughout we let $f(n,k)$ denote the smallest integer such that the codebreaker can determine any $H$ in $f(n,k)$ turns. We prove three main results: First, when $H$ is known to be a permutation of $\{1,2,\ldots, n\}$, we prove that $f(n, n)\ge n - \log\log n$ for all sufficiently large $n$. Second, we show that Knuth's Minimax algorithm identifies any $H$ in at most $nk$ queries. Third, when feedback is not received until all queries have been submitted, we show that $f(n,k)=Ω(n\log k)$.
△ Less
Submitted 25 September, 2017; v1 submitted 15 July, 2016;
originally announced July 2016.
-
Entropy/IP: Uncovering Structure in IPv6 Addresses
Authors:
Pawel Foremski,
David Plonka,
Arthur Berger
Abstract:
In this paper, we introduce Entropy/IP: a system that discovers Internet address structure based on analyses of a subset of IPv6 addresses known to be active, i.e., training data, gleaned by readily available passive and active means. The system is completely automated and employs a combination of information-theoretic and machine learning techniques to probabilistically model IPv6 addresses. We p…
▽ More
In this paper, we introduce Entropy/IP: a system that discovers Internet address structure based on analyses of a subset of IPv6 addresses known to be active, i.e., training data, gleaned by readily available passive and active means. The system is completely automated and employs a combination of information-theoretic and machine learning techniques to probabilistically model IPv6 addresses. We present results showing that our system is effective in exposing structural characteristics of portions of the IPv6 Internet address space populated by active client, service, and router addresses.
In addition to visualizing the address structure for exploration, the system uses its models to generate candidate target addresses for scanning. For each of 15 evaluated datasets, we train on 1K addresses and generate 1M candidates for scanning. We achieve some success in 14 datasets, finding up to 40% of the generated addresses to be active. In 11 of these datasets, we find active network identifiers (e.g., /64 prefixes or `subnets') not seen in training. Thus, we provide the first evidence that it is practical to discover subnets and hosts by scanning probabilistically selected areas of the IPv6 address space not known to contain active hosts a priori.
△ Less
Submitted 21 November, 2016; v1 submitted 14 June, 2016;
originally announced June 2016.
-
Beyond Counting: New Perspectives on the Active IPv4 Address Space
Authors:
Philipp Richter,
Georgios Smaragdakis,
David Plonka,
Arthur Berger
Abstract:
In this study, we report on techniques and analyses that enable us to capture Internet-wide activity at individual IP address-level granularity by relying on server logs of a large commercial content delivery network (CDN) that serves close to 3 trillion HTTP requests on a daily basis. Across the whole of 2015, these logs recorded client activity involving 1.2 billion unique IPv4 addresses, the hi…
▽ More
In this study, we report on techniques and analyses that enable us to capture Internet-wide activity at individual IP address-level granularity by relying on server logs of a large commercial content delivery network (CDN) that serves close to 3 trillion HTTP requests on a daily basis. Across the whole of 2015, these logs recorded client activity involving 1.2 billion unique IPv4 addresses, the highest ever measured, in agreement with recent estimates. Monthly client IPv4 address counts showed constant growth for years prior, but since 2014, the IPv4 count has stagnated while IPv6 counts have grown. Thus, it seems we have entered an era marked by increased complexity, one in which the sole enumeration of active IPv4 addresses is of little use to characterize recent growth of the Internet as a whole.
With this observation in mind, we consider new points of view in the study of global IPv4 address activity. Our analysis shows significant churn in active IPv4 addresses: the set of active IPv4 addresses varies by as much as 25% over the course of a year. Second, by looking across the active addresses in a prefix, we are able to identify and attribute activity patterns to network restructurings, user behaviors, and, in particular, various address assignment practices. Third, by combining spatio-temporal measures of address utilization with measures of traffic volume, and sampling-based estimates of relative host counts, we present novel perspectives on worldwide IPv4 address activity, including empirical observation of under-utilization in some areas, and complete utilization, or exhaustion, in others.
△ Less
Submitted 9 September, 2016; v1 submitted 1 June, 2016;
originally announced June 2016.
-
The isomorphic version of Brualdies nestedness is in P
Authors:
Annabell Berger
Abstract:
The discrepancy BR for an $m \times n$ $0,1$-matrix from Brualdi and Sanderson \cite{Brualdi1998} counts the minimum number of $1$'s which need to be shifted in each row to the left to achieve its Ferrers matrix, i.e. each row consists of consecutive $1$'s followed by consecutive $0$'s. For ecological bipartite networks BR describes how nested a set of relationships is. Since different labeled mat…
▽ More
The discrepancy BR for an $m \times n$ $0,1$-matrix from Brualdi and Sanderson \cite{Brualdi1998} counts the minimum number of $1$'s which need to be shifted in each row to the left to achieve its Ferrers matrix, i.e. each row consists of consecutive $1$'s followed by consecutive $0$'s. For ecological bipartite networks BR describes how nested a set of relationships is. Since different labeled matrices can be isomorphic but possess different discrepancies, we define a metric determining the minimum discrepancy in an isomorphic class. We give a reduction to $k\leq n$ minimum weighted perfect matching problems.
△ Less
Submitted 16 January, 2017; v1 submitted 8 February, 2016;
originally announced February 2016.
-
Spatial evolution of the ferromagnetic phase transition in an exchange graded film
Authors:
B. J. Kirby,
H. F. Belliveau,
D. D. Belyea,
P. A. Kienzle,
A. J. Grutter,
P. Riego,
A. Berger,
Casey W. Miller
Abstract:
A combination of experiments and numerical modeling was used to study the spatial evolution of the ferromagnetic phase transition in a thin film engineered to have a smooth gradient in exchange strength. Mean-field simulations predict, and experiments confirm that a 100 nm Ni[x]Cu[1-x] alloy film with Ni concentration that varies by 9 % as a function of depth behaves predominantly as if comprised…
▽ More
A combination of experiments and numerical modeling was used to study the spatial evolution of the ferromagnetic phase transition in a thin film engineered to have a smooth gradient in exchange strength. Mean-field simulations predict, and experiments confirm that a 100 nm Ni[x]Cu[1-x] alloy film with Ni concentration that varies by 9 % as a function of depth behaves predominantly as if comprised of a continuum of uncoupled ferromagnetic layers with continuously varying Curie temperatures. A mobile boundary separating ordered and disordered regions emerges as temperature is increased. We demonstrate continuous control of the boundary position with temperature, and reversible control of the magnetically ordered sample volume with magnetic field.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
A Markov Jump Process for More Efficient Hamiltonian Monte Carlo
Authors:
Andrew B. Berger,
Mayur Mudigonda,
Michael R. DeWeese,
Jascha Sohl-Dickstein
Abstract:
In most sampling algorithms, including Hamiltonian Monte Carlo, transition rates between states correspond to the probability of making a transition in a single time step, and are constrained to be less than or equal to 1. We derive a Hamiltonian Monte Carlo algorithm using a continuous time Markov jump process, and are thus able to escape this constraint. Transition rates in a Markov jump process…
▽ More
In most sampling algorithms, including Hamiltonian Monte Carlo, transition rates between states correspond to the probability of making a transition in a single time step, and are constrained to be less than or equal to 1. We derive a Hamiltonian Monte Carlo algorithm using a continuous time Markov jump process, and are thus able to escape this constraint. Transition rates in a Markov jump process need only be non-negative. We demonstrate that the new algorithm leads to improved mixing for several example problems, both by evaluating the spectral gap of the Markov operator, and by computing autocorrelation as a function of compute time. We release the algorithm as an open source Python package.
△ Less
Submitted 11 October, 2015; v1 submitted 13 September, 2015;
originally announced September 2015.
-
Marathon: An open source software library for the analysis of Markov-Chain Monte Carlo algorithms
Authors:
Steffen Rechner,
Annabell Berger
Abstract:
In this paper, we consider the Markov-Chain Monte Carlo (MCMC) approach for random sampling of combinatorial objects. The running time of such an algorithm depends on the total mixing time of the underlying Markov chain and is unknown in general. For some Markov chains, upper bounds on this total mixing time exist but are too large to be applicable in practice. We try to answer the question, wheth…
▽ More
In this paper, we consider the Markov-Chain Monte Carlo (MCMC) approach for random sampling of combinatorial objects. The running time of such an algorithm depends on the total mixing time of the underlying Markov chain and is unknown in general. For some Markov chains, upper bounds on this total mixing time exist but are too large to be applicable in practice. We try to answer the question, whether the total mixing time is close to its upper bounds, or if there is a significant gap between them. In doing so, we present the software library marathon which is designed to support the analysis of MCMC based sampling algorithms. The main application of this library is to compute properties of so-called state graphs which represent the structure of Markov chains. We use marathon to investigate the quality of several bounding methods on four well-known Markov chains for sampling perfect matchings and bipartite graph realizations. In a set of experiments, we compute the total mixing time and several of its bounds for a large number of input instances. We find that the upper bound gained by the famous canonical path method is several magnitudes larger than the total mixing time and deteriorates with growing input size. In contrast, the spectral bound is found to be a precise approximation of the total mixing time.
△ Less
Submitted 14 September, 2016; v1 submitted 19 August, 2015;
originally announced August 2015.
-
Extended Power Method to Calculate Pre-Selectable Eigenvalues and Eigenstates
Authors:
Wolfgang A. Berger
Abstract:
The quantum mechanical expression relating two commuting operators is reformulated such that the power method (also called method of moments) for iteratively calculating eigenvalues and eigenvectors becomes applicable. The new iterative scheme thus obtained allows to pre-select a quantum number of one of the two commuting operators and then calculate a corresponding eigenvalue of the other operato…
▽ More
The quantum mechanical expression relating two commuting operators is reformulated such that the power method (also called method of moments) for iteratively calculating eigenvalues and eigenvectors becomes applicable. The new iterative scheme thus obtained allows to pre-select a quantum number of one of the two commuting operators and then calculate a corresponding eigenvalue of the other operator. The result is the common eigenvector of the eigenvalue pair. Among others the method may be used to calculate excited states, cope with degeneracy and/or accelerate convergence. Small example calculations are presented as a 'Proof-of-Concept' and to reveal some properties of the new method.
△ Less
Submitted 21 July, 2015;
originally announced July 2015.
-
Correlating spin transport and electrode magnetization in a graphene spin valve: simultaneous magnetic microscopy and non-local measurements
Authors:
Andrew J. Berger,
Michael R. Page,
Hua Wen,
Kathleen M. McCreary,
Vidya P. Bhallamudi,
Roland K. Kawakami,
P. Chris Hammel
Abstract:
Using simultaneous magnetic force microscopy (MFM) and transport measurements of a graphene spin valve, we correlate the non-local spin signal with the magnetization of the device electrodes. The imaged magnetization states corroborate the influence of each electrode within a one-dimensional spin transport model and provide evidence linking domain wall pinning to additional features in the transpo…
▽ More
Using simultaneous magnetic force microscopy (MFM) and transport measurements of a graphene spin valve, we correlate the non-local spin signal with the magnetization of the device electrodes. The imaged magnetization states corroborate the influence of each electrode within a one-dimensional spin transport model and provide evidence linking domain wall pinning to additional features in the transport signal.
△ Less
Submitted 17 July, 2015;
originally announced July 2015.
-
Temporal and Spatial Classification of Active IPv6 Addresses
Authors:
David Plonka,
Arthur Berger
Abstract:
There is striking volume of World-Wide Web activity on IPv6 today. In early 2015, one large Content Distribution Network handles 50 billion IPv6 requests per day from hundreds of millions of IPv6 client addresses; billions of unique client addresses are observed per month. Address counts, however, obscure the number of hosts with IPv6 connectivity to the global Internet. There are numerous address…
▽ More
There is striking volume of World-Wide Web activity on IPv6 today. In early 2015, one large Content Distribution Network handles 50 billion IPv6 requests per day from hundreds of millions of IPv6 client addresses; billions of unique client addresses are observed per month. Address counts, however, obscure the number of hosts with IPv6 connectivity to the global Internet. There are numerous address assignment and subnetting options in use; privacy addresses and dynamic subnet pools significantly inflate the number of active IPv6 addresses. As the IPv6 address space is vast, it is infeasible to comprehensively probe every possible unicast IPv6 address. Thus, to survey the characteristics of IPv6 addressing, we perform a year-long passive measurement study, analyzing the IPv6 addresses gleaned from activity logs for all clients accessing a global CDN.
The goal of our work is to develop flexible classification and measurement methods for IPv6, motivated by the fact that its addresses are not merely more numerous; they are different in kind. We introduce the notion of classifying addresses and prefixes in two ways: (1) temporally, according to their instances of activity to discern which addresses can be considered stable; (2) spatially, according to the density or sparsity of aggregates in which active addresses reside. We present measurement and classification results numerically and visually that: provide details on IPv6 address use and structure in global operation across the past year; establish the efficacy of our classification methods; and demonstrate that such classification can clarify dimensions of the Internet that otherwise appear quite blurred by current IPv6 addressing practices.
△ Less
Submitted 17 July, 2015; v1 submitted 26 June, 2015;
originally announced June 2015.
-
Computational Cost Reduction in Learned Transform Classifications
Authors:
Emerson Lopes Machado,
Cristiano Jacques Miosso,
Ricardo von Borries,
Murilo Coutinho,
Pedro de Azevedo Berger,
Thiago Marques,
Ricardo Pezzuol Jacobi
Abstract:
We present a theoretical analysis and empirical evaluations of a novel set of techniques for computational cost reduction of classifiers that are based on learned transform and soft-threshold. By modifying optimization procedures for dictionary and classifier training, as well as the resulting dictionary entries, our techniques allow to reduce the bit precision and to replace each floating-point m…
▽ More
We present a theoretical analysis and empirical evaluations of a novel set of techniques for computational cost reduction of classifiers that are based on learned transform and soft-threshold. By modifying optimization procedures for dictionary and classifier training, as well as the resulting dictionary entries, our techniques allow to reduce the bit precision and to replace each floating-point multiplication by a single integer bit shift. We also show how the optimization algorithms in some dictionary training methods can be modified to penalize higher-energy dictionaries. We applied our techniques with the classifier Learning Algorithm for Soft-Thresholding, testing on the datasets used in its original paper. Our results indicate it is feasible to use solely sums and bit shifts of integers to classify at test time with a limited reduction of the classification accuracy. These low power operations are a valuable trade off in FPGA implementations as they increase the classification throughput while decrease both energy consumption and manufacturing cost.
△ Less
Submitted 30 April, 2016; v1 submitted 25 April, 2015;
originally announced April 2015.
-
Linear independence of trigonometric numbers
Authors:
Arno Berger
Abstract:
Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\cos (πr_1)$, and $\cos (πr_2)$ to be rationally independent. Extending a classical fact sometimes attributed to I. Niven, the result even yields linear independence over larger number fields. The tools employed in the proof are applicable also in the case of more than tw…
▽ More
Given any two rational numbers $r_1$ and $r_2$, a necessary and sufficient condition is established for the three numbers $1$, $\cos (πr_1)$, and $\cos (πr_2)$ to be rationally independent. Extending a classical fact sometimes attributed to I. Niven, the result even yields linear independence over larger number fields. The tools employed in the proof are applicable also in the case of more than two trigonometric numbers. As an application, a complete classification is given of all planar triangles with rational angles and side lengths each containing at most one square root. Such a classification was hitherto known only in the special case of right triangles.
△ Less
Submitted 24 April, 2015;
originally announced April 2015.
-
Unphysical and Physical Solutions in Many-Body Theories: from Weak to Strong Correlation
Authors:
Adrian Stan,
Pina Romaniello,
Santiago Rigamonti,
Lucia Reining,
J. A. Berger
Abstract:
Many-body theory is largely based on self-consistent equations that are constructed in terms of the physical quantity of interest itself, for example the density. Therefore, the calculation of important properties such as total energies or photoemission spectra requires the solution of non-linear equations that have unphysical and physical solutions. In this work we show in which circumstances one…
▽ More
Many-body theory is largely based on self-consistent equations that are constructed in terms of the physical quantity of interest itself, for example the density. Therefore, the calculation of important properties such as total energies or photoemission spectra requires the solution of non-linear equations that have unphysical and physical solutions. In this work we show in which circumstances one runs into an unphysical solution, and we indicate how one can overcome this problem. Moreover, we solve the puzzle of when and why the interacting Green's function does not unambiguously determine the underlying system, given in terms of its potential, or non-interacting Green's function. Our results are general since they originate from the fundamental structure of the equations. The absorption spectrum of lithium fluoride is shown as one illustration, and observations in the literature for some widely used models are explained by our approach. Our findings apply to both the weak and strong-correlation regimes. For the strong-correlation regime we show that one cannot use the expressions that are obtained from standard perturbation theory, and we suggest a different approach that is exact in the limit of strong interaction.
△ Less
Submitted 21 April, 2015; v1 submitted 26 March, 2015;
originally announced March 2015.
-
Fully parameter-free calculation of optical spectra for insulators, semiconductors and metals from a simple polarization functional
Authors:
J. A. Berger
Abstract:
We present a fully parameter-free density-functional approach for the accurate description of optical absorption spectra of insulators, semiconductors and metals. We show that this can be achieved within time-dependent current-density-functional theory using a simple dynamical polarization functional. We derive this functional from physical principles that govern optical spectra. Our method is tru…
▽ More
We present a fully parameter-free density-functional approach for the accurate description of optical absorption spectra of insulators, semiconductors and metals. We show that this can be achieved within time-dependent current-density-functional theory using a simple dynamical polarization functional. We derive this functional from physical principles that govern optical spectra. Our method is truly predictive because not a single parameter is used. In particular, we do not use an \textit{ad-hoc} material-dependent broadening parameter to compare theory to experiment as is usually done. Our approach is numerically efficient; the cost equals that of a calculation within the random-phase approximation.
△ Less
Submitted 10 June, 2015; v1 submitted 1 March, 2015;
originally announced March 2015.
-
Most linear flows on $\mathbb{R}^d$ are Benford
Authors:
Arno Berger
Abstract:
A necessary and sufficient condition ("exponential nonresonance") is established for every signal obtained from a linear flow on $\mathbb{R}^d$ by means of a linear observable to either vanish identically or else exhibit a strong form of Benford's Law (logarithmic distribution of significant digits). The result extends and unifies all previously known (sufficient) conditions. Exponential nonresona…
▽ More
A necessary and sufficient condition ("exponential nonresonance") is established for every signal obtained from a linear flow on $\mathbb{R}^d$ by means of a linear observable to either vanish identically or else exhibit a strong form of Benford's Law (logarithmic distribution of significant digits). The result extends and unifies all previously known (sufficient) conditions. Exponential nonresonance is shown to be typical for linear flows, both from a topological and a measure-theoretical point of view.
△ Less
Submitted 21 January, 2015;
originally announced January 2015.
-
Spin transport enhancement by controlling the Ag growth in lateral spin valves
Authors:
Miren Isasa,
Estitxu Villamor,
Lorenzo Fallarino,
Olatz Idigoras,
Anna K. Suszka,
Christopher Tollan,
Andreas Berger,
Luis E. Hueso,
Fèlix Casanova
Abstract:
The role of the growth conditions in the spin transport properties of silver (Ag) have been studied by using lateral spin valve structures. By changing the deposition conditions of Ag from polycrystalline to epitaxial growth, we have observed a considerable enhancement of the spin diffusion length, from $λ_{Ag}$ = 449 $\pm$ 30 to 823 $\pm$ 59 nm. This study shows that diminishing the grain boundar…
▽ More
The role of the growth conditions in the spin transport properties of silver (Ag) have been studied by using lateral spin valve structures. By changing the deposition conditions of Ag from polycrystalline to epitaxial growth, we have observed a considerable enhancement of the spin diffusion length, from $λ_{Ag}$ = 449 $\pm$ 30 to 823 $\pm$ 59 nm. This study shows that diminishing the grain boundary contribution to the spin relaxation mechanism is an effective way to improve the spin diffusion length in metallic nanostructures.
△ Less
Submitted 15 October, 2014;
originally announced October 2014.
-
A versatile LabVIEW and FPGA-based scanned probe microscope for in-operando electronic device characterization
Authors:
Andrew J. Berger,
Michael R. Page,
Jan Jacob,
Justin R. Young,
Jim Lewis,
Lothar Wenzel,
Vidya P. Bhallamudi,
Ezekiel Johnston-Halperin,
Denis V. Pelekhov,
P. Chris Hammel
Abstract:
Understanding the complex properties of electronic and spintronic devices at the micro- and nano-scale is a topic of intense current interest as it becomes increasingly important for scientific progress and technological applications. In-operando characterization of such devices by scanned probe techniques is particularly well-suited for the microscopic study of these properties. We have developed…
▽ More
Understanding the complex properties of electronic and spintronic devices at the micro- and nano-scale is a topic of intense current interest as it becomes increasingly important for scientific progress and technological applications. In-operando characterization of such devices by scanned probe techniques is particularly well-suited for the microscopic study of these properties. We have developed a scanned probe microscope (SPM) which is capable of both standard force imaging (atomic, magnetic, electrostatic) and simultaneous electrical transport measurements. We utilize flexible and inexpensive FPGA (field programmable gate array) hardware and a custom software framework developed in National Instrument's LabVIEW environment to perform the various aspects of microscope operation and device measurement. The FPGA-based approach enables sensitive, real-time cantilever frequency-shift detection. Using this system, we demonstrate electrostatic force microscopy of an electrically-biased graphene FET device. The combination of SPM and electrical transport also enables imaging of the transport response to a localized perturbation provided by the scanned cantilever tip. Facilitated by the broad presence of LabVIEW in the experimental sciences and the openness of our software solution, our system permits a wide variety of combined scanning and transport measurements by providing standardized interfaces and flexible access to all aspects of a measurement (input and output signals, and processed data). Our system also enables precise control of timing (synchronization of scanning and transport operations) and implementation of sophisticated feedback protocols, and thus should be broadly interesting and useful to practitioners in the field.
△ Less
Submitted 1 October, 2014;
originally announced October 2014.
-
Reduced Density-Matrix Functional Theory: correlation and spectroscopy
Authors:
Stefano Di Sabatino,
Jan A. Berger,
Lucia Reining,
Pina Romaniello
Abstract:
In this work we explore the performance of approximations to electron correlation in reduced density-matrix functional theory (RDMFT) and of approximations to the observables calculated within this theory. Our analysis focuses on the calculation of total energies, occupation numbers, removal/addition energies, and spectral functions. We use the exactly solvable Hubbard molecule at 1/4 and 1/2 fill…
▽ More
In this work we explore the performance of approximations to electron correlation in reduced density-matrix functional theory (RDMFT) and of approximations to the observables calculated within this theory. Our analysis focuses on the calculation of total energies, occupation numbers, removal/addition energies, and spectral functions. We use the exactly solvable Hubbard molecule at 1/4 and 1/2 filling as test systems. This allows us to analyze the underlying physics and to elucidate the origin of the observed trends. For comparison we also report the results of the $GW$ approximation, where the self-energy functional is approximated, but no further hypothesis are made concerning the approximations of the observables. In particular we focus on the atomic limit, where the two sites of the molecule are pulled apart and electrons localize on either site with equal probability, unless a small perturbation is present: this is the regime of strong electron correlation. In this limit, using the Hubbard molecule at 1/2 filling with or without a spin-symmetry-broken ground state, allows us to explore how degeneracies and spin-symmetry breaking are treated in RDMFT. We find that, within the used approximations, neither in RDMFT nor in $GW$ the signature of strong correlation are present in the spin-singlet ground state, whereas both give the exact result for the spin-symmetry broken case. Moreover we show how the spectroscopic properties change from one spin structure to the other. Our findings can be generalized to other situations, which allows us to make connections to real materials and experiment.
△ Less
Submitted 25 February, 2015; v1 submitted 3 September, 2014;
originally announced September 2014.
-
A characterization of Benford's Law in discrete-time linear systems
Authors:
Arno Berger,
Gideon Eshun
Abstract:
A necessary and sufficient condition ("nonresonance") is established for every solution of an autonomous linear difference equation, or more generally for every sequence $(x^\top A^n y)$ with $x,y\in \mathbb{R}^d$ and $A\in \mathbb{R}^{d\times d}$, to be either trivial or else conform to a strong form of Benford's Law (logarithmic distribution of significands). This condition contains all pertinen…
▽ More
A necessary and sufficient condition ("nonresonance") is established for every solution of an autonomous linear difference equation, or more generally for every sequence $(x^\top A^n y)$ with $x,y\in \mathbb{R}^d$ and $A\in \mathbb{R}^{d\times d}$, to be either trivial or else conform to a strong form of Benford's Law (logarithmic distribution of significands). This condition contains all pertinent results in the literature as special cases. Its number-theoretical implications are discussed in the context of specific examples, and so are its possible extensions and modifications.
△ Less
Submitted 22 July, 2014;
originally announced July 2014.
-
Energy Efficient and Reliable Wireless Sensor Networks - An Extension to IEEE 802.15.4e
Authors:
Achim Berger,
Markus Pichler,
Werner Haslmayr,
Andreas Springer
Abstract:
Collecting sensor data in industrial environments from up to some tenth of battery powered sensor nodes with sampling rates up to 100Hz requires energy aware protocols, which avoid collisions and long listening phases. The IEEE 802.15.4 standard focuses on energy aware wireless sensor networks (WSNs) and the Task Group 4e has published an amendment to fulfill up to 100 sensor value transmissions p…
▽ More
Collecting sensor data in industrial environments from up to some tenth of battery powered sensor nodes with sampling rates up to 100Hz requires energy aware protocols, which avoid collisions and long listening phases. The IEEE 802.15.4 standard focuses on energy aware wireless sensor networks (WSNs) and the Task Group 4e has published an amendment to fulfill up to 100 sensor value transmissions per second per sensor node (Low Latency Deterministic Network (LLDN) mode) to satisfy demands of factory automation. To improve the reliability of the data collection in the star topology of the LLDN mode, we propose a relay strategy, which can be performed within the LLDN schedule. Furthermore we propose an extension of the star topology to collect data from two-hop sensor nodes. The proposed Retransmission Mode enables power savings in the sensor node of more than 33%, while reducing the packet loss by up to 50%. To reach this performance, an optimum spatial distribution is necessary, which is discussed in detail.
△ Less
Submitted 6 June, 2014;
originally announced June 2014.
-
Broder's Chain Is Not Rapidly Mixing
Authors:
Annabell Berger,
Steffen Rechner
Abstract:
We prove that Broder's Markov chain for approximate sampling near-perfect and perfect matchings is not rapidly mixing for Hamiltonian, regular, threshold and planar bipartite graphs, filling a gap in the literature. In the second part we experimentally compare Broder's chain with the Markov chain by Jerrum, Sinclair and Vigoda from 2004. For the first time, we provide a systematic experimental inv…
▽ More
We prove that Broder's Markov chain for approximate sampling near-perfect and perfect matchings is not rapidly mixing for Hamiltonian, regular, threshold and planar bipartite graphs, filling a gap in the literature. In the second part we experimentally compare Broder's chain with the Markov chain by Jerrum, Sinclair and Vigoda from 2004. For the first time, we provide a systematic experimental investigation of mixing time bounds for these Markov chains. We observe that the exact total mixing time is in many cases significantly lower than known upper bounds using canonical path or multicommodity flow methods, even if the structure of an underlying state graph is known. In contrast we observe comparatively tighter upper bounds using spectral gaps.
△ Less
Submitted 16 April, 2014;
originally announced April 2014.
-
The Evolution of Writhe in Kink-Unstable Flux Ropes and Erupting Filaments
Authors:
Tibor Torok,
Bernhard Kliem,
Mitchell A. Berger,
Mark G. Linton,
Pascal Demoulin,
Lidia van Driel-Gesztelyi
Abstract:
The helical kink instability of a twisted magnetic flux tube has been suggested as a trigger mechanism for solar filament eruptions and coronal mass ejections (CMEs). In order to investigate if estimations of the pre-eruptive twist can be obtained from observations of writhe in such events, we quantitatively analyze the conversion of twist into writhe in the course of the instability, using numeri…
▽ More
The helical kink instability of a twisted magnetic flux tube has been suggested as a trigger mechanism for solar filament eruptions and coronal mass ejections (CMEs). In order to investigate if estimations of the pre-eruptive twist can be obtained from observations of writhe in such events, we quantitatively analyze the conversion of twist into writhe in the course of the instability, using numerical simulations. We consider the line tied, cylindrically symmetric Gold-Hoyle flux rope model and measure the writhe using the formulae by Berger and Prior which express the quantity as a single integral in space. We find that the amount of twist converted into writhe does not simply scale with the initial flux rope twist, but depends mainly on the growth rates of the instability eigenmodes of higher longitudinal order than the basic mode. The saturation levels of the writhe, as well as the shapes of the kinked flux ropes, are very similar for considerable ranges of initial flux rope twists, which essentially precludes estimations of pre-eruptive twist from measurements of writhe. However, our simulations suggest an upper twist limit of $\sim 6π$ for the majority of filaments prior to their eruption.
△ Less
Submitted 6 March, 2014;
originally announced March 2014.
-
Off-Resonant Manipulation of Spins in Diamond via Precessing Magnetization of a Proximal Ferromagnet
Authors:
Chris S. Wolfe,
Vidya P. Bhallamudi,
Hilong L. Wang,
Chunhui H. Du,
Sergei Manuilov,
Andrew J. Berger,
Rohan Adur,
Fengyuan Y. Yang,
P. Chris Hammel
Abstract:
We report the manipulation of nitrogen vacancy (NV) spins in diamond when nearby ferrimagnetic insulator, yttrium iron garnet, is driven into precession. The change in NV spin polarization, as measured by changes in photoluminescence, is comparable in magnitude to that from conventional optically detected magnetic resonance, but relies on a distinct mechanism as it occurs at a microwave frequency…
▽ More
We report the manipulation of nitrogen vacancy (NV) spins in diamond when nearby ferrimagnetic insulator, yttrium iron garnet, is driven into precession. The change in NV spin polarization, as measured by changes in photoluminescence, is comparable in magnitude to that from conventional optically detected magnetic resonance, but relies on a distinct mechanism as it occurs at a microwave frequency far removed from the magnetic resonance frequency of the NV spin. This observation presents a new approach to transferring ferromagnetic spin information into a paramagnet and then transducing the response into a robust optical signal. It also opens new avenues for studying ferromagnetism and spin transport at the nanoscale.
△ Less
Submitted 3 March, 2014;
originally announced March 2014.
-
Magnetization dynamics of cobalt grown on graphene
Authors:
A. J. Berger,
W. Amamou,
S. P. White,
R. Adur,
Y. Pu,
R. K. Kawakami,
P. C. Hammel
Abstract:
Ferromagnetic resonance (FMR) spin pum** is a rapidly growing field which has demonstrated promising results in a variety of material systems. This technique utilizes the resonant precession of magnetization in a ferromagnet to inject spin into an adjacent non-magnetic material. Spin pum** into graphene is attractive on account of its exceptional spin transport properties. This article reports…
▽ More
Ferromagnetic resonance (FMR) spin pum** is a rapidly growing field which has demonstrated promising results in a variety of material systems. This technique utilizes the resonant precession of magnetization in a ferromagnet to inject spin into an adjacent non-magnetic material. Spin pum** into graphene is attractive on account of its exceptional spin transport properties. This article reports on FMR characterization of cobalt grown on CVD graphene and examines the validity of linewidth broadening as an indicator of spin pum**. In comparison to cobalt samples without graphene, direct contact cobalt-on-graphene exhibits increased FMR linewidth--an often used signature of spin pum**. Similar results are obtained in Co/MgO/graphene structures, where a 1nm MgO layer acts as a tunnel barrier. However, SQUID, MFM, and Kerr microscopy measurements demonstrate increased magnetic disorder in cobalt grown on graphene, perhaps due to changes in the growth process and an increase in defects. This magnetic disorder may account for the observed linewidth enhancement due to effects such as two-magnon scattering or mosaicity. As such, it is not possible to conclude successful spin injection into graphene from FMR linewidth measurements alone.
△ Less
Submitted 6 November, 2013;
originally announced November 2013.
-
Observation of Pure Spin Transport in a Diamond Spin Wire
Authors:
J. Cardellino,
N. Scozzaro,
M. R. Herman,
A. J. Berger,
C. Zhang,
K. C. Fong,
C. Jayaprakash,
D. V. Pelekhov,
P. C. Hammel
Abstract:
Spin transport electronics - spintronics - focuses on utilizing electron spin as a state variable for quantum and classical information processing and storage. Some insulating materials, such as diamond, offer defect centers whose associated spins are well-isolated from their environment giving them long coherence times; however, spin interactions are important for transport, entanglement, and rea…
▽ More
Spin transport electronics - spintronics - focuses on utilizing electron spin as a state variable for quantum and classical information processing and storage. Some insulating materials, such as diamond, offer defect centers whose associated spins are well-isolated from their environment giving them long coherence times; however, spin interactions are important for transport, entanglement, and read-out. Here, we report direct measurement of pure spin transport - free of any charge motion - within a nanoscale quasi 1D 'spin wire', and find a spin diffusion length ~ 700 nm. We exploit the statistical fluctuations of a small number of spins ($\sqrt{N}$ < 100 net spins) which are in thermal equilibrium and have no imposed polarization gradient. The spin transport proceeds by means of magnetic dipole interactions that induce flip-flop transitions, a mechanism that can enable highly efficient, even reversible, pure spin currents. To further study the dynamics within the spin wire, we implement a magnetic resonance protocol that improves spatial resolution and provides nanoscale spectroscopic information which confirms the observed spin transport. This spectroscopic tool opens a potential route for spatially encoding spin information in long-lived nuclear spin states. Our measurements probe intrinsic spin dynamics at the nanometre scale, providing detailed insight needed for practical devices which seek to control spin.
△ Less
Submitted 8 January, 2014; v1 submitted 12 September, 2013;
originally announced September 2013.
-
Long-range FMR driven spin pum** through a nonmagnetic insulator
Authors:
Y. Pu,
H. L. Wang,
C. H. Du,
R. Adur,
A. J. Berger,
A. Hauser,
R. E. A. Williams,
D. W. McComb,
E. Johnston-Halperin,
P. C. Hammel,
F. Y. Yang
Abstract:
Ferromagnetic resonance (FMR) driven spin pum** is an emerging technique for injection of a pure spin current from a ferromagnet (FM) into a non-magnetic (NM) material without an accompanying charge current. It is widely believed that this pum** proceeds exclusively via a short-range exchange interaction at the FM/NM interface. Here we report robust, long-range spin pum** from the ferrimagne…
▽ More
Ferromagnetic resonance (FMR) driven spin pum** is an emerging technique for injection of a pure spin current from a ferromagnet (FM) into a non-magnetic (NM) material without an accompanying charge current. It is widely believed that this pum** proceeds exclusively via a short-range exchange interaction at the FM/NM interface. Here we report robust, long-range spin pum** from the ferrimagnetic double perovskite Sr2FeMoO6 (SFMO) into Pt across an insulating barrier up to 200 nm thick, and systematically rule out all known spurious effects. This result demonstrates dynamic spin injection over a distance far beyond the coupling range of the exchange interaction, exposing the need to consider other coupling mechanisms. The characteristic length scale for magnetic textures in Sr2FeMoO6 is approximately 150 nm, resulting from structural antiphase boundaries, thus raising the possibility that magnetic dipole coupling underlies the observed long range spin transfer. This discovery reveals a route to dynamic angular momentum transfer between a FM and a NM in the absence of mediation by itinerant electrons and promises new spin-functional devices employing long-range spin pum**.
△ Less
Submitted 2 April, 2014; v1 submitted 14 May, 2013;
originally announced May 2013.
-
The Connection between the Number of Realizations for Degree Sequences and Majorization
Authors:
Annabell Berger
Abstract:
The \emph{graph realization problem} is to find for given nonnegative integers $a_1,\dots,a_n$ a simple graph (no loops or multiple edges) such that each vertex $v_i$ has degree $a_i.$ Given pairs of nonnegative integers $(a_1,b_1),\dots,(a_n,b_n),$ (i) the \emph{bipartite realization problem} ask whether there is a bipartite graph (no loops or multiple edges) such that vectors $(a_1,...,a_n)$ and…
▽ More
The \emph{graph realization problem} is to find for given nonnegative integers $a_1,\dots,a_n$ a simple graph (no loops or multiple edges) such that each vertex $v_i$ has degree $a_i.$ Given pairs of nonnegative integers $(a_1,b_1),\dots,(a_n,b_n),$ (i) the \emph{bipartite realization problem} ask whether there is a bipartite graph (no loops or multiple edges) such that vectors $(a_1,...,a_n)$ and $(b_1,...,b_n)$ correspond to the lists of degrees in the two partite sets, (ii) the \emph{digraph realization problem} is to find a digraph (no loops or multiple arcs) such that each vertex $v_i$ has indegree $a_i$ and outdegree $b_i.$\\ The classic literature provides characterizations for the existence of such realizations that are strongly related to the concept of majorization. Aigner and Triesch (1994) extended this approach to a more general result for graphs, leading to an efficient realization algorithm and a short and simple proof for the Erdős-Gallai Theorem. We extend this approach to the bipartite realization problem and the digraph realization problem.\\ Our main result is the connection between majorization and the number of realizations for a degree list in all three problems. We show: if degree list $S'$ majorizes $S$ in a certain sense, then $S$ possesses more realizations than $S'.$ We prove that constant lists possess the largest number of realizations for fixed $n$ and a fixed number of arcs $m$ when $n$ divides $m.$ So-called \emph{minconvex lists} for graphs and bipartite graphs or \emph{opposed minconvex lists} for digraphs maximize the number of realizations when $n$ does not divide $m$.
△ Less
Submitted 1 July, 2014; v1 submitted 21 December, 2012;
originally announced December 2012.
-
The Build-up to Eruptive Solar Events Viewed as the Development of Chiral Systems
Authors:
Sara F. Martin,
Olga Panasenco,
Mitchell A. Berger,
Oddbjorn Engvold,
Yong Lin,
Alexei A. Pevtsov,
Nandita Srivastava
Abstract:
When we examine the chirality or observed handedness of the chromospheric and coronal structures involved in the long-term build-up to eruptive events, we find that they evolve in very specific ways to form two and only two sets of large-scale chiral systems. Each system contains spatially separated components with both signs of chirality, the upper portion having negative (positive) chirality and…
▽ More
When we examine the chirality or observed handedness of the chromospheric and coronal structures involved in the long-term build-up to eruptive events, we find that they evolve in very specific ways to form two and only two sets of large-scale chiral systems. Each system contains spatially separated components with both signs of chirality, the upper portion having negative (positive) chirality and the lower part possessing positive (negative) chirality. The components within a system are a filament channel (represented partially by sets of chromospheric fibrils), a filament (if present), a filament cavity, sometimes a sigmoid, and always an overlying arcade of coronal loops. When we view these components as parts of large-scale chiral systems, we more clearly see that it is not the individual components of chiral systems that erupt but rather it is the approximate upper parts of an entire evolving chiral system that erupts. We illustrate the typical pattern of build-up to eruptive solar events first without and then including the chirality in each stage of the build-up. We argue that a complete chiral system has one sign of handedness above the filament spine and the opposite handedness in the barbs and filament channel below the filament spine. If the spine has handedness, the observations favor its having the handedness of the filament cavity and coronal loops above. As the separate components of a chiral system form, we show that the system appears to maintain a balance of right-handed and left-handed features, thus preserving an initial near-zero net helicity. Each individual chiral system may produce many successive eruptive events above a single filament channel.
△ Less
Submitted 14 December, 2012;
originally announced December 2012.
-
Experimental Demonstration Of Scanned Spin-Precession Microscopy
Authors:
V. P. Bhallamudi,
C. S. Wolfe,
V. P. Amin,
D. E. Labanowski,
A. J. Berger,
D. Stroud,
J. Sinova,
P. C. Hammel
Abstract:
Progress in spintronics has been aided by characterization tools tailored to certain archetypical materials. New device structures and materials will require characterization tools that are material independent, provide sufficient resolution to image locally-varying spin properties and enable subsurface imaging. Here we report the demonstration of a novel spin-microscopy tool based on the variatio…
▽ More
Progress in spintronics has been aided by characterization tools tailored to certain archetypical materials. New device structures and materials will require characterization tools that are material independent, provide sufficient resolution to image locally-varying spin properties and enable subsurface imaging. Here we report the demonstration of a novel spin-microscopy tool based on the variation of a global spin-precession signal in response to the localized magnetic field of a scanned probe. We map the local spin density in optically pumped GaAs from this spatially-averaged signal with a resolution of 5.5 microns. This methodology is also applicable to other spin properties and its resolution can be improved. It can extend spin microscopy to device structures not accessible by other techniques, such as buried interfaces and non-optically active materials, due to the universal nature of magnetic interactions between the spins and the probe.
△ Less
Submitted 29 November, 2012;
originally announced November 2012.
-
Giant and reversible extrinsic magnetocaloric effects in La0.7Ca0.3MnO3 films due to strain
Authors:
X. Moya,
L. E. Hueso,
F. Maccherozzi,
A. I. Tovstolytkin,
D. I. Podyalovskii,
C. Ducati,
L. C. Phillips,
M. Ghidini,
O. Hovorka,
A. Berger,
M. E. Vickers,
E. Defaÿ,
S. S. Dhesi,
N. D. Mathur
Abstract:
Large thermal changes driven by a magnetic field have been proposed for environmentally friendly energy efficient refrigeration, but only a few materials which suffer hysteresis show these giant magnetocaloric effects. Here we create giant and reversible extrinsic magnetocaloric effects in epitaxial films of the ferromagnetic manganite La0.7Ca0.3MnO3 using strain mediated feedback from BaTiO3 subs…
▽ More
Large thermal changes driven by a magnetic field have been proposed for environmentally friendly energy efficient refrigeration, but only a few materials which suffer hysteresis show these giant magnetocaloric effects. Here we create giant and reversible extrinsic magnetocaloric effects in epitaxial films of the ferromagnetic manganite La0.7Ca0.3MnO3 using strain mediated feedback from BaTiO3 substrates near a first-order structural phase transition. Our findings should inspire the discovery of giant magnetocaloric effects in a wide range of magnetic materials, and the parallel development of nanostructured bulk samples for practical applications.
△ Less
Submitted 28 September, 2012;
originally announced September 2012.
-
How to Attack the NP-complete Dag Realization Problem in Practice
Authors:
Annabell Berger,
Matthias Müller-Hannemann
Abstract:
We study the following fundamental realization problem of directed acyclic graphs (dags). Given a sequence S:=(a_1,b_1),...,(a_n, b_n) with a_i, b_i in Z_0^+, does there exist a dag (no parallel arcs allowed) with labeled vertex set V:= {v_1,...,v_n} such that for all v_i in V indegree and outdegree of v_i match exactly the given numbers a_i and b_i, respectively? Recently this decision problem ha…
▽ More
We study the following fundamental realization problem of directed acyclic graphs (dags). Given a sequence S:=(a_1,b_1),...,(a_n, b_n) with a_i, b_i in Z_0^+, does there exist a dag (no parallel arcs allowed) with labeled vertex set V:= {v_1,...,v_n} such that for all v_i in V indegree and outdegree of v_i match exactly the given numbers a_i and b_i, respectively? Recently this decision problem has been shown to be NP-complete by Nichterlein (2011). However, we can show that several important classes of sequences are efficiently solvable.
In previous work (Berger and Mueller-Hannemann, FCT2011), we have proved that yes-instances always have a special kind of topological order which allows us to reduce the number of possible topological orderings in most cases drastically. This leads to an exact exponential-time algorithm which significantly improves upon a straightforward approach. Moreover, a combination of this exponential-time algorithm with a special strategy gives a linear-time algorithm. Interestingly, in systematic experiments we observed that we could solve a huge majority of all instances by the linear-time heuristic. This motivates us to develop characteristics like dag density and "distance to provably easy sequences" which can give us an indicator how easy or difficult a given sequence can be realized.
Furthermore, we propose a randomized algorithm which exploits our structural insight on topological sortings and uses a number of reduction rules. We observe that it clearly outperforms all other variants and behaves surprisingly well for almost all instances. Another striking observation is that our simple linear-time algorithm solves a set of real-world instances from different domains, namely ordered binary decision diagrams (OBDDs), train and flight schedules, as well as instances derived from food-web networks without any exception.
△ Less
Submitted 16 March, 2012;
originally announced March 2012.
-
Domain - wall - induced magnetoresistance in pseudo spin-valve/superconductor hybrid structures
Authors:
A. K. Suszka,
F. S. Bergeret,
A. Berger
Abstract:
We have studied the interaction between magnetism and superconductivity in a pseudo-spin-valve structure consisting of a Co/Cu/Py/Nb layer sequence. We are able to control the magnetization reversal process and monitor it by means of the giant magnetoresistance effect during transport measurements. By placing the superconducting Nb-film on the top of the permalloy (Py) electrode instead of putting…
▽ More
We have studied the interaction between magnetism and superconductivity in a pseudo-spin-valve structure consisting of a Co/Cu/Py/Nb layer sequence. We are able to control the magnetization reversal process and monitor it by means of the giant magnetoresistance effect during transport measurements. By placing the superconducting Nb-film on the top of the permalloy (Py) electrode instead of putting it in between the two ferromagnets, we minimize the influence of spin scattering or spin accumulation onto the transport properties of Nb. Magnetotransport data reveal clear evidence that the stray fields of domain walls (DWs) in the pseudo-spin-valve influence the emerging superconductivity close to the transition temperature by the occurrence of peak-like features in the magneto-resistance characteristic. Direct comparison with magnetometry data shows that the resistance peaks occur exactly at the magnetization reversal fields of the Co and Py layers, where DWs are generated. For temperatures near the superconducting transition the amplitude of the DW-induced magnetoresistance increases with decreasing temperature, reaching values far beyond the size of the giant magnetoresistive response of our structure in the normal state.
△ Less
Submitted 3 February, 2012;
originally announced February 2012.
-
The flow of forces through cellular materials
Authors:
Mitchell A. Berger
Abstract:
Describing and measuring the elastic properties of cellular materials such as honeycombs and foams can be a difficult problem when the cell structure is disordered. This paper suggests that tracking the flow of forces through the material can help in visualizing and understanding how the geometry of the cell structure affects the elastic behaviour. The mean strain tensor for a sample of material c…
▽ More
Describing and measuring the elastic properties of cellular materials such as honeycombs and foams can be a difficult problem when the cell structure is disordered. This paper suggests that tracking the flow of forces through the material can help in visualizing and understanding how the geometry of the cell structure affects the elastic behaviour. The mean strain tensor for a sample of material can be calculated by summing over the force paths, weighted by the strengths of the paths. This method emphasizes the paths with the greatest stress, which can have the most dynamic effect. The path averaging technique reproduces previous expressions for the Poisson's ratio of regular honeycombs, but easily extends to disordered honeycombs and foams.
△ Less
Submitted 25 March, 2012; v1 submitted 11 January, 2012;
originally announced January 2012.
-
A Note on the Characterization of Digraph Sequences
Authors:
Annabell Berger
Abstract:
We consider the following fundamental realization problem of directed graphs. Given a sequence $S:={a_1 \choose b_1},\dots,{a_n \choose b_n}$ with $a_i,b_i\in \mathbb{Z}_0^+.$ Does there exist a digraph (no loops and no parallel arcs are allowed)$G=(V,A)$ with a labeled vertex set $V:=\{v_1,\dots,v_n\}$ such that for all $v_i \in V$ indegree and outdegree of $v_i$ match exactly the given numbers…
▽ More
We consider the following fundamental realization problem of directed graphs. Given a sequence $S:={a_1 \choose b_1},\dots,{a_n \choose b_n}$ with $a_i,b_i\in \mathbb{Z}_0^+.$ Does there exist a digraph (no loops and no parallel arcs are allowed)$G=(V,A)$ with a labeled vertex set $V:=\{v_1,\dots,v_n\}$ such that for all $v_i \in V$ indegree and outdegree of $v_i$ match exactly the given numbers $a_i$ and $b_i$, respectively? There exist two known approaches solving this problem in polynomial running time. One first approach of Kleitman and Wang (1973) uses recursive algorithms to construct digraph realizations \cite{KleitWang:73}. The second one draws back into the Fifties and Sixties of the last century and gives a complete characterization of digraph sequences (Gale 1957, Fulkerson 1960, Ryser 1957, Chen 1966). That is, one has only to validate a certain number of inequalities. Chen bounded this number by $n$. His characterization demands the property that $S$ has to be in lexicographical order. We show that this condition is stronger than necessary. We provide a new characterization which is formally analogous to the classical one by Erd{\H o}s and Gallai (1960) for graphs. Hence, we can give several, different sets of $n$ inequalities. We think that this stronger result can be very important with respect to structural insights about the sets of digraph sequences, for example in the context of threshold sequences. Furthermore, the number of inequalities can be restricted to all $k \in \{1,\dots,n-1\}$ with $a_{k+1}>a_{k}$ and to $k=n.$ An analogous result for graphs was given by Tripathi and Vijay \cite{TripathiVijay03}. We prove this property also for the case of digraphs (no parallel arcs) with at most one loop per vertex.
△ Less
Submitted 17 September, 2013; v1 submitted 6 December, 2011;
originally announced December 2011.