Showing 1–50 of 185 results for author: Jensen, B

The Population II Extragalactic Distance Scale: A TRGB Distance to the Fornax Cluster with JWST

Authors: Gagandeep S. Anand, R. Brent Tully, Yotam Cohen, Dmitry I. Makarov, Lidia N. Makarova, Joseph B. Jensen, John P. Blakeslee, Michele Cantiello, Ehsan Kourkchi, Gabriella Raimondo

Abstract: Differences between the local value of the Hubble constant measured via the distance ladder versus the value inferred from the cosmic microwave background with the assumption of the standard $Λ$CDM model have reached over 5$σ$ significance. To determine if this discrepancy is due to new physics or more mundane systematic errors, it is essential to remove as many sources of systematic uncertainty a… ▽ More Differences between the local value of the Hubble constant measured via the distance ladder versus the value inferred from the cosmic microwave background with the assumption of the standard $Λ$CDM model have reached over 5$σ$ significance. To determine if this discrepancy is due to new physics or more mundane systematic errors, it is essential to remove as many sources of systematic uncertainty as possible by develo** high-precision distance ladders that are independent of the traditional Cepheid and Type Ia supernovae route. Here we present JWST observations of three early-type Fornax Cluster galaxies, the first of fourteen observations from a Cycle 2 JWST program. Our modest integration times allow us to measure highly precise tip of the red giant branch (TRGB) distances, and will also be used to perform measurements of Surface Brightness Fluctuations (SBF). From these three galaxies, we determine an average TRGB distance modulus to the Fornax Cluster of $μ$ = 31.424 $\pm$ 0.077 mag, or D = 19.3 $\pm$ 0.7 Mpc. With eleven more scheduled observations in nearby elliptical galaxies, our program will allow us set the zero point of the SBF scale to better than 2$\%$ for more distant measurements, charting a path towards a high-precision measurement of $H_{0}$ that is independent of the traditional Cepheid-SN Ia distance ladder. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 14 pages, 9 figures, submitted to the AAS journals. comments welcome and appreciated

Categorification and mirror symmetry for Grassmannians

Authors: Bernt Tore Jensen, Alastair King, ** Su

