title: On Bloch's Theorem for Heat Maps

abstract: In this paper we give a proof via the contraction mapping principle of a Bloch-type theorem for normalised Bochner-Takahashi $K$-mappings, which are solutions to equations of the form $Lu=0$, where $L$ is the heat operator.


title: Deep convolutional neural network application on rooftop detection for aerial image

abstract: As one of the most destructive disasters in the world, earthquake causes death, injuries, destruction and enormous damage to the affected area. It is significant to detect buildings after an earthquake in response to reconstruction and damage evaluation. In this research, we proposed an automatic rooftop detection method based on the convolutional neural network (CNN) to extract buildings in the city of Christchurch and tuned hyperparameters to detect small detached houses from the aerial image. The experiment result shows that our approach can effectively and accurately detect and segment buildings and has competitive performance.


title: Optically induced flat bands in twisted bilayer graphene

abstract: Twisted Bilayer Graphene at the magic twist angle features flat energy bands, which lead to superconductivity and strong correlation physics. These unique properties are typically limited to a narrow range of twist angles around the magic angle with a small allowed tolerance. Here we report on a mechanism that enables flattening of the band-structure using coherent optical illumination, leading to emergence of flat isolated Floquet-Bloch bands. We show that the effect can be realized with relatively weak optical beams at the visible-infrared range (below the material bandwidth) and persist for a wide range of small twist angles, increasing the allowed twist tolerance by an order of magnitude. We discuss the conditions under which these bands exhibit a non-zero Chern number. These optically induced flat bands could potentially host strongly-correlated, non-equilibrium electronic states of matter.


title: A Generalization of Principal Component Analysis

abstract: Conventional principal component analysis (PCA) finds a principal vector that maximizes the sum of second powers of principal components. We consider a generalized PCA that aims at maximizing the sum of an arbitrary convex function of principal components. We present a gradient ascent algorithm to solve the problem. For the kernel version of generalized PCA, we show that the solutions can be obtained as fixed points of a simple single-layer recurrent neural network. We also evaluate our algorithms on different datasets.


title: MnO2-gated Nanoplatforms with Targeted Controlled Drug Release and Contrast-Enhanced MRI Properties: from 2D Cell Culture to 3D Biomimetic Hydrogels

abstract: Multifunctional nanomaterials combining diagnosis and therapeutic properties have attracted a considerable attention in cancer research. Yet some important challenges are still to be faced, including an optimal coupling between these two types of properties that would be effective within complex biological tissues. To address these points, we have prepared novel nanoplatforms associating controlled drug delivery of doxorubicin and Magnetic Resonance Imaging (MRI) contrast-enhancement that exhibit high specificity towards cancer cells compared to normal cells and evaluated them both in 2D cultures and within 3D tissue-like biomimetic matrices. Methods: Nanoplatforms were prepared from hollow silica nanoparticles coated with MnO2 nanosheets and conjugated with the AS1411 aptamer as a targeting agent. They were fully characterized from a chemical and structural point of view as well as for drug release and MRI signal enhancement. Standard two-dimensional monolayer cultures were performed using HeLa and Normal Human Dermal Fibroblasts (NHDF) cells to testify targeting and cytotoxicity. Cellularized type I collagen-based hydrogels were also used to study nanoparticles behavior in 3D biomimetic environments. Results: The as-established nanoplatforms can enter HeLa cells, leading to the dissociation of the MnO2 nanosheets into Mn 2+ that enhanced T1 magnetic resonance signals and concomitantly release doxorubicin, both effects being markedly more significant than in the presence of NHDFs. Moreover, particles functionality and specificity were preserved when the cells were immobilized within type I collagen-based fibrillar hydrogels. Conclusion: The use of MnO2 nanosheets as glutathione-sensitive coatings of drug loaded nanoparticles together with surface conjugation with a targeting aptamer offers an effective strategy to obtain efficient and specific nanotheranostic systems for cancer research, both in 2D and 3D. The here-described tissue-like models should be easy to implement and could constitute an interesting intermediate validation step for newly-developed theranostic nanoparticles before in vivo evaluation.


title: A new constraint programming model and a linear programming-based adaptive large neighborhood search for the vehicle routing problem with synchronization constraints

abstract: We consider a vehicle routing problem which seeks to minimize cost subject to time window and synchronization constraints. In this problem, the fleet of vehicles is categorized into regular and special vehicles. Some customers require both vehicles' services, whose starting service times at the customer are synchronized. Despite its important real-world application, this problem has rarely been studied in the literature. To solve the problem, we propose a Constraint Programming (CP) model and an Adaptive Large Neighborhood Search (ALNS) in which the design of insertion operators is based on solving linear programming (LP) models to check the insertion feasibility. A number of acceleration techniques is also proposed to significantly reduce the computational time. The computational experiments show that our new CP model finds better solutions than an existing CP-based ANLS, when used on small instances with 25 customers and with a much shorter running time. Our LP-based ALNS dominates the cp-ALNS, in terms of solution quality, when it provides solutions with better objective values, on average, for all instance classes. This demonstrates the advantage of using linear programming instead of constraint programming when dealing with a variant of vehicle routing problems with relatively tight constraints, which is often considered to be more favorable for CP-based methods.


title: Translation preserving operators on locally compact abelian groups

abstract: We study translation preserving operators, that is operators commuting with translations by a closed subgroup of a locally compact abelian group. We show that there is a one to one correspondence between these operators and range operators. Furthermore, we obtain a necessary condition for a translation preserving operator to be Hilbert Schmidt or of finite trace in terms of its range operator.


title: Efficient supersonic flows through high-order guided equilibrium with lattice Boltzmann

abstract: A double-distribution-function based lattice Boltzmann method (DDF-LBM) is proposed for the simulation of polyatomic gases in the supersonic regime. The model relies on an extended equilibrium state that is constructed to reproduce the first 13 moments of the Maxwell-Boltzmann distribution exactly. This extends the validity of the standard 5-constraint (mass, momentum and energy) approach and leads to the correct simulation of thermal, compressible flows with only 39 discrete velocities in 3D. The stability of this BGK-LBM is reinforced by relying on Knudsen-number-dependent relaxation times that are computed analytically. Hence, high-Reynolds number, supersonic flows can be simulated in an efficient and elegant manner. While the 1D Riemann problem shows the ability of the proposed approach to handle discontinuities in the zero-viscosity limit, the simulation of the flow past a NACA0012 airfoil (Mach number $\mathrm{Ma}=1.5$, Reynolds number $\mathrm{Re=10^4}$) confirms the excellent behavior of this model in a low-viscosity and supersonic regime. The proposed model is substantially more efficient than the previous 5-moment D3Q343 DDF-LBM and opens up a whole new world of compressible flow applications that can be realistically tackled with a purely LB approach.


title: Adaptive Sampling Quasi-Newton Methods for Derivative-Free Stochastic Optimization

abstract: We consider stochastic zero-order optimization problems, which arise in settings from simulation optimization to reinforcement learning. We propose an adaptive sampling quasi-Newton method where we estimate the gradients of a stochastic function using finite differences within a common random number framework. We employ modified versions of a norm test and an inner product quasi-Newton test to control the sample sizes used in the stochastic approximations. We provide preliminary numerical experiments to illustrate potential performance benefits of the proposed method.


title: Transience of conditioned walks on the plane: encounters and speed of escape

abstract: We consider the two-dimensional simple random walk conditioned on never hitting the origin, which is,formally speaking, the Doob's $h$-transform of the simple random walk with respect to the potential kernel. We then study the behavior of the future minimum distance of the walk to the origin, and also prove that two independent copies of the conditioned walk, although both transient, will nevertheless meet infinitely many times a.s.


title: Computer Assisted Access to Justice via Formal Jurisprudence Modeling

abstract: This paper discusses an internet-based system for enabling people to self-assess their legal rights in a given situation, and a development methodology for such systems. The assessment process is based on a formal model of the relevant jurisprudence, exposed to the user through an interview. The model consists of a multi-dimensional space whose dimensions represent orthogonal jurisprudence aspects, and a decision graph that guides the user through that space. Self-assessment systems can revolutionize the way legal aid organizations help their clients, as they allow these organizations to deliver personalized help at internet scales. The proposed approach is validated through an implementation of a model for workers' rights when their employment ends. This model, describing Israeli law and developed in cooperation with a worker rights NGO, was ratified by external experts as accurate enough to be useful in real cases.


title: The origin of the KLT relations and nonlinear relations for Yang-Mills amplitudes

abstract: By means of a kinematic analysis of tree level graviton amplitudes we find, at least through six points, that the reason of their decompositon as a sum over products of Yang-Mills amplitudes is on-shell gauge invariance and unitarity. As a by-product of our analysis we find nonlinear relations obeyed by Yang-Mills amplitudes. All our results are valid for arbitrary spacetime dimensions.


title: Digital Twin approach to Clinical DSS with Explainable AI

abstract: We propose a digital twin approach to improve healthcare decision support systems with a combination of domain knowledge and data. Domain knowledge helps build decision thresholds that doctors can use to determine a risk or recommend a treatment or test based on the specific patient condition. However, these assessments tend to be highly subjective and differ from doctor to doctor and from patient to patient. We propose a system where we collate this subjective risk by compiling data from different doctors treating different patients and build a machine learning model that learns from this knowledge. Then using state-of-the-art explainability concepts we derive explanations from this model. These explanations give us a summary of different doctor domain knowledge applied in different cases to give a more generic perspective. Also these explanations are specific to a particular patient and are customized for their condition. This is a form of a digital twin for the patient that can now be used to enhance decision boundaries for earlier defined decision tables that help in diagnosis. We will show an example of running this analysis for a liver disease risk diagnosis.


title: Dying Experts: Efficient Algorithms with Optimal Regret Bounds

