-
Optimization model for electric aircraft tow tractors considering operator coalition
Authors:
Dan-Wen Bao,
Jia-Yi Zhou,
Di Kang,
Zhuo Chen
Abstract:
Horizontal collaboration between operators can save traffic operation costs, a concept that has been particularly validated in the logistics field. Due to the increasing transportation demand and the introduction of charging times for electric vehicles, there is growing pressure on airport ground support services. This study introduces the concept of coalition to airport ground support services. U…
▽ More
Horizontal collaboration between operators can save traffic operation costs, a concept that has been particularly validated in the logistics field. Due to the increasing transportation demand and the introduction of charging times for electric vehicles, there is growing pressure on airport ground support services. This study introduces the concept of coalition to airport ground support services. Unlike most studies on horizontal collaboration, the scheduling for airport ground support services needs to particularly consider punctuality issues. In this study, we separately establish electric vehicle scheduling models for operator-separate and operator-cooperated modes and design an algorithm based on the concept of the Adaptive Large Neighborhood Search algorithm, aiming to obtain the electric vehicle scheduling plan with minimum cost and delay time. Furthermore, the study proposes a cost allocation method that considers the degree of sharing among operators to ensure the feasibility of coalition. Finally, we conducted numerical experiments based on actual airport operation data. The experiments verified the effectiveness of the algorithm and the cost allocation method. Compared to solvers, our algorithm can obtain feasible solutions in a shorter time while ensuring that the objective function gap is within 2%. Additionally, the improved cost allocation method is fairer compared to the traditional Shapley method. Numerical experiments also show that coalition can save 15-25% of airport operating costs and 26-39% of delay time, with savings varying based on the sharing parameters. Through quantitative analysis such as sensitivity analysis, the study provides insights into the variation patterns of overall and individual shared utilities and offers suggestions and decision-making mechanisms for the configuration and operation of airport ground operators.
△ Less
Submitted 31 August, 2024; v1 submitted 26 August, 2024;
originally announced August 2024.
-
Charge-Discharge Coupling Strategy for Dispatching Problems with Electric Tractors at Airports
Authors:
Danwen Bao,
Ziqian Zhang,
Di Kang
Abstract:
Airports worldwide are actively promoting the transition of ground service vehicles from traditional fuel-powered vehicles to electric vehicles. The key to the successful implementation of this transition lies in the development of efficient electric vehicle dispatching models that comprehensively consider the charge-discharge processes of electric vehicles. However, due to the nonlinear character…
▽ More
Airports worldwide are actively promoting the transition of ground service vehicles from traditional fuel-powered vehicles to electric vehicles. The key to the successful implementation of this transition lies in the development of efficient electric vehicle dispatching models that comprehensively consider the charge-discharge processes of electric vehicles. However, due to the nonlinear characteristics of charge-discharge processes, finding precise solutions poses a significant challenge. Previous researchers have often used traditional energy consumption models and constant charging rates to simplify calculations, but this has resulted in inaccurate estimates of the remaining battery charge level. Furthermore, the lack of diverse pacing and charging strategies for airport ground service vehicles necessitates more adaptable solutions to enhance operational efficiency. To address these challenges, this paper uses airport electric tractors as a case study, develops an accurate model that takes into account the start-stop process and a piecewise linear charging function, designs an improved genetic algorithm that incorporates a greedy algorithm and an adaptive strategy, and develops charge-discharge coupling strategies for different configuration scenarios at Nanjing Lukou Airport to meet current and future needs. The research results indicate that compared to traditional genetic algorithms, the proposed improved genetic algorithm significantly enhances solution accuracy and convergence speed. Additionally, with the increase in flight scale, airports can appropriately enhance their charging strategies; airports with dispersed aircraft stands should devise higher pacing strategies compared to those with dense aircraft stands.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Nash Equilibrium and Minimax Theorems via Variational Tools of Convex Analysis
Authors:
Nguyen Xuan Duy Bao,
Boris Mordukhovich,
Nguyen Mau Nam
Abstract:
In this paper, we first provide a simple variational proof of the existence of Nash equilibrium in Hilbert spaces by using optimality conditions in convex minimization and Schauder's fixed-point theorem. Then applications of convex analysis and generalized differentiation are given to the existence of Nash equilibrium and extended versions of von Neumann's minimax theorem in locally convex topolog…
▽ More
In this paper, we first provide a simple variational proof of the existence of Nash equilibrium in Hilbert spaces by using optimality conditions in convex minimization and Schauder's fixed-point theorem. Then applications of convex analysis and generalized differentiation are given to the existence of Nash equilibrium and extended versions of von Neumann's minimax theorem in locally convex topological vector spaces. Our analysis in this part combines generalized differential tools of convex analysis with elements of fixed point theory revolving around Kakutani's fixed-point theorem and related issues.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Optimality conditions at infinity for nonsmooth minimax programming
Authors:
Nguyen Van Tuyen,
Kwan Deok Bae,
Do Sang Kim
Abstract:
This paper is devoted to study of optimality conditions at infinity in nonsmooth minimax programming problems and applications. By means of the limiting subdifferential and normal cone at infinity, we dirive necessary and sufficient optimality conditions of Karush--Kuhn--Tucker type for nonsmooth minimax programming problems with constraint. The obtained results are applied to a nonsmooth vector o…
▽ More
This paper is devoted to study of optimality conditions at infinity in nonsmooth minimax programming problems and applications. By means of the limiting subdifferential and normal cone at infinity, we dirive necessary and sufficient optimality conditions of Karush--Kuhn--Tucker type for nonsmooth minimax programming problems with constraint. The obtained results are applied to a nonsmooth vector optimization problem.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
SHAPER: Can You Hear the Shape of a Jet?
Authors:
Demba Ba,
Akshunna S. Dogra,
Rikab Gambhir,
Abiy Tasissa,
Jesse Thaler
Abstract:
The identification of interesting substructures within jets is an important tool for searching for new physics and probing the Standard Model at colliders. Many of these substructure tools have previously been shown to take the form of optimal transport problems, in particular the Energy Mover's Distance (EMD). In this work, we show that the EMD is in fact the natural structure for comparing colli…
▽ More
The identification of interesting substructures within jets is an important tool for searching for new physics and probing the Standard Model at colliders. Many of these substructure tools have previously been shown to take the form of optimal transport problems, in particular the Energy Mover's Distance (EMD). In this work, we show that the EMD is in fact the natural structure for comparing collider events, which accounts for its recent success in understanding event and jet substructure. We then present a Shape Hunting Algorithm using Parameterized Energy Reconstruction (SHAPER), which is a general framework for defining and computing shape-based observables. SHAPER generalizes N-jettiness from point clusters to any extended, parametrizable shape. This is accomplished by efficiently minimizing the EMD between events and parameterized manifolds of energy flows representing idealized shapes, implemented using the dual-potential Sinkhorn approximation of the Wasserstein metric. We show how the geometric language of observables as manifolds can be used to define novel observables with built-in infrared-and-collinear safety. We demonstrate the efficacy of the SHAPER framework by performing empirical jet substructure studies using several examples of new shape-based observables.
△ Less
Submitted 20 July, 2023; v1 submitted 23 February, 2023;
originally announced February 2023.
-
Asymptotic properties in the Probit-Zero-inflated Binomial regression model
Authors:
Aba Diop,
Demba Bocar Ba,
Fatimata Lo
Abstract:
Zero-inflated regression models have had wide application recently and have provenuseful in modeling data with many zeros. Zero-inflated Binomial (ZIB) regression model is an extension of the ordinary binomial distribution that takes into account the excess of zeros. In comparing the probit model to the logistic model, many authors believe that there is little theoretical justification in choosing…
▽ More
Zero-inflated regression models have had wide application recently and have provenuseful in modeling data with many zeros. Zero-inflated Binomial (ZIB) regression model is an extension of the ordinary binomial distribution that takes into account the excess of zeros. In comparing the probit model to the logistic model, many authors believe that there is little theoretical justification in choosing one formulation over the other in most circumstances involving binary responses. The logit model is considered to be computationally simpler but it is based on a more restrictive assumption of error independence, although many other generalizations have dealt with that assumption as well. By contrast, the probit model assumes that random errors have a multivariate normal distribution. This assumption makes the probit model attractive because the normal distribution provides a good approximation to many other distributions. In this paper, we develop a maximum likelihood estimation procedure for the parameters of a zero-inflated Binomial regression model with probit link function for both component of the model. We establish the existency, consistency and asymptotic normality of the proposed estimator.
△ Less
Submitted 2 May, 2021;
originally announced May 2021.
-
Weighed l1 on the simplex: Compressive sensing meets locality
Authors:
Abiy Tasissa,
Pranay Tankala,
Demba Ba
Abstract:
Sparse manifold learning algorithms combine techniques in manifold learning and sparse optimization to learn features that could be utilized for downstream tasks. The standard setting of compressive sensing can not be immediately applied to this setup. Due to the intrinsic geometric structure of data, dictionary atoms might be redundant and do not satisfy the restricted isometry property or cohere…
▽ More
Sparse manifold learning algorithms combine techniques in manifold learning and sparse optimization to learn features that could be utilized for downstream tasks. The standard setting of compressive sensing can not be immediately applied to this setup. Due to the intrinsic geometric structure of data, dictionary atoms might be redundant and do not satisfy the restricted isometry property or coherence condition. In addition, manifold learning emphasizes learning local geometry which is not reflected in a standard $\ell_1$ minimization problem. We propose weighted $\ell_0$ and weighted $\ell_1$ metrics that encourage representation via neighborhood atoms suited for dictionary based manifold learning. Assuming that the data is generated from Delaunay triangulation, we show the equivalence of weighted $\ell_0$ and weighted $\ell_1$. We discuss an optimization program that learns the dictionaries and sparse coefficients and demonstrate the utility of our regularization on synthetic and real datasets.
△ Less
Submitted 2 August, 2024; v1 submitted 28 April, 2021;
originally announced April 2021.
-
K-Deep Simplex: Deep Manifold Learning via Local Dictionaries
Authors:
Pranay Tankala,
Abiy Tasissa,
James M. Murphy,
Demba Ba
Abstract:
We propose K-Deep Simplex(KDS) which, given a set of data points, learns a dictionary comprising synthetic landmarks, along with representation coefficients supported on a simplex. KDS employs a local weighted $\ell_1$ penalty that encourages each data point to represent itself as a convex combination of nearby landmarks. We solve the proposed optimization program using alternating minimization an…
▽ More
We propose K-Deep Simplex(KDS) which, given a set of data points, learns a dictionary comprising synthetic landmarks, along with representation coefficients supported on a simplex. KDS employs a local weighted $\ell_1$ penalty that encourages each data point to represent itself as a convex combination of nearby landmarks. We solve the proposed optimization program using alternating minimization and design an efficient, interpretable autoencoder using algorithm unrolling. We theoretically analyze the proposed program by relating the weighted $\ell_1$ penalty in KDS to a weighted $\ell_0$ program. Assuming that the data are generated from a Delaunay triangulation, we prove the equivalence of the weighted $\ell_1$ and weighted $\ell_0$ programs. We further show the stability of the representation coefficients under mild geometrical assumptions. If the representation coefficients are fixed, we prove that the sub-problem of minimizing over the dictionary yields a unique solution. Further, we show that low-dimensional representations can be efficiently obtained from the covariance of the coefficient matrix. Experiments show that the algorithm is highly efficient and performs competitively on synthetic and real data sets.
△ Less
Submitted 30 July, 2024; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Off-grid Multi-Source Passive Localization Using a Moving Array
Authors:
Dan Bao,
Changlong Wang,
Jingjing Cai
Abstract:
A novel direct passive localization technique through a single moving array is proposed in this paper using the sparse representation of the array covariance matrix in spatial domain. The measurement is constructed by stacking the vectorized version of all the array covariance matrices at different observing positions. First, an on-grid compressive sensing (CS) based method is developed, where the…
▽ More
A novel direct passive localization technique through a single moving array is proposed in this paper using the sparse representation of the array covariance matrix in spatial domain. The measurement is constructed by stacking the vectorized version of all the array covariance matrices at different observing positions. First, an on-grid compressive sensing (CS) based method is developed, where the dictionary is composed of the steering vectors from the searching grids to the observing positions. Convex optimization is applied to solve the `1-norm minimization problem. Second, to get much finer target positions, we develop an on-grid CS based method, where the majorization-minimization technique replaces the atan-sum objective function in each iteration by a quadratic convex function which can be easily minimized. The objective function,atan-sum, is more similar to `0-norm, and more sparsity encouraging than the log-sum function.This method also works more robustly at conditions of low SNR, and fewer observing positions are needed than in the traditional ones. The simulation experiments verify the promises of the proposed algorithm.
△ Less
Submitted 7 July, 2020;
originally announced July 2020.
-
Entropies and their Asymptotic Theory in the discrete case
Authors:
Amadou Diadie Ba,
Gane Samb Lo
Abstract:
We present some new nonparametric estimators of entropies and we establish almost sure consistency and central limit Theorems for some of the most important entropies in the discrete case. Our theorical results are validated by simulations.
We present some new nonparametric estimators of entropies and we establish almost sure consistency and central limit Theorems for some of the most important entropies in the discrete case. Our theorical results are validated by simulations.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
Lower semi-continuity of the Waldschmidt constants
Authors:
Daseul Bae
Abstract:
In this paper, we study the Waldschmidt constant of a generalized fat point subscheme $Z=m_1p_1+\cdots+m_rp_r$ of $\mathbb{P}^2$, where $p_1,\cdots,p_r$ are essentially distinct points on $\mathbb{P}^2$, satisfying the proximity inequalities. Furthermore, we prove its lower semi-continuity for $r\le 8$. Using this property, we also calculate the Waldschmidt constants of the fat point subschemes…
▽ More
In this paper, we study the Waldschmidt constant of a generalized fat point subscheme $Z=m_1p_1+\cdots+m_rp_r$ of $\mathbb{P}^2$, where $p_1,\cdots,p_r$ are essentially distinct points on $\mathbb{P}^2$, satisfying the proximity inequalities. Furthermore, we prove its lower semi-continuity for $r\le 8$. Using this property, we also calculate the Waldschmidt constants of the fat point subschemes $Z=p_1+\cdots+p_5$ giving weak del Pezzo surfaces of degree 4.
△ Less
Submitted 5 December, 2019; v1 submitted 27 February, 2018;
originally announced February 2018.
-
A Modularized Efficient Framework for Non-Markov Time Series Estimation
Authors:
Gabriel Schamberg,
Demba Ba,
Todd P. Coleman
Abstract:
We present a compartmentalized approach to finding the maximum a-posteriori (MAP) estimate of a latent time series that obeys a dynamic stochastic model and is observed through noisy measurements. We specifically consider modern signal processing problems with non-Markov signal dynamics (e.g. group sparsity) and/or non-Gaussian measurement models (e.g. point process observation models used in neur…
▽ More
We present a compartmentalized approach to finding the maximum a-posteriori (MAP) estimate of a latent time series that obeys a dynamic stochastic model and is observed through noisy measurements. We specifically consider modern signal processing problems with non-Markov signal dynamics (e.g. group sparsity) and/or non-Gaussian measurement models (e.g. point process observation models used in neuroscience). Through the use of auxiliary variables in the MAP estimation problem, we show that a consensus formulation of the alternating direction method of multipliers (ADMM) enables iteratively computing separate estimates based on the likelihood and prior and subsequently "averaging" them in an appropriate sense using a Kalman smoother. As such, this can be applied to a broad class of problem settings and only requires modular adjustments when interchanging various aspects of the statistical model. Under broad log-concavity assumptions, we show that the separate estimation problems are convex optimization problems and that the iterative algorithm converges to the MAP estimate. As such, this framework can capture non-Markov latent time series models and non-Gaussian measurement models. We provide example applications involving (i) group-sparsity priors, within the context of electrophysiologic specrotemporal estimation, and (ii) non-Gaussian measurement models, within the context of dynamic analyses of learning with neural spiking and behavioral observations.
△ Less
Submitted 7 May, 2018; v1 submitted 14 June, 2017;
originally announced June 2017.
-
Identities between Hecke Eigenforms
Authors:
Dianbin Bao
Abstract:
In this paper, we study solutions to $h=af^2+bfg+g^2$, where $f,g,h$ are Hecke newforms with respect to $Γ_1(N)$ of weight $k>2$ and $a,b\neq 0$. We show that the number of solutions is finite for all $N$. Assuming Maeda's conjecture, we prove that the Petersson inner product $\langle f^2,g\rangle$ is nonzero, where $f$ and $g$ are any nonzero cusp eigenforms for $SL_2(\mathbb{Z})$ of weight $k$ a…
▽ More
In this paper, we study solutions to $h=af^2+bfg+g^2$, where $f,g,h$ are Hecke newforms with respect to $Γ_1(N)$ of weight $k>2$ and $a,b\neq 0$. We show that the number of solutions is finite for all $N$. Assuming Maeda's conjecture, we prove that the Petersson inner product $\langle f^2,g\rangle$ is nonzero, where $f$ and $g$ are any nonzero cusp eigenforms for $SL_2(\mathbb{Z})$ of weight $k$ and $2k$, respectively. As a corollary, we obtain that, assuming Maeda's conjecture, identities between cusp eigenforms for $SL_2(\mathbb{Z})$ of the form $X^2+\sum_{i=1}^n α_iY_i=0$ all are forced by dimension considerations. We also give a proof using polynomial identities between eigenforms that the $j$-function is algebraic on zeros of Eisenstein series of weight $12k$.
△ Less
Submitted 11 January, 2017;
originally announced January 2017.
-
Uniform in bandwidth consistency for the transformation kernel estimator of copulas
Authors:
Cheikh Tidiane Seck,
Diam Ba,
Gane Samb Lo
Abstract:
In this paper we establish the uniform in bandwidth consistency for the transformation kernel estimator of copulas introduced in [Omelka et al.(2009)]. To this end, we first prove a uniform in bandwidth law of the iterated logarithm for the maximal deviation of this estimator from its expectation. We then show that, as n goes to infinity, the bias of the estimator converges to zero uniformly in th…
▽ More
In this paper we establish the uniform in bandwidth consistency for the transformation kernel estimator of copulas introduced in [Omelka et al.(2009)]. To this end, we first prove a uniform in bandwidth law of the iterated logarithm for the maximal deviation of this estimator from its expectation. We then show that, as n goes to infinity, the bias of the estimator converges to zero uniformly in the bandwidth h, varying over a suitable interval. A practical method of selecting the optimal bandwidth is also presented. Finally, we make conclusive simulation experiments showing the performance of the estimator in finite samples.
△ Less
Submitted 28 December, 2016;
originally announced December 2016.
-
Consistency Bands for divergences measures
Authors:
Amadou Diadie Ba
Abstract:
By wavelets approach we estimate densities. Then by means of mean value theorem we establish asymptotic consistency and normality for special divergence measures and construct their consistency bands.
By wavelets approach we estimate densities. Then by means of mean value theorem we establish asymptotic consistency and normality for special divergence measures and construct their consistency bands.
△ Less
Submitted 17 August, 2016; v1 submitted 14 April, 2016;
originally announced April 2016.
-
Consistency bands for the mean excess function and application to graphical goodness of fit test for financial data
Authors:
Gane Samb Lo,
Diadie Ba,
Elhadji Deme,
Cheikh Seck
Abstract:
In this paper, we use the modern setting of functional empirical processes and recent techniques on uniform estimation for non parametric objects to derive consistency bands for the mean excess function in the i.i.d. case. We apply our results for modelling financial data, in particular Dow Jones data basis to see how good the Generalized hyperbolic distribution models fit monthly data.
In this paper, we use the modern setting of functional empirical processes and recent techniques on uniform estimation for non parametric objects to derive consistency bands for the mean excess function in the i.i.d. case. We apply our results for modelling financial data, in particular Dow Jones data basis to see how good the Generalized hyperbolic distribution models fit monthly data.
△ Less
Submitted 13 October, 2015; v1 submitted 21 September, 2015;
originally announced September 2015.
-
Zermelo navigation on Riemannian manifolds
Authors:
David Bao,
Colleen Robles,
Zhongmin Shen
Abstract:
In this paper, we study Zermelo navigation on Riemannian manifolds and use that to solve a long standing problem in Finsler geometry. Namely, the complete classification of strongly convex Randers metrics of constant flag curvature.
In this paper, we study Zermelo navigation on Riemannian manifolds and use that to solve a long standing problem in Finsler geometry. Namely, the complete classification of strongly convex Randers metrics of constant flag curvature.
△ Less
Submitted 13 November, 2003;
originally announced November 2003.
-
Finsler Metrics of Constant Positive Curvature on the Lie Group $s^3$
Authors:
David Bao,
Zhongmin Shen
Abstract:
Guided by the Hopf fibration, we single out a family (indexed by a positive constant K) of right invariant Riemannian metrics on the Lie group $S^3$. Using the Yasuda-Shimada theorem as an inspiration, we determine for each K>1 a privileged right invariant Killing field of constant length. Each such Riemannian metric pairs with the corresponding Killing field to produce a y-global and {\it expli…
▽ More
Guided by the Hopf fibration, we single out a family (indexed by a positive constant K) of right invariant Riemannian metrics on the Lie group $S^3$. Using the Yasuda-Shimada theorem as an inspiration, we determine for each K>1 a privileged right invariant Killing field of constant length. Each such Riemannian metric pairs with the corresponding Killing field to produce a y-global and {\it explicit} Randers metric on $S^3$. Using the machinery of spray curvature and Berwald's formula for it, we prove directly that the said Randers metric has constant positive flag curvature K, as predicted by the Yasuda-Shimada theorem. We also explain why this family of Finslerian space forms is NOT projectively flat.
△ Less
Submitted 12 November, 2000;
originally announced November 2000.
