title: Dynamics of Suspended Nanoparticles in a Time-varying Gradient Magnetic Field: Analytical Results

abstract: We study theoretically the deterministic dynamics of single-domain ferromagnetic nanoparticles in dilute ferrofluids, which is induced by a time-varying gradient magnetic field. Using the force and torque balance equations, we derive a set of the first-order differential equations describing the translational and rotational motions of such particles characterized by small Reynolds numbers. Since the gradient magnetic field generates both the translations and rotations of particles, these motions are coupled. Based on the derived set of equations, we demonstrate this fact explicitly by expressing the particle position through the particle orientation angle, and vice versa. The obtained expressions are used to show that the solution of the basic set of equations is periodic in time and to determine the intervals, where the particle coordinate and orientation angle oscillate. In addition, this set of equations is solved approximately for the case of small characteristic frequency of the particle oscillations. With this condition, we find that all particles perform small translational oscillations near their initial positions. In contrast, the orientation angle oscillates near the initial angle only if particles are located in the vicinity of zero point of the gradient magnetic field. The possible applications of the obtained results in biomedicine and separation processes are also discussed.


title: Flavor Non-universal Pati-Salam Unification and Neutrino Masses

abstract: We analyze the neutrino mass spectrum and discuss the extra-dimensional interpretation of a three-site Pati-Salam model which i) unifies all families of quark and leptons, ii) provides a natural description of the Standard Model Yukawa couplings, iii) could account for the recent $B$-physics anomalies. The key feature of the model is a breaking of the Pati-Salam and electroweak gauge symmetries localized on opposite sites, communicated to the other sites in an attenuated manner via nearest-neighbor interactions. We show that in this context gauge-singlet fermions localized on each site, receiving hierarchical Majorana masses, can allow the implementation of an inverse seesaw mechanism leading to light anarchic neutrino masses consistent with data. The continuum limit of this three-site setup has a natural interpretation in terms of a warped extra dimension with three defects, where the required exponential hierarchies can be achieved from $\mathcal{O}(1)$ differences in the bulk field masses.


title: Rare-earth-free ferrimagnetic Mn4N sub-20 nm thin films as high-temperature spintronic material

abstract: Ferrimagnetic alloy thin films that exhibit perpendicular (out-of-plane) magnetic anisotropy (PMA) with low saturation magnetization, such as GdCo and Mn4N, were predicted to be favorable for hosting small Neel skyrmions for room temperature applications. Due to the exponential decay of interfacial Dzyaloshinskii-Moriya interaction (DMI) and the limited range of spin-orbit-torques, which can be used to drive skyrmion motion, the thickness of the ferrimagnetic layer has to be small, preferably under 20 nm. While there are examples of sub-20 nm, rare earth-transition metal (RE-TM), ferrimagnetic thin films fabricated by sputter deposition, to date rare-earth-free sub-20 nm Mn4N films with PMA have only been reported to be achieved by molecular beam epitaxy, which is not suitable for massive production. Here we report the successful thermal growth of sub-20 nm Mn4N films with PMA at 400-450 {\deg}C substrate temperatures on MgO substrates by reactive sputtering. The Mn4N films were achieved by reducing the surface roughness of MgO substrate through a high-temperature vacuum annealing process. The optimal films showed low saturation magnetization (Ms = 43 emu/cc), low magnetic anisotropy energy (0.7 Merg/cc), and a remanent magnetization to saturation magnetization ratio (Mr/Ms) near 1 at room temperature. Preliminary ab-initio density functional theory (DFT) calculations have confirmed the ferrimagnetic ground state of Mn4N grown on MgO. The magnetic properties, along with the high thermal stability of Mn4N thin films in comparison with RE-TM thin films, provide the platform for future studies of practical skyrmion-based spintronic materials.


title: Quasi-isometric rigidity of subgroups and Filtered ends

abstract: Let $G$ and $H$ be quasi-isometric finitely generated groups and let $P\leq G$; is there a subgroup $Q$ (or a collection of subgroups) of $H$ whose left cosets coarsely reflect the geometry of the left cosets of $P$ in $G$? We explore sufficient conditions for a positive answer. The article consider pairs of the form $(G,\mathcal{P})$ where $G$ is a finitely generated group and $\mathcal{P}$ a finite collection of subgroups, there is a notion of quasi-isometry of pairs, and quasi-isometrically characteristic collection of subgroups. A subgroup is qi-characteristic if it belongs to a qi-characteristic collection. Distinct classes of qi-characteristic collections of subgroups have been studied in the literature on quasi-isometric rigidity, we list in the article some of them and provide other examples. The first part of the article proves: if $G$ and $H$ are finitely generated quasi-isometric groups and $\mathcal{P}$ is a qi-characteristic collection of subgroups of $G$, then there is a collection of subgroups $\mathcal{Q}$ of $H$ such that $ (G, \mathcal{P})$ and $(H, \mathcal{Q})$ are quasi-isometric pairs. The second part of the article studies the number of filtered ends $\tilde e (G, P)$ of a pair of groups, a notion introduced by Bowditch, and provides an application of our main result: if $G$ and $H$ are quasi-isometric groups and $P\leq G$ is qi-characterstic, then there is $Q\leq H$ such that $\tilde e (G, P) = \tilde e (H, Q)$.


title: ShineOn: Illuminating Design Choices for Practical Video-based Virtual Clothing Try-on

abstract: Virtual try-on has garnered interest as a neural rendering benchmark task to evaluate complex object transfer and scene composition. Recent works in virtual clothing try-on feature a plethora of possible architectural and data representation choices. However, they present little clarity on quantifying the isolated visual effect of each choice, nor do they specify the hyperparameter details that are key to experimental reproduction. Our work, ShineOn, approaches the try-on task from a bottom-up approach and aims to shine light on the visual and quantitative effects of each experiment. We build a series of scientific experiments to isolate effective design choices in video synthesis for virtual clothing try-on. Specifically, we investigate the effect of different pose annotations, self-attention layer placement, and activation functions on the quantitative and qualitative performance of video virtual try-on. We find that DensePose annotations not only enhance face details but also decrease memory usage and training time. Next, we find that attention layers improve face and neck quality. Finally, we show that GELU and ReLU activation functions are the most effective in our experiments despite the appeal of newer activations such as Swish and Sine. We will release a well-organized code base, hyperparameters, and model checkpoints to support the reproducibility of our results. We expect our extensive experiments and code to greatly inform future design choices in video virtual try-on. Our code may be accessed at https://github.com/andrewjong/ShineOn-Virtual-Tryon.


title: Factorization of Binary Matrices: Rank Relations, Uniqueness and Model Selection of Boolean Decomposition

abstract: The application of binary matrices are numerous. Representing a matrix as a mixture of a small collection of latent vectors via low-rank decomposition is often seen as an advantageous method to interpret and analyze data. In this work, we examine the factorizations of binary matrices using standard arithmetic (real and nonnegative) and logical operations (Boolean and $\mathbb{Z}_2$). We examine the relationships between the different ranks, and discuss when factorization is unique. In particular, we characterize when a Boolean factorization $X = W \land H$ has a unique $W$, a unique $H$ (for a fixed $W$), and when both $W$ and $H$ are unique, given a rank constraint. We introduce a method for robust Boolean model selection, called BMF$k$, and show on numerical examples that BMF$k$ not only accurately determines the correct number of Boolean latent features but reconstruct the pre-determined factors accurately.


title: Intermediate-mass Black Holes from High Massive-star Binary Fractions in Young Star Clusters

abstract: Black holes formed in dense star clusters, where dynamical interactions are frequent, may have fundamentally different properties than those formed through isolated stellar evolution. Theoretical models for single star evolution predict a gap in the black hole mass spectrum from roughly $40-120\,M_{\odot}$ caused by (pulsational) pair-instability supernovae. Motivated by the recent LIGO/Virgo event GW190521, we investigate whether black holes with masses within or in excess of this "upper-mass gap" can be formed dynamically in young star clusters through strong interactions of massive stars in binaries. We perform a set of $N$-body simulations using the CMC cluster-dynamics code to study the effects of the high-mass binary fraction on the formation and collision histories of the most massive stars and their remnants. We find that typical young star clusters with low metallicities and high binary fractions in massive stars can form several black holes in the upper-mass gap and often form at least one intermediate-mass black hole. These results provide strong evidence that dynamical interactions in young star clusters naturally lead to the formation of more massive black hole remnants.


title: Simulation Environment for Safety Assessment of CEAV Deployment in Linden

abstract: This report presents a simulation environment for pre-deployment testing of the autonomous shuttles that will operate in the Linden Residential Area. An autonomous shuttle deployment was already successfully launched and operated in the city of Columbus and ended recently. This report focuses on the second autonomous shuttle deployment planned to start in December, 2019, using a route that will help to solve first-mile / last-mile mobility challenges in the Linden neighborhood of Columbus by providing free rides between St. Stephens Community House, Douglas Community Recreation Center, Rosewind Resident Council and Linden Transit Center. This document presents simulation testing environments in two open source simulators and a commercial simulator for this residential area route and how they can be used for model-in-the-loop and hardware-in-the-loop simulation testing of autonomous shuttle operation before the actual deployment.


title: Complex magnetic phases in polar tetragonal intermetallic NdCoGe$_3$

abstract: Polar materials can host a variety of topologically significant magnetic phases, which often emerge from a modulated magnetic ground state. Relatively few noncentrosymmetric tetragonal materials have been shown to host topological spin textures and new candidate materials are necessary to expand the current theoretical models. This manuscript reports on the anisotropic magnetism in the polar, tetragonal material NdCoGe$_3$ via thermodynamic and neutron diffraction measurements. The previously reported $H$-$T$ phase diagram is updated to include several additional phases, which exist for both $H$ = 0 and with an applied field H$\perp$ c. Neutron diffraction data reveal that the magnetic structures below $T_{N1}$ = 3.70 K and $T_{N2}$ = 3.50 K are incommensurate, with a ground state magnetic order that is incommensurate in all directions with the propagation vector $\vec{k}$ = (0.494, 0.0044, 0.385) at 1.8 K. A unique magnetic structure solution is not achievable, but the possible single and multi-$\vec{k}$ spin models are discussed. These results demonstrate that NdCoGe3 hosts complicated magnetic order derived from modulated magnetic moments.


