Showing 1–50 of 66 results for author: Han, K

Internalizing sensing externality via matching and pricing for drive-by sensing taxi fleets

Authors: Binzhou Yang, Ke Han, Shenglin Liu, Ruijie Li

Abstract: Drive-by sensing is a promising data collection paradigm that leverages the mobilities of vehicles to survey urban environments at low costs, contributing to the positive externality of urban transport activities. Focusing on e-hailing services, this paper explores the sensing potential of taxi fleets, by designing a joint matching and pricing scheme based on a double auction process. The matching… ▽ More Drive-by sensing is a promising data collection paradigm that leverages the mobilities of vehicles to survey urban environments at low costs, contributing to the positive externality of urban transport activities. Focusing on e-hailing services, this paper explores the sensing potential of taxi fleets, by designing a joint matching and pricing scheme based on a double auction process. The matching module maximizes the sensing utility by prioritizing trips with high sensing potentials, and the pricing module allocates the corresponding social welfare according to the participants' contributions to the sensing utility. We show that the proposed scheme is allocative efficient, individually rational, budget balancing, envy-free, and group incentive compatible. The last notion guarantees that the participants, as a cohort, will end up with the same total utility regardless of mis-reporting on part of its members. Extensive numerical tests based on a real-world scenario reveal that the sensing externality can be well aligned with the level of service and budget balance. Various managerial insights regarding the applicability and efficacy of the proposed scheme are generated through scenario-based sensitivity analyses. △ Less

Submitted 18 August, 2024; originally announced August 2024.

Comments: 24 pages, 4 figures

Mechanism design for coordinating vehicle-based mobile sensing tasks within the ride-hailing platform

Authors: Shenglin Liu, Qian Ge, Ke Han, Daisuke Fukuda, Takao Dantsuji

Abstract: This paper evaluates the benefit of integrating vehicle-based mobile crowd-sensing tasks into the ride-hailing system through the collaboration between the data user and the ride-hailing platform. In such a system, the ride-hailing platform commissions high-valued sensing tasks to idle drivers who can undertake either ride-hailing or sensing requests. Considering the different service requirements… ▽ More This paper evaluates the benefit of integrating vehicle-based mobile crowd-sensing tasks into the ride-hailing system through the collaboration between the data user and the ride-hailing platform. In such a system, the ride-hailing platform commissions high-valued sensing tasks to idle drivers who can undertake either ride-hailing or sensing requests. Considering the different service requirements and time windows between sensing and ride-hailing requests, we design a staggered operation strategy for ride-hailing order matching and the sensing task assignment. The auction-based mechanisms are employed to minimize costs while incentivizing driver participation in mobile sensing. To address the budget deficit problem of the primal VCG-based task assignment mechanism, we refine the driver selection approach and tailor the payment rule by imposing additional budget constraints. We demonstrate the benefits of our proposed mechanism through a series of numerical experiments using the NYC Taxi data. Experimental results reveal the potential of the mechanism for achieving high completion rates of sensing tasks at low social costs without degrading ride-hailing services. Furthermore, drivers who participate in both mobile sensing tasks and ride-hailing requests may gain higher income, but this advantage may diminish with an increasing number of such drivers and higher demand for ride-hailing services. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 30 pages, 9 figures

Effective Generation of Feasible Solutions for Integer Programming via Guided Diffusion

Authors: Hao Zeng, Jiaqi Wang, Avirup Das, Junying He, Kunpeng Han, Haoyuan Hu, Mingfei Sun

Abstract: Feasible solutions are crucial for Integer Programming (IP) since they can substantially speed up the solving process. In many applications, similar IP instances often exhibit similar structures and shared solution distributions, which can be potentially modeled by deep learning methods. Unfortunately, existing deep-learning-based algorithms, such as Neural Diving and Predict-and-search framework,… ▽ More Feasible solutions are crucial for Integer Programming (IP) since they can substantially speed up the solving process. In many applications, similar IP instances often exhibit similar structures and shared solution distributions, which can be potentially modeled by deep learning methods. Unfortunately, existing deep-learning-based algorithms, such as Neural Diving and Predict-and-search framework, are limited to generating only partial feasible solutions, and they must rely on solvers like SCIP and Gurobi to complete the solutions for a given IP problem. In this paper, we propose a novel framework that generates complete feasible solutions end-to-end. Our framework leverages contrastive learning to characterize the relationship between IP instances and solutions, and learns latent embeddings for both IP instances and their solutions. Further, the framework employs diffusion models to learn the distribution of solution embeddings conditioned on IP representations, with a dedicated guided sampling strategy that accounts for both constraints and objectives. We empirically evaluate our framework on four typical datasets of IP problems, and show that it effectively generates complete feasible solutions with a high probability (> 89.7 \%) without the reliance of Solvers and the quality of solutions is comparable to the best heuristic solutions from Gurobi. Furthermore, by integrating our method's sampled partial solutions with the CompleteSol heuristic from SCIP, the resulting feasible solutions outperform those from state-of-the-art methods across all datasets, exhibiting a 3.7 to 33.7\% improvement in the gap to optimal values, and maintaining a feasible ratio of over 99.7\% for all datasets. △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: Accepted to SIGKDD 2024

Urban Water Sprinkler Routing: A Multi-Depot Mixed Capacitated Arc Routing Problem Incorporating Real-Time Demands

Authors: Hongtai Yang, Luna Liu, Ke Han, Boyi Lei

Abstract: Fugitive road dust (FRD), as one of the major pollutants in the city, poses great harm to the environment and the physical health of citizens. A common countermeasure adopted by government agencies is employing on-road water trucks (sprinklers) to spray water (sprinkle) on urban streets to reduce the FRD. Currently, the traveling routes of sprinklers are usually planned based on drivers' experienc… ▽ More Fugitive road dust (FRD), as one of the major pollutants in the city, poses great harm to the environment and the physical health of citizens. A common countermeasure adopted by government agencies is employing on-road water trucks (sprinklers) to spray water (sprinkle) on urban streets to reduce the FRD. Currently, the traveling routes of sprinklers are usually planned based on drivers' experience, which may lead low operation efficiency and could not respond to the real-time sprinkling demands. To address these issues, this study formulates the routes planning of sprinklers as a multi-depot mixed capacitated arc routing problem with real-time demands with the aim of minimizing the sprinklers' travel distance. We develop an improved adaptive large neighborhood search (ALNS) algorithm that incorporates a tabu-list and a perturbation mechanism to solve this problem. Furthermore, a problem-specific acceleration mechanism is designed to reduce unnecessary search domains to improve the efficiency of the algorithm. Empirical experiments are conducted based on various scenarios and the results demonstrate that the proposed algorithm generates solutions that are superior or at least comparable to the solutions generated by the traditional ALNS algorithm but with significantly lower computation time. Sensitivity analysis is conducted to explore the effects of relevant parameters on the results. This study is the first to incorporate real-time FRD pollution information, gathered through multiple data sources via IoT technology, into urban sprinkling operations, extending the traditional CARP from a tactical planning to a real-time operational environment. A real-world implementation case is also presented. △ Less

Submitted 15 April, 2024; originally announced April 2024.

Comments: 29 pages, 5 figures

Competition-Aware Decision-Making Approach for Mobile Robots in Racing Scenarios

Authors: Kyoungtae Ji, Sangjae Bae, Nan Li, Kyoungseok Han

Abstract: This paper presents a game-theoretic strategy for racing, where the autonomous ego agent seeks to block a racing opponent that aims to overtake the ego agent. After a library of trajectory candidates and an associated reward matrix are constructed, the optimal trajectory in terms of maximizing the cumulative reward over the planning horizon is determined based on the level-K reasoning framework. I… ▽ More This paper presents a game-theoretic strategy for racing, where the autonomous ego agent seeks to block a racing opponent that aims to overtake the ego agent. After a library of trajectory candidates and an associated reward matrix are constructed, the optimal trajectory in terms of maximizing the cumulative reward over the planning horizon is determined based on the level-K reasoning framework. In particular, the level of the opponent is estimated online according to its behavior over a past window and is then used to determine the trajectory for the ego agent. Taking into account that the opponent may change its level and strategy during the decision process of the ego agent, we introduce a trajectory mixing strategy that blends the level-K optimal trajectory with a fail-safe trajectory. The overall algorithm was tested and evaluated in various simulated racing scenarios, which also includes human-in-the-loop experiments. Comparative analysis against the conventional level-K framework demonstrates the superiority of our proposed approach in terms of overtake-blocking success rates. △ Less

Submitted 30 March, 2024; originally announced April 2024.

Comments: 7 pages, 8 figures

The Share-a-Ride Problem with mixed ride-hailing and logistic vehicles

Authors: Wen Ji, Shenglin Liu, Ke Han, Tao Liu

Abstract: This study explores the potential of using ride-hailing vehicles (RVs) for integrated passenger and freight transport based on shared mobility. In this crowd-sourced mode, ride-hailing platforms can profit from parcel delivery services, and logistics companies can reduce operational costs by utilizing the capacities of RVs. The Share-a-Ride problem with ride-hailing and logistic vehicles (SARP-RL)… ▽ More This study explores the potential of using ride-hailing vehicles (RVs) for integrated passenger and freight transport based on shared mobility. In this crowd-sourced mode, ride-hailing platforms can profit from parcel delivery services, and logistics companies can reduce operational costs by utilizing the capacities of RVs. The Share-a-Ride problem with ride-hailing and logistic vehicles (SARP-RL) determines the number of logistic vehicles (LVs) and the assignment of passenger/parcel requests to RVs and LVs, aiming at maximizing the total RV profits and minimizing logistic costs. An exact solution framework is proposed by (1) generating a feasible trip that serves a given set of requests at maximal profits; (2) generating all feasible trips for the entire set of passenger and parcel requests via an efficient enumeration method; and (3) finding all Pareto-optimal solutions of the bi-objective problem via an $\varepsilon$-constraint method. Not only is the proposed method exact, it also converts the NP-hard problem to a simple vehicle-trip matching problem. More importantly, the total computational time can be compressed to an arbitrary degree via straightforward parallelization. A case study of the Manhattan network demonstrates the solution characteristics of SARP-RL. The results indicate that: (i) Coordinating RV and LV operations to serve passenger and parcel requests (SARP-RL) can simultaneously reduce logistic costs and increase RV profits. (ii) Key factors influencing the performance of SARP-RL include the RV fleet size, spatial distribution of parcel requests, passenger/parcel request ratio, and unit price of transport service, which are quantitatively analyzed to offer managerial insights for real-world implementation. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 27 pages, 11 figures

