-
Low-energy spin excitations in field-induced phases of the spin-ladder antiferromagnet BiCu$_2$PO$_6$
Authors:
Patrick Pilch,
Kirill Amelin,
Gary Schmiedinghoff,
Anneke Reinold,
Changqing Zhu,
Kirill Yu. Povarov,
Sergei Zvyagin,
Hans Engelkamp,
Yin-Ping Lan,
Guo-Jiun Shu,
Fang-Cheng Chou,
Urmas Nagel,
Toomas Rõõm,
Götz S. Uhrig,
Benedikt Fauseweh,
Zhe Wang
Abstract:
We report on terahertz spectroscopic measurements of quantum spin dynamics on single crystals of a spin-1/2 frustrated spin-ladder antiferromagnet BiCu$_2$PO$_6$ as a function of temperature, polarization, and applied external magnetic fields. Spin triplon excitations are observed at zero field and split in applied magnetic fields. For magnetic fields applied along the crystallographic $a$ axis, a…
▽ More
We report on terahertz spectroscopic measurements of quantum spin dynamics on single crystals of a spin-1/2 frustrated spin-ladder antiferromagnet BiCu$_2$PO$_6$ as a function of temperature, polarization, and applied external magnetic fields. Spin triplon excitations are observed at zero field and split in applied magnetic fields. For magnetic fields applied along the crystallographic $a$ axis, a quantum phase transition at $B_{c1}=21.4$~T is featured by a low-energy excitation mode emerging above $B_{c1}$ which indicates a gap reopening. For fields along the $b$ axis and the $c$ axis, different field dependencies are observed for the spin triplon excitations, whereas no low-lying modes could be resolved at field-induced phase transitions. We perform a theoretical analysis of the magnetic field dependence of the spin triplon modes by using continuous unitary transformations to determine an effective low energy Hamiltonian. Through an exhaustive parameter search we find numerically optimized parameters to very well describe the experimentally observed modes, which corroborate the importance of significant magnetic anisotropy in the system.
△ Less
Submitted 30 September, 2024;
originally announced September 2024.
-
Modified Martin-Puplett interferometer for magneto-optical Kerr effect measurements at sub-THz frequencies
Authors:
A. Glezer Moshe,
R. Nagarajan,
U. Nagel,
T. Rõõm,
G. Blumberg
Abstract:
We present magneto-optical Kerr effect (MOKE) spectrometer based on a modified Martin-Puplett interferometer, utilizing continuous wave sub-THz low-power radiation in broad frequency range. This spectrometer is capable of measuring the frequency dependence of the MOKE response function, both the Kerr rotation and ellipticity, simultaneously with sub-milliradian accuracy without the need for refere…
▽ More
We present magneto-optical Kerr effect (MOKE) spectrometer based on a modified Martin-Puplett interferometer, utilizing continuous wave sub-THz low-power radiation in broad frequency range. This spectrometer is capable of measuring the frequency dependence of the MOKE response function, both the Kerr rotation and ellipticity, simultaneously with sub-milliradian accuracy without the need for reference measurement. The instrument's versatility allow it to be coupled to a cryostat with optical windows enabling studies of a variety of quantum materials such as unconventional superconductors, two-dimensional electron gas systems, quantum magnets, and other system showing optical Hall response, at sub-Kelvin temperatures and in high magnetic fields. We demonstrate the functionality of the MOKE spectrometer using an undoped InSb wafer as a test sample.
△ Less
Submitted 27 July, 2024;
originally announced July 2024.
-
The weak Lefschetz property for artinian Gorenstein algebras of small Sperner number
Authors:
Mats Boij,
Juan C. Migliore,
Rosa Maria Miró-Roig,
Uwe Nagel
Abstract:
For artinian Gorenstein algebras in codimension four and higher, it is well known that the Weak Lefschetz Property (WLP) does not need to hold. For Gorenstein algebras in codimension three, it is still open whether all artinian Gorenstein algebras satisfy the WLP when the socle degree and the Sperner number are both higher than six. We here show that all artinian Gorenstein algebras with socle deg…
▽ More
For artinian Gorenstein algebras in codimension four and higher, it is well known that the Weak Lefschetz Property (WLP) does not need to hold. For Gorenstein algebras in codimension three, it is still open whether all artinian Gorenstein algebras satisfy the WLP when the socle degree and the Sperner number are both higher than six. We here show that all artinian Gorenstein algebras with socle degree $d$ and Sperner number at most $d+1$ satisfy the WLP, independent of the codimension. This is a sharp bound in general since there are examples of artinian Gorenstein algebras with socle degree $d$ and Sperner number $d+2$ that do not satisfy the WLP for all $d\ge 3$.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
The Weak Lefschetz property and unimodality of Hilbert functions of random monomial algebras
Authors:
Uwe Nagel,
Sonja Petrović
Abstract:
In this work, we investigate the presence of the weak Lefschetz property (WLP) and Hilbert functions for various types of random standard graded Artinian algebras. If an algebra has the WLP then its Hilbert function is unimodal.
Using probabilistic models for random monomial algebras, our results and simulations suggest that in each considered regime the Hilbert functions of the produced algebra…
▽ More
In this work, we investigate the presence of the weak Lefschetz property (WLP) and Hilbert functions for various types of random standard graded Artinian algebras. If an algebra has the WLP then its Hilbert function is unimodal.
Using probabilistic models for random monomial algebras, our results and simulations suggest that in each considered regime the Hilbert functions of the produced algebras are unimodal with high probability. The WLP appears to be present with high probability most of the time. However, we propose that there is one scenario where the generated algebras fail to have the WLP with high probability.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
THz spin-wave excitations in the transverse conical phase of BiFeO$_3$
Authors:
B. Tóth,
D. G. Farkas,
K. Amelin,
T. Rõõm,
U. Nagel,
L. Udvardi,
L. Szunyogh,
L. Rózsa,
T. Ito,
S. Bordács
Abstract:
Although BiFeO$_3$ is one of the most studied multiferroic materials, recent magnetization and neutron scattering studies have revealed a new magnetic phase in this compound - the transverse conical phase. To study the collective spin excitations of this phase, we performed THz spectroscopy in magnetic fields up to 17 T at and above room temperature. We observed five spin-wave branches in the magn…
▽ More
Although BiFeO$_3$ is one of the most studied multiferroic materials, recent magnetization and neutron scattering studies have revealed a new magnetic phase in this compound - the transverse conical phase. To study the collective spin excitations of this phase, we performed THz spectroscopy in magnetic fields up to 17 T at and above room temperature. We observed five spin-wave branches in the magnetic phase with long wavelength conical modulation. Using a numerical spin dynamics model we found two kinds of excitations with magnetic moments oscillating either along or perpendicular to the static fields. Remarkably, we detected strong directional dichroism, an optical manifestation of the magnetoelectric effect, for two spin-wave modes of the conical phase. According to our experiments, the stability of the conical state is sensitive to the magnetic field history and it can become (meta)stable at or close to zero magnetic field, which may allow exploiting its magnetoelectric properties at room temperature.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Betti numbers for connected sums of graded Gorenstein artinian algebras
Authors:
Nasrin Altafi,
Roberta Di Gennaro,
Federico Galetto,
Sean Grate,
Rosa M. Miro-Roig,
Uwe Nagel,
Alexandra Seceleanu,
Junzo Watanabe
Abstract:
The connected sum construction, which takes as input Gorenstein rings and produces new Gorenstein rings, can be considered as an algebraic analogue for the topological construction having the same name. We determine the graded Betti numbers for connected sums of graded Artinian Gorenstein algebras. Along the way, we find the graded Betti numbers for fiber products of graded rings; an analogous res…
▽ More
The connected sum construction, which takes as input Gorenstein rings and produces new Gorenstein rings, can be considered as an algebraic analogue for the topological construction having the same name. We determine the graded Betti numbers for connected sums of graded Artinian Gorenstein algebras. Along the way, we find the graded Betti numbers for fiber products of graded rings; an analogous result was obtained in the local case by Geller. We relate the connected sum construction to the doubling construction, which also produces Gorenstein rings. Specifically, we show that a connected sum of doublings is the doubling of a fiber product ring.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Jacobian schemes arising from hypersurface arrangements in $\mathbb P^n$
Authors:
Juan Migliore,
Uwe Nagel
Abstract:
Freeness is an important property of a hypersurface arrangement, although its presence is not well understood. A hypersurface arrangement in $\PP^n$ is free if $S/J$ is Cohen-Macaulay (CM), where $S = K[x_0,\ldots,x_n]$ and $J$ is the Jacobian ideal. We study three related unmixed ideals: $J^{top}$, the intersection of height two primary components, $\sqrt{J^{top}}$, the radical of $J^{top}$, and…
▽ More
Freeness is an important property of a hypersurface arrangement, although its presence is not well understood. A hypersurface arrangement in $\PP^n$ is free if $S/J$ is Cohen-Macaulay (CM), where $S = K[x_0,\ldots,x_n]$ and $J$ is the Jacobian ideal. We study three related unmixed ideals: $J^{top}$, the intersection of height two primary components, $\sqrt{J^{top}}$, the radical of $J^{top}$, and when the $f_i$ are smooth we also study $\sqrt{J}$. Under mild hypotheses, we show that these ideals are CM. This establishes a full generalization of an earlier result with Schenck from hyperplane arrangements to hypersurface arrangements. If the hypotheses fail for an arrangement in projective $3$-space, the Hartshorne-Rao module measures the failure of CMness. We establish consequences for the even liaison classes of $J^{top}$ and $\sqrt{J}$.
△ Less
Submitted 10 July, 2024; v1 submitted 2 December, 2023;
originally announced December 2023.
-
Magnetic field-induced phases and spin Hamiltonian in Cs2CoBr4
Authors:
L. Facheris,
S. D. Nabi,
K. Yu. Povarov,
Z. Yan,
A. Glezer Moshe,
U. Nagel,
T. Rõõm,
A. Podlesnyak,
E. Ressouche,
K. Beauvois,
J. R. Stewart,
P. Manuel,
D. Khalyavin,
F. Orlandi,
A. Zheludev
Abstract:
Magnetic structures and spin excitations are studied across the phase diagram of the geometrically frustrated S = 3/2 quantum antiferromagnet Cs2CoBr4 in magnetic fields applied along the magnetic easy axis, using neutron diffraction, inelastic neutron scattering and THz absorption spectroscopy. The data are analyzed, where appropriate, using extended SU (4) linear spin wave theory. A minimal magn…
▽ More
Magnetic structures and spin excitations are studied across the phase diagram of the geometrically frustrated S = 3/2 quantum antiferromagnet Cs2CoBr4 in magnetic fields applied along the magnetic easy axis, using neutron diffraction, inelastic neutron scattering and THz absorption spectroscopy. The data are analyzed, where appropriate, using extended SU (4) linear spin wave theory. A minimal magnetic Hamiltonian is proposed based on measurements in the high field polarized state. It deviates considerably from the previously considered models. Additional dilatometry experiments highlight the importance of magnetoelastic coupling in this system.
△ Less
Submitted 14 March, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Field and Polarization Dependent Quantum Spin Dynamics in Honeycomb Magnet Na$_2$Co$_2$TeO$_6$: Magnetic Excitations and Continuum
Authors:
Patrick Pilch,
Laur Peedu,
Anup Kumar Bera,
S. M. Yusuf,
Urmas Nagel,
Toomas Rõõm,
Zhe Wang
Abstract:
We report terahertz spectroscopic measurements of quantum spin dynamics in the spin-1/2 honeycomb magnet Na$_2$Co$_2$TeO$_6$ as a function of applied magnetic field with different terahertz polarizations. Distinct field dependencies of the resolved spin dynamics are identified in three regimes, which are separated by two critical fields at $B_{c1}\approx 7$ and $B_{c2}\approx 10$ T. A polarization…
▽ More
We report terahertz spectroscopic measurements of quantum spin dynamics in the spin-1/2 honeycomb magnet Na$_2$Co$_2$TeO$_6$ as a function of applied magnetic field with different terahertz polarizations. Distinct field dependencies of the resolved spin dynamics are identified in three regimes, which are separated by two critical fields at $B_{c1}\approx 7$ and $B_{c2}\approx 10$ T. A polarization selective continuum is observed in the intermediate phase, featuring spin fluctuations of a proximate quantum spin liquid.
△ Less
Submitted 11 October, 2023; v1 submitted 1 August, 2023;
originally announced August 2023.
-
Unexpected hypersurfaces and their consequences: A Survey
Authors:
Brian Harbourne,
Juan Migliore,
Uwe Nagel
Abstract:
The notion of an unexpected curve in the plane was introduced in 2018, and was quickly generalized in several directions in a flurry of mathematical activity by many authors. In this expository paper we first describe some of the main results on unexpected hypersurfaces. Then we summarize two offshoots of this theory. First we look at sets of points in $\mathbb P^3$ whose general projection is a p…
▽ More
The notion of an unexpected curve in the plane was introduced in 2018, and was quickly generalized in several directions in a flurry of mathematical activity by many authors. In this expository paper we first describe some of the main results on unexpected hypersurfaces. Then we summarize two offshoots of this theory. First we look at sets of points in $\mathbb P^3$ whose general projection is a planar complete intersection (so-called {\it geproci} sets). Although we now know a lot about these sets, much remains mysterious. Then we describe an interesting measure of unexpectedness called {\it $AV$-sequences}, which have a surprising structure that is not yet fully understood.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Computing Gröbner Bases and Free Resolutions of OI-Modules
Authors:
Michael Morrow,
Uwe Nagel
Abstract:
Given a sequence of related modules $M_n$ defined over a sequence of related polynomial rings, one may ask how to simultaneously compute a finite Gröbner basis for each $M_n$. Furthermore, one may ask how to simultaneously compute the module of syzygies of each $M_n$. In this paper we address both questions. Working in the setting of OI-modules over a Noetherian polynomial OI-algebra, we provide O…
▽ More
Given a sequence of related modules $M_n$ defined over a sequence of related polynomial rings, one may ask how to simultaneously compute a finite Gröbner basis for each $M_n$. Furthermore, one may ask how to simultaneously compute the module of syzygies of each $M_n$. In this paper we address both questions. Working in the setting of OI-modules over a Noetherian polynomial OI-algebra, we provide OI-analogues of Buchberger's Criterion, Buchberger's Algorithm for computing Gröbner bases, and Schreyer's Theorem for computing syzygies. We also establish a stabilization result for Gröbner bases.
△ Less
Submitted 12 April, 2023; v1 submitted 12 March, 2023;
originally announced March 2023.
-
Confinement of fractional excitations in a triangular lattice antiferromagnet
Authors:
L. Facheris,
S. D. Nabi,
A. Glezer Moshe,
U. Nagel,
T. Rõõm,
K. Yu. Povarov,
J. R. Stewart,
Z. Yan,
A. Zheludev
Abstract:
High-resolution neutron and THz spectroscopies are used to study the magnetic excitation spectrum of Cs$_2$CoBr$_4$, a distorted-triangular-lattice antiferromagnet with nearly XY-type anisotropy. What was previously thought of as a broad excitation continuum [Phys. Rev. Lett. 129, 087201 (2022)] is shown to be a series of dispersive bound states reminiscent of "Zeeman ladders" in quasi-one-dimensi…
▽ More
High-resolution neutron and THz spectroscopies are used to study the magnetic excitation spectrum of Cs$_2$CoBr$_4$, a distorted-triangular-lattice antiferromagnet with nearly XY-type anisotropy. What was previously thought of as a broad excitation continuum [Phys. Rev. Lett. 129, 087201 (2022)] is shown to be a series of dispersive bound states reminiscent of "Zeeman ladders" in quasi-one-dimensional Ising systems. At wave vectors where inter-chain interactions cancel at the Mean Field level, they can indeed be interpreted as bound finite-width kinks in individual chains. Elsewhere in the Brillouin zone their true two-dimensional structure and propagation are revealed.
△ Less
Submitted 23 June, 2023; v1 submitted 31 January, 2023;
originally announced January 2023.
-
Spin-lattice and magnetoelectric couplings enhanced by orbital degrees of freedom in polar magnets
Authors:
Vilmos Kocsis,
Yusuke Tokunaga,
Toomas Rõõm,
Urmas Nagel,
Jun Fujioka,
Yasujiro Taguchi,
Yoshinori Tokura,
Sándor Bordács
Abstract:
Orbital degrees of freedom mediating an interaction between spin and lattice were predicted to raise strong magnetoelectric effect, i.e. realize an efficient coupling between magnetic and ferroelectric orders. However, the effect of orbital fluctuations have been considered only in a few magnetoelectric materials, as orbital degeneracy driven Jahn-Teller effect rarely couples to polarization. Here…
▽ More
Orbital degrees of freedom mediating an interaction between spin and lattice were predicted to raise strong magnetoelectric effect, i.e. realize an efficient coupling between magnetic and ferroelectric orders. However, the effect of orbital fluctuations have been considered only in a few magnetoelectric materials, as orbital degeneracy driven Jahn-Teller effect rarely couples to polarization. Here, we explore the spin-lattice coupling in multiferroic Swedenborgites with mixed valence and Jahn-Teller active transition metal ions on a stacked triangular/Kagome lattice using infrared and dielectric spectroscopy. On one hand, in CaBa$M_4$O$_7$ ($M$ = Co, Fe), we observe strong magnetic order induced shift in the phonon frequencies and a corresponding large change in the dielectric response. Remarkably, as an unusual manifestation of the spin-phonon coupling, the spin-fluctuations reduce the phonon life-time by an order of magnitude at the magnetic phase transitions. On the other hand, lattice vibrations, dielectric response, and electric polarization show no variation at the Néel temperature of CaBaFe$_2$Co$_2$O$_7$, which is built up by orbital singlet ions. Our results provide a showcase for orbital degrees of freedom enhanced magnetoelectric coupling via the example of Swedenborgites.
△ Less
Submitted 9 January, 2023;
originally announced January 2023.
-
On the Weak Lefschetz Property for height four equigenerated complete intersections
Authors:
Mats Boij,
Juan Migliore,
Rosa M. Miró-Roig,
Uwe Nagel
Abstract:
We consider the conjecture that all artinian height 4 complete intersections of forms of the same degree $d$ have the Weak Lefschetz Property (WLP). We translate this problem to one of studying the general hyperplane section of a certain smooth curve in $\mathbb P^3$, and our main tools are the Socle Lemma of Huneke and Ulrich together with a careful liaison argument. Our main results are (i) a pr…
▽ More
We consider the conjecture that all artinian height 4 complete intersections of forms of the same degree $d$ have the Weak Lefschetz Property (WLP). We translate this problem to one of studying the general hyperplane section of a certain smooth curve in $\mathbb P^3$, and our main tools are the Socle Lemma of Huneke and Ulrich together with a careful liaison argument. Our main results are (i) a proof that the property holds for $d=3,4$ and 5; (ii) a partial result showing maximal rank in a non-trivial but incomplete range, cutting in half the previous unknown range; and (iii) a proof that maximal rank holds in a different range, even without assuming that all the generators have the same degree. We furthermore conjecture that if there were to exist any height 4 complete intersection generated by forms of the same degree and failing WLP then there must exist one (not necessarily the same one) failing by exactly one (in a sense that we make precise). Based on this conjecture we outline an approach to proving WLP for all equigenerated complete intersections in four variables. Finally, we apply our results to the Jacobian ideal of a smooth surface in~$\mathbb P^3$.
△ Less
Submitted 23 May, 2023; v1 submitted 19 December, 2022;
originally announced December 2022.
-
Alexander duals of symmetric simplicial complexes and Stanley-Reisner Ideals
Authors:
Ayah Almousa,
Kaitlin Bruegge,
Martina Juhnke-Kubitzke,
Uwe Nagel,
Alexandra Pevzner
Abstract:
Given an ascending chain $(I_n)_{n\in\mathbb{N}}$ of $\Sym$-invariant squarefree monomial ideals, we study the corresponding chain of Alexander duals $(I_n^\vee)_{n\in\mathbb{N}}$. Using a novel combinatorial tool, which we call \emph{avoidance up to symmetry}, we provide an explicit description of the minimal generating set up to symmetry in terms of the original generators. Combining this result…
▽ More
Given an ascending chain $(I_n)_{n\in\mathbb{N}}$ of $\Sym$-invariant squarefree monomial ideals, we study the corresponding chain of Alexander duals $(I_n^\vee)_{n\in\mathbb{N}}$. Using a novel combinatorial tool, which we call \emph{avoidance up to symmetry}, we provide an explicit description of the minimal generating set up to symmetry in terms of the original generators. Combining this result with methods from discrete geometry, this enables us to show that the number of orbit generators of $I_n^\vee$ is given by a polynomial in $n$ for sufficiently large $n$. The same is true for the number of orbit generators of minimal degree, this degree being a linear function in $n$ eventually. The former result implies that the number of $\Sym$-orbits of primary components of $I_n$ grows polynomially in $n$ for large $n$. As another application, we show that, for each $i\geq 0$, the number of $i$-dimensional faces of the associated Stanley-Reisner complexes of $I_n$ is also given by a polynomial in $n$ for large $n$.
△ Less
Submitted 28 September, 2022; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Spin excitations in the magnetically ordered phases of MnSc$_2$S$_4$
Authors:
B. Tóth,
K. Amelin,
T. Rõõm,
U. Nagel,
V. Tsurkan,
L. Prodan,
I. Kézsmárki,
S. Bordács
Abstract:
Recent neutron scattering experiments suggested that frustrated magnetic interactions give rise to antiferromagnetic spiral and fractional skyrmion lattice phases in MnSc$_2$S$_4$. Here, to trace the signatures of these modulated phases, we studied the spin excitations of MnSc$_2$S$_4$ by THz spectroscopy at 300 mK up to 12 T. We found a single magnetic resonance with linearly increasing frequency…
▽ More
Recent neutron scattering experiments suggested that frustrated magnetic interactions give rise to antiferromagnetic spiral and fractional skyrmion lattice phases in MnSc$_2$S$_4$. Here, to trace the signatures of these modulated phases, we studied the spin excitations of MnSc$_2$S$_4$ by THz spectroscopy at 300 mK up to 12 T. We found a single magnetic resonance with linearly increasing frequency in field. The corresponding $g$-factor of Mn$^{2+}$ ions $g$ = 1.96, and the absence of other resonances imply very weak anisotropies and negligible contribution of higher harmonics to the spiral state. The significant difference between the dc magnetic susceptibility and the lowest-frequency ac susceptibility in our experiment implies the existence of mode(s) below 100 GHz.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
Buchsbaum-Eisenbud complexes of OI-modules
Authors:
Nathan Fieldsteel,
Uwe Nagel
Abstract:
We extend the theory of Koszul and Buchsbaum-Eisenbud complexes to modules over commutative OI-algebras and show that they still have the familiar properties of the classical complexes. In particular, the OI-complexes are generically acyclic and often provide width-wise minimal free resolutions.
We extend the theory of Koszul and Buchsbaum-Eisenbud complexes to modules over commutative OI-algebras and show that they still have the familiar properties of the classical complexes. In particular, the OI-complexes are generically acyclic and often provide width-wise minimal free resolutions.
△ Less
Submitted 26 June, 2022;
originally announced June 2022.
-
Refining magnetic interactions from the magnetic field dependence of spin-wave excitations in magnetoelectric LiFePO$_4$
Authors:
L. Peedu,
V. Kocsis,
D. Szaller,
B. Forrai,
S. Bordács,
I. Kézsmárki,
J. Viirok,
U. Nagel,
B. Bernáth,
D. L. Kamenskyi,
A. Miyata,
O. Portugall,
Y. Tokunaga,
Y. Tokura,
Y. Taguchi,
T. Rõõm
Abstract:
We investigated the spin excitations of magnetoelectric $\text{LiFePO}_4$ by THz absorption spectroscopy in magnetic fields up to 33$\,$T. By studying their selection rules, we found not only magnetic-dipole, but also electric-dipole active (electromagnons) and magnetoelectric resonances. The magnetic field dependence of four strong low-energy modes is reproduced well by our four-sublattice spin m…
▽ More
We investigated the spin excitations of magnetoelectric $\text{LiFePO}_4$ by THz absorption spectroscopy in magnetic fields up to 33$\,$T. By studying their selection rules, we found not only magnetic-dipole, but also electric-dipole active (electromagnons) and magnetoelectric resonances. The magnetic field dependence of four strong low-energy modes is reproduced well by our four-sublattice spin model for fields applied along the three orthorhombic axes. From the fit, we refined the exchange couplings, single-ion anisotropies, and the Dzyaloshinskii-Moriya interaction parameters. Additional spin excitations not described by the mean-field model are observed at higher frequencies. Some of them shows a strong shift with magnetic field, up to 4$\,\text{cm}^{-1}/\text{T}$, when the field is applied along the easy axis. Based on this field dependence, we attribute these high frequency resonances to excitation of higher spin multipoles and of two magnons, which become THz-active due to the low symmetry of the magnetically ordered state.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Shift Invariant Algebras, Segre Products and Regular Languages
Authors:
Aida Maraj,
Uwe Nagel
Abstract:
Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a…
▽ More
Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a tensor product of families of algebras with rational equivariant Hilbert series has a rational equivariant Hilbert series. The term equivariant is used broadly to include the action of the monoid of nonnegative integers by shifting variables. Furthermore, we exhibit a filtration of shift invariant monomial algebras that has a rational equivariant Hilbert series, but whose presentation ideals do not stabilize.
△ Less
Submitted 26 April, 2022; v1 submitted 16 April, 2022;
originally announced April 2022.
-
A formula for symbolic powers
Authors:
Paolo Mantero,
Cleto B. Miranda-Neto,
Uwe Nagel
Abstract:
Let $S$ be a Cohen-Macaulay ring which is local or standard graded over a field, and let $I$ be an unmixed ideal that is also generically a complete intersection. Our goal in this paper is multi-fold. First, we give a multiplicity-based characterization of when an unmixed subideal $J \subseteq I^{(m)}$ equals the $m$-th symbolic power $I^{(m)}$ of $I$. Second, we provide a saturation-type formula…
▽ More
Let $S$ be a Cohen-Macaulay ring which is local or standard graded over a field, and let $I$ be an unmixed ideal that is also generically a complete intersection. Our goal in this paper is multi-fold. First, we give a multiplicity-based characterization of when an unmixed subideal $J \subseteq I^{(m)}$ equals the $m$-th symbolic power $I^{(m)}$ of $I$. Second, we provide a saturation-type formula to compute $I^{(m)}$ and employ it to deduce a theoretical criterion for when $I^{(m)}=I^m$. Third, we establish an explicit linear bound on the exponent that makes the saturation formula effective, and use it to obtain lower bounds for the initial degree of $I^{(m)}$. Along the way, we prove a conjecture (in fact, a generalized version of it) due to Eisenbud and Mazur about ${\rm ann}_S(I^{(m)}/I^m)$, and we propose a conjecture connecting the symbolic defect of an ideal to Jacobian ideals.
△ Less
Submitted 24 August, 2022; v1 submitted 23 December, 2021;
originally announced December 2021.
-
Selection rules and dynamic magnetoelectric effect of the spin waves in multiferroic BiFeO$_3$
Authors:
D. G. Farkas,
D. Szaller,
I. Kézsmárki,
U. Nagel,
T. Rõõm,
L. Peedu,
J. Viirok,
J. S. White,
R. Cubitt,
T. Ito,
R. S. Fishman,
S. Bordács
Abstract:
We report the magnetic field dependence of the THz absorption and non-reciprocal directional dichroism spectra of BiFeO$_3$ measured on the three principal crystal cuts for fields applied along the three principal directions of each cut. From the systematic study of the light polarization dependence we deduced the optical selection rules of the spin-wave excitations. Our THz data, combined with sm…
▽ More
We report the magnetic field dependence of the THz absorption and non-reciprocal directional dichroism spectra of BiFeO$_3$ measured on the three principal crystal cuts for fields applied along the three principal directions of each cut. From the systematic study of the light polarization dependence we deduced the optical selection rules of the spin-wave excitations. Our THz data, combined with small-angle neutron scattering results showed that i) an in-plane magnetic field rotates the $\mathbf{q}$ vectors of the cycloids perpendicular to the magnetic field, and ii) the selection rules are mostly determined by the orientation of the $\mathbf{q}$ vector with respect to the electromagnetic fields. We observed a magnetic field history dependent change in the strength and the frequency of the spin-wave modes, which we attributed to the change of the orientation and the length of the cycloidal $\mathbf{q}$ vector, respectively. Finally, we compared our experimental data with the results of linear spin-wave theory that reproduces the magnetic field dependence of the spin-wave frequencies and most of the selection rules, from which we identified the spin-polarization coupling terms relevant for the optical magnetoelectric effect.
△ Less
Submitted 30 September, 2021;
originally announced September 2021.
-
Experimental Determination of the Interaction Potential between a Helium Atom and the Interior Surface of a C60 Fullerene Molecule
Authors:
G. R. Bacanu,
T. Jafari,
M. Aouane,
J. Rantaharju,
M. Walkey,
G. Hoffman,
A. Shugai,
U. Nagel,
M. J. Ruiz,
A. J. Horsewill,
S. Rols,
T. R{õ}{õ}m,
R. J. Whitby,
M. H. Levitt
Abstract:
The interactions between atoms and molecules may be described by a potential energy function of the nuclear coordinates. Non-bonded interactions are dominated by repulsive forces at short range and attractive dispersion forces at long range. Experimental data on the detailed interaction potentials for non-bonded interatomic and intermolecular forces is scarce. Here we use terahertz spectroscopy an…
▽ More
The interactions between atoms and molecules may be described by a potential energy function of the nuclear coordinates. Non-bonded interactions are dominated by repulsive forces at short range and attractive dispersion forces at long range. Experimental data on the detailed interaction potentials for non-bonded interatomic and intermolecular forces is scarce. Here we use terahertz spectroscopy and inelastic neutron scattering to determine the potential energy function for the non-bonded interaction between single He atoms and encapsulating C60 fullerene cages, in the helium endofullerenes 3He and 4He, synthesised by molecular surgery techniques. The experimentally derived potential is compared to estimates from quantum chemistry calculations, and from sums of empirical two-body potentials.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
Minimal and cellular free resolutions over polynomial OI-algebras
Authors:
Nathan Fieldsteel,
Uwe Nagel
Abstract:
Minimal free resolutions of graded modules over a noetherian polynomial ring have been attractive objects of interest for more than a hundred years. We introduce and study two natural extensions in the setting of graded modules over a polynomial OI-algebra, namely minimal and width-wise minimal free resolutions. A minimal free resolution of an OI-module can be characterized by the fact that the fr…
▽ More
Minimal free resolutions of graded modules over a noetherian polynomial ring have been attractive objects of interest for more than a hundred years. We introduce and study two natural extensions in the setting of graded modules over a polynomial OI-algebra, namely minimal and width-wise minimal free resolutions. A minimal free resolution of an OI-module can be characterized by the fact that the free module in every fixed homological degree, say $i$, has minimal rank among all free resolutions of the module. We show that any finitely generated graded module over a noetherian polynomial OI-algebra admits a graded minimal free resolution, and that it is unique. A width-wise minimal free resolution is a free resolution that provides a minimal free resolution of a module in every width. Such a resolution is necessarily minimal. Its existence is not guaranteed. However, we show that certain monomial OI-ideals do admit width-wise minimal free or, more generally, width-wise minimal flat resolutions. These ideals include families of well-known monomial ideals such as Ferrers ideals and squarefree strongly stable ideals. The arguments rely on the theory of cellular resolutions.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Infrared spectroscopy of endohedral water in C$_{60}$
Authors:
A. Shugai,
U. Nagel,
Y. Murata,
Yongjun Li,
S. Mamone,
A. Krachmalnicoff,
S. Alom,
R. J. Whitby,
M. H. Levitt,
T. Room
Abstract:
Infrared absorption spectroscopy study of endohedral water molecule in a solid mixture of H$_2$O@C$_{60}$ and C$_{60}$ was carried out at liquid helium temperature. From the evolution of the spectra during the ortho-para conversion process, the spectral lines were identified as para- and ortho-water transitions. Eight vibrational transitions with rotational side peaks were observed in the mid-infr…
▽ More
Infrared absorption spectroscopy study of endohedral water molecule in a solid mixture of H$_2$O@C$_{60}$ and C$_{60}$ was carried out at liquid helium temperature. From the evolution of the spectra during the ortho-para conversion process, the spectral lines were identified as para- and ortho-water transitions. Eight vibrational transitions with rotational side peaks were observed in the mid-infrared: $ω_1$, $ω_2$, $ω_3$, $2ω_1$, $2ω_2$, $ω_1 +ω_3$, $ω_2 +ω_3$, and $2ω_2+ω_3$. The vibrational frequencies $ω_2$ and 2$ω_2$ are lower by 1.6\% and the rest by 2.4\%, as compared to free \water/. A model consisting of a rovibrational Hamiltonian with the dipole and quadrupole moments of water interacting with the crystal field was used to fit the infrared absorption spectra. The electric quadrupole interaction with the crystal field lifts the degeneracy of the rotational levels. The finite amplitudes of the pure $v_1$ and $v_2$ vibrational transitions are consistent with the interaction of the water molecule dipole moment with a lattice-induced electric field. The permanent dipole moment of encapsulated \water/ is found to be $0.5\pm 0.1$ D as determined from the far-infrared rotational line intensities. The translational mode of the quantized center of mass motion of \water/ in the molecular cage of C$_{60}$ was observed at 110cm$^{-1}$ (13.6meV).
△ Less
Submitted 12 February, 2021;
originally announced February 2021.
-
Magnetoelectric spectroscopy of spin excitations in LiCoPO4
Authors:
Vilmos Kocsis,
Sándor Bordács,
Yusuke Tokunaga,
Johan Viirok,
Laur Peedu,
Toomas Rõõm,
Urmas Nagel,
Yasujiro Taguchi,
Yoshinori Tokura,
István Kézsmárki
Abstract:
We have studied spin excitations in a single-domain crystal of antiferromagnetic LiCoPO4 by THz absorption spectroscopy. By analyzing the selection rules and comparing the strengths of the absorption peaks in the different antiferromagnetic domains, we found electromagnons and magnetoelectric spin resonances besides conventional magnetic-dipole active spin-wave excitations. Using the sum rule for…
▽ More
We have studied spin excitations in a single-domain crystal of antiferromagnetic LiCoPO4 by THz absorption spectroscopy. By analyzing the selection rules and comparing the strengths of the absorption peaks in the different antiferromagnetic domains, we found electromagnons and magnetoelectric spin resonances besides conventional magnetic-dipole active spin-wave excitations. Using the sum rule for the magnetoelectric susceptibility we determined the contribution of the spin excitations to all the different off-diagonal elements of the static magnetoelectric susceptibility tensor in zero as well as in finite magnetic fields. We conclude that the magnetoelectric spin resonances are responsible for the static magnetoelectric response of the bulk when the magnetic field is along the x-axis, and the symmetric part of the magnetoelectric tensor with zero diagonal elements dominates over the antisymmetric components.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
In-situ electric field control of THz non-reciprocal directional dichroism in the multiferroic Ba$_2$CoGe$_2$O$_7$
Authors:
J. Vít,
J. Viirok,
L. Peedu,
T. Rõõm,
U. Nagel,
V. Kocsis,
Y. Tokunaga,
Y. Taguchi,
Y. Tokura,
I. Kézsmárki,
P. Balla,
K. Penc,
J. Romhányi,
S. Bordács
Abstract:
Non-reciprocal directional dichroism, also called the optical-diode effect, is an appealing functional property inherent to the large class of non-centrosymmetric magnets. However, the in-situ electric control of this phenomenon is challenging as it requires a set of conditions to be fulfilled: Special symmetries of the magnetic ground state, spin-excitations with comparable magnetic- and electric…
▽ More
Non-reciprocal directional dichroism, also called the optical-diode effect, is an appealing functional property inherent to the large class of non-centrosymmetric magnets. However, the in-situ electric control of this phenomenon is challenging as it requires a set of conditions to be fulfilled: Special symmetries of the magnetic ground state, spin-excitations with comparable magnetic- and electric-dipole activity and switchable electric polarization. We demonstrate the isothermal electric switch between domains of Ba$_2$CoGe$_2$O$_7$ possessing opposite magnetoelectric susceptibilities. Combining THz spectroscopy and multiboson spin-wave analysis, we show that unbalancing the population of antiferromagnetic domains generates the non-reciprocal light absorption of spin excitations.
△ Less
Submitted 8 October, 2021; v1 submitted 25 January, 2021;
originally announced January 2021.
-
The Magnetoelastic Distortion of Multiferroic BiFeO$_3$ in the Canted Antiferromagnetic State
Authors:
Toomas Rõõm,
Johan Viirok,
Laur Peedu,
Urmas Nagel,
Daniel G. Farkas,
David Szaller,
Vilmos Kocsis,
Sandor Bordács,
Istvan Kézsmárki,
Dymtro L. Kamenskyi,
Hans Engelkamp,
Mike Ozerov,
Dmitry Smirnov,
Jurek Krzystek,
Komalavalli Thirunavukkuarasu,
Yasuko Ozaki,
Yasuhide Tomioka,
Toshimitsu Ito,
Trinanjan Datta,
Randy S. Fishman
Abstract:
Using THz spectroscopy, we show that the spin-wave spectrum of multiferroic BiFeO$_3$ in its high-field canted antiferromagnetic state is well described by a spin model that violates rhombohedral symmetry. We demonstrate that the monoclinic distortion of the canted antiferromagnetic state is induced by the single-ion magnetoelastic coupling between the lattice and the two nearly anti-parallel spin…
▽ More
Using THz spectroscopy, we show that the spin-wave spectrum of multiferroic BiFeO$_3$ in its high-field canted antiferromagnetic state is well described by a spin model that violates rhombohedral symmetry. We demonstrate that the monoclinic distortion of the canted antiferromagnetic state is induced by the single-ion magnetoelastic coupling between the lattice and the two nearly anti-parallel spins. The revised spin model for BiFeO$_3$ contains two new single-ion anisotropy terms that violate rhombohedral symmetry and depend on the direction of the magnetic field.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
Duality and domain wall dynamics in a twisted Kitaev chain
Authors:
C. M. Morris,
Nisheeta Desai,
J. Viirok,
D. Huvonen,
U. Nagel,
T. Room,
J. W. Krizan,
R. J. Cava,
T. M. McQueen,
S. M. Koohpayeh,
Ribhu K. Kaul,
N. P. Armitage
Abstract:
The Ising chain in transverse field is a paradigmatic model for a host of physical phenomena, including spontaneous symmetry breaking, topological defects, quantum criticality, and duality. Although the quasi-1D ferromagnet CoNb$_2$O$_6$ has been put forward as the best material example of the transverse field Ising model, it exhibits significant deviations from ideality. Through a combination of…
▽ More
The Ising chain in transverse field is a paradigmatic model for a host of physical phenomena, including spontaneous symmetry breaking, topological defects, quantum criticality, and duality. Although the quasi-1D ferromagnet CoNb$_2$O$_6$ has been put forward as the best material example of the transverse field Ising model, it exhibits significant deviations from ideality. Through a combination of THz spectroscopy and theory, we show that CoNb$_2$O$_6$ in fact is well described by a different model with strong bond dependent interactions, which we dub the {\it twisted Kitaev chain}, as these interactions share a close resemblance to a one-dimensional version of the intensely studied honeycomb Kitaev model. In this model the ferromagnetic ground state of CoNb$_2$O$_6$ arises from the compromise between two distinct alternating axes rather than a single easy axis. Due to this frustration, even at zero applied field domain-wall excitations have quantum motion that is described by the celebrated Su-Schriefer-Heeger model of polyacetylene. This leads to rich behavior as a function of field. Despite the anomalous domain wall dynamics, close to a critical transverse field the twisted Kitaev chain enters a universal regime in the Ising universality class. This is reflected by the observation that the excitation gap in CoNb$_2$O$_6$ in the ferromagnetic regime closes at a rate precisely twice that of the paramagnet. This originates in the duality between domain walls and spin-flips and the topological conservation of domain wall parity. We measure this universal ratio `2' to high accuracy -- the first direct evidence for the Kramers-Wannier duality in nature.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Waring and cactus ranks and Strong Lefschetz Property for annihilators of symmetric forms
Authors:
M. Boij,
J. Migliore,
R. M. Miró-Roig,
U. Nagel
Abstract:
In this note we show that the complete symmetric polynomials are dual generators of compressed artinian Gorenstein algebras satisfying the Strong Lefschetz Property. This is the first example of an explicit dual form with these properties.
For complete symmetric forms of any degree in any number of variables, we provide an upper bound for the Waring rank by establishing an explicit power sum dec…
▽ More
In this note we show that the complete symmetric polynomials are dual generators of compressed artinian Gorenstein algebras satisfying the Strong Lefschetz Property. This is the first example of an explicit dual form with these properties.
For complete symmetric forms of any degree in any number of variables, we provide an upper bound for the Waring rank by establishing an explicit power sum decomposition.
Moreover, we determine the Waring rank, the cactus rank, the resolution and the Strong Lefschetz Property for any Gorenstein algebra defined by a symmetric cubic form. In particular, we show that the difference between the Waring rank and the cactus rank of a symmetric cubic form can be made arbitrarily large by increasing the number of variables.
We provide upper bounds for the Waring rank of generic symmetric forms of degrees four and five.
△ Less
Submitted 27 September, 2020;
originally announced September 2020.
-
Magnetic anisotropy and exchange paths for octa- and tetrahedrally coordinated Mn$^{2+}$ ions in the honeycomb multiferroic Mn$_2$Mo$_3$O$_8$
Authors:
D. Szaller,
K. Szász,
S. Bordács,
J. Viirok,
T. Rõõm,
U. Nagel,
A. Shuvaev,
L. Weymann,
A. Pimenov,
A. A. Tsirlin,
A. Jesche,
L. Prodan,
V. Tsurkan,
I. Kézsmárki
Abstract:
We investigated the static and dynamic magnetic properties of the polar ferrimagnet Mn$_2$Mo$_3$O$_8$ in three magnetically ordered phases via magnetization, magnetic torque, and THz absorption spectroscopy measurements. The observed magnetic field dependence of the spin-wave resonances, including Brillouin zone-center and zone-boundary excitations, magnetization, and torque, are well described by…
▽ More
We investigated the static and dynamic magnetic properties of the polar ferrimagnet Mn$_2$Mo$_3$O$_8$ in three magnetically ordered phases via magnetization, magnetic torque, and THz absorption spectroscopy measurements. The observed magnetic field dependence of the spin-wave resonances, including Brillouin zone-center and zone-boundary excitations, magnetization, and torque, are well described by an extended two-sublattice antiferromagnetic classical mean-field model. In this orbitally quenched system, the competing weak easy-plane and easy-axis single-ion anisotropies of the two crystallographic sites are determined from the model and assigned to the tetra- and octahedral sites, respectively, by ab initio calculations.
△ Less
Submitted 24 September, 2020;
originally announced September 2020.
-
Terahertz Magneto-optical investigation of quadrupolar spin-lattice effects in magnetically frustrated Tb2Ti2O7
Authors:
K. Amelin,
Y. Alexanian,
U. Nagel,
T. Room,
J. Robert,
J. Debray,
V. Simonet,
C. Decorse,
Z. Wang,
R. Ballou,
E. Constable,
S. de Brion
Abstract:
The significance of spin-lattice coupling in the phase diagram of the quantum spin-icepyrochlore Tb2Ti2O7 has been a topic of debate for some time. Here, we focus on the aspect of vibronic coupling, which occurs between the Tb3+ electronic levels and transverse acoustic phonons, by studying their dependence on a magnetic field applied along the cubic h111i direction. Our experimental THz spectrosc…
▽ More
The significance of spin-lattice coupling in the phase diagram of the quantum spin-icepyrochlore Tb2Ti2O7 has been a topic of debate for some time. Here, we focus on the aspect of vibronic coupling, which occurs between the Tb3+ electronic levels and transverse acoustic phonons, by studying their dependence on a magnetic field applied along the cubic h111i direction. Our experimental THz spectroscopy measurements, combined with quantitative theoretical quantum calculations, show that indeed vibronic effects are observed at 3 K. An analysis incorporating quadrupolar spin-lattice effects in the Hamiltonian is therefore relevant in this compound, which is no longer optically isotropic but magnetically birefringent.
△ Less
Submitted 22 September, 2020;
originally announced September 2020.
-
Balanced squeezed Complexes
Authors:
Martina Juhnke-Kubitzke,
Uwe Nagel
Abstract:
Given any order ideal $U$ consisting of color-squarefree monomials involving variables with $d$ colors, we associate to it a balanced $(d-1)$-dimensional simplicial complex $Δ_{\mathrm{bal}}(U)$ that we call a balanced squeezed complex. In fact, these complexes have properties similar to squeezed balls as introduced by Kalai and the more general squeezed complexes, introduced by the authors. We sh…
▽ More
Given any order ideal $U$ consisting of color-squarefree monomials involving variables with $d$ colors, we associate to it a balanced $(d-1)$-dimensional simplicial complex $Δ_{\mathrm{bal}}(U)$ that we call a balanced squeezed complex. In fact, these complexes have properties similar to squeezed balls as introduced by Kalai and the more general squeezed complexes, introduced by the authors. We show that any balanced squeezed complex is vertex-decomposable and that its flag $h$-vector can be read off from the underlying order ideal. Moreover, we describe explicitly its Stanley-Reisner ideal $I_{Δ_{\mathrm{bal}}(U)}$. If $U$ is also shifted, we determine the multigraded generic initial ideal of $I_{Δ_{\mathrm{bal}}(U)}$ and establish that the balanced squeezed complex $Δ_{\mathrm{bal}}(U)$ has the same graded Betti numbers as the complex obtained from color-shifting it. We also introduce a class of color-squarefree monomial ideals that may be viewed as a generalization of the classical squarefree stable monomial ideals and show that their graded Betti numbers can be read off from their minimal generators. Moreover, we develop some tools for computing graded Betti numbers.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
Rationality of Equivariant Hilbert Series and Asymptotic Properties
Authors:
Uwe Nagel
Abstract:
An FI- or an OI-module $\mathbf{M}$ over a corresponding noetherian polynomial algebra $\mathbf{P}$ may be thought of as a sequence of compatible modules $\mathbf{M}_n$ over a polynomial ring $\mathbf{P}_n$ whose number of variables depends linearly on $n$. In order to study invariants of the modules $\mathbf{M}_n$ in dependence of $n$, an equivariant Hilbert series is introduced if $\mathbf{M}$ i…
▽ More
An FI- or an OI-module $\mathbf{M}$ over a corresponding noetherian polynomial algebra $\mathbf{P}$ may be thought of as a sequence of compatible modules $\mathbf{M}_n$ over a polynomial ring $\mathbf{P}_n$ whose number of variables depends linearly on $n$. In order to study invariants of the modules $\mathbf{M}_n$ in dependence of $n$, an equivariant Hilbert series is introduced if $\mathbf{M}$ is graded. If $\mathbf{M}$ is also finitely generated, it is shown that this series is a rational function. Moreover, if this function is written in reduced form rather precise information about the irreducible factors of the denominator is obtained. This is key for applications. It follows that the Krull dimension of the modules $\mathbf{M}_n$ grows eventually linearly in $n$, whereas the multiplicity of $\mathbf{M}_n$ grows eventually exponentially in $n$. Moreover, for any fixed degree $j$, the vector space dimensions of the degree $j$ components of $\mathbf{M}_n$ grow eventually polynomially in $n$. As a consequence, any graded Betti number of $\mathbf{M}_n$ in a fixed homological degree and a fixed internal degree grows eventually polynomially in $n$. Furthermore, evidence is obtained to support a conjecture that the Castelnuovo-Mumford regularity and the projective dimension of $\mathbf{M}_n$ both grow eventually linearly in $n$. It is also shown that modules $\mathbf{M}$ whose width $n$ components $\mathbf{M}_n$ are eventually Artinian can be characterized by their equivariant Hilbert series. Using regular languages and finite automata, an algorithm for computing equivariant Hilbert series is presented.
△ Less
Submitted 23 June, 2020;
originally announced June 2020.
-
Experimental Observation of Quantum Many-Body Excitations of $E_8$ Symmetry in the Ising Chain Ferromagnet CoNb$_2$O$_6$
Authors:
Kirill Amelin,
Johannes Engelmayer,
Johan Viirok,
Urmas Nagel,
Toomas Rõõm,
Thomas Lorenz,
Zhe Wang
Abstract:
Close to the quantum critical point of the transverse-field Ising spin-chain model, an exotic dynamic spectrum was predicted to emerge upon a perturbative longitudinal field. The dynamic spectrum consists of eight particles and is governed by the symmetry of the $E_8$ Lie algebra. Here we report on high-resolution terahertz spectroscopy of quantum spin dynamics in the ferromagnetic Ising-chain mat…
▽ More
Close to the quantum critical point of the transverse-field Ising spin-chain model, an exotic dynamic spectrum was predicted to emerge upon a perturbative longitudinal field. The dynamic spectrum consists of eight particles and is governed by the symmetry of the $E_8$ Lie algebra. Here we report on high-resolution terahertz spectroscopy of quantum spin dynamics in the ferromagnetic Ising-chain material CoNb$_2$O$_6$. At 0.25 K in the magnetically ordered phase we identify characteristics of the first six $E_8$ particles, $\mathbf{m}_1$ to $\mathbf{m}_6$, and the two-particle ($\mathbf{m}_1+\mathbf{m}_2$) continuum in an applied transverse magnetic field of $B_c^{1D}=4.75$ T, before the three-dimensional magnetic order is suppressed above $B_c^{3D}\approx 5.3$ T. The observation of the higher-energy particles ($\mathbf{m}_3$ to $\mathbf{m}_6$) above the low-energy two-particle continua features quantum many-body effects in the exotic dynamic spectrum.
△ Less
Submitted 9 September, 2020; v1 submitted 23 June, 2020;
originally announced June 2020.
-
Observation of E8 Particles in an Ising Chain Antiferromagnet
Authors:
Zhao Zhang,
Kirill Amelin,
Xiao Wang,
Haiyuan Zou,
Jiahao Yang,
Urmas Nagel,
Toomas Rõõm,
Tusharkanti Dey,
Agustinus Agung Nugroho,
Thomas Lorenz,
Jianda Wu,
Zhe Wang
Abstract:
Near the transverse-field induced quantum critical point of the Ising chain, an exotic dynamic spectrum consisting of exactly eight particles was predicted, which is uniquely described by an emergent quantum integrable field theory with the symmetry of the $E_8$ Lie algebra, but rarely explored experimentally. Here we use high-resolution terahertz spectroscopy to resolve quantum spin dynamics of t…
▽ More
Near the transverse-field induced quantum critical point of the Ising chain, an exotic dynamic spectrum consisting of exactly eight particles was predicted, which is uniquely described by an emergent quantum integrable field theory with the symmetry of the $E_8$ Lie algebra, but rarely explored experimentally. Here we use high-resolution terahertz spectroscopy to resolve quantum spin dynamics of the quasi-one-dimensional Ising antiferromagnet BaCo$_2$V$_2$O$_8$ in an applied transverse field. By comparing to an analytical calculation of the dynamical spin correlations, we identify $E_8$ particles as well as their two-particle excitations.
△ Less
Submitted 28 May, 2020;
originally announced May 2020.
-
Equivariant Hilbert series for hierarchical models
Authors:
Aida Maraj,
Uwe Nagel
Abstract:
Toric ideals to hierarchical models are invariant under the action of a product of symmetric groups. Taking the number of factors, say m, into account, we introduce and study invariant filtrations and their equivariant Hilbert series. We present a condition that guarantees that the equivariant Hilbert series is a rational function in m+1 variables with rational coefficients. Furthermore we give ex…
▽ More
Toric ideals to hierarchical models are invariant under the action of a product of symmetric groups. Taking the number of factors, say m, into account, we introduce and study invariant filtrations and their equivariant Hilbert series. We present a condition that guarantees that the equivariant Hilbert series is a rational function in m+1 variables with rational coefficients. Furthermore we give explicit formulas for the rational functions with coefficients in a number field and an algorithm for determining the rational functions with rational coefficients. A key is to construct finite automata that recognize languages corresponding to invariant filtrations.
△ Less
Submitted 3 October, 2019; v1 submitted 28 September, 2019;
originally announced September 2019.
-
Schemes supported on the singular locus of a hyperplane arrangement in $\mathbb P^n$
Authors:
J. Migliore,
U. Nagel,
H. Schenck
Abstract:
We introduce the use of liaison addition to the study of hyperplane arrangements. For an arrangement, $\mathcal A$, of hyperplanes in $\mathbb P^n$, $\mathcal A$ is free if $R/J$ is Cohen-Macaulay, where $J$ is the Jacobian ideal of $\mathcal A$. Terao's conjecture says that freeness of $\mathcal A$ is determined by the combinatorics of the intersection lattice of $\mathcal A$. We study the Cohen-…
▽ More
We introduce the use of liaison addition to the study of hyperplane arrangements. For an arrangement, $\mathcal A$, of hyperplanes in $\mathbb P^n$, $\mathcal A$ is free if $R/J$ is Cohen-Macaulay, where $J$ is the Jacobian ideal of $\mathcal A$. Terao's conjecture says that freeness of $\mathcal A$ is determined by the combinatorics of the intersection lattice of $\mathcal A$. We study the Cohen-Macaulayness of three other ideals, all unmixed, that are closely related to $\mathcal A$. Let $\overline J = \mathfrak q_1 \cap \dots \cap \mathfrak q_s$ be the intersection of height two primary components of $J$ and $\sqrt{J} = \mathfrak p_1 \cap \dots \cap \mathfrak p_s$ be the radical of $J$. Our third ideal is $\mathfrak p_1^{b_1} \cap \dots \cap \mathfrak p_s^{b_s}$ for suitable $b_1,\dots, b_s$. With a mild hypothesis we use liaison addition to show that all of these ideals are Cohen-Macaulay. When our hypothesis does not hold, we show that these ideals are not necessarily Cohen-Macaulay, and that Cohen-Macaulayness of any of these ideals does not imply Cohen-Macaulayness of any of the others. While we do not study the freeness of $\mathcal A$, we show by example that the Betti diagrams can vary even for arrangements with the same combinatorics.
We then study the situation when the hypothesis does not hold. For equidimensional curves in $\mathbb P^3$, the Hartshorne-Rao module from liaison theory measures the failure of an ideal to be Cohen-Macaulay, degree by degree, and also determines the even liaison class of such a curve. We show that for any positive integer $r$ there is an arrangement $\mathcal A$ for which $R/\overline J$ fails to be Cohen-Macaulay in only one degree, and this failure is by $r$; we also give an analogous result for $\sqrt{J}$. We draw consequences for the corresponding even liaison class of the curve defined by $\overline J$ or by $\sqrt{J}$.
△ Less
Submitted 11 August, 2019;
originally announced August 2019.
-
Betti numbers of symmetric shifted ideals
Authors:
Jennifer Biermann,
Hernán De Alba,
Federico Galetto,
Satoshi Murai,
Uwe Nagel,
Augustine O'Keefe,
Tim Römer,
Alexandra Seceleanu
Abstract:
We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute…
▽ More
We introduce a new class of monomial ideals which we call symmetric shifted ideals. Symmetric shifted ideals are fixed by the natural action of the symmetric group and, within the class of monomial ideals fixed by this action, they can be considered as an analogue of stable monomial ideals within the class of monomial ideals. We show that a symmetric shifted ideal has linear quotients and compute its (equivariant) graded Betti numbers. As an application of this result, we obtain several consequences for graded Betti numbers of symbolic powers of defining ideals of star configurations.
△ Less
Submitted 28 October, 2020; v1 submitted 9 July, 2019;
originally announced July 2019.
-
Spin excitations of magnetoelectric LiNiPO$_4$ in multiple magnetic phases
Authors:
Laur Peedu,
Vilmos Kocsis,
Dávid Szaller,
Johan Viirok,
Urmas Nagel,
Toomas Rõõm,
Dániel Gergely Farkas,
Sándor Bordács,
Dmytro Kamenskyi,
Uli Zeitler,
Yusuke Tokunaga,
Yasujiro Taguchi,
Yoshinori Tokura,
István Kézsmárki
Abstract:
Spin excitations of magnetoelectric LiNiPO$_4$ are studied by infrared absorption spectroscopy in the THz spectral range as a function of magnetic field through various commensurate and incommensurate magnetically ordered phases up to 33\,T. Six spin resonances and a strong two-magnon continuum are observed in zero magnetic field. Our systematic polarization study reveals that some of the excitati…
▽ More
Spin excitations of magnetoelectric LiNiPO$_4$ are studied by infrared absorption spectroscopy in the THz spectral range as a function of magnetic field through various commensurate and incommensurate magnetically ordered phases up to 33\,T. Six spin resonances and a strong two-magnon continuum are observed in zero magnetic field. Our systematic polarization study reveals that some of the excitations are usual magnetic-dipole active magnon modes, while others are either electromagnons, electric-dipole active, or magnetoelectric, both electric- and magnetic-dipole active spin excitations. Field-induced shifts of the modes for all three orientations of the field along the orthorhombic axes allow us to refine the values of the relevant exchange couplings, single-ion anisotropies, and the Dzyaloshinskii-Moriya interaction on the level of a four-sublattice mean-field spin model. This model also reproduces the spectral shape of the two-magnon absorption continuum, found to be electric-dipole active in the experiment.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
Interpolation and The Weak Lefschetz Property
Authors:
Uwe Nagel,
Bill Trok
Abstract:
Our starting point is a basic problem in Hermite interpolation theory, namely determining the least degree of a homogeneous polynomial that vanishes to some specified order at every point of a given finite set. We solve this problem if the number of points is small compared to the dimension of their linear span. This also allows us to establish results on the Hilbert function of ideals generated b…
▽ More
Our starting point is a basic problem in Hermite interpolation theory, namely determining the least degree of a homogeneous polynomial that vanishes to some specified order at every point of a given finite set. We solve this problem if the number of points is small compared to the dimension of their linear span. This also allows us to establish results on the Hilbert function of ideals generated by powers of linear forms. The Verlinde formula determines such a Hilbert function in a specific instance. We complement this result and also determine the Castelnuovo-Mumford regularity of the corresponding ideals. As applications we establish new instances of conjectures by Chudnovsky and by Demailly on the Waldschmidt constant. Moreover, we show that conjectures on the failure of the weak Lefschetz property by Harbourne, Schenck, and Seceleanu as well as by Migliore, Miró-Roig, and the first author are true asymptotically. The latter also relies on a new result about Eulerian numbers.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Directional dichroism in the paramagnetic state of multiferroics: a case study of infrared light absorption in Sr2CoSi2O7 at high temperatures
Authors:
J. Viirok,
U. Nagel,
T. Rõõm,
D. Farkas,
P. Balla,
D. Szaller,
V. Kocsis,
Y. Tokunaga,
Y. Taguchi,
Y. Tokura,
B. Bernáth,
D. L. Kamenskyi,
I. Kézsmárki,
S. Bordács,
K. Penc
Abstract:
The coexisting magnetic and ferroelectric orders in multiferroic materials give rise to a handful of novel magnetoelectric phenomena, such as the absorption difference for the opposite propagation directions of light called the non-reciprocal directional dichroism (NDD). Usually these effects are restricted to low temperature, where the multiferroic phase develops. In this paper we report the obse…
▽ More
The coexisting magnetic and ferroelectric orders in multiferroic materials give rise to a handful of novel magnetoelectric phenomena, such as the absorption difference for the opposite propagation directions of light called the non-reciprocal directional dichroism (NDD). Usually these effects are restricted to low temperature, where the multiferroic phase develops. In this paper we report the observation of NDD in the paramagnetic phase of Sr2CoSi2O7 up to temperatures more than ten times higher than its Néel temperature (7 K) and in fields up to 30 T. The magnetically induced polarization and NDD in the disordered paramagnetic phase is readily explained by the single-ion spin-dependent hybridization mechanism, which does not necessitate correlation effects between magnetic ions. The Sr2CoSi2O7 provides an ideal system for a theoretical case study, demonstrating the concept of magnetoelectric spin excitations in a paramagnet via analytical as well as numerical approaches. We applied exact diagonalization of a spin cluster to map out the temperature and field dependence of the spin excitations, as well as symmetry arguments of the single ion and lattice problem to get the spectrum and selection rules.
△ Less
Submitted 26 September, 2018;
originally announced September 2018.
-
Codimension and Projective Dimension up to Symmetry
Authors:
Dinh Van Le,
Uwe Nagel,
Hop D. Nguyen,
Tim Roemer
Abstract:
Symmetric ideals in increasingly larger polynomial rings that form an ascending chain are investigated. We focus on the asymptotic behavior of codimensions and projective dimensions of ideals in such a chain. If the ideals are graded it is known that the codimensions grow eventually linearly. Here this result is extended to chains of arbitrary symmetric ideals. Moreover, the slope of the linear fu…
▽ More
Symmetric ideals in increasingly larger polynomial rings that form an ascending chain are investigated. We focus on the asymptotic behavior of codimensions and projective dimensions of ideals in such a chain. If the ideals are graded it is known that the codimensions grow eventually linearly. Here this result is extended to chains of arbitrary symmetric ideals. Moreover, the slope of the linear function is explicitly determined. We conjecture that the projective dimensions also grow eventually linearly. As part of the evidence we establish two non-trivial lower linear bounds of the projective dimensions for chains of monomial ideals. As an application, this yields Cohen-Macaulayness obstructions.
△ Less
Submitted 13 August, 2019; v1 submitted 18 September, 2018;
originally announced September 2018.
-
Squeezed Complexes
Authors:
Martina Juhnke-Kubitzke,
Uwe Nagel
Abstract:
Given a shifted order ideal $U$, we associate to it a family of simplicial complexes $(Δ_t(U))_{t\geq 0}$ that we call squeezed complexes. In a special case, our construction gives squeezed balls that were defined and used by Kalai to show that there are many more simplicial spheres than boundaries of simplicial polytopes. We study combinatorial and algebraic properties of squeezed complexes. In p…
▽ More
Given a shifted order ideal $U$, we associate to it a family of simplicial complexes $(Δ_t(U))_{t\geq 0}$ that we call squeezed complexes. In a special case, our construction gives squeezed balls that were defined and used by Kalai to show that there are many more simplicial spheres than boundaries of simplicial polytopes. We study combinatorial and algebraic properties of squeezed complexes. In particular, we show that they are vertex decomposable and characterize when they have the weak or the strong Lefschetz property. Moreover, we define a new combinatorial invariant of pure simplicial complexes, called the singularity index, that can be interpreted as a measure of how far a given simplicial complex is from being a manifold. In the case of squeezed complexes $(Δ_t(U))_{t\geq 0}$, the singularity index turns out to be strictly decreasing until it reaches (and stays) zero if $t$ grows.
△ Less
Submitted 1 August, 2018;
originally announced August 2018.
-
Castelnuovo-Mumford regularity up to symmetry
Authors:
Dinh Van Le,
Uwe Nagel,
Hop D. Nguyen,
Tim Roemer
Abstract:
We study the asymptotic behavior of the Castelnuovo-Mumford regularity along chains of graded ideals in increasingly larger polynomial rings that are invariant under the action of symmetric groups. A linear upper bound for the regularity of such ideals is established. We conjecture that their regularity grows eventually precisely linearly. We establish this conjecture in several cases, most notabl…
▽ More
We study the asymptotic behavior of the Castelnuovo-Mumford regularity along chains of graded ideals in increasingly larger polynomial rings that are invariant under the action of symmetric groups. A linear upper bound for the regularity of such ideals is established. We conjecture that their regularity grows eventually precisely linearly. We establish this conjecture in several cases, most notably when the ideals are Artinian or squarefree monomial.
△ Less
Submitted 27 December, 2019; v1 submitted 1 June, 2018;
originally announced June 2018.
-
Unexpected hypersurfaces and where to find them
Authors:
B. Harbourne,
J. Migliore,
U. Nagel,
Z. Teitler
Abstract:
In a recent paper by Cook, et al., which introduced the concept of unexpected plane curves, the focus was on understanding the geometry of the curves themselves. Here we expand the definition to hypersurfaces of any dimension and, using constructions which appeal to algebra, geometry, representation theory and computation, we obtain a coarse but complete classification of unexpected hypersurfaces.…
▽ More
In a recent paper by Cook, et al., which introduced the concept of unexpected plane curves, the focus was on understanding the geometry of the curves themselves. Here we expand the definition to hypersurfaces of any dimension and, using constructions which appeal to algebra, geometry, representation theory and computation, we obtain a coarse but complete classification of unexpected hypersurfaces. In particular, we determine each $(n,d,m)$ for which there is some finite set of points $Z\subset\mathbb P^n$ with an unexpected hypersurface of degree $d$ in $\mathbb P^n$ having a general point $P$ of multiplicity $m$. Our constructions also give new insight into the interesting question of where to look for such $Z$. Recent work of Di Marca, Malara and Oneto \cite{DMO} and of Bauer, Malara, Szemberg and Szpond \cite{BMSS} give new results and examples in $\mathbb P^2$ and $\mathbb P^3$. We obtain our main results using a new construction of unexpected hypersurfaces involving cones. This method applies in $\mathbb P^n$ for $n \geq 3$ and gives a broad range of examples, which we link to certain failures of the Weak Lefschetz Property. We also give constructions using root systems, both in $\mathbb P^2$ and $\mathbb P^n$ for $n \geq 3$. Finally, we explain an observation of \cite{BMSS}, showing that the unexpected curves of \cite{CHMN} are in some sense dual to their tangent cones at their singular point.
△ Less
Submitted 20 December, 2018; v1 submitted 27 May, 2018;
originally announced May 2018.
-
Magnetoelectric memory function with optical readout
Authors:
Vilmos Kocsis,
Karlo Penc,
Toomas Rõõm,
Urmas Nagel,
Jakub Vít,
Judit Romhányi,
Yusuke Tokunaga,
Yasujiro Taguchi,
Yoshinori Tokura,
István Kézsmárki,
Sándor Bordács
Abstract:
The ultimate goal of multiferroic research is the development of new-generation non-volatile memory devices, the so-called magnetoelectric (ME) memories, where magnetic bits are controlled via electric fields without the application of electrical currents subject to dissipation. This low-power operation exploits the entanglement of the magnetization and the electric polarization coexisting in mult…
▽ More
The ultimate goal of multiferroic research is the development of new-generation non-volatile memory devices, the so-called magnetoelectric (ME) memories, where magnetic bits are controlled via electric fields without the application of electrical currents subject to dissipation. This low-power operation exploits the entanglement of the magnetization and the electric polarization coexisting in multiferroic materials. Here we demonstrate the optical readout of ME memory states in the antiferromagnetic (AFM) and antiferroelectric (AFE) LiCoPO$_4$, based on the strong absorption difference of THz radiation between its two types of ME domains. This unusual contrast is attributed to the dynamic ME effect of the spin-wave excitations, as confirmed by our microscopic model, which also captures the characteristics of the observed static ME effect. Our proof-of-principle study, demonstrating the control and the optical readout of ME domains in LiCoPO$_4$, lays down the foundation for future ME memory devices based on antiferroelectric-antiferromagnetic insulators.
△ Less
Submitted 21 November, 2017;
originally announced November 2017.
-
FI- and OI-modules with varying coefficients
Authors:
Uwe Nagel,
Tim Römer
Abstract:
We introduce FI-algebras over a commutative ring $K$ and the category of FI-modules over an FI-algebra. Such a module may be considered as a family of invariant modules over compatible varying $K$-algebras. FI-modules over $K$ correspond to the well studied constant coefficient case where every algebra equals $K$. We show that a finitely generated FI-module over a noetherian polynomial FI-algebra…
▽ More
We introduce FI-algebras over a commutative ring $K$ and the category of FI-modules over an FI-algebra. Such a module may be considered as a family of invariant modules over compatible varying $K$-algebras. FI-modules over $K$ correspond to the well studied constant coefficient case where every algebra equals $K$. We show that a finitely generated FI-module over a noetherian polynomial FI-algebra is a noetherian module. This is established by introducing OI-modules. We prove that every submodule of a finitely generated free OI-module over a noetherian polynomial OI-algebra has a finite Gröbner basis. Applying our noetherianity results to a family of free resolutions, finite generation translates into stabilization of syzygies in any fixed homological degree. In particular, in the graded case this gives uniformity results on degrees of minimal syzygies.
△ Less
Submitted 2 November, 2017; v1 submitted 25 October, 2017;
originally announced October 2017.
-
The Minimal Resolution Conjecture on a general quartic surface in $\mathbb P^3$
Authors:
Mats Boij,
Juan C. Migliore,
Rosa María Miró-Roig,
Uwe Nagel
Abstract:
Mustaţă has given a conjecture for the graded Betti numbers in the minimal free resolution of the ideal of a general set of points on an irreducible projective algebraic variety. For surfaces in $\mathbb P^3$ this conjecture has been proven for points on quadric surfaces and on general cubic surfaces. In the latter case, Gorenstein liaison was the main tool. Here we prove the conjecture for genera…
▽ More
Mustaţă has given a conjecture for the graded Betti numbers in the minimal free resolution of the ideal of a general set of points on an irreducible projective algebraic variety. For surfaces in $\mathbb P^3$ this conjecture has been proven for points on quadric surfaces and on general cubic surfaces. In the latter case, Gorenstein liaison was the main tool. Here we prove the conjecture for general quartic surfaces. Gorenstein liaison continues to be a central tool, but to prove the existence of our links we make use of certain dimension computations. We also discuss the higher degree case, but now the dimension count does not force the existence of our links.
△ Less
Submitted 27 May, 2018; v1 submitted 18 July, 2017;
originally announced July 2017.
-
The Weak Lefschetz property for quotients by Quadratic Monomials
Authors:
Juan Migliore,
Uwe Nagel,
Hal Schenck
Abstract:
In [MMR], Michałek--Miró-Roig give a beautiful geometric characterization of Artinian quotients by ideals generated by quadratic or cubic monomials, such that the multiplication map by a general linear form fails to be injective in the first nontrivial degree. Their work was motivated by conjectures of Ilardi and Mezzetti-Miró-Roig-Ottaviani, connecting the failure to Laplace equations and classic…
▽ More
In [MMR], Michałek--Miró-Roig give a beautiful geometric characterization of Artinian quotients by ideals generated by quadratic or cubic monomials, such that the multiplication map by a general linear form fails to be injective in the first nontrivial degree. Their work was motivated by conjectures of Ilardi and Mezzetti-Miró-Roig-Ottaviani, connecting the failure to Laplace equations and classical results of Togliatti on osculating planes. We study quotients by quadratic monomial ideals, explaining failure of the Weak Lefschetz Property for some cases not covered by [MMR].
△ Less
Submitted 15 June, 2017;
originally announced June 2017.
-
The Lefschetz question for ideals generated by powers of linear forms in few variables
Authors:
Juan Migliore,
Uwe Nagel
Abstract:
The Lefschetz question asks if multiplication by a power of a general linear form, $L$, on a graded algebra has maximal rank (in every degree). We consider a quotient by an ideal that is generated by powers of linear forms. Then the Lefschetz question is, for example, related to the problem whether a set of fat points imposes the expected number of conditions on a linear system of hypersurfaces of…
▽ More
The Lefschetz question asks if multiplication by a power of a general linear form, $L$, on a graded algebra has maximal rank (in every degree). We consider a quotient by an ideal that is generated by powers of linear forms. Then the Lefschetz question is, for example, related to the problem whether a set of fat points imposes the expected number of conditions on a linear system of hypersurfaces of fixed degree. Our starting point is a result that relates Lefschetz properties in different rings. It suggests to use induction on the number of variables, $n$. If $n = 3$, then it is known that multiplication by $L$ always has maximal rank. We show that the same is true for multiplication by $L^2$ if all linear forms are general. Furthermore, we give a complete description of when multiplication by $L^3$ has maximal rank (and its failure when it does not). As a consequence, for such ideals that contain a quadratic or cubic generator, we establish results on the so-called Strong Lefschetz Property for ideals in $n=3$ variables, and the Weak Lefschetz Property for ideals in $n=4$ variables.
△ Less
Submitted 7 August, 2017; v1 submitted 21 March, 2017;
originally announced March 2017.