Expertini Research Research

Browse Research Papers

3,710+ open-access research outputs.

✕ Clear
🔍 michal certicky
Showing 3710 results for "michal certicky"
Physics Preprint PDF DOI

Onset of superactivation of quantum capacity

Marco Parentin, Bjarne Bergh, Nilanjana Datta, Mark M. Wilde · 2026

Superactivation of quantum capacity is the phenomenon whereby two quantum channels, each with zero quantum capacity, can exhibit a strictly positive capacity when used in tandem. In this work, we expl…

Read Paper →
Physics Preprint PDF DOI

Probing Sub-GeV Dark Matter via Migdal Effect-Induced Electron Excitations

Felix Kahlhoefer, Liangliang Su · 2026

The electron ionization predicted by the Migdal effect in dark matter-nucleus scattering enhances experimental sensitivity to sub-GeV dark matter. In this work, we demonstrate that lower-energy electr…

Read Paper →
Mathematics Preprint PDF DOI

Non-symmetrically $t$-affine functions revisited

Tibor Kiss, Dora Koroknai · 2026

In 2014, Michal Lewicki and Andrzej Olbry\'s proved that if a real valued function $f$ defined on the real line satisfies the conditional functional equation \[ f(tx + (1-t)y) = t f(x) + (1-t) f(y),\q…

Read Paper →
Mathematics Preprint PDF DOI

Counterexamples to an Extremal Conjecture for Random Cycle-Factors

Rishikesh Gajjala · 2026

Christoph, Dragani\'{c}, Gir\~{a}o, Hurley, Michel, and M\"{u}yesser conjectured that, when $d\mid n$, the expected number of cycles in a uniformly random cycle-factor of a directed $d$-regular graph …

Read Paper →
Physics Preprint PDF DOI

Gauge Theoretic Signal Processing II: Zero-Latency Whitening for Early Warning Pipelines

James Kennington, Joshua Black, Zach Yarbrough, Yun-Jing Huang, Chad Hanna, Leo Tsukada, Amanda Baylor, Olivia Godwin, Prathamesh Joshi, Cody Messick, Surabhi Sachdev, Ron Tapia · 2026

Low-latency gravitational-wave search pipelines provide early-warning alerts for multimessenger astrophysical transients. Current pipelines whiten the data stream using acausal, linear-phase filters, …

Read Paper →
Computer Science Preprint PDF DOI

Explanation Systems for Approval-Based Multiwinner Voting

Niclas Boehmer, Luca Kreisel, Jannik Peters · 2026

In approval-based multiwinner voting, voters express approval preferences over a set of candidates, and the goal is to return a winning committee. This model captures a broad range of subset selection…

Read Paper →
AI & Data Science Preprint PDF DOI

Rethinking Publication: A Certification Framework for AI-Enabled Research

Yang Lu, Rabimba Karanjai, Lei Xu, Weidong Shi · 2026

AI research pipelines now produce a growing share of publishable academic output, including work that meets existing peer-review standards for quality and novelty. Yet the publication system was built…

Read Paper →
Mathematics Preprint PDF DOI

Lusztig constants and endoscopy

Wille Liu, Wei-Hsuan Hsin, Cheng-Chiang Tsai · 2026

We prove that on a semisimple Lie algebra $\mathfrak{g}$ over a finite field of large characteristic, if a complex-valued invariant function $f$ and its Fourier transform $\hat f$ are both supported i…

Read Paper →
Engineering Preprint PDF DOI

Airspeed Forward-Invariance for Unpowered Fixed-Wing Aircraft

Huseyin Emre Tekaslan, Ella M. Atkins · 2026

Autonomous fixed-wing flight is becoming a key capability in aerial robotics, enabling sensing, mobility, and contingency operations across both small-scale Uncrewed Aircraft Systems and large-scale A…

Read Paper →
Mathematics Preprint PDF DOI

The Mihail-Vazirani conjecture and strong edge-expansion in random $0/1$ polytopes

Micha Christoph, Sahar Diskin, Lyuben Lichev, Benny Sudakov · 2026

We study the edge-expansion of the graph of a random $0/1$ polytope $P^d_p$, defined as the convex hull of a random subset of the points in $\{0,1\}^d$ where every point is retained independently and …