Frequency-Reactive Power Optimization Strategy of Grid-forming Offshore Wind Farm Using DRU-HVDC Transmission

Authors: Zhekai Li, Kun Han, Xu Cai, Renxin Yang, Haotian Yu, Kepeng Xia, Lulu Liu

Abstract: The diode rectifier unit-based high voltage direct current (DRU-HVDC) transmission with grid-forming (GFM) wind turbine is becoming a promising scheme for offshore wind farm(OWF) integration due to its high reliability and low cost. In this scheme, the AC network of the OWF and the DRU has completely different synchronization mechanisms and power flow characteristics from the traditional power sys… ▽ More The diode rectifier unit-based high voltage direct current (DRU-HVDC) transmission with grid-forming (GFM) wind turbine is becoming a promising scheme for offshore wind farm(OWF) integration due to its high reliability and low cost. In this scheme, the AC network of the OWF and the DRU has completely different synchronization mechanisms and power flow characteristics from the traditional power system. To optimize the power flow and reduce the net loss, this paper carries out the power flow modeling and optimization analysis for the DRU-HVDC transmission system with grid-forming OWFs. The influence of the DRU and the GFM wind turbines on the power flow of the system is analyzed. On this basis, improved constraint conditions are proposed and an optimal power flow (OPF) method is established. This method can minimize the power loss by adjusting the reactive power output of each wind turbine and internal network frequency. Finally, based on MATLAB, this paper uses YALMIP toolkit and CPLEX mathematical solver to realize the programming solution of the OPF model proposed in this paper. The results show that the proposed optimization strategy can effectively reduce the power loss of the entire OWF and the transmission system with an optimization ratio of network losses exceeding 25.3%. △ Less

Submitted 16 March, 2024; originally announced March 2024.

Comments: 6 pages, 7 figures, to be published in the 7th IEEE Conference on Energy Internet and Energy System Integration (EI2 2023)

Infinite dimensional analogues of Choi matrices

Authors: Kyung Hoon Han, Seung-Hyeok Kye, Erling Størmer

Abstract: For a class of linear maps on a von Neumann factor, we associate two objects, bounded operators and trace class operators, both of which play the roles of Choi matrices. Each of them is positive if and only if the original map on the factor is completely positive. They are also useful to characterize positivity of maps as well as complete positivity. It turns out that such correspondences are poss… ▽ More For a class of linear maps on a von Neumann factor, we associate two objects, bounded operators and trace class operators, both of which play the roles of Choi matrices. Each of them is positive if and only if the original map on the factor is completely positive. They are also useful to characterize positivity of maps as well as complete positivity. It turns out that such correspondences are possible for every normal completely bounded map if and only if the factor is of type I. As an application, we provide criteria for Schmidt numbers of normal positive functionals in terms of Choi matrices of $k$-positive maps, in infinite dimensional cases. We also define the notion of $k$-superpositive maps, which turns out to be equivalent to the property of $k$-partially entanglement breaking. △ Less

Submitted 6 July, 2024; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 21 pages, to appear in Journal of Functional Analysis

Exploring the sensing power of mixed vehicle fleets

Authors: Ke Han, Wen Ji, Yu, Nie, Zhexian Li, Shenglin Liu

Abstract: Vehicle-based mobile sensing, also known as drive-by sensing, efficiently surveys urban environments at low costs by leveraging the mobility of urban vehicles. While recent studies have focused on drive-by sensing for fleets of a single type, our work explores the sensing power and cost-effectiveness of a mixed fleet that consists of vehicles with distinct and complementary mobility patterns. We f… ▽ More Vehicle-based mobile sensing, also known as drive-by sensing, efficiently surveys urban environments at low costs by leveraging the mobility of urban vehicles. While recent studies have focused on drive-by sensing for fleets of a single type, our work explores the sensing power and cost-effectiveness of a mixed fleet that consists of vehicles with distinct and complementary mobility patterns. We formulate the drive-by sensing coverage (DSC) problem, proposing a method to quantify sensing utility and an optimization procedure that determines fleet composition, sensor allocation, and vehicle routing for a given budget. Our air quality sensing case study in Longquanyi District (Chengdu, China) demonstrates that using a mixed fleet enhances sensing utilities and achieves close approximations to the target sensing distribution at a lower cost. Generalizing these insights to two additional real-world networks, our regression analysis uncovers key factors influencing the sensing power of mixed fleets. This research provides quantitative and managerial insights into drive-by sensing, showcasing a positive externality of urban transport activities. △ Less

Submitted 22 May, 2024; v1 submitted 26 November, 2023; originally announced November 2023.

Comments: 34 pages, 15 figures

Fairness in online vehicle-cargo matching: An intuitionistic fuzzy set theory and tripartite evolutionary game approach

Authors: Binzhou Yang, Ke Han, Wenrui Tu, Qian Ge

Abstract: This paper explores the concept of fairness and equitable matching in an on-line vehicle-cargo matching setting, addressing the varying degrees of satisfaction experienced by shippers and carriers. Relevant indicators for shippers and carriers in the on-line matching process are categorized as attributes, expectations, and reliability, which are subsequent quantified to form satisfaction indicator… ▽ More This paper explores the concept of fairness and equitable matching in an on-line vehicle-cargo matching setting, addressing the varying degrees of satisfaction experienced by shippers and carriers. Relevant indicators for shippers and carriers in the on-line matching process are categorized as attributes, expectations, and reliability, which are subsequent quantified to form satisfaction indicators. Employing the intuitionistic fuzzy set theory, we devise a transformed vehicle-cargo matching optimization model by combining the fuzzy set's membership, non-membership, and uncertainty information. Through an adaptive interactive algorithm, the matching scheme with fairness concerns is solved using CPLEX. The effectiveness of the proposed matching mechanism in securing high levels of satisfaction is established by comparison with three benchmark methods. To further investigate the impact of considering fairness in vehicle-cargo matching, a shipper-carrier-platform tripartite evolutionary game framework is developed under the waiting response time cost (WRTC) sharing mechanism. Simulation results show that with fairness concerns in vehicle-cargo matching, all stakeholders are better off: The platform achieves positive revenue growth, and shippers and carriers receive positive subsidy. This study offers both theoretical insights and practical guidance for the long-term and stable operation of the on-line freight stowage industry. △ Less

Submitted 28 October, 2023; originally announced October 2023.

Comments: 36 pages, 15 figures

Sullivant-Talaska ideal of the cyclic Gaussian Graphical Model

Authors: Austin Conner, Kangjin Han, Mateusz Michałek

Abstract: In this paper, we settle a conjecture due to Sturmfels and Uhler concerning generation of the prime ideal of the variety associated to the Gaussian graphical model of any cycle graph. Our methods are general and applicable to a large class of ideals with radical initial ideals. In this paper, we settle a conjecture due to Sturmfels and Uhler concerning generation of the prime ideal of the variety associated to the Gaussian graphical model of any cycle graph. Our methods are general and applicable to a large class of ideals with radical initial ideals. △ Less

Submitted 10 August, 2023; originally announced August 2023.

MSC Class: primary: 62R01; 13P10; 13P25; secondary: 05A10; 05C30; 14M12; 14M20; 14N10

Choi matrices revisited. II

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: In this paper, we consider all possible variants of Choi matrices of linear maps, and show that they are determined by non-degenerate bilinear forms on the domain space. We will do this in the setting of finite dimensional vector spaces. In case of matrix algebras, we characterize all variants of Choi matrices which retain the usual correspondences between $k$-superpositivity and Schmidt number… ▽ More In this paper, we consider all possible variants of Choi matrices of linear maps, and show that they are determined by non-degenerate bilinear forms on the domain space. We will do this in the setting of finite dimensional vector spaces. In case of matrix algebras, we characterize all variants of Choi matrices which retain the usual correspondences between $k$-superpositivity and Schmidt number $\le k$ as well as $k$-positivity and $k$-block-positivity. We also compare de Pillis' definition [Pacific J. Math. 23 (1967), 129--137] and Choi's definition [Linear Alg. Appl. 10 (1975), 285--290], which arise from different bilinear forms. △ Less

Submitted 12 October, 2023; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: 17 pages; the comma in the title has been replaced to a period; to appear in Journal of Mathematical Physics

Route planning of mobile sensing fleets for repeatable visits

Authors: Wen Ji, Ke Han, Qian Ge

Abstract: Vehicle-based mobile sensing is an emerging data collection paradigm that leverages vehicle mobilities to scan a city at low costs. Certain urban sensing scenarios require dedicated vehicles for highly targeted monitoring, such as volatile organic compounds (VOCs, a type of air pollutant) sensing, road surface monitoring, and accident site investigation. A hallmark of these scenarios is that the p… ▽ More Vehicle-based mobile sensing is an emerging data collection paradigm that leverages vehicle mobilities to scan a city at low costs. Certain urban sensing scenarios require dedicated vehicles for highly targeted monitoring, such as volatile organic compounds (VOCs, a type of air pollutant) sensing, road surface monitoring, and accident site investigation. A hallmark of these scenarios is that the points of interest (POIs) need to be repeatedly visited by a set of agents, whose routes should provide sufficient sensing coverage with coordinated overlap at certain important POIs. For these applications, this paper presents the open team orienteering problem with repeatable visits (OTOP-RV). The adaptive large neighborhood search (ALNS) algorithm is tailored to solve the OTOP-RV considering specific features of the problem. Test results on randomly generated datasets show that: (1) For small cases, the ALNS matches Gurobi in terms of optimality but with shorter computational times; (2) For large cases, the ALNS significantly outperforms the greedy algorithm (by 9.7% to 25.4%), and a heuristic based on sequential orienteering problems (by 6%). Finally, a real-world case study of VOCs sensing is presented, which highlights the unique applicability of the OTOP-RV to such specific sensing tasks, as well as the effectiveness of the proposed algorithms in optimizing the sensing utilities. △ Less

