title: Link between magnetism and resistivity upturn in cuprates: a thermal conductivity study of La$_{2-x}$Sr$_x$CuO$_4$

abstract: A key unexplained feature of cuprate superconductors is the upturn in their normal state electrical resistivity $\rho(T)$ seen at low temperature inside the pseudogap phase. We examined this issue via measurements of the thermal conductivity $\kappa(T)$ down to 50 mK and in fields up to 17 T on the cuprate La$_{2-x}$Sr$_x$CuO$_4$ at dopings $p = 0.13$, 0.136, 0.143 and 0.18. At $p$ = 0.136, 0.143, and 0.18, we observe an initial increase of the electronic thermal conductivity $\kappa_0/T$ as a function of field, as expected in a $d$-wave superconductor. For $p$ = 0.136 and 0.143, further increasing the field then leads to a decrease of $\kappa_0/T$, which correlates with the onset of spin density-wave order as observed in neutron scattering experiments on the same samples. This decrease of $\kappa_0/T$ with field is imposed by the Wiedemann-Franz law and the high value of the resistivity in the high-field normal state of these samples. Our study therefore provides a direct link between magnetism and the resistivity upturn in the pseudogap phase of cuprates. We discuss this scenario in the broader context of other cuprates.


title: Algorithmic coincidence classification of mesh patterns

abstract: We review and extend previous results on coincidence of mesh patterns. We introduce the notion of a force on a permutation pattern and apply it to the coincidence classification of mesh patterns, completing the classification up to size three. We also show that this concept can be used to enumerate classical permutation classes.


title: The Stability and Dynamics of Localized Spot Patterns for a Bulk-Membrane Coupled Brusselator Model

abstract: We consider a bulk-membrane-coupled partial differential equation in which a single diffusion equation posed within the unit ball is coupled to a two-component reaction diffusion equation posed on the bounding unit sphere through a linear Robin boundary condition. Specifically, within the bulk we consider a process of linear diffusion with point-source generation for a bulk-bound activator. On the bounding surface we consider the classical two-component Brusselator model where the feed term is replaced by the restriction of the bulk-bound activator to the membrane. By considering the singularly perturbed limit of a small diffusivity ratio between the membrane-bound activator and inhibitor species, we use formal asymptotic expansions to construct strongly localized quasi-equilibrium spot solutions and study their linear stability. Our analysis reveals that bulk-membrane-coupling can restrict the existence of localized spot solutions through a recirculation mechanism. In addition we derive stability thresholds that illustrate the effect of coupling on both competition and splitting instabilities. Finally, we use higher-order matched asymptotic expansions to derive a system of differential algebraic equations that describe the slow motion of spots. The potential for new coupling induced dynamical behaviour is illustrated by considering examples of one-, two-, and three-spot solutions.


title: Marpa, A practical general parser: the recognizer

abstract: The Marpa recognizer is described. Marpa is a practical and fully implemented algorithm for the recognition, parsing and evaluation of context-free grammars. The Marpa recognizer is the first to unite the improvements to Earley's algorithm found in Joop Leo's 1991 paper to those in Aycock and Horspool's 2002 paper. Marpa tracks the full state of the parse, at it proceeds, in a form convenient for the application. This greatly improves error detection and enables event-driven parsing. One such technique is "Ruby Slippers" parsing, in which the input is altered in response to the parser's expectations.


title: Higgs-Photon-Photon Amplitude in the Unitary Gauge

abstract: The physical process of Higgs decaying to two photons is the most important mode in the discovery of the Higgs particle. Theoretical calculation of $H\rightarrow\gamma\gamma$ amplitude therefore provides us with an avenue to explore the underlying theory. Yet some confusion has arisen over the gauge invariant property of $H\rightarrow\gamma\gamma$ in the standard model. In this paper, we show that if dimensional regularization is adopted, the on-shell 1-loop $H\rightarrow\gamma\gamma$ amplitude calculated in the standard model is gauge invariant. In particular, we prove that the physical amplitude calculated in the unitary gauge is the same as that calculated in the Feynman gauge.


title: A Dataset of Multi-Illumination Images in the Wild

abstract: Collections of images under a single, uncontrolled illumination have enabled the rapid advancement of core computer vision tasks like classification, detection, and segmentation. But even with modern learning techniques, many inverse problems involving lighting and material understanding remain too severely ill-posed to be solved with single-illumination datasets. To fill this gap, we introduce a new multi-illumination dataset of more than 1000 real scenes, each captured under 25 lighting conditions. We demonstrate the richness of this dataset by training state-of-the-art models for three challenging applications: single-image illumination estimation, image relighting, and mixed-illuminant white balance.


title: Optimal transport and barycenters for dendritic measures

abstract: We introduce and study a variant of the Wasserstein distance on the space of probability measures, specially designed to deal with measures whose support has a dendritic, or treelike structure with a particular direction of orientation. Our motivation is the comparison of and interpolation between plants' root systems. We characterize barycenters with respect to this metric, and establish that the interpolations of root-like measures, using this new metric, are also root like, in a certain sense; this property fails for conventional Wasserstein barycenters. We also establish geodesic convexity with respect to this metric for a variety of functionals, some of which we expect to have biological importance.


title: Electroweak properties of kaons in a nuclear medium

abstract: Kaon electroweak properties in symmetric nuclear matter are studied in the Nambu--Jona-Lasinio model using the proper-time regularization. The valence quark properties in symmetric nuclear matter are calculated in the quark-meson coupling model, and they are used as inputs for studying the in-medium kaon properties in the NJL model. We evaluate the kaon decay constant, kaon-quark coupling constant, and $K^+$ electromagnetic form factor by two different approaches. Namely, by two different ways of calculating the in-medium constituent quark masses of the light quarks. We predict that, in both approaches, the kaon decay constant and kaon-quark coupling constant decrease as nuclear density increases, while the $K^+$ charge radius increases by 20-25\% at normal nuclear density.


title: In-Plane Breathing and Shear Modes in Low-Dimensional Nanostructures

abstract: We use continuum elasticity theory to revise scaling laws for radial breathing-like and shear-like vibration modes in quasi-2D nanostructures including finite-width nanoribbons and finite-size thin circular discs. Such modes can be observed spectroscopically in corresponding nanostructures of graphene and phosphorene and can be determined numerically by atomistic <i> ab initio</i> density functional theory and classical force-field calculation. The revised scaling laws differ from previously used expressions, some of which display an unphysical asymptotic behavior. Apart from model assumptions describing the effect of edge termination, the continuum scaling laws have no adjustable parameters and display correct asymptotic behavior. These scaling laws yield excellent agreement with experimental and numerical results for vibration frequencies in both isotropic and anisotropic structures as well as useful expressions for the frequency dependence on structure size and edge termination.


title: Communication over Continuous Quantum Secure Dialogue using Einstein-Podolsky-Rosen States

abstract: With the emergence of quantum computing and quantum networks, many communication protocols that take advantage of the unique properties of quantum mechanics to achieve a secure bidirectional exchange of information, have been proposed. In this study, we propose a new quantum communication protocol, called Continuous Quantum Secure Dialogue (CQSD), that allows two parties to continuously exchange messages without halting while ensuring the privacy of the conversation. Compared to existing protocols, CQSD improves the efficiency of quantum communication. In addition, we offer an implementation of the CQSD protocol using the Qiskit framework. Finally, we conduct a security analysis of the CQSD protocol in the context of several common forms of attack.


title: Radio Interferometric Calibration Using a Complex Student's t-distribution and Wirtinger Derivatives

abstract: Radio interferometric gain calibration can be biased by incomplete sky models and radio frequency interference, resulting in calibration artefacts that can restrict the dynamic range of the resulting images. It has been suggested that calibration algorithms employing heavy-tailed likelihood functions are less susceptible to this due to their robustness against outliers in the data. We present an algorithm based on a Student's t-distribution which leverages the framework of complex optimisation and Wirtinger calculus for efficient and robust interferometric gain calibration. We integrate this algorithm as an option in the newly released calibration software package, CubiCal. We demonstrate that the algorithm can mitigate some of the biases introduced by incomplete sky models and radio frequency interference by applying it to both simulated and real data. Our results show significant improvements compared to a conventional least-squares solver which assumes a Gaussian likelihood function. Furthermore, we provide some insight into why the algorithm outperforms the conventional solver, and discuss specific scenarios (for both direction-independent and direction-dependent self-calibration) where this is expected to be the case.


title: Planning for Goal-Oriented Dialogue Systems

abstract: Generating complex multi-turn goal-oriented dialogue agents is a difficult problem that has seen a considerable focus from many leaders in the tech industry, including IBM, Google, Amazon, and Microsoft. This is in large part due to the rapidly growing market demand for dialogue agents capable of goal-oriented behaviour. Due to the business process nature of these conversations, end-to-end machine learning systems are generally not a viable option, as the generated dialogue agents must be deployable and verifiable on behalf of the businesses authoring them. In this work, we propose a paradigm shift in the creation of goal-oriented complex dialogue systems that dramatically eliminates the need for a designer to manually specify a dialogue tree, which nearly all current systems have to resort to when the interaction pattern falls outside standard patterns such as slot filling. We propose a declarative representation of the dialogue agent to be processed by state-of-the-art planning technology. Our proposed approach covers all aspects of the process; from model solicitation to the execution of the generated plans/dialogue agents. Along the way, we introduce novel planning encodings for declarative dialogue synthesis, a variety of interfaces for working with the specification as a dialogue architect, and a robust executor for generalized contingent plans. We have created prototype implementations of all components, and in this paper, we further demonstrate the resulting system empirically.


title: RPBA -- Robust Parallel Bundle Adjustment Based on Covariance Information

