SearcharxivSearch

arXiv subjects

Honghai Li

Publications and source records attributed to Honghai Li.

14 recordsLinked to original sources

Thin divisible designs graphs: an interplay between fixed-point free involutions of $(v,k,\lambda)$-graphs and symmetric weighing matrices

In this paper, we illustrate important aspects of the interplay between weighing matrices, $(v,k,\lambda)$-graphs with fixed-point free involutions, and signed graphs with an orthogonal adjacency matrix, which arises from thin divisible design graphs. In particular, we present two new recursive constructions of regular symmetric Hadamard matrices with constant diagonal (equivalently, two new recursive constructions of strongly regular graphs) and we find a fixed-point free involution in the symplectic graph $Sp(4,q)$, where $q$ is odd, which leads to orthogonal signings for an infinite family of antipodal distance-regular graphs of diameter 3.

math.CO

Spectral extremal problems for the $(p,Q)$-spectral radius of hypergraphs

Let $Q$ be an $s$-vertex $r$-uniform hypergraph, and let $H$ be an $n$-vertex $r$-uniform hypergraph. Denote by $\mathcal{N}(Q,H)$ the number of isomorphic copies of $Q$ in $H$. For a hereditary family $\mathcal{P}$ of $r$-uniform hypergraphs, define $$\pi(Q,\mathcal{P}):=\lim\limits_{n\to \infty}\binom{n}{s}^{-1}\max\{\mathcal{N}(Q,H): H\in \mathcal{P}~~\mbox{and}~~|V(H)|=n\}.$$ For $p\geq1$, the $(p,Q)$-spectral radius of $H$ is defined as $$\lambda^{(p)}(Q,H):=\max_{\|\mathbf{x}\|_{p}=1}s!\sum_{\{i_{1},\ldots,i_{s}\}\in \binom{[n]}{s}}\mathcal{N}(Q,H[\{i_{1},\ldots,i_{s}\}])x_{i_{1}}\cdots x_{i_{s}}.$$ In this paper, we present a systematically investigation of the parameter $\lambda^{(p)}(Q,H)$. First, we prove that the limit $$\lambda^{(p)}(Q,\mathcal{P}):=\lim\limits_{n\to \infty}n^{s/p-s}\max\{\lambda^{(p)}(Q,H): H\in \mathcal{P}~~\mbox{and}~~|V(H)|=n\}$$ exists, and for $p>1$, it satisfies $$\pi(Q,\mathcal{P})=\lambda^{(p)}(Q,\mathcal{P}).$$ Second, we study spectral generalized Tur\'an problems. Specifically, we establish a spectral stability result and apply it to derive a spectral version of the Erd\H{o}s Pentagon Problem: for $p\geq1$ and sufficiently large $n$, the balanced blow-up of $C_{5}$ maximizes $\lambda^{(p)}(C_{5},H)$ among all $n$-vertex triangle-free graphs $H$, thereby improving a result of Liu \cite{Liu2025}. Furthermore, we show that for $p\geq1$ and sufficiently large $n$, the $l$-partite Tur\'an graph $T_{l}(n)$ attains the maximum $\lambda^{(p)}(K_{s},H)$ among all $n$-vertex F-free graphs $H$, where $F$ is an edge-critical graph with $\chi(F)=l+1$. This provides a spectral analogue of a theorem due to Ma and Qiu \cite{MQ2020}.

math.CO

Spectral Tur\'an-type problems for the $\alpha$-spectral radius of hypergraphs with degree stability

