Source author record

David McKinnon

David McKinnon appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

13 published item(s)

preprint2022arXiv

ASpanFormer: Detector-Free Image Matching with Adaptive Span Transformer

Generating robust and reliable correspondences across images is a fundamental task for a diversity of applications. To capture context at both global and local granularity, we propose ASpanFormer, a Transformer-based detector-free matcher that is built on hierarchical attention structure, adopting a novel attention operation which is capable of adjusting attention span in a self-adaptive manner. To achieve this goal, first, flow maps are regressed in each cross attention phase to locate the center of search region. Next, a sampling grid is generated around the center, whose size, instead of being empirically configured as fixed, is adaptively computed from a pixel uncertainty estimated along with the flow map. Finally, attention is computed across two images within derived regions, referred to as attention span. By these means, we are able to not only maintain long-range dependencies, but also enable fine-grained attention among pixels of high relevance that compensates essential locality and piece-wise smoothness in matching tasks. State-of-the-art accuracy on a wide range of evaluation benchmarks validates the strong matching capability of our method.

preprint2022arXiv

Critical Regularizations for Neural Surface Reconstruction in the Wild

Neural implicit functions have recently shown promising results on surface reconstructions from multiple views. However, current methods still suffer from excessive time complexity and poor robustness when reconstructing unbounded or complex scenes. In this paper, we present RegSDF, which shows that proper point cloud supervisions and geometry regularizations are sufficient to produce high-quality and robust reconstruction results. Specifically, RegSDF takes an additional oriented point cloud as input, and optimizes a signed distance field and a surface light field within a differentiable rendering framework. We also introduce the two critical regularizations for this optimization. The first one is the Hessian regularization that smoothly diffuses the signed distance values to the entire distance field given noisy and incomplete input. And the second one is the minimal surface regularization that compactly interpolates and extrapolates the missing geometry. Extensive experiments are conducted on DTU, BlendedMVS, and Tanks and Temples datasets. Compared with recent neural surface reconstruction approaches, RegSDF is able to reconstruct surfaces with fine details even for open scenes with complex topologies and unstructured camera trajectories.

preprint2022arXiv

Development and validation of an astronomy self-efficacy instrument for understanding and doing

This paper presents a new astronomy self efficacy instrument, composed of two factors, one relating to learning astronomy content, which we call astronomy personal self efficacy, and the other relating to the use of astronomical instrumentation, specifically the use of remote robotic telescopes for data collection. The latter is referred to as the astronomy instrumental self efficacy factor. The instrument has been tested for reliability and construct validity. Reliability testing showed that factor 1 had a Cronbachs alpha of 0.901 and factor 2 had a Cronbachs alpha of 0.937. Construct validity was established by computing one way analyses of variances, with the p value suitably protected, using independent variables peripherally related to the constructs. These analyses demonstrate that both scales possess high construct validity. The development of this astronomy specific instrument is an important step in evaluating self efficacy as a precursor to investigating the construct of science identity in the field of astronomy.

preprint2022arXiv

NeILF: Neural Incident Light Field for Physically-based Material Estimation

We present a differentiable rendering framework for material and lighting estimation from multi-view images and a reconstructed geometry. In the framework, we represent scene lightings as the Neural Incident Light Field (NeILF) and material properties as the surface BRDF modelled by multi-layer perceptrons. Compared with recent approaches that approximate scene lightings as the 2D environment map, NeILF is a fully 5D light field that is capable of modelling illuminations of any static scenes. In addition, occlusions and indirect lights can be handled naturally by the NeILF representation without requiring multiple bounces of ray tracing, making it possible to estimate material properties even for scenes with complex lightings and geometries. We also propose a smoothness regularization and a Lambertian assumption to reduce the material-lighting ambiguity during the optimization. Our method strictly follows the physically-based rendering equation, and jointly optimizes material and lighting through the differentiable rendering process. We have intensively evaluated the proposed method on our in-house synthetic dataset, the DTU MVS dataset, and real-world BlendedMVS scenes. Our method is able to outperform previous methods by a significant margin in terms of novel view rendering quality, setting a new state-of-the-art for image-based material and lighting estimation.

preprint2020arXiv

Approximating rational points on toric varieties

Given a smooth projective variety $X$ over a number field $k$ and $P\in X(k)$, the first author conjectured that in a precise sense, any sequence that approximates $P$ sufficiently well must lie on a rational curve. We prove this conjecture for smooth split toric surfaces conditional on Vojta's conjecture. More generally, we show that if $X$ is a $\mathbb{Q}$-factorial terminal split toric variety of arbitrary dimension, then $P$ is better approximated by points on a rational curve than by any Zariski dense sequence.

preprint2020arXiv

Codimension two integral points on some rationally connected threefolds are potentially dense

Let $V$ be a smooth, projective, rationally connected variety, defined over a number field $k$, and let $Z\subset V$ be a closed subset of codimension at least two. In this paper, for certain choices of $V$, we prove that the set of $Z$-integral points is potentially Zariski dense, in the sense that there is a finite extension $K$ of $k$ such that the set of points $P\in V(K)$ that are $Z$-integral is Zariski dense in $V$. This gives a positive answer to a question of Hassett and Tschinkel from 2001.