title: Neutral Current Neutrino Interactions at FASER$\nu$

abstract: In detecting neutrinos from the Large Hadron Collider, FASER$\nu$ will record the most energetic laboratory neutrinos ever studied. While charged current neutrino scattering events can be cleanly identified by an energetic lepton exiting the interaction vertex, neutral current interactions are more difficult to detect. We explore the potential of FASER$\nu$ to observe neutrino neutral current scattering $\nu N \to \nu N$, demonstrating techniques to discriminate neutrino scattering events from neutral hadron backgrounds as well as to estimate the incoming neutrino energy given the deep inelastic scattering final state. We find that deep neural networks trained on kinematic observables allow for the measurement of the neutral current scattering cross section over neutrino energies from 100 GeV to several TeV. Such a measurement can be interpreted as a probe of neutrino non-standard interactions that is complementary to limits from other tests such as oscillations and coherent neutrino-nucleus scattering.


title: Three-dimensional modelling of accretion columns: spatial asymmetry and self-consistent simulations

abstract: The paper presents the results of three-dimensional (3D) modelling of the structure and the emission of accretion columns formed above the surface of accreting strongly magnetized neutron stars under the circumstances when a pressure of the photons generated in the column base is enough to determine the dynamics of the plasma flow. On the foundation of numerical radiation hydrodynamic simulations, several 3D models of accretion column are constructed. The first group of the models contains spatially 3D columns. The corresponding calculations lead to the distributions of the radiation flux over the sidewalls of the columns which are not characterized by axial symmetry. The second group includes the self-consistent modelling of spectral radiative transfer and two-dimensional spatial structure of the column, with both thermal and bulk Comptonization taken into account. The changes in the structure of the column and the shape of X-ray continuum are investigated depending on physical parameters of the model.


title: The Pro-\'Etale Topos as a Category of Pyknotic Presheaves

abstract: Let $X$ be a coherent scheme and let $\operatorname{Gal}(X)$ denote the Galois category of $X$, as introduced by Barwick, Glasman and Haine. In this paper we prove that the hypercomplete pro-\'etale $\infty$-topos $X_{\operatorname{proet}}$ of $X$, introduced by Bhatt and Scholze, is equivalent to the category of continuous representations of $\operatorname{Gal}(X)$ with values in the $\infty$-category of pyknotic spaces.


title: Charge Order Lock-in by Electron-Phonon Coupling in La$_{1.675}$Eu$_{0.2}$Sr$_{0.125}$CuO$_4$

abstract: We report an ultrahigh resolution resonant inelastic x-ray scattering (RIXS) study of the in-plane bond-stretching phonon mode in stripe-ordered cuprate La$_{1.675}$Eu$_{0.2}$Sr$_{0.125}$CuO$_4$. Phonon softening and lifetime shortening are found around the charge ordering wave vector. In addition to these self-energy effects, the electron-phonon coupling is probed by its proportionality to the RIXS cross section. We find an enhancement of the electron-phonon coupling around the charge-stripe ordering wave vector upon cooling into the low-temperature tetragonal structure phase. These results suggest that in addition to electronic correlations, electron-phonon coupling contributes significantly to the emergence of long-range charge-stripe order in cuprates.


title: CityLearn: Standardizing Research in Multi-Agent Reinforcement Learning for Demand Response and Urban Energy Management

abstract: Rapid urbanization, increasing integration of distributed renewable energy resources, energy storage, and electric vehicles introduce new challenges for the power grid. In the US, buildings represent about 70% of the total electricity demand and demand response has the potential for reducing peaks of electricity by about 20%. Unlocking this potential requires control systems that operate on distributed systems, ideally data-driven and model-free. For this, reinforcement learning (RL) algorithms have gained increased interest in the past years. However, research in RL for demand response has been lacking the level of standardization that propelled the enormous progress in RL research in the computer science community. To remedy this, we created CityLearn, an OpenAI Gym Environment which allows researchers to implement, share, replicate, and compare their implementations of RL for demand response. Here, we discuss this environment and The CityLearn Challenge, a RL competition we organized to propel further progress in this field.


title: Primordial nucleosynthesis with varying fundamental constants: Degeneracies with cosmological parameters

abstract: The success of primordial nucleosynthesis as a cornerstone of the hot Big Bang model has been limited by the long-standing lithium problem. Recent work presented a self-consistent perturbative analysis of the effects of variations in nature's fundamental constants on primordial nucleosynthesis for a broad class of grand unified theory models, showing that such models provide a possible solution to the lithium problem, provided the value of the fine-structure constant $\alpha$ at the nucleosynthesis epoch is larger than the current laboratory one by a few parts per million of relative variation. Here we extend the earlier analysis, focusing on how this preferred value of $\alpha$ is affected if relevant cosmological parameters are also allowed to vary--specifically focusing on the baryon-to-photon ratio, the number of neutrinos, and the neutron lifetime. We rephrase the lithium problem in terms of the values of these parameters that would be needed to solve it within this class of grand unified theories, thus obtaining values that would disagree with the results of other experiments by several standard deviations. Using these experimental results as priors in the analysis, we find that a larger value of $\alpha$ is still preferred, confirming our previous results. By excluding lithium from the analysis, we also obtain upper limits on possible variations of $\alpha$ at the primordial nucleosynthesis epoch. At the two-sigma level, these are $|\Delta\alpha/\alpha|<50$ ppm without nuclear physics, cosmology, or atomic clocks priors, or alternatively $|\Delta\alpha/\alpha|<5$ ppm if these priors are used. While the simplest solution to the lithium problem is likely to be found within observational astrophysics, our work shows that varying fundamental constants remain a viable alternative.


abstract: This study introduces the Territory Design for Dynamic Multi-Period Vehicle Routing Problem with Time Windows (TD-DMPVRPTW), motivated by a real-world application at a food company's distribution center. This problem deals with the design of contiguous and compact territories for delivery of orders from a depot to a set of customers, with time windows, over a multi-period planning horizon. Customers and their demands vary dynamically over time. The problem is modeled as a mixed-integer linear program (MILP) and solved by a proposed heuristic. The heuristic solutions are compared with the proposed MILP solutions on a set of small artificial instances and the food company's solutions on a set of real-world instances. Computational results show that the proposed algorithm can yield high-quality solutions within moderate running times.


title: All $\mathcal{N}=(8,0)$ AdS$_3$ solutions in 10 and 11 dimensions

abstract: We classify AdS$_3$ solutions preserving $\mathcal{N}=(8,0)$ supersymmetry in ten and eleven dimensions and find the local form of each of them. These include the AdS$_3\times$S$^6$ solution of \cite{Dibitetto:2018ftj} and the embeddings of AdS$_3$ into AdS$_4\times$S$^7$, AdS$_5\times$S$^5$, AdS$_7/\mathbb{Z}_k\times$S$^4$ and its IIA reduction within AdS$_7$. More interestingly we find solutions preserving the superconformal algebras $\mathfrak{f}_4$, $\mathfrak{su}(1,1|4)$, $\mathfrak{osp}(4^*|4)$ on certain squashings of the 7-sphere. These solutions asymptote to AdS$_4\times$S$^7$ and are promising candidates for holographic duals to defects in Chern-Simons matter theories.


title: Position-dependent Voronoi probability distribution functions for matter and halos

abstract: We measure the Voronoi density probability distribution function (PDF) for both dark matter and halos in N-body simulations. For the dark matter, Voronoi densities represent the matter density field smoothed on a uniform mass scale, which approximates the Lagrangian density field. For halos, the Voronoi densities contain information about the local environment of each halo. We measure the halo virial masses, the total amount of dark matter within each halo Voronoi cell, and the halo Voronoi cell volumes, and we show how halo abundances depend on these three quantities. We then study the position-dependent Voronoi density PDF, measured within finite subregions of the Universe, using separate universe simulations. We demonstrate that the spatial variation of the position-dependent PDF is due to large-scale density fluctuations, indicating that the position-dependent PDF is a biased tracer of large-scale structure. We measure this bias for the dark matter, and interpret it as the bias of regions of the Lagrangian density field that are selected based on density. For the halos, this bias can be interpreted as a form of assembly bias. We present the mapping from late-time to early-time Voronoi density for each simulation dark matter particle, which is highly stochastic. We compare the median of this stochastic map with spherical collapse calculations and discuss challenges involved in modeling the evolution of the density field on these scales.


title: Updated Measurements of Proton, Electron, and Oxygen Temperatures in the Fast Solar Wind

abstract: The high-speed solar wind is typically the simplest and least stochastic type of large-scale plasma flow in the heliosphere. For much of the solar cycle, it is connected magnetically to large polar coronal holes on the Sun's surface. Because these features are relatively well-known (and less complex than the multiple source-regions of the slow wind), the fast wind is often a useful testing-ground for theoretical models of coronal heating. In order to provide global empirical constraints to these models, here we collect together some older and more recent measurements of the temperatures of protons, electrons, and oxygen ions as a function of radial distance.


title: On the structure of a poly-$\mathbb{Z}$ group

abstract: In this paper we study a certain class of polycyclic groups. We outline a method for constructing a poly-$\mathbb{Z}$ group $G_n$ by describing a process for selecting maps that are used to extend $G_i$ to $G_{i+1}$ for $1 \leq i \leq n-1$ and describe the multiplicative structure and automorphism groups of some poly-$\mathbb{Z}$ groups up to $G_3$.


title: An Infrastructure for Faithful Execution of Remote Attestation Protocols

abstract: Remote attestation is an emerging technology for establishing trust in a remote computing system. Copland is a domain-specific language for specifying layered attestation protocols, characterizing attestation-relevant system events, and describing evidence bundling. In this work we formally define and verify a Copland Compiler and Copland Virtual Machine for executing Copland protocols. The compiler translates Copland into instructions that are executed on the virtual machine. The compiler and virtual machine are implemented as monadic, functional programs in the Coq proof assistant and verified with respect to the Copland event and evidence semantics. In addition we introduce the Attestation Manager Monad as an environment for managing Copland term execution providing support for managing nonces, binding results of Copland protocols to variables, and appraising evidence results.


