2,274 research outputs found
Accreditation of analogue quantum simulators
We present an accreditation protocol for analogue, i.e., continuous-time, quantum simulators. For a given simulation task, it provides an upper bound on the variation distance between the probability distributions at the output of an erroneous and error-free analogue quantum simulator. As its overheads are independent of the size and nature of the simulation, the protocol is ready for immediate usage and practical for the long term. It builds on the recent theoretical advances of strongly universal Hamiltonians and quantum accreditation as well as experimental progress toward the realization of programmable hybrid analogue–digital quantum simulators
An embedding technique in the study of word-representability of graphs
Word-representable graphs, which are the same as semi-transitively orientable graphs, generalize several fundamental classes of graphs. In this paper we propose a novel approach to study word-representability of graphs using a technique of homomorphisms. As a proof of concept, we apply our method to show word-representability of the simplified graph of overlapping permutations that we introduce in this paper. For another application, we obtain results on word-representability of certain subgraphs of simplified de Bruijn graphs that were introduced recently by Petyuk and studied in the context of word-representability
LIPIcs, Volume 251, ITCS 2023, Complete Volume
LIPIcs, Volume 251, ITCS 2023, Complete Volum
IPASIR-UP: User Propagators for CDCL
Modern SAT solvers are frequently embedded as sub-reasoning engines into more complex tools for addressing problems beyond the Boolean satisfiability problem. Examples include solvers for Satisfiability Modulo Theories (SMT), combinatorial optimization, model enumeration and counting. In such use cases, the SAT solver is often able to provide relevant information beyond the satisfiability answer. Further, domain knowledge of the embedding system (e.g., symmetry properties or theory axioms) can be beneficial for the CDCL search, but cannot be efficiently represented in clausal form. In this paper, we propose a general interface to inspect and influence the internal behaviour of CDCL SAT solvers. Our goal is to capture the most essential functionalities that are sufficient to simplify and improve use cases that require a more fine-grained interaction with the SAT solver than provided via the standard IPASIR interface. For our experiments, we extend CaDiCaL with our interface and evaluate it on two representative use cases: enumerating graphs within the SAT modulo Symmetries framework (SMS), and as the main CDCL(T) SAT engine of the SMT solver cvc5
Jake pozicione igre
In this thesis, we study 2-player combinatorial games on graphs. We devote a lot of attention to strong positional games, where both players have the same goal. First, we consider the so-called fixed graph strong Avoider-Avoider game in which two players called Red and Blue alternately claim edges of the complete graph Kn, and the player who first completes a copy of a fixed graph F loses the game. If neither of the players claimed a copy of F in his graph and all the elements of the board are claimed, the game is declared a draw. Even though these games have been studied for decades, there are very few known results. We make a step forward by proving that Blue has a winning strategy it two different games of this kind. Furthermore, we introduce strong CAvoiderCAvoider F games where the claimed edges of each player must form a connected graph throughout the game. This is a natural extension of the strong Avoider-Avoider games, with a connectedness constraint. We prove that Blue can win in three standard CAvoider-CAvoider F games. Next, we study strong Maker-Maker F games, where now, the player who first occupies a copy of F is the winner. It is well-known that the outcome of these games when both players play optimally can be either the first player's win or a draw. We are interested in finding the achievement number a(F) of a strong Maker-Maker F game, that is, the smallest n for which Red has a winning strategy. We can find the exact value a(F) for several graphs F, including paths, cycles, perfect matchings, and a subclass of trees on n vertices. We also give the upper and lower bounds for the achievement number of stars and trees. Finally, we introduce generalized saturation games as a natural extension of two different types of combinatorial games, saturation games and Constructor-Blocker games. In the generalized saturation game, two graphs H and F are given in advance. Two players called Max and Mini alternately claim unclaimed edges of the complete graph Kn and together gradually building the game graph G, the graph that consists of all edges claimed by both players. The graph G must never contain a copy of F, and the game ends when there are no more moves, i.e. when G is a saturated F-free graph. We are interested in the score of this game, that is, the number of copies of the graph H in G at the end of the game. Max wants to maximize this score, whereas Mini tries to minimize it. The game is played under the assumption that both players play optimally. We study several generalized saturation games for natural choices of F and H, in an effort to locate the score of the game as precisely as possible.У овој тези проучавамо комбинаторне игре на графовима које играју 2 играча. Посебну пажњу посвећујемо јаким позиционим играма, у којима оба играча имају исти циљ. Прво, посматрамо такозвану јаку Авојдер-Авојдер игру са задатим фиксним графом у којој два играча, Црвени и Плави наизменично селектују гране комплетног графа Kn, а играч који први селектује копију фиксног графа F губи игру. Ако ниједан од играча не садржи копију од F у свом графу и сви елементи табле су селектовани, игра се проглашава нерешеном. Иако су ове игре проучаване деценијама, врло је мало познатих резултата. Ми смо направили корак напред доказавши да Плави има победничку стратегију у две различите игре ове врсте. Такође, уводимо јаке ЦАвојдер-ЦАвојдер F игре у којима граф сваког играча мора остати повезан током игре. Ово је природно проширење јаких Авојдер-Авојдер игара, са ограничењем повезаности. Доказујемо да Плави може да победи у три стандардне ЦАвојдер-ЦАвојдер F игре. Затим проучавамо јаке Мејкер-Мејкер F игре, у којима је играч који први селектује копију од F победник. Познато је да исход ових игара уколико оба играча играју оптимално може бити или победа првог играча или нерешено. Циљ нам је да пронађемо ачивмент број а(F) јаке Мејкер-Мејкер F игре, односно најмање n за које Црвени има победничку стратегију. Дајемо тачну вредност a(F) за неколико графова F, укључујући путеве, циклусе, савршене мечинге и поткласу стабала са n чворова. Такође, дајемо горње и доње ограничење ачивмент броја за звезде и стабла. Коначно, уводимо уопштене игре сатурације као природно проширење две различите врсте комбинаторних игара, игара сатурације и Конструктор-Блокер игара. У уопштеној игри сатурације унапред су дата два графа H и F. Два играча по имену Макс и Мини наизменично селектују слободне гране комплетног графа Kn и заједно постепено граде граф игре G, који се састоји од свих грана које су селектовала оба играча. Граф G не сме да садржи копију од F, а игра се завршава када више нема потеза, односно када је G сатуриран граф који не садржи F. Занима нас резултат ове игре, односно, број копија графа H у G на крају игре. Макс жели да максимизира овај резултат, док Мини покушава да га минимизира. Игра се под претпоставком да оба играча играју оптимално. Проучавамо неколико уопштених игара сатурације за природне изборе F и H, у настојању да што прецизније одредимо резултат игре.U ovoj tezi proučavamo kombinatorne igre na grafovima koje igraju 2 igrača. Posebnu pažnju posvećujemo jakim pozicionim igrama, u kojima oba igrača imaju isti cilj. Prvo, posmatramo takozvanu jaku Avojder-Avojder igru sa zadatim fiksnim grafom u kojoj dva igrača, Crveni i Plavi naizmenično selektuju grane kompletnog grafa Kn, a igrač koji prvi selektuje kopiju fiksnog grafa F gubi igru. Ako nijedan od igrača ne sadrži kopiju od F u svom grafu i svi elementi table su selektovani, igra se proglašava nerešenom. Iako su ove igre proučavane decenijama, vrlo je malo poznatih rezultata. Mi smo napravili korak napred dokazavši da Plavi ima pobedničku strategiju u dve različite igre ove vrste. Takođe, uvodimo jake CAvojder-CAvojder F igre u kojima graf svakog igrača mora ostati povezan tokom igre. Ovo je prirodno proširenje jakih Avojder-Avojder igara, sa ograničenjem povezanosti. Dokazujemo da Plavi može da pobedi u tri standardne CAvojder-CAvojder F igre. Zatim proučavamo jake Mejker-Mejker F igre, u kojima je igrač koji prvi selektuje kopiju od F pobednik. Poznato je da ishod ovih igara ukoliko oba igrača igraju optimalno može biti ili pobeda prvog igrača ili nerešeno. Cilj nam je da pronađemo ačivment broj a(F) jake Mejker-Mejker F igre, odnosno najmanje n za koje Crveni ima pobedničku strategiju. Dajemo tačnu vrednost a(F) za nekoliko grafova F, uključujući puteve, cikluse, savršene mečinge i potklasu stabala sa n čvorova. Takođe, dajemo gornje i donje ograničenje ačivment broja za zvezde i stabla. Konačno, uvodimo uopštene igre saturacije kao prirodno proširenje dve različite vrste kombinatornih igara, igara saturacije i Konstruktor-Bloker igara. U uopštenoj igri saturacije unapred su data dva grafa H i F. Dva igrača po imenu Maks i Mini naizmenično selektuju slobodne grane kompletnog grafa Kn i zajedno postepeno grade graf igre G, koji se sastoji od svih grana koje su selektovala oba igrača. Graf G ne sme da sadrži kopiju od F, a igra se završava kada više nema poteza, odnosno kada je G saturiran graf koji ne sadrži F. Zanima nas rezultat ove igre, odnosno, broj kopija grafa H u G na kraju igre. Maks želi da maksimizira ovaj rezultat, dok Mini pokušava da ga minimizira. Igra se pod pretpostavkom da oba igrača igraju optimalno. Proučavamo nekoliko uopštenih igara saturacije za prirodne izbore F i H, u nastojanju da što preciznije odredimo rezultat igre
Local computation algorithms for hypergraph coloring – following Beck’s approach
We investigate local computation algorithms (LCA) for two-coloring of k-uniform hypergraphs. We
focus on hypergraph instances that satisfy strengthened assumption of the Lovász Local Lemma
of the form , where ∆ is the bound on the maximum edge degree. The main
question which arises here is for how large α there exists an LCA that is able to properly color such
hypergraphs in polylogarithmic time per query. We describe briefly how upgrading the classical
sequential procedure of Beck from 1991 with Moser and Tardos’ Resample yields polylogarithmic
LCA that works for α up to 1/4. Then, we present an improved procedure that solves wider range
of instances by allowing α up to 1/3
On the graph theory of majority illusions
The popularity of an opinion in one's direct circles is not necessarily a
good indicator of its popularity in one's entire community. For instance, when
confronted with a majority of opposing opinions in one's circles, one might get
the impression that they belong to a minority. From this perspective, network
structure makes local information about global properties of the group
potentially inaccurate. However, the way a social network is wired also
determines what kind of information distortion can actually occur. In this
paper, we discuss which classes of networks allow for a majority of agents to
have the wrong impression about what the majority opinion is, that is, to be in
a 'majority illusion'
Query Rewriting with Disjunctive Existential Rules and Mappings
We consider the issue of answering unions of conjunctive queries (UCQs) with
disjunctive existential rules and mappings. While this issue has already been
well studied from a chase perspective, query rewriting within UCQs has hardly
been addressed yet. We first propose a sound and complete query rewriting
operator, which has the advantage of establishing a tight relationship between
a chase step and a rewriting step. The associated breadth-first query rewriting
algorithm outputs a minimal UCQ-rewriting when one exists. Second, we show that
for any ``truly disjunctive'' nonrecursive rule, there exists a conjunctive
query that has no UCQ-rewriting. It follows that the notion of finite
unification sets (fus), which denotes sets of existential rules such that any
UCQ admits a UCQ-rewriting, seems to have little relevance in this setting.
Finally, turning our attention to mappings, we show that the problem of
determining whether a UCQ admits a UCQ-rewriting through a disjunctive mapping
is undecidable. We conclude with a number of open problems.Comment: This report contains the paper accepted at KR 2023 and an appendix
with full proofs. 24 page
A computational approach for finding 6-List-critical graphs on the Torus
La coloració de grafs dibuixats a superfícies és un àrea antiga i molt estudiada de la teoria de grafs. Thomassen va demostrar que hi ha un nombre finit de grafs 6-crítics a qualsevol superfície fixa i va proporcionar el conjunt explícit dels grafs 6-crítics al torus. Després, Postle va demostrar que hi ha un nombre finit de grafs 6-llista-crítics a qualsevol superfície fixa. Amb l'objectiu de trobar el conjunt de grafs 6-llista-crítics al torus, desenvolupem i implementem tècniques algorítmiques per la cerca per ordinador de grafs crítics en diferents situacions de coloració per llistes.La coloración de grafos dibujados en superficies es un área antigua y muy estudiada de la teoría de grafos. Thomassen demostró que hay un número finito de grafos 6-críticos en cualquier superficie fija y proporcionó el conjunto explícito de los grafos 6-críticos en el toro. Después, Postle demostró que hay un número finito de grafos 6-lista-críticos en cualquier superficie fija. Con el objetivo de encontrar el conjunto de grafos 6-lista-críticos en el toro, desarrollamos e implementamos técnicas algorítmicas para la búsqueda por ordenador de grafos críticos en diferentes situaciones de coloración por listas.Coloring graphs embedded on surfaces is an old and well-studied area of graph theory. Thomassen proved that there are finitely many 6-critical graphs on any fixed surface and provided the explicit set of 6-critical graphs on the torus. Later, Postle proved that there are finitely many 6-list-critical graphs on any fixed surface. With the goal of finding the set of 6-list-critical graphs on the torus, we develop and implement algorithmic techniques for computer search of critical graphs in different list-coloring settings.Outgoin
Stability of Homomorphisms, Coverings and Cocycles I: Equivalence
This paper is motivated by recent developments in group stability, high
dimensional expansion, local testability of error correcting codes and
topological property testing. In Part I, we formulate and motivate three
stability problems: 1. Homomorphism stability: Are almost homomorphisms close
to homomorphisms? 2. Covering stability: Are almost coverings of a cell complex
close to genuine coverings of it? 3. Cocycle stability: Are 1-cochains whose
coboundary is small close to 1-cocycles? We then prove that these three
problems are equivalent.Comment: 32 page
- …