English
Related papers

Related papers: Average Size of Implicational Bases

200 papers

We develop a theory of average sizes of kernels of generic matrices with support constraints defined in terms of graphs and hypergraphs. We apply this theory to study unipotent groups associated with graphs. In particular, we establish…

Group Theory · Mathematics 2021-08-06 Tobias Rossmann , Christopher Voll

In the field of algebraic systems biology, the number of minimal polynomial models constructed using discretized data from an underlying system is related to the number of distinct reduced Gr\"obner bases for the ideal of the data points.…

Algebraic Geometry · Mathematics 2024-11-19 Anyu Zhang , Brandilyn Stigler

We identify a new notion of pseudorandomness for randomness sources, which we call the average bias. Given a distribution $Z$ over $\{0,1\}^n$, its average bias is: $b_{\text{av}}(Z) =2^{-n} \sum_{c \in \{0,1\}^n} |\mathbb{E}_{z \sim…

Computational Complexity · Computer Science 2019-05-31 Arnab Bhattacharyya , Philips George John , Suprovat Ghoshal , Raghu Meka

Let $G$ be a finite primitive permutation group on a set $\Omega$ with point stabiliser $H$. Recall that a subset of $\Omega$ is a base for $G$ if its pointwise stabiliser is trivial. We define the base size of $G$, denoted $b(G,H)$, to be…

Group Theory · Mathematics 2021-11-03 Timothy C. Burness

A base for a permutation group $G$ acting on a set $\Omega$ is a sequence $\mathcal{B}$ of points of $\Omega$ such that the pointwise stabiliser $G_{\mathcal{B}}$ is trivial. The base size of $G$ is the size of a smallest base for $G$. We…

Group Theory · Mathematics 2024-09-24 Coen del Valle

In formal concept analysis, it is well-known that the number of formal concepts can be exponential in the worst case. To analyze the average case, we introduce a probabilistic model for random formal contexts and prove that the average…

Artificial Intelligence · Computer Science 2021-08-02 Taro Sakurai

Let $G$ be a transitive permutation group on a finite set with solvable point stabiliser and assume that the solvable radical of $G$ is trivial. In 2010, Vdovin conjectured that the base size of $G$ is at most 5. Burness proved this…

Group Theory · Mathematics 2025-01-14 Anton A. Baykalov

We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…

Symbolic Computation · Computer Science 2017-05-09 Amir Hashemi , Werner M. Seiler

We present and study approximate notions of dimensional and margin complexity, which correspond to the minimal dimension or norm of an embedding required to approximate, rather then exactly represent, a given hypothesis class. We show that…

Machine Learning · Computer Science 2020-03-10 Pritish Kamath , Omar Montasser , Nathan Srebro

We estimate the number of principal ideals $ I $ of norm $ \mathrm{N}(I) \leq x $ in the family of the simplest cubic fields. The advantage of our result is that it provides the correct order of magnitude for arbitrary $ x \geq 1 $, even…

Number Theory · Mathematics 2025-01-14 Mikuláš Zindulka

In this paper, we consider the average size of independent edge sets, also called matchings, in a graph. We characterize the extremal graphs for the average size of matchings in general graphs and trees. In addition, we obtain inequalities…

Combinatorics · Mathematics 2019-03-26 Eric O. D. Andriantiana , Valisoa Razanajatovo Misanantenaina , Stephan Wagner

Propositional representation services such as truth maintenance systems offer powerful support for incremental, interleaved, problem-model construction and evaluation. Probabilistic inference systems, in contrast, have lagged behind in…

Artificial Intelligence · Computer Science 2013-03-08 Bruce D'Ambrosio

Assuming sufficiently many terms of a n-dimensional table defined over a field are given, we aim at guessing the linear recurrence relations with either constant or polynomial coefficients they satisfy. In many applications, the table terms…

Symbolic Computation · Computer Science 2021-11-19 Jérémy Berthomieu , Mohab Safey El Din

We propose a formal model for counterfactual estimation with unobserved confounding in "data-rich" settings, i.e., where there are a large number of units and a large number of measurements per unit. Our model provides a bridge between the…

Econometrics · Economics 2025-04-03 Alberto Abadie , Anish Agarwal , Devavrat Shah

Let $P_N(R)$ be the space of all real polynomials in $N$ variables with the usual inner product $<, >$ on it, given by integrating over the unit sphere. We start by deriving an explicit combinatorial formula for the bilinear form…

Number Theory · Mathematics 2009-12-14 Lenny Fukshansky

To estimate casual treatment effects, we propose a new matching approach based on the reduced covariates obtained from sufficient dimension reduction. Compared to the original covariates and the propensity score, which are commonly used for…

Methodology · Statistics 2017-02-03 Wei Luo , Yeying Zhu

We find the precise range of $(p,q)$ for which local averages along graphs of a class of two-variable polynomials in $\mathbb{R}^3$ are of restricted weak type $(p,q)$, given the hypersurfaces have Euclidean surface measure. We derive these…

Classical Analysis and ODEs · Mathematics 2021-01-01 Jeremy Schwend

In this paper, we consider low-degree polynomials of inner products between a collection of random vectors. We give an almost orthogonal basis for this vector space of polynomials when the random vectors are Gaussian, spherical, or Boolean.…

Combinatorics · Mathematics 2021-11-23 Chris Jones , Aaron Potechin

Standard random-effects meta-analysis methods perform poorly when applied to few studies only. Such settings however are commonly encountered in practice. It is unclear, whether or to what extent small-sample-size behaviour can be improved…

Methodology · Statistics 2019-01-15 Svenja E. Seide , Christian Röver , Tim Friede

Interacting particles on graphs are routinely used to study magnetic behaviour in physics, disease spread in epidemiology, and opinion dynamics in social sciences. The literature on mean-field approximations of such systems for large graphs…

Physics and Society · Physics 2022-07-15 Kai Cui , Wasiur R. KhudaBukhsh , Heinz Koeppl