Showing 1–50 of 90 results for author: Tan, C

Higher-Order Root-Finding Algorithm and its Applications

Authors: Wei Guo Foo, Chik How Tan

Abstract: Root-finding method is an iterative process that constructs a sequence converging to a solution of an equation. Householder's method is a higher-order method that requires higher order derivatives of the reciprocal of a function and has disadvantages. Firstly, symbolic computations can take a long time, and numerical methods to differentiate a function can accumulate errors. Secondly, the converge… ▽ More Root-finding method is an iterative process that constructs a sequence converging to a solution of an equation. Householder's method is a higher-order method that requires higher order derivatives of the reciprocal of a function and has disadvantages. Firstly, symbolic computations can take a long time, and numerical methods to differentiate a function can accumulate errors. Secondly, the convergence factor existing in the literature is a rough estimate. In this paper, we propose a higher-order root-finding method using only Taylor expansion of a function. It has lower computational complexity with explicit convergence factor, and can be used to numerically implement Householder's method. As an application, we apply the proposed method to compute pre-images of $q$-ary entropy functions, commonly seen in coding theory. Finally, we study basins of attraction using the proposed method and compare them with other root-finding methods. △ Less

Submitted 25 September, 2025; originally announced September 2025.

Comments: 20 pages. To appear in International Journal of Computer Mathematics

MSC Class: 65H05; 94-08

Extremal Steklov-Neumann Eigenvalues

Authors: Chiu-Yen Kao, Braxton Osting, Chee Han Tan, Robert Viator

Abstract: Let $Ω$ be a bounded open planar domain with smooth connected boundary, $Γ$, that has been partitioned into two disjoint components, $Γ= Γ_S \sqcup Γ_N$. We consider the Steklov-Neumann eigenproblem on $Ω$, where a harmonic function is sought that satisfies the Steklov boundary condition on $Γ_S$ and the Neumann boundary condition on $Γ_N$. We pose the extremal eigenvalue problems (EEPs) of minimi… ▽ More Let $Ω$ be a bounded open planar domain with smooth connected boundary, $Γ$, that has been partitioned into two disjoint components, $Γ= Γ_S \sqcup Γ_N$. We consider the Steklov-Neumann eigenproblem on $Ω$, where a harmonic function is sought that satisfies the Steklov boundary condition on $Γ_S$ and the Neumann boundary condition on $Γ_N$. We pose the extremal eigenvalue problems (EEPs) of minimizing/maximizing the $k$-th non-trivial Steklov-Neumann eigenvalue among boundary partitions of prescribed measure. We formulate a relaxation of these EEPs in terms of weighted Steklov eigenvalues where an $L^\infty(Γ)$ density replaces the boundary partition. For these relaxed EEPs, we establish existence, prove optimality conditions, show that the maximization problem is convex for $k=1$ and non-convex for $k\geq 2$, and establish symmetry properties for the maximizing densities for $k=1$. We also prove a homogenization result that allows us to use solutions to the relaxed EEPs to infer properties of solutions to the original EEPs. For a disk, we provide numerical and asymptotic evidence that the minimizing arrangement of $Γ_S\sqcup Γ_N$ for the $k$-th eigenvalue consists of $k+1$ connected components that are symmetrically arranged on the boundary. For a disk, we prove that for $k = 1$, the constant density is a maximizer for the relaxed problem; we also provide numerical and asymptotic evidence that for $k\ge 2$, the maximizing density for the relaxed problem is a non-trivial function; a sequence of rapidly oscillating Steklov/Neumann boundary conditions approach the supremum value. △ Less

Submitted 19 September, 2025; originally announced September 2025.

Comments: 23 pages, 6 figures, 2 pages appendix

MSC Class: 31A25; 35P15; 49M41; 65K10; 65N25; 49R05

Well-posedness and ill-posedness of the primitive equations with fractional horizontal dissipation

Authors: Elie Abdo, Quyuan Lin, Changhui Tan

Abstract: The primitive equations (PE) are a fundamental model in geophysical fluid dynamics. While the viscous PE are globally well-posed, their inviscid counterparts are known to be ill-posed. In this paper, we study the two-dimensional incompressible PE with fractional horizontal dissipation. We identify a sharp transition between local well-posedness and ill-posedness at the critical dissipation expon… ▽ More The primitive equations (PE) are a fundamental model in geophysical fluid dynamics. While the viscous PE are globally well-posed, their inviscid counterparts are known to be ill-posed. In this paper, we study the two-dimensional incompressible PE with fractional horizontal dissipation. We identify a sharp transition between local well-posedness and ill-posedness at the critical dissipation exponent $α= 1$. In the critical regime, this dichotomy exhibits a new phenomenon: the transition depends delicately on the balance between the size of the initial data and the viscosity coefficient. Our results precisely quantify the horizontal dissipation required to transition from inviscid instability to viscous regularity. We also establish a global well-posedness theory to the fractional PE, with sufficient dissipation $α\geq\frac65$. △ Less

Submitted 18 August, 2025; originally announced August 2025.

Comments: 40 pages

MSC Class: 35B65; 35Q35; 35Q86; 76D03

On the Euler-Poisson equations with variable background states and nonlocal velocity alignment

Authors: Kunhui Luan, Changhui Tan, Qiyu Wu

Abstract: We study the 1D pressureless Euler-Poisson equations with variable background states and nonlocal velocity alignment. Our main focus is the phenomenon of critical thresholds, where subcritical initial data lead to global regularity, while supercritical data result in finite-time singularity formation. The critical threshold behavior of the Euler-Poisson-alignment (EPA) system has previously been i… ▽ More We study the 1D pressureless Euler-Poisson equations with variable background states and nonlocal velocity alignment. Our main focus is the phenomenon of critical thresholds, where subcritical initial data lead to global regularity, while supercritical data result in finite-time singularity formation. The critical threshold behavior of the Euler-Poisson-alignment (EPA) system has previously been investigated under two specific setups: (1) when the background state is constant, phase plane analysis was used in the work of Bhatnagar, Liu and Tan [J. Differ. Equ. 375 (2023) 82-119] to establish critical thresholds; and (2) when the nonlocal alignment is replaced by linear damping, comparison principles based on Lyapunov functions were employed in the work of Choi, Kim, Koo and Tadmor [arXiv:2402.12839]. In this work, we present a comprehensive critical threshold analysis of the general EPA system, incorporating both nonlocal effects. Our framework unifies the techniques developed in the aforementioned studies and recovers their results under the respective limiting assumptions. A key feature of our approach is the oscillatory nature of the solution, which motivates a decomposition of the phase plane into four distinct regions. In each region, we implement tailored comparison principles to construct the critical thresholds piece by piece. △ Less

Submitted 5 May, 2025; originally announced May 2025.

Comments: 39 pages, 5 figures

MSC Class: 35B30; 35B51; 35Q35; 35L67

An interior penalty DG method with correct and minimal averages, jumps and penalties for the miscible displacement problem of nonnegative characteristic form, and SUPG-type error estimates under low regularity, dominating Darcy velocity

Authors: Zhijie Du, Huoyuan Duan, Roger C E Tan, Yuanhong Wei

Abstract: An interior penalty DG method is proposed for the steady-state linear partial differential equations of nonnegative characteristic form, suitable for mixed second-order elliptic-parabolic and first-order hyperbolic equations. Due to the different natures of the elliptic, parabolic, and hyperbolic equations. In the new DG method, the averages, jumps and penalties are minimal, correctly and only imp… ▽ More An interior penalty DG method is proposed for the steady-state linear partial differential equations of nonnegative characteristic form, suitable for mixed second-order elliptic-parabolic and first-order hyperbolic equations. Due to the different natures of the elliptic, parabolic, and hyperbolic equations. In the new DG method, the averages, jumps and penalties are minimal, correctly and only imposed on the diffusion-diffusion element boundaries, in addition to the well-known upwind jumps associating with the advection velocity. For the advection-dominated problem, the penalties can be further reduced only being imposed on the diffusion-dominated subset of the diffusion-diffusion element boundaries.This is based on the novel, crucial technique about the multiple partitions of the set of the interelement boundaries into a number of subsets with respect to the diffusion and to the advection and on the consistency result we have proven. The new DG method is the first DG method and the first time that the continuity and discontinuity of the solution are correctly identified and justified of the general steady-state linear partial differential equations of nonnegative characteristic form. The new DG method and its analysis are applied to the miscible displacement problem of vanishing diffusion coefficient and of low regularity, dominating Darcy flow velocity which lives in $H(\operatorname{div};Ω)\cap \prod_{j=1}^J (H^r(D_j))^d$ for $r<1$ other than the usual assumption $(W^{1,\infty}(Ω))^d$. We prove the SUPG-type error estimates $\mathcal{O}(h^{\ell+\frac{1}{2}})$ for any element polynomial of degree $\ell\ge 1$ on generally shaped and nonconforming meshes, where the convergence order is independent of the regularity of the advection velocity. The SUPG-type error estimates obtained are new and the first time known under the low regularity of the advection velocity. △ Less

Submitted 20 March, 2025; originally announced March 2025.

Cayley graphs on elementary abelian groups of extreme degree have complete cores

Authors: Guang Rao, Colin Tan