abstract: A core component of all Structure from Motion (SfM) approaches is bundle adjustment. As the latter is a computational bottleneck for larger blocks, parallel bundle adjustment has become an active area of research. Particularly, consensus-based optimization methods have been shown to be suitable for this task. We have extended them using covariance information derived by the adjustment of individual three-dimensional (3D) points, i.e., "triangulation" or "intersection". This does not only lead to a much better convergence behavior, but also avoids fiddling with the penalty parameter of standard consensus-based approaches. The corresponding novel approach can also be seen as a variant of resection / intersection schemes, where we adjust during intersection a number of sub-blocks directly related to the number of threads available on a computer each containing a fraction of the cameras of the block. We show that our novel approach is suitable for robust parallel bundle adjustment and demonstrate its capabilities in comparison to the basic consensus-based approach as well as a state-of-the-art parallel implementation of bundle adjustment. Code for our novel approach is available on GitHub: https://github.com/helmayer/RPBA


title: Dipolar interactions between field-tuneable, localized emitters in van der Waals heterostructures

abstract: While photons in free space barely interact, matter can mediate interactions between them resulting in optical nonlinearities. Such interactions at the single-quantum level result in an on-site photon repulsion, crucial for photon-based quantum information processing and for realizing strongly interacting many-body states of light. Here, we report repulsive dipole-dipole interactions between electric field tuneable, localized interlayer excitons in MoSe$_2$/WSe$_2$ heterobilayer. The presence of a single, localized exciton with an out-of-plane, non-oscillating dipole moment increases the energy of the second excitation by $\sim$ 2 meV -- an order of magnitude larger than the emission linewidth and corresponding to an inter-dipole distance of $\sim$ 5 nm. At higher excitation power, multi-exciton complexes appear at systematically higher energies. The magnetic field dependence of the emission polarization is consistent with spin-valley singlet nature of the dipolar molecular state. Our finding is an important step towards the creation of excitonic few- and many-body states such as dipolar crystals with spin-valley spinor in van der Waals (vdW) heterostructures.


title: Holonomy in Quantum Information Geometry

abstract: In this thesis we provide a uniform treatment of two non-adiabatic geometric phases for dynamical systems of mixed quantum states, namely those of Uhlmann and of Sj\"{o}qvist et al. We develop a holonomy theory for the latter which we also relate to the already existing theory for the former. This makes it clear what the similarities and differences between the two geometric phases are. We discuss and motivate constraints on the two phases. Furthermore, we discuss some topological properties of the holonomy of `real' quantum systems, and we introduce higher-order geometric phases for not necessarily cyclic dynamical systems of mixed states. In a final chapter, we apply the theory developed for the geometric phase of Sj\"{o}qvist et al. to geometric uncertainty relations, including some new "quantum speed limits".


title: Ultra-narrow linewidth hybrid integrated semiconductor laser

abstract: We demonstrate a hybrid integrated and widely tunable diode laser with an intrinsic linewidth as narrow as 40 Hz, achieved with a single roundtrip through a low-loss feedback circuit that extends the cavity length to 0.5 meter on a chip. Employing solely dielectrics for single-roundtrip, single-mode resolved feedback filtering enables linewidth narrowing with increasing laser power, without limitations through nonlinear loss. We achieve single-frequency oscillation with up to 23 mW fiber coupled output power, 70-nm wide spectral coverage in the 1.55 $\mu$m wavelength range with 3 mW output, and obtain more than 60 dB side mode suppression. Such properties and options for further linewidth narrowing render the approach of high interest for direct integration in photonic circuits serving microwave photonics, coherent communications, sensing and metrology with highest resolution.


title: Revisiting the Casimir Energy with General Boundary Conditions, and applications in 1D Crystals

abstract: We obtain new expressions for the Casimir energy between plates that are mimicked by the most general possible boundary conditions allowed by the principles of quantum field theory. This result enables to provide the quantum vacuum energy for scalar fields propagating under the influence of a one-dimensional crystal represented by a periodic potential formed by an infinite array of identical potentials with compact support.

categories: math-ph cond-mat.other hep-th math.MP quant-ph


title: Zero-shot Policy Learning with Spatial Temporal RewardDecomposition on Contingency-aware Observation

abstract: It is a long-standing challenge to enable an intelligent agent to learn in one environment and generalize to an unseen environment without further data collection and finetuning. In this paper, we consider a zero shot generalization problem setup that complies with biological intelligent agents' learning and generalization processes. The agent is first presented with previous experiences in the training environment, along with task description in the form of trajectory-level sparse rewards. Later when it is placed in the new testing environment, it is asked to perform the task without any interaction with the testing environment. We find this setting natural for biological creatures and at the same time, challenging for previous methods. Behavior cloning, state-of-art RL along with other zero-shot learning methods perform poorly on this benchmark. Given a set of experiences in the training environment, our method learns a neural function that decomposes the sparse reward into particular regions in a contingency-aware observation as a per step reward. Based on such decomposed rewards, we further learn a dynamics model and use Model Predictive Control (MPC) to obtain a policy. Since the rewards are decomposed to finer-granularity observations, they are naturally generalizable to new environments that are composed of similar basic elements. We demonstrate our method on a wide range of environments, including a classic video game -- Super Mario Bros, as well as a robotic continuous control task. Please refer to the project page for more visualized results.


title: Explainable Authorship Verification in Social Media via Attention-based Similarity Learning

abstract: Authorship verification is the task of analyzing the linguistic patterns of two or more texts to determine whether they were written by the same author or not. The analysis is traditionally performed by experts who consider linguistic features, which include spelling mistakes, grammatical inconsistencies, and stylistics for example. Machine learning algorithms, on the other hand, can be trained to accomplish the same, but have traditionally relied on so-called stylometric features. The disadvantage of such features is that their reliability is greatly diminished for short and topically varied social media texts. In this interdisciplinary work, we propose a substantial extension of a recently published hierarchical Siamese neural network approach, with which it is feasible to learn neural features and to visualize the decision-making process. For this purpose, a new large-scale corpus of short Amazon reviews for text comparison research is compiled and we show that the Siamese network topologies outperform state-of-the-art approaches that were built up on stylometric features. Our linguistic analysis of the internal attention weights of the network shows that the proposed method is indeed able to latch on to some traditional linguistic categories.


title: Proposing a Model for Predicting Passenger Origin-Destination in Online Taxi-Hailing Systems

abstract: Due to the significance of transportation planning, traffic management, and dispatch optimization, predicting passenger origin-destination has emerged as a crucial requirement for intelligent transportation systems management. In this study, we present a model designed to forecast the origin and destination of travels within a specified time window. To derive meaningful travel flows, we employ K-means clustering in a four-dimensional space with a maximum cluster size constraint for origin and destination zones. Given the large number of clusters, we utilize non-negative matrix factorization to reduce the number of travel clusters. Furthermore, we implement a stacked recurrent neural network model to predict the travel count in each cluster. A comparison of our results with existing models reveals that our proposed model achieves a 5-7\% lower mean absolute percentage error (MAPE) for 1-hour time windows and a 14\% lower MAPE for 30-minute time windows.


title: Vertical Structure and Kinematics of the Galactic Outer Disk

abstract: We report measurements of parallax and proper motion for four 22 GHz water maser sources as part of VERA Outer Rotation Curve project. All sources show Galactic latitudes of $>$ 2$^{\circ}$ and Galactocentric distances of $>$ 11 kpc at the Galactic longitude range of 95$^{\circ}$ $< l <$ 126$^{\circ}$. The sources trace the Galactic warp reaching to 200$\sim$400 pc, and indicate the signature of the warp to 600 pc toward the north Galactic pole. The new results along with previous results in the literature show the maximum height of the Galactic warp is increased with Galactocentric distance. Also, we examined velocities perpendicular to the disk for the sample, and found an oscillatory behavior between the vertical velocities and Galactic heights. This behavior suggests the existence of the bending (vertical density) waves, possibly induced by a perturbing satellite (e.g. passage of the Sagittarius dwarf galaxy).


title: Resonant Energization of Relativistic particles by an Intense Electromagnetic Wave

abstract: The phenomenon of resonant energization of a relativistic quantum particle, moving in unison with an intense ElectroMagnetic Wave, is demonstrated in a semiclassical calculation. The wave nature of the quantum particle is of essence because the resonant process originates in wave-wave interaction-between the classical EM wave, and the quantum wave associated with the particle. When the energy /momentum of the quantum wave satisfy the resonance condition (the effective phase speeds of the two waves are equal), the particle, drawing energy directly from the intense EM field, could acquire extremely high energies Such a direct resonant energy transfer from intense Electromagnetic waves will constitute a hitherto unexploited mechanism that could power the most energetic of cosmic rays. Some predictions of the theory will, hopefully, be tested in the laboratory Laser experiments.


title: Phonon Transport Controlled by Ferromagnetic Resonance

abstract: The resonant coupling of phonons and magnons is important for the interconversion of phononic and spin degrees of freedom. We studied the phonon transmission in LiNbO3 manipulated by the dynamic magnetization in a Ni thin film. It was observed that the phonons could be absorbed strongly through resonant magnon-phonon coupling, which was realized by optimizing the interfacial coupling between Ni and LiNbO3. The line shapes of phonon transmission were further investigated considering the magnon-phonon interconversion in the elastically driven ferromagnetic resonance process. The results promote unique routes for phonon manipulation and detection in the presence of magnetization dynamics.


title: Multi Label Restricted Boltzmann Machine for Non-Intrusive Load Monitoring

abstract: Increasing population indicates that energy demands need to be managed in the residential sector. Prior studies have reflected that the customers tend to reduce a significant amount of energy consumption if they are provided with appliance-level feedback. This observation has increased the relevance of load monitoring in today's tech-savvy world. Most of the previously proposed solutions claim to perform load monitoring without intrusion, but they are not completely non-intrusive. These methods require historical appliance-level data for training the model for each of the devices. This data is gathered by putting a sensor on each of the appliances present in the home which causes intrusion in the building. Some recent studies have proposed that if we frame Non-Intrusive Load Monitoring (NILM) as a multi-label classification problem, the need for appliance-level data can be avoided. In this paper, we propose Multi-label Restricted Boltzmann Machine(ML-RBM) for NILM and report an experimental evaluation of proposed and state-of-the-art techniques.


