Zum Hauptinhalt springen

Showing 51–95 of 95 results for author: Trifonov, T

.
  1. arXiv:2006.01277  [pdf, other

    astro-ph.EP astro-ph.SR

    Four Jovian planets around low-luminosity giant stars observed by the EXPRESS and PPPS

    Authors: M. I. Jones, R. Wittenmyer, C. Aguilera-Gómez, M. G. Soto, P. Torres, T. Trifonov, J. S. Jenkins, A. Zapata, P. Sarkis, O. Zakhozhay, R. Brahm, F. Santana, J. I. Vines, M. R. Díaz, M. Vučković

    Abstract: We report the discovery of planetary companions orbiting four low-luminosity giant stars with M$_\star$ between 1.04 and 1.39 M$_\odot$. All four host stars have been independently observed by the EXoPlanets aRound Evolved StarS (EXPRESS) program and the Pan-Pacific Planet Search (PPPS). The companion signals were revealed by multi-epoch precision radial velocities obtained during nearly a decade.… ▽ More

    Submitted 1 June, 2020; originally announced June 2020.

    Comments: Submitted to A&A

  2. arXiv:2005.10312  [pdf, other

    astro-ph.EP astro-ph.IM astro-ph.SR

    Orbital and spectral characterization of the benchmark T-type brown dwarf HD 19467B

    Authors: A. -L. Maire, K. Molaverdikhani, S. Desidera, T. Trifonov, P. Mollière, V. D'Orazi, N. Frankel, J. -L. Baudino, S. Messina, A. Müller, B. Charnay, A. Cheetham, P. Delorme, R. Ligi, M. Bonnefoy, W. Brandner, D. Mesa, F. Cantalloube, R. Galicher, T. Henning, B. A. Biller, J. Hagelberg, A. -M. Lagrange, B. Lavie, E. Rickman , et al. (20 additional authors not shown)

    Abstract: Context. Detecting and characterizing substellar companions for which the luminosity, mass, and age can be determined independently is of utter importance to test and calibrate the evolutionary models due to uncertainties in their formation mechanisms. HD 19467 is a bright and nearby star hosting a cool brown dwarf companion detected with RV and imaging, making it a valuable object for such studie… ▽ More

    Submitted 4 June, 2020; v1 submitted 20 May, 2020; originally announced May 2020.

    Comments: Accepted for publication in A&A, 25 pages, 23 figures, 9 tables. Abstract slightly abridged to match arXiv requirements. Updated after language editing

    Journal ref: A&A 639, A47 (2020)

  3. arXiv:2004.07783  [pdf, other

    astro-ph.EP astro-ph.SR

    TOI-1338: TESS' First Transiting Circumbinary Planet

    Authors: Veselin B. Kostov, Jerome A. Orosz, Adina D. Feinstein, William F. Welsh, Wolf Cukier, Nader Haghighipour, Billy Quarles, David V. Martin, Benjamin T. Montet, Guillermo Torres, Amaury H. M. J. Triaud, Thomas Barclay, Patricia Boyd, Cesar Briceno, Andrew Collier Cameron, Alexandre C. M. Correia, Emily A. Gilbert, Samuel Gill, Michael Gillon, Jacob Haqq-Misra, Coel Hellier, Courtney Dressing, Daniel C. Fabrycky, Gabor Furesz, Jon Jenkins , et al. (43 additional authors not shown)

    Abstract: We report the detection of the first circumbinary planet found by TESS. The target, a known eclipsing binary, was observed in sectors 1 through 12 at 30-minute cadence and in sectors 4 through 12 at two-minute cadence. It consists of two stars with masses of 1.1 MSun and 0.3 MSun on a slightly eccentric (0.16), 14.6-day orbit, producing prominent primary eclipses and shallow secondary eclipses. Th… ▽ More

    Submitted 16 April, 2020; originally announced April 2020.

    Comments: 35 pages, 21 figures, 6 tables

  4. arXiv:2004.06218  [pdf, other

    astro-ph.EP astro-ph.SR

    Precise mass and radius of a transiting super-Earth planet orbiting the M dwarf TOI-1235: a planet in the radius gap?

    Authors: P. Bluhm, R. Luque, N. Espinoza, E. Palle, J. A. Caballero, S. Dreizler, J. H. Livingston, S. Mathur, A. Quirrenbach, S. Stock, V. Van Eylen, G. Nowak, E. Lopez, Sz. Csizmadia, M. R. Zapatero Osorio, P. Schoefer, J. Lillo-Box, M. Oshagh, P. J. Amado, D. Barrado, V. J. S. Bejar, B. Cale, P. Chaturvedi, C. Cifuentes, W. D. Cochran , et al. (56 additional authors not shown)

    Abstract: We report the confirmation of a transiting planet around the bright, inactive M0.5 V star TOI-1235 (TYC 4384-1735-1, V = 11.5 mag), whose transit signal was detected in the photometric time series of Sectors 14, 20, and 21 of the TESS space mission. We confirm the planetary nature of the transit signal, which has a period of 3.44 d, by using precise radial velocity measurements with CARMENES and H… ▽ More

    Submitted 20 June, 2020; v1 submitted 13 April, 2020; originally announced April 2020.

    Comments: A&A, in press

    Journal ref: A&A 639, A132 (2020)

  5. arXiv:2003.05932  [pdf, other

    astro-ph.EP astro-ph.SR

    Three Short Period Jupiters from TESS

    Authors: L. D. Nielsen, R. Brahm, F. Bouchy, N. Espinoza, O. Turner, S. Rappaport, L. Pearce, G. Ricker, R. Vanderspek, D. W. Latham, S. Seager, J. N. Winn, J. M. Jenkins, J. S. Acton, G. Bakos, T. Barclay, K. Barkaoui, W. Bhatti, C. Briceño, E. M. Bryant, M. R. Burleigh, D. R. Ciardi, K. A. Collins, K. I. Collins, B. F. Cooke , et al. (52 additional authors not shown)

    Abstract: We report the confirmation and mass determination of three hot Jupiters discovered by the Transiting Exoplanet Survey Satellite (TESS) mission: HIP 65Ab (TOI-129, TIC-201248411) is an ultra-short-period Jupiter orbiting a bright (V=11.1 mag) K4-dwarf every 0.98 days. It is a massive 3.213 +/- 0.078 Mjup planet in a grazing transit configuration with an impact parameter of b = 1.17 +0.10/-0.08. As… ▽ More

    Submitted 15 July, 2020; v1 submitted 12 March, 2020; originally announced March 2020.

    Comments: Published in A&A

    Journal ref: A&A 639, A76 (2020)

  6. arXiv:2003.01140  [pdf, other

    astro-ph.EP astro-ph.SR

    The CARMENES search for exoplanets around M dwarfs. Two planets on the opposite sides of the radius gap transiting the nearby M dwarf LTT 3780

    Authors: G. Nowak, R. Luque, H. Parviainen, E. Pallé, K. Molaverdikhani, V. J. S. Béjar, J. Lillo-Box, C. Rodríguez-López, J. A. Caballero, M. Zechmeister, V. M. Passegger, C. Cifuentes, A. Schweitzer, N. Narita, B. Cale, N. Espinoza, F. Murgas, D. Hidalgo, M. R. Zapatero Osorio, F. J. Pozuelos, F. J. Aceituno, P. J. Amado, K. Barkaoui, D. Barrado, F. F. Bauer , et al. (75 additional authors not shown)

    Abstract: We present the discovery and characterisation of two transiting planets observed by the Transiting Exoplanet Survey Satellite (TESS) orbiting the nearby (d ~ 22 pc), bright (J ~ 9 mag) M3.5 dwarf LTT 3780 (TOI-732). We confirm both planets and their association with LTT 3780 via ground-based photometry and determine their masses using precise radial velocities measured with the CARMENES spectrogra… ▽ More

    Submitted 8 October, 2020; v1 submitted 2 March, 2020; originally announced March 2020.

    Comments: 21 pages, 15 figures, 4 tables, submitted to A&A

    Journal ref: A&A 642, A173 (2020)

  7. arXiv:2002.01772  [pdf, other

    astro-ph.EP astro-ph.IM astro-ph.SR

    The CARMENES search for exoplanets around M dwarfs. Characterization of the nearby ultra-compact multiplanetary system YZ Ceti

    Authors: S. Stock, J. Kemmer, S. Reffert, T. Trifonov, A. Kaminski, S. Dreizler, A. Quirrenbach, J. A. Caballero, A. Reiners, S. V. Jeffers, G. Anglada-Escudé, I. Ribas, P. J. Amado, D. Barrado, J. R. Barnes, F. F. Bauer, Z. M. Berdiñas, V. J. S. Béjar, G. A. L. Coleman, M. Cortés-Contreras, E. Díez-Alonso, A. J. Domínguez-Fernández, N. Espinoza, C. A. Haswell, A. Hatzes , et al. (16 additional authors not shown)

    Abstract: The nearby ultra-compact multiplanetary system YZ Ceti consists of at least three planets. The orbital period of each planet is the subject of discussion in the literature due to strong aliasing in the radial velocity data. The stellar activity of this M dwarf also hampers significantly the derivation of the planetary parameters. With an additional 229 radial velocity measurements obtained since t… ▽ More

    Submitted 5 February, 2020; originally announced February 2020.

    Comments: Accepted for publication in A&A

    Journal ref: A&A 636, A119 (2020)

  8. arXiv:2002.00906  [pdf, other

    astro-ph.EP astro-ph.SR

    The CARMENES search for exoplanets around M dwarfs. Dynamical characterization of the multiple planet system GJ 1148 and prospects of habitable exomoons around GJ 1148 b

    Authors: T. Trifonov, M. H. Lee, M. Kürster, Th. Henning, E. Grishin, S. Stock, J. Tjoa, J. A. Caballero, K. H. Wong, F. F. Bauer, A. Quirrenbach, M. Zechmeister, I. Ribas, S. Reffert, A. Reiners, P. J. Amado, D. Kossakowski, M. Azzaro, V. J. S. Béjar, M. Cortés-Contreras, S. Dreizler, A. P. Hatzes, S. V. Jeffers, A. Kaminski, M. Lafarga , et al. (7 additional authors not shown)

    Abstract: Context. GJ 1148 is an M-dwarf star hosting a planetary system composed of two Saturn-mass planets in eccentric orbits with periods of 41.38 and 532.02 days. Aims. We reanalyze the orbital configuration and dynamics of the GJ 1148 multi-planetary system based on new precise radial velocity (RV) measurements taken with CARMENES. Methods. We combined new and archival precise Doppler measurements fro… ▽ More

    Submitted 3 February, 2020; originally announced February 2020.

    Comments: Accepted for publication in A&A

  9. arXiv:2001.05942  [pdf, other

    astro-ph.EP astro-ph.IM astro-ph.SR

    A public HARPS radial velocity database corrected for systematic errors

    Authors: Trifon Trifonov, Lev Tal-Or, Mathias Zechmeister, Adrian Kaminski, Shay Zucker, Tsevi Mazeh

    Abstract: Context. The HARPS spectrograph provides state-of-the-art stellar radial velocity (RV) measurements with a precision down to 1 m/s. The spectra are extracted with a dedicated data-reduction software (DRS) and the RVs are computed by CCF with a numerical mask. Aims. The aim of this study is three-fold: (i) Create easy access to the public HARPS RV data set. (ii) Apply the new public SERVAL pipeline… ▽ More

    Submitted 16 January, 2020; originally announced January 2020.

    Comments: 16 pages, 17 figures, 4 tables, Accepted for publication in A&A

    Journal ref: A&A 636, A74 (2020)

  10. arXiv:1912.10186  [pdf, other

    astro-ph.EP astro-ph.SR

    TOI 564 b and TOI 905 b: Grazing and Fully Transiting Hot Jupiters Discovered by TESS

    Authors: Allen B. Davis, Songhu Wang, Matias Jones, Jason D. Eastman, Maximilian N. Günther, Keivan G. Stassun, Brett C. Addison, Karen A. Collins, Samuel N. Quinn, David W. Latham, Trifon Trifonov, Sahar Shahaf, Tsevi Mazeh, Stephen R. Kane, Xian-Yu Wang, Thiam-Guan Tan, Andrei Tokovinin, Carl Ziegler, René Tronsgaard, Sarah Millholland, Bryndis Cruz, Perry Berlind, Michael L. Calkins, Gilbert A. Esquerdo, Kevin I. Collins , et al. (24 additional authors not shown)

    Abstract: We report the discovery and confirmation of two new hot Jupiters discovered by the Transiting Exoplanet Survey Satellite (TESS): TOI 564 b and TOI 905 b. The transits of these two planets were initially observed by TESS with orbital periods of 1.651 d and 3.739 d, respectively. We conducted follow-up observations of each system from the ground, including photometry in multiple filters, speckle int… ▽ More

    Submitted 20 December, 2019; originally announced December 2019.

    Comments: 21 pages and 10 figures. Submitted to AJ

  11. arXiv:1911.05574  [pdf, other

    astro-ph.EP astro-ph.SR

    TOI-677 b: A Warm Jupiter (P=11.2d) on an eccentric orbit transiting a late F-type star

    Authors: Andrés Jordán, Rafael Brahm, Néstor Espinoza, Thomas Henning, Matías I. Jones, Diana Kossakowski, Paula Sarkis, Trifon Trifonov, Felipe Rojas, Pascal Torres, Holger Drass, Sangeetha Nandakumar, Mauro Barbieri, Allen Davis, Songhu Wang, Daniel Bayliss, Luke Bouma, Diana Dragomir, Jason D. Eastman, Tansu Daylan, Natalia Guerrero, Thomas Barclay, Eric B. Ting, Christopher E. Henze, George Ricker , et al. (24 additional authors not shown)

    Abstract: We report the discovery of TOI-677 b, first identified as a candidate in light curves obtained within Sectors 9 and 10 of the Transiting Exoplanet Survey Satellite (TESS) mission and confirmed with radial velocities. TOI-677 b has a mass of M_p = 1.236$^{+0.069}_{-0.067}$ M_J, a radius of R_p = 1.170 +- 0.03 R_J,and orbits its bright host star (V=9.8 mag) with an orbital period of 11.23660 +- 0.00… ▽ More

    Submitted 13 November, 2019; originally announced November 2019.

    Comments: Submitted to AAS journals, 15 pages, 8 figures

  12. arXiv:1910.10389  [pdf, other

    astro-ph.EP astro-ph.SR

    Radial-velocity jitter of stars as a function of observational timescale and stellar age

    Authors: Stefan S. Brems, Martin Kürster, Trifon Trifonov, Sabine Reffert, Andreas Quirrenbach

    Abstract: Stars show various amounts of radial velocity (RV) jitter due to varying stellar activity levels. The typical amount of RV jitter as a function of stellar age and observational timescale has not yet been systematically quantified, although it is often larger than the instrumental precision of modern high-resolution spectrographs used for Doppler planet detection and characterization. We aim to emp… ▽ More

    Submitted 27 November, 2019; v1 submitted 23 October, 2019; originally announced October 2019.

    Comments: 15 pages, 7 Figures; Changelog v2: Updated link to CDS for table E.1; rearranged Fig. 2 to match journal layout

    Journal ref: A&A 632, A37 (2019)

  13. arXiv:1910.05853  [pdf, other

    astro-ph.EP astro-ph.SR

    Precise radial velocities of giant stars XIII. A second Jupiter orbiting in 4:3 resonance in the 7 CMa system

    Authors: R. Luque, T. Trifonov, S. Reffert, A. Quirrenbach, M. H. Lee, S. Albrecht, M. Fredslund Andersen, V. Antoci, F. Grundahl, C. Schwab, V. Wolthoff

    Abstract: We report the discovery of a second planet orbiting the K giant star 7 CMa based on 166 high-precision radial velocities obtained with Lick, HARPS, UCLES and SONG. The periodogram analysis reveals two periodic signals of approximately 745 and 980 d, associated to planetary companions. A double-Keplerian orbital fit of the data reveals two Jupiter-like planets with minimum masses… ▽ More

    Submitted 13 October, 2019; originally announced October 2019.

    Comments: Accepted in A&A

    Journal ref: A&A 631, A136 (2019)

  14. arXiv:1909.12174  [pdf

    astro-ph.EP astro-ph.SR

    A giant exoplanet orbiting a very low-mass star challenges planet formation models

    Authors: J. C. Morales, A. J. Mustill, I. Ribas, M. B. Davies, A. Reiners, F. F. Bauer, D. Kossakowski, E. Herrero, E. Rodríguez, M. J. López-González, C. Rodríguez-López, V. J. S. Béjar, L. González-Cuesta, R. Luque, E. Pallé, M. Perger, D. Baroch, A. Johansen, H. Klahr, C. Mordasini, G. Anglada-Escudé, J. A. Caballero, M. Cortés-Contreras, S. Dreizler, M. Lafarga , et al. (157 additional authors not shown)

    Abstract: Statistical analyses from exoplanet surveys around low-mass stars indicate that super-Earth and Neptune-mass planets are more frequent than gas giants around such stars, in agreement with core accretion theory of planet formation. Using precise radial velocities derived from visual and near-infrared spectra, we report the discovery of a giant planet with a minimum mass of 0.46 Jupiter masses in an… ▽ More

    Submitted 26 September, 2019; originally announced September 2019.

    Comments: Manuscript author version. 41 pages, 11 figures

  15. The CARMENES search for exoplanets around M dwarfs. Two temperate Earth-mass planet candidates around Teegarden's Star

    Authors: M. Zechmeister, S. Dreizler, I. Ribas, A. Reiners, J. A. Caballero, F. F. Bauer, V. J. S. Béjar, L. González-Cuesta, E. Herrero, S. Lalitha, M. J. López-González, R. Luque, J. C. Morales, E. Pallé, E. Rodríguez, C. Rodríguez López, L. Tal-Or, G. Anglada-Escudé, A. Quirrenbach, P. J. Amado, M. Abril, F. J. Aceituno, J. Aceituno, F. J. Alonso-Floriano, M. Ammler-von Eiff , et al. (160 additional authors not shown)

    Abstract: Context. Teegarden's Star is the brightest and one of the nearest ultra-cool dwarfs in the solar neighbourhood. For its late spectral type (M7.0V), the star shows relatively little activity and is a prime target for near-infrared radial velocity surveys such as CARMENES. Aims. As part of the CARMENES search for exoplanets around M dwarfs, we obtained more than 200 radial-velocity measurements of… ▽ More

    Submitted 13 September, 2019; v1 submitted 17 June, 2019; originally announced June 2019.

    Comments: A&A 627, A49. 26 pages, 17 figures, 6 tables. Press release available at http://www.astro.physik.uni-goettingen.de/~zechmeister/teegarden/teegarden.html. v2: two authors and one reference added

    Journal ref: A&A 627, A49 (2019)

  16. Variables in the Southern Polar Region Evryscope 2016 Dataset

    Authors: Jeffrey K. Ratzloff, Henry T. Corbett, Nicholas M. Law, Brad N. Barlow, Amy Glazier, Ward S. Howard, Octavi Fors, Daniel del Ser, Trifon Trifonov

    Abstract: The regions around the celestial poles offer the ability to find and characterize long-term variables from ground-based observatories. We used multi-year Evryscope data to search for high-amplitude (~5% or greater) variable objects among 160,000 bright stars (Mv < 14.5) near the South Celestial Pole. We developed a machine learning based spectral classifier to identify eclipse and transit candidat… ▽ More

    Submitted 7 May, 2019; originally announced May 2019.

    Comments: 32 pages, 17 figures, accepted to PASP

  17. Planetary system around the nearby M dwarf GJ 357 including a transiting, hot, Earth-sized planet optimal for atmospheric characterization

    Authors: R. Luque, E. Pallé, D. Kossakowski, S. Dreizler, J. Kemmer, N. Espinoza, J. Burt, G. Anglada-Escudé, V. J. S. Béjar, J. A. Caballero, K. A. Collins, K. I. Collins, M. Cortés-Contreras, E. Díez-Alonso, F. Feng, A. Hatzes, C. Hellier, T. Henning, S. V. Jeffers, L. Kaltenegger, M. Kürster, J. Madden, K. Molaverdikhani, D. Montes, N. Narita , et al. (51 additional authors not shown)

    Abstract: We report the detection of a transiting Earth-size planet around GJ 357, a nearby M2.5V star, using data from the Transiting Exoplanet Survey Satellite (TESS). GJ 357 b (TOI-562.01) is a transiting, hot, Earth-sized planet (Teq=525+-11 K) with a radius of Rb=1.217+-0.084 Re and an orbital period of Pb=3.93 d. Precise stellar radial velocities from CARMENES and PFS, as well as archival data from HI… ▽ More

    Submitted 30 July, 2019; v1 submitted 29 April, 2019; originally announced April 2019.

    Journal ref: A&A 628, A39 (2019)

  18. arXiv:1904.03557  [pdf, other

    astro-ph.SR astro-ph.EP

    Precise radial velocities of giant stars. XI. Two brown dwarfs in 6:1 mean motion resonance around the K giant star $ν$ Ophiuchi

    Authors: Andreas Quirrenbach, Trifon Trifonov, Man Hoi Lee, Sabine Reffert

    Abstract: We present radial-velocity (RV) measurements for the K giant $ν$ Oph (= HIP88048, HD163917, HR6698), which reveal two brown dwarf companions with a period ratio close to 6:1. For our orbital analysis we use 150 precise RV measurements taken at Lick Observatory between 2000 and 2011, and we combine them with RV data for this star available in the literature. Using a stellar mass of… ▽ More

    Submitted 9 April, 2019; v1 submitted 6 April, 2019; originally announced April 2019.

    Comments: 17 pages, 9 figures. New version with corrected number in title. No other changes

    Journal ref: Astronomy and Astrophysics, 624, A18 (2019)

  19. arXiv:1903.09157  [pdf, other

    astro-ph.SR astro-ph.EP

    Precise radial velocities of giant stars. XII. Evidence against the proposed planet Aldebaran b

    Authors: Katja Reichert, Sabine Reffert, Stephan Stock, Trifon Trifonov, Andreas Quirrenbach

    Abstract: Radial-velocity variations of the K giant star Aldebaran ($α$ Tau) were first reported in the early 1990s. After subsequent analyses, the radial-velocity variability with a period of $\sim 629\,\mathrm{d}$ has recently been interpreted as caused by a planet of several Jovian masses. We want to further investigate the hypothesis of an extrasolar planet around Aldebaran. We combine 165 new radial-ve… ▽ More

    Submitted 21 March, 2019; originally announced March 2019.

    Comments: 17 pages, 10 figures, 6 tables, accepted for publication in A&A

    Journal ref: A&A 625, A22 (2019)

  20. K2-290: a warm Jupiter and a mini-Neptune in a triple-star system

    Authors: M. Hjorth, A. B. Justesen, T. Hirano, S. Albrecht, D. Gandolfi, F. Dai, R. Alonso, O. Barragán, M. Esposito, M. Kuzuhara, K. W. F. Lam, J. H. Livingston, P. Montanes-Rodriguez, N. Narita, G. Nowak, J. Prieto-Arranz, S. Redfield, F. Rodler, V. Van Eylen, J. N. Winn, G. Antoniciello, J. Cabrera, W. D. Cochran, Sz. Csizmadia, J. de Leon , et al. (19 additional authors not shown)

    Abstract: We report the discovery of two transiting planets orbiting K2-290 (EPIC 249624646), a bright (V=11.11) late F-type star residing in a triple-star system. It was observed during Campaign 15 of the K2 mission, and in order to confirm and characterise the system, follow-up spectroscopy and AO imaging were carried out using the FIES, HARPS, HARPS-N, and IRCS instruments. From AO imaging and Gaia data… ▽ More

    Submitted 12 February, 2019; v1 submitted 11 January, 2019; originally announced January 2019.

    Comments: 16 pages, 8 figures, accepted for publication in MNRAS. Updated to accepted version (including K2 name)

  21. Two Jovian planets around the giant star HD202696. A growing population of packed massive planetary pairs around massive stars?

    Authors: Trifon Trifonov, Stephan Stock, Thomas Henning, Sabine Reffert, Martin Kuerster, Man Hoi Lee, Bertram Bitsch, R. Paul Butler, Steven S. Vogt

    Abstract: We present evidence for a new two-planet system around the giant star HD202696 (= HIP105056, BD+26 4118). The discovery is based on public HIRES radial velocity measurements taken at Keck Observatory between July 2007 and September 2014. We estimate a stellar mass of 1.91$^{+0.09}_{-0.14}M_\odot$ for HD202696, which is located close to the base of the red giant branch. A two-planet self-consistent… ▽ More

    Submitted 30 January, 2019; v1 submitted 7 January, 2019; originally announced January 2019.

    Comments: Accepted for publication in AJ on 18th December 2018. 15 pages, 11 Figures, 4 Tables (this .v2 is copy corrected and identical with the published paper)

  22. TESS exoplanet candidates validated with HARPS archival data. A massive Neptune around GJ143 and two Neptunes around HD23472

    Authors: Trifon Trifonov, Jan Rybizki, Martin Kürster

    Abstract: We aim at the discovery of new planetary systems by exploiting the transit light curve results from TESS orbital observatory's Sector 1 and 2 observations and validating them with precise Doppler measurements obtained from archival HARPS data. Taking advantage of the reported TESS transit events around GJ143 (TOI 186) and HD23472 (TOI 174) we model their HARPS precise Doppler measurements and deri… ▽ More

    Submitted 6 March, 2019; v1 submitted 11 December, 2018; originally announced December 2018.

    Comments: Submitted to A&A on 10th December 2018, Accepted on 14 January 2019, Published online on 30 January 2019

    Journal ref: A&A 622, L7 (2019)

  23. arXiv:1811.05955  [pdf

    astro-ph.EP astro-ph.SR

    A candidate super-Earth planet orbiting near the snow line of Barnard's star

    Authors: I. Ribas, M. Tuomi, A. Reiners, R. P. Butler, J. C. Morales, M. Perger, S. Dreizler, C. Rodríguez-López, J. I. González Hernández, A. Rosich, F. Feng, T. Trifonov, S. S. Vogt, J. A. Caballero, A. Hatzes, E. Herrero, S. V. Jeffers, M. Lafarga, F. Murgas, R. P. Nelson, E. Rodríguez, J. B. P. Strachan, L. Tal-Or, J. Teske, B. Toledo-Padrón , et al. (38 additional authors not shown)

    Abstract: At a distance of 1.8 parsecs, Barnard's star (Gl 699) is a red dwarf with the largest apparent motion of any known stellar object. It is the closest single star to the Sun, second only to the alpha Centauri triple stellar system. Barnard's star is also among the least magnetically active red dwarfs known and has an estimated age older than our Solar System. Its properties have made it a prime targ… ▽ More

    Submitted 23 November, 2018; v1 submitted 14 November, 2018; originally announced November 2018.

    Comments: 38 pages, 7 figures, 4 tables, author's version of published paper in Nature journal

  24. The CARMENES search for exoplanets around M dwarfs: The warm super-Earths in twin orbits around the mid-type M dwarfs Ross 1020 (GJ 3779) and LP 819-052 (GJ 1265)

    Authors: R. Luque, G. Nowak, E. Pallé, D. Kossakowski, T. Trifonov, M. Zechmeister, V. J. S. Béjar, C. Cardona Guillén, L. Tal-Or, D. Hidalgo, I. Ribas, A. Reiners, J. A. Caballero, P. J. Amado, A. Quirrenbach, J. Aceituno, M. Cortés-Contreras, E. Díez-Alonso, S. Dreizler, E. W. Guenther, T. Henning, S. V. Jeffers, A. Kaminski, M. Kürster, M. Lafarga , et al. (5 additional authors not shown)

    Abstract: We announce the discovery of two planetary companions orbiting around the low mass stars Ross 1020 (GJ 3779, M4.0V) and LP 819-052 (GJ 1265, M4.5V). The discovery is based on the analysis of CARMENES radial velocity observations in the visual channel as part of its survey for exoplanets around M dwarfs. In the case of GJ 1265, CARMENES observations were complemented with publicly available Doppler… ▽ More

    Submitted 17 October, 2018; originally announced October 2018.

    Comments: Accepted for publication in A&A. 15 pages, 12 figures, 4 tables

    Journal ref: A&A 620, A171 (2018)

  25. arXiv:1810.02986  [pdf, ps, other

    astro-ph.EP astro-ph.IM astro-ph.SR

    Correcting HIRES radial velocities for small systematic errors

    Authors: Lev Tal-Or, Trifon Trifonov, Shay Zucker, Tsevi Mazeh, Mathias Zechmeister

    Abstract: The HIRES spectrograph, mounted on the $10$-m Keck-I telescope, belongs to a small group of radial-velocity (RV) instruments that produce stellar RVs with long-term precision down to $\sim1$ ms$^{-1}$. In $2017$, the HIRES team published $64,480$ RVs of $1,699$ stars, collected between $1996$ and $2014$. In this bank of RVs, we identify a sample of RV-quiet stars, whose RV scatter is $<10$ ms… ▽ More

    Submitted 6 March, 2019; v1 submitted 6 October, 2018; originally announced October 2018.

    Comments: 5 pages, 7 figures

    Journal ref: MNRAS 484, L8 (2019)

  26. HD 202772A B: A Transiting Hot Jupiter Around A Bright, Mildly Evolved Star In A Visual Binary Discovered By Tess

    Authors: Songhu Wang, Matias Jones, Avi Shporer, Benjamin J. Fulton, Leonardo A. Paredes, Trifon Trifonov, Diana Kossakowski, Jason Eastman, Maximilian N. Gunther, Chelsea X. Huang, Sarah Millholland, Darryl Seligman, Debra Fischer, Rafael Brahm, Xian-Yu Wang, Bryndis Cruz, Hodari-Sadiki James, Brett Addison, Todd Henry, En-Si Liang, Allen B. Davis, Rene Tronsgaard, Keduse Worku, John Brewer, Martin Kurster , et al. (30 additional authors not shown)

    Abstract: We report the first confirmation of a hot Jupiter discovered by the Transiting Exoplanet Survey Satellite (TESS) mission: HD 202772A b. The transit signal was detected in the data from TESS Sector 1, and was confirmed to be of planetary origin through radial-velocity measurements. HD 202772A b is orbiting a mildly evolved star with a period of 3.3 days. With an apparent magnitude of V = 8.3, the s… ▽ More

    Submitted 4 October, 2018; originally announced October 2018.

    Comments: Submitted to AAS Journal

  27. arXiv:1809.09638  [pdf, other

    astro-ph.EP

    New HARPS and FEROS observations of GJ1046

    Authors: Trifon Trifonov, Martin Kürster, Sabine Reffert, Mathias Zechmeister, Michael Endl, Florian Rodler, Davide Gandolfi, Oscar Barragán, Thomas Henning, Man Hoi Lee, Olga Zakhozhay, Paula Sarkis, Paul Heeren, Marcelo Tala, Vera Wolthoff, Stefan S. Brems, Stephan Stock, Angela Hempel, Diana Kossakowski

    Abstract: In this paper we present new precise Doppler data of GJ1046 taken between November 2005 and July 2018 with the HARPS and the FEROS high-resolution spectographs. In addition, we provide a new stellar mass estimate of GJ1046 and we update the orbital parameters of the GJ1046 system. These new data and analysis could be used together with the GAIA epoch astrometry, when available, for braking the… ▽ More

    Submitted 16 October, 2018; v1 submitted 25 September, 2018; originally announced September 2018.

    Comments: 2 pages, 1 figure, 1 table with RV data (available only in the Astro-PH version of the paper), Accepted by RNAAS

  28. The CARMENES search for exoplanets around M dwarfs. A Neptune-mass planet traversing the habitable zone around HD 180617

    Authors: A. Kaminski, T. Trifonov, J. A. Caballero, A. Quirrenbach, I. Ribas, A. Reiners, P. J. Amado, M. Zechmeister, S. Dreizler, M. Perger, L. Tal-Or, X. Bonfils, M. Mayor, N. Astudillo-Defru, F. F. Bauer, V. J. S. Béjar, C. Cifuentes, J. Colomé, M. Cortés-Contreras, X. Delfosse, E. Díez-Alonso, T. Forveille, E. W. Guenther, A. P. Hatzes, Th. Henning , et al. (15 additional authors not shown)

    Abstract: Despite their activity, low-mass stars are of particular importance for the search of exoplanets by the means of Doppler spectroscopy, as planets with lower masses become detectable. We report on the discovery of a planetary companion around HD 180617, a bright J = 5.58 mag, low-mass M = 0.45 M_{sun} star of spectral type M2.5 V. The star, located at a distance of 5.9 pc, is the primary of the hig… ▽ More

    Submitted 3 August, 2018; originally announced August 2018.

    Comments: 16 pages, 5 figures, 5 tables; Accepted by A&A

    Journal ref: A&A 618, A115 (2018)

  29. K2-260 b: a hot Jupiter transiting an F star, and K2-261 b: a warm Saturn around a bright G star

    Authors: M. C. Johnson, F. Dai, A. B. Justesen, D. Gandolfi, A. P. Hatzes, G. Nowak, M. Endl, W. D. Cochran, D. Hidalgo, N. Watanabe, H. Parviainen, T. Hirano, S. Villanueva Jr., J. Prieto-Arranz, N. Narita, E. Palle, E. W. Guenther, O. Barragán, T. Trifonov, P. Niraula, P. J. MacQueen, J. Cabrera, Sz. Csizmadia, Ph. Eigmüller, S. Grziwa , et al. (23 additional authors not shown)

    Abstract: We present the discovery and confirmation of two new transiting giant planets from the Kepler extended mission K2. K2-260 b is a hot Jupiter transiting a $V=12.7$ F6V star in K2 Field 13, with a mass and radius of $M_{\star}=1.39_{-0.06}^{+0.05} M_{\odot}$ and $R_{\star}=1.69 \pm 0.03 R_{\odot}$. The planet has an orbital period of $P=2.627$ days, and a mass and radius of… ▽ More

    Submitted 13 September, 2018; v1 submitted 15 June, 2018; originally announced June 2018.

    Comments: Published in MNRAS. 18 pages, 10 figures

    Journal ref: MNRAS (2018), 481, 596-612

  30. arXiv:1805.01860  [pdf, other

    astro-ph.EP astro-ph.SR

    HD 89345: a bright oscillating star hosting a transiting warm Saturn-sized planet observed by K2

    Authors: V. Van Eylen, F. Dai, S. Mathur, D. Gandolfi, S. Albrecht, M. Fridlund, R. A. García, E. Guenther, M. Hjorth, A. B. Justesen, J. Livingston, M. N. Lund, F. Pérez Hernández, J. Prieto-Arranz, C. Regulo, L. Bugnet, M. E. Everett, T. Hirano, D. Nespral, G. Nowak, E. Palle, V. Silva Aguirre, T. Trifonov, J. N. Winn, O. Barragán , et al. (18 additional authors not shown)

    Abstract: We report the discovery and characterization of HD 89345b (K2-234b; EPIC 248777106b), a Saturn-sized planet orbiting a slightly evolved star. HD 89345 is a bright star ($V = 9.3$ mag) observed by the K2 mission with one-minute time sampling. It exhibits solar-like oscillations. We conducted asteroseismology to determine the parameters of the star, finding the mass and radius to be… ▽ More

    Submitted 4 May, 2018; originally announced May 2018.

    Comments: Submitted to MNRAS on 23 February 2018, accepted for publication, 4 May 2018

  31. The CARMENES search for exoplanets around M dwarfs: A low-mass planet in the temperate zone of the nearby K2-18

    Authors: Paula Sarkis, Thomas Henning, Martin Kürster, Trifon Trifonov, Mathias Zechmeister, Lev Tal-Or, Guillem Anglada-Escudé, Artie P. Hatzes, Marina Lafarga, Stefan Dreizler, Ignasi Ribas, José A. Caballero, Ansgar Reiners, Matthias Mallonn, Juan C. Morales, Adrian Kaminski, Jesús Aceituno, Pedro J. Amado, Victor J. S. Béjar, Hans-Jürgen Hagen, Sandra Jeffers, Andreas Quirrenbach, Ralf Launhardt, Christopher Marvin, David Montes

    Abstract: K2-18 is a nearby M2.5 dwarf, located at 34 pc and hosting a transiting planet which was first discovered by the {\it K2} mission and later confirmed with {\it Spitzer Space Telescope} observations. With a radius of $\sim 2 \, R_{\oplus}$ and an orbital period of $\sim 33$ days, the planet lies in the temperate zone of its host star and receives stellar irradiation similar to Earth. Here we perfor… ▽ More

    Submitted 4 May, 2018; v1 submitted 2 May, 2018; originally announced May 2018.

    Comments: fixing author list

  32. Dynamical analysis of the circumprimary planet in the eccentric binary system HD59686

    Authors: Trifon Trifonov, Man Hoi Lee, Sabine Reffert, Andreas Quirrenbach

    Abstract: We present a detailed orbital and stability analysis of the HD~59686 binary-star planet system. HD~59686 is a single-lined moderately close ($a_{B} = 13.6\,$AU) eccentric ($e_{B} = 0.73$) binary, where the primary is an evolved K giant with mass $M = 1.9 M_{\odot}$ and the secondary is a star with a minimum mass of $m_{B} = 0.53 M_{\odot}$. Additionally, on the basis of precise radial velocity (RV… ▽ More

    Submitted 4 March, 2018; originally announced March 2018.

    Comments: 17 pages, 11 figures, accepted for publication by AJ

  33. arXiv:1712.05797  [pdf, other

    astro-ph.EP astro-ph.SR

    The CARMENES search for exoplanets around M dwarfs - HD 147379b: A nearby Neptune in the temperate zone of an early-M dwarf

    Authors: A. Reiners, I. Ribas, M. Zechmeister, J. A. Caballero, T. Trifonov, S. Dreizler, J. C. Morales, L. Tal-Or, M. Lafarga, A. Quirrenbach, P. J. Amado, A. Kaminski, S. V. Jeffers, J. Aceituno, V. J. S. Béjar, J. Guàrdia, E. W. Guenther, H. -J. Hagen, D. Montes, V. M. Passegger, W. Seifert, A. Schweitzer, M. Cortés-Contreras, M. Abril, F. J. Alonso-Floriano , et al. (147 additional authors not shown)

    Abstract: We report on the first star discovered to host a planet detected by radial velocity (RV) observations obtained within the CARMENES survey for exoplanets around M dwarfs. HD 147379 ($V = 8.9$ mag, $M = 0.58 \pm 0.08$ M$_{\odot}$), a bright M0.0V star at a distance of 10.7 pc, is found to undergo periodic RV variations with a semi-amplitude of $K = 5.1\pm0.4$ m s$^{-1}$ and a period of… ▽ More

    Submitted 15 December, 2017; originally announced December 2017.

    Comments: accepted for publication as A&A Letter

  34. arXiv:1711.06576  [pdf, other

    astro-ph.SR astro-ph.EP

    The CARMENES search for exoplanets around M dwarfs: High-resolution optical and near-infrared spectroscopy of 324 survey stars

    Authors: A. Reiners, M. Zechmeister, J. A. Caballero, I. Ribas, J. C. Morales, S. V. Jeffers, P. Schöfer, L. Tal-Or, A. Quirrenbach, P. J. Amado, A. Kaminski, W. Seifert, M. Abril, J. Aceituno, F. J. Alonso-Floriano, M. Ammler-von Eiff, R. Antona, G. Anglada-Escudé, H. Anwand-Heerwart, B. Arroyo-Torres, M. Azzaro, D. Baroch, D. Barrado, F. F. Bauer, S. Becerril , et al. (148 additional authors not shown)

    Abstract: The CARMENES radial velocity (RV) survey is observing 324 M dwarfs to search for any orbiting planets. In this paper, we present the survey sample by publishing one CARMENES spectrum for each M dwarf. These spectra cover the wavelength range 520--1710nm at a resolution of at least $R > 80,000$, and we measure its RV, H$α$ emission, and projected rotation velocity. We present an atlas of high-resol… ▽ More

    Submitted 9 February, 2018; v1 submitted 17 November, 2017; originally announced November 2017.

    Comments: accepted for publication in A&A, 13 pages plus 40 pages spectral atlas, first 10 atlas pages are reduced in quality to fit arXiv size limit; one CARMENES spectrum for each of the 324 stars is published in electronic format at http://carmenes.cab.inta-csic.es/

    Journal ref: A&A 612, A49 (2018)

  35. The CARMENES search for exoplanets around M dwarfs. First visual-channel radial-velocity measurements and orbital parameter updates of seven M-dwarf planetary systems

    Authors: T. Trifonov, M. Kürster, M. Zechmeister, L. Tal-Or, J. A. Caballero, A. Quirrenbach, P. J. Amado, I. Ribas, A. Reiners, S. Reffert, S. Dreizler, A. P. Hatzes, A. Kaminski, R. Launhardt, Th. Henning, D. Montes, V. J. S. Béjar, R. Mundt, A. Pavlov, J. H. M. M. Schmitt, W. Seifert, J. C. Morales, G. Nowak, S. V. Jeffers, C. Rodríguez-López , et al. (144 additional authors not shown)

    Abstract: Context: The main goal of the CARMENES survey is to find Earth-mass planets around nearby M-dwarf stars. Seven M-dwarfs included in the CARMENES sample had been observed before with HIRES and HARPS and either were reported to have one short period planetary companion (GJ15A, GJ176, GJ436, GJ536 and GJ1148) or are multiple planetary systems (GJ581 and GJ876). Aims: We aim to report new precise op… ▽ More

    Submitted 29 January, 2018; v1 submitted 4 October, 2017; originally announced October 2017.

    Comments: Accepted for publication in A&A, 24 pages, 16 figures, 14 tables

    Journal ref: A&A 609, A117 (2018)

  36. Three planets around HD 27894. A close-in pair with a 2:1 period ratio and an eccentric Jovian planet at 5.4 AU

    Authors: T. Trifonov, M. Kürster, M. Zechmeister, O. V. Zakhozhay, S. Reffert, M. H. Lee, F. Rodler, S. S. Vogt, S. S. Brems

    Abstract: Aims. Our new program with HARPS aims to detect mean motion resonant planetary systems around stars which were previously reported to have a single bona fide planet, often based only on sparse radial velocity data. Methods. Archival and new HARPS radial velocities for the K2V star HD 27894 were combined and fitted with a three-planet self-consistent dynamical model. The best-fit orbit was tested f… ▽ More

    Submitted 1 June, 2017; originally announced June 2017.

    Comments: 4 pages, 2 tables, 3 figures. Accepted for publication in A&A Letters to the Editor

    Journal ref: A&A 602, L8 (2017)

  37. Precise radial velocities of giant stars IX. HD 59686 Ab: a massive circumstellar planet orbiting a giant star in a ~13.6 au eccentric binary system

    Authors: Mauricio Ortiz, Sabine Reffert, Trifon Trifonov, Andreas Quirrenbach, David Mitchell, Grzegorz Nowak, Esther Buenzli, Neil Zimmerman, Mickael Bonnefoy, Andy Skemer, Denis Defrère, Man Hoi Lee, Debra Fischer, Philip Hinz

    Abstract: Context: For over 12 yr, we have carried out a precise radial velocity survey of a sample of 373 G and K giant stars using the Hamilton Échelle Spectrograph at Lick Observatory. There are, among others, a number of multiple planetary systems in our sample as well as several planetary candidates in stellar binaries. Aims: We aim at detecting and characterizing substellar+stellar companions to the g… ▽ More

    Submitted 4 November, 2016; v1 submitted 2 August, 2016; originally announced August 2016.

    Comments: 14 pages, 11 figures, 2 tables. Accepted for publication in A&A. Updated version to match the published paper

    Journal ref: A&A 595, A55 (2016)

  38. arXiv:1508.04769  [pdf, other

    astro-ph.EP astro-ph.SR

    Precise radial velocities of giant stars VIII. Testing for the presence of planets with CRIRES Infrared Radial Velocities

    Authors: Trifon Trifonov, Sabine Reffert, Mathias Zechmeister, Ansgar Reiners, Andreas Quirrenbach

    Abstract: We have been monitoring 373 very bright (V < 6 mag) G and K giants with high precision optical Doppler spectroscopy for more than a decade at Lick Observatory. Our goal was to discover planetary companions around those stars and to better understand planet formation and evolution around intermediate-mass stars. However, in principle, long-term, g-mode nonradial stellar pulsations or rotating stell… ▽ More

    Submitted 19 August, 2015; originally announced August 2015.

    Comments: 14 pages, 6 figures, 3 tables, accepted by Astronomy & Astrophysics

    Journal ref: A&A 582, A54 (2015)

  39. arXiv:1503.07769  [pdf, ps, other

    astro-ph.SR astro-ph.EP

    Disentangling 2:1 resonant radial velocity orbits from eccentric ones and a case study for HD 27894

    Authors: Martin Kürster, Trifon Trifonov, Sabine Reffert, Nadiia M. Kostogryz, Florian Rodler

    Abstract: In radial velocity observations, a pair of extrasolar planets near a 2:1 orbital resonance can be misinterpreted as a single eccentric planet, if data are sparse and measurement precision insufficient to distinguish between these models. We determine the fraction of alleged single-planet RV detected systems for which a 2:1 resonant pair of planets is also a viable model and address the question of… ▽ More

    Submitted 26 March, 2015; originally announced March 2015.

    Comments: 12 pages, 8 figures, one of them composed by two files, accepted by A&A, citations may appear in a non-standard way (double brackets) due to reformatting needs. Abstract slightly adjusted

  40. Precise Radial Velocities of Giant Stars VII. Occurrence Rate of Giant Extrasolar Planets as a Function of Mass and Metallicity

    Authors: Sabine Reffert, Christoph Bergmann, Andreas Quirrenbach, Trifon Trifonov, Andreas Künstler

    Abstract: (abridged) We have obtained precise radial velocities for a sample of 373 G and K type giants at Lick Observatory regularly over more than 12 years. Planets have been identified around 15 giant stars; an additional 20 giant stars host planet candidates. We investigate the occurrence rate of substellar companions around giant stars as a function of stellar mass and metallicity. We probe the stellar… ▽ More

    Submitted 15 December, 2014; originally announced December 2014.

    Comments: 13 pages plus long table appendix, accepted by A&A

    Journal ref: A&A 574, A116 (2015)

  41. Precise radial velocities of giant stars VI. A possible 2:1 resonant planet pair around the K giant star $η$ Cet

    Authors: Trifon Trifonov, Sabine Reffert, Xianyu Tan, Man Hoi Lee, Andreas Quirrenbach

    Abstract: We report the discovery of a new planetary system around the K giant $η$ Cet (HIP 5364, HD 6805) based on 118 high-precision optical radial velocities taken at Lick Observatory since July 2000. Since October 2011 an additional nine near-infrared Doppler measurements have been taken using the ESO CRIRES spectrograph (VLT, UT1). The visible data set shows two clear periodicities. Although we cannot… ▽ More

    Submitted 2 July, 2014; originally announced July 2014.

    Comments: 15 pages, 11 figures, accepted for publication in A&A on June 20, 2014

    Journal ref: A&A 568, A64 (2014)

  42. Precise radial velocities of giant stars V. A brown dwarf and a planet orbiting the K giant stars tau Gem and 91 Aqr

    Authors: D. S. Mitchell, S. Reffert, T. Trifonov, A. Quirrenbach, D. A. Fischer

    Abstract: We aim to detect and characterize substellar companions to K giant stars, to further our knowledge of planet formation and stellar evolution of intermediate-mass stars. For more than a decade we have used Doppler spectroscopy to acquire high precision radial velocity measurements of K giant stars. All data for this survey have been taken at Lick Observatory. Our survey includes 373 G and K giants.… ▽ More

    Submitted 22 May, 2013; originally announced May 2013.

    Comments: 13 pages, 8 figures. Accepted for publication in Astronomy & Astrophysics

  43. Modal Functional (Dialectica) Interpretation

    Authors: Dan Hernest, Trifon Trifonov

    Abstract: We adapt our light Dialectica interpretation to usual and light modal formulas (with universal quantification on boolean and natural variables) and prove it sound for a non-standard modal arithmetic based on Goedel's T and classical S4. The range of this light modal Dialectica is the usual (non-modal) classical Arithmetic in all finite types (with booleans); the propositional kernel of its domain… ▽ More

    Submitted 22 October, 2021; v1 submitted 30 November, 2012; originally announced December 2012.

    MSC Class: 03F99; 03H99; 03B45; 68T99; 68V15

    Journal ref: Logical Methods in Computer Science, Volume 17, Issue 4 (October 25, 2021) lmcs:7132

  44. arXiv:1206.6885  [pdf

    astro-ph.IM astro-ph.CO astro-ph.GA astro-ph.HE

    4MOST - 4-metre Multi-Object Spectroscopic Telescope

    Authors: Roelof S. de Jong, Olga Bellido-Tirado, Cristina Chiappini, Éric Depagne, Roger Haynes, Diane Johl, Olivier Schnurr, Axel Schwope, Jakob Walcher, Frank Dionies, Dionne Haynes, Andreas Kelz, Francisco S. Kitaura, Georg Lamer, Ivan Minchev, Volker Müller, Sebastián E. Nuza, Jean-Christophe Olaya, Tilmann Piffl, Emil Popow, Matthias Steinmetz, Uğur Ural, Mary Williams, Roland Winkler, Lutz Wisotzki , et al. (60 additional authors not shown)

    Abstract: The 4MOST consortium is currently halfway through a Conceptual Design study for ESO with the aim to develop a wide-field (>3 square degree, goal >5 square degree), high-multiplex (>1500 fibres, goal 3000 fibres) spectroscopic survey facility for an ESO 4m-class telescope (VISTA). 4MOST will run permanently on the telescope to perform a 5 year public survey yielding more than 20 million spectra at… ▽ More

    Submitted 28 June, 2012; originally announced June 2012.

    Comments: To appear in the proceedings of the SPIE Astronomical Instrumentation + Telescopes conference, Amsterdam, 2012. 15 pages, 16 figures

  45. Dialectica Interpretation with Marked Counterexamples

    Authors: Trifon Trifonov

    Abstract: Goedel's functional "Dialectica" interpretation can be used to extract functional programs from non-constructive proofs in arithmetic by employing two sorts of higher-order witnessing terms: positive realisers and negative counterexamples. In the original interpretation decidability of atoms is required to compute the correct counterexample from a set of candidates. When combined with recursion, t… ▽ More

    Submitted 27 January, 2011; originally announced January 2011.

    Comments: In Proceedings CL&C 2010, arXiv:1101.5200

    ACM Class: F.3.2; F.3.3; F.4.1

    Journal ref: EPTCS 47, 2011, pp. 73-84