Abstract: Nešetřil and Šámal asked whether every cubelike graph has a cubelike core. Mančinska, Pivotto, Roberson and Royle answered this question in the affirmative for cubelike graphs whose core has at most $32$ vertices. When the core of a cubelike graph has at most $16$ vertices, they gave a list of these cores, from which it follows that every cubelike graph with degree strictly less than $5$ has a com… ▽ More Nešetřil and Šámal asked whether every cubelike graph has a cubelike core. Mančinska, Pivotto, Roberson and Royle answered this question in the affirmative for cubelike graphs whose core has at most $32$ vertices. When the core of a cubelike graph has at most $16$ vertices, they gave a list of these cores, from which it follows that every cubelike graph with degree strictly less than $5$ has a complete core. We prove the following extension: if the degree of a cubelike graph is either strictly less than $5$ or at least $5$ less than the number of its vertices, then its core is complete and induced by a $\mathbb{F}_2$-vector subspace of its vertices. Thus we also answer Nešetřil and Šámal's question in the affirmative for cubelike graphs with degree at least $5$ less than the number of vertices. Our result is sharp as the $5$-regular folded $5$-cube and its graph complement are both non-complete cubelike graph cores. We also prove analogous results for Cayley graphs on elementary abelian $p$-groups for odd primes $p$. △ Less

Submitted 30 January, 2025; originally announced January 2025.

Comments: 16 pages

MSC Class: Primary 05C50; 05C60; Secondary 20K25

Askey-Wilson version of Second Main Theorem for holomorphic curves in projective space

Authors: Chengliang Tan, Risto Korhonen

Abstract: In this paper, an Askey-Wilson version of the Wronskian-Casorati determinant $\mathcal{W}(f_{0}, \dots, f_{n})(x)$ for meromorphic functions $f_{0}, \dots, f_{n}$ is introduced to establish an Askey-Wilson version of the general form of the Second Main Theorem in projective space. This improves upon the original Second Main Theorem for the Askey-Wilson operator due to Chiang and Feng. In addition,… ▽ More In this paper, an Askey-Wilson version of the Wronskian-Casorati determinant $\mathcal{W}(f_{0}, \dots, f_{n})(x)$ for meromorphic functions $f_{0}, \dots, f_{n}$ is introduced to establish an Askey-Wilson version of the general form of the Second Main Theorem in projective space. This improves upon the original Second Main Theorem for the Askey-Wilson operator due to Chiang and Feng. In addition, by taking into account the number of irreducible components of hypersurfaces, an Askey-Wilson version of the Truncated Second Main Theorem for holomorphic curves into projective space with hypersurfaces located in $l$-subgeneral position is obtained. △ Less

Submitted 11 December, 2024; originally announced December 2024.

Comments: 50 pages

MSC Class: 32H30; 30D35; 39A13

Local regularity and finite-time singularity for a class of generalized SQG patches on the half-plane

Authors: Qianyun Miao, Changhui Tan, Liutang Xue, Zhilong Xue

Abstract: In this paper, we investigate a class of inviscid generalized surface quasi-geostrophic (SQG) equations on the half-plane with a rigid boundary. Compared to the Biot-Savart law in the vorticity form of the 2D Euler equation, the velocity formula here includes an additional Fourier multiplier operator $m(Λ)$. When $m(Λ) = Λ^α$, where $Λ= (-Δ)^{1/2}$ and $α\in (0,2)$, the equation reduces to the wel… ▽ More In this paper, we investigate a class of inviscid generalized surface quasi-geostrophic (SQG) equations on the half-plane with a rigid boundary. Compared to the Biot-Savart law in the vorticity form of the 2D Euler equation, the velocity formula here includes an additional Fourier multiplier operator $m(Λ)$. When $m(Λ) = Λ^α$, where $Λ= (-Δ)^{1/2}$ and $α\in (0,2)$, the equation reduces to the well-known $α$-SQG equation. Finite-time singularity formation for patch solutions to the $α$-SQG equation was famously discovered by Kiselev, Ryzhik, Yao, and Zlatoš [Ann. Math., 184 (2016), pp. 909-948]. We establish finite-time singularity formation for patch solutions to the generalized SQG equations under the Osgood condition \[\int_2^\infty \frac{1}{r (\log r) m(r)} dr < \infty\] along with some additional mild conditions. Notably, our result fills the gap between the globally well-posed 2D Euler equation ($α= 0$) and the $α$-SQG equation ($α> 0$). Furthermore, in line with Elgindi's global regularity results for 2D Loglog-Euler type equations [Arch. Rat. Mech. Anal., 211 (2014), pp. 965-990], our findings suggest that the Osgood condition serves as a sharp threshold that distinguishes global regularity and finite-time singularity in these models. In addition, we generalize the local regularity and finite-time singularity results for patch solutions to the $α$-SQG equation, as established by Gancedo and Patel [Ann. PDE, 7 (2021), no. 1, Art. no. 4], extending them to cases where $m(r)$ behaves like $r^α$ near infinity but does not have an explicit formulation. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Comments: 62 pages, 4 figures

Regularity of Fourier integrals on product spaces

Authors: Chaoqiang Tan, Zipeng Wang

Abstract: We study a family of Fourier integral operators by allowing their symbols to satisfy a multi-parameter differential inequality on R^N. We show that these operators of order -(N-1)/2 are bounded from classical, atom decomposable H^1-Hardy space to L^1(R^N). Consequently, we obtain a sharp L^p-regularity result due to Seeger, Sogge and Stein. We study a family of Fourier integral operators by allowing their symbols to satisfy a multi-parameter differential inequality on R^N. We show that these operators of order -(N-1)/2 are bounded from classical, atom decomposable H^1-Hardy space to L^1(R^N). Consequently, we obtain a sharp L^p-regularity result due to Seeger, Sogge and Stein. △ Less

Submitted 28 August, 2024; v1 submitted 18 August, 2024; originally announced August 2024.

Comments: We corrected some typos and errors from the previous version

A Probabilistic Approach for Queue Length Estimation Using License Plate Recognition Data: Considering Overtaking in Multi-lane Scenarios

Authors: Lyuzhou Luo, Hao Wu, Jiahao Liu, Keshuang Tang, Chaopeng Tan

Abstract: Multi-section license plate recognition (LPR) data provides input-output information and sampled travel times of the investigated link, serving as an ideal data source for lane-based queue length estimation in recent studies. However, most of these studies assumed the strict FIFO rule or a specific arrival process, thus ignoring the potential impact of overtaking and the variation of traffic flows… ▽ More Multi-section license plate recognition (LPR) data provides input-output information and sampled travel times of the investigated link, serving as an ideal data source for lane-based queue length estimation in recent studies. However, most of these studies assumed the strict FIFO rule or a specific arrival process, thus ignoring the potential impact of overtaking and the variation of traffic flows, especially in multi-lane scenarios. To address this issue, we propose a probabilistic approach to derive the stochastic queue length by constructing a conditional probability model of no-delay arrival time (NAT), i.e., the arrival time of vehicles without experiencing any delay, based on multi-section LPR data. First, the NAT conditions for all vehicles are established based on upstream and downstream vehicle departure times and sequences. To reduce the computational dimensionality and complexity, a DP-based algorithm is developed for vehicle group partitioning based on potential interactions between vehicles. Then, the conditional probability of NATs of each vehicle group is derived and an MCMC sampling method is employed for calculation. Subsequently, the stochastic queue profile and maximum queue length for each cycle can be derived based on the NATs of vehicles. Eventually, to leverage the LPR data sufficiently, we extend our approach to multi-lane scenarios, where the problem can be converted to a weighted general exact coverage problem and solved by a backtracking algorithm with heuristics. Empirical and simulation experiments have shown that the proposed approach outperforms the state-of-the-art method, demonstrating significant improvements in accuracy and robustness across various traffic conditions, including different V/C ratios, matching rates, and FIFO violation rates. In addition, the performance of the proposed approach can be further improved by utilizing multi-lane LPR data. △ Less

Submitted 24 July, 2024; originally announced August 2024.

Comments: 30 pages, 20 figures

Boundedness of New Type Fourier Integral Operators with Product Structure

Authors: Chaoqiang Tan, Zipeng Wang

Abstract: We investigate a class of Fourier integral operators with weakened symbols, which satisfy a multi-parameter differential inequality in $\R^n$. We establish that these operators retain the classical $L^p$ boundedness and the $H^1$ to $L^1$ boundedness. Notably, the Hardy space considered here is the traditional single-parameter Hardy space rather than a product Hardy space. We investigate a class of Fourier integral operators with weakened symbols, which satisfy a multi-parameter differential inequality in $\R^n$. We establish that these operators retain the classical $L^p$ boundedness and the $H^1$ to $L^1$ boundedness. Notably, the Hardy space considered here is the traditional single-parameter Hardy space rather than a product Hardy space. △ Less

Submitted 6 August, 2024; originally announced August 2024.

MSC Class: Primary 42B20; Secondary 42B30; 42B37; 42B15

Connected Vehicle Data-driven Robust Optimization for Traffic Signal Timing: Modeling Traffic Flow Variability and Errors

Authors: Chaopeng Tan, Yue Ding, Kaidi Yang, Hong Zhu, Keshuang Tang