Submitted 21 April, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: 24 pages, 5 figures, 4 tables

Errors-in-variables Fréchet Regression with Low-rank Covariate Approximation

Authors: Kyunghee Han, Dogyoon Song

Abstract: Fréchet regression has emerged as a promising approach for regression analysis involving non-Euclidean response variables. However, its practical applicability has been hindered by its reliance on ideal scenarios with abundant and noiseless covariate data. In this paper, we present a novel estimation method that tackles these limitations by leveraging the low-rank structure inherent in the covaria… ▽ More Fréchet regression has emerged as a promising approach for regression analysis involving non-Euclidean response variables. However, its practical applicability has been hindered by its reliance on ideal scenarios with abundant and noiseless covariate data. In this paper, we present a novel estimation method that tackles these limitations by leveraging the low-rank structure inherent in the covariate matrix. Our proposed framework combines the concepts of global Fréchet regression and principal component regression, aiming to improve the efficiency and accuracy of the regression estimator. By incorporating the low-rank structure, our method enables more effective modeling and estimation, particularly in high-dimensional and errors-in-variables regression settings. We provide a theoretical analysis of the proposed estimator's large-sample properties, including a comprehensive rate analysis of bias, variance, and additional variations due to measurement errors. Furthermore, our numerical experiments provide empirical evidence that supports the theoretical findings, demonstrating the superior performance of our approach. Overall, this work introduces a promising framework for regression analysis of non-Euclidean variables, effectively addressing the challenges associated with limited and noisy covariate data, with potential applications in diverse fields. △ Less

Submitted 24 October, 2023; v1 submitted 16 May, 2023; originally announced May 2023.

Comments: 36 pages, 3 figures, 1 table. To appear at NeurIPS 2023

Trip-based mobile sensor deployment for drive-by sensing with bus fleets

Authors: Wen Ji, Ke Han, Tao Liu

Abstract: Drive-by sensing (i.e. vehicle-based mobile sensing) is an emerging data collection paradigm that leverages vehicle mobilities to scan a city at low costs. It represents a positive social externality of urban transport activities. Bus transit systems are widely considered in drive-by sensing due to extensive spatial coverage, reliable operations, and low maintenance costs. It is critical for the u… ▽ More Drive-by sensing (i.e. vehicle-based mobile sensing) is an emerging data collection paradigm that leverages vehicle mobilities to scan a city at low costs. It represents a positive social externality of urban transport activities. Bus transit systems are widely considered in drive-by sensing due to extensive spatial coverage, reliable operations, and low maintenance costs. It is critical for the underlying monitoring scenario (e.g. air quality, traffic state, and road roughness) to assign a limited number of sensors to a bus fleet to ensure their optimal spatial-temporal distribution. In this paper we present a trip-based sensor deployment problem, which explicitly considers timetabled trips that must be executed by the fleet while a portion of them perform sensing tasks. To address the computational challenge in large-scale instances, we design a multi-stage solution framework that decouples the spatial-temporal structures of the sensing task through line pre-selection and bi-level optimization. As a result, the computational complexity is reduced to be sub-linear w.r.t. the number of lines, rather than combinatorial w.r.t. the number of buses in existing vehicle-based approaches. A real-world case study covering 400 km$^2$ in central Chengdu demonstrates the effectiveness of the model in solving large-scale problems. It is found that coordinating bus scheduling and sensing tasks can substantially increase the spatial-temporal sensing coverage. We also provide a few model extensions and recommendation for practice regarding the application of this method. △ Less

Submitted 26 July, 2023; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: 31 pages, 11 figures, 7 tables

A survey of urban drive-by sensing: An optimization perspective

Authors: Wen Ji, Ke Han, Tao Liu

Abstract: Pervasive and mobile sensing is an integral part of smart transport and smart city applications. Vehicle-based mobile sensing, or drive-by sensing (DS), is gaining popularity in both academic research and field practice. The DS paradigm has an inherent transport component, as the spatial-temporal distribution of the sensors are closely related to the mobility patterns of their hosts, which may inc… ▽ More Pervasive and mobile sensing is an integral part of smart transport and smart city applications. Vehicle-based mobile sensing, or drive-by sensing (DS), is gaining popularity in both academic research and field practice. The DS paradigm has an inherent transport component, as the spatial-temporal distribution of the sensors are closely related to the mobility patterns of their hosts, which may include third-party (e.g. taxis, buses) or for-hire (e.g. unmanned aerial vehicles and dedicated vehicles) vehicles. It is therefore essential to understand, assess and optimize the sensing power of vehicle fleets under a wide range of urban sensing scenarios. To this end, this paper offers an optimization-oriented summary of recent literature by presenting a four-step discussion, namely (1) quantifying the sensing quality (objective); (2) assessing the sensing power of various fleets (strategic); (3) sensor deployment (strategic/tactical); and (4) vehicle maneuvers (tactical/operational). By compiling research findings and practical insights in this way, this review article not only highlights the optimization aspect of drive-by sensing, but also serves as a practical guide for configuring and deploying vehicle-based urban sensing systems. △ Less

Submitted 29 July, 2023; v1 submitted 9 January, 2023; originally announced February 2023.

Comments: 24 pages, 3 figures, 4 tables

A family of explicit Waring decompositions of a polynomial

Authors: Kangjin Han, Hyunsuk Moon

Abstract: In this paper we settle some polynomial identity which provides a family of explicit Waring decompositions of any monomial $X_0^{a_0}X_1^{a_1}\cdots X_n^{a_n}$ over a field $\Bbbk$. This gives an upper bound for the Waring rank of a given monomial and naturally leads to an explicit Waring decomposition of any homogeneous form and, eventually, of any polynomial via (de)homogenization. Note that suc… ▽ More In this paper we settle some polynomial identity which provides a family of explicit Waring decompositions of any monomial $X_0^{a_0}X_1^{a_1}\cdots X_n^{a_n}$ over a field $\Bbbk$. This gives an upper bound for the Waring rank of a given monomial and naturally leads to an explicit Waring decomposition of any homogeneous form and, eventually, of any polynomial via (de)homogenization. Note that such decomposition is very useful in many applications dealing with polynomial computations, symmetric tensor problems and so on. We discuss some computational aspect of our result as comparing with other known methods and also present a computer implementation for potential use in the end. △ Less

Submitted 9 January, 2023; originally announced January 2023.

Comments: 18 pages, Macaulay 2 code included

MSC Class: 14P99; 12D05; 13P10; 14A25; 15A21; 14N15

Journal ref: J. KSIAM. 27 (1) (2023), 1-22

Exploring the drive-by sensing power of bus fleet through active scheduling

Authors: Dai Zhuang, Ke Han

Abstract: Vehicle-based mobile sensing (a.k.a drive-by sensing) is an important means of surveying urban environment by leveraging the mobility of public or private transport vehicles. Buses, for their extensive spatial coverage and reliable operations, have received much attention in drive-by sensing. Existing studies have focused on the assignment of sensors to a set of lines or buses with no operational… ▽ More Vehicle-based mobile sensing (a.k.a drive-by sensing) is an important means of surveying urban environment by leveraging the mobility of public or private transport vehicles. Buses, for their extensive spatial coverage and reliable operations, have received much attention in drive-by sensing. Existing studies have focused on the assignment of sensors to a set of lines or buses with no operational intervention, which is typically formulated as set covering or subset selection problems. This paper aims to boost the sensing power of bus fleets through active scheduling, by allowing instrumented buses to circulate across multiple lines to deliver optimal sensing outcome. We consider a fleet consisting of instrumented and normal buses, and jointly optimize sensor assignment, bus dispatch, and intra- or inter-line relocations, with the objectives of maximizing sensing quality and minimizing operational costs, while serving all timetabled trips. By making general assumptions on the sensing utility function, we formulate the problem as a nonlinear integer program based on a time-expanded network. A batch scheduling algorithm is developed following linearization techniques to solve the problem efficiently, which is tested in a real-world case study in Chengdu, China. The results show that the proposed scheme can improve the sensing objective by 12.0%-20.5% (single-line scheduling) and 16.3%-32.1% (multi-line scheduling), respectively, while managing to save operational costs by 1.0%. Importantly, to achieve the same level of sensing quality, we found that the sensor investment can be reduced by over 33% when considering active bus scheduling. Comprehensive comparative and sensitivity analyses are presented to generate managerial insights and recommendations for practice. △ Less

Submitted 23 November, 2022; originally announced November 2022.

Comments: 32 pages, 13 figures, 8 tables

On the singular loci of higher secant varieties of Veronese embeddings

Authors: Katsuhisa Furukawa, Kangjin Han

