-
Differentiable Distributionally Robust Optimization Layers
Authors:
Xutao Ma,
Chao Ning,
Wenli Du
Abstract:
In recent years, there has been a growing research interest in decision-focused learning, which embeds optimization problems as a layer in learning pipelines and demonstrates a superior performance than the prediction-focused approach. However, for distributionally robust optimization (DRO), a popular paradigm for decision-making under uncertainty, it is still unknown how to embed it as a layer, i…
▽ More
In recent years, there has been a growing research interest in decision-focused learning, which embeds optimization problems as a layer in learning pipelines and demonstrates a superior performance than the prediction-focused approach. However, for distributionally robust optimization (DRO), a popular paradigm for decision-making under uncertainty, it is still unknown how to embed it as a layer, i.e., how to differentiate decisions with respect to an ambiguity set. In this paper, we develop such differentiable DRO layers for generic mixed-integer DRO problems with parameterized second-order conic ambiguity sets and discuss its extension to Wasserstein ambiguity sets. To differentiate the mixed-integer decisions, we propose a novel dual-view methodology by handling continuous and discrete parts of decisions via different principles. Specifically, we construct a differentiable energy-based surrogate to implement the dual-view methodology and use importance sampling to estimate its gradient. We further prove that such a surrogate enjoys the asymptotic convergency under regularization. As an application of the proposed differentiable DRO layers, we develop a novel decision-focused learning pipeline for contextual distributionally robust decision-making tasks and compare it with the prediction-focused approach in experiments.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
A Composite Decomposition Method for Large-Scale Global Optimization
Authors:
Maojiang Tian,
Minyang Chen,
Wei Du,
Yang Tang,
Yaochu **,
Gary G. Yen
Abstract:
Cooperative co-evolution (CC) algorithms, based on the divide-and-conquer strategy, have emerged as the predominant approach to solving large-scale global optimization (LSGO) problems. The efficiency and accuracy of the grou** stage significantly impact the performance of the optimization process. While the general separability grou** (GSG) method has overcome the limitation of previous differ…
▽ More
Cooperative co-evolution (CC) algorithms, based on the divide-and-conquer strategy, have emerged as the predominant approach to solving large-scale global optimization (LSGO) problems. The efficiency and accuracy of the grou** stage significantly impact the performance of the optimization process. While the general separability grou** (GSG) method has overcome the limitation of previous differential grou** (DG) methods by enabling the decomposition of non-additively separable functions, it suffers from high computational complexity. To address this challenge, this article proposes a composite separability grou** (CSG) method, seamlessly integrating DG and GSG into a problem decomposition framework to utilize the strengths of both approaches. CSG introduces a step-by-step decomposition framework that accurately decomposes various problem types using fewer computational resources. By sequentially identifying additively, multiplicatively and generally separable variables, CSG progressively groups non-separable variables by recursively considering the interactions between each non-separable variable and the formed non-separable groups. Furthermore, to enhance the efficiency and accuracy of CSG, we introduce two innovative methods: a multiplicatively separable variable detection method and a non-separable variable grou** method. These two methods are designed to effectively detect multiplicatively separable variables and efficiently group non-separable variables, respectively. Extensive experimental results demonstrate that CSG achieves more accurate variable grou** with lower computational complexity compared to GSG and state-of-the-art DG series designs.
△ Less
Submitted 8 March, 2024; v1 submitted 2 March, 2024;
originally announced March 2024.
-
An Efficient Quantum Circuit for Block Encoding a Pairing Hamiltonian
Authors:
Diyi Liu,
Weijie Du,
Lin Lin,
James P. Vary,
Chao Yang
Abstract:
We present an efficient quantum circuit for block encoding pairing Hamiltonian often studied in nuclear physics. Our block encoding scheme does not require map** the creation and annihilation operators to the Pauli operators and representing the Hamiltonian as a linear combination of unitaries. Instead, we show how to encode the Hamiltonian directly using controlled swap operations. We analyze t…
▽ More
We present an efficient quantum circuit for block encoding pairing Hamiltonian often studied in nuclear physics. Our block encoding scheme does not require map** the creation and annihilation operators to the Pauli operators and representing the Hamiltonian as a linear combination of unitaries. Instead, we show how to encode the Hamiltonian directly using controlled swap operations. We analyze the gate complexity of the block encoding circuit and show that it scales polynomially with respect to the number of qubits required to represent a quantum state associated with the pairing Hamiltonian. We also show how the block encoding circuit can be combined with the quantum singular value transformation to construct an efficient quantum circuit for approximating the density of states of a pairing Hamiltonian. The techniques presented can be extended to encode more general second-quantized Hamiltonians.
△ Less
Submitted 21 February, 2024; v1 submitted 17 February, 2024;
originally announced February 2024.
-
Optimal Nonparametric Inference on Network Effects with Dependent Edges
Authors:
Wenqin Du,
Yuan Zhang,
Wen Zhou
Abstract:
Testing network effects in weighted directed networks is a foundational problem in econometrics, sociology, and psychology. Yet, the prevalent edge dependency poses a significant methodological challenge. Most existing methods are model-based and come with stringent assumptions, limiting their applicability. In response, we introduce a novel, fully nonparametric framework that requires only minima…
▽ More
Testing network effects in weighted directed networks is a foundational problem in econometrics, sociology, and psychology. Yet, the prevalent edge dependency poses a significant methodological challenge. Most existing methods are model-based and come with stringent assumptions, limiting their applicability. In response, we introduce a novel, fully nonparametric framework that requires only minimal regularity assumptions. While inspired by recent developments in $U$-statistic literature (arXiv:1712.00771, arXiv:2004.06615), our approach notably broadens their scopes. Specifically, we identified and carefully addressed the challenge of indeterminate degeneracy in the test statistics $-$ a problem that aforementioned tools do not handle. We established Berry-Esseen type bound for the accuracy of type-I error rate control. Using original analysis, we also proved the minimax optimality of our test's power. Simulations underscore the superiority of our method in computation speed, accuracy, and numerical robustness compared to competing methods. We also applied our method to the U.S. faculty hiring network data and discovered intriguing findings.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
A half-space Bernstein theorem for anisotropic minimal graphs
Authors:
Wenkui Du,
Connor Mooney,
Yang Yang,
**gze Zhu
Abstract:
We prove that an anisotropic minimal graph over a half-space with flat boundary must itself be flat. This generalizes a result of Edelen-Wang to the anisotropic case. The proof uses only the maximum principle and ideas from fully nonlinear PDE theory in lieu of a monotonicity formula.
We prove that an anisotropic minimal graph over a half-space with flat boundary must itself be flat. This generalizes a result of Edelen-Wang to the anisotropic case. The proof uses only the maximum principle and ideas from fully nonlinear PDE theory in lieu of a monotonicity formula.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Flatness of anisotropic minimal graphs in $\mathbb{R}^{n+1}$
Authors:
Wenkui Du,
Yang Yang
Abstract:
We prove a Bernstein theorem for $Φ$-anisotropic minimal hypersurfaces in all dimensional Euclidean spaces that the only entire smooth solutions $u: \mathbb{R}^{n}\rightarrow \mathbb{R}$ of $Φ$-anisotropic minimal hypersurfaces equation are linear functions provided the anisotropic area functional integrand $Φ$ is sufficiently $C^{3}$-close to classical area functional integrand and…
▽ More
We prove a Bernstein theorem for $Φ$-anisotropic minimal hypersurfaces in all dimensional Euclidean spaces that the only entire smooth solutions $u: \mathbb{R}^{n}\rightarrow \mathbb{R}$ of $Φ$-anisotropic minimal hypersurfaces equation are linear functions provided the anisotropic area functional integrand $Φ$ is sufficiently $C^{3}$-close to classical area functional integrand and $|\nabla u(x)|=o(|x|^{\varepsilon})$ for $\varepsilon\leq \varepsilon_{0}(n, Φ)$ with the constant $\varepsilon_{0}(n, Φ)>0$.
△ Less
Submitted 4 April, 2024; v1 submitted 31 October, 2023;
originally announced November 2023.
-
Spectral quantization for ancient asymptotically cylindrical flows
Authors:
Wenkui Du,
**gze Zhu
Abstract:
We study ancient mean curvature flows in $\mathbb{R}^{n+1}$ whose tangent flow at $-\infty$ is a shrinking cylinder $\mathbb{R}^{k}\times S^{n-k}(\sqrt{2(n-k)|t|})$, where $1\leq k\leq n-1$. We prove that the cylindrical profile function $u$ of these flows have the asymptotics $u(y,ω,τ)= (y^\top Qy -2\textrm{tr}(Q))/|τ| + o(|τ|^{-1})$ as $τ\to -\infty$, where the cylindrical matrix $Q$ is a consta…
▽ More
We study ancient mean curvature flows in $\mathbb{R}^{n+1}$ whose tangent flow at $-\infty$ is a shrinking cylinder $\mathbb{R}^{k}\times S^{n-k}(\sqrt{2(n-k)|t|})$, where $1\leq k\leq n-1$. We prove that the cylindrical profile function $u$ of these flows have the asymptotics $u(y,ω,τ)= (y^\top Qy -2\textrm{tr}(Q))/|τ| + o(|τ|^{-1})$ as $τ\to -\infty$, where the cylindrical matrix $Q$ is a constant symmetric $k\times k$ matrix whose eigenvalues are quantized to be either 0 or $-\frac{\sqrt{2(n-k)}}{4}$. Compared with the bubble-sheet quantization theorem in $\mathbb{R}^{4}$ obtained by Haslhofer and the first author, this theorem has full generality in the sense of removing noncollapsing condition and being valid for all dimensions. In addition, we establish symmetry improvement theorem which generalizes the corresponding results of Brendle-Choi and the second author to all dimensions. Finally, we give some geometric applications of the two theorems. In particular, we obtain the asymptotics, compactness and $\textrm{O}(n-k+1)$ symmetry of $k$-ovals in $\mathbb{R}^{n+1}$ which are ancient noncollapsed flows in $\mathbb{R}^{n+1}$ satisfying full rank condition that $\textrm{rk}(Q)=k$, and we also obtain the classification of ancient noncollapsed flows in $\mathbb{R}^{n+1}$ satisfying vanishing rank condition that $\textrm{rk}(Q)=0$.
△ Less
Submitted 4 November, 2022;
originally announced November 2022.
-
Classification of bubble-sheet ovals in $\mathbb{R}^{4}$
Authors:
Beomjun Choi,
Panagiota Daskalopoulos,
Wenkui Du,
Robert Haslhofer,
Natasa Sesum
Abstract:
In this paper, we prove that any bubble-sheet oval for the mean curvature flow in $\mathbb{R}^4$, up to scaling and rigid motion, either is the $\textrm{O}(2)\times \textrm{O}(2)$-symmetric ancient oval constructed by Hershkovits and the fourth author, or belongs to the one-parameter family of $\mathbb{Z}_2^2\times \textrm{O}(2)$-symmetric ancient ovals constructed by the third and fourth author.…
▽ More
In this paper, we prove that any bubble-sheet oval for the mean curvature flow in $\mathbb{R}^4$, up to scaling and rigid motion, either is the $\textrm{O}(2)\times \textrm{O}(2)$-symmetric ancient oval constructed by Hershkovits and the fourth author, or belongs to the one-parameter family of $\mathbb{Z}_2^2\times \textrm{O}(2)$-symmetric ancient ovals constructed by the third and fourth author. In particular, this seems to be the first instance of a classification result for geometric flows that are neither cohomogeneity-one nor selfsimilar.
△ Less
Submitted 18 May, 2024; v1 submitted 11 September, 2022;
originally announced September 2022.
-
A nonexistence result for rotating mean curvature flows in $\mathbb{R}^{4}$
Authors:
Wenkui Du,
Robert Haslhofer
Abstract:
Some worrisome potential singularity models for the mean curvature flow are rotating ancient flows, i.e. ancient flows whose tangent flow at $-\infty$ is a cylinder $\mathbb{R}^k\times S^{n-k}$ and that are rotating within the $\mathbb{R}^k$-factor. We note that while the $\mathbb{R}^k$-factor, i.e. the axis of the cylinder, is unique by the fundamental work of Colding-Minicozzi, the uniqueness of…
▽ More
Some worrisome potential singularity models for the mean curvature flow are rotating ancient flows, i.e. ancient flows whose tangent flow at $-\infty$ is a cylinder $\mathbb{R}^k\times S^{n-k}$ and that are rotating within the $\mathbb{R}^k$-factor. We note that while the $\mathbb{R}^k$-factor, i.e. the axis of the cylinder, is unique by the fundamental work of Colding-Minicozzi, the uniqueness of tangent flows by itself does not provide any information about rotations within the $\mathbb{R}^k$-factor. In the present paper, we rule out rotating ancient flows among all ancient noncollapsed flows in $\mathbb{R}^4$.
△ Less
Submitted 3 June, 2023; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Towards Fairness-Aware Multi-Objective Optimization
Authors:
Guo Yu,
Lianbo Ma,
Wei Du,
Wenli Du,
Yaochu **
Abstract:
Recent years have seen the rapid development of fairness-aware machine learning in mitigating unfairness or discrimination in decision-making in a wide range of applications. However, much less attention has been paid to the fairness-aware multi-objective optimization, which is indeed commonly seen in real life, such as fair resource allocation problems and data driven multi-objective optimization…
▽ More
Recent years have seen the rapid development of fairness-aware machine learning in mitigating unfairness or discrimination in decision-making in a wide range of applications. However, much less attention has been paid to the fairness-aware multi-objective optimization, which is indeed commonly seen in real life, such as fair resource allocation problems and data driven multi-objective optimization problems. This paper aims to illuminate and broaden our understanding of multi-objective optimization from the perspective of fairness. To this end, we start with a discussion of user preferences in multi-objective optimization and then explore its relationship to fairness in machine learning and multi-objective optimization. Following the above discussions, representative cases of fairness-aware multiobjective optimization are presented, further elaborating the importance of fairness in traditional multi-objective optimization, data-driven optimization and federated optimization. Finally, challenges and opportunities in fairness-aware multi-objective optimization are addressed. We hope that this article makes a small step forward towards understanding fairness in the context of optimization and promote research interest in fairness-aware multi-objective optimization.
△ Less
Submitted 22 July, 2022;
originally announced July 2022.
-
Determination the Solution of a Stochastic Parabolic Equation by the Terminal Value
Authors:
Fangfang Dou,
Wanli Du
Abstract:
This paper studies the inverse problem of determination the history for a stochastic diffusion process, by means of the value at the final time $T$. By establishing a new Carleman estimate, the conditional stability of the problem is proven. Based on the idea of Tikhonov method, a regularized solution is proposed. The analysis of the existence and uniqueness of the regularized solution, and proof…
▽ More
This paper studies the inverse problem of determination the history for a stochastic diffusion process, by means of the value at the final time $T$. By establishing a new Carleman estimate, the conditional stability of the problem is proven. Based on the idea of Tikhonov method, a regularized solution is proposed. The analysis of the existence and uniqueness of the regularized solution, and proof for error estimate under an a-proior assumption are present. Numerical verification of the regularization, including numerical algorithm and examples are also illustrated.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
SE(3) Equivariant Graph Neural Networks with Complete Local Frames
Authors:
Weitao Du,
He Zhang,
Yuanqi Du,
Qi Meng,
Wei Chen,
Bin Shao,
Tie-Yan Liu
Abstract:
Group equivariance (e.g. SE(3) equivariance) is a critical physical symmetry in science, from classical and quantum physics to computational biology. It enables robust and accurate prediction under arbitrary reference transformations. In light of this, great efforts have been put on encoding this symmetry into deep neural networks, which has been shown to improve the generalization performance and…
▽ More
Group equivariance (e.g. SE(3) equivariance) is a critical physical symmetry in science, from classical and quantum physics to computational biology. It enables robust and accurate prediction under arbitrary reference transformations. In light of this, great efforts have been put on encoding this symmetry into deep neural networks, which has been shown to improve the generalization performance and data efficiency for downstream tasks. Constructing an equivariant neural network generally brings high computational costs to ensure expressiveness. Therefore, how to better trade-off the expressiveness and computational efficiency plays a core role in the design of the equivariant deep learning models. In this paper, we propose a framework to construct SE(3) equivariant graph neural networks that can approximate the geometric quantities efficiently. Inspired by differential geometry and physics, we introduce equivariant local complete frames to graph neural networks, such that tensor information at given orders can be projected onto the frames. The local frame is constructed to form an orthonormal basis that avoids direction degeneration and ensure completeness. Since the frames are built only by cross product operations, our method is computationally efficient. We evaluate our method on two tasks: Newton mechanics modeling and equilibrium molecule conformation generation. Extensive experimental results demonstrate that our model achieves the best or competitive performance in two types of datasets.
△ Less
Submitted 5 July, 2022; v1 submitted 26 October, 2021;
originally announced October 2021.
-
Hearing the shape of ancient noncollapsed flows in $\mathbb{R}^{4}$
Authors:
Wenkui Du,
Robert Haslhofer
Abstract:
We consider ancient noncollapsed mean curvature flows in $\mathbb{R}^4$ whose tangent flow at $-\infty$ is a bubble-sheet. We carry out a fine spectral analysis for the bubble-sheet function $u$ that measures the deviation of the renormalized flow from the round cylinder $\mathbb{R}^2 \times S^1(\sqrt{2})$ and prove that for $τ\to -\infty$ we have the fine asymptotics…
▽ More
We consider ancient noncollapsed mean curvature flows in $\mathbb{R}^4$ whose tangent flow at $-\infty$ is a bubble-sheet. We carry out a fine spectral analysis for the bubble-sheet function $u$ that measures the deviation of the renormalized flow from the round cylinder $\mathbb{R}^2 \times S^1(\sqrt{2})$ and prove that for $τ\to -\infty$ we have the fine asymptotics $u(y,θ,τ)= (y^\top Qy -2\textrm{tr}(Q))/|τ| + o(|τ|^{-1})$, where $Q=Q(τ)$ is a symmetric $2\times 2$-matrix whose eigenvalues are quantized to be either 0 or $-1/\sqrt{8}$. This naturally breaks up the classification problem for general ancient noncollapsed flows in $\mathbb{R}^4$ into three cases depending on the rank of $Q$. In the case $\mathrm{rk}(Q)=0$, generalizing a prior result of Choi, Hershkovits and the second author, we prove that the flow is either a round shrinking cylinder or $\mathbb{R}\times$2d-bowl. In the case $\mathrm{rk}(Q)=1$, under the additional assumption that the flow either splits off a line or is selfsimilarly translating, as a consequence of recent work by Angenent, Brendle, Choi, Daskalopoulos, Hershkovits, Sesum and the second author we show that the flow must be $\mathbb{R}\times$2d-oval or belongs to the one-parameter family of 3d oval-bowls constructed by Hoffman-Ilmanen-Martin-White, respectively. Finally, in the case $\mathrm{rk}(Q)=2$ we show that the flow is compact and $\mathrm{SO}(2)$-symmetric and for $τ\to-\infty$ has the same sharp asymptotics as the $\mathrm{O}(2)\times\mathrm{O}(2)$-symmetric ancient ovals constructed by Hershkovits and the second author. The full classification problem will be addressed in subsequent papers based on the results of the present paper.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
Reflecting brownian motion and the gauss-bonnet-chern theorem
Authors:
Weitao Du,
Elton P. Hsu
Abstract:
We use reflecting Brownian motion (RBM) to prove the well known Gauss-Bonnet-Chern theorem for a compact Riemannian manifold with boundary. The boundary integrand is obtained by carefully analyzing the asymptotic behavior of the boundary local time of RBM for small times.
We use reflecting Brownian motion (RBM) to prove the well known Gauss-Bonnet-Chern theorem for a compact Riemannian manifold with boundary. The boundary integrand is obtained by carefully analyzing the asymptotic behavior of the boundary local time of RBM for small times.
△ Less
Submitted 20 June, 2021;
originally announced June 2021.
-
The blowdown of ancient noncollapsed mean curvature flows
Authors:
Wenkui Du,
Robert Haslhofer
Abstract:
In this paper, we consider ancient noncollapsed mean curvature flows $M_t=\partial K_t\subset \mathbb{R}^{n+1}$ that do not split off a line. It follows from general theory that the blowdown of any time-slice, $\lim_{λ\to 0} λK_{t_0}$, is at most $n-1$ dimensional. Here, we show that the blowdown is in fact at most $n-2$ dimensional. Our proof is based on fine cylindrical analysis, which generaliz…
▽ More
In this paper, we consider ancient noncollapsed mean curvature flows $M_t=\partial K_t\subset \mathbb{R}^{n+1}$ that do not split off a line. It follows from general theory that the blowdown of any time-slice, $\lim_{λ\to 0} λK_{t_0}$, is at most $n-1$ dimensional. Here, we show that the blowdown is in fact at most $n-2$ dimensional. Our proof is based on fine cylindrical analysis, which generalizes the fine neck analysis that played a key role in many recent papers. Moreover, we show that in the uniformly $k$-convex case, the blowdown is at most $k-2$ dimensional. This generalizes recent results from Choi-Haslhofer-Hershkovits to higher dimensions, and also has some applications towards the classification problem for singularities in 3-convex mean curvature flow.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
On uniqueness and nonuniqueness of ancient ovals
Authors:
Wenkui Du,
Robert Haslhofer
Abstract:
In this paper, we prove that any nontrivial $\mathrm{SO}(k )\times \mathrm{SO}(n+1-k)$-symmetric ancient compact noncollapsed solution of the mean curvature flow agrees up to scaling and rigid motion with the $\mathrm{O}(k)\times \mathrm{O}(n+1-k)$-symmetric ancient ovals constructed by Hershkovits and the second author. This confirms a conjecture by Angenent-Daskalopoulos-Sesum. On the other hand…
▽ More
In this paper, we prove that any nontrivial $\mathrm{SO}(k )\times \mathrm{SO}(n+1-k)$-symmetric ancient compact noncollapsed solution of the mean curvature flow agrees up to scaling and rigid motion with the $\mathrm{O}(k)\times \mathrm{O}(n+1-k)$-symmetric ancient ovals constructed by Hershkovits and the second author. This confirms a conjecture by Angenent-Daskalopoulos-Sesum. On the other hand, for every $k\geq 2$ we also construct a $(k-1)$-parameter family of uniformly $(k+1)$-convex ancient ovals that are only $\mathbb{Z}^{k}_{2}\times \mathrm{O}(n+1-k)$-symmetric. This gives counterexamples to a conjecture of Daskalopoulos.
△ Less
Submitted 11 March, 2022; v1 submitted 28 May, 2021;
originally announced May 2021.
-
Characterization of Collective Behaviors for Directed Signed Networks
Authors:
Wen Du,
Deyuan Meng,
Mingjun Du
Abstract:
This paper targets at exploring how to characterize collective behaviors of directed signed networks. The right eigenvector of the Laplacian matrix associated with zero eigenvalue is further investigated and its mathematical expression is proposed. It is shown that the right eigenvector plays an important role in determining the collective behaviors of directed signed networks. Furthermore, algebr…
▽ More
This paper targets at exploring how to characterize collective behaviors of directed signed networks. The right eigenvector of the Laplacian matrix associated with zero eigenvalue is further investigated and its mathematical expression is proposed. It is shown that the right eigenvector plays an important role in determining the collective behaviors of directed signed networks. Furthermore, algebraic criteria are introduced for collective behaviors of directed signed networks, such as bipartite consensus, interval bipartite consensus and bipartite containment tracking. In addition, a simulation example is given to the correctness of our developed theoretical results.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Accelerated Dual Averaging Methods for Decentralized Constrained Optimization
Authors:
Changxin Liu,
Yang Shi,
Hui** Li,
Wenli Du
Abstract:
In this work, we study decentralized convex constrained optimization problems in networks. We focus on the dual averaging-based algorithmic framework that is well-documented to be superior in handling constraints and complex communication environments simultaneously. Two new decentralized dual averaging (DDA) algorithms are proposed. In the first one, a second-order dynamic average consensus proto…
▽ More
In this work, we study decentralized convex constrained optimization problems in networks. We focus on the dual averaging-based algorithmic framework that is well-documented to be superior in handling constraints and complex communication environments simultaneously. Two new decentralized dual averaging (DDA) algorithms are proposed. In the first one, a second-order dynamic average consensus protocol is tailored for DDA-type algorithms, which equips each agent with a provably more accurate estimate of the global dual variable than conventional schemes. We rigorously prove that the proposed algorithm attains $\mathcal{O}(1/t)$ convergence for general convex and smooth problems, for which existing DDA methods were only known to converge at $\mathcal{O}(1/\sqrt{t})$ prior to our work. In the second one, we use the extrapolation technique to accelerate the convergence of DDA. Compared to existing accelerated algorithms, where typically two different variables are exchanged among agents at each time, the proposed algorithm only seeks consensus on local gradients. Then, the extrapolation is performed based on two sequences of primal variables which are determined by the accumulations of gradients at two consecutive time instants, respectively. The algorithm is proved to converge at $\mathcal{O}(1)\left(\frac{1}{t^2}+\frac{1}{t(1-β)^2}\right)$, where $β$ denotes the second largest singular value of the mixing matrix. We remark that the condition for the algorithmic parameter to guarantee convergence does not rely on the spectrum of the mixing matrix, making itself easy to satisfy in practice. Finally, numerical results are presented to demonstrate the efficiency of the proposed methods.
△ Less
Submitted 13 August, 2022; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Confirming the Labels of Coins in One Weighing
Authors:
Isha Agarwal,
Paul Braverman,
Patrick Chen,
William Du,
Kaylee Ji,
Akhil Kammila,
Tanya Khovanova,
Shane Lee,
Alicia Li,
Anish Mudide,
Jeffrey Shi,
Maya Smith,
Isabel Tu
Abstract:
There are $n$ bags with coins that look the same. Each bag has an infinite number of coins and all coins in the same bag weigh the same amount. Coins in different bags weigh 1, 2, 3, and so on to $n$ grams exactly. There is a unique label from the set 1 through $n$ attached to each bag that is supposed to correspond to the weight of the coins in that bag. The task is to confirm all the labels by u…
▽ More
There are $n$ bags with coins that look the same. Each bag has an infinite number of coins and all coins in the same bag weigh the same amount. Coins in different bags weigh 1, 2, 3, and so on to $n$ grams exactly. There is a unique label from the set 1 through $n$ attached to each bag that is supposed to correspond to the weight of the coins in that bag. The task is to confirm all the labels by using a balance scale once.
We study weighings that we call downhill: they use the numbers of coins from the bags that are in a decreasing order. We show the importance of such weighings. We find the smallest possible total weight of coins in a downhill weighing that confirms the labels on the bags. We also find bounds on the smallest number of coins needed for such a weighing.
△ Less
Submitted 30 June, 2020;
originally announced June 2020.
-
Constructing exchangeable pairs by diffusion on manifolds and its application
Authors:
Weitao Du
Abstract:
We construct a continuous family of exchangeable pairs by perturbing the random variable through diffusion processes on manifold in order to apply Stein method to certain geometric settings. We compare our perturbation by diffusion method with other approaches of building exchangeable pairs and show that our perturbation scheme cooperates with the infinitesimal version of Stein's method harmonious…
▽ More
We construct a continuous family of exchangeable pairs by perturbing the random variable through diffusion processes on manifold in order to apply Stein method to certain geometric settings. We compare our perturbation by diffusion method with other approaches of building exchangeable pairs and show that our perturbation scheme cooperates with the infinitesimal version of Stein's method harmoniously. More precisely, our exchangeable pairs satisfy a key condition in the infinitesimal Stein's method in general. Based on the exchangeable pairs, we are able to extend the approximate normality of eigenfunctions of Laplacian on compact manifold to eigenfunctions of Witten Laplacian, which is of the form:$Δ_w = Δ- \nabla H$. We then apply our abstract theorem to recover a central limit result of linear statistics on sphere. Finally, we prove an an infinitesimal version of Stein's method for exponential distribution and combine it with our continuous family of exchangeable pairs to extend an approximate exponentiality result of $|Tr U|^2$, where $Tr U$ is the trace of the first power of a matrix $U$ sampled from the Haar measure of unitary group, to arbitrary power and its analog for general circular ensemble.
△ Less
Submitted 6 July, 2020; v1 submitted 16 June, 2020;
originally announced June 2020.
-
The Classification of Magic SET Squares
Authors:
Eric Chen,
William Du,
Tanmay Gupta,
Tanya Khovanova,
Alicia Li,
Srikar Mallajosyula,
Rohith Raghavan,
Arkajyoti Sinha,
Maya Smith,
Matthew Qian,
Samuel Wang
Abstract:
A magic SET square is a 3 by 3 table of SET cards such that each row, column, diagonal, and anti-diagonal is a set. We allow the following transformations of the square: shuffling features, shuffling values within the features, rotations and reflections of the square. Under these transformations, there are 21 types of magic SET squares. We calculate the number of squares of each type. In addition,…
▽ More
A magic SET square is a 3 by 3 table of SET cards such that each row, column, diagonal, and anti-diagonal is a set. We allow the following transformations of the square: shuffling features, shuffling values within the features, rotations and reflections of the square. Under these transformations, there are 21 types of magic SET squares. We calculate the number of squares of each type. In addition, we discuss a game of SET tic-tac-toe.
△ Less
Submitted 8 June, 2020;
originally announced June 2020.
-
Bounded Diameter Under Mean Curvature Flow
Authors:
Wenkui Du
Abstract:
We prove that for the mean curvature flow of closed embedded hypersurfaces, the intrinsic diameter stays uniformly bounded as the flow approaches the first singular time, provided all singularities are of neck or conical type. In particular, assuming Ilmanen's multiplicity one conjecture and no cylinder conjecture, we conclude that in the two-dimensional case, the diameter always stays bounded. We…
▽ More
We prove that for the mean curvature flow of closed embedded hypersurfaces, the intrinsic diameter stays uniformly bounded as the flow approaches the first singular time, provided all singularities are of neck or conical type. In particular, assuming Ilmanen's multiplicity one conjecture and no cylinder conjecture, we conclude that in the two-dimensional case, the diameter always stays bounded. We also obtain sharp $L^{n-1}$ bound for the curvature. The key ingredients for our proof are the Lojasiewicz inequalities by Colding-Minicozzi and Chodosh-Schulze, and the solution of the mean-convex neighbourhood conjecture by Choi, Haslhofer, Hershkovits and White. Our results improve the prior results by Gianniotis-Haslhofer, where diameter and curvature control has been obtained under the more restrictive assumption that the flow is globally two-convex.
△ Less
Submitted 7 April, 2020;
originally announced April 2020.
-
New coincidence point and fixed point theorems for essential distances and $e^{0}$-metrics
Authors:
Wei-Shih Du
Abstract:
In this paper, we establish some new fixed point theorems and coincidence point theorems for essential distances and $e^{0}$-metrics which generalize and improve Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point theorem, Nadler's fixed point theorem and Banach contraction principle and many known results in the literature.
In this paper, we establish some new fixed point theorems and coincidence point theorems for essential distances and $e^{0}$-metrics which generalize and improve Berinde-Berinde's fixed point theorem, Mizoguchi-Takahashi's fixed point theorem, Nadler's fixed point theorem and Banach contraction principle and many known results in the literature.
△ Less
Submitted 14 July, 2019;
originally announced July 2019.
-
Identifying Parameter Space for Robust Stability in Nonlinear Networks: A Microgrid Application
Authors:
Soumya Kundu,
Wei Du,
Sai Pushpak Nandanoori,
Frank Tuffner,
Kevin Schneider
Abstract:
As modern engineering systems grow in complexity, attitudes toward a modular design approach become increasingly more favorable. A key challenge to a modular design approach is the certification of robust stability under uncertainties in the rest of the network. In this paper, we consider the problem of identifying the parametric region, which guarantees stability of the connected module in the ro…
▽ More
As modern engineering systems grow in complexity, attitudes toward a modular design approach become increasingly more favorable. A key challenge to a modular design approach is the certification of robust stability under uncertainties in the rest of the network. In this paper, we consider the problem of identifying the parametric region, which guarantees stability of the connected module in the robust sense under uncertainties. We derive the conditions under which the robust stability of the connected module is guaranteed for some values of the design parameters, and present a sum-of-squares (SOS) optimization-based algorithm to identify such a parametric region for polynomial systems. Using the example of an inverter-based microgrid, we show how this parametric region changes with variations in the level of uncertainties in the network.
△ Less
Submitted 21 March, 2019;
originally announced March 2019.
-
On Graph Isomorphism Problem
Authors:
Wenxue Du
Abstract:
Let $G$ and $H$ be two simple graphs. A bijection $φ:V(G)\rightarrow V(H)$ is called an isomorphism between $G$ and $H$ if $(φv_i)(φv_j)\in E(H)$ $\Leftrightarrow$ $v_i v_j\in E(G)$, $\forall v_i,v_j \in V(G)$. In the case that $G = H$, we say $φ$ an automorphism of $G$ and denote the group consisting of all automorphisms of $G$ by $\mathrm{Aut}~G$. As well-known, the problem of determining whethe…
▽ More
Let $G$ and $H$ be two simple graphs. A bijection $φ:V(G)\rightarrow V(H)$ is called an isomorphism between $G$ and $H$ if $(φv_i)(φv_j)\in E(H)$ $\Leftrightarrow$ $v_i v_j\in E(G)$, $\forall v_i,v_j \in V(G)$. In the case that $G = H$, we say $φ$ an automorphism of $G$ and denote the group consisting of all automorphisms of $G$ by $\mathrm{Aut}~G$. As well-known, the problem of determining whether or not two given graphs are isomorphic is called Graph Isomorphism Problem (GI). One of key steps in resolving GI is to work out the partition $Π^*_G$ of $V(G)$ composed of orbits of $\mathrm{Aut}~G$. By means of geometric features of $Π^*_G$ and combinatorial constructions such as the multipartite graph $[Π^*_{t_1},\cdots,Π^*_{t_s}]$, we can reduce the problem of determining $Π_G^*$ to that of working out a series of partitions of $V(G)$ each of which consists of orbits of a stabilizer that fixes a sequence of vertices of $G$, and thus the determination of the partition $Π^*_v$ is a critical transition.
On the other hand, we have for a given subspace $U \subseteq \mathbb{R}^n$ a permutation group $\mathrm{Aut}~U := \{ σ\in S_n : σ~ U = U \}$. As a matter of fact, $\mathrm{Aut}~G = \cap_{λ\in \mathrm{spec} \mathbf{A}(G) } \mathrm{Aut}~V_λ$, and moreover we can obtain a good approximation $Π[ \oplus V_λ ; v ]$ to $Π_v^*$ by analyzing a decomposition of $V_λ$ resulted from the division of $V_λ$ by subspaces $\{ \mathrm{proj}[ V_λ ]( \pmb{e}_v )^{\perp} : v \in V(G) \}$. In fact, there is a close relation among subspaces spanned by cells of $Π[ \oplus V_λ ; v ]$ of $G$, which enables us to determine $Π_v^*$ more efficiently. In virtue of that, we devise a deterministic algorithm solving GI in time $n^{ O( \log n ) }$.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
-
On the Automorphism Group of a Graph
Authors:
Wenxue Du
Abstract:
An automorphism of a graph $G$ with $n$ vertices is a bijective map $φ$ from $V(G)$ to itself such that $φ(v_i)φ(v_j)\in E(G)$ $\Leftrightarrow$ $v_i v_j\in E(G)$ for any two vertices $v_i$ and $v_j$ of $G$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. As well-known, the structure of the action of $\mathfrak{G}$ on $V(G)$ is represented definitely by its block systems…
▽ More
An automorphism of a graph $G$ with $n$ vertices is a bijective map $φ$ from $V(G)$ to itself such that $φ(v_i)φ(v_j)\in E(G)$ $\Leftrightarrow$ $v_i v_j\in E(G)$ for any two vertices $v_i$ and $v_j$ of $G$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. As well-known, the structure of the action of $\mathfrak{G}$ on $V(G)$ is represented definitely by its block systems. On the other hand for each permutation $σ$ on $[n]$, there is a natural action on any vector $\pmb{v}=(v_1,v_2,\ldots,v_n)^t\in \mathbb{R}^n$ such that $σ\pmb{v}=(v_{σ^{-1}1},v_{σ^{-1}2},\ldots,v_{σ^{-1} n})^t$. Accordingly, we actually have a permutation representation of $\mathfrak{G}$ in $\mathbb{R}^n$. In this paper, we establish the some connections between block systems of $\mathfrak{G}$ and its irreducible representations, and by virtue of that we finally devise an algorithm outputting a generating set and all block systems of $\mathfrak{G}$ within time $n^{C \log n}$ for some constant $C$.
△ Less
Submitted 2 July, 2016;
originally announced July 2016.
-
Differential Evolution with Event-Triggered Impulsive Control
Authors:
Wei Du,
Sunney Yung Sun Leung,
Yang Tang,
Athanasios V. Vasilakos
Abstract:
Differential evolution (DE) is a simple but powerful evolutionary algorithm, which has been widely and successfully used in various areas. In this paper, an event-triggered impulsive control scheme (ETI) is introduced to improve the performance of DE. Impulsive control, the concept of which derives from control theory, aims at regulating the states of a network by instantly adjusting the states of…
▽ More
Differential evolution (DE) is a simple but powerful evolutionary algorithm, which has been widely and successfully used in various areas. In this paper, an event-triggered impulsive control scheme (ETI) is introduced to improve the performance of DE. Impulsive control, the concept of which derives from control theory, aims at regulating the states of a network by instantly adjusting the states of a fraction of nodes at certain instants, and these instants are determined by event-triggered mechanism (ETM). By introducing impulsive control and ETM into DE, we hope to change the search performance of the population in a positive way after revising the positions of some individuals at certain moments. At the end of each generation, the impulsive control operation is triggered when the update rate of the population declines or equals to zero. In detail, inspired by the concepts of impulsive control, two types of impulses are presented within the framework of DE in this paper: stabilizing impulses and destabilizing impulses. Stabilizing impulses help the individuals with lower rankings instantly move to a desired state determined by the individuals with better fitness values. Destabilizing impulses randomly alter the positions of inferior individuals within the range of the current population. By means of intelligently modifying the positions of a part of individuals with these two kinds of impulses, both exploitation and exploration abilities of the whole population can be meliorated. In addition, the proposed ETI is flexible to be incorporated into several state-of-the-art DE variants. Experimental results over the CEC 2014 benchmark functions exhibit that the developed scheme is simple yet effective, which significantly improves the performance of the considered DE algorithms.
△ Less
Submitted 24 December, 2015; v1 submitted 16 December, 2015;
originally announced December 2015.
-
On characterizations of $\mathcal{MT}(λ)$-functions
Authors:
Wei-Shih Du
Abstract:
In this paper, we introduce and share the new concept of $\mathcal{MT}(λ)$-functions and its some characterizations.
In this paper, we introduce and share the new concept of $\mathcal{MT}(λ)$-functions and its some characterizations.
△ Less
Submitted 10 June, 2015; v1 submitted 5 June, 2015;
originally announced June 2015.
-
The Hyers-Ulam stability for nonlinear Volterra integral equations via a generalized Diaz-Margolis's fixed point theorem
Authors:
Wei-Shih Du
Abstract:
In this work, we prove an existence theorem of the Hyers-Ulam stability for the nonlinear Volterra integral equations which improves and generalizes Castro-Ramos theorem by using some weak conditions.
In this work, we prove an existence theorem of the Hyers-Ulam stability for the nonlinear Volterra integral equations which improves and generalizes Castro-Ramos theorem by using some weak conditions.
△ Less
Submitted 27 March, 2015;
originally announced March 2015.
-
An Exact Formula for the Average Run Length to False Alarm of the Generalized Shiryaev-Roberts Procedure for Change-Point Detection under Exponential Observations
Authors:
Wenyu Du,
Grigory Sokolov,
Aleksey S. Polunchenko
Abstract:
We derive analytically an exact closed-form formula for the standard minimax Average Run Length (ARL) to false alarm delivered by the Generalized Shiryaev-Roberts (GSR) change-point detection procedure devised to detect a shift in the baseline mean of a sequence of independent exponentially distributed observations. Specifically, the formula is found through direct solution of the respective integ…
▽ More
We derive analytically an exact closed-form formula for the standard minimax Average Run Length (ARL) to false alarm delivered by the Generalized Shiryaev-Roberts (GSR) change-point detection procedure devised to detect a shift in the baseline mean of a sequence of independent exponentially distributed observations. Specifically, the formula is found through direct solution of the respective integral (renewal) equation, and is a general result in that the GSR procedure's headstart is not restricted to a bounded range, nor is there a "ceiling" value for the detection threshold. Apart from the theoretical significance (in change-point detection, exact closed-form performance formulae are typically either difficult or impossible to get, especially for the GSR procedure), the obtained formula is also useful to a practitioner: in cases of practical interest, the formula is a function linear in both the detection threshold and the headstart, and, therefore, the ARL to false alarm of the GSR procedure can be easily computed.
△ Less
Submitted 21 October, 2014; v1 submitted 29 August, 2014;
originally announced August 2014.
-
Graph Automorphisms from the Geometric Viewpoint
Authors:
Wen-Xue Du,
Yi-Zheng Fan
Abstract:
An automorphism of a graph $G=(V,E)$ is a bijective map $φ$ from $V$ to itself such that $φ(v_i)φ(v_j)\in E$ $\Leftrightarrow$ $v_i v_j\in E$ for any two vertices $v_i$ and $v_j$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. Apparently, an automorphism of $G$ can be regarded as a permutation on $[n]=\{1,\ldots,n\}$, provided that $G$ has $n$ vertices. For each permuta…
▽ More
An automorphism of a graph $G=(V,E)$ is a bijective map $φ$ from $V$ to itself such that $φ(v_i)φ(v_j)\in E$ $\Leftrightarrow$ $v_i v_j\in E$ for any two vertices $v_i$ and $v_j$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. Apparently, an automorphism of $G$ can be regarded as a permutation on $[n]=\{1,\ldots,n\}$, provided that $G$ has $n$ vertices. For each permutation $σ$ on $[n]$, there is a natural action on any given vector $\boldsymbol{u}=(u_1,\ldots,u_n)^t\in \mathbb{C}^n$ such that $σ\boldsymbol{u}=(u_{σ^{-1}1},u_{σ^{-1}2},\ldots,u_{σ^{-1} n})^t$, so $σ$ can be viewed as a linear operator on $\mathbb{C}^n$. Accordingly, one can formulate a characterization to the automorphisms of $G$, {\it i.e.,} $σ$ is an automorphism of $G$ if and only if every eigenspace of $\mathbf{A}(G)$ is $σ$-invariant, where $\mathbf{A}(G)$ is the adjacency matrix of $G$. Consequently, every eigenspace of $\mathbf{A}(G)$ is $\mathfrak{G}$-invariant, which is equivalent to that for any eigenvector $\boldsymbol{v}$ of $\mathbf{A}(G)$ corresponding to the eigenvalue $λ$, $\mathrm{span}(\mathfrak{G}\boldsymbol{v})$ is a subspace of the eigenspace $V_λ$. By virtue of the linear representation of the automorphism group $\mathfrak{G}$, we characterize those extremal vectors $\boldsymbol{v}$ in an eigenspace of $\mathbf{A}(G)$ so that $\mathrm{dim}~\mathrm{span}(\mathfrak{G}\boldsymbol{v})$ can attain extremal values, and furthermore, we determine the exact value of $\mathrm{dim}~\mathrm{span}(\mathfrak{G}\boldsymbol{v})$ for any eigenvector $\boldsymbol{v}$ of $\mathbf{A}(G)$.
△ Less
Submitted 10 December, 2013;
originally announced December 2013.
-
Quickest Change-Point Detection: A Bird's Eye View
Authors:
Aleksey S. Polunchenko,
Grigory Sokolov,
Wenyu Du
Abstract:
We provide a bird's eye view onto the area of sequential change-point detection. We focus on the discrete-time case with known pre- and post-change data distributions and offer a summary of the forefront asymptotic results established in each of the four major formulations of the underlying optimization problem: Bayesian, generalized Bayesian, minimax, and multi-cyclic.
We provide a bird's eye view onto the area of sequential change-point detection. We focus on the discrete-time case with known pre- and post-change data distributions and offer a summary of the forefront asymptotic results established in each of the four major formulations of the underlying optimization problem: Bayesian, generalized Bayesian, minimax, and multi-cyclic.
△ Less
Submitted 11 October, 2013;
originally announced October 2013.
-
On Wiener polarity index of cactus graphs
Authors:
Nan Chen,
Wen-Xue Du,
Yi-Zheng Fan
Abstract:
The Wiener polarity index of a graph G is the number of unordered pairs of vertices u, v such that the distance between u and v is 3. In this paper we give an explicit formula for the Wiener polarity index of cactus graphs. We also deduce formulas for some special cactus graphs.
The Wiener polarity index of a graph G is the number of unordered pairs of vertices u, v such that the distance between u and v is 3. In this paper we give an explicit formula for the Wiener polarity index of cactus graphs. We also deduce formulas for some special cactus graphs.
△ Less
Submitted 15 November, 2012;
originally announced November 2012.
-
The Nullity of Bicyclic Signed Graphs
Authors:
Yi-Zheng Fan,
Wen-Xue Du,
Chun-Long Dong
Abstract:
Let Γbe a signed graph and let A(Γ) be the adjacency matrix of Γ. The nullity of Γis the multiplicity of eigenvalue zero in the spectrum of A(Γ). In this paper we characterize the signed graphs of order n with nullity n-2 or n-3, and introduce a graph transformation which preserves the nullity. As an application we determine the unbalanced bicyclic signed graphs of order n with nullity n-3 or n-4,…
▽ More
Let Γbe a signed graph and let A(Γ) be the adjacency matrix of Γ. The nullity of Γis the multiplicity of eigenvalue zero in the spectrum of A(Γ). In this paper we characterize the signed graphs of order n with nullity n-2 or n-3, and introduce a graph transformation which preserves the nullity. As an application we determine the unbalanced bicyclic signed graphs of order n with nullity n-3 or n-4, and signed bicyclic signed graphs (including simple bicyclic graphs) of order n with nullity n-5.
△ Less
Submitted 29 July, 2012;
originally announced July 2012.
-
A short note on the paper "Remarks on Caristi's fixed point theorem and Kirk's problem"
Authors:
Wei-Shih Du
Abstract:
In this paper, we demonstrate that Li's fixed point theorems are indeed equivalent with the primitive Caristi's fixed point theorem, Jachymski's fixed point theorems, Feng and Liu's fixed point theorems, Khamsi's fixed point theorems and others.
In this paper, we demonstrate that Li's fixed point theorems are indeed equivalent with the primitive Caristi's fixed point theorem, Jachymski's fixed point theorems, Feng and Liu's fixed point theorems, Khamsi's fixed point theorems and others.
△ Less
Submitted 5 October, 2010;
originally announced October 2010.
-
The energy of random graphs
Authors:
Wenxue Du,
Xueliang Li,
Yiyang Li
Abstract:
In 1970s, Gutman introduced the concept of the energy $\En(G)$ for a simple graph $G$, which is defined as the sum of the absolute values of the eigenvalues of $G$. This graph invariant has attracted much attention, and many lower and upper bounds have been established for some classes of graphs among which bipartite graphs are of particular interest. But there are only a few graphs attaining th…
▽ More
In 1970s, Gutman introduced the concept of the energy $\En(G)$ for a simple graph $G$, which is defined as the sum of the absolute values of the eigenvalues of $G$. This graph invariant has attracted much attention, and many lower and upper bounds have been established for some classes of graphs among which bipartite graphs are of particular interest. But there are only a few graphs attaining the equalities of those bounds. We however obtain an exact estimate of the energy for almost all graphs by Wigner's semi-circle law, which generalizes a result of Nikiforov. We further investigate the energy of random multipartite graphs by considering a generalization of Wigner matrix, and obtain some estimates of the energy for random multipartite graphs.
△ Less
Submitted 27 September, 2009;
originally announced September 2009.
-
The Laplacian energy of random graphs
Authors:
Wenxue Du,
Xueliang Li,
Yiyang Li
Abstract:
Gutman {\it et al.} introduced the concepts of energy $\En(G)$ and Laplacian energy $\EnL(G)$ for a simple graph $G$, and furthermore, they proposed a conjecture that for every graph $G$, $\En(G)$ is not more than $\EnL(G)$. Unfortunately, the conjecture turns out to be incorrect since Liu {\it et al.} and Stevanović {\it et al.} constructed counterexamples. However, So {\it et al.} verified the…
▽ More
Gutman {\it et al.} introduced the concepts of energy $\En(G)$ and Laplacian energy $\EnL(G)$ for a simple graph $G$, and furthermore, they proposed a conjecture that for every graph $G$, $\En(G)$ is not more than $\EnL(G)$. Unfortunately, the conjecture turns out to be incorrect since Liu {\it et al.} and Stevanović {\it et al.} constructed counterexamples. However, So {\it et al.} verified the conjecture for bipartite graphs. In the present paper, we obtain, for a random graph, the lower and upper bounds of the Laplacian energy, and show that the conjecture is true for almost all graphs.
△ Less
Submitted 9 October, 2009; v1 submitted 25 June, 2009;
originally announced June 2009.
-
The limiting spectral distribution of the generalized Wigner matrix
Authors:
Wenxue Du,
Xueliang Li,
Yiyang Li
Abstract:
The properties of eigenvalues of large dimensional random matrices have received considerable attention. One important achievement is the existence and identification of the limiting spectral distribution of the empirical spectral distribution of eigenvalues of Wigner matrix. In the present paper, we explore the limiting spectral distribution for more general random matrices, and, furthermore, g…
▽ More
The properties of eigenvalues of large dimensional random matrices have received considerable attention. One important achievement is the existence and identification of the limiting spectral distribution of the empirical spectral distribution of eigenvalues of Wigner matrix. In the present paper, we explore the limiting spectral distribution for more general random matrices, and, furthermore, give an application to the energy of general random graphs, which generalizes the result of Nikiforov.
△ Less
Submitted 10 June, 2009;
originally announced June 2009.