-
Partite saturation number of cycles
Authors:
Yiduo Xu,
Zhen He,
Mei Lu
Abstract:
A graph $H$ is said to be $F$-saturated relative to $G$, if $H$ does not contain any copy of $F$ but the addition of any edge $e$ in $E(G)\backslash E(H)$ would create a copy of $F$. The minimum size of a $F$-saturated graph relative to $G$ is denoted by $sat(G,F)$. We use $sat(n,k,F)$ to denote the partite saturation number $sat(K_{k \times n},F)$, where $K_{k \times n}$ is the complete $k$-parti…
▽ More
A graph $H$ is said to be $F$-saturated relative to $G$, if $H$ does not contain any copy of $F$ but the addition of any edge $e$ in $E(G)\backslash E(H)$ would create a copy of $F$. The minimum size of a $F$-saturated graph relative to $G$ is denoted by $sat(G,F)$. We use $sat(n,k,F)$ to denote the partite saturation number $sat(K_{k \times n},F)$, where $K_{k \times n}$ is the complete $k$-partite graph with $n$ vertices in each part. In this paper we prove that $sat(n,k, C_{\ell+1})= kn + O(\ell^2)$ holds for all $\ell \geq k \geq 3$, and $sat(n,k, C_{\ell+1})= kn + O(\ell)$ holds for $\ell \geq 60k+11$. Also we determine the exact value of $sat(n,k, C_{\ell+1})$ for all $4 \geq \ell \geq k \geq 3$.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
The Effect of Personalization in FedProx: A Fine-grained Analysis on Statistical Accuracy and Communication Efficiency
Authors:
Xin Yu,
Zelin He,
Ying Sun,
Lingzhou Xue,
Runze Li
Abstract:
FedProx is a simple yet effective federated learning method that enables model personalization via regularization. Despite remarkable success in practice, a rigorous analysis of how such a regularization provably improves the statistical accuracy of each client's local model hasn't been fully established. Setting the regularization strength heuristically presents a risk, as an inappropriate choice…
▽ More
FedProx is a simple yet effective federated learning method that enables model personalization via regularization. Despite remarkable success in practice, a rigorous analysis of how such a regularization provably improves the statistical accuracy of each client's local model hasn't been fully established. Setting the regularization strength heuristically presents a risk, as an inappropriate choice may even degrade accuracy. This work fills in the gap by analyzing the effect of regularization on statistical accuracy, thereby providing a theoretical guideline for setting the regularization strength for achieving personalization. We prove that by adaptively choosing the regularization strength under different statistical heterogeneity, FedProx can consistently outperform pure local training and achieve a nearly minimax-optimal statistical rate. In addition, to shed light on resource allocation, we design an algorithm, provably showing that stronger personalization reduces communication complexity without increasing the computation cost overhead. Finally, our theory is validated on both synthetic and real-world datasets and its generalizability is verified in a non-convex setting.
△ Less
Submitted 11 October, 2024;
originally announced October 2024.
-
Solving Integrated Process Planning and Scheduling Problem via Graph Neural Network Based Deep Reinforcement Learning
Authors:
Hongpei Li,
Han Zhang,
Ziyan He,
Yunkai Jia,
Bo Jiang,
Xiang Huang,
Dongdong Ge
Abstract:
The Integrated Process Planning and Scheduling (IPPS) problem combines process route planning and shop scheduling to achieve high efficiency in manufacturing and maximize resource utilization, which is crucial for modern manufacturing systems. Traditional methods using Mixed Integer Linear Programming (MILP) and heuristic algorithms can not well balance solution quality and speed when solving IPPS…
▽ More
The Integrated Process Planning and Scheduling (IPPS) problem combines process route planning and shop scheduling to achieve high efficiency in manufacturing and maximize resource utilization, which is crucial for modern manufacturing systems. Traditional methods using Mixed Integer Linear Programming (MILP) and heuristic algorithms can not well balance solution quality and speed when solving IPPS. In this paper, we propose a novel end-to-end Deep Reinforcement Learning (DRL) method. We model the IPPS problem as a Markov Decision Process (MDP) and employ a Heterogeneous Graph Neural Network (GNN) to capture the complex relationships among operations, machines, and jobs. To optimize the scheduling strategy, we use Proximal Policy Optimization (PPO). Experimental results show that, compared to traditional methods, our approach significantly improves solution efficiency and quality in large-scale IPPS instances, providing superior scheduling strategies for modern intelligent manufacturing systems.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
The saturation number for unions of four cliques
Authors:
Ruo-Xuan Li,
Rong-Xia Hao,
Zhen He,
Wen-Han Zhu
Abstract:
A graph $G$ is $H$-saturated if $H$ is not a subgraph of $G$ but $H$ is a subgraph of $G + e$ for any edge $e$ in $\overline{G}$. The saturation number $sat(n,H)$ for a graph $H$ is the minimal number of edges in any $H$-saturated graph of order $n$. The $sat(n, K_{p_1} \cup K_{p_2} \cup K_{p_3})$ with $p_3 \ge p_1 + p_2$ was given in [Discrete Math. 347 (2024) 113868]. In this paper,…
▽ More
A graph $G$ is $H$-saturated if $H$ is not a subgraph of $G$ but $H$ is a subgraph of $G + e$ for any edge $e$ in $\overline{G}$. The saturation number $sat(n,H)$ for a graph $H$ is the minimal number of edges in any $H$-saturated graph of order $n$. The $sat(n, K_{p_1} \cup K_{p_2} \cup K_{p_3})$ with $p_3 \ge p_1 + p_2$ was given in [Discrete Math. 347 (2024) 113868]. In this paper, $sat(n,K_{p_1} \cup K_{p_2} \cup K_{p_3} \cup K_{p_4})$ with $p_{i+1} - p_i \ge p_1$ for $2 \le i\le 3$ and $4\le p_1\le p_2$ is determined.
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Saturation Numbers for Linear Forests $P_7+tP_2$
Authors:
Yu Zhang,
Rong-Xia Hao,
Zhen He,
Wen-Han Zhu
Abstract:
Let $H$ be a fixed graph, a graph G is $H$-saturated if it has no copy of $H$ in $G$, but the addition of any edge in $E(\overline G)$ to $G$ results in an $H$-subgraph. The saturation number sat$(n,H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. In this paper, we determine the saturation number sat$(n,P_7+tP_2)$ for $n\geq \frac {14}{5}t+27$ and characterize the extr…
▽ More
Let $H$ be a fixed graph, a graph G is $H$-saturated if it has no copy of $H$ in $G$, but the addition of any edge in $E(\overline G)$ to $G$ results in an $H$-subgraph. The saturation number sat$(n,H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. In this paper, we determine the saturation number sat$(n,P_7+tP_2)$ for $n\geq \frac {14}{5}t+27$ and characterize the extremal graphs for $n\geq \frac{14}{13}(3t+25)$.
△ Less
Submitted 13 August, 2024;
originally announced August 2024.
-
On the precise quantification of the impact of a single discretionary lane change on surrounding traffic
Authors:
Kangning Hou,
Jia Zou,
Fangfang Zheng,
Xiaobo Liu,
Zhengbing He
Abstract:
Lane-changing is a critical maneuver of vehicle driving, and a comprehensive understanding of its impact on traffic is essential for effective traffic management and optimization. Unfortunately, existing studies fail to adequately distinguish the impact of lane changes from those resulting from natural traffic dynamics. Additionally, there is a lack of precise methods for measuring the spatial ext…
▽ More
Lane-changing is a critical maneuver of vehicle driving, and a comprehensive understanding of its impact on traffic is essential for effective traffic management and optimization. Unfortunately, existing studies fail to adequately distinguish the impact of lane changes from those resulting from natural traffic dynamics. Additionally, there is a lack of precise methods for measuring the spatial extent and duration of the impact of a single discretionary lane change, as well as a definitive metric to quantify the overall spatiotemporal impact. To address these gaps, this study introduces a quantitative indicator called the Corrected Travel Distance Bias (CTDB), which accounts for variable speeds due to inherent traffic dynamics, providing a more accurate assessment of lane-changing impacts. A comprehensive methodology is developed to compare vehicle trajectory data before and after lane-changing events, measuring both the magnitude and spatiotemporal extent of the lane-changing impact. The results, based on the Zen traffic data from Japan, indicate that the impact of a lane change in the target lane lasts an average of 23.8 seconds, affecting approximately 5.6 vehicles, with a CTDB value of -10.8 meters. In contrast, in the original lane, the impact lasts 25 seconds, affects 5.3 vehicles, and yields a CTDB value of 4.7 meters.
△ Less
Submitted 26 July, 2024;
originally announced July 2024.
-
Local densities of quadratic polynomials over non-dyadic fields and unramified dyadic fields
Authors:
Zilong He,
Zichen Yang
Abstract:
In this paper, we prove formulas for local densities of quadratic polynomials over non-dyadic fields and over unramified dyadic fields.
In this paper, we prove formulas for local densities of quadratic polynomials over non-dyadic fields and over unramified dyadic fields.
△ Less
Submitted 19 July, 2024; v1 submitted 12 July, 2024;
originally announced July 2024.
-
On area-minimizing subgraphs in integer lattices
Authors:
Zunwu He,
Bobo Hua
Abstract:
We introduce area-minimizing subgraphs in an infinite graph via the formulation of functions of bounded variations initiated by De Giorgi. We classify area-minimizing subgraphs in the two-dimensional integer lattice up to isomorphisms, and prove general geometric properties for those in high-dimensional cases.
We introduce area-minimizing subgraphs in an infinite graph via the formulation of functions of bounded variations initiated by De Giorgi. We classify area-minimizing subgraphs in the two-dimensional integer lattice up to isomorphisms, and prove general geometric properties for those in high-dimensional cases.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Distributed Traffic Signal Control via Coordinated Maximum Pressure-plus-Penalty
Authors:
Vinzenz Tütsch,
Zhiyu He,
Florian Dörfler,
Kenan Zhang
Abstract:
This paper develops an adaptive traffic control policy inspired by Maximum Pressure (MP) while imposing coordination across intersections. The proposed Coordinated Maximum Pressure-plus-Penalty (CMPP) control policy features a local objective for each intersection that consists of the total pressure within the neighborhood and a penalty accounting for the queue capacities and continuous green time…
▽ More
This paper develops an adaptive traffic control policy inspired by Maximum Pressure (MP) while imposing coordination across intersections. The proposed Coordinated Maximum Pressure-plus-Penalty (CMPP) control policy features a local objective for each intersection that consists of the total pressure within the neighborhood and a penalty accounting for the queue capacities and continuous green time for certain movements. The corresponding control task is reformulated as a distributed optimization problem and solved via two customized algorithms: one based on the alternating direction method of multipliers (ADMM) and the other follows a greedy heuristic augmented with a majority vote. CMPP not only provides a theoretical guarantee of queuing network stability but also outperforms several benchmark controllers in simulations on a large-scale real traffic network with lower average travel and waiting time per vehicle, as well as less network congestion. Furthermore, CPMM with the greedy algorithm enjoys comparable computational efficiency as fully decentralized controllers without significantly compromising the control performance, which highlights its great potential for real-world deployment.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
High-accurate and efficient numerical algorithms for the self-consistent field theory of liquid-crystalline polymers
Authors:
Zhijuan He,
Kai Jiang,
Liwei Tan,
Xin Wang
Abstract:
Self-consistent field theory (SCFT) is one of the most widely-used framework in studying the equilibrium phase behaviors of inhomogenous polymers. For liquid crystalline polymeric systems, the main numerical challenges of solving SCFT encompass efficiently solving plenty of six dimensional partial differential equations (PDEs), precisely determining the subtle energy difference among self-assemble…
▽ More
Self-consistent field theory (SCFT) is one of the most widely-used framework in studying the equilibrium phase behaviors of inhomogenous polymers. For liquid crystalline polymeric systems, the main numerical challenges of solving SCFT encompass efficiently solving plenty of six dimensional partial differential equations (PDEs), precisely determining the subtle energy difference among self-assembled structures, and developing effective iterative methods for nonlinear SCF iteration. To address these challenges, this work introduces a suite of high-order and efficient numerical methods tailored for SCFT of liquid-crystalline polymers. These methods include various advaced PDE solvers, an improved Anderson iteration algorithm to accelerate SCFT calculations, and an optimization technique of adjusting the computational domain during the SCF iterations. Extensive numerical tests demonstrate the efficiency of the proposed methods. Based on these algorithms, we further explore the self-assembly behavior of liquid crystalline polymers through simulations in four, five, and six dimensions, uncovering intricate three-dimensional spatial structures.
△ Less
Submitted 13 September, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
Minimum saturated graphs for unions of cliques
Authors:
Wen-Han Zhu,
Rong-Xia Hao,
Zhen He
Abstract:
Let $H$ be a fixed graph. A graph $G$ is called {\it $H$-saturated} if $H$ is not a subgraph of $G$ but the addition of any missing edge to $G$ results in an $H$-subgraph. The {\it saturation number} of $H$, denoted $sat(n,H)$, is the minimum number of edges over all $H$-saturated graphs of order $n$, and $Sat(n,H)$ denote the family of $H$-saturated graphs with $sat(n,H)$ edges and $n$ vertices.…
▽ More
Let $H$ be a fixed graph. A graph $G$ is called {\it $H$-saturated} if $H$ is not a subgraph of $G$ but the addition of any missing edge to $G$ results in an $H$-subgraph. The {\it saturation number} of $H$, denoted $sat(n,H)$, is the minimum number of edges over all $H$-saturated graphs of order $n$, and $Sat(n,H)$ denote the family of $H$-saturated graphs with $sat(n,H)$ edges and $n$ vertices. In this paper, we resolve a conjecture of Chen and Yuan in[Discrete Math. 347(2024)113868] by determining $Sat(n,K_p\cup (t-1)K_q)$ for every $2\le p\le q$ and $t\ge 2$.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
A variational approach to a fuzzy Boltzmann equation
Authors:
Matthias Erbar,
Zihui He
Abstract:
We study a fuzzy Boltzmann equation, where particles interact via delocalised collisions, in contrast to classical Boltzmann equations. We discuss the existence and uniqueness of solutions and provide a natural variational characterisation by casting the fuzzy Boltzmann equation into the framework of GENERIC systems (General Equations for Non-Equilibrium Reversible-Irreversible Coupling).
We study a fuzzy Boltzmann equation, where particles interact via delocalised collisions, in contrast to classical Boltzmann equations. We discuss the existence and uniqueness of solutions and provide a natural variational characterisation by casting the fuzzy Boltzmann equation into the framework of GENERIC systems (General Equations for Non-Equilibrium Reversible-Irreversible Coupling).
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
The double phase problems on lattice graphs
Authors:
Zhentao He,
Chao Ji
Abstract:
In this paper, we first develop the theory of Musielak-Orlicz spaces on locally finite graphs, including completeness, reflexivity, separability, and so on. Then, we give some elementary properties of double phase operators on locally finite graphs. Finally, as applications of previous theory, we prove some existence results of solutions to double phase problems on lattice graphs.
In this paper, we first develop the theory of Musielak-Orlicz spaces on locally finite graphs, including completeness, reflexivity, separability, and so on. Then, we give some elementary properties of double phase operators on locally finite graphs. Finally, as applications of previous theory, we prove some existence results of solutions to double phase problems on lattice graphs.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Gray-Box Nonlinear Feedback Optimization
Authors:
Zhiyu He,
Saverio Bolognani,
Michael Muehlebach,
Florian Dörfler
Abstract:
Feedback optimization enables autonomous optimality seeking of a dynamical system through its closed-loop interconnection with iterative optimization algorithms. Among various iteration structures, model-based approaches require the input-output sensitivity of the system to construct gradients, whereas model-free approaches bypass this need by estimating gradients from real-time evaluations of the…
▽ More
Feedback optimization enables autonomous optimality seeking of a dynamical system through its closed-loop interconnection with iterative optimization algorithms. Among various iteration structures, model-based approaches require the input-output sensitivity of the system to construct gradients, whereas model-free approaches bypass this need by estimating gradients from real-time evaluations of the objective. These approaches own complementary benefits in sample efficiency and accuracy against model mismatch, i.e., errors of sensitivities. To achieve the best of both worlds, we propose gray-box feedback optimization controllers, featuring systematic incorporation of approximate sensitivities into model-free updates via adaptive convex combination. We quantify conditions on the accuracy of the sensitivities that render the gray-box approach preferable. We elucidate how the closed-loop performance is determined by the number of iterations, the problem dimension, and the cumulative effect of inaccurate sensitivities. The proposed controller contributes to a balanced closed-loop behavior, which retains provable sample efficiency and optimality guarantees for nonconvex problems. We further develop a running gray-box controller to handle constrained time-varying problems with changing objectives and steady-state maps.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
TransFusion: Covariate-Shift Robust Transfer Learning for High-Dimensional Regression
Authors:
Zelin He,
Ying Sun,
Jingyuan Liu,
Runze Li
Abstract:
The main challenge that sets transfer learning apart from traditional supervised learning is the distribution shift, reflected as the shift between the source and target models and that between the marginal covariate distributions. In this work, we tackle model shifts in the presence of covariate shifts in the high-dimensional regression setting. Specifically, we propose a two-step method with a n…
▽ More
The main challenge that sets transfer learning apart from traditional supervised learning is the distribution shift, reflected as the shift between the source and target models and that between the marginal covariate distributions. In this work, we tackle model shifts in the presence of covariate shifts in the high-dimensional regression setting. Specifically, we propose a two-step method with a novel fused-regularizer that effectively leverages samples from source tasks to improve the learning performance on a target task with limited samples. Nonasymptotic bound is provided for the estimation error of the target model, showing the robustness of the proposed method to covariate shifts. We further establish conditions under which the estimator is minimax-optimal. Additionally, we extend the method to a distributed setting, allowing for a pretraining-finetuning strategy, requiring just one round of communication while retaining the estimation rate of the centralized version. Numerical tests validate our theory, highlighting the method's robustness to covariate shifts.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Online Feedback Optimization over Networks: A Distributed Model-free Approach
Authors:
Wenbin Wang,
Zhiyu He,
Giuseppe Belgioioso,
Saverio Bolognani,
Florian Dörfler
Abstract:
Online feedback optimization (OFO) enables optimal steady-state operations of a physical system by employing an iterative optimization algorithm as a dynamic feedback controller. When the plant consists of several interconnected sub-systems, centralized implementations become impractical due to the heavy computational burden and the need to pre-compute system-wide sensitivities, which may not be e…
▽ More
Online feedback optimization (OFO) enables optimal steady-state operations of a physical system by employing an iterative optimization algorithm as a dynamic feedback controller. When the plant consists of several interconnected sub-systems, centralized implementations become impractical due to the heavy computational burden and the need to pre-compute system-wide sensitivities, which may not be easily accessible in practice. Motivated by these challenges, we develop a fully distributed model-free OFO controller, featuring consensus-based tracking of the global objective value and local iterative (projected) updates that use stochastic gradient estimates. We characterize how the closed-loop performance depends on the size of the network, the number of iterations, and the level of accuracy of consensus. Numerical simulations on a voltage control problem in a direct current power grid corroborate the theoretical findings.
△ Less
Submitted 12 September, 2024; v1 submitted 28 March, 2024;
originally announced March 2024.
-
Existence and multiplicity of solutions for the logarithmic Schrödinger equation with a potential on lattice graphs
Authors:
Zhentao He,
Chao Ji
Abstract:
In this paper, we consider the existence and multiplicity of solutions for the logarithmic Schrödinger equation on lattice graphs $\mathbb{Z}^N$ $$ -Δu+V(x) u=u \log u^2, \quad x \in \mathbb{Z}^N, $$ When the potential $V$ is coercive, we obtain infinitely many solutions by adapting some arguments of the Fountain theorem. In the cases of periodic potential, asymptotically periodic potential and bo…
▽ More
In this paper, we consider the existence and multiplicity of solutions for the logarithmic Schrödinger equation on lattice graphs $\mathbb{Z}^N$ $$ -Δu+V(x) u=u \log u^2, \quad x \in \mathbb{Z}^N, $$ When the potential $V$ is coercive, we obtain infinitely many solutions by adapting some arguments of the Fountain theorem. In the cases of periodic potential, asymptotically periodic potential and bounded potential, we first investigate the existence of ground state solutions via the variation methods, and then we generalize these results from $\mathbb{Z}^N$ to quasi-transitive graphs. Finally, we extend the main results of the paper to the $p$-Laplacian equation with the logarithmic nonlinearity.
△ Less
Submitted 23 March, 2024;
originally announced March 2024.
-
AdaTrans: Feature-wise and Sample-wise Adaptive Transfer Learning for High-dimensional Regression
Authors:
Zelin He,
Ying Sun,
Jingyuan Liu,
Runze Li
Abstract:
We consider the transfer learning problem in the high dimensional setting, where the feature dimension is larger than the sample size. To learn transferable information, which may vary across features or the source samples, we propose an adaptive transfer learning method that can detect and aggregate the feature-wise (F-AdaTrans) or sample-wise (S-AdaTrans) transferable structures. We achieve this…
▽ More
We consider the transfer learning problem in the high dimensional setting, where the feature dimension is larger than the sample size. To learn transferable information, which may vary across features or the source samples, we propose an adaptive transfer learning method that can detect and aggregate the feature-wise (F-AdaTrans) or sample-wise (S-AdaTrans) transferable structures. We achieve this by employing a novel fused-penalty, coupled with weights that can adapt according to the transferable structure. To choose the weight, we propose a theoretically informed, data-driven procedure, enabling F-AdaTrans to selectively fuse the transferable signals with the target while filtering out non-transferable signals, and S-AdaTrans to obtain the optimal combination of information transferred from each source sample. The non-asymptotic rates are established, which recover existing near-minimax optimal rates in special cases. The effectiveness of the proposed method is validated using both synthetic and real data.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Quasi-Monte Carlo and importance sampling methods for Bayesian inverse problems
Authors:
Zhijian He,
Hejin Wang,
Xiaoqun Wang
Abstract:
Importance Sampling (IS), an effective variance reduction strategy in Monte Carlo (MC) simulation, is frequently utilized for Bayesian inference and other statistical challenges. Quasi-Monte Carlo (QMC) replaces the random samples in MC with low discrepancy points and has the potential to substantially enhance error rates. In this paper, we integrate IS with a randomly shifted rank-1 lattice rule,…
▽ More
Importance Sampling (IS), an effective variance reduction strategy in Monte Carlo (MC) simulation, is frequently utilized for Bayesian inference and other statistical challenges. Quasi-Monte Carlo (QMC) replaces the random samples in MC with low discrepancy points and has the potential to substantially enhance error rates. In this paper, we integrate IS with a randomly shifted rank-1 lattice rule, a widely used QMC method, to approximate posterior expectations arising from Bayesian Inverse Problems (BIPs) where the posterior density tends to concentrate as the intensity of noise diminishes. Within the framework of weighted Hilbert spaces, we first establish the convergence rate of the lattice rule for a large class of unbounded integrands. This method extends to the analysis of QMC combined with IS in BIPs. Furthermore, we explore the robustness of the IS-based randomly shifted rank-1 lattice rule by determining the quadrature error rate with respect to the noise level. The effects of using Gaussian distributions and $t$-distributions as the proposal distributions on the error rate of QMC are comprehensively investigated. We find that the error rate may deteriorate at low intensity of noise when using improper proposals, such as the prior distribution. To reclaim the effectiveness of QMC, we propose a new IS method such that the lattice rule with $N$ quadrature points achieves an optimal error rate close to $O(N^{-1})$, which is insensitive to the noise level. Numerical experiments are conducted to support the theoretical results.
△ Less
Submitted 17 March, 2024;
originally announced March 2024.
-
Unbiased Markov chain quasi-Monte Carlo for Gibbs samplers
Authors:
Jiarui Du,
Zhijian He
Abstract:
In statistical analysis, Monte Carlo (MC) stands as a classical numerical integration method. When encountering challenging sample problem, Markov chain Monte Carlo (MCMC) is a commonly employed method. However, the MCMC estimator is biased after a fixed number of iterations. Unbiased MCMC, an advancement achieved through coupling techniques, addresses this bias issue in MCMC. It allows us to run…
▽ More
In statistical analysis, Monte Carlo (MC) stands as a classical numerical integration method. When encountering challenging sample problem, Markov chain Monte Carlo (MCMC) is a commonly employed method. However, the MCMC estimator is biased after a fixed number of iterations. Unbiased MCMC, an advancement achieved through coupling techniques, addresses this bias issue in MCMC. It allows us to run many short chains in parallel. Quasi-Monte Carlo (QMC), known for its high order of convergence, is an alternative of MC. By incorporating the idea of QMC into MCMC, Markov chain quasi-Monte Carlo (MCQMC) effectively reduces the variance of MCMC, especially in Gibbs samplers. This work presents a novel approach that integrates unbiased MCMC with MCQMC, called as an unbiased MCQMC method. This method renders unbiased estimators while improving the rate of convergence significantly. Numerical experiments demonstrate that unbiased MCQMC with a sample size of $N$ achieves convergence rates of approximately $O(N^{-1})$ in moderate dimensions for Gibbs sampling problems. In the setting of parallelization, unbiased MCQMC also performs better than unbiased MCMC, even running with short chains.
△ Less
Submitted 31 March, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Towards a Systems Theory of Algorithms
Authors:
Florian Dörfler,
Zhiyu He,
Giuseppe Belgioioso,
Saverio Bolognani,
John Lygeros,
Michael Muehlebach
Abstract:
Traditionally, numerical algorithms are seen as isolated pieces of code confined to an {\em in silico} existence. However, this perspective is not appropriate for many modern computational approaches in control, learning, or optimization, wherein {\em in vivo} algorithms interact with their environment. Examples of such {\em open algorithms} include various real-time optimization-based control str…
▽ More
Traditionally, numerical algorithms are seen as isolated pieces of code confined to an {\em in silico} existence. However, this perspective is not appropriate for many modern computational approaches in control, learning, or optimization, wherein {\em in vivo} algorithms interact with their environment. Examples of such {\em open algorithms} include various real-time optimization-based control strategies, reinforcement learning, decision-making architectures, online optimization, and many more. Further, even {\em closed} algorithms in learning or optimization are increasingly abstracted in block diagrams with interacting dynamic modules and pipelines. In this opinion paper, we state our vision on a to-be-cultivated {\em systems theory of algorithms} and argue in favor of viewing algorithms as open dynamical systems interacting with other algorithms, physical systems, humans, or databases. Remarkably, the manifold tools developed under the umbrella of systems theory are well suited for addressing a range of challenges in the algorithmic domain. We survey various instances where the principles of algorithmic systems theory are being developed and outline pertinent modeling, analysis, and design challenges.
△ Less
Submitted 30 April, 2024; v1 submitted 25 January, 2024;
originally announced January 2024.
-
Pseudo-automorphisms of rational threefolds and Kummer surfaces
Authors:
Zhuang He
Abstract:
Kummer surfaces are special quartic surfaces that admit $16$ nodes. The automorphisms of K3 Kummer surfaces are rich and complicated. Based on the results of Keum and Kondō, and as a continuation of the recent result by He and Yang, we lift $45$ classically known automorphisms of Kummer surfaces to pseudo-automorphisms of a threefold, the blow-up of $\mathbb{P}^3$ along $6$ points and $15$ lines.…
▽ More
Kummer surfaces are special quartic surfaces that admit $16$ nodes. The automorphisms of K3 Kummer surfaces are rich and complicated. Based on the results of Keum and Kondō, and as a continuation of the recent result by He and Yang, we lift $45$ classically known automorphisms of Kummer surfaces to pseudo-automorphisms of a threefold, the blow-up of $\mathbb{P}^3$ along $6$ points and $15$ lines. We give a description of a fundamental domain of the group generated by all the known pseudo-automorphisms on this threefold.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
Arithmetic Springer theorem and $n$-universality under field extensions
Authors:
Zilong He
Abstract:
Based on BONGs theory, we prove the norm principle for integral and relative integral spinor norms of quadratic forms over general dyadic local fields, respectively. By virtue of these results, we further establish the arithmetic version of Springer's theorem for indefinite quadratic forms. Moreover, we solve the lifting problems on $n$-universality over arbitrary local fields.
Based on BONGs theory, we prove the norm principle for integral and relative integral spinor norms of quadratic forms over general dyadic local fields, respectively. By virtue of these results, we further establish the arithmetic version of Springer's theorem for indefinite quadratic forms. Moreover, we solve the lifting problems on $n$-universality over arbitrary local fields.
△ Less
Submitted 15 October, 2024; v1 submitted 15 December, 2023;
originally announced December 2023.
-
Decentralized Feedback Optimization via Sensitivity Decoupling: Stability and Sub-optimality
Authors:
Wenbin Wang,
Zhiyu He,
Giuseppe Belgioioso,
Saverio Bolognani,
Florian Dörfler
Abstract:
Online feedback optimization is a controller design paradigm for optimizing the steady-state behavior of a dynamical system. It employs an optimization algorithm as a dynamic feedback controller and utilizes real-time measurements to bypass knowing exact plant dynamics and disturbances. Different from existing centralized settings, we present a fully decentralized feedback optimization controller…
▽ More
Online feedback optimization is a controller design paradigm for optimizing the steady-state behavior of a dynamical system. It employs an optimization algorithm as a dynamic feedback controller and utilizes real-time measurements to bypass knowing exact plant dynamics and disturbances. Different from existing centralized settings, we present a fully decentralized feedback optimization controller for networked systems to lift the communication burden and improve scalability. We approximate the overall input-output sensitivity matrix through its diagonal elements, which capture local model information. For the closed-loop behavior, we characterize the stability and bound the sub-optimality due to decentralization. We prove that the proposed decentralized controller yields solutions that correspond to the Nash equilibria of a non-cooperative game.
△ Less
Submitted 28 March, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Dimensions associated with surjective local homeomorphisms and subshifts with low complexity
Authors:
Zhuofeng He,
Sihan Wei
Abstract:
We prove that the Cuntz-Pimsner algebra associated to any surjective aperiodic one-sided subshift with finitely many left special elements has finite nuclear dimension, which is especially the case for every surjective aperiodic subshift with nonsuperlinear-growth complexity.
As a generalization, we define the notions of left speical set, the topological Rokhlin dimension, the tower dimension an…
▽ More
We prove that the Cuntz-Pimsner algebra associated to any surjective aperiodic one-sided subshift with finitely many left special elements has finite nuclear dimension, which is especially the case for every surjective aperiodic subshift with nonsuperlinear-growth complexity.
As a generalization, we define the notions of left speical set, the topological Rokhlin dimension, the tower dimension and the amenability dimension for every local homeomorphism. Then we turn to prove that, for every surjective local homeomorphism with a finite left special set consisting of isolated points, these dimensions along with the dynamic asymptotic dimension are all finite.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
A generalization of topological Rokhlin dimension and an embedding result
Authors:
Sihan Wei,
Zhuofeng He
Abstract:
We generalize Gabor's notion of topological Rokhlin dimension of $\mathbb{Z}^k$-actions on compact metric space to a class of general discrete countable amenable group actions which involves the approximate subgroup structure. Then with this generalization, we conclude the finiteness of topological Rokhlin dimension, amenability dimension, dynamic asymptotic dimension and also of the nuclear dimen…
▽ More
We generalize Gabor's notion of topological Rokhlin dimension of $\mathbb{Z}^k$-actions on compact metric space to a class of general discrete countable amenable group actions which involves the approximate subgroup structure. Then with this generalization, we conclude the finiteness of topological Rokhlin dimension, amenability dimension, dynamic asymptotic dimension and also of the nuclear dimension of the crossed product. An embedding result is also obtained, regarding those systems with mean dimension less that $m/2$ and with a finite-dimensional free factor.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Planar graphs without $5^{-}$-cycles at distance less than $3$ are $(\mathcal{I}, \mathcal{F})$-colorable
Authors:
Zhen He,
Tao Wang,
Xiaojing Yang
Abstract:
A graph is $(\mathcal{I}, \mathcal{F})$-colorable if its vertex set can be partitioned into two subsets, one of which is an independent set, and the other induces a forest. In this paper, we prove that every planar graph without $5^{-}$-cycles at distance less than $3$ is $(\mathcal{I}, \mathcal{F})$-colorable.
A graph is $(\mathcal{I}, \mathcal{F})$-colorable if its vertex set can be partitioned into two subsets, one of which is an independent set, and the other induces a forest. In this paper, we prove that every planar graph without $5^{-}$-cycles at distance less than $3$ is $(\mathcal{I}, \mathcal{F})$-colorable.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Ill-posedness for the Cauchy problem of the modified Camassa-Holm equation in $B^0_{\infty,1}$
Authors:
Zhen He,
Zhaoyang Yin
Abstract:
In this paper, we prove the norm inflation and get the ill-posedness for the modified Camassa-Holm equation in $B_{\infty,1}^0$. Therefore we completed all well-posedness and ill-posedness problem for the modified Camassa-Holm equation in all critical spaces $B_{p,1}^\frac{1}{p}$ with $p\in[1,\infty]$.
In this paper, we prove the norm inflation and get the ill-posedness for the modified Camassa-Holm equation in $B_{\infty,1}^0$. Therefore we completed all well-posedness and ill-posedness problem for the modified Camassa-Holm equation in all critical spaces $B_{p,1}^\frac{1}{p}$ with $p\in[1,\infty]$.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Uniqueness of conservative solutions to the the modified Camassa-Holm equation via Characteristics
Authors:
Zhen He,
Zhaoyang Yin
Abstract:
In this paper,for a given conservative solution, we introduce a set of auxiliary variables tailored to this particular solution, and prove that these variables satisfy a particular semilinear system having unique solutions. In turn, we get the uniqueness of the conservative solution in the original variables.
In this paper,for a given conservative solution, we introduce a set of auxiliary variables tailored to this particular solution, and prove that these variables satisfy a particular semilinear system having unique solutions. In turn, we get the uniqueness of the conservative solution in the original variables.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Quasi-Monte Carlo for unbounded integrands with importance sampling
Authors:
Du Ouyang,
Xiaoqun Wang,
Zhijian He
Abstract:
We consider the problem of estimating an expectation $ \mathbb{E}\left[ h(W)\right]$ by quasi-Monte Carlo (QMC) methods, where $ h $ is an unbounded smooth function on $ \mathbb{R}^d $ and $ W$ is a standard normal distributed random variable. To study rates of convergence for QMC on unbounded integrands, we use a smoothed projection operator to project the output of $W$ to a bounded region, which…
▽ More
We consider the problem of estimating an expectation $ \mathbb{E}\left[ h(W)\right]$ by quasi-Monte Carlo (QMC) methods, where $ h $ is an unbounded smooth function on $ \mathbb{R}^d $ and $ W$ is a standard normal distributed random variable. To study rates of convergence for QMC on unbounded integrands, we use a smoothed projection operator to project the output of $W$ to a bounded region, which differs from the strategy of avoiding the singularities along the boundary of the unit cube $ [0,1]^d $ in 10.1137/S0036144504441573. The error is then bounded by the quadrature error of the transformed integrand and the projection error. If the function $h(\boldsymbol{x})$ and its mixed partial derivatives do not grow too fast as the Euclidean norm $|\boldsymbol{x}|$ goes to infinity, we obtain an error rate of $O(n^{-1+ε})$ for QMC and randomized QMC (RQMC) with a sample size $n$ and an arbitrarily small $ε>0$. However, the rate turns out to be $O(n^{-1+2M+ε})$ if the functions grow exponentially with a rate of $O(\exp\{M|\boldsymbol{x}|^2\})$ for a constant $M\in(0,1/2)$. Superisingly, we find that using importance sampling with t distribution as the proposal can improve the root mean squared error of RQMC from $O(n^{-1+2M+ε})$ to $O( n^{-3/2+ε})$ for any $M\in(0,1/2)$.
△ Less
Submitted 8 October, 2023; v1 submitted 1 October, 2023;
originally announced October 2023.
-
Persistence property and the local well-posedness of the modified Camassa-Holm equation in critical Besov equation
Authors:
Zhen He,
Zhaoyang Yin
Abstract:
In this paper, we first establish the local well-posednesss for the Cauchy problem of a modified Camassa-Holm (MOCH) equation in critical Besov spaces $B^{\frac 1 p}_{p,1}$ with $1\leq p<+\infty.$ The obtained results improve considerably the recent result in \cite{Luo1}. Then we show the persiscence property of MOCH.
In this paper, we first establish the local well-posednesss for the Cauchy problem of a modified Camassa-Holm (MOCH) equation in critical Besov spaces $B^{\frac 1 p}_{p,1}$ with $1\leq p<+\infty.$ The obtained results improve considerably the recent result in \cite{Luo1}. Then we show the persiscence property of MOCH.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Distributionally Robust Circuit Design Optimization under Variation Shifts
Authors:
Yifan Pan,
Zichang He,
Nanlin Guo,
Zheng Zhang
Abstract:
Due to the significant process variations, designers have to optimize the statistical performance distribution of nano-scale IC design in most cases. This problem has been investigated for decades under the formulation of stochastic optimization, which minimizes the expected value of a performance metric while assuming that the distribution of process variation is exactly given. This paper rethink…
▽ More
Due to the significant process variations, designers have to optimize the statistical performance distribution of nano-scale IC design in most cases. This problem has been investigated for decades under the formulation of stochastic optimization, which minimizes the expected value of a performance metric while assuming that the distribution of process variation is exactly given. This paper rethinks the variation-aware circuit design optimization from a new perspective. First, we discuss the variation shift problem, which means that the actual density function of process variations almost always differs from the given model and is often unknown. Consequently, we propose to formulate the variation-aware circuit design optimization as a distributionally robust optimization problem, which does not require the exact distribution of process variations. By selecting an appropriate uncertainty set for the probability density function of process variations, we solve the shift-aware circuit optimization problem using distributionally robust Bayesian optimization. This method is validated with both a photonic IC and an electronics IC. Our optimized circuits show excellent robustness against variation shifts: the optimized circuit has excellent performance under many possible distributions of process variations that differ from the given statistical model. This work has the potential to enable a new research direction and inspire subsequent research at different levels of the EDA flow under the setting of variation shift.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Generic singularity behavior of conservative solutions to the Novikov equation
Authors:
Zhen He,
Wei Luo,
Zhaoyang Yin
Abstract:
In this paper, we concentrate on the Novikov equation. We provide a description of the solution in a neighborhood of each singular point.
In this paper, we concentrate on the Novikov equation. We provide a description of the solution in a neighborhood of each singular point.
△ Less
Submitted 11 January, 2024; v1 submitted 8 August, 2023;
originally announced August 2023.
-
Real and complexified configuration spaces for planar 4-bar linkages
Authors:
Zeyuan He,
Simon D. Guest
Abstract:
This note is a complete library of symbolic parametrized expressions for both real and complexified configuration spaces of a planar 4-bar linkage. Building upon the previous work from Izmestiev, 2015, this library expands on the expressions by incorporating all four rotational angles across all possible linkage length choices, along with the polynomial relation between diagonals. Furthermore, a c…
▽ More
This note is a complete library of symbolic parametrized expressions for both real and complexified configuration spaces of a planar 4-bar linkage. Building upon the previous work from Izmestiev, 2015, this library expands on the expressions by incorporating all four rotational angles across all possible linkage length choices, along with the polynomial relation between diagonals. Furthermore, a complete MATLAB app script is included, enabling visualization and parametrization. The derivations are presented in a detailed manner, ensuring accessibility for researchers across diverse disciplines.
△ Less
Submitted 26 July, 2023; v1 submitted 22 July, 2023;
originally announced July 2023.
-
New constructions of signed difference sets
Authors:
Zhiwen He,
Tingting Chen,
Gennian Ge
Abstract:
Signed difference sets have interesting applications in communications and coding theory. A $(v,k,λ)$-difference set in a finite group $G$ of order $v$ is a subset $D$ of $G$ with $k$ distinct elements such that the expressions $xy^{-1}$ for all distinct two elements $x,y\in D$, represent each non-identity element in $G$ exactly $λ$ times. A $(v,k,λ)$-signed difference set is a generalization of a…
▽ More
Signed difference sets have interesting applications in communications and coding theory. A $(v,k,λ)$-difference set in a finite group $G$ of order $v$ is a subset $D$ of $G$ with $k$ distinct elements such that the expressions $xy^{-1}$ for all distinct two elements $x,y\in D$, represent each non-identity element in $G$ exactly $λ$ times. A $(v,k,λ)$-signed difference set is a generalization of a $(v,k,λ)$-difference set $D$, which satisfies all properties of $D$, but has a sign for each element in $D$. We will show some new existence results for signed difference sets by using partial difference sets, product methods, and cyclotomic classes.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
On n-ADC integral quadratic lattices over algebraic number fields
Authors:
Zilong He
Abstract:
In the paper, we extend the ADC property to the representation of quadratic lattices by quadratic lattices, which we define as $ n $-ADC-ness. We explore the relationship between $ n$-ADC-ness, $ n $-regularity and $ n $-universality for integral quadratic lattices. Also, for $ n\ge 2 $, we give necessary and sufficient conditions for an integral quadratic lattice over arbitrary non-archimedean lo…
▽ More
In the paper, we extend the ADC property to the representation of quadratic lattices by quadratic lattices, which we define as $ n $-ADC-ness. We explore the relationship between $ n$-ADC-ness, $ n $-regularity and $ n $-universality for integral quadratic lattices. Also, for $ n\ge 2 $, we give necessary and sufficient conditions for an integral quadratic lattice over arbitrary non-archimedean local fields to be $ n $-ADC. Moreover, we show that over any algebraic number field $ F $, an integral $ \mathcal{O}_{F} $-lattice with rank $ n+1 $ is $n$-ADC if and only if it is $\mathcal{O}_{F}$-maximal of class number one.
△ Less
Submitted 4 September, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
The mass of shifted lattices and class numbers of inhomogeneous quadratic polynomials
Authors:
Kathrin Bringmann,
Zilong He,
Ben Kane
Abstract:
In this paper, we investigate class numbers of shifted quadratic lattices $L+\frac{\boldsymbol{u}}{c}$ with $\boldsymbol{u}\in L$ and odd conductor $c\in \mathbb{N}$. For a lattice $L$ whose genus only contains one class, we determine a lower bound for the number of classes in the genus of $L+\frac{\boldsymbol{u}}{c}$ depending on $c$. As a result, we obtain an explicit bound $c_0$ such that any s…
▽ More
In this paper, we investigate class numbers of shifted quadratic lattices $L+\frac{\boldsymbol{u}}{c}$ with $\boldsymbol{u}\in L$ and odd conductor $c\in \mathbb{N}$. For a lattice $L$ whose genus only contains one class, we determine a lower bound for the number of classes in the genus of $L+\frac{\boldsymbol{u}}{c}$ depending on $c$. As a result, we obtain an explicit bound $c_0$ such that any such shifted lattice with one class in its genus must have conductor smaller than $c_0$, restricting the possible choices of such $L+\frac{\boldsymbol{u}}{c}$ to a finite set.
△ Less
Submitted 29 May, 2023;
originally announced May 2023.
-
Critical Sampling for Robust Evolution Operator Learning of Unknown Dynamical Systems
Authors:
Ce Zhang,
Kailiang Wu,
Zhihai He
Abstract:
Given an unknown dynamical system, what is the minimum number of samples needed for effective learning of its governing laws and accurate prediction of its future evolution behavior, and how to select these critical samples? In this work, we propose to explore this problem based on a design approach. Starting from a small initial set of samples, we adaptively discover critical samples to achieve i…
▽ More
Given an unknown dynamical system, what is the minimum number of samples needed for effective learning of its governing laws and accurate prediction of its future evolution behavior, and how to select these critical samples? In this work, we propose to explore this problem based on a design approach. Starting from a small initial set of samples, we adaptively discover critical samples to achieve increasingly accurate learning of the system evolution. One central challenge here is that we do not know the network modeling error since the ground-truth system state is unknown, which is however needed for critical sampling. To address this challenge, we introduce a multi-step reciprocal prediction network where forward and backward evolution networks are designed to learn the temporal evolution behavior in the forward and backward time directions, respectively. Very interestingly, we find that the desired network modeling error is highly correlated with the multi-step reciprocal prediction error, which can be directly computed from the current system state. This allows us to perform a dynamic selection of critical samples from regions with high network modeling errors for dynamical systems. Additionally, a joint spatial-temporal evolution network is introduced which incorporates spatial dynamics modeling into the temporal evolution prediction for robust learning of the system evolution operator with few samples. Our extensive experimental results demonstrate that our proposed method is able to dramatically reduce the number of samples needed for effective learning and accurate prediction of evolution behaviors of unknown dynamical systems by up to hundreds of times.
△ Less
Submitted 24 October, 2023; v1 submitted 15 April, 2023;
originally announced April 2023.
-
Three-dimensional stationary incompressible inhomogeneous Navier-Stokes equation in the axially symmetric case
Authors:
Zihui He
Abstract:
We show the existence of (a class of) weak solutions to the three-dimensional stationary incompressible inhomogeneous Navier--Stokes equations with density-dependent viscosity coefficient in the axially symmetric case. Further symmetric solutions in cylindrical coordinates, spherical coordinates and Cartesian coordinates are also discussed.
We show the existence of (a class of) weak solutions to the three-dimensional stationary incompressible inhomogeneous Navier--Stokes equations with density-dependent viscosity coefficient in the axially symmetric case. Further symmetric solutions in cylindrical coordinates, spherical coordinates and Cartesian coordinates are also discussed.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
The maximum number of cliques in graphs with bounded odd circumference
Authors:
Zequn Lv,
Ervin Győri,
Zhen He,
Nika Salia,
Chuanqi Xiao,
Xiutao Zhu
Abstract:
In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Turán-type result is an extension of the celebrated Erdős and Gallai theorem and a strengthening of Luo's recent result. The same bound for graphs with bounded even circumferences is a trivial application of the theorem of Li and Ning.
In this work, we give the sharp upper bound for the number of cliques in graphs with bounded odd circumferences. This generalized Turán-type result is an extension of the celebrated Erdős and Gallai theorem and a strengthening of Luo's recent result. The same bound for graphs with bounded even circumferences is a trivial application of the theorem of Li and Ning.
△ Less
Submitted 6 December, 2022; v1 submitted 4 December, 2022;
originally announced December 2022.
-
Quasiexact posets and the moderate meet-continuity
Authors:
Zhaorong He,
Zhongqiang Yang,
Dongsheng Zhao
Abstract:
The study of weak domains and quasicontinuous domains leads to the consideration of two types generalizations of domains. In the current paper, we define the weak way-below relation between two nonempty subsets of a poset and quasiexact posets. We prove some connections among quasiexact posets, quasicontinuous domains and weak domains. Furthermore, we introduce the weak way-below finitely determin…
▽ More
The study of weak domains and quasicontinuous domains leads to the consideration of two types generalizations of domains. In the current paper, we define the weak way-below relation between two nonempty subsets of a poset and quasiexact posets. We prove some connections among quasiexact posets, quasicontinuous domains and weak domains. Furthermore, we introduce the weak way-below finitely determined topology and study its links to Scott topology and the weak way-below topology first considered by Mushburn. It is also proved that a dcpo is a domain if it is quasiexact and moderately meet continuous with the weak way-below relation weakly increasing.
△ Less
Submitted 17 March, 2023; v1 submitted 26 November, 2022;
originally announced November 2022.
-
Some problems about co-consonance of topological spaces
Authors:
Zhengmao He,
Bin Zhao
Abstract:
In this paper, we first prove that the retract of a consonant space (or co-consonant space) is consonant (co-consonant). Using this result, some related results have obtained. Simultaneously, we proved that (1) the co-consonance of the Smyth powerspace implies the co-consonance of a topological space under a necessary condition; (2) the co-consonance of a topological implies the co-consonance of t…
▽ More
In this paper, we first prove that the retract of a consonant space (or co-consonant space) is consonant (co-consonant). Using this result, some related results have obtained. Simultaneously, we proved that (1) the co-consonance of the Smyth powerspace implies the co-consonance of a topological space under a necessary condition; (2) the co-consonance of a topological implies the co-consonance of the smyth powerspace under some conditions; (3) if the lower powerspace is co-consonant, then the topological space is co-consonant; (4) the co-consonance of implies the co-consonance of the lower powerspace with some sufficient conditions.
△ Less
Submitted 30 November, 2022; v1 submitted 18 November, 2022;
originally announced November 2022.
-
Generalized Turan number for the edge blow-up graph
Authors:
Zequn Lv,
Ervin Győri,
Zhen He,
Nika Salia,
Casey Tompkins,
Kitti Varga,
Xiutao Zhu
Abstract:
Let $H$ be a graph and $p$ be an integer. The edge blow-up $H^p$ of $H$ is the graph obtained from replacing each edge in $H$ by a copy of $K_p$ where the new vertices of the cliques are all distinct. Let $C_k$ and $P_k$ denote the cycle and path of length $k$, respectively. In this paper, we find sharp upper bounds for $ex(n,K_3,C_3^3)$ and the exact value for $ ex(n,K_3,P_3^3)$ and determine the…
▽ More
Let $H$ be a graph and $p$ be an integer. The edge blow-up $H^p$ of $H$ is the graph obtained from replacing each edge in $H$ by a copy of $K_p$ where the new vertices of the cliques are all distinct. Let $C_k$ and $P_k$ denote the cycle and path of length $k$, respectively. In this paper, we find sharp upper bounds for $ex(n,K_3,C_3^3)$ and the exact value for $ ex(n,K_3,P_3^3)$ and determine the graphs attaining these bounds.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Edges not covered by monochromatic bipartite graphs
Authors:
Xiutao Zhu,
Ervin Győri,
Zhen He,
Zequn Lv,
Nika Salia,
Casey Tompkins,
Kitti Varga
Abstract:
Let $f_k(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of~$H$ in a $k$-coloring of the edges of $K_n$, and let $ex(n,H)$ denote the Turán number of $H$. In place of $f_2(n,H)$ we simply write $f(n,H)$. Keevash and Sudakov proved that $f(n,H)=ex(n,H)$ if $H$ is an edge-critical graph or $C_4$ and asked if this equality holds for any graph $H$. All known exact valu…
▽ More
Let $f_k(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of~$H$ in a $k$-coloring of the edges of $K_n$, and let $ex(n,H)$ denote the Turán number of $H$. In place of $f_2(n,H)$ we simply write $f(n,H)$. Keevash and Sudakov proved that $f(n,H)=ex(n,H)$ if $H$ is an edge-critical graph or $C_4$ and asked if this equality holds for any graph $H$. All known exact values of this question require $H$ to contain at least one cycle. In this paper we focus on acyclic graphs and have the following results:
(1) We prove $f(n,H)=ex(n,H)$ when $H$ is a spider or a double broom.
(2) A \emph{tail} in $H$ is a path $P_3=v_0v_1v_2$ such that $v_2$ is only adjacent to $v_1$ and $v_1$ is only adjacent to $v_0,v_2$ in $H$. We obtain a tight upper bound for $f(n,H)$ when $H$ is a bipartite graph with a tail. This result provides the first bipartite graphs which answer the question of Keevash and Sudakov in the negative.
(3) Liu, Pikhurko and Sharifzadeh asked if $f_k(n,T)=(k-1)ex(n,T)$ when $T$ is a tree. We provide an upper bound for $f_{2k}(n,P_{2k})$ and show it is tight when $2k-1$ is prime. This provides a negative answer to their question.
△ Less
Submitted 25 October, 2022; v1 submitted 20 October, 2022;
originally announced October 2022.
-
Assessing the dynamic vulnerability of an urban rail transit system and a case study of Beijing, China
Authors:
Shouzheng Pan,
Jia He,
Ning Jia,
Der-Horng Lee,
Zhengbing He
Abstract:
Urban rail transit is the backbone of urban transportation, and thus it is significant to understand its vulnerability, i.e., whether the system can still maintain normal operations when facing operational disturbances with different magnitudes. To this end, this paper proposes a network vulnerability assessment method with the joint consideration of static network topology and dynamic travel dema…
▽ More
Urban rail transit is the backbone of urban transportation, and thus it is significant to understand its vulnerability, i.e., whether the system can still maintain normal operations when facing operational disturbances with different magnitudes. To this end, this paper proposes a network vulnerability assessment method with the joint consideration of static network topology and dynamic travel demand. The method includes an accessibility-based identification of station importance with time-varying passenger demand and a new dynamic vulnerability evaluation index. An empirical analysis is carried out by taking the rail transit system of Beijing, China as an example. Results show that the distribution of high-importance stations varies with the time of day, affected by both static topology and hourly-changing passenger flow. Under the disturbance of operation delay, the impact of high-importance stations on the network vulnerability changes with the increase of delayed travel demand. It is also found that some stations that serve as bridges (i.e., reasonable paths link the origin station and destination) and are visited by large passenger flow have the greatest impact on network vulnerability. Network performance degradation is obviously segmented and stratified in the case of interval continuous failure. The disruption between different lines is the main reason for system performance degradation, and some important stations within the line will act as catalysts to accelerate the performance degradation. This method provides a reference for measuring dynamic passenger flow-related network vulnerability and supplies the field with a new vulnerability evaluation index.
△ Less
Submitted 10 October, 2022; v1 submitted 15 September, 2022;
originally announced September 2022.
-
Trace forms on the cyclotomic Hecke algebras and cocenters of the cyclotomic Schur algebras
Authors:
Zhekun He,
Jun Hu,
Huang Lin
Abstract:
We define a unified trace form $τ$ on the cyclotomic Hecke algebras $\mathscr{H}_{n,K}$ of type $A$, which generalize both Malle-Mathas' trace form on the non-degenerate version (with Hecke parameter $ξ\neq 1$) and Brundan-Kleshchev's trace form on the degenerate version. We use seminormal basis theory to construct a pair of dual bases for $\mathscr{H}_{n,K}$ with respect to the form. We also cons…
▽ More
We define a unified trace form $τ$ on the cyclotomic Hecke algebras $\mathscr{H}_{n,K}$ of type $A$, which generalize both Malle-Mathas' trace form on the non-degenerate version (with Hecke parameter $ξ\neq 1$) and Brundan-Kleshchev's trace form on the degenerate version. We use seminormal basis theory to construct a pair of dual bases for $\mathscr{H}_{n,K}$ with respect to the form. We also construct an explicit basis for the cocenter (i.e., the $0$th Hochschild homology) of the corresponding cyclotomic Schur algebra, which shows that the cocenter has dimension independent of the ground field $K$, the Hecke parameter $ξ$ and the cyclotomic parameters $Q_1,\cdots,Q_\ell$.
△ Less
Submitted 9 October, 2022; v1 submitted 10 August, 2022;
originally announced August 2022.
-
Exact results for generalized extremal problems forbidding an even cycle
Authors:
Ervin Győri,
Zhen He,
Zequn Lv,
Nika Salia,
Casey Tompkins,
Kitti Varga,
Xiutao Zhu
Abstract:
We determine the maximum number of copies of $K_{s,s}$ in a $C_{2s+2}$-free $n$-vertex graph for all integers $s \ge 2$ and sufficiently large $n$. Moreover, for $s\in\{2,3\}$ and any integer $n$ we obtain the maximum number of cycles of length $2s$ in an $n$-vertex $C_{2s+2}$-free bipartite graph.
We determine the maximum number of copies of $K_{s,s}$ in a $C_{2s+2}$-free $n$-vertex graph for all integers $s \ge 2$ and sufficiently large $n$. Moreover, for $s\in\{2,3\}$ and any integer $n$ we obtain the maximum number of cycles of length $2s$ in an $n$-vertex $C_{2s+2}$-free bipartite graph.
△ Less
Submitted 4 August, 2022;
originally announced August 2022.
-
Stability version of Dirac's theorem and its applications for generalized Turán problems
Authors:
Xiutao Zhu,
Ervin Győri,
Zhen He,
Zequn Lv,
Nika Salia,
Chuanqi Xiao
Abstract:
In 1952, Dirac proved that every $2$-connected $n$-vertex graph with the minimum degree $k+1$ contains a cycle of length at least $\min\{n, 2(k+1)\}$. Here we obtain a stability version of this result by characterizing those graphs with minimum degree $k$ and circumference at most $2k+1$.
We present applications of the above-stated result by obtaining generalized Turán numbers. In particular, fo…
▽ More
In 1952, Dirac proved that every $2$-connected $n$-vertex graph with the minimum degree $k+1$ contains a cycle of length at least $\min\{n, 2(k+1)\}$. Here we obtain a stability version of this result by characterizing those graphs with minimum degree $k$ and circumference at most $2k+1$.
We present applications of the above-stated result by obtaining generalized Turán numbers. In particular, for all $\ell \geq 5$ we determine how many copies of a five-cycle as well as four-cycle are necessary to guarantee that the graph has circumference larger than $\ell$. In addition, we give a new proof of Luo's Theorem for cliques using our stability result.
△ Less
Submitted 3 August, 2022; v1 submitted 25 July, 2022;
originally announced July 2022.
-
On classic n-universal quadratic forms over dyadic local fields
Authors:
Zilong He
Abstract:
Let $ n $ be an integer and $ n\ge 2 $. A classic integral quadratic form over local fields is called classic $ n $-universal if it represents all $n$-ary classic integral quadratic forms. We determine the equivalent conditions and minimal testing sets for classic $ n $-universal quadratic forms over dyadic local fields, respectively.
Let $ n $ be an integer and $ n\ge 2 $. A classic integral quadratic form over local fields is called classic $ n $-universal if it represents all $n$-ary classic integral quadratic forms. We determine the equivalent conditions and minimal testing sets for classic $ n $-universal quadratic forms over dyadic local fields, respectively.
△ Less
Submitted 28 May, 2023; v1 submitted 10 June, 2022;
originally announced June 2022.
-
The maximum number of copies of an even cycle in a planar graph
Authors:
Zequn Lv,
Ervin Győri,
Zhen He,
Nika Salia,
Casey Tompkins,
Xiutao Zhu
Abstract:
We resolve a conjecture of Cox and Martin by determining asymptotically for every $k\ge 2$ the maximum number of copies of $C_{2k}$ in an $n$-vertex planar graph.
We resolve a conjecture of Cox and Martin by determining asymptotically for every $k\ge 2$ the maximum number of copies of $C_{2k}$ in an $n$-vertex planar graph.
△ Less
Submitted 8 June, 2022; v1 submitted 31 May, 2022;
originally announced May 2022.