Abstract: In this paper we study singular loci of higher secant varieties of the image of the $d$-uple Veronese embedding of projective $n$-space, $v_d(\mathbb{P}^n) \subset \mathbb{P}^{N={n+d\choose d}-1}$. We call the closure of the union of all the $(k-1)$-planes spanned by $k$ points on $X$ the `$k$-th secant of $X$' for a given embedded variety $X \subset\mathbb{P}^N$ and denote it by $σ_k(X)$. For t… ▽ More In this paper we study singular loci of higher secant varieties of the image of the $d$-uple Veronese embedding of projective $n$-space, $v_d(\mathbb{P}^n) \subset \mathbb{P}^{N={n+d\choose d}-1}$. We call the closure of the union of all the $(k-1)$-planes spanned by $k$ points on $X$ the `$k$-th secant of $X$' for a given embedded variety $X \subset\mathbb{P}^N$ and denote it by $σ_k(X)$. For the singular loci of $σ_k(v_d(\mathbb{P}^n))$, it has been known only for $k\le3$. As investigating geometry of moving tangents along subvarieties, we determine the (non-)singularity of so-called the `$m$-subsecant locus' of $σ_k(v_d(\mathbb{P}^n))$, consisting of $σ_k(v_d(\mathbb{P}^m))$ with any $m$-plane $\mathbb{P}^m \subset \mathbb{P}^n$. These loci with arbitrary $k,d,m,n$ show an interesting trichotomy between generic smoothness, non-trivial singularity and trivial singularity. In many cases, they can be served as a new source for the singular locus of the $k$-th secant other than a trivial one, the $(k-1)$-th secant variety. We also consider the case of the $4$-th secant of $v_d(\mathbb{P}^n)$ by applying main results and computing conormal space via a certain type of Young flattening. In the end, some generalization and discussions for further development are presented as well. △ Less

Submitted 28 April, 2024; v1 submitted 5 November, 2021; originally announced November 2021.

Comments: 35 pages; a major revision on Sect 2 (e.g. replacing an erroneous lemma based on affine geometry (lemma 13 in ver.1) by new dimension estimations using projective geometry techniques) & updating proof accordingly (Sect 4.2); finding the other exceptional case for the 'trichotomy' behavior (see Remark 4 (e)); presenting a generalization (Theorem 33) and a refined question (Question 35)

MSC Class: 14N05; 14M12; 14J60; 15A21; 15A69

The Power of Randomization: Efficient and Effective Algorithms for Constrained Submodular Maximization

Authors: Kai Han, Shuang Cui, Tianshuai Zhu, Jing Tang, Benwei Wu, He Huang

Abstract: Submodular optimization has numerous applications such as crowdsourcing and viral marketing. In this paper, we study the fundamental problem of non-negative submodular function maximization subject to a $k$-system constraint, which generalizes many other important constraints in submodular optimization such as cardinality constraint, matroid constraint, and $k$-extendible system constraint. The ex… ▽ More Submodular optimization has numerous applications such as crowdsourcing and viral marketing. In this paper, we study the fundamental problem of non-negative submodular function maximization subject to a $k$-system constraint, which generalizes many other important constraints in submodular optimization such as cardinality constraint, matroid constraint, and $k$-extendible system constraint. The existing approaches for this problem achieve the best-known approximation ratio of $k+2\sqrt{k+2}+3$ (for a general submodular function) based on deterministic algorithmic frameworks. We propose several randomized algorithms that improve upon the state-of-the-art algorithms in terms of approximation ratio and time complexity, both under the non-adaptive setting and the adaptive setting. The empirical performance of our algorithms is extensively evaluated in several applications related to data mining and social computing, and the experimental results demonstrate the superiorities of our algorithms in terms of both utility and efficiency. △ Less

Submitted 14 June, 2021; v1 submitted 13 June, 2021; originally announced June 2021.

Comments: Part of the contribution appears in ICML2021

Population Interference in Panel Experiments

Authors: Kevin Han, Iavor Bojinov, Guillaume Basse

Abstract: The phenomenon of population interference, where a treatment assigned to one experimental unit affects another experimental unit's outcome, has received considerable attention in standard randomized experiments. The complications produced by population interference in this setting are now readily recognized, and partial remedies are well known. Much less understood is the impact of population inte… ▽ More The phenomenon of population interference, where a treatment assigned to one experimental unit affects another experimental unit's outcome, has received considerable attention in standard randomized experiments. The complications produced by population interference in this setting are now readily recognized, and partial remedies are well known. Much less understood is the impact of population interference in panel experiments where treatment is sequentially randomized in the population, and the outcomes are observed at each time step. This paper proposes a general framework for studying population interference in panel experiments and presents new finite population estimation and inference results. Our findings suggest that, under mild assumptions, the addition of a temporal dimension to an experiment alleviates some of the challenges of population interference for certain estimands. In contrast, we show that the presence of carryover effects -- that is, when past treatments may affect future outcomes -- exacerbates the problem. Revisiting the special case of standard experiments with population interference, we prove a central limit theorem under weaker conditions than previous results in the literature and highlight the trade-off between flexibility in the design and the interference structure. △ Less

Submitted 6 June, 2023; v1 submitted 28 February, 2021; originally announced March 2021.

A new bound for the Real Waring rank of monomials

Authors: Kangjin Han, Hyunsuk Moon

Abstract: In this paper we consider the Waring rank of monomials over the real and the rational numbers. We give a new upper bound for it by establishing a way in which one can take a structured apolar set for any given monomial $X_0^{a_0}X_1^{a_1}\cdots X_n^{a_n}$ ($a_i>0$). This bound coincides with the real Waring rank in the case $n=1$ and in the case $\min(a_i)=1$, which are all the known cases for the… ▽ More In this paper we consider the Waring rank of monomials over the real and the rational numbers. We give a new upper bound for it by establishing a way in which one can take a structured apolar set for any given monomial $X_0^{a_0}X_1^{a_1}\cdots X_n^{a_n}$ ($a_i>0$). This bound coincides with the real Waring rank in the case $n=1$ and in the case $\min(a_i)=1$, which are all the known cases for the real rank of monomials. Our bound is also lower than any other known general bounds for the real Waring rank. Since all of the constructions are still valid over the rational numbers, this provides a new result for the rational Waring rank of any monomial as well. Some examples and computational implementation for potential use are presented in the end. △ Less

Submitted 19 May, 2022; v1 submitted 8 January, 2021; originally announced January 2021.

Comments: 21 pages, 1 Table included, accepted for publication in SIAGA

MSC Class: 14P99; 12D05; 13P10; 14A25; 15A21; 14N15

Journal ref: SIAM J. Appl. Algebra Geom. 6 (3) (2022), 407-431

A reputation game on cyber-security and cyber-risk calibration

Authors: Kookyoung Han, Jin Hyuk Choi

Abstract: To analyze strategic interactions arising in the cyber-security context, we develop a new reputation game model in which an attacker can pretend to be a normal user and a defender may have to announce attack detection at a certain point of time without knowing whether he has been attacked. We show the existence and uniqueness of sequential equilibrium in Markov strategies, and explicitly character… ▽ More To analyze strategic interactions arising in the cyber-security context, we develop a new reputation game model in which an attacker can pretend to be a normal user and a defender may have to announce attack detection at a certain point of time without knowing whether he has been attacked. We show the existence and uniqueness of sequential equilibrium in Markov strategies, and explicitly characterize the players' equilibrium strategies. Using our model, we suggest empirical and theoretical ways of calibrating the attack probability, which is an important element of cyber-risks. △ Less

Submitted 18 January, 2022; v1 submitted 30 November, 2020; originally announced November 2020.

Comments: 25 pages

On the first non-trivial strand of syzygies of projective schemes and Condition ${\mathrm ND}(l)$

Authors: Jeaman Ahn, Kangjin Han, Sijong Kwak

Abstract: Let $X\subset\mathbb{P}^{n+e}$ be any $n$-dimensional closed subscheme. We are mainly interested in two notions related to syzygies: one is the property $\mathbf{N}_{d,p}~(d\ge 2, ~p\geq 1)$, which means that $X$ is $d$-regular up to $p$-th step in the minimal free resolution and the other is a new notion $\mathrm{ND}(\ell)$ which generalizes the classical "being nondegenerate" to the condition th… ▽ More Let $X\subset\mathbb{P}^{n+e}$ be any $n$-dimensional closed subscheme. We are mainly interested in two notions related to syzygies: one is the property $\mathbf{N}_{d,p}~(d\ge 2, ~p\geq 1)$, which means that $X$ is $d$-regular up to $p$-th step in the minimal free resolution and the other is a new notion $\mathrm{ND}(\ell)$ which generalizes the classical "being nondegenerate" to the condition that requires a general finite linear section not to be contained in any hypersurface of degree $\ell$. First, we introduce condition $\mathrm{ND}(\ell)$ and consider examples and basic properties deduced from the notion. Next we prove sharp upper bounds on the graded Betti numbers of the first non-trivial strand of syzygies, which generalize results in the quadratic case to higher degree case, and provide characterizations for the extremal cases. Further, after regarding some consequences of property $\mathbf{N}_{d,p}$, we characterize the resolution of $X$ to be $d$-linear arithmetically Cohen-Macaulay as having property $\mathbf{N}_{d,e}$ and condition $\mathrm{ND}(d-1)$ at the same time. From this result, we obtain a syzygetic rigidity theorem which suggests a natural generalization of syzygetic rigidity on $2$-regularity due to Eisenbud-Green-Hulek-Popescu to a general $d$-regularity. △ Less

Submitted 1 September, 2023; v1 submitted 13 November, 2020; originally announced November 2020.

Comments: 19 pages, 3 figures, some typos corrected

MSC Class: 14N05; 13D02 (Primary) 51N35 (Secondary)

Journal ref: Alg. Number Th. 17 (2023) 1359-1380

Deterministic Approximation for Submodular Maximization over a Matroid in Nearly Linear Time

Authors: Kai Han, Zongmai Cao, Shuang Cui, Benwei Wu

