title: $C-$Robin Functions and Applications

abstract: We continue the study in the setting of pluripotential theory arising from polynomials associated to a convex body $C$ in $({\bf R}^+)^d$. Here we discuss $C-$Robin functions and their applications. In the particular case where $C$ is a simplex in $({\bf R}^+)^2$ with vertices $(0,0),(b,0),(a,0)$, $a,b>0$, we generalize results of T. Bloom to construct families of polynomials which recover the $C-$extremal function $V_{C,K}$ of a nonpluripolar compact set $K\subset {\bf C}^d$.


title: An Iterative Cyclic Algorithm for Designing Vaccine Distribution Networks in Low and Middle-Income Countries

abstract: The World Health Organization's Expanded Programme on Immunization (WHO-EPI) was developed to ensure that all children have access to common childhood vaccinations. Unfortunately, because of inefficient distribution networks and cost constraints, millions of children in many low and middle-income countries still go without being vaccinated. In this paper, we formulate a mathematical programming model for the design of a typical WHO-EPI network with the goal of minimizing costs while providing the opportunity for universal coverage. Since it is only possible to solve small versions of the model optimally, we describe an iterative heuristic that cycles between solving restrictions of the original problem and show that it can find very good solutions in reasonable time for larger problems that are not directly solvable.


title: Strongly measuring qubit quasiprobabilities behind out-of-time-ordered correlators

abstract: Out-of-time-ordered correlators (OTOCs) have been proposed as a tool to witness quantum information scrambling in many-body system dynamics. These correlators can be understood as averages over nonclassical multi-time quasi-probability distributions (QPDs). These QPDs have more information, and their nonclassical features witness quantum information scrambling in a more nuanced way. However, their high dimensionality and nonclassicality make QPDs challenging to measure experimentally. We focus on the topical case of a many-qubit system and show how to obtain such a QPD in the laboratory using circuits with three and four sequential measurements. Averaging distinct values over the same measured distribution reveals either the OTOC or parameters of its QPD. Stronger measurements minimize experimental resources despite increased dynamical disturbance.


title: Constant Girth Approximation for Directed Graphs in Subquadratic Time

abstract: In this paper we provide a $\tilde{O}(m\sqrt{n})$ time algorithm that computes a $3$-multiplicative approximation of the girth of a $n$-node $m$-edge directed graph with non-negative edge lengths. This is the first algorithm which approximates the girth of a directed graph up to a constant multiplicative factor faster than All-Pairs Shortest Paths (APSP) time, i.e. $O(mn)$. Additionally, for any integer $k \ge 1$, we provide a deterministic algorithm for a $O(k\log\log n)$-multiplicative approximation to the girth in directed graphs in $\tilde{O}(m^{1+1/k})$ time. Combining the techniques from these two results gives us an algorithm for a $O(k\log k)$-multiplicative approximation to the girth in directed graphs in $\tilde{O}(m^{1+1/k})$ time. Our results naturally also provide algorithms for improved constructions of roundtrip spanners, the analog of spanners in directed graphs. The previous fastest algorithms for these problems either ran in All-Pairs Shortest Paths (APSP) time, i.e. $O(mn)$, or were due Pachocki et al. (PRSTV18) which provided a randomized algorithm that for any integer $k \ge 1$ in time $\tilde{O}(m^{1+1/k})$ computed with high probability a $O(k\log n)$ multiplicative approximation of the girth. Our first algorithm constitutes the first sub-APSP-time algorithm for approximating the girth to constant accuracy, our second removes the need for randomness and improves the approximation factor in Pachocki et al. (PRSTV18), and our third is the first time versus quality trade-off for obtaining constant approximations.


title: Local interpolation for minimal surfaces

abstract: Let $a: I\to \mathbb{R}^3 $ be a real analytic curve satisfying some conditions. In this article, we show that for any real analytic curve $l:I\to \mathbb R^3$ close to $a$ (in a sense which is precisely defined in the paper) there exists a translation of $l$, and a minimal surface which contains both $ a $ and the translated $l$.


title: INS: An Interactive Chinese News Synthesis System

