skip to main content

This content will become publicly available on December 1, 2022

Title: Sensitivity of steady states in a degenerately damped stochastic Lorenz system
We study stability of solutions for a randomly driven and degenerately damped version of the Lorenz ’63 model. Specifically, we prove that when damping is absent in one of the temperature components, the system possesses a unique invariant probability measure if and only if noise acts on the convection variable. On the other hand, if there is a positive growth term on the vertical temperature profile, we prove that there is no normalizable invariant state. Our approach relies on the derivation and analysis of nontrivial Lyapunov functions which ensure positive recurrence or null-recurrence/transience of the dynamics.
; ;
Award ID(s):
Publication Date:
Journal Name:
Stochastics and Dynamics
Sponsoring Org:
National Science Foundation
More Like this
  1. A finite set of integers A is a sum-dominant (also called a More Sums Than Differences or MSTD) set if |A+A| > |A−A|. While almost all subsets of {0, . . . , n} are not sum-dominant, interestingly a small positive percentage are. We explore sufficient conditions on infinite sets of positive integers such that there are either no sum-dominant subsets, at most finitely many sum-dominant subsets, or infinitely many sum-dominant subsets. In particular, we prove no subset of the Fibonacci numbers is a sum-dominant set, establish conditions such that solutions to a recurrence relation have only finitely many sum-dominantmore »subsets, and show there are infinitely many sum-dominant subsets of the primes.« less
  2. The ability to detect and count certain substructures in graphs is important for solving many tasks on graph-structured data, especially in the contexts of computa- tional chemistry and biology as well as social network analysis. Inspired by this, we propose to study the expressive power of graph neural networks (GNNs) via their ability to count attributed graph substructures, extending recent works that examine their power in graph isomorphism testing and function approximation. We distinguish between two types of substructure counting: induced-subgraph-count and subgraph-count, and establish both positive and negative answers for popular GNN architectures. Specifically, we prove that Message Passingmore »Neural Networks (MPNNs), 2-Weisfeiler-Lehman (2-WL) and 2-Invariant Graph Networks (2-IGNs) cannot perform induced-subgraph-count of any connected substructure consisting of 3 or more nodes, while they can perform subgraph-count of star-shaped sub- structures. As an intermediary step, we prove that 2-WL and 2-IGNs are equivalent in distinguishing non-isomorphic graphs, partly answering an open problem raised in [38]. We also prove positive results for k-WL and k-IGNs as well as negative results for k-WL with a finite number of iterations. We then conduct experiments that support the theoretical results for MPNNs and 2-IGNs. Moreover, motivated by substructure counting and inspired by [45], we propose the Local Relational Pooling model and demonstrate that it is not only effective for substructure counting but also able to achieve competitive performance on molecular prediction tasks.« less
  3. We prove that the values of discrete directed polymer partition functions involving multiple non-intersecting paths remain invariant under replacing the background weights by their images under the geometric RSK correspondence. This result is inspired by a recent and remarkable identity proved by Dauvergne, Orthmann and Virag which is recovered as the zero-temperature, semi-discrete limit of our main result.
  4. Abstract

    Hepatocellular Carcinoma (HCC) is one of the most lethal cancers with a high mortality and recurrence rate. Circulating tumor cell (CTC) detection offers various opportunities to advance early detection and monitoring of HCC tumors which is crucial for improving patient outcome. We developed and optimized a novel Labyrinth microfluidic device to efficiently isolate CTCs from peripheral blood of HCC patients. CTCs were identified in 88.1% of the HCC patients over different tumor stages. The CTC positivity rate was significantly higher in patients with more advanced HCC stages. In addition, 71.4% of the HCC patients demonstrated CTCs positive for cancermore »stem cell marker, CD44, suggesting that the major population of CTCs could possess stemness properties to facilitate tumor cell survival and dissemination. Furthermore, 55% of the patients had the presence of circulating tumor microemboli (CTM) which also correlated with advanced HCC stage, indicating the association of CTM with tumor progression. Our results show effective CTC capture from HCC patients, presenting a new method for future noninvasive screening and surveillance strategies. Importantly, the detection of CTCs with stemness markers and CTM provides unique insights into the biology of CTCs and their mechanisms influencing metastasis, recurrence and therapeutic resistance.

    « less
  5. Designing and implementing distributed systems correctly is a very challenging task. Recently, formal verification has been successfully used to prove the correctness of distributed systems. At the heart of formal verification lies a computer-checked proof with an inductive invariant. Finding this inductive invariant, however, is the most difficult part of the proof. Alas, current proof techniques require inductive invariants to be found manually—and painstakingly—by the developer. In this paper, we present a new approach, Incremental Inference of Inductive Invariants (I4), to automatically generate inductive invariants for distributed protocols. The essence of our idea is simple: the inductive invariant of amore »finite instance of the protocol can be used to infer a general inductive invariant for the infinite distributed protocol. In I4, we create a finite instance of the protocol; use a model checking tool to automatically derive the inductive invariant for this finite instance; and generalize this invariant to an inductive invariant for the infinite protocol. Our experiments show that I4 can prove the correctness of several distributed protocols like Chord, 2PC and Transaction Chains with little to no human effort.« less