-
The Korteweg-de Vries Equation on general star graphs
Authors:
Márcio Cavalcante,
José Marques Neto
Abstract:
In this paper, we establish local well-posedness for the Cauchy problem associated with the Korteweg-de Vries (KdV) equation on a general metric star graph. The graph comprises m + k semi-infinite edges: k negative half-lines and m positive half-lines, all joined at a common vertex. The choice of boundary conditions is compatible with the conditions determined by the semigroup theory. The crucial…
▽ More
In this paper, we establish local well-posedness for the Cauchy problem associated with the Korteweg-de Vries (KdV) equation on a general metric star graph. The graph comprises m + k semi-infinite edges: k negative half-lines and m positive half-lines, all joined at a common vertex. The choice of boundary conditions is compatible with the conditions determined by the semigroup theory. The crucial point in this work is to obtain the integral formula using the forcing operator method and the Fourier restriction method of Bourgain. This work extends the results obtained by Cavalcante for the specific case of the Y junction to a more general class of star graphs.
△ Less
Submitted 11 February, 2025;
originally announced February 2025.
-
Solving Combinatorial Pricing Problems using Embedded Dynamic Programming Models
Authors:
Quang Minh Bui,
Margarida Carvalho,
José Neto
Abstract:
The combinatorial pricing problem (CPP) is a bilevel problem in which the leader maximizes their revenue by imposing tolls on certain items that they can control. Based on the tolls set by the leader, the follower selects a subset of items corresponding to an optimal solution of a combinatorial optimization problem. To accomplish the leader's goal, the tolls need to be sufficiently low to discoura…
▽ More
The combinatorial pricing problem (CPP) is a bilevel problem in which the leader maximizes their revenue by imposing tolls on certain items that they can control. Based on the tolls set by the leader, the follower selects a subset of items corresponding to an optimal solution of a combinatorial optimization problem. To accomplish the leader's goal, the tolls need to be sufficiently low to discourage the follower from choosing the items offered by the competitors. In this paper, we derive a single-level reformulation for the CPP by rewriting the follower's problem as a longest path problem using a dynamic programming model, and then taking its dual and applying strong duality. We proceed to solve the reformulation in a dynamic fashion with a cutting plane method. We apply this methodology to two distinct dynamic programming models, namely, a novel formulation designated as selection diagram and the well-known decision diagram. We also produce numerical results to evaluate their performances across three different specializations of the CPP and a closely related problem that is the knapsack interdiction problem. Our results showcase the potential of the two proposed reformulations over the natural value function approach, expanding the set of tools to solve combinatorial bilevel programs.
△ Less
Submitted 29 March, 2025; v1 submitted 19 March, 2024;
originally announced March 2024.
-
A Refined Proximal Algorithm for Nonconvex Multiobjective Optimization in Hilbert Spaces
Authors:
G. C. Bento,
J. X. Cruz Neto,
J. O. Lopes,
B. S. Mordukhovich,
P. R. Silva Filho
Abstract:
This paper is devoted to general nonconvex problems of multiobjective optimization in Hilbert spaces. Based on Mordukhovich's limiting subgradients, we define a new notion of Pareto critical points for such problems, establish necessary optimality conditions for them, and then employ these conditions to develop a refined version of the vectorial proximal point algorithm with providing its detailed…
▽ More
This paper is devoted to general nonconvex problems of multiobjective optimization in Hilbert spaces. Based on Mordukhovich's limiting subgradients, we define a new notion of Pareto critical points for such problems, establish necessary optimality conditions for them, and then employ these conditions to develop a refined version of the vectorial proximal point algorithm with providing its detailed convergence analysis. The obtained results largely extend those initiated by Bonnel, Iusem and Svaiter \cite{Bonnel2005} for convex vector optimization problems and by Bento et al. \cite{Bento2018} for nonconvex finite-dimensional problems in terms of Clarke's generalized gradients.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Outlier detection in regression: conic quadratic formulations
Authors:
Andrés Gómez,
José Neto
Abstract:
In many applications, when building linear regression models, it is important to account for the presence of outliers, i.e., corrupted input data points. Such problems can be formulated as mixed-integer optimization problems involving cubic terms, each given by the product of a binary variable and a quadratic term of the continuous variables. Existing approaches in the literature, typically relyin…
▽ More
In many applications, when building linear regression models, it is important to account for the presence of outliers, i.e., corrupted input data points. Such problems can be formulated as mixed-integer optimization problems involving cubic terms, each given by the product of a binary variable and a quadratic term of the continuous variables. Existing approaches in the literature, typically relying on the linearization of the cubic terms using big-M constraints, suffer from weak relaxation and poor performance in practice. In this work we derive stronger second-order conic relaxations that do not involve big-M constraints. Our computational experiments indicate that the proposed formulations are several orders-of-magnitude faster than existing big-M formulations in the literature for this problem.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Asymmetry in the Complexity of the Multi-Commodity Network Pricing Problem
Authors:
Quang Minh Bui,
Margarida Carvalho,
José Neto
Abstract:
The network pricing problem (NPP) is a bilevel problem, where the leader optimizes its revenue by deciding on the prices of certain arcs in a graph, while expecting the followers (also known as the commodities) to choose a shortest path based on those prices. In this paper, we investigate the complexity of the NPP with respect to two parameters: the number of tolled arcs, and the number of commodi…
▽ More
The network pricing problem (NPP) is a bilevel problem, where the leader optimizes its revenue by deciding on the prices of certain arcs in a graph, while expecting the followers (also known as the commodities) to choose a shortest path based on those prices. In this paper, we investigate the complexity of the NPP with respect to two parameters: the number of tolled arcs, and the number of commodities. We devise a simple algorithm showing that if the number of tolled arcs is fixed, then the problem can be solved in polynomial time with respect to the number of commodities. In contrast, even if there is only one commodity, once the number of tolled arcs is not fixed, the problem becomes NP-hard. We characterize this asymmetry in the complexity with a novel property named strong bilevel feasibility. Finally, we describe an algorithm to generate valid inequalities to the NPP based on this property, accommodated with numerical results to demonstrate its effectiveness in solving the NPP with a high number of commodities.
△ Less
Submitted 12 January, 2023; v1 submitted 20 December, 2022;
originally announced December 2022.
-
Solving partial differential equations on near-term quantum computers
Authors:
Anton Simen Albino,
Lucas Correia Jardim,
Diego Campos Knupp,
Antonio Jose Silva Neto,
Otto Menegasso Pires,
Erick Giovani Sperandio Nascimento
Abstract:
In this work, we obtain the numerical temperature field to a thermally developing fluid flow inside parallel plates problem with a quantum computing method. The physical problem deals with the heat transfer of a steady state, hydrodinamically developed and thermally developing fluid flow inside two parallel plates channel subjected to a prescribed constant heat flux. Its solution is formulated num…
▽ More
In this work, we obtain the numerical temperature field to a thermally developing fluid flow inside parallel plates problem with a quantum computing method. The physical problem deals with the heat transfer of a steady state, hydrodinamically developed and thermally developing fluid flow inside two parallel plates channel subjected to a prescribed constant heat flux. Its solution is formulated numerically with Finite Differences method, where a sequence of linear systems must be solved in order to determine the complete temperature field. Such linear systems are written as discrete unconstrained optimization problems with floating points being approximated using binary variables and solved using near-term quantum heuristics. Due to the exponential cost of simulating quantum algorithms, a reduced number of qubits had to be used in the simulations, causing a loss of precision in the results. However, this work advances the state of the art of solutions of differential equations with noisy quantum devices and could be used for useful applications when quantum computers with thousands of qubits become available.
△ Less
Submitted 11 August, 2022;
originally announced August 2022.
-
Elements of Convex Geometry in Hadamard Manifolds with Application to Equilibrium Problems
Authors:
G. C. Bento,
J. X. Cruz Neto,
I. D. L. Melo
Abstract:
In this paper, is introduced a new proposal of resolvent for equilibrium problems in terms of the Busemann's function. A great advantage of this new proposal is that, in addition to be a natural extension of the proposal in the linear setting by Combettes and Hirstoaga in [20], the new term that performs regularization is a convex function in general Hadamard manifolds, being a first step to fully…
▽ More
In this paper, is introduced a new proposal of resolvent for equilibrium problems in terms of the Busemann's function. A great advantage of this new proposal is that, in addition to be a natural extension of the proposal in the linear setting by Combettes and Hirstoaga in [20], the new term that performs regularization is a convex function in general Hadamard manifolds, being a first step to fully answer to the problem posed by Cruz Neto et al. in [21, Section 5]. During our study, some elements of convex analysis are explored in the context of Hadamard manifolds, which are interesting on their own. In particular, we introduce a new definition of convex combination (now commutative) of any finite collection of points and present the realization of an associated Jensen-type inequality.
△ Less
Submitted 5 November, 2021; v1 submitted 5 July, 2021;
originally announced July 2021.
-
Determination of an Optimal Control Strategy for Vaccine Administration in COVID-19 Pandemic Treatment
Authors:
Gustavo Barbosa Libotte,
Fran Sérgio Lobato,
Gustavo Mendes Platt,
Antônio José da Silva Neto
Abstract:
During decades, mathematical models have been used to predict the behavior of physical and biologic systems, and to define strategies aiming the minimization of the effects regarding different types of diseases. In the present days, the development of mathematical models to simulate the dynamic behavior of novel coronavirus disease (COVID-19) is considered an important theme due to the quantity of…
▽ More
During decades, mathematical models have been used to predict the behavior of physical and biologic systems, and to define strategies aiming the minimization of the effects regarding different types of diseases. In the present days, the development of mathematical models to simulate the dynamic behavior of novel coronavirus disease (COVID-19) is considered an important theme due to the quantity of infected people worldwide. In this work, the aim is to determine an optimal control strategy for vaccine administration in COVID-19 pandemic treatment considering real data from China. For this purpose, an inverse problem is formulated and solved in order to determine the parameters of the compartmental SIR (Susceptible-Infectious-Recovered) model. To solve such inverse problem, the Differential Evolution (DE) algorithm is employed. After this step, two optimal control problems (mono- and multi-objective) to determine the optimal strategy for vaccine administration in COVID-19 pandemic treatment are proposed. The first consists of minimizing the quantity of infected individuals during the treatment. The second considers minimizing together the quantity of infected individuals and the prescribed vaccine concentration during the treatment, i.e., a multi-objective optimal control problem. The solution of each optimal control problems is obtained using DE and Multi-Objective Differential Evolution (MODE) algorithms, respectively. The results regarding the proposed multi-objective optimal control problem provides a set of evidences from which an optimal strategy for vaccine administration can be chosen, according to a given criterion.
△ Less
Submitted 20 April, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Convexity and some geometric properties
Authors:
J. X. Cruz Neto,
Ítalo Melo,
Paulo Sousa
Abstract:
The main goal of this paper is to present results of existence and non-existence of convex functions on Riemannian manifolds and, in the case of the existence, we associate such functions to the geometry of the manifold. Precisely, we prove that the conservativity of the geodesic flow on a Rieman- nain manifold with infinite volume is an obstruction to the existence of convex functions. Next, we p…
▽ More
The main goal of this paper is to present results of existence and non-existence of convex functions on Riemannian manifolds and, in the case of the existence, we associate such functions to the geometry of the manifold. Precisely, we prove that the conservativity of the geodesic flow on a Rieman- nain manifold with infinite volume is an obstruction to the existence of convex functions. Next, we present a geometric condition that ensures the existence of (strictly) convex functions on a particular class of complete non-compact man- ifolds, and, we use this fact to construct a manifold whose sectional curvature assumes any real value greater than a negative constant and admits a strictly convex function. In the last result we relate the geometry of a Riemannian manifold of positive sectional curvature with the set of minimum points of a convex function defined on the manifold.
△ Less
Submitted 11 December, 2016;
originally announced December 2016.
-
Existence Results for Particular Instances of the Vector Quasi-Equilibrium Problem on Hadamard Manifolds
Authors:
G. C. Bento,
J. X. Cruz Neto
Abstract:
We show the validity of select existence results for a vector optimization problem, and a variational inequality. More generally, we consider generalized vector quasi-variational inequalities, as well as, fixed point problems on genuine Hadamard manifolds.
We show the validity of select existence results for a vector optimization problem, and a variational inequality. More generally, we consider generalized vector quasi-variational inequalities, as well as, fixed point problems on genuine Hadamard manifolds.
△ Less
Submitted 7 October, 2015; v1 submitted 10 June, 2015;
originally announced June 2015.
-
Guaranteed Scoring Games
Authors:
Urban Larsson,
João P. Neto,
Richard J. Nowakowski,
Carlos P. Santos
Abstract:
The class of Guaranteed Scoring Games (GS) are two-player combinatorial games with the property that Normal-play games (Conway et. al.) are ordered embedded into GS. They include, as subclasses, the scoring games considered by Milnor (1953), Ettinger (1996) and Johnson (2014). We present the structure of GS and the techniques needed to analyze a sum of guaranteed games. Firstly, GS form a partiall…
▽ More
The class of Guaranteed Scoring Games (GS) are two-player combinatorial games with the property that Normal-play games (Conway et. al.) are ordered embedded into GS. They include, as subclasses, the scoring games considered by Milnor (1953), Ettinger (1996) and Johnson (2014). We present the structure of GS and the techniques needed to analyze a sum of guaranteed games. Firstly, GS form a partially ordered monoid, via defined Right- and Left-stops over the reals, and with disjunctive sum as the operation. In fact, the structure is a quotient monoid with partially ordered congruence classes. We show that there are four reductions that when applied, in any order, give a unique representative for each congruence class. The monoid is not a group, but in this paper we prove that if a game has an inverse it is obtained by `switching the players'. The order relation between two games is defined by comparing their stops in \textit{any} disjunctive sum. Here, we demonstrate how to compare the games via a finite algorithm instead, extending ideas of Ettinger, and also Siegel (2013).
△ Less
Submitted 28 May, 2015;
originally announced May 2015.
-
A proximal point algorithm with generalized proximal distances to BEPs
Authors:
G. C. Bento,
J. X. Cruz Neto,
J. O. Lopes,
P. A. Soares Jr,
A. Soubeyran
Abstract:
We consider a bilevel problem involving two monotone equilibrium bifunctions and we show that this problem can be solved by a proximal point method with generalized proximal distances. We propose a framework for the convergence analysis of the sequences generated by the algorithm. This class of problems is very interesting because it covers mathematical programs and optimization problems under equ…
▽ More
We consider a bilevel problem involving two monotone equilibrium bifunctions and we show that this problem can be solved by a proximal point method with generalized proximal distances. We propose a framework for the convergence analysis of the sequences generated by the algorithm. This class of problems is very interesting because it covers mathematical programs and optimization problems under equilibrium constraints. As an application, we consider the problem of the stability and change dynamics of task's allocation in a hierarchical organization.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
-
Proximal algorithms with Bregman distances for bilevel equilibrium problems with application to the problem of "how routines form and change" in Economics and Management Sciences
Authors:
G. C. Bento,
J. X. Cruz Neto,
P. A. Soares Jr,
A. Soubeyran
Abstract:
In this paper we present the bilevel equilibrium problem under conditions of pseudomonotonicity. Using Bregman distances on Hadamard manifolds we propose a framework for to analyse the convergence of a proximal point algorithm to solve this bilevel equilibrium problem. As an application, we consider the problem of "how routines form and change" which is crucial for the dynamics of organizations in…
▽ More
In this paper we present the bilevel equilibrium problem under conditions of pseudomonotonicity. Using Bregman distances on Hadamard manifolds we propose a framework for to analyse the convergence of a proximal point algorithm to solve this bilevel equilibrium problem. As an application, we consider the problem of "how routines form and change" which is crucial for the dynamics of organizations in Economics and Management Sciences.
△ Less
Submitted 18 February, 2016; v1 submitted 20 January, 2014;
originally announced January 2014.
-
Behavioral Traps and the Equilibrium Problem on Hadamard Manifolds
Authors:
G. C. Bento,
J. X. Cruz Neto,
P. A. Soares Jr,
A. Soubeyran
Abstract:
In this paper we present a sufficient condition for the existence of a solution for an equilibrium problem on an Hadamard manifold and under suitable assumptions on the sectional curvature, we propose a framework for the convergence analysis of a proximal point algorithm to solve this equilibrium problem in finite time. Finally we offer an application to personal equilibrum problems as behavioral…
▽ More
In this paper we present a sufficient condition for the existence of a solution for an equilibrium problem on an Hadamard manifold and under suitable assumptions on the sectional curvature, we propose a framework for the convergence analysis of a proximal point algorithm to solve this equilibrium problem in finite time. Finally we offer an application to personal equilibrum problems as behavioral traps problems, using a recent "variational rationality" approach of human behavior.
△ Less
Submitted 31 March, 2014; v1 submitted 26 July, 2013;
originally announced July 2013.
-
The self regulation problem as an inexact steepest descent method for multicriteria optimization
Authors:
G. C. Bento,
J. X. Cruz Neto,
P. R. Oliveira,
A. Soubeyran
Abstract:
In this paper, we study an inexact steepest descent method, with Armijo's rule, for multicriteria optimization. The sequence generated by the method is guaranteed to be well-defined. Assuming quasi-convexity of the multicriteria function we prove full convergence of the sequence to a critical Pareto point. As an application, this paper offers a model of self regulation in Psychology, using a recen…
▽ More
In this paper, we study an inexact steepest descent method, with Armijo's rule, for multicriteria optimization. The sequence generated by the method is guaranteed to be well-defined. Assuming quasi-convexity of the multicriteria function we prove full convergence of the sequence to a critical Pareto point. As an application, this paper offers a model of self regulation in Psychology, using a recent variational rationality approach.
△ Less
Submitted 3 July, 2012;
originally announced July 2012.
-
Weak Sharp Minima and Finite Termination of the Proximal Point Method for Convex Functions on Hadamard Manifolds
Authors:
G. C. Bento,
J. X. da Cruz Neto
Abstract:
In this paper we proved that the sequence generated by the proximal point method, associated to a unconstrained optimization problem in the Riemannian context, has finite termination when the objective function has a weak sharp minima on the solution set of the problem.
In this paper we proved that the sequence generated by the proximal point method, associated to a unconstrained optimization problem in the Riemannian context, has finite termination when the objective function has a weak sharp minima on the solution set of the problem.
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
Numerical analysis of semilinear elliptic equations with finite spectral interaction
Authors:
José Cal Neto,
Carlos Tomei
Abstract:
We present an algorithm to solve $- \lap u - f(x,u) = g$ with Dirichlet boundary conditions in a bounded domain $Ω$. The nonlinearities are non-resonant and have finite spectral interaction: no eigenvalue of $-\lap_D$ is an endpoint of $\bar{\partial_2f(Ω,\RR)}$, which in turn only contains a finite number of eigenvalues. The algorithm is based in ideas used by Berger and Podolak to provide a geom…
▽ More
We present an algorithm to solve $- \lap u - f(x,u) = g$ with Dirichlet boundary conditions in a bounded domain $Ω$. The nonlinearities are non-resonant and have finite spectral interaction: no eigenvalue of $-\lap_D$ is an endpoint of $\bar{\partial_2f(Ω,\RR)}$, which in turn only contains a finite number of eigenvalues. The algorithm is based in ideas used by Berger and Podolak to provide a geometric proof of the Ambrosetti-Prodi theorem and advances work by Smiley and Chun for the same problem.
△ Less
Submitted 28 July, 2011;
originally announced July 2011.
-
A Numerical Algorithm for Ambrosetti-Prodi Type Operators
Authors:
J. Cal Neto,
C. Tomei
Abstract:
We consider the numerical solution of the equation - Δu - f(u) = g, for the unknown u satisfying Dirichlet conditions in a bounded domain. The nonlinearity f has bounded, continuous derivative. The algorithm uses the finite element method combined with a global Lyapunov-Schmidt decomposition.
We consider the numerical solution of the equation - Δu - f(u) = g, for the unknown u satisfying Dirichlet conditions in a bounded domain. The nonlinearity f has bounded, continuous derivative. The algorithm uses the finite element method combined with a global Lyapunov-Schmidt decomposition.
△ Less
Submitted 31 March, 2011;
originally announced March 2011.
-
Convergence of inexact descent methods for nonconvex optimization on Riemannian manifolds
Authors:
G. C. Bento,
J. X. da Cruz Neto,
P. R. Oliveira
Abstract:
In this paper we present an abstract convergence analysis of inexact descent methods in Riemannian context for functions satisfying Kurdyka-Lojasiewicz inequality. In particular, without any restrictive assumption about the sign of the sectional curvature of the manifold, we obtain full convergence of a bounded sequence generated by the proximal point method, in the case that the objective functio…
▽ More
In this paper we present an abstract convergence analysis of inexact descent methods in Riemannian context for functions satisfying Kurdyka-Lojasiewicz inequality. In particular, without any restrictive assumption about the sign of the sectional curvature of the manifold, we obtain full convergence of a bounded sequence generated by the proximal point method, in the case that the objective function is nonsmooth and nonconvex, and the subproblems are determined by a quasi distance which does not necessarily coincide with the Riemannian distance. Moreover, if the objective function is $C^1$ with $L$-Lipschitz gradient, not necessarily convex, but satisfying Kurdyka-Lojasiewicz inequality, full convergence of a bounded sequence generated by the steepest descent method is obtained.
△ Less
Submitted 24 March, 2011;
originally announced March 2011.
-
Some Results on Algebraic and Geometric Characterization of Linear Systems Models for Time Series Analysis
Authors:
Joao Jose de Farias Neto
Abstract:
It is shown that in the multivariate case the orders p, of the AR part, and q, of the MA part, are not invariants of the time series. Thus, it is concluded that it only makes sense to define the class of ARMA(p,p)- irreducible models, where p is the biggest of the system's Kronecker indices. This class is shown not to be a differentiable manifold, but to contain one, which is a generic subset of…
▽ More
It is shown that in the multivariate case the orders p, of the AR part, and q, of the MA part, are not invariants of the time series. Thus, it is concluded that it only makes sense to define the class of ARMA(p,p)- irreducible models, where p is the biggest of the system's Kronecker indices. This class is shown not to be a differentiable manifold, but to contain one, which is a generic subset of systems with all Kronecker indices equal to p. A formula which gives the metric tensor for riemannian manifolds of linear systems as a line integral in the complex plane is introduced for deterministic and stochastic cases and some tensors are obtained with it.
△ Less
Submitted 26 March, 2004;
originally announced March 2004.
-
Calculation of Linear Systems Metric Tensors via Algebraic Computation
Authors:
Joao Jose de Farias Neto
Abstract:
A formula for the Riemannian metric tensor of differentiable manifolds of linear dynamical systems of same McMillan degree is presented in terms of their transfer function matrices. The necessary calculations for its application to ARMA and state space overlapping parametrizations are drafted. The importance of this approach for systems identification and multiple time series analysis and foreca…
▽ More
A formula for the Riemannian metric tensor of differentiable manifolds of linear dynamical systems of same McMillan degree is presented in terms of their transfer function matrices. The necessary calculations for its application to ARMA and state space overlapping parametrizations are drafted. The importance of this approach for systems identification and multiple time series analysis and forecasting is explained.
△ Less
Submitted 25 September, 2002;
originally announced September 2002.
