Source author record

Ligong Wang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

35works
4topics
4close collaborators

Published work

35 publications

preprint2026arXiv

Distance spectral radius conditions for edge-disjoint spanning trees and a forest with constraints

Let k≥2k\ge 2 be a positive integer and let GG be a simple graph of order nn with minimum degree δδ. A graph GG is said to have property P(k,d)P(k, d) if it contains kk edge-disjoint spanning trees and an additional forest FF with edge number ∣E(F)∣>d−1d(n−1)|E(F)| > \frac{d-1}{d}(n-1), such that if FF is not a spanning tree, then FF has a component with at least dd edges. Let D(G)D(G) be the distance matrix of GG. We denote ρD(G)ρ_D(G) as the largest eigenvalue of D(G)D(G), which is called the distance spectral radius of GG. In this paper, we investigate the relationship between the distance spectral radius and the property P(k,δ)P(k, δ). We prove that for a connected graph GG of order n≥2k+8n \ge 2k+8 with minimum degree δ≥k+2δ\ge k+2, if ρD(G)≤ρD(Kk−1∨(Kn−k∪K1))ρ_D(G) \le ρ_D(K_{k-1} \vee (K_{n-k} \cup K_1)), then GG possesses property P(k,δ)P(k, δ). Furthermore, for a connected balanced bipartite graph GG of order n≥4k+8n \ge 4k+8 with minimum degree δ≥k+2δ\ge k+2, we show that if ρD(G)≤ρD(Kn2,n2∖E(K1,n2−k+1))ρ_D(G) \le ρ_D(K_{\frac{n}{2}, \frac{n}{2}} \setminus E(K_{1, \frac{n}{2}-k+1})), then GG also possesses property P(k,δ)P(k, δ). Our results generalize the work of Fan et al. [Discrete Appl. Math. 376 (2025), 31--40] from the existence of kk edge-disjoint spanning trees to the more refined structural property P(k,δ)P(k, δ).

preprint2026arXiv

Laplacian eigenvalue conditions for edge-disjoint spanning trees and a forest with constraints

Let kk be a positive integer and let GG be a simple graph of order nn with minimum degree δδ. A graph GG is said to have property P(k,d)P(k, d) if it contains kk edge-disjoint spanning trees and an additional forest FF with edge number ∣E(F)∣>d−1d(∣V(G)∣−1)|E(F)| > \frac{d-1}{d}(|V(G)| - 1), such that if FF is not a spanning tree, then FF has a component with at least dd edges. Let D(G)D(G) be the degree diagonal matrix of GG. We denote λiλ_i and μiμ_i as the iith largest eigenvalue of the adjacency matrix A(G)A(G) of GG and the Laplacian matrix L(G)=D(G)−A(G)L(G) = D(G) - A(G) of GG for i=1,2,…,ni = 1, 2, \ldots, n, respectively. In this paper, we investigate the relationship between Laplacian eigenvalues and property P(k,δ)P(k, δ). Let tt be a positive integer, and define Gt\mathcal{G}_t as the set of simple graphs such that each G∈GtG \in \mathcal{G}_t contains at least t+1t+1 non-empty disjoint proper subsets V1,V2,…,Vt+1V_1, V_2, \ldots, V_{t+1} satisfying V(G)∖⋃i=1t+1Vi≠∅V(G) \setminus \bigcup_{i=1}^{t+1} V_i \neq \emptyset and edge connectivity κ′(G)=e(Vi,V(G)∖Vi)κ'(G) = e(V_i, V(G) \setminus V_i) for any i=1,2,…,t+1i = 1, 2, \ldots, t+1. For the class of graphs G1\mathcal{G}_1 with minimum degree δδ, we provide a sufficient condition involving the third smallest Laplacian eigenvalue μn−2(G)μ_{n-2}(G) for a graph G∈G1G\in \mathcal{G}_1 to have property P(k,δ)P(k, δ). Similarly, for the class of graphs G2\mathcal{G}_2 with minimum degree δδ, we establish a corresponding sufficient condition involving the fourth smallest Laplacian eigenvalue μn−3(G)μ_{n-3}(G) for a graph G∈G2G\in \mathcal{G}_2 to have property P(k,δ)P(k, δ). Furthermore, we extend the spectral conditions for all the results about μn−2(G)μ_{n-2}(G), μn−3(G)μ_{n-3}(G) and λ2(G)λ_2(G) to the general graph matrices aD(G)+A(G)aD(G) + A(G) and aD(G)+bA(G)aD(G) + bA(G).

