Source author record

Dominic van der Zypen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.LO Discrete Mathematics math.GN Human-Computer Interaction

Catalog footprint

Research overview

12works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Counterexample to a conjecture of Aharoni and Korman

Ron Aharoni and Vladimir Korman conjectured that any hypergraph with only finite edges has a strongly minimal cover. We present a counterexample.

preprint2022arXiv

Graph embeddings into Hamming spaces

Graph embeddings deal with injective maps from a given simple, undirected graph $G=(V,E)$ into a metric space, such as $\mathbb{R}^n$ with the Euclidean metric. This concept is widely studied in computer science, see \cite{ge1}, but also offers attractive research in pure graph theory \cite{ge2}. In this note we show that any graph can be embedded into a particularly simple metric space: $\{0,1\}^n$ with the Hamming distance, for large enough $n$ .

preprint2021arXiv

On a Question of Grätzer and Lakser from the 1971 {\sl Transactions of the American Mathematical Society}

Grätzer and Lakser asked in the 1971 {\sl Transactions of the American Mathematical Society} if the pseudocomplemented distributive lattices in the amalgamation class of the subvariety generated by ${\bf 2}^n\oplus{\bf 1}$ can be characterized by the property of not having a $*$ -homomorphism onto ${\bf 2}^i\oplus{\bf 1}$ for $1<i<n$ . In this article, this question is answered. If you want to know the answer, you will have to read it (or skip to the last section).

preprint2018arXiv

Minimal covers of hypergraphs

For a hypergraph $H=(V,\mathcal E)$ , a subfamily $\mathcal C\subseteq \mathcal E$ is called a cover of the hypergraph if $\bigcup\mathcal C=\bigcup\mathcal E$ . A cover $\mathcal C$ is called minimal if each cover $\mathcal D\subseteq\mathcal C$ of the hypergraph $H$ coincides with $\mathcal C$ . We prove that for a hypergraph $H$ the following conditions are equivalent: (i) each countable subhypergraph of $H$ has a minimal cover; (ii) each non-empty subhypergraph of $H$ has a maximal edge; (iii) $H$ contains no isomorphic copy of the hypergraph $(ω,ω)$ . This characterization implies that a countable hypergraph $(V,\mathcal E)$ has a minimal cover if every infinite set $I\subseteq V$ contains a finite subset $F\subseteq I$ such that the family of edges $\mathcal E_F:=\{E\in\mathcal E:F\subseteq E\}$ is finite. Also we prove that a hypergraph $(V,\mathcal E)$ has a minimal cover if $\sup\{|E|:E\in\mathcal E\}<ω$ or for every $v\in V$ the family $\mathcal E_v:=\{E\in\mathcal E:v\in E\}$ is finite.

preprint2016arXiv

Hadwiger's conjecture: finite vs infinite graphs

We study some versions of the statement of Hadwiger's conjecture for finite as well as infinite graphs.

preprint2016arXiv

Order and interval topologies on complete Boolean algebras

We introduce and examine order convergence and the interval topology on partially ordered sets in general. Problem 76 of Birkhoff's "Lattice Theory" asks whether for complete Boolean algebras the order topology and the interval topology coincide. We answer this question in the negative.

preprint2016arXiv

Problems 85 and 87 of Birkhoff's "Lattice theory"

We solve problems 85 a(nd 87 from Birkhoff's book "Lattice Theory" (3rd edition)

preprint2015arXiv

Graph-theoretic autofill

Imagine a website that asks the user to fill in a web form and -- based on the input values -- derives a relevant figure, for instance an expected salary, a medical diagnosis or the market value of a house. How to deal with missing input values at run-time? Besides using fixed defaults, a more sophisticated approach is to use predefined dependencies (logical or correlational) between different fields to autofill missing values in an iterative way. Directed loopless graphs (in which cycles are allowed) are the ideal mathematical model to formalize these dependencies. We present two new graph-theoretic approaches to filling missing values at run-time.

preprint2015arXiv

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

Turing Award winner Juris Hartmanis introduced in 1959 lattices of subspaces of generalized partitions ("partitions of type n"; "geometries" if $n = 2$ ). Hartmanis states it is "an unsolved problem whether there are any incomplete lattice homomorphisms in" lattices of subspaces of geometries. (He continues, "[I]f so how can these geometries be characterized.") We give a positive answer to this question.

preprint2013arXiv

A weak form of Hadwiger's conjecture

We introduce the following weak version of Hadwiger's conjecture: If $G$ is a graph and $κ$ is a cardinal such that there is no coloring map $c:G \to κ$ , then $K_κ$ is a minor of $G$ . We prove that this statement is true for graphs with infinite chromatic number

preprint2013arXiv

Minimal R_1, minimal regular and minimal presober topologies

By means of filters, minimal R_1 and minimal regular topologies are characterized on suitable intervals consisting of non-trivial R_0 topologies.

preprint2012arXiv

Hadwiger's conjecture for graphs with infinite chromatic number

We construct a connected graph H such that (1) χ(H) = ω; (2) K_ω, the complete graph on ωpoints, is not a minor of H. Therefore Hadwiger's conjecture does not hold for graphs with infinite coloring number.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Dominic van der Zypen

Research overview

Is this your work?

12 publications

Counterexample to a conjecture of Aharoni and Korman

Graph embeddings into Hamming spaces

On a Question of Grätzer and Lakser from the 1971 {\sl Transactions of the American Mathematical Society}

Minimal covers of hypergraphs

Hadwiger's conjecture: finite vs infinite graphs

Order and interval topologies on complete Boolean algebras

Problems 85 and 87 of Birkhoff's "Lattice theory"

Graph-theoretic autofill

On incomplete lattice homomorphisms in subspaces of geometries: "half" a problem of Hartmanis from 1959

A weak form of Hadwiger's conjecture

Minimal R_1, minimal regular and minimal presober topologies

Hadwiger's conjecture for graphs with infinite chromatic number

See the researcher in context

Building this map preview