Abstract: The homogeneous coordinate ring $\mathbb{C}[\operatorname{Gr}(k,n)]$ of the Grassmannian is a cluster algebra, with an additive categorification $\operatorname{CM}C$. Thus every $M\in\operatorname{CM}C$ has a cluster character $Ψ_M\in\mathbb{C}[\operatorname{Gr}(k,n)]$. The aim is to use the categorification to enrich Rietsch-Williams' mirror symmetry result that the Newton-Okounkov (NO) body/co… ▽ More The homogeneous coordinate ring $\mathbb{C}[\operatorname{Gr}(k,n)]$ of the Grassmannian is a cluster algebra, with an additive categorification $\operatorname{CM}C$. Thus every $M\in\operatorname{CM}C$ has a cluster character $Ψ_M\in\mathbb{C}[\operatorname{Gr}(k,n)]$. The aim is to use the categorification to enrich Rietsch-Williams' mirror symmetry result that the Newton-Okounkov (NO) body/cone, made from leading exponents of functions in $\mathbb{C}[\operatorname{Gr}(k,n)]$ in an $\mathbb{X}$-cluster chart, can also be described by tropicalisation of the Marsh-Reitsch superpotential~$W$. For any cluster tilting object $T$, with endomorphism algebra $A$, we define two new cluster characters, a generalised partition function $\mathcal{P}^T_M\in\mathbb{C}[K(\operatorname{CM}A)]$ and a generalised flow polynomial $\mathcal{F}^T_M\in\mathbb{C}[K(\operatorname{fd}A)]$, related by a `dehomogenising' map $\operatorname{wt}\colon K(\operatorname{CM}A)\to K(\operatorname{fd}A)$. In the $\mathbb{X}$-cluster chart corresponding to $T$, the function $Ψ_M$ becomes $\mathcal{F}^T_M$ and thus its leading exponent is $\boldsymbolκ(T,M)$, an invariant introduced in earlier paper (and the image of the $g$-vector of $M$ under $\operatorname{wt}$). When $T$ mutates, $\mathcal{F}^T_M$ undergoes $\mathbb{X}$-mutation and $\boldsymbolκ(T,M)$ undergoes tropical $\mathbb{A}$-mutation. We then show that the monoid of $g$-vectors is saturated, and that this cone can be identified with the NO-cone, so the NO-body of Rietsch--Williams can be described in terms of $\boldsymbolκ(T,M)$. Furthermore, we adapt Rietsch-Williams' mirror symmetry strategy to find module-theoretic inequalities that determine the cone of $g$-vectors. Some of the machinery we develop works in a greater generality, which is relevant to the positroid subvarieties of $\operatorname{Gr}(k,n)$. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 78 pages

OpenTrench3D: A Photogrammetric 3D Point Cloud Dataset for Semantic Segmentation of Underground Utilities

Authors: Lasse H. Hansen, Simon B. Jensen, Mark P. Philipsen, Andreas Møgelmose, Lars Bodum, Thomas B. Moeslund

Abstract: Identifying and classifying underground utilities is an important task for efficient and effective urban planning and infrastructure maintenance. We present OpenTrench3D, a novel and comprehensive 3D Semantic Segmentation point cloud dataset, designed to advance research and development in underground utility surveying and map**. OpenTrench3D covers a completely novel domain for public 3D point… ▽ More Identifying and classifying underground utilities is an important task for efficient and effective urban planning and infrastructure maintenance. We present OpenTrench3D, a novel and comprehensive 3D Semantic Segmentation point cloud dataset, designed to advance research and development in underground utility surveying and map**. OpenTrench3D covers a completely novel domain for public 3D point cloud datasets and is unique in its focus, scope, and cost-effective capturing method. The dataset consists of 310 point clouds collected across 7 distinct areas. These include 5 water utility areas and 2 district heating utility areas. The inclusion of different geographical areas and main utilities (water and district heating utilities) makes OpenTrench3D particularly valuable for inter-domain transfer learning experiments. We provide benchmark results for the dataset using three state-of-the-art semantic segmentation models, PointNeXt, PointVector and PointMetaBase. Benchmarks are conducted by training on data from water areas, fine-tuning on district heating area 1 and evaluating on district heating area 2. The dataset is publicly available. With OpenTrench3D, we seek to foster innovation and progress in the field of 3D semantic segmentation in applications related to detection and documentation of underground utilities as well as in transfer learning methods in general. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Intra- and intercycle analysis of intraband high-order harmonic generation

Authors: Asbjørn Tornøe Andersen, Simon Vendelbo Bylling Jensen, Lars Bojer Madsen

Abstract: We study intraband high-order harmonic generation arising from a band-gap material driven by a linearly polarized laser field. We factorize the intraband high-order harmonic-generation signal into intracycle and intercycle terms. The intracycle term uniquely determines the spectral characteristics whereas the intercycle term merely modulates the spectral features by imposing energy conservation in… ▽ More We study intraband high-order harmonic generation arising from a band-gap material driven by a linearly polarized laser field. We factorize the intraband high-order harmonic-generation signal into intracycle and intercycle terms. The intracycle term uniquely determines the spectral characteristics whereas the intercycle term merely modulates the spectral features by imposing energy conservation in the long-pulse limit. Through analysis of the intracycle interference, the cutoff is identified, and the origin of the harmonic selection rules is revealed. Further, it is outlined how different components of the bandstructure contribute to different regions of the harmonic spectrum, giving rise to non-trivial intensity scaling of individual harmonics in the plateau region. △ Less

Submitted 11 April, 2024; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: 6 pages, 5 figures

Report number: Phys. Rev. A 109, 063109

Journal ref: Phys. Rev. A 109, 063109 (2024)

Raw Instinct: Trust Your Classifiers and Skip the Conversion

Authors: Christos Kantas, Bjørk Antoniussen, Mathias V. Andersen, Rasmus Munksø, Shobhit Kotnala, Simon B. Jensen, Andreas Møgelmose, Lau Nørgaard, Thomas B. Moeslund

Abstract: Using RAW-images in computer vision problems is surprisingly underexplored considering that converting from RAW to RGB does not introduce any new capture information. In this paper, we show that a sufficiently advanced classifier can yield equivalent results on RAW input compared to RGB and present a new public dataset consisting of RAW images and the corresponding converted RGB images. Classifyin… ▽ More Using RAW-images in computer vision problems is surprisingly underexplored considering that converting from RAW to RGB does not introduce any new capture information. In this paper, we show that a sufficiently advanced classifier can yield equivalent results on RAW input compared to RGB and present a new public dataset consisting of RAW images and the corresponding converted RGB images. Classifying images directly from RAW is attractive, as it allows for skip** the conversion to RGB, lowering computation time significantly. Two CNN classifiers are used to classify the images in both formats, confirming that classification performance can indeed be preserved. We furthermore show that the total computation time from RAW image data to classification results for RAW images can be up to 8.46 times faster than RGB. These results contribute to the evidence found in related works, that using RAW images as direct input to computer vision algorithms looks very promising. △ Less

Submitted 21 March, 2024; originally announced March 2024.

Comments: https://www.kaggle.com/datasets/mathiasviborg/raw-instinct

Journal ref: 2023 IEEE 6th International Conference on Pattern Recognition and Artificial Intelligence (PRAI)

StereoDiffusion: Training-Free Stereo Image Generation Using Latent Diffusion Models

Authors: Lezhong Wang, Jeppe Revall Frisvad, Mark Bo Jensen, Siavash Arjomand Bigdeli

Abstract: The demand for stereo images increases as manufacturers launch more XR devices. To meet this demand, we introduce StereoDiffusion, a method that, unlike traditional inpainting pipelines, is trainning free, remarkably straightforward to use, and it seamlessly integrates into the original Stable Diffusion model. Our method modifies the latent variable to provide an end-to-end, lightweight capability… ▽ More The demand for stereo images increases as manufacturers launch more XR devices. To meet this demand, we introduce StereoDiffusion, a method that, unlike traditional inpainting pipelines, is trainning free, remarkably straightforward to use, and it seamlessly integrates into the original Stable Diffusion model. Our method modifies the latent variable to provide an end-to-end, lightweight capability for fast generation of stereo image pairs, without the need for fine-tuning model weights or any post-processing of images. Using the original input to generate a left image and estimate a disparity map for it, we generate the latent vector for the right image through Stereo Pixel Shift operations, complemented by Symmetric Pixel Shift Masking Denoise and Self-Attention Layers Modification methods to align the right-side image with the left-side image. Moreover, our proposed method maintains a high standard of image quality throughout the stereo generation process, achieving state-of-the-art scores in various quantitative evaluations. △ Less

Submitted 2 June, 2024; v1 submitted 7 March, 2024; originally announced March 2024.

Comments: Updated to CVPR 2024 GCV accepted version

Journal ref: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024, pp. 7416-7425

Security Patchworking in Lebanon: Infrastructuring Across Failing Infrastructures

Authors: Jessica McClearn, Rikke Bjerg Jensen, Reem Talhouk

Abstract: In this paper we bring to light the infrastructuring work carried out by people in Lebanon to establish and maintain everyday security in response to multiple simultaneously failing infrastructures. We do so through interviews with 13 participants from 12 digital and human rights organisations and two weeks of ethnographically informed fieldwork in Beirut, Lebanon, in July 2022. Through our analys… ▽ More In this paper we bring to light the infrastructuring work carried out by people in Lebanon to establish and maintain everyday security in response to multiple simultaneously failing infrastructures. We do so through interviews with 13 participants from 12 digital and human rights organisations and two weeks of ethnographically informed fieldwork in Beirut, Lebanon, in July 2022. Through our analysis we develop the notion of security patchworking that makes visible the infrastructuring work necessitated to secure basic needs such as electricity provision, identity authentication and financial resources. Such practices are rooted in differing mechanisms of protection that often result in new forms of insecurity. We discuss the implications for CSCW and HCI researchers and point to security patchworking as a lens to be used when designing technologies to support infrastructuring, while advocating for collaborative work across CSCW and security research. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: To appear at ACM Conference On Computer-Supported Cooperative Work And Social Computing (CSCW) 2024

Efficient time-dependent vibrational coupled cluster computations with time-dependent basis sets at the two-mode coupling level: full and hybrid TDMVCC[2]

Authors: Andreas Buchgraitz Jensen, Mads Greisen Højlund, Alberto Zoccante, Niels Kristian Madsen, Ove Christiansen

Abstract: The computation of the nuclear quantum dynamics of molecules is challenging, requiring both accuracy and efficiency to be applicable to systems of interest. Recently, theories have been developed for employing time-dependent basis functions (denoted modals) with vibrational coupled cluster theory (TDMVCC). The TDMVCC method was introduced along with a pilot implementation, which illustrated good a… ▽ More The computation of the nuclear quantum dynamics of molecules is challenging, requiring both accuracy and efficiency to be applicable to systems of interest. Recently, theories have been developed for employing time-dependent basis functions (denoted modals) with vibrational coupled cluster theory (TDMVCC). The TDMVCC method was introduced along with a pilot implementation, which illustrated good accuracy in benchmark computations. In this paper we report an efficient implementation of TDMVCC covering the case where the wave function and Hamiltonian contain up to two-mode couplings. After a careful regrou** of terms, the wave function can be propagated with a cubic computational scaling with respect to the number of degrees of freedom. We discuss the use of a restricted set of active one-mode basis functions for each mode, as well as two interesting limits: i) the use of a full active basis where the variational modal determination amounts essentially to the variational determination of a time-dependent reference state for the cluster expansion; and ii) the use of a single function as active basis for some degrees of freedom. The latter case defines a hybrid TDMVCC/TDH approach which can obtain an even lower computational scaling. The resulting computational scaling for hybrid and full TDMVCC[2] are illustrated for polyaromatic hydrocarbons (PAHs) with up to 264 modes. Finally, computations on the internal vibrational redistribution on benzoic acid (39 modes) are used to show the faster convergence of TDMVCC/TDH hybrid computations towards TDMVCC compared to simple neglect of some degrees of freedom. △ Less

Submitted 29 August, 2023; originally announced August 2023.

Comments: Will be submitted to Journal of Chemical Physics

High-harmonic spectroscopy of strongly bound excitons in solids

Authors: Simon Vendelbo Bylling Jensen, Lars Bojer Madsen, Angel Rubio, Nicolas Tancogne-Dejean

Abstract: We explore the nonlinear response of ultrafast strong-field driven excitons in a one-dimensional solid with ab initio simulations. We demonstrate from our simulations and analytical model that a finite population of excitons imprints unique signatures to the high-harmonic spectra of materials. We show the exciton population can be retrieved from the spectra. We further demonstrate signatures of ex… ▽ More We explore the nonlinear response of ultrafast strong-field driven excitons in a one-dimensional solid with ab initio simulations. We demonstrate from our simulations and analytical model that a finite population of excitons imprints unique signatures to the high-harmonic spectra of materials. We show the exciton population can be retrieved from the spectra. We further demonstrate signatures of exciton recombination and that a shift of the exciton level is imprinted into the harmonic signal. The results open the door to high-harmonic spectroscopy of excitons in condensed-matter systems. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Report number: Phys. Rev. A 109, 063104

Journal ref: Phys. Rev. A 109, 063104 (2024)

Reinforcement learning guided fuzz testing for a browser's HTML rendering engine

Authors: Martin Sablotny, Bjørn Sand Jensen, Jeremy Singer

Abstract: Generation-based fuzz testing can uncover various bugs and security vulnerabilities. However, compared to mutation-based fuzz testing, it takes much longer to develop a well-balanced generator that produces good test cases and decides where to break the underlying structure to exercise new code paths. We propose a novel approach to combine a trained test case generator deep learning model with a d… ▽ More Generation-based fuzz testing can uncover various bugs and security vulnerabilities. However, compared to mutation-based fuzz testing, it takes much longer to develop a well-balanced generator that produces good test cases and decides where to break the underlying structure to exercise new code paths. We propose a novel approach to combine a trained test case generator deep learning model with a double deep Q-network (DDQN) for the first time. The DDQN guides test case creation based on a code coverage signal. Our approach improves the code coverage performance of the underlying generator model by up to 18.5\% for the Firefox HTML rendering engine compared to the baseline grammar based fuzzer. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Gathering Galaxy Distances in Abundance with Roman Wide-Area Data

Authors: John P. Blakeslee, Michele Cantiello, Michael J. Hudson, Laura Ferrarese, Nandini Hazra, Joseph B. Jensen, Eric W. Peng, Gabriella Raimondo

Abstract: The extragalactic distance scale is fundamental to our understanding of astrophysics and cosmology. In recent years, the surface brightness fluctuation (SBF) method, applied in the near-IR, has proven especially powerful for measuring galaxy distances, first with HST and now with a new JWST program to calibrate the method directly from the tip of the red giant branch (TRGB). So far, however, the d… ▽ More The extragalactic distance scale is fundamental to our understanding of astrophysics and cosmology. In recent years, the surface brightness fluctuation (SBF) method, applied in the near-IR, has proven especially powerful for measuring galaxy distances, first with HST and now with a new JWST program to calibrate the method directly from the tip of the red giant branch (TRGB). So far, however, the distances from space have been gathered slowly, one or two at a time. With the Roman Space Telescope, we have the opportunity to measure uniformly high-quality SBF distances to thousands of galaxies out to hundreds of Mpc. The impact of these data on cosmology and galaxy studies depends on the specifics of the survey, including the filter selection, exposure depth, and (especially) the sky coverage. While the baseline HLWAS survey in four filters plus the grism would yield useful data, the impact would be limited by the relatively small area. A more optimal approach would concentrate on the most efficient passband (F146), adopt an exposure time sufficient to measure good quality distances well out into the Hubble flow, and then maximize the sky coverage within the total time constraints. Grism observations over the same area can provide the needed information on redshifts and spectral energy distributions for compact sources, while colors for larger objects can be obtained from lower resolution surveys. The proposed plan will enable accurate determination of the physical properties of thousands of nearby galaxies, an independent measure of the Hubble constant $H_0$ with negligible statistical error, and competitive constraints on $S_8{\,=\,}σ_8(Ω_m/0.3)^{0.5}$. The resulting data set will be a phenomenal resource for a wide range of studies in astrophysics and cosmology. △ Less

Submitted 13 July, 2023; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: 5 pages; submitted to the call for Roman Core Community Survey white papers (revised version corrects a couple references)

Othered, Silenced and Scapegoated: Understanding the Situated Security of Marginalised Populations in Lebanon

Authors: Jessica McClearn, Rikke Bjerg Jensen, Reem Talhouk

Abstract: In this paper we explore the digital security experiences of marginalised populations in Lebanon such as LGBTQI+ identifying people, refugees and women. We situate our work in the post-conflict Lebanese context, which is shaped by sectarian divides, failing governance and economic collapse. We do so through an ethnographically informed study conducted in Beirut, Lebanon, in July 2022 and through i… ▽ More In this paper we explore the digital security experiences of marginalised populations in Lebanon such as LGBTQI+ identifying people, refugees and women. We situate our work in the post-conflict Lebanese context, which is shaped by sectarian divides, failing governance and economic collapse. We do so through an ethnographically informed study conducted in Beirut, Lebanon, in July 2022 and through interviews with 13 people with Lebanese digital and human rights expertise. Our research highlights how LGBTQI+ identifying people and refugees are scapegoated for the failings of the Lebanese government, while women who speak out against such failings are silenced. We show how government-supported incitements of violence aimed at transferring blame from the political leadership to these groups lead to amplified digital security risks for already at-risk populations. Positioning our work in broader sociological understandings of security, we discuss how the Lebanese context impacts identity and ontological security. We conclude by proposing to design for and with positive security in post-conflict settings. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: To appear at the USENIX Security Symposium 2023

Bidirectional UML Visualisation of VDM Models

Authors: Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo

Abstract: The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already extensive feature-set of VDM VSCode with support for UML. The link between VDM and UML is thoroughly described with a set of translation rules that serve as the base of the implementation of the translation plugin. This i… ▽ More The VDM-PlantUML Plugin enables translations between the text based UML tool PlantUML and VDM++ and has been released as a part of the VDM VSCode extension. This enhances already extensive feature-set of VDM VSCode with support for UML. The link between VDM and UML is thoroughly described with a set of translation rules that serve as the base of the implementation of the translation plugin. This is however still an early rendition of the plugin with limited usability due to the loss of information between translations and a lack of workflow optimisations, which we plan to solve in the future. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Cloud K-SVD for Image Denoising

Authors: Christian Marius Lillelund, Henrik Bagger Jensen, Christian Fischer Pedersen

Abstract: Cloud K-SVD is a dictionary learning algorithm that can train at multiple nodes and hereby produce a mutual dictionary to represent low-dimensional geometric structures in image data. We present a novel application of the algorithm as we use it to recover both noiseless and noisy images from overlap** patches. We implement a node network in Kubernetes using Docker containers to facilitate Cloud… ▽ More Cloud K-SVD is a dictionary learning algorithm that can train at multiple nodes and hereby produce a mutual dictionary to represent low-dimensional geometric structures in image data. We present a novel application of the algorithm as we use it to recover both noiseless and noisy images from overlap** patches. We implement a node network in Kubernetes using Docker containers to facilitate Cloud K-SVD. Results show that Cloud K-SVD can recover images approximately and remove quantifiable amounts of noise from benchmark gray-scaled images without sacrificing accuracy in recovery; we achieve an SSIM index of 0.88, 0.91 and 0.95 between clean and recovered images for noise levels ($μ$ = 0, $σ^{2}$ = 0.01, 0.005, 0.001), respectively, which is similar to SOTA in the field. Cloud K-SVD is evidently able to learn a mutual dictionary across multiple nodes and remove AWGN from images. The mutual dictionary can be used to recover a specific image at any of the nodes in the network. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Journal ref: SN COMPUT. SCI. 3, 151 (2022)

From CAD models to soft point cloud labels: An automatic annotation pipeline for cheaply supervised 3D semantic segmentation

Authors: Galadrielle Humblot-Renaux, Simon Buus Jensen, Andreas Møgelmose

Abstract: We propose a fully automatic annotation scheme that takes a raw 3D point cloud with a set of fitted CAD models as input and outputs convincing point-wise labels that can be used as cheap training data for point cloud segmentation. Compared with manual annotations, we show that our automatic labels are accurate while drastically reducing the annotation time and eliminating the need for manual inter… ▽ More We propose a fully automatic annotation scheme that takes a raw 3D point cloud with a set of fitted CAD models as input and outputs convincing point-wise labels that can be used as cheap training data for point cloud segmentation. Compared with manual annotations, we show that our automatic labels are accurate while drastically reducing the annotation time and eliminating the need for manual intervention or dataset-specific parameters. Our labeling pipeline outputs semantic classes and soft point-wise object scores, which can either be binarized into standard one-hot-encoded labels, thresholded into weak labels with ambiguous points left unlabeled, or used directly as soft labels during training. We evaluate the label quality and segmentation performance of PointNet++ on a dataset of real industrial point clouds and Scan2CAD, a public dataset of indoor scenes. Our results indicate that reducing supervision in areas that are more difficult to label automatically is beneficial compared with the conventional approach of naively assigning a hard "best guess" label to every point. △ Less

Submitted 25 July, 2023; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: updated version, published in the Remote Sensing journal

Journal ref: Remote Sens. 15 (2023) 3578

Runtime optimization for vibrational structure on quantum computers: coordinates and measurement schemes

Authors: Marco Majland, Rasmus Berg Jensen, Mads Greisen Højlund, Nikolaj Thomas Zinner, Ove Christiansen

Abstract: One of the primary challenges prohibiting demonstrations of practical quantum advantages for near-term devices amounts to excessive measurement overheads for estimating relevant physical quantities such as ground state energies. However, with major differences between electronic and vibrational structure of molecules, the study of resource reductions for estimating anharmonic vibrational states re… ▽ More One of the primary challenges prohibiting demonstrations of practical quantum advantages for near-term devices amounts to excessive measurement overheads for estimating relevant physical quantities such as ground state energies. However, with major differences between electronic and vibrational structure of molecules, the study of resource reductions for estimating anharmonic vibrational states remains relatively unexplored compared to its electronic counterpart. Importantly, bosonic commutation relations, distinguishable Hilbert spaces and vibrational coordinates allow different manipulations of the vibrational system in order to optimize the use of computational resources. In this work, we investigate the impact of different coordinate systems and measurement schemes on the runtime of estimating anharmonic vibrational states for a variety of three-mode (six-mode) molecules. We demonstrate an average of threefold (twofold), with up to sevenfold (fivefold), runtime reductions by employing appropriate coordinate transformations. Despite such reductions, crude estimates of runtimes for chemically motivated Ans{ä}tze and realistic potential energy surfaces are very considerable and thus further improvements are necessary to demonstrate practical quantum advantages. △ Less

Submitted 21 November, 2022; originally announced November 2022.

Journal ref: Chem. Sci., 2023,14, 7733-7742

A nonsmooth primal-dual method with interwoven PDE constraint solver

Authors: Bjørn Jensen, Tuomo Valkonen

Abstract: We introduce an efficient first-order primal-dual method for the solution of nonsmooth PDE-constrained optimization problems. We achieve this efficiency through not solving the PDE or its linearisation on each iteration of the optimization method. Instead, we run the method interwoven with a simple conventional linear system solver (Jacobi, Gauss-Seidel, conjugate gradients), always taking only on… ▽ More We introduce an efficient first-order primal-dual method for the solution of nonsmooth PDE-constrained optimization problems. We achieve this efficiency through not solving the PDE or its linearisation on each iteration of the optimization method. Instead, we run the method interwoven with a simple conventional linear system solver (Jacobi, Gauss-Seidel, conjugate gradients), always taking only one step of the linear system solver for each step of the optimization method. The control parameter is updated on each iteration as determined by the optimization method. We prove linear convergence under a second-order growth condition, and numerically demonstrate the performance on a variety of PDEs related to inverse problems involving boundary measurements. △ Less

Submitted 23 May, 2024; v1 submitted 9 November, 2022; originally announced November 2022.

MSC Class: 65K10; 35Q93; 49M29; 65F10; 65N22

Journal ref: Computational Optimization and Applications (2024)

Uncovering Extreme Nonlinear Dynamics in Solids Through Time-Domain Field Analysis

Authors: Phillip D. Keathley, Simon V. B. Jensen, Matthew D. Yeung, Mina R. Bionta, Lars B. Madsen

Abstract: Time-domain analysis of harmonic fields with sub-cycle resolution is now experimentally viable due to the emergence of sensitive, on-chip techniques for petahertz-scale optical-field sampling. We demonstrate how such a time-domain, field-resolved analysis uncovers the extreme nonlinear electron dynamics responsible for high-harmonic generation within solids. Time-dependent density functional theor… ▽ More Time-domain analysis of harmonic fields with sub-cycle resolution is now experimentally viable due to the emergence of sensitive, on-chip techniques for petahertz-scale optical-field sampling. We demonstrate how such a time-domain, field-resolved analysis uncovers the extreme nonlinear electron dynamics responsible for high-harmonic generation within solids. Time-dependent density functional theory was used to simulate harmonic generation from a solid-state band-gap system driven by near- to mid-infrared waveforms. Particular attention was paid to regimes where both intraband and interband emission mechanisms play a critical role in sha** the nonlinear response. We show that a time-domain analysis of the harmonic radiation fields identifies the interplay between intra- and interband dynamical processes underlying the nonlinear light generation. With further analysis, we show that changes to the dominant emission regime can occur after only slight changes to the peak driving intensity and central driving wavelength. Time-domain analysis of harmonic fields also reveals, for the first time, the possibility of rapid changes in the dominant emission mechanism within the temporal window of the driving pulse envelope. Finally, we examine the experimental viability of performing time-domain analysis of harmonic fields with sub-cycle resolution using realistic parameters. △ Less

Submitted 14 October, 2022; originally announced October 2022.

Strain energy density as a Gaussian process and its utilization in stochastic finite element analysis: application to planar soft tissues

Authors: Ankush Aggarwal, Bjørn Sand Jensen, Sanjay Pant, Chung-Hao Lee

Abstract: Data-based approaches are promising alternatives to the traditional analytical constitutive models for solid mechanics. Herein, we propose a Gaussian process (GP) based constitutive modeling framework, specifically focusing on planar, hyperelastic and incompressible soft tissues. The strain energy density of soft tissues is modeled as a GP, which can be regressed to experimental stress-strain data… ▽ More Data-based approaches are promising alternatives to the traditional analytical constitutive models for solid mechanics. Herein, we propose a Gaussian process (GP) based constitutive modeling framework, specifically focusing on planar, hyperelastic and incompressible soft tissues. The strain energy density of soft tissues is modeled as a GP, which can be regressed to experimental stress-strain data obtained from biaxial experiments. Moreover, the GP model can be weakly constrained to be convex. A key advantage of a GP-based model is that, in addition to the mean value, it provides a probability density (i.e. associated uncertainty) for the strain energy density. To simulate the effect of this uncertainty, a non-intrusive stochastic finite element analysis (SFEA) framework is proposed. The proposed framework is verified against an artificial dataset based on the Gasser--Ogden--Holzapfel model and applied to a real experimental dataset of a porcine aortic valve leaflet tissue. Results show that the proposed framework can be trained with limited experimental data and fits the data better than several existing models. The SFEA framework provides a straightforward way of using the experimental data and quantifying the resulting uncertainty in simulation-based predictions. △ Less

Submitted 22 November, 2022; v1 submitted 28 September, 2022; originally announced October 2022.

Cosmicflows-4

Authors: R. Brent Tully, Ehsan Kourkchi, Hélène M. Courtois, Gagandeep S. Anand, John P. Blakeslee, Dillon Brout, Thomas de Jaeger, Alexandra Dupuy, Daniel Guinet, Cullan Howlett, Joseph B. Jensen, Daniel Pomarède, Luca Rizzi, David Rubin, Khaled Said, Daniel Scolnic, Benjamin E. Stahl

Abstract: With Cosmicflows-4, distances are compiled for 55,877 galaxies gathered into 38,065 groups. Eight methodologies are employed, with the largest numbers coming from the correlations between the photometric and kinematic properties of spiral galaxies (TF) and elliptical galaxies (FP). Supernovae that arise from degenerate progenitors (type Ia Sne) are an important overlap** component. Smaller contr… ▽ More With Cosmicflows-4, distances are compiled for 55,877 galaxies gathered into 38,065 groups. Eight methodologies are employed, with the largest numbers coming from the correlations between the photometric and kinematic properties of spiral galaxies (TF) and elliptical galaxies (FP). Supernovae that arise from degenerate progenitors (type Ia Sne) are an important overlap** component. Smaller contributions come from distance estimates from the surface brightness fluctuations of elliptical galaxies and the luminosities and expansion rates of core collapse supernovae (SNII). Cepheid period-luminosity relation and tip of the red giant branch observations founded on local stellar parallax measurements along with the geometric maser distance to NGC 4258 provide the absolute scaling of distances. The assembly of galaxies into groups is an important feature of the study in facilitating overlaps between methodologies. Merging between multiple contributions within a methodology and between methodologies is carried out with Bayesian Markov chain Monte Carlo procedures. The final assembly of distances is compatible with a value of the Hubble constant of $H_0=74.6$ km s$^{-1}$ Mpc$^{-1}$ with the small statistical error of $\pm 0.8$ km s$^{-1}$ Mpc$^{-1}$ but a large potential systematic error of ~3 km s$^{-1}$ Mpc$^{-1}$. Peculiar velocities can be inferred from the measured distances. The interpretation of the field of peculiar velocities is complex because of large errors on individual components and invites analyses beyond the scope of this study. △ Less

Submitted 28 December, 2022; v1 submitted 22 September, 2022; originally announced September 2022.

Comments: 38 pages, 24 figures. catalogs available at edd.ifa.hawaii.edu. Revised version, accepted to ApJ

Connecting Infrared Surface Brightness Fluctuation Distances to Type Ia Supernova Hosts: Testing the Top Rung of the Distance Ladder

Authors: Peter Garnavich, Charlotte M. Wood, Peter Milne, Joseph B. Jensen, John P. Blakeslee, Peter J. Brown, Daniel Scolnic, Benjamin Rose, Dillon Brout

Abstract: We compare infrared surface brightness fluctuation (IR SBF) distances measured in galaxies that have hosted type Ia supernovae (SNIa) to distances estimated from SNIa light curve fits. We show that the properties of SNIa found in IR SBF hosts are very different from those exploding in Cepheid calibrators, therefore, this is a direct test of systematic uncertainties on estimation of the Hubble cons… ▽ More We compare infrared surface brightness fluctuation (IR SBF) distances measured in galaxies that have hosted type Ia supernovae (SNIa) to distances estimated from SNIa light curve fits. We show that the properties of SNIa found in IR SBF hosts are very different from those exploding in Cepheid calibrators, therefore, this is a direct test of systematic uncertainties on estimation of the Hubble constant (Ho) using supernovae. The IR SBF results from Jensen et al. (2021; arXiv:2105.08299) provide a large and uniformly measured sample of IR SBF distances which we directly compare with distances to 25 SNIa host galaxies. We divide the Hubble flow SNIa into sub-samples that best match the divergent supernova properties seen in the IR SBF hosts and Cepheid hosts. We further divide the SNIa into a sample with light curve widths and host masses that are congruent to those found in the SBF-calibrated hosts. We refit the light curve stretch and color correlations with luminosity, and use these revised parameters to calibrate the Hubble flow supernovae with IR SBF calibrators. Relative to the Hubble flow, the average calibrator distance moduli vary by 0.03mag depending on the SNIa subsamples examined and this adds a 1.8% systematic uncertainty to our Hubble constant estimate. Based on the IR SBF calibrators, Ho=74.6$\pm$0.9(stat)$\pm$ 2.7(syst) km/s/Mpc, which is consistent with the Hubble constant derived from supernovae calibrated from Cepheid variables. We conclude that IR SBF provides reliable calibration of SNIa with a precision comparable to Cepheid calibrators, and with a significant saving in telescope time. △ Less

Submitted 5 July, 2023; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 18 pages, 10 figures, 4 tables, accepted for publication in the Astrophysical Journal

Vitamin K content of cheese, yoghurt and meat products in Australia

Authors: Eleanor Dunlop, Jette Jakobsen, Marie Bagge Jensen, Jayashree Arcot, Liang Qiao, Judy Cunningham, Lucinda J Black

Abstract: Vitamin K is vital for normal blood coagulation, and may influence bone, neurological and vascular health. Data on the vitamin K content of Australian foods are limited, preventing estimation of vitamin K intakes in the Australian population. We measured phylloquinone (PK) and menaquinone (MK) -4 to -10 in cheese, yoghurt and meat products (48 composite samples from 288 primary samples) by liquid… ▽ More Vitamin K is vital for normal blood coagulation, and may influence bone, neurological and vascular health. Data on the vitamin K content of Australian foods are limited, preventing estimation of vitamin K intakes in the Australian population. We measured phylloquinone (PK) and menaquinone (MK) -4 to -10 in cheese, yoghurt and meat products (48 composite samples from 288 primary samples) by liquid chromatography with electrospray ionisation-tandem mass spectrometry. At least one K vitamer was found in every sample. The greatest mean concentrations of PK, MK-4 and MK-9 were found in lamb liver, chicken leg meat and Cheddar cheese, respectively. Cheddar cheese and cream cheese contained MK-5. MK-8 was found in Cheddar cheese only. As the K vitamer profile and concentrations appear to vary considerably by geographical location, Australia needs a vitamin K food composition dataset that is representative of foods consumed in Australia. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: 23 pages, 2 tables

Dynamical quantum phase transitions in a noisy lattice gauge theory

Authors: Rasmus Berg Jensen, Simon Panyella Pedersen, Nikolaj Thomas Zinner

Abstract: Lattice gauge theories (LGTs) form an intriguing class of theories highly relevant to both high-energy particle physics and low-energy condensed matter physics with the rapid development of engineered quantum devices providing new tools to study e.g. dynamics of such theories. The massive Schwinger model is known to exhibit intricate properties of more complicated theories and has recently been sh… ▽ More Lattice gauge theories (LGTs) form an intriguing class of theories highly relevant to both high-energy particle physics and low-energy condensed matter physics with the rapid development of engineered quantum devices providing new tools to study e.g. dynamics of such theories. The massive Schwinger model is known to exhibit intricate properties of more complicated theories and has recently been shown to undergo dynamical quantum phase transitions out of equilibrium. With current technology, noise is inevitable and potentially fatal for a successful quantum simulation. This paper studies the dynamics subject to noise of a $(1+1)$D U$(1)$ quantum link model following a quench of the sign of the mass term. We find that not only is the system capable of handling noise at rates realistic in NISQ-era devices, promising the possiblity to study the target dynamics with current technology, but the effect of noise can be understood in terms of simple models. Specifically the gauge-breaking nature of bit-flip channels results in exponential dampening of state amplitudes, and thus observables, which does not affect the structures of interest. This is especially important as it demonstrates that the gauge theory can be successfully studied with devices that only exhibit approximate gauge invariance. △ Less

Submitted 31 March, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Comments: 12 pages, 8 figures. Changes: added references

Journal ref: Phys. Rev. B 105, 224309 (2022)

'Cyber security is a dark art': The CISO as soothsayer

Authors: Joseph Da Silva, Rikke Bjerg Jensen

Abstract: Commercial organisations continue to face a growing and evolving threat of data breaches and system compromises, making their cyber-security function critically important. Many organisations employ a Chief Information Security Officer (CISO) to lead such a function. We conducted in-depth, semi-structured interviews with 15 CISOs and six senior organisational leaders, between October 2019 and July… ▽ More Commercial organisations continue to face a growing and evolving threat of data breaches and system compromises, making their cyber-security function critically important. Many organisations employ a Chief Information Security Officer (CISO) to lead such a function. We conducted in-depth, semi-structured interviews with 15 CISOs and six senior organisational leaders, between October 2019 and July 2020, as part of a wider exploration into the purpose of CISOs and cyber-security functions. In this paper, we employ broader security scholarship related to ontological security and sociological notions of identity work to provide an interpretative analysis of the CISO role in organisations. Research findings reveal that cyber security is an expert system that positions the CISO as an interpreter of something that is mystical, unknown and fearful to the uninitiated. They show how the fearful nature of cyber security contributes to it being considered an ontological threat by the organisation, while responding to that threat contributes to the organisation's overall identity. We further show how cyber security is analogous to a belief system and how one of the roles of the CISO is akin to that of a modern-day soothsayer for senior management; that this role is precarious and, at the same time, superior, leading to alienation within the organisation. Our study also highlights that the CISO identity of protector-from-threat, linked to the precarious position, motivates self-serving actions that we term `cyber sophistry'. We conclude by outlining a series of implications for both organisations and CISOs. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Comments: To appear at ACM Conference On Computer-Supported Cooperative Work And Social Computing (CSCW) 2022

