title: Decentralized Smart Surveillance through Microservices Platform

abstract: Connected societies require reliable measures to assure the safety, privacy, and security of members. Public safety technology has made fundamental improvements since the first generation of surveillance cameras were introduced, which aims to reduce the role of observer agents so that no abnormality goes unnoticed. While the edge computing paradigm promises solutions to address the shortcomings of cloud computing, e.g., the extra communication delay and network security issues, it also introduces new challenges. One of the main concerns is the limited computing power at the edge to meet the on-site dynamic data processing. In this paper, a Lightweight IoT (Internet of Things) based Smart Public Safety (LISPS) framework is proposed on top of microservices architecture. As a computing hierarchy at the edge, the LISPS system possesses high flexibility in the design process, loose coupling to add new services or update existing functions without interrupting the normal operations, and efficient power balancing. A real-world public safety monitoring scenario is selected to verify the effectiveness of LISPS, which detects, tracks human objects and identify suspicious activities. The experimental results demonstrate the feasibility of the approach.


title: A proof of the Khavinson conjecture

abstract: \begin{abstract} This paper deals with an extremal problem for bounded harmonic functions in the unit ball $\mathbb{B}^n.$ We solve the Khavinson conjecture in $\mathbb{R}^3,$ an intriguing open question since 1992 posed by D. Khavinson, later considered in a general context by Kresin and Maz'ya. Precisely, we obtain the following inequality: $$|\nabla u(x)|\leq \frac{1}{\rho^2}\bigg({\frac{(1+\frac{1}{3}\rho^2)^{\frac{3}{2}}}{1-\rho^2}-1}\bigg) \sup_{|y|<1} |u(y)|, $$ with $\rho=|x|,$ thus sharpening the previously known with $|\langle \nabla u(x),n_{x} \rangle |$ instead of $|\nabla u(x)|, $ where $n_{x}=\frac{x}{|x|}.$ \end{abstract}


title: Lightning and charge processes in brown dwarf and exoplanet atmospheres

abstract: The study of the composition of brown dwarf atmospheres helped to understand their formation and evolution. Similarly, the study of exoplanet atmospheres is expected to constrain their formation and evolutionary states. We use results from 3D simulations, kinetic cloud formation and kinetic ion-neutral chemistry to investigate ionisation processes which will affect their atmosphere chemistry: The dayside of super-hot Jupiters is dominated by atomic hydrogen, and not H$_2$O. Such planetary atmospheres exhibit a substantial degree of thermal ionisation and clouds only form on the nightside where lightning leaves chemical tracers (e.g. HCN) for possibly long enough to be detectable. External radiation may cause exoplanets to be enshrouded in a shell of highly ionised, H$_3^+$-forming gas and a weather-driven aurora may emerge. Brown dwarfs enable us to study the role of electron beams for the emergence of an extrasolar, weather-system driven aurora-like chemistry, and the effect of strong magnetic fields on cold atmospheric gases. Electron beams trigger the formation of H$_3^+$ in the upper atmosphere of a brown dwarf (e.g. LSR-J1835) which may react with it to form hydronium, H$_3$O$^+$, as a longer lived chemical tracer. Brown dwarfs and super-hot gas giants may be excellent candidates to search for H$_3$O$^+$ as an H$_3^+$ product.

categories: astro-ph.EP astro-ph.HE astro-ph.SR physics.ao-ph physics.space-ph


title: Complementary Learning for Overcoming Catastrophic Forgetting Using Experience Replay

abstract: Despite huge success, deep networks are unable to learn effectively in sequential multitask learning settings as they forget the past learned tasks after learning new tasks. Inspired from complementary learning systems theory, we address this challenge by learning a generative model that couples the current task to the past learned tasks through a discriminative embedding space. We learn an abstract level generative distribution in the embedding that allows the generation of data points to represent the experience. We sample from this distribution and utilize experience replay to avoid forgetting and simultaneously accumulate new knowledge to the abstract distribution in order to couple the current task with past experience. We demonstrate theoretically and empirically that our framework learns a distribution in the embedding that is shared across all task and as a result tackles catastrophic forgetting.


title: Bridging the Gap Between Monaural Speech Enhancement and Recognition with Distortion-Independent Acoustic Modeling

abstract: Monaural speech enhancement has made dramatic advances since the introduction of deep learning a few years ago. Although enhanced speech has been demonstrated to have better intelligibility and quality for human listeners, feeding it directly to automatic speech recognition (ASR) systems trained with noisy speech has not produced expected improvements in ASR performance. The lack of an enhancement benefit on recognition, or the gap between monaural speech enhancement and recognition, is often attributed to speech distortions introduced in the enhancement process. In this study, we analyze the distortion problem, compare different acoustic models, and investigate a distortion-independent training scheme for monaural speech recognition. Experimental results suggest that distortion-independent acoustic modeling is able to overcome the distortion problem. Such an acoustic model can also work with speech enhancement models different from the one used during training. Moreover, the models investigated in this paper outperform the previous best system on the CHiME-2 corpus.


title: Solving the Riemann Problem for Realistic Astrophysical Fluids

abstract: We present new methods to solve the Riemann problem both exactly and approximately for general equations of state (EoS) to facilitate realistic modeling and understanding of astrophysical flows. The existence and uniqueness of the new exact general EoS Riemann solution can be guaranteed if the EoS is monotone regardless of the physical validity of the EoS. We confirm that: (1) the solution of the new exact general EoS Riemann solver and the solution of the original exact Riemann solver match when calculating perfect gas Euler equations; (2) the solution of the new Harten-Lax-van Leer-Contact (HLLC) general EoS Riemann solver and the solution of the original HLLC Riemann solver match when working with perfect gas EoS; and (3) the solution of the new HLLC general EoS Riemann solver approaches the new exact solution. We solve the EoS with two methods, one is to interpolate 2D EoS tables by the bi-linear interpolation method, and the other is to analytically calculate thermodynamic variables at run-time. The interpolation method is more general as it can work with other monotone and realistic EoS while the analytic EoS solver introduced here works with a relatively idealized EoS. Numerical results confirm that the accuracy of the two EoS solvers is similar. We study the efficiency of these two methods with the HLLC general EoS Riemann solver and find that analytic EoS solver is faster in the test problems. However, we point out that a combination of the two EoS solvers may become favorable in some specific problems. Throughout this research, we assume local thermal equilibrium.


title: Pointwise gradient bounds for entire solutions of elliptic equations with non-standard growth conditions and general nonlinearities

abstract: We give pointwise gradient bounds for solutions of (possibly non-uniformly) elliptic partial differential equations in the entire Euclidean space. The operator taken into account is very general and comprises also the singular and degenerate nonlinear case with non-standard growth conditions. The sourcing term is also allowed to have a very general form, depending on the space variables, on the solution itself, on its gradient, and possibly on higher order derivatives if additional structural conditions are satisfied.


title: An Energy-Efficient Configurable Lattice Cryptography Processor for the Quantum-Secure Internet of Things

abstract: This paper presents a configurable lattice cryptography processor which enables quantum-resistant security protocols for IoT. Efficient sampling architectures, coupled with a low-power SHA-3 core, provide two orders of magnitude energy savings over software. A single-port RAM-based NTT architecture is proposed, which provides ~124k-gate area savings. This is the first ASIC implementation which demonstrates multiple lattice-based protocols proposed for NIST post-quantum standardization.


title: Detecting drug-drug interactions using artificial neural networks and classic graph similarity measures

abstract: Drug-drug interactions are preventable causes of medical injuries and often result in doctor and emergency room visits. Computational techniques can be used to predict potential drug-drug interactions. We approach the drug-drug interaction prediction problem as a link prediction problem and present two novel methods for drug-drug interaction prediction based on artificial neural networks and factor propagation over graph nodes: adjacency matrix factorization (AMF) and adjacency matrix factorization with propagation (AMFP). We conduct a retrospective analysis by training our models on a previous release of the DrugBank database with 1,141 drugs and 45,296 drug-drug interactions and evaluate the results on a later version of DrugBank with 1,440 drugs and 248,146 drug-drug interactions. Additionally, we perform a holdout analysis using DrugBank. We report an area under the receiver operating characteristic curve score of 0.807 and 0.990 for the retrospective and holdout analyses respectively. Finally, we create an ensemble-based classifier using AMF, AMFP, and existing link prediction methods and obtain an area under the receiver operating characteristic curve of 0.814 and 0.991 for the retrospective and the holdout analyses. We demonstrate that AMF and AMFP provide state of the art results compared to existing methods and that the ensemble-based classifier improves the performance by combining various predictors. These results suggest that AMF, AMFP, and the proposed ensemble-based classifier can provide important information during drug development and regarding drug prescription given only partial or noisy data. These methods can also be used to solve other link prediction problems. Drug embeddings (compressed representations) created when training our models using the interaction network have been made public.


title: Optically induced topological states on the surface of mercury telluride

abstract: We developed the theory which describes the Floquet engineering of surface electronic modes in bulk mercury telluride (HgTe) by a circularly polarized electromagnetic field. The analysis shows that the field results in appearance of the surface states which arise from the mixing of conduction and valence bands of HgTe. Their branches lie near the center of the Brillouin zone and have the Dirac dispersion characteristic for topological states. Besides them, the irradiation induces the gap between the conduction and valence bands of HgTe. Thus, the irradiation can turn mercury telluride into topological insulator from gapless semiconductor. It is demonstrated that the optically induced states differ substantially from the non-topological surface states existing in HgTe without irradiation. The structure of the found states is studied both analytically and numerically in the broad range of their parameters.


title: Compact optical phased array using a serial grating antenna design

abstract: We propose an on-chip Si photonics optical phased array based on a serial grating design which eliminates the use of directional couplers in previous designs. It significantly reduces overall phased array size especially when the number of the antenna is small which is often demanded in practice. The simulation results show our design reduces overall phased array size, increases optical power utilization while maintains comparable far field performance.