preprint2022arXiv

Integer colorings with no rainbow 3-term arithmetic progression

In this paper, we study the rainbow Erdős-Rothschild problem with respect to 3-term arithmetic progressions. We obtain the asymptotic number of rr-colorings of [n][n] without rainbow 3-term arithmetic progressions, and we show that the typical colorings with this property are 2-colorings. We also prove that [n][n] attains the maximum number of rainbow 3-term arithmetic progression-free rr-colorings among all subsets of [n][n]. Moreover, the exact number of rainbow 3-term arithmetic progression-free rr-colorings of Zp\mathbb{Z}_p is obtained, where pp is any prime and Zp\mathbb{Z}_p is the cyclic group of order pp.

preprint2022arXiv

On the αα-index of minimally 2-connected graphs with given order or size

For any real α∈[0,1]α\in [0,1], Nikiforov defined the AαA_α-matrix of a graph GG as Aα(G)=αD(G)+(1−α)A(G)A_α(G)=αD(G)+(1-α)A(G), where A(G)A(G) and D(G)D(G) are the adjacency matrix and the diagonal matrix of vertex degrees of GG, respectively. The largest eigenvalue of Aα(G)A_α(G) is called the αα-index or the AαA_α-spectral radius of GG. A graph is minimally kk-connected if it is kk-connected and deleting any arbitrary chosen edge always leaves a graph which is not kk-connected. In this paper, we characterize the extremal graphs with the maximum αα-index for α∈[12,1)α\in [\frac{1}{2},1) among all minimally 2-connected graphs with given order or size, respectively.

preprint2022arXiv

Signless Laplacian Estrada index and Laplacian Estrada index of uniform hypergraphs

We generalize the notions of Laplacian and signless Laplacian Estrada index to uniform hypergraphs. For an rr-uniform hypergraph H,H, we derive an order r+1r+1 trace formula of the (signless) Laplacian tensor of H.H. Among others by using this trace formula, we obtain lower bounds for the signless Laplacian Estrada index and upper bounds for the Laplacian Estrada index. Moreover, we establish a bound involving both the Laplacian Estrada index and Laplacian energy of a uniform hypergraph.

preprint2021arXiv

Extremal problems and results related to Gallai-colorings

A Gallai-coloring (Gallai-kk-coloring) is an edge-coloring (with colors from {1,2,…,k}\{1, 2, \ldots, k\}) of a complete graph without rainbow triangles. Given a graph HH and a positive integer kk, the kk-colored Gallai-Ramsey number GRk(H)GR_k(H) is the minimum integer nn such that every Gallai-kk-coloring of the complete graph KnK_n contains a monochromatic copy of HH. In this paper, we consider two extremal problems related to Gallai-kk-colorings. First, we determine upper and lower bounds for the maximum number of edges that are not contained in any rainbow triangle or monochromatic triangle in a kk-edge-coloring of KnK_n. Second, for n≥GRk(K3)n\geq GR_k(K_3), we determine upper and lower bounds for the minimum number of monochromatic triangles in a Gallai-kk-coloring of KnK_{n}, yielding the exact value for k=3k=3. Furthermore, we determine the Gallai-Ramsey number GRk(K4+e)GR_k(K_4+e) for the graph on five vertices consisting of a K4K_4 with a pendant edge.

preprint2021arXiv

The Erdős-Gyárfás function with respect to Gallai-colorings