Conductivity reconstruction from power density data in limited view

Authors: Bjørn Jensen, Kim Knudsen, Hjørdis Schlüter

Abstract: In Acousto-Electric tomography, the objective is to extract information about the interior electrical conductivity in a physical body from knowledge of the interior power density data generated from prescribed boundary conditions for the governing elliptic partial differential equation. In this note, we consider the problem when the controlled boundary conditions are applied only on a small subset… ▽ More In Acousto-Electric tomography, the objective is to extract information about the interior electrical conductivity in a physical body from knowledge of the interior power density data generated from prescribed boundary conditions for the governing elliptic partial differential equation. In this note, we consider the problem when the controlled boundary conditions are applied only on a small subset of the full boundary. We demonstrate using the unique continuation principle that the Runge approximation property is valid also for this special case of limited view data. As a consequence, we guarantee the existence of finitely many boundary conditions such that the corresponding solutions locally satisfy a non-vanishing gradient condition. This condition is essential for conductivity reconstruction from power density data. In addition, we adapt an existing reconstruction method intended for the full data situation to our setting. We implement the method numerically and investigate the opportunities and shortcomings when reconstructing from two fixed boundary conditions. △ Less

Submitted 24 July, 2022; v1 submitted 24 February, 2022; originally announced February 2022.

