Optimal Finite Characterization of Linear Problems with Inexact Data

Abstract. For many linear problems, in order to check whether a certain property is true for all matrices A from an interval matrix A, it is sufficient to check this property for finitely many “vertex” matrices A ∈ A. J. Rohn has discovered that we do not need to use all 2ⁿ² vertex matrices, it is sufficient to only check these properties for 2²ⁿ⁻¹ ≪ 2ⁿ² vertex matrices of a special type A_yz. In this paper, we show that a further reduction is impossible: without checking all 2²ⁿ⁻¹ matrices A_yz, we cannot guarantee that the desired property holds for all A ϵ A. Thus, these special vertex matrices provide an optimal finite characterization of linear problems with inexact data.     

Electrochemical DNA biosensor for the detection of interaction between di[azino-di(5,6-azafluorene)-κ-NN′]dichlormanganous and DNA

A new Mn(II) complex of MnL₂Cl₂ (L = azino-di(5,6-azafluorene)-κ²-NN′) was synthesized and utilized as an electrochemical indicator for the determination of hepatitis B virus (HBV) based on its interaction with MnL₂Cl₂. The electrochemical behavior of interaction of MnL₂Cl₂ with salmon sperm DNA was investigated on glassy carbon electrode (GCE). In the presence of salmon sperm DNA, the peak current of [MnL₂]²⁺ was decreased and the peak potential was shifted positively without appearance of new peaks. The binding ratio between [MnL₂]²⁺ and salmon sperm DNA was calculated to be 2:1 and the binding constant was 3.72 × 10⁸ mol² L⁻². The extent of hybridization was evaluated on the basis of the difference between signals of [MnL₂]²⁺ with probe DNA before and after hybridization with complementary sequence. Control experiments performed with non-complementary and mismatch sequence demonstrated the good selectivity of the biosensor. With this approach, a sequence of the HBV could be quantified over the range from 1.76 × 10⁻⁸ to 1.07 × 10⁻⁶ mol L⁻¹, with a linear correlation of r = 0.9904 and a detection limit of 6.80 × 10⁻⁹ mol L⁻¹. Additionally, the binding mechanism was preliminarily discussed. The mode of interaction between MnL₂Cl₂ and DNA was found to be primary intercalation binding.     

Monoid-labeled transition systems

Given a -complete (semi)lattice , we consider -labeled transition systems as coalgebras of a functor ⁽⁻⁾, associating with a set X the set ^X of all -fuzzy subsets. We describe simulations and bisimulations of -coalgebras to show that L⁽⁻⁾ weakly preserves nonempty kernel pairs iff it weakly preserves nonempty pullbacks iff L is join infinitely distributive (JID).Exchanging for a commutative monoid , we consider the functor ⁽⁻⁾_ω which associates with a set X all finite multisets containing elements of X with multiplicities m M. The corresponding functor weakly preserves nonempty pullbacks along injectives iff 0 is the only invertible element of , and it preserves nonempty kernel pairs iff is refinable, in the sense that two sum representations of the same value, r₁ + … + r_m = c₁ + … + c_n, have a common refinement matrix (m_{(i, j)}) whose k-th row sums to r_k and whose l-th column sums to c_l for any 1≤ k ≤ m and 1 ≤ l ≤ n.     

A Posteriori Error Estimates and an Adaptive Finite Element Method for the Allen–Cahn Equation and the Mean Curvature Flow

This paper develops an a posteriori error estimate of residual type for finite element approximations of the Allen–Cahn equation u_t − Δu+ ε⁻² f(u)=0. It is shown that the error depends on ε⁻¹ only in some low polynomial order, instead of exponential order. Based on the proposed a posteriori error estimator, we construct an adaptive algorithm for computing the Allen–Cahn equation and its sharp interface limit, the mean curvature flow. Numerical experiments are also presented to show the robustness and effectiveness of the proposed error estimator and the adaptive algorithm.     

A further result on the oscillation of delay difference equations

In this paper, we are concerned with the delay difference equations of the form

(*)

y_n+1 − y_n + p_ny_n−k = 0, N = 0, 1, 2, …,

(*)where p_n ≥ 0 and k is a positive integer. We prove by using a new technique that

guarantees that all solutions of equation (*) oscillate, which improves many previous well-known results. In particular, our theorems also fit the case where Σⁿ⁻¹_i=n−kp_i ≤ k^k+1/(k + 1)^k+1. In addition, we present a nonoscillation sufficient condition for equation (*).     

A note on two-sided stochastic control problems

We consider a class of two-sided stochastic control problems. For each continuous process π_t = π_t⁺ − π_t⁻ with bounded variation, the state process (x_t) is defined by x_t = B_t + f₀^t I(x_s - a)^d_πs+ − f₀^t I(x_s a)^dπ_s−, where a is a positive constant and (B_t) is a standard Brownian motion. We show the existence of an optimal policy so as to minimize the cost function J(π) = E [f₀^∞ e^−αsX_s² ds], with discount rate α > 0, associated with π.     

Two-step compensation of nonlinear systems