For fixed pp and qq, an edge-coloring of the complete graph KnK_n is said to be a (p,q)(p, q)-coloring if every KpK_p receives at least qq distinct colors. The function f(n,p,q)f(n, p, q) is the minimum number of colors needed for KnK_n to have a (p,q)(p, q)-coloring. This function was introduced about 45 years ago, but was studied systematically by Erdős and Gyárfás in 1997, and is now known as the Erdős-Gyárfás function. In this paper, we study f(n,p,q)f(n, p, q) with respect to Gallai-colorings, where a Gallai-coloring is an edge-coloring of KnK_n without rainbow triangles. Combining the two concepts, we consider the function g(n,p,q)g(n, p, q) that is the minimum number of colors needed for a Gallai-(p,q)(p, q)-coloring of KnK_n. Using the anti-Ramsey number for K3K_3, we have that g(n,p,q)g(n, p, q) is nontrivial only for 2≤q≤p−12\leq q\leq p-1. We give a general lower bound for this function and we study how this function falls off from being equal to n−1n-1 when q=p−1q=p-1 and p≥4p\geq 4 to being Θ(log⁡n)Θ(\log n) when q=2q = 2. In particular, for appropriate pp and nn, we prove that g=n−cg=n-c when q=p−cq=p-c and c∈{1,2}c\in \{1,2\}, gg is at most a fractional power of nn when q=⌊p−1⌋q=\lfloor\sqrt{p-1}\rfloor, and gg is logarithmic in nn when 2≤q≤⌊log⁡2(p−1)⌋+12\leq q\leq \lfloor\log_2 (p-1)\rfloor+1.

preprint2021arXiv

The generalized Turán number of spanning linear forests

Let F\mathcal{F} be a family of graphs. A graph GG is called \textit{F\mathcal{F}-free} if for any F∈FF\in \mathcal{F}, there is no subgraph of GG isomorphic to FF. Given a graph TT and a family of graphs F\mathcal{F}, the generalized Turán number of F\mathcal{F} is the maximum number of copies of TT in an F\mathcal{F}-free graph on nn vertices, denoted by ex(n,T,F)ex(n,T,\mathcal{F}). A linear forest is a graph whose connected components are all paths or isolated vertices. Let Ln,k\mathcal{L}_{n,k} be the family of all linear forests of order nn with kk edges and Ks,t∗K^*_{s,t} a graph obtained from Ks,tK_{s,t} by substituting the part of size ss with a clique of the same size. In this paper, we determine the exact values of ex(n,Ks,Ln,k)ex(n,K_s,\mathcal{L}_{n,k}) and ex(n,Ks,t∗,Ln,k)ex(n,K^*_{s,t},\mathcal{L}_{n,k}). Also, we study the case of this problem when the \textit{"host graph"} is bipartite. Denote by exbip(n,T,F)ex_{bip}(n,T,\mathcal{F}) the maximum possible number of copies of TT in an F\mathcal{F}-free bipartite graph with each part of size nn. We determine the exact value of exbip(n,Ks,t,Ln,k)ex_{bip}(n,K_{s,t},\mathcal{L}_{n,k}). Our proof is mainly based on the shifting method.

preprint2020arXiv

Hypothesis Testing Over the Two-hop Relay Network

Coding and testing schemes and the corresponding achievable type-II error exponents are presented for binary hypothesis testing over two-hop relay networks. The schemes are based on cascade source coding techniques and {unanimous decision-forwarding}, the latter meaning that a terminal decides on the null hypothesis only if all previous terminals have decided on the null hypothesis. If the observations at the transmitter, the relay, and the receiver form a Markov chain in this order, then, without loss in performance, the proposed cascade source code can be replaced by two independent point-to-point source codes, one for each hop. The decoupled scheme (combined with decision-forwarding) is shown to attain the optimal type-II error exponents for various instances of "testing against conditional independence." The same decoupling is shown to be optimal also for some instances of "testing against independence," when the observations at the transmitter, the receiver, and the relay form a Markov chain in this order, and when the relay-to-receiver link is of sufficiently high rate. For completeness, the paper also presents an analysis of the Shimokawa-Han-Amari binning scheme for the point-to-point hypothesis testing setup.

preprint2020arXiv

Iota energy orderings of bicyclic signed digraphs

The concept of energy of a signed digraph is extended to iota energy of a signed digraph. The energy of a signed digraph SS is defined by E(S)=∑k=1n∣Re(zk)∣E(S)=\sum_{k=1}^n|\text{Re}(z_k)|, where Re(zk)\text{Re}(z_k) is the real part of eigenvalue zkz_k and zkz_k is the eigenvalue of the adjacency matrix of SS with nn vertices, k=1,2,…,nk=1,2,\ldots,n. Then the iota energy of SS is defined by E(S)=∑k=1n∣Im(zk)∣E(S)=\sum_{k=1}^n|\text{Im}(z_k)|, where Im(zk)\text{Im}(z_k) is the imaginary part of eigenvalue zkz_k. In this paper, we consider a special graph class for bicyclic signed digraphs Sn\mathcal{S}_n with nn vertices which have two vertex-disjoint signed directed even cycles. We give two iota energy orderings of bicyclic signed digraphs, one is including two positive or two negative directed even cycles, the other is including one positive and one negative directed even cycles.