Abstract: Recent advancements in Connected Vehicle (CV) technology have prompted research on leveraging CV data for more effective traffic management. Despite the low penetration rate, such detailed CV data has demonstrated great potential in improving traffic signal performance. However, existing studies share a common shortcoming in that they all ignore traffic flow estimation errors in their modeling pro… ▽ More Recent advancements in Connected Vehicle (CV) technology have prompted research on leveraging CV data for more effective traffic management. Despite the low penetration rate, such detailed CV data has demonstrated great potential in improving traffic signal performance. However, existing studies share a common shortcoming in that they all ignore traffic flow estimation errors in their modeling process, which is inevitable due to the sampling observation nature of CVs. This study proposes a CV data-driven robust optimization framework for traffic signal timing accounting for both traffic flow variability and estimation errors. First, we propose a general CV data-driven optimization model that can be widely applied to various signalized intersection scenarios including under-/over-saturated and fixed-/real-time. Then, we propose a novel data-driven uncertainty set of arrival rates based on the bounds information derived from CVs, which circumvents the error-prone arrival rate estimation process. Finally, a CV data-driven robust optimization model (CV-RO) is formulated to explicitly handle arrival rate uncertainties. By means of the robust counterpart approach, this robust optimization problem can be equalized to a deterministic mixed-integer linear programming problem with an exact solution. The evaluation results highlight the superior performance of the CV-RO model compared to the deterministic model and traditional methods across various scenarios: different penetration rates, traffic demands, and control types. Notably, the CV-RO model demonstrates its excellence at lower CV penetration rates and in the presence of different traffic flow fluctuation levels, affirming its effectiveness and robustness. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: Accepted for podium session of the Conference in Emerging Technologies in Transportation Systems (TRC-30)

On the Limitations of Fractal Dimension as a Measure of Generalization

Authors: Charlie B. Tan, Inés García-Redondo, Qiquan Wang, Michael M. Bronstein, Anthea Monod

Abstract: Bounding and predicting the generalization gap of overparameterized neural networks remains a central open problem in theoretical machine learning. There is a recent and growing body of literature that proposes the framework of fractals to model optimization trajectories of neural networks, motivating generalization bounds and measures based on the fractal dimension of the trajectory. Notably, the… ▽ More Bounding and predicting the generalization gap of overparameterized neural networks remains a central open problem in theoretical machine learning. There is a recent and growing body of literature that proposes the framework of fractals to model optimization trajectories of neural networks, motivating generalization bounds and measures based on the fractal dimension of the trajectory. Notably, the persistent homology dimension has been proposed to correlate with the generalization gap. This paper performs an empirical evaluation of these persistent homology-based generalization measures, with an in-depth statistical analysis. Our study reveals confounding effects in the observed correlation between generalization and topological measures due to the variation of hyperparameters. We also observe that fractal dimension fails to predict generalization of models trained from poor initializations. We lastly reveal the intriguing manifestation of model-wise double descent in these topological generalization measures. Our work forms a basis for a deeper investigation of the causal relationships between fractal geometry, topological data analysis, and neural network optimization. △ Less

Submitted 1 November, 2024; v1 submitted 4 June, 2024; originally announced June 2024.

Singular Integrals associated with Reflection Groups on Euclidean Space

Authors: Yongsheng Han, Ji Li, Chaoqiang Tan, Zipeng Wang, Xinfeng Wu

Abstract: In the field of harmonic analysis, geometric considerations are frequently crucial. Specially, group actions such as translations, dilations and rotations on Euclidean space are instrumental. The objective of this paper is to extend the study of singular integrals to include the effects of group reflections on Euclidean space, and to establish the T1 theorem for these singular integrals. In the field of harmonic analysis, geometric considerations are frequently crucial. Specially, group actions such as translations, dilations and rotations on Euclidean space are instrumental. The objective of this paper is to extend the study of singular integrals to include the effects of group reflections on Euclidean space, and to establish the T1 theorem for these singular integrals. △ Less

Submitted 12 May, 2024; originally announced May 2024.

Graph-Based Multivariate Multiscale Dispersion Entropy: Efficient Implementation and Applications to Real-World Network Data

Authors: John Stewart Fabila-Carrasco, Chao Tan, Javier Escudero

Abstract: We introduce Multivariate Multiscale Graph-based Dispersion Entropy (mvDEG), a novel, computationally efficient method for analyzing multivariate time series data in graph and complex network frameworks, and demonstrate its application in real-world data. mvDEG effectively combines temporal dynamics with topological relationships, offering enhanced analysis compared to traditional nonlinear entrop… ▽ More We introduce Multivariate Multiscale Graph-based Dispersion Entropy (mvDEG), a novel, computationally efficient method for analyzing multivariate time series data in graph and complex network frameworks, and demonstrate its application in real-world data. mvDEG effectively combines temporal dynamics with topological relationships, offering enhanced analysis compared to traditional nonlinear entropy methods. Its efficacy is established through testing on synthetic signals, such as uncorrelated and correlated noise, showcasing its adeptness in discerning various levels of dependency and complexity. The robustness of mvDEG is further validated with real-world datasets, effectively differentiating various two-phase flow regimes and capturing distinct dynamics in weather data analysis. An important advancement of mvDEG is its computational efficiency. Our optimized algorithm displays a computational time that grows linearly with the number of vertices or nodes, in contrast to the exponential growth observed in classical methods. This efficiency is achieved through refined matrix power calculations that exploit matrix and Kronecker product properties, making our method faster than the state of the art. The significant acceleration in computational time positions mvDEG as a transformative tool for extensive and real-time applications, setting a new benchmark in the analysis of time series recorded at distributed locations and opening avenues for innovative applications. △ Less

Submitted 1 May, 2024; originally announced May 2024.

Comments: 9 pages, 10 figures

MSC Class: 60J20; 05C82; 05C85; 94C15

On the Aw-Rascle-Zhang traffic models with nonlocal look-ahead interactions

Authors: Thomas Hamori, Changhui Tan

Abstract: We present a new family of second-order traffic flow models, extending the Aw-Rascle-Zhang (ARZ) model to incorporate nonlocal interactions. Our model includes a specific nonlocal Arrhenius-type look-ahead slowdown factor. We establish both local and global well-posedness theories for these nonlocal ARZ models. In contrast to the local ARZ model, where generic smooth initial data typically lead… ▽ More We present a new family of second-order traffic flow models, extending the Aw-Rascle-Zhang (ARZ) model to incorporate nonlocal interactions. Our model includes a specific nonlocal Arrhenius-type look-ahead slowdown factor. We establish both local and global well-posedness theories for these nonlocal ARZ models. In contrast to the local ARZ model, where generic smooth initial data typically lead to finite-time shock formation, we show that our nonlocal ARZ model exhibits global regularity for a class of smooth subcritical initial data. Our result highlights the potential of nonlocal interactions to mitigate shock formations in second-order traffic flow models. Our analytical approach relies on investigating phase plane dynamics. We introduce a novel comparison principle based on a mediant inequality to effectively handle the nonlocal information inherent in our model. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 30 pages, 1 figure

MSC Class: 76A30; 35L65; 35B65; 35B51

How Multimodal Integration Boost the Performance of LLM for Optimization: Case Study on Capacitated Vehicle Routing Problems

Authors: Yuxiao Huang, Wenjie Zhang, Liang Feng, Xingyu Wu, Kay Chen Tan

Abstract: Recently, large language models (LLMs) have notably positioned them as capable tools for addressing complex optimization challenges. Despite this recognition, a predominant limitation of existing LLM-based optimization methods is their struggle to capture the relationships among decision variables when relying exclusively on numerical text prompts, especially in high-dimensional problems. Keeping… ▽ More Recently, large language models (LLMs) have notably positioned them as capable tools for addressing complex optimization challenges. Despite this recognition, a predominant limitation of existing LLM-based optimization methods is their struggle to capture the relationships among decision variables when relying exclusively on numerical text prompts, especially in high-dimensional problems. Keeping this in mind, we first propose to enhance the optimization performance using multimodal LLM capable of processing both textual and visual prompts for deeper insights of the processed optimization problem. This integration allows for a more comprehensive understanding of optimization problems, akin to human cognitive processes. We have developed a multimodal LLM-based optimization framework that simulates human problem-solving workflows, thereby offering a more nuanced and effective analysis. The efficacy of this method is evaluated through extensive empirical studies focused on a well-known combinatorial optimization problem, i.e., capacitated vehicle routing problem. The results are compared against those obtained from the LLM-based optimization algorithms that rely solely on textual prompts, demonstrating the significant advantages of our multimodal approach. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Comments: 8pages,3 figures, 2 tables

Global well-posedness and asymptotic behavior for the Euler-alignment system with pressure

Authors: Xiang Bai, Changhui Tan, Liutang Xue