title: Strong coupling out of the blue: an interplay of quantum emitter hybridization with plasmonic dark and bright modes

abstract: Strong coupling between a single quantum emitter and an electromagnetic mode is one of the key effects in quantum optics. In the cavity QED approach to plasmonics, strongly coupled systems are usually understood as single-transition emitters resonantly coupled to a single radiative plasmonic mode. However, plasmonic cavities also support non-radiative (or "dark") modes, which offer much higher coupling strengths. On the other hand, realistic quantum emitters often support multiple electronic transitions of various symmetry, which could overlap with higher order plasmonic transitions -- in the blue or ultraviolet part of the spectrum. Here, we show that vacuum Rabi splitting with a single emitter can be achieved by leveraging dark modes of a plasmonic nanocavity. Specifically, we show that a significantly detuned electronic transition can be hybridized with a dark plasmon pseudomode, resulting in the vacuum Rabi splitting of the bright dipolar plasmon mode. We develop a simple model illustrating the modification of the system response in the "dark" strong coupling regime and demonstrate single photon non-linearity. These results may find important implications in the emerging field of room temperature quantum plasmonics.


title: Adaptive Discretization for Episodic Reinforcement Learning in Metric Spaces

abstract: We present an efficient algorithm for model-free episodic reinforcement learning on large (potentially continuous) state-action spaces. Our algorithm is based on a novel $Q$-learning policy with adaptive data-driven discretization. The central idea is to maintain a finer partition of the state-action space in regions which are frequently visited in historical trajectories, and have higher payoff estimates. We demonstrate how our adaptive partitions take advantage of the shape of the optimal $Q$-function and the joint space, without sacrificing the worst-case performance. In particular, we recover the regret guarantees of prior algorithms for continuous state-action spaces, which additionally require either an optimal discretization as input, and/or access to a simulation oracle. Moreover, experiments demonstrate how our algorithm automatically adapts to the underlying structure of the problem, resulting in much better performance compared both to heuristics and $Q$-learning with uniform discretization.


title: Attacking quantum key distribution by light injection via ventilation openings

abstract: Quantum cryptography promises security based on the laws of physics with proofs of security against attackers of unlimited computational power. However, deviations from the original assumptions allow quantum hackers to compromise the system. We present a side channel attack that takes advantage of ventilation holes in optical devices to inject additional photons that can leak information about the secret key. We experimentally demonstrate light injection on an ID~Quantique Clavis2 quantum key distribution platform and show that this may help an attacker to learn information about the secret key. We then apply the same technique to a prototype quantum random number generator and show that its output is biased by injected light. This shows that light injection is a potential security risk that should be addressed during the design of quantum information processing devices.


title: Wide band gap chalcogenide semiconductors

abstract: Wide band gap semiconductors are essential for today's electronic devices and energy applications due to their high optical transparency, as well as controllable carrier concentration and electrical conductivity. There are many categories of materials that can be defined as wide band gap semiconductors. The most intensively investigated are transparent conductive oxides (TCOs) such as ITO and IGZO used in displays, carbides and nitrides used in power electronics, as well as emerging halides (e.g. CuI) and 2D electronic materials used in various optoelectronic devices. Chalcogen-based (S, Se, Te) wide band gap semiconductors are less heavily investigated but stand out due to their propensity for p-type doping, high mobilities, high valence band positions (i.e. low ionization potentials), and broad applications in electronic devices such as CdTe solar cells. This manuscript provides a review of wide band gap chalcogenide semiconductors. First, we outline general materials design parameters of high performing transparent conductors. We proceed to summarize progress in wide band gap (Eg > 2 eV) chalcogenide materials, such as II-VI MCh binaries, CuMCh2 chalcopyrites, Cu3MCh4 sulvanites, mixed anion layered CuMCh(O,F), and 2D materials, among others, and discuss computational predictions of potential new candidates in this family, highlighting their optical and electrical properties. We finally review applications of chalcogenide wide band gap semiconductors, e.g. photovoltaic and photoelectrochemical solar cells, transparent transistors, and diodes, that employ wide band gap chalcogenides as either an active or passive layer. By examining, categorizing, and discussing prospective directions in wide band gap chalcogenides, this review aims to inspire continued research on this emerging class of transparent conductors and to enable future innovations for optoelectronic devices.


title: Pretty Good State Transfer of Multiple Qubit States on Paths

abstract: We discuss pretty good state transfer of multiple qubit states and provide a model for considering state transfer of arbitrary states on unmodulated XX-type spin chains. We then provide families of paths and initial states for which we can determine whether there is pretty good state transfer based on the eigenvalue support of the initial state.


title: Experimental statistics for Mirzakhani's Theorem

abstract: In her seminal 2008 paper, Maryam Mirzakhani showed that the ratio that two topological types of curves occur in is a rational number. In this paper we describe the process by which we obtained experimental evidence that separating and non-separating curves on the surface of genus two occur in the ratio 1 : 48.


title: Zero Duality Gap in View of Abstract Convexity

abstract: Using tools provided by the theory of abstract convexity, we extend conditions for zero duality gap to the context of nonconvex and nonsmooth optimization. Mimicking the classical setting, an abstract convex function is the upper envelope of a family of abstract affine functions (being conventional vertical translations of the abstract linear functions). We establish new conditions for zero duality gap under no topological assumptions on the space of abstract linear functions. In particular, we prove that the zero duality gap property can be fully characterized in terms of an inclusion involving (abstract) $\varepsilon-$subdifferentials. This result is new even for the classical convex setting. Endowing the space of abstract linear functions with the topology of pointwise convergence, we extend several fundamental facts of functional/convex analysis. This includes (i) the classical Banach--Alaoglu--Bourbaki theorem (ii) the subdifferential sum rule, and (iii) a constraint qualification for zero duality gap which extends a fact established by Borwein, Burachik and Yao (2014) for the conventional convex case. As an application, we show with a specific example how our results can be exploited to show zero duality for a family of nonconvex, non-differentiable problems.


title: An Update on Machine Learning in Neuro-oncology Diagnostics

abstract: Imaging biomarkers in neuro-oncology are used for diagnosis, prognosis and treatment response monitoring. Magnetic resonance imaging is typically used throughout the patient pathway because routine structural imaging provides detailed anatomical and pathological information and advanced techniques provide additional physiological detail. Following image feature extraction, machine learning allows accurate classification in a variety of scenarios. Machine learning also enables image feature extraction de novo although the low prevalence of brain tumours makes such approaches challenging. Much research is applied to determining molecular profiles, histological tumour grade and prognosis at the time that patients first present with a brain tumour. Following treatment, differentiating a treatment response from a post-treatment related effect is clinically important and also an area of study. Most of the evidence is low level having been obtained retrospectively and in single centres.


title: Optimal implementation delay of taxation with trade-off for L\'{e}vy risk Processes

abstract: In this paper we consider two problems on optimal implementation delay of taxation with trade-off for spectrally negative L\'{e}vy insurance risk processes. In the first case, we assume that an insurance company starts to pay tax when its surplus reaches a certain level $b$ and at the termination time of the business there is a terminal value incurred to the company. The total expected discounted value of tax payments plus the terminal value is maximized to obtain the optimal implementation level $b^*$. In the second case, the company still pays tax subject to an implementation level $a$ but with capital injections to prevent bankruptcy. The total expected discounted value of tax payments minus the capital injection costs is maximized to obtain the optimal implementation level $a^*$. Numerical examples are also given to illustrate the main results in this paper.


title: Dielectric permittivity of aqueous solutions of electrolytes probed by THz time-domain and FTIR spectroscopy

abstract: In spite of a large number of papers published in the last twenty years in the literature, the basic model of liquid water is still controversial. We have measured the dielectric permittivity of pure water and aqueous chlorides solutions in the range 0.2 to 1.5 THz and we have found that the overall dielectric behavior can be satisfactorily described with the weighted average of two single time constant Debye functions. The weights of the two components have been obtained by infrared spectra analysis and are related to two populations of water molecules having a different long range organization. The resulting functions allow to fit the experimental data for pure water and solutions of LiCl, KCl, NaCl, and CsCl and to predict the excess response on the high frequency side of the relaxation without ad hoc corrective terms. These findings point to the evidence of two fluids in liquid water at normal temperature and pressure.


title: Measurements and simulations of drift gas properties

abstract: For the successful design and operation of gas based particle detectors, one needs a good understanding of the drift properties of the deployed gas. This includes the drift velocity of electrons, their diffusion and the gas amplification in different electric and magnetic fields. This work presents simulations and precision measurements of the drift velocity vd in low electric fields (< 400 V/cm) for argon-based gas mixtures with up to two additives. The additives used are CH4, CO2, CF4, iC4H10 and H2.


title: Spaceborne low-noise single-photon detection for satellite-based quantum communications

abstract: Single-photon detectors (SPDs) play important roles in highly sensitive detection applications, such as fluorescence spectroscopy, remote sensing and ranging, deep space optical communications, elementary particle detection, and quantum communications. However, the adverse conditions in space, such as the increased radiation flux and thermal vacuum, severely limit their noise performances, reliability, and lifetime. Herein, we present the first example of spaceborne, low-noise, high reliability SPDs, based on commercial off-the-shelf (COTS) silicon avalanche photodiodes (APD). Based on the high noise-radiation sensitivity of silicon APD, we have developed special shielding structures, multistage cooling technologies, and configurable driver electronics that significantly improved the COTS APD reliability and mitigated the SPD noise-radiation sensitivity. This led to a reduction of the expected in-orbit radiation-induced dark count rate (DCR) from ~219 counts per second (cps) per day to ~0.76 cps/day. During a continuous period of continuous operations in orbit which spanned of 1029 days, the SPD DCR was maintained below 1000 cps, i.e., the actual in-orbit radiation-induced DCR increment rate was ~0.54 cps/day, i.e., two orders of magnitude lower than those evoked by previous technologies, while its photon detection efficiency was > 45%. Our spaceborne, low-noise SPDs established a feasible satellite-based up-link quantum communication that was validated on the quantum experiment science satellite platform. Moreover, our SPDs open new windows of opportunities for space research and applications in deep-space optical communications, single-photon laser ranging, as well as for testing the fundamental principles of physics in space.


