Showing 1–37 of 37 results for author: Sun, N

Polytope Volume Monitoring Problem: Formulation and Solution via Parametric Linear Program Based Control Barrier Function

Authors: Shizhen Wu, Jinyang Dong, Xu Fang, Ning Sun, Yongchun Fang

Abstract: Motivated by the latest research on feasible space monitoring of multiple control barrier functions (CBFs) as well as polytopic collision avoidance, this paper studies the Polytope Volume Monitoring (PVM) problem, whose goal is to design a control law for inputs of nonlinear systems to prevent the volume of some state-dependent polytope from decreasing to zero. Recent studies have explored the ide… ▽ More Motivated by the latest research on feasible space monitoring of multiple control barrier functions (CBFs) as well as polytopic collision avoidance, this paper studies the Polytope Volume Monitoring (PVM) problem, whose goal is to design a control law for inputs of nonlinear systems to prevent the volume of some state-dependent polytope from decreasing to zero. Recent studies have explored the idea of applying Chebyshev ball method in optimization theory to solve the case study of PVM; however, the underlying difficulties caused by nonsmoothness have not been addressed. This paper continues the study on this topic, where our main contribution is to establish the relationship between nonsmooth CBF and parametric optimization theory through directional derivatives for the first time, so as to solve PVM problems more conveniently. In detail, inspired by Chebyshev ball approach, a parametric linear program (PLP) based nonsmooth barrier function candidate is established for PVM, and then, sufficient conditions for it to be a nonsmooth CBF are proposed, based on which a quadratic program (QP) based safety filter with guaranteed feasibility is proposed to address PVM problems. Finally, a numerical simulation example is given to show the efficiency of the proposed safety filter. △ Less

Submitted 26 March, 2025; v1 submitted 16 March, 2025; originally announced March 2025.

Comments: A simplified version is submitted to CDC2025

Optimization-free Smooth Control Barrier Function for Polygonal Collision Avoidance

Authors: Shizhen Wu, Yongchun Fang, Ning Sun, Biao Lu, Xiao Liang, Yiming Zhao

