-
Hessian Riemannian Flow For Multi-Population Wardrop Equilibrium
Authors:
Tigran Bakaryan,
Christoph Aoun,
Ricardo de Lima Ribeiro,
Naira Hovakimyan,
Diogo Gomes
Abstract:
In this paper, we address the problem of optimizing flows on generalized graphs that feature multiple entry points and multiple populations, each with varying cost structures. We tackle this problem by considering the multi-population Wardrop equilibrium, defined through variational inequalities. We rigorously analyze the existence and uniqueness of the Wardrop equilibrium. Furthermore, we introdu…
▽ More
In this paper, we address the problem of optimizing flows on generalized graphs that feature multiple entry points and multiple populations, each with varying cost structures. We tackle this problem by considering the multi-population Wardrop equilibrium, defined through variational inequalities. We rigorously analyze the existence and uniqueness of the Wardrop equilibrium. Furthermore, we introduce an efficient numerical method to find the solution. In particular, we reformulate the equilibrium problem as a distributed optimization problem over subgraphs and introduce a novel Hessian Riemannian flow method, a Riemannian-manifold-projected Hessian flow, to efficiently compute a solution. Finally, we demonstrate the effectiveness of our approach through examples in urban traffic management, including routing for diverse vehicle types and strategies for minimizing emissions in congested environments.
△ Less
Submitted 22 April, 2025;
originally announced April 2025.
-
Lattices of varieties of plactic-like monoids
Authors:
Thomas Aird,
Duarte Ribeiro
Abstract:
We study the equational theories and bases of meets and joins of several varieties of plactic-like monoids. Using those results, we construct sublattices of the lattice of varieties of monoids, generated by said varieties. We calculate the axiomatic ranks of their elements, obtain plactic-like congruences whose corresponding factor monoids generate varieties in the lattice, and determine which var…
▽ More
We study the equational theories and bases of meets and joins of several varieties of plactic-like monoids. Using those results, we construct sublattices of the lattice of varieties of monoids, generated by said varieties. We calculate the axiomatic ranks of their elements, obtain plactic-like congruences whose corresponding factor monoids generate varieties in the lattice, and determine which varieties are joins of the variety of commutative monoids and a finitely generated variety. We also show that the hyposylvester and metasylvester monoids generate the same variety as the sylvester monoid.
△ Less
Submitted 26 January, 2024; v1 submitted 12 October, 2023;
originally announced October 2023.
-
Plactic-like monoids arising from meets and joins of stalactic and taiga congruences
Authors:
Thomas Aird,
Duarte Ribeiro
Abstract:
We study the four plactic-like monoids that arise by taking the meets and joins of stalactic and taiga congruences. We obtain the combinatorial objects associated with the meet monoids, establishing Robinson-Schensted-like correspondences and giving extraction and iterative insertion algorithms for these objects. We then obtain results on the sizes of classes of words equal in plactic-like monoids…
▽ More
We study the four plactic-like monoids that arise by taking the meets and joins of stalactic and taiga congruences. We obtain the combinatorial objects associated with the meet monoids, establishing Robinson-Schensted-like correspondences and giving extraction and iterative insertion algorithms for these objects. We then obtain results on the sizes of classes of words equal in plactic-like monoids, show that some of these monoids are syntactic, and characterise their equational theories.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Linear Systems, Matrices and Vector Spaces over Superfields
Authors:
Kaique Matias de Andrade Roberto,
Hugo Rafael de Oliveira Ribeiro,
Hugo Luiz Mariano,
Kaique Ribeiro Prates Santos
Abstract:
Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialgebraic structure is essentially an algebraic structure but endowed with some multivalued operations).
We introduce and study matrices and determinants over a commutative superrings (roughly, a ring where the sum and pr…
▽ More
Motivated by some recent developments in abstract theories of quadratic forms, we start to develop in this work an expansion of Linear Algebra to multivalued structures (a multialgebraic structure is essentially an algebraic structure but endowed with some multivalued operations).
We introduce and study matrices and determinants over a commutative superrings (roughly, a ring where the sum and product are multivalued) and study linear systems and vector spaces over superfields. As an application, we obtain a fundamental result to the development of a theory of algebraic extensions of superfields.
△ Less
Submitted 25 March, 2023;
originally announced March 2023.
-
General criteria for a strong notion of lineability
Authors:
Vinícius Vieira Fávaro,
Daniel Marinho Pellegrino,
Anselmo Baganha Raposo Júnior,
Geivison dos Santos Ribeiro
Abstract:
A subset $A$ of a vector space $X$ is called $α$-lineable whenever $A$ contains, except for the null vector, a subspace of dimension $α$. If $X$ has a topology, then $A$ is $α$-spaceable if such subspace can be chosen to be closed. The vast existing literature on these topics has shown that positive results for lineability and spaceability are quite common. Recently, the stricter notions of…
▽ More
A subset $A$ of a vector space $X$ is called $α$-lineable whenever $A$ contains, except for the null vector, a subspace of dimension $α$. If $X$ has a topology, then $A$ is $α$-spaceable if such subspace can be chosen to be closed. The vast existing literature on these topics has shown that positive results for lineability and spaceability are quite common. Recently, the stricter notions of $\left( α,β\right) $% -lineability/spaceability were introduced as an attempt to shed light to more subtle issues. In this paper, among other results, we prove some general criteria for the notion of $\left( α,β\right) $-spaceability and, as applications, we extend recent results of different authors.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
The general Arason-Pfister Hauptsatz
Authors:
Kaique Matias de Andrade Roberto,
Hugo Rafael de Oliveira Ribeiro,
Hugo Luiz Mariano
Abstract:
In the present we develop a fragment of the theory of superfields, polynomials and Marshall's quotient in order to obtain for general special groups, a proof of the Arason-Pfister Hauptsatz (APH): "if $φ\neq \emptyset$ is an anisotropic form and $φ\in I^n(F)$ then $dim (φ) \geq 2^n$". In the process, we also obtain an alternative proof of APH for reduced special groups that avoid the uses of the i…
▽ More
In the present we develop a fragment of the theory of superfields, polynomials and Marshall's quotient in order to obtain for general special groups, a proof of the Arason-Pfister Hauptsatz (APH): "if $φ\neq \emptyset$ is an anisotropic form and $φ\in I^n(F)$ then $dim (φ) \geq 2^n$". In the process, we also obtain an alternative proof of APH for reduced special groups that avoid the uses of the invariants developed in \cite{dickmann2000special}. The applications of the full Arason-Pfister Hauptsatz leads to interesting properties of graded rings associated to special groups/hyperfields.
\textbf{Keywords:} Arason-Pfister Hauptsatz; hyperfields; special groups; Milnor K-theory; graded rings.
△ Less
Submitted 11 April, 2024; v1 submitted 7 October, 2022;
originally announced October 2022.
-
On algebraic extensions and algebraic closures of superfields
Authors:
Kaique Matias de Andrade Roberto,
Hugo Luiz Mariano,
Hugo Rafael de Oliveira Ribeiro
Abstract:
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic extension to a superfield that is algebraically closed. Moreover we show that every infinite algebraically closed superfield admits quantifier elimination procedure.
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic extension to a superfield that is algebraically closed. Moreover we show that every infinite algebraically closed superfield admits quantifier elimination procedure.
△ Less
Submitted 17 January, 2023; v1 submitted 17 August, 2022;
originally announced August 2022.
-
Tropical Representations and Identities of the Stylic Monoid
Authors:
Thomas Aird,
Duarte Ribeiro
Abstract:
We exhibit a faithful representation of the stylic monoid of every finite rank as a monoid of upper unitriangular matrices over the tropical semiring. Thus, we show that the stylic monoid of finite rank $n$ generates the pseudovariety $\boldsymbol{\mathcal{J}}_n$, which corresponds to the class of all piecewise testable languages of height $n$, in the framework of Eilenberg's correspondence. From…
▽ More
We exhibit a faithful representation of the stylic monoid of every finite rank as a monoid of upper unitriangular matrices over the tropical semiring. Thus, we show that the stylic monoid of finite rank $n$ generates the pseudovariety $\boldsymbol{\mathcal{J}}_n$, which corresponds to the class of all piecewise testable languages of height $n$, in the framework of Eilenberg's correspondence. From this, we obtain the equational theory of the stylic monoids of finite rank, show that they are finitely based if and only if $n \leq 3$, and that their identity checking problem is decidable in linearithmic time. We also establish connections between the stylic monoids and other plactic-like monoids, and solve the finite basis problem for the stylic monoid with involution.
△ Less
Submitted 3 October, 2022; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Cyclicity of Rigid Centers on Center Manifolds of Three-dimensional systems
Authors:
Claudio Pessoa,
Lucas Queiroz,
Jarne D. Ribeiro
Abstract:
We work with polynomial three-dimensional rigid differential systems. Using the Lyapunov constants, we obtain lower bounds for the cyclicity of the known rigid centers on their center manifolds. Moreover, we obtain an example of a quadratic rigid center from which is possible to bifurcate 13 limit cycles, which is a new lower bound for three-dimensional quadratic systems.
We work with polynomial three-dimensional rigid differential systems. Using the Lyapunov constants, we obtain lower bounds for the cyclicity of the known rigid centers on their center manifolds. Moreover, we obtain an example of a quadratic rigid center from which is possible to bifurcate 13 limit cycles, which is a new lower bound for three-dimensional quadratic systems.
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Risk-based Design of Regular Plane Frames Subject to Damage by Abnormal Events: a Conceptual Study
Authors:
Andre T. Beck,
Lucas da Rosa Ribeiro,
Marcos Valdebenito,
Hector Jensen
Abstract:
Constructed facilities should be robust with respect to the loss of load-bearing elements due to abnormal events. Yet, strengthening structures to withstand such damage has a significant impact on construction costs. Strengthening costs should be justified by the threat and should result in smaller expected costs of progressive collapse. In regular frame structures, beams and columns compete for t…
▽ More
Constructed facilities should be robust with respect to the loss of load-bearing elements due to abnormal events. Yet, strengthening structures to withstand such damage has a significant impact on construction costs. Strengthening costs should be justified by the threat and should result in smaller expected costs of progressive collapse. In regular frame structures, beams and columns compete for the strengthening budget. In this paper, we present a risk-based formulation to address the optimal design of regular plane frames under element loss conditions. We address the threat probabilities for which strengthening has better cost-benefit than usual design, for different frame configurations, and study the impacts of strengthening extent and cost. The risk-based optimization reveals optimum points of compromise between competing failure modes: local bending of beams, local crushing of columns, and global pancake collapse, for frames of different aspect ratios. The conceptual study is based on a simple analytical model for progressive collapse, but it provides relevant insight for the design and strengthening of real structures.
△ Less
Submitted 25 January, 2022;
originally announced January 2022.
-
Identities and bases in the sylvester and Baxter monoids
Authors:
Alan J. Cain,
António Malheiro,
Duarte Ribeiro
Abstract:
This paper presents new results on the identities satisfied by the sylvester and Baxter monoids. We show how to embed these monoids, of any rank strictly greater than 2, into a direct product of copies of the corresponding monoid of rank 2. This confirms that all monoids of the same family, of rank greater than or equal to 2, satisfy exactly the same identities. We then give a complete characteriz…
▽ More
This paper presents new results on the identities satisfied by the sylvester and Baxter monoids. We show how to embed these monoids, of any rank strictly greater than 2, into a direct product of copies of the corresponding monoid of rank 2. This confirms that all monoids of the same family, of rank greater than or equal to 2, satisfy exactly the same identities. We then give a complete characterization of those identities, and prove that the varieties generated by the sylvester and the Baxter monoids have finite axiomatic rank, by giving a finite basis for them.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
von Neumann regular Hyperrings and applications to Real Reduced Multirings
Authors:
Hugo Rafael de Oliveira Ribeiro,
Hugo Luiz Mariano
Abstract:
A multiring ([Mar3]) is a kind of ring where is allowed the sum of two elements to be anon-empty subset of the structure instead of just one element -and an hyperring is a multiring with a strong distributive property. Thus a reduced hyperring where the prime spec is a Boolean topological space is called von Neumann regular hyperring (vNH). It is possible to associate to every such object a struct…
▽ More
A multiring ([Mar3]) is a kind of ring where is allowed the sum of two elements to be anon-empty subset of the structure instead of just one element -and an hyperring is a multiring with a strong distributive property. Thus a reduced hyperring where the prime spec is a Boolean topological space is called von Neumann regular hyperring (vNH). It is possible to associate to every such object a structural presheaf in the same way it is made with rings but there are some vNH such that this presheaf is not a sheaf. In this sense, we give a first-order characterization of vNH with a structural sheaf (geometric vNH or just GvNH) and how to transform a vNH in aGvNH -in fact, this transformation shows that the category GvNH is a reflexive subcategory of vNH. We also build a von Neumann regular hull for multirings and use this to give applications for algebraic theory of quadratic forms. More precisely, we work with Real Reduced Multiring (RRM, [Mar3]) -also known as Real Semigroup (RS, [DP1])-, a special kind of multirings that is useful to explore the real structure of rings, and show that a von Neumann hull of a RRM is again a RRM. This gives a generalization of sheafs arguments present in [DM4].
△ Less
Submitted 16 January, 2021;
originally announced January 2021.
-
Identities and bases in the hypoplactic monoid
Authors:
Alan J. Cain,
António Malheiro,
Duarte Ribeiro
Abstract:
This paper presents new results on the identities satisfied by the hypoplactic monoid. We show how to embed the hypoplactic monoid of any rank strictly greater than 2 (including infinite rank) into a direct product of copies of the hypoplactic monoid of rank 2. This confirms that all hypoplactic monoids of rank greater than or equal to 2 satisfy exactly the same identities. We then give a complete…
▽ More
This paper presents new results on the identities satisfied by the hypoplactic monoid. We show how to embed the hypoplactic monoid of any rank strictly greater than 2 (including infinite rank) into a direct product of copies of the hypoplactic monoid of rank 2. This confirms that all hypoplactic monoids of rank greater than or equal to 2 satisfy exactly the same identities. We then give a complete characterization of those identities, and prove that the variety generated by the hypoplactic monoid has finite axiomatic rank, by giving a finite basis for it.
△ Less
Submitted 13 July, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
A fundamental theorem for submanifolds in semi-Riemannian warped products
Authors:
Carlos A. D. Ribeiro,
Marcos F. de Melo
Abstract:
In this paper we find necessary and sufficient conditions for a nondegenerate arbitrary signature manifold $M^n$ to be realized as a submanifold in the large class of warped product manifolds $\varepsilon I\times_a\mathbb{M}^{N}_λ(c)$, where $\varepsilon=\pm 1,\ a:I\subset\mathbb{R}\to\mathbb{R}^+$ is the scale factor and $\mathbb{M}^{N}_λ(c)$ is the $N$-dimensional semi-Riemannian space form of i…
▽ More
In this paper we find necessary and sufficient conditions for a nondegenerate arbitrary signature manifold $M^n$ to be realized as a submanifold in the large class of warped product manifolds $\varepsilon I\times_a\mathbb{M}^{N}_λ(c)$, where $\varepsilon=\pm 1,\ a:I\subset\mathbb{R}\to\mathbb{R}^+$ is the scale factor and $\mathbb{M}^{N}_λ(c)$ is the $N$-dimensional semi-Riemannian space form of index $λ$ and constant curvature $c\in\{-1,1\}.$ We prove that if $M^n$ satisfies Gauss, Codazzi and Ricci equations for a submanifold in $\varepsilon I\times_a\mathbb{M}^{N}_λ(c)$, along with some additional conditions, then $M^n$ can be isometrically immersed into $\varepsilon I\times_a\mathbb{M}^{N}_λ(c)$. This comprises the case of hypersurfaces immersed in semi-Riemannian warped products proved by M.A. Lawn and M. Ortega (see [6]), which is an extension of the isometric immersion result obtained by J. Roth in the Lorentzian products $\mathbb{S}^n\times\mathbb{R}_1$ and $\mathbb{H}^n\times\mathbb{R}_1$ (see [12]), where $\mathbb{S}^n$ and $\mathbb{H}^n$ stand for the sphere and hyperbolic space of dimension $n$, respectively. This last result, in turn, is an expansion to pseudo-Riemannian manifolds of the isometric immersion result proved by B. Daniel in $\mathbb{S}^n\times\mathbb{R}$ and $\mathbb{H}^n\times\mathbb{R}$ (see [2]), one of the first generalizations of the classical theorem for submanifolds in space forms (see [13]). Although additional conditions to Gauss, Codazzi and Ricci equations are not necessary in the classical theorem for submanifolds in space forms, they appear in all other cases cited above.
△ Less
Submitted 16 June, 2017; v1 submitted 14 June, 2017;
originally announced June 2017.
-
Functorial relationship between multirings and the various abstract theories of quadratic forms
Authors:
Hugo Rafael de Oliveira Ribeiro,
Kaique Matias de Andrade Roberto,
Hugo Luiz Mariano
Abstract:
We provide, explicitly, equivalences and dual equivalences between categories of abstract quadratic forms theories and subcategories of multifields and multirings, that will bring new perspectives and methods to the abstract theories of quadratic forms in forthcoming papers.
We provide, explicitly, equivalences and dual equivalences between categories of abstract quadratic forms theories and subcategories of multifields and multirings, that will bring new perspectives and methods to the abstract theories of quadratic forms in forthcoming papers.
△ Less
Submitted 27 August, 2020; v1 submitted 3 October, 2016;
originally announced October 2016.
