Publication

Expansivity and Roquette groups

Publications associées (30)

A Determinantal Identity for the Permanent of a Rank 2 Matrix

We prove an identity relating the permanent of a rank 2 matrix and the determinants of its Hadamard powers. When viewed in the right way, the resulting formula looks strikingly similar to an identity of Carlitz and Levine, suggesting the possibility that t ...

TAYLOR & FRANCIS INC2022

Identity-Society (Mis)Alignment And The Instrumentalization Of Firm Creation: Creative Destruction And Creative Reconstruction

Marc Gruber, Shirah Eden Foy

Research on founder identity has significantly advanced our understanding of entrepreneurship and related literatures. By departing from the widely held-though often implicit-assumption that culture defines the parameters of identity formation, this paper ...

ACAD MANAGEMENT2022

Formula Normalizations in Verification

Viktor Kuncak, Simon Guilloud, Mario Bucev, Dragana Milovancevic

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2023

Hamiltonian truncation in Anti-de Sitter spacetime

Kamran Salehi Vaziri, João Miguel Augusto Penedones Fernandes, Marco Meineri, Matthijs Jan Hogervorst

Quantum Field Theories (QFTs) in Anti-de Sitter (AdS) spacetime are often strongly coupled when the radius of AdS is large, and few methods are available to study them. In this work, we develop a Hamiltonian truncation method to compute the energy spectrum ...

Springer Nature2021

Theory of time delayed genetic oscillations with external noisy regulation

Andrew Charles Oates, Laurel Ann Rohde, Jose Negrete Jr

Video Abstract Video Abstract: Theory of time delayed genetic oscillations with external noisy regulation We present a general theory of noisy genetic oscillators with externally regulated production rate and multiplicative noise. The observables that char ...

2021

Electronic-structure methods for materials design

Nicola Marzari, Andrea Ferretti

Simulations can be used to accelerate the characterization and discovery of materials. Here we Review how electronic-structure methods such as density functional theory work, what properties they can be used to predict and how they can be used to design ma ...

NATURE RESEARCH2021

Serre-Tate theory for Calabi-Yau varieties

Maciej Emilian Zdanowicz

Classical Serre-Tate theory describes deformations of ordinary abelian varieties. It implies that every such variety has a canonical lift to characteristic zero and equips the base of its universal deformation with a Frobenius lifting and canonical multipl ...

WALTER DE GRUYTER GMBH2021

Theory of twin strengthening in fcc high entropy alloys

William Curtin, Recep Ekin Kubilay

Twinning in fcc High Entropy Alloys (HEAs) has been implicated as a possible mechanism for hardening that enables enhanced ductility. Here, a theory for the twinning stress is developed analogous to recent theories for yield stress. Specifically, the stres ...

2021

Dissociative Sticking Probability of Methane on Pt(110)-(2×1)

Rainer Beck, Ana Gutiérrez González

In this work, we revisit the dissociative sticking of methane on Pt(110)-(2×1) using quasi-classical trajectory (QCT) calculations and supersonic molecular beam (SMB) experiments. Experimentally, we apply the King and Wells method and the reflection absorp ...

2021

Standard model meets gravity: Electroweak symmetry breaking and inflation

Mikhail Chapochnikov, Andrey Shkerin, Sebastian Zell

We propose a model for combining the Standard Model (SM) with gravity. It relies on a nonminimal coupling of the Higgs field to the Ricci scalar and on the Palatini formulation of gravity. Without introducing any new degrees of freedom in addition to those ...

American Physical Society2021