An $r$-pattern $P$ is an ordered pair $P=([l],E)$, where $l$ is a positive integer and $E$ is a set of $r$-multisets with elements from $[l]$. An $r$-graph $H$ is said to be $P$-colorable if there is a homomorphism $\phi$: $V(H)\rightarrow [l]$ such that $\{\phi(v_{1}),\ldots,\phi(v_{r})\}\in E$ for every edge $\{v_{1},\ldots,v_{r}\}\in E(H)$. Let $\mathrm{Col}(P)$ denote the family of all $P$-colorable $r$-graphs. This paper studies spectral extremal problems for $\alpha$-spectral radius of hypergraphs via analytic techniques. We first prove that for any $r$-pattern $P$, the hypergraph attaining the maximum $\alpha$-spectral radius in $\mathrm{Col}(P)$ is asymptotically regular. Specifically, we establish asymptotically tight lower bounds for the minimum component of the principal eigenvector and the minimum degree of the spectral extremal hypergraphs in $\mathrm{Col}(P)$. Building on this regularity, we further show that for any family $\mathcal{F}$ of $r$-graphs that is degree-stable with respect to $\mathrm{Col}(P)$, spectral Tur\'an-type problems can be completely reduced to spectral extremal problems within $\mathrm{Col}(P)$. As an application, we determine the maximum $\alpha$-spectral radius ($\alpha\geq1$) among all $n$-vertex $F^{(r)}$-free $r$-graphs, where $F^{(r)}$ is the $r$-expansion of the color-critical graph $F$. This provides a powerful reduction tool for handling spectral Tur\'{a}n-type problems in hypergraphs. Finally, leveraging the spectral method, we derive a corresponding edge Tur\'an extremal result. More precisely, we show that if $\mathcal{F}$ is degree-stable with respect to $\mathrm{Col}(P)$, then every $\mathcal{F}$-free edge extremal hypergraph must be a $P$-colorable hypergraph.

math.CO

The signless Laplacian spectral Tur\'{a}n problems for color-critical graphs

The well-known Tur\'{a}n theorem states that if $G$ is an $n$-vertex $K_{r+1}$-free graph, then $e(G)\le e(T_{n,r})$, with equality if and only if $G$ is the $r$-partite Tur\'{a}n graph $T_{n,r}$. A graph $F$ is called color-critical if it contains an edge whose deletion reduces its chromatic number. Extending the Tur\'{a}n theorem, Simonovits (1968) proved that for any color-critical graph $F$ with $\chi (F)=r+1$ and sufficiently large $n$, the Tur\'{a}n graph $T_{n,r}$ is the unique graph with maximum number of edges among all $n$-vertex $F$-free graphs. Subsequently, Nikiforov [Electron. J. Combin., 16 (1) (2009)] proved a spectral version of the Simonovits theorem in terms of the adjacency spectral radius. In this paper, we show an extension of the Simonovits theorem for the signless Laplacian spectral radius. We prove that for any color-critical graph $F$ with $\chi (F)=r+1\ge 4$ and sufficiently large $n$, if $G$ is an $F$-free graph on $n$ vertices, then $q(G)\le q(T_{n,r})$, with equality if and only if $G=T_{n,r}$. Our approach is to establish a signless Laplacian spectral version of the criterion of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)]. Consequently, we can determine the signless Laplacian spectral extremal graphs for generalized books and even wheels. As an application, our result gives an upper bound on the degree power of an $F$-free graph. We show that if $n$ is sufficiently large and $G$ is an $F$-free graph on $n$ vertices with $m$ edges, then $\sum_{v\in V(G)} d^2(v) \le 2(1- \frac{1}{r})mn$, with equality if and only if $G$ is a regular Tur\'{a}n graph $T_{n,r}$. This extends a result of Nikiforov and Rousseau [J. Combin. Theory Ser B 92 (2004)].

math.CO

A signless Laplacian spectral Erd\"os-Stone-Simonovits theorem

The celebrated Erd\H{o}s--Stone--Simonovits theorem states that $\mathrm{ex}(n,F)= \big(1-\frac{1}{\chi(F)-1}+o(1) \big)\frac{n^{2}}{2}$, where $\chi(F)$ is the chromatic number of $F$. In 2009, Nikiforov proved a spectral extension of the Erd\H{o}s--Stone--Simonovits theorem in terms of the adjacency spectral radius. In this paper, we shall establish a unified extension in terms of the signless Laplacian spectral radius. Let $q(G)$ be the signless Laplacian spectral radius of $G$ and we denote $\mathrm{ex}_{q}(n,F) =\max \{q(G):|G|=n ~\mbox{and}~F\nsubseteq G\}$. It is known that the Erd\H{o}s--Stone--Simonovits type result for the signless Laplacian spectral radius does not hold for even cycles. We prove that if $F$ is a graph with $\chi(F)\geq 3$, then $\mathrm{ex}_{q}(n,F)=\big(1-\frac{1}{\chi(F)-1}+o(1) \big)2n$. This solves a problem proposed by Li, Liu and Feng (2022), which gives an entirely satisfactory answer to the problem of estimating $\mathrm{ex}_q(n,F)$. Furthermore, it extends the aforementioned result of Erd\H{o}s, Stone and Simonovits as well as the spectral result of Nikiforov. Our result indicates that the Erd\H{o}s--Stone--Simonovits type result regarding the signless Laplacian spectral radius is valid in general.