preprint2020arXiv

On the Capacity of MIMO Optical Wireless Channels

This paper studies the capacity of a general multiple-input multiple-output (MIMO) free-space optical intensity channel under a per-input-antenna peak-power constraint and a total average-power constraint over all input antennas. The focus is on the scenario with more transmit than receive antennas. In this scenario, different input vectors can yield identical distributions at the output, when they result in the same image vector under multiplication by the channel matrix. We first determine the most energy-efficient input vectors that attain each of these image vectors. Based on this, we derive an equivalent capacity expression in terms of the image vector, and establish new lower and upper bounds on the capacity of this channel. The bounds match when the signal-to-noise ratio (SNR) tends to infinity, establishing the high-SNR asymptotic capacity. We also characterize the low-SNR slope of the capacity of this channel.

preprint2020arXiv

The bounds of the spectral radius of general hypergraphs in terms of clique number

The spectral radius (or the signless Laplacian spectral radius) of a general hypergraph is the maximum modulus of the eigenvalues of its adjacency (or its signless Laplacian) tensor. In this paper, we firstly obtain a lower bound of the spectral radius (or the signless Laplacian spectral radius) of general hypergraphs in terms of clique number. Moreover, we present a relation between a homogeneous polynomial and the clique number of general hypergraphs. As an application, we finally obtain an upper bound of the spectral radius of general hypergraphs in terms of clique number.

preprint2016arXiv

5-regular oriented graphs with optimum skew energy

Let GG be a simple undirected graph and GσG^σ be the corresponding oriented graph of GG with the orientation σσ. The skew energy of GσG^σ, denoted by εs(Gσ)\varepsilon_s(G^σ), is defined as the sum of the singular values of the skew adjacency matrix S(Gσ)S(G^σ). In 2010, Adiga et al. certified that εs(Gσ)≤nΔ\varepsilon_s(G^σ) \leq n\sqrtΔ, where ΔΔ is the maximum degree of GG of order nn. In this paper, we determine all connected 5-regular oriented graphs of order nn with maximum skew-energy.

preprint2016arXiv

A new S-type eigenvalue localization set for tensors and its applications

A new \emph{S}-type eigenvalue localization set for tensors is derived by breaking N={1,2,⋯ ,n}N=\{1,2,\cdots,n\} into disjoint subsets SS and its complement. It is proved that this new set is tighter than those presented by Qi (Journal of Symbolic Computation 40 (2005) 1302-1324), Li et al. (Numer. Linear Algebra Appl. 21 (2014) 39-50) and Li et al. (Linear Algebra Appl. 493 (2016) 469-483). As applications, checkable sufficient conditions for the positive definiteness and the positive semi-definiteness of tensors are proposed. Moreover, based on this new set, we establish a new upper bound for the spectral radius of nonnegative tensors and a lower bound for the minimum \emph{H}-eigenvalue of weakly irreducible strong \emph{M}-tensors in this paper. We demonstrate that these bounds are sharper than those obtained by Li et al. (Numer. Linear Algebra Appl. 21 (2014) 39-50) and He and Huang (J. Inequal. Appl. 114 (2014) 2014). Numerical examples are also given to illustrate this fact.

preprint2016arXiv

Distance signless Laplacian spectral radius and Hamiltonian properties of graphs

In this paper, first, we establish a sufficient condition for a bipartite graph to be Hamilton-connected. Furthermore, we also give two sufficient conditions on distance signless Laplacian spectral radius for a graph to be Hamilton-connected and traceable from every vertex, respectively. Last, we obtain a sufficient condition for a graph to be Hamiltonian in terms of the distance signless Laplacian spectral radius of GCG^{C}.

preprint2016arXiv

Fundamental Limits of Communication with Low Probability of Detection