title: Optimizing lateral quantum dot geometries for reduced exchange noise

abstract: For electron spin qubits in quantum dots, reducing charge noise sensitivity is a critical step in achieving fault tolerant two-qubit gates mediated by the exchange interaction. This work explores how the physical device geometry affects the sensitivity of exchange to fluctuations in applied gate voltage and interdot bias due to charge noise. We present a modified linear combination of harmonic orbitals configuration interaction (LCHO-CI) method for calculating exchange energies that is applicable to general quantum dot networks. In the modified LCHO-CI approach, an orthogonal set of harmonic orbitals formed at the center of the dot network is used to approximate the many-electron states. This choice of basis significantly reduces the computation time of the full CI calculation by enabling a pre-calculated library of matrix elements to be used in evaluating the Coulomb integrals. The resultant many-electron spectra are mapped onto a Heisenberg Hamiltonian to determine the individual pairwise electronic exchange interaction strengths, $J_{ij}$. The accuracy of the modified LCHO-CI method is further improved by optimizing the choice of harmonic orbitals without significantly lengthening the calculation time. The modified LCHO-CI method is used to calculate $J$ for a silicon MOSFET double quantum dot occupied by two electrons. Two-dimensional potential landscapes are calculated from a 3D device structure, including both the Si/SiO$_2$ heterostructure and metal gate electrodes. The computational efficiency of the modified LCHO-CI method enables systematic tuning of the device parameters to determine their impact on the sensitivity of $J$ to charge noise, including plunger gate size, tunnel gate width, SiO$_2$ thickness and dot eccentricity. Generally, we find that geometries with larger dot charging energies, smaller plunger gate lever arms, and symmetric dots are less sensitive to noise.


title: Constraining alternatives to a cosmological constant: generalized couplings and scale invariance

abstract: We present a comparative analysis of observational low-redshift background constraints on three candidate models for explaining the low-redshift acceleration of the universe. The generalized coupling model by Feng and Carloni and the scale invariant model by Maeder (both of which can be interpreted as bimetric theories) are compared to the traditional parametrization of Chevallier, Polarski and Linder. In principle the generalized coupling model, which in vacuum is equivalent to General Relativity, contains two types of vacuum energy: the usual cosmological constant plus a second contribution due to the matter fields. We show that the former is necessary for the model to agree with low-redshift observations, while there is no statistically significant evidence for the presence of the second. On the other hand the scale invariant model effectively has a time-dependent cosmological constant. In this case we show that a matter density $\Omega_m\sim0.3$ is a relatively poor fit to the data, and the best-fit model would require a fluid with a much smaller density and a significantly positive equation of state parameter.


title: Virtual persistence diagrams, signed measures, Wasserstein distances, and Banach spaces

abstract: Persistence diagrams, an important summary in topological data analysis, consist of a set of ordered pairs, each with positive multiplicity. Persistence diagrams are obtained via Mobius inversion and may be compared using a one-parameter family of metrics called Wasserstein distances. In certain cases, Mobius inversion produces sets of ordered pairs which may have negative multiplicity. We call these virtual persistence diagrams. Divol and Lacombe recently showed that there is a Wasserstein distance for Radon measures on the half plane of ordered pairs that generalizes both the Wasserstein distance for persistence diagrams and the classical Wasserstein distance from optimal transport theory. Following this work, we define compatible Wasserstein distances for persistence diagrams and Radon measures on arbitrary metric spaces. We show that the 1-Wasserstein distance extends to virtual persistence diagrams and to signed measures. In addition, we characterize the Cauchy completion of persistence diagrams with respect to the Wasserstein distances. We also give a universal construction of a Banach space with a 1-Wasserstein norm. Persistence diagrams with the 1-Wasserstein distance isometrically embed into this Banach space.


title: Lysine residues control the conformational dynamics of beta 2-glycoprotein I

abstract: One of the major problems in the study of the dynamics of proteins is the visualization of changing conformations that are important for processes ranging from enzyme catalysis to signaling. A protein exhibiting conformational dynamics is the soluble blood protein beta 2-glycoprotein I (beta2GPI), which exists in two conformations: the closed (circular) form and the open (linear) form. It is hypothesized that an increased proportion of the open conformation leads to the autoimmune disease antiphospholipid syndrome (APS). A characteristic feature of beta2GPI is the high content of lysine residues. However, the potential role of lysine in the conformational dynamics of beta2GPI has been poorly investigated. Here, we report on a strategy to permanently open up the closed protein conformation by chemical acetylation of lysine residues using acetic acid N-hydroxysuccinimide ester (NHS-Ac). Specific and complete acetylation was demonstrated by the quantification of primary amino groups with fluoraldehyde o-phthalaldehyde (OPA) reagent, as well as western blot analysis with an anti-acetylated lysine antibody. Our results demonstrate that acetylated beta2GPI preserves its secondary and tertiary structures, as shown by circular dichroism spectroscopy. We found that after lysine acetylation, the majority of proteins are in the open conformation as revealed by atomic force microscopy high-resolution images. Using this strategy, we proved that the electrostatic interaction of lysine residues plays a major role in stabilizing the beta2GPI closed conformation, as confirmed by lysine charge distribution calculations. We foresee that our approach will be applied to other lysine-rich proteins (e.g. histones) undergoing conformational transitions.


title: Computer Vision based Tomography of Structures Using 3D Digital Image Correlation

abstract: Internal properties of a sample can be observed by medical imaging tools, such as ultrasound devices, magnetic resonance imaging (MRI) and optical coherence tomography (OCT) which are based on relying on changes in material density or chemical composition [1-21]. As a preliminary investigation, the feasibility to detect interior defects inferred from the discrepancy in elasticity modulus distribution of a three-dimensional heterogeneous sample using only surface full-field measurements and finite element model updating as an inverse optimization algorithm without any assumption about local homogeneities and also the elasticity modulus distribution is investigated. Recently, the authors took advantages of the digital image correlation technique as a full field measurement in constitutive property identification of a full-scale steel component [22-27]. To the extension of previous works, in this brief technical note, the new idea intended at recovering unseen volumetric defect distributions within the interior of three-dimensional heterogeneous space of the structural component using 3D-Digital Image Correlation for structural identification [28-57]. As a proof of concept, the results of this paper illustrate the potential to identify invisible internal defect by the proposed computer vision technique establishes the potential for new opportunities to characterize internal heterogeneous materials for their mechanical property distribution and condition state.


title: Machine learning applications using diffusion tensor imaging of human brain: A PubMed literature review

abstract: We performed a PubMed search to find 148 papers published between January 2010 and December 2019 related to human brain, Diffusion Tensor Imaging (DTI), and Machine Learning (ML). The studies focused on healthy cohorts (n = 15), mental health disorders (n = 25), tumor (n = 19), trauma (n = 5), dementia (n = 24), developmental disorders (n = 5), movement disorders (n = 9), other neurological disorders (n = 27), miscellaneous non-neurological disorders, or without stating the disease of focus (n = 7), and multiple combinations of the aforementioned categories (n = 12). Classification of patients using information from DTI stands out to be the most commonly (n = 114) performed ML application. A significant number (n = 93) of studies used support vector machines (SVM) as the preferred choice of ML model for classification. A significant portion (31/44) of publications in the recent years (2018-2019) continued to use SVM, support vector regression, and random forest which are a part of traditional ML. Though many types of applications across various health conditions (including healthy) were conducted, majority of the studies were based on small cohorts (less than 100) and did not conduct independent/external validation on test sets.


title: Human 3D keypoints via spatial uncertainty modeling

abstract: We introduce a technique for 3D human keypoint estimation that directly models the notion of spatial uncertainty of a keypoint. Our technique employs a principled approach to modelling spatial uncertainty inspired from techniques in robust statistics. Furthermore, our pipeline requires no 3D ground truth labels, relying instead on (possibly noisy) 2D image-level keypoints. Our method achieves near state-of-the-art performance on Human3.6m while being efficient to evaluate and straightforward to


title: Interaction of fibrinogen-magnetic nanoparticle bioconjugates with integrin reconstituted into artificial membranes

abstract: Magnetic nanoparticles have a broad spectrum of biomedical applications including cell separation, diagnostics and therapy. One key issue is little explored: how do the engineered nanoparticles interact with blood components after injection? The formation of bioconjugates in the bloodstream and subsequent reactions are potentially toxic due to the ability to induce an immune response. The understanding of the underlying processes is of major relevance to design not only efficient, but also safe nanoparticles for targeted drug delivery applications. In this study, we report on maghemite nanoparticles functionalized with citrate, dextran and polyethylene glycol coatings and their interaction with the clotting protein fibrinogen. Further, we investigate using biophysical tools (e.g. dynamic light scattering, circular dichroism spectroscopy and quartz crystal microbalance) the interaction of the magnetic nanoparticles-fibrinogen bioconjugates with artificial cell membranes as a model system for blood platelets. We found that fibrinogen corona formation provides colloidal stability to maghemite nanoparticles. In addition, bioconjugates of fibrinogen with dextran and citrate coated NPs interact with integrin containing lipid bilayer, especially upon treatment with divalent ions, whereas PEG-coating reveals minor interaction. Our study at the interface of protein-conjugated nanoparticles and artificial cell membranes is essential for engineering safe nanoparticles for drug delivery applications.


title: Stimulated emission depletion spectroscopy of color centers in hexagonal boron nitride

abstract: We demonstrate the use of Stimulated Emission Depletion (STED) spectroscopy to map the electron-optical-phonon sideband of the ground state of the radiative transition of color centers in hexagonal boron nitride emitting at 2.0-2.2 eV, with in-plane linear polarization. The measurements are compared to Photoluminescence of Excitation (PLE) spectra, that maps the electron-optical-phonon sideband of the excited state. The main qualitative difference is a red-shift in the longitudinal optical phonon peak associated with $E_{1u}$ symmetry at the zone center. We argue that this is consistent with recent findings for a carbon-based line defect with admixture of energetically similar excited states.