Comments: 17 pages, 10 figures, submitted to Mathematica Scandinavica

Deep Learning-based Anomaly Detection on X-ray Images of Fuel Cell Electrodes

Authors: Simon B. Jensen, Thomas B. Moeslund, Søren J. Andreasen

Abstract: Anomaly detection in X-ray images has been an active and lasting research area in the last decades, especially in the domain of medical X-ray images. For this work, we created a real-world labeled anomaly dataset, consisting of 16-bit X-ray image data of fuel cell electrodes coated with a platinum catalyst solution and perform anomaly detection on the dataset using a deep learning approach. The da… ▽ More Anomaly detection in X-ray images has been an active and lasting research area in the last decades, especially in the domain of medical X-ray images. For this work, we created a real-world labeled anomaly dataset, consisting of 16-bit X-ray image data of fuel cell electrodes coated with a platinum catalyst solution and perform anomaly detection on the dataset using a deep learning approach. The dataset contains a diverse set of anomalies with 11 identified common anomalies where the electrodes contain e.g. scratches, bubbles, smudges etc. We experiment with 16-bit image to 8-bit image conversion methods to utilize pre-trained Convolutional Neural Networks as feature extractors (transfer learning) and find that we achieve the best performance by maximizing the contrasts globally across the dataset during the 16-bit to 8-bit conversion, through histogram equalization. We group the fuel cell electrodes with anomalies into a single class called abnormal and the normal fuel cell electrodes into a class called normal, thereby abstracting the anomaly detection problem into a binary classification problem. We achieve a balanced accuracy of 85.18\%. The anomaly detection is used by the company, Serenergy, for optimizing the time spend on the quality control of the fuel cell electrodes △ Less

