Search results for " Algebra"
showing 10 items of 2082 documents
Two positive solutions for a nonlinear parameter-depending algebraic system
2021
The existence of two positive solutions for a nonlinear parameter-depending algebraic system is investigated. The main tools are a finite dimensional version of a two critical point theorem and a recent weak-strong discrete maximum principle.
Two positive solutions for a nonlinear parameter-depending algebraic system
2021
The existence of two positive solutions for a nonlinear parameter-depending algebraic system is investigated. The main tools are a finite dimensional version of a two critical point theorem and a recent weak-strong discrete maximum principle.
Linear Types for Higher Order Processes with First Class Directed Channels
1995
Abstract We present a small programming language for distributed systems based on message passing processes. In contrast to similar languages, channels are one-to-one connections between a unique sender and a unique receiver process. Process definitions and channels are first class values and the topology of process systems can change dynamically. The operational semantics of the language is defined by means of graph rewriting rules. A static type system based on the notion of linear types ensures that channels are always used as one-to-one connections.
The Abelian Kernel of an Inverse Semigroup
2020
The problem of computing the abelian kernel of a finite semigroup was first solved by Delgado describing an algorithm that decides whether a given element of a finite semigroup S belongs to the abelian kernel. Steinberg extended the result for any variety of abelian groups with decidable membership. In this paper, we used a completely different approach to complete these results by giving an exact description of the abelian kernel of an inverse semigroup. An abelian group that gives this abelian kernel was also constructed.
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…
Resolvent estimates for elliptic quadratic differential operators
2011
Sharp resolvent bounds for non-selfadjoint semiclassical elliptic quadratic differential operators are established, in the interior of the range of the associated quadratic symbol.
Correspondence between generalized binomial field states and coherent atomic states
2008
We show that the N-photon generalized binomial states of electromagnetic field may be put in a bijective mapping with the coherent atomic states of N two-level atoms. We exploit this correspondence to simply obtain both known and new properties of the N-photon generalized binomial states. In particular, an over-complete basis of these binomial states and an orthonormal basis are obtained. Finally, the squeezing properties of generalized binomial state are analyzed.
Jeu de Taquin and Diamond Cone for so(2n+1, C)
2020
International audience; The diamond cone is a combinatorial description for a basis of a natural indecomposable n-module, where n is the nilpotent factor of a complex semisimple Lie algebra g. After N. J. Wildberger who introduced this notion, this description was achieved for g = sl(n) , the rank 2 semisimple Lie algebras and g = sp (2n).In this work, we generalize these constructions to the Lie algebra g = so(2n + 1). The orthogonal semistandard Young tableaux were defined by M. Kashiwara and T. Nakashima, they index a basis for the shape algebra of so(2n + 1). Defining the notion of orthogonal quasistandard Young tableaux, we prove that these tableaux describe a basis for a quotient of t…
Generalized wave propagation problems and discrete exterior calculus
2018
We introduce a general class of second-order boundary value problems unifying application areas such as acoustics, electromagnetism, elastodynamics, quantum mechanics, and so on, into a single framework. This also enables us to solve wave propagation problems very efficiently with a single software system. The solution method precisely follows the conservation laws in finite-dimensional systems, whereas the constitutive relations are imposed approximately. We employ discrete exterior calculus for the spatial discretization, use natural crystal structures for three-dimensional meshing, and derive a “discrete Hodge” adapted to harmonic wave. The numerical experiments indicate that the cumulat…
On probabilistic interpretations of predicates
2016
In classical logic, any m-ary predicate is interpreted as an m-argument two-valued relation defined on a non-empty universe. In probability theory, m-ary predicates are interpreted as probability measures on the mth power of a probability space. m-ary probabilistic predicates are equivalently semantically characterized as m-dimensional cumulative distribution functions defined on Rm. The paper is mainly concerned with probabilistic interpretations of unary predicates in the algebra of cumulative distribution functions defined on R. This algebra, enriched with two constants, forms a bounded De Morgan algebra. Two logical systems based on the algebra of cumulative distributions are defined an…