title: A PDE model for chemotaxis with logarithmic sensitivity and logistic growth

abstract: In this paper, we study the initial-boundary value problem and its asymptotic behavior for a repulsive chemotaxis model with logarithmic sensitivity and logistic growth. We establish global well-posedness of strong solutions for large initial data with Neumann boundary conditions and, moreover, establish the qualitative result that both the population density and chemical concentration asymptotically converge to constant states with the population density specifically converging to its carrying capacity. We additionally prove that the vanishing chemical diffusivity limit holds in this regime. Lastly, we provide numerical confirmation of the rigorous qualitative results, as well as numerical simulations that demonstrate a separation of scales phenomenon.


title: A backward ergodic theorem along trees and its consequences for free group actions

abstract: We prove a new pointwise ergodic theorem for probability-measure-preserving (pmp) actions of free groups, where the ergodic averages are taken over arbitrary finite subtrees of the standard Cayley graph rooted at the identity. This result is a significant strengthening of a theorem of Grigorchuk (1987) and Nevo and Stein (1994), and a version of it was conjectured by Bufetov in 2002. Our theorem for free groups arises from a new - backward - ergodic theorem for a countable-to-one pmp transformation, where the averages are taken over arbitrary trees of finite height in the backward orbit of the point (i.e. trees of possible pasts). We also discuss other applications of this backward theorem, in particular to the shift map with Markov measures, which yields a pointwise ergodic theorem along trees for the boundary actions of free groups.


title: A closed form scale bound for the $(\epsilon, \delta)$-differentially private Gaussian Mechanism valid for all privacy regimes

abstract: The standard closed form lower bound on $\sigma$ for providing $(\epsilon, \delta)$-differential privacy by adding zero mean Gaussian noise with variance $\sigma^2$ is $\sigma > \Delta\sqrt {2}(\epsilon^{-1}) \sqrt {\log \left( 5/4\delta^{-1} \right)}$ for $\epsilon \in (0,1)$. We present a similar closed form bound $\sigma \geq \Delta (\epsilon\sqrt{2})^{-1} \left(\sqrt{az+\epsilon} + s\sqrt{az}\right)$ for $z=-\log(4\delta(1-\delta))$ and $(a,s)=(1,1)$ if $\delta \leq 1/2$ and $(a,s)=(\pi/4,-1)$ otherwise. Our bound is valid for all $\epsilon > 0$ and is always lower (better). We also present a sufficient condition for $(\epsilon, \delta)$-differential privacy when adding noise distributed according to even and log-concave densities supported everywhere.


title: Stability of Einstein metrics on symmetric spaces of compact type

abstract: We prove the linear stability with respect to the Einstein-Hilbert action of the symmetric spaces $\mathrm{SU}(n)$, $n\geq3$, and $E_6/F_4$. Combined with earlier results, this resolves the stability problem for irreducible symmetric spaces of compact type.


title: Upward Point Set Embeddings of Paths and Trees

abstract: We study upward planar straight-line embeddings (UPSE) of directed trees on given point sets. The given point set $S$ has size at least the number of vertices in the tree. For the special case where the tree is a path $P$ we show that: (a) If $S$ is one-sided convex, the number of UPSEs equals the number of maximal monotone paths in $P$. (b) If $S$ is in general position and $P$ is composed by three maximal monotone paths, where the middle path is longer than the other two, then it always admits an UPSE on $S$. We show that the decision problem of whether there exists an UPSE of a directed tree with $n$ vertices on a fixed point set $S$ of $n$ points is NP-complete, by relaxing the requirements of the previously known result which relied on the presence of cycles in the graph, but instead fixing position of a single vertex. Finally, by allowing extra points, we guarantee that each directed caterpillar on $n$ vertices and with $k$ switches in its backbone admits an UPSE on every set of $n 2^{k-2}$ points.


title: Achieving Operational Scalability Using Razee Continuous Deployment Model and Kubernetes Operators

abstract: Recent advancements in the cloud computing domain have resulted in huge strides toward simplifying the procurement of hardware and software for diverse needs. By moving enterprise workloads to managed cloud offerings (private, public, hybrid), customers are delegating mundane tasks and labor-intensive maintenance activities related to network connectivity, procurement of cloud resource, application deployment, software patches, and upgrades, etc., This often translates to benefits such as high availability and reduced cost. The popularity of container and micro-services-based deployment has made Kubernetes the de-facto standard to deliver applications. However, even with Kubernetes orchestration, cloud service providers frequently have operational scalability issues due to lack of Continuous Integration and Continuous Deployment (CICD) automation and increased demand for human operators when managing a large number of software deployments across multiple data centers/availability zones. Kubernetes solves this in a novel way by creating and managing custom applications using Operators. Agile methodology advocates incremental CICD which are adopted by cloud providers. However, ironically, it is this same continuous delivery feature of application updates, Kubernetes cluster upgrades, etc., that is also a bane to cloud providers. In this paper, we will demonstrate the use of IBM open-source project Razee as a scalable continuous deployment framework to deploy open-source RStudio and Nginx Operators. We will discuss how IBM Watson SaaS application Operator, Blockchain applications, and Kubernetes resources updates, etc., can be deployed similarly and the use of Operators to perform application life cycle management. We assert that using Razee in conjunction with Operators on Kubernetes simplifies application life cycle management and increases scalability.


title: Drug-induced activation of integrin alpha IIb beta 3 leads to minor localized structural changes

abstract: Integrins are transmembrane proteins involved in hemostasis, wound healing, immunity and cancer. In response to intracellular signals and ligand binding, integrins adopt different conformations: the bent (resting) form; the intermediate extended form; and the ligand-occupied active form. An integrin undergoing such conformational dynamics is the heterodimeric platelet receptor alphaIIbbeta3. Although the dramatic rearrangement of the overall structure of alphaIIbbeta3 during the activation process is potentially related to changes in the protein secondary structure, this has not been investigated so far in a membrane environment. Here we examine the Mn2+- and drug-induced activation of alphaIIbbeta3 and the impact on the structure of this protein reconstituted into liposomes. By quartz crystal microbalance with dissipation monitoring and activation assays we show that Mn2+ induces binding of the conformation-specific antibody PAC-1, which only recognizes the extended, active integrin. Circular dichroism spectroscopy reveals, however, that Mn2+-treatment does not induce major secondary structural changes of alphaIIbbeta3. Similarly, we found that treatment with clinically relevant drugs (e.g. quinine) led to the activation of alphaIIbbeta3 without significant changes in protein secondary structure. Molecular dynamics simulation studies revealed minor local changes in the beta-sheet probability of several extracellular domains of the integrin. Our experimental setup represents a new approach to study transmembrane proteins, especially integrins, in a membrane environment and opens a new way for testing drug binding to integrins under clinically relevant conditions.


title: Structure and composition of C-S-H compounds up to 143 GPa

abstract: We synthesized two C-S-H compounds from a mixture of carbon and sulfur in hydrogen and from sulfur in mixed methane-hydrogen fluids at 4 GPa. X-ray synchrotron single-crystal diffraction and Raman spectroscopy have been applied to these samples up to 58 and 143 GPa, respectively. Both samples show a similar Al2Cu type I4/mcm basic symmetry, while the hydrogen subsystem evolves with pressure via variously ordered molecular and extended modifications. The methane bearing sample lowers symmetry to an orthorhombic Pnma structure after laser heating to 1400 K at 143 GPa. The results suggest that superconducting C-S-H compounds are structurally different from a common Im-3m H3S.


title: Rupture Forces among Human Blood Platelets at different Degrees of Activation

abstract: Little is known about mechanics underlying the interaction among platelets during activation and aggregation. Although the strength of a blood thrombus has likely major biological importance, no previous study has measured directly the adhesion forces of single platelet-platelet interaction at different activation states. Here, we filled this void first, by minimizing surface mediated platelet activation and second, by generating a strong adhesion force between a single platelet and an AFM cantilever, preventing early platelet detachment. We applied our setup to measure rupture forces between two platelets using different platelet activation states, and blockade of platelet receptors. The rupture force was found to increase proportionally to the degree of platelet activation, but reduced with blockade of specific platelet receptors. Quantification of single platelet-platelet interaction provides major perspectives for testing and improving biocompatibility of new materials; quantifying the effect of drugs on platelet function; and assessing the mechanical characteristics of acquired/inherited platelet defects.


title: Dynamic Traffic Modeling From Overhead Imagery

abstract: Our goal is to use overhead imagery to understand patterns in traffic flow, for instance answering questions such as how fast could you traverse Times Square at 3am on a Sunday. A traditional approach for solving this problem would be to model the speed of each road segment as a function of time. However, this strategy is limited in that a significant amount of data must first be collected before a model can be used and it fails to generalize to new areas. Instead, we propose an automatic approach for generating dynamic maps of traffic speeds using convolutional neural networks. Our method operates on overhead imagery, is conditioned on location and time, and outputs a local motion model that captures likely directions of travel and corresponding travel speeds. To train our model, we take advantage of historical traffic data collected from New York City. Experimental results demonstrate that our method can be applied to generate accurate city-scale traffic models.


title: A Graph Attention Based Approach for Trajectory Prediction in Multi-agent Sports Games

abstract: This work investigates the problem of multi-agents trajectory prediction. Prior approaches lack of capability of capturing fine-grained dependencies among coordinated agents. In this paper, we propose a spatial-temporal trajectory prediction approach that is able to learn the strategy of a team with multiple coordinated agents. In particular, we use graph-based attention model to learn the dependency of the agents. In addition, instead of utilizing the recurrent networks (e.g., VRNN, LSTM), our method uses a Temporal Convolutional Network (TCN) as the sequential model to support long effective history and provide important features such as parallelism and stable gradients. We demonstrate the validation and effectiveness of our approach on two different sports game datasets: basketball and soccer datasets. The result shows that compared to related approaches, our model that infers the dependency of players yields substantially improved performance. Code is available at https://github.com/iHeartGraph/predict


title: Anti-platelet factor 4/polyanion antibodies mediate a new mechanism of autoimmunity