This paper considers the problem of communication over a discrete memoryless channel (DMC) or an additive white Gaussian noise (AWGN) channel subject to the constraint that the probability that an adversary who observes the channel outputs can detect the communication is low. Specifically, the relative entropy between the output distributions when a codeword is transmitted and when no input is provided to the channel must be sufficiently small. For a DMC whose output distribution induced by the "off" input symbol is not a mixture of the output distributions induced by other input symbols, it is shown that the maximum amount of information that can be transmitted under this criterion scales like the square root of the blocklength. The same is true for the AWGN channel. Exact expressions for the scaling constant are also derived.

preprint2016arXiv

Hermitian-Randić matrix and Hermitian-Randić energy of mixed graphs

Let MM be a mixed graph and H(M)H(M) be its Hermitian-adjacency matrix. If we add every edge and arc in MM a Randić weight, then we can get a new weighted Hermitian-adjacency matrix. What are the properties of this new matrix? Motivated by this, we define the Hermitian-Randić matrix RH(M)=(rh)klR_{H}(M)=(r_{h})_{kl} of a mixed graph MM, where (rh)kl=−(rh)lk=idkdl(r_{h})_{kl}=-(r_{h})_{lk}=\frac{\textbf{i}}{\sqrt{d_{k}d_{l}}} (i=−1\textbf{i}=\sqrt{-1}) if (vk,vl)(v_{k},v_{l}) is an arc of MM, (rh)kl=(rh)lk=1dkdl(r_{h})_{kl}=(r_{h})_{lk}=\frac{1}{\sqrt{d_{k}d_{l}}} if vkvlv_{k}v_{l} is an undirected edge of MM, and (rh)kl=0(r_{h})_{kl}=0 otherwise. In this paper, firstly, we compute the characteristic polynomial of the Hermitian-Randić matrix of a mixed graph. Furthermore, we give bounds to the Hermitian-Randić energy of a general mixed graph. Finally, we give some results about the Hermitian-Randić energy of mixed trees.

preprint2016arXiv

Minimal Skew energy of oriented bicyclic graphs with a given diameter

Let S(Gσ)S(G^σ) be the skew-adjacency matrix of the oriented graph GσG^σ, which is obtained from a simple undirected graph GG by assigning an orientation σσ to each of its edges. The skew energy of an oriented graph GσG^σ is defined as the sum of absolute values of all eigenvalues of S(Gσ)S(G^σ). For any positive integer dd with 3≤d≤n−33\leq d\leq n-3, we determine the graph with minimal skew energy among all oriented bicyclic graphs that contain no vertex disjoint odd cycle of lengths ss and ll with s+l≡2(mod4)s+l\equiv 2(mod 4) on nn vertices with a given diameter dd.

preprint2016arXiv

On the second smallest and the largest normalized Laplacian eigenvalues of a graph

Let GG be a simple connected graph with order nn. Let L(G)\mathcal{L}(G) be the normalized Laplacian matrix of GG. Let λk(G)λ_{k}(G) be the kk-th smallest normalized Laplacian eigenvalue of GG. Denote ρ(A)ρ(A) the spectral radius of the matrix AA. In this paper, we study the behaviors of λ2(G)λ_{2}(G) and ρ(L(G))ρ(\mathcal{L}(G)) when the graph is perturbed by three operations.

preprint2016arXiv

On the signless Laplacian spectral radius of C4C_{4}-free kk-cyclic graphs

A kk-cyclic graph is a connected graph of order nn and size n+k−1n+k-1. In this paper, we determine the maximal signless Laplacian spectral radius and the corresponding extremal graph among all C4C_{4}-free kk-cyclic graphs of order nn. Furthermore, we determine the first three unicyclic, and bicyclic, C4C_{4}-free graphs whose spectral radius of the signless Laplacian is maximal. Similar results are obtained for the (combinatorial) Laplacian.

preprint2016arXiv

Skew-rank of an oriented graph in terms of the rank and dimension of cycle space of its underlying graph