Abstract: Polygonal collision avoidance (PCA) is short for the problem of collision avoidance between two polygons (i.e., polytopes in planar) that own their dynamic equations. This problem suffers the inherent difficulty in dealing with non-smooth boundaries and recently optimization-defined metrics, such as signed distance field (SDF) and its variants, have been proposed as control barrier functions (CBFs… ▽ More Polygonal collision avoidance (PCA) is short for the problem of collision avoidance between two polygons (i.e., polytopes in planar) that own their dynamic equations. This problem suffers the inherent difficulty in dealing with non-smooth boundaries and recently optimization-defined metrics, such as signed distance field (SDF) and its variants, have been proposed as control barrier functions (CBFs) to tackle PCA problems. In contrast, we propose an optimization-free smooth CBF method in this paper, which is computationally efficient and proved to be nonconservative. It is achieved by three main steps: a lower bound of SDF is expressed as a nested Boolean logic composition first, then its smooth approximation is established by applying the latest log-sum-exp method, after which a specified CBF-based safety filter is proposed to address this class of problems. To illustrate its wide applications, the optimization-free smooth CBF method is extended to solve distributed collision avoidance of two underactuated nonholonomic vehicles and drive an underactuated container crane to avoid a moving obstacle respectively, for which numerical simulations are also performed. △ Less

Submitted 13 May, 2025; v1 submitted 22 February, 2025; originally announced February 2025.

Network shell structure based on hub and non-hub nodes

Authors: Gaogao Dong, Nannan Sun, Fan Wang, Renaud Lambiotte

Abstract: The shell structure holds significant importance in various domains such as information dissemination, supply chain management, and transportation. This study focuses on investigating the shell structure of hub and non-hub nodes, which play important roles in these domains. Our framework explores the topology of Erdös-Rényi (ER) and Scale-Free (SF) networks, considering source node selection strat… ▽ More The shell structure holds significant importance in various domains such as information dissemination, supply chain management, and transportation. This study focuses on investigating the shell structure of hub and non-hub nodes, which play important roles in these domains. Our framework explores the topology of Erdös-Rényi (ER) and Scale-Free (SF) networks, considering source node selection strategies dependent on the nodes' degrees. We define the shell $l$ in a network as the set of nodes at a distance $l$ from a given node and represent $r_l$ as the fraction of nodes outside shell $l$. Statistical properties of the shells are examined for a selected node, taking into account the node's degree. For a network with a given degree distribution, we analytically derive the degree distribution and average degree of nodes outside shell $l$ as functions of $r_l$. Moreover, we discover that $r_l$ follows an iterative functional form $r_l = φ(r_{l-1})$, where $φ$ is expressed in terms of the generating function of the original degree distribution of the network. △ Less

Submitted 24 December, 2024; v1 submitted 26 April, 2024; originally announced April 2024.

Comments: The content of the article needs to be revised and I have decided to withdraw the manuscript due to that

Periodic Points of Consecutive-Pattern-Avoiding Stack-Sorting Maps

Authors: Ilaria Seidel, Nathan Sun

Abstract: West's stack-sorting map involves a stack which avoids the permutation $21$ consecutively. Defant and Zheng extended this to a consecutive-pattern-avoiding stack-sorting map $SC_σ$, where the stack must always avoid a given permutation $σ$ consecutively. We address one of the main conjectures raised by Defant and Zheng in their dynamical approach to $SC_σ$. Specifically, we show that the periodic… ▽ More West's stack-sorting map involves a stack which avoids the permutation $21$ consecutively. Defant and Zheng extended this to a consecutive-pattern-avoiding stack-sorting map $SC_σ$, where the stack must always avoid a given permutation $σ$ consecutively. We address one of the main conjectures raised by Defant and Zheng in their dynamical approach to $SC_σ$. Specifically, we show that the periodic points of $SC_σ$ are precisely the permutations that consecutively avoid $σ$ and its reverse. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: 8 pages, 4 figures

MSC Class: 05A05; 37E15

Sharp thresholds in inference of planted subgraphs

Authors: Elchanan Mossel, Jonathan Niles-Weed, Youngtak Sohn, Nike Sun, Ilias Zadik

Abstract: A major question in the study of the Erdős--Rényi random graph is to understand the probability that it contains a given subgraph. This study originated in classical work of Erdős and Rényi (1960). More recent work studies this question both in building a general theory of sharp versus coarse transitions (Friedgut and Bourgain 1999; Hatami, 2012) and in results on the location of the transition (K… ▽ More A major question in the study of the Erdős--Rényi random graph is to understand the probability that it contains a given subgraph. This study originated in classical work of Erdős and Rényi (1960). More recent work studies this question both in building a general theory of sharp versus coarse transitions (Friedgut and Bourgain 1999; Hatami, 2012) and in results on the location of the transition (Kahn and Kalai, 2007; Talagrand, 2010; Frankston, Kahn, Narayanan, Park, 2019; Park and Pham, 2022). In inference problems, one often studies the optimal accuracy of inference as a function of the amount of noise. In a variety of sparse recovery problems, an ``all-or-nothing (AoN) phenomenon'' has been observed: Informally, as the amount of noise is gradually increased, at some critical threshold the inference problem undergoes a sharp jump from near-perfect recovery to near-zero accuracy (Gamarnik and Zadik, 2017; Reeves, Xu, Zadik, 2021). We can regard AoN as the natural inference analogue of the sharp threshold phenomenon in random graphs. In contrast with the general theory developed for sharp thresholds of random graph properties, the AoN phenomenon has only been studied so far in specific inference settings. In this paper we study the general problem of inferring a graph $H=H_n$ planted in an Erdős--Rényi random graph, thus naturally connecting the two lines of research mentioned above. We show that questions of AoN are closely connected to first moment thresholds, and to a generalization of the so-called Kahn--Kalai expectation threshold that scans over subgraphs of $H$ of edge density at least $q$. In a variety of settings we characterize AoN, by showing that AoN occurs if and only if this ``generalized expectation threshold'' is roughly constant in $q$. Our proofs combine techniques from random graph theory and Bayesian inference. △ Less

Submitted 28 February, 2023; originally announced February 2023.

Comments: 41 pages

Locality of critical percolation on expanding graph sequences

Authors: Michael Ren, Nike Sun

Abstract: We study the locality of critical percolation on finite graphs: let $G_n$ be a sequence of finite graphs, converging locally weakly to a (random, rooted) infinite graph $G$. Consider Bernoulli edge percolation: does the critical probability for the emergence of an infinite component on $G$ coincide with the critical probability for the emergence of a linear-sized component on $G_n$? In this short… ▽ More We study the locality of critical percolation on finite graphs: let $G_n$ be a sequence of finite graphs, converging locally weakly to a (random, rooted) infinite graph $G$. Consider Bernoulli edge percolation: does the critical probability for the emergence of an infinite component on $G$ coincide with the critical probability for the emergence of a linear-sized component on $G_n$? In this short article we give a positive answer provided the graphs $G_n$ satisfy an expansion condition, and the limiting graph $G$ has finite expected root degree. The main result of Benjamini, Nachmias, and Peres (2011), where this question was first formulated, showed the result assuming the $G_n$ satisfy a uniform degree bound and uniform expansion condition, and converge to a deterministic limit $G$. Later work of Sarkar (2021) extended the result to allow for a random limit $G$, but still required a uniform degree bound and uniform expansion for $G_n$. Our result replaces the degree bound on $G_n$ with the (milder) requirement that $G$ must have finite expected root degree. Our proof is a modification of the previous results, using a pruning procedure and the second moment method to control unbounded degrees. △ Less

Submitted 12 December, 2022; originally announced December 2022.

The Image of the Pop Operator on Various Lattices

Authors: Yunseo Choi, Nathan Sun

Abstract: Extending the classical pop-stack sorting map on the lattice given by the right weak order on $S_n$, Defant defined, for any lattice $M$, a map $\mathsf{Pop}_{M}: M \to M$ that sends an element $x\in M$ to the meet of $x$ and the elements covered by $x$. In parallel with the line of studies on the image of the classical pop-stack sorting map, we study $\mathsf{Pop}_{M}(M)$ when $M$ is the weak ord… ▽ More Extending the classical pop-stack sorting map on the lattice given by the right weak order on $S_n$, Defant defined, for any lattice $M$, a map $\mathsf{Pop}_{M}: M \to M$ that sends an element $x\in M$ to the meet of $x$ and the elements covered by $x$. In parallel with the line of studies on the image of the classical pop-stack sorting map, we study $\mathsf{Pop}_{M}(M)$ when $M$ is the weak order of type $B_n$, the Tamari lattice of type $B_n$, the lattice of order ideals of the root poset of type $A_n$, and the lattice of order ideals of the root poset of type $B_n$. In particular, we settle four conjectures proposed by Defant and Williams on the generating function \begin{equation*} \mathsf{Pop}(M; q) = \sum_{b \in \mathsf{Pop}_{M}(M)} q^{|\mathscr{U}_{M}(b)|}, \end{equation*} where $\mathscr{U}_{M}(b)$ is the set of elements of $M$ that cover $b$. △ Less

Submitted 27 September, 2022; originally announced September 2022.

MSC Class: 05A15; 06A12; 06B10; 05A05

A second moment proof of the spread lemma

Authors: Elchanan Mossel, Jonathan Niles-Weed, Nike Sun, Ilias Zadik

Abstract: This note concerns a well-known result which we term the ``spread lemma,'' which establishes the existence (with high probability) of a desired structure in a random set. The spread lemma was central to two recent celebrated results: (a) the improved bounds of Alweiss, Lovett, Wu, and Zhang (2019) on the Erdős-Rado sunflower conjecture; and (b) the proof of the fractional Kahn--Kalai conjecture by… ▽ More This note concerns a well-known result which we term the ``spread lemma,'' which establishes the existence (with high probability) of a desired structure in a random set. The spread lemma was central to two recent celebrated results: (a) the improved bounds of Alweiss, Lovett, Wu, and Zhang (2019) on the Erdős-Rado sunflower conjecture; and (b) the proof of the fractional Kahn--Kalai conjecture by Frankston, Kahn, Narayanan and Park (2019). While the lemma was first proved (and later refined) by delicate counting arguments, alternative proofs have also been given, via Shannon's noiseless coding theorem (Rao, 2019), and also via manipulations of Shannon entropy bounds (Tao, 2020). In this note we present a new proof of the spread lemma, that takes advantage of an explicit recasting of the proof in the language of Bayesian statistical inference. We show that from this viewpoint the proof proceeds in a straightforward and principled probabilistic manner, leading to a truncated second moment calculation which concludes the proof. The proof can also be viewed as a demonstration of the ``planting trick'' introduced by Achlioptas and Coga-Oghlan (2008) in the study of random constraint satisfaction problems. △ Less

Submitted 10 October, 2022; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: Corrected a mistake in the proof of Theorem 2.1. and updated the literature review

A Complete Enumeration of Ballot Permutations Avoiding Sets of Small Patterns

Authors: Nathan Sun

Abstract: Permutations whose prefixes contain at least as many ascents as descents are called ballot permutations. Lin, Wang, and Zhao have previously enumerated ballot permutations avoiding small patterns and have proposed the problem of enumerating ballot permutations avoiding a pair of permutations of length $3$. We completely enumerate ballot permutations avoiding two patterns of length $3$ and we relat… ▽ More Permutations whose prefixes contain at least as many ascents as descents are called ballot permutations. Lin, Wang, and Zhao have previously enumerated ballot permutations avoiding small patterns and have proposed the problem of enumerating ballot permutations avoiding a pair of permutations of length $3$. We completely enumerate ballot permutations avoiding two patterns of length $3$ and we relate these avoidance classes with their respective recurrence relations and formulas, which leads to an interesting bijection between ballot permutations avoiding $132$ and $312$ with left factors of Dyck paths. In addition, we also conclude the Wilf-classification of ballot permutations avoiding sets of two patterns of length $3$, and we then extend our results to completely enumerate ballot permutations avoiding three patterns of length $3$. △ Less

Submitted 23 April, 2024; v1 submitted 13 September, 2022; originally announced September 2022.

MSC Class: 05A05

Journal ref: Enumerative Combinatorics and Applications 3:1 (2023) Article #S2R6

On the Second Kahn--Kalai Conjecture

Authors: Elchanan Mossel, Jonathan Niles-Weed, Nike Sun, Ilias Zadik

Abstract: For any given graph $H$, we are interested in $p_\mathrm{crit}(H)$, the minimal $p$ such that the Erdős-Rényi graph $G(n,p)$ contains a copy of $H$ with probability at least $1/2$. Kahn and Kalai (2007) conjectured that $p_\mathrm{crit}(H)$ is given up to a logarithmic factor by a simpler "subgraph expectation threshold" $p_\mathrm{E}(H)$, which is the minimal $p$ such that for every subgraph… ▽ More For any given graph $H$, we are interested in $p_\mathrm{crit}(H)$, the minimal $p$ such that the Erdős-Rényi graph $G(n,p)$ contains a copy of $H$ with probability at least $1/2$. Kahn and Kalai (2007) conjectured that $p_\mathrm{crit}(H)$ is given up to a logarithmic factor by a simpler "subgraph expectation threshold" $p_\mathrm{E}(H)$, which is the minimal $p$ such that for every subgraph $H'\subseteq H$, the Erdős-Rényi graph $G(n,p)$ contains \emph{in expectation} at least $1/2$ copies of $H'$. It is trivial that $p_\mathrm{E}(H) \le p_\mathrm{crit}(H)$, and the so-called "second Kahn-Kalai conjecture" states that $p_\mathrm{crit}(H) \lesssim p_\mathrm{E}(H) \log e(H)$ where $e(H)$ is the number of edges in $H$. In this article, we present a natural modification $p_\mathrm{E, new}(H)$ of the Kahn--Kalai subgraph expectation threshold, which we show is sandwiched between $p_\mathrm{E}(H)$ and $p_\mathrm{crit}(H)$. The new definition $p_\mathrm{E, new}(H)$ is based on the simple observation that if $G(n,p)$ contains a copy of $H$ and $H$ contains \emph{many} copies of $H'$, then $G(n,p)$ must also contain \emph{many} copies of $H'$. We then show that $p_\mathrm{crit}(H) \lesssim p_\mathrm{E, new}(H) \log e(H)$, thus proving a modification of the second Kahn--Kalai conjecture. The bound follows by a direct application of the set-theoretic "spread" property, which led to recent breakthroughs in the sunflower conjecture by Alweiss, Lovett, Wu and Zhang and the first fractional Kahn--Kalai conjecture by Frankston, Kahn, Narayanan and Park. △ Less

Submitted 7 September, 2022; originally announced September 2022.

Comments: 4 pages

On $d$-permutations and Pattern Avoidance Classes

Authors: Nathan Sun

Abstract: Multidimensional permutations, or $d$-permutations, are represented by their diagrams on $[n]^d$ such that there exists exactly one point per hyperplane $x_i$ that satisfies $x_i= j$ for $i \in [d]$ and $j \in [n]$. Bonichon and Morel previously enumerated $3$-permutations avoiding small patterns, and we extend their results by first proving four conjectures, which exhaustively enumerate $3$-permu… ▽ More Multidimensional permutations, or $d$-permutations, are represented by their diagrams on $[n]^d$ such that there exists exactly one point per hyperplane $x_i$ that satisfies $x_i= j$ for $i \in [d]$ and $j \in [n]$. Bonichon and Morel previously enumerated $3$-permutations avoiding small patterns, and we extend their results by first proving four conjectures, which exhaustively enumerate $3$-permutations avoiding any two fixed patterns of size $3$. We further provide a enumerative result relating $3$-permutation avoidance classes with their respective recurrence relations. In particular, we show a recurrence relation for $3$-permutations avoiding the patterns $132$ and $213$, which contributes a new sequence to the OEIS database. We then extend our results to completely enumerate $3$-permutations avoiding three patterns of size $3$. △ Less

Submitted 23 April, 2024; v1 submitted 17 August, 2022; originally announced August 2022.

MSC Class: 05A05

Sharp threshold sequence and universality for Ising perceptron models

Authors: Shuta Nakajima, Nike Sun

Abstract: We study a family of Ising perceptron models with $\{0,1\}$-valued activation functions. This includes the classical half-space models, as well as some of the symmetric models considered in recent works. For each of these models we show that the free energy is self-averaging, there is a sharp threshold sequence, and the free energy is universal with respect to the disorder. A prior work of Xu (201… ▽ More We study a family of Ising perceptron models with $\{0,1\}$-valued activation functions. This includes the classical half-space models, as well as some of the symmetric models considered in recent works. For each of these models we show that the free energy is self-averaging, there is a sharp threshold sequence, and the free energy is universal with respect to the disorder. A prior work of Xu (2019) used very different methods to show a sharp threshold sequence in the half-space Ising perceptron with Bernoulli disorder. Recent works of Perkins--Xu (2021) and Abbe--Li--Sly (2021) determined the sharp threshold and limiting free energy in a symmetric perceptron model. The results of this paper apply in more general settings, and are based on new "add one constraint" estimates extending Talagrand's estimates for the half-space model (1999, 2011). △ Less

Submitted 7 April, 2022; originally announced April 2022.

Gardner formula for Ising perceptron models at small densities

Authors: Erwin Bolthausen, Shuta Nakajima, Nike Sun, Changji Xu

Abstract: We consider the Ising perceptron model with N spins and M = N*alpha patterns, with a general activation function U that is bounded above. For U bounded away from zero, or U a one-sided threshold function, it was shown by Talagrand (2000, 2011) that for small densities alpha, the free energy of the model converges in the large-N limit to the replica symmetric formula conjectured in the physics lite… ▽ More We consider the Ising perceptron model with N spins and M = N*alpha patterns, with a general activation function U that is bounded above. For U bounded away from zero, or U a one-sided threshold function, it was shown by Talagrand (2000, 2011) that for small densities alpha, the free energy of the model converges in the large-N limit to the replica symmetric formula conjectured in the physics literature (Krauth--Mezard 1989, see also Gardner--Derrida 1988). We give a new proof of this result, which covers the more general class of all functions U that are bounded above and satisfy a certain variance bound. The proof uses the (first and second) moment method conditional on the approximate message passing iterates of the model. In order to deduce our main theorem, we also prove a new concentration result for the perceptron model in the case where U is not bounded away from zero. △ Less

Submitted 4 November, 2021; originally announced November 2021.

A Theorem of Joseph-Alfred Serret and its Relation to Perfect Quantum State Transfer

Authors: Maxim Derevyagin, Anastasiia Minenkova, Nathan Sun

Abstract: In this paper we recast the Serret theorem about a characterization of palindromic continued fractions in the context of polynomial continued fractions. Then, using the relation between symmetric tridiagonal matrices and polynomial continued fractions we give a quick exposition of the mathematical aspect of the perfect quantum state transfer problem. In this paper we recast the Serret theorem about a characterization of palindromic continued fractions in the context of polynomial continued fractions. Then, using the relation between symmetric tridiagonal matrices and polynomial continued fractions we give a quick exposition of the mathematical aspect of the perfect quantum state transfer problem. △ Less

Submitted 28 September, 2020; v1 submitted 26 December, 2019; originally announced December 2019.

Comments: 19 pages

MSC Class: 30B70 (Primary) 47B36; 47N50 (Secondary)

Journal ref: Expositiones Mathematicae, Volume 39, Issue 3, September 2021, Pages 480-499

Long-time behavior of a reaction-diffusion model with strong Allee effect and free boundary: effect of a protection zone

Authors: Ningkui Sun, Chengxia Lei

Abstract: This paper concerns the effect of the (separated/connected) protection zone for the evolution of an endangered species on the reaction-diffusion equation with strong Allee effect and free boundary. We give a description of the long-time dynamical behavior of the problem of two types protection zones with the same length. Furthermore, the asymptotic profiles of solutions and the asymptotic spreadin… ▽ More This paper concerns the effect of the (separated/connected) protection zone for the evolution of an endangered species on the reaction-diffusion equation with strong Allee effect and free boundary. We give a description of the long-time dynamical behavior of the problem of two types protection zones with the same length. Furthermore, the asymptotic profiles of solutions and the asymptotic spreading speed are estimated when spreading happens. Our results, together with those in previous papers [8, 12] on two other closely related models, show that the protection zone and the free boundary play an important role in the evolution of the endangered species. △ Less

Submitted 1 August, 2021; v1 submitted 22 December, 2019; originally announced December 2019.

Comments: 31 pages. arXiv admin note: text overlap with arXiv:1811.12574

Journal ref: published in Journal of Dynamics and Differential Equations, 2021

Demand Adaptive Multi-Objective Electric Taxi Fleet Dispatching with Carbon Emission Analysis

Authors: Yiwen Song, Ningning Sun, Huimiao Chen

Abstract: As a foreseeable future mode of transport with lower emissions and higher efficiencies, electric vehicles have received worldwide attention. For convenient centralized management, taxis are considered as the fleet with electrification priority. In this work, we focus on the study on electric taxis dispatching, with consideration of picking up customers and recharging, based on real world traffic d… ▽ More As a foreseeable future mode of transport with lower emissions and higher efficiencies, electric vehicles have received worldwide attention. For convenient centralized management, taxis are considered as the fleet with electrification priority. In this work, we focus on the study on electric taxis dispatching, with consideration of picking up customers and recharging, based on real world traffic data of a large number of taxis in Beijing. First, the assumed electric taxi charging stations are located using the K mean method. Second, based on the station locations and the order demands, which are in form of origin-destination pairs and extracted from the trajectory data, a dispatching strategy as well as the simulation framework is developed with consideration of reducing customer waiting time, mitigating electric taxi charging congestion, and balancing order number distribution among electric taxis. The proposed method models the electric taxi charging behaviors temporally discretely from the aspects of charging demands and availability of chargers, and further incorporates a centralized and intelligent fleet dispatching platform, which is capable of handling taxi service requests and arranging electric taxis' recharging in real time. The methodology in this paper is readily applicable to dispatching of different types of electric vehicle fleet with similar dataset available. Among the method, we use queueing theory to model the electric vehicle charging station waiting phenomena and include this factor into dispatching platform. Carbon emission is also surveyed and analyzed. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Breaking of 1RSB in random MAX-NAE-SAT

Authors: Zsolt Bartha, Nike Sun, Yumeng Zhang

Abstract: For several models of random constraint satisfaction problems, it was conjectured by physicists and later proved that a sharp satisfiability transition occurs. For random $k$-SAT and related models it happens at clause density $α$ around $2^k$. Just below the threshold, further results suggest that the solution space has a "1RSB" structure of a large bounded number of near-orthogonal clusters insi… ▽ More For several models of random constraint satisfaction problems, it was conjectured by physicists and later proved that a sharp satisfiability transition occurs. For random $k$-SAT and related models it happens at clause density $α$ around $2^k$. Just below the threshold, further results suggest that the solution space has a "1RSB" structure of a large bounded number of near-orthogonal clusters inside the space of variable assignments $\{0,1\}^N$. In the unsatisfiable regime, it is natural to consider max-satisfiability: violating the least number of constraints. For a simplified variant, the strong refutation problem, there is strong evidence that an algorithmic transition occurs around $α= N^{k/2-1}$. For $α$ bounded in $N$, a very precise estimate of the max-sat value was obtained by Achlioptas, Naor, and Peres (2007), but it is not sharp enough to indicate the nature of the energy landscape. Later work (Sen, 2016; Panchenko, 2016) shows that for $α$ very large (roughly, above $64^k$) the max-sat value approaches the mean-field (complete graph) limit: this is conjectured to have an "FRSB" structure where near-optimal configurations form clusters within clusters, in an ultrametric hierarchy of infinite depth inside $\{0,1\}^N$. A stronger form of FRSB was shown in several recent works to have algorithmic implications (again, in complete graphs). Consequently we find it of interest to understand how the model transitions from 1RSB near the satisfiability threshold, to (conjecturally) FRSB for large $α$. In this paper we show that in the random regular $k$-NAE-SAT model, the 1RSB description breaks down already above $α\asymp 4^k/k^3$. This is proved by an explicit perturbation in the 2RSB parameter space, inspired by the "bug proliferation" mechanism proposed by physicists (Montanari and Ricci-Tersenghi, 2003; Krzakala, Pagnani, and Weigt, 2004). △ Less

Submitted 15 May, 2019; v1 submitted 18 April, 2019; originally announced April 2019.

Propagation dynamics of Fisher-KPP equation with time delay and free boundaries

Authors: Ningkui Sun, Jian Fang

Abstract: Incorporating free boundary into time-delayed reaction-diffusion equations yields a compatible condition that guarantees the well-posedness of the initial value problem. With the KPP type nonlinearity we then establish a vanishing-spreading dichotomy result. Further, when the spreading happens, we show that the spreading speed and spreading profile are nonlinearly determined by a delay-induced non… ▽ More Incorporating free boundary into time-delayed reaction-diffusion equations yields a compatible condition that guarantees the well-posedness of the initial value problem. With the KPP type nonlinearity we then establish a vanishing-spreading dichotomy result. Further, when the spreading happens, we show that the spreading speed and spreading profile are nonlinearly determined by a delay-induced nonlocal semi-wave problem. It turns out that time delay slows down the spreading speed. △ Less

Submitted 7 December, 2018; originally announced December 2018.

Comments: 38 pages, 0 figures

MSC Class: 35K57; 35R35; 35B40; 92D25

Journal ref: Calc. Var. Partial Differential Equations, 2019

The role of protection zone on species spreading governed by a reaction-diffusion model with strong Allee effect

Authors: Kai Du, Rui Peng, Ningkui Sun

Abstract: It is known that a species dies out in the long run for small initial data if its evolution obeys a reaction of bistable nonlinearity. Such a phenomenon, which is termed as the strong Allee effect, is well supported by numerous evidence from ecosystems, mainly due to the environmental pollution as well as unregulated harvesting and hunting. To save an endangered species, in this paper we introduce… ▽ More It is known that a species dies out in the long run for small initial data if its evolution obeys a reaction of bistable nonlinearity. Such a phenomenon, which is termed as the strong Allee effect, is well supported by numerous evidence from ecosystems, mainly due to the environmental pollution as well as unregulated harvesting and hunting. To save an endangered species, in this paper we introduce a protection zone that is governed by a Fisher-KPP nonlinearity, and examine the dynamics of a reaction-diffusion model with strong Allee effect and protection zone. We show the existence of two critical values $0<L_*\leq L^*$, and prove that a vanishing-transition-spreading trichotomy result holds when the length of protection zone is smaller than $L_*$; a transition-spreading dichotomy result holds when the length of protection zone is between $L_*$ and $L^*$; only spreading happens when the length of protection zone is larger than $L^*$. This suggests that the protection zone works when its length is larger than the critical value $L_*$. Furthermore, we compare two types of protection zone with the same length: a connected one and a separate one, and our results reveal that the former is better for species spreading than the latter. △ Less

Submitted 29 November, 2018; originally announced November 2018.

Comments: 29 pages, 3 figures

MSC Class: 35K15; 35K55; 35B40; 92D15

Journal ref: J. Differential Equations, 2019

Capacity lower bound for the Ising perceptron

Authors: Jian Ding, Nike Sun

Abstract: We consider the Ising perceptron with gaussian disorder, which is equivalent to the discrete cube $\{-1,+1\}^N$ intersected by $M$ random half-spaces. The perceptron's capacity is $α_N \equiv M_N/N$ for the largest integer $M_N$ such that the intersection in nonempty. It is conjectured by Krauth and Mézard (1989) that the (random) ratio $α_N$ converges in probability to an explicit constant… ▽ More We consider the Ising perceptron with gaussian disorder, which is equivalent to the discrete cube $\{-1,+1\}^N$ intersected by $M$ random half-spaces. The perceptron's capacity is $α_N \equiv M_N/N$ for the largest integer $M_N$ such that the intersection in nonempty. It is conjectured by Krauth and Mézard (1989) that the (random) ratio $α_N$ converges in probability to an explicit constant $α_\star \doteq 0.83$. Kim and Roche (1998) proved the existence of a positive constant $γ$ such that $γ\le α_N \le 1-γ$ with high probability; see also Talagrand (1999). In this paper we show that the Krauth--Mézard conjecture $α_\star$ is a lower bound with positive probability, under the condition that an explicit univariate function $S(λ)$ is maximized at $λ=0$. Our proof is an application of the second moment method to a certain slice of perceptron configurations, as selected by the so-called TAP (Thouless, Anderson, and Palmer, 1977) or AMP (approximate message passing) iteration, whose scaling limit has been characterized by Bayati and Montanari (2011) and Bolthausen (2012). For verifying the condition on $S(λ)$ we outline one approach, which is implemented in the current version using (nonrigorous) numerical integration packages. In a future version of this paper we intend to complete the verification by implementing a rigorous numerical method. △ Less

Submitted 20 September, 2018; originally announced September 2018.

On Permutation Weights and $q$-Eulerian Polynomials

Authors: Aman Agrawal, Caroline Choi, Nathan Sun

Abstract: Weights of permutations were originally introduced by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019) in their study of the combinatorics of tiered trees. Given a permutation $σ$ viewed as a sequence of integers, computing the weight of $σ$ involves recursively counting descents of certain subpermutations of $σ$. Using this weight function, o… ▽ More Weights of permutations were originally introduced by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019) in their study of the combinatorics of tiered trees. Given a permutation $σ$ viewed as a sequence of integers, computing the weight of $σ$ involves recursively counting descents of certain subpermutations of $σ$. Using this weight function, one can define a $q$-analog $E_n(x,q)$ of the Eulerian polynomials. We prove two main results regarding weights of permutations and the polynomials $E_n(x,q)$. First, we show that the coefficients of $E_n(x, q)$ stabilize as $n$ goes to infinity, which was conjectured by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019), and enables the definition of the formal power series $W_d(t)$, which has interesting combinatorial properties. Second, we derive a recurrence relation for $E_n(x, q)$, similar to the known recurrence for the classical Eulerian polynomials $A_n(x)$. Finally, we give a recursive formula for the numbers of certain integer partitions and, from this, conjecture a recursive formula for the stabilized coefficients mentioned above. △ Less