abstract: We study a variant of decision-theoretic online learning in which the set of experts that are available to Learner can shrink over time. This is a restricted version of the well-studied sleeping experts problem, itself a generalization of the fundamental game of prediction with expert advice. Similar to many works in this direction, our benchmark is the ranking regret. Various results suggest that achieving optimal regret in the fully adversarial sleeping experts problem is computationally hard. This motivates our relaxation where any expert that goes to sleep will never again wake up. We call this setting "dying experts" and study it in two different cases: the case where the learner knows the order in which the experts will die and the case where the learner does not. In both cases, we provide matching upper and lower bounds on the ranking regret in the fully adversarial setting. Furthermore, we present new, computationally efficient algorithms that obtain our optimal upper bounds.


title: Truncation of Einstein equations through Gravitational Foliation

abstract: In previous works, we suggested considering a (3+1)D quantum gravitational field as an evolution of a (2+1)D renormalized quantum gravitational field along the direction of the gravitational force. The starting point of the suggestion is a derivation of a unique hypersurface which looks effectively like (2+1)D from the point of view of Einstein equations in (3+1)D. In this paper, we derive such unique hypersurfaces for different kinds of stationary spherical metrics. We find that these hypersurfaces exist whenever all the components of the gravitational force field vanish on the hypersurface. We discuss the implication of this result and the necessary further work.


title: A Hierarchical Mixture Density Network

abstract: The relationship among three correlated variables could be very sophisticated, as a result, we may not be able to find their hidden causality and model their relationship explicitly. However, we still can make our best guess for possible mappings among these variables, based on the observed relationship. One of the complicated relationships among three correlated variables could be a two-layer hierarchical many-to-many mapping. In this paper, we proposed a Hierarchical Mixture Density Network (HMDN) to model the two-layer hierarchical many-to-many mapping. We apply HMDN on an indoor positioning problem and show its benefit.


title: Deep Integro-Difference Equation Models for Spatio-Temporal Forecasting

abstract: Integro-difference equation (IDE) models describe the conditional dependence between the spatial process at a future time point and the process at the present time point through an integral operator. Nonlinearity or temporal dependence in the dynamics is often captured by allowing the operator parameters to vary temporally, or by re-fitting a model with a temporally-invariant linear operator in a sliding window. Both procedures tend to be excellent for prediction purposes over small time horizons, but are generally time-consuming and, crucially, do not provide a global prior model for the temporally-varying dynamics that is realistic. Here, we tackle these two issues by using a deep convolution neural network (CNN) in a hierarchical statistical IDE framework, where the CNN is designed to extract process dynamics from the process' most recent behaviour. Once the CNN is fitted, probabilistic forecasting can be done extremely quickly online using an ensemble Kalman filter with no requirement for repeated parameter estimation. We conduct an experiment where we train the model using 13 years of daily sea-surface temperature data in the North Atlantic Ocean. Forecasts are seen to be accurate and calibrated. A key advantage of our approach is that the CNN provides a global prior model for the dynamics that is realistic, interpretable, and computationally efficient. We show the versatility of the approach by successfully producing 10-minute nowcasts of weather radar reflectivities in Sydney using the same model that was trained on daily sea-surface temperature data in the North Atlantic Ocean.


title: Stochastic Galerkin Methods for the Boltzmann-Poisson system

abstract: We study uncertainty quantification for a Boltzmann-Poisson system that models electron transport in semiconductors and the physical collision mechanisms over the charges. We use the stochastic Galerkin method in order to handle the randomness associated with the problem. The main uncertainty in the Boltzmann equation concerns the initial conditions for a large number of particles, which is why the problem is formulated in terms of a probability density in phase space. The second source of uncertainty, directly related to the quantum nature of the problem, is the collision operator, as its structure in this semiclassical model comes from the quantum scattering matrices operating on the wave function associated to the electron probability density. Additional sources of uncertainty are transport, boundary data, etc. In this study we choose first the phonon energy as a random variable, since its value influences the energy jump appearing in the collision integral for electron-phonon scattering. Then we choose the lattice temperature as a random variable, since it defines the value of the collision operator terms in the case of electron-phonon scattering by being a parameter of the phonon distribution. The random variable for this case is a scalar then. Finally, we present our numerical simulations.


title: Learning a Safety Verifiable Adaptive Cruise Controller from Human Driving Data

abstract: Imitation learning provides a way to automatically construct a controller by mimicking human behavior from data. For safety-critical systems such as autonomous vehicles, it can be problematic to use controllers learned from data because they cannot be guaranteed to be collision-free. Recently, a method has been proposed for learning a multi-mode hybrid automaton cruise controller (MOHA). Besides being accurate, the logical nature of this model makes it suitable for formal verification. In this paper, we demonstrate this capability using the SpaceEx hybrid model checker as follows. After learning, we translate the automaton model into constraints and equations required by SpaceEx. We then verify that a pure MOHA controller is not collision-free. By adding a safety state based on headway in time, a rule that human drivers should follow anyway, we do obtain a provably safe cruise control. Moreover, the safe controller remains more human-like than existing cruise controllers.


title: Balancing Multi-level Interactions for Session-based Recommendation

abstract: Predicting user actions based on anonymous sessions is a challenge to general recommendation systems because the lack of user profiles heavily limits data-driven models. Recently, session-based recommendation methods have achieved remarkable results in dealing with this task. However, the upper bound of performance can still be boosted through the innovative exploration of limited data. In this paper, we propose a novel method, namely Intra-and Inter-session Interaction-aware Graph-enhanced Network, to take inter-session item-level interactions into account. Different from existing intra-session item-level interactions and session-level collaborative information, our introduced data represents complex item-level interactions between different sessions. For mining the new data without breaking the equilibrium of the model between different interactions, we construct an intra-session graph and an inter-session graph for the current session. The former focuses on item-level interactions within a single session and the latter models those between items among neighborhood sessions. Then different approaches are employed to encode the information of two graphs according to different structures, and the generated latent vectors are combined to balance the model across different scopes. Experiments on real-world datasets verify that our method outperforms other state-of-the-art methods.


title: On the classification of $3$-dimensional complex hom-Lie algebras

abstract: We classify hom-Lie structures with nilpotent twisting map on $3$-dimensional complex Lie algebras, up to isomorphism, and classify all degenerations in such family. The ideas and techniques presented here can be easily extrapolated to study similar problems in other algebraic structures and provide different perspectives from where one can tackle classical open problems of interest in rigid Lie algebras.


title: On numerical errors to the fields surrounding a relativistically moving particle in PIC codes

abstract: The particle-in-cell (PIC) method is widely used to model the self-consistent interaction between discrete particles and electromagnetic fields. It has been successfully applied to problems across plasma physics including plasma based acceleration, inertial confinement fusion, magnetically confined fusion, space physics, astrophysics, high energy density plasmas. In many cases the physics involves how relativistic particles are generated and interact with plasmas. However, when relativistic particles stream across the grid both in vacuum and in plasma there are many numerical issues that may arise which can lead to incorrect physics. We present a detailed analysis of how discretized Maxwell solvers used in PIC codes can lead to numerical errors to the fields that surround particles that move at relativistic speeds across the grid. Expressions for the axial electric field as integrals in k space are presented. Two types of errors to these expressions are identified. The first arises from errors to the numerator of the integrand and leads to unphysical fields that are antisymmetric about the particle. The second arises from errors to the denominator of the integrand and lead to Cerenkov like radiation in "vacuum". These fields are not anti-symmetric, extend behind the particle, and cause the particle to accelerate or decelerate depending on the solver and parameters. The unphysical fields are studied in detail for two representative solvers - the Yee solver and the FFT based solver. A solution for eliminating these unphysical fields by modifying the k operator in the axial direction is also presented. Using a customized finite difference solver, this solution was successfully implemented into OSIRIS. Results from the customized solver are also presented. This solution will be useful for a beam of particles that all move in one direction with a small angular divergence.


title: Quantum Weighted Model Counting

abstract: In Weighted Model Counting (WMC) we assign weights to Boolean literals and we want to compute the sum of the weights of the models of a Boolean function where the weight of a model is the product of the weights of its literals. WMC was shown to be particularly effective for performing inference in graphical models, with a complexity of $O(n2^w)$ where $n$ is the number of variables and $w$ is the treewidth. In this paper, we propose a quantum algorithm for performing WMC, Quantum WMC (QWMC), that modifies the quantum model counting algorithm to take into account the weights. In turn, the model counting algorithm uses the algorithms of quantum search, phase estimation and Fourier transform. In the black box model of computation, where we can only query an oracle for evaluating the Boolean function given an assignment, QWMC solves the problem approximately with a complexity of $\Theta(2^{\frac{n}{2}})$ oracle calls while classically the best complexity is $\Theta(2^n)$, thus achieving a quadratic speedup.


title: Data-driven Discovery of Partial Differential Equations for Multiple-Physics Electromagnetic Problem

abstract: Deriving governing equations in Electromagnetic (EM) environment based on first principles can be quite tough when there are some unknown sources of noise and other uncertainties in the system. For nonlinear multiple-physics electromagnetic systems, deep learning to solve these problems can achieve high efficiency and accuracy. In this paper, we propose a deep learning neutral network in combination with sparse regression to solve the hidden governing equations in multiple-physics EM problem. Pareto analysis is also adopted to preserve inversion as precise and simple as possible. This proposed network architecture can discover a set of governing partial differential equations (PDEs) based on few temporalspatial samples. The data-driven discovery method for partial differential equations (PDEs) in electromagnetic field may also contribute to solve more sophisticated problem which may not be solved by first principles.


title: U-net architectures for fast prediction of incompressible laminar flows

abstract: Machine learning is a popular tool that is being applied to many domains, from computer vision to natural language processing. It is not long ago that its use was extended to physics, but its capabilities remain to be accurately contoured. In this paper, we are interested in the prediction of 2D velocity and pressure fields around arbitrary shapes in laminar flows using supervised neural networks. To this end, a dataset composed of random shapes is built using Bezier curves, each shape being labeled with its pressure and velocity fields by solving Navier-Stokes equations using a CFD solver. Then, several U-net architectures are trained on the latter dataset, and their predictive efficiency is assessed on unseen shapes, using ad hoc error functions.