Abstract: We study the Cauchy problem of the compressible Euler system with strongly singular velocity alignment. We establish a global well-posedness theory for the system with small smooth initial data. Additionally, we derive asymptotic emergent behaviors for the system, providing time decay estimates with optimal decay rates. Notably, the optimal decay rate we obtain does not align with the correspondin… ▽ More We study the Cauchy problem of the compressible Euler system with strongly singular velocity alignment. We establish a global well-posedness theory for the system with small smooth initial data. Additionally, we derive asymptotic emergent behaviors for the system, providing time decay estimates with optimal decay rates. Notably, the optimal decay rate we obtain does not align with the corresponding fractional heat equation within our considered range, where the parameter $α\in(0,1)$. This highlights the distinct feature of the alignment operator. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 30 pages, 1 figure

MSC Class: 35Q31; 35R11; 76N10; 35B40

Hydrodynamic limit of a kinetic flocking model with nonlinear velocity alignment

Authors: McKenzie Black, Changhui Tan

Abstract: We investigate a class of Vlasov-type kinetic flocking models featuring nonlinear velocity alignment. Our primary objective is to rigorously derive the hydrodynamic limit leading to the compressible Euler system with nonlinear alignment. This study builds upon the work by Figalli and Kang [Anal. PDE, 12(3), 843-866, 2018], which addressed the scenario of linear velocity alignment using the relativ… ▽ More We investigate a class of Vlasov-type kinetic flocking models featuring nonlinear velocity alignment. Our primary objective is to rigorously derive the hydrodynamic limit leading to the compressible Euler system with nonlinear alignment. This study builds upon the work by Figalli and Kang [Anal. PDE, 12(3), 843-866, 2018], which addressed the scenario of linear velocity alignment using the relative entropy method. The introduction of nonlinearity gives rise to an additional discrepancy in the alignment term during the limiting process. To effectively handle this discrepancy, we employ the monokinetic ansatz in conjunction with the relative entropy approach. Furthermore, our analysis reveals distinct nonlinear alignment behaviors between the kinetic and hydrodynamic systems, particularly evident in the isothermal regime. △ Less

Submitted 9 December, 2024; v1 submitted 27 December, 2023; originally announced December 2023.

Comments: 27 pages

MSC Class: 35Q35; 35Q70; 35B25

Steklov eigenvalues of nearly hyperspherical domains

Authors: Chee Han Tan, Robert Viator

Abstract: We consider Steklov eigenvalues of nearly hyperspherical domains in $\mathbb{R}^{d + 1}$ with $d\ge 3$. In previous work, treating such domains as perturbations of the ball, we proved that the Steklov eigenvalues are analytic functions of the domain perturbation parameter. Here, we compute the first-order term of the asymptotic expansion and show that the first-order perturbations are eigenvalues… ▽ More We consider Steklov eigenvalues of nearly hyperspherical domains in $\mathbb{R}^{d + 1}$ with $d\ge 3$. In previous work, treating such domains as perturbations of the ball, we proved that the Steklov eigenvalues are analytic functions of the domain perturbation parameter. Here, we compute the first-order term of the asymptotic expansion and show that the first-order perturbations are eigenvalues of a Hermitian matrix, whose entries can be written explicitly in terms of the Pochhammer's and Wigner $3j$-symbols. We analyse the asymptotic expansion and show the following isoperimetric results among domains with fixed volume: (1) for an infinite subset of Steklov eigenvalues, the ball is not optimal, and (2) for a different infinite subset of Steklov eigenvalues, the ball is a stationary point. △ Less

Submitted 5 October, 2023; originally announced October 2023.

Comments: 19 pages

MSC Class: 35C20; 35P05; 41A58

Journal ref: Proceedings of the Royal Society A, 480 (2025), no. 2287

Global well-posedness and refined regularity criterion for the uni-directional Euler-alignment system

Authors: Yatao Li, Qianyun Miao, Changhui Tan, Liutang Xue

Abstract: We investigate global solutions to the Euler-alignment system in $d$ dimensions with unidirectional flows and strongly singular communication protocols $φ(x) = |x|^{-(d+α)}$ for $α\in (0,2)$. Our paper establishes global regularity results in both the subcritical regime $1<α<2$ and the critical regime $α=1$. Notably, when $α=1$, the system exhibits a critical scaling similar to the critical quasi-… ▽ More We investigate global solutions to the Euler-alignment system in $d$ dimensions with unidirectional flows and strongly singular communication protocols $φ(x) = |x|^{-(d+α)}$ for $α\in (0,2)$. Our paper establishes global regularity results in both the subcritical regime $1<α<2$ and the critical regime $α=1$. Notably, when $α=1$, the system exhibits a critical scaling similar to the critical quasi-geostrophic equation. To achieve global well-posedness, we employ a novel method based on propagating the modulus of continuity. Our approach introduces the concept of simultaneously propagating multiple moduli of continuity, which allows us to effectively handle the system of two equations with critical scaling. Additionally, we improve the regularity criteria for solutions to this system in the supercritical regime $0<α<1$. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Comments: 31 pages

MSC Class: 35Q35; 76N10; 35B65; 35B40

Finite- and Infinite-Time Cluster Formation for Alignment Dynamics on the Real Line

Authors: Trevor M. Leslie, Changhui Tan

Abstract: We show that the locations where finite- and infinite-time clustering occurs for the 1D Euler-alignment system can be determined using only the initial data. Our present work provides the first results on the structure of the finite-time singularity set and asymptotic clusters associated to a weak solution. In many cases, the eventual size of the cluster can be read off directly from the flux asso… ▽ More We show that the locations where finite- and infinite-time clustering occurs for the 1D Euler-alignment system can be determined using only the initial data. Our present work provides the first results on the structure of the finite-time singularity set and asymptotic clusters associated to a weak solution. In many cases, the eventual size of the cluster can be read off directly from the flux associated to a scalar balance law formulation of the system. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Comments: 33 pages, 3 figures

Privacy-Preserving Adaptive Traffic Signal Control in a Connected Vehicle Environment

Authors: Chaopeng Tan, Kaidi Yang

Abstract: Although Connected Vehicles (CVs) have demonstrated tremendous potential to enhance traffic operations, they can impose privacy risks on individual travelers, e.g., leaking sensitive information about their frequently visited places, routing behavior, etc. Despite the large body of literature that devises various algorithms to exploit CV information, research on privacy-preserving traffic control… ▽ More Although Connected Vehicles (CVs) have demonstrated tremendous potential to enhance traffic operations, they can impose privacy risks on individual travelers, e.g., leaking sensitive information about their frequently visited places, routing behavior, etc. Despite the large body of literature that devises various algorithms to exploit CV information, research on privacy-preserving traffic control is still in its infancy. In this paper, we aim to fill this research gap and propose a privacy-preserving adaptive traffic signal control method using CV data. Specifically, we leverage secure Multi-Party Computation and differential privacy to devise a privacy-preserving CV data aggregation mechanism, which can calculate key traffic quantities without any CVs having to reveal their private data. We further develop a linear optimization model for adaptive signal control based on the traffic variables obtained via the data aggregation mechanism. The proposed linear programming problem is further extended to a stochastic programming problem to explicitly handle the noises added by the differentially private mechanism. Evaluation results show that the linear optimization model preserves privacy with a marginal impact on control performance, and the stochastic programming model can significantly reduce residual queues compared to the linear programming model, with almost no increase in vehicle delay. Overall, our methods demonstrate the feasibility of incorporating privacy-preserving mechanisms in CV-based traffic modeling and control, which guarantees both utility and privacy. △ Less

Submitted 11 May, 2023; originally announced May 2023.

Journal ref: Transportation Research Part C: Emerging Technologies, Volume 158, 2024, 104453,

A Budget-Adaptive Allocation Rule for Optimal Computing Budget Allocation

Authors: Zirui Cao, Haowei Wang, Ek Peng Chew, Haobin Li, Kok Choon Tan

Abstract: Simulation-based ranking and selection (R&S) is a popular technique for optimizing discrete-event systems (DESs). It evaluates the mean performance of system designs by simulation outputs and aims to identify the best system design from a set of alternatives by intelligently allocating a limited simulation budget. In R&S, the optimal computing budget allocation (OCBA) is an efficient budget alloca… ▽ More Simulation-based ranking and selection (R&S) is a popular technique for optimizing discrete-event systems (DESs). It evaluates the mean performance of system designs by simulation outputs and aims to identify the best system design from a set of alternatives by intelligently allocating a limited simulation budget. In R&S, the optimal computing budget allocation (OCBA) is an efficient budget allocation rule that asymptotically maximizes the probability of correct selection (PCS). In this paper, we first show the asymptotic OCBA rule can be recovered by considering a large-scale problem with a specific large budget. Considering a sufficiently large budget can greatly simplify computations, but it also causes the asymptotic OCBA rule ignoring the impact of budget. To address this, we then derive a budget-adaptive rule under the setting where budget is not large enough to simplify computations. The proposed budget-adaptive rule determines the ratio of total budget allocated to designs based on the budget size, and its budget-adaptive property highlights the significant impact of budget on allocation strategy. Based on the proposed budget-adaptive rule, two heuristic algorithms are developed. In the numerical experiments, the superior efficiency of our proposed allocation rule is shown. △ Less

Submitted 10 April, 2025; v1 submitted 5 April, 2023; originally announced April 2023.

Dispersion entropy: A Measure of Irregularity for Graph Signals

Authors: John Stewart Fabila-Carrasco, Chao Tan, Javier Escudero