title: Three-dimensional weights of evidence modeling of a deep-seated porphyry Cu deposit

abstract: Given the challenges in data acquisition and modeling at the stage of detailed exploration, it is difficult to develop a prospectivity model, particularly for disseminated ore deposits. Recently, the weights of evidence (WofE) method has demonstrated a high efficiency for modeling such deposits. In this study, we propose a framework for creating a three-dimensional (3D) weights of evidence-based prospectivity model of the Nochoun porphyry Cu deposit in the Urmia-Dokhtar magmatic arc of Iran. The input data include qualitative geological and quantitative geochemical information obtained from boreholes and field observations. We combine ordinary and fuzzy weights of evidence for integrating qualitative and quantitative exploration criteria in a 3D space constrained by a metallogenic model of the study area for identifying a deep-seated ore body. Ordinary weights of evidence are determined for geological data, including lithology, alteration, rock type, and structure. Moreover, we determine the fuzzy weight of evidence for each class of continuous geochemical models created based on Fe, Mo, and Zn concentration values derived from boreholes. We integrate the input evidential models using WofE and create two prospectivity models (i.e., posterior and studentized posterior probability). We also determine anomalous voxels in the probability models using concentration-volume fractal models and validate them using prediction-volume plots. The modeling results indicate that the studentized posterior probability model is more efficient in identifying voxels representing copper mineralized rock volumes. We provide open source software for the proposed framework which can be used for exploring deep-seated ore bodies in other regions.


title: Degenerations of Grassmannians via lattice configurations

abstract: We study degenerations of Grassmannians constructed using convex lattice configurations in Bruhat-Tits buildings. Using techniques from quiver representations, we analyze their special fibers, which are explicitly described as quiver Grassmannians. For a class of lattice configurations, called the locally linearly independent configurations, we show that our construction coincide with Mustafin degenerations, thus generalizing a result of Faltings. In such cases, our analysis of special fibers also generalizes results of Cartwright et al. As an application, we prove a smoothing criterion for limit linear series on arbitrary reducible nodal curves.


title: Nano-tracking detector for neutrinoless double beta decay characterization

abstract: Of the many extensions to the standard model that could possibly generate neutrino mass, most necessitate the neutrino being a Majorana fermion. If this is the case, the rare process of neutrinoless double beta decay is predicted with half lives greater than about $10^{25}$ years. Many current and future experiments look for this decay by identifying a summed double beta energy at the Q value of the decay, but adding energy and angular measurements of the individual betas allows the underlying decay mechanism to be probed. A novel nano-tracking detector based on a clever combination of thin film CdTe devices will be presented here. This tracker will have order 100 nm spatial resolution in one dimension while measuring the energy deposition across the track length of electron recoils in the detector. This allows energy and angular correlation measurements of a potential neutrinoless double beta decay signal, as well as a unique background suppression capability. Deep learning algorithms will be used to reconstruct the electron paths, the double beta signals and perform the correlation analyses, and will simultaneously allow clear distinction between double betas and single beta or gamma-induced electronic recoils. The detector concept will be presented, along with preliminary studies, to demonstrate its operation and the physics reach for neutrinoless double beta decay. By exploiting recoil discrimination, an array of these detectors can potentially probe beyond the inverted hierarchy to either follow the next generation of neutrinoless double beta decay experiments or to serve as a post-discovery characterization experiment.


title: Numerical Considerations for Advection-Diffusion Problems in Cardiovascular Hemodynamics

abstract: Numerical simulations of cardiovascular mass transport pose significant challenges due to the wide range of P\'eclet numbers and backflow at Neumann boundaries. In this paper we present and discuss several numerical tools to address these challenges in the context of a stabilized finite element computational framework. To overcome numerical instabilities when backflow occurs at Neumann boundaries, we propose an approach based on the prescription of the total flux. In addition, we introduce a "consistent flux" outflow boundary condition and demonstrate its superior performance over the traditional zero diffusive flux boundary condition. Lastly, we discuss discontinuity capturing (DC) stabilization techniques to address the well-known oscillatory behavior of the solution near the concentration front in advection-dominated flows.We present numerical examples in both idealized and patient-specific geometries to demonstrate the efficacy of the proposed procedures. The three contributions dis-cussed in this paper enable to successfully address commonly found challenges when simulating mass transport processes in cardiovascular flows.


title: A curious general relativistic sphere

abstract: We present a particular solution to the Einstein field equations that could arise as a magnetic monopole in the strong field limit of the Born-Infeld electrodynamics. We solve its geodesics exactly and show that they can mimic the gravitational lensing of a singular isothermal sphere, but with matter and radiation following the same trajectories. This solution has previously been called "cloud of strings" or "string hedgehog," and has appeared as the limit of a global O(3) monopole.


title: Context-Augmented Software Development Projects: Literature Review and Preliminary Framework

abstract: Software development is a complex activity which depends on diverse technologies and people's expertise. The approaches to developing software highly depend on these different characteristics, which are the context developers are subject to. This context contains massive knowledge, and not capturing it means knowledge is continuously lost. Although extensively researched, context in software development is still not explicit, nor proposed into a broader view of the context needed by software developers and tools. Therefore, developers' productivity is affected, as the ability to reuse this rich context is hampered. This paper proposes a literature review on context for software development, through nine research questions. The purpose of this study is making the discovered context explicit into an integrated view and proposing a platform to aid software development using context information. We believe supporting contextual knowledge through its representation and mining for recommendation and real-time provision can significantly improve big data software project development.


title: Deep Sub-Ensembles for Fast Uncertainty Estimation in Image Classification

abstract: Fast estimates of model uncertainty are required for many robust robotics applications. Deep Ensembles provides state of the art uncertainty without requiring Bayesian methods, but still it is computationally expensive. In this paper we propose deep sub-ensembles, an approximation to deep ensembles where the core idea is to ensemble only the layers close to the output, and not the whole model. With ResNet-20 on the CIFAR10 dataset, we obtain 1.5-2.5 speedup over a Deep Ensemble, with a small increase in error and NLL, and similarly up to 5-15 speedup with a VGG-like network on the SVHN dataset. Our results show that this idea enables a trade-off between error and uncertainty quality versus computational performance.


title: High frequency guided mode resonances in mass-loaded, thin film gallium nitride surface acoustic wave devices

abstract: We demonstrate high-frequency (> 3 GHz), high quality factor radio frequency (RF) resonators in unreleased thin film gallium nitride (GaN) on sapphire and silicon carbide substrates by exploiting acoustic guided mode (Lamb wave) resonances. The associated energy trapping, due to mass loading from the gold electrodes, allows us to efficiently excite these resonances from a 50 $\Omega$ input. The higher phase velocity, combined with lower electrode damping, enables high quality factors with moderate electrode pitch, and provides a viable route towards high-frequency piezoelectric devices. The GaN platform, with its ability to guide and localize high-frequency sound on the surface of a chip with access to high-performance active devices, will serve as a key building block for monolithically integrated RF front-ends.


title: A one-dimensional model for chemotaxis with hard-core interactions

abstract: In this paper we consider a biased velocity jump process with excluded-volume interactions for chemotaxis, where we account for the size of each particle. Starting with a system of N individual hard rod particles in one dimension, we derive a nonlinear kinetic model using two different approaches. The first approach is a systematic derivation for small occupied fraction of particles based the method of matched asymptotic expansions. The second approach, based on a compression method that exploits the single-file motion of hard core particles, does not have the limitation of a small occupied fraction but requires constant tumbling rates. We validate our nonlinear model with numerical simulations, comparing its solutions with the corresponding noninteracting linear model as well as stochastic simulations of the underlying particle system.


title: On the Packing of Stiff Rods on Ellipsoids Part I -- Geometry

abstract: We suggest a geometrical mechanism for the ordering of slender filaments inside non-isotropic containers, using cortical microtubules in plant cells and packing of viral genetic material inside capsids as concrete examples. We show analytically how the shape of the cell affects the ordering of phantom, non-self-avoiding, stiff rods. We find that for oblate cells the preferred orientation is along the equator, while for prolate spheroids with an aspect ratio close to one, the orientation is along the principal (long axis). Surprisingly, at high enough aspect ratio, a configurational phase transition occurs, and the rods no longer point along the principal axis, but at an angle to it, due to high curvature at the poles. We discuss some of the possible effects of self avoidance, using energy considerations. These results are relevant to other packing problems as well, such as spooling of filament in the industry or spider silk inside water droplets.


title: Observations of symmetry induced topological mode steering in a reconfigurable elastic plate

abstract: We experimentally investigate the valley-Hall effect for interfacial edge states, highlighting the importance of the modal patterns, between geometrically distinct regions within a structured elastic plate. These experiments, for vibration, are at a scale where detailed measurements are taken throughout the system and not just at the input/output ports; this exposes the coupling between geometrically distinct modes that underlie the differences between wave transport around gentle and sharp bends.


title: Deep Weakly-Supervised Domain Adaptation for Pain Localization in Videos

abstract: Automatic pain assessment has an important potential diagnostic value for populations that are incapable of articulating their pain experiences. As one of the dominating nonverbal channels for eliciting pain expression events, facial expressions has been widely investigated for estimating the pain intensity of individual. However, using state-of-the-art deep learning (DL) models in real-world pain estimation applications poses several challenges related to the subjective variations of facial expressions, operational capture conditions, and lack of representative training videos with labels. Given the cost of annotating intensity levels for every video frame, we propose a weakly-supervised domain adaptation (WSDA) technique that allows for training 3D CNNs for spatio-temporal pain intensity estimation using weakly labeled videos, where labels are provided on a periodic basis. In particular, WSDA integrates multiple instance learning into an adversarial deep domain adaptation framework to train an Inflated 3D-CNN (I3D) model such that it can accurately estimate pain intensities in the target operational domain. The training process relies on weak target loss, along with domain loss and source loss for domain adaptation of the I3D model. Experimental results obtained using labeled source domain RECOLA videos and weakly-labeled target domain UNBC-McMaster videos indicate that the proposed deep WSDA approach can achieve significantly higher level of sequence (bag)-level and frame (instance)-level pain localization accuracy than related state-of-the-art approaches.