Abstract: We study the problem of maximizing a non-monotone, non-negative submodular function subject to a matroid constraint. The prior best-known deterministic approximation ratio for this problem is $\frac{1}{4}-ε$ under $\mathcal{O}(({n^4}/ε)\log n)$ time complexity. We show that this deterministic ratio can be improved to $\frac{1}{4}$ under $\mathcal{O}(nr)$ time complexity, and then present a more pr… ▽ More We study the problem of maximizing a non-monotone, non-negative submodular function subject to a matroid constraint. The prior best-known deterministic approximation ratio for this problem is $\frac{1}{4}-ε$ under $\mathcal{O}(({n^4}/ε)\log n)$ time complexity. We show that this deterministic ratio can be improved to $\frac{1}{4}$ under $\mathcal{O}(nr)$ time complexity, and then present a more practical algorithm dubbed TwinGreedyFast which achieves $\frac{1}{4}-ε$ deterministic ratio in nearly-linear running time of $\mathcal{O}(\frac{n}ε\log\frac{r}ε)$. Our approach is based on a novel algorithmic framework of simultaneously constructing two candidate solution sets through greedy search, which enables us to get improved performance bounds by fully exploiting the properties of independence systems. As a byproduct of this framework, we also show that TwinGreedyFast achieves $\frac{1}{2p+2}-ε$ deterministic ratio under a $p$-set system constraint with the same time complexity. To showcase the practicality of our approach, we empirically evaluated the performance of TwinGreedyFast on two network applications, and observed that it outperforms the state-of-the-art deterministic and randomized algorithms with efficient implementations for our problem. △ Less

Submitted 21 October, 2020; originally announced October 2020.

Comments: Accepted to appear in the Thirty-Fourth Conference on Neural Information Processing Systems (NeurIPS 2020)

MSC Class: 90C27 ACM Class: I.2.6

Action Governor for Discrete-Time Linear Systems with Non-Convex Constraints

Authors: Nan Li, Kyoungseok Han, Anouck Girard, H. Eric Tseng, Dimitar Filev, Ilya Kolmanovsky

Abstract: This paper introduces an add-on, supervisory scheme, referred to as Action Governor (AG), for discrete-time linear systems to enforce exclusion-zone avoidance requirements. It does so by monitoring, and minimally modifying when necessary, the nominal control signal to a constraint-admissible one. The AG operates based on set-theoretic techniques and online optimization. This paper establishes its… ▽ More This paper introduces an add-on, supervisory scheme, referred to as Action Governor (AG), for discrete-time linear systems to enforce exclusion-zone avoidance requirements. It does so by monitoring, and minimally modifying when necessary, the nominal control signal to a constraint-admissible one. The AG operates based on set-theoretic techniques and online optimization. This paper establishes its theoretical foundation, discusses its computational realization, and uses two simulation examples to illustrate its effectiveness. △ Less

Submitted 17 May, 2020; originally announced May 2020.

Comments: 6 pages, 2 figures

Rank 3 Quadratic Generators of Veronese Embeddings

Authors: Kangjin Han, Wanseok Lee, Hyunsuk Moon, Euisung Park

Abstract: Let $L$ be a very ample line bundle on a projective scheme $X$ defined over an algebraically closed field $\Bbbk$ with ${\rm char}~\Bbbk \neq 2$. We say that $(X,L)$ satisfies property $\mathsf{QR}(k)$ if the homogeneous ideal of the linearly normal embedding $X \subset \mathbb{P}H^0 (X,L)$ can be generated by quadrics of rank $\leq k$. Many classical varieties such as Segre-Veronese embeddings, r… ▽ More Let $L$ be a very ample line bundle on a projective scheme $X$ defined over an algebraically closed field $\Bbbk$ with ${\rm char}~\Bbbk \neq 2$. We say that $(X,L)$ satisfies property $\mathsf{QR}(k)$ if the homogeneous ideal of the linearly normal embedding $X \subset \mathbb{P}H^0 (X,L)$ can be generated by quadrics of rank $\leq k$. Many classical varieties such as Segre-Veronese embeddings, rational normal scrolls and curves of high degree satisfy property $\mathsf{QR}(4)$. In this paper, we first prove that if ${\rm char}~\Bbbk \neq 3$ then $(\mathbb{P}^n , \mathcal{O}_{\mathbb{P}^n} (d))$ satisfies property $\mathsf{QR}(3)$ for all $n \geq 1$ and $d \geq 2$. We also investigate an asymptotic behavior of property $\mathsf{QR}(3)$ for any projective scheme. Namely, we prove that $(i)$ if $X \subset \mathbb{P} H^0 (X,L)$ is $m$-regular then $(X,L^d )$ satisfies property $\mathsf{QR}(3)$ for all $d \geq m$ and $(ii)$ if $A$ is an ample line bundle on $X$ then $(X,A^d )$ satisfies property $\mathsf{QR}(3)$ for all sufficiently large even number $d$. These results provide an affirmative evidence for the expectation that property $\mathsf{QR}(3)$ holds for all sufficiently ample line bundles on $X$, as in the cases of Green-Lazarsfeld's condition $\mathrm{N}_p$ and Eisenbud-Koh-Stillman's determininantal presentation in [EKS88]. Finally, when ${\rm char}~\Bbbk = 3$ we prove that $(\mathbb{P}^n , \mathcal{O}_{\mathbb{P}^n} (2))$ fails to satisfy property $\mathsf{QR}(3)$ for all $n \geq 3$. △ Less

Submitted 13 April, 2021; v1 submitted 18 January, 2020; originally announced January 2020.

Comments: 24 pages

MSC Class: 13D02; 14A25; 14N05; 14M12; 14M17

Journal ref: Compositio Math.157 (2021), no. 9, 2001-2025

Day-to-Day Dynamic Traffic Assignment with Imperfect Information, Bounded Rationality and Information Sharing

Authors: Yang Yu, Ke Han, Washington Ochieng

Abstract: This paper presents a doubly dynamic day-to-day (DTD) traffic assignment model with simultaneous route-and-departure-time (SRDT) choices while incorporating incomplete and imperfect information as well as bounded rationality. Two SRDT choice models are proposed to incorporate imperfect travel information: One based on multinomial Logit (MNL) model and the other on sequential, mixed multinomial/nes… ▽ More This paper presents a doubly dynamic day-to-day (DTD) traffic assignment model with simultaneous route-and-departure-time (SRDT) choices while incorporating incomplete and imperfect information as well as bounded rationality. Two SRDT choice models are proposed to incorporate imperfect travel information: One based on multinomial Logit (MNL) model and the other on sequential, mixed multinomial/nested Logit model. These two variants, serving as based models, are further extended with two features: bounded rationality (BR) and information sharing. BR is considered by incorporating the indifference band into the random utility component of the MNL model, forming a BR-based DTD stochastic model. A macroscopic model of travel information sharing is integrated into the DTD dynamics to account for the impact of incomplete information on travelers' SRDT choices. These DTD choice models are combined with within-day dynamics following the Lighthill-Whitham-Richards (LWR) fluid dynamic network loading model. Simulations on large-scale networks (Anaheim) illustrate the interactions between users' adaptive decision making and network conditions (including local disruption) with different levels of information availability and user behavior. Our findings highlight the need for modeling network transient and disequilibriated states, which are often overlooked in equilibrium-constrained network design and optimization. The MATLAB package and computational examples are available at https://github.com/DrKeHan/DTD △ Less

Submitted 12 February, 2020; v1 submitted 26 November, 2018; originally announced November 2018.

Comments: 40 pages, 19 figures

Journal ref: Transportation Research Part C: Emerging Technologies, 2020

Computing Dynamic User Equilibria on Large-Scale Networks: From Theory to Software Implementation

Authors: Ke Han, Gabriel Eve, Terry Friesz

Abstract: Dynamic user equilibrium (DUE) is the most widely studied form of dynamic traffic assignment, in which road travelers engage in a non-cooperative Nash-like game with departure time and route choices. DUE models describe and predict the time-varying traffic flows on a network consistent with traffic flow theory and travel behavior. This paper documents theoretical and numerical advances in synthesi… ▽ More Dynamic user equilibrium (DUE) is the most widely studied form of dynamic traffic assignment, in which road travelers engage in a non-cooperative Nash-like game with departure time and route choices. DUE models describe and predict the time-varying traffic flows on a network consistent with traffic flow theory and travel behavior. This paper documents theoretical and numerical advances in synthesizing traffic flow theory and DUE modeling, by presenting a holistic computational theory of DUE with numerical implementation encapsulated in a MATLAB software package. In particular, the dynamic network loading (DNL) sub-problem is formulated as a system of differential algebraic equations based on the fluid dynamic model, which captures the formation, propagation and dissipation of physical queues as well as vehicle spillback on networks. Then, the fixed-point algorithm is employed to solve the DUE problems on several large-scale networks. We make openly available the MATLAB package, which can be used to solve DUE problems on user-defined networks, aiming to not only help DTA modelers with benchmarking a wide range of DUE algorithms and solutions, but also offer researchers a platform to further develop their own models and applications. Updates of the package and computational examples are available at https://github.com/DrKeHan/DTA. △ Less

Submitted 1 October, 2018; originally announced October 2018.

Comments: 32 pages, 13 figures

Day-to-day dynamic traffic assignment model with variable message signs and endogenous user compliance

Authors: Ke Han, Margherita Lascia, Robin North, Simon Hu, Gabriel Eve

Abstract: This paper proposes a dual-time-scale, day-to-day dynamic traffic assignment model that takes into account variable message signs (VMS) and its interactions with drivers' travel choices and adaptive learning processes. The within-day dynamic is captured by a dynamic network loading problem with en route update of path choices influenced by the VMS; the day-to-day dynamic is captured by a simultane… ▽ More This paper proposes a dual-time-scale, day-to-day dynamic traffic assignment model that takes into account variable message signs (VMS) and its interactions with drivers' travel choices and adaptive learning processes. The within-day dynamic is captured by a dynamic network loading problem with en route update of path choices influenced by the VMS; the day-to-day dynamic is captured by a simultaneous route-and-departure-time adjustment process that employs bounded user rationality. Moreover, we describe the evolution of the VMS compliance rate by modeling drivers' learning processes. We endogenize traffic dynamics, route and departure time choices, travel delays, and VMS compliance, and thereby captur their interactions and interdependencies in a holistic manner. A case study in the west end of Glasgow is carried out to understand the impact of VMS has on road congestion and route choices in both the short and long run. Our main findings include an adverse effect of the VMS on the network performance in the long run (the 'rebound' effect), and existence of an equilibrium state where both traffic and VMS compliance are stabilized. △ Less