abstract: Antibodies recognizing complexes of the chemokine platelet factor 4 (PF4-CXCL4) and polyanions (P) opsonize PF4-coated bacteria hereby mediating bacterial host defense. A subset of these antibodies may activate platelets after binding to PF4-heparin complexes, causing the prothrombotic adverse drug reaction heparin-induced thrombocytopenia (HIT). In autoimmune-HIT, anti-PF4-P-antibodies activate platelets in the absence of heparin. Here we show that antibodies with binding forces of approximately 60-100 pN activate platelets in the presence of polyanions, while a subset of antibodies from autoimmune-HIT patients with binding forces greater than 100 pN binds to PF4 alone in the absence of polyanions. These antibodies with high binding forces cluster PF4-molecules forming antigenic complexes which allow binding of polyanion-dependent anti-PF4-P-antibodies. The resulting immunocomplexes induce massive platelet activation in the absence of heparin. Antibody-mediated changes in endogenous proteins that trigger binding of otherwise non-pathogenic (or cofactor-dependent) antibodies may also be relevant in other antibody-mediated autoimmune disorders.


title: Atlas-ISTN: Joint Segmentation, Registration and Atlas Construction with Image-and-Spatial Transformer Networks

abstract: Deep learning models for semantic segmentation are able to learn powerful representations for pixel-wise predictions, but are sensitive to noise at test time and do not guarantee a plausible topology. Image registration models on the other hand are able to warp known topologies to target images as a means of segmentation, but typically require large amounts of training data, and have not widely been benchmarked against pixel-wise segmentation models. We propose Atlas-ISTN, a framework that jointly learns segmentation and registration on 2D and 3D image data, and constructs a population-derived atlas in the process. Atlas-ISTN learns to segment multiple structures of interest and to register the constructed, topologically consistent atlas labelmap to an intermediate pixel-wise segmentation. Additionally, Atlas-ISTN allows for test time refinement of the model's parameters to optimize the alignment of the atlas labelmap to an intermediate pixel-wise segmentation. This process both mitigates for noise in the target image that can result in spurious pixel-wise predictions, as well as improves upon the one-pass prediction of the model. Benefits of the Atlas-ISTN framework are demonstrated qualitatively and quantitatively on 2D synthetic data and 3D cardiac computed tomography and brain magnetic resonance image data, out-performing both segmentation and registration baseline models. Atlas-ISTN also provides inter-subject correspondence of the structures of interest, enabling population-level shape and motion analysis.


title: PAARS: Privacy Aware Access Regulation System

abstract: During pandemics, health officials usually recommend access monitoring and regulation protocols/systems in places that are major activity centres. As organizations adhere to those recommendations, they often fail to implement proper privacy requirements to prevent privacy loss of the users of those protocols or systems. This is a very timely issue as health authorities across the world are increasingly putting these regulations in place to mitigate the spread of the current pandemic. A number of solutions have been proposed to mitigate these privacy issues existing in current models of contact tracing or access regulations systems. However, a prevalent pattern among these solutions are they mainly focus on protecting users privacy from server side and involve Bluetooth based ephemeral identifier exchange between users. Another pattern is all the current solutions try to solve the problem in city-wide or nation-wide level. In this paper, we propose a system, PAARS, which approaches the privacy issues in access monitoring/regulation systems from a micro level. We solve the privacy issues in access monitoring/regulation systems without any exchange of any ephemeral identifiers between users. Moreover, our proposed system provides privacy on both server side and the user side by using secure hashing and differential privacy mechanism.


title: Physical effects on compact high-velocity clouds in the circumgalactic medium

abstract: We numerically investigate the evolution of compact high-velocity clouds (CHVCs) passing through a hot, tenuous gas representing the highly-ionized circumgalactic medium (CGM) by applying the adaptive-mesh refinement code FLASH. The model clouds start from both hydrostatic and thermal equilibrium and are in pressure balance with the CGM. Here, we present 14 models, divided into two mass categories and two metallicities each and different velocities. We allow for self-gravity and thermal conduction or not. All models experience mass diffusion, radiative cooling, and external heating leading to dissociation and ionization. Our main findings are: 1) self-gravity stabilizes clouds against Rayleigh-Taylor instability which are disrupted within 10 sound-crossing times without; 2) clouds can develop Jeans-instable regions internally even though they are initially below Jeans mass; 3) all clouds lose mass by ram pressure and Kelvin-Helmholtz instability; 4) thermal conduction substantially lowers mass-loss rates, by this, extending the clouds' lifetimes, particularly, more than doubling the lifetime of low-mass clouds; 5) thermal conduction leads to continuous, filamentary stripping, while the removed gas is heated up quickly and mixes efficiently with the ambient CGM; 6) without thermal conduction the removed gas consists of dense, cool, clumpy fragments; 7) thermal conduction might prevent CHVCs from forming stars; 8) clouds decelerated by means of drag from the ambient CGM form head-tail shapes and collapse after they reach velocities characteristic for intermediate-velocity clouds. Conclusively, only sophisticated modelling of CHVCs as non-homogeneous and non-isothermal clouds with thermal conduction and self-gravity explains observed morphologies and naturally leads to the suppression of star formation.


title: The Generalised LKF Transformations for Arbitrary $N$-point Fermion Correlators

abstract: We examine the non-perturbative gauge dependence of arbitrary configuration space fermion correlators in quantum electrodynamics (QED). First, we study the dressed electron propagator (allowing for emission or absorption of any number of photons along a fermion line) using the first quantised approach to quantum field theory and analyse its gauge transformation properties induced by virtual photon exchange. This is then extended to the $N$-point functions where we derive an exact, generalised version of the fully non-perturbative Landau-Khalatnikov-Fradkin (LKF) transformation for these correlators. We discuss some general aspects of application in perturbation theory and investigate the structure of the LKF factor about $D = 2$ dimensions.


title: Predictor Antenna: A Technique to Boost the Performance of Moving Relays

abstract: In future wireless systems, a large number of users may access the networks via moving relays (MRs) installed on top of vehicles. One of the main challenges of MRs is rapid channel variation which may make channel estimation, and its following procedures, difficult. To address these issues, various schemes are designed, among which predictor antenna (PA) is a candidate. The PA setup refers to a system with two (sets of) antennas on top of a vehicle, where the PA(s) positioned in front of the vehicle is(are) utilized to predict the channel state information required for data transmission to the receive antennas (RAs) aligned behind the PA. In this paper, we introduce the concept and the potentials of PA systems. Moreover, summarizing the field trials for PAs and the 3GPP attempts on (moving) relays, we compare the performance of different PA and non-PA methods for vehicle communications in both urban and rural areas with the PA setup backhauled through terrestrial or satellite technology, respectively. As we show, with typical parameter settings and vehicle speeds, a single-antenna PA-assisted setup can boost the backhaul throughput of MRs, compared to state-of-the-art open-loop schemes, by up to 50%.


title: Power corrections in a transverse-momentum cut for vector-boson production at NNLO: the $qg$-initiated real-virtual contribution

abstract: We consider the production of a vector boson ($Z$, $W^\pm$ or $\gamma^*$) at next-to-next-to-leading order in the strong coupling constant $\alpha_{\rm S}$. We impose a transverse-momentum cutoff, $q_{\rm T}^{\rm cut}$, on the vector boson produced in the $qg$-initiated channel. We then compute the power corrections in the cutoff, up to the second power, of the real-virtual interference contribution to the cumulative cross section at order $\alpha_{\rm S}^2$. Other terms with the same kinematics, originating from the subtraction method applied to the double-real contribution, have been also considered. The knowledge of such power corrections is a required ingredient in order to reduce the dependence on the transverse-momentum cutoff of the QCD cross sections at next-to-next-to-leading order, when the $q_{\rm T}$-subtraction method is applied. In addition, the study of the dependence of the cross section on $q_{\rm T}^{\rm cut}$ allows as well for an understanding of its behaviour in the small transverse-momentum limit, giving hints on the structure at all orders in $\alpha_{\rm S}$ and on the identification of universal patterns. Our result are presented in an analytic form, using the process-independent procedure described in a previous paper for the calculation of the all-order power corrections in $q_{\rm T}^{\rm cut}$.


title: On the chromatic localization of the homotopy completion tower for $\mathcal{O}$-algebras

abstract: The completion tower of a nonunital commutative ring is a classical construction in commutative algebra. In the setting of structured ring spectra as modeled by algebras over a spectral operad, the analogous construction is the homotopy completion tower. The purpose of this brief note is to show that localization with respect to the Johnson-Wilson spectrum $E(n)$ commutes with the terms of this tower.


title: Biomedical Knowledge Graph Refinement and Completion using Graph Representation Learning and Top-K Similarity Measure

abstract: Knowledge Graphs have been one of the fundamental methods for integrating heterogeneous data sources. Integrating heterogeneous data sources is crucial, especially in the biomedical domain, where central data-driven tasks such as drug discovery rely on incorporating information from different biomedical databases. These databases contain various biological entities and relations such as proteins (PDB), genes (Gene Ontology), drugs (DrugBank), diseases (DDB), and protein-protein interactions (BioGRID). The process of semantically integrating heterogeneous biomedical databases is often riddled with imperfections. The quality of data-driven drug discovery relies on the accuracy of the mining methods used and the data's quality as well. Thus, having complete and refined biomedical knowledge graphs is central to achieving more accurate drug discovery outcomes. Here we propose using the latest graph representation learning and embedding models to refine and complete biomedical knowledge graphs. This preliminary work demonstrates learning discrete representations of the integrated biomedical knowledge graph Chem2Bio2RD [3]. We perform a knowledge graph completion and refinement task using a simple top-K cosine similarity measure between the learned embedding vectors to predict missing links between drugs and targets present in the data. We show that this simple procedure can be used alternatively to binary classifiers in link prediction.


title: Identifying latent groups in spatial panel data using a Markov random field constrained product partition model