title: New proper orthogonal decomposition approximation theory for PDE solution data

abstract: In our previous work [Singler, SIAM J. Numer. Anal. 52 (2014), no. 2, 852-876], we considered the proper orthogonal decomposition (POD) of time varying PDE solution data taking values in two different Hilbert spaces. We considered various POD projections of the data and obtained new results concerning POD projection errors and error bounds for POD reduced order models of PDEs. In this work, we improve on our earlier results concerning POD projections by extending to a more general framework that allows for non-orthogonal POD projections and seminorms. We obtain new exact error formulas and convergence results for POD data approximation errors, and also prove new pointwise convergence results and error bounds for POD projections. We consider both the discrete and continuous cases of POD. We also apply our results to several example problems, and show how the new results improve on previous work.


title: Tunable magnetic order in low-symmetry SeO$_3$ ligand linked $TM_3$(SeO$_3$)$_3$H$_2$O ($TM$ = Mn, Co and Ni) compounds

abstract: Generally, one has two strategies to achieve magnetic frustration: through geometric means or interactions with different length scales. As the former leads to much simpler theoretical treatments it is favored and so magnetic sublattices with geometric frustration are sought after. One approach to finding such lattices is to design them chemically by using non-magnetic linker ligands. Here we report on the magnetic properties of one such family of materials, the transition metal ($TM$) selenite hydrate compounds chemical formula $TM_3$(SeO$_3$)$_3$H$_2$O . These materials link highly distorted $TM$O$_6$ octahedra via non-magnetic [SeO$_3$]$^{2+}$ linkers. Using $TM$ = Mn, Co and Ni we report on the structural effects of changing the $TM$ site and how they may influence the magnetic structure. Using magnetic susceptibility and neutron powder diffraction we identify low temperature magnetic transitions for all three compounds characterized by the onset of long-range AFM order with moderate frustration indexes. Consideration of the magnetic structures reveal that the magnetic order is sensitive to the $TM$ site ion and is tunable as it is changed - especially from Mn to Co - with changes in both the moment direction and the ordering vector. Field dependent susceptibility and heat capacity measurements reveal metamagnetic transitions in both Mn$_3$(SeO$_3$)$_3$H$_2$O and Co$_3$(SeO$_3$)$_3$H$_2$O indicating nearby magnetic ground states accessible under relatively small applied fields. Density functional theory calculations broadly confirm these results, showing both a sensitivity of the magnetic structure to the $TM$ and its local environment. Although no spin liquid behavior is achieved, these results suggest the fruitfulness of such synthesis philosophies and encourage future work to engender higher frustration in these materials via doping, field, pressure or larger linker ligands.


title: Computing harmonic maps between Riemannian manifolds

abstract: In the previous paper [GLM2018], we showed that the theory of harmonic maps between Riemannian manifolds may be discretized by introducing triangulations with vertex and edge weights on the domain manifold. In the present paper, we study convergence of the discrete theory to the smooth theory when taking finer and finer triangulations. We present suitable conditions on the weighted triangulations that ensure convergence of discrete harmonic maps to smooth harmonic maps. Our computer software Harmony implements these methods to computes equivariant harmonic maps in the hyperbolic plane.


title: Twelve Years of Galaxy Zoo

abstract: The Galaxy Zoo (GZ) project has provided quantitative visual morphologies for over a million galaxies, and has been part of a reinvigoration of interest in the morphologies of galaxies and what they reveal about galaxy evolution. Morphological information collected by GZ has shown itself to be a powerful tool for studying galaxy evolution, and GZ continues to collect classifications - currently serving imaging from DECaLS in its main site, and running a variety of related projects hosted by the Zooniverse; the citizen science platform which came out of the early success of GZ. I highlight some of the results from the last twelve years, with a particular emphasis on linking morphology and dynamics, look forward to future projects in the GZ family, and provide a quick start guide for how you can easily make use of citizen science techniques to analysis your own large and complex data sets.


title: Logarithmic Bramson correction for multi-dimensional periodic Fisher-KPP equations

abstract: We study the long time behavior of solutions of periodic Fisher-KPP type equations in $\mathbb{R}^n$ that arise from compactly supported initial data. We prove that propagation along a fixed direction $e\in\mathbb{S}^{n-1}$ is completely determined by an associated minimizing direction $e'$ which is unique and in a bijective correspondence with $e$. This correspondence allows us to determine the correct Bramson shift in higher dimensions and show that that the propagation along each $e$ occurs asymptotically at the speed $w_*(e)t-\frac{n/2+1}{\lambda_*(e')\,e\cdot e'}\log t+O(1)$.


title: High Performance Implementation of the Hierarchical Likelihood for Generalized Linear Mixed Models. An Application to estimate the potassium reference range in massive Electronic Health Records datasets

abstract: Converting electronic health record (EHR) entries to useful clinical inferences requires one to address the poor scalability of existing implementations of Generalized Linear Mixed Models (GLMM) for repeated measures. The major computational bottleneck concerns the numerical evaluation of integrals, which even for the simplest EHR analyses may involve millions of dimensions (one for each patient). The hierarchical likelihood (h-lik) approach to GLMMs is a framework for the estimation of GLMMs that is based on the Laplace Approximation (LA), which replaces integration with numerical optimization, and thus scales very well with dimensionality. We present a high-performance implementation of the h-lik for GLMMs in the R package TMB. Using this approach, we examined the relation of serum potassium measurements and survival in the Cerner Real World Data (CRWD) EHR database. Analyzing this data requires the evaluation of an integral in over 3 million dimensions. We also assessed the scalability and accuracy of LA in smaller samples of 1 and 10% size of the full dataset that were analyzed via the a) original, interconnected Generalized Linear Models (iGLM), approach to h-lik, b) Adaptive Gaussian Hermite (AGH) and c) the gold standard of Markov Chain Monte Carlo (MCMC) for multivariate integration. Random effects estimates generated by the LA were within 10% of the values obtained by the iGLMs, AGH and MCMC techniques. The H-lik approach was 4-30 times faster than AGH and nearly 800 times faster than MCMC. We found that the combination of the LA and AD offers a computationally efficient, numerically accurate approach for the analysis of extremely large, real world repeated measures data via the h-lik approach to GLMMs. The clinical inference from our analysis may guide choices of threatment thresholds for treating potassium disorders in the clinic.


title: Quantum statistical properties of multiphoton hypergeometric coherent states and the discrete circle representation

abstract: We review the definition of hypergeometric coherent states, discussing some representative examples. Then we study mathematical and statistical properties of hypergeometric Schr\"odinger cat states, defined as orthonormalized eigenstates of $k$-th powers of nonlinear $f$-oscillator annihilation operators, with $f$ of hypergeometric type. These "$k$-hypercats" can be written as an equally weighted superposition of hypergeometric coherent states $|z_l\rangle, l=0,1,\dots,k-1$, with $z_l=z e^{2\pi i l/k}$ a $k$-th root of $z^k$, and they interpolate between number and coherent states. This fact motivates a continuous circle representation for high $k$. We also extend our study to truncated hypergeometric functions (finite dimensional Hilbert spaces) and a discrete exact circle representation is provided. We also show how to generate $k$-hypercats by amplitude dispersion in a Kerr medium and analyze their generalized Husimi $Q$-function in the super- and sub-Poissonian cases at different fractions of the revival time.


title: Online Learning in Planar Pushing with Combined Prediction Model

abstract: Pushing is a useful robotic capability for positioning and reorienting objects. The ability to accurately predict the effect of pushes can enable efficient trajectory planning and complicated object manipulation. Physical prediction models for planar pushing have long been established, but their assumptions and requirements usually don't hold in most practical settings. Data-driven approaches can provide accurate predictions for offline data, but they often have generalizability issues. In this paper, we propose a combined prediction model and an online learning framework for planar push prediction. The combined model consists of a neural network module and analytical components with a low-dimensional parameter. We train the neural network offline using pre-collected pushing data. In online situations, the low-dimensional analytical parameter is learned directly from online pushes to quickly adapt to the new environments. We test our combined model and learning framework on real pushing experiments. Our experimental results show that our model is able to quickly adapt to new environments while achieving similar final prediction performance as that of pure neural network models.


title: Approximate solutions of one dimensional systems with fractional derivative

abstract: The fractional calculus is useful to model non-local phenomena. We construct a method to evaluate the fractional Caputo derivative by means of a simple explicit quadratic segmentary interpolation. This method yields to numerical resolution of ordinary fractional differential equations. Due to the non-locality of the fractional derivative, we may establish an equivalence between fractional oscillators and ordinary oscillators with a dissipative term.


title: Super-statistical description of thermo-magnetic properties of a system of 2D GaAs quantum dots with gaussian confinement and Rashba spin-orbit interaction

abstract: We examine the effect of non-equilibrium processes modeled by the introduction of a generalized Boltzmann factor on the thermal and magnetic properties of an array of two-dimensional GaAs quantum dots in the presence of an external uniform and constant magnetic field. The model consists of a single-electron subject to a confining Gaussian potential with a spin-orbit interaction in the Rashba approach. We compute the specific heat and the magnetic susceptibility within the formalism of $\chi^2$-superstatistics from the exact solution of the Schr\"odinger equation. Furthermore, an analytic solution for the partition function allows a study of the impact of the number of subsystems on the superstatistical corrections and confirms that the ordinary thermo-magnetic properties are recovered whenever the thermal distribution can be approximated by a Dirac delta. Also, we found a progressive disappearance of the Schottky anomaly with decreasing number of subsystems, while the specific heat ceases to be a monotonically increasing function with respect to the average temperature when the $\chi^2$-distribution is spread over a large range of temperatures. Remarkably, the introduction of fluctuations in the temperature is found to suppress the paramagnetic phase transition that would otherwise appear at low temperatures. Finally, we emphasize that an appropriate construction of the definition of physical observables is crucial for obtaining a correct description of the physics derived from a non-extensive construction of the entropy.


