Lorentz-Covariant Loop Quantum Gravity

We review the Lorentz-covariant approach to loop quantum gravity. This approach solves the Immirzi parameter problem occurring in the standard loop approach based on the SU(2) gauge group. We show that there exists a unique loop quantization preserving all the classical symmetries at the quantum level and that the results obtained with it, such as the area operator spectrum, are independent of the Immirzi parameter. The standard SU(2) approach violates the diffeomorphism invariance and is therefore an incorrect quantization of gravity.     

Periodic solutions of nonlinear impulsive differential inclusions with constraints

In this paper we obtain the existence of periodic solutions for nonlinear ``invariance' problems monitored by impulsive differential inclusions subject to impulse effects.

     

Stability and bifurcation in a delayed predator-prey system with Beddington-DeAngelis functional response

We consider a delayed predator-prey system with Beddington-DeAngelis functional response. The stability of the interior equilibrium will be studied by analyzing the associated characteristic transcendental equation. By choosing the delay τ as a bifurcation parameter, we show that Hopf bifurcation can occur as the delay τ crosses some critical values. The direction and stability of the Hopf bifurcation are investigated by following the procedure of deriving normal form given by Faria and Magalhães. An example is given and numerical simulations are performed to illustrate the obtained results.     

The Computational Complexity of the Chow Form

We present a bounded probability algorithm for the computation of the Chowforms of the equidimensional components of an algebraic variety. In particular, this gives an alternative procedure for the effective equidimensional decomposition of the variety, since each equidimensional component is characterized by its Chow form. The expected complexity of the algorithm is polynomial in the size and the geometric degree of the input equation system defining the variety. Hence it improves (or meets in some special cases) the complexity of all previous algorithms for computing Chow forms. In addition to this, we clarify the probability and uniformity aspects, which constitutes a further contribution of the paper. The algorithm is based on elimination theory techniques, in line with the geometric resolution algorithm due to M. Giusti, J. Heintz, L. M. Pardo, and their collaborators. In fact, ours can be considered as an extension of their algorithm for zero-dimensional systems to the case of positive-dimensional varieties. The key element for dealing with positive-dimensional varieties is a new Poisson-type product formula. This formula allows us to compute the Chow form of an equidimensional variety from a suitable zero-dimensional fiber. As an application, we obtain an algorithm to compute a subclass of sparse resultants, whose complexity is polynomial in the dimension and the volume of the input set of exponents. As another application, we derive an algorithm for the computation of the (unique) solution of a generic overdetermined polynomial equation system.     

红外单站被动定位技术速度更新算法研究

针对红外单站被动定位技术中空中机动目标的运动速度不断变化这一实际情况,提出了一种基于红外相机运动特性的对目标的运动速度进行实时更新的校正算法.该算法克服了大多基于匀速直线运动这一空间模型的红外单站被动定位方案目标速度不变的缺点,客观地反映了空中机动目标的实际运动状况,不仅能对目标的运动速度进行实时准确的更新校正,而且可推演出一种新的红外单站被动定位算法,对推动红外单站被动定位技术的工程实用化进程具有重要的意义.     

An implicit characteristic-flux-averaging method for the euler equations for real gases

A formulation of an implicit characteristic-flux-averaging method for the unsteady Euler equations with real gas effects is presented. Incorporation of a real gas into a general equation of state is achieved by considering the pressure as a function of density and specific internal energy. The Ricmann solver as well as the flux-split algorithm are modified by introducing the pressure derivatives with respect to density and internal energy. Expressions for calculating the values of the flow variables for a real gas at the cell faces are derived. The Jacobian matrices and the eigenvectors are defined for a general equation of state. The solution of the system of equations is obtained by using a mesh-sequencing method for acceleration of the convergence. Finally, a test case for a simple form of equation of state displays the differences from the corresponding solution for an ideal gas.     

Regularity of Harmonic Functions in Cheeger-Type Sobolev Spaces

We give a geometric approach to the study of the regularity of harmonic functions in Cheeger-type Sobolev spaces, and prove the Hölder continuity of such functions. In the proof, we give a definition of an upper curvature bound of the unit sphere of a Banach space, which seems to be of independent interest.     

Pauli-Fierz Hamiltonians defined as quadratic forms

We study Pauli-Fierz Hamiltonians-self-adjoint operators describing a small quantum system interacting with a bosonic field. Using quadratic form techniques, we extend the results of Dereziński-Gérard and Gérard about the self-adjointness, the location of the essential spectrum and the existence of a ground state to a large class of Pauli-Fierz Hamiltonians.     

Combinatorics of normal sequences of braids

Many natural counting problems arise in connection with the normal form of braids—and seem to have not been much considered so far. Here we solve some of them. One of the noteworthy points is that a number of different induction schemes appear. The key technical ingredient is an analysis of the normality condition in terms of permutations and their descents, in the vein of the Solomon algebra. As was perfectly summarized by a referee, the main result asserts that the size of the automaton involved in the automatic structure of Bn associated with the normal form can be lowered from n! to p(n), the number of partitions of n.