Source author record

Zhongyang Li

Zhongyang Li appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

29works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

29 published item(s)

preprint2022arXiv

Asymptotics of pure dimer coverings on rail-yard graphs

We study asymptotic limit of random pure dimer coverings on rail yardgraphs when the mesh sizes of the graphs go to 0. Each pure dimer covering correspondsto a sequence of interlacing partitions starting with an empty partition and ending inan empty partition. Under the assumption that the probability of each dimer covering isproportional to the product of weights of present edges, we obtain the limit shape (Law ofLarge Numbers) of the rescaled height function and the convergence of unrescaled heightfluctuation to a diffeomorphic image of Gaussian Free Field (Central Limit Theorem); an-swering a question in [6]. Applications include the limit shape and height fluctuations forpure steep tilings ([8]) and pyramid partitions ([20, 35, 36, 37]). The technique to obtainthese results is to analyze a class of Mcdonald processes which involve dual partitions as well.

preprint2022arXiv

Brownian snails with removal: epidemics in diffusing populations

Two stochastic models of susceptible/infected/removed (SIR) type are introduced for the spread of infection through a spatially-distributed population. Individuals are initially distributed at random in space, and they move continuously according to independent diffusion processes. The disease may pass from an infected individual to an uninfected individual when they are sufficiently close. Infected individuals are permanently removed at some given rate $α$. Such processes are reminiscent of so-called frog models, but differ through the action of removal, as well as the fact that frogs jump whereas snails slither. Two models are studied here, termed the `delayed diffusion' and the `diffusion' models. In the first, individuals are stationary until they are infected, at which time they begin to move; in the second, all individuals start to move at the initial time $0$. Using a perturbative argument, conditions are established under which the disease infects a.s. only finitely many individuals. It is proved for the delayed diffusion model that there exists a critical value $α_c\in(0,\infty)$ for the survival of the epidemic.

preprint2022arXiv

Limit shape of perfect matchings on rail-yard graphs

We obtain limit shape of perfect matchings on a large class of rail-yard graphs with right boundary condition given by the empty partition, and left boundary condition given by either by a staircase partition with constant density or a piecewise partition with densities either 1 or 0. We prove the parametric equations for the frozen boundary, and find conditions under which the frozen boundary is a cloud curve, or a union of disjoint cloud curves.

preprint2022arXiv

Site Percolation on Planar Graphs

We prove that for a non-amenable, locally finite, connected, transitive, planar graph with one end, any automorphism invariant site percolation on the graph does not have exactly 1 infinite 1-cluster and exactly 1 infinite 0-cluster a.s. If we further assume that the site percolation is insertion-tolerant and a.s.~there exists a unique infinite 0-cluster, then a.s.~there are no infinite 1-clusters. The proof is based on the analysis of a class of delicately constructed interfaces between clusters and contours. Applied to the case of i.i.d.~Bernoulli site percolation on infinite, connected, locally finite, transitive, planar graphs, these results solve two conjectures of Benjamini and Schramm (Conjectures 7 and 8 in \cite{bs96}) in 1996.

preprint2021arXiv

Limit shape of perfect matchings on contracting bipartite graphs

We consider random perfect matchings on a general class of contracting bipartite graphs by letting certain edge weights be 0 on the contracting square-hexagon lattice in a periodic way. We obtain a deterministic limit shape in the scaling limit. The results can also be applied to prove the existence of multiple disconnected liquid regions for all the contracting square-hexagon lattices with certain edge weights, extending the results proved in [13] for contracting square-hexagon lattices where the number of square rows in each period is either 0 or 1.

preprint2020arXiv

Asymptotics of Schur functions on almost staircase partitions

We study the asymptotics of Schur polynomials with partitions $λ$ which are almost staircase; more precisely, partitions that differ from $((m-1)(N-1),(m-1)(N-2),\ldots,(m-1),0)$ by at most one component at the beginning as $N\rightarrow \infty$, for a positive integer $m\ge 1$ independent of $N$. By applying either determinant formulas or integral representations for Schur functions, we show that $\frac{1}{N}\log \frac{s_λ(u_1,\ldots,u_k, x_{k+1},\ldots,x_N)}{s_λ(x_1,\ldots,x_N)}$ converges to a sum of $k$ single-variable holomorphic functions, each of which depends on the variable $u_i$ for $1\leq i\leq k$, when there are only finitely many distinct $x_i$'s and each $u_i$ is in a neighborhood of $x_i$, as $N\rightarrow\infty$. The results are related to the law of large numbers and central limit theorem for the dimer configurations on contracting square-hexagon lattices with certain boundary conditions.