abstract: Understanding the heterogeneity over spatial locations is an important problem that has been widely studied in many applications such as economics and environmental science. In this paper, we focus on regression models for spatial panel data analysis, where repeated measurements are collected over time at various spatial locations. We propose a novel class of nonparametric priors that combines Markov random field (MRF) with the product partition model (PPM), and show that the resulting prior, called by MRF-PPM, is capable of identifying the latent group structure among the spatial locations while efficiently utilizing the spatial dependence information. We derive a closed-form conditional distribution for the proposed prior and introduce a new way to compute the marginal likelihood that renders efficient Bayesian inference. We further study the theoretical properties of the proposed MRF-PPM prior and show a clustering consistency result for the posterior distribution. We demonstrate the excellent empirical performance of our method via extensive simulation studies and applications to a US precipitation data and a California median household income data study.


title: Extraction of the specific shear viscosity of quark-gluon plasma from two-particle transverse momentum correlations

abstract: The specific shear viscosity, $\eta/s$, of the quark-gluon plasma formed in ultrarelativistic heavy-ion collisions at RHIC and LHC is estimated based on the progressive longitudinal broadening of transverse momentum two-particle correlators, $G_2$, reported as a function of collision centrality by the STAR and ALICE experiments. Estimates are computed as a function of collision centrality using the Gavin ansatz which relates the $G_2$ longitudinal broadening to the specific shear viscosity. Freeze out times required for the use of the ansatz are computed using a linear fit of freeze out times reported as a function of the cubic root of the charged particle pseudorapidity density $({\rm d}N_{\rm ch}/{\rm d}\eta)^{1/3}$. Estimates of $\eta/s$ based on ALICE data exhibit little to no dependence on collision centrality at LHC energy, while estimates obtained from STAR data hint that $\eta/s$ might be a function of collision centrality at top RHIC energy.


title: Scattering from Infinity of the Maxwell Klein Gordon Equations in Lorenz Gauge

abstract: We prove global existence backwards from the scattering data posed at infinity for the Maxwell Klein Gordon equations in Lorenz gauge satisfying the weak null condition. The asymptotics of the solutions to the Maxwell Klein Gordon equations in Lorenz gauge were shown to be wave like at null infinity and homogeneous towards timelike infinity in arXiv:1803.11086 and expressed in terms of radiation fields, and thus our scattering data will be given in the form of radiation fields in the backward problem. We give a refinement of the asymptotics results in arXiv:1803.11086, and then making use of this refinement, we find a global solution which attains the prescribed scattering data at infinity. Our work starts from the approach in [22] and is more delicate since it involves nonlinearities with fewer derivatives. Our result corresponds to "existence of scattering states" in the scattering theory. The method of proof relies on a suitable construction of the approximate solution from the scattering data, a weighted conformal Morawetz energy estimate and a spacetime version of Hardy inequality.


title: Dataset Security for Machine Learning: Data Poisoning, Backdoor Attacks, and Defenses

abstract: As machine learning systems grow in scale, so do their training data requirements, forcing practitioners to automate and outsource the curation of training data in order to achieve state-of-the-art performance. The absence of trustworthy human supervision over the data collection process exposes organizations to security vulnerabilities; training data can be manipulated to control and degrade the downstream behaviors of learned models. The goal of this work is to systematically categorize and discuss a wide range of dataset vulnerabilities and exploits, approaches for defending against these threats, and an array of open problems in this space. In addition to describing various poisoning and backdoor threat models and the relationships among them, we develop their unified taxonomy.


title: A 3D GAN for Improved Large-pose Facial Recognition

abstract: Facial recognition using deep convolutional neural networks relies on the availability of large datasets of face images. Many examples of identities are needed, and for each identity, a large variety of images are needed in order for the network to learn robustness to intra-class variation. In practice, such datasets are difficult to obtain, particularly those containing adequate variation of pose. Generative Adversarial Networks (GANs) provide a potential solution to this problem due to their ability to generate realistic, synthetic images. However, recent studies have shown that current methods of disentangling pose from identity are inadequate. In this work we incorporate a 3D morphable model into the generator of a GAN in order to learn a nonlinear texture model from in-the-wild images. This allows generation of new, synthetic identities, and manipulation of pose, illumination and expression without compromising the identity. Our synthesised data is used to augment training of facial recognition networks with performance evaluated on the challenging CFP and CPLFW datasets.


title: Photonic transmittance in metallic and metamaterial Superlattices

abstract: We present here the transmission of electromagnetic waves through layered structures of metallic and left-handed media. Based on the theory of finite periodic systems, we show that besides the strong influence of the incidence angle, the low transmission characteristic of a single conductor slab, for frequencies $\omega$ below the plasma frequency $\omega_p$, becomes in this domain highly oscillating. Similarly, the well-established transmission coefficient of a single left-handed slab becomes highly resonant with superluminal effects in superlattices with more than one unit cell. We determine the space-time evolution of a wave packet through the $\lambda/4$ photonic superlattice whose transmission coefficient is a sequence of isolated and equidistant peaks with negative phase times. We show that the space-time evolution of a Gaussian wave packet, with centroid at any of these peaks, agrees with the theoretical predictions, and no violation of the causality principle occurs. We show that besides the strong influence of the incidence angle, the coherent coupling of the bulk plasmon modes and the interface surface plasmon polaritons lead to oscillating transmission coefficients, and depending on the parity of the number of unit cells $n$ of the superlattice, the transmission vanishes or amplifies as the conductor width increases. We determine the space-time evolution of a wave packet through the $\lambda/4$ photonic superlattice whose bandwidth becomes negligible, and the transmission coefficient becomes a sequence of isolated and equidistant peaks with negative phase times. We show that the space-time evolution of a Gaussian wave packet, with the centroid at any of these peaks, agrees with the theoretical predictions, and no violation of the causality principle occurs.


title: NN-EMD: Efficiently Training Neural Networks using Encrypted Multi-Sourced Datasets

abstract: Training a machine learning model over an encrypted dataset is an existing promising approach to address the privacy-preserving machine learning task, however, it is extremely challenging to efficiently train a deep neural network (DNN) model over encrypted data for two reasons: first, it requires large-scale computation over huge datasets; second, the existing solutions for computation over encrypted data, such as homomorphic encryption, is inefficient. Further, for an enhanced performance of a DNN model, we also need to use huge training datasets composed of data from multiple data sources that may not have pre-established trust relationships among each other. We propose a novel framework, NN-EMD, to train DNN over multiple encrypted datasets collected from multiple sources. Toward this, we propose a set of secure computation protocols using hybrid functional encryption schemes. We evaluate our framework for performance with regards to the training time and model accuracy on the MNIST datasets. Compared to other existing frameworks, our proposed NN-EMD framework can significantly reduce the training time, while providing comparable model accuracy and privacy guarantees as well as supporting multiple data sources. Furthermore, the depth and complexity of neural networks do not affect the training time despite introducing a privacy-preserving NN-EMD setting.


title: Robustness of Facial Recognition to GAN-based Face-morphing Attacks

abstract: Face-morphing attacks have been a cause for concern for a number of years. Striving to remain one step ahead of attackers, researchers have proposed many methods of both creating and detecting morphed images. These detection methods, however, have generally proven to be inadequate. In this work we identify two new, GAN-based methods that an attacker may already have in his arsenal. Each method is evaluated against state-of-the-art facial recognition (FR) algorithms and we demonstrate that improvements to the fidelity of FR algorithms do lead to a reduction in the success rate of attacks provided morphed images are considered when setting operational acceptance thresholds.


title: Dark Energy Radiation

abstract: We show that if dark energy evolves in time, its dynamical component could be dominated by a bath of dark radiation. Within current constraints this radiation could have up to $\sim 10^4$ times more energy density than the cosmic microwave background. We demonstrate particular models in which a rolling scalar field generates different forms of dark radiation such as hidden photons, milli-charged particles and even Standard Model neutrinos. We find the leading effect on the late-time cosmological expansion history depends on a single parameter beyond $\Lambda$CDM, namely the temperature of the dark radiation today. Cosmological observations of this modified expansion rate could provide a striking signature of this scenario. The dark radiation itself could even be directly detectable in laboratory experiments, suggesting a broader experimental program into the nature of dark energy.


title: Grant-Free Random Access in Machine-Type Communication: Approaches and Challenges

abstract: Massive machine-type communication (MTC) is expected to play a key role in supporting Internet of Things (IoT) applications such as smart cities, smart factory, and connected vehicles through cellular networks. MTC is characterized by a large number of MTC devices and their sparse activities, which are difficult to be supported by conventional approaches and motivate the design of new access technologies. In particular, in the 5th generation (5G), grant-free or 2-step random access schemes are introduced for MTC to be more efficient by reducing signaling overhead. In this article, we first introduce grant-free random access and discuss how it can be modified with massive multiple-input multiple-output (MIMO) to exploit a high spatial multiplexing gain. We then explain preamble designs that can improve the performance and variations based on the notion of non-orthogonal multiple access (NOMA). Finally, design challenges of grant-free random access towards next generation cellular systems are presented.


title: Position-dependent mass in strong quantum gravitational background fields

abstract: More recently, we have proposed a set of noncommutative space that describes the quantum gravity at the Planck scale [J. Phys. A: Math. Theor. 53, 115303 (2020)]. The interesting significant result we found is that, the generalized uncertainty principle induces a maximal measurable length of quantum gravity. This measurement revealed strong quantum gravitational effects at this scale and predicted a detection of gravity particles with low energies. In the present paper, to make evidence this prediction, we study in this space, the dynamics of a particle with position-dependent mass (PDM) trapped in an infinite square well. We show that, by increasing the quantum gravitational effect, the PDM of the particle increases and induces deformations of the quantum energy levels. These deformations are more pronounced as one increases the quantum levels allowing, the particle to jump from one state to another with low energies and with high probability densities.


title: Numerical analysis techniques for non-linear dynamics

abstract: The content of this contribution is based on the course on numerical analysis techniques for non-linear dynamics. After introducing basic concepts as the visual analysis of trajectories in phase space and the importance of the nature of fixed points in their topology and dynamics, the motion close to a resonance is presented, with simple non-linear map examples. The onset of chaotic motion and the modern methods used for their detection are detailed with a focus on frequency map analysis and concrete examples for a variety of rings and non-linear effects.


title: An Assessment of GANs for Identity-related Applications

