arXiv subjects
Publications and source records attributed to Yue Ma.
We study the production line shape of $B^\ast\bar B$ near threshold, where the $B^\ast \bar B$ pair comes from the resonance $X_b$. Our study shows that the line shape depends sensitively on the binding energy and the probability of finding an elementary state in the physical bound state. Both of the two parameters are crucial to identify the structure of $X_b$. Therefore, the line shape measurement can shed light on the structure of $X_b$.
DL-Lite is an important family of description logics. Recently, there is an increasing interest in handling inconsistency in DL-Lite as the constraint imposed by a TBox can be easily violated by assertions in ABox in DL-Lite. In this paper, we present a distance-based paraconsistent semantics based on the notion of feature in DL-Lite, which provides a novel way to rationally draw meaningful conclusions even from an inconsistent knowledge base. Finally, we investigate several important logical properties of this entailment relation based on the new semantics and show its promising advantages in non-monotonic reasoning for DL-Lite.
An experiment to search for the $K^-pp$ bound state was performed via the in-flight $^3$He($K^-,n)$ reaction using 5.3 $\times$ $10^9$ kaons at 1 GeV/$c$ at the J-PARC hadron experimental facility. In the semi-inclusive neutron missing-mass spectrum at $θ_{n}^{lab}=0^\circ$, no significant peak was observed in the region corresponding to $K^-pp$ binding energy larger than 80 MeV, where a bump structure has been reported in the $Λp$ final state in different reactions. Assuming the state to be isotropically decaying into $Λp$, mass-dependent upper limits on the production cross section were determined to be 30--180, 70--250, and 100--270 $μ$b/sr, for the natural widths of 20, 60, and 100 MeV, respectively, at 95\% confidence level.
We establish a well-posedness theory for the f(R) theory of modified gravity, which is a generalization of Einstein's theory of gravitation. The scalar curvature R of the spacetime, which arises in the integrand of the Einstein-Hilbert functional, is replaced by a function f=f(R). The field equations involve up to fourth-order derivatives of the spacetime metric, and the challenge is to understand the structure of these high-order terms. We propose a formulation of the initial value problem in modified gravity when the initial data are prescribed on a hypersurface. In addition to the induced metric and second fundamental form of the initial slice and the initial matter content, an initial data set must also provide the spacetime scalar curvature and its time-derivative. We introduce an augmented conformal formulation, as we call it, in which the spacetime curvature is an independent variable. In the so-called wave gauge, the field equations of modified gravity reduce a coupled system of nonlinear wave-Klein-Gordon equations with defocusing potential, whose unknowns are the conformally-transformed metric and the scalar curvature, as well as the matter fields. We are able to establish the existence of maximal globally hyperbolic developments when the matter is represented by a scalar field. We analyze the so-called Jordan coupling and work with the Einstein metric, which is conformally equivalent to the physical metric --the conformal factor depending upon the scalar curvature. Our analysis leads us to a rigorous validation of the theory of modified gravity. We derive quantitative estimates, which are uniform in terms of the nonlinearity f(R), and we prove that asymptotically flat spacetimes of modified gravity are `close' to Einstein spacetimes, when the function f(R) in the action functional of modified gravity is `close' to the Einstein-Hilbert integrand R.
The Hyperboloidal Foliation Method presented in this monograph is based on a (3+1)-foliation of Minkowski spacetime by hyperboloidal hypersurfaces. It allows us to establish global-in-time existence results for systems of nonlinear wave equations posed on a curved spacetime and to derive uniform energy bounds and optimal rates of decay in time. We are also able to encompass the wave equation and the Klein-Gordon equation in a unified framework and to establish a well-posedness theory for nonlinear wave-Klein-Gordon systems and a large class of nonlinear interactions. The hyperboloidal foliation of Minkowski spacetime we rely upon in this book has the advantage of being geometric in nature and, especially, invariant under Lorentz transformations. As stated, our theory applies to many systems arising in mathematical physics and involving a massive scalar field, such as the Dirac-Klein-Gordon system. As it provides uniform energy bounds and optimal rates of decay in time, our method appears to be very robust and should extend to even more general systems.
Measuring inconsistency is viewed as an important issue related to handling inconsistencies. Good measures are supposed to satisfy a set of rational properties. However, defining sound properties is sometimes problematic. In this paper, we emphasize one such property, named Decomposability, rarely discussed in the literature due to its modeling difficulties. To this end, we propose an independent decomposition which is more intuitive than existing proposals. To analyze inconsistency in a more fine-grained way, we introduce a graph representation of a knowledge base and various MUSdecompositions. One particular MUS-decomposition, named distributable MUS-decomposition leads to an interesting partition of inconsistencies in a knowledge base such that multiple experts can check inconsistencies in parallel, which is impossible under existing measures. Such particular MUSdecomposition results in an inconsistency measure that satisfies a number of desired properties. Moreover, we give an upper bound complexity of the measure that can be computed using 0/1 linear programming or Min Cost Satisfiability problems, and conduct preliminary experiments to show its feasibility.
For an ideal I with a positive dimensional real variety, based on moment relaxations, we study how to compute a Pommaret basis which is simultaneously a Groebner basis of an ideal J generated by the kernel of a truncated moment matrix and nesting between I and its real radical ideal. We provide a certificate consisting of a condition on coranks of moment matrices for terminating the algorithm. For a generic delta-regular coordinate system, we prove that the condition is satisfiable in a large enough order of moment relaxations.
Real-space mapping of doping concentration in semiconductor devices is of great importance for the microelectronic industry. In this work, a scanning microwave impedance microscope (MIM) is employed to resolve the local conductivity distribution of a static random access memory (SRAM) sample. The MIM electronics can also be adjusted to the scanning capacitance microscopy (SCM) mode, allowing both measurements on the same region. Interestingly, while the conventional SCM images match the nominal device structure, the MIM results display certain unexpected features, which originate from a thin layer of the dopant ions penetrating through the protective layers during the heavy implantation steps.
A new spectrometer system was designed and constructed at the secondary beam line K1.8BR in the hadron hall of J-PARC to investigate $\bar K N$ interactions and $\bar K$-nuclear bound systems. The spectrometer consists of a high precision beam line spectrometer, a liquid $^3$He/$^4$He/D$_2$ target system, a Cylindrical Detector System that surrounds the target to detect the decay particles from the target region, and a neutron time-of-flight counter array located $\sim$15 m downstream from the target position. Details of the design, construction, and performance of the detector components are described.
In this article one will discuss the system of coupled nonlinear Klein-Gordon equations with different velocities and different masses. The nonlinearity considered is a general quadratic nonlinearity without any restriction. The method is a classical boot-strap argument combined with a serious of techniques including conformal energy estimate, global sobolev's lemma and Hardy type inequalities.
The problem of computing a representation for a real polynomial as a sum of minimum number of squares of polynomials can be casted as finding a symmetric positive semidefinite real matrix (Gram matrix) of minimum rank subject to linear equality constraints. In this paper, we propose algorithms for solving the minimum-rank Gram matrix completion problem, and show the convergence of these algorithms. Our methods are based on the modified fixed point continuation (FPC) method. We also use the Barzilai-Borwein (BB) technique and a specific linear combination of two previous iterates to accelerate the convergence of modified FPC algorithms. We demonstrate the effectiveness of our algorithms for computing approximate and exact rational sum of squares (SOS) decompositions of polynomials with rational coefficients.
Oscillations represent a ubiquitous phenomenon in biological systems. The conventional models of biological periodic oscillations are usually proposed as interconnecting transcriptional feedback loops. Some specific proteins function as transcription factors, which in turn negatively regulate the expression of the genes that encode those "clock protein". These loops may lead to rhythmic changes in gene expression of a cell. In the case of multi-cellular tissue, the collective oscillation is often obtained from synchronization of these cells, which manifest themselves as autonomous oscillators. In contrast, here, we propose a different scenario for the occurrence of collective oscillation in a multi-cellular system independent of oscillation, neither intrinsically oscillatory cells nor periodic external stimulation. It is a coupling induced oscillation, with the consideration of wave propagation due to the intracellular communication.