arXiv subjects

Ji Wang

Publications and source records attributed to Ji Wang.

270 records · Page 15Linked to original sources

arXiv2013

An Analysis of Nonlinear Thickness-shear Vibrations of Quartz Crystal Plates by Two-Dimensional Finite Element Method

A nonlinear analysis of high-frequency thickness-shear vibrations of AT-cut quartz crystal plates is presented with the two-dimensional finite element method. We expanded both kinematic and constitutive nonlinear Mindlin plate equations and then truncated them to the first-order equations as an approximation, which is used later for the formulation of nonlinear finite element analysis with all zeroth- and first-order displacements and electric potentials. The matrix equation of motion is established with the first-order harmonic approximation and the generalized nonlinear eigensystem is solved by a direct iterative procedure. A backbone curve and corresponding mode shapes are obtained and analyzed. The nonlinear finite element program is developed based on earlier linear edition and can be utilized to predict nonlinear characteristics of miniaturized quartz crystal resonators in the design process.

cond-mat.mtrl-sci↗

arXiv2013

MARVELS-1: A face-on double-lined binary star masquerading as a resonant planetary system; and consideration of rare false positives in radial velocity planet searches

We have analyzed new and previously published radial velocity observations of MARVELS-1, known to have an ostensibly substellar companion in a ~6- day orbit. We find significant (~100 m/s) residuals to the best-fit model for the companion, and these residuals are naively consistent with an interior giant planet with a P = 1.965d in a nearly perfect 3:1 period commensuribility (|Pb/Pc - 3| < 10^{-4}). We have performed several tests for the reality of such a companion, including a dynamical analysis, a search for photometric variability, and a hunt for contaminating stellar spectra. We find many reasons to be critical of a planetary interpretation, including the fact that most of the three-body dynamical solutions are unstable. We find no evidence for transits, and no evidence of stellar photometric variability. We have discovered two apparent companions to MARVELS-1 with adaptive optics imaging at Keck; both are M dwarfs, one is likely bound, and the other is likely a foreground object. We explore false-alarm scenarios inspired by various curiosities in the data. Ultimately, a line profile and bisector analysis lead us to conclude that the ~100 m/s residuals are an artifact of spectral contamination from a stellar companion contributing ~15-30% of the optical light in the system. We conclude that origin of this contamination is the previously detected radial velocity companion to MARVELS-1, which is not, as previously reported, a brown dwarf, but in fact a G dwarf in a face-on orbit.

astro-ph.SR↗

arXiv2013

Planet Hunters. V. A Confirmed Jupiter-Size Planet in the Habitable Zone and 42 Planet Candidates from the Kepler Archive Data

We report the latest Planet Hunter results, including PH2 b, a Jupiter-size (R_PL = 10.12 \pm 0.56 R_E) planet orbiting in the habitable zone of a solar-type star. PH2 b was elevated from candidate status when a series of false positive tests yielded a 99.9% confidence level that transit events detected around the star KIC 12735740 had a planetary origin. Planet Hunter volunteers have also discovered 42 new planet candidates in the Kepler public archive data, of which 33 have at least three transits recorded. Most of these transit candidates have orbital periods longer than 100 days and 20 are potentially located in the habitable zones of their host stars. Nine candidates were detected with only two transit events and the prospective periods are longer than 400 days. The photometric models suggest that these objects have radii that range between Neptune to Jupiter. These detections nearly double the number of gas giant planet candidates orbiting at habitable zone distances. We conducted spectroscopic observations for nine of the brighter targets to improve the stellar parameters and we obtained adaptive optics imaging for four of the stars to search for blended background or foreground stars that could confuse our photometric modeling. We present an iterative analysis method to derive the stellar and planet properties and uncertainties by combining the available spectroscopic parameters, stellar evolution models, and transiting light curve parameters, weighted by the measurement errors. Planet Hunters is a citizen science project that crowd-sources the assessment of NASA Kepler light curves. The discovery of these 43 planet candidates demonstrates the success of citizen scientists at identifying planet candidates, even in longer period orbits with only two or three transit events.