Submitted 16 September, 2018; originally announced September 2018.

Comments: 16 pages, 4 figures, presented at Transportation Research Board 94th Annual Meeting, Washington DC, 11-15 Jan 2015

Nonlinear Decision Rule Approach for Real-Time Traffic Signal Control for Congestion and Emission Reductions

Authors: Junwoo Song, Simon Hu, Ke Han, Chaozhe Jiang

Abstract: We propose a real-time signal control framework based on a nonlinear decision rule (NDR), which defines a nonlinear mapping between network states and signal control parameters to actual signal controls based on prevailing traffic conditions, and such a mapping is optimized via off-line simulation. The NDR is instantiated with two neural networks: feedforward neural network (FFNN) and recurrent ne… ▽ More We propose a real-time signal control framework based on a nonlinear decision rule (NDR), which defines a nonlinear mapping between network states and signal control parameters to actual signal controls based on prevailing traffic conditions, and such a mapping is optimized via off-line simulation. The NDR is instantiated with two neural networks: feedforward neural network (FFNN) and recurrent neural network (RNN), which have different ways of processing traffic information in the near past, and are compared in terms of their performances. The NDR is implemented within a microscopic traffic simulation (S-Paramics) for a real-world network in West Glasgow, where the off-line training of the NDR amounts to a simulation-based optimization aiming to reduce delay, CO2 and black carbon emissions. The emission calculations are based on the high-fidelity vehicle dynamics generated by the simulation, and the AIRE instantaneous emission model. Extensive tests are performed to assess the NDR framework, not only in terms of its effectiveness in reducing the aforementioned objectives, but also in relation to local vs. global benefits, trade-off between delay and emissions, impact of sensor locations, and different levels of network saturation. The results suggest that the NDR is an effective, flexible and robust way of alleviating congestion and reducing traffic emissions. △ Less

Submitted 19 March, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: 28 pages, 10 figures, 3 tables

Threshold Progressions in a Variety of Covering and Packing Contexts

Authors: Anant Godbole, Thomas Grubb, Kyutae Han, Bill Kay

Abstract: Using standard methods (due to Janson, Stein-Chen, and Talagrand) from probabilistic combinatorics, we explore the following general theme: As one progresses from each member of a family of objects ${\cal A}$ being "covered" by at most one object in a random collection ${\cal C}$, to being covered at most $λ$ times, to being covered at least once, to being covered at least $λ$ times, a hierarchy o… ▽ More Using standard methods (due to Janson, Stein-Chen, and Talagrand) from probabilistic combinatorics, we explore the following general theme: As one progresses from each member of a family of objects ${\cal A}$ being "covered" by at most one object in a random collection ${\cal C}$, to being covered at most $λ$ times, to being covered at least once, to being covered at least $λ$ times, a hierarchy of thresholds emerge. We will then see how such results vary according to the context, and level of dependence introduced. Examples will be from extremal set theory, combinatorics, and additive number theory. △ Less

Submitted 28 August, 2020; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: 35 pages

On the locus of points of high rank

Authors: Jarosław Buczyński, Kangjin Han, Massimiliano Mella, Zach Teitler

Abstract: Given a closed subvariety X in a projective space, the rank with respect to X of a point p in this projective space is the least integer r such that p lies in the linear span of some r points of X. Let W_k be the closure of the set of points of rank with respect to X equal to k. For small values of k such loci are called secant varieties. This article studies the loci W_k for values of k larger th… ▽ More Given a closed subvariety X in a projective space, the rank with respect to X of a point p in this projective space is the least integer r such that p lies in the linear span of some r points of X. Let W_k be the closure of the set of points of rank with respect to X equal to k. For small values of k such loci are called secant varieties. This article studies the loci W_k for values of k larger than the generic rank. We show they are nested, we bound their dimensions, and we estimate the maximal possible rank with respect to X in special cases, including when X is a homogeneous space or a curve. The theory is illustrated by numerous examples, including Veronese varieties, the Segre product of dimensions (1,3,3), and curves. An intermediate result provides a lower bound on the dimension of any GL_n orbit of a homogeneous form. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Comments: 28 pages

MSC Class: 14N15; 15A72

Global optimization framework for real-time route guidance via variable message sign

Authors: Bai Liu, Ke Han, Jianming Hu

Abstract: Variable message sign (VMS) is an effective traffic management tool for congestion mitigation. The VMS is primarily used as a means of providing factual travel information or genuine route guidance to travelers. However, this may be rendered sub-optimal on a network level by potential network paradoxes and lack of consideration for its cascading effect on the rest of the network. This paper focuse… ▽ More Variable message sign (VMS) is an effective traffic management tool for congestion mitigation. The VMS is primarily used as a means of providing factual travel information or genuine route guidance to travelers. However, this may be rendered sub-optimal on a network level by potential network paradoxes and lack of consideration for its cascading effect on the rest of the network. This paper focuses on the design of optimal display strategy of VMS in response to real-time traffic information and its coordination with other intelligent transportation systems such as signal control, in order to explore the full potential of real-time route guidance in combating congestion. We invoke the linear decision rule framework to design the optimal on-line VMS strategy, and test its effectiveness in conjunction with on-line signal control. A simulation case study is conducted on a real-world test network in China, which shows the advantage of the proposed adaptive VMS display strategy over genuine route guidance, as well as its synergies with on-line signal control for congestion mitigation. △ Less

Submitted 24 November, 2016; originally announced November 2016.

Comments: Word count: 5,176 words + 7 figures + 2 tables = 7,426

Various notions of positivity for bi-linear maps and applications to tri-partite entanglement

Authors: Kyung Hoon Han, Seung-Hyeok Kye

Abstract: We consider bi-linear analogues of $s$-positivity for linear maps. The dual objects of these notions can be described in terms of Schimdt ranks for tri-tensor products and Schmidt numbers for tri-partite quantum states. These tri-partite versions of Schmidt numbers cover various kinds of bi-separability, and so we may interpret witnesses for those in terms of bi-linear maps. We give concrete examp… ▽ More We consider bi-linear analogues of $s$-positivity for linear maps. The dual objects of these notions can be described in terms of Schimdt ranks for tri-tensor products and Schmidt numbers for tri-partite quantum states. These tri-partite versions of Schmidt numbers cover various kinds of bi-separability, and so we may interpret witnesses for those in terms of bi-linear maps. We give concrete examples of witnesses for various kinds of three qubit entanglement. △ Less

Submitted 20 March, 2015; originally announced March 2015.

Comments: 28 pages

Journal ref: J. Math. Phys. 57 (2016), 015205

Continuity of the path delay operator for dynamic network loading with spillback

Authors: Ke Han, Benedetto Piccoli, Terry L. Friesz

Abstract: This paper establishes the continuity of the path delay operators for dynamic network loading (DNL) problems based on the Lighthill-Whitham-Richards model, which explicitly capture vehicle spillback. The DNL describes and predicts the spatial-temporal evolution of traffic flow and congestion on a network that is consistent with established route and departure time choices of travelers. The LWR-bas… ▽ More This paper establishes the continuity of the path delay operators for dynamic network loading (DNL) problems based on the Lighthill-Whitham-Richards model, which explicitly capture vehicle spillback. The DNL describes and predicts the spatial-temporal evolution of traffic flow and congestion on a network that is consistent with established route and departure time choices of travelers. The LWR-based DNL model is first formulated as a system of partial differential algebraic equations (PDAEs). We then investigate the continuous dependence of merge and diverge junction models with respect to their initial/boundary conditions, which leads to the continuity of the path delay operator through the wave-front tracking methodology and the generalized tangent vector technique. As part of our analysis leading up to the main continuity result, we also provide an estimation of the minimum network supply without resort to any numerical computation. In particular, it is shown that gridlock can never occur in a finite time horizon in the DNL model. △ Less

Submitted 18 March, 2016; v1 submitted 17 January, 2015; originally announced January 2015.

Comments: 29 pages, 9 figures, Transportation Research Part B: Methodological (2015)

MSC Class: 35L65; 35B30; 90B10; 90B20

On singularities of third secant varieties of Veronese embeddings

Authors: Kangjin Han

Abstract: In this paper we study singularities of third secant varieties of Veronese embedding $v_d(\mathbb{P}^n)$, which corresponds to the variety of symmetric tensors of border rank at most three in $(\mathbb{C}^{n+1})^{\otimes d}$. In this paper we study singularities of third secant varieties of Veronese embedding $v_d(\mathbb{P}^n)$, which corresponds to the variety of symmetric tensors of border rank at most three in $(\mathbb{C}^{n+1})^{\otimes d}$. △ Less

Submitted 15 January, 2018; v1 submitted 18 November, 2014; originally announced November 2014.

Comments: 12 pages, 3 figures. Subsection 2.3.1 for Aronhold case added. To appear in Linear Algebra and Its Applications

MSC Class: 14M12; 14J60; 15A21; 15A69

A Kirchberg type tensor theorem for operator systems

Authors: Kyung Hoon Han

Abstract: We construct operator systems $\mathfrak C_I$ that are universal in the sense that all operator systems can be realized as their quotients. They satisfy the operator system lifting property. Without relying on the theorem by Kirchberg, we prove the Kirchberg type tensor theorem $$\mathfrak C_I \otimes_{\min} B(H) = \mathfrak C_I \otimes_{\max} B(H).$$ Combining this with a result of Kavruk, we giv… ▽ More We construct operator systems $\mathfrak C_I$ that are universal in the sense that all operator systems can be realized as their quotients. They satisfy the operator system lifting property. Without relying on the theorem by Kirchberg, we prove the Kirchberg type tensor theorem $$\mathfrak C_I \otimes_{\min} B(H) = \mathfrak C_I \otimes_{\max} B(H).$$ Combining this with a result of Kavruk, we give a new operator system theoretic proof of Kirchberg's theorem and show that Kirchberg's conjecture is equivalent to its operator system analogue $$\mathfrak C_I \otimes_{\min} \mathfrak C_I =\mathfrak C_I \otimes_{\rm c} \mathfrak C_I.$$ It is natural to ask whether the universal operator systems $\mathfrak C_I$ are projective objects in the category of operator systems. We show that an operator system from which all unital completely positive maps into operator system quotients can be lifted is necessarily one-dimensional. Moreover, a finite dimensional operator system satisfying a perturbed lifting property can be represented as the direct sum of matrix algebras. We give an operator system theoretic approach to the Effros-Haagerup lifting theorem. △ Less