title: Achieving Optimal Backlog in the Vanilla Multi-Processor Cup Game

abstract: In each step of the $p$-processor cup game on $n$ cups, a filler distributes up to $p$ units of water among the cups, subject only to the constraint that no cup receives more than $1$ unit of water; an emptier then removes up to $1$ unit of water from each of $p$ cups. Designing strategies for the emptier that minimize backlog (i.e., the height of the fullest cup) is important for applications in processor scheduling, buffer management in networks, quality of service guarantees, and deamortization. We prove that the greedy algorithm (i.e., the empty-from-fullest-cups algorithm) achieves backlog $O(\log n)$ for any $p \ge 1$. This resolves a long-standing open problem for $p > 1$, and is asymptotically optimal as long as $n \ge 2p$. If the filler is an oblivious adversary, then we prove that there is a randomized emptying algorithm that achieve backlog $O(\log p + \log \log n)$ with probability $1 - 2^{-\operatorname{polylog}(n)}$ for $2^{\operatorname{polylog}(n)}$ steps. This is known to be asymptotically optimal when $n$ is sufficiently large relative to $p$. The analysis of the randomized algorithm can also be reinterpreted as a smoothed analysis of the deterministic greedy algorithm. Previously, the only known bound on backlog for $p > 1$, and the only known randomized guarantees for any $p$ (including when $p = 1$), required the use of resource augmentation, meaning that the filler can only distribute at most $p(1 - \epsilon)$ units of water in each step, and that the emptier is then permitted to remove $1 + \delta$ units of water from each of $p$ cups, for some $\epsilon, \delta > 0$.


title: Microscopic Derivation of Mean Field Game Models

abstract: Mean field game theory studies the behavior of a large number of interacting individuals in a game theoretic setting and has received a lot of attention in the past decade (Lasry and Lions, Japanese journal of mathematics, 2007). In this work, we derive mean field game partial differential equation systems from deterministic microscopic agent dynamics. The dynamics are given by a particular class of ordinary differential equations, for which an optimal strategy can be computed (Bressan, Milan Journal of Mathematics, 2011). We use the concept of Nash equilibria and apply the dynamic programming principle to derive the mean field limit equations and we study the scaling behavior of the system as the number of agents tends to infinity and find several mean field game limits. Especially we avoid in our derivation the notion of measure derivatives. Novel scales are motivated by an example of an agent-based financial market model.


title: A Map Between Moduli Spaces of Connections

abstract: We are interested in studying moduli spaces of rank 2 logarithmic connections on elliptic curves having two poles. To do so, we investigate certain logarithmic rank 2 connections defined on the Riemann sphere and a transformation rule to lift such connections to an elliptic curve. The transformation is as follows: given an elliptic curve $C$ with elliptic quotient $\pi\colon C\to{\mathbb P}^1$, and the logarithmic connection $(E,\nabla)$ on ${\mathbb P}^1$, we may pullback the connection to the elliptic curve to obtain a new connection $(\pi^*E, \pi^*\nabla)$ on $C$. After suitable birational modifications we bring the connection to a particular normal form. The whole transformation is equivariant with respect to bundle automorphisms and therefore defines a map between the corresponding moduli spaces of connections. The aim of this paper is to describe the moduli spaces involved and compute explicit expressions for the above map in the case where the target space is the moduli space of rank 2 logarithmic connections on an elliptic curve $C$ with two simple poles and trivial determinant.


title: Cantor Spectrum for CMV and Jacobi Matrices with Coefficients arising from Generalized Skew-Shifts

abstract: We consider continuous cocycles arising from CMV and Jacobi matrices. Assuming the Verblunsky and Jacobi coefficients arise from generalized skew-shifts, we prove that uniform hyperbolicity of the associated cocycles is $C^0$-dense. This implies that the associated CMV and Jacobi matrices have Cantor spectrum for a generic continuous sampling map.


title: Learning-Assisted Secure End-to-End Network Slicing for Cyber-Physical Systems

abstract: There is a pressing need to interconnect physical systems such as power grid and vehicles for efficient management and safe operations. Owing to the diverse features of physical systems, there is hardly a one-size-fits-all networking solution for developing cyber-physical systems. Network slicing is a promising technology that allows network operators to create multiple virtual networks on top of a shared network infrastructure. These virtual networks can be tailored to meet the requirements of different cyber-physical systems. However, it is challenging to design secure network slicing solutions that can efficiently create end-to-end network slices for diverse cyber-physical systems. In this article, we discuss the challenges and security issues of network slicing, study learning-assisted network slicing solutions, and analyze their performance under the denial-of-service attack. We also present a design and implementation of a small-scale testbed for evaluating the network slicing solutions.


title: Machine-Learning Beam Tracking and Weight Optimization for mmWave Multi-UAV Links

abstract: Millimeter-wave (mmWave) hybrid analog-digital beamforming is a promising approach to satisfy the low-latency constraint in multiple unmanned aerial vehicles (UAVs) systems, which serve as network infrastructure for flexible deployment. However, in highly dynamic multi-UAV environments, analog beam tracking becomes a critical challenge. The overhead of additional pilot transmission at the price of spectral efficiency is shown necessary to achieve high resilience in operation. An efficient method to deal with high dynamics of UAVs applies machine learning, particularly Q-learning, to analog beam tracking. The proposed Q-learning-based beam tracking scheme uses current/past observations to design rewards from environments to facilitate prediction, which significantly increases the efficiency of data transmission and beam switching. Given the selected analog beams, the goal of digital beamforming is to maximize the SINR. The received pilot signals are utilized to approximate the desired signal and interference power, which yield the SINR measurements as well as the optimal digital weights. Since the selected analog beams based on the received power do not guarantee the hybrid beamforming achieving the maximization SINR, we therefore reserve additional analog beams as candidates during the beam tracking. The combination of analog beams with their digital weights achieving the maximum SINR consequently provides the optimal solution to the hybrid beamforming.


title: A Structured Table of Graphs with Symmetries and Other Special Properties

abstract: We organize a table of regular graphs with minimal diameters and minimal mean path lengths, large bisection widths and high degrees of symmetries, obtained by enumerations on supercomputers. These optimal graphs, many of which are newly discovered, may find wide applications, for example, in design of network topologies.


title: Small-GAN: Speeding Up GAN Training Using Core-sets

abstract: Recent work by Brock et al. (2018) suggests that Generative Adversarial Networks (GANs) benefit disproportionately from large mini-batch sizes. Unfortunately, using large batches is slow and expensive on conventional hardware. Thus, it would be nice if we could generate batches that were effectively large though actually small. In this work, we propose a method to do this, inspired by the use of Coreset-selection in active learning. When training a GAN, we draw a large batch of samples from the prior and then compress that batch using Coreset-selection. To create effectively large batches of 'real' images, we create a cached dataset of Inception activations of each training image, randomly project them down to a smaller dimension, and then use Coreset-selection on those projected activations at training time. We conduct experiments showing that this technique substantially reduces training time and memory usage for modern GAN variants, that it reduces the fraction of dropped modes in a synthetic dataset, and that it allows GANs to reach a new state of the art in anomaly detection.


title: Local rigidity of certain solvable group actions on tori

abstract: In this paper, we study a local rigidity property of $\mathbb Z \ltimes_\lambda \mathbb R$ affine action on tori generated by an irreducible toral automorphism and a linear flow along an eigenspace. Such an action exhibits a weak version of local rigidity, i.e., any smooth perturbations close enough to an affine action is smoothly conjugate to the affine action up to proportional time change.


title: A Lagrangian Interior Regularity Result for the Incompressible Free Boundary Euler Equation with Surface Tension

abstract: We consider the three-dimensional incompressible free-boundary Euler equations in a bounded domain and with surface tension. Using Lagrangian coordinates, we establish a priori estimates for solutions with minimal regularity assumptions on the initial data.


title: An Adaptive Step Toward the Multiphase Conjecture

abstract: In 2010, P\v{a}tra\c{s}cu proposed the following three-phase dynamic problem, as a candidate for proving polynomial lower bounds on the operational time of dynamic data structures: I: Preprocess a collection of sets $\vec{S} = S_1, \ldots , S_k \subseteq [n]$, where $k=\operatorname{poly}(n)$. II: A set $T\subseteq [n]$ is revealed, and the data structure updates its memory. III: An index $i \in [k]$ is revealed, and the data structure must determine if $S_i\cap T=^? \emptyset$. P\v{a}tra\c{s}cu conjectured that any data structure for the Multiphase problem must make $n^\epsilon$ cell-probes in either Phase II or III, and showed that this would imply similar unconditional lower bounds on many important dynamic data structure problems. Alas, there has been almost no progress on this conjecture in the past decade since its introduction. We show an $\tilde{\Omega}(\sqrt{n})$ cell-probe lower bound on the Multiphase problem for data structures with general (adaptive) updates, and queries with unbounded but "layered" adaptivity. This result captures all known set-intersection data structures and significantly strengthens previous Multiphase lower bounds, which only captured non-adaptive data structures. Our main technical result is a communication lower bound on a 4-party variant of P\v{a}tra\c{s}cu's Number-On-Forehead Multiphase game, using information complexity techniques. We also show that a lower bound on P\v{a}tra\c{s}cu's original NOF game would imply a polynomial ($n^{1+\epsilon}$) lower bound on the number of wires of any constant-depth circuit with arbitrary gates computing a random $\tilde{O}(n)\times n$ linear operator $x \mapsto Ax$, a long-standing open problem in circuit complexity. This suggests that the NOF conjecture is much stronger than its data structure counterpart.


title: Existence of standing pulse solutions to a skew-gradient system