We study the problem of stabilization of nonlinear plants. We show that given a nonlinear plant P, if there exists a (nonlinear) compensator F, possibly unstable, which stabilizes P, then, with P₁: = P(I − F(− P))⁻¹, any C defined by C:= F + Q(I − P₁Q)⁻¹ for some finite-gain stable Q will stabilize P.     

Rational Solutions of Riccati-like Partial Differential Equations

When factoring linear partial differential systems with a finite-dimensional solution space or analysing symmetries of nonlinear ODEs, we need to look for rational solutions of certain nonlinear PDEs. The nonlinear PDEs are called Riccati-like because they arise in a similar way as Riccati ODEs. In this paper we describe the structure of rational solutions of a Riccati-like system, and an algorithm for computing them. The algorithm is also applicable to finding all rational solutions of Lie’s system { ∂_xu + u² + a₁u + a₂v + a₃, ∂_yu + uv + b₁u + b₂v + b₃, ∂_xv + uv + c₁u + c₂v + c₃, ∂_yv + v² + d₁u + d₂v + d₃},where a₁, . . . , d₃are rational functions of x and y.     

Characterizations of distributions of exponential or geometric type by the integrated lack of memory property and record values

Let be a sequence of i.i.d. random variables, the sequence of its upper record values (i.e. L(0) = 1, L(n) = inf{jX_j>X_L(n−1} for n≥1). Without any assumptions to the support of P^X₁ the equidistribution of X₁ and a record increment X_L(n − X_L(n−1), n ≥ 1 yields X₁ to be either exponentially or geometrically distributed according to whether the additive subgroup generated by the support of P^X₁ is dense or a lattice in . The integrated lack of memory property can easily be reduced to the above problem for the case n = 1. Similarly the independence of X_L(n−1) and X_L(n) − X_L(n−1) for some n>1 characterizes X₁ to have e exponential or a geometric tail provided that the support of P^X₁ is bounded to the left and its right extremity no atom. Hence, if also its left extremity is no atom the independence of X_L(n−1) and X_L(n−1) − X_L(n−1) characterizes X₁ to be exponentially distributed.     

Stochastic Ambient Calculus

Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We present the stochastic version of Mobile Ambients, called Stochastic Mobile Ambients (SMA), where we extend MA with time and probabilities. Inspired by previous models, PEPA and Sπ, we enhance the prefix of the capabilities with a rate and the ambient with a linear function that operates on the rates of processes executing inside it. The linear functions associated with ambients represent the delays that govern particular administrative domains. We derive performance measures from the labelled transition semantics as in standard models. We also define a strong Markov bisimulation in the style of reduction semantics known as barbed bisimulation. We argue that performance measures are of vital importance in designing any kind of distributed system, and that SMA can be useful in the design of the complicated mobile systems.     

Leader Election in Rings of Ambient Processes

Palamidessi has shown that the π-calculus with mixed choice is powerful enough to solve the leader election problem on a symmetric ring of processes. We show that this is also possible in the calculus of Mobile Ambients (MA), without using communication or restriction. Following Palamidessi's methods, we deduce that there is no encoding satisfying certain conditions from MA into CCS. We also show that the calculus of Boxed Ambients is more expressive than its communication-free fragment.     

On the expressive power of movement and restriction in pure mobile ambients

Pure mobile ambients is a process calculus suitable to focus on issues related to mobility, abstracting away from aspects concerning process communication. However, it incorporates name restriction (i.e. the (νn) binder) and ambient movement (i.e. the in and out capabilities) that can be seen as characteristics adapted, or directly borrowed, from the tradition of communication-based process calculi. For this reason, we retain that it is worth to investigate whether or not these features can be removed from pure mobile ambients without losing expressive power.To this aim, we consider two variants of pure mobile ambients which differ in the way infinite processes can be defined; the former exploits process replication, while the latter is more general and permits recursive process definition. We analyse whether or not the elimination of ambient movement and/or name restriction reduces the expressive power of these two calculi, using the decidability of process termination as a yardstick. We prove that name restriction can be removed from both calculi without reducing the expressive power. On the other hand, the elimination of both ambient movement and name restriction strictly reduces the expressive power of both calculi. As far as the elimination of only ambient movement is concerned, we prove an interesting discrimination result: process termination is undecidable under recursive process definition, while it turns out to be decidable under process replication.     

Guardians for Ambient-Based Monitoring

In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon, several ambient-based calculi have been proposed (Seal, Box-π, Safe Ambients, Secure Safe Ambients, Boxed Ambients), mainly for supporting security. At the operational level these (box- and) ambient-based calculi differ only in the capabilities of processes. We propose a way of extending ambient-based calculi, which embodies two principles: an ambient is a unit for monitoring and coordination, the name of an ambient determines its (monitoring and coordination) policy. More specifically, to each ambient we attach a guardian, which monitors the activity of sub-components (i.e. processes and sub-ambients) and the interaction with the external environment. In our proposal, guardians and processes play a dual role: guardians are centralized entities monitoring and inhibiting actions, while processes are decentralized entities performing actions. We exemplify the use of guardians for enforcing security properties.     

Solution to a problem of guarding territory

There are two players on the plane: an invader I with maximal speed v > 1 and a defender D with maximal speed 1. It is shown that the disk of radius rv(v − 1)⁻¹ (where r denotes the ‘destruction radius’ of the defender) is the domain of largest area which can be guarded by the defender.     

Computing Large Deformation Metric Mappings via Geodesic Flows of Diffeomorphisms

This paper examine the Euler-Lagrange equations for the solution of the large deformation diffeomorphic metric mapping problem studied in Dupuis et al. (1998) and Trouvé (1995) in which two images I ₀, I ₁ are given and connected via the diffeomorphic change of coordinates I ₀○ϕ⁻¹=I ₁ where ϕ=Φ₁ is the end point at t= 1 of curve Φ _t , t∈[0, 1] satisfying ^.Φ _t =v _t (Φ _t ), t∈ [0,1] with Φ₀=id. The variational problem takes the form

Semigroup generation and stabilization by A-bounded feedback perturbations

Let A be a generator of a strongly continuous semigroup of operators, and assume that C and H are operators such that A + CH generates a strongly continuous semigroup S_H(t) on X. Let λ₀ be a real number in the resolvent set of A, and let ε [−1, 1]. Then there are some fairly unrestrictive conditions under which A+(λ₀ − A)CH(λ₀ − A)⁻ also generates a strongly continuous semigroup S_K(t) on X which has the same exponential growth rate as S_H(t). Given an input operator B, we can use this to identify a class of feedback perturbations K such that A + BK generates a strongly continuous semigroup. We can also use this result to identify classes of feedbacks which can and cannot uniformly stabilize a system. For example, we show that if the control on a cantilever beam in the state space H₀²[0, 1] × L²[0, 1] is a moment force on the free end, then we cannot stabilize the beam with an A^−1/2-bounded feedback, but we can find an A^−1/4-bounded feedback, for any > 0, which does stabilize the beam.     

Direct amperometric determination of l-ascorbic acid (Vitamin C) at octacyanomolybdate-doped-poly(4-vinylpyridine) modified electrode in fruit juice and pharmaceuticals

The glassy carbon electrode (GCE) modified with Mo(CN)₈⁴⁻-incorporated-poly(4-vinylpyridine) (PVP/Mo(CN)₈⁴⁻), which has been recently shown to possess several attractive attributes as an efficient electrocatalytic electrode for l-ascorbic acid oxidation and its estimation, is used for l-ascorbic acid estimation directly in orange fruit juice and Celin tablet in a 0.1 M H₂SO₄ acid solution without any special treatment. Constant potential amperometry at 570 mV (saturated calomel electrode, SCE) in stirred solutions is used for this purpose. A good correlation is attained with the official titrametric method. To understand the possible electrocatalytic reaction mechanism for the electro-oxidation of l-ascorbic acid, calibration graphs over the range 1 × 10⁻⁵ to 1 × 10⁻² mol dm⁻³ l-ascorbic acid are compared for the three electrodes, ca. PVP/Mo(CN)₈⁴⁻, undoped PVP, and GCE; the curvature at high ascorbic acid concentration for the PVP/Mo(CN)₈⁴⁻ electrode is explained in terms of Michaelis–Menten (MM) saturation kinetics. The apparent MM constant (K_M), the maximum catalytic current (i_M), the complex decomposition rate constant (k_c), and the heterogeneous modified electrode rate constant (k^′_ME) are calculated from three different approaches. A reasonably high value of ≈1 × 10⁻² cm s⁻¹ is obtained for k^′_ME, indicating efficient l-ascorbic acid mediation at the PVP/Mo(CN)₈⁴⁻ electrode, thus accounting for quite a high sensitivity of this modified film electrode compared to several other modified electrodes.     

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names

Bigraphs have been introduced with the aim to provide a topographical meta-model for mobile, distributed agents that can manipulate their own linkages and nested locations, generalising both characteristics of the π-calculus and the Mobile Ambients calculus. We give the first bigraphical presentation of a non-linear, higher-order process calculus with nested locations, non-linear active process mobility, and local names, the calculus of Higher-Order Mobile Embedded Resources (Homer). The presentation is based on Milner's recent presentation of the λ-calculus in local bigraphs. The combination of non-linear active process mobility and local names requires a new definition of parametric reaction rules and a representation of the location of names. We suggest localised bigraphs as a generalisation of local bigraphs in which links can be further localised.     

Barbs and Congruences for Safe Mobile Ambients

The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabilities required for interaction complicate the fundamental observations. We show that different formulations of barbs lead to the same barbed congruence. We prove this by following Honda and Yoshida's approach for the π-calculus by defining the insensitive terms of SA.     

The asymptotic self-similar behavior for the quasilinear heat equation with nonlinear boundary condition

In this paper the quasilinear heat equation with the nonlinear boundary condition is studied. The blow-up rate and existence of a self-similar solution are obtained. It is proved that the rescaled function

v(y,t)=(T−t)^{1/(2p+α−2)}u((T−t)^{(p−1)/(2p+α−2)}y,t),