abstract: Nowadays, we are surrounded by more and more online news articles. Tens or hundreds of news articles need to be read if we wish to explore a hot news event or topic. So it is of vital importance to automatically synthesize a batch of news articles related to the event or topic into a new synthesis article (or overview article) for reader's convenience. It is so challenging to make news synthesis fully automatic that there is no successful solution by now. In this paper, we put forward a novel Interactive News Synthesis system (i.e. INS), which can help generate news overview articles automatically or by interacting with users. More importantly, INS can serve as a tool for editors to help them finish their jobs. In our experiments, INS performs well on both topic representation and synthesis article generation. A user study also demonstrates the usefulness and users' satisfaction with the INS tool. A demo video is available at \url{https://youtu.be/7ItteKW3GEk}.


title: A Framework for Monitoring Human Physiological Response during Human Robot Collaborative Task

abstract: In this paper, a framework for monitoring human physiological response during Human-Robot Collaborative (HRC) task is presented. The framework highlights the importance of generation of event markers related to both human and robot, and also synchronization of data collected. This framework enables continuous data collection during an HRC task when changing robot movements as a form of stimuli to invoke a human physiological response. It also presents two case studies based on this framework and a data visualization tool for representation and easy analysis of the collected data during an HRC experiment.


title: Mitigating Vulnerabilities of Voltage-based Intrusion Detection Systems in Controller Area Networks

abstract: Data for controlling a vehicle is exchanged among Electronic Control Units (ECUs) via in-vehicle network protocols such as the Controller Area Network (CAN) protocol. Since these protocols are designed for an isolated network, the protocols do not encrypt data nor authenticate messages. Intrusion Detection Systems (IDSs) are developed to secure the CAN protocol by detecting abnormal deviations in physical properties. For instance, a voltage-based IDS (VIDS) exploits voltage characteristics of each ECU to detect an intrusion. An ECU with VIDS must be connected to the CAN bus using extra wires to measure voltages of the CAN bus lines. These extra wires, however, may introduce new attack surfaces to the CAN bus if the ECU with VIDS is compromised. We investigate new vulnerabilities of VIDS and demonstrate that an adversary may damage an ECU with VIDS, block message transmission, and force an ECU to retransmit messages. In order to defend the CAN bus against these attacks, we propose two hardware-based Intrusion Response Systems (IRSs) that disconnect the compromised ECU from the CAN bus once these attacks are detected. We develop four voltage-based attacks by exploiting vulnerabilities of VIDS and evaluate the effectiveness of the proposed IRSs using a CAN bus testbed.


title: Phase-Change Control of Interlayer Exchange Coupling

abstract: Changing the interlayer exchange coupling between magnetic layers in-situ is a key issue of spintronics, as it allows for the optimization of properties that are desirable for applications, including magnetic sensing and memory. In this paper, we utilize the phase change material VO2 as a spacer layer to regulate the interlayer exchange coupling between ferromagnetic layers with perpendicular magnetic anisotropy. The successful growth of ultra-thin (several nanometres) VO2 films is realized by sputtering at room temperature, which further enables the fabrication of [Pt/Co]2/VO2/[Co/Pt]2 multilayers with distinct interfaces. Such a magnetic multilayer exhibits an evolution from antiferromagnetic coupling to ferromagnetic coupling as the VO2 undergoes a phase change. The underlying mechanism originates from the change in the electronic structure of the spacer layer from an insulating to a metallic state. As a demonstration of phase change spintronics, this work may reveal the great potential of material innovations for next-generation spintronics.


title: Fine vortex structure and flow transition to the geostrophic regime in rotating Rayleigh-B\'enard convection

abstract: We present spatial-resolved measurements of the columnar vortex structures in rotating Rayleigh-B\'enard convection. The scaled radial profiles of the azimuthal velocity $u_{\phi}(r)$ and vertical vorticity ${\omega}(r)$ of the vortices are analyzed and compared with the predictions of the asymptotic theory. The results reveal that the asymptotic theory predicts accurately $u_{\phi}(r)$ and ${\omega}(r)$ in the geostrophic convection regime, but extension of the theory in the weak rotation regime is needed to interpret the rotation-dependence of the experimental data. Our measurements of the mean velocity, vorticity of the vortices, and the strength of the vortex shield structure all indicate a flow transition from weekly rotating convection to geostrophic convection. Results of the parameter values for the transition are in agreement with the scaling relationship obtained from previous heat-transfer measurements.


title: Interpreting the Latent Space of GANs for Semantic Face Editing

abstract: Despite the recent advance of Generative Adversarial Networks (GANs) in high-fidelity image synthesis, there lacks enough understanding of how GANs are able to map a latent code sampled from a random distribution to a photo-realistic image. Previous work assumes the latent space learned by GANs follows a distributed representation but observes the vector arithmetic phenomenon. In this work, we propose a novel framework, called InterFaceGAN, for semantic face editing by interpreting the latent semantics learned by GANs. In this framework, we conduct a detailed study on how different semantics are encoded in the latent space of GANs for face synthesis. We find that the latent code of well-trained generative models actually learns a disentangled representation after linear transformations. We explore the disentanglement between various semantics and manage to decouple some entangled semantics with subspace projection, leading to more precise control of facial attributes. Besides manipulating gender, age, expression, and the presence of eyeglasses, we can even vary the face pose as well as fix the artifacts accidentally generated by GAN models. The proposed method is further applied to achieve real image manipulation when combined with GAN inversion methods or some encoder-involved models. Extensive results suggest that learning to synthesize faces spontaneously brings a disentangled and controllable facial attribute representation.


title: Two families of elliptical plasma lenses

abstract: Plasma lensing is the refraction of low-frequency electromagnetic rays due to free electrons in the interstellar medium. Although the phenomenon has a distinct similarity to gravitational lensing, particularly in its mathematical description, plasma lensing introduces other additional features, such as wavelength dependence, radial rather than tangential image distortions, and strong demagnification of background sources. Axisymmetrical models of plasma lenses have been well-studied in the literature, but density distributions with more complicated shapes can provide new and exotic image configurations and increase the richness of the magnification properties. As a first step towards non-axisymmetrical distributions, we study two families of elliptical plasma lens, softened power-law and exponential plasma distributions. We perform numerical studies on each lens model, and present them over a parameter space. In addition to deriving elliptical plasma lens formulae, we also investigate the number of critical curves that the lens can produce by studying the lens parameter space, in particular the dependence on the lensing ellipticity. We find that the introduction of ellipticity into the plasma distribution can enhance the lensing effects as well as the complexity of the magnification map.


title: Molecular Bow Shock in the 3-kpc Norma Arm

abstract: A molecular bow shock (MBS) at G24.4+00+112 ($l\sim 24\deg.4, b\sim 0\deg, v_{\rm LSR} \sim 112$ km/s) is studied using the 12CO(J=1-0)-line survey obtained with the Nobeyama 45-m telescope at $20''$ (0.71 pc) resolution. The terminal velocity uniquely locates the object at the tangent point of the 3-kpc expanding arm (Norma arm) with the distance of 7.3 kpc. The bow ridge extends over $\sim 160$ pc ($1\deg.3$) perpendicularly to the galactic plane, and is concave to a ring of HII-regions centered on G24.6+00 at the same distance. The edge on the down-stream (higher longitude) side of the MBS is extremely sharp, and is associated with several elephant trunks in gear-to-gear touch with the HII regions. On the up-stream (lower longitude) side of MBS, a broad HI bow is associated at the same velocity. The coherently ordered structure of HI, CO and HII gases indicates HI-to-\htwo transition at the galactic shock followed by efficient star formation due to dual compression, where the molecular gas is shock-compressed from up-stream side by galactic shock and from down-stream side by HII expansion. We propose a scenario of galactic sequential star formation (GSSF) along the spiral arms. We also discuss related ISM phenomena such as the hydraulic jump, bow shock, and Raileigh-Taylor instability occurring around the MBS.


title: Cross-Diffusion Waves as a Mesoscopic Uncertainty Relationship for Multi-Physics Instabilities

abstract: We propose a generic uncertainty relationship for cross-diffusion (quasi-soliton) waves triggered by local instabilities through Thermo-Hydro-Mechano-Chemical (THMC) coupling and cross-scale feedbacks. Cross-diffusion waves nucleate when the overall stress field is incompatible with accelerations from local feedbacks of generalized THMC thermodynamic forces with generalized thermodynamic fluxes of another kind. Cross-diffusion terms in the 4 x 4 THMC diffusion matrix are shown to lead to multiple diffusional $P$- and $S$-wave solutions of the coupled THMC equations. Uncertainties in the location of local material instabilities are captured by wave scale correlation of probability amplitudes. Cross-diffusional waves have unusual dispersion patterns and, although they assume a solitary state, do not behave like solitons but have a quasi-elastic particle-like state. Their characteristic wavenumber and constant speed defines mesoscopic internal material time-space relations entirely defined by the coefficients of the coupled THMC reaction-cross-diffusion equations. These coefficients are identified here as material parameters underpinning the criterion for nucleation and speed of diffusional waves. Interpreting patterns in nature as features of standing or propagating diffusional waves offers a simple mathematical framework for analysis of multi-physics instabilities and evaluation of their uncertainties similar to their quantum-mechanical analogues.


title: Cell Motion Alignment as Polarity Memory Effect

abstract: The clarification of the motion alignment mechanism in collective cell migration is an important issue commonly in physics and biology. In analogy with the self-propelled disk, the polarity memory effect of eukaryotic cell is a fundamental candidate for this alignment mechanism. In the present paper, we theoretically examine the polarity memory effect for the motion alignment of cells on the basis of the cellular Potts model. We show that the polarity memory effect can align motion of cells. We also find that the polarity memory effect emerges for the persistent length of cell trajectories longer than average cell-cell distance.


title: An operator-valued $T1$ theory for symmetric CZOs

abstract: We provide a natural BMO-criterion for the $L_2$-boundedness of Calder\'on-Zygmund operators with operator-valued kernels satisfying a symmetric property. Our arguments involve both classical and quantum probability theory. In the appendix, we give a proof of the $L_2$-boundedness of the commutators $[R_j,b]$ whenever $b$ belongs to the Bourgain's vector-valued BMO space, where $R_j$ is the $j$-th Riesz transform. A common ingredient is the operator-valued Haar multiplier studied by Blasco and Pott.


title: Simple Near-Optimal Scheduling for the M/G/1

abstract: We consider the problem of preemptively scheduling jobs to minimize mean response time of an M/G/1 queue. When we know each job's size, the shortest remaining processing time (SRPT) policy is optimal. Unfortunately, in many settings we do not have access to each job's size. Instead, we know only the job size distribution. In this setting the Gittins policy is known to minimize mean response time, but its complex priority structure can be computationally intractable. A much simpler alternative to Gittins is the shortest expected remaining processing time (SERPT) policy. While SERPT is a natural extension of SRPT to unknown job sizes, it is unknown whether or not SERPT is close to optimal for mean response time. We present a new variant of SERPT called monotonic SERPT (M-SERPT) which is as simple as SERPT but has provably near-optimal mean response time at all loads for any job size distribution. Specifically, we prove the mean response time ratio between M-SERPT and Gittins is at most 3 for load $\rho \leq 8/9$ and at most 5 for any load. This makes M-SERPT the only non-Gittins scheduling policy known to have a constant-factor approximation ratio for mean response time.


title: Oriented polar molecules trapped in cold helium nanodroplets: Electrostatic deflection, size separation, and charge migration

abstract: Helium nanodroplets doped with polar molecules are studied by electrostatic deflection. This broadly applicable method allows even polyatomic molecules to attain sub-Kelvin temperatures and nearly full orientation in the field. The resulting intense force from the field gradient strongly deflects even droplets with tens of thousands of atoms, the most massive neutral systems studied by beam "deflectometry." We use the deflections to extract droplet size distributions. Moreover, since each host droplet deflects according to its mass, spatial filtering of the deflected beam translates into size filtering of neutral fragile nanodroplets. As an example, we measure the dopant ionization probability as a function of droplet radius and determine the mean free path for charge hopping through the helium matrix. The technique will enable separation of doped and neat nanodroplets and size-dependent spectroscopic studies.


title: Machine learning approach to remove ion interference effect in agricultural nutrient solutions

abstract: High concentration agricultural facilities such as vertical farms or plant factories consider hydroponic techniques as optimal solutions. Although closed-system dramatically reduces water consumption and pollution issues, it has ion-ratio related problem. As the root absorbs individual ions with different rate, ion rate in a nutrient solution should be adjusted periodically. But traditional method only considers pH and electrical conductivity to adjust the nutrient solution, leading to ion imbalance and accumulation of excessive salts. To avoid those problems, some researchers have proposed ion-balancing methods which measure and control each ion concentration. However, those approaches do not overcome the innate limitations of ISEs, especially ion interference effect. An anion sensor is affected by other anions, and the error grows larger in higher concentration solution. A machine learning approach to modify ISE data distorted by ion interference effect is proposed in this paper. As measurement of TDS value is relatively robust than any other signals, we applied TDS as key parameter to build a readjustment function to remove the artifact. Once a readjustment model is established, application on ISE data can be done in real time. Readjusted data with proposed model showed about 91.6 ~ 98.3% accuracies. This method will enable the fields to apply recent methods in feasible status.


title: Persistent exclusion processes: inertia, drift, mixing and correlation

abstract: In many biological systems, motile agents exhibit random motion with short-term directional persistence, together with crowding effects arising from spatial exclusion. We formulate and study a class of lattice-based models for multiple walkers with motion persistence and spatial exclusion in one and two dimensions, and use a mean-field approximation to investigate relevant population-level partial differential equations in the continuum limit. We show that this model of a persistent exclusion process is in general well described by a nonlinear diffusion equation. With reference to results presented in the current literature, our results reveal that the nonlinearity arises from the combination of motion persistence and volume exclusion, with linearity in terms of the canonical diffusion or heat equation being recovered in either the case of persistence without spatial exclusion, or spatial exclusion without persistence. We generalise our results to include systems of multiple species of interacting, motion-persistent walkers, as well as to incorporate a global drift in addition to persistence. These models are shown to be governed approximately by systems of nonlinear advection-diffusion equations. By comparing the prediction of the mean-field approximation to stochastic simulation results, we assess the performance of our results. Finally, we also address the problem of inferring the presence of persistence from simulation results, with a view to application to experimental cell-imaging data.


title: A Novel Energy Resolved X-Ray Semiconductor Detector

abstract: The hyperspectral X-ray imaging has been long sought in various fields from material analysis to medical diagnosis. Here we propose a new semiconductor detector structure to realize energy-resolved imaging at potentially low cost. The working principle is based on the strong energy-dependent absorption of X-ray in solids. Namely, depending on the energy, X-ray photons experience dramatically different attenuation. An array or matrix of semiconductor cells is to map the X-ray intensity along its trajectory. The X-ray spectrum could be extracted from a Laplace like transform or even a supervised machine learning. We demonstrated an energy-resolved X-ray detection with a regular silicon camera.

categories: physics.ins-det nucl-ex physics.app-ph physics.med-ph


title: Shock Heating Energy of Umbral Flashes Measured with Integral Field Unit Spectroscopy

abstract: Umbral flashes are periodic brightness increases routinely observed in the core of chromospheric lines within sunspot umbrae and are attributed to propagating shock fronts. In this work we quantify the shock heating energy of these umbral flashes using observations in the near infrared He I triplet obtained on 2014 December 7 with the SpectroPolarimetric Imager for the Energetic Sun (SPIES), which is a novel integral field unit spectrograph at the Dunn Solar Telescope. We determine the shock properties (the Mach number and the propagation speed) by fitting the measured He I spectral profiles with a theoretical radiative transfer model consisting of two constant property atmospheric slabs whose temperatures and macroscopic velocities are constrained by the Rankine-Hugoniot relations. From the Mach number, the shock heating energy per unit mass of plasma is derived to be 2 x 10^{10} erg g^{-1}, which is insufficient to maintain the umbral chromosphere. In addition, we find that the shocks propagate upward with the sound speed and the Mach number does not depend on the temperature upstream of the shocks. The latter may imply suppression of the amplification of the Mach number due to energy loss of the shocks.


title: A Generalization of Weyl's Asymptotic Formula for the Relative Trace of Singular Potentials

abstract: By Weyl's asymptotic formula, for any potential $V$ whose negative part $V_-$ is an $L^{1+d/2}$-function, \begin{align*} \operatorname{Tr} [-h^2 \Delta + V]_- &= L_d^{\mathrm{cl}} h^{-d} \int \mathrm{d} x\,[V]_-^{1+\frac d 2} + \mathrm{o} (h^{-d})_{h \to 0} , \end{align*} with the semiclassical constant $L^{\mathrm{cl}}_d = 2^{-d} \pi^{-d/2} / \Gamma (2 + \frac d 2)$. In this paper, we show that, even if $[V_1]_-, [V_2]_- \notin L^{1+d/2}$, but the difference $[V_1]_-^{1+d/2}-[V_2]_-^{1+d/2}$ is integrable, then we still have the asymptotic formula \[ \operatorname{Tr} [-h^2 \Delta + V_1 ]_- - \operatorname{Tr} [-h^2 \Delta + V_2 ]_- = L^{\mathrm{cl}}_{d} h^{-d} \int \mathrm{d} x\,([V_1]_-^{1+\frac d 2}-[V_2]_-^{1+\frac d 2}) + \mathrm{o} (h^{-d})_{h\to 0} . \] This is a generalization of Weyl's formula in the case that $\operatorname{Tr} [-h^2 \Delta + V_1]_-$ and $\operatorname{Tr} [-h^2\Delta + V_2]_-$ are seperately not of order $\mathrm{O} (h^{-d})$.


title: The effects of coating culture dishes with collagen on fibroblast cell shape and swirling pattern formation

abstract: Motile human-skin fibroblasts form macroscopic swirling patterns when grown to confluence on a culture dish. In this paper, we investigate the effect of coating the culture-dish surface with collagen on the resulting pattern, using human-skin fibroblast NB1RGB cells as the model system. The presence of the collagen coating is expected to enhance the adherence of the fibroblasts to the dish surface, and thereby also enhance the traction that the fibroblasts have as they move. We find that, contrary to our initial expectation, the coating does not significantly affect the motility of the fibroblasts. Their eventual number density at confluence is also unaffected. However, the coherence length of cell orientation in the swirling pattern is diminished. We also find that the fibroblasts cultured in a collagen-coated dish are rounder in shape and shorter in perimeter, compared to those cultured in an uncoated dish. We hypothesize that the rounder cell-shape which weakens the cell-cell nematic contact interaction is responsible for the change in coherence length. A simple mathematical model of the migrating fibroblasts is constructed, which demonstrates that constant motility with weaker nematic interaction strength does indeed lead to the shortening of the coherence length.


title: ODE network model for nonlinear and complex agricultural nutrient solution system

abstract: In closed hydroponic systems, periodic readjustment of nutrient solution is necessary to continuously provide stable environment to plant roots because the interaction between plant and nutrient solution changes the rate of ions in it. The traditional method is to repeat supplying small amount of premade concentrated nutrient solution, measuring total electric conductivity and pH of the tank only. As it cannot control the collapse of ion rates, recent researches try to measure the concentration of individual components to provide insufficient ions only. However, those approaches use titrationlike heuristic approaches, which repeat adding small amount of components and measuring ion density a lot of times for a single control input. Both traditional and recent methods are not only time-consuming, but also cannot predict chemical reactions related with control inputs because the nutrient solution is a nonlinear complex system, including many precipitation reactions and complicated interactions. We present a continuous network model of the nutrient solution system, whose reactions are described as differential equations. The model predicts molar concentration of each chemical components and total dissolved solids with low error. This model also can calculate the amount of chemical compounds needed to produce a desired nutrient solution, by reverse calculation from dissolved ion concentrations.


title: Composition-Aware Image Aesthetics Assessment

abstract: Automatic image aesthetics assessment is important for a wide variety of applications such as on-line photo suggestion, photo album management and image retrieval. Previous methods have focused on mapping the holistic image content to a high or low aesthetics rating. However, the composition information of an image characterizes the harmony of its visual elements according to the principles of art, and provides richer information for learning aesthetics. In this work, we propose to model the image composition information as the mutual dependency of its local regions, and design a novel architecture to leverage such information to boost the performance of aesthetics assessment. To achieve this, we densely partition an image into local regions and compute aesthetics-preserving features over the regions to characterize the aesthetics properties of image content. With the feature representation of local regions, we build a region composition graph in which each node denotes one region and any two nodes are connected by an edge weighted by the similarity of the region features. We perform reasoning on this graph via graph convolution, in which the activation of each node is determined by its highly correlated neighbors. Our method naturally uncovers the mutual dependency of local regions in the network training procedure, and achieves the state-of-the-art performance on the benchmark visual aesthetics datasets.


title: Generation of cold Rydberg atoms at submicron distances from an optical nanofiber

abstract: We report on a controllable, hybrid quantum system consisting of cold Rydberg atoms and an optical nanofiber interface. Using a two-photon ladder-type excitation in $^{87}$Rb, we demonstrate both coherent and incoherent Rydberg excitation at submicron distances from the nanofiber surface. The 780 nm photon, near resonant to the $5S \rightarrow 5P$ transition, is mediated by the cooling laser, while the 482 nm light, near resonant to the $5P \rightarrow 29D$ transition, is mediated by the guided mode of the nanofiber. The population loss rate of the cold atom ensemble is used to measure the Rydberg population rate. A theoretical model is developed to interpret the results and link the population rate to the experimentally measured, effective Rabi frequency of the process. This work makes headway in the study of atom-surface interactions at submicron scales and the use of cold Rydberg atoms for all-fibered quantum networks and quantum simulations.


title: A Self-Stabilizing Minimal k-Grouping Algorithm

abstract: We consider the minimal k-grouping problem: given a graph G=(V,E) and a constant k, partition G into subgraphs of diameter no greater than k, such that the union of any two subgraphs has diameter greater than k. We give a silent self-stabilizing asynchronous distributed algorithm for this problem in the composite atomicity model of computation, assuming the network has unique process identifiers. Our algorithm works under the weakly-fair daemon. The time complexity (i.e., the number of rounds to reach a legitimate configuration) of our algorithm is O(nD/k) where n is the number of processes in the network and \diam is the diameter of the network. The space complexity of each process is O((n +n_{false})log n) where n_{false} is the number of false identifiers, i.e., identifiers that do not match the identifier of any process, but which are stored in the local memory of at least one process at the initial configuration. Our algorithm guarantees that the number of groups is at most $2n/k+1$ after convergence. We also give a novel composition technique to concatenate a silent algorithm repeatedly, which we call loop composition.


title: Co-Evolutionary Compression for Unpaired Image Translation

abstract: Generative adversarial networks (GANs) have been successfully used for considerable computer vision tasks, especially the image-to-image translation. However, generators in these networks are of complicated architectures with large number of parameters and huge computational complexities. Existing methods are mainly designed for compressing and speeding-up deep neural networks in the classification task, and cannot be directly applied on GANs for image translation, due to their different objectives and training procedures. To this end, we develop a novel co-evolutionary approach for reducing their memory usage and FLOPs simultaneously. In practice, generators for two image domains are encoded as two populations and synergistically optimized for investigating the most important convolution filters iteratively. Fitness of each individual is calculated using the number of parameters, a discriminator-aware regularization, and the cycle consistency. Extensive experiments conducted on benchmark datasets demonstrate the effectiveness of the proposed method for obtaining compact and effective generators.


title: Frequency Shifts due to Stark Effects on a Rb two-photon transition

abstract: The $5S_{1/2}\rightarrow 5D_{5/2}$ two-photon transition in Rb is of interest for the development of a compact optical atomic clock. Here we present a rigorous calculation of the 778.1~nm ac-Stark shift ($2.30(4) \times10^{-13}$(mW/mm$^2$)$^{-1}$) that is in good agreement with our measured value of $2.5(2) \times10^{-13}$(mW/mm$^2$)$^{-1}$. We include a calculation of the temperature-dependent blackbody radiation shift, we predict that the clock could be operated either with zero net BBR shift ($T=495.9(27)$~K) or with zero first-order sensitivity ($T=368.1(14)$~K). Also described is the calculation of the dc-Stark shift of 5.5(1)$\times 10^{-15}$/(V/cm$^2$) as well as clock sensitivities to optical alignment variations in both a cat's eye and flat mirror retro-reflector. Finally, we characterize these Stark effects discussing mitigation techniques necessary to reduce final clock instabilities.


title: Detection of Hundreds of New Planet Candidates and Eclipsing Binaries in K2 Campaigns 0-8

abstract: We implement a search for exoplanets in campaigns zero through eight (C0-8) of the K2 extension of the Kepler spacecraft. We apply a modified version of the QATS planet search algorithm to K2 light curves produced by the EVEREST pipeline, carrying out the C0-8 search on $1.5 \times 10^5$ target stars with magnitudes in the range of Kp = 9-15. We detect 818 transiting planet candidates, of which 374 were undiscovered by prior searches, with {64,15,5,2,1} in {2,3,4,5,6}-planet multi-planet candidate systems, respectively. Of the new planets detected, 100 orbit M dwarfs, including one which is potentially rocky and in the habitable zone. 154 of our candidates reciprocally transit with our Solar System: they are geometrically aligned to see at least one Solar System planet transit. We find candidates which display transit timing variations and dozens of candidates on both period extremes with single transits or ultra-short periods. We point to evidence that our candidates display similar patterns in frequency and size-period relation as confirmed planets, such as tentative evidence for the radius gap. Confirmation of these planet candidates with follow-up studies will increase the number of K2 planets by up to 50%, and characterization of their host stars will improve statistical studies of planet properties. Our sample includes many planets orbiting bright stars amenable for radial velocity follow-up and future characterization with JWST. We also list the 579 eclipsing binary systems detected as part of this search.


title: On the Koopman operator of algorithms

abstract: A systematic mathematical framework for the study of numerical algorithms would allow comparisons, facilitate conjugacy arguments, as well as enable the discovery of improved, accelerated, data-driven algorithms. Over the course of the last century, the Koopman operator has provided a mathematical framework for the study of dynamical systems, which facilitates conjugacy arguments and can provide efficient reduced descriptions. More recently, numerical approximations of the operator have enabled the analysis of a large number of deterministic and stochastic dynamical systems in a completely data-driven, essentially equation-free pipeline. Discrete or continuous time numerical algorithms (integrators, nonlinear equation solvers, optimization algorithms) are themselves dynamical systems. In this paper, we use this insight to leverage the Koopman operator framework in the data-driven study of such algorithms and discuss benefits for analysis and acceleration of numerical computation. For algorithms acting on high-dimensional spaces by quickly contracting them towards low-dimensional manifolds, we demonstrate how basis functions adapted to the data help to construct efficient reduced representations of the operator. Our illustrative examples include the gradient descent and Nesterov optimization algorithms, as well as the Newton-Raphson algorithm.


title: Approximate calculation of the binding energy between 17$\beta$-estradiol and human estrogen receptor alpha

abstract: Estrogen receptors (ERs) are a group of proteins activated by 17$\beta$-estradiol. The endocrine-disrupting chemicals (EDCs) mimic estrogen action by bind directly to the ligand binding domain of ER. From this perspective, ER represent a good model for identifying and assessing the health risk of potential EDCs. This ability is best reflected by the ligand-ER binding energy. Multilayer fragment molecular orbital (MFMO) calculations were performed which allowed us to obtain the binding energy using a calculation scheme that considers the molecular interactions that occur on the following model systems: the bound and free receptor, 17$\beta$-estradiol and a water cluster. The bound and free receptor and 17$\beta$-estradiol were surrounded by a water shell containing the same number of molecules as the water cluster. The structures required for MFMO calculations were obtained from molecular dynamics simulations and cluster analysis. Attractive dispersion interactions were observed between 17$\beta$-estradiol and the binding site hydrophobic residues. In addition, strong electrostatic interactions were found between 17$\beta$-estradiol and the following charged/polarized residues: Glu 353, His 524 and Arg 394. The FMO2-RHF/STO-3G:MP2/6-31G(d) weighted binding energy was of -67.2 kcal/mol. We hope that the model developed in this study can be useful for identifying and assessing the health risk of potential EDCs.


title: Computational hardness of spin-glass problems with tile-planted solutions

abstract: We investigate the computational hardness of spin-glass instances on a square lattice, generated via a recently introduced tunable and scalable approach for planting solutions. The method relies on partitioning the problem graph into edge-disjoint subgraphs, and planting frustrated, elementary subproblems that share a common local ground state, which guarantees that the ground state of the entire problem is known a priori. Using population annealing Monte Carlo, we compare the typical hardness of problem classes over a large region of the multi-dimensional tuning parameter space. Our results show that the problems have a wide range of tunable hardness. Moreover, we observe multiple transitions in the hardness phase space, which we further corroborate using simulated annealing and simulated quantum annealing. By investigating thermodynamic properties of these planted systems, we demonstrate that the harder samples undergo magnetic ordering transitions which are also ultimately responsible for the observed hardness transitions on changing the sample composition.


title: Probing Universalities in d>2 CFTs: from Black Holes to Shockwaves

abstract: Gravitational shockwaves are insensitive to higher-curvature corrections in the action. Recent work found that the OPE coefficients of lowest-twist multi-stress-tensor operators, computed holographically in a planar black hole background, are insensitive as well. In this paper, we analyze the relation between these two limits. We explicitly evaluate the two-point function on a shockwave background to all orders in a large central charge expansion. In the geodesic limit, we find that the ANEC exponentiates in the multi-stress-tensor sector. To compare with the black hole limit, we obtain a recursion relation for the lowest-twist products of two stress tensors in a spherical black hole background, letting us efficiently compute their OPE coefficients and prove their insensitivity to higher curvature terms. After resumming the lowest-twist stress-tensors and analytically continuing their contributions to the Regge limit, we find a perfect agreement with the shockwave computation. We also discuss the role of double-trace operators, global degenerate states, and multi-stress-tensor conformal blocks. These holographic results suggest the existence of a larger universal structure in higher-dimensional CFTs.


title: An upper bound on the first homology of spline complexes

abstract: Let $\Delta$ be a connected, pure $2$-dimensional simplicial complex embedded in $\mathbb{R}^2$ and let $C^{r}(\hat{\Delta})$ be the homogenized spline module of $\Delta$ with smoothness $r$. To study $C^{r}(\hat{\Delta})$, Schenck and Stillman developed the spline complex $S_\bullet/J_\bullet$. Schenck and Stiller conjectured that the regularity of $H_1(S_\bullet/J_\bullet)$ is less than $2r+1$. In this article, we first consider the case when $\Delta$ has only one totally interior edge, because it is the simplest non-trivial case. Then we may apply the formula we find here to get an upper bound on some more general cases.


title: Solving Heated Oil Pipeline Problems Via Mixed Integer Nonlinear Programming Approach

abstract: It is a crucial problem how to heat oil and save running cost for crude oil transport. This paper strictly formulates such a heated oil pipeline problem as a mixed integer nonlinear programming model. Nonconvex and convex continuous relaxations of the model are proposed, which are proved to be equivalent under some suitable conditions. Meanwhile, we provide a preprocessing procedure to guarantee these conditions. Therefore we are able to design a branch-and-bound algorithm for solving the mixed integer nonlinear programming model to global optimality. To make the branch-and-bound algorithm more efficient, an outer approximation method is proposed as well as the technique of warm start is used. The numerical experiments with a real heated oil pipeline problem show that our algorithm achieves a better scheme and can save 6.83% running cost compared with the practical scheme.


title: Model-independent reconstruction of $f(T)$ gravity from Gaussian Processes

abstract: We apply Gaussian processes and Hubble function data in $f(T)$ cosmology, to reconstruct for the first time the $f(T)$ form in a model-independent way. In particular, using $H(z)$ datasets coming from cosmic chronometers as well as from the radial BAO method, alongside the latest released local value $H_{0} = 73.52 \pm 1.62$ km/s/Mpc, we reconstruct $H(z)$ and its derivatives, resulting eventually in a reconstructed region for $f(T)$, without any assumption. Although the cosmological constant lies in the central part of the reconstructed region, the obtained mean curve follows a quadratic function. Inspired by this we propose a new $f(T)$ parametrization, i.e. $f(T) = -2\Lambda +\xi T^2$, with $\xi$ the sole free parameter that quantifies the deviation from $\Lambda$CDM cosmology. Additionally, we confront three viable one-parameter $f(T)$ models of the literature, which respectively are the power-law, the square-root exponential, and the exponential one, with the reconstructed $f(T)$ region, and then we extract significantly improved constraints for their model parameters, comparing to the constraints that arise from usual observational analysis. Finally, we argue that since we are using the direct Hubble measurements and the local value for $H_0$ in our analysis, with the above reconstruction of $f(T)$, the $H_0$ tension can be efficiently alleviated.


title: Protecting Spatiotemporal Event Privacy in Continuous Location-Based Services

abstract: Location privacy-preserving mechanisms (LPPMs) have been extensively studied for protecting users' location privacy by releasing a perturbed location to third parties such as location-based service providers. However, when a user's perturbed locations are released continuously, existing LPPMs may not protect the sensitive information about the user's spatiotemporal activities, such as "visited hospital in the last week" or "regularly commuting between Address 1 and Address 2" (it is easy to infer that Addresses 1 and 2 may be home and office), which we call it \textit{spatiotemporal event}. In this paper, we first formally define {spatiotemporal event} as Boolean expressions between location and time predicates, and then we define $ \epsilon $-\textit{spatiotemporal event privacy} by extending the notion of differential privacy. Second, to understand how much spatiotemporal event privacy that existing LPPMs can provide, we design computationally efficient algorithms to quantify the privacy leakage of state-of-the-art LPPMs when an adversary has prior knowledge of the user's initial probability over possible locations. It turns out that the existing LPPMs cannot adequately protect spatiotemporal event privacy. Third, we propose a framework, PriSTE, to transform an existing LPPM into one protecting spatiotemporal event privacy against adversaries with \textit{any} prior knowledge. Our experiments on real-life and synthetic data verified that the proposed method is effective and efficient.


title: Self-Supervised Adaptation of High-Fidelity Face Models for Monocular Performance Tracking

abstract: Improvements in data-capture and face modeling techniques have enabled us to create high-fidelity realistic face models. However, driving these realistic face models requires special input data, e.g. 3D meshes and unwrapped textures. Also, these face models expect clean input data taken under controlled lab environments, which is very different from data collected in the wild. All these constraints make it challenging to use the high-fidelity models in tracking for commodity cameras. In this paper, we propose a self-supervised domain adaptation approach to enable the animation of high-fidelity face models from a commodity camera. Our approach first circumvents the requirement for special input data by training a new network that can directly drive a face model just from a single 2D image. Then, we overcome the domain mismatch between lab and uncontrolled environments by performing self-supervised domain adaptation based on "consecutive frame texture consistency" based on the assumption that the appearance of the face is consistent over consecutive frames, avoiding the necessity of modeling the new environment such as lighting or background. Experiments show that we are able to drive a high-fidelity face model to perform complex facial motion from a cellphone camera without requiring any labeled data from the new domain.


title: Antipowers in Uniform Morphic Words and the Fibonacci Word

abstract: Fici, Restivo, Silva, and Zamboni define a $k$-antipower to be a word composed of $k$ pairwise distinct, concatenated words of equal length. Berger and Defant conjecture that for any sufficiently well-behaved aperiodic morphic word $w$, there exists a constant $c$ such that for any $k$ and any index $i$, a $k$-antipower with block length at most $ck$ starts at the $i$th position of $w$. They prove their conjecture in the case of binary words, and we extend their result to alphabets of arbitrary finite size and characterize those words for which the result does not hold. We also prove their conjecture in the specific case of the Fibonacci word.


title: Simulation of semidilute polymer solutions in planar extensional via conformationally averaged Brownian noise

abstract: The interplay between concentration, flow, hydrodynamic interactions (HI), and topological interactions governing semidilute polymer dynamics in strong flows are challenging to characterize. Brownian dynamics (BD) simulations are particularly valuable as a way to direct visualize how molecular interactions arise in these systems; however, BD simulations are often computationally limited by the need to calculate the correlated Brownian noise via decomposition of the diffusion tensor. Previously we have introduced an iterative conformational averaging (CA) method for BD simulations which bypasses these limitations by preaveraging the HI and Brownian noise in an iterative procedure. In this work, we generalize the CA method to flowing semidilute solutions by introducing a conformation dependent diffusion tensor and a strain dependent approximation to the conformationally averaged Brownian noise. We find that this approach nearly quantitatively reproduces both transient and steady state polymer dynamics and rheology while achieving an order of magnitude computational acceleration. We then utilize the CA method to investigate the concentration and flow rate dependence of polymer dynamics in planar extensional flows. Our results are consistent with previous experimental and simulation studies and provide a detailed view of broad conformational distributions in the semidilute regime. We observe interconversion between stretched and coiled states at steady state, which we conjecture occur due to the effect of concentration on the conformation dependent polymer drag. Additionally, we observe transient flow-induced intermolecular hooks in the startup of flow which lead to diverse and unique stretching pathways.


title: On Mining IoT Data for Evaluating the Operation of Public Educational Buildings

abstract: Public educational systems operate thousands of buildings with vastly different characteristics in terms of size, age, location, construction, thermal behavior and user communities. Their strategic planning and sustainable operation is an extremely complex and requires quantitative evidence on the performance of buildings such as the interaction of indoor-outdoor environment. Internet of Things (IoT) deployments can provide the necessary data to evaluate, redesign and eventually improve the organizational and managerial measures. In this work a data mining approach is presented to analyze the sensor data collected over a period of 2 years from an IoT infrastructure deployed over 18 school buildings spread in Greece, Italy and Sweden. The real-world evaluation indicates that data mining on sensor data can provide critical insights to building managers and custodial staff about ways to lower a building's energy footprint through effectively managing building operations.


title: The full Bochner theorem on real reductive groups

abstract: The major results of Barker $[3.],$ leading to the spherical Bochner theorem and its (spherical) extension, were made possible through the spherical transform theory of Trombi-Varadarajan $[14.]$ and were greatly controlled by the non-availability of the full (non-spherical) Harish-Chandra Fourier transform theory on a general connected semisimple Lie group, $G.$ Sequel to the recently announced results of Oyadare $[13.],$ where the full image of the Schwartz-type algebras, $\mathcal{C}^{p}(G),$ under the full Fourier transform is computed to be $\mathcal{C}^{p}(\widehat{G}):=\{(\widehat{\xi_{1}})^{-1}\cdot h\cdot (\widehat{\xi_{1}})^{-1}:h\in\bar{\mathcal{Z}}({\mathfrak{F}}^{\epsilon})\}$ with $\bar{\mathcal{Z}}({\mathfrak{F}}^{\epsilon})$ given as the Trombi-Varadarajan image of $\mathcal{C}^{p}(G//K),$ the present paper now gives the full Bochner theorem for $G$ by lifting the results of $[3.]$ to full non-spherical status. An extension of the full Bochner theorem to all of $\mathcal{C}^{p}(G),$ $1\leq p\leq2,$ is established. It is also conjectured that every positive-definite distribution $T$ on $G$ which corresponds to a Bochner measure $\mu$ on ${\mathfrak{F}}^{\epsilon}$ extends uniquely to an element of $\mathcal{C}^{p}(G)'$ if and only if $T$ can be expressed as a finite sum of derivatives of a class of functions exclusively parameterized by members of ${\mathfrak{F}}^{\epsilon}$ and $supp\; (\mu)\subset{\mathfrak{F}}^{\epsilon},$ with $\epsilon=(\frac{2}{p})-1$ for all $1\leq p\leq2.$ This gives the non-spherical abstract version of the extension theorem for any positive-definite distribution on $G.$ Our results confirm the one-to-one correspondence between tempered invariant positive-definite distributions and the Bochner measures of the case $SU(1,1)/\{\pm1\}$ (as computed in Barker $[5.]$) for all $G.$


title: Semi-simple groups of compact 16-dimensional planes

abstract: The automorphism group $\Sigma$ of a compact topological projective plane with a $16$-dimensional point space is a locally compact group. If the dimension of $\Sigma$ is at least $29$, then $\Sigma$ is known to be a Lie group. For the connected component $\Delta$ of $\Sigma$ the condition $\dim\Delta{\,\ge\,}27$ suffices. Depending on the structure of $\Delta$ and the configuration of the fixed elements of $\Delta$ sharper bounds are obtained here. Example: If $\Delta$ is semi-simple and fixes exactly one line and possibly several points on this line, then $\Delta$ is a Lie group if $\dim\Delta{\,\ge\,}11$. Any semi-simple group $\Delta$ which satisfies $\dim\Delta{\,\ge\,}25$ is a Lie group.


title: Bootstrapping Networks with Latent Space Structure

abstract: A core problem in statistical network analysis is to develop network analogues of classical techniques. The problem of bootstrapping network data stands out as especially challenging, since typically one observes only a single network, rather than a sample. Here we propose two methods for obtaining bootstrap samples for networks drawn from latent space models. The first method generates bootstrap replicates of network statistics that can be represented as U-statistics in the latent positions, and avoids actually constructing new bootstrapped networks. The second method generates bootstrap replicates of whole networks, and thus can be used for bootstrapping any network function. Commonly studied network quantities that can be represented as U-statistics include many popular summaries, such as average degree and subgraph counts, but other equally popular summaries, such as the clustering coefficient, are not expressible as U-statistics and thus require the second bootstrap method. Under the assumption of a random dot product graph, a type of latent space network model, we show consistency of the proposed bootstrap methods. We give motivating examples throughout and demonstrate the effectiveness of our methods on synthetic data.


title: A Tensor-based Approach to Joint Channel Estimation / Data Detection in Flexible Multicarrier MIMO Systems

abstract: Filter bank-based multicarrier (FBMC) systems have attracted increasing attention recently in view of their many advantages over the classical cyclic prefix (CP)-based orthogonal frequency division multiplexing (CP-OFDM) modulation. However, their more advanced structure (resulting in, for example, self interference) complicates signal processing tasks at the receiver, including synchronization, channel estimation and equalization. In a multiple-input multiple-output (MIMO) configuration, the multi-antenna interference has also to be taken into account. (Semi-) blind receivers, of increasing interest in (massive) MIMO systems, have been little studied so far for FBMC and mainly for the single-antenna case only. The design of such receivers for flexible MIMO FBMC systems, unifying a number of existing FBMC schemes, is considered in this paper through a tensor-based approach, which is shown to encompass existing joint channel estimation and data detection approaches as special cases, adding to their understanding and paving the way to further developments. Simulation-based results are included, for realistic transmission models, demonstrating the estimation and detection performance gains from the adoption of these receivers over their training only-based counterparts.


title: Enhancing Adversarial Example Transferability with an Intermediate Level Attack

abstract: Neural networks are vulnerable to adversarial examples, malicious inputs crafted to fool trained models. Adversarial examples often exhibit black-box transfer, meaning that adversarial examples for one model can fool another model. However, adversarial examples are typically overfit to exploit the particular architecture and feature representation of a source model, resulting in sub-optimal black-box transfer attacks to other target models. We introduce the Intermediate Level Attack (ILA), which attempts to fine-tune an existing adversarial example for greater black-box transferability by increasing its perturbation on a pre-specified layer of the source model, improving upon state-of-the-art methods. We show that we can select a layer of the source model to perturb without any knowledge of the target models while achieving high transferability. Additionally, we provide some explanatory insights regarding our method and the effect of optimizing for adversarial examples using intermediate feature maps. Our code is available at https://github.com/CUVL/Intermediate-Level-Attack.


title: Anomalous Diffusion in One-Dimensional Disordered Systems: A Discrete Fractional Laplacian Method

abstract: This work extends the applications of Anderson-type Hamiltonians to include transport characterized by anomalous diffusion. Herein, we investigate the transport properties of a one-dimensional disordered system that employs the discrete fractional Laplacian, $(-\Delta)^s,\ s\in(0,2),$ in combination with results from spectral and measure theory. It is a classical mathematical result that the standard Anderson model exhibits localization of energy states for all nonzero disorder in one-dimensional systems. Numerical simulations utilizing our proposed model demonstrate that this localization effect is enhanced for sub-diffusive realizations of the operator, $s\in (1,2),$ and that the super-diffusive realizations of the operator, $s\in (0,1),$ can exhibit energy states with less localized features. These results suggest that the proposed method can be used to examine anomalous diffusion in physical systems where strong interactions, structural defects, and correlated effects are present.


title: The Hopf monoid and the basic invariant of directed graphs

abstract: Aguiar and Ardila defined the Hopf monoid GP of generalized permutahedra and showed that it contains many submonoids that correspond to combinatorial objects. They also give a basic polynomial invariant of generalized permutahedra, which then specializes to the submonoids. We define the Hopf monoid of directed graphs and show that it also embeds in GP. The resulting basic invariant coincides with the strict chromatic polynomial of Awan and Bernardi.


title: Performance Comparison of Quasi-Delay-Insensitive Asynchronous Adders

abstract: In this technical note, we provide a comparison of the design metrics of various quasi-delay-insensitive (QDI) asynchronous adders, where the adders correspond to diverse architectures. QDI adders are robust, and the objective of this technical note is to point to those QDI adders which are suitable for low power/energy and less area. This information could be valuable for a resource-constrained low power VLSI design scenario. Non-QDI adders are excluded from the comparison since they are not robust although they may have optimized design metrics. All the QDI adders were realized using a 32/28nm CMOS process.


title: Terminal Prediction as an Auxiliary Task for Deep Reinforcement Learning

abstract: Deep reinforcement learning has achieved great successes in recent years, but there are still open challenges, such as convergence to locally optimal policies and sample inefficiency. In this paper, we contribute a novel self-supervised auxiliary task, i.e., Terminal Prediction (TP), estimating temporal closeness to terminal states for episodic tasks. The intuition is to help representation learning by letting the agent predict how close it is to a terminal state, while learning its control policy. Although TP could be integrated with multiple algorithms, this paper focuses on Asynchronous Advantage Actor-Critic (A3C) and demonstrating the advantages of A3C-TP. Our extensive evaluation includes: a set of Atari games, the BipedalWalker domain, and a mini version of the recently proposed multi-agent Pommerman game. Our results on Atari games and the BipedalWalker domain suggest that A3C-TP outperforms standard A3C in most of the tested domains and in others it has similar performance. In Pommerman, our proposed method provides significant improvement both in learning efficiency and converging to better policies against different opponents.


title: Short presentations of finite simple groups

abstract: Guralnick, Kantor, Kassabov and Lubotzky (J. Eur. Math. Soc. 13.2, 2011, 391-458) [GKKL] give 3-generator 7-relator presentations of $A_n$ and $S_n$ with bit-length $O(\log n)$ for $n\geq5$. This is the best possible bit-length, since $\Omega(\log n)$ bits are required to specify the integer $n$ in the input. However, the generators do not satisfy the relations. This paper considers the relevant arguments given in [GKKL], identifies where the errors occur, and shows how they can be fixed in order to recover this result. The presentations are available in Magma.


title: Functional Models for Time-Varying Random Objects

abstract: In recent years, samples of time-varying object data such as time-varying networks that are not in a vector space have been increasingly collected. These data can be viewed as elements of a general metric space that lacks local or global linear structure and therefore common approaches that have been used with great success for the analysis of functional data, such as functional principal component analysis, cannot be applied. In this paper we propose metric covariance, a novel association measure for paired object data lying in a metric space $(\Omega,d)$ that we use to define a metric auto-covariance function for a sample of random $\Omega$-valued curves, where $\Omega$ generally will not have a vector space or manifold structure. The proposed metric auto-covariance function is non-negative definite when the squared semimetric $d^2$ is of negative type. Then the eigenfunctions of the linear operator with the auto-covariance function as kernel can be used as building blocks for an object functional principal component analysis for $\Omega$-valued functional data, including time-varying probability distributions, covariance matrices and time-dynamic networks. Analogues of functional principal components for time-varying objects are obtained by applying Fr\'echet means and projections of distance functions of the random object trajectories in the directions of the eigenfunctions, leading to real-valued Fr\'echet scores. Using the notion of generalized Fr\'echet integrals, we construct object functional principal components that lie in the metric space $\Omega$.


title: U-GAT-IT: Unsupervised Generative Attentional Networks with Adaptive Layer-Instance Normalization for Image-to-Image Translation

abstract: We propose a novel method for unsupervised image-to-image translation, which incorporates a new attention module and a new learnable normalization function in an end-to-end manner. The attention module guides our model to focus on more important regions distinguishing between source and target domains based on the attention map obtained by the auxiliary classifier. Unlike previous attention-based method which cannot handle the geometric changes between domains, our model can translate both images requiring holistic changes and images requiring large shape changes. Moreover, our new AdaLIN (Adaptive Layer-Instance Normalization) function helps our attention-guided model to flexibly control the amount of change in shape and texture by learned parameters depending on datasets. Experimental results show the superiority of the proposed method compared to the existing state-of-the-art models with a fixed network architecture and hyper-parameters. Our code and datasets are available at https://github.com/taki0112/UGATIT or https://github.com/znxlwm/UGATIT-pytorch.


title: Safe Feature Elimination for Non-Negativity Constrained Convex Optimization

abstract: Inspired by recent work on safe feature elimination for $1$-norm regularized least-squares, we develop strategies to eliminate features from convex optimization problems with non-negativity constraints. Our strategy is safe in the sense that it will only remove features/coordinates from the problem when they are guaranteed to be zero at a solution. To perform feature elimination we use an accurate, but not optimal, primal-dual feasible pair, making our methods robust and able to be used on ill-conditioned problems. We supplement our feature elimination problem with a method to construct an accurate dual feasible point from an accurate primal feasible point; this allows us to use a first-order method to find an accurate primal feasible point, then use that point to construct an accurate dual feasible point and perform feature elimination. Under reasonable conditions, our feature elimination strategy will eventually eliminate all zero features from the problem. As an application of our methods we show how safe feature elimination can be used to robustly certify the uniqueness of non-negative least-squares (NNLS) problems. We give numerical examples on a well-conditioned synthetic NNLS problem and a on set of 40000 extremely ill-conditioned NNLS problems arising in a microscopy application.


title: Rational dilation of tetrablock contractions revisited

abstract: A classical result of Sz.-Nagy asserts that a Hilbert-space contraction operator $T$ can be lifted to an isometry $V$. A more general multivariable setting of recent interest for these ideas is the case where (i) the unit disk is replaced by a certain domain contained in ${\mathbb C}^3$ (called the {\em tetrablock}), (ii) the contraction operator $T$ is replaced by a commutative triple $(T_1, T_2, T)$ of Hilbert-space operators having ${\mathbb E}$ as a spectral set (a tetrablock contraction) . The rational dilation question for this setting is whether a tetrablock contraction $(T_1, T_2, T)$ can be lifted to a tetrablock isometry $(V_1, V_2, V)$ (a commutative operator tuple which extends to a tetrablock-unitary tuple $(U_1, U_2, U)$---a commutative tuple of normal operators with joint spectrum contained in the distinguished boundary of the tetrablock). We discuss necessary conditions for a tetrablock contraction to have a tetrablock-isometric lift. We present an example of a tetrablock contraction which does have a tetrablock-isometric lift but violates a condition previously thought to be necessary for the existence of such a lift. Thus the question of whether a tetrablock contraction always has a tetrablock-isometric lift appears to be unresolved at this time.


title: Finite Difference Based Wave Simulation in Fractured Porous Rocks

abstract: Biot's theory provides a framework for computing seismic wavefields in fluid saturated porous media. Here we implement a velocity-stress staggered grid 2D finite difference algorithm to model the wave-propagation in poroelastic media. The Biot's equation of motion are formulated using a finite difference algorithm with fourth order accuracy in space and second order accuracy in time. Seismic wave propagation in reservoir rocks is also strongly affected by fractures and faults. We next derive the equivalent media model for fractured porous rocks using the linear slip model and perform numerical simulations in the presence of fractured interfaces. As predicted by Biot's theory a slow compressional wave is observed in the particle velocity snapshots. In the layered model, at the boundary, the slow P-wave converts to a P-wave that travels faster than the slow P-wave. We finally conclude by commenting on the major details of our results.


title: Framelet Pooling Aided Deep Learning Network : The Method to Process High Dimensional Medical Data

abstract: Machine learning-based analysis of medical images often faces several hurdles, such as the lack of training data, the curse of dimensionality problem, and the generalization issues. One of the main difficulties is that there exists computational cost problem in dealing with input data of large size matrices which represent medical images. The purpose of this paper is to introduce a framelet-pooling aided deep learning method for mitigating computational bundle, caused by large dimensionality. By transforming high dimensional data into low dimensional components by filter banks with preserving detailed information, the proposed method aims to reduce the complexity of the neural network and computational costs significantly during the learning process. Various experiments show that our method is comparable to the standard unreduced learning method, while reducing computational burdens by decomposing large-sized learning tasks into several small-scale learning tasks.


title: Decrypting live SSH traffic in virtual environments

abstract: Decrypting and inspecting encrypted malicious communications may assist crime detection and prevention. Access to client or server memory enables the discovery of artefacts required for decrypting secure communications. This paper develops the MemDecrypt framework to investigate the discovery of encrypted artefacts in memory and applies the methodology to decrypting the secure communications of virtual machines. For Secure Shell, used for secure remote server management, file transfer, and tunnelling inter alia, MemDecrypt experiments rapidly yield AES-encrypted details for a live secure file transfer including remote user credentials, transmitted file name and file contents. Thus, MemDecrypt discovers cryptographic artefacts and quickly decrypts live SSH malicious communications including the detection and interception of data exfiltration of confidential data.


title: Queer Supercrystal Structure for Increasing Factorizations of Fixed-Point-Free Involution Words

abstract: We show that the set of increasing factorizations of fixed-point-free (FPF) involution words has the structure of queer supercrystals. By exploiting the algorithm of symplectic shifted Hecke insertion recently introduced by Marberg, we establish the one-to-one correspondence between the set of increasing factorizations of fixed-point-free involution words and the set of primed tableau (semistandard marked shifted tableaux) and the latter admits the structure of queer supercrystals. In order to establish the correspondence, we prove that the Coxeter-Knuth related FPF-involution words have the same insertion tableau in the symplectic shifted Hecke insertion, where the insertion tableau is an increasing shifted tableau and the recording tableau is a primed tableau.


title: Submission to ActivityNet Challenge 2019: Task B Spatio-temporal Action Localization

abstract: This technical report present an overview of our system proposed for the spatio-temporal action localization(SAL) task in ActivityNet Challenge 2019. Unlike previous two-streams-based works, we focus on exploring the end-to-end trainable architecture using only RGB sequential images. To this end, we employ a previously proposed simple yet effective two-branches network called SlowFast Networks which is capable of capturing both short- and long-term spatiotemporal features. Moreover, to handle the severe class imbalance and overfitting problems, we propose a correlation-preserving data augmentation method and a random label subsampling method which have been proven to be able to reduce overfitting and improve the performance.


title: A Fine-Grained Facial Expression Database for End-to-End Multi-Pose Facial Expression Recognition

abstract: The recent research of facial expression recognition has made a lot of progress due to the development of deep learning technologies, but some typical challenging problems such as the variety of rich facial expressions and poses are still not resolved. To solve these problems, we develop a new Facial Expression Recognition (FER) framework by involving the facial poses into our image synthesizing and classification process. There are two major novelties in this work. First, we create a new facial expression dataset of more than 200k images with 119 persons, 4 poses and 54 expressions. To our knowledge this is the first dataset to label faces with subtle emotion changes for expression recognition purpose. It is also the first dataset that is large enough to validate the FER task on unbalanced poses, expressions, and zero-shot subject IDs. Second, we propose a facial pose generative adversarial network (FaPE-GAN) to synthesize new facial expression images to augment the data set for training purpose, and then learn a LightCNN based Fa-Net model for expression classification. Finally, we advocate four novel learning tasks on this dataset. The experimental results well validate the effectiveness of the proposed approach.


title: Hard-Aware Fashion Attribute Classification

abstract: Fashion attribute classification is of great importance to many high-level tasks such as fashion item search, fashion trend analysis, fashion recommendation, etc. The task is challenging due to the extremely imbalanced data distribution, particularly the attributes with only a few positive samples. In this paper, we introduce a hard-aware pipeline to make full use of "hard" samples/attributes. We first propose Hard-Aware BackPropagation (HABP) to efficiently and adaptively focus on training "hard" data. Then for the identified hard labels, we propose to synthesize more complementary samples for training. To stabilize training, we extend semi-supervised GAN by directly deactivating outputs for synthetic complementary samples (Deact). In general, our method is more effective in addressing "hard" cases. HABP weights more on "hard" samples. For "hard" attributes with insufficient training data, Deact brings more stable synthetic samples for training and further improve the performance. Our method is verified on large scale fashion dataset, outperforming other state-of-the-art without any additional supervisions.


title: Nonlinearly Stable Real-Time Learning and Model-Free Control

abstract: This work provides a framework for nonlinear model-free control of systems with unknown input-output dynamics, but outputs that can be controlled by the inputs. This framework leads to real-time control of the system such that a feasible output trajectory can be tracked by the inputs. Unlike existing model-free or data-driven control approaches, this framework guarantees nonlinear stability. The controller and observer designs in the proposed framework are nonlinearly stable and robust to the unknown dynamics as well as unknown measurement noise. For ease of computer implementation, the framework is developed in discrete time. Nonlinear stability analyses of the discrete-time observers and controllers are carried out using discrete Lyapunov analysis. The unknown input-output dynamics is learnt in real time using a nonlinearly stable observer from prior input-output history. This observer ensures finite-time stable convergence of model estimation errors to zero if the unknown model is constant, and model estimation errors converge to a bounded neighborhood of the zero vector if the model has bounded change in discrete time. Measured outputs are filtered by a finite-time stable observer before use in feedback tracking of a desired output trajectory. Finite-time stable observer design in this framework also ensures that a nonlinear separation principle is in effect for separate controller and observer design. A model-free nonlinearly stable control scheme is then designed to ensure convergence of observed outputs to a desired output trajectory. This control scheme ensures nonlinear finite-time stable convergence of tracking errors to a manifold where the tracking errors decay asymptotically. A numerical experiment on a nonlinear second-order system demonstrates the performance of this nonlinear model-free control framework.


title: Molecular Brightness analysis of GPCR oligomerization in the presence of spatial heterogeneity

abstract: Measuring the oligomerization of plasma membrane proteins is rife with biophysical and biomedical implications. This is particularly true for GPCRs, a large family of proteins representing the targets of over one third of all FDA approved medications. Over the last thirty years, fluorescence microscopy has been the leading approach to address this problem. However, in spite of a large number of studies and approaches, for most GPCRs the results have remained highly contentious, possibly due to the large spectrum of specific methods employed.

categories: q-bio.QM physics.data-an q-bio.CB q-bio.SC


title: Using Boolean cumulants to study multiplication and anticommutators of free random variables

abstract: We study how Boolean cumulants can be used in order to address operations with freely independent random variables, particularly in connection to the $*$-distribution of the product of two selfadjoint freely independent random variables, and in connection to the distribution of the anticommutator of such random variables.


title: Learning Resolution-Invariant Deep Representations for Person Re-Identification

abstract: Person re-identification (re-ID) solves the task of matching images across cameras and is among the research topics in vision community. Since query images in real-world scenarios might suffer from resolution loss, how to solve the resolution mismatch problem during person re-ID becomes a practical problem. Instead of applying separate image super-resolution models, we propose a novel network architecture of Resolution Adaptation and re-Identification Network (RAIN) to solve cross-resolution person re-ID. Advancing the strategy of adversarial learning, we aim at extracting resolution-invariant representations for re-ID, while the proposed model is learned in an end-to-end training fashion. Our experiments confirm that the use of our model can recognize low-resolution query images, even if the resolution is not seen during training. Moreover, the extension of our model for semi-supervised re-ID further confirms the scalability of our proposed method for real-world scenarios and applications.


title: PU-GAN: a Point Cloud Upsampling Adversarial Network

abstract: Point clouds acquired from range scans are often sparse, noisy, and non-uniform. This paper presents a new point cloud upsampling network called PU-GAN, which is formulated based on a generative adversarial network (GAN), to learn a rich variety of point distributions from the latent space and upsample points over patches on object surfaces. To realize a working GAN network, we construct an up-down-up expansion unit in the generator for upsampling point features with error feedback and self-correction, and formulate a self-attention unit to enhance the feature integration. Further, we design a compound loss with adversarial, uniform and reconstruction terms, to encourage the discriminator to learn more latent patterns and enhance the output point distribution uniformity. Qualitative and quantitative evaluations demonstrate the quality of our results over the state-of-the-arts in terms of distribution uniformity, proximity-to-surface, and 3D reconstruction quality.


title: No evidence for intermediate-mass black holes in the globular clusters $\omega$ Cen and NGC 6624

abstract: We compare the results of a large grid of N-body simulations with the surface brightness and velocity dispersion profiles of the globular clusters $\omega$ Cen and NGC 6624. Our models include clusters with varying stellar-mass black hole retention fractions and varying masses of a central intermediate-mass black hole (IMBH). We find that an $\sim 45,000$ M$_\odot$ IMBH, whose presence has been suggested based on the measured velocity dispersion profile of $\omega$ Cen, predicts the existence of about 20 fast-moving, $m>0.5$ M$_\odot$ main-sequence stars with a (1D) velocity $v>60$ km/sec in the central 20 arcsec of $\omega$ Cen. However no such star is present in the HST/ACS proper motion catalogue of Bellini et al. (2017), strongly ruling out the presence of a massive IMBH in the core of $\omega$ Cen. Instead, we find that all available data can be fitted by a model that contains 4.6% of the mass of $\omega$ Cen in a centrally concentrated cluster of stellar-mass black holes. We show that this mass fraction in stellar-mass BHs is compatible with the predictions of stellar evolution models of massive stars. We also compare our grid of $N$-body simulations with NGC 6624, a cluster recently claimed to harbor a 20,000 M$_\odot$ black hole based on timing observations of millisecond pulsars. However, we find that models with $M_{IMBH}>1,000$ M$_\odot$ IMBHs are incompatible with the observed velocity dispersion and surface brightness profile of NGC 6624,ruling out the presence of a massive IMBH in this cluster. Models without an IMBH provide again an excellent fit to NGC 6624.


title: Finite size effect on vector meson and baryon sectors in 2+1 flavor QCD at the physical point

abstract: We investigate the finite size effect on the vector meson and the baryon sectors using a subset of the "PACS10" configurations which are generated, keeping the space-time volumes over (10 fm$)^4$ in 2+1 flavor QCD at the physical point. Comparing the results on (5.5 fm$)^4$ and (10.9 fm$)^4$ lattices the ground states of octet baryons , which are stable on the lattice, show no finite size effect within less than 0.5% level of statistical errors. For those of vector mesons, which are unstable on the lattice, we observe that the effective masses are well below the experimental resonance levels both on (5.5 fm$)^4$ and (10.9 fm$)^4$ lattices. For the decuplet baryon sector we have found that the time dependence of the effective mass looks quite similar to that for the vector meson sector including the $\Omega$ baryon channel. We discuss its origin due to a possible mixing with the nearby multihadron states. Since the $\Xi$ baryon mass can be determined with the smallest ambiguity among the vector meson and the baryon masses, we use it together with the pion and kaon masses as the physical inputs to determine the physical point.


title: Uniform Decoherence Effect on Localizable Entanglement in Random Multi-qubit Pure States

abstract: We investigate the patterns in distributions of localizable entanglement over a pair of qubits for random multi-qubit pure states. We observe that the mean of localizable entanglement increases gradually with increasing the number of qubits of random pure states while the standard deviation of the distribution decreases. The effects on the distributions, when the random pure multi-qubit states are subjected to local as well as global noisy channels, are also investigated. Unlike the noiseless scenario, the average value of the localizable entanglement remains almost constant with the increase in the number of parties for a fixed value of noise parameter. We also find out that the maximum strength of noise under which entanglement survives can be independent of the localizable entanglement content of the initial random pure states.


title: Comprehensive Three-dimensional Computational Model Enables Design of Nanostructured Infrared Detectors

abstract: Due to the unique three-dimensional (3-D) geometries of nanowire-i.e., large surface-to-volume ratios and smaller cross-sections at the nanowire-substrate interfaces-their carrier dynamics are much more complicated than those of thin films. Therefore, analytical solutions cannot be found for these nanostructures and a more comprehensive scheme of 3-D modeling is necessary to interpret their intrinsic carrier dynamics. To date, most modeling studies for nanowires have focused on electromagnetic properties (e.g. optical modes and optical absorption). However, very few studies have combined optical and electrical simulations together to probe the temporal and spatial carrier motions within nanowires. In this work, we present a comprehensive nanowire optoelectronic transient model and photoresponse model, allowing us to investigate carrier lifetimes and their fundamental correlations with material properties, as well as responsivities and detectivities for nanowire-based optical devices for photodetection (i.e., photodetectors). We believe this work can stimulate further experimental and theoretical work and unveil the real strength of 3-D computational models for exploring carrier dynamics in nanowires and nanostructured materials.


title: Squeezing enhanced atom-cavity interaction in coupled cavities with high dissipation rates

abstract: The realization of the strong coupling regime is requisite for implementing quantum information tasks. Here, a method for enhancing the atom-field coupling in highly dissipative coupled cavities is proposed. By introducing parametric squeezing into the primary cavity which is only virtually excited under specific parametric conditions, coupling enhancement between atom and auxiliary cavity is realized for proper squeezing parameters. This enables the system to be robust against large cavity decay and atomic spontaneous emission. The observation of vacuum Rabi oscillations show that the originally weak-coupled system can be enhanced into effective strong coupling regime.


title: A new family of biquadratic fields having a non-principal euclidean ideal class

abstract: In this paper, based on the theory of genus fields of biquadartic fields, we find a new larger family of biquadratic fields having a non-principal Euclidean ideal class, which implies the main results of \cite{JNT}.


title: Astrophysical signal consistency test adapted for gravitational-wave transient searches

abstract: Gravitational wave astronomy is established with direct observation of gravitational wave from merging binary black holes and binary neutron stars during the first and second observing run of LIGO and Virgo detectors. The gravitational-wave transient searches mainly categories into two families: modeled and modeled-independent searches. The modeled searches are based on matched filtering techniques and model-independent searches are based on the extraction of excess power from time-frequency representations. We have proposed a hybrid method, called wavegraph that mixes the two approaches. It uses astrophysical information at the extraction stage of model-independent search using a mathematical graph. In this work, we assess the performance of wavegraph clustering in real LIGO and Virgo noises (the sixth science run and the first observing run) and using the coherent WaveBurst transient search as a backbone. Further, we propose a new signal consistency test for this algorithm. This test uses the amplitude profile information to distinguish between the gravitational wave transients from the noisy glitches. This test is able to remove a large fraction of loud glitches, which thus results in additional overall sensitivity in the context of searches for binary black-hole mergers in the low-mass range.


title: Linear response for the dynamic Laplacian and finite-time coherent sets

abstract: Finite-time coherent sets represent minimally mixing objects in general nonlinear dynamics, and are spatially mobile features that are the most predictable in the medium term. When the dynamical system is subjected to small parameter change, one can ask about the rate of change of (i) the location and shape of the coherent sets, and (ii) the mixing properties (how much more or less mixing), with respect to the parameter. We answer these questions by developing linear response theory for the eigenfunctions of the dynamic Laplace operator, from which one readily obtains the linear response of the corresponding coherent sets. We construct efficient numerical methods based on a recent finite-element approach and provide numerical examples.


title: Discovering the Sky at the Longest Wavelengths with Small Satellite Constellations

abstract: Due to ionosphere absorption and the interference by natural and artificial radio emissions, ground observation of the sky at the decameter or longer is very difficult. This unexplored part of electromagnetic spectrum has the potential of great discoveries, notably in the study of cosmic dark ages and dawn, but also in heliophysics and space weather, planets, cosmic ray and neutrinos, pulsar and interstellar medium, extragalactic radio sources, and even SETI. At a forum organized by the International Space Science Institute-Beijing (ISSI-BJ), we discussed the prospect of opening up this window for astronomical observations by using a constellation of small or micro-satellites. We discussed the past experiments and the current ones such as the low frequency payload on Chang'e-4 mission lander, relay satellite and the Longjiang satellite, and also the future DSL mission, which is a linear array on lunar orbit which can make synthesized map of the whole sky as well as measure the global spectrum. We also discuss the synergy with other experiments, including ground global experiments such as EDGES, SARAS, SCI-HI and High-z, PRIZM/Albatros, ground imaging facillities such as LOFAR and MWA, and space experiments such as SUNRISE, DARE/DAPPER and PRATUSH. We also discussed some technical aspects of the DSL concept.


title: Pseudorapidity dependent hydrodynamic response in heavy-ion collisions

abstract: We propose a differential hydrodynamic response relation, $V_2(\zeta)=\int d\xi G(\zeta-\xi) \mathcal{E}_2(\xi)$, to describe the formation of a pseudorapidity dependent elliptic flow in heavy-ion collisions, in response to a fluctuating three-dimensional initial density profile. By analyzing the medium expansion using event-by-event simulations of 3+1D MUSIC, with initial conditions generated via the AMPT model, the differential response relation is verified. Given the response relation, we are able to separate the two-point correlation of elliptic flow in pseudorapidity into fluid response and two-point correlation of initial eccentricity. The fluid response contains information of the speed of sound and shear viscosity of the medium. From the pseudorapidity dependent response relation, a finite radius of convergence of hydrodynamic gradient expansion is obtained with respect to realistic fluids in heavy-ion collisions.


title: Machine learning and semantic analysis of in-game chat for cyberbullying

abstract: One major problem with cyberbullying research is the lack of data, since researchers are traditionally forced to rely on survey data where victims and perpetrators self-report their impressions. In this paper, an automatic data collection system is presented that continuously collects in-game chat data from one of the most popular online multi-player games: World of Tanks. The data was collected and combined with other information about the players from available online data services. It presents a scoring scheme to enable identification of cyberbullying based on current research. Classification of the collected data was carried out using simple feature detection with SQL database queries and compared to classification from AI-based sentiment text analysis services that have recently become available and further against manually classified data using a custom-built classification client built for this paper. The simple SQL classification proved to be quite useful at identifying some features of toxic chat such as the use of bad language or racist sentiments, however the classification by the more sophisticated online sentiment analysis services proved to be disappointing. The results were then examined for insights into cyberbullying within this game and it was shown that it should be possible to reduce cyberbullying within the World of Tanks game by a significant factor by simply freezing the player's ability to communicate through the in-game chat function for a short period after the player is killed within a match. It was also shown that very new players are much less likely to engage in cyberbullying, suggesting that it may be a learned behaviour from other players.


title: Characterization of Light Production and Transport in Tellurium Dioxide Crystals

abstract: Simultaneous measurement of phonon and light signatures is an effective way to reduce the backgrounds and increase the sensitivity of CUPID, a next-generation bolometric neutrinoless double-beta decay ($0\nu\beta\beta$) experiment. Light emission in tellurium dioxide (TeO$_2$) crystals, one of the candidate materials for CUPID, is dominated by faint Cherenkov radiation, and the high refractive index of TeO$_2$ complicates light collection. Positive identification of $0\nu\beta\beta$ events therefore requires high-sensitivity light detectors and careful optimization of light transport. A detailed microphysical understanding of the optical properties of TeO$_2$ crystals is essential for such optimization. We present a set of quantitative measurements of light production and transport in a cubic TeO$_2$ crystal, verified with a complete optical model and calibrated against a UVT acrylic standard. We measure the optical surface properties of the crystal, and set stringent limits on the amount of room-temperature scintillation in TeO$_2$ for $\beta$ and $\alpha$ particles of 5.3 and 8 photons / MeV, respectively, at 90% confidence. The techniques described here can be used to optimize and verify the particle identification capabilities of CUPID.


title: Weak maximum principle for biharmonic equations in quasiconvex Lipschitz domains

abstract: In dimension two or three, the weak maximum principal for biharmonic equation is valid in any bounded Lipschitz domains. In higher dimensions (greater than three), it was only known that the weak maximum principle holds in convex domains or $C^1$ domains, and may fail in general Lipschitz domains. In this paper, we prove the weak maximum principle in higher dimensions in quasiconvex Lipschitz domains, which is a sharp condition in some sense and recovers both convex and $C^1$ domains.


title: Photon sphere and perihelion shift in weak $f(T)$ gravity

abstract: Among modified theories of gravity, the teleparallel $f(T)$ gravity is an intensively discussed modelin the literature. The best way to investigate its viabilityis to derive observable predictions which yield evidence or constraints for the model, when compared with actual observations. In this paper we derive the photon sphere and the perihelion shift for weak $f(T)$ perturbations of general relativity. We consistently calculate first order teleparallel perturbations of Schwarzschild and Minkowski spacetime geometry, with which we improve and extend existing results in the literature.


title: The tight approximation property

abstract: This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological obstructions to it) by incorporating an approximation condition in the Euclidean topology. We prove that the tight approximation property is a stable birational invariant, is compatible with fibrations, and satisfies descent under torsors of linear algebraic groups. Its validity for a number of rationally connected varieties follows. Some concrete consequences are: smooth loops in the real locus of a smooth compactification of a real linear algebraic group, or in a smooth cubic hypersurface of dimension at least 2, can be approximated by rational algebraic curves; homogeneous spaces of linear algebraic groups over the function field of a real curve satisfy weak approximation.


title: Tracking-ADMM for Distributed Constraint-Coupled Optimization

abstract: We consider constraint-coupled optimization problems in which agents of a network aim to cooperatively minimize the sum of local objective functions subject to individual constraints and a common linear coupling constraint. We propose a novel optimization algorithm that embeds a dynamic average consensus protocol in the parallel Alternating Direction Method of Multipliers (ADMM) to design a fully distributed scheme for the considered set-up. The dynamic average mechanism allows agents to track the time-varying coupling constraint violation (at the current solution estimates). The tracked version of the constraint violation is then used to update local dual variables in a consensus-based scheme mimicking a parallel ADMM step. Under convexity, we prove that all limit points of the agents' primal solution estimates form an optimal solution of the constraint-coupled (primal) problem. The result is proved by means of a Lyapunov-based analysis simultaneously showing consensus of the dual estimates to a dual optimal solution, convergence of the tracking scheme and asymptotic optimality of primal iterates. A numerical study on optimal charging schedule of plug-in electric vehicles corroborates the theoretical results.


title: The minimizers of the $p$-frame potential

abstract: For any positive real number $p$, the $p$-frame potential of $N$ unit vectors $X:=\{\mathbf x_1,\ldots,\mathbf x_N\}\subset \mathbb R^d$ is defined as ${\rm FP}_{p,N,d}(X)=\sum_{i\neq j}|\langle \mathbf x_i,\mathbf x_j\rangle |^p$. In this paper, we focus on the special case $N=d+1$ and establish the unique minimizer of ${\rm FP}_{p,d+1,d}$ for $p\in (0,2)$. Our results completely solve the minimization problem of $p$-frame potential when $N=d+1$, which confirms a conjecture posed by Chen, Gonzales, Goodman, Kang and Okoudjou.