astro-ph.EP↗

arXiv2013

Very Low Mass Stellar and Substellar Companions to Solar-like Stars From MARVELS IV: A Candidate Brown Dwarf or Low-Mass Stellar Companion to HIP 67526

We report the discovery of a candidate brown dwarf or a very low mass stellar companion (MARVELS-5b) to the star HIP 67526 from the Multi-object APO Radial Velocity Exoplanet Large-area Survey (MARVELS). The radial velocity curve for this object contains 31 epochs spread over 2.5 years. Our Keplerian fit using a Markov Chain Monte Carlo approach, reveals that the companion has an orbital period of $90.2695^{+0.0188}_{-0.0187}$ days, an eccentricity of $0.4375 \pm 0.0040$ and a semi-amplitude of $2948.14^{+16.65}_{-16.55}$ m s$^{-1}$. Using additional high-resolution spectroscopy, we find the host star has an effective temperature $T_{\rm{eff}}=6004 \pm 34$ K, a surface gravity $\log g$ [cgs] $=4.55 \pm 0.17$ and a metallicity [Fe/H] $=+0.04 \pm 0.06$. The stellar mass and radius determined through the empirical relationship of Torres et al. (2010), yields 1.10$\pm$0.09 $M_{\sun}$ and 0.92$\pm$0.19 $R_{\sun}$. The minimum mass of MARVELS-5b is $65.0 \pm 2.9 M_{Jup}$, indicating that it is likely to be either a brown dwarf or a very low mass star, thus occupying a relatively sparsely-populated region of the mass function of companions to solar-type stars. The distance to this system is 101$\pm$10 pc from the astrometric measurements of Hipparcos. No stellar tertiary is detected in the high-contrast images taken by either FastCam lucky imaging or Keck adaptive optics imaging, ruling out any star with mass greater than 0.2$M_{\sun}$ at a separation larger than 40 AU.

astro-ph.EP↗

arXiv2013

KELT-3b: A Hot Jupiter Transiting a V=9.8 Late-F Star

We report the discovery of KELT-3b, a moderately inflated transiting hot Jupiter with a mass of 1.477 (-0.067, +0.066) M_J, and radius of 1.345 +/- 0.072 R_J, with an orbital period of 2.7033904 +/- 0.000010 days. The host star, KELT-3, is a V=9.8 late F star with M_* = 1.278 (-0.061, +0.063) M_sun, R_* = 1.472 (-0.067, +0.065) R_sun, T_eff = 6306 (-49, +50) K, log(g) = 4.209 (-0.031, +0.033), and [Fe/H] = 0.044 (-0.082, +0.080), and has a likely proper motion companion. KELT-3b is the third transiting exoplanet discovered by the KELT survey, and is orbiting one of the 20 brightest known transiting planet host stars, making it a promising candidate for detailed characterization studies. Although we infer that KELT-3 is significantly evolved, a preliminary analysis of the stellar and orbital evolution of the system suggests that the planet has likely always received a level of incident flux above the empirically-identified threshold for radius inflation suggested by Demory & Seager (2011).

astro-ph.EP↗

arXiv2013

Very Low Mass Stellar and Substellar Companions to Solar-Like Stars From MARVELS V: A Low Eccentricity Brown Dwarf from the Driest Part of the Desert, MARVELS-6b