title: Transparency and Control in Platforms for Networked Markets

abstract: In this paper, we analyze the worst case efficiency loss of online platform designs under a networked Cournot competition model. Inspired by some of the largest platforms in operation today, the platform designs that we consider examine the trade-off between transparency and control. Our results show that open access designs incentivize increased production towards perfectly competitive levels and limit efficiency loss, while controlled allocation designs lead to producer-platform incentive misalignment, resulting in low participation and unbounded efficiency loss. We also show that discriminatory access designs balance transparency and control, achieving the best of both worlds by maintaining high participation rates while limiting efficiency loss.


title: The normalized distance Laplacian

abstract: The distance matrix $\mathcal{D}(G)$ of a graph $G$ is the matrix containing the pairwise distances between vertices. The transmission of a vertex $v_i$ in $G$ is the sum of the distances from $v_i$ to all other vertices and $T(G)$ is the diagonal matrix of transmissions of the vertices of the graph. The normalized distance Laplacian, $\mathcal{D}^{\mathcal {L}}(G)=I-T(G)^{-1/2}\mathcal{D}(G) T(G)^{-1/2}$, is introduced. This is analogous to the normalized Laplacian matrix, $\mathcal{L}(G)=I-D(G)^{-1/2}A(G)D(G)^{-1/2}$, where $D(G)$ is the diagonal matrix of degrees of the vertices of the graph and $A(G)$ is the adjacency matrix. Bounds on the spectral radius of $\mathcal{D}^{\mathcal {L}}$ and connections with the normalized Laplacian matrix are presented. Twin vertices are used to determine eigenvalues of the normalized distance Laplacian. The generalized distance characteristic polynomial is defined and its properties discussed. Finally, $\mathcal{D}^{\mathcal {L}}$-cospectrality is studied for all graphs on 10 and fewer vertices, providing evidence that the normalized distance Laplacian has fewer cospectral pairs than other matrices.


title: Emergence of Brain Rhythms: Model Interpretation of EEG Data

abstract: Electroencephalography (EEG) monitors ---by either intrusive or noninvasive electrodes--- time and frequency variations and spectral content of voltage fluctuations or waves, known as brain rhythms, which in some way uncover activity during both rest periods and specific events in which the subject is under stimulus. This is a useful tool to explore brain behavior, as it complements imaging techniques that have a poorer temporal resolution. We here approach the understanding of EEG data from first principles by studying a networked model of excitatory and inhibitory neurons which generates a variety of comparable waves. In fact, we thus reproduce $\alpha$, $\beta,$ $\gamma$ and other rhythms as observed by EEG, and identify the details of the respectively involved complex phenomena, including a precise relationship between an input and the collective response to it. It ensues the potentiality of our model to better understand actual mind mechanisms and its possible disorders, and we also describe kind of stochastic resonance phenomena which locate main qualitative changes of mental behavior in (e.g.) humans. We also discuss the plausible use of these findings to design deep learning algorithms to detect the occurence of phase transitions in the brain and to analyse its consequences.


title: Brazilian Primes Which Are Also Sophie Germain Primes

abstract: We disprove a conjecture of Schott that no Brazilian primes are Sophie Germain primes. We enumerate all counterexamples up to $10^{46}$.


title: CMB circular and B-mode polarization from new interactions

abstract: Standard models describing the radiation transfer of the cosmic microwave background (CMB) through Compton scattering predict that cosmological scalar perturbations at linear order are not able to source V and B polarization modes. In this work, we investigate the possibility that such CMB polarization modes are generated even in the presence of linear scalar perturbations only. We provide a general parametrization of the photon-fermion forward-scattering amplitude and compute mixing terms between different CMB polarization modes. We discuss different general extensions of Standard Model interactions which violate discrete symmetries, while preserving the combination of charge conjugation, parity and time reversal. We show that it is possible to source CMB circular polarization by violating parity and charge conjugation symmetries. Instead, B-mode generation is associated to the violation of symmetry for time-reversal. Our results provide a useful tool to constrain new physics using CMB data.


title: Reprogrammable Electro-Optic Nonlinear Activation Functions for Optical Neural Networks

abstract: We introduce an electro-optic hardware platform for nonlinear activation functions in optical neural networks. The optical-to-optical nonlinearity operates by converting a small portion of the input optical signal into an analog electric signal, which is used to intensity-modulate the original optical signal with no reduction in processing speed. Our scheme allows for complete nonlinear on-off contrast in transmission at relatively low optical power thresholds and eliminates the requirement of having additional optical sources between each layer of the network. Moreover, the activation function is reconfigurable via electrical bias, allowing it to be programmed or trained to synthesize a variety of nonlinear responses. Using numerical simulations, we demonstrate that this activation function significantly improves the expressiveness of optical neural networks, allowing them to perform well on two benchmark machine learning tasks: learning a multi-input exclusive-OR (XOR) logic function and classification of images of handwritten numbers from the MNIST dataset. The addition of the nonlinear activation function improves test accuracy on the MNIST task from 85% to 94%.


title: Mapping Cosmic Dawn and Reionization: Challenges and Synergies

abstract: Cosmic dawn and the Epoch of Reionization (EoR) are among the least explored observational eras in cosmology: a time at which the first galaxies and supermassive black holes formed and reionized the cold, neutral Universe of the post-recombination era. With current instruments, only a handful of the brightest galaxies and quasars from that time are detectable as individual objects, due to their extreme distances. Fortunately, a multitude of multi-wavelength intensity mapping measurements, ranging from the redshifted 21 cm background in the radio to the unresolved X-ray background, contain a plethora of synergistic information about this elusive era. The coming decade will likely see direct detections of inhomogenous reionization with CMB and 21 cm observations, and a slew of other probes covering overlapping areas and complementary physical processes will provide crucial additional information and cross-validation. To maximize scientific discovery and return on investment, coordinated survey planning and joint data analysis should be a high priority, closely coupled to computational models and theoretical predictions.


title: Ab initio optical potentials and nucleon scattering on medium mass nuclei

abstract: We derive ab initio optical potentials from self-consistent Green's function (SCGF) theory and compute the elastic scattering of neutrons off oxygen and calcium isotopes. The comparison with scattering data is satisfactory at low scattering energies. The method is benchmarked against no-core shell model with continuum (NCSMC) calculations, showing that virtual excitations of the target are crucial to predict proper fragmentation and absorption at higher energies. This is a significant step toward deriving optical potentials for medium mass nuclei and complex many-body systems in general.


title: WFIRST: Enhancing Transient Science and Multi-Messenger Astronomy

abstract: Astrophysical transients have been observed for millennia and have shaped our most basic assumptions about the Universe. In the last century, systematic searches have grown from detecting handfuls of transients per year to over 7000 in 2018 alone. As these searches have matured, we have discovered both large samples of "normal" classes and new, rare classes. Recently, a transient was the first object observed in both gravitational waves and light. Ground-based observatories, including LSST, will discover thousands of transients in the optical, but these facilities will not provide the high-fidelity near-infrared (NIR) photometry and high-resolution imaging of a space-based observatory. WFIRST can fill this gap. With its survey designed to measure the expansion history of the Universe with Type Ia supernovae, WFIRST will also discover and monitor thousands of other transients in the NIR, revealing the physics for these high-energy events. Small-scale GO programs, either as a supplement to the planned survey or as specific target-of-opportunity observations, would significantly expand the scope of transient science that can be studied with WFIRST.


title: Revisiting ssFix for Better Program Repair

abstract: A branch of automated program repair (APR) techniques look at finding and reusing existing code for bug repair. ssFix is one of such techniques that is syntactic search-based: it searches a code database for code fragments that are syntactically similar to the bug context and reuses such retrieved code fragments to produce patches. Using such a syntactic approach, ssFix is relatively lightweight and was shown to outperform many other APR techniques. In this paper, to investigate the true effectiveness of ssFix, we conducted multiple experiments to validate ssFix's built-upon assumption (i.e., to see whether it is often possible to reuse existing code for bug repair) and evaluate its code search and code reuse approaches. Our results show that while the basic idea of ssFix, i.e., reusing existing code for bug repair, is promising, the approaches ssFix uses are not the best and can be significantly improved. We proposed a new repair technique sharpFix which follows ssFix's basic idea but differs in the code search and reuse approaches used. We evaluated sharpFix and ssFix on two bug datasets: Defects4J and Bugs.jar-ELIXIR. The results confirm that sharpFix is an improvement over ssFix. For the Defects4J dataset, sharpFix successfully repaired a total of 36 bugs and outperformed many existing repair techniques in repairing more bugs. For the Bugs.jar-ELIXIR dataset, we compared sharpFix, ssFix, and four other APR techniques, and found that sharpFix has the best repair performance. In essence, the paper shows how effective a syntactic search-based approach can be and what techniques should be used for such an approach.


title: Verifiable Anonymous Identities and Access Control in Permissioned Blockchains

abstract: In this paper we address the issue of identity and access control within shared permissioned blockchains. We propose the ChainAchor system that provides anonymous but verifiable identities for entities on the blockchain. ChainAchor also provides access control to entities seeking to submit transactions to the blockchain to read/verify transactions on the the permissioned blockchain. Consensus nodes enforce access control to the shared permissioned blockchain by a simple look-up to a (read-only) list of anonymous members' public-keys. ChainAnchor also provides unlinkability of transactions belonging to an entity on the blockchain. This allows for an entity to optionally disclose their identity when a transaction is called into question (e.g. regulatory or compliance requirements), but without affecting the anonymity and unlinkability of their remaining transactions.


title: Cool, evolved stars: results, challenges, and promises for the next decade