preprint2020arXiv

Conformal invariance of dimer heights on isoradial double graphs

An isoradial graph is a planar graph in which each face is inscribable into a circle of common radius. We study the 2-dimensional perfect matchings on a bipartite isoradial graph, obtained from the union of an isoradial graph and its interior dual graph. Using the isoradial graph to approximate a simply-connected domain bounded by a simple closed curve, by letting the mesh size go to zero, we prove that in the scaling limit, the distribution of height is conformally invariant and converges to a Gaussian free field.

preprint2020arXiv

Constrained percolation, Ising model and XOR Ising model on planar lattices

We study constrained percolation models on planar lattices including the $[m,4,n,4]$ lattice and the square tilings of the hyperbolic plane, satisfying certain local constraints on faces of degree 4, and investigate the existence of infinite clusters. The constrained percolation models on these lattices are closely related to Ising models and XOR Ising models on regular tilings of the Euclidean plane or the hyperbolic plane. In particular, we obtain a complete picture of the number of infinite "$+$" and "$-$" clusters of the ferromagnetic Ising model with the free boundary condition on a vertex-transitive triangular tiling of the hyperbolic plane with all the possible values of coupling constants. Our results show that for the Ising model on a vertex-transitive triangular tiling of the hyperbolic plane, it is possible that its random cluster representation has no infinite open clusters, while the Ising model has infinitely many infinite "$+$"-clusters and infinitely many infinite "$-$"-clusters. We also study different behaviors the infinite "$+$" and "$-$" clusters of XOR Ising models on regular tilings of the Euclidean plane and the hyperbolic plane for different coupling constants. A by-product we prove is the result that the critical random cluster model with $q\geq 1$ and the wired boundary condition on a quasi-transitive, non-amenable, unimodular graph almost surely has no infinite open clusters.

preprint2020arXiv

Event Representation Learning Enhanced with External Commonsense Knowledge

Prior work has proposed effective methods to learn event representations that can capture syntactic and semantic information over text corpus, demonstrating their effectiveness for downstream tasks such as script event prediction. On the other hand, events extracted from raw texts lacks of commonsense knowledge, such as the intents and emotions of the event participants, which are useful for distinguishing event pairs when there are only subtle differences in their surface realizations. To address this issue, this paper proposes to leverage external commonsense knowledge about the intent and sentiment of the event. Experiments on three event-related tasks, i.e., event similarity, script event prediction and stock market prediction, show that our model obtains much better event embeddings for the tasks, achieving 78% improvements on hard similarity task, yielding more precise inferences on subsequent events under given contexts, and better accuracies in predicting the volatilities of the stock market.

preprint2020arXiv

Exact Recovery of Community Detection in k-Community Gaussian Mixture Model

We study the community detection problem on a Gaussian mixture model, in which vertices are divided into $k\geq 2$ distinct communities. The major difference in our model is that the intensities for Gaussian perturbations are different for different entries in the observation matrix, and we do not assume that every community has the same number of vertices. We explicitly find the threshold for the exact recovery of the maximum likelihood estimation. Applications include the community detection on hypergraphs.

preprint2020arXiv

Exact Recovery of Community Detection in k-partite Graph Models

We study the vertex classification problem on a graph whose vertices are in $k\ (k\geq 2)$ different communities, edges are only allowed between distinct communities, and the number of vertices in different communities are not necessarily equal. The observation is a weighted adjacency matrix, perturbed by a scalar multiple of the Gaussian Orthogonal Ensemble (GOE), or Gaussian Unitary Ensemble (GUE) matrix. For the exact recovery of the maximum likelihood estimation (MLE) with various weighted adjacency matrices, we prove sharp thresholds of the intensity $σ$ of the Gaussian perturbation. These weighted adjacency matrices may be considered as natural models for the electric network. Surprisingly, these thresholds of $σ$ do not depend on whether the sample space for MLE is restricted to such classifications that the number of vertices in each group is equal to the true value. In contrast to the $\ZZ_2$-synchronization, a new complex version of the semi-definite programming (SDP) is designed to efficiently implement the community detection problem when the number of communities $k$ is greater than 2, and a common region (independent of $k$) for $σ$ such that SDP exactly recovers the true classification is obtained.

preprint2020arXiv

Ising Percolation on Nonamenable Planar Graphs

