Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pushout (dpo) approach. They can be considered as a simplified variant of dpo rewriting, acting in the distributive lattice of subobjects of a given object of an adhesive category. This setting allows for a direct analysis of al...

This paper is concernedwith the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for th...

We investigate the existence of double copy structure, or lack thereof, in higher derivative operators for Nambu-Goldstone bosons. At leading ${\cal O}(p^2)$, tree amplitudes bosons adjoint representation can be (trivially) expressed as itself and cubic bi-adjoint scalar theory, through Kawai-Lewellen-Tye bilinear kernel. next-to-leading O}(p^4)$ there exist four general, among which we identif...

X iv :0 80 1. 22 07 v1 [ m at h. R A ] 1 5 Ja n 20 08 The derivation algebra and automorphism group of the twisted Schrödinger-Virasoro algebra Junbo Li, Yucai Su ∗)Department of Mathematics, Shanghai Jiao Tong University, Shanghai 200240, China †)Department of Mathematics, Changshu Institute of Technology, Changshu 215500, China ‡)Department of Mathematics, University of Science and Technology...

When an algebra is graded by a group, any additive character of the group induces a diagonalizable derivation of the ring. This construction is studied in detail for the case of a path algebra modulo relations and its fundamental group. We describe an injection of the character group into the first cohomology group following Assem-de la Peña. Rather general conditions are determined, in this co...

We perform an in-depth analysis of the transformation rules under duality for couplings theories containing multiple scalars, $p$-form gauge fields, linearized gravitons or $(p,1)$ mixed symmetry tensors. Following a similar reasoning to derivation Buscher string background fields T-duality, we show that all classes aforementioned multi-field transform according one two sets rules. These compri...

A process of preparation, transmission and subsequent projective measurement of a qubit can be simulated by a classical model with only two bits of communication and some amount of shared randomness. However no model for n qubits with a finite amount of classical communication is known at present. A lower bound for the communication cost can provide useful hints for a generalization. It is know...

We initially discuss a new and simple method of parameterization of compactly supported biorthogonal wavelet systems with more than one vanishing moment. To this end we express both primal and dual scaling function filters (low pass) as products of two Laurent polynomials. The first factor ensures required vanishing moments and the second factor is parameterized and adjusted to provide required...

Based on the use of different exponential bases to define class-dependent error bounds, a new and highly efficient asymmetric boosting scheme, coined as AdaBoostDB (Double-Base), is proposed. Supported by a fully theoretical derivation procedure, unlike most of the other approaches in the literature, our algorithm preserves all the formal guarantees and properties of original (cost-insensitive)...