abstract: Generative Adversarial Networks (GANs) are now capable of producing synthetic face images of exceptionally high visual quality. In parallel to the development of GANs themselves, efforts have been made to develop metrics to objectively assess the characteristics of the synthetic images, mainly focusing on visual quality and the variety of images. Little work has been done, however, to assess overfitting of GANs and their ability to generate new identities. In this paper we apply a state of the art biometric network to various datasets of synthetic images and perform a thorough assessment of their identity-related characteristics. We conclude that GANs can indeed be used to generate new, imagined identities meaning that applications such as anonymisation of image sets and augmentation of training datasets with distractor images are viable applications. We also assess the ability of GANs to disentangle identity from other image characteristics and propose a novel GAN triplet loss that we show to improve this disentanglement.


title: Bounce and stability in the early cosmology with anomaly-induced corrections

abstract: An extremely fast exponential expansion of the Universe is typical for the stable version of the inflationary model, based on the anomaly-induced action of gravity. The total amount of exponential $e$-folds could be very large, before the transition to the unstable version and the beginning of the Starobinsky inflation. Thus, the stable exponential expansion can be seen as a pre-inflationary semiclassical cosmological solution. We explore whether this stable phase could follow after the bounce, subsequent to the contraction of the Universe. Extending the previous consideration of the bounce, we explore both stable expansion and the bounce solutions in the models with non-zero cosmological constant and the presence of background radiation. The critical part of the analysis concerns stability for small perturbations of the Hubble parameter. It is shown that the stability is possible for the variations in the bounce region, but not in the sufficiently distant past in the contraction phase.


title: Lifetimes of (near) eternal false vacua

