English
Related papers

Related papers: Counting polygon spaces, Boolean functions and maj…

200 papers

The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such statement is in itself a partial function, which allows only…

Logic in Computer Science · Computer Science 2017-08-21 Abhinav Aggarwal

We introduce a new method for estimating the growth of various quantities arising in dynamical systems. We apply our method to polygonal billiards on surfaces of constant curvature. For instance, we obtain power bounds of degree two plus…

Dynamical Systems · Mathematics 2010-12-14 Eugene Gutkin , Michal Rams

We prove bounds for the covering numbers of classes of convex functions and convex sets in Euclidean space. Previous results require the underlying convex functions or sets to be uniformly bounded. We relax this assumption and replace it…

Information Theory · Computer Science 2014-10-24 Adityanand Guntuboyina

The number of quantifiers needed to express first-order (FO) properties is captured by two-player combinatorial games called multi-structural games. We analyze these games on binary strings with an ordering relation, using a technique we…

Logic in Computer Science · Computer Science 2025-08-01 Marco Carmosino , Ronald Fagin , Neil Immerman , Phokion Kolaitis , Jonathan Lenchner , Rik Sengupta

We study the extremal competitive ratio of Boolean function evaluation. We provide the first non-trivial lower and upper bounds for classes of Boolean functions which are not included in the class of monotone Boolean functions. For the…

Data Structures and Algorithms · Computer Science 2014-02-11 Ferdinando Cicalese , Travis Gagie , Eduardo Laber , Martin Milanic

Extensive studies of Boolean functions are carried in many fields. The Mobius transform is often involved for these studies. In particular, it plays a central role in coincident functions, the class of Boolean functions invariant by this…

Cryptography and Security · Computer Science 2015-07-21 Morgan Barbier , Hayat Cheballah , Jean-Marie Le Bars

Can you decide if there is a coincidence in the numbers counting two different combinatorial objects? For example, can you decide if two regions in $\mathbb{R}^3$ have the same number of domino tilings? There are two versions of the…

Combinatorics · Mathematics 2024-09-16 Swee Hong Chan , Igor Pak

A simple way to generate a Boolean function is to take the sign of a real polynomial in $n$ variables. Such Boolean functions are called polynomial threshold functions. How many low-degree polynomial threshold functions are there? The…

Probability · Mathematics 2019-07-25 Pierre Baldi , Roman Vershynin

We give a complexity dichotomy for the problem of computing the partition function of a weighted Boolean constraint satisfaction problem. Such a problem is parameterized by a set of rational-valued functions, which generalize constraints.…

Computational Complexity · Computer Science 2009-06-03 Andrei Bulatov , Martin Dyer , Leslie Ann Goldberg , Markus Jalsenius , David Richerby

We consider some well-known families of two-player, zero-sum, perfect information games that can be viewed as special cases of Shapley's stochastic games. We show that the following tasks are polynomial time equivalent: - Solving simple…

Computer Science and Game Theory · Computer Science 2008-12-03 Vladimir Gurvich , Peter Bro Miltersen

It is shown that the counting function of n Boolean variables can be implemented with the formulae of size O(n^3.06) over the basis of all 2-input Boolean functions and of size O(n^4.54) over the standard basis. The same bounds follow for…

Data Structures and Algorithms · Computer Science 2012-08-21 Igor S. Sergeev

This paper has a twofold scope. The first one is to clarify and put in evidence the isomorphic character of two theories developed in quite different fields: on one side, threshold logic, on the other side, simple games. One of the main…

Computer Science and Game Theory · Computer Science 2017-07-10 Josep Freixas , Marc Freixas , Sascha Kurz

The goal of the paper is to relate complexity measures associated with the evaluation of Boolean functions (certificate complexity, decision tree complexity) and learning dimensions used to characterize exact learning (teaching dimension,…

Machine Learning · Computer Science 2012-05-22 Sergiu Goschin

Every simple game is a monotone Boolean function. For the other direction we just have to exclude the two constant functions. The enumeration of monotone Boolean functions with distinguishable variables is also known as the Dedekind's…

Combinatorics · Mathematics 2025-02-03 Sascha Kurz , Dani Samaniego

We show (almost) separation between certain important classes of Boolean functions. The technique that we use is to show that the total influence of functions in one class is less than the total influence of functions in the other class. In…

Computational Complexity · Computer Science 2020-10-23 Aniruddha Biswas , Palash Sarkar

We present a unified framework to study threshold functions for the existence of solutions to linear systems of equations in random sets which includes arithmetic progressions, sum-free sets, $B_{h}[g]$-sets and Hilbert cubes. In…

Combinatorics · Mathematics 2019-02-05 Juanjo Rué , Christoph Spiegel , Ana Zumalacárregui

The legal positions of a strong placement game, such as Domineering, form a simplicial complex called the legal complex. In this paper, we use the legal complex to study the game values taken on by the class of strong placement games using…

Combinatorics · Mathematics 2019-08-28 Svenja Huntemann

The famous CHSH game can be interpreted with Boolean functions while understanding the success probability in the classical scenario. In this paper, we have exhaustively studied all the Boolean functions on four variables to express binary…

Quantum Physics · Physics 2023-06-27 Jyotirmoy Basak , Subhamoy Maitra , Prabal Paul , Animesh Roy

In this paper, we continue the study of function spaces equipped with topologies of (strong) uniform convergence on bornologies initiated by Beer and Levi \cite{beer-levi:09}. In particular, we investigate some topological properties these…

General Topology · Mathematics 2014-03-28 Jiling Cao , Artur H. Tomita

Orthogonal polynomials with respect to a weight function defined on a wedge in the plane are studied. A basis of orthogonal polynomials is explicitly constructed for two large class of weight functions and the convergence of Fourier…

Classical Analysis and ODEs · Mathematics 2018-07-06 Sheehan Olver , Yuan Xu