Unimodular homotopy algebras and Chern-Simons theory

Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the structure of an L-infinity algebra whose homotopy type is a homotopy invariant of M. We formulate necessary and sufficient conditions for this L-infinity algebra to have a quantum lift. We also obtain structural results on unimodular L-infinity algebras and introduce a doubling construction which links unimodular and cyclic L-infinity algebras.Comment: 37 pages, expanded introduction and made minor correction

Metareasoning for Planning Under Uncertainty

The conventional model for online planning under uncertainty assumes that an agent can stop and plan without incurring costs for the time spent planning. However, planning time is not free in most real-world settings. For example, an autonomous drone is subject to nature's forces, like gravity, even while it thinks, and must either pay a price for counteracting these forces to stay in place, or grapple with the state change caused by acquiescing to them. Policy optimization in these settings requires metareasoning---a process that trades off the cost of planning and the potential policy improvement that can be achieved. We formalize and analyze the metareasoning problem for Markov Decision Processes (MDPs). Our work subsumes previously studied special cases of metareasoning and shows that in the general case, metareasoning is at most polynomially harder than solving MDPs with any given algorithm that disregards the cost of thinking. For reasons we discuss, optimal general metareasoning turns out to be impractical, motivating approximations. We present approximate metareasoning procedures which rely on special properties of the BRTDP planning algorithm and explore the effectiveness of our methods on a variety of problems.Comment: Extended version of IJCAI 2015 pape

Structure of Turbulence in Katabatic Flows below and above the Wind-Speed Maximum

Measurements of small-scale turbulence made over the complex-terrain atmospheric boundary layer during the MATERHORN Program are used to describe the structure of turbulence in katabatic flows. Turbulent and mean meteorological data were continuously measured at multiple levels at four towers deployed along the East lower slope (2-4 deg) of Granite Mountain. The multi-level observations made during a 30-day long MATERHORN-Fall field campaign in September-October 2012 allowed studying of temporal and spatial structure of katabatic flows in detail, and herein we report turbulence and their variations in katabatic winds. Observed vertical profiles show steep gradients near the surface, but in the layer above the slope jet the vertical variability is smaller. It is found that the vertical (normal to the slope) momentum flux and horizontal (along the slope) heat flux in a slope-following coordinate system change their sign below and above the wind maximum of a katabatic flow. The vertical momentum flux is directed downward (upward) whereas the horizontal heat flux is downslope (upslope) below (above) the wind maximum. Our study therefore suggests that the position of the jet-speed maximum can be obtained by linear interpolation between positive and negative values of the momentum flux (or the horizontal heat flux) to derive the height where flux becomes zero. It is shown that the standard deviations of all wind speed components (therefore the turbulent kinetic energy) and the dissipation rate of turbulent kinetic energy have a local minimum, whereas the standard deviation of air temperature has an absolute maximum at the height of wind-speed maximum. We report several cases where the vertical and horizontal heat fluxes are compensated. Turbulence above the wind-speed maximum is decoupled from the surface, and follows the classical local z-less predictions for stably stratified boundary layer.Comment: Manuscript submitted to Boundary-Layer Meteorology (05 December 2014

A Time Decoupling Approach for Studying Forum Dynamics

Online forums are rich sources of information about user communication activity over time. Finding temporal patterns in online forum communication threads can advance our understanding of the dynamics of conversations. The main challenge of temporal analysis in this context is the complexity of forum data. There can be thousands of interacting users, who can be numerically described in many different ways. Moreover, user characteristics can evolve over time. We propose an approach that decouples temporal information about users into sequences of user events and inter-event times. We develop a new feature space to represent the event sequences as paths, and we model the distribution of the inter-event times. We study over 30,000 users across four Internet forums, and discover novel patterns in user communication. We find that users tend to exhibit consistency over time. Furthermore, in our feature space, we observe regions that represent unlikely user behaviors. Finally, we show how to derive a numerical representation for each forum, and we then use this representation to derive a novel clustering of multiple forums.Comment: This submission is the paper draft after a major revision, it is currently under review in World Wide Web journal. The supplementary data can be downloaded from: http://people.eng.unimelb.edu.au/akan/user-paths/supp.pdf (please contact the authors if that doesn't work for some reason

DeformNet: Free-Form Deformation Network for 3D Shape Reconstruction from a Single Image

3D reconstruction from a single image is a key problem in multiple applications ranging from robotic manipulation to augmented reality. Prior methods have tackled this problem through generative models which predict 3D reconstructions as voxels or point clouds. However, these methods can be computationally expensive and miss fine details. We introduce a new differentiable layer for 3D data deformation and use it in DeformNet to learn a model for 3D reconstruction-through-deformation. DeformNet takes an image input, searches the nearest shape template from a database, and deforms the template to match the query image. We evaluate our approach on the ShapeNet dataset and show that - (a) the Free-Form Deformation layer is a powerful new building block for Deep Learning models that manipulate 3D data (b) DeformNet uses this FFD layer combined with shape retrieval for smooth and detail-preserving 3D reconstruction of qualitatively plausible point clouds with respect to a single query image (c) compared to other state-of-the-art 3D reconstruction methods, DeformNet quantitatively matches or outperforms their benchmarks by significant margins. For more information, visit: https://deformnet-site.github.io/DeformNet-website/ .Comment: 11 pages, 9 figures, NIP

The HARPS polarimeter

We recently commissioned the polarimetric upgrade of the HARPS spectrograph at ESO's 3.6-m telescope at La Silla, Chile. The HARPS polarimeter is capable of full Stokes spectropolarimetry with large sensitivity and accuracy, taking advantage of the large spectral resolution and stability of HARPS. In this paper we present the instrument design and its polarimetric performance. The first HARPSpol observations show that it can attain a polarimetric sensitivity of ~10^-5 (after addition of many lines) and that no significant instrumental polarization effects are present.Comment: To be published in ASP Conf Series, Solar Polarization Workshop