Let GσG^σ be an oriented graph and S(Gσ)S(G^σ) be its skew-adjacency matrix, where GG is called the underlying graph of GσG^σ. The skew-rank of GσG^σ, denoted by sr(Gσ)sr(G^σ), is the rank of S(Gσ)S(G^σ). Denote by d(G)=∣E(G)∣−∣V(G)∣+θ(G)d(G)=|E(G)|-|V(G)|+θ(G) the dimension of cycle spaces of GG, where ∣E(G)∣|E(G)|, ∣V(G)∣|V(G)| and θ(G)θ(G) are the edge number, vertex number and the number of connected components of GG, respectively. Recently, Wong, Ma and Tian [European J. Combin. 54 (2016) 76--86] proved that sr(Gσ)≤r(G)+2d(G)sr(G^σ)\leq r(G)+2d(G) for an oriented graph GσG^σ, where r(G)r(G) is the rank of the adjacency matrix of GG, and characterized the graphs whose skew-rank attain the upper bound. However, the problem of the lower bound of sr(Gσ)sr(G^σ) of an oriented graph GσG^σ in terms of r(G)r(G) and d(G)d(G) of its underlying graph GG is left open till now. In this paper, we prove that sr(Gσ)≥r(G)−2d(G)sr(G^σ)\geq r(G)-2d(G) for an oriented graph GσG^σ and characterize the graphs whose skew-rank attain the lower bound.

preprint2016arXiv

Some upper bounds for the signless Laplacian spectral radius of digraphs

Let G=(V(G),E(G))G=(V(G) ,E(G)) be a digraph without loops and multiarcs, where V(G)={v1,v2,…,vn}V(G)=\{v_1,v_2,\ldots,v_n\} and E(G)E(G) are the vertex set and the arc set of GG, respectively. Let di+d_i^{+} be the outdegree of the vertex viv_i. Let A(G)A(G) be the adjacency matrix of GG and D(G)=diag(d1+,d2+,…,dn+)D(G)=\textrm{diag}(d_1^{+},d_2^{+},\ldots,d_n^{+}) be the diagonal matrix with outdegrees of the vertices of GG. Then we call Q(G)=D(G)+A(G)Q(G)=D(G)+A(G) the signless Laplacian matrix of GG. The spectral radius of Q(G)Q(G) is called the signless Laplacian spectral radius of GG, denoted by q(G)q(G). In this paper, some upper bounds for q(G)q(G) are obtained. Furthermore, some upper bounds on q(G)q(G) involving outdegrees and the average 2-outdegrees of the vertices of GG are also derived.

preprint2016arXiv

The signless Laplacian spectral radius of subgraphs of regular graphs

Let q(H)q(H) be the signless Laplacian spectral radius of a graph HH. In this paper, we prove that \\1. Let HH be a proper subgraph of a ΔΔ-regular graph GG with nn vertices and diameter DD. Then 2Δ−q(H)>1n(D−14).2Δ- q(H)>\frac{1}{n(D-\frac{1}{4})}. \\2. Let HH be a proper subgraph of a kk-connected ΔΔ-regular graph GG with nn vertices, where k≥2k\geq 2. Then 2Δ−q(H)>2(k−1)22(n−Δ)(n−Δ+2k−4)+(n+1)(k−1)2.2Δ-q(H)>\frac{2(k-1)^{2}}{2(n-Δ)(n-Δ+2k-4)+(n+1)(k-1)^{2}}. Finally, we compare the two bounds. We obtain that when k>2(n−Δ)(n+Δ−4)n(4D−3)−2+1k>2\sqrt{\frac{(n-Δ)(n+Δ-4)}{n(4D-3)-2}}+1, the second bound is always better than the first. On the other hand, when k<2(n−Δ)n(4D−3)−2+1k<\frac{2(n-Δ)}{\sqrt{n(4D-3)-2}}+1, the first bound is always better than the second.

preprint2016arXiv

Upper bounds on the Q-spectral radius of book-free and/or Ks,tK_{s,t}-free graphs