We describe the discovery of a likely brown dwarf (BD) companion with a minimum mass of 31.7 +/- 2.0 M_Jup to GSC 03546-01452 from the MARVELS radial velocity survey, which we designate as MARVELS-6b. For reasonable priors, our analysis gives a probability of 72% that MARVELS-6b has a mass below the hydrogen-burning limit of 0.072 M_Sun, and thus it is a high-confidence BD companion. It has a moderately long orbital period of 47.8929 +0.0063/-0.0062 days with a low eccentricty of 0.1442 +0.0078/-0.0073, and a semi-amplitude of 1644 +12/-13 m/s. Moderate resolution spectroscopy of the host star has determined the following parameters: T_eff = 5598 +/- 63, log g = 4.44 +/- 0.17, and [Fe/H] = +0.40 +/- 0.09. Based upon these measurements, GSC 03546-01452 has a probable mass and radius of M_star = 1.11 +/- 0.11 M_Sun and R_star = 1.06 +/- 0.23 R_Sun with an age consistent with less than ~6 Gyr at a distance of 219 +/- 21 pc from the Sun. Although MARVELS-6b is not observed to transit, we cannot definitively rule out a transiting configuration based on our observations. There is a visual companion detected with Lucky Imaging at 7.7 arcsec from the host star, but our analysis shows that it is not bound to this system. The minimum mass of MARVELS-6b exists at the minimum of the mass functions for both stars and planets, making this a rare object even compared to other BDs.

astro-ph.EP↗

arXiv2013

Counterexample-Preserving Reduction for Symbolic Model Checking

The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be reduced to an easier-to-handle one before model checking. In our reduction, these two formulae need not to be logically equivalent, but they share the same counterexample set w.r.t the model. In the case that the model is symbolically represented, the condition enabling such reduction can be detected with a lightweight effort (e.g., with SAT-solving). In this paper, we tentatively name such technique "Counterexample-Preserving Reduction" (CePRe for short), and finally the proposed technquie is experimentally evaluated by adapting NuSMV.

cs.LO↗

arXiv2012

Very Low-mass Stellar and Substellar Companions to Solar-like Stars from Marvels III: A Short-Period Brown Dwarf Candidate Around An Active G0Iv Subgiant

We present an eccentric, short-period brown dwarf candidate orbiting the active, slightly evolved subgiant star TYC 2087-00255-1, which has effective temperature T_eff = 5903+/-42 K, surface gravity log (g) = 4.07+/-0.16 (cgs), and metallicity [Fe/H] = -0.23+/-0.07. This candidate was discovered using data from the first two years of the Multi-object APO Radial Velocity Exoplanets Large-area Survey (MARVELS), which is part of the third phase of Sloan Digital Sky Survey. From our 38 radial velocity measurements spread over a two-year time baseline, we derive a Keplerian orbital fit with semi-amplitude K=3.571+/-0.041 km/s, period P=9.0090+/-0.0004 days, and eccentricity e=0.226+/-0.011. Adopting a mass of 1.16+/-0.11 Msun for the subgiant host star, we infer that the companion has a minimum mass of 40.0+/-2.5 M_Jup. Assuming an edge-on orbit, the semimajor axis is 0.090+/-0.003 AU. The host star is photometrically variable at the \sim1% level with a period of \sim13.16+/-0.01 days, indicating that the host star spin and companion orbit are not synchronized. Through adaptive optics imaging we also found a point source 643+/-10 mas away from TYC 2087-00255-1, which would have a mass of 0.13 Msun if it is physically associated with TYC 2087-00255-1 and has the same age. Future proper motion observation should be able to resolve if this tertiary object is physically associated with TYC 2087-00255-1 and make TYC 2087-00255-1 a triple body system. Core Ca II H and K line emission indicate that the host is chromospherically active, at a level that is consistent with the inferred spin period and measured v_{rot}*sin i, but unusual for a subgiant of this T_eff. This activity could be explained by ongoing tidal spin-up of the host star by the companion.

astro-ph.SR↗

arXiv2012

Very Low-mass Stellar and Substellar Companions to Solar-like Stars from MARVELS II: A Short-period Companion Orbiting an F Star with Evidence of a Stellar Tertiary And Significant Mutual Inclination