abstract: Reaction-diffusion systems have been primary tools for studying pattern formation. A skew-gradient system is well known to encompass a class of activator-inhibitor type reaction-diffusion systems that exhibit localized patterns such as fronts and pulses. While there is a substantial literature for the case of a linear inhibitor equation, the study of nonlinear inhibitor effect is still limited. To fill this research gap, we investigate standing pulse solutions to a skew-gradient system in which both activator and inhibitor reaction terms inherit nonlinear structures. Using a variational approach that involves several nonlocal terms, we establish the existence of standing pulse solutions with a sign change. In addition, we explore some qualitative properties of the standing pulse solutions.


title: A Bruhat Atlas on the Wonderful Compactification of PSO(2n)/SO(2n-1)

abstract: A stratified manifold has a Bruhat atlas on it if it can be covered with open charts such that each chart is stratified-isomorphic to an (opposite) Bruhat cell in a (usually Kac-Moody) flag manifold. In this paper, we construct an anticanonical stratification on the wonderful compactification of the symmetric space $PSO(2n)/SO(2n-1)$ and show that the open charts are isomorphic to certain (opposite) Bruhat cells in the type $D_{n+1}$ flag manifold.


title: A Ramsey variant of the Brown-Erd\H{o}s-S\'os conjecture

abstract: An $r$-uniform hypergraph ($r$-graph for short) is called linear if every pair of vertices belong to at most one edge. A linear $r$-graph is complete if every pair of vertices are in exactly one edge. The famous Brown-Erd\H{o}s-S\'os conjecture states that for every fixed $k$ and $r$, every linear $r$-graph with $\Omega(n^2)$ edges contains $k$ edges spanned by at most $(r-2)k+3$ vertices. As an intermediate step towards this conjecture, Conlon and Nenadov recently suggested to prove its natural Ramsey relaxation. Namely, that for every fixed $k$, $r$ and $c$, in every $c$-colouring of a complete linear $r$-graph, one can find $k$ monochromatic edges spanned by at most $(r-2)k+3$ vertices. We prove that this Ramsey version of the conjecture holds under the additional assumption that $r \geq r_0(c)$, and we show that for $c=2$ it holds for all $r\geq 4$.


title: Persuasion with Coarse Communication

abstract: In many real-world scenarios, experts must convey complex information with limited message capacity. This paper explores how the availability of messages influences an expert's persuasive ability. We develop a geometric representation of the expert's payoff with limited message capacity and identify bounds on the value of an additional signal for the sender. In a special class of games, the marginal value of a signal increases as the receiver becomes more difficult to persuade. Moreover, we show that access to an additional signal does not necessarily translate into more information transmitted in equilibrium, and the receiver might prefer coarser communication. This suggests that regulations on communication capacity have the potential to shift the balance of power from the expert to the decision-maker, ultimately improving welfare. Finally, we study the geometric properties of optimal information structures and show that the complexity of the sender's problem can be simplified to a finite algorithm.


title: Improved Cosmological Constraints from SDSS redMaPPer Clusters via X-ray Follow-up of a Complete Subsample of Systems

abstract: We improve upon the cosmological constraints derived from the abundance and weak-lensing data of redMaPPer clusters detected in the Sloan Digital Sky Survey (SDSS). Specifically, we derive gas mass data using Chandra X-ray follow-up of a complete sample of the 30 richest SDSS redMaPPer clusters with $z\in[0.1,0.3]$, and use these additional data to improve upon the original analysis by Costanzi et al. (2019b). We simultaneously fit for the parameters of the richness-mass relation, the cluster gas mass-mass relation, and cosmology. By including our X-ray cluster sample in the SDSS cluster cosmology analysis, we measure $\Omega_{\rm m} = 0.25 \pm 0.04$ and $\sigma_8 = 0.85^{+0.06}_{-0.08}$. These constraints represent a 25.5% and 29.8% reduction in the size of the 68% confidence intervals of $\Omega_{\rm m}$ and $\sigma_8$ respectively, relative to the constraints published in Costanzi et al. (2019b). Our cosmological constraints are in agreement with early universe results from Planck. As a byproduct of our analysis, we also perform an independent calibration of the amplitude of the $\langle M_{\rm gas}^{\rm true}|M_{\rm 500c}\rangle$ scaling relation. Our calibration is consistent with and of comparable precision to that of Mantz et al. (2016b).


title: Identifiability of Linear Compartmental Models: The Effect of Moving Inputs, Outputs, and Leaks

abstract: A mathematical model is identifiable if its parameters can be recovered from data. Here we investigate, for linear compartmental models, whether (local, generic) identifiability is preserved when parts of the model -- specifically, inputs, outputs, leaks, and edges -- are moved, added, or deleted. Our results are as follows. First, for certain catenary, cycle, and mammillary models, moving or deleting the leak preserves identifiability. Next, for cycle models with up to one leak, moving inputs or outputs preserves identifiability. Thus, every cycle model with up to one leak (and at least one input and at least one output) is identifiable. Next, we give conditions under which adding leaks renders a cycle model unidentifiable. Finally, for certain cycle models with no leaks, adding specific edges again preserves identifiability. Our proofs, which are algebraic and combinatorial in nature, rely on results on elementary symmetric polynomials and the theory of input-output equations for linear compartmental models.


title: Measurement of $^{34}$S($^{3}$He,p)$^{36}$Cl cross sections for early solar system nuclide enrichment

abstract: Isotopic studies of meteorites have provided ample evidence for the presence of short-lived radionuclides (SLRs) with half-lives of less than 100 Myr at the time of the formation of the solar system. The origins of all known SLRs is heavily debated and remains uncertain, but the plausible scenarios can be broadly separated into either local production or outside injection of stellar nucleosynthesis products. The SLR production models are limited in part by reliance on nuclear theory for modeling reactions that lack experimental measurements. Reducing uncertainty on critical reaction cross sections can both enable more precise predictions and provide constraints on physical processes and environments in the early solar system. This goal led to the start of a campaign for measuring production cross sections for the SLR $^{36}$Cl, where Bowers et al. found higher cross sections for the ${}^{33}$S($\alpha$,p)$^{36}$Cl reaction than were predicted by Hauser-Feshbach based nuclear reaction codes TALYS and NON-SMOKER. This prompted re-measurement of the reaction at five new energies within the energy range originally studied, resulting in data slightly above but in agreement with TALYS. Following this, efforts began to measure cross sections for the next most significant reaction for $^{36}$Cl production, $^{34}$S($^{3}$He,p)$^{36}$Cl. Activations were performed to produce 9 samples between 1.11 MeV/nucleon and 2.36 MeV/nucleon. These samples were subsequently measured with accelerator mass spectrometry at two labs. The resulting data suggest a sharper-than-expected rise in cross sections with energy, with peak cross sections up to 30\% higher than predictions from TALYS.


title: Deep Learning for Optoelectronic Properties of Organic Semiconductors

abstract: Atomistic modeling of energetic disorder in organic semiconductors (OSCs) and its effects on the optoelectronic properties of OSCs requires a large number of excited-state electronic-structure calculations, a computationally daunting task for many OSC applications. In this work, we advocate the use of deep learning to address this challenge and demonstrate that state-of-the-art deep neural networks (DNNs) are capable of predicting the electronic properties of OSCs at an accuracy comparable with the quantum chemistry methods used for generating training data. We extensively investigate the performances of four recent DNNs (deep tensor neural network, SchNet, message passing neural network, and multilevel graph convolutional neural network) in predicting various electronic properties of an important class of OSCs, i.e., oligothiophenes (OTs), including their HOMO and LUMO energies, excited-state energies and associated transition dipole moments. We find that SchNet shows the best performance for OTs of different sizes (from bithiophene to sexithiophene), achieving average prediction errors in the range of 20-80meV compared to the results from (time-dependent) density functional theory. We show that SchNet also consistently outperforms shallow feed-forward neural networks, especially in difficult cases with large molecules or limited training data. We further show that SchNet could predict the transition dipole moment accurately, a task previously known to be difficult for feed-forward neural networks, and we ascribe the relatively large errors in transition dipole prediction seen for some OT configurations to the charge-transfer character of their excited states. Finally, we demonstrate the effectiveness of SchNet by modeling the UV-Vis absorption spectra of OTs in dichloromethane and a good agreement is observed between the calculated and experimental spectra.


title: Complex magnetic properties in the mixed 4f -5d double perovskite iridates Ln2ZnIrO6 (Ln = Nd, Sm, Eu & Gd)

