English
Related papers

Related papers: The Density of Linear-time Properties

200 papers

In this paper we develop a method to transfer density results for primitive automatic sequences to logarithmic-density results for general automatic sequences. As an application we show that the logarithmic densities of any automatic…

Number Theory · Mathematics 2021-04-14 Boris Adamczewski , Michael Drmota , Clemens Müllner

In classical inverse linear optimization, one assumes a given solution is a candidate to be optimal. Real data is imperfect and noisy, so there is no guarantee this assumption is satisfied. Inspired by regression, this paper presents a…

Optimization and Control · Mathematics 2017-06-23 Timothy C. Y. Chan , Taewoo Lee , Daria Terekhov

We investigate weak lensing by large-scale structure using ray tracing through N-body simulations. Photon trajectories are followed through high resolution simulations of structure formation to make simulated maps of shear and convergence…

Astrophysics · Physics 2009-09-25 Bhuvnesh Jain , Uros Seljak , Simon White

Locally finite omega languages were introduced by Ressayre in [Journal of Symbolic Logic, Volume 53, No. 4, p.1009-1026]. They generalize omega languages accepted by finite automata or defined by monadic second order sentences. We study…

Logic in Computer Science · Computer Science 2008-12-18 Olivier Finkel

The random coefficients model is an extension of the linear regression model that allows for unobserved heterogeneity in the population by modeling the regression coefficients as random variables. Given data from this model, the statistical…

Methodology · Statistics 2018-03-15 Fabian Dunker , Konstantin Eckle , Katharina Proksch , Johannes Schmidt-Hieber

Determining dense semantic correspondences across objects and scenes is a difficult problem that underpins many higher-level computer vision algorithms. Unlike canonical dense correspondence problems which consider images that are spatially…

Computer Vision and Pattern Recognition · Computer Science 2015-05-18 Hilton Bristow , Jack Valmadre , Simon Lucey

Current work in lexical distributed representations maps each word to a point vector in low-dimensional space. Mapping instead to a density provides many interesting advantages, including better capturing uncertainty about a representation…

Computation and Language · Computer Science 2015-05-04 Luke Vilnis , Andrew McCallum

Suppose we want to seek the longest common subsequences (LCSs) of two strings as informative patterns that explain the relationship between the strings. The dynamic programming algorithm gives us a table from which all LCSs can be extracted…

Data Structures and Algorithms · Computer Science 2025-05-23 Yoshifumi Sakai

We establish new exponential in dimension lower bounds for the Maximum Halfspace Discrepancy problem, which models linear classification. Both are fundamental problems in computational geometry and machine learning in their exact and…

Computational Geometry · Computer Science 2026-03-20 Alexander Munteanu , Simon Omlor , Jeff M. Phillips

We prove the density hypothesis for wide families of arithmetic orbifolds arising from all division quaternion algebras over all number fields of bounded degree. Our power-saving bounds on the multiplicities of non-tempered representations…

Number Theory · Mathematics 2024-11-18 Mikołaj Frączyk , Gergely Harcos , Péter Maga , Djordje Milićević

These lecture notes consist of three chapters. In the first chapter we present oracle inequalities for the prediction error of the Lasso and square-root Lasso and briefly describe the scaled Lasso. In the second chapter we establish…

Statistics Theory · Mathematics 2014-10-01 Sara van de Geer

Time evolution of macroscopic systems is re-examined primarily through further analysis and extension of the equation of motion for the density matrix $\rho(t)$. Because $\rho$ contains both classical and quantum-mechanical probabilities it…

Statistical Mechanics · Physics 2009-11-10 W. T. Grandy

In this work, we conduct a joint analysis of both Vector Space and Language Models for IR using the mathematical framework of Quantum Theory. We shed light on how both models allocate the space of density matrices. A density matrix is shown…

Information Retrieval · Computer Science 2014-01-09 Alessandro Sordoni , Jian-Yun Nie

We further investigate the uniform regularity property of collections of sets via primal and dual characterizing constants. These constants play an important role in determining convergence rates of projection algorithms for solving…

Optimization and Control · Mathematics 2015-01-20 Alexander Y. Kruger , Nguyen H. Thao

The local number variance associated with a spherical sampling window of radius $R$ enables a classification of many-particle systems in $d$-dimensional Euclidean space according to the degree to which large-scale density fluctuations are…

Statistical Mechanics · Physics 2021-05-12 Salvatore Torquato , Jaeuk Kim , Michael A. Klatt

Two recent lower bounds on the compressibility of repetitive sequences, $\delta \le \gamma$, have received much attention. It has been shown that a length-$n$ string $S$ over an alphabet of size $\sigma$ can be represented within the…

Data Structures and Algorithms · Computer Science 2023-11-10 Tomasz Kociumaka , Gonzalo Navarro , Francisco Olivares

The distribution of differences of consecutive members of sequences of primes is investigated. A quantitative measure for oscillations among these differences is the curvature of the sequence. If the sequence is not too sparse, then sharp…

Number Theory · Mathematics 2017-02-02 Jörg Brüdern , Christian Elsholtz

Current research on bias in language models (LMs) predominantly focuses on data quality, with significantly less attention paid to model architecture and temporal influences of data. Even more critically, few studies systematically…

Computation and Language · Computer Science 2025-11-14 Mohsinul Kabir , Tasfia Tahsin , Sophia Ananiadou

We analyse preference inference, through consistency, for general preference languages based on lexicographic models. We identify a property, which we call strong compositionality, that applies for many natural kinds of preference…

Logic in Computer Science · Computer Science 2024-11-01 Nic Wilson , Anne-Marie George

We show the density theorem for the class of finite oriented trees ordered by the homomorphism order. We also show that every interval of oriented trees, in addition to be dense, is in fact universal. We end by considering the fractal…

Combinatorics · Mathematics 2019-06-11 Jan Hubička , Jaroslav Nešetřil , Pablo Oviedo