We report the discovery via radial velocity of a short-period (P = 2.430420 \pm 0.000006 days) companion to the F-type main sequence star TYC 2930-00872-1. A long-term trend in the radial velocities indicates the presence of a tertiary stellar companion with $P > 2000$ days. High-resolution spectroscopy of the host star yields T_eff = 6427 +/- 33 K, log(g) = 4.52 +/- 0.14, and [Fe/H]=-0.04 +/- 0.05. These parameters, combined with the broad-band spectral energy distribution and parallax, allow us to infer a mass and radius of the host star of M_1=1.21 +/- 0.08 M_\odot and R_1=1.09_{-0.13}^{+0.15} R_\odot. We are able to exclude transits of the inner companion with high confidence. The host star's spectrum exhibits clear Ca H and K core emission indicating stellar activity, but a lack of photometric variability and small v*sin(I) suggest the primary's spin axis is oriented in a pole-on configuration. The rotational period of the primary from an activity-rotation relation matches the orbital period of the inner companion to within 1.5 σ, suggesting they are tidally locked. If the inner companion's orbital angular momentum vector is aligned with the stellar spin axis, as expected through tidal evolution, then it has a stellar mass of M_2 ~ 0.3-0.4 M_\odot. Direct imaging limits the existence of stellar companions to projected separations < 30 AU. No set of spectral lines and no significant flux contribution to the spectral energy distribution from either companion are detected, which places individual upper mass limits of M < 1.0 M_\odot, provided they are not stellar remnants. If the tertiary is not a stellar remnant, then it likely has a mass of ~0.5-0.6 M_\odot, and its orbit is likely significantly inclined from that of the secondary, suggesting that the Kozai-Lidov mechanism may have driven the dynamical evolution of this system.

astro-ph.SR↗

arXiv2012

Speculative Symbolic Execution

Symbolic execution is an effective path oriented and constraint based program analysis technique. Recently, there is a significant development in the research and application of symbolic execution. However, symbolic execution still suffers from the scalability problem in practice, especially when applied to large-scale or very complex programs. In this paper, we propose a new fashion of symbolic execution, named Speculative Symbolic Execution (SSE), to speed up symbolic execution by reducing the invocation times of constraint solver. In SSE, when encountering a branch statement, the search procedure may speculatively explore the branch without regard to the feasibility. Constraint solver is invoked only when the speculated branches are accumulated to a specified number. In addition, we present a key optimization technique that enhances SSE greatly. We have implemented SSE and the optimization technique on Symbolic Pathfinder (SPF). Experimental results on six programs show that, our method can reduce the invocation times of constraint solver by 21% to 49% (with an average of 30%), and save the search time from 23.6% to 43.6% (with an average of 30%).

cs.SE↗

arXiv2012

Accurate Group Delay Measurement for Radial Velocity Instruments Using the Dispersed Fixed Delay Interferometer Method

The dispersed fixed-delay Intereferometer (DFDI) method is attractive for its low cost, compact size, and multiobject capability in precision radial-velocity (RV) measurements. The phase shift of fringes of stellar absorption lines is measured and then converted to an RV shift via an important parameter, phase-to-velocity scale (PV scale), determined by the group delay (GD) of a fixed-delay interferometer. Two methods of GD measurement using a DFDI Doppler instrument are presented in this article: (1) GD measurement using white-light combs gen- erated by the fixed-delay interferometer and (2) GD calibration using an RV reference star. These two methods provide adequate precision of GD measurement and calibration, given the current RV precision achieved by a DFDI Doppler instrument. They can potentially be used to measure GD of an fixed-delay interferometer for submeter- precision Doppler measurement with a DFDI instrument. Advantages and limitations of each method are discussed in detail. The two methods can serve as standard procedures of PV-scale calibration for DFDI instruments and cross- checks for each other.

astro-ph.IM↗

arXiv2012

Very Low-Mass Stellar and Substellar Companions to Solar-Like Stars from MARVELS I: A Low Mass Ratio Stellar Companion to TYC 4110-01037-1 in a 79-day Orbit