abstract: In this work, we report on the synthesis and magnetic properties of a series of double perovskites Ln$_2$ZnIrO$_6$ with Ln = Nd, Sm, Eu & Gd. These compounds present new examples of the rare case of double perovskites (general formula A$_2$BB'O$_6$) with a magnetic 4f -ion on the A-site in combination with the strongly spin-orbit coupled 5d-transition metal ion Ir$^{4+}$ on the B-sublattice. We discuss the impact of different rare earths on the macroscopic magnetic properties. Gd$_2$ZnIrO$_6$ and Eu$_2$ZnIrO$_6$ show weak canted antiferromagnetic order below T$_N$ = 23 K and T$_N$ = 12 K, respectively. Sm$_2$ZnIrO$_6$ orders antiferromagnetically at T$_N$ = 13 K. Nd$_2$ZnIrO$_6$ exhibits complex magnetic properties with strong field dependence ranging from a two-step behavior at H = 0.01 T to an antiferromagnetic ground state at intermediate external fields and a spin-flop phase at H$\geq$4 T, which suggests complex interplay between Nd$^{3+}$ and Ir$^{4+}$ . To further shed light on this magnetic interaction, the magnetic structure of Nd$_2$ZnIrO$_6$'s ground state is examined via neutron powder diffraction.


title: Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements

abstract: Data-flow reactive systems (DFRSs) are a class of embedded systems whose inputs and outputs are always available as signals. Input signals can be seen as data provided by sensors, whereas the output data are provided to system actuators. In previous works, verifying properties of DFRS models was accomplished in a programmatic way, with no formal guarantees, and test cases were generated by translating theses models into other notations. Here, we use Coq as a single framework to specify and verify DFRS models. Moreover, the specification of DFRSs in Coq is automatically derived from controlled natural-language requirements. Property verification is defined in both logical and functional terms. The latter allows for easier proof construction. Tests are generated with the support of the QuickChick tool. Considering examples from the literature, but also from the aerospace industry (Embraer), our testing strategy was evaluated in terms of performance and the ability to detect defects generated by mutation; within 8 seconds, we achieved an average mutation score of 75.80%.


title: Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

abstract: We present simple new Hoare logics and refinement calculi for hybrid systems in the style of differential dynamic logic. (Refinement) Kleene algebra with tests is used for reasoning about the program structure and generating verification conditions at this level. Lenses capture hybrid program stores in a generic algebraic way. The approach has been formalised with the Isabelle/HOL proof assistant. A number of examples explains the workflow with the resulting verification components.


title: DBCSR: A Blocked Sparse Tensor Algebra Library

abstract: Advanced algorithms for large-scale electronic structure calculations are mostly based on processing multi-dimensional sparse data. Examples are sparse matrix-matrix multiplications in linear-scaling Kohn-Sham calculations or the efficient determination of the exact exchange energy. When going beyond mean field approaches, e.g. for Moller-Plesset perturbation theory, RPA and Coupled-Cluster methods, or the GW methods, it becomes necessary to manipulate higher-order sparse tensors. Very similar problems are also encountered in other domains, like signal processing, data mining, computer vision, and machine learning. With the idea that the most of the tensor operations can be mapped to matrices, we have implemented sparse tensor algebra functionalities in the frames of the sparse matrix linear algebra library DBCSR (Distributed Block Compressed Sparse Row). DBCSR has been specifically designed to efficiently perform blocked-sparse matrix operations, so it becomes natural to extend its functionality to include tensor operations. We describe the newly developed tensor interface and algorithms. In particular, we introduce the tensor contraction based on a fast rectangular sparse matrix multiplication algorithm.


title: Convolutional Conditional Neural Processes

abstract: We introduce the Convolutional Conditional Neural Process (ConvCNP), a new member of the Neural Process family that models translation equivariance in the data. Translation equivariance is an important inductive bias for many learning problems including time series modelling, spatial data, and images. The model embeds data sets into an infinite-dimensional function space as opposed to a finite-dimensional vector space. To formalize this notion, we extend the theory of neural representations of sets to include functional representations, and demonstrate that any translation-equivariant embedding can be represented using a convolutional deep set. We evaluate ConvCNPs in several settings, demonstrating that they achieve state-of-the-art performance compared to existing NPs. We demonstrate that building in translation equivariance enables zero-shot generalization to challenging, out-of-domain tasks.


title: Drinfeld Centre-Crossed Braided Tensor Categories

abstract: We introduce, for a symmetric fusion category $\mathcal{A}$ with Drinfeld centre $\mathcal{Z}(\mathcal{A})$, the notion of $\mathcal{Z}(\mathcal{A})$-crossed braided tensor category. These are categories that are enriched over $\mathcal{Z}(\mathcal{A})$ equipped with a symmetric tensor product, while being braided monoidal with respect to the usual tensor product on $\mathcal{Z}(\mathcal{A})$. In the Tannakian case where $\mathcal{A}=\mathbf{Rep}(G)$ for a finite group $G$, the 2-category of $\mathcal{Z}(\mathcal{A})$-crossed braided categories is shown to be equivalent to the 2-category of $G$-crossed braided tensor categories. A similar result is established for the super-Tannakian case where $\mathcal{A}$ is the representation category of a finite super-group.


title: Generalized $k$-contact structures

abstract: With the goal to study and better understand algebraic Anosov actions of $\mathbb R^k$, we develop a higher codimensional analogue of the contact distribution on odd dimensional manifolds, call such structure a generalized $k$-contact structure. We show that there exist an $\mathbb R^k$-action associated with this structure, afterwards, we relate this structure with the Weyl chamber actions and a few more general algebraic Anosov actions, proving that such actions admits a compatible generalized $k$-contact structure.


title: On Privacy of Dynamical Systems: An Optimal Probabilistic Mapping Approach (Extended Preprint)

abstract: We address the problem of maximizing privacy of stochastic dynamical systems whose state information is released through quantized sensor data. In particular, we consider the setting where information about the system state is obtained using noisy sensor measurements. This data is quantized and transmitted to a remote station through a public/unsecured communication network. We aim at keeping the state of the system private; however, because the network is not secure, adversaries might have access to sensor data, which can be used to estimate the system state. To prevent such adversaries from obtaining an accurate state estimate, before transmission, we randomize quantized sensor data using additive random vectors, and send the corrupted data to the remote station instead. We design the joint probability distribution of these additive vectors (over a time window) to minimize the mutual information (our privacy metric) between some linear function of the system state (a desired private output) and the randomized sensor data for a desired level of distortion--how different quantized sensor measurements and distorted data are allowed to be. We pose the problem of synthesizing the joint probability distribution of the additive vectors as a convex program subject to linear constraints. Simulation experiments are presented to illustrate our privacy scheme.


title: Symmetries of post-Galilean expansions

abstract: In this letter we study an infinite extension of the Galilei symmetry group in any dimension that can be thought of as a non-relativistic or post-Galilean expansion of the Poincare symmetry. We find an infinite-dimensional vector space on which this generalized Galilei group acts and usual Minkowski space can be modeled by our construction. We also construct particle and string actions that are invariant under these transformations.


title: A Heuristically Modified FP-Tree for Ontology Learning with Applications in Education

abstract: We propose a heuristically modified FP-Tree for ontology learning from text. Unlike previous research, for concept extraction, we use a regular expression parser approach widely adopted in compiler construction, i.e., deterministic finite automata (DFA). Thus, the concepts are extracted from unstructured documents. For ontology learning, we use a frequent pattern mining approach and employ a rule mining heuristic function to enhance its quality. This process does not rely on predefined lexico-syntactic patterns, thus, it is applicable for different subjects. We employ the ontology in a question-answering system for students' content-related questions. For validation, we used textbook questions/answers and questions from online course forums. Subject experts rated the quality of the system's answers on a subset of questions and their ratings were used to identify the most appropriate automatic semantic text similarity metric to use as a validation metric for all answers. The Latent Semantic Analysis was identified as the closest to the experts' ratings. We compared the use of our ontology with the use of Text2Onto for the question-answering system and found that with our ontology 80% of the questions were answered, while with Text2Onto only 28.4% were answered, thanks to the finer grained hierarchy our approach is able to produce.


title: The Reduced Tensor Product of Braided Tensor Categories Containing a Symmetric Fusion Category

abstract: We detail a construction of a symmetric monoidal structure, called the reduced tensor product on the 2-category of braided tensor categories $\mathbf{BTC}(\mathcal{A})$ containing a fixed symmetric fusion subcategory $\mathcal{A}$. The construction only depends on the braiding and monoidal structure of the categories involved. The main tool in the construction is an enriching procedure that is shown to give an equivalence between $\mathbf{BTC}(\mathcal{A})$ and a 2-category of so-called Drinfeld centre crossed braided tensor categories. As an application of the reduced tensor product, we show that it gives a pairing between minimal modular extensions of braided tensor categories containing $\mathcal{A}$ as their transparent subcategory.


title: Not even wrong: Reply to Loreau and Hector

abstract: The Loreau and Hector (2019) Comment on our paper (Pillai and Gouhier, 2019) failed to address the two core elements of our critique, both the circularity of the BEF research program, in general, and the mathematical flaws of the Loreau-Hector partitioning scheme, in particular. Loreau and Hector avoided dealing with the first part of our critique by arguing against a non-existent claim that all biodiversity effects could be reduced to coexistence, while the mathematical flaws in the Loreau-Hector partitioning method that we described in the second part of our critique were ignored altogether. Here, we address these misconceptions and demonstrate that all of the claims that were made in our original paper hold. We conclude that (i) BEF studies need to adopt baselines that account for coexistence in order to avoid overestimating the effects of biodiversity and (ii) the LH partitioning method should not be used unless the linearity of the abundance-ecosystem functioning relationship in monocultures can be verified for all species.


title: Cauchy-Born Rule from Microscopic Models with Non-convex Potentials

abstract: We study gradient field models on an integer lattice with non-convex interactions. These models emerge in distinct branches of physics and mathematics under various names. In particular, as zero-mass lattice (Euclidean) quantum field theory, models of random interfaces, and as mass-string models of nonlinear elasticity.Our attention is mostly devoted to the latter with random vector valued fields as displacements for atoms of crystal structures,where our aim is to prove the strict convexity of the free energy as a function of affine deformations for low enough temperatures and small enough deformations. This claim can be interpreted as a form of verification of the Cauchy-Born rule at small non-vanishing temperatures for a class of these models. We also show that the scaling limit of the Laplace transform of the corresponding Gibbs measure (under a proper rescaling) corresponds to the Gaussian gradient field with a particular covariance. The proofs are based on a multi-scale (renormalisation group analysis) techniques needed in view of strong correlations of studied gradient fields. To cover sufficiently wide class of models, we extend these techniques from the standard case with rotationally symmetric nearest neighbour interaction to a more general situation with finite range interactions without any symmetry. Our presentation is entirely self-contained covering the details of the needed renormalisation group methods.


title: Function-Space Distributions over Kernels

abstract: Gaussian processes are flexible function approximators, with inductive biases controlled by a covariance kernel. Learning the kernel is the key to representation learning and strong predictive performance. In this paper, we develop functional kernel learning (FKL) to directly infer functional posteriors over kernels. In particular, we place a transformed Gaussian process over a spectral density, to induce a non-parametric distribution over kernel functions. The resulting approach enables learning of rich representations, with support for any stationary kernel, uncertainty over the values of the kernel, and an interpretable specification of a prior directly over kernels, without requiring sophisticated initialization or manual intervention. We perform inference through elliptical slice sampling, which is especially well suited to marginalizing posteriors with the strongly correlated priors typical to function space modelling. We develop our approach for non-uniform, large-scale, multi-task, and multidimensional data, and show promising performance in a wide range of settings, including interpolation, extrapolation, and kernel recovery experiments.


title: Large deviations for extreme eigenvalues of deformed Wigner random matrices

abstract: We present a large deviation principle at speed N for the largest eigenvalue of some additively deformed Wigner matrices. In particular this includes Gaussian ensembles with full-rank general deformation. For the non-Gaussian ensembles, the deformation should be diagonal, and we assume that the laws of the entries have sharp sub-Gaussian Laplace transforms and satisfy certain concentration properties. For these latter ensembles we establish the large deviation principle in a restricted range $(-\infty, x_c)$, where $x_c$ depends on the deformation only and can be infinite.


title: Cell Association via Boundary Detection: A Scalable Approach Based on Data-Driven Random Features

abstract: The problem of cell association is considered for cellular users present in the field. This has become a challenging problem with the deployment of 5G networks which will share the sub-6 GHz bands with the legacy 4G networks. Instead of taking a network-controlled approach, which may not be scalable with the number of users and may introduce extra delays into the system, we propose a scalable solution in the physical layer by utilizing data that can be collected by a large number of spectrum sensors deployed in the field. More specifically, we model the cell association problem as a nonlinear boundary detection problem and focus on solving this problem using randomized shallow networks for determining the boundaries for location of users associated to each cell. We exploit the power of data-driven modeling to reduce the computational cost of training in the proposed solution for the cell association problem. This is equivalent to choosing the right basis functions in the shallow architecture such that the detection is done with minimal error. Our experiments demonstrate the superiority of this method compared to its data-independent counterparts as well as its computational advantage over kernel methods.


title: Random walks on networks with stochastic resetting

abstract: We study random walks with stochastic resetting to the initial position on arbitrary networks. We obtain the stationary probability distribution as well as the mean and global first passage times, which allow us to characterize the effect of resetting on the capacity of a random walker to reach a particular target or to explore a finite network. We apply the results to rings, Cayley trees, random and complex networks. Our formalism holds for undirected networks and can be implemented from the spectral properties of the random walk without resetting, providing a tool to analyze the search efficiency in different structures with the small-world property or communities. In this way, we extend the study of resetting processes to the domain of networks.


title: Conservation laws and energy transformations in a class of common physics problems

abstract: We analyze a category of problems that is of interest in many physical situations, including those encountered in introductory physics classes: systems with two well-delineated parts that exchange energy, eventually reaching a shared equilibrium with a loss of mechanical or electrical energy. Such systems can be constrained by a constant of the system (e.g., mass, charge, momentum, or angular momentum) that uniquely determines the mechanical or electrical energy of the equilibrium state, regardless of the dissipation mechanism. A representative example would be a perfectly inelastic collision between two objects in one dimension, for which momentum conservation requires that some of the initial kinetic energy is dissipated by conversion to thermal or other forms as the two objects reach a common final velocity. We discuss how this feature manifests in a suite of four well-known and disparate problems that all share a common mathematical formalism. These examples, in which the energy dissipated during the process can be difficult to solve directly from dissipation rates, can be approached by students in a first-year physics class by considering conservation laws and can therefore be useful for teaching about energy transformations and conserved quantities. We then illustrate how to extend this method by applying it to a final example.


title: Irrational Exuberance: Correcting Bias in Probability Estimates

abstract: We consider the common setting where one observes probability estimates for a large number of events, such as default risks for numerous bonds. Unfortunately, even with unbiased estimates, selecting events corresponding to the most extreme probabilities can result in systematically underestimating the true level of uncertainty. We develop an empirical Bayes approach "Excess Certainty Adjusted Probabilities" (ECAP), using a variant of Tweedie's formula, which updates probability estimates to correct for selection bias. ECAP is a flexible non-parametric method, which directly estimates the score function associated with the probability estimates, so it does not need to make any restrictive assumptions about the prior on the true probabilities. ECAP also works well in settings where the probability estimates are biased. We demonstrate through theoretical results, simulations, and an analysis of two real world data sets, that ECAP can provide significant improvements over the original probability estimates.


title: A novel fuzzy logic-based metric for audio quality assessment: Objective audio quality assessment

abstract: ITU-R BS.1387 states a method for objective assessment of perceived audio quality. This Recommendation, known also as PEAQ (Perceptual Evaluation of Audio Quality) is based on a psychoacoustic model of the human ear and was standardized by the International Telecommunications Union as an alternative to subjective tests, which are expensive and time-consuming processes. PEAQ combines various physiological and psycho-acoustical properties of the human ear to give a measure of the quality difference between a reference audio and a test audio. The reference audio signal could be considered as a distortion-free source, whereas the test signal is a distorted version of the reference, which may have audible artifacts because of compression. The algorithm computes the Model Output Variables (MOVs) which are mapped to a single quality measure, Objective Difference Grade (ODG), using a three-layer perceptron artificial neural network. The ODG estimates the perceived distortion between both audio signals. In this paper we propose a new metric of low computational complexity called FQI (Fuzzy Quality Index) which is based on Fuzzy Logic reasoning and has been incorporated into the existing PEAQ model to improve its overall performance. Results show that the modified version slightly outperforms PEAQ.


title: The Geometry of Outer Automorphism Groups of Universal Right-Angled Coxeter Groups

abstract: We investigate the combinatorial and geometric properties of automorphism groups of universal right-angled Coxeter groups, which are the automorphism groups of free products of copies of Z_2. It is currently an open question as to whether or not these automorphism groups have non-positive curvature. Analogous to Outer Space as a model for Out(F_n), we prove that the natural combinatorial and topological model for their outer automorphism groups can \emph{not} be given an equivariant CAT(0) metric. This is particularly interesting as there are very few non-trivial examples of proving that a model space of independent interest is not CAT(0).


title: Semi-Supervised Natural Language Approach for Fine-Grained Classification of Medical Reports

abstract: Although machine learning has become a powerful tool to augment doctors in clinical analysis, the immense amount of labeled data that is necessary to train supervised learning approaches burdens each development task as time and resource intensive. The vast majority of dense clinical information is stored in written reports, detailing pertinent patient information. The challenge with utilizing natural language data for standard model development is due to the complex nature of the modality. In this research, a model pipeline was developed to utilize an unsupervised approach to train an encoder-language model, a recurrent network, to generate document encodings; which then can be used as features passed into a decoder-classifier model that requires magnitudes less labeled data than previous approaches to differentiate between fine-grained disease classes accurately. The language model was trained on unlabeled radiology reports from the Massachusetts General Hospital Radiology Department (n=218,159) and terminated with a loss of 1.62. The classification models were trained on three labeled datasets of head CT studies of reported patients, presenting large vessel occlusion (n=1403), acute ischemic strokes (n=331), and intracranial hemorrhage (n=4350), to identify a variety of different findings directly from the radiology report data; resulting in AUCs of 0.98, 0.95, and 0.99, respectively, for the large vessel occlusion, acute ischemic stroke, and intracranial hemorrhage datasets. The output encodings are able to be used in conjunction with imaging data, to create models that can process a multitude of different modalities. The ability to automatically extract relevant features from textual data allows for faster model development and integration of textual modality, overall, allowing clinical reports to become a more viable input for more encompassing and accurate deep learning models.


title: Hybrid Machine Learning Model of Extreme Learning Machine Radial basis function for Breast Cancer Detection and Diagnosis; a Multilayer Fuzzy Expert System

abstract: Mammography is often used as the most common laboratory method for the detection of breast cancer, yet associated with the high cost and many side effects. Machine learning prediction as an alternative method has shown promising results. This paper presents a method based on a multilayer fuzzy expert system for the detection of breast cancer using an extreme learning machine (ELM) classification model integrated with radial basis function (RBF) kernel called ELM-RBF, considering the Wisconsin dataset. The performance of the proposed model is further compared with a linear-SVM model. The proposed model outperforms the linear-SVM model with RMSE, R2, MAPE equal to 0.1719, 0.9374 and 0.0539, respectively. Furthermore, both models are studied in terms of criteria of accuracy, precision, sensitivity, specificity, validation, true positive rate (TPR), and false-negative rate (FNR). The ELM-RBF model for these criteria presents better performance compared to the SVM model.


title: Hydrogen plasma favored modification of anatase TiO$_2$ (001) surface with desirable water splitting performance

abstract: We show that when TiO$_2$ anatase (001) is exposed to hydrogen plasma that the pristine surface termination becomes unfavorable to another, slightly modified, surface. On this modified surface the topmost TiO$_2$ layer is intact but out of registry with the bottom layers. Nevertheless, the modified surface has significantly improved ability to split water under exposure to sunlight. We show by explicit calculation of the water splitting reaction that the energy barrier that exists on a pristine surface is not present on the modified surface. The valence band maximum of the surface is raised relative to the pristine surface, which is a favorable way of adjusting the band gap in TiO$_2$ to the solar spectrum.


title: Single-molecule stretching shows glycosylation sets tension in the hyaluronan-aggrecan bottlebrush

abstract: Large bottlebrush complexes formed from the polysaccharide hyaluronan (HA) and the proteoglycan aggrecan contribute to cartilage compression resistance and are necessary for healthy joint function. A variety of mechanical forces act on these complexes in the cartilage extracellular matrix, motivating the need for a quantitative description which links their structure and mechanical response. Studies using electron microscopy have imaged the HA-aggrecan brush but require adsorption to a surface, dramatically altering the complex from its native conformation. We use magnetic tweezers force spectroscopy to measure changes in extension and mechanical response of an HA chain as aggrecan monomers bind and form a bottlebrush. This technique directly measures changes undergone by a single complex with time and under varying solution conditions. Upon addition of aggrecan, we find a large swelling effect manifests when the HA chain is under very low external tension (i.e. stretching forces less than ~1 pN). We use models of force-extension behavior to show that repulsion between the aggrecans induces an internal tension in the HA chain. Through reference to theories of bottlebrush polymer behavior, we demonstrate that the experimental values of internal tension are consistent with a polydisperse aggrecan population, likely caused by varying degrees of glycosylation. By enzymatically deglycosylating aggrecan, we show that aggrecan glycosylation is the structural feature which causes HA stiffening. We then construct a simple stochastic binding model to show that variable glycosylation leads to a wide distribution of internal tensions in HA, causing variations in the mechanics at much longer length-scales. Our results provide a mechanistic picture of how flexibility and size of HA and aggrecan lead to the brush architecture and mechanical properties of this important component of cartilage.


title: Upper Limits for Emissions in the Coma of Comet 67P/Churyumov-Gerasimenko Near Perihelion as Measured by Rosetta's Alice Far-Ultraviolet Spectrograph

abstract: The Alice far-UV imaging spectrograph (700-2050 A) acquired over 70,000 spectral images during Rosetta's 2-year escort mission, including over 20,000 in the months surrounding perihelion when the comet activity level was highest. We have developed automated software to fit and remove ubiquitous H, O, C, S, and CO emissions from Alice spectra, along with reflected solar continuum and absorption from gaseous H2O in the comet's coma, which we apply to a "grand sum" of integrations taken near perihelion. We present upper limits on the presence of one ion and 17 neutral atomic species for this time period. These limits are compared to results obtained by other Rosetta instruments where possible, as well as to CI carbonaceous chondrites and solar photospheric abundances.


title: $T\bar{T}$ deformed CFT as a non-critical string

abstract: We present a new exact treatment of $T\bar{T}$ deformed 2D CFT in terms of the worldsheet theory of a non-critical string. The transverse dimensions of the non-critical string are represented by the undeformed CFT, while the two longitudinal light-cone directions are described by two scalar fields $X^+$ and $X^-$ with free field OPE's but with a modified stress tensor, arranged so that the total central charge adds up to 26. The relation between our $X^\pm$ field variables and 2D dilaton gravity is indicated. We compute the physical spectrum and the partition function and find a match with known results. We describe how to compute general correlation functions and present an integral expression for the three point function, which can be viewed as an exact formula for the OPE coefficients of the $T\bar{T}$ deformed theory. We comment on the relationship with other proposed definitions of local operators.


title: Multiplicity distributions as probes of quarkonia production mechanisms

abstract: In this paper we demonstrate that the vigorously growing multiplicity distributions measured by STAR and ALICE present a strong evidence in favor of multigluon fusion mechanisms of the quarkonia production in CGC approach. We analyze the contribution of 3-gluon fusion mechanism and demonstrate that it gives a sizeable contribution to quarkonia yields, as well as predicts correctly the multiplicity distributions for $J/\psi$ at RHIC and LHC. We also make predictions for other quarkonia states, such as $\psi(2S)$ and $\Upsilon(1S)$, and find that the multiplicity dependence of these states should be comparable to similar dependence for $J/\psi$. Finally, we discuss an experimental setup in which very strong multiplicity dependence could be observed. This observation would be a strong evidence in favor of CGC approach.


title: Domain Generalization via Model-Agnostic Learning of Semantic Features

abstract: Generalization capability to unseen domains is crucial for machine learning models when deploying to real-world conditions. We investigate the challenging problem of domain generalization, i.e., training a model on multi-domain source data such that it can directly generalize to target domains with unknown statistics. We adopt a model-agnostic learning paradigm with gradient-based meta-train and meta-test procedures to expose the optimization to domain shift. Further, we introduce two complementary losses which explicitly regularize the semantic structure of the feature space. Globally, we align a derived soft confusion matrix to preserve general knowledge about inter-class relationships. Locally, we promote domain-independent class-specific cohesion and separation of sample features with a metric-learning component. The effectiveness of our method is demonstrated with new state-of-the-art results on two common object recognition benchmarks. Our method also shows consistent improvement on a medical image segmentation task.


title: Fission in a microscopic framework: from basic science to support for applications

abstract: Recent developments, both in theoretical modeling and computational power, have allowed us to make progress on a goal not fully achieved yet in nuclear theory: a microscopic theory of nuclear fission. Even if the complete microscopic description remains a computationally demanding task, the information that can be provided by current calculations can be extremely useful to guide and constrain more phenomenological approaches, which are simpler to implement. First, a microscopic model that describes the real-time dynamics of the fissioning system can justify or rule out some of the approximations. Second, the microscopic approach can be used to obtain trends, e.g., with increasing excitation energy of the fissioning system, or even to compute observables that cannot be otherwise calculated in phenomenological approaches or that can be hindered by the limitations of the method. We briefly present in this contribution the time-dependent superfluid local density approximation (TDSLDA) approach to nuclear fission, approach that has become a very successful theoretical model in many areas of many-body research. The TDSLDA incorporates the effects of the continuum, the dynamics of the pairing field, and the numerical solution is implemented with controlled approximations and negligible numerical corrections. The main part of the current contribution will be dedicated to discussing the method, and recent results concerning the fission dynamics. In addition, we present results on the excitation energy sharing between the fragments, which are in agreement with a qualitative conclusions extracted from a limited number of experimental measurements of properties of prompt neutrons.


title: Diffusion Monte Carlo study of a spin-imbalanced two-dimensional Fermi gas with attractive interactions

abstract: We probe the superconducting gap in the zero temperature ground state of an attractively interacting spin-imbalanced two-dimensional Fermi gas with Diffusion Monte Carlo. A condensate fraction at nonzero pair momentum evidences a spatially non-uniform superconducting order parameter. Comparison with exact diagonalisation studies confirms that the nonzero condensate fraction across a range of nonzero fermion pair momenta is consistent with non-exclusive pairing between majority and minority fermions, an extension beyond FFLO theory.


title: All 4-variable functions can be perfectly quadratized with only 1 auxiliary variable

abstract: We prove that any function with real-valued coefficients, whose input is 4 binary variables and whose output is a real number, is perfectly equivalent to a quadratic function whose input is 5 binary variables and is minimized over the new variable. Our proof is constructive: we provide quadratizations for all possible 4-variable functions. There exists 4 different classes of 4-variable functions that each have their own 5-variable quadratization formula. Since we provide 'perfect' quadratizations, we can apply these formulas to any 4-variable subset of an n-variable function even if n >> 4. We provide 5 examples of functions that can be quadratized using the result of this work. For each of the 5 examples we compare the best possible quadratization we could construct using previously known methods, to a quadratization that we construct using our new result. In the most extreme example, the quadratization using our new result needs only N auxiliary variables for a 4N-variable degree-4 function, whereas the previous state-of-the-art quadratization requires 2N (double as many) auxiliary variables and therefore we can reduce by the cost of optimizing such a function by a factor of 2^1000 if it were to have 4000 variables before quadratization. In all 5 of our examples, the range of coefficient sizes in our quadratic function is smaller than in the previous state-of-the-art one, and our coefficient range is a factor of 7 times smaller in our 15-term, 5-variable example of a degree-4 function.


title: A Tunably Compliant Origami Mechanism for Dynamically Dexterous Robots

abstract: We present an approach to overcoming challenges in dynamical dexterity for robots through tunable origami structures. Our work leverages a one-parameter family of flat sheet crease patterns that folds into origami bellows, whose axial compliance can be tuned to select desired stiffness. Concentrically arranged cylinder pairs reliably manifest additive stiffness, extending the tunable range by nearly an order of magnitude and achieving bulk axial stiffness spanning 200-1500 N/m using 8 mil thick polyester-coated paper. Accordingly, we design origami energy-storing springs with a stiffness of 1035 N/m each and incorporate them into a three degree-of-freedom (DOF) tendon-driven spatial pointing mechanism that exhibits trajectory tracking accuracy less than 15% rms error within a ~2 cm^3 volume. The origami springs can sustain high power throughput, enabling the robot to achieve asymptotically stable juggling for both highly elastic (1~kg resilient shot put ball) and highly damped ("medicine ball") collisions in the vertical direction with apex heights approaching 10 cm. The results demonstrate that "soft" robotic mechanisms are able to perform a controlled, dynamically actuated task.


title: Sequences of Hitchin representations of Tree-type

abstract: The Hitchin component is a connected component of the character variety of reductive group homomorphisms from the fundamental group of a closed surface S of genus greater than 1 to the Lie group PSL_m(R). The Teichmuller space of S naturally embeds into the Hitchin component. The limit points in the Thurston compactification of the Teichmuller space are well-understood. Our main goal is to provide non-trivial sufficient conditions on a sequence of Hitchin representations so that the limit of this sequence in the Parreau boundary can be described as an action on a tree. These non-trivial conditions are given in terms of Fock-Goncharov coordinates on moduli spaces of generic tuples of flags.


title: An orthogonality relation for GL(4,R)

abstract: Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on $\mathrm{GL}(1)$) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Orthogonality relations for $\mathrm{GL}(2)$ and $\mathrm{GL}(3)$ have been worked on by many researchers with a broad range of applications to number theory. We present here, for the first time, very explicit orthogonality relations for the real group $\mathrm{GL}(4,\mathbb{R})$ with a power savings error term. The proof requires novel techniques in the computation of the geometric side of the Kuznetsov trace formula. An appendix by Bingrong Huang gives new bounds for the relevant Kloosterman sums.