Submitted 15 February, 2022; originally announced February 2022.

Comments: 10 pages, 9 figures, VISAPP2022

Journal ref: Proceedings of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - Volume 4: VISAPP 2022

Correlation effects in high-harmonic generation from finite systems

Authors: Thomas Hansen, Simon Vendelbo Bylling Jensen, Lars Bojer Madsen

Abstract: Using the Hubbard model we study how the process of high-order harmonic generation (HHG) is modified by beyond mean-field electron-electron correlation for both finite and bulk systems. A finite-size enhancement of the HHG signal is found and attributed to electrons backscattering off the lattice edges. Additionally, with increasing strength of the electron-electron correlation an enhancement of t… ▽ More Using the Hubbard model we study how the process of high-order harmonic generation (HHG) is modified by beyond mean-field electron-electron correlation for both finite and bulk systems. A finite-size enhancement of the HHG signal is found and attributed to electrons backscattering off the lattice edges. Additionally, with increasing strength of the electron-electron correlation an enhancement of the high-frequency regime of the HHG spectrum is found. This is attributed to the on-site Coulomb repulsion between electrons giving rise to a localized quiver motion of the electrons. The finite-lattice enhancement dominates the HHG spectra from a few harmonic orders until a threshold from which the correlational enhancement dominates. This threshold is determined by the degree of correlation and decreases into the low-frequency regime for increasing electron-electron correlation. This infers that as the Mott insulator limit of high electron-electron correlation is approached, the finite-size effect on the electron dynamics becomes negligible. △ Less

Submitted 18 January, 2022; originally announced January 2022.

Comments: 9 pages, 6 figures

Propagation time and nondipole contributions to intraband high-harmonic generation

Authors: Simon Vendelbo Bylling Jensen, Lars Bojer Madsen

Abstract: Applying the semiclassical model, we identify two connected effects in intraband high-harmonic generation (HHG): (1) propagation time from the point of emission at the source to the point of detection, (2) beyond-electric-dipole corrections to the light-matter interaction. These effects inherit information regarding the dispersion and cause specific features in the spectra including even-ordered h… ▽ More Applying the semiclassical model, we identify two connected effects in intraband high-harmonic generation (HHG): (1) propagation time from the point of emission at the source to the point of detection, (2) beyond-electric-dipole corrections to the light-matter interaction. These effects inherit information regarding the dispersion and cause specific features in the spectra including even-ordered harmonics in systems with space- and time-inversion symmetry. They can for certain experimental geometries be measured free of the dipole background. △ Less

Submitted 25 November, 2021; v1 submitted 9 November, 2021; originally announced November 2021.

Report number: Phys. Rev. A 105, L021101

Journal ref: Phys. Rev. A 105, L021101 (2022)

Learning Robust Controllers Via Probabilistic Model-Based Policy Search

Authors: Valentin Charvet, Bjørn Sand Jensen, Roderick Murray-Smith

Abstract: Model-based Reinforcement Learning estimates the true environment through a world model in order to approximate the optimal policy. This family of algorithms usually benefits from better sample efficiency than their model-free counterparts. We investigate whether controllers learned in such a way are robust and able to generalize under small perturbations of the environment. Our work is inspired b… ▽ More Model-based Reinforcement Learning estimates the true environment through a world model in order to approximate the optimal policy. This family of algorithms usually benefits from better sample efficiency than their model-free counterparts. We investigate whether controllers learned in such a way are robust and able to generalize under small perturbations of the environment. Our work is inspired by the PILCO algorithm, a method for probabilistic policy search. We show that enforcing a lower bound to the likelihood noise in the Gaussian Process dynamics model regularizes the policy updates and yields more robust controllers. We demonstrate the empirical benefits of our method in a simulation benchmark. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Comments: Accepted at RobustML Workshop - ICLR 2021

Efficient Uncertainty Quantification and Sensitivity Analysis in Epidemic Modelling using Polynomial Chaos

Authors: Bjørn Jensen, Allan P. Engsig-Karup, Kim Knudsen

Abstract: In the political decision process and control of COVID-19 (and other epidemic diseases), mathematical models play an important role. It is crucial to understand and quantify the uncertainty in models and their predictions in order to take the right decisions and trustfully communicate results and limitations. We propose to do uncertainty quantification in SIR-type models using the efficient framew… ▽ More In the political decision process and control of COVID-19 (and other epidemic diseases), mathematical models play an important role. It is crucial to understand and quantify the uncertainty in models and their predictions in order to take the right decisions and trustfully communicate results and limitations. We propose to do uncertainty quantification in SIR-type models using the efficient framework of generalized Polynomial Chaos. Through two particular case studies based on Danish data for the spread of Covid-19 we demonstrate the applicability of the technique. The test cases are related to peak time estimation and superspeading and illustrate how very few model evaluations can provide insightful statistics. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Comments: 18 pages, 7 figures, associated code at https://gitlab.gbar.dtu.dk/bcsj/covid-19-ctrl-public-code , submitted to MMNP

MSC Class: 62J10; 65C60; 92D30

Edge-state and bulk-like laser-induced correlation effects in high-harmonic generation from a linear chain

Authors: Simon Vendelbo Bylling Jensen, Lars Bojer Madsen

Abstract: We explore the significance of laser-induced correlation effects for high-order harmonic generation (HHG) in a linear chain model of a generic band gap material for both single-IR-pulse and VUV-pump--IR-probe HHG schemes. We examine various pump-pulse excitations, and catagorize signatures of laser-induced correlation effects into two classes related to edge-state and bulk-like effects. The relati… ▽ More We explore the significance of laser-induced correlation effects for high-order harmonic generation (HHG) in a linear chain model of a generic band gap material for both single-IR-pulse and VUV-pump--IR-probe HHG schemes. We examine various pump-pulse excitations, and catagorize signatures of laser-induced correlation effects into two classes related to edge-state and bulk-like effects. The relative importance of the edge-state effects decrease with increasing system-size, while the bulk-like effects remain. We identify regimes where these effects may alter the harmonic yield by an order of magnitude, but also regions where they may be neglected. We characterize the underlying laser-induced dynamics of the correlational mechanisms, using both an electronic population-description in a static field-free basis, and comparing to a bandstructure-picture with laser-induced time-dependent energy shifts. From this we provide a guideline on when to account for laser-induced electron correlations and give an estimate of the time-scale in which the laser-induced electron-electron interactions can cause correlational changes in the harmonic spectra. We find this timescale to be a few tens of femtoseconds. △ Less