TYC 4110-01037-1 has a low-mass stellar companion, whose small mass ratio and short orbital period are atypical amongst solar-like (Teff ~< 6000 K) binary systems. Our analysis of TYC 4110-01037-1 reveals it to be a moderately aged (~<5 Gyr) solar-like star having a mass of 1.07 +/- 0.08 MSun and radius of 0.99 +/- 0.18 RSun. We analyze 32 radial velocity measurements from the SDSS-III MARVELS survey as well as 6 supporting radial velocity measurements from the SARG spectrograph on the 3.6m TNG telescope obtained over a period of ~2 years. The best Keplerian orbital fit parameters were found to have a period of 78.994 +/- 0.012 days, an eccentricity of 0.1095 +/- 0.0023, and a semi-amplitude of 4199 +/- 11 m/s. We determine the minimum companion mass (if sin i = 1) to be 97.7 +/- 5.8 MJup. The system's companion to host star mass ratio, >0.087 +/- 0.003, places it at the lowest end of observed values for short period stellar companions to solar-like (Teff ~< 6000 K) stars. One possible way to create such a system would be if a triple-component stellar multiple broke up into a short period, low q binary during the cluster dispersal phase of its lifetime. A candidate tertiary body has been identified in the system via single-epoch, high contrast imagery. If this object is confirmed to be co-moving, we estimate it would be a dM4 star. We present these results in the context of our larger-scale effort to constrain the statistics of low mass stellar and brown dwarf companions to FGK-type stars via the MARVELS survey.

astro-ph.SR↗

arXiv2011

On the Eccentricity Distribution of Short-Period Single-Planet Systems

We apply standard Markov chain Monte Carlo (MCMC) analysis techniques for 50 short- period, single-planet systems discovered with radial velocity technique. We develop a new method for accessing the significance of a non-zero orbital eccentricity, namely Γ analysis, which combines frequentist bootstrap approach with Bayesian analysis of each simulated data set. We find the eccentricity estimations from Γ analysis are generally consistent with results from both standard MCMC analysis and previous references. The Γ method is particular useful for assessing the significance of small eccentricities. Our results suggest that the current sample size is insufficient to draw robust conclusions about the roles of tidal interaction and perturbations in shaping the eccentricity distribution of short-period single-planet systems. We use a Bayesian population analysis to show that a mixture of analytical distributions is a good approximation of the underlying eccentricity distribution. For short-period planets, we find the most probable values of parameters in the analytical functions given the observed eccentricities. These analytical functions can be used in theoretical investigations or as priors for the eccentricity distribution when analyzing short-period planets. As the measurement precision improves and sample size increases, the method can be applied to more complex parametrizations for the underlying distribution of eccentricity for extrasolar planetary systems.

astro-ph.EP↗

arXiv2011

How Close Are We To Detecting Earth-like Planets in the Habitable Zone Using the Radial Velocity Technique?

Discovering an Earth-like exoplanet in habitable zone is an important milestone for astronomers in search of extra-terrestrial life. While the radial velocity (RV) technique remains one the most powerful tools in detecting and characterizing exo-planetary sys- tems, we calculate the uncertainties in precision RV measurements considering stellar spectral quality factors, RV calibration sources, stellar noise and telluric contamination in different observational bandpasses and for different spectral types. We predict the optimal observational bandpass for different spectral types using the RV technique un- der a variety of conditions. We compare the RV signal of an Earth-like planet in the habitable zone (HZ) to the near future state of the art RV precision and attempt to answer the question: How close are we to detecting Earth-like planet in the HZ using the RV technique?

astro-ph.EP↗

arXiv2011

Fundamental Performance of a Dispersed Fixed Delay Interferometer In Searching For Planets Around M Dwarfs