Submitted 28 November, 2016; v1 submitted 3 September, 2014; originally announced September 2014.

Comments: 27 pages, to appear in Pacific Journal of Mathematics

Journal ref: Pacific J. Math. 286 (2017) 91-124

Linear normality of general linear sections and some graded Betti numbers of 3-regular projective schemes

Authors: Jeaman Ahn, Kangjin Han

Abstract: In this paper we study graded Betti numbers of any nondegenerate 3-regular algebraic set $X$ in a projective space $\mathbb P^{n}$. More concretely, via Generic initial ideals (Gins) method we mainly consider `tailing' Betti numbers, whose homological index is not less than $\mathrm{codim}(X,\mathbb P^{n})$. For this purpose, we first introduce a key definition `$\mathrm{ND(1)}$ property', which p… ▽ More In this paper we study graded Betti numbers of any nondegenerate 3-regular algebraic set $X$ in a projective space $\mathbb P^{n}$. More concretely, via Generic initial ideals (Gins) method we mainly consider `tailing' Betti numbers, whose homological index is not less than $\mathrm{codim}(X,\mathbb P^{n})$. For this purpose, we first introduce a key definition `$\mathrm{ND(1)}$ property', which provides a suitable ground where one can generalize the concepts such as `being nondegenerate' or `of minimal degree' from the case of varieties to the case of more general closed subschemes and give a clear interpretation on the tailing Betti numbers. Next, we recall basic notions and facts on Gins theory and we analyze the generation structure of the reverse lexicographic (rlex) Gins of 3-regular $\mathrm{ND(1)}$ subschemes. As a result, we present exact formulae for these tailing Betti numbers, which connect them with linear normality of general linear sections of $X\cap Λ$ with a linear subspace $Λ$ of dimension at least $\mathrm{codim}(X,\mathbb P^{n})$. Finally, we consider some applications and related examples. △ Less

Submitted 7 April, 2014; originally announced April 2014.

Comments: 19pages, comments welcomed

MSC Class: Primary:14N05; Secondary:13D02

Formulation, existence, and computation of boundedly rational dynamic user equilibrium with fixed or endogenous user tolerance

Authors: Ke Han, W. Y. Szeto, Terry L. Friesz

Abstract: This paper analyzes simultaneous route-and-departure-time (SRDT) dynamic user equilibrium (DUE) that incorporates the notion of boundedly rational (BR) user behavior in the selection of departure time and route choices. Intrinsically, the boundedly rational dynamic user equilibrium (BR-DUE) model we present assumes that travelers do not always seek the least costly route-and-departure-time choice.… ▽ More This paper analyzes simultaneous route-and-departure-time (SRDT) dynamic user equilibrium (DUE) that incorporates the notion of boundedly rational (BR) user behavior in the selection of departure time and route choices. Intrinsically, the boundedly rational dynamic user equilibrium (BR-DUE) model we present assumes that travelers do not always seek the least costly route-and-departure-time choice. Rather, their perception of travel cost is affected by an indifference band describing travelers' tolerance of the difference between their experienced travel costs and the minimum travel cost. An extension of the BR-DUE problem is the so-called variable tolerance dynamic user equilibrium (VT-BR-DUE) wherein endogenously determined tolerances may depend not only on paths, but also on the established path departure rates. This paper presents a unified approach for modeling both BR-DUE and VT-BR-DUE, which makes significant contributions to model formulation, analysis of existence, solution characterization, and heuristic numerical computation of such problems. The VT-BR-DUE problem, together with the BR-DUE problem as a special case, is formulated as a variational inequality. We provide a very general existence result for VT-BR-DUE and BR-DUE that relies on assumptions weaker than those required for mere DUE models. Moreover, a characterization of the solution set is provided based on rigorous topological analysis. Finally, three computational algorithms are proposed based on the VI and DVI formulations. Numerical studies are conducted to assess the proposed algorithms in terms of solution quality, convergence, and computational efficiency. △ Less

Submitted 18 March, 2016; v1 submitted 5 February, 2014; originally announced February 2014.

Comments: 49 pages, 16 figures

MSC Class: 90B20; 90B10; 91A23

Journal ref: Transportation Research Part B, 79, 16-49 (2015)

On the Continuum Approximation of the On-and-off Signal Control on Dynamic Traffic Networks

Authors: Ke Han, Vikash Gayah, Benedetto Piccoli, Terry L. Friesz, Tao Yao

Abstract: In the modeling of traffic networks, a signalized junction is typically treated using a binary variable to model the on-and-off nature of signal operation. While accurate, the use of binary variables can cause problems when studying large networks with many intersections. Instead, the signal control can be approximated through a continuum approach where the on-and-off control variable is replaced… ▽ More In the modeling of traffic networks, a signalized junction is typically treated using a binary variable to model the on-and-off nature of signal operation. While accurate, the use of binary variables can cause problems when studying large networks with many intersections. Instead, the signal control can be approximated through a continuum approach where the on-and-off control variable is replaced by a priority parameter. Advantages of such approximation include elimination of the need for binary variables, lower time resolution requirements, and more flexibility and robustness in a decision environment. It also resolves the issue of discontinuous travel time functions arising from the context of dynamic traffic assignment. Despite these advantages in application, it is not clear from a theoretical point of view how accurate is such continuum approach; i.e., to what extent is this a valid approximation for the on-and-off case. The goal of this paper is to answer these basic research questions and provide further guidance for the application of such continuum signal model. In particular, by employing the Lighthill-Whitham-Richards model (Lighthill and Whitham, 1955; Richards, 1956) on a traffic network, we investigate the convergence of the on-and-off signal model to the continuum model in regimes of diminishing signal cycles. We also provide numerical analyses on the continuum approximation error when the signal cycles are not infinitesimal. As we explain, such convergence results and error estimates depend on the type of fundamental diagram assumed and whether or not vehicle spillback occurs in a network. Finally, a traffic signal optimization problem is presented and solved which illustrates the unique advantages of applying the continuum signal model instead of the on-and-off one. △ Less

Submitted 18 March, 2016; v1 submitted 13 September, 2013; originally announced September 2013.

Comments: 35 pages, 16 figures, 5 tables

MSC Class: 35L65; 90B06 (Primary); 90B10; 90B20 (Secondary)

Journal ref: Transportation Research Part B 61, 73-97 (2014)

An Infinite-Dimensional Variational Inequality Formulation and Existence Result for Dynamic User Equilibrium with Elastic Demands

Authors: Ke Han, Terry L. Friesz, Tao Yao

Abstract: This paper is concerned with dynamic user equilibrium (DUE) with elastic travel demand (E-DUE). We present and prove a variational inequality (VI) formulation of E-DUE using measure-theoretic argument. Moreover, existence of the E-DUE is formally established with a version of Brouwer's fixed point theorem in a properly defined Hilbert space. The existence proof requires the effective delay operato… ▽ More This paper is concerned with dynamic user equilibrium (DUE) with elastic travel demand (E-DUE). We present and prove a variational inequality (VI) formulation of E-DUE using measure-theoretic argument. Moreover, existence of the E-DUE is formally established with a version of Brouwer's fixed point theorem in a properly defined Hilbert space. The existence proof requires the effective delay operator to be continuous, a regularity condition also needed to ensure the existence of DUE with fixed demand (Han et al., 2013c). Our proof does not invoke the a priori upper bound of the departure rates (path flows). △ Less

Submitted 28 April, 2013; originally announced May 2013.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1211.4614, arXiv:1304.5286

MSC Class: 90B10; 90B20; 91A10

Sharp bounds for higher linear syzygies and classifications of projective varieties

Authors: Kangjin Han, Sijong Kwak