In this paper, we prove two results about the signless Laplacian spectral radius q(G)q(G) of a graph GG of order nn with maximum degree ΔΔ. Let Bn=K2+Kn‾B_{n}=K_{2}+\overline{K_{n}} denote a book, i.e., the graph BnB_{n} consists of nn triangles sharing an edge. (1) Let 1<k≤l<Δ<n1< k\leq l< Δ< n and GG be a connected \{Bk+1,K2,l+1B_{k+1},K_{2,l+1}\}-free graph of order nn with maximum degree ΔΔ. Then q(G)≤14[3Δ+k−2l+1+(3Δ+k−2l+1)2+16l(Δ+n−1).\displaystyle q(G)\leq \frac{1}{4}[3Δ+k-2l+1+\sqrt{(3Δ+k-2l+1)^{2}+16l(Δ+n-1)}. with equality holds if and only if GG is a strongly regular graph with parameters (ΔΔ, kk, ll). (2) Let s≥t≥3s\geq t\geq 3, and let GG be a connected Ks,tK_{s,t}-free graph of order nn (n≥s+t)(n\geq s+t). Then q(G)≤n+(s−t+1)1/tn1−1/t+(t−1)(n−1)1−3/t+t−3.q(G)\leq n+(s-t+1)^{1/t}n^{1-1/t}+(t-1)(n-1)^{1-3/t}+t-3.

preprint2015arXiv

Complex unit gain bicyclic graphs with rank 2, 3 or 4

A T\mathbb{T}-gain graph is a triple Φ=(G,T,φ)Φ=(G,\mathbb{T},φ) consisting of a graph G=(V,E)G=(V,E), the circle group T={z∈C:∣z∣=1}\mathbb{T}=\{z\in C: |z|=1\} and a gain function φ:E→→Tφ:\overrightarrow{E}\rightarrow \mathbb{T} such that φ(eij)=φ(eji)−1=φ(eji)‾φ(e_{ij})=φ(e_{ji})^{-1}=\overline{φ(e_{ji})}. The rank of T\mathbb{T}-gain graph ΦΦ, denoted by r(Φ)r(Φ), is the rank of the adjacency matrix of ΦΦ. In 2015, Yu, Qu and Tu [ G. H. Yu, H. Qu, J. H. Tu, Inertia of complex unit gain graphs, Appl. Math. Comput. 265(2015) 619--629 ] obtained some properties of inertia of a T\mathbb{T}-gain graph. They characterized the T\mathbb{T}-gain unicyclic graphs with small positive or negative index. Motivated by above, in this paper, we characterize the complex unit gain bicyclic graphs with rank 2, 3 or 4.

preprint2015arXiv

Distance integral complete multipartite graphs with s=5,6s=5,6

Let D(G)=(dij)n×nD(G)=(d_{ij})_{n\times n} denote the distance matrix of a connected graph GG with order nn, where dijd_{ij} is equal to the distance between vertices viv_{i} and vjv_{j} in GG. A graph is called distance integral if all eigenvalues of its distance matrix are integers. In 2014, Yang and Wang gave a sufficient and necessary condition for complete rr-partite graphs Kp1,p2,…,pr=Ka1⋅p1,a2⋅p2,…,as⋅psK_{p_{1},p_{2},\ldots,p_{r}}=K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}} to be distance integral and obtained such distance integral graphs with s=1,2,3,4s=1,2,3,4. However distance integral complete multipartite graphs Ka1⋅p1,a2⋅p2,…,as⋅psK_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}} with s>4s>4 have not been found. In this paper, we find and construct some infinite classes of these distance integral graphs Ka1⋅p1,a2⋅p2,…,as⋅psK_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}} with s=5,6s=5,6. The problem of the existence of such distance integral graphs Ka1⋅p1,a2⋅p2,…,as⋅psK_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}} with arbitrarily large number ss remains open.

preprint2015arXiv

Photon-efficient quantum cryptography with pulse-position modulation

The binary (one-bit-per-photon) encoding that most existing quantum key distribution (QKD) protocols employ puts a fundamental limit on their achievable key rates, especially under high channel loss conditions associated with long-distance fiber-optic or satellite-to-ground links. Inspired by the pulse-position-modulation (PPM) approach to photon-starved classical communications, we design and demonstrate the first PPM-QKD, whose security against collective attacks is established through continuous-variable entanglement measurements that also enable a novel decoy-state protocol performed conveniently in post processing. We achieve a throughput of 8.0 Mbit/s (2.5 Mbit/s for loss equivalent to 25 km of fiber) and secret-key capacity up to 4.0 bits per detected photon, thus demonstrating the significant enhancement afforded by high-dimensional encoding. These results point to a new avenue for realizing high-throughput satellite-based or long-haul fiber-optic quantum communications beyond their photon-reception-rate limits.