Read Paper →
Physics Preprint PDF DOI

Semi-device-independent self-testing of unitary operations

Rajdeep Paul, Prabuddha Roy, A. K. Pan · 2026

We present a hitherto unexplored semi-device-independent (SDI) self-testing protocol designed to certify unitary operations within a variant of prepare-measure framework. We consider a communication g…

Read Paper →
Mathematics Preprint PDF DOI

The Steklov spectrum of convex polygonal domains II: investigating spectral determination

Emily B. Dryden, Carolyn Gordon, Javier Moreno, Julie Rowlett, Carlos Villegas-Blas · 2026

The extent to which the geometry of an object is determined by some associated spectral data is a longstanding problem. We investigate this problem in the context of the Steklov spectrum, focusing on …

Read Paper →
AI & Data Science Preprint PDF DOI

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline

George Koomullil · 2026

We present a formally verified framework for patent analysis as a hybrid AI + Lean 4 pipeline. The DAG-coverage core (Algorithm 1b) is fully machine-verified once bounded match scores are fixed. Freed…

Read Paper →
Mathematics Preprint PDF DOI

Maximum Cuts and Fractional Cut Covers: A Computational Study of a Randomized Semidefinite Programming Approach

Nathan Benedetto Proenca, Marcel K. de Carli Silva, Cristiane M. Sato, Levent Tuncel · 2026

We present experimental work on a primal-dual framework simultaneously approximating maximum cut and weighted fractional cut-covering instances. In this primal-dual framework, we solve a semidefinite …

Read Paper →
Computer Science Preprint PDF DOI

Learning Unanimously Acceptable Lotteries via Queries

Davin Choo, Paul W. Goldberg, Nicholas Teh · 2026

Many high-stakes AI deployments proceed only if every stakeholder deems the system acceptable relative to their own minimum standard. With randomization over a finite menu of options, this becomes a f…

Read Paper →
AI & Data Science Preprint PDF DOI

TwinTrack: Post-hoc Multi-Rater Calibration for Medical Image Segmentation

Tristan Kirscher (ICube), Alexandra Ertl (DKFZ), Klaus Maier-Hein (DKFZ), Xavier Coubez (ICANS), Philippe Meyer (ICube), Sylvain Faisan (ICube) · 2026

Pancreatic ductal adenocarcinoma (PDAC) segmentation on contrast-enhanced CT is inherently ambiguous: inter-rater disagreement among experts reflects genuine uncertainty rather than annotation noise. …

Read Paper →
Mathematics Preprint PDF DOI

Belyi map verification using certified path tracking

Alexandre Guillemot, John Voight · 2026

We provide an end-to-end workflow to rigorously compute the monodromy of Belyi maps from exact equations over number fields using certified homotopy continuation. We then apply this method at scale to…

Read Paper →
AI & Data Science Preprint PDF DOI

No More Guessing: a Verifiable Gradient Inversion Attack in Federated Learning

Francesco Diana, Chuan Xu, Andre Nusser, Giovanni Neglia · 2026

Gradient inversion attacks threaten client privacy in federated learning by reconstructing training samples from clients' shared gradients. Gradients aggregate contributions from multiple records and …

Read Paper →
Physics Preprint PDF DOI

Breakdown of the Migdal-Eliashberg theory for electron-phonon systems. Role of polarons/bi-polarons

Andrey Chubukov, Ilya Esterlis, Artem Abanov, Nikolay Prokof'ev · 2026

The Migdal-Eliashberg theory (MET) describes electrons interacting with phonons in the adiabatic limit when the phonon Debye frequency is much smaller than the Fermi energy. A conventional belief is t…

Read Paper →
Physics Preprint PDF DOI

Limits of validity for Migdal-Eliashberg theory: role of polarons/bi-polarons

Nikolay Prokof'ev, Ilya Esterlis, Artem Abanov, Andrey Chubukov · 2026

It is widely believed that in an adiabatic limit a Fermi liquid state of an electron-phonon system described by Migdal-Eliashberg theory remains stable before a dressed phonon softens. Using Holstein …

Read Paper →
Page 1 of 186 Next →