preprint2020arXiv

What fraction of an $S_n$-orbit can lie on a hyperplane?

Consider the $S_n$-action on $\mathbb{R}^n$ given by permuting coordinates. This paper addresses the following problem: compute $\max_{v,H} |H\cap S_nv|$ as $H\subset\mathbb{R}^n$ ranges over all hyperplanes through the origin and $v\in\mathbb{R}^n$ ranges over all vectors with distinct coordinates that are not contained in the hyperplane $\sum x_i=0$. We conjecture that for $n\geq3$, the answer is $(n-1)!$ for odd $n$, and $n(n-2)!$ for even $n$. We prove that if $p$ is the largest prime with $p\leq n$, then $\max_{v,H} |H\cap S_nv|\leq \frac{n!}{p}$. In particular, this proves the conjecture when $n$ or $n-1$ is prime.

preprint2015arXiv

Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets

We generalize an efficient exact synthesis algorithm for single-qubit unitaries over the Clifford+T gate set which was presented by Kliuchnikov, Maslov and Mosca. Their algorithm takes as input an exactly synthesizable single-qubit unitary--one which can be expressed without error as a product of Clifford and T gates--and outputs a sequence of gates which implements it. The algorithm is optimal in the sense that the length of the sequence, measured by the number of T gates, is smallest possible. In this paper, for each positive even integer $n$ we consider the "Clifford-cyclotomic" gate set consisting of the Clifford group plus a z-rotation by $\fracπ{n}$. We present an efficient exact synthesis algorithm which outputs a decomposition using the minimum number of $\fracπ{n}$ z-rotations. For the Clifford+T case $n=4$ the group of exactly synthesizable unitaries was shown to be equal to the group of unitaries with entries over the ring $\mathbb{Z}[e^{i\fracπ{n}},1/2]$. We prove that this characterization holds for a handful of other small values of $n$ but the fraction of positive even integers for which it fails to hold is 100%.

preprint2015arXiv

Seshadri constants, Diophantine approximation, and Roth's Theorem for arbitrary varieties

In this paper, we associate an invariant $α_{x}(L)$ to an algebraic point $x$ on an algebraic variety $X$ with an ample line bundle $L$. The invariant $α$ measures how well $x$ can be approximated by rational points on $X$, with respect to the height function associated to $L$. We show that this invariant is closely related to the Seshadri constant $ε_{x}(L)$ measuring local positivity of $L$ at $x$, and in particular that Roth's theorem on $\mathbf{P}^1$ generalizes as an inequality between these two invariants valid for arbitrary projective varieties.

preprint2011arXiv

Ideals of degree one contribute most of the height

Let $k$ be a number field, $f(x)\in k[x]$ a polynomial over $k$ with $f(0)\neq 0$, and $Ø_{k,S}^*$ the group of $S$-units of $k$, where $S$ is an appropriate finite set of places of $k$. In this note, we prove that outside of some natural exceptional set $T\subset Ø_{k,S}^*$, the prime ideals of $Ø_k$ dividing $f(u)$, $u\in Ø_{k,S}^*\setminus T$, mostly have degree one over $\Q$; that is, the corresponding residue fields have degree one over the prime field. We also formulate a conjectural analogue of this result for rational points on an elliptic curve over a number field, and deduce our conjecture from Vojta's Conjecture. We prove this conjectural analogue in certain cases when the elliptic curve has complex multiplication.

preprint2010arXiv

K 1-6: an asymmetric planetary nebula with a binary central star

We present new imaging data and archival multiwavelength observations of the little studied emission nebula K 1-6 and its central star. Narrow-band images in H-alpha (+ [NII]) and [OIII] taken with the Faulkes Telescope North reveal a stratified, asymmetric, elliptical nebula surrounding a central star which has the colours of a late G- or early K-type subgiant or giant. GALEX ultraviolet images reveal a very hot subdwarf or white dwarf coincident in position with this star. The cooler, optically dominant star is strongly variable with a period of 21.312 +/- 0.008 days, and is possibly a high amplitude member of the RS CVn class, although an FK Com classification is also possible. Archival ROSAT data provide good evidence that the cool star has an active corona. We conclude that K 1-6 is most likely an old bona fide planetary nebula at a distance of ~1.0 kpc, interacting with the interstellar medium, and containing a binary or ternary central star. The observations and data analyses reported in this paper were conducted in conjunction with Year 11 high school students as part of an Australian Research Council Linkage Grant science education project, denoted Space To Grow, conducted jointly by professional astronomers, educational researchers, teachers, and high-school students.

preprint2010arXiv

Vojta's Conjecture implies the Batyrev-Manin Conjecture for $K3$ surfaces

Vojta's Conjectures are well known to imply a wide range of results, known and unknown, in arithmetic geometry. In this paper, we add to the list by proving that they imply that rational points tend to repel each other on algebraic varieties with nonnegative Kodaira dimension. We use this to deduce, from Vojta's Conjectures, conjectures of Batyrev-Manin and Manin on the distribution of rational points on algebraic varieties. In particular, we show that Vojta's Main Conjecture implies the Batyrev-Manin Conjecture for $K3$ surfaces.