abstract: Cool, evolved stars are the main source of chemical enrichment of the interstellar medium (ISM), and understanding their mass loss and structure offers a unique opportunity to study the cycle of matter in the Universe. Pulsation, convection, and other dynamic processes in cool evolved stars create an atmosphere where molecules and dust can form, including those necessary to the formation of life (e.g.~Carbon-bearing molecules). Understanding the structure and composition of these stars is thus vital to several aspects of stellar astrophysics, ranging from ISM studies to modeling young galaxies and exoplanet research. Recent modeling efforts and increasingly precise observations now reveal that our understanding of cool stars photospheric, chromospheric, and atmospheric structures is limited by inadequate knowledge of the dynamic and chemical processes at work. Here we outline promising scientific opportunities for the next decade. We identify and discuss the following main opportunities: (1) identify and model the physical processes that must be included in current 1D and 3D atmosphere models of cool, evolved stars; (2) refine our understanding of photospheric, chromospheric, and outer atmospheric regions of cool evolved stars, their properties and parameters, through high-resolution spectroscopic observations, and interferometric observations at high angular resolution; (3) include the neglected role of chromospheric activity in the mass loss process of red giant branch and red super giant stars, and understand the role played by their magnetic fields; (4) identify the important shaping mechanisms for planetary nebulae and their relation with the parent asymptotic giant branch stars.


title: Generating superpixels using deep image representations

abstract: Superpixel algorithms are a common pre-processing step for computer vision algorithms such as segmentation, object tracking and localization. Many superpixel methods only rely on colors features for segmentation, limiting performance in low-contrast regions and applicability to infrared or medical images where object boundaries have wide appearance variability. We study the inclusion of deep image features in the SLIC superpixel algorithm to exploit higher-level image representations. In addition, we devise a trainable superpixel algorithm, yielding an intermediate domain-specific image representation that can be applied to different tasks. A clustering-based superpixel algorithm is transformed into a pixel-wise classification task and superpixel training data is derived from semantic segmentation datasets. Our results demonstrate that this approach is able to improve superpixel quality consistently.


title: The June 2016 Optical and Gamma-Ray Outburst and Optical Micro-Variability of the Blazar 3C454.3

abstract: The quasar 3C454.3 underwent a uniquely-structured multi-frequency outburst in June 2016. The blazar was observed in the optical $R$ band by several ground-based telescopes in photometric and polarimetric modes, at $\gamma$-ray frequencies by the \emph{Fermi}\ Large Area Telescope, and at 43 GHz with the Very Long Baseline Array. The maximum flux density was observed on 2016 June 24 at both optical and $\gamma$-ray frequencies, reaching $S^\mathrm{max}_\mathrm{opt}=18.91\pm0.08$ mJy and $S_\gamma^\mathrm{max} =22.20\pm0.18\times10^{-6}$ ph cm$^{-2}$ s$^{-1}$, respectively. The June 2016 outburst possessed a precipitous decay at both $\gamma$-ray and optical frequencies, with the source decreasing in flux density by a factor of 4 over a 24-hour period in $R$ band. Intraday variability was observed throughout the outburst, with flux density changes between 1 and 5 mJy over the course of a night. The precipitous decay featured statistically significant quasi-periodic micro-variability oscillations with an amplitude of $\sim 2$-$3\%$ about the mean trend and a characteristic period of 36 minutes. The optical degree of polarization jumped from $\sim3\%$ to nearly 20\% during the outburst, while the position angle varied by $\sim120\degr$. A knot was ejected from the 43 GHz core on 2016 Feb 25, moving at an apparent speed $v_\mathrm{app}=20.3c\pm0.8c$. From the observed minimum timescale of variability $\tau_\mathrm{opt}^\mathrm{min}\approx2$ hr and derived Doppler factor $\delta=22.6$, we find a size of the emission region $r\lesssim2.6\times10^{15}$ cm. If the quasi-periodic micro-variability oscillations are caused by periodic variations of the Doppler factor of emission from a turbulent vortex, we derive a rotational speed of the vortex $\sim0.2c$.


title: The smooth locus in infinite-level Rapoport-Zink spaces

abstract: Rapoport-Zink spaces are deformation spaces for $p$-divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let $\mathscr{M}_{\infty}$ be an infinite-level Rapoport-Zink space of EL type, and let $\mathscr{M}_{\infty}^\circ$ be one geometrically connected component of it. We show that $\mathscr{M}_{\infty}^{\circ}$ contains a dense open subset which is cohomologically smooth in the sense of Scholze. This is the locus of $p$-divisible groups which do not have any extra endomorphisms. As a corollary, we find that the cohomologically smooth locus in the infinite-level modular curve $X(p^\infty)^{\circ}$ is exactly the locus of elliptic curves $E$ with supersingular reduction, such that the formal group of $E$ has no extra endomorphisms.


title: Near-Earth Supernova Explosions: Evidence, Implications, and Opportunities

abstract: There is now solid experimental evidence of at least one supernova explosion within 100 pc of Earth within the last few million years, from measurements of the short-lived isotope 60Fe in widespread deep-ocean samples, as well as in the lunar regolith and cosmic rays. This is the first established example of a specific dated astrophysical event outside the Solar System having a measurable impact on the Earth, offering new probes of stellar evolution, nuclear astrophysics, the astrophysics of the solar neighborhood, cosmic-ray sources and acceleration, multi-messenger astronomy, and astrobiology. Interdisciplinary connections reach broadly to include heliophysics, geology, and evolutionary biology. Objectives for the future include pinning down the nature and location of the established near-Earth supernova explosions, seeking evidence for others, and searching for other short-lived isotopes such as 26Al and 244Pu. The unique information provided by geological and lunar detections of radioactive 60Fe to assess nearby supernova explosions make now a compelling time for the astronomy community to advocate for supporting multi-disciplinary, cross-cutting research programs.

categories: astro-ph.SR astro-ph.EP astro-ph.HE nucl-ex physics.space-ph


title: Cyberinfrastructure Requirements to Enhance Multi-messenger Astrophysics

abstract: The identification of the electromagnetic counterpart of the gravitational wave event, GW170817, and discovery of neutrinos and gamma-rays from TXS 0506+056 heralded the new era of multi-messenger astrophysics. As the number of multi-messenger events rapidly grow over the next decade, the cyberinfrastructure requirements to handle the increase in data rates, data volume, need for event follow up, and analysis across the different messengers will also explosively grow. The cyberinfrastructure requirements to enhance multi-messenger astrophysics will both be a major challenge and opportunity for astronomers, physicists, computer scientists and cyberinfrastructure specialists. Here we outline some of these requirements and argue for a distributed cyberinfrastructure institute for multi-messenger astrophysics to meet these challenges.


title: The Role of Baryon Number Conservation in Measurements of Fluctuations

abstract: I discuss the role and impact of net-baryon number conservation in measurements of net proton fluctuations in heavy-ion collisions. I show that the magnitude of the fluctuations is entirely determined by the strength of two particle correlations. At LHC and top RHIC energy, this implies the fluctuations are proportional to the integral of the balance function (BF), $B^{p\bar p}$ of protons and anti-protons, while in the context of the RHIC beam energy scan (BES), one must also account for correlations of "stopped" protons. The integral of $B^{p\bar p}$ measured in a $4\pi$ detector depends on the relative cross-sections of processes yielding $p\bar p$ and those balancing the proton baryon number via the production of other anti-baryons. The accepted integral of $B^{p\bar p}$ further depends on the shape and width of the BF relative to the width of the acceptance. The magnitude of the measured second order cumulant of net proton fluctuations thus has much less to do with QCD susceptibilities than with the creation/transport of baryons and anti-baryons in heavy-ion collisions, and most particularly the impact of radial flow on the width of the BF. I thus advocate that net-proton fluctuations should be studied by means of differential BF measurements rather integral correlators.


title: Astro2020 Decadal Science White Paper: The state of gravitational-wave astrophysics in 2020

abstract: While still in its infancy, the budding field of gravitational-wave astronomy has so far exceeded most expectations, and the achievements that have already been made bode well for the decade to come. While the discoveries made possible by LIGO have captured the imagination of experts and nonexperts alike, it is important when looking ahead to consider those discoveries in the context of the field as a whole. Just as radio, optical, and x-ray radiation probe different physical phenomena occurring on a range of length and energy scales, the future of gravitational-wave astrophysics depends on our ability to open up the entire spectrum. We will describe the scientific prospects for the field of gravitational-wave astronomy as a whole as we enter the coming decade, and we will place the specific contributions from a future space-based gravitational-wave observatory within this context.

categories: astro-ph.HE astro-ph.CO astro-ph.GA gr-qc


title: Relativistic compatibility of the interacting $\kappa$-Poincar\'e model and implications for the relative locality framework

abstract: We investigate the relativistic properties under boost transformations of the $\kappa$-Poincar\'e model with multiple causally connected interactions, both at the level of its formulation in momentum space only and when it is endowed with a full phase space construction, provided by the relative locality framework. Previous studies focussing on the momentum space picture showed that in presence of just one interaction vertex the model is relativistic, provided that the boost parameter acting on each given particle receives a "backreaction" from the momenta of the other particles that participate in the interaction. Here we show that in presence of multiple causally-connected vertices the model is relativistic if the boost parameter acting on each given particle receives a backreaction from the total momentum of all the particles that are causally connected, even those that do not directly enter the vertex. The relative locality framework constructs spacetime by defining a set of dual coordinates to the momentum of each particle and interaction coordinates as Lagrange multipliers that enforce momentum conservation at interaction events. We show that the picture is Lorentz invariant if one uses an appropriate "total boost" to act on the particles' worldlines and on the interaction coordinates. The picture we develop also allows for a reinterpretation of the backreaction as the manifestation of the "total boost" action. Our findings provide the basis to consistently define distant relatively boosted observers in the relative locality framework.


title: Complete open Kahler manifolds with nonnegative bisectional curvature and non-maximal volume growth

abstract: It is still an open problem that a complete open Kahler manifold with positive bisectional curvature is Stein. This paper partially resolve the problem by putting a restriction to volume growth condition. The partial solution here improves the observation in ([8], page 341). The improvement is based on assuming a weaker volume growth condition that is not sufficiently maximal.