title: Scheduling Low Latency Traffic for Wireless Control Systems in 5G Networks

abstract: We consider the problem of allocating 5G radio resources over wireless communication links to control a series of independent low-latency wireless control systems common in industrial settings. Each control system sends state information to the base station to compute control signals under tight latency requirements. Such latency requirements can be met by restricting the uplink traffic to a single subframe in each 5G frame, thus ensuring a millisecond latency bound while leaving the remaining subframes available for scheduling overhead and coexisting broadband traffic. A linear assignment problem can be formulated to minimize the expected number of packet drops, but this alone is not sufficient to achieve good performance. We propose an optimal scheduling with respect to a control operation cost that allocates resources based on current control system needs. The resulting control-aware scheduling method is tested in simulation experiments that show drastically improved performance in 5G settings relative to control-agnostic scheduling under the proposed time-sliced frame structure.


title: Rigorous bounds on the heat transport of rotating convection with Ekman pumping

abstract: We establish rigorous upper bounds on the time-averaged heat transport for a model of rotating Rayleigh-Benard convection between no-slip boundaries at infinite Prandtl number and with Ekman pumping. The analysis is based on the asymptotically reduced equations derived for rotationally constrained dynamics with no-slip boundaries, and hence includes a lower order correction that accounts for the Ekman layer and corresponding Ekman pumping into the bulk. Using the auxiliary functional method we find that, to leading order, the temporally averaged heat transport is bounded above as a function of the Rayleigh and Ekman numbers Ra and Ek according to $Nu \leq 0.3704 Ra^2 Ek^2$. Dependent on the relative values of the thermal forcing represented by $Ra$ and the effects of rotation represented by $Ek$, this bound is both an improvement on earlier rigorous upper bounds, and provides a partial explanation of recent numerical and experimental results that were consistent yet surprising relative to the previously derived upper bound of $Nu \lesssim Ra^3 k^4$.