Abstract: We introduce a novel method, called Dispersion Entropy for Graph Signals, $DE_G$, as a powerful tool for analysing the irregularity of signals defined on graphs. We demonstrate the effectiveness of $DE_G$ in detecting changes in the dynamics of signals defined on synthetic and real-world graphs, by defining mixed processing on random geometric graphs or those exhibiting with small-world properties… ▽ More We introduce a novel method, called Dispersion Entropy for Graph Signals, $DE_G$, as a powerful tool for analysing the irregularity of signals defined on graphs. We demonstrate the effectiveness of $DE_G$ in detecting changes in the dynamics of signals defined on synthetic and real-world graphs, by defining mixed processing on random geometric graphs or those exhibiting with small-world properties. Remarkably, $DE_G$ generalises the classical dispersion entropy for univariate time series, enabling its application in diverse domains such as image processing, time series analysis, and network analysis, as well as in establishing theoretical relationships (i.e., graph centrality measures, spectrum). Our results indicate that $DE_G$ effectively captures the irregularity of graph signals across various network configurations, successfully differentiating between distinct levels of randomness and connectivity. Consequently, $DE_G$ provides a comprehensive framework for entropy analysis of various data types, enabling new applications of dispersion entropy not previously feasible, and revealing relationships between graph signals and its graph topology. △ Less

Submitted 31 March, 2023; originally announced March 2023.

Comments: 9 pages, 10 figures, 1 table

MSC Class: 05C82; 05C85; 37E25; 05C50; 68R01; 68R10

Criteria for stabilizing a multi-delay stochastic system with multiplicative control-dependent noises

Authors: Cheng Tan, Zhengqiang Zhang, Haoting Sui, Wing Shing Wong

Abstract: In this paper, we investigate the mean-square stabilization for discrete-time stochastic systems that endure both multiple input delays and multiplicative control-dependent noises. For such multi-delay stochastic systems, we for the first time put forward two stabilization criteria: Riccati type and Lyapunov type. On the one hand, we adopt a reduction method to reformulate the original multi-delay… ▽ More In this paper, we investigate the mean-square stabilization for discrete-time stochastic systems that endure both multiple input delays and multiplicative control-dependent noises. For such multi-delay stochastic systems, we for the first time put forward two stabilization criteria: Riccati type and Lyapunov type. On the one hand, we adopt a reduction method to reformulate the original multi-delay stochastic system to a delay-free auxiliary system and present their equivalent proposition for stabilization. Then, by introducing a delay-dependent algebraic Riccati equation (DDARE), we prove that the system under consideration is stabilizable if and only if the developed DDARE has a unique positive definite solution. On the other hand, we characterize the delay-dependent Lyapunov equation (DDLE)-based criterion, which can be verified by linear matrix inequality (LMI) feasibility test. Besides, under some restricted structure, we propose an existence theorem of delay margin and more importantly, derive an explicit formula for computing its exact value. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Languages given by Finite Automata over the Unary Alphabet

Authors: Wojciech Czerwiński, Maciej Dębski, Tomasz Gogasz, Gordon Hoi, Sanjay Jain, Michał Skrzypczak, Frank Stephan, Christopher Tan

Abstract: This paper studies the complexity of operations on finite automata and the complexity of their decision problems when the alphabet is unary. Let $n$ denote the maximum of the number of states of the input finite automata considered in the corresponding results. The following main results are obtained: (1) Given two unary NFAs recognising $L$ and $H$, respectively, one can decide whether… ▽ More This paper studies the complexity of operations on finite automata and the complexity of their decision problems when the alphabet is unary. Let $n$ denote the maximum of the number of states of the input finite automata considered in the corresponding results. The following main results are obtained: (1) Given two unary NFAs recognising $L$ and $H$, respectively, one can decide whether $L \subseteq H$ as well as whether $L = H$ in time $2^{O((n \log n)^{1/3})}$. The previous upper bound on time was $2^{O((n \log n)^{1/2})}$ as given by Chrobak (1986), and this bound was not significantly improved since then. (2) Given two unary UFAs (unambiguous finite automata) recognising $L$ and $H$, respectively, one can determine a UFA recognising $L \cup H$ and a UFA recognising complement of $L$, where these output UFAs have the number of states bounded by a quasipolynomial in $n$. However, in the worst case, a UFA for recognising concatenation of languages recognised by two $n$-state UFAs, uses $2^{Θ((n \log^2 n)^{1/3})}$ states. (3) Given a unary language $L$, if $L$ contains the word of length $k$, then let $L(k)=1$ else let $L(k)=0$. Let $ω_L$ be the $ω$-word $L(0)L(1)\ldots$ and let $\cal L$ be a fixed $ω$-regular language. The last section studies how difficult it is to decide, given an $n$-state UFA or NFA △ Less

Submitted 13 December, 2024; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: Extended version of paper at FSTTCS 2023 of same authors with same title. The paper gives improved lower bound for concatenation of UFAs

MSC Class: 03D05; 68Q15; 68Q17; 68Q45

Analyticity of Steklov Eigenvalues in nearly-hyperspherical domains in \mathbb{R}^{d+1}

Authors: Chee Han Tan, Robert Viator

Abstract: We consider the Dirichlet-to-Neumann operator (DNO) on nearly-hyperspherical domains in dimension greater than 3. Treating such domains as perturbations of the ball, we prove the analytic dependence of the DNO on the shape perturbation parameter for fixed perturbation functions. Consequently, we conclude that the Steklov eigenvalues are analytic in the shape perturbation parameter as well. To obta… ▽ More We consider the Dirichlet-to-Neumann operator (DNO) on nearly-hyperspherical domains in dimension greater than 3. Treating such domains as perturbations of the ball, we prove the analytic dependence of the DNO on the shape perturbation parameter for fixed perturbation functions. Consequently, we conclude that the Steklov eigenvalues are analytic in the shape perturbation parameter as well. To obtain these results, we use the strategy of Nicholls and Nigam (2004), and of Viator and Osting (2020); we transform the Laplace-Dirichlet problem on the perturbed domain to a more complicated, parameter-dependent equation on the ball, and then geometrically bound the Neumann expansion of the transformed DNO. These results are a generalization of the work of Viator and Osting (2020) for dimension 2 and 3. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Journal ref: Research in the Mathematical Science 11 (2024), no 4

Singular integrals with product kernels associated with mixed homogeneities and Hardy spaces

Authors: Yongsheng Han, Steven Krantz, Chaoqiang Tan

Abstract: This paper is motivated by Phong and Stein's paper on non-standard singular integrals with mixed homogeneities. Our purpose is to study these new non-standard convolution singular integrals and establish the boundedness of these singular integrals on the Hardy spaces. This paper is motivated by Phong and Stein's paper on non-standard singular integrals with mixed homogeneities. Our purpose is to study these new non-standard convolution singular integrals and establish the boundedness of these singular integrals on the Hardy spaces. △ Less

Submitted 5 February, 2023; v1 submitted 26 January, 2023; originally announced January 2023.

MSC Class: 42B20; 42B25; 46E35

Smallest nonabelian quotients of surface braid groups

Authors: Cindy Tan

Abstract: We give a sharp lower bound on the size of nonabelian quotients of the surface braid group $B_n(Σ_g)$ and classify all quotients that attain the lower bound: Depending on $n$ and $g$, a quotient of minimum order is either a symmetric group or a 2-step nilpotent $p$-group. We give a sharp lower bound on the size of nonabelian quotients of the surface braid group $B_n(Σ_g)$ and classify all quotients that attain the lower bound: Depending on $n$ and $g$, a quotient of minimum order is either a symmetric group or a 2-step nilpotent $p$-group. △ Less

Submitted 7 June, 2023; v1 submitted 4 January, 2023; originally announced January 2023.

Comments: 9 pages; v3: minor typos corrected

Journal ref: Algebr. Geom. Topol. 24 (2024) 3997-4006

Probability bounds for $n$ random events under $(n-1)$-wise independence

Authors: Karthik Natarajan, Arjun Kodagehalli Ramachandra, Colin Tan

Abstract: A collection of $n$ random events is said to be $(n - 1)$-wise independent if any $n - 1$ events among them are mutually independent. We characterise all probability measures with respect to which $n$ random events are $(n - 1)$-wise independent. We provide sharp upper and lower bounds on the probability that at least $k$ out of $n$ events with given marginal probabilities occur over these probabi… ▽ More A collection of $n$ random events is said to be $(n - 1)$-wise independent if any $n - 1$ events among them are mutually independent. We characterise all probability measures with respect to which $n$ random events are $(n - 1)$-wise independent. We provide sharp upper and lower bounds on the probability that at least $k$ out of $n$ events with given marginal probabilities occur over these probability measures. The bounds are shown to be computable in polynomial time. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Comments: 18 pages, 2 tables

MSC Class: 60E05

Asymptotic behaviors for the compressible Euler system with nonlinear velocity alignment

Authors: McKenzie Black, Changhui Tan

