Showing 1–10 of 10 results for author: Lambert, J

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime

Authors: Michael J. Lambert

Abstract: The Alexandrov topology affords a well-known semantics of modal necessity and possibility. This paper develops an Alexandrov topological semantics of intuitionistic propositional modal logic internally in any elementary topos. This is done by constructing interior and closure operators on the power-object associated to a given relation in the ambient topos. When the relation is an order, these ope… ▽ More The Alexandrov topology affords a well-known semantics of modal necessity and possibility. This paper develops an Alexandrov topological semantics of intuitionistic propositional modal logic internally in any elementary topos. This is done by constructing interior and closure operators on the power-object associated to a given relation in the ambient topos. When the relation is an order, these operators model intuitionistic S4; when the relation is an equivalence relation, they also model the characteristic (B) axiom of classical S5. The running example of interest arises from the Branching space-time of Nuel Belnap, which is shown to induce a histories presheaf upon which can be defined an equivalence relation of being obviously undivided at a given point event. These results have some philosophical implications. For example, we study the branching space-time example in light of the indistinguishability interpretation of epistemic modal logic. We will also study several famous first-order formulas in presheaf topos semantics such as the so-called Barcan formula. We shall see, however, that one of the Barcan converses is invalidated by a simple example of non-trivial space-time branching. This invalidates a thesis of metaphysical actualism, namely, that there are no possibly existing but non-actual entities. △ Less

Submitted 16 October, 2024; originally announced October 2024.

MSC Class: 18B25; 03B45; 18C50

Solving Riemann Problems with a Topological Tool (Extended version)

Authors: Cesar S. Eschenazi, Wanderson J. Lambert, Marlon M. López-Flores, Dan Marchesin, Carlos F. B. Palmeira, Bradley J. Plohr

Abstract: In previous work, we developed a topological framework for solving Riemann initial-value problems for a system of conservation laws. Its core is a differentiable manifold, called the wave manifold, with points representing shock and rarefaction waves. In the present paper, we construct, in detail, the three-dimensional wave manifold for a system of two conservation laws with quadratic flux functio… ▽ More In previous work, we developed a topological framework for solving Riemann initial-value problems for a system of conservation laws. Its core is a differentiable manifold, called the wave manifold, with points representing shock and rarefaction waves. In the present paper, we construct, in detail, the three-dimensional wave manifold for a system of two conservation laws with quadratic flux functions. Using adapted coordinates, we derive explicit formulae for important surfaces and curves within the wave manifold and display them graphically. The surfaces subdivide the manifold into regions according to shock type, such as ones corresponding to the Lax admissibility criterion. The curves parametrize rarefaction, shock, and composite waves appearing in contiguous wave patterns. Whereas wave curves overlap in state space, they are disentangled within the wave manifold. We solve a Riemann problem by constructing a wave curve associated with the slow characteristic speed family, generating a surface from it using shock curves, and intersecting this surface with a fast family wave curve. This construction is applied to solve Riemann problems for several illustrative cases. △ Less

Submitted 5 November, 2024; v1 submitted 28 December, 2023; originally announced December 2023.

Comments: 45 pages, 36 figures, submitted

Energy System Optimisation using (Mixed Integer) Linear Programming

Authors: Sebastian Miehling, Andreas Hanel, Jerry Lambert, Sebastian Fendt, Hartmut Spliethoff

Abstract: Although energy system optimisation based on linear optimisation is often used for influential energy outlooks and studies for political decision-makers, the underlying background still needs to be described in the scientific literature in a concise and general form. This study presents the main equations and advanced ideas and explains further possibilities mixed integer linear programming offers… ▽ More Although energy system optimisation based on linear optimisation is often used for influential energy outlooks and studies for political decision-makers, the underlying background still needs to be described in the scientific literature in a concise and general form. This study presents the main equations and advanced ideas and explains further possibilities mixed integer linear programming offers in energy system optimisation. Furthermore, the equations are shown using an example system to present a more practical point of view. Therefore, this study is aimed at researchers trying to understand the background of studies using energy system optimisation and researchers building their implementation into a new framework. This study describes how to build a standard model, how to implement advanced equations using linear programming, and how to implement advanced equations using mixed integer linear programming, as well as shows a small exemplary system. - Presentation of the OpTUMus energy system optimisation framework - Set of equations for a fully functional energy system model - Example of a simple energy system model △ Less

Submitted 4 August, 2023; v1 submitted 3 August, 2023; originally announced August 2023.

On the computation of homology of type A real flag manifolds

Authors: Jordan Lambert, Lonardo Rabelo

Abstract: In this paper, we present a closed, computable formula for the cellular homology coefficients of real flag manifolds associated with split real forms of type A. We demonstrate the process using movements within the code diagram for permutations. Additionally, we compute the third and fourth homology groups and provide generators for the free part up to the sixth homology group. In this paper, we present a closed, computable formula for the cellular homology coefficients of real flag manifolds associated with split real forms of type A. We demonstrate the process using movements within the code diagram for permutations. Additionally, we compute the third and fourth homology groups and provide generators for the free part up to the sixth homology group. △ Less

Submitted 8 October, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: 28 pages, 8 figures

MSC Class: 05A05; 05E16; 14M15; 57T15 (Primary)

Decomposition of the Wave Manifold into Lax Admissible Regions and its Application to the Solution of Riemann Problems

Authors: Cesar S. Eschenazi, Wanderson J. Lambert, Marlon M. López-Flores, Dan Marchesin, Carlos F. B. Palmeira