preprint2014arXiv

A refined analysis of the Poisson channel in the high-photon-efficiency regime

We study the discrete-time Poisson channel under the constraint that its average input power (in photons per channel use) must not exceed some constant E. We consider the wideband, high-photon-efficiency extreme where E approaches zero, and where the channel's "dark current" approaches zero proportionally with E. Improving over a previously obtained first-order capacity approximation, we derive a refined approximation, which includes the exact characterization of the second-order term, as well as an asymptotic characterization of the third-order term with respect to the dark current. We also show that pulse-position modulation is nearly optimal in this regime.

preprint2014arXiv

Toward Photon-Efficient Key Distribution over Optical Channels

This work considers the distribution of a secret key over an optical (bosonic) channel in the regime of high photon efficiency, i.e., when the number of secret key bits generated per detected photon is high. While in principle the photon efficiency is unbounded, there is an inherent tradeoff between this efficiency and the key generation rate (with respect to the channel bandwidth). We derive asymptotic expressions for the optimal generation rates in the photon-efficient limit, and propose schemes that approach these limits up to certain approximations. The schemes are practical, in the sense that they use coherent or temporally-entangled optical states and direct photodetection, all of which are reasonably easy to realize in practice, in conjunction with off-the-shelf classical codes.

preprint2013arXiv

One-Shot Classical-Quantum Capacity and Hypothesis Testing

The one-shot classical capacity of a quantum channel quantifies the amount of classical information that can be transmitted through a single use of the channel such that the error probability is below a certain threshold. In this work, we show that this capacity is well approximated by a relative-entropy-type measure defined via hypothesis testing. Combined with a quantum version of Stein's lemma, our results give a conceptually simple proof of the well-known Holevo-Schumacher-Westmoreland theorem for the capacity of memoryless channels. More generally, we obtain tight capacity formulas for arbitrary (not necessarily memoryless) channels.

preprint2012arXiv

Private-Capacity Bounds for Bosonic Wiretap Channels

We prove an upper bound on the private capacity of the single-mode noiseless bosonic wiretap channel. Combined with a previous lower bound, we obtain the low photon-number asymptotic expression for the private capacity. We then show that the multiple-mode noiseless bosonic wiretap channel is equivalent to parallel single-mode channels, hence the single-mode bounds can be applied. Finally, we consider multiple-spatial-mode propagation through atmospheric turbulence, and derive a private-capacity lower bound that only requires second moments of the channel matrix.

preprint2012arXiv

The State-Dependent Semideterministic Broadcast Channel

We derive the capacity region of the state-dependent semideterministic broadcast channel with noncausal state-information at the transmitter. One of the two outputs of this channel is a deterministic function of the channel input and the channel state, and the state is assumed to be known noncausally to the transmitter but not to the receivers. We show that appending the state to the deterministic output does not increase capacity. We also derive an outer bound on the capacity of general (not necessarily semideterministic) state-dependent broadcast channels.

preprint2010arXiv

It takes half the energy of a photon to send one bit reliably on the Poisson channel with feedback

We consider the transmission of a single bit over the continuous-time Poisson channel with noiseless feedback. We show that to send the bit reliably requires, on the average, half the energy of a photon. In the absence of peak-power constraints this holds irrespective of the intensity of the dark current. We also solve for the energy required to send log2Mlog_{2} M bits.

preprint2008arXiv

Low SNR Capacity of Noncoherent Fading Channels

Discrete-time Rayleigh fading single-input single-output (SISO) and multiple-input multiple-output (MIMO) channels are considered, with no channel state information at the transmitter or the receiver. The fading is assumed to be stationary and correlated in time, but independent from antenna to antenna. Peak-power and average-power constraints are imposed on the transmit antennas. For MIMO channels, these constraints are either imposed on the sum over antennas, or on each individual antenna. For SISO channels and MIMO channels with sum power constraints, the asymptotic capacity as the peak signal-to-noise ratio tends to zero is identified; for MIMO channels with individual power constraints, this asymptotic capacity is obtained for a class of channels called transmit separable channels. The results for MIMO channels with individual power constraints are carried over to SISO channels with delay spread (i.e. frequency selective fading).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.