Submitted 1 December, 2020; v1 submitted 19 September, 2018; originally announced September 2018.

Comments: 11 pages

MSC Class: 05A05

Journal ref: Ann. Comb. 24, 363-378 (2020)

An improved isogeometric analysis method for trimmed geometries

Authors: Jinlan Xu, Ningning Sun, Laixin Shu, Timon Rabczuk, Gang Xu

Abstract: Trimming techniques are efficient ways to generate complex geometries in Computer-Aided Design(CAD). In this paper, an improved isogeometric analysis(IGA) method for trimmed geometries is proposed. We will show that the proposed method reduces the numerical error of physical solution by 50% for simple trimmed geometries, and the condition number of stiffness matrix is also decreased. Furthermore,… ▽ More Trimming techniques are efficient ways to generate complex geometries in Computer-Aided Design(CAD). In this paper, an improved isogeometric analysis(IGA) method for trimmed geometries is proposed. We will show that the proposed method reduces the numerical error of physical solution by 50% for simple trimmed geometries, and the condition number of stiffness matrix is also decreased. Furthermore, the number of integration elements and integration points involved in the solving process can be significantly reduced compared to previous approaches, drastically improving the computational efficiency for IGA problems on the trimmed geometry. Several examples are illustrated to show the effectiveness of the proposed approach. △ Less

