Showing 1–50 of 91 results for author: Feng, L

Finding congruences with the WZ method

Authors: Li-Quan Feng, Qing-Hu Hou

Abstract: We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k, a, b, \ldots)$ with Gosper-summable differences and selecting appropriate parameters, we derive several congruences modulo $p$ and $p^2$ for primes $p > 2$. For instance, we prove that for any prime $p > 2$, \[ \sum_{n=0}^{p-1} \frac{10n+3}{2^{3… ▽ More We utilize the Wilf-Zeilberger (WZ) method to establish congruences related to truncated Ramanujan-type series. By constructing hypergeometric terms $f(k, a, b, \ldots)$ with Gosper-summable differences and selecting appropriate parameters, we derive several congruences modulo $p$ and $p^2$ for primes $p > 2$. For instance, we prove that for any prime $p > 2$, \[ \sum_{n=0}^{p-1} \frac{10n+3}{2^{3n}}\binom{3n}{n}\binom{2n}{n}^2 \equiv 0 \pmod{p},\] and \[ \sum_{n=0}^{p-1} \frac{(-1)^n(20n^2+8n+1)}{2^{12n}}\binom{2n}{n}^5 \equiv 0 \pmod{p^2}. \] These results partially confirm conjectures by Sun and provide some novel congruences. △ Less

Submitted 23 June, 2025; originally announced June 2025.

Preconditioning and Linearly Implicit Time Integration for the Serre-Green-Naghdi Equations

Authors: Linwan Feng, David Shirokoff, Wooyoung Choi

Abstract: The treatment of the differential PDE constraint poses a key challenge in computing the numerical solution of the Serre-Green-Naghdi (SGN) equations. In this work, we introduce a constant coefficient preconditioner for the SGN constraint operator and prove rigorous bounds on the preconditioned conditioning number. The conditioning bounds incorporate the effects of bathymetry in two dimensions, are… ▽ More The treatment of the differential PDE constraint poses a key challenge in computing the numerical solution of the Serre-Green-Naghdi (SGN) equations. In this work, we introduce a constant coefficient preconditioner for the SGN constraint operator and prove rigorous bounds on the preconditioned conditioning number. The conditioning bounds incorporate the effects of bathymetry in two dimensions, are quasi-optimal within a class of constant coefficient operators, highlight fundamental scalings for a loss of conditioning, and ensure mesh independent performance for iterative Krylov methods. Utilizing the conditioning bounds, we devise and test two time integration strategies for solving the full SGN equations. The first class combines classical explicit time integration schemes (4th order Runge-Kutta and 2nd--4th order Adams-Bashforth) with the new preconditioner. The second is a linearly implicit scheme where the differential constraint is split into a constant coefficient implicit part and remaining (stiff) explicit part. The linearly implicit methods require a single linear solve of a constant coefficient operator at each time step. We provide a host of computational experiments that validate the robustness of the preconditioners, as well as full solutions of the SGN equations including solitary waves traveling over an underwater shelf (in 1d) and a circular bump (in 2d). △ Less

Submitted 19 June, 2025; originally announced June 2025.

MSC Class: 65L04; 65L06; 65L07; 65M12; 76B15; 76M22

Interpretable Spatial-Temporal Fusion Transformers: Multi-Output Prediction for Parametric Dynamical Systems with Time-Varying Inputs

Authors: Shuwen Sun, Lihong Feng, Peter Benner

Abstract: We explore the promising performance of a transformer model in predicting outputs of parametric dynamical systems with external time-varying input signals. The outputs of such systems vary not only with physical parameters but also with external time-varying input signals. Accurately catching the dynamics of such systems is challenging. We have adapted and extended an existing transformer model fo… ▽ More We explore the promising performance of a transformer model in predicting outputs of parametric dynamical systems with external time-varying input signals. The outputs of such systems vary not only with physical parameters but also with external time-varying input signals. Accurately catching the dynamics of such systems is challenging. We have adapted and extended an existing transformer model for single output prediction to a multiple-output transformer that is able to predict multiple output responses of these systems. The multiple-output transformer generalizes the interpretability of the original transformer. The generalized interpretable attention weight matrix explores not only the temporal correlations in the sequence, but also the interactions between the multiple outputs, providing explanation for the spatial correlation in the output domain. This multiple-output transformer accurately predicts the sequence of multiple outputs, regardless of the nonlinearity of the system and the dimensionality of the parameter space. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Subspace-Distance-Enabled Active Learning for Efficient Data-Driven Model Reduction of Parametric Dynamical Systems

Authors: Harshit Kapadia, Peter Benner, Lihong Feng

Abstract: In situations where the solution of a high-fidelity dynamical system needs to be evaluated repeatedly, over a vast pool of parametric configurations and in absence of access to the underlying governing equations, data-driven model reduction techniques are preferable. We propose a novel active learning approach to build a parametric data-driven reduced-order model (ROM) by greedily picking the most… ▽ More In situations where the solution of a high-fidelity dynamical system needs to be evaluated repeatedly, over a vast pool of parametric configurations and in absence of access to the underlying governing equations, data-driven model reduction techniques are preferable. We propose a novel active learning approach to build a parametric data-driven reduced-order model (ROM) by greedily picking the most important parameter samples from the parameter domain. As a result, during the ROM construction phase, the number of high-fidelity solutions dynamically grow in a principled fashion. The high-fidelity solution snapshots are expressed in several parameter-specific linear subspaces, with the help of proper orthogonal decomposition (POD), and the relative distance between these subspaces is used as a guiding mechanism to perform active learning. For successfully achieving this, we provide a distance measure to evaluate the similarity between pairs of linear subspaces with different dimensions, and also show that this distance measure is a metric. The usability of the proposed subspace-distance-enabled active learning (SDE-AL) framework is demonstrated by augmenting two existing non-intrusive reduced-order modeling approaches, and providing their active-learning-driven (ActLearn) extensions, namely, SDE-ActLearn-POD-KSNN, and SDE-ActLearn-POD-NN. Furthermore, we report positive results for two parametric physical models, highlighting the efficiency of the proposed SDE-AL approach. △ Less

Submitted 25 June, 2025; v1 submitted 1 May, 2025; originally announced May 2025.

Comments: 31 pages, 10 figures, 4 tables; v2: minor improvements

The open dense conjecture on eventually slow oscillations of the differential equation with delayed negative feedback

Authors: Lirui Feng

Abstract: In this paper, we show how to use the approach of the strongly order-preserving semiflow with respect to high-rank cones to solve the open dense conjecture on eventually slow oscillations of the differential equation with delayed negative feedback. In this paper, we show how to use the approach of the strongly order-preserving semiflow with respect to high-rank cones to solve the open dense conjecture on eventually slow oscillations of the differential equation with delayed negative feedback. △ Less

Submitted 14 January, 2025; originally announced January 2025.

The Terwilliger algebras of the group association schemes of non-abelian finite groups admitting an abelian subgroup of index 2

Authors: Jing Yang, Qinghong Guo, Weijun Liu, Lihua Feng

Abstract: In this paper, we determine the dimension of the Terwilliger algebras of non-abelian finite groups admitting an abelian subgroup of index 2 by showing that they are triply transitive. Moreover, we give a complete characterization of the Wedderburn components of the Terwilliger algebras of these groups. In this paper, we determine the dimension of the Terwilliger algebras of non-abelian finite groups admitting an abelian subgroup of index 2 by showing that they are triply transitive. Moreover, we give a complete characterization of the Wedderburn components of the Terwilliger algebras of these groups. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: 14 pages. arXiv admin note: text overlap with arXiv:2203.08793 by other authors

MSC Class: 05C50; 05C25 ACM Class: G.2.2

Semiflows strongly focusing monotone with respect to high-rank cones: II. Pseudo-ordered principle

Authors: Lirui Feng

Abstract: We consider a semiflow strongly focusing monotone with respect to a cone of rank k on a Banach space. We prove that the omega-limit set of a pseudo-ordered semiorbit is ordered, which is called as pseudo-ordered principle. Based on this principle, we obtain the solid Poincar\{'}e-Bendixson theorem with the rank k=2, that is, the omega-limit set of a pseudo-ordered semiorbit is either a nontrivial… ▽ More We consider a semiflow strongly focusing monotone with respect to a cone of rank k on a Banach space. We prove that the omega-limit set of a pseudo-ordered semiorbit is ordered, which is called as pseudo-ordered principle. Based on this principle, we obtain the solid Poincar\{'}e-Bendixson theorem with the rank k=2, that is, the omega-limit set of a pseudo-ordered semiorbit is either a nontrivial periodic orbit or a set consisting of equilibria with their potential connected orbits. The generic solid dynamics theorem with a general rank k and the generic solid Poincar\{'}e-Bendixson theorem with the rank k=2 are also obtained. △ Less

Submitted 22 December, 2024; originally announced December 2024.

Proof of Frankl's conjecture on cross-intersecting families

Authors: Yongjiang Wu, Lihua Feng, Yongtao Li

Abstract: Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. For any positive integers $n$ and $k$, let $\binom{[n]}{k}$ denote the family of all $k$-element subsets of $\{1,2,\ldots,n\}$. Let $t, s, k, n$ be non-negative integers with $k \geq s+1$ and $n \geq 2 k+t$. In 2016, Frankl prov… ▽ More Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. For any positive integers $n$ and $k$, let $\binom{[n]}{k}$ denote the family of all $k$-element subsets of $\{1,2,\ldots,n\}$. Let $t, s, k, n$ be non-negative integers with $k \geq s+1$ and $n \geq 2 k+t$. In 2016, Frankl proved that if $\mathcal{F} \subseteq\binom{[n]}{k+t}$ and $\mathcal{G} \subseteq\binom{[n]}{k}$ are cross-intersecting families, and $\mathcal{F}$ is $(t+1)$-intersecting and $|\mathcal{F}| \geq 1$, then $|\mathcal{F}|+|\mathcal{G}| \leq\binom{n}{k}-\binom{n-k-t}{k}+1$. Furthermore, Frankl conjectured that under an additional condition $\binom{[k+t+s]} {k+t}\subseteq\mathcal{F}$, the following inequality holds: $$ |\mathcal{F}|+|\mathcal{G}| \leq\binom{k+t+s}{k+t}+\binom{n}{k}-\sum_{i=0}^s\binom{k+t+s}{i}\binom{n-k-t-s}{k-i}. $$ In this paper, we prove this conjecture. The key ingredient is to establish a theorem for cross-intersecting families with a restricted universe. Moreover, we derive an analogous result for this conjecture. △ Less

Submitted 10 May, 2025; v1 submitted 14 November, 2024; originally announced November 2024.

Comments: Final version, any comments are welcome

Journal ref: Journal of Combinatorial Theory, Series A 216 (2025) 106062

A result for hemi-bundled cross-intersecting families

Authors: Yongjiang Wu, Lihua Feng, Yongtao Li

Abstract: Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. It is significant to determine the maximum sum of sizes of cross-intersecting families under the additional assumption that one of the two families is intersecting. Such a pair of families is said to be hemi-bundled. In particul… ▽ More Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. It is significant to determine the maximum sum of sizes of cross-intersecting families under the additional assumption that one of the two families is intersecting. Such a pair of families is said to be hemi-bundled. In particular, Frankl (2016) proved that for $k \geq 1, t\ge 0$ and $n \geq 2 k+t$, if $\mathcal{F} \subseteq\binom{[n]}{k+t}$ and $\mathcal{G} \subseteq\binom{[n]}{k}$ are cross-intersecting families, in which $\mathcal{F}$ is non-empty and $(t+1)$-intersecting, then $|\mathcal{F}|+|\mathcal{G}| \leq\binom{n}{k}-\binom{n-k-t}{k}+1$. This bound can be attained when $\mathcal{F}$ consists of a single set. In this paper, we generalize this result under the constraint $|\mathcal{F}| \geq r$ for every $r\leq n-k-t+1$. Moreover, we investigate the stability results of Katona's theorem for non-uniform families with the $s$-union property. Our result extends the stabilities established by Frankl (2017) and Li and Wu (2024). As applications, we revisit a recent result of Frankl and Wang (2024) as well as a result of Kupavskii (2018). Furthermore, we determine the extremal families in these two results. △ Less

Submitted 23 May, 2025; v1 submitted 13 November, 2024; originally announced November 2024.

Comments: Final version, any comments are welcome. arXiv admin note: text overlap with arXiv:2411.03674

Journal ref: Advances in Applied Mathematics 169 (2025) 102912

Stabilities of the Kleitman diameter theorem

Authors: Yongjiang Wu, Yongtao Li, Lihua Feng, Jiuqiang Liu, Guihai Yu

Abstract: Let $\mathcal{F}$ be a family of subsets of $[n]$. The diameter of $\mathcal{F}$ is the maximum size of symmetric differences among pairs of its members. Resolving a conjecture of Erdős, Kleitman determined the maximum size of a family with fixed diameter, which states that a family with diameter $s$ has cardinality at most that of a Hamming ball of radius $s/2$. Specifically, if… ▽ More Let $\mathcal{F}$ be a family of subsets of $[n]$. The diameter of $\mathcal{F}$ is the maximum size of symmetric differences among pairs of its members. Resolving a conjecture of Erdős, Kleitman determined the maximum size of a family with fixed diameter, which states that a family with diameter $s$ has cardinality at most that of a Hamming ball of radius $s/2$. Specifically, if $\mathcal{F} \subseteq 2^{[n]}$ is a family with diameter $s$, then for $s=2d$, $|\mathcal{F}|\le \sum_{i=0}^d {n \choose i}$; for $s=2d+1$, $|\mathcal{F}|\le \sum_{i=0}^d {n \choose i} + {n-1 \choose d}$. This result is known as the Kleitman diameter theorem, which generalizes both the Katona union theorem and the Erdős--Ko--Rado theorem. In 2017, Frankl provided a complete characterization of the extremal families of Kleitman's theorem and provided a stability result. In this paper, we determine the extremal families of Frankl's theorem and establish a further stability result of Kleitman's theorem. This solves a recent problem proposed by Li and Wu. Our findings constitute the second stability for the Kleitman diameter theorem. △ Less

Submitted 10 June, 2025; v1 submitted 12 November, 2024; originally announced November 2024.

Comments: 27pages;We simplified the proof of a Theorem

Non-Markovian dynamics: the memory-dependent probability density evolution equations

Authors: Bin Pei, Lifang Feng, Yunzhang Li, Yong Xu

Abstract: This paper aims to investigate the non-Markovian dynamics. The governing equations are derived for the probability density functions (PDFs) of non-Markovian stochastic responses to Langevin equation excited by combined fractional Gaussian noise (FGN) and Gaussian white noise (GWN). The main difficulty here is that the Langevin equation excited by FGN cannot be augmented by a filter excited by GWN,… ▽ More This paper aims to investigate the non-Markovian dynamics. The governing equations are derived for the probability density functions (PDFs) of non-Markovian stochastic responses to Langevin equation excited by combined fractional Gaussian noise (FGN) and Gaussian white noise (GWN). The main difficulty here is that the Langevin equation excited by FGN cannot be augmented by a filter excited by GWN, leading to the inapplicability of Itô stochastic calculus theory. Thus, in the present work, based on the fractional Wick Itô Skorohod integral and rough path theory, a new non-Markovian probability density evolution method is established to derive theoretically the memory-dependent probability density evolution equation (PDEEs) for the PDFs of non-Markovian stochastic responses to Langevin equation excited by combined FGN and GWN, which is a breakthrough to stochastic dynamics. Then, we extend an efficient algorithm, the local discontinuous Galerkin method, to numerically solve the memory-dependent PDEEs. Remarkably, this proposed method attains a higher accuracy compared to the prevalent methods such as finite difference, path integral (PI) and Monte Carlo methods, and boasts a broader applicability than the PI method, which fails to solve the memory-dependent PDEEs. Finally, several numerical examples are illustrated to verify the proposed scheme. △ Less

Submitted 27 February, 2025; v1 submitted 9 November, 2024; originally announced November 2024.

Maximal intersecting families revisited

Authors: Yongjiang Wu, Yongtao Li, Lihua Feng, Jiuqiang Liu, Guihai Yu

Abstract: The well-known Erdős--Ko--Rado theorem states that for $n> 2k$, every intersecting family of $k$-sets of $[n]:=\{1,\ldots ,n\}$ has at most $ {n-1 \choose k-1}$ sets, and the extremal family consists of all $k$-sets containing a fixed element (called a full star). The Hilton--Milner theorem provides a stability result by determining the maximum size of a uniform intersecting family that is not a s… ▽ More The well-known Erdős--Ko--Rado theorem states that for $n> 2k$, every intersecting family of $k$-sets of $[n]:=\{1,\ldots ,n\}$ has at most $ {n-1 \choose k-1}$ sets, and the extremal family consists of all $k$-sets containing a fixed element (called a full star). The Hilton--Milner theorem provides a stability result by determining the maximum size of a uniform intersecting family that is not a subfamily of a full star. The further stabilities were studied by Han and Kohayakawa (2017) and Huang and Peng (2024). Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. Let $k \geq 1, t\ge 0$ and $n \geq 2 k+t$ be integers. Frankl (2016) proved that if $\mathcal{F} \subseteq\binom{[n]}{k+t}$ and $\mathcal{G} \subseteq\binom{[n]}{k}$ are cross-intersecting families, and $\mathcal{F}$ is non-empty and $(t+1)$-intersecting, then $|\mathcal{F}|+|\mathcal{G}| \leq\binom{n}{k}-\binom{n-k-t}{k}+1$. Recently, Wu (2023) sharpened Frankl's result by establishing a stability variant. The aim of this paper is two-fold. Inspired by the above results, we first prove a further stability variant that generalizes both Frankl's result and Wu's result. Secondly, as an interesting application, we illustrate that the aforementioned results on cross-intersecting families could be used to establish the stability results of the Erdős--Ko--Rado theorem. More precisely, we present new short proofs of the Hilton--Milner theorem, the Han--Kohayakawa theorem and the Huang--Peng theorem. Our arguments are more straightforward, and it may be of independent interest. △ Less

Submitted 1 July, 2025; v1 submitted 6 November, 2024; originally announced November 2024.

Comments: Final version, any comments are welcome

Journal ref: Discrete Mathematics 349 (2026) 114654

Discrete empirical interpolation in the tensor t-product framework

Authors: Sridhar Chellappa, Lihong Feng, Peter Benner

Abstract: The discrete empirical interpolation method (DEIM) is a well-established approach, widely used for state reconstruction using sparse sensor/measurement data, nonlinear model reduction, and interpretable feature selection. We introduce the tensor t-product Q-DEIM (t-Q-DEIM), an extension of the DEIM framework for dealing with tensor-valued data. The proposed approach seeks to overcome one of the ke… ▽ More The discrete empirical interpolation method (DEIM) is a well-established approach, widely used for state reconstruction using sparse sensor/measurement data, nonlinear model reduction, and interpretable feature selection. We introduce the tensor t-product Q-DEIM (t-Q-DEIM), an extension of the DEIM framework for dealing with tensor-valued data. The proposed approach seeks to overcome one of the key drawbacks of DEIM, viz., the need for matricizing the data, which can distort any structural and/or geometric information. Our method leverages the recently developed tensor t-product algebra to avoid reshaping the data. In analogy with the standard DEIM, we formulate and solve a tensor-valued least-squares problem, whose solution is achieved through an interpolatory projection. We develop a rigorous, computable upper bound for the error resulting from the t-Q-DEIM approximation. Using five different tensor-valued datasets, we numerically illustrate the better approximation properties of t-Q-DEIM and the significant computational cost reduction it offers. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Comments: 37 pages, 22 figures, 1 table

Adaptive L-statistics for high dimensional test problem

Authors: Huifang Ma, Long Feng, Zhaojun Wang

Abstract: In this study, we focus on applying L-statistics to the high-dimensional one-sample location test problem. Intuitively, an L-statistic with $k$ parameters tends to perform optimally when the sparsity level of the alternative hypothesis matches $k$. We begin by deriving the limiting distributions for both L-statistics with fixed parameters and those with diverging parameters. To ensure robustness a… ▽ More In this study, we focus on applying L-statistics to the high-dimensional one-sample location test problem. Intuitively, an L-statistic with $k$ parameters tends to perform optimally when the sparsity level of the alternative hypothesis matches $k$. We begin by deriving the limiting distributions for both L-statistics with fixed parameters and those with diverging parameters. To ensure robustness across varying sparsity levels of alternative hypotheses, we first establish the asymptotic independence between L-statistics with fixed and diverging parameters. Building on this, we propose a Cauchy combination test that integrates L-statistics with different parameters. Both simulation results and real-data applications highlight the advantages of our proposed methods. △ Less

Submitted 18 October, 2024; originally announced October 2024.

Data-Augmented Predictive Deep Neural Network: Enhancing the extrapolation capabilities of non-intrusive surrogate models

Authors: Shuwen Sun, Lihong Feng, Peter Benner

Abstract: Numerically solving a large parametric nonlinear dynamical system is challenging due to its high complexity and the high computational costs. In recent years, machine-learning-aided surrogates are being actively researched. However, many methods fail in accurately generalizing in the entire time interval $[0, T]$, when the training data is available only in a training time interval $[0, T_0]$, wit… ▽ More Numerically solving a large parametric nonlinear dynamical system is challenging due to its high complexity and the high computational costs. In recent years, machine-learning-aided surrogates are being actively researched. However, many methods fail in accurately generalizing in the entire time interval $[0, T]$, when the training data is available only in a training time interval $[0, T_0]$, with $T_0<T$. To improve the extrapolation capabilities of the surrogate models in the entire time domain, we propose a new deep learning framework, where kernel dynamic mode decomposition (KDMD) is employed to evolve the dynamics of the latent space generated by the encoder part of a convolutional autoencoder (CAE). After adding the KDMD-decoder-extrapolated data into the original data set, we train the CAE along with a feed-forward deep neural network using the augmented data. The trained network can predict future states outside the training time interval at any out-of-training parameter samples. The proposed method is tested on two numerical examples: a FitzHugh-Nagumo model and a model of incompressible flow past a cylinder. Numerical results show accurate and fast prediction performance in both the time and the parameter domain. △ Less

Submitted 17 October, 2024; originally announced October 2024.

A spectral Lovász-Simonovits theorem

Authors: Yongtao Li, Lihua Feng, Yuejian Peng

Abstract: A fundamental result in extremal graph theory attributes to Mantel's theorem, which states that every graph on $n$ vertices with more than $\lfloor n^2/4 \rfloor$ edges contains a triangle. About half of a century ago, Lovász and Simonovits (1975) provided a supersaturation phenomenon, which asserts that for $q< n/2$, every graph with $\lfloor n^2/4 \rfloor +q$ edges contains at least… ▽ More A fundamental result in extremal graph theory attributes to Mantel's theorem, which states that every graph on $n$ vertices with more than $\lfloor n^2/4 \rfloor$ edges contains a triangle. About half of a century ago, Lovász and Simonovits (1975) provided a supersaturation phenomenon, which asserts that for $q< n/2$, every graph with $\lfloor n^2/4 \rfloor +q$ edges contains at least $q\lfloor n/2 \rfloor$ triangles. This result solved a conjecture proposed by Erdős in 1962. In this paper, we establish a spectral version of the result of Lovász and Simonovits. Let $Y_{n,2,q}$ be the graph obtained from the bipartite Turán graph $T_{n,2}$ by embedding a matching with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Using the supersaturation-stability method and the classical spectral techniques, we firstly prove that for $n\ge 300q^2$, each graph $G$ on $n$ vertices with $λ(G) \ge λ(Y_{n,2,q})$ contains at least $q\lfloor n/2 \rfloor$ triangles. Moreover, let $T_{n,2,q}$ be the graph obtained from $T_{n,2}$ by embedding a star with $q$ edges into the vertex part of size $\lceil n/2\rceil$. Secondly, we show further that $T_{n,2,q}$ is the unique spectral extremal graph that contains at most $q\lfloor n/2 \rfloor$ triangles and attains the maximum of the spectral radius. This result answers a spectral triangle counting problem due to Ning and Zhai (2023). Thirdly, we present an asymptotically spectral stability result under a specific constraint on the triangle covering number. The third result could be regarded as a spectral extension of a recent result proved by Balogh and Clemen (2023), and independently by Liu and Mubayi (2022). △ Less

Submitted 3 August, 2024; originally announced August 2024.

Comments: 28 pages, 1 figure. We proposed some spectral extremal graph problems for readers. Any suggestions are welcome

MSC Class: 05C35; 05C50

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Authors: Zhicheng Yang, Yiwei Wang, Yinya Huang, Zhijiang Guo, Wei Shi, Xiongwei Han, Liang Feng, Linqi Song, Xiaodan Liang, Jing Tang

Abstract: Large language models (LLMs) have exhibited their problem-solving abilities in mathematical reasoning. Solving realistic optimization (OPT) problems in application scenarios requires advanced and applied mathematics ability. However, current OPT benchmarks that merely solve linear programming are far from complex realistic situations. In this work, we propose OptiBench, a benchmark for End-to-end… ▽ More Large language models (LLMs) have exhibited their problem-solving abilities in mathematical reasoning. Solving realistic optimization (OPT) problems in application scenarios requires advanced and applied mathematics ability. However, current OPT benchmarks that merely solve linear programming are far from complex realistic situations. In this work, we propose OptiBench, a benchmark for End-to-end optimization problem-solving with human-readable inputs and outputs. OptiBench contains rich optimization problems, including linear and nonlinear programming with or without tabular data, which can comprehensively evaluate LLMs' solving ability. In our benchmark, LLMs are required to call a code solver to provide precise numerical answers. Furthermore, to alleviate the data scarcity for optimization problems, and to bridge the gap between open-source LLMs on a small scale (e.g., Llama-3-8b) and closed-source LLMs (e.g., GPT-4), we further propose a data synthesis method namely ReSocratic. Unlike general data synthesis methods that proceed from questions to answers, \ReSocratic first incrementally synthesizes formatted optimization demonstration with mathematical formulations step by step and then back-translates the generated demonstrations into questions. Based on this, we synthesize the ReSocratic-29k dataset. We further conduct supervised fine-tuning with ReSocratic-29k on multiple open-source models. Experimental results show that ReSocratic-29k significantly improves the performance of open-source models. △ Less

Submitted 4 June, 2025; v1 submitted 13 July, 2024; originally announced July 2024.

Journal ref: The Thirteenth International Conference on Learning Representations, 2025

Spectral supersaturation: Triangles and bowties

Authors: Yongtao Li, Lihua Feng, Yuejian Peng

Abstract: Recently, Ning and Zhai (2023) proved that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ has at least $\lfloor n/2\rfloor -1$ triangles, unless $G=K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$. The aim of this paper is two-fold. Using the supersaturation-stability method, we prove a stability variant of Ning-Zhai's result by showing that such a graph $G$ cont… ▽ More Recently, Ning and Zhai (2023) proved that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ has at least $\lfloor n/2\rfloor -1$ triangles, unless $G=K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$. The aim of this paper is two-fold. Using the supersaturation-stability method, we prove a stability variant of Ning-Zhai's result by showing that such a graph $G$ contains at least $n-3$ triangles if no vertex is in all triangles of $G$. This result could also be viewed as a spectral version of a result of Xiao and Katona (2021). The second part concerns with the spectral supersaturation for the bowtie, which consists of two triangles sharing a common vertex. A theorem of Erdős, Füredi, Gould and Gunderson (1995) says that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor +1$ edges contains a bowtie. For graphs of given order, the spectral supersaturation problem has not been considered for substructures that are not color-critical. In this paper, we give the first such theorem by counting the number of bowties. Let $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ be the graph obtained from $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}$ by embedding two disjoint edges into the vertex part of size $\lceil \frac{n}{2} \rceil$. Our result shows that every graph $G$ with $n\ge 8.8 \times 10^6$ vertices and $λ(G)\ge λ(K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2})$ contains at least $\lfloor \frac{n}{2} \rfloor$ bowties, and $K_{\lceil \frac{n}{2} \rceil, \lfloor \frac{n}{2} \rfloor}^{+2}$ is the unique spectral extremal graph. This gives a spectral correspondence of a theorem of Kang, Makai and Pikhurko (2020). The method used in our paper provides a probable way to establish the spectral counting results for other graphs, even for non-color-critical graphs. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Comments: 32 pages. Some spectral extremal graph problems are proposed in the end. Any suggestions are welcome. arXiv admin note: text overlap with arXiv:2406.13176

MSC Class: 05C35; 05C50

A spectral Erdős-Faudree-Rousseau theorem

Authors: Yongtao Li, Lihua Feng, Yuejian Peng

Abstract: A well-known theorem of Mantel states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor $ edges contains a triangle. An interesting problem in extremal graph theory studies the minimum number of edges contained in triangles among graphs with a prescribed number of vertices and edges. Erdős, Faudree and Rousseau (1992) showed that a graph on $n$ vertices with more than… ▽ More A well-known theorem of Mantel states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor $ edges contains a triangle. An interesting problem in extremal graph theory studies the minimum number of edges contained in triangles among graphs with a prescribed number of vertices and edges. Erdős, Faudree and Rousseau (1992) showed that a graph on $n$ vertices with more than $\lfloor n^2/4\rfloor $ edges contains at least $2\lfloor n/2\rfloor +1$ edges in triangles. Such edges are called triangular edges. In this paper, we present a spectral version of the result of Erdős, Faudree and Rousseau. Using the supersaturation-stability and the spectral technique, we prove that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ contains at least $2 \lfloor {n}/{2} \rfloor -1$ triangular edges, unless $G$ is a balanced complete bipartite graph. The method in our paper has some interesting applications. Firstly, the supersaturation-stability can be used to revisit a conjecture of Erdős concerning with the booksize of a graph, which was initially proved by Edwards (unpublished), and independently by Khadžiivanov and Nikiforov (1979). Secondly, our method can improve the bound on the order $n$ of a graph by dropping the condition on $n$ being sufficiently large, which is obtained from the triangle removal lemma. Thirdly, the supersaturation-stability can be applied to deal with the spectral extremal graph problems on counting triangles, which was recently studied by Ning and Zhai (2023). △ Less

Submitted 18 June, 2024; originally announced June 2024.

Comments: 30 pages. At the end of the paper, we proposed many spectral extremal graph problems for readers. Any comments are welcome

MSC Class: 05C35; 05C50

Two-Timescale Optimization Framework for Sparse-Feedback Linear-Quadratic Optimal Control

Authors: Lechen Feng, Yuan-Hua Ni, Xuebo Zhang

Abstract: A $\mathcal{H}_2$-guaranteed sparse-feedback linear-quadratic (LQ) optimal control with convex parameterization and convex-bounded uncertainty is studied in this paper, where $\ell_0$-penalty is added into the $\mathcal{H}_2$ cost to penalize the number of communication links among distributed controllers. Then, the sparse-feedback gain is investigated to minimize the modified $\mathcal{H}_2$ cost… ▽ More A $\mathcal{H}_2$-guaranteed sparse-feedback linear-quadratic (LQ) optimal control with convex parameterization and convex-bounded uncertainty is studied in this paper, where $\ell_0$-penalty is added into the $\mathcal{H}_2$ cost to penalize the number of communication links among distributed controllers. Then, the sparse-feedback gain is investigated to minimize the modified $\mathcal{H}_2$ cost together with the stability guarantee, and the corresponding main results are of three parts. First, the $\ell_1$ relaxation sparse-feedback LQ problem is of concern, and a two-timescale algorithm is developed based on proximal coordinate descent and primal-dual splitting approach. Second, piecewise quadratic relaxation sparse-feedback LQ control is investigated, which exhibits an accelerated convergence rate. Third, sparse-feedback LQ problem with $\ell_0$-penalty is directly studied through BSUM (Block Successive Upper-bound Minimization) framework, and precise approximation method and variational properties are introduced. △ Less

Submitted 9 December, 2024; v1 submitted 16 June, 2024; originally announced June 2024.

Accelerate Solving Expensive Scheduling by Leveraging Economical Auxiliary Tasks

Authors: Minshuo Li, Bo Liu, Bin Xin, Liang Feng, Peng Li

Abstract: To fully leverage the multi-task optimization paradigm for accelerating the solution of expensive scheduling problems, this study has effectively tackled three vital concerns. The primary issue is identifying auxiliary tasks that closely resemble the original expensive task. We suggested a sampling strategy based on job importance, creating a compact matrix by extracting crucial rows from the enti… ▽ More To fully leverage the multi-task optimization paradigm for accelerating the solution of expensive scheduling problems, this study has effectively tackled three vital concerns. The primary issue is identifying auxiliary tasks that closely resemble the original expensive task. We suggested a sampling strategy based on job importance, creating a compact matrix by extracting crucial rows from the entire problem specification matrix of the expensive task. This matrix serves as an economical auxiliary task. Mathematically, we proved that this economical auxiliary task bears similarity to its corresponding expensive task. The subsequent concern revolves around making auxiliary tasks more cost-effective. We determined the sampling proportions for the entire problem specification matrix through factorial design experiments, resulting in a more compact auxiliary task. With a reduced search space and shorter function evaluation time, it can rapidly furnish high-quality transferable information for the primary task. The last aspect involves designing transferable deep information from auxiliary tasks. We regarded the job priorities in the (sub-) optimal solutions to the economical auxiliary task as transferable invariants. By adopting a partial solution patching strategy, we augmented specificity knowledge onto the common knowledge to adapt to the target expensive task. The strategies devised for constructing task pairs and facilitating knowledge transfer, when incorporated into various evolutionary multitasking algorithms, were utilized to address expensive instances of permutation flow shop scheduling. Extensive experiments and statistical comparisons have validated that, with the collaborative synergy of these strategies, the performance of evolutionary multitasking algorithms is significantly enhanced in handling expensive scheduling tasks. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Estimates of the Kolmogorov n-width for nonlinear transformations with application to distributed-parameter control systems

Authors: Alexander Zuyev, Lihong Feng, Peter Benner

Abstract: This paper aims at characterizing the approximability of bounded sets in the range of nonlinear operators in Banach spaces by finite-dimensional linear varieties. In particular, the class of operators we consider includes the endpoint maps of nonlinear distributed-parameter control systems. We describe the relationship between the Kolmogorov n-width of a bounded subset and the width of its image u… ▽ More This paper aims at characterizing the approximability of bounded sets in the range of nonlinear operators in Banach spaces by finite-dimensional linear varieties. In particular, the class of operators we consider includes the endpoint maps of nonlinear distributed-parameter control systems. We describe the relationship between the Kolmogorov n-width of a bounded subset and the width of its image under an essentially nonlinear transformation. We propose explicit estimates of the n-width in the space of images in terms of the affine part of the corresponding operator and the width of its nonlinear perturbation. These $n$-width estimates enable us to describe the reachable sets for infinite-dimensional bilinear control systems, with applications to controlling the Euler-Bernoulli beam using a contraction force and to a single-input Schrödinger equation. △ Less

Submitted 20 June, 2024; v1 submitted 9 March, 2024; originally announced March 2024.

Comments: This is a preprint version of the paper submitted to the IEEE L-CSS and CDC 2024

MSC Class: 93C20; 93C25; 41A25; 41A46; 81Q93; 74K10

Journal ref: IEEE Control Systems Letters, 2024

$\mathcal{L}$-intersecting or Configuration Forbidden Families on Set Systems and Vector Spaces over Finite Fields

Authors: Jiuqiang Liu, Guihai Yu, Lihua Feng, Yongtao Li

Abstract: In this paper, we derive a tight upper bound for the size of an intersecting $k$-Sperner family of subspaces of the $n$-dimensional vector space $\mathbb{F}_{q}^{n}$ over finite field $\mathbb{F}_{q}$ which gives a $q$-analogue of the Erdős' $k$-Sperner Theorem, and we then establish a general relationship between upper bounds for the sizes of families of subsets of $[n] = \{1, 2, \dots, n\}$ with… ▽ More In this paper, we derive a tight upper bound for the size of an intersecting $k$-Sperner family of subspaces of the $n$-dimensional vector space $\mathbb{F}_{q}^{n}$ over finite field $\mathbb{F}_{q}$ which gives a $q$-analogue of the Erdős' $k$-Sperner Theorem, and we then establish a general relationship between upper bounds for the sizes of families of subsets of $[n] = \{1, 2, \dots, n\}$ with property $P$ and upper bounds for the sizes of families of subspaces of $\mathbb{F}_{q}^{n}$ with property $P$, where $P$ is either $\mathcal{L}$-intersecting or forbidding certain configuration. Applying this relationship, we derive generalizations of the well known results about the famous Erdős matching conjecture and Erdős-Chvátal simplex conjecture to linear lattices. As a consequence, we disprove a related conjecture on families of subspaces of $\mathbb{F}_{q}^{n}$ by Ihringer [Europ. J. Combin., 94 (2021), 103306]. △ Less

Submitted 30 April, 2024; v1 submitted 7 March, 2024; originally announced March 2024.

Snevily's Conjecture about $\mathcal{L}$-intersecting Families on Set Systems and its Analogue on Vector Spaces

Authors: Jiuqiang Liu, Guihai Yu, Lihua Feng, Yongjiang Wu

Abstract: The classical Erdős-Ko-Rado theorem on the size of an intersecting family of $k$-subsets of the set $[n] = \{1, 2, \dots, n\}$ is one of the fundamental intersection theorems for set systems. After the establishment of the EKR theorem, many intersection theorems on set systems have appeared in the literature, such as the well-known Frankl-Wilson theorem, Alon-Babai-Suzuki theorem, and Grolmusz-Sud… ▽ More The classical Erdős-Ko-Rado theorem on the size of an intersecting family of $k$-subsets of the set $[n] = \{1, 2, \dots, n\}$ is one of the fundamental intersection theorems for set systems. After the establishment of the EKR theorem, many intersection theorems on set systems have appeared in the literature, such as the well-known Frankl-Wilson theorem, Alon-Babai-Suzuki theorem, and Grolmusz-Sudakov theorem. In 1995, Snevily proposed the conjecture that the upper bound for the size of an $\mathcal{L}$-intersecting family of subsets of $[n]$ is ${{n} \choose {s}}$ under the condition $\max \{l_{i}\} < \min \{k_{j}\}$, where $\mathcal{L} = \{l_{1}, \dots, l_{s}\}$ with $0 \leq l_{1} < \cdots < l_{s}$ and $k_{j}$ are subset sizes in the family. In this paper, we prove that Snevily's conjecture holds for $n \geq {k^{2} \choose {l_{1}+1}}s + l_{1}$, where $k$ is the maximum subset size in the family. We then derive an analogous result for $\mathcal{L}$-intersecting families of subspaces of an $n$-dimensional vector space over a finite field $\mathbb{F}_{q}$. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Comments: arXiv admin note: text overlap with arXiv:1701.00585 by other authors

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

An eigenvalue problem for self-similar patterns in Hele-Shaw flows

Authors: Wang Xiao, Lingyu Feng, Kai Liu, Meng Zhao

Abstract: Hele-Shaw problems are prototypes to study the interface dynamics. Linear theory suggests the existence of self-similar patterns in a Hele-Shaw flow. That is, with a specific injection flux the interface shape remains unchanged while its size increases. In this paper, we explore the existence of self-similar patterns in the nonlinear regime and develop a rigorous nonlinear theory characterizing th… ▽ More Hele-Shaw problems are prototypes to study the interface dynamics. Linear theory suggests the existence of self-similar patterns in a Hele-Shaw flow. That is, with a specific injection flux the interface shape remains unchanged while its size increases. In this paper, we explore the existence of self-similar patterns in the nonlinear regime and develop a rigorous nonlinear theory characterizing their fundamental features. Using a boundary integral formulation, we pose the question of self-similarity as a generalized nonlinear eigenvalue problem, involving two nonlinear integral operators. The flux constant $C$ is the eigenvalue and the corresponding self-similar pattern $\mathbf{x}$ is the eigenvector. We develop a quasi-Newton method to solve the problem and show the existence of nonlinear shapes with $k$-fold dominated symmetries. The influence of initial guesses on the self-similar patterns is investigated. We are able to obtain a desired self-similar shape once the initial guess is properly chosen. Our results go beyond the predictions of linear theory and establish a bridge between the linear theory and simulations. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Limit Law for the Maximum Interpoint Distance of High Dimensional Dependent Variables

Authors: Guowei Yan, Long Feng

Abstract: In this paper, we considier the limiting distribution of the maximum interpoint Euclidean distance $M_n=\max _{1 \leq i<j \leq n}\left\|\boldsymbol{X}_i-\boldsymbol{X}_j\right\|$, where $\boldsymbol{X}_1, \boldsymbol{X}_2, \ldots, \boldsymbol{X}_n$ be a random sample coming from a $p$-dimensional population with dependent sub-gaussian components. When the dimension tends to infinity with the sampl… ▽ More In this paper, we considier the limiting distribution of the maximum interpoint Euclidean distance $M_n=\max _{1 \leq i<j \leq n}\left\|\boldsymbol{X}_i-\boldsymbol{X}_j\right\|$, where $\boldsymbol{X}_1, \boldsymbol{X}_2, \ldots, \boldsymbol{X}_n$ be a random sample coming from a $p$-dimensional population with dependent sub-gaussian components. When the dimension tends to infinity with the sample size, we proves that $M_n^2$ under a suitable normalization asymptotically obeys a Gumbel type distribution. The proofs mainly depend on the Stein-Chen Poisson approximation method and high dimensional Gaussian approximation. △ Less

Submitted 17 December, 2023; originally announced December 2023.

Fast and Reliable Reduced-Order Models for Cardiac Electrophysiology

Authors: Sridhar Chellappa, Barış Cansız, Lihong Feng, Peter Benner, Michael Kaliske

Abstract: Mathematical models of the human heart are increasingly playing a vital role in understanding the working mechanisms of the heart, both under healthy functioning and during disease. The aim is to aid medical practitioners diagnose and treat the many ailments affecting the heart. Towards this, modelling cardiac electrophysiology is crucial as the heart's electrical activity underlies the contractio… ▽ More Mathematical models of the human heart are increasingly playing a vital role in understanding the working mechanisms of the heart, both under healthy functioning and during disease. The aim is to aid medical practitioners diagnose and treat the many ailments affecting the heart. Towards this, modelling cardiac electrophysiology is crucial as the heart's electrical activity underlies the contraction mechanism and the resulting pumping action. The governing equations and the constitutive laws describing the electrical activity in the heart are coupled, nonlinear, and involve a fast moving wave front, which is generally solved by the finite element method. The simulation of this complex system as part of a virtual heart model is challenging due to the necessity of fine spatial and temporal resolution of the domain. Therefore, efficient surrogate models are needed to predict the dynamics under varying parameters and inputs. In this work, we develop an adaptive, projection-based surrogate model for cardiac electrophysiology. We introduce an a posteriori error estimator that can accurately and efficiently quantify the accuracy of the surrogate model. Using the error estimator, we systematically update our surrogate model through a greedy search of the parameter space. Furthermore, using the error estimator, the parameter search space is dynamically updated such that the most relevant samples get chosen at every iteration. The proposed adaptive surrogate modelling technique is tested on three benchmark models to illustrate its efficiency, accuracy, and ability of generalization. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Comments: 28 pages, 17 figures, 1 table

Accurate error estimation for model reduction of nonlinear dynamical systems via data-enhanced error closure

Authors: Sridhar Chellappa, Lihong Feng, Peter Benner

Abstract: Accurate error estimation is crucial in model order reduction, both to obtain small reduced-order models and to certify their accuracy when deployed in downstream applications such as digital twins. In existing a posteriori error estimation approaches, knowledge about the time integration scheme is mandatory, e.g., the residual-based error estimators proposed for the reduced basis method. This pos… ▽ More Accurate error estimation is crucial in model order reduction, both to obtain small reduced-order models and to certify their accuracy when deployed in downstream applications such as digital twins. In existing a posteriori error estimation approaches, knowledge about the time integration scheme is mandatory, e.g., the residual-based error estimators proposed for the reduced basis method. This poses a challenge when automatic ordinary differential equation solver libraries are used to perform the time integration. To address this, we present a data-enhanced approach for a posteriori error estimation. Our new formulation enables residual-based error estimators to be independent of any time integration method. To achieve this, we introduce a corrected reduced-order model which takes into account a data-driven closure term for improved accuracy. The closure term, subject to mild assumptions, is related to the local truncation error of the corresponding time integration scheme. We propose efficient computational schemes for approximating the closure term, at the cost of a modest amount of training data. Furthermore, the new error estimator is incorporated within a greedy process to obtain parametric reduced-order models. Numerical results on three different systems show the accuracy of the proposed error estimation approach and its ability to produce ROMs that generalize well. △ Less

Submitted 20 July, 2023; originally announced July 2023.

Comments: 37 pages, 25 figures

Accelerated Optimization Landscape of Linear-Quadratic Regulator

Authors: Lechen Feng, Yuan-Hua Ni

Abstract: Linear-quadratic regulator (LQR) is a landmark problem in the field of optimal control, which is the concern of this paper. Generally, LQR is classified into state-feedback LQR (SLQR) and output-feedback LQR (OLQR) based on whether the full state is obtained. It has been suggested in existing literature that both SLQR and OLQR could be viewed as \textit{constrained nonconvex matrix optimization} p… ▽ More Linear-quadratic regulator (LQR) is a landmark problem in the field of optimal control, which is the concern of this paper. Generally, LQR is classified into state-feedback LQR (SLQR) and output-feedback LQR (OLQR) based on whether the full state is obtained. It has been suggested in existing literature that both SLQR and OLQR could be viewed as \textit{constrained nonconvex matrix optimization} problems in which the only variable to be optimized is the feedback gain matrix. In this paper, we introduce a first-order accelerated optimization framework of handling the LQR problem, and give its convergence analysis for the cases of SLQR and OLQR, respectively. Specifically, a Lipschiz Hessian property of LQR performance criterion is presented, which turns out to be a crucial property for the application of modern optimization techniques. For the SLQR problem, a continuous-time hybrid dynamic system is introduced, whose solution trajectory is shown to converge exponentially to the optimal feedback gain with Nesterov-optimal order $1-\frac{1}{\sqrtκ}$ ($κ$ the condition number). Then, the symplectic Euler scheme is utilized to discretize the hybrid dynamic system, and a Nesterov-type method with a restarting rule is proposed that preserves the continuous-time convergence rate, i.e., the discretized algorithm admits the Nesterov-optimal convergence order. For the OLQR problem, a Hessian-free accelerated framework is proposed, which is a two-procedure method consisting of semiconvex function optimization and negative curvature exploitation. In a time $\mathcal{O}(ε^{-7/4}\log(1/ε))$, the method can find an $ε$-stationary point of the performance criterion; this entails that the method improves upon the $\mathcal{O}(ε^{-2})$ complexity of vanilla gradient descent. Moreover, our method provides the second-order guarantee of stationary point. △ Less

Submitted 14 April, 2024; v1 submitted 7 July, 2023; originally announced July 2023.

Active-Learning-Driven Surrogate Modeling for Efficient Simulation of Parametric Nonlinear Systems

Authors: Harshit Kapadia, Lihong Feng, Peter Benner

Abstract: When repeated evaluations for varying parameter configurations of a high-fidelity physical model are required, surrogate modeling techniques based on model order reduction are desired. In absence of the governing equations describing the dynamics, we need to construct the parametric reduced-order surrogate model in a non-intrusive fashion. In this setting, the usual residual-based error estimate f… ▽ More When repeated evaluations for varying parameter configurations of a high-fidelity physical model are required, surrogate modeling techniques based on model order reduction are desired. In absence of the governing equations describing the dynamics, we need to construct the parametric reduced-order surrogate model in a non-intrusive fashion. In this setting, the usual residual-based error estimate for optimal parameter sampling associated with the reduced basis method is not directly available. Our work provides a non-intrusive optimality criterion to efficiently populate the parameter snapshots, thereby, enabling us to effectively construct a parametric surrogate model. We consider separate parameter-specific proper orthogonal decomposition (POD) subspaces and propose an active-learning-driven surrogate model using kernel-based shallow neural networks, abbreviated as ActLearn-POD-KSNN surrogate model. To demonstrate the validity of our proposed ideas, we present numerical experiments using two physical models, namely Burgers' equation and shallow water equations. Both the models have mixed -- convective and diffusive -- effects within their respective parameter domains, with each of them dominating in certain regions. The proposed ActLearn-POD-KSNN surrogate model efficiently predicts the solution at new parameter locations, even for a setting with multiple interacting shock profiles. △ Less

Submitted 9 June, 2023; originally announced June 2023.

Comments: 31 pages, 24 figures, 1 table; Under review

Averaging principle for McKean-Vlasov SDEs driven by multiplicative fractional noise with highly oscillatory drift coefficient

Authors: Bin Pei, Lifang Feng, Min Han

Abstract: In this paper, we study averaging principle for a class of McKean-Vlasov stochastic differential equations (SDEs) that contain multiplicative fractional noise with Hurst parameter $H > $ 1/2 and highly oscillatory drift coefficient. Here the integral corresponding to fractional Brownian motion is the generalized Riemann-Stieltjes integral. Using Khasminskii's time discretization techniques, we pro… ▽ More In this paper, we study averaging principle for a class of McKean-Vlasov stochastic differential equations (SDEs) that contain multiplicative fractional noise with Hurst parameter $H > $ 1/2 and highly oscillatory drift coefficient. Here the integral corresponding to fractional Brownian motion is the generalized Riemann-Stieltjes integral. Using Khasminskii's time discretization techniques, we prove that the solution of the original system strongly converges to the solution of averaging system as the times scale $ ε$ gose to zero in the supremum- and Hölder-topologies which are sharpen existing ones in the classical Mckean-Vlasov SDEs framework. △ Less

Submitted 3 June, 2023; originally announced June 2023.

Comments: 12 pages

MSC Class: 60G22; 60H10; 60H05; 34C29

Parametric Dynamic Mode Decomposition for nonlinear parametric dynamical systems

Authors: Shuwen Sun, Lihong Feng, Hoon Seng Chan, Tamara Miličić, Tanja Vidaković-Koch, Fridolin Röder, Peter Benner

Abstract: A non-intrusive model order reduction (MOR) method that combines features of the dynamic mode decomposition (DMD) and the radial basis function (RBF) network is proposed to predict the dynamics of parametric nonlinear systems. In many applications, we have limited access to the information of the whole system, which motivates non-intrusive model reduction. One bottleneck is capturing the dynamics… ▽ More A non-intrusive model order reduction (MOR) method that combines features of the dynamic mode decomposition (DMD) and the radial basis function (RBF) network is proposed to predict the dynamics of parametric nonlinear systems. In many applications, we have limited access to the information of the whole system, which motivates non-intrusive model reduction. One bottleneck is capturing the dynamics of the solution without knowing the physics inside the "black-box" system. DMD is a powerful tool to mimic the dynamics of the system and give a reliable approximation of the solution in the time domain using only the dominant DMD modes. However, DMD cannot reproduce the parametric behavior of the dynamics. Our contribution focuses on extending DMD to parametric DMD by RBF interpolation. Specifically, a RBF network is first trained using snapshot matrices at limited parameter samples. The snapshot matrix at any new parameter sample can be quickly learned from the RBF network. DMD will use the newly generated snapshot matrix at the online stage to predict the time patterns of the dynamics corresponding to the new parameter sample. The proposed framework and algorithm are tested and validated by numerical examples including models with parametrized and time-varying inputs. △ Less

Submitted 1 August, 2023; v1 submitted 10 May, 2023; originally announced May 2023.

A spectral extremal problem on non-bipartite triangle-free graphs

Authors: Yongtao Li, Lihua Feng, Yuejian Peng

Abstract: A theorem of Nosal and Nikiforov states that if $G$ is a triangle-free graph with $m$ edges, then $λ(G)\le \sqrt{m}$, where the equality holds if and only if $G$ is a complete bipartite graph. A well-known spectral conjecture of Bollobás and Nikiforov [J. Combin. Theory Ser. B 97 (2007)] asserts that if $G$ is a $K_{r+1}$-free graph with $m$ edges, then $λ_1^2(G) + λ_2^2(G) \le (1-\frac{1}{r})2m$.… ▽ More A theorem of Nosal and Nikiforov states that if $G$ is a triangle-free graph with $m$ edges, then $λ(G)\le \sqrt{m}$, where the equality holds if and only if $G$ is a complete bipartite graph. A well-known spectral conjecture of Bollobás and Nikiforov [J. Combin. Theory Ser. B 97 (2007)] asserts that if $G$ is a $K_{r+1}$-free graph with $m$ edges, then $λ_1^2(G) + λ_2^2(G) \le (1-\frac{1}{r})2m$. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] confirmed the conjecture in the case $r=2$. Using this base case, they proved further that $λ(G)\le \sqrt{m-1}$ for every non-bipartite triangle-free graph $G$, with equality if and only if $m=5$ and $G=C_5$. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented an improvement by showing $λ(G) \le β(m)$, where $β(m)$ is the largest root of $Z(x):=x^3-x^2-(m-2)x+m-3$. The equality in Zhai--Shu's result holds only if $m$ is odd and $G$ is obtained from the complete bipartite graph $K_{2,\frac{m-1}{2}}$ by subdividing exactly one edge. Motivated by this observation, Zhai and Shu proposed a question to find a sharp bound when $m$ is even. We shall solve this question by using a different method and characterize three kinds of spectral extremal graphs over all triangle-free non-bipartite graphs with even size. Our proof technique is mainly based on applying Cauchy interlacing theorem of eigenvalues of a graph, and with the aid of a triangle counting lemma in terms of both eigenvalues and the size of a graph. △ Less

Submitted 11 March, 2024; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: 28 pages. Following reviewer's suggestion, we have changed the original title. arXiv admin note: text overlap with arXiv:2204.09884

MSC Class: 05C50; 05C35

Journal ref: Electron. J. Combin. 31 (1) (2024), #P1.52

Semiflows strongly focusing monotone with respect to high-rank cones. I: Generic dynamics

Authors: Lirui Feng

Abstract: We consider a smooth semiflow strongly focusing monotone with respect to a cone of rank k on a Banach space. We obtain its generic dynamics, that is, semiorbits with initial data from an open and dense subset of any bounded open set are either pseudo-ordered or convergent to an equilibrium. For the case k=1, it is the celebrated Hirsch's Generic Convergence Theorem. For the case k=2, we obtain the… ▽ More We consider a smooth semiflow strongly focusing monotone with respect to a cone of rank k on a Banach space. We obtain its generic dynamics, that is, semiorbits with initial data from an open and dense subset of any bounded open set are either pseudo-ordered or convergent to an equilibrium. For the case k=1, it is the celebrated Hirsch's Generic Convergence Theorem. For the case k=2, we obtain the generic Poincare-Bendixson Theorem. △ Less

Submitted 6 April, 2023; v1 submitted 16 March, 2023; originally announced March 2023.

An adaptive weighted self-representation method for incomplete multi-view clustering

Authors: Lishan Feng, Guoxu Zhou, Jingya Chang

Abstract: For multi-view data in reality, part of its elements may be missing because of human or machine error. Incomplete multi-view clustering (IMC) clusters the incomplete multi-view data according to the characters of various views of the instances. Recently, IMC has attracted much attention and many related methods have been proposed. However, the existing approaches still need to be developed and inn… ▽ More For multi-view data in reality, part of its elements may be missing because of human or machine error. Incomplete multi-view clustering (IMC) clusters the incomplete multi-view data according to the characters of various views of the instances. Recently, IMC has attracted much attention and many related methods have been proposed. However, the existing approaches still need to be developed and innovated in the following aspects: (1) Current methods only consider the differences of different views, while the different influences of instances, as well as distinguishes between missing values and completed values are ignored. (2) The updating scheme for weighting matrix in adaptive weighted algorithms usually relies on an optimization sub-problem, whose optimal solution may not be easy to achieve. (3) The adaptive weighted subspace algorithms that can recover the incomplete data are anchor types. The randomness of the anchor matrix may cause unreliability. To tackle these limitations, we propose an adaptive weighted self-representation (AWSR) subspace method for IMC. The AWSR method tunes the weighting matrix adaptively in accordance with the views of different instances and the recovery process of the missing values. The low rank and smoothness constraints on the representation matrix make the subspace reveal the underlying features of the dataset accurately. We also analyze the convergence property of the block coordinate method for our optimization model theoretically. Numerical performance on five real-world data shows that the AWSR method is effective and delivers superior results when compared to other eight widely-used approaches considering the clustering accuracy (ACC), normalized mutual information (NMI) and Purity. △ Less

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

Extremal graphs for the odd prism

Authors: Xiaocong He, Yongtao Li, Lihua Feng

Abstract: The Turán number $\mathrm{ex}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex graph which does not contain $H$ as a subgraph. The Turán number of regular polyhedrons was widely studied in a series of works due to Simonovits. In this paper, we shall present the exact Turán number of the prism $C_{2k+1}^{\square} $, which is defined as the Cartesian product of an odd cycle… ▽ More The Turán number $\mathrm{ex}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex graph which does not contain $H$ as a subgraph. The Turán number of regular polyhedrons was widely studied in a series of works due to Simonovits. In this paper, we shall present the exact Turán number of the prism $C_{2k+1}^{\square} $, which is defined as the Cartesian product of an odd cycle $C_{2k+1}$ and an edge $ K_2 $. Applying a deep theorem of Simonovits and a stability result of Yuan [European J. Combin. 104 (2022)], we shall determine the exact value of $\mathrm{ex}(n,C_{2k+1}^{\square})$ for every $k\ge 1$ and sufficiently large $n$, and we also characterize the extremal graphs. Moreover, in the case of $k=1$, motivated by a recent result of Xiao, Katona, Xiao and Zamora [Discrete Appl. Math. 307 (2022)], we will determine the exact value of $\mathrm{ex}(n,C_{3}^{\square} )$ for every $n$ instead of for sufficiently large $n$. △ Less

Submitted 5 February, 2024; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: 24 pages

MSC Class: 05C35

Journal ref: Discrete Mathematics 348 (2025), No. 114249

Spectral extremal graphs without intersecting triangles as a minor

Authors: Xiaocong He, Yongtao Li, Lihua Feng

Abstract: Let $F_s$ be the friendship graph obtained from $s$ triangles by sharing a common vertex. For fixed $s\ge 2$ and sufficiently large $n$, the $F_s$-free graphs of order $n$ which attain the maximal spectral radius was firstly characterized by Cioabă, Feng, Tait and Zhang [Electron. J. Combin. 27 (4) (2020)],and later uniquely determined by Zhai, Liu and Xue [Electron. J. Combin. 29 (3) (2022)]. Rec… ▽ More Let $F_s$ be the friendship graph obtained from $s$ triangles by sharing a common vertex. For fixed $s\ge 2$ and sufficiently large $n$, the $F_s$-free graphs of order $n$ which attain the maximal spectral radius was firstly characterized by Cioabă, Feng, Tait and Zhang [Electron. J. Combin. 27 (4) (2020)],and later uniquely determined by Zhai, Liu and Xue [Electron. J. Combin. 29 (3) (2022)]. Recently, the spectral extremal problems was widely studied for graphs containing no $H$ as a minor. For instance, Tait [J. Combin. Theory Ser. A 166 (2019)], Zhai and Lin [J. Combin. Theory Ser. B 157 (2022)] solved the case $H=K_r$ and $H=K_{s,t}$, respectively. Motivated by these results, we consider the spectral extremal problems in the case $H=F_s$. We shall prove that $K_s \vee I_{n-s}$ is the unique graph that attain the maximal spectral radius over all $n$-vertex $F_s$-minor-free graphs. Moreover, let $Q_t$ be the graph obtained from $t$ copies of the cycle of length $4$ by sharing a common vertex. We also determine the unique $Q_t$-minor-free graph attaining the maximal spectral radius. Namely, $K_t \vee M_{n-t}$, where $M_{n-t}$ is a graph obtained from an independent set of order $n-t$ by embedding a matching consisting of $\lfloor \frac{n-t}{2}\rfloor$ edges. △ Less

Submitted 14 January, 2023; originally announced January 2023.

MSC Class: 05C50 ACM Class: G.2.2

Multi-fidelity error estimation accelerates greedy model reduction of complex dynamical systems

Authors: Lihong Feng, Luigi Lombardi, Giulio Antonini, Peter Benner

Abstract: Model order reduction usually consists of two stages: the offline stage and the online stage. The offline stage is the expensive part that sometimes takes hours till the final reduced-order model is derived, especially when the original model is very large or complex. Once the reduced-order model is obtained, the online stage of querying the reduced-order model for simulation is very fast and ofte… ▽ More Model order reduction usually consists of two stages: the offline stage and the online stage. The offline stage is the expensive part that sometimes takes hours till the final reduced-order model is derived, especially when the original model is very large or complex. Once the reduced-order model is obtained, the online stage of querying the reduced-order model for simulation is very fast and often real-time capable. This work concerns a strategy to significantly speed up the offline stage of model order reduction for large and complex systems. In particular, it is successful in accelerating the greedy algorithm that is often used in the offline stage for reduced-order model construction. We propose multi-fidelity error estimators and replace the high-fidelity error estimator in the greedy algorithm. Consequently, the computational complexity at each iteration of the greedy algorithm is reduced and the algorithm converges more than 3 times faster without incurring noticeable accuracy loss. △ Less

Submitted 19 January, 2023; v1 submitted 13 January, 2023; originally announced January 2023.

Comments: Compared to the first version, only the title is rephrased

A Uniform Convergent Petrov-Galerkin method for a Class of Turning Point Problems

Authors: Li Feng, Zhongyi Huang

Abstract: In this paper, we propose a numerical method for turning point problems in one dimension based on Petrov-Galerkin finite element method (PGFEM). We first give a priori estimate for the turning point problem with a single boundary turning point. Then we use PGFEM to solve it, where test functions are the solutions to piecewise approximate dual problems. We prove that our method has a first-order co… ▽ More In this paper, we propose a numerical method for turning point problems in one dimension based on Petrov-Galerkin finite element method (PGFEM). We first give a priori estimate for the turning point problem with a single boundary turning point. Then we use PGFEM to solve it, where test functions are the solutions to piecewise approximate dual problems. We prove that our method has a first-order convergence rate in both $L^\infty$ norm and an energy norm when we select the exact solutions to dual problems as test functions. Numerical results show that our scheme is efficient for turning point problems with different types of singularities, and the convergency coincides with our theoretical results. △ Less

Submitted 8 August, 2022; originally announced August 2022.

Every signed planar graph without cycles of length from 4 to 7 is 3-colorable

Authors: Lan Kaiyang, Liu Feng

Abstract: Hu and Li investigate the signed graph version of Erd$\ddot{\mathrm{o}}$s problem: Is there a constant $c$ such that every signed planar graph without $k$-cycles, where $4\leq k\leq c$, is $3$-colorable and prove that each signed planar graph without cycles of length from 4 to 8 is 3-colorable. We give a very short and simple proof of this result and improve it, based on a recent observation. Hu and Li investigate the signed graph version of Erd$\ddot{\mathrm{o}}$s problem: Is there a constant $c$ such that every signed planar graph without $k$-cycles, where $4\leq k\leq c$, is $3$-colorable and prove that each signed planar graph without cycles of length from 4 to 8 is 3-colorable. We give a very short and simple proof of this result and improve it, based on a recent observation. △ Less

Submitted 3 May, 2022; v1 submitted 28 April, 2022; originally announced May 2022.

Comments: incomplete proof

MSC Class: 05C10; 05C15; 05C22

Rank Based Tests for High Dimensional White Noise

Authors: Dachuan Chen, Fengyi Song, Long Feng

Abstract: The development of high-dimensional white noise test is important in both statistical theories and applications, where the dimension of the time series can be comparable to or exceed the length of the time series. This paper proposes several distribution-free tests using the rank based statistics for testing the high-dimensional white noise, which are robust to the heavy tails and do not quire the… ▽ More The development of high-dimensional white noise test is important in both statistical theories and applications, where the dimension of the time series can be comparable to or exceed the length of the time series. This paper proposes several distribution-free tests using the rank based statistics for testing the high-dimensional white noise, which are robust to the heavy tails and do not quire the finite-order moment assumptions for the sample distributions. Three families of rank based tests are analyzed in this paper, including the simple linear rank statistics, non-degenerate U-statistics and degenerate U-statistics. The asymptotic null distributions and rate optimality are established for each family of these tests. Among these tests, the test based on degenerate U-statistics can also detect the non-linear and non-monotone relationships in the autocorrelations. Moreover, this is the first result on the asymptotic distributions of rank correlation statistics which allowing for the cross-sectional dependence in high dimensional data. △ Less

Submitted 19 July, 2023; v1 submitted 18 April, 2022; originally announced April 2022.

Spectral radius and the $2$-power of Hamilton cycles

Authors: Xinru Yan, Xiaocong He, Lihua Feng, Weijun Liu

Abstract: Let $G$ be a graph of order $n$ and spectral radius be the largest eigenvalue of its adjacency matrix, denoted by $μ(G)$. In this paper, we determine the unique graph with maximum spectral radius among all graphs of order $n$ without containing the $2$-power of a Hamilton cycle. Let $G$ be a graph of order $n$ and spectral radius be the largest eigenvalue of its adjacency matrix, denoted by $μ(G)$. In this paper, we determine the unique graph with maximum spectral radius among all graphs of order $n$ without containing the $2$-power of a Hamilton cycle. △ Less

Submitted 13 January, 2022; originally announced January 2022.

Comments: 17 pages, 10 figures

MSC Class: 05C35 ACM Class: G.2.0

Analytical and numerical investigation on the tempered time-fractional operator with application to the Bloch equation and the two-layered problem

Authors: Libo Feng, Fawang Liu, Vo V. Anh, Shanlin Qin

Abstract: In the continuous time random walk model, the time-fractional operator usually expresses an infinite waiting time probability density. Different from that usual setting, this work considers the tempered time-fractional operator, which reflects a finite waiting time probability density. Firstly, we analyse the solution of a tempered benchmark problem, which shows a weak singularity near the initial… ▽ More In the continuous time random walk model, the time-fractional operator usually expresses an infinite waiting time probability density. Different from that usual setting, this work considers the tempered time-fractional operator, which reflects a finite waiting time probability density. Firstly, we analyse the solution of a tempered benchmark problem, which shows a weak singularity near the initial time. The L1 scheme on graded mesh and the WSGL formula with correction terms are adapted to deal with the non-smooth solution, in which we compare these two methods systematically in terms of the convergence and consumed CPU time. Furthermore, a fast calculation for the time tempered Caputo fractional derivative is developed based on a sum-of-exponentials approximation, which significantly reduces the running time. Moreover, the tempered operator is applied to the Bloch equation in nuclear magnetic resonance and a two-layered problem with composite material exhibiting distinct memory effects, for which both the analytical (or semi-analytical) and numerical solutions are derived using transform techniques and finite difference methods. Data fitting results verify that the tempered time-fractional model is much effective to describe the MRI data. An important finding is that, compared with the fractional index, the tempered operator parameter could further accelerate the diffusion. The tempered model with two parameters $α$ and $ρ$ are more flexible, which can avoid choosing a too small fractional index leading to low regularity and strong heterogeneity. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 23 pages, 9 figures, 6 tables

A survey on spectral conditions for some extremal graph problems

Authors: Yongtao Li, Weijun Liu, Lihua Feng

Abstract: This survey is two-fold. We first report new progress on the spectral extremal results on the Turán type problems in graph theory. More precisely, we shall summarize the spectral Turán function in terms of the adjacency spectral radius and the signless Laplacian spectral radius for various graphs. For instance, the complete graphs, general graphs with chromatic number at least three, complete bipa… ▽ More This survey is two-fold. We first report new progress on the spectral extremal results on the Turán type problems in graph theory. More precisely, we shall summarize the spectral Turán function in terms of the adjacency spectral radius and the signless Laplacian spectral radius for various graphs. For instance, the complete graphs, general graphs with chromatic number at least three, complete bipartite graphs, odd cycles, even cycles, color-critical graphs and intersecting triangles. The second goal is to conclude some recent results of the spectral conditions on some graphical properties. By a unified method, we present some sufficient conditions based on the adjacency spectral radius and the signless Laplacian spectral radius for a graph to be Hamiltonian, $k$-Hamiltonian, $k$-edge-Hamiltonian, traceable, $k$-path-coverable, $k$-connected, $k$-edge-connected, Hamilton-connected, perfect matching and $β$-deficient. △ Less

Submitted 12 May, 2022; v1 submitted 5 November, 2021; originally announced November 2021.

Comments: This article is a survey paper and it is very long with 80 pages. In such survey, it is impossible to refer to all the nice papers. So if a paper is missing from this survey, which does not mean that it is not worth including it. Any suggestions and comments are welcome. E-mail: [email protected]

MSC Class: 05C50; 15A18; 05C38

Journal ref: Advances in Mathematics (China), 51 (2) (2022) 193-258

Fast A Posteriori State Error Estimation for Reliable Frequency Sweeping in Microwave Circuits via the Reduced-Basis Method

Authors: Valentin de la Rubia, Sridhar Chellappa, Lihong Feng, Peter Benner

Abstract: We develop a compact, reliable model order reduction approach for fast frequency sweeps in microwave circuits by means of the reduced-basis method. Contrary to what has been previously done, special emphasis is placed on certifying the accuracy of the reduced-order model with respect to the original full-order model in an effective and efficient way. Previous works on model order reduction accurac… ▽ More We develop a compact, reliable model order reduction approach for fast frequency sweeps in microwave circuits by means of the reduced-basis method. Contrary to what has been previously done, special emphasis is placed on certifying the accuracy of the reduced-order model with respect to the original full-order model in an effective and efficient way. Previous works on model order reduction accuracy certification rely on costly $\textit{a posteriori}$ error estimators, which typically require expensive $\textit{inf-sup}$ constant evaluations of the underlying full-order model. This scenario is often too time-consuming and unaffordable in electromagnetic applications. As a result, less expensive and heuristic error estimators are commonly used instead. Very often, one is interested in knowing about the full state vector, instead of just some output quantities derived from the full state. Therefore, error estimators for the full state vector become relevant. In this work, we detail the frequency behavior of both the electric field and the state error when an approximation to the electric field solution is carried out. Both field quantities share the same frequency behavior. Based on this observation, we focus on the efficient estimation of the electric field state error and propose a fast evaluation of the reduced-order model state error in the frequency band of analysis, minimizing the number of full-order model evaluations. This methodology is of paramount importance to carry out a reliable fast frequency sweep in microwave circuits. Finally, real-life applications will illustrate the capabilities and efficiency of the proposed approach. △ Less

Submitted 12 October, 2021; originally announced October 2021.

Comments: 24 pages, 13 Figures, 6 Tables

Journal ref: IEEE Transactions on Microwave Theory and Techniques, vol. 70, no. 11, pp. 5172-5184, 2022

The Q-index and connectivity of graphs

Authors: Peng-Li Zhang, Lihua Feng, Weijun Liu, Xiao-Dong Zhang

Abstract: A connected graph $G$ is said to be $k$-connected if it has more than $k$ vertices and remains connected whenever fewer than $k$ vertices are deleted. In this paper, for a connected graph $G$ with sufficiently large order, we present a tight sufficient condition for $G$ with fixed minimum degree to be $k$-connected based on the $Q$-index. Our result can be viewed as a spectral counterpart of the c… ▽ More A connected graph $G$ is said to be $k$-connected if it has more than $k$ vertices and remains connected whenever fewer than $k$ vertices are deleted. In this paper, for a connected graph $G$ with sufficiently large order, we present a tight sufficient condition for $G$ with fixed minimum degree to be $k$-connected based on the $Q$-index. Our result can be viewed as a spectral counterpart of the corresponding Dirac type condition. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:2109.07347

MSC Class: 05C50

A tight $Q$-index condition for a graph to be $k$-path-coverable involving minimum degree

Authors: Tao Cheng, Lihua Feng, Yongtao Li, Weijun Liu

Abstract: A graph $G$ is $k$-path-coverable if its vertex set $V(G)$ can be covered by $k$ or fewer vertex disjoint paths. In this paper, using the $Q$-index of a connected graph $G$, we present a tight sufficient condition for $G$ with fixed minimum degree and large order to be $k$-path-coverable. A graph $G$ is $k$-path-coverable if its vertex set $V(G)$ can be covered by $k$ or fewer vertex disjoint paths. In this paper, using the $Q$-index of a connected graph $G$, we present a tight sufficient condition for $G$ with fixed minimum degree and large order to be $k$-path-coverable. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: 13 pages. Any comments and suggestions are welcome

MSC Class: 05C50; 15A18; 05C38

Multivariate moment matching for model order reduction of quadratic-bilinear systems using error bounds

Authors: Muhammad Altaf Khattak, Mian Ilyas Ahmad, Lihong Feng, Peter Benner

Abstract: We propose an adaptive moment-matching framework for model order reduction of quadratic-bilinear descriptor systems. In this framework, an important issue is the selection of those shift frequencies where moment-matching is to be achieved. Often, the choice is random or linked to the linear part of the nonlinear system. In this paper, we extend the use of an existing a posteriori error bound for g… ▽ More We propose an adaptive moment-matching framework for model order reduction of quadratic-bilinear descriptor systems. In this framework, an important issue is the selection of those shift frequencies where moment-matching is to be achieved. Often, the choice is random or linked to the linear part of the nonlinear system. In this paper, we extend the use of an existing a posteriori error bound for general linear time invariant systems to quadratic-bilinear systems and develop a greedy-type framework to select a good choice of interpolation points for the construction of the projection matrices. The results are compared with standard quadratic-bilinear projection methods and we observe that the approximations obtained by the proposed method yield high accuracy. △ Less

Submitted 27 May, 2021; originally announced May 2021.

Inf-Sup-Constant-Free State Error Estimator for Model Order Reduction of Parametric Systems in Electromagnetics

Authors: Sridhar Chellappa, Lihong Feng, Valentin de la Rubia, Peter Benner

Abstract: A reliable model order reduction process for parametric analysis in electromagnetics is detailed. Special emphasis is placed on certifying the accuracy of the reduced-order model. For this purpose, a sharp state error estimator is proposed. Standard a posteriori state error estimation for model order reduction relies on the inf-sup constant. For parametric systems, the inf-sup constant is paramete… ▽ More A reliable model order reduction process for parametric analysis in electromagnetics is detailed. Special emphasis is placed on certifying the accuracy of the reduced-order model. For this purpose, a sharp state error estimator is proposed. Standard a posteriori state error estimation for model order reduction relies on the inf-sup constant. For parametric systems, the inf-sup constant is parameter-dependent. The a posteriori error estimation for systems with very small or vanishing inf-sup constant poses a challenge, since it is inversely proportional to the inf-sup constant, resulting in rather useless, overly pessimistic error estimators. Such systems appear in electromagnetics since the inf-sup constant values are close to zero at points close to resonant frequencies, where they eventually vanish. We propose a novel a posteriori state error estimator which avoids the calculation of the inf-sup constant. The proposed state error estimator is compared with the standard error estimator and a recently proposed one in the literature. It is shown that our proposed error estimator outperforms both existing estimators. Numerical experiments are performed on real-life microwave devices such as narrowband and wideband antennas, two types of dielectric resonator filters as well as a dual-mode waveguide filter. These examples show the capabilities and efficiency of the proposed methodology. △ Less

Submitted 2 April, 2023; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: 20 pages, 30 Figures, 3 Tables