Submitted 14 June, 2021; originally announced June 2021.

Journal ref: Phys. Rev. B 104, 054309 (2021)

Collective Information Security in Large-Scale Urban Protests: the Case of Hong Kong

Authors: Martin R. Albrecht, Jorge Blasco, Rikke Bjerg Jensen, Lenka Mareková

Abstract: The Anti-Extradition Law Amendment Bill protests in Hong Kong present a rich context for exploring information security practices among protesters due to their large-scale urban setting and highly digitalised nature. We conducted in-depth, semi-structured interviews with 11 participants of these protests. Research findings reveal how protesters favoured Telegram and relied on its security for inte… ▽ More The Anti-Extradition Law Amendment Bill protests in Hong Kong present a rich context for exploring information security practices among protesters due to their large-scale urban setting and highly digitalised nature. We conducted in-depth, semi-structured interviews with 11 participants of these protests. Research findings reveal how protesters favoured Telegram and relied on its security for internal communication and organisation of on-the-ground collective action; were organised in small private groups and large public groups to enable collective action; adopted tactics and technologies that enable pseudonymity; and developed a variety of strategies to detect compromises and to achieve forms of forward secrecy and post-compromise security when group members were (presumed) arrested. We further show how group administrators had assumed the roles of leaders in these 'leaderless' protests and were critical to collective protest efforts. △ Less

Submitted 31 May, 2021; originally announced May 2021.

Infrared Surface Brightness Fluctuation Distances for MASSIVE and Type Ia Supernova Host Galaxies

Authors: Joseph B. Jensen, John P. Blakeslee, Chung-Pei Ma, Peter A. Milne, Peter J. Brown, Michele Cantiello, Peter M. Garnavich, Jenny E. Greene, John R. Lucey, Anh Phan, R. Brent Tully, Charlotte M. Wood

Abstract: We measured high-quality surface brightness fluctuation (SBF) distances for a sample of 63 massive early-type galaxies using the WFC3/IR camera on the Hubble Space Telescope. The median uncertainty on the SBF distance measurements is 0.085 mag, or 3.9% in distance. Achieving this precision at distances of 50 to 100 Mpc required significant improvements to the SBF calibration and data analysis proc… ▽ More We measured high-quality surface brightness fluctuation (SBF) distances for a sample of 63 massive early-type galaxies using the WFC3/IR camera on the Hubble Space Telescope. The median uncertainty on the SBF distance measurements is 0.085 mag, or 3.9% in distance. Achieving this precision at distances of 50 to 100 Mpc required significant improvements to the SBF calibration and data analysis procedures for WFC3/IR data. Forty-two of the galaxies are from the MASSIVE Galaxy Survey, a complete sample of massive galaxies within ~100 Mpc; the SBF distances for these will be used to improve the estimates of the stellar and central supermassive black hole masses in these galaxies. Twenty-four of the galaxies are Type Ia supernova hosts, useful for calibrating SN Ia distances for early-type galaxies and exploring possible systematic trends in the peak luminosities. Our results demonstrate that the SBF method is a powerful and versatile technique for measuring distances to galaxies with evolved stellar populations out to 100 Mpc and constraining the local value of the Hubble constant. △ Less

Submitted 18 May, 2021; originally announced May 2021.

Comments: Accepted for publication in Astrophysical Journal Supplement Series; 22 pages, 7 figures, with 61 additional figures to be published as an online figure set

The XGIS instrument on-board THESEUS: the detection plane and on-board electronics

Authors: Fabio Fuschino, Riccardo Campana, Claudio Labanti, Lorenzo Amati, Enrico Virgilli, Luca Terenzi, Pierluigi Bellutti, Giuseppe Bertuccio, Giacomo Borghi, Francesco Ficorella, Massimo Gandola, Marco Grassi, Giovanni La Rosa, Paolo Lorenzi, Piero Malcovati, Filippo Mele, Piotr Orleański, Antonino Picciotto, Alexandre Rachevski, Irina Rashevskaya, Andrea Santangelo, Paolo Sarra, Giuseppe Sottile, Christoph Tenzer, Andrea Vacchi , et al. (10 additional authors not shown)

Abstract: The X and Gamma Imaging Spectrometer instrument on-board the THESEUS mission (selected by ESA in the framework of the Cosmic Vision M5 launch opportunity, currently in phase A) is based on a detection plane composed of several thousands of single active elements. Each element comprises a 4.5x4.5x30 mm 3 CsI(Tl) scintillator bar, optically coupled at both ends to Silicon Drift Detectors (SDDs). The… ▽ More The X and Gamma Imaging Spectrometer instrument on-board the THESEUS mission (selected by ESA in the framework of the Cosmic Vision M5 launch opportunity, currently in phase A) is based on a detection plane composed of several thousands of single active elements. Each element comprises a 4.5x4.5x30 mm 3 CsI(Tl) scintillator bar, optically coupled at both ends to Silicon Drift Detectors (SDDs). The SDDs acts both as photodetectors for the scintillation light and as direct X-ray sensors. In this paper the design of the XGIS detection plane is reviewed, outlining the strategic choices in terms of modularity and redundancy of the system. Results on detector-electronics prototypes are also described. Moreover, the design and development of the low-noise front-end electronics is presented, emphasizing the innovative architectural design based on custom-designed Application-Specific Integrated Circuits (ASICs). △ Less

Submitted 17 February, 2021; originally announced February 2021.

Comments: Proceedings of the SPIE 2020, paper 11444-277

The Hubble Constant from Infrared Surface Brightness Fluctuation Distances

Authors: John P. Blakeslee, Joseph B. Jensen, Chung-Pei Ma, Peter A. Milne, Jenny E. Greene

Abstract: We present a measurement of the Hubble constant $H_0$ from surface brightness fluctuation (SBF) distances for 63 bright, mainly early-type galaxies out to 100 Mpc observed with the Wide Field Camera 3 Infrared Channel (WFC3/IR) on the Hubble Space Telescope (HST). The sample is drawn from several independent HST imaging programs using the F110W bandpass of WFC3/IR. The majority of galaxies are in… ▽ More We present a measurement of the Hubble constant $H_0$ from surface brightness fluctuation (SBF) distances for 63 bright, mainly early-type galaxies out to 100 Mpc observed with the Wide Field Camera 3 Infrared Channel (WFC3/IR) on the Hubble Space Telescope (HST). The sample is drawn from several independent HST imaging programs using the F110W bandpass of WFC3/IR. The majority of galaxies are in the 50 to 80 Mpc range and come from the MASSIVE galaxy survey. The median statistical uncertainty on individual distance measurements is 4%. We construct the Hubble diagram with these IR SBF distances and constrain $H_0$ using {four} different treatments of the galaxy velocities. For the SBF zero point calibration, we use both the existing tie to Cepheid variables, updated for consistency with the latest determination of the distance to the Large Magellanic Cloud from detached eclipsing binaries, and a new tie to the tip of the red giant branch (TRGB) calibrated from the maser distance to NGC4258. These two SBF calibrations are consistent with each other and with theoretical predictions from stellar population models. From a weighted average of the Cepheid and TRGB calibrations, we derive $H_0=73.3{\,\pm\,}0.7{\,\pm\,}2.4$ km/s/Mpc, where the error bars reflect the statistical and systematic uncertainties. This result accords well with recent measurements of $H_0$ from Type~Ia supernovae, time delays in multiply lensed quasars, and water masers. The systematic uncertainty could be reduced to below 2% by calibrating the SBF method with precision TRGB distances for a statistical sample of massive early-type galaxies out to the Virgo cluster measured with the James Webb Space Telescope. △ Less

Submitted 26 February, 2021; v1 submitted 6 January, 2021; originally announced January 2021.

Comments: Replaced with version accepted to ApJ. 17 pages, including detailed Appendix on the Tip of the Red Giant Branch calibration; have added an additional peculiar velocity model to the analysis

Journal ref: 2021ApJ...911...65B

Odd-One-Out Representation Learning

Authors: Salman Mohammadi, Anders Kirk Uhrenholt, Bjørn Sand Jensen

Abstract: The effective application of representation learning to real-world problems requires both techniques for learning useful representations, and also robust ways to evaluate properties of representations. Recent work in disentangled representation learning has shown that unsupervised representation learning approaches rely on fully supervised disentanglement metrics, which assume access to labels for… ▽ More The effective application of representation learning to real-world problems requires both techniques for learning useful representations, and also robust ways to evaluate properties of representations. Recent work in disentangled representation learning has shown that unsupervised representation learning approaches rely on fully supervised disentanglement metrics, which assume access to labels for ground-truth factors of variation. In many real-world cases ground-truth factors are expensive to collect, or difficult to model, such as for perception. Here we empirically show that a weakly-supervised downstream task based on odd-one-out observations is suitable for model selection by observing high correlation on a difficult downstream abstract visual reasoning task. We also show that a bespoke metric-learning VAE model which performs highly on this task also out-performs other standard unsupervised and a weakly-supervised disentanglement model across several metrics. △ Less

Submitted 14 December, 2020; originally announced December 2020.

Intrinsic Robotic Introspection: Learning Internal States From Neuron Activations

Authors: Nikos Pitsillos, Ameya Pore, Bjorn Sand Jensen, Gerardo Aragon-Camarasa