Submitted 2 July, 2017; originally announced July 2017.

Spectral algorithms for tensor completion

Authors: Andrea Montanari, Nike Sun

Abstract: In the tensor completion problem, one seeks to estimate a low-rank tensor based on a random sample of revealed entries. In terms of the required sample size, earlier work revealed a large gap between estimation with unbounded computational resources (using, for instance, tensor nuclear norm minimization) and polynomial-time algorithms. Among the latter, the best statistical guarantees have been pr… ▽ More In the tensor completion problem, one seeks to estimate a low-rank tensor based on a random sample of revealed entries. In terms of the required sample size, earlier work revealed a large gap between estimation with unbounded computational resources (using, for instance, tensor nuclear norm minimization) and polynomial-time algorithms. Among the latter, the best statistical guarantees have been proved, for third-order tensors, using the sixth level of the sum-of-squares (SOS) semidefinite programming hierarchy (Barak and Moitra, 2014). However, the SOS approach does not scale well to large problem instances. By contrast, spectral methods --- based on unfolding or matricizing the tensor --- are attractive for their low complexity, but have been believed to require a much larger sample size. This paper presents two main contributions. First, we propose a new unfolding-based method, which outperforms naive ones for symmetric $k$-th order tensors of rank $r$. For this result we make a study of singular space estimation for partially revealed matrices of large aspect ratio, which may be of independent interest. For third-order tensors, our algorithm matches the SOS method in terms of sample size (requiring about $rd^{3/2}$ revealed entries), subject to a worse rank condition ($r\ll d^{3/4}$ rather than $r\ll d^{3/2}$). We complement this result with a different spectral algorithm for third-order tensors in the overcomplete ($r\ge d$) regime. Under a random model, this second approach succeeds in estimating tensors of rank $d\le r \ll d^{3/2}$ from about $rd^{3/2}$ revealed entries. △ Less

