-
Bernstein duality revisited: frequency-dependent selection, coordinated mutation and opposing environments
Authors:
Fernando Cordero,
Sebastian Hummel,
Grégoire Véchambre
Abstract:
Population models usually come in pairs; one process describes forward evolution (e.g. type composition) and the other describes backward evolution (e.g. lines of descent). These processes are often linked by a formal relationship known as duality. Ideally, one of the two processes is easier to analyze, and the duality relation is so simple that properties of the more involved process can be infer…
▽ More
Population models usually come in pairs; one process describes forward evolution (e.g. type composition) and the other describes backward evolution (e.g. lines of descent). These processes are often linked by a formal relationship known as duality. Ideally, one of the two processes is easier to analyze, and the duality relation is so simple that properties of the more involved process can be inferred from the simpler one. This is the case when the forward process admits a moment dual. Unfortunately, moment duality seems to be the exception rather than the rule. Various approaches have been used to analyze models in the absence of a moment dual, one of them is based on Bernstein duality and another one on Siegmund duality. As a rule of thumb, the first approach seems to work well whenever the ancestral processes are positive recurrent; the second one, in contrast, works well in situations where the ancestral structures can grow to infinity (in size). The second approach was recently used to provide a full characterization of the long-term behavior of a broad class of $Λ$-Wright--Fisher processes subject to frequency-dependent selection and opposing environments. In this paper, we use the first approach to complete the picture, i.e. we describe the long-term behavior of a different class of $Λ$-Wright--Fisher processes, which covers many of the cases that were not covered by the aforementioned result (the two classes intersect, but none is a proper subset of the other one). Moreover, we extend the notion of Bernstein duality to cases with (single and coordinated) mutations {and environmental selection}, and we use it to show ergodic properties of the process.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Constructing Maximal Germ Couplings of Brownian Motions with Drift
Authors:
Sebastian Hummel,
Adam Quinn Jaffe
Abstract:
Consider all the possible ways of coupling together two Brownian motions with the same starting position but with different drifts onto the same probability space. It is known that there exist couplings which make these processes agree for some random, positive, maximal initial length of time. Presently, we provide an explicit, elementary construction of such couplings.
Consider all the possible ways of coupling together two Brownian motions with the same starting position but with different drifts onto the same probability space. It is known that there exist couplings which make these processes agree for some random, positive, maximal initial length of time. Presently, we provide an explicit, elementary construction of such couplings.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Absorption and stationary times for the $Λ$-Wright-Fisher process
Authors:
Airam Blancas,
Adrián González Casanova,
Sebastian Hummel,
Sandra Palau
Abstract:
We derive stationary and fixation times for the multi-type $Λ$-Wright-Fisher process with and without the classic linear drift that models mutations. Our method relies on a grand coupling of the process realized through the so-called lookdown-construction. A well-known process embedded in this construction is the fixation line. We generalise the process to our setup and make use of the associated…
▽ More
We derive stationary and fixation times for the multi-type $Λ$-Wright-Fisher process with and without the classic linear drift that models mutations. Our method relies on a grand coupling of the process realized through the so-called lookdown-construction. A well-known process embedded in this construction is the fixation line. We generalise the process to our setup and make use of the associated explosion times to obtain a representation of the fixation and stationary times in terms of the waiting time in a coupon collector problem.
△ Less
Submitted 17 August, 2023;
originally announced August 2023.
-
Mean-field interacting multi-type birth-death processes with a view to applications in phylodynamics
Authors:
William S. DeWitt,
Steven N. Evans,
Ella Hiesmayr,
Sebastian Hummel
Abstract:
Multi-type birth-death processes underlie approaches for inferring evolutionary dynamics from phylogenetic trees across biological scales, ranging from deep-time species macroevolution to rapid viral evolution and somatic cellular proliferation. A limitation of current phylogenetic birth-death models is that they require restrictive linearity assumptions that yield tractable message-passing likeli…
▽ More
Multi-type birth-death processes underlie approaches for inferring evolutionary dynamics from phylogenetic trees across biological scales, ranging from deep-time species macroevolution to rapid viral evolution and somatic cellular proliferation. A limitation of current phylogenetic birth-death models is that they require restrictive linearity assumptions that yield tractable message-passing likelihoods, but that also preclude interactions between individuals. Many fundamental evolutionary processes -- such as environmental carrying capacity or frequency-dependent selection -- entail interactions, and may strongly influence the dynamics in some systems. Here, we introduce a multi-type birth-death process in mean-field interaction with an ensemble of replicas of the focal process. We prove that, under quite general conditions, the ensemble's stochastically evolving interaction field converges to a deterministic trajectory in the limit of an infinite ensemble. In this limit, the replicas effectively decouple, and self-consistent interactions appear as nonlinearities in the infinitesimal generator of the focal process. We investigate a special case that is rich enough to model both carrying capacity and frequency-dependent selection while yielding tractable message-passing likelihoods in the context of a phylogenetic birth-death model.
△ Less
Submitted 31 March, 2024; v1 submitted 12 July, 2023;
originally announced July 2023.
-
The LHCb upgrade I
Authors:
LHCb collaboration,
R. Aaij,
A. S. W. Abdelmotteleb,
C. Abellan Beteta,
F. Abudinén,
C. Achard,
T. Ackernley,
B. Adeva,
M. Adinolfi,
P. Adlarson,
H. Afsharnia,
C. Agapopoulou,
C. A. Aidala,
Z. Ajaltouni,
S. Akar,
K. Akiba,
P. Albicocco,
J. Albrecht,
F. Alessio,
M. Alexander,
A. Alfonso Albero,
Z. Aliouche,
P. Alvarez Cartelle,
R. Amalric,
S. Amato
, et al. (1298 additional authors not shown)
Abstract:
The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their select…
▽ More
The LHCb upgrade represents a major change of the experiment. The detectors have been almost completely renewed to allow running at an instantaneous luminosity five times larger than that of the previous running periods. Readout of all detectors into an all-software trigger is central to the new design, facilitating the reconstruction of events at the maximum LHC interaction rate, and their selection in real time. The experiment's tracking system has been completely upgraded with a new pixel vertex detector, a silicon tracker upstream of the dipole magnet and three scintillating fibre tracking stations downstream of the magnet. The whole photon detection system of the RICH detectors has been renewed and the readout electronics of the calorimeter and muon systems have been fully overhauled. The first stage of the all-software trigger is implemented on a GPU farm. The output of the trigger provides a combination of totally reconstructed physics objects, such as tracks and vertices, ready for final analysis, and of entire events which need further offline reprocessing. This scheme required a complete revision of the computing model and rewriting of the experiment's software.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
$Λ$-Wright--Fisher processes with general selection and opposing environmental effects: fixation and coexistence
Authors:
Fernando Cordero,
Sebastian Hummel,
Grégoire Véchambre
Abstract:
Our results characterize the long-term behavior for a broad class of $Λ$-Wright--Fisher processes with frequency-dependent and environmental selection. In particular, we reveal a rich variety of parameter-dependent behaviors and provide explicit criteria to discriminate between them. That includes the situation in which the (entire) boundary is repelling -- a new phenomenon in this context. This h…
▽ More
Our results characterize the long-term behavior for a broad class of $Λ$-Wright--Fisher processes with frequency-dependent and environmental selection. In particular, we reveal a rich variety of parameter-dependent behaviors and provide explicit criteria to discriminate between them. That includes the situation in which the (entire) boundary is repelling -- a new phenomenon in this context. This has significant biological implications, because it means that selection alone can maintain coexistence. If a boundary point is attractive, we derive polynomial/exponential decay rates for the probability of not being polynomially/exponentially close to that boundary, depending on some weak/strong integrability conditions. Moreover, we provide a handy representation of the fixation probability. In our proofs we make use of Siegmund duality. The dual process can be sandwiched near the boundaries in between transformed Lévy processes. In this way we relate the boundary behavior of the dual process to fluctuation properties of these Lévy processes and shed new light on previously established conditions for attractive/repelling boundary points. Our method allows us to treat models that so far could not be analyzed by means of moment or Bernstein duality. This closes an existing gap in the literature.
△ Less
Submitted 26 February, 2024; v1 submitted 20 December, 2021;
originally announced December 2021.
-
The HDvent Emergency Ventilator System
Authors:
David Grimshandl,
Manuel Gerken,
Eleonora Lippi,
Binh Tran,
Saba Zia Hassan,
Jan Hendrik Becher,
Selim Jochim,
Matthias Weidemüller,
Gunnar Föhner,
Steffen Brucker,
Frank Schumacher,
Wolfgang Beldermann,
Venelin Angelov,
Stefan Hetzel,
Stefan Hummel,
Simon Muley,
Bernd Windelband,
Christoph Eisner,
Marco Zugaj,
Philipp Bayer,
Dario Ernst,
Marcel Gehrlein,
Helmut Jacob,
Jens Pfeifle,
Andreas Treskatsch
, et al. (2 additional authors not shown)
Abstract:
The pandemic caused by Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2) has affected countries all across the world, heavily burdening the medical infrastructure with the growing number of patients affected by the coronavirus disease (COVID-19). With ventilators in limited supply, this public health emergency highlights the need for safe, fast, reliable, and economical alternatives to…
▽ More
The pandemic caused by Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2) has affected countries all across the world, heavily burdening the medical infrastructure with the growing number of patients affected by the coronavirus disease (COVID-19). With ventilators in limited supply, this public health emergency highlights the need for safe, fast, reliable, and economical alternatives to high-end commercial devices and has prompted the development of easy-to-use and mass-producible ventilators. Here, we detail the design of the HDvent Emergency Ventilator System. The device performs ventilation through mechanical compression of manual resuscitators and includes control electronics, flow and pressure sensors, and an external data visualization and monitoring unit. We demonstrate its suitability for open loop, pressure- and volume-controlled ventilation. The system has not undergone clinical testing and has not been approved for use as a medical device. The project documentation needed to reproduce the prototype is freely available and will contribute to the development of open source ventilation systems.
△ Less
Submitted 23 December, 2020;
originally announced December 2020.
-
The upgrade of the ALICE TPC with GEMs and continuous readout
Authors:
J. Adolfsson,
M. Ahmed,
S. Aiola,
J. Alme,
T. Alt,
W. Amend,
F. Anastasopoulos,
C. Andrei,
M. Angelsmark,
V. Anguelov,
A. Anjam,
H. Appelshäuser,
V. Aprodu,
O. Arnold,
M. Arslandok,
D. Baitinger,
M. Ball,
G. G. Barnaföldi,
E. Bartsch,
P. Becht,
R. Bellwied,
A. Berdnikova,
M. Berger,
N. Bialas,
P. Bialas
, et al. (210 additional authors not shown)
Abstract:
The upgrade of the ALICE TPC will allow the experiment to cope with the high interaction rates foreseen for the forthcoming Run 3 and Run 4 at the CERN LHC. In this article, we describe the design of new readout chambers and front-end electronics, which are driven by the goals of the experiment. Gas Electron Multiplier (GEM) detectors arranged in stacks containing four GEMs each, and continuous re…
▽ More
The upgrade of the ALICE TPC will allow the experiment to cope with the high interaction rates foreseen for the forthcoming Run 3 and Run 4 at the CERN LHC. In this article, we describe the design of new readout chambers and front-end electronics, which are driven by the goals of the experiment. Gas Electron Multiplier (GEM) detectors arranged in stacks containing four GEMs each, and continuous readout electronics based on the SAMPA chip, an ALICE development, are replacing the previous elements. The construction of these new elements, together with their associated quality control procedures, is explained in detail. Finally, the readout chamber and front-end electronics cards replacement, together with the commissioning of the detector prior to installation in the experimental cavern, are presented. After a nine-year period of R&D, construction, and assembly, the upgrade of the TPC was completed in 2020.
△ Less
Submitted 25 March, 2021; v1 submitted 17 December, 2020;
originally announced December 2020.
-
Lines of descent in a Moran model with frequency-dependent selection and mutation
Authors:
Ellen Baake,
Luigi Esercito,
Sebastian Hummel
Abstract:
We study ancestral structures for the two-type Moran model with mutation and frequency-dependent selection under the nonlinear dominance or fittest-type-wins scheme. Under appropriate conditions, both lead, in distribution, to the same type-frequency process. Reasoning through the mutations on the ancestral selection graph (ASG), we develop the corresponding killed and pruned lookdown ASG and use…
▽ More
We study ancestral structures for the two-type Moran model with mutation and frequency-dependent selection under the nonlinear dominance or fittest-type-wins scheme. Under appropriate conditions, both lead, in distribution, to the same type-frequency process. Reasoning through the mutations on the ancestral selection graph (ASG), we develop the corresponding killed and pruned lookdown ASG and use them to determine the present and ancestral type distributions. To this end, we establish factorial moment dualities to the Moran model and a relative. We extend the results to the diffusion limit and present applications for finite population size as well as moderate and weak selection.
△ Less
Submitted 21 October, 2022; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Resolving Few-Layer Antimonene/Graphene Heterostructures
Authors:
Tushar Gupta,
Kenan Elibol,
Stefan Hummel,
Michael Stöger-Pollach,
Clemens Mangler,
Gerlinde Habler,
Jannik C. Meyer,
Dominik Eder,
Bernhard C. Bayer
Abstract:
Two-dimensional (2D) antimony (Sb, antimonene) recently attracted interest due to its peculiar electronic properties and its suitability as anode material in next generation batteries. Sb however exhibits a large polymorphic/allotropic structural diversity, which is also influenced by the Sb's support. Thus understanding Sb heterostructure formation is key in 2D Sb integration. Particularly 2D Sb/…
▽ More
Two-dimensional (2D) antimony (Sb, antimonene) recently attracted interest due to its peculiar electronic properties and its suitability as anode material in next generation batteries. Sb however exhibits a large polymorphic/allotropic structural diversity, which is also influenced by the Sb's support. Thus understanding Sb heterostructure formation is key in 2D Sb integration. Particularly 2D Sb/graphene interfaces are of prime importance as contacts in electronics and electrodes in batteries. We thus study here few-layered 2D Sb/graphene heterostructures by atomic-resolution (scanning) transmission electron microscopy. We find the co-existence of two Sb morphologies: First is a 2D growth morphology of layered beta-Sb with beta-Sb(001)||graphene(001) texture. Second are one-dimensional (1D) Sb nanowires which can be matched to beta-Sb with beta-Sb[2-21] perpendicular to graphene(001) texture and are structurally also closely related to thermodynamically non-preferred cubic Sb(001)||graphene(001). Importantly, both Sb morphologies show rotational van-der-Waals epitaxy with the graphene support. Both Sb morphologies are well resilient against environmental bulk oxidation, although superficial Sb-oxide layer formation merits consideration, including formation of novel epitaxial Sb2O3(111)/beta-Sb(001) heterostructures. Exact Sb growth behavior is sensitive on employed processing and substrate properties including, notably, the nature of the support underneath the direct graphene support. This introduces the substrate underneath a direct 2D support as a key parameter in 2D Sb heterostructure formation. Our work provides insights into the rich phase and epitaxy landscape in 2D Sb and 2D Sb/graphene heterostructures.
△ Less
Submitted 7 September, 2020;
originally announced September 2020.
-
An atomic force microscope integrated with a helium ion microscope for correlative nanocharacterization
Authors:
Santiago H. Andany,
Gregor Hlawacek,
Stefan Hummel,
Charlène Brillard,
Mustafa Kangül,
Georg E. Fantner
Abstract:
In this work, we report the integration of an atomic force microscope (AFM) into a helium ion microscope (HIM). The HIM is a powerful instrument, capable of sub-nanometer resolution imaging and machining of nanoscale structures, while the AFM is a well-established versatile tool for multiparametric nanoscale characterization. Combining the two techniques opens the way for unprecedented, in situ, c…
▽ More
In this work, we report the integration of an atomic force microscope (AFM) into a helium ion microscope (HIM). The HIM is a powerful instrument, capable of sub-nanometer resolution imaging and machining of nanoscale structures, while the AFM is a well-established versatile tool for multiparametric nanoscale characterization. Combining the two techniques opens the way for unprecedented, in situ, correlative analysis at the nanoscale. Nanomachining and analysis can be performed without contamination of the sample and environmental changes between processing steps. The practicality of the resulting tool lies in the complementarity of the two techniques. The AFM offers not only true 3D topography maps, something the HIM can only provide in an indirect way but also allows for nanomechanical property map**, as well as for electrical and magnetic characterization of the sample after focused ion beam materials modification with the HIM. The experimental setup is described and evaluated through a series of correlative experiments, demonstrating the feasibility of the integration.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
General selection models: Bernstein duality and minimal ancestral structures
Authors:
Fernando Cordero,
Sebastian Hummel,
Emmanuel Schertzer
Abstract:
$Λ$-Wright--Fisher processes provide a robust framework to describe the type-frequency evolution of an infinite neutral population. We add a polynomial drift to the corresponding stochastic differential equation to incorporate frequency-dependent selection. A decomposition of the drift allows us to approximate the solution of the stochastic differential equation by a sequence of Moran models. The…
▽ More
$Λ$-Wright--Fisher processes provide a robust framework to describe the type-frequency evolution of an infinite neutral population. We add a polynomial drift to the corresponding stochastic differential equation to incorporate frequency-dependent selection. A decomposition of the drift allows us to approximate the solution of the stochastic differential equation by a sequence of Moran models. The genealogical structure underlying the Moran model leads in the large population limit to a generalisation of the ancestral selection graph of Krone and Neuhauser. Building on this object, we construct a continuous-time Markov chain and relate it to the forward process via a new form of duality, which we call Bernstein duality. We adapt classical methods based on the moment duality to determine the time to absorption and criteria for the accessibility of the boundaries; this extends a recent result by González Casanova and Spanò. An intriguing feature of the construction is that the same forward process is compatible with multiple backward models. In this context we introduce suitable notions for minimality among the ancestral processes and characterise the corresponding parameter sets. In this way we recover classic ancestral structures as minimal ones.
△ Less
Submitted 10 May, 2021; v1 submitted 15 March, 2019;
originally announced March 2019.
-
Lines of descent in the deterministic mutation-selection model with pairwise interaction
Authors:
Ellen Baake,
Fernando Cordero,
Sebastian Hummel
Abstract:
We consider the mutation--selection differential equation with pairwise interaction (or, equivalently, the diploid mutation--selection equation) and establish the corresponding ancestral process, which is a random tree and a variant of the ancestral selection graph. The formal relation to the forward model is given via duality. To make the tree tractable, we prune branches upon mutations, thus red…
▽ More
We consider the mutation--selection differential equation with pairwise interaction (or, equivalently, the diploid mutation--selection equation) and establish the corresponding ancestral process, which is a random tree and a variant of the ancestral selection graph. The formal relation to the forward model is given via duality. To make the tree tractable, we prune branches upon mutations, thus reducing it to its informative parts. The hierarchies inherent in the tree are encoded systematically via tripod trees with weighted leaves; this leads to the stratified ancestral selection graph. The latter also satisfies a duality relation with the mutation--selection equation. Each of the dualities provides a stochastic representation of the solution of the differential equation. This allows us to connect the equilibria and their bifurcations to the long-term behaviour of the ancestral process. Furthermore, with the help of the stratified ancestral selection graph, we obtain explicit results about the ancestral type distribution in the case of unidirectional mutation.
△ Less
Submitted 5 May, 2021; v1 submitted 3 December, 2018;
originally announced December 2018.
-
Scanning transmission electron microscopy under controlled low-pressure atmospheres
Authors:
Gregor T. Leuthner,
Stefan Hummel,
Clemens Mangler,
Timothy J. Pennycook,
Toma Susi,
Jannik C. Meyer,
Jani Kotakoski
Abstract:
Transmission electron microscopy (TEM) is carried out in vacuum to minimize the interaction of the imaging electrons with gas molecules while passing through the microscope column. Nevertheless, in typical devices, the pressure remains at 10^-7 mbar or above, providing a large number of gas molecules for the electron beam to crack, which can lead to structural changes in the sample. Here, we descr…
▽ More
Transmission electron microscopy (TEM) is carried out in vacuum to minimize the interaction of the imaging electrons with gas molecules while passing through the microscope column. Nevertheless, in typical devices, the pressure remains at 10^-7 mbar or above, providing a large number of gas molecules for the electron beam to crack, which can lead to structural changes in the sample. Here, we describe experiments carried out in a modified scanning TEM (STEM) instrument, based on the Nion UltraSTEM 100. In this instrument, the base pressure at the sample is around 2x10^-10 mbar, and can be varied up to 10^-6 mbar through introduction of gases directly into the objective area while maintaining atomic resolution imaging conditions. We show that air leaked into the microscope column during the experiment is efficient in cleaning graphene samples from contamination, but ineffective in damaging the pristine lattice. Our experiments also show that exposure to O2 and H2O lead to a similar result, oxygen providing an etching effect nearly twice as efficient as water, presumably due to the two O atoms per molecule. H2 and N2 environments have no influence on etching. These results show that the residual gas environment in typical TEM instruments can have a large influence on the observations, and show that chemical etching of carbon-based structures can be effectively carried out with oxygen.
△ Less
Submitted 24 January, 2019; v1 submitted 10 November, 2018;
originally announced November 2018.
-
Efficient Bethe-Salpeter equations' treatment in dynamical mean-field theory
Authors:
Agnese Tagliavini,
Stefan Hummel,
Nils Wentzell,
Sabine Andergassen,
Alessandro Toschi,
Georg Rohringer
Abstract:
We present here two alternative schemes designed to correct the high-frequency truncation errors in the numerical treatment of the Bethe-Salpeter equations. The schemes are applicable to all Bethe-Salpeter calculations with a local two-particle irreducible local, which is relevant, e.g., for the dynamical mean-field theory (DMFT) and its diagrammatic extensions. In particular, within a purely diag…
▽ More
We present here two alternative schemes designed to correct the high-frequency truncation errors in the numerical treatment of the Bethe-Salpeter equations. The schemes are applicable to all Bethe-Salpeter calculations with a local two-particle irreducible local, which is relevant, e.g., for the dynamical mean-field theory (DMFT) and its diagrammatic extensions. In particular, within a purely diagrammatic framework, we could extend existing algorithms for treating the static case in the particle-hole sector to more general procedures applicable to all bosonic frequencies and all channels. After illustrating the derivation and the theoretical interrelation of the two proposed schemes, these have been applied to the Bethe-Salpeter equations for the auxiliary Anderson impurity models of selected DMFT calculations, where results can be compared against a numerically "exact" solution. The successful performance of the proposed schemes suggests that their implementation can significantly improve the accuracy of dynamical mean-field theory (DMFT) calculations at the two-particle level, in particular for more realistic multi-orbital calculations where the large number of degrees of freedom substantially restricts the actual frequency range for numerical calculations, as well as -on a broader perspective- of the diagrammatic extensions of DMFT.
△ Less
Submitted 1 August, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
A probabilistic view on the deterministic mutation-selection equation: dynamics, equilibria, and ancestry via individual lines of descent
Authors:
Ellen Baake,
Fernando Cordero,
Sebastian Hummel
Abstract:
We reconsider the deterministic haploid mutation-selection equation with two types. This is an ordinary differential equation that describes the type distribution (forward in time) in a population of infinite size. This paper establishes ancestral (random) structures inherent in this deterministic model. In a first step, we obtain a representation of the deterministic equation's solution (and, in…
▽ More
We reconsider the deterministic haploid mutation-selection equation with two types. This is an ordinary differential equation that describes the type distribution (forward in time) in a population of infinite size. This paper establishes ancestral (random) structures inherent in this deterministic model. In a first step, we obtain a representation of the deterministic equation's solution (and, in particular, of its equilibrium) in terms of an ancestral process called the killed ancestral selection graph. This representation allows one to understand the bifurcations related to the error threshold phenomenon from a genealogical point of view. Next, we characterise the ancestral type distribution by means of the pruned lookdown ancestral selection graph and study its properties at equilibrium. We also provide an alternative characterisation in terms of a piecewise-deterministic Markov process. Throughout, emphasis is on the underlying dualities as well as on explicit results.
△ Less
Submitted 28 March, 2018; v1 submitted 12 October, 2017;
originally announced October 2017.
-
Effective crystal field and Fermi surface topology: a comparison of d- and dp-orbital models
Authors:
N. Parragh,
G. Sangiovanni,
P. Hansmann,
S. Hummel,
K. Held,
A. Toschi
Abstract:
The effective crystal field in multi-orbital correlated materials can be either enhanced or reduced by electronic correlations with crucial consequences for the topology of the Fermi surface and, hence, on the physical properties of these systems. In this respect, recent local density approximation (LDA) plus dynamical mean-field theory (DMFT) studies of Ni-based heterostructure have shown contrad…
▽ More
The effective crystal field in multi-orbital correlated materials can be either enhanced or reduced by electronic correlations with crucial consequences for the topology of the Fermi surface and, hence, on the physical properties of these systems. In this respect, recent local density approximation (LDA) plus dynamical mean-field theory (DMFT) studies of Ni-based heterostructure have shown contradicting results, depending on whether the less correlated $p$-orbitals are included or not. We investigate the origin of this problem and identify the key parameters controlling the Fermi surface properties of these systems. Without the $p$-orbitals the model is quarter filled, while the $d$ manifold moves rapidly towards half-filling when the $p$-orbitals are included. This implies that the local Hund's exchange, while rather unimportant for the former case, can play a predominant role in controlling the orbital polarization for the extended basis-set by favoring the formation of a larger local magnetic moment.
△ Less
Submitted 6 December, 2013; v1 submitted 8 March, 2013;
originally announced March 2013.
-
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones
Authors:
Szczepan Hummel
Abstract:
The paper gives an example of a tree language G that is recognised by an unambiguous parity automaton and is analytic-complete as a set in Cantor space. This already shows that the unambiguous languages are topologically more complex than the deterministic ones, that are all coanalytic.
Using set G as a building block we construct an unambiguous language that is topologically harder than any co…
▽ More
The paper gives an example of a tree language G that is recognised by an unambiguous parity automaton and is analytic-complete as a set in Cantor space. This already shows that the unambiguous languages are topologically more complex than the deterministic ones, that are all coanalytic.
Using set G as a building block we construct an unambiguous language that is topologically harder than any countable boolean combination of analytic and coanalytic sets. In particular the language is harder than any set in difference hierarchy of analytic sets considered by O.Finkel and P.Simonnet in the context of nondeterministic automata.
△ Less
Submitted 8 October, 2012;
originally announced October 2012.
-
On the Borel Inseparability of Game Tree Languages
Authors:
Szczepan Hummel,
Henryk Michalewski,
Damian Niwinski
Abstract:
The game tree languages can be viewed as an automata-theoretic counterpart of parity games on graphs. They witness the strictness of the index hierarchy of alternating tree automata, as well as the fixed-point hierarchy over binary trees. We consider a game tree language of the first non-trivial level, where Eve can force that 0 repeats from some moment on, and its dual, where Adam can force tha…
▽ More
The game tree languages can be viewed as an automata-theoretic counterpart of parity games on graphs. They witness the strictness of the index hierarchy of alternating tree automata, as well as the fixed-point hierarchy over binary trees. We consider a game tree language of the first non-trivial level, where Eve can force that 0 repeats from some moment on, and its dual, where Adam can force that 1 repeats from some moment on. Both these sets (which amount to one up to an obvious renaming) are complete in the class of co-analytic sets. We show that they cannot be separated by any Borel set, hence {\em a fortiori} by any weakly definable set of trees. This settles a case left open by L.Santocanale and A.Arnold, who have thoroughly investigated the separation property within the $μ$-calculus and the automata index hierarchies. They showed that separability fails in general for non-deterministic automata of type $Σ^μ_{n} $, starting from level $n=3$, while our result settles the missing case $n=2$.
△ Less
Submitted 10 February, 2009;
originally announced February 2009.