math.CO

Spectral Tur\'an problems for nondegenerate hypergraphs

Keevash, Lenz and Mubayi developed a general criterion for hypergraph spectral extremal problems in their seminal work (SIAM J. Discrete Math., 2014). Their framework shows that extremal results on the $\alpha$-spectral radius (for $\alpha > 1$) may be deduced from a corresponding hypergraph Tur\'an problem exhibiting stability properties, provided its extremal construction satisfies certain continuity assumptions. In this paper, we establish a spectral stability result for nondegenerate hypergraphs, extending the Keevash--Lenz--Mubayi criterion. Applying this result, we derive two general spectral Tur\'an theorems for hypergraphs with bipartite or multipartite pattern, thereby transforming spectral Tur\'an problems into the corresponding purely combinatorial problems related to degree-stability in nondegenerate $k$-graph families. As applications, we determine the maximum $\alpha$-spectral radius for several classes of hypergraph and characterize the corresponding extremal hypergraphs, such as the expansion of complete graphs, the generalized fans, the cancellative hypergraphs, the generalized triangles, and a special book hypergraph.

math.CO

Towards Integrated Traffic Control with Operating Decentralized Autonomous Organization

With a growing complexity of the intelligent traffic system (ITS), an integrated control of ITS that is capable of considering plentiful heterogeneous intelligent agents is desired. However, existing control methods based on the centralized or the decentralized scheme have not presented their competencies in considering the optimality and the scalability simultaneously. To address this issue, we propose an integrated control method based on the framework of Decentralized Autonomous Organization (DAO). The proposed method achieves a global consensus on energy consumption efficiency (ECE), meanwhile to optimize the local objectives of all involved intelligent agents, through a consensus and incentive mechanism. Furthermore, an operation algorithm is proposed regarding the issue of structural rigidity in DAO. Specifically, the proposed operation approach identifies critical agents to execute the smart contract in DAO, which ultimately extends the capability of DAO-based control. In addition, a numerical experiment is designed to examine the performance of the proposed method. The experiment results indicate that the controlled agents can achieve a consensus faster on the global objective with improved local objectives by the proposed method, compare to existing decentralized control methods. In general, the proposed method shows a great potential in developing an integrated control system in the ITS

eess.SY

On a relationship between the characteristic and matching polynomials of a uniform hypertree

A hypertree is a connected hypergraph without cycles. Further a hypertree is called an $r$-tree if, additionally, it is $r$-uniform. Note that 2-trees are just ordinary trees. A classical result states that for any 2-tree $T$ with characteristic polynomial $\phi_T(\lambda)$ and matching polynomial $\varphi_T(\lambda)$, then $\phi_T(\lambda)=\varphi_T(\lambda).$ More generally, suppose $\mathcal{T}$ is an $r$-tree of size $m$ with $r\geq2$. In this paper, we extend the above classical relationship to $r$-trees and establish that \[ \phi_{\mathcal{T}}(\lambda)=\prod_{H \sqsubseteq \mathcal{T}}\varphi_{H}(\lambda)^{a_{H}}, \] where the product is over all connected subgraphs $H$ of $\mathcal{T}$, and the exponent $a_{H}$ of the factor $\varphi_{H}(\lambda)$ can be written as \[ a_H=b^{m-e(H)-|\partial(H)|}c^{e(H)}(b-c)^{|\partial(H)|}, \] where $e(H)$ is the size of $H$, $\partial(H)$ is the boundary of $H$, and $b=(r-1)^{r-1}, c=r^{r-2}$. In particular, for $r=2$, the above correspondence reduces to the classical result for ordinary trees. In addition, we resolve a conjecture by Clark-Cooper [{\em Electron. J. Combin.}, 2018] and show that for any subgraph $H$ of an $r$-tree $\mathcal{T}$ with $r\geq3$, $\varphi_H(\lambda)$ divides $\phi_{\mathcal{T}}(\lambda)$, and additionally $\phi_H(\lambda)$ divides $\phi_{\mathcal{T}}(\lambda)$, if either $r\geq 4$ or $H$ is connected when $r=3$. Moreover, a counterexample is given for the case when $H$ is a disconnected subgraph of a 3-tree.

math.CO

TransWorldNG: Traffic Simulation via Foundation Model

