341 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Institut national de recherche en sciences et technologies du numériqueFR5 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Sorbonne UniversitéFR3 papers
- CERMICSFR2 papers
- École Normale Supérieure - PSLFR2 papers
- Université Paris CitéFR2 papers
- University of PennsylvaniaUS2 papers
- Assistance Publique – Hôpitaux de ParisFR1 paper
- Carnegie Mellon UniversityUS1 paper
- Central European University - Budapest Campus1 paper
- Centre Inria de SaclayFR1 paper
- Centre Interdisciplinaire de Recherche en BiologieFR1 paper
18 papers
Optimal Transport Reconstruction of Baryon Acoustic Oscillations
Farnik Nikakhtar, Ravi K. Sheth, Bruno Lévy +1
A weighted, semi-discrete, fast optimal transport (OT) algorithm for reconstructing the Lagrangian positions of proto-halos from their evolved Eulerian positions is presented. The…
Multiple projection MCMC algorithms on submanifolds
Tony Lelièvre, Gabriel Stoltz, Wei Zhang
We propose new Markov Chain Monte Carlo algorithms to sample probability distributions on submanifolds, which generalize previous methods by allowing the use of set-valued maps in…
Towards Scalable Bosonic Quantum Error Correction
Barbara M. Terhal, Jonathan Conrad, Christophe Vuillot
We review some of the recent efforts in devising and engineering bosonic qubits for superconducting devices, with emphasis on the Gottesman-Kitaev-Preskill (GKP) qubit. We present…
The Challenges of Trace-Driven Wi-Fi Emulation
Mohammad Imran Syed, Renata Teixeira, Sara Ayoubi +1
Wi-Fi link is unpredictable and it has never been easy to measure it perfectly; there is always bound to be some bias. As wireless becomes the medium of choice, it is useful to cap…
Approximate tensorization of the relative entropy for noncommuting conditional expectations
Ivan Bardet, Angela Capel, Cambyse Rouzé
In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Ne…
Guaranteed and robust -norm a posteriori error estimates for 1D linear advection problems
Alexandre Ern, Martin Vohralík, Mohammad Zakerzadeh
We propose a reconstruction-based a posteriori error estimate for linear advection problems in one space dimension. In our framework, a stable variational ultra-weak formulation is…
Disrupted core-periphery structure of multimodal brain networks in Alzheimer's Disease
Jeremy Guillon, Mario Chavez, Federico Battiston +7
In Alzheimer's disease (AD), the progressive atrophy leads to aberrant network reconfigurations both at structural and functional levels. In such network reorganization, the core a…
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Carmine Abate, Roberto Blanco, Deepak Garg +3
(CROPPED TO FIT IN ARXIV'S SILLY LIMIT. SEE PDF FOR COMPLETE ABSTRACT.) We are the first to thoroughly explore a large space of formal secure compilation criteria based on robust p…
Certificates in P and Subquadratic-Time Computation of Radius, Diameter, and all Eccentricities in Graphs
Feodor F. Dragan, Guillaume Ducoffe, Michel Habib +1
In the context of fine-grained complexity, we investigate the notion of certificate enabling faster polynomial-time algorithms. We specifically target radius (minimum eccentricity)…
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco +8
We propose a new formal criterion for evaluating secure compilation schemes for unsafe languages, expressing end-to-end security guarantees for software components that may become…
FabULous Interoperability for ML and a Linear Language
Gabriel Scherer, Max New, Nick Rioux +1
Instead of a monolithic programming language trying to cover all features of interest, some programming systems are designed by combining together simpler languages that cooperate…
Stationary analysis of the shortest queue problem
Plinio S. Dester, Christine Fricker, Danielle Tibi
A simple analytical solution is proposed for the stationary loss system of two parallel queues with finite capacity , in which new customers join the shortest queue, or one of t…
PAC-Bayesian Theory Meets Bayesian Inference
Pascal Germain, Francis Bach, Alexandre Lacoste +1
We exhibit a strong link between frequentist PAC-Bayesian risk bounds and the Bayesian marginal likelihood. That is, for the negative log-likelihood loss function, we show that the…
Breaking Symmetric Cryptosystems using Quantum Period Finding
Marc Kaplan, Gaëtan Leurent, Anthony Leverrier +1
Due to Shor's algorithm, quantum computers are a severe threat for public key cryptography. This motivated the cryptographic community to search for quantum-safe solutions. On the…
A largely self-contained and complete security proof for quantum key distribution
Marco Tomamichel, Anthony Leverrier
In this work we present a security analysis for quantum key distribution, establishing a rigorous tradeoff between various protocol and security parameters for a class of entanglem…
On the complexity of computing Gröbner bases for weighted homogeneous systems
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
Solving polynomial systems arising from applications is frequently made easier by the structure of the systems. Weighted homogeneity (or quasi-homogeneity) is one example of such a…
Nonoverlapping domain decomposition preconditioners for discontinuous Galerkin approximations of Hamilton--Jacobi--Bellman equations
Iain Smears
We analyse a class of nonoverlapping domain decomposition preconditioners for nonsymmetric linear systems arising from discontinuous Galerkin finite element approximation of fully…
Controllability of the heat and wave equations and their finite difference approximations by the shape of the domain
Jonathan Touboul
In this article we study a controllability problem for a parabolic and a hyperbolic partial differential equations in which the control is the shape of the domain where the equatio…