Submitted 22 December, 2016; originally announced December 2016.

The number of solutions for random regular NAE-SAT

Authors: Allan Sly, Nike Sun, Yumeng Zhang

Abstract: Recent work has made substantial progress in understanding the transitions of random constraint satisfaction problems. In particular, for several of these models, the exact satisfiability threshold has been rigorously determined, confirming predictions of statistical physics. Here we revisit one of these models, random regular k-NAE-SAT: knowing the satisfiability threshold, it is natural to study… ▽ More Recent work has made substantial progress in understanding the transitions of random constraint satisfaction problems. In particular, for several of these models, the exact satisfiability threshold has been rigorously determined, confirming predictions of statistical physics. Here we revisit one of these models, random regular k-NAE-SAT: knowing the satisfiability threshold, it is natural to study, in the satisfiable regime, the number of solutions in a typical instance. We prove here that these solutions have a well-defined free energy (limiting exponential growth rate), with explicit value matching the one-step replica symmetry breaking prediction. The proof develops new techniques for analyzing a certain "survey propagation model" associated to this problem. We believe that these methods may be applicable in a wide class of related problems. △ Less

Submitted 7 November, 2023; v1 submitted 28 April, 2016; originally announced April 2016.

Comments: Correction added starting on page 73

A diffusive Fisher-KPP equation with free boundaries and time-periodic advections