We study infinite ``$+$'' or ``$-$'' clusters for an Ising model on an connected, transitive, non-amenable, planar, one-ended graph $G$ with finite vertex degree. If the critical percolation probability $p_c^{site}$ for the i.i.d.~Bernoulli site percolation on $G$ is less than $\frac{1}{2}$, we find an explicit region for the coupling constant of the Ising model such that there are infinitely many infinite ``$+$''-clusters and infinitely many infinite ``$-$''-clusters, while the random cluster representation of the Ising model has no infinite 1-clusters. If $p_c^{site}>\frac{1}{2}$, we obtain a lower bound for the critical probability in the random cluster representation of the Ising model in terms of $p_c^{site}$.

preprint2020arXiv

Limit shape and height fluctuations of random perfect matchings on square-hexagon lattices

We study asymptotics of perfect matchings on a large class of graphs called the contracting square-hexagon lattice, which is constructed row by row from either a row of a square grid or a row of a hexagonal lattice. We assign the graph periodic edge weights with period $1\times n$, and consider the probability measure of perfect matchings in which the probability of each configuration is proportional to the product of edge weights. We show that the partition function of perfect matchings on such a graph can be computed explicitly by a Schur function depending on the edge weights. By analyzing the asymptotics of the Schur function, we then prove the Law of Large Numbers (limit shape) and the Central Limit Theorem (convergence to the Gaussian free field) for the corresponding height functions. We also show that the distribution of certain type of dimers near the turning corner is the same as the eigenvalues of Gaussian Unitary Ensemble, and that in the scaling limit under the boundary condition that each segment of the bottom boundary grows linearly with respect the dimension of the graph, the frozen boundary is a cloud curve whose number of tangent points to the bottom boundary of the domain depends on the size of the period, as well as the number of segments along the bottom boundary.

preprint2020arXiv

On the identifiability of interaction functions in systems of interacting particles

We address a fundamental issue in the nonparametric inference for systems of interacting particles: the identifiability of the interaction functions. We prove that the interaction functions are identifiable for a class of first-order stochastic systems, including linear systems with general initial laws and nonlinear systems with stationary distributions. We show that a coercivity condition is sufficient for identifiability and becomes necessary when the number of particles approaches infinity. The coercivity is equivalent to the strict positivity of related integral operators, which we prove by showing that their integral kernels are strictly positive definite by using Müntz type theorems.

preprint2018arXiv

Positive speed self-avoiding walks on graphs with more than one end

A self-avoiding walk (SAW) is a path on a graph that visits each vertex at most once. The mean square displacement of an $n$-step SAW is the expected value of the square of the distance between the ending point and the starting point of an $n$-step SAW, where the expectation is taken with respect to the uniform measure on $n$-step SAWs starting from a fixed vertex. It is conjectured that the mean square displacement of an $n$-step SAW is asymptotically $n^{2ν}$, where $ν$ is a constant. Computing the exact values of the exponent $ν$ on various graphs has been a challenging problem in mathematical and scientific research for long. In this paper we show that on any locally finite Cayley graph of an infinite, finitely-generated group with more than two ends, the number of SAWs whose end-to-end distances are linear in lengths has the same exponential growth rate as the number of all the SAWs. We also prove that for any infinite, finitely-generated group with more than one end, there exists a locally finite Cayley graph on which SAWs have positive speed - this implies that the mean square displacement exponent $ν=1$ on such graphs. These results are obtained by proving more general theorems for SAWs on quasi-transitive graphs with more than one end, which make use of a variation of Kesten's pattern theorem in a surprising way, as well as the Stalling's splitting theorem. Applications include proving that SAWs have positive speed on the square grid in an infinite cylinder, and on the infinite free product graph of two connected, quasi-transitive graphs.

preprint2016arXiv

Connective constants and height functions for Cayley graphs

The connective constant $μ(G)$ of an infinite transitive graph $G$ is the exponential growth rate of the number of self-avoiding walks from a given origin. In earlier work of Grimmett and Li, a locality theorem was proved for connective constants, namely, that the connective constants of two graphs are close in value whenever the graphs agree on a large ball around the origin. A condition of the theorem was that the graphs support so-called 'unimodular graph height functions'. When the graphs are Cayley graphs of infinite, finitely generated groups, there is a special type of unimodular graph height function termed here a 'group height function'. A necessary and sufficient condition for the existence of a group height function is presented, and may be applied in the context of the bridge constant, and of the locality of connective constants for Cayley graphs. Locality may thereby be established for a variety of infinite groups including those with strictly positive deficiency. It is proved that a large class of Cayley graphs support unimodular graph height functions, that are in addition harmonic on the graph. This implies, for example, the existence of unimodular graph height functions for the Cayley graphs of finitely generated solvable groups. It turns out that graphs with non-unimodular automorphism subgroups also possess graph height functions, but the resulting graph height functions need not be harmonic. Group height functions, as well as the graph height functions of the previous paragraph, are non-constant harmonic functions with linear growth and an additional property of having periodic differences. The existence of such functions on Cayley graphs is a topic of interest beyond their applications in the theory of self-avoiding walks.