title: The Formation of Bimodal Dust Species in Nova Ejecta

abstract: The formation of bimodal dust species (namely the silicate and amorphous carbon dust grains coexistent) in a nova eruption is an open problem. According to the nova model simulated by Modules for Experiments in Stellar Astrophysics code, we calculate the formation and growth of carbon (C) and forsterite (Mg2SiO4) dust grains purely in nova ejecta for the fee-expansion model and the radiative shock model by assuming spherical geometry of the nova ejecta. In these models, the chemical properties of pre-existing circumstellar medium are not taken into account. In the free-expansion model, the nova ejecta is not an idea environment for dust nucleation. However, it can efficiently produce dust in the radiative shock model. We estimate that every nova can produce C grains with an average mass of about $10^{-9}$ and $10^{-8}$ ${\rm M_\odot}$, and Mg$_2$SiO$_4$ grains with an average mass of about $10^{-8}$ and $10^{-7}$ ${\rm M_\odot}$. Based on the mass of ejected gas, the ratio of dust to gas is about 1\%. The C grains form first after several or tens of days of nova eruption. After that, the Mg$_2$SiO$_4$ grains begin to grow in tens of days, which is consistent with observations.


title: Strongly self-absorbing $C^*$-algebras and Fra\"iss\'e limits

abstract: We show that the Fra\"iss\'e limit of a category of unital separable $C^*$-algebras which is sufficiently closed under tensor products of its objects and morphisms is strongly self-absorbing, given that it has approximate inner half-flip. We use this connection between Fra\"iss\'e limits and strongly self-absorbing $C^*$-algebras to give a self-contained and rather elementary proof for the well known fact that the Jiang-Su algebra is strongly self-absorbing.