title: Computation of the phase step between two-step fringe patterns based on Gram--Schmidt algorithm

abstract: We present the evaluation of a closed form formula for the calculation of the original step between two randomly shifted fringe patterns. Our proposal extends the Gram--Schmidt orthonormalization algorithm for fringe pattern. Experimentally, the phase shift is introduced by a electro--mechanical devices (such as piezoelectric or moving mounts).The estimation of the actual phase step allows us to improve the phase shifting device calibration. The evaluation consists of three cases that represent different pre-normalization processes: First, we evaluate the accuracy of the method in the orthonormalization process by estimating the test step using synthetic normalized fringe patterns with no background, constant amplitude and different noise levels. Second, we evaluate the formula with a variable amplitude function on the fringe patterns but with no background. Third, we evaluate non-normalized noisy fringe patterns including the comparison of pre-filtering processes such as the Gabor filter banks and the isotropic normalization process, in order to emphasize how they affect in the calculation of the phase step.


title: Quality-Gated Convolutional LSTM for Enhancing Compressed Video

abstract: The past decade has witnessed great success in applying deep learning to enhance the quality of compressed video. However, the existing approaches aim at quality enhancement on a single frame, or only using fixed neighboring frames. Thus they fail to take full advantage of the inter-frame correlation in the video. This paper proposes the Quality-Gated Convolutional Long Short-Term Memory (QG-ConvLSTM) network with bi-directional recurrent structure to fully exploit the advantageous information in a large range of frames. More importantly, due to the obvious quality fluctuation among compressed frames, higher quality frames can provide more useful information for other frames to enhance quality. Therefore, we propose learning the "forget" and "input" gates in the ConvLSTM cell from quality-related features. As such, the frames with various quality contribute to the memory in ConvLSTM with different importance, making the information of each frame reasonably and adequately used. Finally, the experiments validate the effectiveness of our QG-ConvLSTM approach in advancing the state-of-the-art quality enhancement of compressed video, and the ablation study shows that our QG-ConvLSTM approach is learnt to make a trade-off between quality and correlation when leveraging multi-frame information. The project page: https://github.com/ryangchn/QG-ConvLSTM.git.


title: Probing Macro-Scale Gas Motions and Turbulence in Diffuse Cosmic Plasmas

abstract: Clusters of galaxies, the largest collapsed structures in the Universe, are located at the intersection of extended filaments of baryons and dark matter. Cosmological accretion onto clusters through large scale filaments adds material at cluster outskirts. Kinetic energy in the form of bulk motions and turbulence due to this accretion provides a form of pressure support against gravity, supplemental to thermal pressure. Significant amount of non-thermal pressure support could bias cluster masses derived assuming hydrostatic equilibrium, the primary proxy for cluster cosmology studies. Sensitive measurements of Doppler broadening and shift of astrophysical lines, and the relative fluctuations in thermodynamical quantities (e.g., density, pressure, and entropy) are primary diagnostic tools. Forthcoming planned and proposed X-ray (with large etendue, throughput, and high spectral resolution) and SZ observatories will provide crucial information on the assembly and virialisation processes of clusters, involving turbulent eddies cascading at various spatial scales and larger gas bulk motions in their external regions to the depth or their potential wells.


title: Graph Colouring Meets Deep Learning: Effective Graph Neural Network Models for Combinatorial Problems

abstract: Deep learning has consistently defied state-of-the-art techniques in many fields over the last decade. However, we are just beginning to understand the capabilities of neural learning in symbolic domains. Deep learning architectures that employ parameter sharing over graphs can produce models which can be trained on complex properties of relational data. These include highly relevant NP-Complete problems, such as SAT and TSP. In this work, we showcase how Graph Neural Networks (GNN) can be engineered -- with a very simple architecture -- to solve the fundamental combinatorial problem of graph colouring. Our results show that the model, which achieves high accuracy upon training on random instances, is able to generalise to graph distributions different from those seen at training time. Further, it performs better than the Neurosat, Tabucol and greedy baselines for some distributions. In addition, we show how vertex embeddings can be clustered in multidimensional spaces to yield constructive solutions even though our model is only trained as a binary classifier. In summary, our results contribute to shorten the gap in our understanding of the algorithms learned by GNNs, as well as hoarding empirical evidence for their capability on hard combinatorial problems. Our results thus contribute to the standing challenge of integrating robust learning and symbolic reasoning in Deep Learning systems.


title: Inverse Design of All-dielectric Parallel-Plane Mirror Resonator

abstract: In this study, we used parallel plane mirror resonator analogy to design all-dielectric optical resonator that is performed with the objective-first inverse design algorithm. Confinement of the light is succeeded via predefined objective function to create symmetric mirror regions for the fundamental transverse-electric polarization mode. The algorithm creates bandgap in random structure to obtain resonance peak at the desired wavelength without any intuitive scanning of the parameter space. The first order mode is confined on the cavity region at pre-defined wavelength. The obtained structure is analysed by using the two-dimensional finite-difference time-domain method. The proposed structure has a compact configuration with a footprint of $13.394 \times 0.592 \mu m^2$.


title: Decentralized Optimal Control of Connected Automated Vehicles at Signal-Free Intersections Including Comfort-Constrained Turns and Safety Guarantees

abstract: We extend earlier work for optimally controlling Connected Automated Vehicles (CAVs) crossing a signal-free intersection by including all possible turns taken so as to optimize a passenger comfort metric along with energy and travel time minimization. We show that it is possible to achieve this goal in a decentralized manner with each CAV solving an optimal control problem, and derive explicit solutions that guarantee collision avoidance and safe distance constraints within a control zone. We investigate the associated tradeoffs between minimizing energy and vehicle travel time, as well as the passenger comfort metric and include extensive simulations to illustrate this framework.


title: Reconfigurable integrated waveguide meshes for photonic signal processing and emerging applications

abstract: We review the recent advances reported in the field of integrated photonic waveguide meshes, both from the theoretical as well as from the experimental point of view. We show how these devices can be programmed to implement both traditional signal processing structures, such as finite and infinite impulse response filters, delay lines, beamforming networks as well as more advanced linear matrix optics functionalities. Experimental results reported both in Silicon and Silicon Nitride material platforms will be presented. We will also discuss the main programming algorithms to implement these structures and discuss their applications either as standalone systems or as part of more elaborated subsystems in microwave photonics, quantum information and machine learning


title: Programmable Multifuctional Photonics ICs

abstract: Here, we review present and future work in the next photonic IC generation aiming at integration of multi-functional software-defined systems for signal processing operations.


title: Nijenhuis Geometry

abstract: This work is the first, and main, of the series of papers in progress dedicated to Nienhuis operators, i.e., fields of endomorphisms with vanishing Nijenhuis tensor. It serves as an introduction to Nijenhuis Geometry that should be understood in much wider context than before: from local description at generic points to singularities and global analysis. The goal of the present paper is to introduce terminology, develop new important techniques (e.g., analytic functions of Nijenhuis operators, splitting theorem and linearisation), summarise and generalise basic facts (some of which are already known but we give new self-contained proofs), and more importantly, to demonstrate that the research programme proposed in the paper is realistic by proving a series of new, not at all obvious, results.


title: Stochastic Time-Dependent DFT with Optimally Tuned Range-Separated Hybrids: Application to Excitonic Effects in Large Phosphorene Sheets

abstract: We develop a stochastic approach to time-dependent DFT with optimally-tuned range-separated hybrids containing non-local exchange, for calculating optical spectra. The attractive electron-hole interaction, which leads to the formation of excitons, is included through a time-dependent linear-response technique with a non-local exchange interaction which is computed very efficiently through a stochastic scheme. The method is inexpensive and scales quadratically with the number of electrons, at almost the same (low) cost of time dependent Kohn-Sham (TDKS) with local functionals. Our results are in excellent agreement with experimental data and the efficiency of the approach is demonstrated on large finite phosphorene sheets containing up to 1958 valence electrons.


title: Inverted Scanning Microwave Microscope for In Vitro Imaging and Characterization of Biological Cells

abstract: This paper presents for the first time an innovative instrument called an inverted scanning microwave microscope (iSMM), which is capable of noninvasive and label-free imaging and characterization of intracellular structures of a live cell on the nanometer scale. In particular, the iSMM is sensitive to not only surface structures, but also ectromagnetic properties up to one micrometer below the surface. Conveniently, the iSMM can be constructed through straightforward conversion of any scanning probe microscope, such as the atomic force microscope or the scanning tunneling microscope, with a simple metal probe to outperform traditional SMM in terms of ruggedness, and width, sensitivity and dynamic range. By contrast, the application of the traditional SMM to date has been limited to mainly surface physics and semiconductor technology, because the traditional SMM requires a fragile and expensive probe and is incompatible with saline solution or live biological cells.


title: So what is class number 2?

abstract: Using factorization properties, we give several characterizations for an algebraic number ring to have class number 2.


title: High-Energy Polarimetry - a new window to probe extreme physics in AGN jets

abstract: The constantly improving sensitivity of ground-based and space-borne observatories has made possible the detection of high-energy emission (X-rays and gamma-rays) from several thousands of extragalactic sources. Enormous progress has been made in measuring the continuum flux enabling us to perform imaging, spectral and timing studies. An important remaining challenge for high-energy astronomy is measuring polarization. The capability to measure polarization is being realized currently at X-ray energies (e.g. with IXPE), and sensitive gamma-ray telescopes capable of measuring polarization, such as AMEGO, AdEPT, e-ASTROGAM, etc., are being developed. These future gamma-ray telescopes will probe the radiation mechanisms and magnetic fields of relativistic jets from active galactic nuclei at spatial scales much smaller than the angular resolution achieved with continuum observations of the instrument. In this white paper, we discuss the scientific potentials of high-energy polarimetry, especially gamma-ray polarimetry, including the theoretical implications, and observational technology advances being made. In particular, we will explore the primary scientific opportunities and wealth of information expected from synergy of multi-wavelength polarimetry that will be brought to multi-messenger astronomy.