preprint2016arXiv

Constrained percolation in two dimensions

We prove absence of infinite clusters and contours in a class of critical constrained percolation models on the square lattice. The percolation configuration is assumed to satisfy certain hard local constraints, but only weak symmetry and ergodicity conditions are imposed on its law. The proofs use new combinatorial techniques exploiting planar duality. Applications include absence of infinite clusters of diagonal edges for critical dimer models on the square-octagon lattice, as well as absence of infinite contours and infinite clusters for critical XOR Ising models on the square grid. We also prove that there exists at most one infinite contour for high-temperature XOR Ising models, and no infinite contour for low-temperature XOR Ising model.

preprint2016arXiv

Critical surface of the hexagonal polygon model

The hexagonal polygon model arises in a natural way via a transformation of the 1-2 model on the hexagonal lattice, and it is related to the high temperature expansion of the Ising model. There are three types of edge, and three corresponding parameters $α,β,γ>0$. By studying the long-range order of a certain two-edge correlation function, it is shown that the parameter space $(0,\infty)^3$ may be divided into subcritical and supercritical regions, separated by critical surfaces satisfying an explicitly known formula. This result complements earlier work on the Ising model and the 1-2 model. The proof uses the Pfaffian representation of Fisher, Kasteleyn, and Temperley for the counts of dimers on planar graphs.

preprint2015arXiv

Counting self-avoiding walks

The connective constant $μ(G)$ of a graph $G$ is the asymptotic growth rate of the number of self-avoiding walks on $G$ from a given starting vertex. We survey three aspects of the dependence of the connective constant on the underlying graph $G$. Firstly, when $G$ is cubic, we study the effect on $μ(G)$ of the Fisher transformation (that is, the replacement of vertices by triangles). Secondly, we discuss upper and lower bounds for $μ(G)$ when $G$ is regular. Thirdly, we present strict inequalities for the connective constants $μ(G)$ of vertex-transitive graphs $G$, as $G$ varies. As a consequence of the last, the connective constant of a Cayley graph of a finitely generated group decreases strictly when a new relator is added, and increases strictly when a non-trivial group element is declared to be a generator. Special prominence is given to open problems.

preprint2015arXiv

Self-avoiding walks and amenability

The connective constant $μ(G)$ of an infinite transitive graph $G$ is the exponential growth rate of the number of self-avoiding walks from a given origin. The relationship between connective constants and amenability is explored in the current work. Various properties of connective constants depend on the existence of so-called 'graph height functions', namely: (i) whether $μ(G)$ is a local function on certain graphs derived from $G$, (ii) the equality of $μ(G)$ and the asymptotic growth rate of bridges, and (iii) whether there exists a terminating algorithm for approximating $μ(G)$ to a given degree of accuracy. In the context of amenable groups, it is proved that the Cayley graphs of infinite, finitely generated, elementary amenable groups support graph height functions, which are in addition harmonic. In contrast, the Cayley graph of the Grigorchuk group, which is amenable but not elementary amenable, does not have a graph height function. In the context of non-amenable, transitive graphs, a lower bound is presented for the connective constant in terms of the spectral bottom of the graph. This is a strengthening of an earlier result of the same authors. Secondly, using a percolation inequality of Benjamini, Nachmias, and Peres, it is explained that the connective constant of a non-amenable, transitive graph with large girth is close to that of a regular tree. Examples are given of non-amenable groups without graph height functions, of which one is the Higman group.

preprint2015arXiv

The 1-2 model

