Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance have been proposed in the literatures, but these formal models are not supported by automatic tools. Recently Backes et al. propose a new formal automated model of security properties including soundness and coercionresis...

The pion—its distribution amplitude and form factor—stands tall as a role model for the modern description of hadrons in terms of quarks and gluons within QCD. At high momenta Q2, the pion form factor can be written as a convolution Fπ(Q 2) = φout π ⊗ T (Q 2)⊗ φin π on account of the factorization theorem, where the symbol ⊗ means integration over the longitudinal momenta of the quark and antiq...

a subset of real Euclidean n-space, En, by (p, q) → F (p − q) = p ◦ q. In this note we shall be concerned with a representation T (.) of π as a semi-group of bounded linear operators on a Banach space X. More particularly, we suppose that postulates P1, P2, P3, P5, and P6 of chapter 25 of (2) are satisfied so that, by Theorem 25.3.1 of that book, there is a continuous function, f(.), defined on...

In this paper, we give the solution of the inverse Sturm–Liouville problem on two partially coinciding spectra. In particular, in this case we obtain Hochstadt's theorem concerning the structure of the difference q(x) − ˜ q(x) for the singular Sturm Liouville problem defined on the finite interval (0, π) having the singularity type 1 4 sin 2 x at the points 0 and π.

This paper compares the expressiveness of different fragments of ambient calculi via leader election problems. We consider Mobile Ambients (MA), Safe Ambients (SA) and the Push and Pull Ambient Calculus (PAC). Cardelli and Gordon encoded the asynchronous pi-calculus into MA. Zimmer has shown that the synchronous pi-calculus without choice can be encoded in pure (no communication) SA. We show th...

Notes taken by Stuart White during the lectures and not proof read. Errors will abound. 1. Nuclearity: Approximation and perturbation Recall: Definition 1.1. A C∗-algebra. Definition 1.2. A cp map Theorem 1.3. Stinespring’s theorem. Every cp map is a compression of a ∗-homomorphism. Definition 1.4. φ : A → B cp has order zero if a ⊥ b =⇒ φ(a) ⊥ φ(b). 1 Theorem 1.5. (i) φ : A→ B has order zero i...

When G is a connected compact Lie group, and π is a closed surface group, then Hom(π,G)/G contains an open dense Out(π)-invariant subset which is a smooth symplectic manifold. This symplectic structure is Out(π)-invariant and therefore defines an invariant measure μ, which has finite volume. The corresponding unitary representation of Out(π) on L(Hom(π,G)/G, μ) contains no finite-dimensional su...

through the origin containing vθ and projθ : R 2 → Lθ the orthogonal projection. From now on, we’ll restrict θ to the interval [−π/2, π/2], because Lθ = Lθ+π. In 1954, J. M. Marstrand [10] proved the following result on the fractal dimension of plane sets. Theorem 1.1. If K ⊂ R is a Borel set such that HD(K) > 1, then m(projθ(K)) > 0 for m-almost every θ ∈ R. The proof is based on a qualitative...

Fixed-parameter tractability Definition 2. A parameterized problem Π is fixed-parameter tractable (FPT) if there is an algorithm solving Π in time f(k) · poly(n), where n is the instance size, k is the parameter, poly is a polynomial function, and f is a computable function. Theorem 3. Let Π be a decidable parameterized problem. Π has a kernelization ⇔ Π is FPT. 2 A kernel for Hamiltonian Cycle...

Abstract. In this article we prove a local large deviation principle (LLDP) for the critical multitype Galton-Watson process from spectral potential point. We define the so-called a spectral potential UK( ·, π) for the Galton-Watson process, where π is the normalized eigen vector corresponding to the leading Perron-Frobenius eigen value 1l of the transition matrix A(·, ·) defined from K, the tr...