The connection between constraint languages and clone theory has been a fruitful line of research on the complexity of constraint satisfaction problems. In a recent result, Cohen et al. [SICOMP’13] have characterised a Galois connection between valued constraint languages and so-called weighted clones. In this paper, we study the structure of weighted clones. We extend the results of Creed and ...

We give necessary and sufficient conditions for an operator on a separable Hilbert space to satisfy the hypercyclicity criterion.

Given a propositional theory T and a proposition q, a suucient condition of q is one that will make q true under T , and a necessary condition of q is one that has to be true for q to be true under T. In this paper , we propose a notion of strongest necessary and weakest suucient conditions. Intuitively, the strongest necessary condition of a proposition is the most general consequence that we ...

We have demonstrated displacement- and frequency-noise-free laser interferometry (DFI) by partially implementing a recently proposed optical configuration using bidirectional Mach-Zehnder interferometers (MZIs). This partial implementation, the minimum necessary to be called DFI, has confirmed the essential feature of DFI: the combination of two MZI signals can be carried out in a way that canc...

The aim of this paper is to present a short survey of several new results concerning optimization of discrete inclusions. We study an optimization problem given by a discrete inclusion with end point constraints and we present several approaches concerning first and secondorder necessary optimality conditions for this problem.

We derive necessary conditions for sampling and interpolation of bandlimited functions on a locally compact abelian group in line with the classical results of H. Landau for bandlimited functions on R. Our conditions are phrased as comparison principles involving a certain canonical lattice.

We introduce a deterministic chaotic system-the Szilard map-that encapsulates the measurement, control, and erasure protocol by which Maxwellian demons extract work from a heat reservoir. Implementing the demon's control function in a dynamical embodiment, our construction symmetrizes the demon and the thermodynamic system, allowing one to explore their functionality and recover the fundamental...

in this paper we study the boundary layer problems in which boundary conditions are non-local. here we try to find the necessary conditions by the help of fundamental solution to the given adjoint equation. by getting help from these conditions, at first the boundary condition is changed from non-local to local. the main aim of this paper is to identify the location of the boundary layer. in ot...