Traffic simulation is a crucial tool for transportation decision-making and policy development. However, achieving realistic simulations in the face of the high dimensionality and heterogeneity of traffic environments is a longstanding challenge. In this paper, we present TransWordNG, a traffic simulator that uses Data-driven algorithms and Graph Computing techniques to learn traffic dynamics from real data. The functionality and structure of TransWorldNG are introduced, which utilize a foundation model for transportation management and control. The results demonstrate that TransWorldNG can generate more realistic traffic patterns compared to traditional simulators. Additionally, TransWorldNG exhibits better scalability, as it shows linear growth in computation time as the scenario scale increases. To the best of our knowledge, this is the first traffic simulator that can automatically learn traffic patterns from real-world data and efficiently generate accurate and realistic traffic environments.

cs.AI

Mining Truck Platooning Patterns Through Massive Trajectory Data

Truck platooning refers to a series of trucks driving in close proximity via communication technologies, and it is considered one of the most implementable systems of connected and automated vehicles, bringing huge energy savings and safety improvements. Properly planning platoons and evaluating the potential of truck platooning are crucial to trucking companies and transportation authorities. This study proposes a series of data mining approaches to learn spontaneous truck platooning patterns from massive trajectories. An enhanced map matching algorithm is developed to identify truck headings by using digital map data, followed by an adaptive spatial clustering algorithm to detect instantaneous co-moving truck sets. These sets are then aggregated to find the network-wide maximum platoon duration and size through frequent itemset mining for computational efficiency. We leverage real GPS data collected from truck fleeting systems in Liaoning Province, China, to evaluate platooning performance and successfully extract spatiotemporal platooning patterns. Results show that approximately 36% spontaneous truck platoons can be coordinated by speed adjustment without changing routes and schedules. The average platooning distance and duration ratios for these platooned trucks are 9.6% and 9.9%, respectively, leading to a 2.8% reduction in total fuel consumption. We also distinguish the optimal platooning periods and space headways for national freeways and trunk roads, and prioritize the road segments with high possibilities of truck platooning. The derived results are reproducible, providing useful policy implications and operational strategies for large-scale truck platoon planning and roadside infrastructure construction.

cs.LG

Integral graphs obtained by dual Seidel switching

Dual Seidel switching is a graph operation introduced by W.~Haemers in 1984. This operation can change the graph, however it does not change its bipartite double, and because of this, the operation leaves the squares of the eigenvalues invariant. Thus, if a graph is integral then it is still integral after dual Seidel switching. In this paper two new infinite families of integral graphs are obtained by applying dual Seidel switching to the Star graphs and the Odd graphs. In particular, three new $4$-regular integral graphs with their spectra are found.

math.CO

The matching polynomials and spectral radii of uniform supertrees

We study matching polynomials of uniform hypergraph and spectral radii of uniform supertrees. By comparing the matching polynomials of supertrees, we extend Li and Feng's results on grafting operations on graphs to supertrees. Using the methods of grafting operations on supertrees and comparing matching polynomials of supertrees, we determine the first $\lfloor\frac{d}{2}\rfloor+1$ largest spectral radii of $r$-uniform supertrees with size $m$ and diameter $d$. In addition, the first two smallest spectral radii of supertrees with size $m$ are determined.

math.CO

The extremal spectral radii of $k$-uniform supertrees

In this paper, we study some extremal problems of three kinds of spectral radii of $k$-uniform hypergraphs (the adjacency spectral radius, the signless Laplacian spectral radius and the incidence $Q$-spectral radius). We call a connected and acyclic $k$-uniform hypergraph a supertree. We introduce the operation of "moving edges" for hypergraphs, together with the two special cases of this operation: the edge-releasing operation and the total grafting operation. By studying the perturbation of these kinds of spectral radii of hypergraphs under these operations, we prove that for all these three kinds of spectral radii, the hyperstar $\mathcal{S}_{n,k}$ attains uniquely the maximum spectral radius among all $k$-uniform supertrees on $n$ vertices. We also determine the unique $k$-uniform supertree on $n$ vertices with the second largest spectral radius (for these three kinds of spectral radii). We also prove that for all these three kinds of spectral radii, the loose path $\mathcal{P}_{n,k}$ attains uniquely the minimum spectral radius among all $k$-th power hypertrees of $n$ vertices. Some bounds on the incidence $Q$-spectral radius are given. The relation between the incidence $Q$-spectral radius and the spectral radius of the matrix product of the incidence matrix and its transpose is discussed.

math.SP