Efficient simulation of general stochastic hybrid systems

General Stochastic Hybrid System (SHS) are characterised by Stochastic Differential Equations (SDEs) with discontinuities and Poisson jump processes. SHS are useful in model based design of Cyber-Physical System (CPS) controllers under uncertainty. Industry standard model based design tools such as Simulink/Stateflow® are inefficient when simulating, testing, and validating SHS, because of dependence on fixed-step Euler–Maruyama (EM) integration and discontinuity detection. We present a novel efficient adaptive step-size simulation/integration technique for general SHSs modelled as a network of Stochastic Hybrid Automatons (SHAs). We propose a simulation algorithm where each SHA in the network executes synchronously with the other, at an integration step-size computed using adaptive step-size integration. Ito’ multi-dimensional lemma and the inverse sampling theorem are leveraged to compute the integration step-size by making the SDEs and Poisson jump rate integration dependent upon discontinuities. Existence and convergence analysis along with experimental results show that the proposed technique is substantially faster than Simulink/Stateflow®when simulating general SHSs.     

?*-extensions of tori, higher chow groups and applications to incidence equivalence relations for algebraic cycles

LetX be a smooth projective variety over an algebraically closed fieldk. We repeat Bloch's construction of aG _m -biextension (torseur)E over CH _hom ^p (X)×CH _hom ^q (X) forp+q=dim(X)+1. First we show that in characteristic zeroE comes via pullback from the Poincaré biextension over the corresponding product of intermediate Jacobians which has been conjectured by Bloch and Murre. Then the relations betweenE and various equivalence relations for algebraic cycles are studied. In particular we reprove Murre's theorem stating that Griffiths' conjecture holds for codimension 2 cycles, i.e. every 2-codimensional cycle which is algebraically and incidence equivalent to zero has torsion Abel-Jacobi invariant.     

Complete solutions of a family of quartic Thue and index form equations

Continuing the recent work of the second author, we prove that the diophantine equation

for has exactly 12 solutions except when , when it has 16 solutions. If denotes one of the zeros of , then for we also find all with .

     

Meromorphic singular foliations on complex projective surfaces

Here we show that many numerical computations and bounds on the degrees of the algebraic leaves for singular meromorphic foliations on ² may be extended to large classes of foliations and complex projective surfaces.The author was partially supported by MURST and GNSAGA of CNR (Italy)     

Repeat Space Theory Applied to Carbon Nanotubes and Related Molecular Networks. I

The present article is the first part of a series devoted to extending the Repeat Space Theory (RST) to apply to carbon nanotubes and related molecular networks. Four key problems are formulated whose affirmative solutions imply the formation of the initial investigative bridge between the research field of nanotubes and that of the additivity and other network problems studied and solved by using the RST. All of these four problems are solved affirmatively by using tools from the RST. The Piecewise Monotone Lemmas (PMLs) are cornerstones of the proof of the Fukui conjecture concerning the additivity problems of hydrocarbons. The solution of the fourth problem gives a generalized analytical formula of the pi-electron energy band curves of nanotube (a, b), with two new complex parameters c and d. These two parameters bring forth a broad class of analytic curves to which the PMLs and associated theoretical devices apply. Based on the above affirmative solutions of the problems, a central theorem in the RST, called the asymptotic linearity theorem (ALT) has been applied to nanotubes and monocyclic polyenes. Analytical formulae derived in this application of the ALT illuminate in a new global context (i) the conductivity of nanotubes and (ii) the aromaticity of monocyclic polyenes; moreover an analytical formula obtained by using the ALT provides a fresh insight into Hückel’s (4n+2) rule. The present article forms a foundation of the forthcoming articles in this series. The present series of articles is closely associated with the series of articles entitled ‘Proof of the Fukui conjecture via resolution of singularities and related methods’ published in the JOMC.     

Scaling properties of ℤ k- 1 actions on the circle

We derive universal scaling properties for ^k–1 actions on the circle whose generators have rotation numbers algebraic of degreek. As fork=2 these properties can be explained for arbitraryk in terms of a renormalization group transformation. It has at least one trivial fixed point corresponding to an action whose generators are pure rotations. The spectrum of the linearized transformation in this fixed point is analyzed completely. The fixed point is hyperbolic with a (k–1)-dimensional unstable manifold. In the casek=2 the known results are therefore recovered.     

取代苯体系的二阶非线性光学性质:动力学李代数方法

提出了一种动力学李代数方法来研究取代苯体系的非线性光学性质. 对于给定的PPP模型(Pariser-Parr-Pople)哈密顿量, 生成了一个动力学李代数. 依据这些代数元构造出演化算子作为群参数的函数, 通过求解一组非线性微分方程能够得到这些群参数. 再按照统计力学中的密度算子公式给出取代苯分子体系偶极矩的统计平均值. 于是导出二阶极化率的表达式. 与其他量子力学计算结果比较, 表明这种动力学李代数方法在预言有机共轭分子的非线性光学性质上同样有用.     

Dynamic Lie algebraic formulation of second‐order optical nonlinearity for substituted benzenes

A dynamic Lie algebraic (DLA) formulation is applied to the study of nonlinear optical properties of the substituted benzenes. We have described the generation of the dynamic Lie algebra for the model Hamiltonian used in the present study. In terms of these elements of the dynamic algebra we express the evolution operator as a function of the group parameters, which can be determined by means of solving a system of coupled nonlinear differential equations. Thus, in terms of the density matrix operator formalism in statistical mechanics we obtain the statistical averages of the electric polarization and then derive readily an expression for the hyperpolarizability of the paradisubstituted benzenes. Comparisons with experimental observations and other quantum calculations of the hyperpolarizabilities for the paradisubstituted benzenes are made qualitatively and quantitatively. These results imply that the DLA method appears useful in describing the nonlinear optical phenomena in the substituted benzene molecules. © 2003 Wiley Periodicals, Inc. Int J Quantum Chem 93: 335–343, 2003     

Decay of correlations in surface models

A convergent low-temperature expansion for a variety of models of twodimensional surfaces is presented. It yields existence of the thermodynamic limit for the pressure and correlation functions as well as analyticity inz =e ^– In addition, the estimates give exponential decay of truncated correlations, which proves the existence of a gap in the spectrum of the transfer matrix below the ground state eigenvalue. Two particular examples included in the general framework are the solid-on-solid and discrete Gaussian models.Supported in part by the National Science Foundation under grant No. PHY 79-16812.