English
Related papers

Related papers: Explicit Directional Affine Extractors and Improve…

200 papers

This paper presents a method that generates affine inequalities to strengthen the second-order conic programming (SOCP) relaxation of an alternating current optimal power flow (AC OPF) problem. The affine inequalities serve as cuts to get…

Optimization and Control · Mathematics 2018-04-17 Zhixin Miao , Lingling Fan , Hossein Ghassempour , Bo Zeng

Many real-world machine learning tasks require outputs that satisfy hard constraints, such as physical conservation laws, structured dependencies in graphs, or column-level relationships in tabular data. Existing approaches rely either on…

Artificial Intelligence · Computer Science 2025-11-21 Pantelis Dogoulis , Fabien Bernier , Félix Fourreau , Karim Tit , Maxime Cordy

Let $s\in (0,1)$, and let $F\subset \mathbb{R}$ be a self similar set such that $0 < \dim_H F \leq s$ . We prove that there exists $\delta= \delta(s) >0$ such that if $F$ admits an affine embedding into a homogeneous self similar set $E$…

Dynamical Systems · Mathematics 2016-08-10 Amir Algom

In this paper, we show that while almost all functions require exponential size branching programs to compute, for all functions $f$ there is a branching program computing a doubly exponential number of copies of $f$ which has linear size…

Computational Complexity · Computer Science 2017-02-23 Aaron Potechin

We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by…

Functional Analysis · Mathematics 2025-03-14 Pablo Luis De Nápoli , Julián Haddad , Carlos Hugo Jiménez , Marcos Montenegro

We investigate the closure properties of read-once oblivious Algebraic Branching Programs (roABPs) under various natural algebraic operations and prove the following. - Non-closure under factoring: There is a sequence of explicit…

Computational Complexity · Computer Science 2025-09-16 Jules Armand , Prateek Dwivedi , Magnus Rahbek Dalgaard Hansen , Nutan Limaye , Srikanth Srinivasan , Sébastien Tavenas

We characterize the resolvability region for a large class of point-to-point channels with continuous alphabets. In our direct result, we prove not only the existence of good resolvability codebooks, but adapt an approach based on the…

Information Theory · Computer Science 2019-07-03 Matthias Frey , Igor Bjelaković , Sławomir Stańczak

We study deterministic extractors for oblivious bit-fixing sources (a.k.a. resilient functions) and exposure-resilient functions with small min-entropy: of the function's n input bits, k << n bits are uniformly random and unknown to the…

Computational Complexity · Computer Science 2010-12-14 Yakir Reshef , Salil Vadhan

We continue a line of work on extracting random bits from weak sources that are generated by simple processes. We focus on the model of locally samplable sources, where each bit in the source depends on a small number of (hidden) uniformly…

Computational Complexity · Computer Science 2022-05-30 Omar Alrabiah , Eshan Chattopadhyay , Jesse Goodman , Xin Li , João Ribeiro

It has been observed that transformers with greater depth (that is, more layers) have more capabilities, but can we establish formally which capabilities are gained? We answer this question with a theoretical proof followed by an empirical…

Computation and Language · Computer Science 2026-01-21 Andy Yang , Michaël Cadilhac , David Chiang

Accurate extraction of key information from 2D engineering drawings is crucial for high-precision manufacturing. Manual extraction is slow and labor-intensive, while traditional Optical Character Recognition (OCR) techniques often struggle…

Computer Vision and Pattern Recognition · Computer Science 2025-09-04 Muhammad Tayyab Khan , Zane Yong , Lequn Chen , Jun Ming Tan , Wenhe Feng , Seung Ki Moon

We establish a generic form of hardness amplification for the approximability of constant-depth Boolean circuits by polynomials. Specifically, we show that if a Boolean circuit cannot be pointwise approximated by low-degree polynomials to…

Computational Complexity · Computer Science 2014-04-29 Mark Bun , Justin Thaler

A $(k,\varepsilon)$-non-malleable extractor is a function ${\sf nmExt} : \{0,1\}^n \times \{0,1\}^d \to \{0,1\}$ that takes two inputs, a weak source $X \sim \{0,1\}^n$ of min-entropy $k$ and an independent uniform seed $s \in \{0,1\}^d$,…

Computational Complexity · Computer Science 2018-01-11 Tom Gur , Igor Shinkar

Many two-sample problems call for a comparison of two distributions from an exponential family. Density ratio estimation methods provide ways to solve such problems through direct estimation of the differences in natural parameters. The…

Statistics Theory · Mathematics 2025-02-19 Erika Banzato , Mathias Drton , Kian Saraf-Poor , Hongjian Shi

In this paper, we tie together two well studied topics related to finite Desarguesian affine and projective planes. The first topic concerns directions determined by a set, or even a multiset, of points in an affine plane. The second topic…

Combinatorics · Mathematics 2026-01-28 Sam Adriaensen , Tamás Szőnyi , Zsuzsa Weiner

Seeded extractors are fundamental objects in pseudorandomness and cryptography, and a deep line of work has designed polynomial-time seeded extractors with nearly-optimal parameters. However, existing constructions of seeded extractors with…

Computational Complexity · Computer Science 2026-02-10 Dean Doron , João Ribeiro

Algebraic Branching Programs(ABPs) are standard models for computing polynomials. Syntactic multilinear ABPs (smABPs) are restrictions of ABPs where every variable is allowed to occur at most once in every path from the start to the…

Computational Complexity · Computer Science 2018-04-25 C. Ramya , B. V. Raghavendra Rao

Randomness extractors and error correcting codes are fundamental objects in computer science. Recently, there have been several natural generalizations of these objects, in the context and study of tamper resilient cryptography. These are…

Cryptography and Security · Computer Science 2015-05-04 Eshan Chattopadhyay , Vipul Goyal , Xin Li

Recently, the alternating direction method of multipliers (ADMM) has found many efficient applications in various areas; and it has been shown that the convergence is not guaranteed when it is directly extended to the multiple-block case of…

Optimization and Control · Mathematics 2016-11-15 Min Tao , Xiaoming Yuan

We extend Robust Optimization to fractional programming, where both the objective and the constraints contain uncertain parameters. Earlier work did not consider uncertainty in both the objective and the constraints, or did not use Robust…

Optimization and Control · Mathematics 2015-08-21 Bram L. Gorissen