On the Existence and Properties of Left Invariant $k$-Symplectic Structures on Lie Groups with Bi-Invariant Pseudo-Riemannian Metric
Authors:
Ilham Ait Brik,
Mohamed Boucetta
Abstract:
$k$-symplectic manifolds are a convenient framework to study classical field theories and they are a generalization of polarized symplectic manifolds. This paper focus on the existence and the properties of left invariant $k…
▽ More
$k$-symplectic manifolds are a convenient framework to study classical field theories and they are a generalization of polarized symplectic manifolds. This paper focus on the existence and the properties of left invariant $k$-symplectic structures on Lie groups having a bi-invariant pseudo-Riemannian metric.
We show that compact semi-simple Lie groups and a large class of Lie groups having a bi-invariant pseudo-Riemannian metric does not carry any left invariant $k$-symplectic structure. This class contains the oscillator Lie groups which are the only solvable non abelian Lie groups having a bi-invariant Lorentzian metric. However, we built a natural left invariant $n$-symplectic structure on $\mathrm{SL}(n,\mathbb{R})$. Moreover, up to dimension 6, only three connected and simply connected Lie groups have a bi-invariant indecomposable pseudo-Riemannian metric and a left invariant k-symplectic structure, namely, the universal covering of $\mathrm{SL}(2, \mathbb{R})$ with a 2-symplectic structure, the universal covering of the Lorentz group $\mathrm{SO}(3, 1)$ with a 2-symplectic structure, and a 2-step nilpotent 6-dimensional connected and simply connected Lie group with both a 1-symplectic structure and a 2-symplectic structure.
△ Less
Submitted 19 February, 2023;
originally announced February 2023.
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Authors:
Andrea Formisano,
Yanhong Annie Liu,
Bart Bogaerts,
Alex Brik,
Veronica Dahl,
Carmine Dodaro,
Paul Fodor,
Gian Luca Pozzato,
Joost Vennekens,
Neng-Fa Zhou
Abstract:
ICLP is the premier international event for presenting research in logic programming.
Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to:
Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation.
Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-…
▽ More
ICLP is the premier international event for presenting research in logic programming.
Contributions to ICLP 2021 were sought in all areas of logic programming, including but not limited to:
Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation.
Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques.
Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization.
Implementation: Compilation, Virtual machines, Memory management, Parallel and Distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces.
Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning.
Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
On $k$-para-Kähler Lie algebras a subclass of $k$-symplectic Lie algebras
Authors:
Hamid Abchir,
Ilham Ait Brik,
Mohamed Boucetta
Abstract:
$k$-Para-Kähler Lie algebras are a generalization of para-Kähler Lie algebras $(k=1)$ and constitute a subclass of $k$-symplectic Lie algebras. In this paper, we show that the characterization of para-Kähler Lie algebras as left symmetric bialgebras can be generalized to $k…
▽ More
$k$-Para-Kähler Lie algebras are a generalization of para-Kähler Lie algebras $(k=1)$ and constitute a subclass of $k$-symplectic Lie algebras. In this paper, we show that the characterization of para-Kähler Lie algebras as left symmetric bialgebras can be generalized to $k$-para-Kähler Lie algebras leading to the introduction of two new structures which are different but both generalize the notion of left symmetric algebra. This permits also the introduction of generalized $S$-matrices.
We determine then all the $k$-symplectic Lie algebras of dimension $(k+1)$ and all the six dimensional 2-para-Kähler Lie algebras.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
Expressing Preferences using Preference Set Constraint Atoms
Authors:
Alex Brik,
Jeffrey B. Remmel
Abstract:
This paper introduces an extension of Answer Set Programming called Preference Set Constraint Programming which is a convenient and general formalism to reason with preferences. PSC programming extends Set Constraint Programming introduced by Marek and Remmel (Marek and Remmel 2004) by introducing two types of preference set constraint atoms, measure preference set constraint atoms and pre-ordered…
▽ More
This paper introduces an extension of Answer Set Programming called Preference Set Constraint Programming which is a convenient and general formalism to reason with preferences. PSC programming extends Set Constraint Programming introduced by Marek and Remmel (Marek and Remmel 2004) by introducing two types of preference set constraint atoms, measure preference set constraint atoms and pre-ordered preference set constraint atoms, which are extensions of set constraint atoms. We show that the question of whether a PSC program has a preferred stable model is CoNP-complete. We give examples of the uses of the preference set constraint atoms and show that Answer Set Optimization (Brewka, Niemelä, and Truszczynski 2003) and General Preference (Son and Pontelli 2006) can be expressed using preference set constraint atoms.
△ Less
Submitted 2 March, 2012;
originally announced March 2012.