title: The Short-Baseline Neutrino Program at Fermilab

abstract: The Short-Baseline Neutrino, or SBN, program consists of three liquid argon time projection chamber detectors located along the Booster Neutrino Beam at the Fermi National Accelerator Laboratory. Its main goals include searches for new physics - particularly eV-scale sterile neutrinos, detailed studies of neutrino-nucleus interactions at the GeV energy scale, and the advancement of the liquid argon detector technology that will also be used in the DUNE/LBNF long-baseline neutrino experiment in the next decade. Here we review these science goals and the current experimental status of SBN.


title: A Translation of "Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungszahlen" by Heinz Bachmann

abstract: This is a translation of Heinz Bachmann's influential paper, wherein the Bachmann-Howard ordinal is defined, and some general considerations given on systems of ordinal functions. Permission to post has been granted by the editors of Vierteljahrsschrift der Naturforschenden Gesellschaft in Zurich (www.ngzh.ch)


title: Financial Trading Model with Stock Bar Chart Image Time Series with Deep Convolutional Neural Networks

abstract: Even though computational intelligence techniques have been extensively utilized in financial trading systems, almost all developed models use the time series data for price prediction or identifying buy-sell points. However, in this study we decided to use 2-D stock bar chart images directly without introducing any additional time series associated with the underlying stock. We propose a novel algorithmic trading model CNN-BI (Convolutional Neural Network with Bar Images) using a 2-D Convolutional Neural Network. We generated 2-D images of sliding windows of 30-day bar charts for Dow 30 stocks and trained a deep Convolutional Neural Network (CNN) model for our algorithmic trading model. We tested our model separately between 2007-2012 and 2012-2017 for representing different market conditions. The results indicate that the model was able to outperform Buy and Hold strategy, especially in trendless or bear markets. Since this is a preliminary study and probably one of the first attempts using such an unconventional approach, there is always potential for improvement. Overall, the results are promising and the model might be integrated as part of an ensemble trading model combined with different strategies.


title: Evaluating Modern GPU Interconnect: PCIe, NVLink, NV-SLI, NVSwitch and GPUDirect

abstract: High performance multi-GPU computing becomes an inevitable trend due to the ever-increasing demand on computation capability in emerging domains such as deep learning, big data and planet-scale simulations. However, the lack of deep understanding on how modern GPUs can be connected and the real impact of state-of-the-art interconnect technology on multi-GPU application performance become a hurdle. In this paper, we fill the gap by conducting a thorough evaluation on five latest types of modern GPU interconnects: PCIe, NVLink-V1, NVLink-V2, NVLink-SLI and NVSwitch, from six high-end servers and HPC platforms: NVIDIA P100-DGX-1, V100-DGX-1, DGX-2, OLCF's SummitDev and Summit supercomputers, as well as an SLI-linked system with two NVIDIA Turing RTX-2080 GPUs. Based on the empirical evaluation, we have observed four new types of GPU communication network NUMA effects: three are triggered by NVLink's topology, connectivity and routing, while one is caused by PCIe chipset design issue. These observations indicate that, for an application running in a multi-GPU node, choosing the right GPU combination can impose considerable impact on GPU communication efficiency, as well as the application's overall performance. Our evaluation can be leveraged in building practical multi-GPU performance models, which are vital for GPU task allocation, scheduling and migration in a shared environment (e.g., AI cloud and HPC centers), as well as communication-oriented performance tuning.


title: Astro2020 Science White Paper: Understanding the evolution of close white dwarf binaries

abstract: Interacting binaries containing white dwarfs can lead to a variety of outcomes that range from powerful thermonuclear explosions, which are important in the chemical evolution of galaxies and as cosmological distance estimators, to strong sources of low frequency gravitational wave radiation, which makes them ideal calibrators for the gravitational low-frequency wave detector LISA mission. However, current theoretical evolution models still fail to explain the observed properties of the known populations of white dwarfs in both interacting and detached binaries. Major limitations are that the existing population models have generally been developed to explain the properties of sub-samples of these systems, occupying small volumes of the vast parameter space, and that the observed samples are severely biased. The overarching goal for the next decade is to assemble a large and homogeneous sample of white dwarf binaries that spans the entire range of evolutionary states, to obtain precise measurements of their physical properties, and to further develop the theory to satisfactorily reproduce the properties of the entire population. While ongoing and future all-sky high- and low-resolution optical spectroscopic surveys allow us to enlarge the sample of these systems, high-resolution ultraviolet spectroscopy is absolutely essential for the characterization of the white dwarfs in these binaries. The Hubble Space Telescope is currently the only facility that provides ultraviolet spectroscopy, and with its foreseeable demise, planning the next ultraviolet mission is of utmost urgency.


title: Learning Edge Properties in Graphs from Path Aggregations

abstract: Graph edges, along with their labels, can represent information of fundamental importance, such as links between web pages, friendship between users, the rating given by users to other users or items, and much more. We introduce LEAP, a trainable, general framework for predicting the presence and properties of edges on the basis of the local structure, topology, and labels of the graph. The LEAP framework is based on the exploration and machine-learning aggregation of the paths connecting nodes in a graph. We provide several methods for performing the aggregation phase by training path aggregators, and we demonstrate the flexibility and generality of the framework by applying it to the prediction of links and user ratings in social networks. We validate the LEAP framework on two problems: link prediction, and user rating prediction. On eight large datasets, among which the arXiv collaboration network, the Yeast protein-protein interaction, and the US airlines routes network, we show that the link prediction performance of LEAP is at least as good as the current state of the art methods, such as SEAL and WLNM. Next, we consider the problem of predicting user ratings on other users: this problem is known as the edge-weight prediction problem in weighted signed networks (WSN). On Bitcoin networks, and Wikipedia RfA, we show that LEAP performs consistently better than the Fairness & Goodness based regression models, varying the amount of training edges between 10 to 90%. These examples demonstrate that LEAP, in spite of its generality, can match or best the performance of approaches that have been especially crafted to solve very specific edge prediction problems.


title: Modal logics of finite direct powers of $\omega$ have the finite model property

abstract: Let $(\omega^n,\preceq)$ be the direct power of $n$ instances of $(\omega,\leq)$, natural numbers with the standard ordering, $(\omega^n,\prec)$ the direct power of $n$ instances of $(\omega,<)$. We show that for all finite $n$, the modal logics of $(\omega^n,\preceq)$ and of $(\omega^n,\prec)$ have the finite model property and moreover, the modal algebras of the frames $(\omega^n,\preceq)$ and $(\omega^n,\prec)$ are locally finite.


title: The US Program in Ground-Based Gravitational Wave Science: Contribution from the LIGO Laboratory

abstract: Recent gravitational-wave observations from the LIGO and Virgo observatories have brought a sense of great excitement to scientists and citizens the world over. Since September 2015,10 binary black hole coalescences and one binary neutron star coalescence have been observed. They have provided remarkable, revolutionary insight into the "gravitational Universe" and have greatly extended the field of multi-messenger astronomy. At present, Advanced LIGO can see binary black hole coalescences out to redshift 0.6 and binary neutron star coalescences to redshift 0.05. This probes only a very small fraction of the volume of the observable Universe. However, current technologies can be extended to construct "$3^\mathrm{rd}$ Generation" (3G) gravitational-wave observatories that would extend our reach to the very edge of the observable Universe. The event rates over such a large volume would be in the hundreds of thousands per year (i.e.tens per hour). Such 3G detectors would have a 10-fold improvement in strain sensitivity over the current generation of instruments, yielding signal-to-noise ratios of 1000 for events like those already seen. Several concepts are being studied for which engineering studies and reliable cost estimates will be developed in the next 5 years.


title: The $q$-Higgs and Askey-Wilson algebras

abstract: A $q$-analogue of the Higgs algebra, which describes the symmetry properties of the harmonic oscillator on the $2$-sphere, is obtained as the commutant of the $\mathfrak{o}_{q^{1/2}}(2) \oplus \mathfrak{o}_{q^{1/2}}(2)$ subalgebra of $\mathfrak{o}_{q^{1/2}}(4)$ in the $q$-oscillator representation of the quantized universal enveloping algebra $U_q(\mathfrak{u}(4))$. This $q$-Higgs algebra is also found as a specialization of the Askey--Wilson algebra embedded in the tensor product $U_q(\mathfrak{su}(1,1))\otimes U_q(\mathfrak{su}(1,1))$. The connection between these two approaches is established on the basis of the Howe duality of the pair $\big(\mathfrak{o}_{q^{1/2}}(4),U_q(\mathfrak{su}(1,1))\big)$.


title: Scherk-like Translators for Mean Curvature Flow

