Isomorphy up to complementation

Considering uniform hypergraphs, we prove that for every non-negative integer $h$ there exist two non-negative integers $k$ and $t$ with $k\leq t$ such that two $h$-uniform hypergraphs ${\mathcal H}$ and ${\mathcal H}'$ on the same set $V$ of vertices, with $| V| \geq t$, are equal up to complementation whenever ${\mathcal H}$ and ${\mathcal H}'$ are $k$-{hypomorphic up to complementation}. Let $s(h)$ be the least integer $k$ such that the conclusion above holds and let $v(h)$ be the least $t$ corresponding to $k=s(h)$. We prove that $s(h)= h+2^{\lfloor \log_2 h\rfloor}$. In the special case $h=2^{\ell}$ or $h=2^{\ell}+1$, we prove that $v(h)\leq s(h)+h$. The values $s(2)=4$ and $v(2)=6$ were obtained in a previous work.Comment: 15 page

On a stronger reconstruction notion for monoids and clones

Motivated by reconstruction results by Rubin, we introduce a new reconstruction notion for permutation groups, transformation monoids and clones, called automatic action compatibility, which entails automatic homeomorphicity. We further give a characterization of automatic homeomorphicity for transformation monoids on arbitrary carriers with a dense group of invertibles having automatic homeomorphicity. We then show how to lift automatic action compatibility from groups to monoids and from monoids to clones under fairly weak assumptions. We finally employ these theorems to get automatic action compatibility results for monoids and clones over several well-known countable structures, including the strictly ordered rationals, the directed and undirected version of the random graph, the random tournament and bipartite graph, the generic strictly ordered set, and the directed and undirected versions of the universal homogeneous Henson graphs.Comment: 29 pp; Changes v1-->v2::typos corr.|L3.5+pf extended|Rem3.7 added|C. Pech found out that arg of L5.3-v1 solved Probl2-v1|L5.3, C5.4, Probl2 of v1 removed|C5.2, R5.4 new, contain parts of pf of L5.3-v1|L5.2-v1 is now L5.3,merged with concl of C5.4-v1,L5.3-v2 extends C5.4-v1|abstract, intro updated|ref[24] added|part of L5.3-v1 is L2.1(e)-v2, another part merged with pf of L5.2-v1 => L5.3-v

Hypomorphy of graphs up to complementation

Let $V$ be a set of cardinality $v$ (possibly infinite). Two graphs $G$ and $G'$ with vertex set $V$ are {\it isomorphic up to complementation} if $G'$ is isomorphic to $G$ or to the complement $\bar G$ of $G$. Let $k$ be a non-negative integer, $G$ and $G'$ are {\it $k$-hypomorphic up to complementation} if for every $k$-element subset $K$ of $V$, the induced subgraphs $G\_{\restriction K}$ and $G'\_{\restriction K}$ are isomorphic up to complementation. A graph $G$ is {\it $k$-reconstructible up to complementation} if every graph $G'$ which is $k$-hypomorphic to $G$ up to complementation is in fact isomorphic to $G$ up to complementation. We give a partial characterisation of the set $\mathcal S$ of pairs $(n,k)$ such that two graphs $G$ and $G'$ on the same set of $n$ vertices are equal up to complementation whenever they are $k$-hypomorphic up to complementation. We prove in particular that $\mathcal S$ contains all pairs $(n,k)$ such that $4\leq k\leq n-4$. We also prove that 4 is the least integer $k$ such that every graph $G$ having a large number $n$ of vertices is $k$-reconstructible up to complementation; this answers a question raised by P. Ill

On Pauli Pairs

The state of a system in classical mechanics can be uniquely reconstructed if we know the positions and the momenta of all its parts. In 1958 Pauli has conjectured that the same holds for quantum mechanical systems. The conjecture turned out to be wrong. In this paper we provide a new set of examples of Pauli pairs, being the pairs of quantum states indistinguishable by measuring the spatial location and momentum. In particular, we construct a new set of spatially localized Pauli pairs.Comment: submitted to JM

The number of clones determined by disjunctions of unary relations

We consider finitary relations (also known as crosses) that are definable via finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite parameter set $\Gamma$. We prove that whenever $\Gamma$ contains at least one non-empty relation distinct from the full carrier set, there is a countably infinite number of polymorphism clones determined by relations that are disjunctively definable from $\Gamma$. Finally, we extend our result to finitely related polymorphism clones and countably infinite sets $\Gamma$.Comment: manuscript to be published in Theory of Computing System

Integration ontology for distributed database

In this work we will study the problem of the design of the "Integration Model for Distributed Database System". We particularly design the canonical model through the ontological handling of the information. The ontology is designed in a way that allows the description of a database like a set of representative terms of its different components. In this ontology, the definitions use classes, relations, functions, among other things, of databases, to describe their components, operations and restrictions, as well as, the process of integration. These databases can be Relational, Fuzzy, Intelligent and Multimedia1st International Workshop on Advanced Software Engineering: Expanding the Frontiers of Software Technology - Session 2: Software ModelingRed de Universidades con Carreras en Informática (RedUNCI