We present a new method to calculate fundamental Doppler measurement limits with a dispersed fixed-delay interferometer (DFDI) in the near infrared wavelength region for searching for exoplanets around M dwarfs in the coming decade. It is based on calculating the Q factor, a measure of flux-normalized Doppler sensitivity in the fringing spectra created with DFDI. We calculate the Q factor as a function of spectral resolution R, stellar projected rotational velocity V sini, stellar effective temperature T_eff and optical path difference (OPD) of the interferometer. We also compare the DFDI Q factor to that for the popular cross-dispersed echelle spectrograph method (the direct echelle (DE) method). Given the IR Doppler measurement is likely to be detector-limited for a while, we introduce new merit functions, which is directly related to photon-limited RV uncertainty, to evaluate Doppler performance with the DFDI and DE methods. We find that DFDI has strength in wavelength coverage and multi-object capability over the DE for a limited detector resource. We simulate the performance of the InfraRed Exoplanet Tracker (IRET) based on the DFDI design, being considered for the next generation IR Doppler measurements. The predicted photon-limited RV uncertainty suggests that IRET is capable of detecting Earth-like exoplanets in habitable zone around nearby bright M dwarfs if they exist. A new method is developed to quantitatively estimate the influence of telluric lines on RV uncertainty. Our study shows that photon-limited RV uncertainty can be reached if 99% of the strength of telluric lines can be removed from the measured stellar spectra. At low to moderate levels of telluric line strength removal (50% to 90%), the optimal RV uncertainty is typically a factor of 2-3 times larger than photon-limited RV uncertainty.

astro-ph.EP↗

arXiv2010

MARVELS-1b: A Short-Period, Brown Dwarf Desert Candidate from the SDSS-III MARVELS Planet Search

We present a new short-period brown dwarf candidate around the star TYC 1240-00945-1. This candidate was discovered in the first year of the Multi-object APO Radial Velocity Exoplanets Large-area Survey (MARVELS), which is part of the third phase of the Sloan Digital Sky Survey (SDSS-III), and we designate the brown dwarf as MARVELS-1b. MARVELS uses the technique of dispersed fixed-delay interferometery to simultaneously obtain radial velocity measurements for 60 objects per field using a single, custom-built instrument that is fiber fed from the SDSS 2.5-m telescope. From our 20 radial velocity measurements spread over a ~370 d time baseline, we derive a Keplerian orbital fit with semi-amplitude K=2.533+/-0.025 km/s, period P=5.8953+/-0.0004 d, and eccentricity consistent with circular. Independent follow-up radial velocity data confirm the orbit. Adopting a mass of 1.37+/-0.11 M_Sun for the slightly evolved F9 host star, we infer that the companion has a minimum mass of 28.0+/-1.5 M_Jup, a semimajor axis 0.071+/-0.002 AU assuming an edge-on orbit, and is probably tidally synchronized. We find no evidence for coherent instrinsic variability of the host star at the period of the companion at levels greater than a few millimagnitudes. The companion has an a priori transit probability of ~14%. Although we find no evidence for transits, we cannot definitively rule them out for companion radii ~<1 R_Jup.

astro-ph.EP↗

arXiv2009

A Third Planet Orbiting HIP 14810

We present new precision radial velocities and a three-planet Keplerian orbit fit for the V = 8.5, G5 V star HIP 14810. We began observing this star at Keck Observatory as part of the N2K Planet Search Project. Wright et al. (2007) announced the inner two planets to this system, and subsequent observations have revealed the outer planet planet and the proper orbital solution for the middle planet. The planets have minimum masses of 3.9, 1.3, and 0.6 M_Jup and orbital periods of 6.67, 147.7, and 952 d, respectively. We have numerically integrated the family of orbital solutions consistent with the data and find that they are stable for at least 10^6 yr. Our photometric search shows that the inner planet does not transit.

astro-ph.SR↗

arXiv2007

Line tension and structure of smectic liquid crystal multilayers at the air-water interface

At the air/water interface, 4,-8-alkyl[1,1,-biphenyl]-4-carbonitrile (8CB) domains with different thicknesses coexist in the same Langmuir film, as multiple bilayers on a monolayer. The edge dislocation at the domain boundary leads to line tension, which determines the domain shape and dynamics. By observing the domain relaxation process starting from small distortions, we find that the line tension is linearly dependent on the thickness difference between the coexisting phases in the film. Comparisons with theoretical treatments in the literature suggest that the edge dislocation at the boundary locates near the center of the film, which means that the 8CB multilayers are almost symmetric with respect to the air/water interface.

cond-mat.soft↗