Expertini Research Research

Browse Research Papers

1,988+ open-access research outputs.

โœ• Clear
๐Ÿ” stefano carretta
Showing 1988 results for "stefano carretta"
Physics Preprint PDF DOI

Mixture-aware closure of the N-phase Navier--Stokes--Cahn--Hilliard mixture model

M.F.P. ten Eikelder, A. Brunk ยท 2026

Diffuse-interface (phase-field) models are widely used to describe multiphase mixtures and their interfacial dynamics. In multiphase settings, however, the constitutive closure should remain meaningfuโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

High-Girth Regular Quantum LDPC Codes from Square-Base Hypergraph Products via CPM Lifts

Koki Okada, Kenta Kasai ยท 2026

We study square-base Calderbank--Shor--Steane (CSS) hypergraph-product codes as a finite-length class for regular high-girth quantum low-density parity-check (LDPC) design. For base matrices of small โ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Asymmetric freezing of a sliding droplet on an inclined surface

Sivanandan Kavuri, George Karapetsas, Chander Shekhar Sharma, Kirti Chandra Sahu ยท 2026

We investigate the asymmetric freezing of a liquid droplet sliding on an inclined cold surface using numerical simulations based on the lubrication approximation. The combined effects of gravity, capiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking

Ray Iskander, Khaled Kirah ยท 2026

This is Paper 6 of a series of formally-verified analyses of masked NTT hardware for post-quantum cryptography; Paper 1 [1] established structural dependency analysis of the QANARY platform, and Paperโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Dielectric signatures of crystal-field and low-temperature correlated dynamics in NdMgAl11O19

Sonu Kumar, Gael Bastien, Maxim Savinov, Ma{l}gorzata Sliwinska-Bartkowiak, Ross H. Colman, Stanislav Kamba ยท 2026

We report dielectric spectroscopy of single-crystalline \ce{NdMgAl11O19}, a magnetoplumbite hexaaluminate in which localized \ce{Nd^{3+}} moments coexist with a polarizable \ce{AlO5} bipyramidal netwoโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware

Ray Iskander, Khaled Kirah ยท 2026

Barrett reduction is the nonlinear core of every practical NTT-based post-quantum cryptography implementation. Existing composition frameworks (ISW, t-SNI, PINI, DOM) address Boolean masking over GF(2โ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

A well posed and stable canonical evaporation model problem for phase-change in two-phase flows

Jan Nordstrom ยท 2026

We formulate a well posed interface formulation for canonical one-dimensional evaporation two-phase model problems (the Stefan and Sucking problems) commonly used to validate production codes. We focuโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Quark Number Susceptibilities and Conserved Charge Fluctuations in $(2+1)$-flavor QCD with M\"obius domain-wall fermions (MDWF)

Jishnu Goswami, Yasumichi Aoki, Hidenori Fukaya, Shoji Hashimoto, Issaku Kanamori, Takashi Kaneko, Yoshifumi Nakamura, David Ward, Yu Zhang (JLQCD Collaboration) ยท 2026

We calculate second- and selected fourth-order conserved-charge fluctuations in $(2+1)$-flavor QCD using M\"obius domain-wall fermions (MDWF) along a line of constant physics. Gauge ensembles were genโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

High-Girth Regular Quantum LDPC Codes from Affine-Coset Structures

Koki Okada, Kenta Kasai ยท 2026

We construct a quantum low-density parity-check code family from a length-$512$ Calderbank--Shor--Steane base matrix pair. The base pair is permutation-equivalent to the known SPC(3) product CSS code,โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware

Ray Iskander, Khaled Kirah ยท 2026

Post-quantum cryptographic (PQC) accelerators for ML-KEM (FIPS 203) and ML-DSA (FIPS 204) rely on pipelined Number Theoretic Transform (NTT) stages over $\mathbb{Z}_q$. Our prior work established struโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Epimorphisms of local cohomology modules, a general Peskine-Szpiro theorem, and an application to sheaf cohomology vanishing for thickenings

Andre Dosea, Majid Eghbali, Cleto B. Miranda-Neto ยท 2026

We study the surjectivity of certain maps involving local cohomology modules, which we can realize as a dual version of part of the investigation developed by Bhatt, Blickle, Lyubeznik, Singh and Zhanโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Preconditioners for the Onsager-Stefan-Maxwell equations for multicomponent diffusion

Kars Knook, Aaron Baier-Reinio, Patrick E. Farrell ยท 2026

The Onsager-Stefan-Maxwell (OSM) equations are an important model of mass transport in multicomponent flows with multiple chemical species. They describe the coupling of diffusive fluxes between speciโ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Dirac's theorem and the switch geometry of perfect matchings

Ross J. Kang, Clement Legrand-Duchesne ยท 2026

Let $G$ be a graph on an even number $n$ of vertices and let ${\cal M}_G$ be the collection of perfect matchings in $G$. Dirac's theorem says that if the minimum degree $\delta(G)$ of $G$ is at least โ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Heuristic Search for Minimum-Distance Upper-Bound Witnesses in Quantum APM-LDPC Codes

Kenta Kasai ยท 2026

This paper investigates certified upper bounds on the minimum distance of an explicit family of Calderbank-Shor-Steane quantum LDPC codes constructed from affine permutation matrices. All codes considโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators

Ray Iskander, Khaled Kirah ยท 2026

Post-quantum cryptographic (PQC) accelerators implementing ML-KEM (FIPS 203) and ML-DSA (FIPS 204) require side-channel resistance evidence for FIPS 140-3 certification. However, exact masking-verificโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Sharp-interface VOF method for phase-change simulations on unstructured meshes

Jan Kren, Bojan Niceno, Yohei Sato ยท 2026

Unstructured meshes are among the most versatile approaches for capturing non-canonical geometries in fluid dynamics simulations. Despite this, most high-fidelity first-principles phase-change models โ€ฆ

Read Paper โ†’
Mathematics Preprint PDF DOI

Openly disjoint cycles and directed tree-width of regular digraphs

Raphael Steiner ยท 2026

Given a digraph $D$, let $c(D)$ denote the largest integer $k$ such that there are $k$ openly disjoint cycles through a vertex, i.e., a collection of directed cycles $C_1,\ldots,C_k$ through a common โ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Irregularly Sampled Time Series Interpolation for Binary Evolution Simulations Using Dynamic Time Warping

Ugur Demir, Philipp M. Srivastava, Aggelos Katsaggelos, Vicky Kalogera, Santiago L. Tapia, Manuel Ballester, Shamal Lalvani, Patrick Koller, Jeff J. Andrews, Seth Gossage, Max M. Briel, Elizabeth Teng ยท 2026

Binary stellar evolution simulations are computationally expensive. Stellar population synthesis relies on these detailed evolution models at a fundamental level. Producing thousands of such models reโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Can present be the average of the future?

Z. Gedik ยท 2026

We introduce a two state vector formalism of quantum mechanics by generalizing Bell's hidden variable model to higher dimensions and by attributing a physical significance (a state evolving backward iโ€ฆ

Read Paper โ†’
Physics Preprint PDF DOI

Optimized Gottesman-Kitaev-Preskill Error Correction via Tunable Preprocessing

Xiang-Jiang Chen, Hao-Miao Jiang, Liu-Jun Wang, Qing Chen ยท 2026

The Gottesman-Kitaev-Preskill (GKP) code is a promising bosonic candidate for realizing fault-tolerant quantum computation. Among existing error-correction protocols for GKP code, the Steane-type scheโ€ฆ

Read Paper โ†’
Page 1 of 100 Next โ†’