abstract: We prove existence and uniqueness for a two-parameter family of translators for mean curvature flow. We get additional examples by taking limits at the boundary of the parameter space. Some of the translators resemble well-known minimal surfaces (Scherk's doubly periodic minimal surfaces, helicoids), but others have no minimal surface analogs. A one-parameter subfamily of the examples (the pitchforks) have finite topology and quadratic area growth, and thus might arise as blowups at singularities of initially smooth, closed surfaces flowing by mean curvature flow.


title: Measurement of $VH$, $H\to b\bar{b}$ production as a function of the vector-boson transverse momentum in 13 TeV $pp$ collisions with the ATLAS detector

abstract: Cross-sections of associated production of a Higgs boson decaying into bottom-quark pairs and an electroweak gauge boson, $W$ or $Z$, decaying into leptons are measured as a function of the gauge boson transverse momentum. The measurements are performed in kinematic fiducial volumes defined in the `simplified template cross-section' framework. The results are obtained using 79.8 fb$^{-1}$ of proton-proton collisions recorded by the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of 13 TeV. All measurements are found to be in agreement with the Standard Model predictions, and limits are set on the parameters of an effective Lagrangian sensitive to modifications of the Higgs boson couplings to the electroweak gauge bosons.


title: Toxin-mediated competition in weakly motile bacteria

abstract: Many bacterial species produce toxins that inhibit their competitors. We model this phenomenon by extending classic two-species Lotka-Volterra competition in one spatial dimension to incorporate toxin production by one species. Considering solutions comprising two adjacent single-species colonies, we show how the toxin inhibits the susceptible species near the interface between the two colonies. Moreover, a sufficiently effective toxin inhibits the susceptible species to such a degree that an `inhibition zone' is formed separating the two colonies. In the special case of truly non-motile bacteria, i.e. with zero bacterial diffusivity, we derive analytical expressions describing the bacterial distributions and size of the inhibition zone. In the more general case of weakly motile bacteria, i.e. small bacterial diffusivity, these two-colony solutions become travelling waves. We employ numerical methods to show that the wavespeed is dependent upon both interspecific competition and toxin strength; precisely which colony expands at the expense of the other depends upon the choice of parameter values. In particular, a sufficiently effective toxin allows the producer to expand at the expense of the susceptible, with a wavespeed magnitude that is bounded above as the toxin strength increases. This asymptotic wavespeed is independent of interspecific competition and due to the formation of the inhibition zone; when the colonies are thus separated, there is no longer direct competition between the two species and the producer can invade effectively unimpeded by its competitor. We note that the minimum toxin strength required to produce an inhibition zone increases rapidly with increasing bacterial diffusivity, suggesting that even moderately motile bacteria must produce very strong toxins if they are to benefit in this way.


title: Pay to change lanes: A cooperative lane-changing strategy for connected/automated driving

abstract: This paper proposes a cooperative lane changing strategy using a transferable utility games framework. This allows vehicles to engage in transactions where gaps in traffic are created in exchange for monetary compensation. The proposed approach is best suited to discretionary lane change maneuvers. We formulate gains in travel time, referred to as time differences, that result from achieving higher speeds. These time differences, coupled with value of time, are used to formulate a utility function, where utility is transferable. We also allow for games between connected vehicles that do not involve transfer of utility. We apply Nash bargaining theory to solve the latter. A cellular automaton is developed and utilized to perform simulation experiments that explore the impact of such transactions on traffic conditions (travel-time savings, resulting speed-density relations and shock wave formation) and the benefit to vehicles. The results show that lane changing with transferable utility between drivers can help achieve win-win results, improve both individual and social benefits without resulting in any adverse effects on traffic characteristics in general and, in fact, result in slight improvement at traffic densities outside of free-flow and (bumper-to-bumper) jammed traffic.


title: A conservative, consistent, and scalable meshfree mimetic method

abstract: Mimetic methods discretize divergence by restricting the Gauss theorem to mesh cells. Because point clouds lack such geometric entities, construction of a compatible meshfree divergence remains a challenge. In this work, we define an abstract Meshfree Mimetic Divergence (MMD) operator on point clouds by contraction of field and virtual face moments. This MMD satisfies a discrete divergence theorem, provides a discrete local conservation principle, and is first-order accurate. We consider two MMD instantiations. The first one assumes a background mesh and uses generalized moving least squares (GMLS) to obtain the necessary field and face moments. This MMD instance is appropriate for settings where a mesh is available but its quality is insufficient for a robust and accurate mesh-based discretization. The second MMD operator retains the GMLS field moments but defines virtual face moments using computationally efficient weighted graph-Laplacian equations. This MMD instance does not require a background grid and is appropriate for applications where mesh generation creates a computational bottleneck. It allows one to trade an expensive mesh generation problem for a scalable algebraic one, without sacrificing compatibility with the divergence operator. We demonstrate the approach by using the MMD operator to obtain a virtual finite-volume discretization of conservation laws on point clouds. Numerical results in the paper confirm the mimetic properties of the method and show that it behaves similarly to standard finite volume methods.


title: Probe Chiral Magnetic Effect with Signed Balance Function

abstract: In this paper a pair of observables are proposed as alternative ways, by examining the fluctuation of net momentum-ordering of charged pairs, to study the charge separation induced by the Chiral Magnetic Effect (CME) in relativistic heavy ion collisions. They are, the out-of-plane to in-plane ratio of fluctuation of the difference between signed balance functions measured in pair's rest frame, and the ratio of it to similar measurement made in the laboratory frame. Both observables have been studied with simulations including flow-related backgrounds, and for the first time, backgrounds that are related to resonance's global spin alignment. The two observables have similar positive responses to signal, and opposite, limited responses to identifiable backgrounds arising from resonance flow and spin alignment. Both observables have also been tested with two realistic models, namely, a multi-phase transport (AMPT) model and the anomalous-viscous fluid dynamics (AVFD) model. These two observables, when cross examined, will provide useful insights in the study of CME-induced charge separation.


title: Evolution and Spectral Response of a Steam Atmosphere for Early Earth with a coupled climate-interior model

abstract: The evolution of Earth's early atmosphere and the emergence of habitable conditions on our planet are intricately coupled with the development and duration of the magma ocean phase during the early Hadean period (4 to 4.5 Ga). In this paper, we deal with the evolution of the steam atmosphere during the magma ocean period. We obtain the outgoing longwave radiation using a line-by-line radiative transfer code GARLIC. Our study suggests that an atmosphere consisting of pure H$_{2}$O, built as a result of outgassing extends the magma ocean lifetime to several million years. The thermal emission as a function of solidification timescale of magma ocean is shown. We study the effect of thermal dissociation of H$_{2}$O at higher temperatures by applying atmospheric chemical equilibrium which results in the formation of H$_{2}$ and O$_{2}$ during the early phase of the magma ocean. A 1-6\% reduction in the OLR is seen. We also obtain the effective height of the atmosphere by calculating the transmission spectra for the whole duration of the magma ocean. An atmosphere of depth ~100 km is seen for pure water atmospheres. The effect of thermal dissociation on the effective height of the atmosphere is also shown. Due to the difference in the absorption behavior at different altitudes, the spectral features of H$_{2}$ and O$_{2}$ are seen at different altitudes of the atmosphere. Therefore, these species along with H$_{2}$O have a significant contribution to the transmission spectra and could be useful for placing observational constraints upon magma ocean exoplanets.


title: A magnetically driven equatorial jet in Europa's ocean

abstract: During recent decades, data from space missions have provided strong evidence of deep liquid oceans underneath a thin outer icy crust on several moons of Jupiter, particularly Europa. But these observations have also raised many unanswered questions regarding the oceanic motions generated under the ice, or the mechanisms leading to the geological features observed on Europa. By means of direct numerical simulations of Europa's interior, we show here that Jupiter's magnetic field generates a retrograde oceanic jet at the equator, which may influence the global dynamics of Europa's ocean and contribute to the formation of some of its surface features by applying a unidirectional torque on Europa's ice shell.


title: Finite semantics for fragments of intuitionistic logic

abstract: In 1932, G\"odel proved that there is no finite semantics for intuitionistic logic. We consider all fragments of intuitionistic logic and check in each case whether a finite semantics exists. We may fulfill a didactic goal, as little logic and algebra are presupposed.


title: Safe Convex Learning under Uncertain Constraints

abstract: We address the problem of minimizing a convex smooth function $f(x)$ over a compact polyhedral set $D$ given a stochastic zeroth-order constraint feedback model. This problem arises in safety-critical machine learning applications, such as personalized medicine and robotics. In such cases, one needs to ensure constraints are satisfied while exploring the decision space to find optimum of the loss function. We propose a new variant of the Frank-Wolfe algorithm, which applies to the case of uncertain linear constraints. Using robust optimization, we provide the convergence rate of the algorithm while guaranteeing feasibility of all iterates, with high probability.


title: The Hawking Temperature of Anti-de Sitter Black Holes: Topology and Phase Transitions

abstract: In this work we determine how the description of a four-dimensional Schwarzschild-anti de Sitter black hole affects the topological calculation of its Hawking temperature. It is shown that a two-dimensional approach is required due to the presence of the Hawking-Page phase transition which destabilises the spacetime's topology. We prove that a dimensional reduction removes the phase transition and hence stabilises the system. This hints at a previously unknown feature of black hole thermodynamics, namely that certain black holes may demand a lower-dimensional description in order to define their Hawking temperatures.


title: Sim-to-(Multi)-Real: Transfer of Low-Level Robust Control Policies to Multiple Quadrotors

abstract: Quadrotor stabilizing controllers often require careful, model-specific tuning for safe operation. We use reinforcement learning to train policies in simulation that transfer remarkably well to multiple different physical quadrotors. Our policies are low-level, i.e., we map the rotorcrafts' state directly to the motor outputs. The trained control policies are very robust to external disturbances and can withstand harsh initial conditions such as throws. We show how different training methodologies (change of the cost function, modeling of noise, use of domain randomization) might affect flight performance. To the best of our knowledge, this is the first work that demonstrates that a simple neural network can learn a robust stabilizing low-level quadrotor controller (without the use of a stabilizing PD controller) that is shown to generalize to multiple quadrotors.


title: Multi-Messenger Astronomy with Extremely Large Telescopes

abstract: The field of time-domain astrophysics has entered the era of Multi-messenger Astronomy (MMA). One key science goal for the next decade (and beyond) will be to characterize gravitational wave (GW) and neutrino sources using the next generation of Extremely Large Telescopes (ELTs). These studies will have a broad impact across astrophysics, informing our knowledge of the production and enrichment history of the heaviest chemical elements, constrain the dense matter equation of state, provide independent constraints on cosmology, increase our understanding of particle acceleration in shocks and jets, and study the lives of black holes in the universe. Future GW detectors will greatly improve their sensitivity during the coming decade, as will near-infrared telescopes capable of independently finding kilonovae from neutron star mergers. However, the electromagnetic counterparts to high-frequency (LIGO/Virgo band) GW sources will be distant and faint and thus demand ELT capabilities for characterization. ELTs will be important and necessary contributors to an advanced and complete multi-messenger network.


title: Fast Registration for cross-source point clouds by using weak regional affinity and pixel-wise refinement

abstract: Many types of 3D acquisition sensors have emerged in recent years and point cloud has been widely used in many areas. Accurate and fast registration of cross-source 3D point clouds from different sensors is an emerged research problem in computer vision. This problem is extremely challenging because cross-source point clouds contain a mixture of various variances, such as density, partial overlap, large noise and outliers, viewpoint changing. In this paper, an algorithm is proposed to align cross-source point clouds with both high accuracy and high efficiency. There are two main contributions: firstly, two components, the weak region affinity and pixel-wise refinement, are proposed to maintain the global and local information of 3D point clouds. Then, these two components are integrated into an iterative tensor-based registration algorithm to solve the cross-source point cloud registration problem. We conduct experiments on synthetic cross-source benchmark dataset and real cross-source datasets. Comparison with six state-of-the-art methods, the proposed method obtains both higher efficiency and accuracy.


title: Wavelet regression and additive models for irregularly spaced data

abstract: We present a novel approach for nonparametric regression using wavelet basis functions. Our proposal, $\texttt{waveMesh}$, can be applied to non-equispaced data with sample size not necessarily a power of 2. We develop an efficient proximal gradient descent algorithm for computing the estimator and establish adaptive minimax convergence rates. The main appeal of our approach is that it naturally extends to additive and sparse additive models for a potentially large number of covariates. We prove minimax optimal convergence rates under a weak compatibility condition for sparse additive models. The compatibility condition holds when we have a small number of covariates. Additionally, we establish convergence rates for when the condition is not met. We complement our theoretical results with empirical studies comparing $\texttt{waveMesh}$ to existing methods.


title: Supermassive and Intermediate-Mass Black Hole Growth at Galaxy Centers and Resulting Feedback using Cosmological Simulations

abstract: Accretion of matter onto central Black Holes (BHs) in galaxies liberates enormous amounts of feedback energy, which influence the formation and evolution of structures, affecting the environment from pc to Mpc scales. These BHs are usually Supermassive BHs (SMBHs: mass $\geq 10^6 M_{\odot}$) existing at the centers of active galactic nuclei (AGN), which are widely observed through their multi-wavelength emission at all cosmic epochs. The SMBH energy output is often observed as powerful AGN outflows in a wide variety of forms. Relatively recently, Intermediate-Mass BHs (IMBHs: mass = $100 - 10^6 M_{\odot}$) have started to be observed hosted in Dwarf Galaxy (DG) centers. Some of the central IMBHs in DGs show signatures of activity in the form of low-luminosity AGN. We have performed Cosmological Hydrodynamical Simulations to probe SMBHs in high-z quasars (Barai et al. 2018), and IMBHs in DGs (Barai & de Gouveia Dal Pino 2019). Our simulations employ the 3D TreePM SPH code GADGET-3, and include metal cooling, star formation, chemical enrichment, stellar evolution, supernova feedback, AGN accretion and feedback. Analyzing the simulation output in post-processing, we investigate the growth of the first IMBHs, and the growth of the first SMBHs, their impact on star-formation, as well as their co-evolution with the respective host galaxies. We quantify the impact of SMBHs and IMBHs on their host galaxies, especially the effects on quenching star-formation. We also study the corresponding BH outflow properties.


title: Holomorphic extension of meromorphic mappings along real analytic hypersurfaces

abstract: Let $M\subset \mathbb C^n$ be a real analytic hypersurface, $M'\subset \mathbb C^N$ $(N\geq n)$ be a strongly pseudoconvex real algebraic hypersurface of the special form and $F$ be a meromorphic mapping in a neighborhood of a point $p\in M$ which is holomorphic in one side of $M$. Assuming some additional conditions for the mapping $F$ on the hypersurface $M$, we proved that $F$ has a holomorphic extension to $p$. This result may be used to show the regularity of CR mappings between real hypersurfaces of different dimensions.


title: Energetic Particles of Cosmic Accelerators I: Galactic Accelerators

abstract: The high-energy universe has revealed that energetic particles are ubiquitous in the cosmos and play a vital role in the cultivation of cosmic environments on all scales. Energetic particles in our own galaxy, galactic cosmic rays (GCRs), engage in a complex interplay with the interstellar medium and magnetic fields in the galaxy, giving rise to many of its key characteristics. This White Paper is the first of a two-part series highlighting the most well-known high-energy cosmic accelerators and contributions that MeV gamma-ray astronomy will bring to understanding their energetic particle phenomena. The focus of this white paper is galactic cosmic rays, supernova remnants, protostellar jets and superbubbles, and colliding wind binaries.


title: The warm and dense Galaxy - tracing the formation of dense cloud structures out to the Galactic Center

abstract: The past two decades have seen extensive surveys of the far-infrared to submillimeter continuum emission in the plane of our Galaxy. We line out prospects for the coming decade for corresponding molecular and atomic line surveys which are needed to fully understand the formation of the dense structures that give birth to clusters and stars out of the diffuse interstellar medium. We propose to work towards Galaxy wide surveys in mid-J CO lines to trace shocks from colliding clouds, Galaxy-wide surveys for atomic Carbon lines in order to get a detailed understanding of the relation of atomic and molecular gas in clouds, and to perform extensive surveys of the structure of the dense parts of molecular clouds to understand the importance of filaments/fibers over the full range of Galactic environments and to study how dense cloud cores are formed from the filaments. This work will require a large (50m) Single Dish submillimeter telescope equipped with massively multipixel spectrometer arrays, such as envisaged by the AtLAST project.


title: On nonlinear Schr\"odinger equations with attractive inverse-power potentials

abstract: We study the Cauchy problem for nonlinear Schr\"odinger equations with attractive inverse-power potentials. By using variational arguments, we first determine a sharp threshold of global well-posedness and blow-up for the equation in the mass-supercritical case. We next study the existence and non-existence of minimizers for the energy functional with prescribed mass constraint. In the mass-critical case, we also study the blow-up behavior of minimizers when the mass tends to a critical value.


title: Strongly interacting dark matter and the DAMA signal

abstract: We show that models of strongly interacting (SIMP) dark matter built to reproduce the DAMA signal actually cannot account for its time dependence. We discuss the constraints on this type of models coming from direct detection experiments and study the propagation of thermalised dark matter particles in the ground for the allowed values of the parameters. We consider a simple 1D diffusion and a more detailed 3D diffusion. In both cases the predicted signal has either the wrong phase of the annual modulation or a much larger amplitude of the diurnal modulation.


title: Challenges in Search on Streaming Services: Netflix Case Study

abstract: We discuss salient challenges of building a search experience for a streaming media service such as Netflix. We provide an overview of the role of recommendations within the search context to aid content discovery and support searches for unavailable (out-of-catalog) entities. We also stress the importance of keystroke-level instant search experience, and the technical challenges associated with implementing it across different devices and languages for a global audience.


title: Energetic Particles of Cosmic Accelerators II: Active Galactic Nuclei and Gamma-ray Bursts

abstract: The high-energy universe has revealed that energetic particles are ubiquitous in the cosmos and play a vital role in the cultivation of cosmic environments on all scales. Though they play a key role in cultivating the cosmological environment and/or enabling our studies of it, there is still much we do not know about AGNs and GRBs, particularly the avenue in which and through which they supply radiation and energetic particles, namely their jets. This White Paper is the second of a two-part series highlighting the most well-known high-energy cosmic accelerators and contributions that MeV gamma-ray astronomy will bring to understanding their energetic particle phenomena. The focus of this white paper is active galactic nuclei and gamma-ray bursts.


title: Hybrid LWFA $\vert$ PWFA Staging as a Beam Energy and Brightness Transformer : Conceptual Design and Simulations

abstract: We present a conceptual design for a hybrid laser-to-beam-driven plasma wakefield accelerator. In this setup, the output beams from a laser-driven plasma wakefield accelerator (LWFA) stage are used as input beams of a new beam-driven plasma accelerator (PWFA) stage. In the PWFA stage a new witness beam of largely increased quality can be produced and accelerated to higher energies. The feasibility and the potential of this concept is shown through exemplary particle-in-cell simulations. In addition, preliminary simulation results for a proof-of-concept experiment at HZDR (Germany) are shown.


title: Generalized Sparse Additive Models

abstract: We present a unified framework for estimation and analysis of generalized additive models in high dimensions. The framework defines a large class of penalized regression estimators, encompassing many existing methods. An efficient computational algorithm for this class is presented that easily scales to thousands of observations and features. We prove minimax optimal convergence bounds for this class under a weak compatibility condition. In addition, we characterize the rate of convergence when this compatibility condition is not met. Finally, we also show that the optimal penalty parameters for structure and sparsity penalties in our framework are linked, allowing cross-validation to be conducted over only a single tuning parameter. We complement our theoretical results with empirical studies comparing some existing methods within this framework.


title: Branching principles of animal and plant networks identified by combining extensive data, machine learning, and modeling

abstract: Branching in vascular networks and in overall organismic form is one of the most common and ancient features of multicellular plants, fungi, and animals. By combining machine-learning techniques with new theory that relates vascular form to metabolic function, we enable novel classification of diverse branching networks--mouse lung, human head and torso, angiosperm and gymnosperm plants. We find that ratios of limb radii--which dictate essential biologic functions related to resource transport and supply--are best at distinguishing branching networks. We also show how variation in vascular and branching geometry persists despite observing a convergent relationship across organisms for how metabolic rate depends on body mass.


title: The Multi-objective Dynamic Traveling Salesman Problem: Last Mile Delivery with Unmanned Aerial Vehicles Assistance

abstract: In this paper, we present an approach to optimizing the last-mile delivery route of a truck using coordination with unmanned aerial vehicles (UAVs). First, a traveling salesman problem is formulated to determine the truck's route. Then, a scheduling problem is formulated to determined the routes for the UAVs. A genetic algorithm is used to solve these problems, and simulated results are presented.


title: Some qualitative studies of the focusing inhomogeneous Gross-Pitaevskii equation

abstract: We study the Cauchy problem for an inhomogeneous Gross-Pitaevskii equation. We first derive a sharp threshold for global existence and blow up of the solution. Then we construct and classify finite time blow up solutions at the minimal mass threshold. Additionally, using variational techniques, we study the existence, the orbital stability and instability of standing waves.


title: Syzygy Filtrations of Cyclic Nakayama Algebras

abstract: For any cyclic Nakayama algebra $\Lambda$, we construct \emph{syzygy filtered algebra} $\bm\varepsilon(\Lambda)$ which corresponds to various syzygy modules as the name suggests. We prove that the category of modules over the syzygy filtered algebra $\bm\varepsilon(\Lambda)$ is equivalent to the wide subcategory cogenerated by projective-injective modules of the original algebra $\Lambda$ along with other categorical equivalences. In terms of this new algebra, we interpret the following homological invariants of $\Lambda$: left and right finitistic dimension, left and right $\varphi$-dimension, Gorenstein dimension, dominant dimension and their upper bounds. For all of them, we obtain a unified upper bound $2r$ where $r$ is the number of relations defining the algebra $\Lambda$. We show that the left finitistic and $\varphi$-dimensions are equal to the right finitistic and $\varphi$-dimensions respectively, as well as the difference between $\varphi$-dimension and the finitistic dimension is at most one. Furthermore, we recover various seemingly unrelated results in a uniform way.


title: An Open-Source 7-Axis, Robotic Platform to Enable Dexterous Procedures within CT Scanners

abstract: This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 7 Degree-of-Freedom (DOF) robotic arm for CT-guided percutaneous needle biopsy. Direct CT guidance allows physicians to localize tumours quickly; however, needle insertion is still performed by hand. This system is mounted to a fully active gantry superior to the patient's head and teleoperated by a radiologist. Unlike other similar robots, this robot's fully serial-link approach uses a unique combination of belt and cable drives for high-transparency and minimal-backlash, allowing for an expansive working area and numerous approach angles to targets all while maintaining a small in-bore cross-section of less than $16cm^2$. Simulations verified the system's expansive collision free work-space and ability to hit targets across the entire chest, as required for lung cancer biopsy. Targeting error is on average $<1mm$ on a teleoperated accuracy task, illustrating the system's sufficient accuracy to perform biopsy procedures. The system is designed for lung biopsies due to the large working volume that is required for reaching peripheral lung lesions, though, with its large working volume and small in-bore cross-sectional area, the robotic system is effectively a general-purpose CT-compatible manipulation device for percutaneous procedures. Finally, with the considerable development time undertaken in designing a precise and flexible-use system and with the desire to reduce the burden of other researchers in developing algorithms for image-guided surgery, this system provides open-access, and to the best of our knowledge, is the first open-hardware image-guided biopsy robot of its kind.


title: Probing Feedback in Galaxy Formation with Millimeter-wave Observations

abstract: Achieving a precise understanding of galaxy formation in a cosmological context is one of the great challenges in theoretical astrophysics, due to the vast range of spatial scales involved in the relevant physical processes. Observations in the millimeter bands, particularly those using the cosmic microwave background (CMB) radiation as a "backlight", provide a unique probe of the thermodynamics of these processes, with the capability to directly measure the density, pressure, and temperature of ionized gas. Moreover, these observations have uniquely high sensitivity into the outskirts of the halos of galaxies and clusters, including systems at high redshift. In the next decade, the combination of large spectroscopic and photometric optical galaxy surveys and wide-field, low-noise CMB surveys will transform our understanding of galaxy formation via these probes.


title: Determining the Equation of State of Cold, Dense Matter with X-ray Observations of Neutron Stars

abstract: The unknown state of matter at ultra-high density, large proton/neutron number asymmetry, and low temperature is a major long-standing problem in modern physics. Neutron stars provide the only known setting in the Universe where matter in this regime can stably exist. Valuable information about the interior structure of neutron stars can be extracted via sensitive observations of their exteriors. There are several complementary techniques that require different combinations of high time resolution, superb spectral resolution, and high spatial resolution. In the upcoming decade and beyond, measurements of the masses and radii of an ensemble of neutron stars using these techniques, based on data from multiple proposed next-generation X-ray telescopes, can produce definitive empirical constraints on the allowed dense matter equation of state.


title: A subset selection based approach to finding important structure of complex networks

abstract: Most of the real world networks such as the internet network, collaboration networks, brain networks, citation networks, powerline and airline networks are very large and to study their structure, and dynamics one often requires working with large connectivity (adjacency) matrices. However, it is almost always true that a few or sometimes most of the nodes and their connections are not very crucial for network functioning or that the network is robust to a failure of certain nodes and their connections to the rest of the network. In the present work, we aim to extract the size reduced representation of complex networks such that new representation has the most relevant network nodes and connections and retains its spectral properties. To achieve this, we use the Subset Selection (SS) procedure. The SS method, in general, is used to retrieve maximum information from a matrix in terms of its most informative columns. The retrieved matrix, typically known as subset has columns of an original matrix that have the least linear dependency. We present the application of SS procedure to many adjacency matrices of real-world networks and model network types to extract their subset. The subset owing to its small size can play a crucial role in analyzing spectral properties of large complex networks where space and time complexity of analyzing full adjacency matrices are too expensive. The adjacency matrix constructed from the obtained subset has a smaller size and represents the most important network structure. We observed that the subset network which is almost half the size of the original network has better information flow efficiency than the original network.


title: Optimal (Randomized) Parallel Algorithms in the Binary-Forking Model

abstract: In this paper we develop optimal algorithms in the binary-forking model for a variety of fundamental problems, including sorting, semisorting, list ranking, tree contraction, range minima, and ordered set union, intersection and difference. In the binary-forking model, tasks can only fork into two child tasks, but can do so recursively and asynchronously. The tasks share memory, supporting reads, writes and test-and-sets. Costs are measured in terms of work (total number of instructions), and span (longest dependence chain). The binary-forking model is meant to capture both algorithm performance and algorithm-design considerations on many existing multithreaded languages, which are also asynchronous and rely on binary forks either explicitly or under the covers. In contrast to the widely studied PRAM model, it does not assume arbitrary-way forks nor synchronous operations, both of which are hard to implement in modern hardware. While optimal PRAM algorithms are known for the problems studied herein, it turns out that arbitrary-way forking and strict synchronization are powerful, if unrealistic, capabilities. Natural simulations of these PRAM algorithms in the binary-forking model (i.e., implementations in existing parallel languages) incur an $\Omega(\log n)$ overhead in span. This paper explores techniques for designing optimal algorithms when limited to binary forking and assuming asynchrony. All algorithms described in this paper are the first algorithms with optimal work and span in the binary-forking model. Most of the algorithms are simple. Many are randomized.


title: Hyperspectral Calibration of Art: Acquisition and Calibration Workflows

abstract: Hyperspectral imaging has become an increasingly used tool in the analysis of works of art. However, the quality of the acquired data and the processing of that data to produce accurate and reproducible spectral image cubes can be a challenge to many cultural heritage users. The calibration of data that is both spectrally and spatially accurate is an essential step in order to obtain useful and relevant results from hyperspectral imaging. Data that is too noisy or inaccurate will produce sub-optimal results when used for pigment mapping, the detection of hidden features, change detection or for quantitative spectral documentation. To help address this, therefore, we will examine the specific acquisition and calibration workflows necessary for works of art. These workflows includes the key parameters that must be addressed during acquisition and the essential steps and issues at each of the stages required during post-processing in order to fully calibrate hyperspectral data. In addition we will look in detail at the key issues that affect data quality and propose practical solutions that can make significant differences to overall hyperspectral image quality.


title: MPC for Energy Efficient HVAC Control with Humidity and Latent Heat Considerations

abstract: Even though energy efficient climate control of buildings using model predictive control (MPC) has been widely investigated, most MPC formulations ignore humidity and latent heat. The inclusion of moisture makes the problem considerably more challenging, primarily since a cooling and dehumidifying coil model which accounts for both sensible and latent heat transfers is needed. In this work, we propose an MPC controller in which humidity and latent heat are incorporated in a principled manner. We construct low order data-driven models of a cooling and dehumidifying coil that can be used in the MPC formulation. The resulting controller's performance is tested in simulation using a plant that differs significantly from the model used by the optimizer. Additionally, the performance of the proposed controller is compared with that of a naive MPC controller which does not explicitly consider humidity, and also to that of a conventional rule-based controller. Simulations show that the proposed MPC controller outperforms the other two consistently. It is also observed that the naive MPC formulation which does not consider humidity leads to poor humidity control under certain conditions. Such violations in humidity can adversely affect occupant comfort and health.


title: Directed diagrammatic reducibility

abstract: We introduce the notion of directed diagrammatic reducibility which is a relative version of diagrammatic reducibility. Directed diagrammatic reducibility has strong group theoretic and topological consequences. A multi-relator version of the Freiheitssatz in the presence of directed diagrammatic reducibility is given. Results concerning asphericity and $\pi_1$-injectivity of subcomplexes are shown. We generalize the Corson-Trace characterization of diagrammatic reducibility to directed diagrammatic reducibility. We compare diagrammatic reducibility of relative presentations to directed diagrammatic reducibility. Classical tools for showing diagrammatic reducibility, such as the weight test, the max/min test, and small cancellation techniques are adapted to directed diagrammatic reducibility. The paper ends with some applications to labeled oriented trees.