-
Volt-PF Control Mode for Distribution Feeder Voltage Management Under High Penetration of Distributed Energy Resources
Authors:
Madhura Sondharangalla,
Dan Moldovan,
Raja Ayyanar
Abstract:
Volt-VAr control is a popular method for mitigating overvoltage violations caused by high penetration of distributed energy resources (DERs) in distribution feeders. An inherent limitation of volt-VAr control is that the reactive power (Q) absorbed/injected by the DER is determined based only on the terminal voltage, without considering the active power (P) generated by the DER. This leads to an i…
▽ More
Volt-VAr control is a popular method for mitigating overvoltage violations caused by high penetration of distributed energy resources (DERs) in distribution feeders. An inherent limitation of volt-VAr control is that the reactive power (Q) absorbed/injected by the DER is determined based only on the terminal voltage, without considering the active power (P) generated by the DER. This leads to an inequitable burden of Q support, in the sense that those DERs generating lower P, and hence contributing less to overvoltage issues, may be required to provide more than their share of $Q$ support. The resulting PF of these DERs is required to vary over a wide range, which many current DERs do not support. A new control scheme, namely volt-PF control, is proposed here where the Q support is inherently a function of both the voltage and $P$ from DERs, which alleviates the above concerns while limiting the PF variation within a narrow range of 0.9 to 1. The proposed scheme is validated through extensive static and dynamic simulations on a real, large (8000+ nodes) feeder with very high penetration (>200%) of DERs.The implementation of the new scheme in new and existing commercial hardware inverters is described.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Two sub-Neptunes around the M dwarf TOI-1470
Authors:
E. González-Álvarez,
M. R. Zapatero Osorio,
J. A. Caballero,
V. J. S. Béjar,
C. Cifuentes,
A. Fukui,
E. Herrero,
K. Kawauchi,
J. H. Livingston,
M. J. López-González,
G. Morello,
F. Murgas,
N. Narita,
E. Pallé,
V. M. Passegger,
E. Rodríguez,
C. Rodríguez-López,
J. Sanz-Forcada,
A. Schweitzer,
H. M. Tabernero,
A. Quirrenbach,
P. J. Amado,
D. Charbonneau,
D. R. Ciardi,
S. Cikota
, et al. (28 additional authors not shown)
Abstract:
Aims. A transiting planet candidate with a sub-Neptune radius orbiting the nearby ($d$ = 51.9$\pm$0.07 pc) M1.5 V star TOI-1470 with a period of $\sim$2.5 d was announced by the NASA Transiting Exoplanet Survey Satellite (TESS), which observed the field of TOI-1470 in four different sectors. We aim to validate its planetary nature using precise radial velocities (RVs) taken with the CARMENES spect…
▽ More
Aims. A transiting planet candidate with a sub-Neptune radius orbiting the nearby ($d$ = 51.9$\pm$0.07 pc) M1.5 V star TOI-1470 with a period of $\sim$2.5 d was announced by the NASA Transiting Exoplanet Survey Satellite (TESS), which observed the field of TOI-1470 in four different sectors. We aim to validate its planetary nature using precise radial velocities (RVs) taken with the CARMENES spectrograph.
Methods. We obtained 44 RV measurements with CARMENES spanning eight months between 3 June 2020 and 17 January 2021. For a better characterization of the parent star activity, we also collected contemporaneous optical photometric observations at the Joan Oró and Sierra Nevada Observatories, and we retrieved archival photometry from the literature. We used ground-based photometric observations from MuSCAT and also from MuSCAT2 and MuSCAT3 to confirm the planetary transit signals. We performed a combined photometric and spectroscopic analysis by including Gaussian processes and Keplerian orbits to simultaneously account for the stellar activity and planetary signals.
Results. We estimate that TOI-1470 has a rotation period of 29$\pm$3 d based on photometric and spectroscopic data. The combined analysis confirms the discovery of the announced transiting planet, TOI-1470 b, with an orbital period of 2.527093$\pm$0.000003 d, a mass of $7.32^{+1.21}_{-1.24}$ M$_{\oplus}$, and a radius of $2.18^{+0.04}_{-0.04}$ R$_{\oplus}$. We also discover a second transiting planet that was not announced previously by TESS, TOI-1470 c, with an orbital period of 18.08816$\pm$0.00006 d, a mass of $7.24^{+2.87}_{-2.77}$ M$_{\oplus}$, and a radius of $2.47^{+0.02}_{-0.02}$ R$_{\oplus}$. The two planets are placed on the same side of the radius valley of M dwarfs and lie between TOI-1470 and the inner border of its habitable zone.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Two Warm Neptunes transiting HIP 9618 revealed by TESS & Cheops
Authors:
Hugh P. Osborn,
Grzegorz Nowak,
Guillaume Hébrard,
Thomas Masseron,
J. Lillo-Box,
Enric Pallé,
Anja Bekkelien,
Hans-Gustav Florén,
Pascal Guterman,
Attila E. Simon,
V. Adibekyan,
Allyson Bieryla,
Luca Borsato,
Alexis Brandeker,
David R. Ciardi,
Andrew Collier Cameron,
Karen A. Collins,
Jo A. Egger,
Davide Gandolfi,
Matthew J. Hooton,
David W. Latham,
Monika Lendl,
Elisabeth C. Matthews,
Amy Tuson,
Solène Ulmer-Moll
, et al. (104 additional authors not shown)
Abstract:
HIP 9618 (HD 12572, TOI-1471, TIC 306263608) is a bright ($G=9.0$ mag) solar analogue. TESS photometry revealed the star to have two candidate planets with radii of $3.9 \pm 0.044$ $R_\oplus$ (HIP 9618 b) and $3.343 \pm 0.039$ $R_\oplus$ (HIP 9618 c). While the 20.77291 day period of HIP 9618 b was measured unambiguously, HIP 9618 c showed only two transits separated by a 680-day gap in the time s…
▽ More
HIP 9618 (HD 12572, TOI-1471, TIC 306263608) is a bright ($G=9.0$ mag) solar analogue. TESS photometry revealed the star to have two candidate planets with radii of $3.9 \pm 0.044$ $R_\oplus$ (HIP 9618 b) and $3.343 \pm 0.039$ $R_\oplus$ (HIP 9618 c). While the 20.77291 day period of HIP 9618 b was measured unambiguously, HIP 9618 c showed only two transits separated by a 680-day gap in the time series, leaving many possibilities for the period. To solve this issue, CHEOPS performed targeted photometry of period aliases to attempt to recover the true period of planet c, and successfully determined the true period to be 52.56349 d. High-resolution spectroscopy with HARPS-N, SOPHIE and CAFE revealed a mass of $10.0 \pm 3.1 M_\oplus$ for HIP 9618 b, which, according to our interior structure models, corresponds to a $6.8\pm1.4\%$ gas fraction. HIP 9618 c appears to have a lower mass than HIP 9618 b, with a 3-sigma upper limit of $< 18M_\oplus$. Follow-up and archival RV measurements also reveal a clear long-term trend which, when combined with imaging and astrometric information, reveal a low-mass companion ($0.08^{+0.12}_{-0.05} M_\odot$) orbiting at $26^{+19}_{-11}$ au. This detection makes HIP 9618 one of only five bright ($K<8$ mag) transiting multi-planet systems known to host a planet with $P>50$ d, opening the door for the atmospheric characterisation of warm ($T_{\rm eq}<750$ K) sub-Neptunes.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
TOI-3235 b: a transiting giant planet around an M4 dwarf star
Authors:
Melissa J. Hobson,
Andrés Jordán,
E. M. Bryant,
R. Brahm,
D. Bayliss,
J. D. Hartman,
G. Á. Bakos,
Th. Henning,
Jose Manuel Almenara,
Khalid Barkaoui,
Zouhair Benkhaldoun,
Xavier Bonfils,
François Bouchy,
David Charbonneau,
Marion Cointepas,
Karen A. Collins,
Jason D. Eastman,
Mourad Ghachoui,
Michaël Gillon,
Robert F. Goeke,
Keith Horne,
Jonathan M. Irwin,
Emmanuel Jehin,
Jon M. Jenkins,
David W. Latham
, et al. (12 additional authors not shown)
Abstract:
We present the discovery of TOI-3235 b, a short-period Jupiter orbiting an M-dwarf with a stellar mass close to the critical mass at which stars transition from partially to fully convective. TOI-3235 b was first identified as a candidate from TESS photometry, and confirmed with radial velocities from ESPRESSO, and ground-based photometry from HATSouth, MEarth-South, TRAPPIST-South, LCOGT, and ExT…
▽ More
We present the discovery of TOI-3235 b, a short-period Jupiter orbiting an M-dwarf with a stellar mass close to the critical mass at which stars transition from partially to fully convective. TOI-3235 b was first identified as a candidate from TESS photometry, and confirmed with radial velocities from ESPRESSO, and ground-based photometry from HATSouth, MEarth-South, TRAPPIST-South, LCOGT, and ExTrA. We find that the planet has a mass of $\mathrm{0.665\pm0.025\,M_J}$ and a radius of $\mathrm{1.017\pm0.044\,R_J}$. It orbits close to its host star, with an orbital period of $\mathrm{2.5926\,d}$, but has an equilibrium temperature of $\mathrm{\approx 604 \, K}$, well below the expected threshold for radius inflation of hot Jupiters. The host star has a mass of $\mathrm{0.3939\pm0.0030\,M_\odot}$, a radius of $\mathrm{0.3697\pm0.0018\,R_\odot}$, an effective temperature of $\mathrm{3389 \, K}$, and a J-band magnitude of $\mathrm{11.706\pm0.025}$. Current planet formation models do not predict the existence of gas giants such as TOI-3235 b around such low-mass stars. With a high transmission spectroscopy metric, TOI-3235 b is one of the best-suited giants orbiting M-dwarfs for atmospheric characterization.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
Identifying Exoplanets with Deep Learning. V. Improved Light Curve Classification for TESS Full Frame Image Observations
Authors:
Evan Tey,
Dan Moldovan,
Michelle Kunimoto,
Chelsea X. Huang,
Avi Shporer,
Tansu Daylan,
Daniel Muthukrishna,
Andrew Vanderburg,
Anne Dattilo,
George R. Ricker,
S. Seager
Abstract:
The TESS mission produces a large amount of time series data, only a small fraction of which contain detectable exoplanetary transit signals. Deep learning techniques such as neural networks have proved effective at differentiating promising astrophysical eclipsing candidates from other phenomena such as stellar variability and systematic instrumental effects in an efficient, unbiased and sustaina…
▽ More
The TESS mission produces a large amount of time series data, only a small fraction of which contain detectable exoplanetary transit signals. Deep learning techniques such as neural networks have proved effective at differentiating promising astrophysical eclipsing candidates from other phenomena such as stellar variability and systematic instrumental effects in an efficient, unbiased and sustainable manner. This paper presents a high quality dataset containing light curves from the Primary Mission and 1st Extended Mission full frame images and periodic signals detected via Box Least Squares (Kovács et al. 2002; Hartman 2012). The dataset was curated using a thorough manual review process then used to train a neural network called Astronet-Triage-v2. On our test set, for transiting/eclipsing events we achieve a 99.6% recall (true positives over all data with positive labels) at a precision of 75.7% (true positives over all predicted positives). Since 90% of our training data is from the Primary Mission, we also test our ability to generalize on held-out 1st Extended Mission data. Here, we find an area under the precision-recall curve of 0.965, a 4% improvement over Astronet-Triage (Yu et al. 2019). On the TESS Object of Interest (TOI) Catalog through April 2022, a shortlist of planets and planet candidates, Astronet-Triage-v2 is able to recover 3577 out of 4140 TOIs, while Astronet-Triage only recovers 3349 targets at an equal level of precision. In other words, upgrading to Astronet-Triage-v2 helps save at least 200 planet candidates from being lost. The new model is currently used for planet candidate triage in the Quick-Look Pipeline (Huang et al. 2020a,b; Kunimoto et al. 2021).
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
An old warm Jupiter orbiting the metal-poor G-dwarf TOI-5542
Authors:
Nolan Grieves,
François Bouchy,
Solène Ulmer-Moll,
Samuel Gill,
David R. Anderson,
Angelica Psaridi,
Monika Lendl,
Keivan G. Stassun,
Jon M. Jenkins,
Matthew R. Burleigh,
Jack S. Acton,
Patricia T. Boyd,
Sarah L. Casewell,
Philipp Eigmüller,
Michael R. Goad,
Robert F. Goeke,
Maximilian N. Günther,
Faith Hawthorn,
Beth A. Henderson,
Christopher E. Henze,
Andrés Jordán,
Alicia Kendall,
Lokesh Mishra,
Dan Moldovan,
Maximiliano Moyano
, et al. (9 additional authors not shown)
Abstract:
We report the discovery of a 1.32$^{+0.10}_{-0.10}$ $\mathrm{M_{\rm Jup}}$ planet orbiting on a 75.12 day period around the G3V $10.8^{+2.1}_{-3.6}$ Gyr old star TOI-5542 (TIC 466206508; TYC 9086-1210-1). The planet was first detected by the Transiting Exoplanet Survey Satellite (TESS) as a single transit event in TESS Sector 13. A second transit was observed 376 days later in TESS Sector 27. The…
▽ More
We report the discovery of a 1.32$^{+0.10}_{-0.10}$ $\mathrm{M_{\rm Jup}}$ planet orbiting on a 75.12 day period around the G3V $10.8^{+2.1}_{-3.6}$ Gyr old star TOI-5542 (TIC 466206508; TYC 9086-1210-1). The planet was first detected by the Transiting Exoplanet Survey Satellite (TESS) as a single transit event in TESS Sector 13. A second transit was observed 376 days later in TESS Sector 27. The planetary nature of the object has been confirmed by ground-based spectroscopic and radial velocity observations from the CORALIE and HARPS spectrographs. A third transit event was detected by the ground-based facilities NGTS, EulerCam, and SAAO. We find the planet has a radius of 1.009$^{+0.036}_{-0.035}$ $\mathrm{R_{\rm Jup}}$ and an insolation of 9.6$^{+0.9}_{-0.8}$ $S_{\oplus}$, along with a circular orbit that most likely formed via disk migration or in situ formation, rather than high-eccentricity migration mechanisms. Our analysis of the HARPS spectra yields a host star metallicity of [Fe/H] = $-$0.21$\pm$0.08, which does not follow the traditional trend of high host star metallicity for giant planets and does not bolster studies suggesting a difference among low- and high-mass giant planet host star metallicities. Additionally, when analyzing a sample of 216 well-characterized giant planets, we find that both high masses (4 $\mathrm{M_{\rm Jup}}$ $<M_{p}<$ 13 $\mathrm{M_{\rm Jup}}$) and low masses (0.5 $\mathrm{M_{\rm Jup}}$ $<M_{p}<$ 4 $\mathrm{M_{\rm Jup}}$), as well as both both warm (P $>$ 10 days) and hot (P $<$ 10 days) giant planets are preferentially located around metal-rich stars (mean [Fe/H] $>$ 0.1). TOI-5542b is one of the oldest known warm Jupiters and it is cool enough to be unaffected by inflation due to stellar incident flux, making it a valuable contribution in the context of planetary composition and formation studies.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Algorithmic decision making methods for fair credit scoring
Authors:
Darie Moldovan
Abstract:
The effectiveness of machine learning in evaluating the creditworthiness of loan applicants has been demonstrated for a long time. However, there is concern that the use of automated decision-making processes may result in unequal treatment of groups or individuals, potentially leading to discriminatory outcomes. This paper seeks to address this issue by evaluating the effectiveness of 12 leading…
▽ More
The effectiveness of machine learning in evaluating the creditworthiness of loan applicants has been demonstrated for a long time. However, there is concern that the use of automated decision-making processes may result in unequal treatment of groups or individuals, potentially leading to discriminatory outcomes. This paper seeks to address this issue by evaluating the effectiveness of 12 leading bias mitigation methods across 5 different fairness metrics, as well as assessing their accuracy and potential profitability for financial institutions. Through our analysis, we have identified the challenges associated with achieving fairness while maintaining accuracy and profitabiliy, and have highlighted both the most successful and least successful mitigation methods. Ultimately, our research serves to bridge the gap between experimental machine learning and its practical applications in the finance industry.
△ Less
Submitted 22 June, 2023; v1 submitted 16 September, 2022;
originally announced September 2022.
-
The multichord stellar occultation on 2019 October 22 by the trans-Neptunian object (84922) 2003 VS$_2$
Authors:
M. Vara-Lubiano,
G. Benedetti-Rossi,
P. Santos-Sanz,
J. L. Ortiz,
B. Sicardy,
M. Popescu,
N. Morales,
F. L. Rommel,
B. Morgado,
C. L. Pereira,
A. Álvarez-Candal,
E. Fernández-Valenzuela,
D. Souami,
D. Ilic,
O. Vince,
R. Bachev,
E. Semkov,
D. A. Nedelcu,
A. Şonka,
L. Hudin,
M. Boaca,
V. Inceu,
L. Curelaru,
R. Gherase,
V. Turcu
, et al. (38 additional authors not shown)
Abstract:
We predicted, observed, and analyzed the multichord stellar occultation of the Second Gaia Data Release (Gaia DR2) source 3449076721168026624 (m$_v$ = 14.1 mag) by the plutino object 2003 VS$_2$ (hereafter, VS$_2$) on 2019 October 22. We also carried out photometric observations to derive the rotational light curve amplitude and rotational phase of VS$_2$ during the stellar occultation. Combining…
▽ More
We predicted, observed, and analyzed the multichord stellar occultation of the Second Gaia Data Release (Gaia DR2) source 3449076721168026624 (m$_v$ = 14.1 mag) by the plutino object 2003 VS$_2$ (hereafter, VS$_2$) on 2019 October 22. We also carried out photometric observations to derive the rotational light curve amplitude and rotational phase of VS$_2$ during the stellar occultation. Combining the results and assuming a triaxial shape, we derived the 3D shape of VS$_2$.
Out of the 39 observatories involved in the observational campaign, 12 sites reported a positive detection; this makes it one of the best observed stellar occultations by a TNO so far. We obtained a rotational light curve amplitude of $Δ$m = 0.264 $\pm$ 0.017 mag, a mean area-equivalent diameter of D$_{A_{eq}}$ = 545 $\pm$ 13 km, and a geometric albedo of 0.134 $\pm$ 0.010. The best triaxial shape obtained for VS$_2$ has semiaxes a = 339 $\pm$ 5 km, b = 235 $\pm$ 6 km, and c = 226 $\pm$ 8 km. The derived aspect angle is $θ$ = 59$° \pm$ 2$°$ or its supplementary $θ$ = 121$° \pm$ 2$°$, depending on the north-pole position. The spherical-volume equivalent diameter is D$_{V_{eq}}$ = 524 $\pm$ 7 km. If we consider large albedo patches on its surface, the semi-major axis of the ellipsoid could be ~10 km smaller. These results are compatible with the previous ones determined from the single-chord 2013 and four-chord 2014 stellar occultations and with the effective diameter and albedo derived from Herschel and Spitzer data. They provide evidence that VS$_2$'s 3D shape is not compatible with a homogeneous triaxial body in hydrostatic equilibrium, but it might be a differentiated body and/or might be sustaining some stress. No secondary features related to rings or material orbiting around VS$_2$ were detected.
△ Less
Submitted 25 May, 2022;
originally announced May 2022.
-
TOI-2046b, TOI-1181b and TOI-1516b, three new hot Jupiters from \textit{TESS}: planets orbiting a young star, a subgiant and a normal star
Authors:
Petr Kabáth,
Priyanka Chaturvedi,
Phillip J. MacQueen,
Marek Skarka,
Ján Šubjak,
Massimilliano Esposito,
William D. Cochran,
Salvatore E. Bellomo,
Raine Karjalainen,
Eike W. Guenther,
Michael Endl,
Szilárd Csizmadia,
Marie Karjalainen,
Artie Hatzes,
Jiří Žák,
Davide Gandolfi,
Henri M. J. Boffin,
Jose I. Vines,
John H. Livingston,
Rafael A. García,
Savita Mathur,
Lucía González-Cuesta,
Martin Blažek,
Douglas A. Caldwell,
Knicole D. Colón
, et al. (32 additional authors not shown)
Abstract:
We present the confirmation and characterization of three hot Jupiters, TOI-1181b, TOI-1516b, and TOI-2046b, discovered by the TESS space mission. The reported hot Jupiters have orbital periods between 1.4 and 2.05 days. The masses of the three planets are $1.18\pm0.14$ M$_{\mathrm{J}}$, $3.16\pm0.12$\, M$_{\mathrm{J}}$, and 2.30 $\pm 0.28$ M$_{\mathrm{J}}$, for TOI-1181b, TOI-1516b, and TOI-2046b…
▽ More
We present the confirmation and characterization of three hot Jupiters, TOI-1181b, TOI-1516b, and TOI-2046b, discovered by the TESS space mission. The reported hot Jupiters have orbital periods between 1.4 and 2.05 days. The masses of the three planets are $1.18\pm0.14$ M$_{\mathrm{J}}$, $3.16\pm0.12$\, M$_{\mathrm{J}}$, and 2.30 $\pm 0.28$ M$_{\mathrm{J}}$, for TOI-1181b, TOI-1516b, and TOI-2046b, respectively. The stellar host of TOI-1181b is a F9IV star, whereas TOI-1516b and TOI-2046b orbit F main sequence host stars. The ages of the first two systems are in the range of 2-5 Gyrs. However, TOI-2046 is among the few youngest known planetary systems hosting a hot Jupiter, with an age estimate of 100-400 Myrs. The main instruments used for the radial velocity follow-up of these three planets are located at Ondřejov, Tautenburg and McDonald Observatory, and all three are mounted on 2-3 meter aperture telescopes, demonstrating that mid-aperture telescope networks can play a substantial role in the follow-up of gas giants discovered by \textit{TESS} and in the future by \textit{PLATO}.
△ Less
Submitted 3 May, 2022;
originally announced May 2022.
-
TOI-2119: A transiting brown dwarf orbiting an active M-dwarf from NASA's TESS mission
Authors:
Theron W. Carmichael,
Jonathan M. Irwin,
Felipe Murgas,
Enric Pallé,
Keivan G. Stassun,
Matthew Bartnik,
Karen A. Collins,
Jerome de Leon,
Emma Esparza-Borges,
Jeremy Fedewa,
William Fong,
Akihiko Fukui,
Jon M. Jenkins,
Taiki Kagetani,
David W. Latham,
Michael B. Lund,
Andrew W. Mann,
Dan Moldovan,
Edward H. Morgan,
Norio Narita,
Shane Painter,
Hannu Parviainen,
Elisa V. Quintana,
George R. Ricker,
Jack Schulte
, et al. (5 additional authors not shown)
Abstract:
We report the discovery of TOI-2119b, a transiting brown dwarf (BD) that orbits and is completely eclipsed by an active M-dwarf star. Using light curve data from the Transiting Exoplanet Survey Satellite mission and follow-up high-resolution Doppler spectroscopic observations, we find the BD has a radius of $R_b = 1.08 \pm 0.03{\rm R_J}$, a mass of $M_b = 64.4 \pm 2.3{\rm M_J}$, an orbital period…
▽ More
We report the discovery of TOI-2119b, a transiting brown dwarf (BD) that orbits and is completely eclipsed by an active M-dwarf star. Using light curve data from the Transiting Exoplanet Survey Satellite mission and follow-up high-resolution Doppler spectroscopic observations, we find the BD has a radius of $R_b = 1.08 \pm 0.03{\rm R_J}$, a mass of $M_b = 64.4 \pm 2.3{\rm M_J}$, an orbital period of $P = 7.200865 \pm 0.00002$ days, and an eccentricity of $e=0.337\pm 0.002$. The host star has a mass of $M_\star = 0.53 \pm 0.02{\rm M_\odot}$, a radius of $R_\star= 0.50 \pm 0.01{\rm R_\odot}$, an effective temperature of $T_{\rm eff} = 3621 \pm 48$K, and a metallicity of $\rm [Fe/H]=+0.06\pm 0.08$. TOI-2119b joins an emerging population of transiting BDs around M-dwarf host stars, with TOI-2119 being the ninth such system. These M-dwarf--brown dwarf systems typically occupy mass ratios near $q = M_b/M_\star \approx 0.1-0.2$, which separates them from the typical mass ratios for systems with transiting substellar objects and giant exoplanets that orbit more massive stars. The nature of the secondary eclipse of the BD by the star enables us to estimate the effective temperature of the substellar object to be $2030\pm 84$K, which is consistent with predictions by substellar evolutionary models.
△ Less
Submitted 14 June, 2022; v1 submitted 17 February, 2022;
originally announced February 2022.
-
CEREC: A Corpus for Entity Resolution in Email Conversations
Authors:
Parag Pravin Dakle,
Dan I. Moldovan
Abstract:
We present the first large scale corpus for entity resolution in email conversations (CEREC). The corpus consists of 6001 email threads from the Enron Email Corpus containing 36,448 email messages and 60,383 entity coreference chains. The annotation is carried out as a two-step process with minimal manual effort. Experiments are carried out for evaluating different features and performance of four…
▽ More
We present the first large scale corpus for entity resolution in email conversations (CEREC). The corpus consists of 6001 email threads from the Enron Email Corpus containing 36,448 email messages and 60,383 entity coreference chains. The annotation is carried out as a two-step process with minimal manual effort. Experiments are carried out for evaluating different features and performance of four baselines on the created corpus. For the task of mention identification and coreference resolution, a best performance of 59.2 F1 is reported, highlighting the room for improvement. An in-depth qualitative and quantitative error analysis is presented to understand the limitations of the baselines considered.
△ Less
Submitted 1 June, 2021; v1 submitted 21 May, 2021;
originally announced May 2021.
-
Causally motivated Shortcut Removal Using Auxiliary Labels
Authors:
Maggie Makar,
Ben Packer,
Dan Moldovan,
Davis Blalock,
Yoni Halpern,
Alexander D'Amour
Abstract:
Shortcut learning, in which models make use of easy-to-represent but unstable associations, is a major failure mode for robust machine learning. We study a flexible, causally-motivated approach to training robust predictors by discouraging the use of specific shortcuts, focusing on a common setting where a robust predictor could achieve optimal \emph{iid} generalization in principle, but is oversh…
▽ More
Shortcut learning, in which models make use of easy-to-represent but unstable associations, is a major failure mode for robust machine learning. We study a flexible, causally-motivated approach to training robust predictors by discouraging the use of specific shortcuts, focusing on a common setting where a robust predictor could achieve optimal \emph{iid} generalization in principle, but is overshadowed by a shortcut predictor in practice. Our approach uses auxiliary labels, typically available at training time, to enforce conditional independences implied by the causal graph. We show both theoretically and empirically that causally-motivated regularization schemes (a) lead to more robust estimators that generalize well under distribution shift, and (b) have better finite sample efficiency compared to usual regularization schemes, even when no shortcut is present. Our analysis highlights important theoretical properties of training techniques commonly used in the causal inference, fairness, and disentanglement literatures. Our code is available at https://github.com/mymakar/causally_motivated_shortcut_removal
△ Less
Submitted 23 February, 2022; v1 submitted 13 May, 2021;
originally announced May 2021.
-
Underspecification Presents Challenges for Credibility in Modern Machine Learning
Authors:
Alexander D'Amour,
Katherine Heller,
Dan Moldovan,
Ben Adlam,
Babak Alipanahi,
Alex Beutel,
Christina Chen,
Jonathan Deaton,
Jacob Eisenstein,
Matthew D. Hoffman,
Farhad Hormozdiari,
Neil Houlsby,
Shaobo Hou,
Ghassen Jerfel,
Alan Karthikesalingam,
Mario Lucic,
Yian Ma,
Cory McLean,
Diana Mincu,
Akinori Mitani,
Andrea Montanari,
Zachary Nado,
Vivek Natarajan,
Christopher Nielson,
Thomas F. Osborne
, et al. (15 additional authors not shown)
Abstract:
ML models often exhibit unexpectedly poor behavior when they are deployed in real-world domains. We identify underspecification as a key reason for these failures. An ML pipeline is underspecified when it can return many predictors with equivalently strong held-out performance in the training domain. Underspecification is common in modern ML pipelines, such as those based on deep learning. Predict…
▽ More
ML models often exhibit unexpectedly poor behavior when they are deployed in real-world domains. We identify underspecification as a key reason for these failures. An ML pipeline is underspecified when it can return many predictors with equivalently strong held-out performance in the training domain. Underspecification is common in modern ML pipelines, such as those based on deep learning. Predictors returned by underspecified pipelines are often treated as equivalent based on their training domain performance, but we show here that such predictors can behave very differently in deployment domains. This ambiguity can lead to instability and poor model behavior in practice, and is a distinct failure mode from previously identified issues arising from structural mismatch between training and deployment domains. We show that this problem appears in a wide variety of practical ML pipelines, using examples from computer vision, medical imaging, natural language processing, clinical risk prediction based on electronic health records, and medical genomics. Our results show the need to explicitly account for underspecification in modeling pipelines that are intended for real-world deployment in any domain.
△ Less
Submitted 24 November, 2020; v1 submitted 6 November, 2020;
originally announced November 2020.
-
On Robustness and Transferability of Convolutional Neural Networks
Authors:
Josip Djolonga,
Jessica Yung,
Michael Tschannen,
Rob Romijnders,
Lucas Beyer,
Alexander Kolesnikov,
Joan Puigcerver,
Matthias Minderer,
Alexander D'Amour,
Dan Moldovan,
Sylvain Gelly,
Neil Houlsby,
Xiaohua Zhai,
Mario Lucic
Abstract:
Modern deep convolutional networks (CNNs) are often criticized for not generalizing under distributional shifts. However, several recent breakthroughs in transfer learning suggest that these networks can cope with severe distribution shifts and successfully adapt to new tasks from a few training examples. In this work we study the interplay between out-of-distribution and transfer performance of m…
▽ More
Modern deep convolutional networks (CNNs) are often criticized for not generalizing under distributional shifts. However, several recent breakthroughs in transfer learning suggest that these networks can cope with severe distribution shifts and successfully adapt to new tasks from a few training examples. In this work we study the interplay between out-of-distribution and transfer performance of modern image classification CNNs for the first time and investigate the impact of the pre-training data size, the model scale, and the data preprocessing pipeline. We find that increasing both the training set and model sizes significantly improve the distributional shift robustness. Furthermore, we show that, perhaps surprisingly, simple changes in the preprocessing such as modifying the image resolution can significantly mitigate robustness issues in some cases. Finally, we outline the shortcomings of existing robustness evaluation datasets and introduce a synthetic dataset SI-Score we use for a systematic analysis across factors of variation common in visual data such as object size and position.
△ Less
Submitted 23 March, 2021; v1 submitted 16 July, 2020;
originally announced July 2020.
-
Molecular collapse in monolayer graphene
Authors:
Robbe Van Pottelberge,
Dean Moldovan,
S. P. Milovanovic,
Francois M. Peeters
Abstract:
Atomic collapse is a phenomenon inherent to relativistic quantum mechanics where electron states dive in the positron continuum for highly charged nuclei. This phenomenon was recently observed in graphene. Here we investigate a novel collapse phenomenon when multiple sub- and supercritical charges of equal strength are put close together as in a molecule. We construct a phase diagram which consist…
▽ More
Atomic collapse is a phenomenon inherent to relativistic quantum mechanics where electron states dive in the positron continuum for highly charged nuclei. This phenomenon was recently observed in graphene. Here we investigate a novel collapse phenomenon when multiple sub- and supercritical charges of equal strength are put close together as in a molecule. We construct a phase diagram which consists of three distinct regions: 1) subcritical, 2) frustrated atomic collapse, and 3) molecular collapse. We show that the single impurity atomic collapse resonances rearrange themselves to form molecular collapse resonances which exhibit a distinct quasi-bonding, anti-bonding and non-bonding character. Here we limit ourselves to a systems consisting of two and three charges. We show that by tuning the distance between the charges and their strength a high degree of control over the molecular collapse resonances can be achieved.
△ Less
Submitted 2 September, 2019;
originally announced September 2019.
-
AutoGraph: Imperative-style Coding with Graph-based Performance
Authors:
Dan Moldovan,
James M Decker,
Fei Wang,
Andrew A Johnson,
Brian K Lee,
Zachary Nado,
D Sculley,
Tiark Rompf,
Alexander B Wiltschko
Abstract:
There is a perceived trade-off between machine learning code that is easy to write, and machine learning code that is scalable or fast to execute. In machine learning, imperative style libraries like Autograd and PyTorch are easy to write, but suffer from high interpretive overhead and are not easily deployable in production or mobile settings. Graph-based libraries like TensorFlow and Theano bene…
▽ More
There is a perceived trade-off between machine learning code that is easy to write, and machine learning code that is scalable or fast to execute. In machine learning, imperative style libraries like Autograd and PyTorch are easy to write, but suffer from high interpretive overhead and are not easily deployable in production or mobile settings. Graph-based libraries like TensorFlow and Theano benefit from whole-program optimization and can be deployed broadly, but make expressing complex models more cumbersome. We describe how the use of staged programming in Python, via source code transformation, offers a midpoint between these two library design patterns, capturing the benefits of both. A key insight is to delay all type-dependent decisions until runtime, via dynamic dispatch. We instantiate these principles in AutoGraph, a software system that improves the programming experience of the TensorFlow library, and demonstrate usability improvements with no loss in performance compared to native TensorFlow graphs. We also show that our system is backend agnostic, and demonstrate targeting an alternate IR with characteristics not found in TensorFlow graphs.
△ Less
Submitted 26 March, 2019; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Tangent: Automatic differentiation using source-code transformation for dynamically typed array programming
Authors:
Bart van Merriënboer,
Dan Moldovan,
Alexander B Wiltschko
Abstract:
The need to efficiently calculate first- and higher-order derivatives of increasingly complex models expressed in Python has stressed or exceeded the capabilities of available tools. In this work, we explore techniques from the field of automatic differentiation (AD) that can give researchers expressive power, performance and strong usability. These include source-code transformation (SCT), flexib…
▽ More
The need to efficiently calculate first- and higher-order derivatives of increasingly complex models expressed in Python has stressed or exceeded the capabilities of available tools. In this work, we explore techniques from the field of automatic differentiation (AD) that can give researchers expressive power, performance and strong usability. These include source-code transformation (SCT), flexible gradient surgery, efficient in-place array operations, higher-order derivatives as well as mixing of forward and reverse mode AD. We implement and demonstrate these ideas in the Tangent software library for Python, the first AD framework for a dynamic language that uses SCT.
△ Less
Submitted 26 September, 2018; v1 submitted 25 September, 2018;
originally announced September 2018.
-
Tangent: Automatic Differentiation Using Source Code Transformation in Python
Authors:
Bart van Merriënboer,
Alexander B. Wiltschko,
Dan Moldovan
Abstract:
Automatic differentiation (AD) is an essential primitive for machine learning programming systems. Tangent is a new library that performs AD using source code transformation (SCT) in Python. It takes numeric functions written in a syntactic subset of Python and NumPy as input, and generates new Python functions which calculate a derivative. This approach to automatic differentiation is different f…
▽ More
Automatic differentiation (AD) is an essential primitive for machine learning programming systems. Tangent is a new library that performs AD using source code transformation (SCT) in Python. It takes numeric functions written in a syntactic subset of Python and NumPy as input, and generates new Python functions which calculate a derivative. This approach to automatic differentiation is different from existing packages popular in machine learning, such as TensorFlow and Autograd. Advantages are that Tangent generates gradient code in Python which is readable by the user, easy to understand and debug, and has no runtime overhead. Tangent also introduces abstractions for easily injecting logic into the generated gradient code, further improving usability.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
Magnetic field dependence of the atomic collapse state in graphene
Authors:
Dean Moldovan,
Massoud Ramezani Masir,
Francois M. Peeters
Abstract:
Quantum electrodynamics predicts that heavy atoms ($Z > Z_c \approx 170$) will undergo the process of atomic collapse where electrons sink into the positron continuum and a new family of so-called collapsing states emerges. The relativistic electrons in graphene exhibit the same physics but at a much lower critical charge ($Z_c \approx 1$) which has made it possible to confirm this phenomenon expe…
▽ More
Quantum electrodynamics predicts that heavy atoms ($Z > Z_c \approx 170$) will undergo the process of atomic collapse where electrons sink into the positron continuum and a new family of so-called collapsing states emerges. The relativistic electrons in graphene exhibit the same physics but at a much lower critical charge ($Z_c \approx 1$) which has made it possible to confirm this phenomenon experimentally. However, there exist conflicting predictions on the effect of a magnetic field on atomic collapse. These theoretical predictions are based on the continuum Dirac-Weyl equation, which does not have an exact analytical solution for the interplay of a supercritical Coulomb potential and the magnetic field. Approximative solutions have been proposed, but because the two effects compete on similar energy scales, the theoretical treatment varies depending on the regime which is being considered. These limitations are overcome here by starting from a tight-binding approach and computing exact numerical results. By avoiding special limit cases, we found a smooth evolution between the different regimes. We predict that the atomic collapse effect persists even after the magnetic field is activated and that the critical charge remains unchanged. We show that the atomic collapse regime is characterized: 1) by a series of Landau level anticrossings and 2) by the absence of $\sqrt{B}$ scaling of the Landau levels with regard to magnetic field strength.
△ Less
Submitted 5 November, 2017;
originally announced November 2017.
-
Electronic properties of bilayer phosphorene quantum dots in the presence of perpendicular electric and magnetic fields
Authors:
L. L. Li,
D. Moldovan,
W. Xu,
F. M. Peeters
Abstract:
Using the tight-binding approach, we investigate the electronic properties of bilayer phosphorene (BLP) quantum dots (QDs) in the presence of perpendicular electric and magnetic fields. Since BLP consists of two coupled phosphorene layers, it is of interest to examine the layer-dependent electronic properties of BLP QDs, such as the electronic distributions over the two layers and the so-produced…
▽ More
Using the tight-binding approach, we investigate the electronic properties of bilayer phosphorene (BLP) quantum dots (QDs) in the presence of perpendicular electric and magnetic fields. Since BLP consists of two coupled phosphorene layers, it is of interest to examine the layer-dependent electronic properties of BLP QDs, such as the electronic distributions over the two layers and the so-produced layer-polarization features, and to see how these properties are affected by the magnetic field and the bias potential. We find that in the absence of a bias potential only edge states are layer-polarized while the bulk states are not, and the layer-polarization degree (LPD) of the unbiased edge states increases with increasing magnetic field. However, in the presence of a bias potential both the edge and bulk states are layer-polarized, and the LPD of the bulk (edge) states depends strongly (weakly) on the interplay of the bias potential and the interlayer coupling. At high magnetic fields, applying a bias potential renders the bulk electrons in a BLP QD to be mainly distributed over the top or bottom layer, resulting in layer-polarized bulk Landau levels (LLs). In the presence of a large bias potential that can drive a semiconductor-to-semimetal transition in BLP, these bulk LLs exhibit different magnetic-field dependences, i.e., the zeroth LLs exhibit a linear-like dependence on the magnetic field while the other LLs exhibit a square-root-like dependence.
△ Less
Submitted 16 September, 2017;
originally announced September 2017.
-
Tuning a Circular p-n Junction in Graphene from Quantum Confinement to Optical Guiding
Authors:
Yuhang Jiang,
**hai Mao,
Dean Moldovan,
Massoud Ramezani Masir,
Guohong Li,
Kenji Watanabe,
Takashi Taniguchi,
Francois M. Peeters,
Eva Y. Andrei
Abstract:
The motion of massless Dirac-electrons in graphene mimics the propagation of photons. This makes it possible to control the charge-carriers with components based on geometrical-optics and has led to proposals for an all-graphene electron-optics platform. An open question arising from the possibility of reducing the component-size to the nanometer-scale is how to access and understand the transitio…
▽ More
The motion of massless Dirac-electrons in graphene mimics the propagation of photons. This makes it possible to control the charge-carriers with components based on geometrical-optics and has led to proposals for an all-graphene electron-optics platform. An open question arising from the possibility of reducing the component-size to the nanometer-scale is how to access and understand the transition from optical-transport to quantum-confinement. Here we report on the realization of a circular p-n junction that can be continuously tuned from the nanometer-scale, where quantum effects are dominant, to the micrometer scale where optical-guiding takes over. We find that in the nanometer-scale junction electrons are trapped in states that resemble atomic-collapse at a supercritical charge. As the junction-size increases, the transition to optical-guiding is signaled by the emergence of whispering-gallery modes and Fabry-Perot interference. The creation of tunable junctions that straddle the crossover between quantum-confinement and optical-guiding, paves the way to novel design-architectures for controlling electronic transport.
△ Less
Submitted 20 May, 2017;
originally announced May 2017.
-
Electric- and magnetic-field dependence of the electronic and optical properties of phosphorene quantum dots
Authors:
L. L. Li,
D. Moldovan,
W. Xu,
F. M. Peeters
Abstract:
Recently, black phosphorus quantum dots were fabricated experimentally. Motivated by these experiments, we theoretically investigate the electronic and optical properties of rectangular phosphorene quantum dots (RPQDs) in the presence of an in-plane electric field and a perpendicular magnetic field. The energy spectra and wave functions of RPQDs are obtained numerically using the tight-binding (TB…
▽ More
Recently, black phosphorus quantum dots were fabricated experimentally. Motivated by these experiments, we theoretically investigate the electronic and optical properties of rectangular phosphorene quantum dots (RPQDs) in the presence of an in-plane electric field and a perpendicular magnetic field. The energy spectra and wave functions of RPQDs are obtained numerically using the tight-binding (TB) approach. We find edge states within the band gap of the RPQD which are well separated from the bulk states. In an undoped RPQD and for in-plane polarized light, due to the presence of well-defined edge states, we find three types of optical transitions which are between the bulk states, between the edge and bulk states, and between the edge states. The electric and magnetic fields influence the bulk-to-bulk, edge-to-bulk, and edge-to-edge transitions differently due to the different responses of bulk and edge states to these fields.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
-
Veselago lensing in graphene with a p-n junction: classical versus quantum effects
Authors:
S. P. Milovanovic,
D. Moldovan,
F. M. Peeters
Abstract:
The feasibility of Veselago lensing in graphene with a p-n junction is investigated numerically for realistic injection leads. Two different set-ups with two narrow leads are considered with absorbing or reflecting side edges. This allows us to separately determine the influence of scattering on electron focusing for the edges and the p-n interface. Both semiclassical and tight-binding simulations…
▽ More
The feasibility of Veselago lensing in graphene with a p-n junction is investigated numerically for realistic injection leads. Two different set-ups with two narrow leads are considered with absorbing or reflecting side edges. This allows us to separately determine the influence of scattering on electron focusing for the edges and the p-n interface. Both semiclassical and tight-binding simulations show a distinctive peak in the transmission probability that is attributed to the Veselago lensing effect. We investigate the robustness of this peak on the width of the injector, the position of the p-n interface and different gate potential profiles. Furthermore, the influence of scattering by both short- and long-range impurities is considered.
△ Less
Submitted 8 September, 2015;
originally announced September 2015.
-
Realization of a Tunable Artificial Atom at a Supercritically Charged Vacancy in Graphene
Authors:
**hai Mao,
Yuhang Jiang,
Dean Moldovan,
Guohong Li,
Kenji Watanabe,
Takashi Taniguchi,
Massoud Ramezani Masir,
Francois M. Peeters,
Eva Y. Andrei
Abstract:
The remarkable electronic properties of graphene have fueled the vision of a graphene-based platform for lighter, faster and smarter electronics and computing applications. One of the challenges is to devise ways to tailor its electronic properties and to control its charge carriers. Here we show that a single atom vacancy in graphene can stably host a local charge and that this charge can be grad…
▽ More
The remarkable electronic properties of graphene have fueled the vision of a graphene-based platform for lighter, faster and smarter electronics and computing applications. One of the challenges is to devise ways to tailor its electronic properties and to control its charge carriers. Here we show that a single atom vacancy in graphene can stably host a local charge and that this charge can be gradually built up by applying voltage pulses with the tip of a scanning tunneling microscope (STM). The response of the conduction electrons in graphene to the local charge is monitored with scanning tunneling and Landau level spectroscopy, and compared to numerical simulations. As the charge is increased, its interaction with the conduction electrons undergoes a transition into a supercritical regime 6-11 where itinerant electrons are trapped in a sequence of quasi-bound states which resemble an artificial atom. The quasi-bound electron states are detected by a strong enhancement of the density of states (DOS) within a disc centered on the vacancy site which is surrounded by halo of hole states. We further show that the quasi-bound states at the vacancy site are gate tunable and that the trap** mechanism can be turned on and off, providing a new mechanism to control and guide electrons in graphene
△ Less
Submitted 13 April, 2016; v1 submitted 30 August, 2015;
originally announced August 2015.
-
Electronic states in a graphene flake strained by a Gaussian bump
Authors:
D. Moldovan,
M. Ramezani Masir,
F. M. Peeters
Abstract:
The effect of strain in graphene is usually modeled by a pseudo-magnetic vector potential which is, however, derived in the limit of small strain. In realistic cases deviations are expected in view of graphene's very high strain tolerance, which can be up to 25%. Here we investigate the pseudo-magnetic field generated by a Gaussian bump and we show that it exhibits significant differences with num…
▽ More
The effect of strain in graphene is usually modeled by a pseudo-magnetic vector potential which is, however, derived in the limit of small strain. In realistic cases deviations are expected in view of graphene's very high strain tolerance, which can be up to 25%. Here we investigate the pseudo-magnetic field generated by a Gaussian bump and we show that it exhibits significant differences with numerical tight-binding results. Furthermore, we calculate the electronic states in the strained region for a hexagon shaped flake with armchair edges. We find that the six-fold symmetry of the wave functions inside the Gaussian bump is directly related to the different effect of strain along the fundamental directions of graphene: zigzag and armchair. Low energy electrons are strongly confined in the armchair directions and are localized on the carbon atoms of a single sublattice.
△ Less
Submitted 19 July, 2013;
originally announced July 2013.
-
Hermitian Categories, Extension of Scalars and Systems of Sesquilinear Forms
Authors:
Eva Bayer-Fluckiger,
Uriya A. First,
Daniel A. Moldovan
Abstract:
We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined on a reflexive object (i.e. the standard map from the object to its double dual is not assumed to be bijective), and the forms in the system can…
▽ More
We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be unimodular or defined on a reflexive object (i.e. the standard map from the object to its double dual is not assumed to be bijective), and the forms in the system can be defined with respect to different hermitian structures on the given category. This extends a result obtained by E. Bayer-Fluckiger and D. Moldovan.
We use the equivalence to define a Witt ring of sesquilinear forms over a hermitian category, and also to generalize various results (e.g.: Witt's Cancelation Theorem, Springer's Theorem, the weak Hasse principle, finiteness of genus) to systems of sesquilinear forms over hermitian categories.
△ Less
Submitted 3 December, 2013; v1 submitted 25 April, 2013;
originally announced April 2013.
-
Resonant valley filtering of massive Dirac electrons
Authors:
D. Moldovan,
M. Ramezani Masir,
L. Covaci,
F. M. Peeters
Abstract:
Electrons in graphene, in addition to their spin, have two pseudospin degrees of freedom: sublattice and valley pseudospin. Valleytronics uses the valley degree of freedom as a carrier of information similar to the way spintronics uses electron spin. We show how a double barrier structure consisting of electric and vector potentials can be used to filter massive Dirac electrons based on their vall…
▽ More
Electrons in graphene, in addition to their spin, have two pseudospin degrees of freedom: sublattice and valley pseudospin. Valleytronics uses the valley degree of freedom as a carrier of information similar to the way spintronics uses electron spin. We show how a double barrier structure consisting of electric and vector potentials can be used to filter massive Dirac electrons based on their valley index. We study the resonant transmission through a finite number of barriers and we obtain the energy spectrum of a superlattice consisting of electric and vector potentials. When a mass term is included the energy bands and energy gaps at the K and K' points are different and they can be tuned by changing the potential.
△ Less
Submitted 2 April, 2013;
originally announced April 2013.
-
Pseudo magnetic field in strained graphene: revisited
Authors:
M. Ramezani Masir,
D. Moldovan,
F. M. Peeters
Abstract:
We revisit the theory of the pseudo magnetic field as induced by strain in graphene using the tight-binding approach. A systematic expansion of the hop** parameter and the deformation of the lattice vectors is presented from which we obtain an expression for the pseudo magnetic field for low energy electrons. We generalize and discuss previous results and propose a novel effective Hamiltonian. T…
▽ More
We revisit the theory of the pseudo magnetic field as induced by strain in graphene using the tight-binding approach. A systematic expansion of the hop** parameter and the deformation of the lattice vectors is presented from which we obtain an expression for the pseudo magnetic field for low energy electrons. We generalize and discuss previous results and propose a novel effective Hamiltonian. The contributions of the different terms to the pseudo magnetic field expression is investigated for a model triaxial strain profile and are compared with the full solution. Our work suggests that the previous proposed pseudo magnetic field expression is valid up to reasonably high strain 15 % and there is no K-dependent pseudo-magnetic field.
△ Less
Submitted 26 April, 2013; v1 submitted 2 April, 2013;
originally announced April 2013.
-
Sesquilinear forms over rings with involution
Authors:
Eva Bayer-Fluckiger,
Daniel Moldovan
Abstract:
Many classical results concerning quadratic forms have been extended to forms over algebras with involution. However, not much is known in the case of forms without any symmetry property. The present paper will establish Witt cancellation and base change results, as well as some local-global and finiteness results in this context.
Many classical results concerning quadratic forms have been extended to forms over algebras with involution. However, not much is known in the case of forms without any symmetry property. The present paper will establish Witt cancellation and base change results, as well as some local-global and finiteness results in this context.
△ Less
Submitted 22 May, 2013; v1 submitted 29 December, 2012;
originally announced January 2013.
-
Hermitian Categories, extension of scalars and systems of hermitian forms
Authors:
Eva Bayer-Fluckiger,
Daniel Moldovan
Abstract:
In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with involution. We also study the extension of scalars for K-linear hermitian categories, where K is a field of characteristic not 2. We finally extend several results concerning sesquilinear forms to the setting of systems…
▽ More
In this paper we define a notion of Witt group for sesquilinear forms in hermitian categories, which in turn provides a notion of Witt group for sesquilinear forms over rings with involution. We also study the extension of scalars for K-linear hermitian categories, where K is a field of characteristic not 2. We finally extend several results concerning sesquilinear forms to the setting of systems of such forms.
△ Less
Submitted 29 December, 2012;
originally announced December 2012.
-
Sparse Positional Strategies for Safety Games
Authors:
Rüdiger Ehlers,
Daniela Moldovan
Abstract:
We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a system with its environment explicit. Often, a winning strategy for one of the players is used as a certificate or as an artefact for further processing in the application. Small such certificates, i.e., strategies that c…
▽ More
We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a system with its environment explicit. Often, a winning strategy for one of the players is used as a certificate or as an artefact for further processing in the application. Small such certificates, i.e., strategies that can be written down very compactly, are typically preferred. For safety games, we only need to consider positional strategies. These map game positions of a player onto a move that is to be taken by the player whenever the play enters that position. For representing positional strategies compactly, a common goal is to minimize the number of positions for which a winning player's move needs to be defined such that the game is still won by the same player, without visiting a position with an undefined next move. We call winning strategies in which the next move is defined for few of the player's positions sparse.
Unfortunately, even roughly approximating the density of the sparsest strategy for a safety game has been shown to be NP-hard. Thus, to obtain sparse strategies in practice, one either has to apply some heuristics, or use some exhaustive search technique, like ILP (integer linear programming) solving. In this paper, we perform a comparative study of currently available methods to obtain sparse winning strategies for the safety player in safety games. We consider techniques from common knowledge, such as using ILP or SAT (satisfiability) solving, and a novel technique based on iterative linear programming. The results of this paper tell us if current techniques are already scalable enough for practical use.
△ Less
Submitted 3 July, 2012;
originally announced July 2012.
-
The DWARF project: Eclipsing binaries - precise clocks to discover exoplanets
Authors:
T. Pribulla,
M. Vaňko,
M. Ammler - von Eiff,
M. Andreev,
A. Aslantürk,
N. Awadalla,
D. Baluďanský,
A. Bonanno,
H. Božić,
G. Catanzaro,
L. Çelik,
P. E. Christopoulou,
E. Covino,
F. Cusano,
D. Dimitrov,
P. Dubovský,
E. M. Esmer,
A. Frasca,
Ľ. Hambálek,
M. Hanna,
A. Hanslmeier,
B. Kalomeni,
D. P. Kjurkchieva,
V. Krushevska,
I. Kudzej
, et al. (31 additional authors not shown)
Abstract:
We present a new observational campaign, DWARF, aimed at detection of circumbinary extrasolar planets using the timing of the minima of low-mass eclipsing binaries. The observations will be performed within an extensive network of relatively small to medium-size telescopes with apertures of ~20-200 cm. The starting sample of the objects to be monitored contains (i) low-mass eclipsing binaries with…
▽ More
We present a new observational campaign, DWARF, aimed at detection of circumbinary extrasolar planets using the timing of the minima of low-mass eclipsing binaries. The observations will be performed within an extensive network of relatively small to medium-size telescopes with apertures of ~20-200 cm. The starting sample of the objects to be monitored contains (i) low-mass eclipsing binaries with M and K components, (ii) short-period binaries with sdB or sdO component, and (iii) post-common-envelope systems containing a WD, which enable to determine minima with high precision. Since the amplitude of the timing signal increases with the orbital period of an invisible third component, the timescale of project is long, at least 5-10 years. The paper gives simple formulas to estimate suitability of individual eclipsing binaries for the circumbinary planet detection. Intrinsic variability of the binaries (photospheric spots, flares, pulsation etc.) limiting the accuracy of the minima timing is also discussed. The manuscript also describes the best observing strategy and methods to detect cyclic timing variability in the minima times indicating presence of circumbinary planets. First test observation of the selected targets are presented.
△ Less
Submitted 28 June, 2012;
originally announced June 2012.