title: Map-Predictive Motion Planning in Unknown Environments

abstract: Algorithms for motion planning in unknown environments are generally limited in their ability to reason about the structure of the unobserved environment. As such, current methods generally navigate unknown environments by relying on heuristic methods to choose intermediate objectives along frontiers. We present a unified method that combines map prediction and motion planning for safe, time-efficient autonomous navigation of unknown environments by dynamically-constrained robots. We propose a data-driven method for predicting the map of the unobserved environment, using the robot's observations of its surroundings as context. These map predictions are then used to plan trajectories from the robot's position to the goal without requiring frontier selection. We demonstrate that our map-predictive motion planning strategy yields a substantial improvement in trajectory time over a naive frontier pursuit method and demonstrates similar performance to methods using more sophisticated frontier selection heuristics with significantly shorter computation time.


title: An LSM-based Tuple Compaction Framework for Apache AsterixDB (Extended Version)

abstract: Document database systems store self-describing semi-structured records, such as JSON, "as-is" without requiring the users to pre-define a schema. This provides users with the flexibility to change the structure of incoming records without worrying about taking the system offline or hindering the performance of currently running queries. However, the flexibility of such systems does not free. The large amount of redundancy in the records can introduce an unnecessary storage overhead and impact query performance. Our focus in this paper is to address the storage overhead issue by introducing a tuple compactor framework that infers and extracts the schema from self-describing semi-structured records during the data ingestion. As many prominent document stores, such as MongoDB and Couchbase, adopt Log Structured Merge (LSM) trees in their storage engines, our framework exploits LSM lifecycle events to piggyback the schema inference and extraction operations. We have implemented and empirically evaluated our approach to measure its impact on storage, data ingestion, and query performance in the context of Apache AsterixDB.


title: sasPDF: pair distribution function analysis of nanoparticle assemblies from small-angle-scattering data

abstract: We extends pair distribution function (PDF) analysis into the small-angle scattering (SAS) regime and describe the data collection protocol for optimum data quality. We also present the PDFgetS3 software package that can be readily used to extract the PDF from small-angle scattering data. We then apply the sasPDF method to investigate structures of some representative nanoparticle assemblies (NPA) samples with different levels of structural order.


title: The Quantum Approximate Optimization Algorithm and the Sherrington-Kirkpatrick Model at Infinite Size

abstract: The Quantum Approximate Optimization Algorithm (QAOA) is a general-purpose algorithm for combinatorial optimization problems whose performance can only improve with the number of layers $p$. While QAOA holds promise as an algorithm that can be run on near-term quantum computers, its computational power has not been fully explored. In this work, we study the QAOA applied to the Sherrington-Kirkpatrick (SK) model, which can be understood as energy minimization of $n$ spins with all-to-all random signed couplings. There is a recent classical algorithm by Montanari that, assuming a widely believed conjecture, can efficiently find an approximate solution for a typical instance of the SK model to within $(1-\epsilon)$ times the ground state energy. We hope to match its performance with the QAOA. Our main result is a novel technique that allows us to evaluate the typical-instance energy of the QAOA applied to the SK model. We produce a formula for the expected value of the energy, as a function of the $2p$ QAOA parameters, in the infinite size limit that can be evaluated on a computer with $O(16^p)$ complexity. We evaluate the formula up to $p=12$, and find that the QAOA at $p=11$ outperforms the standard semidefinite programming algorithm. Moreover, we show concentration: With probability tending to one as $n\to\infty$, measurements of the QAOA will produce strings whose energies concentrate at our calculated value. As an algorithm running on a quantum computer, there is no need to search for optimal parameters on an instance-by-instance basis since we can determine them in advance. What we have here is a new framework for analyzing the QAOA, and our techniques can be of broad interest for evaluating its performance on more general problems where classical algorithms may fail.


title: Strong ergodicity around countable products of countable equivalence relations

abstract: This paper deals with countable products of countable Borel equivalence relations and equivalence relations "just above" those in the Borel reducibility hierarchy. We show that if $E$ is strongly ergodic with respect to $\mu$ then $E^\mathbb{N}$ is strongly ergodic with respect to $\mu^\mathbb{N}$. We answer questions of Clemens and Coskey regarding their recently defined $\Gamma$-jump operations, in particular showing that the $\mathbb{Z}^2$-jump of $E_\infty$ is strictly above the $\mathbb{Z}$-jump of $E_\infty$. We study a notion of equivalence relations which can be classified by infinite sequences of "definably countable sets". In particular, we define an interesting example of such equivalence relation which is strictly above $E_\infty^\mathbb{N}$, strictly below $=^+$, and is incomparable with the $\Gamma$-jumps of countable equivalence relations. We establish a characterization of strong ergodicity between Borel equivalence relations in terms of symmetric models. The proofs then rely on a fine analysis of the very weak choice principles "every sequence of $E$-classes admits a choice sequence", for various countable Borel equivalence relations $E$.


title: Digital Fundamental Groups and Edge Groups of Clique Complexes

abstract: In previous work, we have defined---intrinsically, entirely within the digital setting---a fundamental group for digital images. Here, we show that this group is isomorphic to the edge group of the clique complex of the digital image considered as a graph. The clique complex is a simplicial complex and its edge group is well-known to be isomorphic to the ordinary (topological) fundamental group of its geometric realization. This identification of our intrinsic digital fundamental group with a topological fundamental group---extrinsic to the digital setting---means that many familiar facts about the ordinary fundamental group may be translated into their counterparts for the digital fundamental group: The digital fundamental group of any digital circle is $\mathbb{Z}$; a version of the Seifert-van Kampen Theorem holds for our digital fundamental group; every finitely presented group occurs as the (digital) fundamental group of some digital image. We also show that the (digital) fundamental group of every 2D digital image is a free group.


title: Bosonic Collective Excitations in Fermi Gases

abstract: Hartree-Fock theory has been justified as a mean-field approximation for fermionic systems. However, it suffers from some defects in predicting physical properties, making necessary a theory of quantum correlations. Recently, bosonization of many-body correlations has been rigorously justified as an upper bound on the correlation energy at high density with weak interactions. We review the bosonic approximation, deriving an effective Hamiltonian. We then show that for systems with Coulomb interaction this effective theory predicts collective excitations (plasmons) in accordance with the random phase approximation of Bohm and Pines, and with experimental observation.

categories: math-ph cond-mat.mes-hall math.MP physics.chem-ph


title: Embedded discrepancy operators in reduced models of interacting species

abstract: In many applications of interacting systems, we are only interested in the dynamic behavior of a subset of all possible active species. For example, this is true in combustion models (many transient chemical species are not of interest in a given reaction) and in epidemiological models (only certain critical populations are truly consequential). Thus it is common to use greatly reduced models, in which only the interactions among the species of interest are retained. However, reduction introduces a model error, or discrepancy, which typically is not well characterized. In this work, we explore the use of an embedded and statistically calibrated discrepancy operator to represent model error. The operator is embedded within the differential equations of the model, which allows the action of the operator to be interpretable. Moreover, it is constrained by available physical information, and calibrated over many scenarios. These qualities of the discrepancy model---interpretability, physical-consistency, and robustness to different scenarios---are intended to support reliable predictions under extrapolative conditions.


title: SetExpan: Corpus-Based Set Expansion via Context Feature Selection and Rank Ensemble

abstract: Corpus-based set expansion (i.e., finding the "complete" set of entities belonging to the same semantic class, based on a given corpus and a tiny set of seeds) is a critical task in knowledge discovery. It may facilitate numerous downstream applications, such as information extraction, taxonomy induction, question answering, and web search. To discover new entities in an expanded set, previous approaches either make one-time entity ranking based on distributional similarity, or resort to iterative pattern-based bootstrapping. The core challenge for these methods is how to deal with noisy context features derived from free-text corpora, which may lead to entity intrusion and semantic drifting. In this study, we propose a novel framework, SetExpan, which tackles this problem, with two techniques: (1) a context feature selection method that selects clean context features for calculating entity-entity distributional similarity, and (2) a ranking-based unsupervised ensemble method for expanding entity set based on denoised context features. Experiments on three datasets show that SetExpan is robust and outperforms previous state-of-the-art methods in terms of mean average precision.


title: Induced morphisms between Heyting-valued models