Authors: Ningkui Sun, Bendong Lou, Maolin Zhou

Abstract: We consider a reaction-diffusion-advection equation of the form: $u_t=u_{xx}-β(t)u_x+f(t,u)$ for $x\in (g(t),h(t))$, where $β(t)$ is a $T$-periodic function representing the intensity of the advection, $f(t,u)$ is a Fisher-KPP type of nonlinearity, $T$-periodic in $t$, $g(t)$ and $h(t)$ are two free boundaries satisfying Stefan conditions. This equation can be used to describe the population dynam… ▽ More We consider a reaction-diffusion-advection equation of the form: $u_t=u_{xx}-β(t)u_x+f(t,u)$ for $x\in (g(t),h(t))$, where $β(t)$ is a $T$-periodic function representing the intensity of the advection, $f(t,u)$ is a Fisher-KPP type of nonlinearity, $T$-periodic in $t$, $g(t)$ and $h(t)$ are two free boundaries satisfying Stefan conditions. This equation can be used to describe the population dynamics in time-periodic environment with advection. Its homogeneous version (that is, both $β$ and $f$ are independent of $t$) was recently studied by Gu, Lou and Zhou \cite{GLZ}. In this paper we consider the time-periodic case and study the long time behavior of the solutions. We show that a vanishing-spreading dichotomy result holds when $β$ is small; a vanishing-transition-virtual spreading trichotomy result holds when $β$ is a medium-sized function; all solutions vanish when $β$ is large. Here the partition of $β(t)$ is much more complicated than the case when $β$ is a real number, since it depends not only on the "size" $\barβ:= \frac{1}{T}\int_0^T β(t) dt$ of $β(t)$ but also on its "shape" $\tildeβ(t) := β(t) - \barβ$. △ Less

Submitted 3 April, 2016; v1 submitted 13 January, 2016; originally announced January 2016.

Comments: 33 pages

MSC Class: 35K20; 35K55; 35R35; 35B40

Shotgun assembly of random regular graphs

Authors: Elchanan Mossel, Nike Sun

Abstract: In recent work, Mossel and Ross (2015) consider the shotgun assembly problem for random graphs G: what radius R ensures that G can be uniquely recovered from its list of rooted R-neighborhoods, with high probability? Here we consider this question for random regular graphs of fixed degree d (at least three). A result of Bollobas (1982) implies efficient recovery at $R=((1+ε)\log n)/(2\log(d-1))$ w… ▽ More In recent work, Mossel and Ross (2015) consider the shotgun assembly problem for random graphs G: what radius R ensures that G can be uniquely recovered from its list of rooted R-neighborhoods, with high probability? Here we consider this question for random regular graphs of fixed degree d (at least three). A result of Bollobas (1982) implies efficient recovery at $R=((1+ε)\log n)/(2\log(d-1))$ with high probability --- moreover, this recovery algorithm uses only a summary of the distances in each neighborhood. We show that using the full neighborhood structure gives a sharper bound $R = (\log n + \log\log n)/(2\log(d-1))+ O(1)$, which we prove is tight up to the O(1) term. One consequence of our proof is that if G,H are independent graphs where G follows the random regular law, then with high probability the graphs are non-isomorphic; and this can be efficiently certified by testing the R-neighborhood list of H against the R-neighborhood of a single adversarially chosen vertex of G. △ Less

Submitted 28 December, 2015; originally announced December 2015.

MSC Class: 05C80; 05C60

Supercritical minimum mean-weight cycles

Authors: Jian Ding, Nike Sun, David B. Wilson

Abstract: We study the weight and length of the minimum mean-weight cycle in the stochastic mean-field distance model, i.e., in the complete graph on $n$ vertices with edges weighted by independent exponential random variables. Mathieu and Wilson showed that the minimum mean-weight cycle exhibits one of two distinct behaviors, according to whether its mean weight is smaller or larger than $1/(ne)$; and that… ▽ More We study the weight and length of the minimum mean-weight cycle in the stochastic mean-field distance model, i.e., in the complete graph on $n$ vertices with edges weighted by independent exponential random variables. Mathieu and Wilson showed that the minimum mean-weight cycle exhibits one of two distinct behaviors, according to whether its mean weight is smaller or larger than $1/(ne)$; and that both scenarios occur with positive probability in the limit $n\to\infty$. If the mean weight is $< 1/(ne)$, the length is of constant order. If the mean weight is $> 1/(ne)$, it is concentrated just above $1/(n e)$, and the length diverges with $n$. The analysis of Mathieu--Wilson gives a detailed characterization of the subcritical regime, including the (non-degenerate) limiting distributions of the weight and length, but leaves open the supercritical behavior. We determine the asymptotics for the supercritical regime, showing that with high probability, the minimum mean weight is $(n e)^{-1}[1 + π^2/(2 \log^2 n) + O((\log n)^{-3})]$, and the cycle achieving this minimum has length on the order of $(\log n)^3$. △ Less

Submitted 3 April, 2015; originally announced April 2015.

Comments: 28 pages, 5 figures

MSC Class: 05C80; 68Q87

Proof of the satisfiability conjecture for large k

Authors: Jian Ding, Allan Sly, Nike Sun

Abstract: We establish the satisfiability threshold for random $k$-SAT for all $k\ge k_0$, with $k_0$ an absolute constant. That is, there exists a limiting density $α_*(k)$ such that a random $k$-SAT formula of clause density $α$ is with high probability satisfiable for $α<α_*$, and unsatisfiable for $α>α_*$. We show that the threshold $α_*(k)$ is given explicitly by the one-step replica symmetry breaking… ▽ More We establish the satisfiability threshold for random $k$-SAT for all $k\ge k_0$, with $k_0$ an absolute constant. That is, there exists a limiting density $α_*(k)$ such that a random $k$-SAT formula of clause density $α$ is with high probability satisfiable for $α<α_*$, and unsatisfiable for $α>α_*$. We show that the threshold $α_*(k)$ is given explicitly by the one-step replica symmetry breaking prediction from statistical physics. The proof develops a new analytic method for moment calculations on random graphs, mapping a high-dimensional optimization problem to a more tractable problem of analyzing tree recursions. We believe that our method may apply to a range of random CSPs in the 1-RSB universality class. △ Less