The current paper is a short review of rigorous results for the 1-2 model. The 1-2 model on the hexagonal lattice is a model of statistical mechanics in which each vertex is constrained to have degree either 1 or 2. It was proposed in a study by Schwartz and Bruck of constrained coding systems, and is strongly connected to the dimer model on a decoration of the lattice, and to an enhanced Ising model and an associated polygon model on the graph derived from the hexagonal lattice by adding a further vertex in the middle of each edge. The general 1-2 model possesses three parameters $a$, $b$, $c$. The fundamental technique is to represent probabilities of interest as ratios of counts of dimer coverings of certain associated graphs, and to apply the Pfaffian method of Kasteleyn, Fisher, and Temperley. Of special interest is the existence (or not) of phase transitions. It turns out that all clusters of the infinite-volume limit are almost surely finite. On the other hand, the existence (with strictly positive probability) of infinite `homogeneous' clusters, containing vertices of given type, depends on the values of the parameters. A further type of phase transition emerges in the study of the two-edge correlation function, and in this case the critical surface may be found explicitly. For instance, when $a \ge b \ge c > 0$, the surface given by $\sqrt a = \sqrt b + \sqrt c$ is critical.

preprint2014arXiv

Large-area, Lithography-Free Super Absorbers and Color Filters at Visible Frequencies Using Ultrathin Metallic Films

Plasmonic materials and metamaterials have been widely utilized to achieve spectral transmission, reflection and absorption filters based on localized or delocalized resonances arising from the interaction of photons with nanostructured materials. Realization of visible-frequency, high-performance, large-area, optical filters based on nanoplasmonic materials is rather challenging due to nanofabrication related problems (cost, fabrication imperfection, surface roughness) and optical losses of metals. Here, we propose and demonstrate large-area perfect absorbers and transmission filters that overcome difficulties associated with the nanofabrication using a lithography-free approach. We also utilize and benefit from the optical losses in metals in our optical filter designs. Our resonant optical filter design is based on a modified, asymmetric metal-insulator-metal (MIM) based Fabry-Perot cavity with plasmonic, lossy ultra-thin (~30 nm) metallic films used as the top metallic layer. We demonstrated a narrow bandwidth (~17 nm) super absorber with 97% maximum absorption with a performance comparable to nanostructure/nanoparticle-based super absorbers. We also investigated transmission (color) filters using ultra-thin metallic films, in which different colors can be obtained by controlling the dielectric spacer thickness. With performance parameters of transmission peak intensity reaching 60% and a narrow-band of ~ 40 nm, our color filters exceed the performance of widely studied plasmonic nanohole array based color filters. Proposed asymmetric Fabry-Perot cavities using ultra-thin metallic films could find applications in spectrally selective optical (color and absorber) filters, optoelectronic devices with controlled bandwidth such as narrow-band photodetectors, and light-emitting devices.

preprint2014arXiv

Strict inequalities for connective constants of transitive graphs

The connective constant of a graph is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. Strict inequalities are proved for connective constants of vertex-transitive graphs. Firstly, the connective constant decreases strictly when the graph is replaced by a non-trivial quotient graph. Secondly, the connective constant increases strictly when a quasi-transitive family of new edges is added. These results have the following implications for Cayley graphs. The connective constant of a Cayley graph decreases strictly when a new relator is added to the group, and increases strictly when a non-trivial group element is declared to be a generator.

preprint2012arXiv

Critical Temperature of Periodic Ising Models

A periodic Ising model is one endowed with interactions that are invariant under translations of members of a full-rank sublattice $\mathfrak{L}$ of $\mathbb{Z}^2$. We give an exact, quantitative description of the critical temperature, defined by the supreme of the temperatures at which the spontaneous magnetization of a periodic, Ising ferromagnets is nonzero, as the solution of a certain algebraic equation, namely, the condition that the spectral curve of the corresponding dimer model on the Fisher graph has a real node on the unit torus. A simple proof for the exponential decay of spin-spin correlations above the critical temperature for the symmetric, periodic Ising ferromagnet, as well as the exponential decay of the edge-edge correlations for all non-critical edge weights of the dimer model on periodic Fisher graphs, is obtained by our technique.

preprint2012arXiv

Self-avoiding walks and the Fisher transformation

The Fisher transformation acts on cubic graphs by replacing each vertex by a triangle. We explore the action of the Fisher transformation on the set of self-avoiding walks of a cubic graph. Iteration of the transformation yields a sequence of graphs with common critical exponents, and with connective constants converging geometrically to the golden mean. We consider the application of the Fisher transformation to one of the two classes of vertices of a bipartite cubic graph. The connective constant of the ensuing graph may be expressed in terms of that of the initial graph. When applied to the hexagonal lattice, this identifies a further lattice whose connective constant may be computed rigorously.

preprint2010arXiv

Local Statistics of Realizable Vertex Models

We study planar "vertex" models, which are probability measures on edge subsets of a planar graph, satisfying certain constraints at each vertex, examples including dimer model, and 1-2 model, which we will define. We express the local statistics of a large class of vertex models on a finite hexagonal lattice as a linear combination of the local statistics of dimers on the corresponding Fisher graph, with the help of a generalized holographic algorithm. Using an $n\times n$ torus to approximate the periodic infinite graph, we give an explicit integral formula for the free energy and local statistics for configurations of the vertex model on an infinite bi-periodic graph. As an example, we simulate the 1-2 model by the technique of Glauber dynamics.