abstract: We consider examples of long-lived false vacua in quantum field theory that arise from so-called `universes'. These false vacua are protected by a $(d-1)$-form global symmetry, where $d$ is the dimension of spacetime. The lifetimes of the false vacua are set by UV data: the tension of $(d-2)$-branes charged under a $(d-2)$-form gauge symmetry. The lifetimes can be made parametrically long even when the difference in energy density between the false and true vacua is large compared to the natural scales of the field theory. We study examples of near-eternal false vacua in abelian gauge theories in two dimensions and in four-dimensional QCD. In both cases, it is possible to view the $(d-1)$-form symmetries as arising from a modification of the sum over instantons. We find that the modification of the instanton sum in 4d QCD leads to a higher-group symmetry structure involving the 3-form and conventional 0-form global symmetries.


title: Earth as a Proxy Exoplanet: Deconstructing and Reconstructing Spectrophotometric Light Curves

abstract: Point source spectrophotometric ("single-point") light curves of Earth-like planets contain a surprising amount of information about the spatial features of those worlds. Spatially resolving these light curves is important for assessing time-varying surface features and the existence of an atmosphere, which in turn is critical to life on Earth and significant for determining habitability on exoplanets. Given that Earth is the only celestial body confirmed to harbor life, treating it as a proxy exoplanet by analyzing time-resolved spectral images provides a benchmark in the search for habitable exoplanets. The Earth Polychromatic Imaging Camera (EPIC) on the Deep Space Climate Observatory (DSCOVR) provides such an opportunity, with observations of ~5000 full-disk sunlit Earth images each year at ten wavelengths with high temporal frequency. We disk-integrate these spectral images to create single-point light curves and decompose them into principal components (PCs). Using machine learning techniques to relate the PCs to six preselected spatial features, we find that the first and fourth PCs of the single-point light curves, contributing ~83.23% of the light curve variability, contain information about low and high clouds, respectively. Surface information relevant to the contrast between land and ocean reflectance is contained in the second PC, while individual land sub-types are not easily distinguishable (<0.1% total light curve variation). We build an Earth model by systematically altering the spatial features to derive causal relationships to the PCs. This model can serve as a baseline for analyzing Earth-like exoplanets and guide wavelength selection and sampling strategies for future observations.


title: Ekya: Continuous Learning of Video Analytics Models on Edge Compute Servers

abstract: Video analytics applications use edge compute servers for the analytics of the videos (for bandwidth and privacy). Compressed models that are deployed on the edge servers for inference suffer from data drift, where the live video data diverges from the training data. Continuous learning handles data drift by periodically retraining the models on new data. Our work addresses the challenge of jointly supporting inference and retraining tasks on edge servers, which requires navigating the fundamental tradeoff between the retrained model's accuracy and the inference accuracy. Our solution Ekya balances this tradeoff across multiple models and uses a micro-profiler to identify the models that will benefit the most by retraining. Ekya's accuracy gain compared to a baseline scheduler is 29% higher, and the baseline requires 4x more GPU resources to achieve the same accuracy as Ekya.


title: Waves of maximal height for a class of nonlocal equations with inhomogeneous symbols

abstract: In this paper, we consider a class of nonlocal equations where the convolution kernel is given by a Bessel potential symbol of order $\alpha$ for $\alpha > 1$. Based on the properties of the convolution operator, we apply a global bifurcation technique to show the existence of a highest, even, $2\pi$-periodic traveling-wave solution. The regularity of this wave is proved to be exactly Lipschitz.


title: Identifying the latent space geometry of network models through analysis of curvature

abstract: A common approach to modeling networks assigns each node to a position on a low-dimensional manifold where distance is inversely proportional to connection likelihood. More positive manifold curvature encourages more and tighter communities; negative curvature induces repulsion. We consistently estimate manifold type, dimension, and curvature from simply connected, complete Riemannian manifolds of constant curvature. We represent the graph as a noisy distance matrix based on the ties between cliques, then develop hypothesis tests to determine whether the observed distances could plausibly be embedded isometrically in each of the candidate geometries. We apply our approach to data-sets from economics and neuroscience.


title: TOPCAT Visualisation over the Web

abstract: The desktop GUI catalogue analysis tool TOPCAT, and its command-line counterpart STILTS, offer among other capabilities visual exploration of locally stored tables containing millions of rows or more. They offer many variations on the theme of scatter plots, density maps and histograms, which can be navigated interactively. These capabilities have now been extended to a client-server model, so that a plot server can be run close to the data storage, and remote lightweight HTML/JavaScript clients can configure and interact with plots based on that data. The interaction can include pan/zoom/rotate navigation, identifying individual points, and potentially subset selection. Since only the pixels and not the row data are transmitted to the client, this enables flexible remote visual exploration of large tables at relatively low bandwidth. The web client can request any of the plot options available from TOPCAT/STILTS. Possible applications include web-based visualisations of static datasets too large to transmit, visual previews of archive search results, service-configured arrays of plots for complex datasets, and embedding visualisations of local or remote tables into Jupyter notebooks.


title: Weighted and maximally hypoelliptic estimates for the Fokker-Planck Operator with electromagnetic fields

abstract: We consider a Fokker-Planck operator with electric potential and electromagnetic fields. We establish the sharp weighted and subelliptic estimates, involving the control of the derivatives of electric potential and electromagnetic fields. Our proof relies on a localization argument as well as a careful calculation on commutators.


title: Virtual Source Synthetic Aperture for Accurate Lateral Displacement Estimation in Ultrasound Elastography

abstract: Ultrasound elastography is an emerging noninvasive imaging technique wherein pathological alterations can be visualized by revealing the mechanical properties of the tissue. Estimating tissue displacement in all directions is required to accurately estimate the mechanical properties. Despite capabilities of elastography techniques in estimating displacement in both axial and lateral directions, estimation of axial displacement is more accurate than lateral direction due to higher sampling frequency, higher resolution and having a carrier signal propagating in the axial direction. Among different ultrasound imaging techniques, Synthetic Aperture (SA) has better lateral resolution than others, but it is not commonly used for ultrasound elastography due to its limitation in imaging depth of field. Virtual source synthetic aperture (VSSA) imaging is a technique to implement synthetic aperture beamforming on the focused transmitted data to overcome limitation of SA in depth of field while maintaining the same lateral resolution as SA. Besides lateral resolution, VSSA has the capability of increasing sampling frequency in the lateral direction without interpolation. In this paper, we utilize VSSA to perform beamforming to enable higher resolution and sampling frequency in the lateral direction. The beamformed data is then processed using our recently published elastography technique, OVERWIND [1]. Simulation and experimental results show substantial improvement in estimation of lateral displacements.


title: Privacy Analysis and Evaluation Policy of Blockchain-based Anonymous Cryptocurrencies

abstract: In blockchain-based anonymous cryptocurrencies, due to their tamper-resistance and transparency characteristics, transaction data are initially required to be anonymous, with the help of various cryptographic techniques, e.g., commitment schemes and zero-knowledge proofs. Also, cryptocurrencies are different from existing anonymous messaging protocols regarding the software architecture and the underlying security model. Due to these differences, the sense of anonymity must be specifically defined for anonymous cryptocurrencies, and the anonymity in each anonymous cryptocurrency must be analyzed and evaluated based on the specific architecture model. In this paper, we first propose a specific architecture model with three software layers to anonymous cryptocurrencies. Next, we introduce definitions of fundamental privacy properties (Pfitzmann's anonymity, unlinkability, and pseudonymity) and comprehensively analyze each privacy property for each architecture layer of anonymous cryptocurrencies to establish a privacy evaluation policy for anonymous cryptocurrencies. Finally, we fairly compare the privacy of current leading anonymous cryptocurrencies (e.g., Zerocash, CryptoNote, and Mimblewimble) using the privacy evaluation policy.


title: Computer-aided abnormality detection in chest radiographs in a clinical setting via domain-adaptation

abstract: Deep learning (DL) models are being deployed at medical centers to aid radiologists for diagnosis of lung conditions from chest radiographs. Such models are often trained on a large volume of publicly available labeled radiographs. These pre-trained DL models' ability to generalize in clinical settings is poor because of the changes in data distributions between publicly available and privately held radiographs. In chest radiographs, the heterogeneity in distributions arises from the diverse conditions in X-ray equipment and their configurations used for generating the images. In the machine learning community, the challenges posed by the heterogeneity in the data generation source is known as domain shift, which is a mode shift in the generative model. In this work, we introduce a domain-shift detection and removal method to overcome this problem. Our experimental results show the proposed method's effectiveness in deploying a pre-trained DL model for abnormality detection in chest radiographs in a clinical setting.


title: No Shadow Left Behind: Removing Objects and their Shadows using Approximate Lighting and Geometry

abstract: Removing objects from images is a challenging problem that is important for many applications, including mixed reality. For believable results, the shadows that the object casts should also be removed. Current inpainting-based methods only remove the object itself, leaving shadows behind, or at best require specifying shadow regions to inpaint. We introduce a deep learning pipeline for removing a shadow along with its caster. We leverage rough scene models in order to remove a wide variety of shadows (hard or soft, dark or subtle, large or thin) from surfaces with a wide variety of textures. We train our pipeline on synthetically rendered data, and show qualitative and quantitative results on both synthetic and real scenes.


title: FedServing: A Federated Prediction Serving Framework Based on Incentive Mechanism

abstract: Data holders, such as mobile apps, hospitals and banks, are capable of training machine learning (ML) models and enjoy many intelligence services. To benefit more individuals lacking data and models, a convenient approach is needed which enables the trained models from various sources for prediction serving, but it has yet to truly take off considering three issues: (i) incentivizing prediction truthfulness; (ii) boosting prediction accuracy; (iii) protecting model privacy. We design FedServing, a federated prediction serving framework, achieving the three issues. First, we customize an incentive mechanism based on Bayesian game theory which ensures that joining providers at a Bayesian Nash Equilibrium will provide truthful (not meaningless) predictions. Second, working jointly with the incentive mechanism, we employ truth discovery algorithms to aggregate truthful but possibly inaccurate predictions for boosting prediction accuracy. Third, providers can locally deploy their models and their predictions are securely aggregated inside TEEs. Attractively, our design supports popular prediction formats, including top-1 label, ranked labels and posterior probability. Besides, blockchain is employed as a complementary component to enforce exchange fairness. By conducting extensive experiments, we validate the expected properties of our design. We also empirically demonstrate that FedServing reduces the risk of certain membership inference attack.


title: Moveable Thermometer System in ProtoDUNE

abstract: The movable temperature profiler is a 7 m vertical array of 24 sensors that measures cryogenic temperatures with a precision of a few mK. This precision is necessary to monitor the efficiency of re-circulation and purification of liquid-argon inside large liquid-argon based neutrino detectors. Liquid argon temperature impacts electron (signal) drift velocity, flow, purity distribution and thus the overall energy calibration. The temperature profiler is motorized and moves vertically, while in the detector, and cross-calibrates neighboring sensors. The temperature offsets between each sensor cancel the effects of electromagnetic noise. This poster reports on the temperature measurements and such in-situ cross-calibrations at ProtoDUNE (single phase) at CERN.


title: Implementing Remote Observing at the JCMT

abstract: The James Clerk Maxwell Telescope (JCMT) is the largest single dish telescope in the world focused on sub-millimeter astronomy - and it remains at the forefront of sub-millimeter discovery space. JCMT continues itspush for higher efficiency and greater science impact with a switch to fully remote operation. This switch toremote operations occurred on November 1st 2019. The switch to remote operations should be recognized to bepart of a decade long process involving incremental changes leading to Extended Observing - observing beyondthe classical night shift - and eventually to full remote operations. The success of Remote Observing is indicatedin the number of productive hours and continued low fault rate from before and after the switch.


title: Communication-Aware Collaborative Learning

abstract: Algorithms for noiseless collaborative PAC learning have been analyzed and optimized in recent years with respect to sample complexity. In this paper, we study collaborative PAC learning with the goal of reducing communication cost at essentially no penalty to the sample complexity. We develop communication efficient collaborative PAC learning algorithms using distributed boosting. We then consider the communication cost of collaborative learning in the presence of classification noise. As an intermediate step, we show how collaborative PAC learning algorithms can be adapted to handle classification noise. With this insight, we develop communication efficient algorithms for collaborative PAC learning robust to classification noise.


title: Pseudocompact and precompact subsemigroups of topological groups

abstract: In this paper we give sufficient conditions under which a subsemigroup of a topological group is a subgroup, adding to the results given in \cite{Kosh, can, axioms, forum, Hof, cc, locally} where conditions exist (such as locally compactness, compactness, feeble compactness and sequential compactness) for a semigroup to be a group. In our work we proved that closed precompact subsemigroups of topological groups are semigroups, just like open pseudocompact monoids of topological groups.


title: Generalized Zhou inverses in rings

abstract: We introduce and study a new class of generalized inverses in rings. An element $a$ in a ring $R$ has generalized Zhou inverse if there exists $b\in R$ such that $bab=b, b\in comm^2(a), a^n-ab\in \sqrt{J(R)}$ for some $n\in {\Bbb N}$. We prove that $a\in R$ has generalized Zhou inverse if and only if there exists $p=p^2\in comm^2(a)$ such that $a^n-p\in \sqrt{J(R)}$ for some $n\in {\Bbb N}$. Cline's formula and Jacobson's Lemma for generalized Zhou inverses are established. In particular, the Zhou inverse in a ring is characterized.


title: Oblique Injection of incompressible ideal fluid from a slot into a free stream

abstract: This paper deals with a two-phase fluid free boundary problem in a slot-film cooling. We give two well-posedness results on the existence and uniqueness of the incompressible inviscid two-phase fluid with a jump relation on free interface. The problem formulates the oblique injection of an incompressible ideal fluid from a slot into a free stream. From the mathematical point of view, this work is motivated by the pioneer work [13] by A. Friedman, in which some well-posedness results are obtained in some special case. Furthermore, A. Friedman proposed an open problem in [14] on the existence and uniqueness of the injection flow problem for more general case. The main results in this paper solve the open problem and establish the well-posedness results on the physical problem.


title: Chance Constraint Robust Control with Control Barrier Functions

abstract: In this paper, we propose a novel approach to synthesize linear feedback controllers for navigating in polygonal environments using noisy measurements and a convex cell decomposition. Our method is based on formulating chance constraints for the convergence and collision avoidance condition. In particular, the stability and safety guarantees come from chance Control Barrier Function (CBF) constraints and chance Control Lyapunov Function (CLF) constraints, respectively. We use convex over-approximations to get upper bounds of the constraints, leading to a convex robust quadratic program for finding the controller. We apply and provide simulation results for equilibrium control and path control. The result shows that the controller is robust with the noise input.


title: Planetary Nebulae with UVIT: A Progress Report

abstract: The spectral region between 1250 Angstroms - 3000 Angstroms contains important spectral lines to understand the morphological structures and evolution of planetary nebulae. This is the region sampled by UVIT through various filter bands both in the continuum and in emission lines (e.g. C IV, He I, Mg II etc.). We have mapped several planetary nebulae with different characteristics, ranging in morphology from bipolar to wide and diffuse, and in various states of ionization, comparing the UV with the x-ray morphologies wherever the x-ray images were also available. The major unanticipated discovery with UVIT has been the detection of previously undetected, cold, fluorescent, molecular hydrogen gas surrounding some planetary nebulae. This may be a possible solution to the missing mass problem. Here we present a review of our studies so far done (both published and on going) with UVIT.


title: yNet: a multi-input convolutional network for ultra-fast simulation of field evolvement

abstract: The capability of multi-input field-to-field regression, i.e. mapping the initial field and applied conditions to the evolved field, is appealing, enabling ultra-fast physics-free simulation of various field evolvements across many disciplines. We hereby propose a y-shaped multi-input deep convolutional network, yNet, which can effectively account for combined effects of multiple mixed inputs on output field. The proposed yNet is applied to the simulation of porosity evolution in selective lasering sintering (SLS). Upon testing, yNet can simulate nearly identical porosity evolution and development to the physics-based model, with a 99.13% morphological similarity for various SLS conditions. We then effortlessly boost the porosity simulation capability to the realistic, full-component level. yNet is generally applicable to simulating various structural/morphological evolutions and other condition-concerned, continuous field evolvements even with spatially and/or temporally non-uniform evolving kinetics. Once trained, the light-weight yNet can be distributed easily and ran with limited computational resource while reducing computation time to a split second. It thus may have a transformative impact by democratizing the capability of ultra-fast and extreme-scale simulation of various field evolvements.


title: Enabling Micro-payments on IoT Devices using Bitcoin Lightning Network

abstract: Lightning Network (LN) addresses the scalability problem of Bitcoin by leveraging off-chain transactions. Nevertheless, it is not possible to run LN on resource-constrained IoT devices due to its storage, memory, and processing requirements. Therefore, in this paper, we propose an efficient and secure protocol that enables an IoT device to use LN's functions through a gateway LN node. The idea is to involve the IoT device in LN operations with its digital signature by replacing original 2-of-2 multisignature channels with 3-of-3 multisignature channels. Our protocol enforces the LN gateway to request the IoT device's cryptographic signature for all operations on the channel. We evaluated the proposed protocol by implementing it on a Raspberry Pi for a toll payment scenario and demonstrated its feasibility and security.


title: Metric entropy for Hamilton-Jacobi equation with uniformly directionally convex Hamiltonian

abstract: The present paper first aims to study the BV-type regularity for viscosity solutions of the Hamilton-Jacobi equation \[ u_t(t,x)+H\big(D_{x} u(t,x)\big)~=~0\qquad\forall (t,x)\in ]0,\infty[\times\mathbb{R}^d \] with a coercive and uniformly directionally convex Hamiltonian $H\in\mathcal{C}^{1}(\mathbb{R}^d)$. More precisely, we establish a BV bound on the slope of backward characteristics $DH(u(t,\cdot))$ starting at a positive time $t>0$. Relying on the BV bound, we quantify the metric entropy in ${\bf W}^{1,1}_{\mathrm{loc}}(\mathbb{R}^d)$ for the map $S_t$ that associates to every given initial data $u_0\in{\bf Lip}\big(\mathbb{R}^d\big)$, the corresponding solution $S_tu_0$. Finally, a counter example is constructed to show that both $D_xu(t,\cdot)$ and $DH(D_xu(t,\cdot))$ fail to be in $BV_{\mathrm{loc}}$ for a general strictly convex and coercive $H\in\mathcal{C}^2(\mathbb{R}^d)$.