Abstract: We consider the compressible Euler system with a family of nonlinear velocity alignments. The system is a nonlinear extension of the Euler-alignment system in collective dynamics. We show the asymptotic emergent phenomena of the system: alignment and flocking. Different types of nonlinearity and nonlocal communication protocols are investigated, resulting in a variety of different asymptotic behav… ▽ More We consider the compressible Euler system with a family of nonlinear velocity alignments. The system is a nonlinear extension of the Euler-alignment system in collective dynamics. We show the asymptotic emergent phenomena of the system: alignment and flocking. Different types of nonlinearity and nonlocal communication protocols are investigated, resulting in a variety of different asymptotic behaviors. △ Less

Submitted 1 November, 2022; v1 submitted 20 October, 2022; originally announced October 2022.

Comments: 27 pages, 4 figures

MSC Class: 35B40; 35B06; 35Q31; 35R11

Joint Estimation of Multi-phase Traffic Demands at Signalized Intersections Based on Connected Vehicle Trajectories

Authors: Chaopeng Tan, Jiarong Yao, Xuegang, Ban, Keshuang Tang

Abstract: Accurate traffic demand estimation is critical for the dynamic evaluation and optimization of signalized intersections. Existing studies based on connected vehicle (CV) data are designed for a single phase only and have not sufficiently studied the real-time traffic demand estimation for oversaturated traffic conditions. Therefore, this study proposes a cycle-by-cycle multi-phase traffic demand jo… ▽ More Accurate traffic demand estimation is critical for the dynamic evaluation and optimization of signalized intersections. Existing studies based on connected vehicle (CV) data are designed for a single phase only and have not sufficiently studied the real-time traffic demand estimation for oversaturated traffic conditions. Therefore, this study proposes a cycle-by-cycle multi-phase traffic demand joint estimation method at signalized intersections based on CV data that considers both undersaturated and oversaturated traffic conditions. First, a joint weighted likelihood function of traffic demands for multiple phases is derived given real-time observed CV trajectories, which considers the initial queue and relaxes the first-in-first-out assumption by treating each queued CV as an independent observation. Then, the sample size of the historical CVs is used to derive a joint prior distribution of traffic demands. Ultimately, a joint estimation method based on the maximum a posteriori (i.e., the JO-MAP method) is developed for cycle-based multi-phase traffic demand estimation. The proposed method is evaluated using both simulation and empirical data. Simulation results indicate that the proposed method can produce reliable estimates under different penetration rates, arrival patterns, and traffic demands. The feature of joint estimation makes our method less demanding for the penetration rate of CVs and the consideration of prior distribution can significantly improve the estimation accuracy. Empirical results show that the proposed method achieves accurate cycle-based traffic demand estimation with a MAPE of 12.73%, outperforming the other four methods. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Comments: 30 pages, 11 figures

Cumulative Flow Diagram-Based Fixed-Time Signal Timing Optimization at Isolated Intersections Using Connected Vehicle Trajectory Data

Authors: Chaopeng Tan, Yumin Cao, Xuegang, Ban, Keshuang Tang

Abstract: Time-dependent fixed-time control is a cost-effective control method that is widely employed at signalized intersections in numerous countries. Existing optimization models rely on traditional delay models with specific assumptions regarding vehicle arrivals. Recent advancements in intelligent mobility have led to development of high-resolution trajectory data of connected vehicles (CVs), thereby… ▽ More Time-dependent fixed-time control is a cost-effective control method that is widely employed at signalized intersections in numerous countries. Existing optimization models rely on traditional delay models with specific assumptions regarding vehicle arrivals. Recent advancements in intelligent mobility have led to development of high-resolution trajectory data of connected vehicles (CVs), thereby providing opportunities for improving fixed-time signal control. Taking advantage of CV trajectories, this study proposes a cumulative flow diagram (CFD)-based signal timing optimization method for fixed-time signal control at isolated intersections, which includes a CFD model and a multi-objective optimization model. The CFD model is formulated to profile the time-dependent vehicle arrival and departure processes under varying signal timing plans, where the intersection demand is estimated based on a weighted maximum likelihood estimation method. Then, a CFD-based multi-objective optimization model is proposed for both undersaturated and oversaturated traffic conditions. The primary objective is to minimize the exceeded queue dissipation time, whereas the secondary objective is to minimize the average delay at the intersection. Considering the data-driven property of the CFD model, a bi-level particle swarm optimization-based algorithm is then specially designed to solve the optimal cycle length (and the reference point if it is considered) and green ratios separately. The proposed method is evaluated based on simulation data and compared with Synchro. The results indicate that the proposed method outperforms Synchro under various traffic conditions in terms of average delay and queue since the time-dependent vehicle arrivals during the cycle are considered in a CV trajectory data-driven way. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Comments: 15 pages, 20 figures

Journal ref: IEEE Transactions on Intelligent Transportation Systems, early access, 2024

A noise-robust Multivariate Multiscale Permutation Entropy for two-phase flow characterisation

Authors: John Stewart Fabila-Carrasco, Chao Tan, Javier Escudero

Abstract: Using a graph-based approach, we propose a multiscale permutation entropy to explore the complexity of multivariate time series over multiple time scales. This multivariate multiscale permutation entropy (MPEG) incorporates the interaction between channels by constructing an underlying graph for each coarse-grained time series and then applying the recent permutation entropy for graph signals. Giv… ▽ More Using a graph-based approach, we propose a multiscale permutation entropy to explore the complexity of multivariate time series over multiple time scales. This multivariate multiscale permutation entropy (MPEG) incorporates the interaction between channels by constructing an underlying graph for each coarse-grained time series and then applying the recent permutation entropy for graph signals. Given the challenge posed by noise in real-world data analysis, we investigate the robustness to noise of MPEG using synthetic time series and demonstrating better performance than similar multivariate entropy metrics. Two-phase flow data is an important industrial process characterised by complex, dynamic behaviour. MPEG characterises the flow behaviour transition of two-phase flow by incorporating information from different scales. The experimental results show that MPEG is sensitive to the dynamic of flow patterns, allowing us to distinguish between different flow patterns. △ Less

Submitted 14 October, 2022; originally announced October 2022.

Comments: 5 pages, 6 figures

MSC Class: 05C76; 76T10; 94A17: 05C21

Accelerated Kinetic Monte Carlo methods for general nonlocal traffic flow models

Authors: Yi Sun, Changhui Tan

Abstract: This paper presents a class of one-dimensional cellular automata (CA) models on traffic flows, featuring nonlocal look-ahead interactions. We develop kinetic Monte Carlo (KMC) algorithms to simulate the dynamics. The standard KMC method can be inefficient for models with global interactions. We design an accelerated KMC method to reduce the computational complexity in the evaluation of the nonloca… ▽ More This paper presents a class of one-dimensional cellular automata (CA) models on traffic flows, featuring nonlocal look-ahead interactions. We develop kinetic Monte Carlo (KMC) algorithms to simulate the dynamics. The standard KMC method can be inefficient for models with global interactions. We design an accelerated KMC method to reduce the computational complexity in the evaluation of the nonlocal transition rates. We investigate several numerical experiments to demonstrate the efficiency of the accelerated algorithm, and obtain the fundamental diagrams of the dynamics under various parameter settings. △ Less

Submitted 17 June, 2022; originally announced July 2022.

Comments: 22 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:2001.10017

MSC Class: 90B20; 35Q82; 35L65; 60K30

Global well-posedness and asymptotic behavior in critical spaces for the compressible Euler system with velocity alignment

Authors: Xiang Bai, Qianyun Miao, Changhui Tan, Liutang Xue

Abstract: In this paper, we study the Cauchy problem of the compressible Euler system with strongly singular velocity alignment. We prove the existence and uniqueness of global solutions in critical Besov spaces to the considered system with small initial data. The local-in-time solvability is also addressed. Moreover, we show the large-time asymptotic behavior and optimal decay estimates of the solutions a… ▽ More In this paper, we study the Cauchy problem of the compressible Euler system with strongly singular velocity alignment. We prove the existence and uniqueness of global solutions in critical Besov spaces to the considered system with small initial data. The local-in-time solvability is also addressed. Moreover, we show the large-time asymptotic behavior and optimal decay estimates of the solutions as $t\to \infty$. △ Less

Submitted 6 July, 2022; originally announced July 2022.

Comments: 39 pages

MSC Class: 35Q31; 35R11; 76N10; 35B40

Singular integral operators, $T1$ theorem, Littlewood-Paley theory and Hardy spaces in Dunkl Setting

Authors: Chaoqian Tan, Yanchang Han, Yongsheng Han, Ming-Yi Lee, Ji Li

Abstract: The purpose of this paper is to introduce a new class of singular integral operators in the Dunkl setting involving both the Euclidean metric and the Dunkl metric. Then we provide the $T1$ theorem, the criterion for the boundedness on $L^2$ for these operators. Applying this singular integral operator theory, we establish the Littlewood-Paley theory and the Dunkl-Hardy spaces. As applications, the… ▽ More The purpose of this paper is to introduce a new class of singular integral operators in the Dunkl setting involving both the Euclidean metric and the Dunkl metric. Then we provide the $T1$ theorem, the criterion for the boundedness on $L^2$ for these operators. Applying this singular integral operator theory, we establish the Littlewood-Paley theory and the Dunkl-Hardy spaces. As applications, the boundedness of singular integral operators, particularly, the Dunkl-Rieze transforms, on the Dunkl-Hardy spaces is given. The $L^2$ theory and the singular integral operator theory play crucial roles. New tools developed in this paper include the weak-type discrete Calderón reproducing formulae, new test functions, and distributions, the Littlewood-Paley, the wavelet-type decomposition, and molecule characterizations of the Dunkl-Hardy space, Coifman's approximation to the identity and the decomposition of the identity operator on $L^2$, Meyer's commutation Lemma, and new almost orthogonal estimates in the Dunkl setting. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Sharp critical thresholds for a class of nonlocal traffic flow models

