Expertini Research Research

Browse Research Papers

300+ open-access research outputs.

โœ• Clear
๐Ÿ” yu lu ๐Ÿ“‚ Computer Science
Showing 300 results for "yu lu" in Computer Science
Computer Science Preprint PDF DOI

SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality Set

Zhengyu Li, Curtis Bright, Stefan Trandafir, Adan Cabello, Vijay Ganesh ยท 2026

We present a search for small Kochen-Specker (KS) sets in dimension 3, specifically targeting extensions of the 13-ray Yu-Oh set, which has been proven to be the minimal witness to state-independent cโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

The Boolean surface area of polynomial threshold functions

Fan Chang, Joseph Slote, Alexander Volberg, Haonan Zhang ยท 2026

Polynomial threshold functions (PTFs) are an important low-complexity class of Boolean functions, with strong connections to learning theory and approximation theory. Recent work on learning and testiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

The Computational Complexity of Avoiding Strict Saddle Points in Constrained Optimization

Andreas Kontogiannis, Ioannis Panageas, Vasilis Pollatos ยท 2026

While first-order stationary points (FOSPs) are the traditional targets of non-convex optimization, they often correspond to undesirable strict saddle points. To circumvent this, attention has shiftedโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

An $\Omega ( (\log n / \log \log n)^2 )$ Cell-Probe Lower Bound for Dynamic Boolean Data Structures

Young Kun Ko ยท 2026

We resolve the long-standing open problem of Boolean dynamic data structure hardness, proving an unconditional lower bound of $\Omega((\log n / \log\log n)^2)$ for the Multiphase Problem of Patrascu [โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

ContractSkill: Repairable Contract-Based Skills for Multimodal Web Agents

Zijian Lu, Yiping Zuo, Yupeng Nie, Xin He, Weibei Fan, Lianyong Qi, Shi Jin ยท 2026

Self-generated skills for web agents are often unstable and can even hurt performance relative to direct acting. We argue that the key bottleneck is not only skill generation quality, but the fact thaโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

LLY Ricci Reweighting in Stochastic Block Models: Uniform Curvature Concentration and Finite-Horizon Tracking

Varun Kotharkar ยท 2026

We study curvature-driven edge reweighting for community recovery in the balanced two-block stochastic block model. Given a graph G with initial weights equal to the adjacency matrix, we iteratively uโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Efficient Solvers for Coupling-Aware Beamforming in Continuous Aperture Arrays

Geonhee Lee, Kwonyeol Park, Hyeongjun Park, Jinwoo An, Junil Choi ยท 2026

In continuous aperture arrays (CAPAs), careful consideration of the underlying physics is essential, among which electromagnetic (EM) mutual coupling plays a critical role in beamforming performance. โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Prompts and Prayers: the Rise of GPTheology

Ioana Cheres, Adrian Groza, Ioana Moldovan, Mick O'Hara, Connell Vaughan ยท 2026

Increasingly artificial intelligence (AI) has been cast in "god-like" roles (to name a few: film industry - Matrix, The Creator, Mission Impossible, Foundation, Dune etc.; literature - Children of Timโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

An Improved Upper Bound for the Euclidean TSP Constant Using Band Crossovers

Julia Gaudio, Charlie K. Guan ยท 2026

Consider $n$ points generated uniformly at random in the unit square, and let $L_n$ be the length of their optimal traveling salesman tour. Beardwood, Halton, and Hammersley (1959) showed $L_n / \sqrtโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Random Access in Grammar-Compressed Strings: Optimal Trade-Offs in Almost All Parameter Regimes

Anouk Duyster, Tomasz Kociumaka ยท 2026

A Random Access query to a string $T\in [0..\sigma)^n$ asks for the character $T[i]$ at a given position $i\in [0..n)$. In $O(n\log\sigma)$ bits of space, this fundamental task admits constant-time quโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

The SPARSE-Relativization Framework and Applications to Optimal Proof Systems

Fabian Egidy ยท 2026

We investigate the following longstanding open questions raised by Kraj\'i\v{c}ek and Pudl\'ak (J. Symb. L. 1989), Sadowski (FCT 1997), K\"obler and Messner (CCC 1998) and Messner (PhD 2000). Q1: Doโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Adaptive Beam Alignment using Noisy Twenty Questions Estimation with Trained Questioner

Chunsong Sun, Lin Zhou ยท 2026

The 6G communication systems use mmWave and MIMO technologies to achieve wide bandwidth and high throughout, leading to indispensable need for beam alignment to overcome severe signal attenuation. Traโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Remark on Downlink Massive Random Access

Yuchen Liao, Wenyi Zhang ยท 2026

In downlink massive random access (DMRA), a base station transmits messages to a typically small subset of active users, selected randomly from a massive number of total users. Explicitly encoding theโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Zero-free regions and concentration inequalities for hypergraph colorings in the local lemma regime

Jingcheng Liu, Yixiao Yu ยท 2026

We show that for $q$-colorings in $k$-uniform hypergraphs with maximum degree $\Delta$, if $k\ge 50$ and $q\ge 700\Delta^{\frac{5}{k-10}}$, there is a "Lee-Yang" zero-free strip around the interval $[โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Incorporating indel channels into average-case analysis of seed-chain-extend

Spencer Gibson, Yun William Yu ยท 2025

Given a sequence $s_1$ of $n$ letters drawn i.i.d. from an alphabet of size $\sigma$ and a mutated substring $s_2$ of length $m < n$, we often want to recover the mutation history that generated $s_2$โ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Structure-Aware Irregular Blocking Method for Sparse LU Factorization

Zhen Hu, Dongliang Xiong, Kai Huang, Changjun Wu, Xiaowen Jiang ยท 2025

In sparse LU factorization, nonzero elements after symbolic factorization tend to distribute in diagonal and right-bottom region of sparse matrices. However, regular 2D blocking on this non-uniform diโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Sampling Permutations with Cell Probes is Hard

Yaroslav Alekseev, Mika Goos, Konstantin Myasnikov, Artur Riazanov, Dmitry Sokolov ยท 2025

Suppose we are given an infinite sequence of input cells, each initialized with a uniform random symbol from $[n]$. How hard is it to output a sequence in $[n]^n$ that is close to a uniform random perโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A (Very) Nearly Optimal Sketch for $k$-Edge Connectivity Certificates

Pachara Sawettamalya, Huacheng Yu ยท 2025

In this note, we present a simple algorithm for computing a \emph{$k$-connectivity certificate} in dynamic graph streams. Our algorithm uses $O(n \log^2 n \cdot \max\{k, \log n \log k\})$ bits of spacโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients

Zhenbing Zeng, Yong Huang, Lu Yang, Yongsheng Rao ยท 2025

This paper presents a novel algorithm for constructing a sum-of-squares (SOS) decomposition for positive semi-definite polynomials with rational coefficients. Unlike previous methods that typically yiโ€ฆ

Read Paper โ†’
Computer Science Preprint PDF DOI

Fast Unbiased Sampling of Networks with Given Expected Degrees and Strengths

Xuanchi Li, Xin Wang, Sadamori Kojaku ยท 2025

The configuration model is a cornerstone of statistical assessment of network structure. While the Chung-Lu model is among the most widely used configuration models, it systematically oversamples edgeโ€ฆ

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