Abstract: In the present paper, we consider upper bounds of higher linear syzygies i.e. graded Betti numbers in the first linear strand of the minimal free resolutions of projective varieties in arbitrary characteristic. For this purpose, we first remind `Partial Elimination Ideals (PEIs)' theory and introduce a new framework in which one can study the syzygies of embedded projective schemes well using PEIs… ▽ More In the present paper, we consider upper bounds of higher linear syzygies i.e. graded Betti numbers in the first linear strand of the minimal free resolutions of projective varieties in arbitrary characteristic. For this purpose, we first remind `Partial Elimination Ideals (PEIs)' theory and introduce a new framework in which one can study the syzygies of embedded projective schemes well using PEIs theory and the reduction method via inner projections. Next we establish fundamental inequalities which govern the relations between the graded Betti numbers in the first linear strand of an algebraic set $X$ and those of its inner projection $X_q$. Using these results, we obtain some natural sharp upper bounds for higher linear syzygies of any nondegenerate projective variety in terms of the codimension with respect to its own embedding and classify what the extremal case and next-to-extremal case are. This is a generalization of Castelnuovo and Fano's results on the number of quadrics containing a given variety and another characterization of varieties of minimal degree and del Pezzo varieties from the viewpoint of `syzygies'. Note that our method could be also applied to get similar results for more general categories (e.g. connected in codimension one algebraic sets). △ Less

Submitted 23 April, 2013; originally announced April 2013.

Comments: 22 pages, 7 figures, comments are welcomed

MSC Class: Primary 14N05; 13D02; 14N25; Secondary 51N35

Elastic demand dynamic network user equilibrium: Formulation, existence and computation

Authors: Ke Han, Terry L. Friesz, W. Y. Szeto, Hongcheng Liu

Abstract: This paper is concerned with dynamic user equilibrium with elastic travel demand (E-DUE) when the trip demand matrix is determined endogenously. We present an infinite-dimensional variational inequality (VI) formulation that is equivalent to the conditions defining a continuous-time E-DUE problem. An existence result for this VI is established by applying a fixed-point existence theorem (Browder,… ▽ More This paper is concerned with dynamic user equilibrium with elastic travel demand (E-DUE) when the trip demand matrix is determined endogenously. We present an infinite-dimensional variational inequality (VI) formulation that is equivalent to the conditions defining a continuous-time E-DUE problem. An existence result for this VI is established by applying a fixed-point existence theorem (Browder, 1968) in an extended Hilbert space. We present three algorithms based on the aforementioned VI and its re-expression as a differential variational inequality (DVI): a projection method, a self-adaptive projection method, and a proximal point method. Rigorous convergence results are provided for these methods, which rely on increasingly relaxed notions of generalized monotonicity, namely mixed strongly-weakly monotonicity for the projection method; pseudomonotonicity for the self-adaptive projection method, and quasimonotonicity for the proximal point method. These three algorithms are tested and their solution quality, convergence, and computational efficiency compared. Our convergence results, which transcend the transportation applications studied here, apply to a broad family of infinite-dimensional VIs and DVIs, and are the weakest reported to date. △ Less

Submitted 24 March, 2016; v1 submitted 18 April, 2013; originally announced April 2013.

Comments: 32 pages, 6 figures, 2 tables

MSC Class: 90B06; 90B10; 90B20; 90C90

Journal ref: Transportation Research Part B 81, 183-209 (2015)

A robust optimization approach for dynamic traffic signal control with emission considerations

Authors: Ke Han, Hongcheng Liu, Vikash Gayah, Terry L. Friesz, Tao Yao

Abstract: We consider an analytical signal control problem on a signalized network whose traffic flow dynamic is described by the Lighthill-Whitham-Richards (LWR) model (Lighthill and Whitham, 1955; Richards, 1956). This problem explicitly addresses traffic-derived emissions as side constraints. We seek to tackle this problem using a mixed integer mathematical programming approach. Such a class of problems,… ▽ More We consider an analytical signal control problem on a signalized network whose traffic flow dynamic is described by the Lighthill-Whitham-Richards (LWR) model (Lighthill and Whitham, 1955; Richards, 1956). This problem explicitly addresses traffic-derived emissions as side constraints. We seek to tackle this problem using a mixed integer mathematical programming approach. Such a class of problems, which we call LWR-Emission (LWR-E), has been analyzed before to certain extent. Since mixed integer programs are practically efficient to solve in many cases (Bertsimas et al., 2011b), the mere fact of having integer variables is not the most significant challenge to solving LWR-E problems; rather, it is the presence of the potentially nonlinear and nonconvex emission-related constraints/objectives that render the program computationally expensive. To address this computational challenge, we proposed a novel reformulation of the LWR-E problem as a mixed integer linear program (MILP). This approach relies on the existence of a statistically valid macroscopic relationship between the aggregate emission rate and the vehicle occupancy of the same link. This relationship is approximated with certain functional forms and the associated uncertainties are handled explicitly using robust optimization (RO) techniques. The RO allows emissions-related constraints and/or objectives to be reformulated as linear forms under mild conditions. To further reduce the computational cost, we employ the link transmission model to describe traffic dynamics with the benefit of fewer (integer) variables and less potential traffic holding. The proposed MILP explicitly captures vehicle spillback, avoids traffic holding, and simultaneously minimizes travel delay and addresses emission-related concerns. △ Less

Submitted 24 March, 2016; v1 submitted 19 November, 2012; originally announced November 2012.

Comments: 35 pages, 7 figures, 4 tables

MSC Class: 90B20; 90C11; 90B10

A Link-based Mixed Integer LP Approach for Adaptive Traffic Signal Control

Authors: Ke Han, Terry L. Friesz, Tao Yao

Abstract: This paper is concerned with adaptive signal control problems on a road network, using a link-based kinematic wave model (Han et al., 2012). Such a model employs the Lighthill-Whitham-Richards model with a triangular fundamental diagram. A variational type argument (Lax, 1957; Newell, 1993) is applied so that the system dynamics can be determined without knowledge of the traffic state in the inter… ▽ More This paper is concerned with adaptive signal control problems on a road network, using a link-based kinematic wave model (Han et al., 2012). Such a model employs the Lighthill-Whitham-Richards model with a triangular fundamental diagram. A variational type argument (Lax, 1957; Newell, 1993) is applied so that the system dynamics can be determined without knowledge of the traffic state in the interior of each link. A Riemann problem for the signalized junction is explicitly solved; and an optimization problem is formulated in continuous-time with the aid of binary variables. A time-discretization turns the optimization problem into a mixed integer linear program (MILP). Unlike the cell-based approaches (Daganzo, 1995; Lin and Wang, 2004; Lo, 1999b), the proposed framework does not require modeling or computation within a link, thus reducing the number of (binary) variables and computational effort. The proposed model is free of vehicle-holding problems, and captures important features of signalized networks such as physical queue, spill back, vehicle turning, time-varying flow patterns and dynamic signal timing plans. The MILP can be efficiently solved with standard optimization software. △ Less

Submitted 19 November, 2012; originally announced November 2012.

Comments: 15 pages, 7 figures, current version is accepted for presentation at the 92nd Annual Meeting of Transportation Research Board

MSC Class: 90B20; 90B50; 90C11

Existence and Properties of the State Operator in Dynamic User Equilibrium

Authors: Terry L. Friesz, Ke Han, Tao Yao

Abstract: In this paper, we establish and prove analytical properties of the state operator embedded in an optimal control problem, in the context of dynamic user equilibrium (DUE) models (Friesz et al. 1993). In this paper, we establish and prove analytical properties of the state operator embedded in an optimal control problem, in the context of dynamic user equilibrium (DUE) models (Friesz et al. 1993). △ Less

Submitted 19 November, 2012; originally announced November 2012.

Comments: 9 pages

MSC Class: 34A12; 34H05; 90B06

Continuity of the Effective Path Delay Operator for Networks Based on the Link Delay Model

Authors: Ke Han, Terry L. Friesz

Abstract: This paper is concerned with a dynamic traffic network performance model, known as dynamic network loading (DNL), that is frequently employed in the modeling and computation of analytical dynamic user equilibrium (DUE). As a key component of continuous-time DUE models, DNL aims at describing and predicting the spatial-temporal evolution of traffic flows on a network that is consistent with establi… ▽ More This paper is concerned with a dynamic traffic network performance model, known as dynamic network loading (DNL), that is frequently employed in the modeling and computation of analytical dynamic user equilibrium (DUE). As a key component of continuous-time DUE models, DNL aims at describing and predicting the spatial-temporal evolution of traffic flows on a network that is consistent with established route and departure time choices of travelers, by introducing appropriate dynamics to flow propagation, flow conservation, and travel delays. The DNL procedure gives rise to the path delay operator, which associates a vector of path flows (path departure rates) with the corresponding path travel costs. In this paper, we establish strong continuity of the path delay operator for networks whose arc flows are described by the link delay model (Friesz et al., 1993). Unlike result established in Zhu and Marcotte (2000), our continuity proof is constructed without assuming a priori uniform boundedness of the path flows. Such a more general continuity result has a few important implications to the existence of simultaneous route-and-departure choice DUE without a priori boundedness of path flows, and to any numerical algorithm that allows convergence to be rigorously analyzed. △ Less

Submitted 23 March, 2015; v1 submitted 19 November, 2012; originally announced November 2012.

Comments: 12 pages, 1 figure

MSC Class: 90B10; 90B20

Lagrangian-based Hydrodynamic Model: Freeway Traffic Estimation

Authors: Ke Han, Tao Yao, Terry L. Friesz

Abstract: This paper is concerned with highway traffic estimation using traffic sensing data, in a Lagrangian-based modeling framework. We consider the Lighthill-Whitham-Richards (LWR) model (Lighthill and Whitham, 1955; Richards, 1956) in Lagrangian-coordinates, and provide rigorous mathematical results regarding the equivalence of viscosity solutions to the Hamilton-Jacobi equations in Eulerian and Lagran… ▽ More This paper is concerned with highway traffic estimation using traffic sensing data, in a Lagrangian-based modeling framework. We consider the Lighthill-Whitham-Richards (LWR) model (Lighthill and Whitham, 1955; Richards, 1956) in Lagrangian-coordinates, and provide rigorous mathematical results regarding the equivalence of viscosity solutions to the Hamilton-Jacobi equations in Eulerian and Lagrangian coordinates. We derive closed-form solutions to the Lagrangian-based Hamilton-Jacobi equation using the Lax-Hopf formula (Daganzo, 2005; Aubin et al., 2008), and discuss issues of fusing traffic data of various types into the Lagrangian-based H-J equation. A numerical study of the Mobile Century field experiment (Herrera et al., 2009) demonstrates the unique modeling features and insights provided by the Lagrangian-based approach. △ Less

Submitted 19 November, 2012; originally announced November 2012.

Comments: 17 pages, 7 figures, current version submitted to Transportation Research Part B

MSC Class: 35C05; 35F21; 90B20

Network User Equilibrium with Elastic Demand: Formulation, Qualitative Analysis and Computation

Authors: Terry L. Friesz, Ke Han, Amir Meimand, Tao Yao

Abstract: In this paper we present a differential variational inequality formulation of dynamic network user equilibrium with elastic travel demand. We discuss its qualitative properties and provide algorithms for and examples of its solution. In this paper we present a differential variational inequality formulation of dynamic network user equilibrium with elastic travel demand. We discuss its qualitative properties and provide algorithms for and examples of its solution. △ Less

Submitted 24 March, 2016; v1 submitted 19 November, 2012; originally announced November 2012.

Comments: This paper has been withdrawn by the author due to incompleteness and some overlap with contents already published in journal papers

MSC Class: 90B06; 90B10