Authors: Thomas Hamori, Changhui Tan

Abstract: We study a class of traffic flow models with nonlocal look-ahead interactions. The global regularity of solutions depend on the initial data. We obtain sharp critical threshold conditions that distinguish the initial data into a trichotomy: subcritical initial conditions lead to global smooth solutions, while two types of supercritical initial conditions lead to two kinds of finite time shock form… ▽ More We study a class of traffic flow models with nonlocal look-ahead interactions. The global regularity of solutions depend on the initial data. We obtain sharp critical threshold conditions that distinguish the initial data into a trichotomy: subcritical initial conditions lead to global smooth solutions, while two types of supercritical initial conditions lead to two kinds of finite time shock formations. The existence of non-trivial subcritical initial data indicates that the nonlocal look-ahead interactions can help avoid shock formations, and hence prevent the creation of traffic jams. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Comments: 24 pages, 1 figure

MSC Class: 35B51; 35B65; 35L65; 35L67

Multivariate permutation entropy, a Cartesian graph product approach

Authors: John Stewart Fabila-Carrasco, Chao Tan, Javier Escudero

Abstract: Entropy metrics are nonlinear measures to quantify the complexity of time series. Among them, permutation entropy is a common metric due to its robustness and fast computation. Multivariate entropy metrics techniques are needed to analyse data consisting of more than one time series. To this end, we present a multivariate permutation entropy, $MPE_G$, using a graph-based approach. Given a multiv… ▽ More Entropy metrics are nonlinear measures to quantify the complexity of time series. Among them, permutation entropy is a common metric due to its robustness and fast computation. Multivariate entropy metrics techniques are needed to analyse data consisting of more than one time series. To this end, we present a multivariate permutation entropy, $MPE_G$, using a graph-based approach. Given a multivariate signal, the algorithm $MPE_G$ involves two main steps: 1) we construct an underlying graph G as the Cartesian product of two graphs G1 and G2, where G1 preserves temporal information of each times series together with G2 that models the relations between different channels, and 2) we consider the multivariate signal as samples defined on the regular graph G and apply the recently introduced permutation entropy for graphs. Our graph-based approach gives the flexibility to consider diverse types of cross channel relationships and signals, and it overcomes with the limitations of current multivariate permutation entropy. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 5 pages, 4 figures, 2 tables

MSC Class: 37M25; 05C82; 94C15; 18M35

Optimal finite elements for ergodic stochastic two-scale elliptic equations

Authors: Viet Ha Hoang, Chen Hui Pang, Wee Chin Tan

Abstract: We develop an essentially optimal finite element approach for solving ergodic stochastic two-scale elliptic equations whose two-scale coefficient may depend also on the slow variable. We solve the limiting stochastic two-scale homogenized equation obtained from the stochastic two-scale convergence in the mean (A. Bourgeat, A. Mikelic and S. Wright, J. reine angew. Math, Vol. 456, 1994), whose solu… ▽ More We develop an essentially optimal finite element approach for solving ergodic stochastic two-scale elliptic equations whose two-scale coefficient may depend also on the slow variable. We solve the limiting stochastic two-scale homogenized equation obtained from the stochastic two-scale convergence in the mean (A. Bourgeat, A. Mikelic and S. Wright, J. reine angew. Math, Vol. 456, 1994), whose solution comprises of the solution to the homogenized equation and the corrector, by truncating the infinite domain of the fast variable and using the sparse tensor product finite elements. We show that the convergence rate in terms of the truncation level is equivalent to that for solving the cell problems in the same truncated domain. Solving this equation, we obtain the solution to the homogenized equation and the corrector at the same time, using only a number of degrees of freedom that is essentially equivalent to that required for solving one cell problem. Optimal complexity is obtained when the corrector possesses sufficient regularity with respect to both the fast and the slow variables. Although the regularity norm of the corrector depends on the size of the truncated domain, we show that the convergence rate of the approximation for the solution to the homogenized equation is independent of the size of the truncated domain. With the availability of an analytic corrector, we construct a numerical corrector for the solution of the original stochastic two-scale equation from the finite element solution to the truncated stochastic two-scale homogenized equation. Numerical examples of quasi-periodic two-scale equations, and a stochastic two-scale equation of the checker board type, whose coefficient is discontinuous, confirm the theoretical results. △ Less

Submitted 12 January, 2022; originally announced January 2022.

Critical thresholds in the Euler-Poisson-alignment system

Authors: Manas Bhatnagar, Hailiang Liu, Changhui Tan

Abstract: This paper is concerned with the global wellposedness of the Euler-Poisson-alignment (EPA) system. This system arises from collective dynamics, and features two types of nonlocal interactions: the repulsive electric force and the alignment force. It is known that the repulsive electric force generates oscillatory solutions, which is difficult to be controlled by the nonlocal alignment force using… ▽ More This paper is concerned with the global wellposedness of the Euler-Poisson-alignment (EPA) system. This system arises from collective dynamics, and features two types of nonlocal interactions: the repulsive electric force and the alignment force. It is known that the repulsive electric force generates oscillatory solutions, which is difficult to be controlled by the nonlocal alignment force using conventional comparison principles. We construct \emph{invariant regions} such that the solution trajectories cannot exit, and therefore obtain global wellposedness for subcritical initial data that lie in the invariant regions. Supercritical regions of initial data are also derived which leads to finite-time singularity formations. To handle the oscillation and the nonlocality, we introduce a new way to construct invariant regions piece by piece in the phase plane of a reformulation of the EPA system. Our result is extended to the case when the alignment force is weakly singular. The singularity leads to the loss of a priori bounds crucial in our analysis. With the help of improved estimates on the nonlocal quantities, we design non-trivial invariant regions that guarantee global wellposedness of the EPA system with weakly singular alignment interactions. △ Less

Submitted 23 November, 2021; originally announced November 2021.

Comments: 33 pages, 11 figures

MSC Class: 35B30; 35Q35; 35L65; 35L67

High Spots for the Ice-Fishing Problem with Surface Tension

Authors: Nathan Willis, Chee Han Tan, Christel Hohenegger, Braxton Osting

Abstract: In the ice-fishing problem, a half-space of fluid lies below an infinite rigid plate (``the ice'') with a hole. In this paper, we investigate the ice-fishing problem including the effects of surface tension on the free surface. The dimensionless number that describes the effect of surface tension is called the Bond number. For holes that are infinite parallel strips or circular holes, we transform… ▽ More In the ice-fishing problem, a half-space of fluid lies below an infinite rigid plate (``the ice'') with a hole. In this paper, we investigate the ice-fishing problem including the effects of surface tension on the free surface. The dimensionless number that describes the effect of surface tension is called the Bond number. For holes that are infinite parallel strips or circular holes, we transform the problem to an equivalent eigenvalue integro-differential equation on an interval and expand in the appropriate basis (Legendre and radial polynomials, respectively). We use computational methods to demonstrate that the high spot, i.e., the maximal elevation of the fundamental sloshing profile, for the IFP is in the interior of the free surface for large Bond numbers, but for sufficiently small Bond number the high spot is on the boundary of the free surface. While several papers have proven high spot results in the absence of surface tension as it depends on the shape of the container, as far as we are aware, this is the first study investigating the effects of surface tension on the location of the high spot. △ Less

Submitted 12 November, 2021; originally announced November 2021.

Comments: 23 pages, 9 figures, 4 tables

MSC Class: 76B10; 76B45; 65R15; 33C45; 45C05; 35P15; 47G20

An Isoperimetric Sloshing Problem in a Shallow Container with Surface Tension

Authors: Chee Han Tan, Christel Hohenegger, Braxton Osting

Abstract: In 1965, B. A. Troesch solved the isoperimetric sloshing problem of determining the container shape that maximizes the fundamental sloshing frequency among two classes of shallow containers: symmetric canals with a given free surface width and cross-sectional area, and radially symmetric containers with a given rim radius and volume [doi:10.1002/cpa.3160180124]. Here, we extend these results in tw… ▽ More In 1965, B. A. Troesch solved the isoperimetric sloshing problem of determining the container shape that maximizes the fundamental sloshing frequency among two classes of shallow containers: symmetric canals with a given free surface width and cross-sectional area, and radially symmetric containers with a given rim radius and volume [doi:10.1002/cpa.3160180124]. Here, we extend these results in two ways: (i) we consider surface tension effects on the fluid free surface, assuming a flat equilibrium free surface together with a pinned contact line, and (ii) we consider sinusoidal waves traveling along the canal with wavenumber $α\ge 0$ and spatial period $2π/α$; two-dimensional sloshing corresponds to the case $α= 0$. Generalizing our recent variational characterization of fluid sloshing with surface tension to the case of a pinned contact line, we derive the pinned-edge linear shallow sloshing problem, which is an eigenvalue problem for a generalized Sturm-Liouville system. In the case without surface tension, we show that the optimal shallow canal is a rectangular canal for any $α> 0$. In the presence of surface tension, we solve for the maximizing cross-section explicitly for shallow canals with any given $α\ge 0$ and shallow radially symmetric containers with $m$ azimuthal nodal lines, $m = 0, 1$. Our results reveal that the squared maximal sloshing frequency increases considerably as surface tension increases. Interestingly, both the optimal shallow canal for $α= 0$ and the optimal shallow radially symmetric container are not convex. As a consequence of our explicit solutions, we establish convergence of the maximizing cross-sections, as surface tension vanishes, to the maximizing cross-sections without surface tension. △ Less

