English
Related papers

Related papers: Entropy bounds for conjunctive queries with functi…

200 papers

We have discussed the Tsallis entropy in finite $N$-unit nonextensive systems, by using the multivariate $q$-Gaussian probability distribution functions (PDFs) derived by the maximum entropy methods with the normal average and the…

Statistical Mechanics · Physics 2015-05-14 Hideo Hasegawa

This paper considers the query complexity of the functions in the family F_{N,M} of N-variable Boolean functions with onset size M, i.e., the number of inputs for which the function value is 1, where 1<= M <= 2^{N}/2 is assumed without loss…

We study the complexity of various fundamental counting problems that arise in the context of incomplete databases, i.e., relational databases that can contain unknown values in the form of labeled nulls. Specifically, we assume that the…

Databases · Computer Science 2021-04-29 Marcelo Arenas , Pablo Barceló , Mikaël Monet

Open-world query answering is the problem of deciding, given a set of facts, conjunction of constraints, and query, whether the facts and constraints imply the query. This amounts to reasoning over all instances that include the facts and…

Logic in Computer Science · Computer Science 2016-07-19 Antoine Amarilli , Michael Benedikt

We present a bouquet of continuity bounds for quantum entropies, falling broadly into two classes: First, a tight analysis of the Alicki-Fannes continuity bounds for the conditional von Neumann entropy, reaching almost the best possible…

Quantum Physics · Physics 2016-09-06 Andreas Winter

We solve a well known and long-standing open problem in database theory, proving that Conjunctive Query Finite Determinacy Problem is undecidable. The technique we use builds on the top of our Red Spider method which we developed in our…

Databases · Computer Science 2015-12-08 Tomasz Gogacz , Jerzy Marcinkowski

The description complexity of a model is the length of the shortest formula that defines the model. We study the description complexity of unary structures in first-order logic FO, also drawing links to semantic complexity in the form of…

Logic · Mathematics 2024-09-27 Reijo Jaakkola , Antti Kuusisto , Miikka Vilander

We find a new formula for the limit of the capacity of certain sequences of multidimensional semiconstrained systems as the dimension tends to infinity. We do so by generalizing the notion of independence entropy, originally studied in the…

Dynamical Systems · Mathematics 2017-09-19 Ohad Elishco , Tom Meyerovitch , Moshe Schwartz

Open-world query answering is the problem of deciding, given a set of facts, conjunction of constraints, and query, whether the facts and constraints imply the query. This amounts to reasoning over all instances that include the facts and…

Logic in Computer Science · Computer Science 2020-03-06 Antoine Amarilli , Michael Benedikt

We provide an upper bound on the quasi-relative entropy in terms of the trace distance. The bound is derived for two cases: 1) any operator monotone decreasing function and full rank mixed qubit or classical states; 2) a large class of…

Quantum Physics · Physics 2020-12-23 Anna Vershynina

We solve a well known, long-standing open problem in relational databases theory, showing that the conjunctive query determinacy problem (in its "unrestricted" version) is undecidable.

Databases · Computer Science 2015-12-08 Tomasz Gogacz , Jerzy Marcinkowski

In this paper, we prove topology dependent bounds on the number of rounds needed to compute Functional Aggregate Queries (FAQs) studied by Abo Khamis et al. [PODS 2016] in a synchronous distributed network under the model considered by…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-03-13 Michael Langberg , Shi Li , Sai Vikneshwar Mani Jayaraman , Atri Rudra

We establish upper and lower bounds for the metric entropy and bracketing entropy of the class of $d$-dimensional bounded monotonic functions under $L^p$ norms. It is interesting to see that both the metric entropy and bracketing entropy…

Statistics Theory · Mathematics 2007-06-13 Fuchang Gao , Jon A. Wellner

We give a characterization of Maximum Entropy/Minimum Relative Entropy inference by providing two `strong entropy concentration' theorems. These theorems unify and generalize Jaynes' `concentration phenomenon' and Van Campenhout and Cover's…

Information Theory · Computer Science 2008-09-17 Peter Grunwald

We study the complexity of various fundamental counting problems that arise in the context of incomplete databases, i.e., relational databases that can contain unknown values in the form of labeled nulls. Specifically, we assume that the…

Databases · Computer Science 2021-04-29 Marcelo Arenas , Pablo Barceló , Mikaël Monet

Conceptual dependencies (CDs) are particular kinds of key dependencies (KDs) and inclusion dependencies (IDs) that precisely characterize relational schemata modeled according to the main features of the Entity-Relationship (ER) model. An…

Databases · Computer Science 2013-12-10 Davide Martinenghi

We study the entropy bound for local quantum field theory (LQFT) with generalized uncertainty principle. The generalized uncertainty principle provides naturally a UV cutoff to the LQFT as gravity effects. Imposing the non-gravitational…

General Relativity and Quantum Cosmology · Physics 2009-03-24 Yong-Wan Kim , Hyung Won Lee , Yun Soo Myung

In this note we investigate the relationship between worst-case quantum query complexity and average-case classical query complexity. Specifically, we show that if a quantum computer can evaluate a total Boolean function f with bounded…

Computational Complexity · Computer Science 2012-01-19 Scott Aaronson

We study the data complexity of consistent query answering (CQA) on databases that may violate the primary key constraints. A repair is a maximal subset of the database satisfying the primary key constraints. For a Boolean query q, the…

Databases · Computer Science 2023-10-31 Paraschos Koutris , Xiating Ouyang , Jef Wijsen

We study the $generalized~model~counting~problem$, defined as follows: given a database, and a set of deterministic tuples, count the number of subsets of the database that include all deterministic tuples and satisfy the query. This…

Databases · Computer Science 2021-05-21 Batya Kenig , Dan Suciu