Abstract: We utilize a three-dimensional manifold to solve Riemann Problems that arise from a system of two conservation laws with quadratic flux functions. Points in this manifold represent potential shock waves, hence its name wave manifold. This manifold is subdivided into regions according to the Lax admissibility inequalities for shocks. Finally, we present solutions for the Riemann Problems for variou… ▽ More We utilize a three-dimensional manifold to solve Riemann Problems that arise from a system of two conservation laws with quadratic flux functions. Points in this manifold represent potential shock waves, hence its name wave manifold. This manifold is subdivided into regions according to the Lax admissibility inequalities for shocks. Finally, we present solutions for the Riemann Problems for various cases and exhibit continuity relative to $L$ and $R$ data, despite the fact that the system is not strictly hyperbolic. The usage of this manifold regularizes the solutions despite the presence of an elliptic region. △ Less

Submitted 5 November, 2022; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: 42 pages, 48 figures. arXiv admin note: text overlap with arXiv:1908.01870

The Bruhat Order on Symmetric Groups via Intrinsic Coverings of Compositions

Authors: Jordan Lambert, Lonardo Rabelo

Abstract: Lehmer's code defines a bijection between the symmetric group and the set of staircase compositions. In this paper, we characterize a poset structure on these compositions that is equivalent to the strong Bruhat order on the symmetric group. This construction is intrinsic and does not require any reference to the associated permutations. Lehmer's code defines a bijection between the symmetric group and the set of staircase compositions. In this paper, we characterize a poset structure on these compositions that is equivalent to the strong Bruhat order on the symmetric group. This construction is intrinsic and does not require any reference to the associated permutations. △ Less

Submitted 12 June, 2025; v1 submitted 1 February, 2022; originally announced February 2022.

Comments: 20 pages, 10 figures

MSC Class: Primary: 05A05; 06A07; 20B05

A correspondence between boundary coefficients of real flag manifolds and height of roots

Authors: Jordan Lambert, Lonardo Rabelo

Abstract: In this paper we prove a new formula for the coefficients of the cellular homology of real flag manifolds in terms of the height of certain roots. In particular, for flag manifolds of type A, we get a very simple formula for these coefficients and an explicit expression for the first and second homology groups with integer coefficients. In this paper we prove a new formula for the coefficients of the cellular homology of real flag manifolds in terms of the height of certain roots. In particular, for flag manifolds of type A, we get a very simple formula for these coefficients and an explicit expression for the first and second homology groups with integer coefficients. △ Less

Submitted 10 September, 2020; originally announced September 2020.

Comments: 14 pages

MSC Class: Primary: 05A05; 14M15; 57T15

Journal ref: Journal of Lie Theory 32 (2022), No. 2, 431--446

Theta-vexillary signed permutations

Authors: Jordan Lambert

Abstract: Theta-vexillary signed permutations are elements in the hyperoctahedral group that index certain classes of degeneracy loci of type B and C. These permutations are described using triples of $s$-tuples of integers subject to specific conditions. The objective of this work is to present different characterizations of theta-vexillary signed permutations, describing them in terms of corners in the Ro… ▽ More Theta-vexillary signed permutations are elements in the hyperoctahedral group that index certain classes of degeneracy loci of type B and C. These permutations are described using triples of $s$-tuples of integers subject to specific conditions. The objective of this work is to present different characterizations of theta-vexillary signed permutations, describing them in terms of corners in the Rothe diagram and pattern avoidance. △ Less

Submitted 23 July, 2018; originally announced July 2018.

Comments: 26 pages

MSC Class: Primary: 05A05; Secondary: 14M15

Journal ref: Electron. J. Combin. 25(4) (2018), #P4.53

Covering relations of k-Grassmannian permutations of type B

Authors: Jordan Lambert, Lonardo Rabelo

Abstract: The main result of this work is the characterization of the covering relations of the Bruhat order of the maximal parabolic quotients of type B. Our approach is mainly combinatorial and is based in the pattern of the corresponding permutations also called signed $k$-Grassmannians permutations. We obtain that a covering relation can be classified in four different pairs of permutations. This answer… ▽ More The main result of this work is the characterization of the covering relations of the Bruhat order of the maximal parabolic quotients of type B. Our approach is mainly combinatorial and is based in the pattern of the corresponding permutations also called signed $k$-Grassmannians permutations. We obtain that a covering relation can be classified in four different pairs of permutations. This answers a question raised by Ikeda and Matsumura providing a nice combinatorial model for maximal parabolic quotients of type B. △ Less

Submitted 8 March, 2018; originally announced March 2018.

Comments: 15 pages, 1 figure

MSC Class: 05A05; 06A07; 20F55

Journal ref: Australas. J. Combin. 75 (1) (2019), 73-95

Integral homology of real isotropic and odd orthogonal Grassmannians

Authors: Jordan Lambert, Lonardo Rabelo

Abstract: We obtain a combinatorial expression for the coefficients of the boundary map of real isotropic and odd orthogonal Grassmannians providing a natural generalization of the formulas already obtained for Lagrangian and maximal isotropic Grassmannians. The results are given in terms of the classification into four types of covering pairs among the Schubert cells when identified with signed $k$-Grassma… ▽ More We obtain a combinatorial expression for the coefficients of the boundary map of real isotropic and odd orthogonal Grassmannians providing a natural generalization of the formulas already obtained for Lagrangian and maximal isotropic Grassmannians. The results are given in terms of the classification into four types of covering pairs among the Schubert cells when identified with signed $k$-Grassmannian permutations. It turns out that these coefficients only depend on the positions changed over each pair of permutations. As an application, we give an orientability criterion, exhibit a symmetry of these coefficients and, compute low-dimensional homology groups. △ Less

Submitted 26 July, 2020; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 24 pages, 8 figures. We have improved the main results

MSC Class: 05A05; 05E15; 14M15; 57T15

Journal ref: Osaka J. Math. 59 (4) 853 - 880, October 2022