title: Binary outflows from young stars: interaction of co-orbital jet and wind

abstract: Jets from young stellar objects provide insight into the workings of the beating heart at the centre of star forming cores. In some cases, multiple pulsed outflows are detected such as the atomic and molecular jets from a proposed binary system in the T\,Tauri star HH30. We investigate here the development and propagation of duelling atomic and molecular outflows stemming from the two stars in co-orbit. We perform a series of numerical experiments with the {\small ZEUS-MP} code with enhanced cooling and chemistry modules. The aim of this work is to identify signatures on scales of order 100 AU. The jet sources are off the grid domain and so it is the propagation and interaction from ~ 20AU out to 100\,AU simulated here. We find that the molecular flow from the orbiting source significantly disturbs the atomic jet, deflecting and twisting the jet and disrupting the jet knots. Regions of high ionisation are generated as the atomic jet rams through the dense molecular outflow. Synthetic images in atomic and molecular lines are presented which demonstrate identifying signatures. In particular, the structure within the atomic jet is lost and H-alpha may trace the walls of the present CO cavity or where the walls have been recently. These results provide a framework for the interpretation of upcoming high resolution observations.


title: Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions

abstract: Use Case (UC) quality impacts the overall quality and defect rate of a system, as they specify the expected behavior of an implementation. In a previous work, we have defined an approach for a step-by-step translation from UCs written in natural language to a formal description in terms of Graph Transformation (GT), where each step of the UC was translated to a transformation rule. This UC formalisation enables the detection of several specification problems even before an actual implementation is produced, thus reducing development costs. In this paper, we extend our approach to handle UC evolution by defining \emph{evolution rules}, which are described as higher-order rules, simultaneously changing the behaviour of a set of transformation rules. We also support the use of \emph{negative application conditions (NAC)} associated both to the transformation and evolution rules. Analysis of the interplay between the evolution rules and the rules describing UC steps shows the effects of an evolution and serves to identify potential impacts, even before the changes are actually carried out. Besides defining the theoretical foundations of UC evolution with NACs, we have implemented the evolution analysis technique in the Verigraph tool and used it to verify impacts in 3 different case studies. The results demonstrate the applicability and usefulness of our approach to help developers in the evolution process based on UCs.


title: Generalization in multitask deep neural classifiers: a statistical physics approach

abstract: A proper understanding of the striking generalization abilities of deep neural networks presents an enduring puzzle. Recently, there has been a growing body of numerically-grounded theoretical work that has contributed important insights to the theory of learning in deep neural nets. There has also been a recent interest in extending these analyses to understanding how multitask learning can further improve the generalization capacity of deep neural nets. These studies deal almost exclusively with regression tasks which are amenable to existing analytical techniques. We develop an analytic theory of the nonlinear dynamics of generalization of deep neural networks trained to solve classification tasks using softmax outputs and cross-entropy loss, addressing both single task and multitask settings. We do so by adapting techniques from the statistical physics of disordered systems, accounting for both finite size datasets and correlated outputs induced by the training dynamics. We discuss the validity of our theoretical results in comparison to a comprehensive suite of numerical experiments. Our analysis provides theoretical support for the intuition that the performance of multitask learning is determined by the noisiness of the tasks and how well their input features align with each other. Highly related, clean tasks benefit each other, whereas unrelated, clean tasks can be detrimental to individual task performance.


title: The MOSDEF Survey: [SIII] as a New Probe of Evolving ISM Conditions

abstract: We present measurements of [SIII]$\lambda\lambda$9069,9531 for a sample of $z\sim1.5$ star-forming galaxies, the first sample with measurements of these lines at z>0.1. We employ the line ratio S$_{32}$$\equiv$[SIII]$\lambda\lambda$9069,9531/[SII]$\lambda\lambda$6716,6731 as a novel probe of evolving ISM conditions. Since this ratio includes the low-ionization line [SII], it is crucial that the effects of diffuse ionized gas (DIG) on emission-line ratios be accounted for in $z\sim0$ integrated galaxy spectra, or else that comparisons be made to samples of local HII regions in which DIG emission is not present. We find that S$_{32}$ decreases with increasing stellar mass at both $z\sim1.5$ and $z\sim0$, but that the dependence is weak suggesting S$_{32}$ has a very shallow anticorrelation with metallicity, in contrast with O$_{32}$ that displays a strong metallicity dependence. As a result, S$_{32}$ only mildly evolves with redshift at fixed stellar mass. The $z\sim1.5$ sample is systematicallty offset towards lower S$_{32}$ and higher [SII]/H$\alpha$ at fixed [OIII]/H$\beta$ relative to $z=0$ HII regions. By comparing to photoionization model grids, we find that such trends can be explained by a scenario in which the ionizing spectrum is harder at fixed O/H with increasing redshift, but are inconsistent with an increase in ionization parameter at fixed O/H. This analysis demonstrates the advantages of expanding beyond the strongest rest-optical lines for evolutionary studies, and the particular utility of [SIII] for characterizing evolving ISM conditions and stellar compositions. These measurements provide a basis for estimating [SIII] line strengths for high-redshift galaxies, a line that the James Webb Space Telescope will measure out to z~5.5.


title: Uplink NOMA for Cellular-Connected UAV: Impact of UAV Trajectories and Altitude

abstract: This paper considers an emerging cellular-connected unmanned aerial vehicle (UAV) architecture for surveillance or monitoring applications. We consider a scenario where a cellular-connected aerial user equipment (AUE) periodically transmits in uplink, with a given data rate requirement, while moving along a given trajectory. For efficient spectrum usage, we enable the concurrent uplink transmission of the AUE and a terrestrial user equipment (TUE) by employing power-domain aerial-terrestrial non-orthogonal multiple access (NOMA), while accounting for the AUE's known trajectory. To characterize the system performance, we develop an analytical framework to compute the rate coverage probability, i.e., the probability that the achievable data rate of both the AUE and TUE exceeds the respective target rates. We use our analytical results to numerically determine the minimum height that the AUE needs to fly, at each transmission point along a given trajectory, in order to satisfy a certain quality of service (QoS) constraint for various AUE target data rates and different built-up environments. Specifically, the results show that the minimum height of the AUE depends on its distance from the BS as the AUE moves along the given trajectory. Our results highlight the importance of modeling AUE trajectory in cellular-connected UAV systems.


title: Extreme nonlinear Raman interaction of an ultrashort nitrogen ion laser with an impulsively excited molecular wavepacket

abstract: We report generation of cascaded rotational Raman scattering up to 58th orders in coherently excited CO_2 molecules. The high-order Raman scattering, which produces a quasiperiodic frequency comb with more than 600 sidebands, is obtained using an intense femtosecond laser to impulsively excite rotational coherence and the femtosecond-laser-induced N_2^+ lasing to generate cascaded Raman signals. The novel configuration allows this experiment to be performed with a single femtosecond laser beam at free-space standoff locations. It is revealed that the efficient spectral extension of Raman signals is attributed to the specific spectra-temporal structures of N_2^+ lasing, the ideal spatial overlap of femtosecond laser and N2+ lasing, and the guiding effect of molecular alignment. The Raman spectrum extending above 2000 cm^-1 naturally corresponds to a femtosecond pulse train due to the periodic revivals of molecular rotational wavepackets.