Source author record

Tom Kelly

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

ResearcherUnclaimed source record

math.CO Computer Vision Machine Learning Programming Languages

Catalog footprint

Research overview

7works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Almost all optimally coloured complete graphs contain a rainbow Hamilton path

A subgraph $H$ of an edge-coloured graph is called rainbow if all of the edges of $H$ have different colours. In 1989, Andersen conjectured that every proper edge-colouring of $K_{n}$ admits a rainbow path of length $n-2$ . We show that almost all optimal edge-colourings of $K_{n}$ admit both (i) a rainbow Hamilton path and (ii) a rainbow cycle using all of the colours. This result demonstrates that Andersen's Conjecture holds for almost all optimal edge-colourings of $K_{n}$ and answers a recent question of Ferber, Jain, and Sudakov. Our result also has applications to the existence of transversals in random symmetric Latin squares.

preprint2022arXiv

Hamilton transversals in random Latin squares

Gyárfás and Sárközy conjectured that every $n\times n$ Latin square has a `cycle-free' partial transversal of size $n-2$ . We confirm this conjecture in a strong sense for almost all Latin squares, by showing that as $n \rightarrow \infty$ , all but a vanishing proportion of $n\times n$ Latin squares have a Hamilton transversal, i.e. a full transversal for which any proper subset is cycle-free. In fact, we prove a counting result that in almost all Latin squares, the number of Hamilton transversals is essentially that of Taranenko's upper bound on the number of full transversals. This result strengthens a result of Kwan (which in turn implies that almost all Latin squares also satisfy the famous Ryser-Brualdi-Stein conjecture).

preprint2022arXiv

Large-Scale Auto-Regressive Modeling Of Street Networks

We present a novel generative method for the creation of city-scale road layouts. While the output of recent methods is limited in both size of the covered area and diversity, our framework produces large traversable graphs of high quality consisting of vertices and edges representing complete street networks covering 400 square kilometers or more. While our framework can process general 2D embedded graphs, we focus on street networks due to the wide availability of training data. Our generative framework consists of a transformer decoder that is used in a sliding window manner to predict a field of indices, with each index encoding a representation of the local neighborhood. The semantics of each index is determined by a dictionary of context vectors. The index field is then input to a decoder to compute the street graph. Using data from OpenStreetMap, we train our system on whole cities and even across large countries such as the US, and finally compare it to the state of the art.

preprint2022arXiv

Projective Urban Texturing

This paper proposes a method for automatic generation of textures for 3D city meshes in immersive urban environments. Many recent pipelines capture or synthesize large quantities of city geometry using scanners or procedural modeling pipelines. Such geometry is intricate and realistic, however the generation of photo-realistic textures for such large scenes remains a problem. We propose to generate textures for input target 3D meshes driven by the textural style present in readily available datasets of panoramic photos capturing urban environments. Re-targeting such 2D datasets to 3D geometry is challenging because the underlying shape, size, and layout of the urban structures in the photos do not correspond to the ones in the target meshes. Photos also often have objects (e.g., trees, vehicles) that may not even be present in the target geometry. To address these issues we present a method, called Projective Urban Texturing (PUT), which re-targets textural style from real-world panoramic images to unseen urban meshes. PUT relies on contrastive and adversarial training of a neural architecture designed for unpaired image-to-texture translation. The generated textures are stored in a texture atlas applied to the target 3D mesh geometry. To promote texture consistency, PUT employs an iterative procedure in which texture synthesis is conditioned on previously generated, adjacent textures. We demonstrate both quantitative and qualitative evaluation of the generated textures.

preprint2020arXiv

Retrofitting Parallelism onto OCaml

OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming. This paper describes the design, a full-fledged implementation and evaluation of a mostly-concurrent garbage collector (GC) for the multicore extension of the OCaml programming language. Given that we propose to add parallelism to a widely used programming language with millions of lines of existing code, we face the challenge of maintaining backwards compatibility--not just in terms of the language features but also the performance of single-threaded code running with the new GC. To this end, the paper presents a series of novel techniques and demonstrates that the new GC strikes a balance between performance and feature backwards compatibility for sequential programs and scales admirably on modern multicore processors.

preprint2016arXiv

Exponentially Many 4-List-Colorings of Triangle-Free Graphs on Surfaces

Thomassen proved that every planar graph $G$ on $n$ vertices has at least $2^{n/9}$ distinct $L$ -colorings if $L$ is a 5-list-assignment for $G$ and at least $2^{n/10000}$ distinct $L$ -colorings if $L$ is a 3-list-assignment for $G$ and $G$ has girth at least five. Postle and Thomas proved that if $G$ is a graph on $n$ vertices embedded on a surface $Σ$ of genus $g$ , then there exist constants $ε,c_g > 0$ such that if $G$ has an $L$ -coloring, then $G$ has at least $c_g2^{εn}$ distinct $L$ -colorings if $L$ is a 5-list-assignment for $G$ or if $L$ is a 3-list-assignment for $G$ and $G$ has girth at least five. More generally, they proved that there exist constants $ε,α>0$ such that if $G$ is a graph on $n$ vertices embedded in a surface $Σ$ of fixed genus $g$ , $H$ is a proper subgraph of $G$ , and $ϕ$ is an $L$ -coloring of $H$ that extends to an $L$ -coloring of $G$ , then $ϕ$ extends to at least $2^{ε(n - α(g + |V(H)|))}$ distinct $L$ -colorings of $G$ if $L$ is a 5-list-assignment or if $L$ is a 3-list-assignment and $G$ has girth at least five. We prove the same result if $G$ is triangle-free and $L$ is a 4-list-assignment of $G$ , where $ε=\frac{1}{8}$ , and $α= 130$ .

preprint2016arXiv

Minimum Size of Feedback Vertex Sets of Planar Graphs of Girth at least Five

A feedback vertex set of a graph is a subset of vertices intersecting all cycles. We provide tight upper bounds on the size of a minimum feedback vertex set in planar graphs of girth at least five. We prove that if $G$ is a connected planar graph of girth at least five on $n$ vertices and $m$ edges, then $G$ has a feedback vertex set of size at most $\frac{2m-n+2}{7}$ . By Euler's formula, this implies that $G$ has a feedback vertex set of size at most $\frac{m}{5}$ and $\frac{n-2}{3}$ . These results not only improve a result of Dross, Montassier and Pinlou and confirm the girth-5 case of one of their conjectures, but also make the best known progress towards a conjecture of Kowalik, Lužar and Škrekovski and solves the subcubic case of their conjecture. An important step of our proof is providing an upper bound on the size of minimum feedback vertex sets of subcubic graphs with girth at least five with no induced subdivision of members of a finite family of non-planar graphs.

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.

Tom Kelly

Research overview

Is this your work?

7 publications

Almost all optimally coloured complete graphs contain a rainbow Hamilton path

Hamilton transversals in random Latin squares

Large-Scale Auto-Regressive Modeling Of Street Networks

Projective Urban Texturing

Retrofitting Parallelism onto OCaml

Exponentially Many 4-List-Colorings of Triangle-Free Graphs on Surfaces

Minimum Size of Feedback Vertex Sets of Planar Graphs of Girth at least Five

See the researcher in context

Building this map preview