Publication

The Scaling Limit Of Critical Ising Interfaces Is Cle3

Related publications (31)

An Elliptic Local Problem With Exponential Decay Of The Resonance Error For Numerical Homogenization

Assyr Abdulle, Edoardo Paganoni, Doghonay Arjmand

Numerical multiscale methods usually rely on some coupling between a macroscopic and a microscopic model. The macroscopic model is incomplete as effective quantities, such as the homogenized material coefficients or fluxes, are missing in the model. These ...

SIAM PUBLICATIONS2023

Parabolic stochastic PDEs on bounded domains with rough initial conditions: moment and correlation bounds

Le Chen, David Jean-Michel Candil, Cheuk Yin Lee

We consider nonlinear parabolic stochastic PDEs on a bounded Lipschitz domain driven by a Gaussian noise that is white in time and colored in space, with Dirichlet or Neumann boundary condition. We establish existence, uniqueness and moment bounds of the r ...

Springer2023

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

The first Grushin eigenvalue on cartesian product domains

Joachim Stubbe, Luigi Provenzano, Paolo Luzzini

In this paper, we consider the first eigenvalue.1(O) of the Grushin operator.G :=.x1 + |x1|2s.x2 with Dirichlet boundary conditions on a bounded domain O of Rd = R d1+ d2. We prove that.1(O) admits a unique minimizer in the class of domains with prescribed ...

WALTER DE GRUYTER GMBH2023

Graph neural networks for dynamic modeling of roller bearings

Olga Fink, Vinay Sharma

Machine learning has paved the way for the real-time monitoring of complex infrastructure and industrial systems. However, purely data-driven methods have not been able to learn the underlying dynamics and generalize them to operating conditions that have ...

PHM Society2023

Reduced order models for coupled systems

Niccolo' Discacciati

Efficient numerical simulations of coupled multi-component systems can be particularly challenging. This is mostly due to the complexity of their solutions, as mutual interactions may cause emergent behaviors, including synchronization and instabilities. V ...

EPFL2023

Friction and fracture: richness and complexity in dynamic rupture

Thibault Didier Roch

Understanding how things break and slide is of paramount importance to describe the dynamics of a broad range of physical systems. This includes day-to-day problems such as the breaking of a glass of wine or the sliding of skis on snow, but also engineerin ...

EPFL2023

Laterally unconfined neutral or negative buoyancy inflow into a quiescent ambient over sloping bottom

Haoran Shi

This work studies the nearshore hydrodynamics of a shallow turbulent flow entering a laterally unconfined quiescent ambient with a sloping bottom boundary. Examples of such flow are neutrally buoyant ebb tidal jets and hyperpycnal river plumes entering ope ...

EPFL2023

Identifying Large Charge operators

Riccardo Rattazzi, Alexander Monin, Gil Badel

The Large Charge sector of Conformal Field Theory (CFT) can generically be described through a semiclassical expansion around a superfluid background. In this work, focussing on U(1) invariant Wilson-Fisher fixed points, we study the spectrum of spinning l ...

Springer Nature2023

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Serge Vaudenay, Bénédikt Minh Dang Tran

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

2023

A Fast Hybrid Pressure-Correction Algorithm for Simulating Incompressible Flows by Projection Methods

Jiannong Fang

To enforce the conservation of mass principle, a pressure Poisson equation arises in the numerical solution of incompressible fluid flow using the pressure-based segregated algorithms such as projection methods. For unsteady flows, the pressure Poisson equ ...

2023