Submitted 20 July, 2022; v1 submitted 5 November, 2021; originally announced November 2021.

Comments: 25 pages, 3 figures; comments welcome! In the updated arXiv version, (1) we stated precisely our main results in subsection 1.3, (2) we changed the method of proof of our main results to using the variational characterization, and (3) the statements of Theorems 1.1 and 1.3 have been corrected and the new theorems now apply to all $α> 0$

MSC Class: 49R05; 76M30; 76B45

Permutation Entropy for Graph Signals

Authors: John Stewart Fabila-Carrasco, Chao Tan, Javier Escudero

Abstract: Entropy metrics (for example, permutation entropy) are nonlinear measures of irregularity in time series (one-dimensional data). Some of these entropy metrics can be generalised to data on periodic structures such as a grid or lattice pattern (two-dimensional data) using its symmetry, thus enabling their application to images. However, these metrics have not been developed for signals sampled on i… ▽ More Entropy metrics (for example, permutation entropy) are nonlinear measures of irregularity in time series (one-dimensional data). Some of these entropy metrics can be generalised to data on periodic structures such as a grid or lattice pattern (two-dimensional data) using its symmetry, thus enabling their application to images. However, these metrics have not been developed for signals sampled on irregular domains, defined by a graph. Here, we define for the first time an entropy metric to analyse signals measured over irregular graphs by generalising permutation entropy, a well-established nonlinear metric based on the comparison of neighbouring values within patterns in a time series. Our algorithm is based on comparing signal values on neighbouring nodes, using the adjacency matrix. We show that this generalisation preserves the properties of classical permutation for time series and the recent permutation entropy for images, and it can be applied to any graph structure with synthetic and real signals. We expect the present work to enable the extension of other nonlinear dynamic approaches to graph signals. △ Less

Submitted 20 October, 2021; v1 submitted 1 October, 2021; originally announced October 2021.

Comments: 11 pares, 12 figures, 2 tables

Sticky particle Cucker-Smale dynamics and the entropic selection principle for the 1D Euler-alignment system

Authors: Trevor M. Leslie, Changhui Tan

Abstract: We develop a global wellposedness theory for weak solutions to the 1D Euler-alignment system with measure-valued density, bounded velocity, and locally integrable communication protocol. A satisfactory understanding of the low-regularity theory is an issue of pressing interest, as smooth solutions may lose regularity in finite time. However, no such theory currently exists except for a very specia… ▽ More We develop a global wellposedness theory for weak solutions to the 1D Euler-alignment system with measure-valued density, bounded velocity, and locally integrable communication protocol. A satisfactory understanding of the low-regularity theory is an issue of pressing interest, as smooth solutions may lose regularity in finite time. However, no such theory currently exists except for a very special class of alignment interactions. We show that the dynamics of the 1D Euler-alignment system can be effectively described by a nonlocal scalar balance law, the entropy conditions of which serves as an entropic selection principle that determines a unique weak solution of the Euler-alignment system. Moreover, the distinguished weak solution of the system can be approximated by the sticky particle Cucker--Smale dynamics. Our approach is inspired by the work of Brenier and Grenier [SIAM J. Numer. Anal, 35(6):2317-2328, 1998] on the pressureless Euler equations. △ Less

Submitted 5 August, 2022; v1 submitted 17 August, 2021; originally announced August 2021.

Comments: 32 pages. In this version, we extend our theory to the Euler-alignment system with general locally integrable communication protocols

MSC Class: 35B30; 35D30; 35Q35; 35Q92; 76N10

Critical threshold for global regularity of Euler-Monge-Ampère system with radial symmetry

Authors: Eitan Tadmor, Changhui Tan

Abstract: We study the global wellposedness of the Euler-Monge-Ampère (EMA) system. We obtain a sharp, explicit critical threshold in the space of initial configurations which guarantees the global regularity of EMA system with radially symmetric initial data. The result is obtained using two independent approaches -- one using spectral dynamics of Liu & Tadmor [Comm. Math. Physics 228(3):435-466, 2002] and… ▽ More We study the global wellposedness of the Euler-Monge-Ampère (EMA) system. We obtain a sharp, explicit critical threshold in the space of initial configurations which guarantees the global regularity of EMA system with radially symmetric initial data. The result is obtained using two independent approaches -- one using spectral dynamics of Liu & Tadmor [Comm. Math. Physics 228(3):435-466, 2002] and another based on the geometric approach of Brenier & Loeper [Geom. Funct. Analysis 14(6):1182--1218, 2004]. The results are extended to 2D radial EMA with swirl. △ Less

Submitted 21 December, 2021; v1 submitted 30 July, 2021; originally announced August 2021.

MSC Class: 35Q35; 35B30; 35K96; 76N10

The Flow of Polynomial Roots Under Differentiation

Authors: Alexander Kiselev, Changhui Tan

Abstract: The question about the behavior of gaps between zeros of polynomials under differentiation is classical and goes back to Marcel Riesz. In this paper, we analyze a nonlocal nonlinear partial differential equation formally derived by Stefan Steinerberger to model dynamics of roots of polynomials under differentiation. Interestingly, the same equation has also been recently obtained formally by Dimit… ▽ More The question about the behavior of gaps between zeros of polynomials under differentiation is classical and goes back to Marcel Riesz. In this paper, we analyze a nonlocal nonlinear partial differential equation formally derived by Stefan Steinerberger to model dynamics of roots of polynomials under differentiation. Interestingly, the same equation has also been recently obtained formally by Dimitri Shlyakhtenko and Terence Tao as the evolution equation for free fractional convolution of a measure - an object in free probability that is also related to minor processes for random matrices. The partial differential equation bears striking resemblance to hydrodynamic models used to describe the collective behavior of agents (such as birds, fish or robots) in mathematical biology. We consider periodic setting and show global regularity and exponential in time convergence to uniform density for solutions corresponding to strictly positive smooth initial data. In the second part of the paper we connect rigorously solutions of the Steinerberger's PDE and evolution of roots under differentiation for a class of trigonometric polynomials. Namely, we prove that the distribution of the zeros of the derivatives of a polynomial and the corresponding solutions of the PDE remain close for all times. The global in time control follows from the analysis of the propagation of errors equation, which turns out to be a nonlinear fractional heat equation with the main term similar to the modulated discretized fractional Laplacian $(-Δ)^{1/2}$. △ Less

Submitted 16 December, 2020; originally announced December 2020.

Comments: 87 Pages

MSC Class: 26C10; 35Q70; 44A15; 46L54; 35Q92; 35Q35; 60B20

Eulerian dynamics in multi-dimensions with radial symmetry

Authors: Changhui Tan

Abstract: We study the global wellposedness of pressure-less Eulerian dynamics in multi-dimensions, with radially symmetric data. Compared with the 1D system, a major difference in multi-dimensional Eulerian dynamics is the presence of the spectral gap, which is difficult to control in general. We propose a new pair of scalar quantities that provides a significant better control of the spectral gap. Two app… ▽ More We study the global wellposedness of pressure-less Eulerian dynamics in multi-dimensions, with radially symmetric data. Compared with the 1D system, a major difference in multi-dimensional Eulerian dynamics is the presence of the spectral gap, which is difficult to control in general. We propose a new pair of scalar quantities that provides a significant better control of the spectral gap. Two applications are presented. (i) the Euler-Poisson equations: we show a sharp threshold condition on initial data that distinguish global regularity and finite time blowup; (ii) the Euler-alignment equations: we show a large subcritical region of initial data that leads to global smooth solutions. △ Less

Submitted 30 July, 2020; originally announced July 2020.

Comments: 34 pages, 6 figures

MSC Class: 35Q35

On the global classical solution to compressible Euler system with singular velocity alignment

Authors: Li Chen, Changhui Tan, Lining Tong

Abstract: We consider a compressible Euler system with singular velocity alignment, known as the Euler-alignment system, describing the flocking behaviors of large animal groups. We establish a local well-posedness theory for the system, as well as a global well-posedness theory for small initial data. We also show the asymptotic flocking behavior, where solutions converge to a constant steady state exponen… ▽ More We consider a compressible Euler system with singular velocity alignment, known as the Euler-alignment system, describing the flocking behaviors of large animal groups. We establish a local well-posedness theory for the system, as well as a global well-posedness theory for small initial data. We also show the asymptotic flocking behavior, where solutions converge to a constant steady state exponentially in time. △ Less

Submitted 16 July, 2020; originally announced July 2020.

Comments: 21 pages

MSC Class: 35Q35; 35Q70; 35L65