-
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
Authors:
Matthias Hoelzel,
Richard Wilke
Abstract:
We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure is a semantical and undecidable property, the normal form we introduce enables the handling and provides a better understanding of this fragment. We also introduce inclusion-exclusion games that turn out to be precisely the corresponding mod…
▽ More
We present syntactic characterisations for the union closed fragments of existential second-order logic and of logics with team semantics. Since union closure is a semantical and undecidable property, the normal form we introduce enables the handling and provides a better understanding of this fragment. We also introduce inclusion-exclusion games that turn out to be precisely the corresponding model-checking games. These games are not only interesting in their own right, but they also are a key factor towards building a bridge between the semantic and syntactic fragments. On the level of logics with team semantics we additionally present restrictions of inclusion-exclusion logic to capture the union closed fragment. Moreover, we define a team based atom that when adding it to first-order logic also precisely captures the union closed fragment of existential second-order logic which answers an open question by Galliani and Hella.
△ Less
Submitted 29 July, 2021; v1 submitted 14 October, 2019;
originally announced October 2019.
-
The preparation of Zr-deuteride and phase stability studies of the Zr-D system
Authors:
T. Maimaitiyili,
A. Steuwer,
C. Bjerkén,
J. Blomqvist,
M. Hoelzel,
J. C. Ion,
O. Zanellato
Abstract:
Deuteride phases in the zirconium-deuterium system in the temperature range 25-286$\celsius$ have been studied in-situ by high resolution neutron diffraction. The study primarily focused on observations of $δ\rightarrow γ$ transformation at 180$\celsius$, and the peritectoid reaction $α+ δ\leftrightarrow γ$ at 255$\celsius$ in commercial grade Zr powder that was deuterated to a deuterium/Zr ratio…
▽ More
Deuteride phases in the zirconium-deuterium system in the temperature range 25-286$\celsius$ have been studied in-situ by high resolution neutron diffraction. The study primarily focused on observations of $δ\rightarrow γ$ transformation at 180$\celsius$, and the peritectoid reaction $α+ δ\leftrightarrow γ$ at 255$\celsius$ in commercial grade Zr powder that was deuterated to a deuterium/Zr ratio of one to one. A detailed description of the zirconium deuteride preparation route by high temperature gas loading is also described. The lattice parameters of $α$-Zr, $δ$-ZrD$_x$ and $ε$-ZrD$_x$ were determined by whole pattern crystal structure analysis, using Rietveld and Pawley refinements, and are in good agreement with values reported in the literature. The controversial $γ$-hydride phase was observed both in-situ and ex-situ in deuterated Zr powder after a heat treatment at 286$\celsius$ and slow cooling.
△ Less
Submitted 9 January, 2017;
originally announced January 2017.
-
A comprehensive study of the phase diagram of K0.5Na0.5NbO3-Bi0.5Na0.5TiO3 system
Authors:
Laijun Liu,
Michael Knapp,
Helmut Ehrenberg,
Liang Fang,
Ljubomira Ana Schmitt,
Hartmut Fuess,
Markus Hoelzel,
Hichem Dammak,
Mai Pham Thi,
Manuel Hinterstein
Abstract:
The phase diagram of lead-free piezoelectric (1-x)K0.5Na0.5NbO3-xBi0.5Na0.5TiO3 system has been studied by high-resolution synchrotron powder diffraction, neutron powder diffraction and selected area electron diffraction (SAED). The two lead-free piezoelectric compounds, K0.5Na0.5NbO3 and Bi0.5Na0.5TiO3 tend to form an infinite solid solution. The oxygen octahedral tilt system has been mapped as a…
▽ More
The phase diagram of lead-free piezoelectric (1-x)K0.5Na0.5NbO3-xBi0.5Na0.5TiO3 system has been studied by high-resolution synchrotron powder diffraction, neutron powder diffraction and selected area electron diffraction (SAED). The two lead-free piezoelectric compounds, K0.5Na0.5NbO3 and Bi0.5Na0.5TiO3 tend to form an infinite solid solution. The oxygen octahedral tilt system has been mapped as a function of composition and temperature. The results indicate that K0.5Na0.5NbO3-Bi0.5Na0.5TiO3 does not display a morphotropic phase boundary like lead zirconate titanate, and that the most significant structural change as a function of composition occurs near x=0.14 and x=0.87 due to ionic disorder at A and B sites in the perovskite ABO3 structure at room temperature.
△ Less
Submitted 28 April, 2016; v1 submitted 19 October, 2015;
originally announced October 2015.
-
Structure and dielectric dispersion in cubic-like 0.5K0.5Na0.5NbO3- 0.5Na0.5Bi0.5TiO3 ceramic
Authors:
Laijun Liu,
Michael Knapp,
Ljubomira Ana Schmitt,
Helmut Ehrenberg,
Liang Fang,
Hartmut Fuess,
Markus Hoelzel,
Manuel Hinterstein
Abstract:
The nature of the cubic-like state in the lead-free piezoelectric ceramics 0.5K0.5Na0.5NbO3-0.5Na0.5Bi0.5TiO3 (KNN-50BNT) has been examined in detail by synchrotron x-ray diffraction (SD), selected area electron diffraction (SAED), neutron diffraction (ND), and temperature dependent dielectric characterization. The SD pattern of KNN-50BNT presents a pure perovskite structure with pseudocubic symme…
▽ More
The nature of the cubic-like state in the lead-free piezoelectric ceramics 0.5K0.5Na0.5NbO3-0.5Na0.5Bi0.5TiO3 (KNN-50BNT) has been examined in detail by synchrotron x-ray diffraction (SD), selected area electron diffraction (SAED), neutron diffraction (ND), and temperature dependent dielectric characterization. The SD pattern of KNN-50BNT presents a pure perovskite structure with pseudocubic symmetry. However, superlattice reflections were observed by SAED and completely indexed by tetragonal symmetry with P4bm space group in ND pattern. The relaxor behavior of KNN-50BNT is compared with Pb-based and Ba-based relaxors and discussed in the framework of the Vogel-Fulcher law and the new glass model. The KNN-50BNT ceramic exhibits the strongest dielectric dispersion among them.
△ Less
Submitted 19 October, 2015; v1 submitted 8 May, 2015;
originally announced May 2015.
-
A stochastic individual-based model for immunotherapy of cancer
Authors:
Martina Baar,
Loren Coquille,
Hannah Mayer,
Michael Hölzel,
Meri Rogava,
Thomas Tüting,
Anton Bovier
Abstract:
We propose an extension of a standard stochastic individual-based model in population dynamics which broadens the range of biological applications. Our primary motivation is modelling of immunotherapy of malignant tumours. In this context the different actors, T-cells, cytokines or cancer cells, are modelled as single particles (individuals) in the stochastic system. The main expansions of the mod…
▽ More
We propose an extension of a standard stochastic individual-based model in population dynamics which broadens the range of biological applications. Our primary motivation is modelling of immunotherapy of malignant tumours. In this context the different actors, T-cells, cytokines or cancer cells, are modelled as single particles (individuals) in the stochastic system. The main expansions of the model are distinguishing cancer cells by phenotype and genotype, including environment-dependent phenotypic plasticity that does not affect the genotype, taking into account the effects of therapy and introducing a competition term which lowers the reproduction rate of an individual in addition to the usual term that increases its death rate. We illustrate the new setup by using it to model various phenomena arising in immunotherapy. Our aim is twofold: on the one hand, we show that the interplay of genetic mutations and phenotypic switches on different timescales as well as the occurrence of metastability phenomena raise new mathematical challenges. On the other hand, we argue why understanding purely stochastic events (which cannot be obtained with deterministic models) may help to understand the resistance of tumours to therapeutic approaches and may have non-trivial consequences on tumour treatment protocols. This is supported through numerical simulations.
△ Less
Submitted 15 April, 2016; v1 submitted 3 May, 2015;
originally announced May 2015.
-
Magnetic dimers and trimers in the disordered $S=3/2$ spin system BaTi$_{1/2}$Mn$_{1/2}$O$_{3}$
Authors:
F. A. Garcia,
U. F. Kaneko,
E. Granado,
J. Sichelschmidt,
M. Hölzel,
J. G. S. Duque,
C. A. J. Nunes,
R. P. Amaral,
P. Marques-Ferreira,
R. Lora-Serrano
Abstract:
We report a structural/magnetic investigation by X-ray absorption spectroscopy (XAS), neutron diffraction, dc-susceptibility ($χ_{\mbox{dc}}$) and electron spin resonance (ESR) of the 12R-type perovskite BaTi$_{1/2}$Mn$_{1/2}$O$_{3}$. Our structural analysis by neutron diffraction supports the existence of structural trimers with chemically disordered occupancy of Mn$^{4+}$ and Ti$^{4+}$ ions, wit…
▽ More
We report a structural/magnetic investigation by X-ray absorption spectroscopy (XAS), neutron diffraction, dc-susceptibility ($χ_{\mbox{dc}}$) and electron spin resonance (ESR) of the 12R-type perovskite BaTi$_{1/2}$Mn$_{1/2}$O$_{3}$. Our structural analysis by neutron diffraction supports the existence of structural trimers with chemically disordered occupancy of Mn$^{4+}$ and Ti$^{4+}$ ions, with the valence of the Mn ions confirmed by the XAS measurements. The magnetic properties are explored by combining dc-susceptibility and $X$-band ($9.4$ GHz) electron spin resonance, both in the temperature interval of $2\leq T\leq1000$ K. A scenario is presented under which the magnetism is explained by considering magnetic dimers and trimers, with exchange constants $J_{a}/k_{B}=200(2)$ K and $J_{b}/k_{B}=130(10)$ K, and orphan spins. Thus, BaTi$_{1/2}$Mn$_{1/2}$O$_{3}$ is proposed as a rare case of an intrinsically disordered $S=3/2$ spin gap system with a frustrated ground state.
△ Less
Submitted 5 June, 2015; v1 submitted 17 June, 2012;
originally announced June 2012.
-
Density of states in solid deuterium: Inelastic neutron scattering study
Authors:
A. Frei,
E. Gutsmiedl,
C. Morkel,
A. R. Müller,
S. Paul,
M. Urban,
H. Schober,
S. Rols,
T. Unruh M. Hölzel
Abstract:
The dynamics of solid deuterium (sD2) is studied by means of inelastic scattering (coherent and incoherent) of thermal and cold neutrons at different temperatures and para-ortho ratios. In this paper, the results for the generalized density of states (GDOS) are presented and discussed. The measurements were performed at the thermal neutron time-of-flight (TOF) instrument IN4 at ILL Grenoble and…
▽ More
The dynamics of solid deuterium (sD2) is studied by means of inelastic scattering (coherent and incoherent) of thermal and cold neutrons at different temperatures and para-ortho ratios. In this paper, the results for the generalized density of states (GDOS) are presented and discussed. The measurements were performed at the thermal neutron time-of-flight (TOF) instrument IN4 at ILL Grenoble and at the cold neutron TOF instrument TOFTOF at FRM II Garching. The GDOS comprises besides the hcp phonon excitations of the sD2 the rotational transitions J = 0 ->1 and J = 1 -> 2. The intensities of these rotational excitations depend strongly on the ortho-D2 molecule concentration co in sD2. Above E = 10 meV there are still strong excitations, which very likely may originate from higher energy damped optical phonons and multi-phonon contributions. A method for separating the one- and multi-phononon contributions to the density of states willbe presented and discussed.
△ Less
Submitted 25 May, 2009;
originally announced May 2009.
-
CaCrO3: an anomalous antiferromagnetic metallic oxide
Authors:
A. C. Komarek,
S. V. Streltsov,
M. Isobe,
T. Moeller,
M. Hoelzel,
A. Senyshyn,
D. Trots,
M. T. Fernandez-Diaz,
T. Hansen,
H. Gotou,
T. Yagi,
Y. Ueda,
V. I. Anisimov,
M. Grueninger,
D. I. Khomskii,
M. Braden
Abstract:
Combining infrared reflectivity, transport, susceptibility and several diffraction techniques, we find compelling evidence that CaCrO3 is a rare case of a metallic and antiferromagnetic transition-metal oxide with a three-dimensional electronic structure. LSDA calculations correctly describe the metallic behavior as well as the anisotropic magnetic ordering pattern of C type: The high Cr valence…
▽ More
Combining infrared reflectivity, transport, susceptibility and several diffraction techniques, we find compelling evidence that CaCrO3 is a rare case of a metallic and antiferromagnetic transition-metal oxide with a three-dimensional electronic structure. LSDA calculations correctly describe the metallic behavior as well as the anisotropic magnetic ordering pattern of C type: The high Cr valence state induces via sizeable pd hybridization remarkably strong next-nearest neighbor interactions stabilizing this ordering. The subtle balance of magnetic interactions gives rise to magneto-elastic coupling, explaining pronounced structural anomalies observed at the magnetic ordering transition.
△ Less
Submitted 7 April, 2008;
originally announced April 2008.