abstract: To the best of our knowledge, there are very few results on how Heyting-valued models are affected by the morphisms on the complete Heyting algebras that determine them: the only cases found in the literature are concerning automorphisms of complete Boolean algebras and complete embedding between them (\emph{i.e}., injective Boolean algebra homomorphisms that preserves arbitrary suprema and arbitrary infima). In the present work, we consider and explore how more general kinds of morphisms between complete Heyting algebras $\mathbb{H}$ and $\mathbb{H}'$ induce arrows between $V^{(\mathbb{H})}$ and $V^{(\mathbb{H}')}$, and between their corresponding localic toposes $\mathbf{Set}^{(\mathbb{H})}$ ($\simeq \mathbf{Sh}(\mathbb{H})$) and $\mathbf{Set}^{(\mathbb{H}')}$ ($\simeq \mathbf{Sh}(\mathbb{H}')$). In more details: any {\em geometric morphism} $f^* : \mathbf{Set}^{(\mathbb{H})} \to \mathbf{Set}^{(\mathbb{H'})}$, (that automatically came from a unique locale morphism $f : \mathbb{H} \to \mathbb{H}'$), can be "lifted" to an arrow $\tilde{f} : V^{(\mathbb{H})} \to V^{(\mathbb{H}')}$. We also provide also some semantic preservation results concerning this arrow $\tilde{f} : V^{(\mathbb{H})} \to V^{(\mathbb{H}')}$.


title: HiExpan: Task-Guided Taxonomy Construction by Hierarchical Tree Expansion

abstract: Taxonomies are of great value to many knowledge-rich applications. As the manual taxonomy curation costs enormous human effects, automatic taxonomy construction is in great demand. However, most existing automatic taxonomy construction methods can only build hypernymy taxonomies wherein each edge is limited to expressing the "is-a" relation. Such a restriction limits their applicability to more diverse real-world tasks where the parent-child may carry different relations. In this paper, we aim to construct a task-guided taxonomy from a domain-specific corpus and allow users to input a "seed" taxonomy, serving as the task guidance. We propose an expansion-based taxonomy construction framework, namely HiExpan, which automatically generates key term list from the corpus and iteratively grows the seed taxonomy. Specifically, HiExpan views all children under each taxonomy node forming a coherent set and builds the taxonomy by recursively expanding all these sets. Furthermore, HiExpan incorporates a weakly-supervised relation extraction module to extract the initial children of a newly-expanded node and adjusts the taxonomy tree by optimizing its global structure. Our experiments on three real datasets from different domains demonstrate the effectiveness of HiExpan for building task-guided taxonomies.


title: A generalization of Rasmussen's invariant, with applications to surfaces in some four-manifolds

abstract: We extend the definition of Khovanov-Lee homology to links in connected sums of $S^1 \times S^2$'s, and construct a Rasmussen-type invariant for null-homologous links in these manifolds. For certain links in $S^1 \times S^2$, we compute the invariant by reinterpreting it in terms of Hochschild homology. As applications, we prove inequalities relating the Rasmussen-type invariant to the genus of surfaces with boundary in the following four-manifolds: $B^2 \times S^2$, $S^1 \times B^3$, $\mathbb{CP}^2$, and various connected sums and boundary sums of these. We deduce that Rasmussen's invariant also gives genus bounds for surfaces inside homotopy 4-balls obtained from $B^4$ by Gluck twists. Therefore, it cannot be used to prove that such homotopy 4-balls are non-standard.


title: Generalization of the Haldane conjecture to SU($n$) chains

abstract: Recently, SU(3) chains in the symmetric and self-conjugate representations have been studied using field theory techniques. For certain representations, namely rank-$p$ symmetric ones with $p$ not a multiple of 3, it was argued that the ground state exhibits gapless excitations. For the remaining representations considered, a finite energy gap exists above the ground state. In this paper, we extend these results to SU($n$) chains in the symmetric representation. For a rank-$p$ symmetric representation with $n$ and $p$ coprime, we predict gapless excitations above the ground state. If $p$ is a multiple of $n$, we predict a unique ground state with a finite energy gap. Finally, if $p$ and $n$ have a greatest common divisor $1<q<n$, we predict a ground state degeneracy of $n/q$, with a finite energy gap. To arrive at these results, we derive a non-Lorentz invariant flag manifold sigma model description of the SU($n$) chains, and use the renormalization group to show that Lorentz invariance is restored at low energies. We then make use of recently developed anomaly matching conditions for these Lorentz-invariant models. We also review the Lieb-Shultz-Mattis-Affleck theorem, and extend it to SU($n$) models with longer range interactions.


title: Resource theories of communication

abstract: A series of recent works has shown that placing communication channels in a coherent superposition of alternative configurations can boost their ability to transmit information. Instances of this phenomenon are the advantages arising from the use of communication devices in a superposition of alternative causal orders, and those arising from the transmission of information along a superposition of alternative trajectories. The relation among these advantages has been the subject of recent debate, with some authors claiming that the advantages of the superposition of orders could be reproduced, and even surpassed, by other forms of superpositions. To shed light on this debate, we develop a general framework of resource theories of communication. In this framework, the resources are communication devices, and the allowed operations are (a) the placement of communication devices between the communicating parties, and (b) the connection of communication devices with local devices in the parties' laboratories. The allowed operations are required to satisfy the minimal condition that they do not enable communication independently of the devices representing the initial resources. The resource-theoretic analysis reveals that the aforementioned criticisms on the superposition of causal orders were based on an uneven comparison between different types of quantum superpositions, exhibiting different operational features.


title: A class of multiplicative lattices

abstract: We study the multiplicative lattices L which satisfy the condition a = (a : (a : b))(a : b) for all a,b in L.


title: The Impact of Wind Scalings on Stellar Growth and the Baryon Cycle in Cosmological Simulations

abstract: Many phenomenologically successful cosmological galaxy formation simulations employ kinetic winds to model galactic outflows, a crucial ingredient in obtaining predictions that agree with various observations. Yet systematic studies of how variations in kinetic wind scalings might alter observable galaxy properties are rare. Here we employ GADGET-3 simulations to study how the baryon cycle, stellar mass function, and other galaxy and CGM predictions vary as a function of the assumed outflow speed $v_w$ and the scaling of the mass loading factor $\eta$ with velocity dispersion $\sigma$. We design our fiducial model to reproduce the measured wind properties at 25% of the virial radius from the Feedback In Realistic Environments (FIRE) simulations. We find that a strong dependence of $\eta \sim \sigma^5$ in low mass haloes with $\sigma < 106\ \mathrm{km\ s^{-1}}$ is required to match the faint end of the stellar mass functions at $z > 1$. The wind speed also has a major impact, with faster winds significantly reducing wind recycling and heating more halo gas. Both effects result in less stellar mass growth in massive haloes and impact high ionization absorption in halo gas. We cannot simultaneously match the stellar content at $z=2$ and $z=0$ within a single model, suggesting that an additional feedback source such as AGN might be required in massive galaxies at lower redshifts, but the amount needed depends strongly on assumptions regarding the outflow properties. We run a 50 $\mathrm{Mpc/h}$, $2\times576^3$ simulation with our fiducial parameters and show that it matches a range of star-forming galaxy properties at $z\sim0-2$. In closing, the results from simulations of galaxy formation are much more sensitive to small changes in the feedback implementation than to the hydrodynamic technique.


title: Controlled DC Monitoring of a Superconducting Qubit

abstract: Creating a transmon qubit using semiconductor-superconductor hybrid materials not only provides electrostatic control of the qubit frequency, it also allows parts of the circuit to be electrically connected and disconnected in situ by operating a semiconductor region of the device as a field-effect transistor (FET). Here, we exploit this feature to compare in the same device characteristics of the qubit, such as frequency and relaxation time, with related transport properties such as critical supercurrent and normal-state resistance. Gradually opening the FET to the monitoring circuit allows the influence of weak-to-strong DC monitoring of a live qubit to be measured. A model of this influence yields excellent agreement with experiment, demonstrating a relaxation rate mediated by a gate-controlled environmental coupling.


title: IRIS observations of short-term variability in moss associated with transient hot coronal loops

abstract: We observed rapid variability ($\lesssim 60$ s) at the footpoints of transient hot ($\sim 8-10$ MK) coronal loops in active region cores, with the Interface Region Imaging Spectrograph (IRIS). The high spatial ($\sim 0.33$ arcsec) and temporal ($\lesssim 5$-10 s) resolution is often crucial for the detection of this variability. We show how, in combination with 1D RADYN loop modeling, these IRIS spectral observations of the transition region (TR) and chromosphere provide powerful diagnostics of the properties of coronal heating and energy transport (thermal conduction and/or non-thermal electrons (NTE)). Our simulations of nanoflare heated loops indicate that emission in the Mg II triplet can be used as a sensitive diagnostic for non-thermal particles. In our events we observe a large variety of IRIS spectral properties (intensity, Doppler shifts, broadening, chromospheric/TR line ratios, Mg II triplet emission) even for different footpoints of the same coronal events. In several events, we find spectroscopic evidence for NTE (e.g., TR blue-shifts and Mg II triplet emission) suggesting that particle acceleration can occur even for very small magnetic reconnection events which are generally below the detection threshold of hard X-ray instruments that provide direct detection of emission of non-thermal particles.


title: Forecasting under Long Memory and Nonstationarity

abstract: Long memory in the sense of slowly decaying autocorrelations is a stylized fact in many time series from economics and finance. The fractionally integrated process is the workhorse model for the analysis of these time series. Nevertheless, there is mixed evidence in the literature concerning its usefulness for forecasting and how forecasting based on it should be implemented. Employing pseudo-out-of-sample forecasting on inflation and realized volatility time series and simulations we show that methods based on fractional integration clearly are superior to alternative methods not accounting for long memory, including autoregressions and exponential smoothing. Our proposal of choosing a fixed fractional integration parameter of $d=0.5$ a priori yields the best results overall, capturing long memory behavior, but overcoming the deficiencies of methods using an estimated parameter. Regarding the implementation of forecasting methods based on fractional integration, we use simulations to compare local and global semiparametric and parametric estimators of the long memory parameter from the Whittle family and provide asymptotic theory backed up by simulations to compare different mean estimators. Both of these analyses lead to new results, which are also of interest outside the realm of forecasting.


title: Constraints on the String T-Duality Propagator from the Hydrogen Atom

abstract: We investigate the implications of a string-theory modified propagator in the high-precision regime of quantum mechanics. In particular, we examine the situation in which string theory is compactified at the T-duality self-dual radius. The corresponding propagator is closely related to the one derived from the path integral duality. Our focus is on the hydrogen ground state energy and the $1\text{S}_{1/2}-2\text{S}_{1/2}$ transition frequency as they are the most precisely explored properties of the hydrogen atom. In our analysis, the T-duality propagator affects the photon field leading to a modified Coulomb potential. Thus, our study is complementary to investigations where the electron evolution is modified as in studies of a minimal length in the context of the generalized uncertainty principle. The first manifestation of the T-duality propagator arises at fourth order in the fine-structure constant, including a logarithmic term. The constraints on the underlying parameter, the zero-point length, reach down to $3.9 \times 10^{-19}\, \text{m}$ and are in full agreement with previous studies on black holes.


title: An spectral condition for global equivalence of planar maps

abstract: It is demonstrated that a C^1-unipotent map is globally equivalent to the linear translation T(x,y)=(x+1,y), if the map is fixed point free Similarly, it is proved not only that the fixed point set induced by a C^1-unipotent has no isolated elements, but that a $C^1-$unipotent map has no periodic points. The relation with the existence of global attractors in R^2, by using a global bifurcation on unipotent maps, is also studied.


title: Zero-free regions for the Riemann zeta function

abstract: We improve existing explicit bounds of Vinogradov-Korobov type for zero-free regions of the Riemann zeta function, both for large height t and for every t. A primary input is an explicit bound of the author (Proc. London Math. Soc. 85 (2002), 565-633) for the growth of $\zeta(\sigma+it)$ for $\sigma$ near 1. Another ingredient is a kind of Jensen formula (Lemma 2.2) relating the growth of a function on vertical lines to a weighted count of its zeros inside a vertical strip. The latter was used recently in the weak subconvexity work of Soundararajan and Thorner (arXiv:1804.03654, Duke Math. J. 168, no. 7 (2019), 1231-1268).


title: Bilinear Constraint based ADMM for Mixed Poisson-Gaussian Noise Removal

abstract: In this paper, we propose new operator-splitting algorithms for the total variation regularized infimal convolution (TV-IC) model [4] in order to remove mixed Poisson-Gaussian(MPG) noise. In the existing splitting algorithm for TV-IC, an inner loop by Newton method had to be adopted for one nonlinear optimization subproblem, which increased the computation cost per outer loop. By introducing a new bilinear constraint and applying the alternating direction method of multipliers (ADMM), all subproblems of the proposed algorithms named as BCA (short for Bilinear Constraint based ADMM algorithm) and BCAf(short for a variant of BCA with fully splitting form) can be very efficiently solved; especially for the proposed BCAf, they can be calculated without any inner iterations. Under mild conditions, the convergence of the proposed BCA is investigated. Numerically, compared to existing primal-dual algorithms for the TV-IC model, the proposed algorithms, with fewer tunable parameters, converge much faster and produce comparable results meanwhile.


title: Unsupervised Multi-Task Feature Learning on Point Clouds

abstract: We introduce an unsupervised multi-task model to jointly learn point and shape features on point clouds. We define three unsupervised tasks including clustering, reconstruction, and self-supervised classification to train a multi-scale graph-based encoder. We evaluate our model on shape classification and segmentation benchmarks. The results suggest that it outperforms prior state-of-the-art unsupervised models: In the ModelNet40 classification task, it achieves an accuracy of 89.1% and in ShapeNet segmentation task, it achieves an mIoU of 68.2 and accuracy of 88.6%.


title: Are 2I/Borisov and Oort Cloud Comets Alike?

abstract: The interstellar comet 2I/Borisov bears a strong resemblance to Oort Cloud comets, judging from its appearance in images taken over the first six weeks of observation. To test the proposed affinity in more diagnostic terms, 2I is compared to Oort Cloud comets of similar perihelion distance, near 2 AU. Eight such objects are identified among the cataloged comets whose orbits have been determined with high accuracy. This work focuses on three particular characteristics: the light curve, the geometry of the dust tail, and the dust parameter Afrho. Unlike Oort Cloud comets with perihelia beyond the snow line, Oort Cloud comets with perihelia near 2 AU show strong evidence of the original halo of slowly accelerating, millimeter-sized and larger icy-dust grains only in early tail observations. The dust tail in later images is primarily the product of subsequent, water-sublimation driven activity nearer perihelion but not of activity just preceding observation, which suggests the absence of microscopic-dust ejecta. Comet 2I fits, in broad terms, the properties of the Oort Cloud comets with perihelia near 2 AU and of fairly low activity. Future tests of the preliminary conclusions are proposed.


title: Vinogradov's integral and bounds for the Riemann zeta function

abstract: We show for all $1/2 \le \sigma \le 1$ and $t\ge 3$ that $\zeta(\sigma+it)| \le 76.2 t^{4.45 (1-\sigma)^{3/2}}$, where $\zeta$ is the Riemann zeta function. This significantly improves the previous bounds, where $4.45$ is replaced by $18.8$. New ingredients include a method of bounding $\zeta(s)$ in terms of bounds for Vinogradov's Integral (aka Vinogradov's Mean Value) together with bounds for "incomplete Vinogradov systems", explicit bounds for Vinogradov's integral which strengthen slightly bounds of Wooley (Mathematika 39 (1992), no. 2, 379-399), and explicit bounds for the count of solutions of "incomplete Vinogradov systems", following ideas of Wooley (J. Reine Angew. Math. 488 (1997), 79-140)


title: RTFM: Generalising to Novel Environment Dynamics via Reading

abstract: Obtaining policies that can generalise to new environments in reinforcement learning is challenging. In this work, we demonstrate that language understanding via a reading policy learner is a promising vehicle for generalisation to new environments. We propose a grounded policy learning problem, Read to Fight Monsters (RTFM), in which the agent must jointly reason over a language goal, relevant dynamics described in a document, and environment observations. We procedurally generate environment dynamics and corresponding language descriptions of the dynamics, such that agents must read to understand new environment dynamics instead of memorising any particular information. In addition, we propose txt2$\pi$, a model that captures three-way interactions between the goal, document, and observations. On RTFM, txt2$\pi$ generalises to new environments with dynamics not seen during training via reading. Furthermore, our model outperforms baselines such as FiLM and language-conditioned CNNs on RTFM. Through curriculum learning, txt2$\pi$ produces policies that excel on complex RTFM tasks requiring several reasoning and coreference steps.


title: Differentiable Combinatorial Losses through Generalized Gradients of Linear Programs

abstract: When samples have internal structure, we often see a mismatch between the objective optimized during training and the model's goal during inference. For example, in sequence-to-sequence modeling we are interested in high-quality translated sentences, but training typically uses maximum likelihood at the word level. The natural training-time loss would involve a combinatorial problem -- dynamic programming-based global sequence alignment -- but solutions to combinatorial problems are not differentiable with respect to their input parameters, so surrogate, differentiable losses are used instead. Here, we show how to perform gradient descent over combinatorial optimization algorithms that involve continuous parameters, for example edge weights, and can be efficiently expressed as linear programs. We demonstrate usefulness of gradient descent over combinatorial optimization in sequence-to-sequence modeling using differentiable encoder-decoder architecture with softmax or Gumbel-softmax, and in image classification in a weakly supervised setting where instead of the correct class for each photo, only groups of photos labeled with correct but unordered set of classes are available during training.


title: Error Lower Bounds of Constant Step-size Stochastic Gradient Descent

abstract: Stochastic Gradient Descent (SGD) plays a central role in modern machine learning. While there is extensive work on providing error upper bound for SGD, not much is known about SGD error lower bound. In this paper, we study the convergence of constant step-size SGD. We provide error lower bound of SGD for potentially non-convex objective functions with Lipschitz gradients. To our knowledge, this is the first analysis for SGD error lower bound without the strong convexity assumption. We use experiments to illustrate our theoretical results.


title: Gravitational wave stochastic background from cosmological particle decay

abstract: We assume that the cosmological dark matter is composed of massive neutral scalar particles that decay into two massless particles. The decay produces a stochastic background of gravitational waves (GWs) via a 'memory effect' mechanism. We calculate the spectral amplitude and slope of the resulting background, which is frequency independent (flat). We discuss its potential observability and show that the resulting background might dominate the cosmological GW background at frequencies above about 10 GHz. Penrose has proposed a cosmological model in which dark matter particles have the Planck mass and decay into two gravitons. For these, the spectrum has an additional 'direct' contribution from the decay products, which we also calculate. At low frequencies, this direct contribution also has a flat spectrum but with a much smaller amplitude than the memory part.


title: KAM theorem for reversible mapping of low smoothness with application

abstract: Assume the mapping $$A:\left\{ \begin{array}{ll} x_{1}=x+\omega+y+f(x,y), y_{1}=y+g(x,y), \end{array} \right. (x, y)\in \mathbb{T}^{d}\times B(r_{0}) $$ is reversible with respect to $G: (x, y)\mapsto (-x, y),$ and $| f | _{C^{\ell}(\mathbb{T}^{d}\times B(r_{0}))}\leq \varepsilon_{0}, | g |_{C^{\ell+d}(\mathbb{T}^{d}\times B(r_{0}))}\leq \varepsilon_{0},$ where $B(r_{0}):=\{|y|\le r_0:\; y\in\mathbb R^d\},$ $\ell=2d+1+\mu$ with $0<\mu\ll 1.$ Then when $\varepsilon_{0}=\varepsilon_{0}(d)>0$ is small enough and $\omega$ is Diophantine, the map $A$ possesses an invariantS torus with rotational frequency $\omega.$ As an application of the obtained theorem, the Lagrange stability is proved for a class of reversible Duffing equation with finite smooth perturbation.


title: A Deep Learning-based Framework for the Detection of Schools of Herring in Echograms

abstract: Tracking the abundance of underwater species is crucial for understanding the effects of climate change on marine ecosystems. Biologists typically monitor underwater sites with echosounders and visualize data as 2D images (echograms); they interpret these data manually or semi-automatically, which is time-consuming and prone to inconsistencies. This paper proposes a deep learning framework for the automatic detection of schools of herring from echograms. Experiments demonstrated that our approach outperforms a traditional machine learning algorithm using hand-crafted features. Our framework could easily be expanded to detect more species of interest to sustainable fisheries.


title: A language processing algorithm for predicting tactical solutions to an operational planning problem under uncertainty

abstract: This paper is devoted to the prediction of solutions to a stochastic discrete optimization problem. Through an application, we illustrate how we can use a state-of-the-art neural machine translation (NMT) algorithm to predict the solutions by defining appropriate vocabularies, syntaxes and constraints. We attend to applications where the predictions need to be computed in very short computing time -- in the order of milliseconds or less. The results show that with minimal adaptations to the model architecture and hyperparameter tuning, the NMT algorithm can produce accurate solutions within the computing time budget. While these predictions are slightly less accurate than approximate stochastic programming solutions (sample average approximation), they can be computed faster and with less variability.