Publications related to Duality and bicrystals on infinite binary matrices

Related publications (27)

Spectral Estimators for High-Dimensional Matrix Inference

A key challenge across many disciplines is to extract meaningful information from data which is often obscured by noise. These datasets are typically represented as large matrices. Given the current trend of ever-increasing data volumes, with datasets grow ...

EPFL2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Analysis of eigenvalue condition numbers for a class of randomized numerical methods for singular matrix pencils

Daniel Kressner

The numerical solution of the generalized eigenvalue problem for a singular matrix pencil is challenging due to the discontinuity of its eigenvalues. Classically, such problems are addressed by first extracting the regular part through the staircase form a ...

2024

espm: A Python library for the simulation of STEM-EDXS datasets

Adrien Maxime Louis Teurtrie, Cécile Hébert, Duncan Thomas Lindsay Alexander, Nathanaël Perraudin, Hui Chen, Guillaume Romain Obozinski, Hui Chen

We present two open-source Python packages: "electron spectro-microscopy"(espm) and "electron microscopy tables"(emtables). The espm software enables the simulation of scanning transmission electron microscopy energy-dispersive X-ray spectroscopy datacubes ...

ELSEVIER2023

Preserving the positivity of the deformation gradient determinant in intergrid interpolation by combining RBFs and SVD: Application to cardiac electromechanics

Alfio Quarteroni, Francesco Regazzoni

The accurate, robust and efficient transfer of the deformation gradient tensor between meshes of different resolution is crucial in cardiac electromechanics simulations. This paper presents a novel method that combines rescaled localized Radial Basis Funct ...

Elsevier Science Sa2023

Evaluation of the role of superoxide radical as chain carrier for the formation of hydroxyl radical during ozonation

Urs von Gunten, Gang Yu

Superoxide radicals (O-2(center dot-)) have been suggested as an important chain carrier in the radical chain reaction that promotes ozone (O-3) decomposition to hydroxyl radicals ((OH)-O-center dot) during ozonation. However, due to the difficulty in meas ...

PERGAMON-ELSEVIER SCIENCE LTD2023

A mixed precision LOBPCG algorithm

Daniel Kressner, Meiyue Shao

The locally optimal block preconditioned conjugate gradient (LOBPCG) algorithm is a popular approach for computing a few smallest eigenvalues and the corresponding eigenvectors of a large Hermitian positive definite matrix A. In this work, we propose a mix ...

SPRINGER2023

Frequency and time domains interactions in nanophotonics

Andrei Kiselev

In this thesis, we discuss the problems of scattering and optical manipulation related to nanosystems of different complexities. The multipolar decomposition method is used to represent scattering processes in nanosystems as a series of elementary excitati ...

EPFL2023

Nonlinear interactions of ion acoustic waves explored using fast imaging decompositions

Simon Pierre Henri Vincent

Fast camera imaging is used to study ion acoustic waves propagating azimuthally in a magnetized plasma column. The high-speed image sequences are analyzed using proper orthogonal decomposition and 2D Fourier transform, allowing to evaluate the assets and d ...

2023

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

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

Where is the money ? A decomposition of monetary flows behind fossil fuels

François Maréchal, Jonas Schnidrig, Xiang Li

Transition from fossils to renewables is leading to radical societal changes. Shifting the capital from fossils to renewables is commonly accompanied with political concerns, such as energy autonomy, domestic employment etc. Despite a decreasing trend in r ...

DTU Construct2022

A Benders decomposition for maximum simulated likelihood estimation of advanced discrete choice models

Michel Bierlaire, Claudia Bongiovanni

In this paper, we formulate a mixed integer linear program (MILP) for the simulated maximum likelihood estimation (MLSE) problem and devise a Benders decomposition approach to speed up the solution process. This framework can be applied to any advanced dis ...

2022

Stability and Reactivity of a Polyoxymethylene Dimethyl Ether over Typical Catalysts for Diesel Emission Control

Oliver Kröcher, Davide Ferri

Polyoxymethylene dimethyl ethers (OME) produced from methanol are considered as potential substitutes of Diesel fuel. Emissions of formaldehyde and other components have been observed, particularly under cold-start conditions in engine test-bench experimen ...

SPRINGER/PLENUM PUBLISHERS2023

Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition

Giovanni De Micheli, Andrea Costamagna

Approximate logic synthesis is an emerging field that tolerates errors in the synthesized logic circuits for better optimization quality. Indeed, in many computing problems, the requirement of preserving the exact functionality either results in unnecessar ...

IEEE2022

Decomposition Strategy for Districts as Renewable Energy Hubs

François Maréchal, Luise Middelhauve, Cédric Terrier

In light of the energy transition, it becomes a widespread solution to decentralize and to decarbonize energy systems. However, limited transformer capacities are a hurdle for large-scale integration of solar energy in the electricity grid. The aim of this ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Optimal denoising of rotationally invariant rectangular matrices

Lenka Zdeborová, Florent Gérard Krzakala, Emanuele Troiani, Vittorio Erba

In this manuscript we consider denoising of large rectangular matrices: given a noisy observation of a signal matrix, what is the best way of recovering the signal matrix itself? For Gaussian noise and rotationally-invariant signal priors, we completely ch ...

2022

The double exponential runtime is tight for 2-stage stochastic ILPs

Kim-Manuel Klein, Alexandra Anna Lassota

We consider fundamental algorithmic number theoretic problems and their relation to a class of block structured Integer Linear Programs (ILPs) called 2-stage stochastic. A 2-stage stochastic ILP is an integer program of the form min{c(T)x vertical bar Ax = ...

SPRINGER HEIDELBERG2022

Statistical limits of dictionary learning: Random matrix theory and the spectral replica method

Nicolas Macris, Jean François Emmanuel Barbier

We consider increasingly complex models of matrix denoising and dictionary learning in the Bayes-optimal setting, in the challenging regime where the matrices to infer have a rank growing linearly with the system size. This is in contrast with most existin ...

AMER PHYSICAL SOC2022

SD-Pose: Semantic Decomposition for Cross-Domain 6D Object Pose Estimation

Mathieu Salzmann, Yinlin Hu

The current leading 6D object pose estimation methods rely heavily on annotated real data, which is highly costly to acquire. To overcome this, many works have proposed to introduce computer-generated synthetic data. However, bridging the gap between the s ...

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2021