Submitted 15 April, 2021; v1 submitted 3 November, 2014; originally announced November 2014.

Maximum independent sets on random regular graphs

Authors: Jian Ding, Allan Sly, Nike Sun

Abstract: We determine the asymptotics of the independence number of the random $d$-regular graph for all $d \ge d_0$. It is highly concentrated, with constant-order fluctuations around $nα_* - c_*\log n$ for explicit constants $α_*(d)$ and $c_*(d)$. Our proof rigorously confirms the one-step replica symmetry breaking heuristics for this problem, and we believe the techniques will be more broadly applicable… ▽ More We determine the asymptotics of the independence number of the random $d$-regular graph for all $d \ge d_0$. It is highly concentrated, with constant-order fluctuations around $nα_* - c_*\log n$ for explicit constants $α_*(d)$ and $c_*(d)$. Our proof rigorously confirms the one-step replica symmetry breaking heuristics for this problem, and we believe the techniques will be more broadly applicable to the study of other combinatorial properties of random graphs. △ Less

Submitted 17 October, 2013; originally announced October 2013.

Satisfiability threshold for random regular NAE-SAT

Authors: Jian Ding, Allan Sly, Nike Sun

Abstract: We consider the random regular $k$-NAE-SAT problem with $n$ variables each appearing in exactly $d$ clauses. For all $k$ exceeding an absolute constant $k_0$, we establish explicitly the satisfiability threshold $d_*=d_*(k)$. We prove that for $d<d_*$ the problem is satisfiable with high probability while for $d>d_*$ the problem is unsatisfiable with high probability. If the threshold $d_*$ lands… ▽ More We consider the random regular $k$-NAE-SAT problem with $n$ variables each appearing in exactly $d$ clauses. For all $k$ exceeding an absolute constant $k_0$, we establish explicitly the satisfiability threshold $d_*=d_*(k)$. We prove that for $d<d_*$ the problem is satisfiable with high probability while for $d>d_*$ the problem is unsatisfiable with high probability. If the threshold $d_*$ lands exactly on an integer, we show that the problem is satisfiable with probability bounded away from both zero and one. This is the first result to locate the exact satisfiability threshold in a random constraint satisfaction problem exhibiting the condensation phenomenon identified by Krzakala et al. (2007). Our proof verifies the one-step replica symmetry breaking formalism for this model. We expect our methods to be applicable to a broad range of random constraint satisfaction problems and combinatorial problems on random graphs. △ Less

Submitted 17 October, 2013; originally announced October 2013.

The replica symmetric solution for Potts models on d-regular graphs

Authors: Amir Dembo, Andrea Montanari, Allan Sly, Nike Sun

Abstract: We provide an explicit formula for the limiting free energy density (log-partition function divided by the number of vertices) for ferromagnetic Potts models on uniformly sparse graph sequences converging locally to the d-regular tree for d even, covering all temperature regimes. This formula coincides with the Bethe free energy functional evaluated at a suitable fixed point of the belief propagat… ▽ More We provide an explicit formula for the limiting free energy density (log-partition function divided by the number of vertices) for ferromagnetic Potts models on uniformly sparse graph sequences converging locally to the d-regular tree for d even, covering all temperature regimes. This formula coincides with the Bethe free energy functional evaluated at a suitable fixed point of the belief propagation recursion on the d-regular tree, the so-called replica symmetric solution. For uniformly random d-regular graphs we further show that the replica symmetric Bethe formula is an upper bound for the asymptotic free energy for any model with permissive interactions. △ Less

Submitted 23 July, 2012; originally announced July 2012.

Comments: 23 pages

MSC Class: 82B20; 82B23; 05C80; 60K35

The Hausdorff dimension of the CLE gasket

Authors: Jason Miller, Nike Sun, David B. Wilson

Abstract: The conformal loop ensemble $\mathrm{CLE}_κ$ is the canonical conformally invariant probability measure on noncrossing loops in a proper simply connected domain in the complex plane. The parameter $κ$ varies between $8/3$ and $8$; $\mathrm{CLE}_{8/3}$ is empty while $\mathrm {CLE}_8$ is a single space-filling loop. In this work, we study the geometry of the $\mathrm{CLE}$ gasket, the set of points… ▽ More The conformal loop ensemble $\mathrm{CLE}_κ$ is the canonical conformally invariant probability measure on noncrossing loops in a proper simply connected domain in the complex plane. The parameter $κ$ varies between $8/3$ and $8$; $\mathrm{CLE}_{8/3}$ is empty while $\mathrm {CLE}_8$ is a single space-filling loop. In this work, we study the geometry of the $\mathrm{CLE}$ gasket, the set of points not surrounded by any loop of the $\mathrm{CLE}$. We show that the almost sure Hausdorff dimension of the gasket is bounded from below by $2-(8-κ)(3κ-8)/(32κ)$ when $4<κ<8$. Together with the work of Schramm-Sheffield-Wilson [Comm. Math. Phys. 288 (2009) 43-53] giving the upper bound for all $κ$ and the work of Nacu-Werner [J. Lond. Math. Soc. (2) 83 (2011) 789-809] giving the matching lower bound for $κ\le4$, this completes the determination of the $\mathrm{CLE}_κ$ gasket dimension for all values of $κ$ for which it is defined. The dimension agrees with the prediction of Duplantier-Saleur [Phys. Rev. Lett. 63 (1989) 2536-2537] for the FK gasket. △ Less

Submitted 4 August, 2014; v1 submitted 4 June, 2012; originally announced June 2012.

Comments: Published in at http://dx.doi.org/10.1214/12-AOP820 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP820

Journal ref: Annals of Probability 2014, Vol. 42, No. 4, 1644-1665

The computational hardness of counting in two-spin models on d-regular graphs

Authors: Allan Sly, Nike Sun

Abstract: The class of two-spin systems contains several important models, including random independent sets and the Ising model of statistical physics. We show that for both the hard-core (independent set) model and the anti-ferromagnetic Ising model with arbitrary external field, it is NP-hard to approximate the partition function or approximately sample from the model on d-regular graphs when the model h… ▽ More The class of two-spin systems contains several important models, including random independent sets and the Ising model of statistical physics. We show that for both the hard-core (independent set) model and the anti-ferromagnetic Ising model with arbitrary external field, it is NP-hard to approximate the partition function or approximately sample from the model on d-regular graphs when the model has non-uniqueness on the d-regular tree. Together with results of Jerrum--Sinclair, Weitz, and Sinclair--Srivastava--Thurley giving FPRAS's for all other two-spin systems except at the uniqueness threshold, this gives an almost complete classification of the computational complexity of two-spin systems on bounded-degree graphs. Our proof establishes that the normalized log-partition function of any two-spin system on bipartite locally tree-like graphs converges to a limiting "free energy density" which coincides with the (non-rigorous) Bethe prediction of statistical physics. We use this result to characterize the local structure of two-spin systems on locally tree-like bipartite expander graphs, which then become the basic gadgets in a randomized reduction to approximate MAX-CUT. Our approach is novel in that it makes no use of the second moment method employed in previous works on these questions. △ Less