Abstract: We present an introspective framework inspired by the process of how humans perform introspection. Our working assumption is that neural network activations encode information, and building internal states from these activations can improve the performance of an actor-critic model. We perform experiments where we first train a Variational Autoencoder model to reconstruct the activations of a featu… ▽ More We present an introspective framework inspired by the process of how humans perform introspection. Our working assumption is that neural network activations encode information, and building internal states from these activations can improve the performance of an actor-critic model. We perform experiments where we first train a Variational Autoencoder model to reconstruct the activations of a feature extraction network and use the latent space to improve the performance of an actor-critic when deciding which low-level robotic behaviour to execute. We show that internal states reduce the number of episodes needed by about 1300 episodes while training an actor-critic, denoting faster convergence to get a high success value while completing a robotic task. △ Less

Submitted 3 June, 2021; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: Paper accepted at the International Conference on Development and Learning (ICDL) 2021

Fragmented digital connectivity and security at sea

Authors: Rikke Bjerg Jensen

Abstract: This paper explores how uneven and often unreliable digital connections shape the patterns and routines of everyday life, work and rest for seafarers, during long periods at sea. Such fragmented connections, which surface when the ship moves in and out of connectivity or when onboard data allowances run out, create a series of uncertainties that might unsettle individual and collective notions of… ▽ More This paper explores how uneven and often unreliable digital connections shape the patterns and routines of everyday life, work and rest for seafarers, during long periods at sea. Such fragmented connections, which surface when the ship moves in and out of connectivity or when onboard data allowances run out, create a series of uncertainties that might unsettle individual and collective notions of security. Ethnographic in nature, the study engaged 43 seafarers on board two container ships in European waters, during two two-week voyages between February and April 2018. This provided an empirically grounded exploration of how digitally facilitated connections, relations and networks, enabled through increasingly connected ships, shape and reshape seafarer lives. Findings from this study demonstrate the creative ways in which seafarers navigate and negotiate digitally facilitated connections to maintain relational ties with family and friends. The paper concludes by setting out future research directions and practical implications that speak to connectivity and security at sea. △ Less

Submitted 31 October, 2020; originally announced November 2020.

Probabilistic selection of inducing points in sparse Gaussian processes

Authors: Anders Kirk Uhrenholt, Valentin Charvet, Bjørn Sand Jensen

Abstract: Sparse Gaussian processes and various extensions thereof are enabled through inducing points, that simultaneously bottleneck the predictive capacity and act as the main contributor towards model complexity. However, the number of inducing points is generally not associated with uncertainty which prevents us from applying the apparatus of Bayesian reasoning for identifying an appropriate trade-off.… ▽ More Sparse Gaussian processes and various extensions thereof are enabled through inducing points, that simultaneously bottleneck the predictive capacity and act as the main contributor towards model complexity. However, the number of inducing points is generally not associated with uncertainty which prevents us from applying the apparatus of Bayesian reasoning for identifying an appropriate trade-off. In this work we place a point process prior on the inducing points and approximate the associated posterior through stochastic variational inference. By letting the prior encourage a moderate number of inducing points, we enable the model to learn which and how many points to utilise. We experimentally show that fewer inducing points are preferred by the model as the points become less informative, and further demonstrate how the method can be employed in deep Gaussian processes and latent variable modelling. △ Less

Submitted 25 July, 2021; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021)

Edge-state-induced correlation effects in two-color high-harmonic generation

Authors: Simon Vendelbo Bylling Jensen, Hossein Iravani, Lars Bojer Madsen

Abstract: We show that two-color high-harmonic spectroscopy can reveal finite-size and edge-state-induced dynamic electron correlation effects in a generic nanostructured band-gap material. Compared to the response of a bulk sample, we demonstrate a significant correlation-induced increase in the efficiency of the generated signal over a wide range of frequencies by harnessing the power of these ultrafast m… ▽ More We show that two-color high-harmonic spectroscopy can reveal finite-size and edge-state-induced dynamic electron correlation effects in a generic nanostructured band-gap material. Compared to the response of a bulk sample, we demonstrate a significant correlation-induced increase in the efficiency of the generated signal over a wide range of frequencies by harnessing the power of these ultrafast many-electron dynamics. △ Less

Submitted 20 October, 2020; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: 6 pages, 4 figures

Journal ref: Phys. Rev. A 103, 053121 (2021)

The Vacuity of the Open Source Security Testing Methodology Manual

Authors: Martin R. Albrecht, Rikke Bjerg Jensen

Abstract: The Open Source Security Testing Methodology Manual (OSSTMM) provides a "scientific methodology for the accurate characterization of operational security" [Her10, p.13]. It is extensively referenced in writings aimed at security testing professionals such as textbooks, standards and academic papers. In this work we offer a fundamental critique of OSSTMM and argue that it fails to deliver on its pr… ▽ More The Open Source Security Testing Methodology Manual (OSSTMM) provides a "scientific methodology for the accurate characterization of operational security" [Her10, p.13]. It is extensively referenced in writings aimed at security testing professionals such as textbooks, standards and academic papers. In this work we offer a fundamental critique of OSSTMM and argue that it fails to deliver on its promise of actual security. Our contribution is threefold and builds on a textual critique of this methodology. First, OSSTMM's central principle is that security can be understood as a quantity of which an entity has more or less. We show why this is wrong and how OSSTMM's unified security score, the rav, is an empty abstraction. Second, OSSTMM disregards risk by replacing it with a trust metric which confuses multiple definitions of trust and, as a result, produces a meaningless score. Finally, OSSTMM has been hailed for its attention to human security. Yet it understands all human agency as a security threat that needs to be constantly monitored and controlled. Thus, we argue that OSSTMM is neither fit for purpose nor can it be salvaged, and it should be abandoned by security professionals. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Internet Photonic Sensing: Using Internet Fiber Optics for Vibration Measurement and Monitoring

Authors: Shreeshrita Patnaik, Paul Barford, Dante Fratta, Bill Jensen, Neal Lord, Matt Malloy, Herb Wang

Abstract: In this paper, we introduce Internet Photonic Sensing (IPS), a new framework for deformation and vibration measurement and monitoring based on signals that are available from standard fiber optic communication hardware deployed in the Internet. IPS is based on the hypothesis that atmospheric, seismic, anthropogenic and other natural activity cause vibrations in the earth that trigger detectable ch… ▽ More In this paper, we introduce Internet Photonic Sensing (IPS), a new framework for deformation and vibration measurement and monitoring based on signals that are available from standard fiber optic communication hardware deployed in the Internet. IPS is based on the hypothesis that atmospheric, seismic, anthropogenic and other natural activity cause vibrations in the earth that trigger detectable changes in standard optical signals that transmit data through Internet fiber. We assume a simple system component model for optical communication hardware and identify two candidate signals that may reflect deformation and vibrations and that can be measured through standard interfaces: Optical Signal Strength (OSS) and Bit Error Rate (BER). We investigate the efficacy of IPS through a series of controlled, laboratory experiments that consider how the candidate signals respond when fiber is subjected to a range of stresses. We believe that IPS offers the potential to transform the practice of scientific, commercial and public safety-related vibration monitoring applications by providing a highly-sensitive platform that is available at a global scale. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Comments: 7 pages, 9 figures

ACM Class: B.4.1; C.2.3; J.2

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest

Authors: Alexander Birch Jensen, Jørgen Villadsen

Abstract: We provide a brief description of the GOAL-DTU system for the agent contest, including the overall strategy and how the system is designed to apply this strategy. Our agents are implemented using the GOAL programming language. We evaluate the performance of our agents for the contest, and finally also discuss how to improve the system based on analysis of its strengths and weaknesses. We provide a brief description of the GOAL-DTU system for the agent contest, including the overall strategy and how the system is designed to apply this strategy. Our agents are implemented using the GOAL programming language. We evaluate the performance of our agents for the contest, and finally also discuss how to improve the system based on analysis of its strengths and weaknesses. △ Less

Submitted 11 June, 2020; originally announced June 2020.

Comments: 28 pages, 45 figures

Sound speed uncertainty in Acousto-Electric Tomography

Authors: Bjørn Christian Skov Jensen, Kim Knudsen

Abstract: The goal in acousto-electric tomography (AET) is to reconstruct an image of the unknown electric conductivity in an object from exterior electrostatic currents and voltages that are measured on the boundary of the object while the object is penetrated by propagating ultrasound waves. This problem is a coupled-physics inverse problem. Accurate knowledge of the propagating ultrasound wave is usually… ▽ More The goal in acousto-electric tomography (AET) is to reconstruct an image of the unknown electric conductivity in an object from exterior electrostatic currents and voltages that are measured on the boundary of the object while the object is penetrated by propagating ultrasound waves. This problem is a coupled-physics inverse problem. Accurate knowledge of the propagating ultrasound wave is usually assumed and required, but in practice tracking the propagating wave is very hard, or potentially impossible, due inexact knowledge of the object's interior acoustic wave speed. In this work, we model uncertainty in the wave speed, and formulate a suitable reconstruction method for the power density and conductivity. We also establish theoretical error bounds, and show that the suggested approach can be understood as a regularization scheme for the inverse problem. Finally, we simulate the wave speed from a numerical breast tissue model, and computationally explore the severity of the error in the reconstructions. Our results show that with reasonable sound speed uncertainty, reliable reconstruction is possible. △ Less

Submitted 28 March, 2022; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: 27 pages, 8 figures

MSC Class: 35R30; 65N21

Journal ref: Inverse Problems 37 (2021) 125011

Teaching a Formalized Logical Calculus

Authors: Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen

Abstract: Classical first-order logic is in many ways central to work in mathematics, linguistics, computer science and artificial intelligence, so it is worthwhile to define it in full detail. We present soundness and completeness proofs of a sequent calculus for first-order logic, formalized in the interactive proof assistant Isabelle/HOL. Our formalization is based on work by Stefan Berghofer, which we h… ▽ More Classical first-order logic is in many ways central to work in mathematics, linguistics, computer science and artificial intelligence, so it is worthwhile to define it in full detail. We present soundness and completeness proofs of a sequent calculus for first-order logic, formalized in the interactive proof assistant Isabelle/HOL. Our formalization is based on work by Stefan Berghofer, which we have since updated to use Isabelle's declarative proof style Isar (Archive of Formal Proofs, Entry FOL-Fitting, August 2007 / July 2018). We represent variables with de Bruijn indices; this makes substitution under quantifiers less intuitive for a human reader. However, the nature of natural numbers yields an elegant solution when compared to implementations of substitution using variables represented by strings. The sequent calculus considered has the special property of an always empty antecedent and a list of formulas in the succedent. We obtain the proofs of soundness and completeness for the sequent calculus as a derived result of the inverse duality of its tableau counterpart. We strive to not only present the results of the proofs of soundness and completeness, but also to provide a deep dive into a programming-like approach to the formalization of first-order logic syntax, semantics and the sequent calculus. We use the formalization in a bachelor course on logic for computer science and discuss our experiences. △ Less

Submitted 28 February, 2020; originally announced February 2020.

Comments: In Proceedings ThEdu'19, arXiv:2002.11895

Journal ref: EPTCS 313, 2020, pp. 73-92

Deterministic strain-control of stability and current-induced motion of skyrmions in chiral magnets

Authors: Phuong-Vu Ong, Tae-Hoon Kim, Haijun Zhao, Brandt A. Jensen, Lin Zhou, Liqin Ke

Abstract: External magnetic field, temperature, and spin-polarized current are usually employed to create and control nanoscale vortex-like spin configurations such as magnetic skyrmions. Although these methods have proven successful, they are not energy-efficient due to high power consumption and dissipation. Coupling between magnetic properties and mechanical deformation, the magnetoelastic (MEL) effect,… ▽ More External magnetic field, temperature, and spin-polarized current are usually employed to create and control nanoscale vortex-like spin configurations such as magnetic skyrmions. Although these methods have proven successful, they are not energy-efficient due to high power consumption and dissipation. Coupling between magnetic properties and mechanical deformation, the magnetoelastic (MEL) effect, offers a novel approach to energy-efficient control of magnetism at the nanoscale. It is of great interest in the context of ever-decreasing length scales of electronic and spintronic devices. Therefore, it is desirable to establish a comprehensive framework capable of predicting the effects of mechanical stress and enabling deterministic control of magnetic textures and skyrmions. In this work, using an advanced scheme of multiscale simulations and Lorentz transmission electron microscopy measurements we demonstrate deterministic control of topological magnetic textures and skyrmion creation in thin films and racetracks of chiral magnets. Our investigation considers not only uniaxial but also biaxial stress, which is ubiquitous in thin-film devices. The biaxial stress, rather than the uniaxial one, was shown to be more efficient to create or annihilate skyrmions when the MEL coefficient and strain have the same or opposite signs, respectively. It was also demonstrated to be a viable way to stabilize skyrmions and to control their current-induced motion in racetrack memory. Our results open prospects for deployment of mechanical stress to create novel topological spin textures, including merons, and in control and optimization of skyrmion-based devices. △ Less

Submitted 24 February, 2020; originally announced February 2020.

Comments: 12 pages, 7 figures

Mechanisms of skyrmion and skyrmion crystal formation from the conical phase

Authors: Taehoon Kim, Haijun Zhao, Ben Xu, Brandt A Jensen, Alexander H King, Matthew J Kramer, Cewen Nan, Liqin Ke, Lin Zhou

Abstract: Real-space topological magnetic structures such as skyrmions and merons are promising candidates for information storage and transport. However, the microscopic mechanisms that control their formation and evolution are still not clear. Here, using in-situ Lorentz transmission electron microscopy, we demonstrate that skyrmion crystals (SkXs) can nucleate, grow, and evolve from the conical phase in… ▽ More Real-space topological magnetic structures such as skyrmions and merons are promising candidates for information storage and transport. However, the microscopic mechanisms that control their formation and evolution are still not clear. Here, using in-situ Lorentz transmission electron microscopy, we demonstrate that skyrmion crystals (SkXs) can nucleate, grow, and evolve from the conical phase in the same ways that real nanocrystals form from vapors or solutions. More intriguingly, individual skyrmions can also "reproduce" by division in a mitosis-like process that allows them to annihilate SkX lattice imperfections, which is not available to crystals made of mass-conserving particles. Combined string method and micromagnetic calculations show that competition between repulsive and attractive interactions between skyrmions governs particle-like SkX growth, but non-conservative SkX growth appears to be defect-mediated. Our results provide insights towards manipulating magnetic topological states by applying established crystal growth theory, adapted to account for the new process of skyrmion mitosis. △ Less

Submitted 6 December, 2019; originally announced December 2019.

Comments: Results of this paper was presented on Aug. 6, 2019, at Microscopy & Microanalysis 2019 (Portland, OR)

Journal ref: Nano Lett. 2020, 20, 7, 4731-4738

Feasibility of Acousto-Electric Tomography

Authors: Bjørn Jensen, Adrian Kirkeby, Kim Knudsen

Abstract: In acousto-electric tomography the goal is to reconstruct the electric conductivity in a domain from electrostatic boundary measurements of corresponding currents and voltages, while the domain is penetrated by a time-dependent acoustic wave. We explicitly model the phenomena, and we propose a complete inversion framework for acousto-electric tomography in two steps: First the interior power densi… ▽ More In acousto-electric tomography the goal is to reconstruct the electric conductivity in a domain from electrostatic boundary measurements of corresponding currents and voltages, while the domain is penetrated by a time-dependent acoustic wave. We explicitly model the phenomena, and we propose a complete inversion framework for acousto-electric tomography in two steps: First the interior power density is obtained from boundary measurements by solving a linear, ill-posed problem; second the interior conductivity is reconstructed from the power density by solving a non-linear, fairly well-posed problem. We perform numerical experiments on synthetic data with realistically chosen parameters. We investigate how feasibility of reconstructing the electrical conductivity from boundary measurements depends on the acousto-electric coupling constant and measurement noise. Our findings are positive, and indicate that AET is indeed feasible for interesting applications in for example medical imaging. Finally, we consider a limited angle setup and show that the conductivity is well reconstructed near the measurement boundary. △ Less

Submitted 31 January, 2024; v1 submitted 9 August, 2019; originally announced August 2019.

MSC Class: 35R30; 65N21

Categorification and the quantum Grassmannian

Authors: Bernt Tore Jensen, Alastair King, ** Su

Abstract: In \cite{JKS} we gave an (additive) categorification of Grassmannian cluster algebras, using the category $\CM(A)$ of Cohen-Macaulay modules for a certain Gorenstein order $A$. In this paper, using a cluster tilting object in the same category $\CM(A)$, we construct a compatible pair $(B, L)$, which is the data needed to define a quantum cluster algebra. We show that when $(B, L)$ is defined from… ▽ More In \cite{JKS} we gave an (additive) categorification of Grassmannian cluster algebras, using the category $\CM(A)$ of Cohen-Macaulay modules for a certain Gorenstein order $A$. In this paper, using a cluster tilting object in the same category $\CM(A)$, we construct a compatible pair $(B, L)$, which is the data needed to define a quantum cluster algebra. We show that when $(B, L)$ is defined from a cluster tilting object with rank 1 summands, this quantum cluster algebra is (generically) isomorphic to the corresponding quantum Grassmannian. △ Less

Submitted 13 July, 2022; v1 submitted 16 April, 2019; originally announced April 2019.

Probing the Time Domain with High Spatial Resolution

Authors: J. P. Blakeslee, S. A. Rodney, J. M. Lotz, G. Sivo, S. Sivanandam, M. Andersen, R. Carrasco, L. Ferrarese, R. J. Foley, S. Goodsell, P. Hirst, J. B. Jensen, P. L. Kelly, A. A. Kaurov, M. Lemoine-Busserolle, B. W. Miller, J. O'Meara, H. Roe, M. E. Schwamb, J. Scharwächter

Abstract: Two groundbreaking new facilities will commence operations early in the 2020s and thereafter define much of the broad landscape of US optical-infrared astronomy in the remaining decade. The Large Synoptic Survey Telescope (LSST), perched atop Cerro Pachon in the Chilean Andes, will revolutionize the young field of Time Domain Astronomy through its wide-field, multi-band optical imaging survey. At… ▽ More Two groundbreaking new facilities will commence operations early in the 2020s and thereafter define much of the broad landscape of US optical-infrared astronomy in the remaining decade. The Large Synoptic Survey Telescope (LSST), perched atop Cerro Pachon in the Chilean Andes, will revolutionize the young field of Time Domain Astronomy through its wide-field, multi-band optical imaging survey. At the same time, the James Webb Space Telescope (JWST), orbiting at the Sun-Earth L2 Lagrange point, will provide stunningly high-resolution views of selected targets from the red end of the optical spectrum to the mid-infrared. However, the spatial resolution of the LSST observations will be limited by atmospheric seeing, while JWST will be limited in its time-domain capabilities. This paper highlights the scientific opportunities lying between these two landmark missions, i.e., science enabled by systems capable of astronomical observations with both high cadence in the time domain and high resolution in the spatial domain. The opportunities range from constraining the late phases of stellar evolution in nearby resolved populations to constraining dark matter distributions and cosmology using lensed transient sources. We describe a system that can deliver the required capabilities. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: Science white paper submitted to Astro2020