Unique continuation property with partial information for two-dimensional anisotropic elasticity systems

In this paper, we establish a novel unique continuation property for two-dimensional anisotropic elasticity systems with partial information. More precisely, given a homogeneous elasticity system in a domain, we investigate the unique continuation by assuming only the vanishing of one component of the solution in a subdomain. Using the corresponding Riemann function, we prove that the solution vanishes in the whole domain provided that the other component vanishes at one point up to its second derivatives. Further, we construct several examples showing the possibility of further reducing the additional information of the other component. This result possesses remarkable significance in both theoretical and practical aspects because the required data is almost halved for the unique determination of the whole solution.Comment: 14 pages, 1 figur

The kHz QPOs as a probe of the X-ray color-color diagram and accretion-disk structure for the atoll source 4U 1728-34

We have taken the kHz QPOs as a tool to probe the correlation between the tracks of X-ray color-color diagram (CCD) and magnetosphere-disk positions for the atoll source 4U 1728-34, based on the assumptions that the upper kHz QPO is ascribed to the Keplerian orbital motion and the neutron star (NS) magnetosphere is defined by the dipole magnetic field. We find that from the island to the banana state, the inner accretion disk gradually approaches the NS surface with the radius decreasing from r ~33.0km to ~15.9 km, corresponding to the magnetic field from B(r) ~4.8*10^6 G to ~4.3*10^7 G. In addition, we note the characteristics of some particular radii of magnetosphere-disk -r are: firstly, the whole atoll shape of the CCD links the disk radius range of ~15.9 - 33.0 km, which is just located inside the corotation radius of 4U 1728-34 -r_co ( ~34.4 km), implying that the CCD shape is involved in the NS spin-up state. Secondly, the island and banana states of CCD correspond to the two particular boundaries: (I)-near the corotation radius at r ~27.2 - 33.0 km, where the source lies in the island state; (II)-near the NS surface at r ~15.9 - 22.3 km, where the source lies in both the island and banana states. Thirdly, the vertex of the atoll shape in CCD, where the radiation transition from the hard to soft photons occurs, is found to be near the NS surface at r ~16.4 km. The above results suggest that both the magnetic field and accretion environment are related to the CCD structure of atoll track, where the corotation radius and NS hard surface play the significant roles in the radiation distribution of atoll source.Comment: 6 pages, 3 figures, 1 table, accepted by Astronomy & Astrophysic

Design of a multiple bloom filter for distributed navigation routing

Unmanned navigation of vehicles and mobile robots can be greatly simplified by providing environmental intelligence with dispersed wireless sensors. The wireless sensors can work as active landmarks for vehicle localization and routing. However, wireless sensors are often resource scarce and require a resource-saving design. In this paper, a multiple Bloom-filter scheme is proposed to compress a global routing table for a wireless sensor. It is used as a lookup table for routing a vehicle to any destination but requires significantly less memory space and search effort. An error-expectation-based design for a multiple Bloom filter is proposed as an improvement to the conventional false-positive-rate-based design. The new design is shown to provide an equal relative error expectation for all branched paths, which ensures a better network load balance and uses less memory space. The scheme is implemented in a project for wheelchair navigation using wireless camera motes. © 2013 IEEE

BCS-BEC crossover in a relativistic boson-fermion model beyond mean field approximation

We investigate the fluctuation effect of the di-fermion field in the crossover from Bardeen-Cooper-Schrieffer (BCS) pairing to a Bose-Einstein condensate (BEC) in a relativistic superfluid. We work within the boson-fermion model obeying a global U(1) symmetry. To go beyond the mean field approximation we use Cornwall-Jackiw-Tomboulis (CJT) formalism to include higher order contributions. The quantum fluctuations of the pairing condensate is provided by bosons in non-zero modes, whose interaction with fermions gives the two-particle-irreducible (2PI) effective potential. It changes the crossover property in the BEC regime. With the fluctuations the superfluid phase transition becomes the first order in grand canonical ensemble. We calculate the condensate, the critical temperature $T_{c}$ and particle abundances as functions of crossover parameter the boson mass.Comment: The model Lagrangian is re-formulated by decomposing the complex scalar field into its real and imaginary parts. The anomalous propagators of the complex scalar are then included at tree level. All numerical results are updated. ReVTex 4, 13 pages, 10 figures, PRD accepted versio

Analysis and Detection of Information Types of Open Source Software Issue Discussions

Most modern Issue Tracking Systems (ITSs) for open source software (OSS) projects allow users to add comments to issues. Over time, these comments accumulate into discussion threads embedded with rich information about the software project, which can potentially satisfy the diverse needs of OSS stakeholders. However, discovering and retrieving relevant information from the discussion threads is a challenging task, especially when the discussions are lengthy and the number of issues in ITSs are vast. In this paper, we address this challenge by identifying the information types presented in OSS issue discussions. Through qualitative content analysis of 15 complex issue threads across three projects hosted on GitHub, we uncovered 16 information types and created a labeled corpus containing 4656 sentences. Our investigation of supervised, automated classification techniques indicated that, when prior knowledge about the issue is available, Random Forest can effectively detect most sentence types using conversational features such as the sentence length and its position. When classifying sentences from new issues, Logistic Regression can yield satisfactory performance using textual features for certain information types, while falling short on others. Our work represents a nontrivial first step towards tools and techniques for identifying and obtaining the rich information recorded in the ITSs to support various software engineering activities and to satisfy the diverse needs of OSS stakeholders.Comment: 41st ACM/IEEE International Conference on Software Engineering (ICSE2019

Some recent progress on quark pairings in dense quark and nuclear matter

We give a brief overview on some recent progress in quark pairings in dense quark/nuclear matter mostly developed in the past five years. We focus on following aspects in particular: the BCS-BEC crossover in the CSC phase, the baryon formation and dissociation in dense quark/nuclear matter, the Ginzburg-Landau theory for three-flavor dense matter with $U_{A}$(1) anomaly, and the collective and Nambu-Goldstone modes for the spin-one CSC.Comment: RevTex 4, 25 pages, 9 figures, presented for the KITPC (Kavli Institute for Theoretical Physics China) program "AdS/CFT and Novel Approaches to Hadron and Heavy Ion Physics' in Oct. 11- Dec. 3, 201