Submitted 12 March, 2012; originally announced March 2012.

Comments: 23 pages

Factor models on locally tree-like graphs

Authors: Amir Dembo, Andrea Montanari, Nike Sun

Abstract: We consider homogeneous factor models on uniformly sparse graph sequences converging locally to a (unimodular) random tree $T$, and study the existence of the free energy density $φ$, the limit of the log-partition function divided by the number of vertices $n$ as $n$ tends to infinity. We provide a new interpolation scheme and use it to prove existence of, and to explicitly compute, the quantity… ▽ More We consider homogeneous factor models on uniformly sparse graph sequences converging locally to a (unimodular) random tree $T$, and study the existence of the free energy density $φ$, the limit of the log-partition function divided by the number of vertices $n$ as $n$ tends to infinity. We provide a new interpolation scheme and use it to prove existence of, and to explicitly compute, the quantity $φ$ subject to uniqueness of a relevant Gibbs measure for the factor model on $T$. By way of example we compute $φ$ for the independent set (or hard-core) model at low fugacity, for the ferromagnetic Ising model at all parameter values, and for the ferromagnetic Potts model with both weak enough and strong enough interactions. Even beyond uniqueness regimes our interpolation provides useful explicit bounds on $φ$. In the regimes in which we establish existence of the limit, we show that it coincides with the Bethe free energy functional evaluated at a suitable fixed point of the belief propagation (Bethe) recursions on $T$. In the special case that $T$ has a Galton-Watson law, this formula coincides with the nonrigorous "Bethe prediction" obtained by statistical physicists using the "replica" or "cavity" methods. Thus our work is a rigorous generalization of these heuristic calculations to the broader class of sparse graph sequences converging locally to trees. We also provide a variational characterization for the Bethe prediction in this general setting, which is of independent interest. △ Less

Submitted 16 December, 2013; v1 submitted 21 October, 2011; originally announced October 2011.

Comments: Published in at http://dx.doi.org/10.1214/12-AOP828 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP828

Journal ref: Annals of Probability 2013, Vol. 41, No. 6, 4162-4213

Central limit theorem for biased random walk on multi-type Galton-Watson trees

Authors: Amir Dembo, Nike Sun

Abstract: Let T be a rooted supercritical multi-type Galton-Watson (MGW) tree with types coming from a finite alphabet, conditioned to non-extinction. The lambda-biased random walk (X_t, t>=0) on T is the nearest-neighbor random walk which, when at a vertex v with d(v) offspring, moves closer to the root with probability lambda/[lambda+d(v)], and to each of the offspring with probability 1/[lambda+d(v)]. Th… ▽ More Let T be a rooted supercritical multi-type Galton-Watson (MGW) tree with types coming from a finite alphabet, conditioned to non-extinction. The lambda-biased random walk (X_t, t>=0) on T is the nearest-neighbor random walk which, when at a vertex v with d(v) offspring, moves closer to the root with probability lambda/[lambda+d(v)], and to each of the offspring with probability 1/[lambda+d(v)]. This walk is recurrent for lambda>=rho and transient for 0<lambda<rho, with rho the Perron-Frobenius eigenvalue for the (assumed) irreducible matrix of expected offspring numbers. Subject to finite moments of order p>4 for the offspring distributions, we prove the following quenched CLT for lambda-biased random walk at the critical value lambda=rho: for almost every T, the process |X_{floor(nt)}|/sqrt{n} converges in law as n tends to infinity to a reflected Brownian motion rescaled by an explicit constant. This result was proved under some stronger assumptions by Peres-Zeitouni (2008) for single-type Galton-Watson trees. Following their approach, our proof is based on a new explicit description of a reversing measure for the walk from the point of view of the particle (generalizing the measure constructed in the single-type setting by Peres-Zeitouni), and the construction of appropriate harmonic coordinates. In carrying out this program we prove moment and conductance estimates for MGW trees, which may be of independent interest. In addition, we extend our construction of the reversing measure to a biased random walk with random environment (RWRE) on MGW trees, again at a critical value of the bias. We compare this result against a transience-recurrence criterion for the RWRE generalizing a result of Faraud (2011) for Galton-Watson trees. △ Less

Submitted 6 May, 2012; v1 submitted 17 November, 2010; originally announced November 2010.

Comments: 44 pages, 1 figure

MSC Class: 60F05; 60K37 (Primary); 60J80; 60G50 (Secondary)

Strong path convergence from Loewner driving function convergence

Authors: Scott Sheffield, Nike Sun

Abstract: We show that, under mild assumptions on the limiting curve, a sequence of simple chordal planar curves converges uniformly whenever certain Loewner driving functions converge. We extend this result to random curves. The random version applies in particular to random lattice paths that have chordal $\mathrm {SLE}_κ$ as a scaling limit, with $κ<8$ (nonspace-filling). Existing $\mathrm {SLE}_κ$ conve… ▽ More We show that, under mild assumptions on the limiting curve, a sequence of simple chordal planar curves converges uniformly whenever certain Loewner driving functions converge. We extend this result to random curves. The random version applies in particular to random lattice paths that have chordal $\mathrm {SLE}_κ$ as a scaling limit, with $κ<8$ (nonspace-filling). Existing $\mathrm {SLE}_κ$ convergence proofs often begin by showing that the Loewner driving functions of these paths (viewed from $\infty$) converge to Brownian motion. Unfortunately, this is not sufficient, and additional arguments are required to complete the proofs. We show that driving function convergence is sufficient if it can be established for both parametrization directions and a generic observation point. △ Less

Submitted 4 April, 2012; v1 submitted 24 March, 2010; originally announced March 2010.

Comments: Published in at http://dx.doi.org/10.1214/10-AOP627 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP627

Journal ref: Annals of Probability 2012, Vol. 40, No. 2, 578-610

Conformally invariant scaling limits in planar critical percolation

Authors: Nike Sun

Abstract: This is an introductory account of the emergence of conformal invariance in the scaling limit of planar critical percolation. We give an exposition of Smirnov's theorem (2001) on the conformal invariance of crossing probabilities in site percolation on the triangular lattice. We also give an introductory account of Schramm-Loewner evolutions (SLE(k)), a one-parameter family of conformally invarian… ▽ More This is an introductory account of the emergence of conformal invariance in the scaling limit of planar critical percolation. We give an exposition of Smirnov's theorem (2001) on the conformal invariance of crossing probabilities in site percolation on the triangular lattice. We also give an introductory account of Schramm-Loewner evolutions (SLE(k)), a one-parameter family of conformally invariant random curves discovered by Schramm (2000). The article is organized around the aim of proving the result, due to Smirnov (2001) and to Camia and Newman (2007), that the percolation exploration path converges in the scaling limit to chordal SLE(6). No prior knowledge is assumed beyond some general complex analysis and probability theory. △ Less

Submitted 21 October, 2011; v1 submitted 2 November, 2009; originally announced November 2009.

Comments: 55 pages, 10 figures

MSC Class: 60K35; 30C35; 60J65

Journal ref: Probability Surveys, Vol. 8 (2011) 155-209