title: Spontaneous Domain Formation in Spherically-Confined Elastic Filaments

abstract: Although the free energy of a genome packing into a virus is dominated by DNA-DNA interactions, ordering of the DNA inside the capsid is elasticity-driven, suggesting general solutions with DNA organized into spool-like domains. Using analytical calculations and computer simulations of a long elastic filament confined to a spherical container, we show that the ground state is not a single spool as assumed hitherto, but an ordering mosaic of multiple homogeneously-ordered domains. At low densities, we observe concentric spools, while at higher densities, other morphologies emerge, which resemble topological links. We discuss our results in the context of metallic wires, viral DNA, and flexible polymers.


title: Another characterization of congruence distributive varieties

abstract: We provide a Maltsev characterization of congruence distributive varieties by showing that a variety $\mathcal {V}$ is congruence distributive if and only if the congruence identity $\alpha \cap (\beta \circ \gamma \circ \beta ) \subseteq \alpha \beta \circ \gamma \circ \alpha \beta \circ \gamma \dots $ ($k$ factors) holds in $\mathcal {V}$, for some natural number $k$.


title: Charge transition levels of quantum emitters in hexagonal boron nitride

abstract: Quantum emitters in layered materials are promising candidates for applications in nanophotonics. Here we present a technique based on charge transfer to graphene for measuring the charge transition levels ($\rm E_t$) of fluorescent defects in a wide bandgap 2D material, and apply it to quantum emitters in hexagonal boron nitride (hBN). Our results will aid in identifying the atomic structures of quantum emitters in hBN, as well as practical applications since $\rm E_t$ determines defect charge states and plays a key role in photodynamics.


title: Sensitivity analysis for the stationary distribution of reflected Brownian motion in a convex polyhedral cone

abstract: Reflected Brownian motion (RBM) in a convex polyhedral cone arises in a variety of applications ranging from the theory of stochastic networks to math finance, and under general stability conditions, it has a unique stationary distribution. In such applications, to implement a stochastic optimization algorithm or quantify robustness of a model, it is useful to characterize the dependence of stationary performance measures on model parameters. In this work we characterize parametric sensitivities of the stationary distribution of an RBM in a simple convex polyhedral cone; that is, sensitivities to perturbations of the parameters that define the RBM --- namely, the covariance matrix, drift vector and directions of reflection along the boundary of the polyhedral cone. In order to characterize these sensitivities we study the long time behavior of the joint process consisting of an RBM along with its so-called derivative process, which characterizes pathwise derivatives of RBMs on finite time intervals. We show that the joint process is positive recurrent, has a unique stationary distribution, and parametric sensitivities of the stationary distribution of an RBM can be expressed in terms of the stationary distribution of the joint process. This can be thought of as establishing an interchange of the differential operator and the limit in time. The analysis of ergodicity of the joint process is significantly more complicated than that of the RBM due to its degeneracy and the fact that the derivative process exhibits jumps that are modulated by the RBM. The proofs of our results rely on path properties of coupled RBMs and contraction properties related to the geometry of the polyhedral cone and directions of reflection along the boundary. Our results are potentially useful for developing efficient numerical algorithms for computing sensitivities of functionals of stationary RBMs.


title: The two digital homology theories

abstract: In this paper we prove results relating to four homology theories developed in the topology of digital images: a simplicial homology theory by Arslan et al which is the homology of the clique complex, a singular simplicial homology theory by Lee, a cubical homology theory by Jamil and Ali, and a new kind of cubical homology for digital images with $c_1$-adjacency which is easily computed, and generalizes a construction by Karaca & Ege. We show that the two simplicial homology theories are isomorphic, and that the two cubical theories are isomorphic, but that the simplicial theory is not isomorphic to the cubical theory. Thus we obtain, up to isomorphism, two different homology theories: simplicial, and cubical. We discuss briefly the relationship between the two theories. Notably, the two theories always agree in dimension zero, and in dimension 1 there is always a surjection from the cubical homology to the simplicial homology. We give examples to show that there need be no similar relationships in higher dimensions.


title: An eternal discrete time crystal beating the Heisenberg limit

abstract: A discrete time crystal (DTC) repeats itself with a rigid rhythm, mimicking a ticking clock set by the interplay between its internal structures and an external force. DTCs promise profound applications in precision time-keeping and other quantum techniques. However, it has been facing a grand challenge of thermalization. The periodic driving supplying the power may ultimately bring DTCs to thermal equilibrium and destroy their coherence. Here, we show that an all-to-all interaction delivers a DTC that evades thermalization and maintains quantum coherence and quantum synchronization regardless of spatial inhomogeneities in the driving field and the environment. Moreover, the sensitivity of this DTC scales with the total particle number to the power of three over two, realizing a quantum device of measuring the driving frequency or the interaction strength beyond the Heisenberg limit. Our work paves the way for designing novel non-equilibrium phases with long coherence time to advance quantum metrology.


title: Genus 2 Supersingular Isogeny Oblivious Transfer

abstract: We present an oblivious transfer scheme that extends the proposal made by Barreto, Oliveira and Benits, based in isogenies supersingular elliptic curves, to the setting of principally polarized supersingular abelian surfaces.


title: Grain-boundary structure and segregation in Nb3Sn coatings on Nb for high-performance superconducting radiofrequency cavity applications

abstract: We report on atomic-scale analyses of grain boundary (GB) structures and segregation in Nb3Sn coatings on Nb, prepared by the vapor-diffusion process, for superconducting radiofrequency (SRF) cavity applications, utilizing atom-probe tomography, high-resolution scanning transmission electron-microscopy and first-principles calculations. We demonstrate that the chemical composition of Nb3Sn GBs is correlated strongly with the diffusion of Sn and Nb at GBs during the coating process. In a sample coated with a relatively large Sn flux, we observe an interfacial width of Sn segregation at a GB of ~3 nm, with a maximum concentration of ~35 at.%. After post-annealing at 1100 oC for 3 h, the Sn segregated at GBs disappears and Nb segregation is observed subsequently at GBs, indicating that Nb diffused into the Nb3Sn GBs from the Nb substrate. It is also demonstrated that the amount of Sn segregation in a Nb3Sn coating can be controlled by: (i) Sn flux; and (ii) the temperatures of the Nb substrates and Sn source, which may affect the overall kinetics including GB diffusion of Sn and Nb. An investigation of the correlation between the chemical compositions of GBs and Nb3Sn SRF cavity performance reveals that the Nb3Sn SRF cavities with the best performance (high-quality factors at high accelerating electric-field gradients) do not exhibit Sn segregation at GBs. Our results suggest that the chemical compositions of GBs in Nb3Sn coatings for SRF cavities can be controlled by GB engineering and can be utilized to optimize fabrication of high-quality Nb3Sn coatings for SRF cavities.


title: Analyzing Utility of Visual Context in Multimodal Speech Recognition Under Noisy Conditions

abstract: Multimodal learning allows us to leverage information from multiple sources (visual, acoustic and text), similar to our experience of the real world. However, it is currently unclear to what extent auxiliary modalities improve performance over unimodal models, and under what circumstances the auxiliary modalities are useful. We examine the utility of the auxiliary visual context in Multimodal Automatic Speech Recognition in adversarial settings, where we deprive the models from partial audio signal during inference time. Our experiments show that while MMASR models show significant gains over traditional speech-to-text architectures (upto 4.2% WER improvements), they do not incorporate visual information when the audio signal has been corrupted. This shows that current methods of integrating the visual modality do not improve model robustness to noise, and we need better visually grounded adaptation techniques.


title: Indoor positioning system using WLAN channel estimates as fingerprints for mobile devices

abstract: With the growing integration of location based services (LBS) such as GPS in mobile devices, indoor position systems (IPS) have become an important role for research. There are several IPS methods such as AOA, TOA, TDOA, which use trilateration for indoor location estimation but are generally based on line-of-sight. Other methods rely on classification such as fingerprinting which uses WLAN indoor signals. This paper re-examines the classical WLAN fingerprinting accuracy which uses received signal strength (RSS) measurements by introducing channel estimates for improvements in the classification of indoor locations. The purpose of this paper is to improve existing classification algorithms used in fingerprinting by introducing channel estimates when there are a low number of APs available. The channel impulse response, or in this case the channel estimation from the receiver, should characterize a complex indoor area which usually has multipath, thus providing a unique signature for each location which proves useful for better pattern recognition. In this experiment, channel estimates are extracted from a Software-Defined Radio (SDR) environment, thus exploiting the benefits of SDR from a NI-USRP model and LabVIEW software. Measurements are taken from a known building, and several scenarios with one and two access points (APs) are used in this experiment. Also, three granularities in distance between locations are analyzed. A Support Vector Machine (SVM) is used as the algorithm for pattern recognition of different locations based on the samples taken from RSS and channel estimation coefficients.


title: ("Oops! Had the silly thing in reverse")---Optical injection attacks in through LED status indicators

abstract: It is possible to attack a computer remotely through the front panel LEDs. Following on previous results that showed information leakage at optical wavelengths, now it seems practicable to inject information into a system as well. It is shown to be definitely feasible under realistic conditions (by infosec standards) of target system compromise; experimental results suggest it further may be possible, through a slightly different mechanism, even under high security conditions that put extremely difficult constraints on the attacker. The problem is of recent origin; it could not have occurred before a confluence of unrelated technological developments made it possible. Arduino-type microcontrollers are involved; this is an Internet of Things (IoT) vulnerability. Unlike some previous findings, the vulnerability here is moderate---at present---because it takes the infosec form of a classical covert channel. However, the architecture of several popular families of microcontrollers suggests that a Rowhammer-like directed energy optical attack that requires no malware might be possible. Phase I experiments yielded surprising and encouraging results; a covert channel is definitely practicable without exotic hardware, bandwidth approaching a Mbit/s, and the majority of discrete LEDs tested were found to be reversible on GPIO pins. Phase II experiments, not yet funded, will try to open the door remotely.


title: Predicting video saliency using crowdsourced mouse-tracking data

abstract: This paper presents a new way of getting high-quality saliency maps for video, using a cheaper alternative to eye-tracking data. We designed a mouse-contingent video viewing system which simulates the viewers' peripheral vision based on the position of the mouse cursor. The system enables the use of mouse-tracking data recorded from an ordinary computer mouse as an alternative to real gaze fixations recorded by a more expensive eye-tracker. We developed a crowdsourcing system that enables the collection of such mouse-tracking data at large scale. Using the collected mouse-tracking data we showed that it can serve as an approximation of eye-tracking data. Moreover, trying to increase the efficiency of collected mouse-tracking data we proposed a novel deep neural network algorithm that improves the quality of mouse-tracking saliency maps.


title: Spectral Clustering with Graph Neural Networks for Graph Pooling

abstract: Spectral clustering (SC) is a popular clustering technique to find strongly connected communities on a graph. SC can be used in Graph Neural Networks (GNNs) to implement pooling operations that aggregate nodes belonging to the same cluster. However, the eigendecomposition of the Laplacian is expensive and, since clustering results are graph-specific, pooling methods based on SC must perform a new optimization for each new sample. In this paper, we propose a graph clustering approach that addresses these limitations of SC. We formulate a continuous relaxation of the normalized minCUT problem and train a GNN to compute cluster assignments that minimize this objective. Our GNN-based implementation is differentiable, does not require to compute the spectral decomposition, and learns a clustering function that can be quickly evaluated on out-of-sample graphs. From the proposed clustering method, we design a graph pooling operator that overcomes some important limitations of state-of-the-art graph pooling techniques and achieves the best performance in several supervised and unsupervised tasks.


title: Base Station Antenna Selection for Low-Resolution ADC Systems

abstract: This paper investigates antenna selection at a base station with large antenna arrays and low-resolution analog-to-digital converters. For downlink transmit antenna selection for narrowband channels, we show (1) a selection criterion that maximizes sum rate with zero-forcing precoding equivalent to that of a perfect quantization system; (2) maximum sum rate increases with number of selected antennas; (3) derivation of the sum rate loss function from using a subset of antennas; and (4) unlike high-resolution converter systems, sum rate loss reaches a maximum at a point of total transmit power and decreases beyond that point to converge to zero. For wideband orthogonal-frequency-division-multiplexing (OFDM) systems, our results hold when entire subcarriers share a common subset of antennas. For uplink receive antenna selection for narrowband channels, we (1) generalize a greedy antenna selection criterion to capture tradeoffs between channel gain and quantization error; (2) propose a quantization-aware fast antenna selection algorithm using the criterion; and (3) derive a lower bound on sum rate achieved by the proposed algorithm based on submodular functions. For wideband OFDM systems, we extend our algorithm and derive a lower bound on its sum rate. Simulation results validate theoretical analyses and show increases in sum rate over conventional algorithms.


title: Effects of Foraging in Personalized Content-based Image Recommendation

abstract: A major challenge of recommender systems is to help users locating interesting items. Personalized recommender systems have become very popular as they attempt to predetermine the needs of users and provide them with recommendations to personalize their navigation. However, few studies have addressed the question of what drives the users' attention to specific content within the collection and what influences the selection of interesting items. To this end, we employ the lens of Information Foraging Theory (IFT) to image recommendation to demonstrate how the user could utilize visual bookmarks to locate interesting images. We investigate a personalized content-based image recommendation system to understand what affects user attention by reinforcing visual attention cues based on IFT. We further find that visual bookmarks (cues) lead to a stronger scent of the recommended image collection. Our evaluation is based on the Pinterest image collection.


title: Bayesian Generalized Network Design

abstract: We study network coordination problems, as captured by the setting of generalized network design (Emek et al., STOC 2018), in the face of uncertainty resulting from partial information that the network users hold regarding the actions of their peers. This uncertainty is formalized using Alon et al.'s Bayesian ignorance framework (TCS 2012). While the approach of Alon et al. is purely combinatorial, the current paper takes into account computational considerations: Our main technical contribution is the development of (strongly) polynomial time algorithms for local decision making in the face of Bayesian uncertainty.


title: Robust and Resource Efficient Identification of Two Hidden Layer Neural Networks

abstract: We address the structure identification and the uniform approximation of two fully nonlinear layer neural networks of the type $f(x)=1^T h(B^T g(A^T x))$ on $\mathbb R^d$ from a small number of query samples. We approach the problem by sampling actively finite difference approximations to Hessians of the network. Gathering several approximate Hessians allows reliably to approximate the matrix subspace $\mathcal W$ spanned by symmetric tensors $a_1 \otimes a_1 ,\dots,a_{m_0}\otimes a_{m_0}$ formed by weights of the first layer together with the entangled symmetric tensors $v_1 \otimes v_1 ,\dots,v_{m_1}\otimes v_{m_1}$, formed by suitable combinations of the weights of the first and second layer as $v_\ell=A G_0 b_\ell/\|A G_0 b_\ell\|_2$, $\ell \in [m_1]$, for a diagonal matrix $G_0$ depending on the activation functions of the first layer. The identification of the 1-rank symmetric tensors within $\mathcal W$ is then performed by the solution of a robust nonlinear program. We provide guarantees of stable recovery under a posteriori verifiable conditions. We further address the correct attribution of approximate weights to the first or second layer. By using a suitably adapted gradient descent iteration, it is possible then to estimate, up to intrinsic symmetries, the shifts of the activations functions of the first layer and compute exactly the matrix $G_0$. Our method of identification of the weights of the network is fully constructive, with quantifiable sample complexity, and therefore contributes to dwindle the black-box nature of the network training phase. We corroborate our theoretical results by extensive numerical experiments.


title: Asymptotic behavior of the length of the longest increasing subsequences of random walks

abstract: We numerically estimate the leading asymptotic behavior of the length $L_{n}$ of the longest increasing subsequence of random walks with step increments following Student's $t$-distribution with parameter in the range $1/2 \leq \nu \leq 5$. We find that the expected value $\mathbb{E}(L_{n}) \sim n^{\theta}\ln{n}$ with $\theta$ decreasing from $\theta(\nu=1/2) \approx 0.70$ to $\theta(\nu \geq 5/2) \approx 0.50$. For random walks with distribution of step increments of finite variance ($\nu > 2$), this confirms previous observation of $\mathbb{E}(L_{n}) \sim \sqrt{n}\ln{n}$ to leading order. We note that this asymptotic behavior (including the subleading term) resembles that of the largest part of random integer partitions under the uniform measure and that, curiously, both random variables seem to follow Gumbel statistics. We also provide more refined estimates for the asymptotic behavior of $\mathbb{E}(L_{n})$ for random walks with step increments of finite variance.


title: The first heat: production of entanglement entropy in the early universe

abstract: Entanglement entropy (EE) of a spatial region quantifies correlations between the region and its surroundings. For a free scalar in the adiabatic vacuum in de Sitter space the EE is known to remain low, scaling as the surface area of the region. Here, we study the evolution of entanglement after the universe transitions from de Sitter to flat space. We concentrate on the case of a massless minimally coupled scalar. We find numerically that, after the de Sitter stage ends, the EE and the R\'enyi entropy rapidly grow and saturate at values obeying the volume law. The final state of the subsystem (region) is a partially thermalized state reminiscent of a generalized Gibbs ensemble. We comment on application of our results to the question of when and how cosmological perturbations decohere.

categories: hep-th cond-mat.stat-mech gr-qc quant-ph


title: Topic Modeling the Reading and Writing Behavior of Information Foragers

abstract: The general problem of "information foraging" in an environment about which agents have incomplete information has been explored in many fields, including cognitive psychology, neuroscience, economics, finance, ecology, and computer science. In all of these areas, the searcher aims to enhance future performance by surveying enough of existing knowledge to orient themselves in the information space. Individuals can be viewed as conducting a cognitive search in which they must balance exploration of ideas that are novel to them against exploitation of knowledge in domains in which they are already expert. In this dissertation, I present several case studies that demonstrate how reading and writing behaviors interact to construct personal knowledge bases. These studies use LDA topic modeling to represent the information environment of the texts each author read and wrote. Three studies revolve around Charles Darwin. Darwin left detailed records of every book he read for 23 years, from disembarking from the H.M.S. Beagle to just after publication of The Origin of Species. Additionally, he left copies of his drafts before publication. I characterize his reading behavior, then show how that reading behavior interacted with the drafts and subsequent revisions of The Origin of Species, and expand the dataset to include later readings and writings. Then, through a study of Thomas Jefferson's correspondence, I expand the study to non-book data. Finally, through an examination of neuroscience citation data, I move from individual behavior to collective behavior in constructing an information environment. Together, these studies reveal "the interplay between individual and collective phenomena where innovation takes place" (Tria et al. 2014).


title: Improving LSTM Neural Networks for Better Short-Term Wind Power Predictions

abstract: This paper improves wind power prediction via weather forecast-contextualized Long Short-Term Memory Neural Network (LSTM) models. Initially, only wind power data was fed to a generic LSTM, but this model performed poorly, with erratic and naive behavior observed on even low-variance data sections. To address this issue, weather forecast data was added to better contextualize the power data, and LSTM modifications were made to address specific model shortcomings. These models were tested through both a Normalized Mean Absolute Error and the Naive Ratio (NR), which is a score introduced by this paper to quantify the unwanted presence of naive character in trained models. Results showed an increased accuracy with the addition of weather forecast data on the modified models, as well as a decrease in naive character. Key contributions include making improved LSTM variants, usage of weather forecast data, and the introduction of a new model performance index.


title: ICDAR 2019 Competition on Scene Text Visual Question Answering

abstract: This paper presents final results of ICDAR 2019 Scene Text Visual Question Answering competition (ST-VQA). ST-VQA introduces an important aspect that is not addressed by any Visual Question Answering system up to date, namely the incorporation of scene text to answer questions asked about an image. The competition introduces a new dataset comprising 23,038 images annotated with 31,791 question/answer pairs where the answer is always grounded on text instances present in the image. The images are taken from 7 different public computer vision datasets, covering a wide range of scenarios. The competition was structured in three tasks of increasing difficulty, that require reading the text in a scene and understanding it in the context of the scene, to correctly answer a given question. A novel evaluation metric is presented, which elegantly assesses both key capabilities expected from an optimal model: text recognition and image understanding. A detailed analysis of results from different participants is showcased, which provides insight into the current capabilities of VQA systems that can read. We firmly believe the dataset proposed in this challenge will be an important milestone to consider towards a path of more robust and general models that can exploit scene text to achieve holistic image understanding.


title: Multiple polylogarithms with algebraic arguments and the two-loop EW-QCD Drell-Yan master integrals

abstract: We consider Feynman integrals with algebraic leading singularities and total differentials in $\epsilon\,\mathrm{d}\ln$ form. We show for the first time that it is possible to evaluate integrals with singularities involving unrationalizable roots in terms of conventional multiple polylogarithms, by either parametric integration or matching the symbol. As our main application, we evaluate the two-loop master integrals relevant to the $\alpha \alpha_s$ corrections to Drell-Yan lepton pair production at hadron colliders. We optimize our functional basis to allow for fast and stable numerical evaluations in the physical region of phase space.


title: First Results from an Event Synchronized -- High Repetition Thomson Scattering System at Wendelstein 7-X

abstract: The Wendelstein 7-X (W7-X) Thomson scattering (TS) diagnostic was upgraded to transiently achieve kilohertz sampling rates combined with adjustable measuring times. The existing Nd:YAG lasers are employed to repetitively emit "bursts", i.e. multiple laser pulses in a short time interval. Appropriately timing burst in the three available lasers, up to twelve evenly spaced consecutive measurements per burst are possible. The pulse-to-pulse increment within a burst can be tuned from 2 ms to 33.3 ms (500 kHz - 30 Hz). Additionally, an event trigger system was developed to synchronize the burst Thomson scattering measurements to plasma events. Exemplary, a case of fast electron density and temperature evolution after cryogenic H2 pellet injection is presented in order to demonstrate the capabilities of the method.


title: Nested coordinate Bethe wavefunctions from the Bethe/gauge correspondence

abstract: In [1, 2], Nekrasov applied the Bethe/gauge correspondence to derive the $\mathfrak{su}\, (2)$ XXX spin-chain coordinate Bethe wavefunction from the IR limit of a 2D $\mathcal{N}=(2, 2)$ supersymmetric $A_1$ quiver gauge theory with an orbifold-type codimension-2 defect. Later, Bullimore, Kim and Lukowski implemented Nekrasov's construction at the level of the UV $A_1$ quiver gauge theory, recovered his result, and obtained further extensions of the Bethe/gauge correspondence [3]. In this work, we extend the construction of the defect to $A_M$ quiver gauge theories to obtain the $\mathfrak{su} \, ( M + 1 )$ XXX spin-chain nested coordinate Bethe wavefunctions. The extension to XXZ spin-chain is straightforward. Further, we apply a Higgsing procedure to obtain more general $A_M$ quivers and the corresponding wavefunctions, and interpret this procedure (and the Hanany-Witten moves that it involves) on the spin-chain side in terms of Izergin-Korepin-type specializations (and re-assignments) of the parameters of the coordinate Bethe wavefunctions.


title: The University of Sydney's Machine Translation System for WMT19

abstract: This paper describes the University of Sydney's submission of the WMT 2019 shared news translation task. We participated in the Finnish$\rightarrow$English direction and got the best BLEU(33.0) score among all the participants. Our system is based on the self-attentional Transformer networks, into which we integrated the most recent effective strategies from academic research (e.g., BPE, back translation, multi-features data selection, data augmentation, greedy model ensemble, reranking, ConMBR system combination, and post-processing). Furthermore, we propose a novel augmentation method $Cycle Translation$ and a data mixture strategy $Big$/$Small$ parallel construction to entirely exploit the synthetic corpus. Extensive experiments show that adding the above techniques can make continuous improvements of the BLEU scores, and the best result outperforms the baseline (Transformer ensemble model trained with the original parallel corpus) by approximately 5.3 BLEU score, achieving the state-of-the-art performance.


title: An example of planar Anosov diffeomorphisms without fixed points

abstract: We construct an example of planar Anosov diffeomorphisms without fixed points which is not topologically conjugate to a translation.


title: Directivity Modes of Earthquake Populations with Unsupervised Learning

abstract: We present a novel approach for resolving modes of rupture directivity in large populations of earthquakes. A seismic spectral decomposition technique is used to first produce relative measurements of radiated energy for earthquakes in a spatially-compact cluster. The azimuthal distribution of energy for each earthquake is then assumed to result from one of several distinct modes of rupture propagation. Rather than fitting a kinematic rupture model to determine the most likely mode of rupture propagation, we instead treat the modes as latent variables and learn them with a Gaussian mixture model. The mixture model simultaneously determines the number of events that best identify with each mode. The technique is demonstrated on four datasets in California with several thousand earthquakes. We show that the datasets naturally decompose into distinct rupture propagation modes that correspond to different rupture directions, and the fault plane is unambiguously identified for all cases. We find that these small earthquakes exhibit unilateral ruptures 53-74% of the time on average. The results provide important observational constraints on the physics of earthquakes and faults.


title: Universal Online Convex Optimization with Minimax Optimal Second-Order Dynamic Regret

abstract: We introduce an online convex optimization algorithm which utilizes projected subgradient descent with optimal adaptive learning rates. Our method provides second-order minimax-optimal dynamic regret guarantee (i.e. dependent on the sum of squared subgradient norms) for a sequence of general convex functions, which may not have strong convexity, smoothness, exp-concavity or even Lipschitz-continuity. The regret guarantee is against any comparator decision sequence with bounded path variation (i.e. sum of the distances between successive decisions). We generate the lower bound of the worst-case second-order dynamic regret by incorporating actual subgradient norms. We show that this lower bound matches with our regret guarantee within a constant factor, which makes our algorithm minimax optimal. We also derive the extension for learning in each decision coordinate individually. We demonstrate how to best preserve our regret guarantee in a truly online manner, when the bound on path variation of the comparator sequence grows in time or the feedback regarding such bound arrives partially as time goes on. We further build on our algorithm to eliminate the need of any knowledge on the comparator path variation, and provide minimax optimal second-order regret guarantees with no a priori information. Our approach can compete against all comparator sequences simultaneously (universally) in a minimax optimal manner, i.e. each regret guarantee depends on the respective comparator path variation. We discuss modifications to our approach which address complexity reductions for time, computation and memory. We further improve our results by making the regret guarantees also dependent on comparator sets' diameters in addition to the respective path variations.


title: Proof of Witness Presence: Blockchain Consensus for Augmented Democracy in Smart Cities

abstract: Smart Cities evolve into complex and pervasive urban environments with a citizens' mandate to meet sustainable development goals. Repositioning democratic values of citizens' choices in these complex ecosystems has turned out to be imperative in an era of social media filter bubbles, fake news and opportunities for manipulating electoral results with such means. This paper introduces a new paradigm of augmented democracy that promises actively engaging citizens in a more informed decision-making augmented into public urban space. The proposed concept is inspired by a digital revive of the Ancient Agora of Athens, an arena of public discourse, a Polis where citizens assemble to actively deliberate and collectively decide about public matters. The core contribution of the proposed paradigm is the concept of proving witness presence: making decision-making subject of providing secure evidence and testifying for choices made in the physical space. This paper shows how the challenge of proving witness presence can be tackled with blockchain consensus to empower citizens' trust and overcome security vulnerabilities of GPS localization. Moreover, a novel platform for collective decision-making and crowd-sensing in urban space is introduced: Smart Agora. It is shown how real-time collective measurements over citizens' choices can be made in a fully decentralized and privacy-preserving way. Witness presence is tested by deploying a decentralized system for crowd-sensing the sustainable use of transport means. Furthermore, witness presence of cycling risk is validated using official accident data from public authorities, which are compared against wisdom of the crowd. The paramount role of dynamic consensus, self-governance and ethically aligned artificial intelligence in the augmented democracy paradigm is outlined.


title: Chandra observation of a cold front in Abell 2554

abstract: We present the evidence for the existence of substructure in the cold front cluster A2554 based on a 20.14 ks Chandra observation. Using centroid shift and X-ray brightness concentration parameters, we confirm that A2554 is a dynamically disturbed system. We detect two dominant structures; a main cluster at z = 0.1108 and a foreground northern substructure at z = 0.1082. The analysis reveals an X-ray surface brightness edge at r \simeq 60 kpc from the cluster core. The thermodynamical profiles across the edge are ruling out the shock scenario. The temperature jump (from \sim 6 keV to \sim 10 keV), and pressure equilibrium (P0/P1 = 1.01 \pm 0.23) across the edge, are consistent with the definition of a cold front with a Mach number M=0.94^{+0.13}_{-0.17} also observed a weak bow-shock at \sim 100 kpc in front of the cold cloud, corresponding an upper limit to the Mach number M \sim 1.1. If the northern substructure was not related to the cold front, we conclude that the transonic motion of the cloud is caused by a merger, which was weak or occurred long ago.


title: Machine learning technique using the signature method for automated quality control of the Argo profiles

abstract: A profile from the Argo ocean observation array is a sequence of three-dimensional vectors composed of pressure, salinity, and temperature, appearing as a continuous curve in three-dimensional space. The shape of this curve is faithfully represented by a path signature, which is a collection of all the iterated integrals. Moreover, the product of two terms of the signature of a path can be expressed as the sum of higher-order terms. Thanks to this algebraic property, a nonlinear function of profile shape can always be represented by a weighted linear combination of the iterated integrals, which enables machine learning of a complicated function of the profile shape. In this study, we performed supervised learning for existing Argo data with quality control flags by using the signature method, and demonstrated the estimation performance by cross-validation. Unlike rule-based approaches, which require several complicated and possibly subjective rules, this method is simple and objective in nature because it relies only on past knowledge regarding the shape of profiles. This technique should be critical to realizing automatic quality control for Argo profile data.


title: Deep Residual Neural Networks for Audio Spoofing Detection

abstract: The state-of-art models for speech synthesis and voice conversion are capable of generating synthetic speech that is perceptually indistinguishable from bonafide human speech. These methods represent a threat to the automatic speaker verification (ASV) systems. Additionally, replay attacks where the attacker uses a speaker to replay a previously recorded genuine human speech are also possible. We present our solution for the ASVSpoof2019 competition, which aims to develop countermeasure systems that distinguish between spoofing attacks and genuine speeches. Our model is inspired by the success of residual convolutional networks in many classification tasks. We build three variants of a residual convolutional neural network that accept different feature representations (MFCC, Log-magnitude STFT, and CQCC) of input. We compare the performance achieved by our model variants and the competition baseline models. In the logical access scenario, the fusion of our models has zero t-DCF cost and zero equal error rate (EER), as evaluated on the development set. On the evaluation set, our model fusion improves the t-DCF and EER by 25% compared to the baseline algorithms. Against physical access replay attacks, our model fusion improves the baseline algorithms t-DCF and EER scores by 71% and 75% on the evaluation set, respectively.


title: Wave-shape oscillatory model for nonstationary periodic time series analysis

abstract: The oscillations observed in many time series, particularly in biomedicine, exhibit morphological variations over time. These morphological variations are caused by intrinsic or extrinsic changes to the state of the generating system, henceforth referred to as dynamics. To model these time series (including and specifically pathophysiological ones) and estimate the underlying dynamics, we provide a novel wave-shape oscillatory model. In this model, time-dependent variations in cycle shape occur along a manifold called the wave-shape manifold. To estimate the wave-shape manifold associated with an oscillatory time series, study the dynamics, and visualize the time-dependent changes along the wave-shape manifold, we propose a novel algorithm coined Dynamic Diffusion map (DDmap) by applying the well-established diffusion maps (DM) algorithm to the set of all observed oscillations. We provide a theoretical guarantee on the dynamical information recovered by the DDmap algorithm under the proposed model. Applying the proposed model and algorithm to arterial blood pressure (ABP) signals recorded during general anesthesia leads to the extraction of nociception information. Applying the wave-shape oscillatory model and the DDmap algorithm to cardiac cycles in the electrocardiogram (ECG) leads to ectopy detection and a new ECG-derived respiratory signal, even when the subject has atrial fibrillation.


title: Modeling Tabular data using Conditional GAN

abstract: Modeling the probability distribution of rows in tabular data and generating realistic synthetic data is a non-trivial task. Tabular data usually contains a mix of discrete and continuous columns. Continuous columns may have multiple modes whereas discrete columns are sometimes imbalanced making the modeling difficult. Existing statistical and deep neural network models fail to properly model this type of data. We design TGAN, which uses a conditional generative adversarial network to address these challenges. To aid in a fair and thorough comparison, we design a benchmark with 7 simulated and 8 real datasets and several Bayesian network baselines. TGAN outperforms Bayesian methods on most of the real datasets whereas other deep learning methods could not.


title: Joint User Mobility and Traffic Characterization in Temporary Crowded Events

abstract: In TCEs (Temporary Crowded Events), for example, music festivals, users are faced with problems accessing the Internet. TCEs are limited time events with a high concentration of people moving within the event enclosure while accessing the Internet. Unlike other events where the user locations are constant and known at the start (e.g. stadiums), the traffic generation and the user movement in TCEs is variable and influenced by the dynamics of the event. The movement of users can lead to overloads in APs (Access Point) in case they are fixed. In order to minimize this phenomenon, new techniques have been explored that resort to the adjustable positioning of APs integrated into UAVs (Unmanned Aerial Vehicles). In these scenarios, the dynamic of the location of the APs requires that tools of prediction of the users movements and, in turn, of the sources of traffic, gain particular expression when being related to the algorithms of positioning of the referred APs. In order to allow the development and analysis of new network planning solutions for TCEs, it is necessary to recreate these scenarios in simulation, which, in turn, requires a detailed characterization of this kind of events. This article aims to characterize and model the mobility and traffic generated by users in TCEs. This characterization will enable the development of new statistical models of traffic generation and user mobility in TCEs.


title: Few-Shot Representation Learning for Out-Of-Vocabulary Words

abstract: Existing approaches for learning word embeddings often assume there are sufficient occurrences for each word in the corpus, such that the representation of words can be accurately estimated from their contexts. However, in real-world scenarios, out-of-vocabulary (a.k.a. OOV) words that do not appear in training corpus emerge frequently. It is challenging to learn accurate representations of these words with only a few observations. In this paper, we formulate the learning of OOV embeddings as a few-shot regression problem, and address it by training a representation function to predict the oracle embedding vector (defined as embedding trained with abundant observations) based on limited observations. Specifically, we propose a novel hierarchical attention-based architecture to serve as the neural regression function, with which the context information of a word is encoded and aggregated from K observations. Furthermore, our approach can leverage Model-Agnostic Meta-Learning (MAML) for adapting the learned model to the new corpus fast and robustly. Experiments show that the proposed approach significantly outperforms existing methods in constructing accurate embeddings for OOV words, and improves downstream tasks where these embeddings are utilized.


title: Toward Asymptotically-Optimal Inspection Planning via Efficient Near-Optimal Graph Search

abstract: Inspection planning, the task of planning motions that allow a robot to inspect a set of points of interest, has applications in domains such as industrial, field, and medical robotics. Inspection planning can be computationally challenging, as the search space over motion plans that inspect the points of interest grows exponentially with the number of inspected points. We propose a novel method, Incremental Random Inspection-roadmap Search (IRIS), that computes inspection plans whose length and set of inspected points asymptotically converge to those of an optimal inspection plan. IRIS incrementally densifies a motion planning roadmap using sampling-based algorithms, and performs efficient near-optimal graph search over the resulting roadmap as it is generated. We demonstrate IRIS's efficacy on a simulated planar 5DOF manipulator inspection task and on a medical endoscopic inspection task for a continuum parallel surgical robot in anatomy segmented from patient CT data. We show that IRIS computes higher-quality inspection paths orders of magnitudes faster than a prior state-of-the-art method.


title: Feynman integrals as A-hypergeometric functions

abstract: We show that the Lee-Pomeransky parametric representation of Feynman integrals can be understood as a solution of a certain Gel'fand-Kapranov-Zelevinsky (GKZ) system. In order to define such GKZ system, we consider the polynomial obtained from the Symanzik polynomials $g=\mathcal{U}+\mathcal{F}$ as having indeterminate coefficients. Noncompact integration cycles can be determined from the coamoeba---the argument mapping---of the algebraic variety associated with $g$. In general, we add a deformation to $g$ in order to define integrals of generic graphs as linear combinations of their canonical series. We evaluate several Feynman integrals with arbitrary non-integer powers in the propagators using the canonical series algorithm.


title: Finiteness conditions for the weak commutativity construction

abstract: The operator, $\chi $, of weak commutativity between isomorphic groups $G$ and $G^{\varphi }$ was introduced by Sidki as \begin{equation*} \chi (G)=\left\langle G \cup G^{\varphi }\mid \lbrack g,g^{\varphi }]=1\,\forall \,g\in G\right\rangle \text{.} \end{equation*} It is known that the operator $\chi $ preserves group properties such as finiteness, solubility and also nilpotency for finitely generated groups. We prove that if $G$ is a locally finite group with $exp(G)=n$, then $\chi(G)$ is locally finite and has finite $n$-bounded exponent. Further, we examine some finiteness criteria for the subgroup $D(G) = \langle [g_1,g_2^{\varphi}] \mid g_i \in G\rangle \leqslant \chi(G)$ in terms of the set $\{[g_1,g_2^{\varphi}] \mid g_i \in G\}$.


title: The Semantics of Rank Polymorphism

abstract: Iverson's APL and its descendants (such as J, K and FISh) are examples of the family of "rank-polymorphic" programming languages. The principal control mechanism of such languages is the general lifting of functions that operate on arrays of rank (or dimension) $r$ to operate on arrays of any higher rank $r' > r$. We present a core, functional language, Remora, that captures this mechanism, and develop both a formal, dynamic semantics for the language, and an accompanying static, rank-polymorphic type system for the language. Critically, the static semantics captures the shape-based lifting mechanism of the language. We establish the usual progress and preservation properties for the type system, showing that it is sound, which means that "array shape" errors cannot occur at run time in a well-typed program. Our type system uses dependent types, including an existential type abstraction which permits programs to operate on arrays whose shape or rank is computed dynamically; however, it is restricted enough to permit static type checking. The rank-polymorphic computational paradigm is unusual in that the types of arguments affect the dynamic execution of the program -- they are what drive the rank-polymorphic distribution of a function across arrays of higher rank. To highlight this property, we additionally present a dynamic semantics for a partially erased variant of the fully-typed language and show that a computation performed with a fully-typed term stays in lock step with the computation performed with its partially erased term. The residual types thus precisely characterise the type information that is needed by the dynamic semantics, a property useful for the (eventual) construction of efficient compilers for rank-polymorphic languages.


title: Hidden in Plain Sight For Too Long: Using Text Mining Techniques to Shine a Light on Workplace Sexism and Sexual Harassment

abstract: Objective: The goal of this study is to understand how people experience sexism and sexual harassment in the workplace by discovering themes in 2,362 experiences posted on the Everyday Sexism Project's website everydaysexism.com. Method: This study used both quantitative and qualitative methods. The quantitative method was a computational framework to collect and analyze a large number of workplace sexual harassment experiences. The qualitative method was the analysis of the topics generated by a text mining method. Results: Twenty-three topics were coded and then grouped into three overarching themes from the sex discrimination and sexual harassment literature. The Sex Discrimination theme included experiences in which women were treated unfavorably due to their sex, such as being passed over for promotion, denied opportunities, paid less than men, and ignored or talked over in meetings. The Sex Discrimination and Gender harassment theme included stories about sex discrimination and gender harassment, such as sexist hostility behaviors ranging from insults and jokes invoking misogynistic stereotypes to bullying behavior. The last theme, Unwanted Sexual Attention, contained stories describing sexual comments and behaviors used to degrade women. Unwanted touching was the highest weighted topic, indicating how common it was for website users to endure being touched, hugged or kissed, groped, and grabbed. Conclusions: This study illustrates how researchers can use automatic processes to go beyond the limits of traditional research methods and investigate naturally occurring large scale datasets on the internet to achieve a better understanding of everyday workplace sexism experiences.


title: Automatic Real-time Anomaly Detection for Autonomous Aerial Vehicles

abstract: The recent increase in the use of aerial vehicles raises concerns about the safety and reliability of autonomous operations. There is a growing need for methods to monitor the status of these aircraft and report any faults and anomalies to the safety pilot or to the autopilot to deal with the emergency situation. In this paper, we present a real-time approach using the Recursive Least Squares method to detect anomalies in the behavior of an aircraft. The method models the relationship between correlated input-output pairs online and uses the model to detect anomalies. The result is an easy-to-deploy anomaly detection method that does not assume a specific aircraft model and can detect many types of faults and anomalies in a wide range of autonomous aircraft. The experiments on this method show a precision of 88.23%, recall of 88.23%, and 86.36% accuracy for over 22 flight tests. The other contribution is providing a new fault detection open dataset for autonomous aircraft, which contains complete data and the ground truth for 22 fixed-wing flights with eight different types of mid-flight actuator failures to help future fault detection research for aircraft. The source code and the dataset can be accessed from https://theairlab.org/fault-detection/.


title: An approach to constructing super oscillatory functions

abstract: A recipe is presented for constructing band-limited superoscillating functions that exhibit arbitrarily high frequencies over arbitrarily long intervals.


title: Elementary Proof of a Theorem of Hawkes, Isaacs and \"Ozaydin

abstract: We present an elementary proof of the theorem of Hawkes, Isaacs and \"Ozaydin, which states that $\Sigma\,\mu_{G}(H,K)\equiv 0$ mod $d$, where $\mu_{G}$ denotes the M\"obius function for the subgroup lattice of a finite group $G$, $H$ ranges over the conjugates of a given subgroup $F$ of $G$ with $[G:F]$ divisible by $d$, and $K$ over the supergroups of the $H$ for which $[K:H]$ divides $d$. We apply the theorem to obtain a result on the number of solutions of $|\langle H,g\rangle|\mid n$, for said $H$ and a natural number $n$. The present version of the article includes an additional result on a quantity studied by K.S. Brown.


title: Hypercharge Quantisation and Fermat's Last Theorem

abstract: What values of the Standard Model hypercharges result in a mathematically consistent quantum field theory? We show that the constraints imposed by the lack of gauge anomalies can be recast as the equation x^3 + y^3 = z^3. If hypercharge is quantised, then x, y and z must be integers. The trivial (and only) solutions, with x=0 or y=0, reproduce the hypercharge assignments seen in Nature. This argument does not rely on the mixed gauge-gravitational anomaly, which is automatically vanishing if hypercharge is quantised and the gauge anomalies vanish.


title: Exact black hole solutions with non-linear electrodynamic field

abstract: We construct exact black hole solutions to Einstein gravity with nonlinear electrodynamic field. In these solutions, there are in general four parameters. They are physical mass, electric charge, cosmological constant and the coupling constant. Due to the presence of coupling constant, these solutions differ significantly from the Reissner-Nordstrom-de Sitter solution in Einstein-Maxwell gravity with a cosmological constant. In the first place, some of them are endowed with a topological defect on angle $\theta$. Secondly, for the extreme charged black holes, the electric charge can be much larger or much smaller than the mass by varying the coupling constant. Thirdly, for very large coupling constant, the radius of event horizon for some black holes approaches $2M$ regardless of the electric charge. Lastly, some black holes are asymptotically neither flat nor de Sitter (or anti-de Sitter).


title: Learning to Blindly Assess Image Quality in the Laboratory and Wild

abstract: Computational models for blind image quality assessment (BIQA) are typically trained in well-controlled laboratory environments with limited generalizability to realistically distorted images. Similarly, BIQA models optimized for images captured in the wild cannot adequately handle synthetically distorted images. To face the cross-distortion-scenario challenge, we develop a BIQA model and an approach of training it on multiple IQA databases (of different distortion scenarios) simultaneously. A key step in our approach is to create and combine image pairs within individual databases as the training set, which effectively bypasses the issue of perceptual scale realignment. We compute a continuous quality annotation for each pair from the corresponding human opinions, indicating the probability of one image having better perceptual quality. We train a deep neural network for BIQA over the training set of massive image pairs by minimizing the fidelity loss. Experiments on six IQA databases demonstrate that the optimized model by the proposed training strategy is effective in blindly assessing image quality in the laboratory and wild, outperforming previous BIQA methods by a large margin.


title: Pseudo chiral anomaly in zigzag graphene ribbons

abstract: As the three-dimensional analogs of graphene, Weyl semimetals display signatures of chiral anomaly which arises from charge pumping between the lowest chiral Landau levels of the Weyl nodes in the presence of parallel electric and magnetic fields. In this work, we study the pseudo chiral anomaly and its transport signatures in graphene ribbon with zigzag edges. Here "pseudo" refers to the case where the inverse of width of zigzag graphene ribbon plays the same role as magnetic field in three-dimensional Weyl semimetals. The valley chiral bands in zigzag graphene ribbons can be introduced by edge potentials, giving rise to the nonconservation of chiral current, i.e., pseudo chiral anomaly, in the presence of a longitudinal electric field. Further numerical results reveal that pseudo magnetoconductivity of zigzag graphene ribbons is positive and has a nearly quadratic dependence on the pseudofield, which is regarded as the transport signature of pseudo chiral anomaly.


title: Ultrafast Framing Imaging utilizing Multiple Optical-parametric-amplification with High Spatial Resolution and Imaging Rate

abstract: The discovery and understanding of many ultrafast dynamical processes are often invaluable. This paper is the first report to apply optical parametric amplification to implement single-shot ultrafast imaging with high space and time resolutions. Our setup breaks the constraints usually occurring among the time resolution, frame number, frame interval and spatial resolution in existing single-shot femtosecond imagers, so its performance can be greatly improved by using laser pulses with higher power and shorter time durations. Our setup has provided the highest experimental record of the frame rate and spatial resolution with the temporal resolution of 50 fs simultaneously. It is very powerful for accurate temporal and spatial observations of the ultrafast transient events with a lifetime down to the femtosecond scale, such as atomic or molecular dynamics in photonic material, plasma physics, living cells, and neural activity.


title: Transformed Naive Ratio and Product Based Estimators for Estimating Population Mode in Simple Random Sampling

abstract: In this paper, we propose a transformed na\"ive ratio and product based estimators using the characterizing scalar in presence of auxiliary information of the study variable for estimating the population mode following simple random sampling without replacement. The bias, mean square errors, relative efficiency, ratios of the exact values of mean square errors to the simulated mean square errors and confidence interval are studied for the performance of the proposed transformed na\"ive ratio type estimator with the certain natural population as well as artificially generated data sets. We have shown that proposed transformed na\"ive ratio based estimator is more efficient than the na\"ive estimator and na\"ive ratio estimator of the population mode.


title: Teach-Repeat-Replan: A Complete and Robust System for Aggressive Flight in Complex Environments

abstract: In this paper, we propose a complete and robust motion planning system for the aggressive flight of autonomous quadrotors. The proposed method is built upon on a classical teach-and-repeat framework, which is widely adopted in infrastructure inspection, aerial transportation, and search-and-rescue. For these applications, human's intention is essential to decide the topological structure of the flight trajectory of the drone. However, poor teaching trajectories and changing environments prevent a simple teach-and-repeat system from being applied flexibly and robustly. In this paper, instead of commanding the drone to precisely follow a teaching trajectory, we propose a method to automatically convert a human-piloted trajectory, which can be arbitrarily jerky, to a topologically equivalent one. The generated trajectory is guaranteed to be smooth, safe, and kinodynamically feasible, with a human preferable aggressiveness. Also, to avoid unmapped or dynamic obstacles during flights, a sliding-windowed local perception and re-planning method are introduced to our system, to generate safe local trajectories onboard. We name our system as teach-repeat-replan. It can capture users' intention of a flight mission, convert an arbitrarily jerky teaching path to a smooth repeating trajectory, and generate safe local re-plans to avoid unmapped or moving obstacles. The proposed planning system is integrated into a complete autonomous quadrotor with global and local perception and localization sub-modules. Our system is validated by performing aggressive flights in challenging indoor/outdoor environments. We release all components in our quadrotor system as open-source ros-packages.


title: Physics teaching assistants' views of different types of introductory problems: Challenge of perceiving the instructional benefits of context-rich and multiple-choice problems

abstract: Given a physics scenario, different problem types presenting that scenario in various ways can emphasize different instructional goals. In this investigation, we examined the views of physics graduate teaching assistants (TAs) about the instructional benefits of different types of introductory problems based upon the same problem scenario. Here we report on TAs' views about two of these problem types that were regarded by TAs as the least instructionally beneficial of all problem types--the context rich and multiple-choice formats. Many TAs listed no pros at all for these problem types, despite being explicitly asked for at least one pro. They viewed multiple-choice questions nearly exclusively as tools for high-stakes summative assessment rather than their possible use as formative assessment tools, e.g., as clicker questions even in large classes. Similarly, TAs viewed context-rich problems as overly challenging, unnecessarily wordy, and too time-consuming to be instructionally beneficial to their students. While TAs' concerns have obvious validity and value, the benefits of well-designed multiple-choice questions as a formative assessment tool was not readily identified by them, nor did the TAs recognize the learning benefits associated with solving context-rich problems. Given the powerful ways multiple-choice and context-rich problems can be used for active engagement and formative assessment in different instructional contexts to meet diverse instructional goals, the lack of enthusiasm for these types of problems has implications for future TA professional development programs.


title: Squeezed light induced symmetry breaking superradiant phase transition

abstract: We theoretically investigate the quantum phase transition in the collective systems of qubits in a high-quality cavity, which is driven by a squeezed light. We show that the squeezed light induced symmetry breaking can result in quantum phase transition without the ultrastrong coupling requirement. Using the standard mean field theory, we derive the condition of the quantum phase transition. Surprisingly, we show that there exists a tricritical point where the first- and second-order phase transitions meet. With specific atom-cavity coupling strengths, both the first- and second-order phase transition can be controlled by the squeezed light, leading to an optical switching from the normal phase to the superradiant phase by just increasing the squeezed light intensity. The signature of these phase transitions can be observed by detecting the phase space Wigner function distribution with different profiles controlled by the squeezed light intensity. Such superradiant phase transition can be implemented in various quantum systems, including atoms, quantum dots and ions in optical cavities as well as the circuit quantum electrodynamics system.


title: Geodesic Centroidal Voronoi Tessellations: Theories, Algorithms and Applications

abstract: Nowadays, big data of digital media (including images, videos and 3D graphical models) are frequently modeled as low-dimensional manifold meshes embedded in a high-dimensional feature space. In this paper, we summarized our recent work on geodesic centroidal Voronoi tessellations(GCVTs), which are intrinsic geometric structures on manifold meshes. We show that GCVT can find a widely range of interesting applications in computer vision and graphics, due to the efficiency of search, location and indexing inherent in these intrinsic geometric structures. Then we present the challenging issues of how to build the combinatorial structures of GCVTs and establish their time and space complexities, including both theoretical and algorithmic results.


title: Approximate $\mathbb{F}_2$-Sketching of Valuation Functions

abstract: We study the problem of constructing a linear sketch of minimum dimension that allows approximation of a given real-valued function $f \colon \mathbb{F}_2^n \rightarrow \mathbb R$ with small expected squared error. We develop a general theory of linear sketching for such functions through which we analyze their dimension for most commonly studied types of valuation functions: additive, budget-additive, coverage, $\alpha$-Lipschitz submodular and matroid rank functions. This gives a characterization of how many bits of information have to be stored about the input $x$ so that one can compute $f$ under additive updates to its coordinates. Our results are tight in most cases and we also give extensions to the distributional version of the problem where the input $x \in \mathbb{F}_2^n$ is generated uniformly at random. Using known connections with dynamic streaming algorithms, both upper and lower bounds on dimension obtained in our work extend to the space complexity of algorithms evaluating $f(x)$ under long sequences of additive updates to the input $x$ presented as a stream. Similar results hold for simultaneous communication in a distributed setting.


title: Translation and rotation of a spherical particle in a turbulent boundary layer

abstract: Three-dimensional particle tracking experiments were conducted in a turbulent boundary layer with friction Reynolds number $Re_\tau$ of 700 and 1300. Two finite size spheres with specific gravities of 1.003 (P1) and 1.050 (P2) and diameters of 60 and 120 wall units were released individually from rest on a smooth wall. The spheres were marked with dots all over the surface to monitor their translation and rotation via high-speed stereoscopic imaging. The spheres accelerated strongly after release over streamwise distances of one boundary layer thickness before approaching an approximate terminal velocity. Initially, sphere P1, which had Reynolds numbers $Re_p$ of 800 and 1900, always lifts off from the wall. Similar behavior was observed occasionally for sphere P2 with initial $Re_p$ of 1900. The spheres that lifted off reached an initial peak in height before descending towards the wall. The sphere trajectories exhibited multiple behaviors including saltation, resuspension and sliding motion with small random bouncing depending on both $Re_\tau$ and specific gravity. The lighter sphere at $Re_\tau=1300$, which remained suspended above the wall during most of its trajectory, propagated with the fastest streamwise velocity. By contrast, the denser sphere at $Re_\tau=700$, which mostly slid along the wall, propagated with the slowest streamwise velocity. After the spheres approached an approximate terminal velocity, many experienced additional lift-off events that were hypothesized to be driven by hairpins or coherent flow structures. Spheres were observed to rotate about all three coordinate axes. While the mean shear may induce a rotation about the spanwise axis, near-wall coherent structures and the sphere's wake might drive the streamwise and wall-normal rotations. In all cases where the sphere propagates along the wall, sliding motion, rather than forward rolling motion, is dominant.


title: FiDi-RL: Incorporating Deep Reinforcement Learning with Finite-Difference Policy Search for Efficient Learning of Continuous Control

abstract: In recent years significant progress has been made in dealing with challenging problems using reinforcement learning.Despite its great success, reinforcement learning still faces challenge in continuous control tasks. Conventional methods always compute the derivatives of the optimal goal with a costly computation resources, and are inefficient, unstable and lack of robust-ness when dealing with such tasks. Alternatively, derivative-based methods treat the optimization process as a blackbox and show robustness and stability in learning continuous control tasks, but not data efficient in learning. The combination of both methods so as to get the best of the both has raised attention. However, most of the existing combination works adopt complex neural networks (NNs) as the policy for control. The double-edged sword of deep NNs can yield better performance, but also makes it difficult for parameter tuning and computation. To this end, in this paper we presents a novel method called FiDi-RL, which incorporates deep RL with Finite-Difference (FiDi) policy search.FiDi-RL combines Deep Deterministic Policy Gradients (DDPG)with Augment Random Search (ARS) and aims at improving the data efficiency of ARS. The empirical results show that FiDi-RL can improves the performance and stability of ARS, and provide competitive results against some existing deep reinforcement learning methods


title: Polar Codes with Memory

abstract: Polar codes with memory (PCM) are proposed in this paper: a pair of consecutive code blocks containing a controlled number of mutual information bits. The shared mutual information bits of the succeeded block can help the failed block to recover. The underlying polar codes can employ any decoding scheme such as the successive cancellation (SC) decoding (PCM-SC), the belief propagation (BP) decoding (PCM-BP), and the successive cancellation list (SCL) decoding (PCM-SCL). The analysis shows that the packet error rate (PER) of PCM decreases to the order of PER squared while maintaining the same complexity as the underlying polar codes. Simulation results indicate that for PCM-SC, the PER is comparable to (less than 0.3 dB) the stand-alone SCL decoding with two lists for the block length $N=256$. The PER of PCM-SCL with $L$ lists can match that of the stand-alone SCL decoding with $2L$ lists. Two hardware decoders for PCM are also implemented: the in-serial (IS) decoder and the low-latency interleaved (LLI) decoder. For $N=256$, synthesis results show that in the worst case, the latency of the PCM LLI decoder is only $16.1\%$ of the adaptive SCL decoder with $L=2$, while the throughput is improved by 13 times compared to it.


title: Cross-view Relation Networks for Mammogram Mass Detection

abstract: Mammogram is the most effective imaging modality for the mass lesion detection of breast cancer at the early stage. The information from the two paired views (i.e., medio-lateral oblique and cranio-caudal) are highly relational and complementary, and this is crucial for doctors' decisions in clinical practice. However, existing mass detection methods do not consider jointly learning effective features from the two relational views. To address this issue, this paper proposes a novel mammogram mass detection framework, termed Cross-View Relation Region-based Convolutional Neural Networks (CVR-RCNN). The proposed CVR-RCNN is expected to capture the latent relation information between the corresponding mass region of interests (ROIs) from the two paired views. Evaluations on a new large-scale private dataset and a public mammogram dataset show that the proposed CVR-RCNN outperforms existing state-of-the-art mass detection methods. Meanwhile, our experimental results suggest that incorporating the relation information across two views helps to train a superior detection model, which is a promising avenue for mammogram mass detection.


title: Exponential-time quantum algorithms for graph coloring problems

abstract: The fastest known classical algorithm deciding the $k$-colorability of $n$-vertex graph requires running time $\Omega(2^n)$ for $k\ge 5$. In this work, we present an exponential-space quantum algorithm computing the chromatic number with running time $O(1.9140^n)$ using quantum random access memory (QRAM). Our approach is based on Ambainis et al's quantum dynamic programming with applications of Grover's search to branching algorithms. We also present a polynomial-space quantum algorithm not using QRAM for the graph $20$-coloring problem with running time $O(1.9575^n)$. In the polynomial-space quantum algorithm, we essentially show $(4-\epsilon)^n$-time classical algorithms that can be improved quadratically by Grover's search.


title: Characterization of localized effective spins in gapped quantum spin chains

abstract: We study properties of localized effective spins induced in gapped quantum spin chains by local inhomogeneities of the lattice. As a prototype, we study effective spins induced in impunity sites doped AKLT model by constructing the exact ground state in a matrix product state (MPS) form. We characterize their responses to external fields by studying an extended Zeeman interaction. We also study the antiferromagnetic bond-alternating Heisenberg chain with defect structures. For this model, an MPS representation similar to that for the AKLT model, "a uniform MPS with windows", is constructed, and it gives a good approximation of the ground state. We discuss the trade-off relation between the window length and the precision of the MPS ansatz. The effective exchange interaction between the induced spins is also investigated by using this representation.


title: Mismatched Guesswork

abstract: We study the problem of mismatched guesswork, where we evaluate the number of symbols $y \in \mathcal{Y}$ which have higher likelihood than $X \sim \mu$ according to a mismatched distribution $\nu$. We discuss the role of the tilted/exponential families of the source distribution $\mu$ and of the mismatched distribution $\nu$. We show that the value of guesswork can be characterized using the tilted family of the mismatched distribution $\nu$, while the probability of guessing is characterized by an exponential family which passes through $\mu$. Using this characterization, we demonstrate that the mismatched guesswork follows a large deviation principle (LDP), where the rate function is described implicitly using information theoretic quantities. We apply these results to one-to-one source coding (without prefix free constraint) to obtain the cost of mismatch in terms of average codeword length. We show that the cost of mismatch in one-to-one codes is no larger than that of the prefix-free codes, i.e., $D(\mu\| \nu)$. Further, the cost of mismatch vanishes if and only if $\nu$ lies on the tilted family of the true distribution $\mu$, which is in stark contrast to the prefix-free codes. These results imply that one-to-one codes are inherently more robust to mismatch.


title: Negative Excess Shot Noise by Anyon Braiding

abstract: Anyonic fractional charges $e^*$ have been detected by autocorrelation shot noise at a quantum point contact (QPC) between two fractional quantum Hall edges. We find that the autocorrelation noise can also show a fingerprint of Abelian anyonic fractional statistics. We predict the noise of electrical tunneling current $I$ at the QPC of the fractional-charge detection setup, when anyons are dilutely injected, from an additional edge biased by a voltage, to the setup in equilibrium. At large voltages, the nonequilibrium noise is {\it reduced} below the thermal equilibrium noise by the value $2 e^* I$. This negative excess noise is opposite to the positive excess noise $2e^* I$ of the conventional fractional-charge detection and also to usual positive autocorrelation noises of electrical currents. This is a signature of the Abelian fractional statistics, resulting from the effective braiding of an anyon thermally excited at the QPC around another anyon injected from the additional edge.


title: Learning to Link

abstract: Clustering is an important part of many modern data analysis pipelines, including network analysis and data retrieval. There are many different clustering algorithms developed by various communities, and it is often not clear which algorithm will give the best performance on a specific clustering task. Similarly, we often have multiple ways to measure distances between data points, and the best clustering performance might require a non-trivial combination of those metrics. In this work, we study data-driven algorithm selection and metric learning for clustering problems, where the goal is to simultaneously learn the best algorithm and metric for a specific application. The family of clustering algorithms we consider is parameterized linkage based procedures that includes single and complete linkage. The family of distance functions we learn over are convex combinations of base distance functions. We design efficient learning algorithms which receive samples from an application-specific distribution over clustering instances and simultaneously learn both a near-optimal distance and clustering algorithm from these classes. We also carry out a comprehensive empirical evaluation of our techniques showing that they can lead to significantly improved clustering performance.


title: Large Area 3D Human Pose Detection Via Stereo Reconstruction in Panoramic Cameras

abstract: We propose a novel 3D human pose detector using two panoramic cameras. We show that transforming fisheye perspectives to rectilinear views allows a direct application of two-dimensional deep-learning pose estimation methods, without the explicit need for a costly re-training step to compensate for fisheye image distortions. By utilizing panoramic cameras, our method is capable of accurately estimating human poses over a large field of view. This renders our method suitable for ergonomic analyses and other pose based assessments.


title: Novel two-dimensional photocatalyst SnN3 for overall water splitting with enhanced visible-light absorption

abstract: We propose a novel excellent two-dimensional photocatalyst SnN3 monolayer using first-principles calculations. The stability of SnN3 monolayer have been examined via formation energy, phonon spectrum and ab initio molecular dynamics calculations. Large optical absorption capacity plays significant role in the enhancement of photocatalytic splitting of water. The SnN3 monolayer have ultra-high optical absorption capacity in visible region, which is as three and four times as that of SnP3 and MoS2 monolayer, respectively. Available potential and appropriate band positions indicating the ability of overall water splitting even in a wide strain range. Electronic properties of SnN3 monolayer can also be engineered effectively via the external strain, such as the conversion from in-direct band gap to direct band gap. The applied electric field splits the energy levels due to Stark effect, resulting in states accumulation and smaller gap width


title: 4d N=1 from 6d D-type N=(1,0)

abstract: Compactifications of 6d N=(1,0) SCFTs give rise to new 4d N=1 SCFTs and shed light on interesting dualities between such theories. In this paper we continue exploring this line of research by extending the class of compactified 6d theories to the D-type case. The simplest such 6d theory arises from D5 branes probing D-type singularities. Equivalently, this theory can be obtained from an F-theory compactification using "-2"-curves intersecting according to a D-type quiver. Our approach is two-fold. We start by compactifying the 6d SCFT on a Riemann surface and compute the central charges of the resulting 4d theory by integrating the 6d anomaly polynomial over the Riemann surface. As a second step, in order to find candidate 4d UV Lagrangians, there is an intermediate 5d theory that serves to construct 4d domain walls. These can be used as building blocks to obtain torus compactifications. In contrast to the A-type case, the vanishing of anomalies in the 4d theory turns out to be very restrictive and constraints the choices of gauge nodes and matter content severely. As a consequence, in this paper one has to resort to non-maximal boundary conditions for the 4d domain walls. However, the comparison to the 6d theory compactified on the Riemann surface becomes less tractable.


title: Parametric Timed Model Checking for Guaranteeing Timed Opacity

abstract: Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage is the ability for an attacker to deduce internal information depending on the system execution time. We address the following problem: given a timed system, synthesize the execution times for which one cannot deduce whether the system performed some secret behavior. We solve this problem in the setting of timed automata (TAs). We first provide a general solution, and then extend the problem to parametric TAs, by synthesizing internal timings making the TA secure. We study decidability, devise algorithms, and show that our method can also apply to program analysis.


title: Beam Allocation for Millimeter-Wave MIMO Tracking Systems

abstract: In this paper, we propose a new beam allocation strategy aiming to maximize the average successful tracking probability (ASTP) of time-varying millimeter-wave MIMO systems. In contrast to most existing works that employ one transmitting-receiving (Tx-Rx) beam pair once only in each training period, we investigate a more general framework, where the Tx-Rx beam pairs are allowed to be used repeatedly to improve the received signal powers in specific directions. In the case of orthogonal Tx-Rx beam pairs, a power-based estimator is employed to track the time-varying AoA and AoD of the channel, and the resulting training beam pair sequence design problem is formulated as an integer nonlinear programming (I-NLP) problem. By dividing the feasible region into a set of subregions, the formulated I-NLP is decomposed into a series of concave sub I-NLPs, which can be solved by recursively invoking a nonlinear branch-and-bound algorithm. To reduce the computational cost, we relax the integer constraints of each sub I-NLP and obtain a low-complexity solution via solving the Karush-Kuhn-Tucker conditions of their relaxed problems. For the case when the Tx-Rx beam pairs are overlapped in the angular space, we estimate the updated AoA and AoD via an orthogonal matching pursuit (OMP) algorithm. Moreover, since no explicit expression for the ASTP exists for the OMP-based estimator, we derive a closed-form lower bound of the ASTP, based on which a favorable beam pair allocation strategy can be obtained. Numerical results demonstrate the superiority of the proposed beam allocation strategy over existing benchmarks.


title: Spin currents driven by the Higgs mode in magnetic superconductors

abstract: Higgs mode in superconducting materials describes slowly-decaying oscillations of the order parameter amplitude. We demonstrate that in magnetic superconductors with built-in spin-splitting field Higgs mode is strongly coupled to the spin degrees of freedom allowing for the generation of time-dependent spin currents. Converting such spin currents to electric signals by spin-filtering elements provides a tool for the second-harmonic generation and the electrical detection of the Higgs mode generated by the external irradiation. The non-adiabatic spin torques generated by these spin currents allow for the magnetic detection of the Higgs mode by measuring the precession of magnetic moment in the adjacent ferromagnet. We discuss also the reciprocal effect which is the generation of the Higgs mode by the magnetic precession. Coupling the collective modes in superconductors to light and magnetic dynamics opens the new direction of superconducting optospintronics.


title: A Formal Approach for Efficient Navigation Management of Hybrid Electric Vehicles on Long Trips

abstract: Plug-in Hybrid Electric Vehicles (PHEVs) are gaining popularity due to their economic efficiency as well as their contribution to green management. PHEVs allow the driver to use electric power exclusively for driving and then switch to gasoline as needed. The more gasoline a vehicle uses, the higher cost is required for the trip. However, a PHEV cannot last for a long period on stored electricity without being recharged. Thus, it needs frequent recharging compared to traditional gasoline-powered vehicles. Moreover, the battery recharging time is usually long, which leads to longer delays on a trip. Therefore, it is necessary to provide a flexible navigation management scheme along with an efficient recharging schedule, which allows the driver to choose an optimal route based on the fuel-cost and time-to-destination constraints. In this paper, we present a formal model to solve this PHEV navigation management problem. The model is solved to provide a driver with a comprehensive routing plan including the potential recharging and refueling points that satisfy the given requirements, particularly the maximum fuel cost and the maximum trip time. In addition, we propose a price-based navigation control technique to achieve better load balance for the traffic system. Evaluation results show that the proposed formal models can be solved efficiently even with large road networks.


title: Probabilistic Neural-Network Based 2D Travel Time Tomography

abstract: Travel time tomography for the velocity structure of a medium is a highly non-linear and non-unique inverse problem. Monte Carlo methods are becoming increasingly common choices to provide probabilistic solutions to tomographic problems but those methods are computationally expensive. Neural networks can often be used to solve highly non-linear problems at a much lower computational cost when multiple inversions are needed from similar data types. We present the first method to perform fully non-linear, rapid and probabilistic Bayesian inversion of travel time data for 2D velocity maps using a mixture density network. We compare multiple methods to estimate probability density functions that represent the tomographic solution, using different sets of prior information and different training methodologies. We demonstrate the importance of prior information in such high dimensional inverse problems due to the curse of dimensionality: unrealistically informative prior probability distributions may result in better estimates of the mean velocity structure, however the uncertainties represented in the posterior probability density functions then contain less information than is obtained when using a less informative prior. This is illustrated by the emergence of uncertainty loops in posterior standard deviation maps when inverting travel time data using a less informative prior, which are not observed when using networks trained on prior information that includes (unrealistic) a priori smoothness constraints in the velocity models. We show that after an expensive program of training the networks, repeated high-dimensional, probabilistic tomography is possible on timescales of the order of a second on a standard desktop computer.


title: Cosine similarity-based adversarial process

abstract: An adversarial process between two deep neural networks is a promising approach to train a robust model. In this paper, we propose an adversarial process using cosine similarity, whereas conventional adversarial processes are based on inverted categorical cross entropy (CCE). When used for training an identification model, the adversarial process induces the competition of two discriminative models; one for a primary task such as speaker identification or image recognition, the other one for a subsidiary task such as channel identification or domain identification. In particular, the adversarial process degrades the performance of the subsidiary model by eliminating the subsidiary information in the input which, in assumption, may degrade the performance of the primary model. The conventional adversarial processes maximize the CCE of the subsidiary model to degrade the performance. We have studied a framework for training robust discriminative models by eliminating channel or domain information (subsidiary information) by applying such an adversarial process. However, we found through experiments that using the process of maximizing the CCE does not guarantee the performance degradation of the subsidiary model. In the proposed adversarial process using cosine similarity, on the contrary, the performance of the subsidiary model can be degraded more efficiently by searching feature space orthogonal to the subsidiary model. The experiments on speaker identification and image recognition show that we found features that make the outputs of the subsidiary models independent of the input, and the performances of the primary models are improved.


title: Toric flat families, valuations, and applications to projectivized toric vector bundles

abstract: Using the notion of a valuation into the semifield of piecewise linear functions, we give a classification of torus equivariant flat families of finite type over a toric variety base, by certain piecewise linear maps between fans. As a consequence we derive a classification of toric vector bundles phrased in terms of tropicalized linear spaces. We use these tools to give a characterization of the Mori dream space property for a projectivized toric vector bundle.


title: Unsupervised Adversarial Graph Alignment with Graph Embedding

abstract: Graph alignment, also known as network alignment, is a fundamental task in social network analysis. Many recent works have relied on partially labeled cross-graph node correspondences, i.e., anchor links. However, due to the privacy and security issue, the manual labeling of anchor links for diverse scenarios may be prohibitive. Aligning two graphs without any anchor links is a crucial and challenging task. In this paper, we propose an Unsupervised Adversarial Graph Alignment (UAGA) framework to learn a cross-graph alignment between two embedding spaces of different graphs in a fully unsupervised fashion (\emph{i.e.,} no existing anchor links and no users' personal profile or attribute information is available). The proposed framework learns the embedding spaces of each graph, and then attempts to align the two spaces via adversarial training, followed by a refinement procedure. We further extend our UAGA method to incremental UAGA (iUAGA) that iteratively reveals the unobserved user links based on the pseudo anchor links. This can be used to further improve both the embedding quality and the alignment accuracy. Moreover, the proposed methods will benefit some real-world applications, \emph{e.g.,} link prediction in social networks. Comprehensive experiments on real-world data demonstrate the effectiveness of our proposed approaches UAGA and iUAGA for unsupervised graph alignment.


title: An Improved Evaluation of the Neutron Background in the PandaX-II Experiment

abstract: In dark matter direct detection experiments, neutron is a serious source of background, which can mimic the dark matter-nucleus scattering signals. In this paper, we present an improved evaluation of the neutron background in the PandaX-II dark matter experiment by a novel approach. Instead of fully relying on the Monte Carlo simulation, the overall neutron background is determined from the neutron-induced high energy signals in the data. In addition, the probability of producing a dark-matter-like background per neutron is evaluated with a complete Monte Carlo generator, where the correlated emission of neutron(s) and $\gamma$(s) in the ($\alpha$, n) reactions and spontaneous fissions is taken into consideration. With this method, the neutron backgrounds in the Run 9 (26-ton-day) and Run 10 (28-ton-day) data sets of PandaX-II are estimated to be 0.66$\pm$0.24 and 0.47$\pm$0.25 events, respectively.


title: Electronic and optical properties of Germagraphene, a direct band-gap semiconductor

abstract: In this communication, we report a theoretical attempt to understand the electronic and optical properties of germagraphene, a two-dimensional graphene analogue. We study two different structures, C$_{17}$Ge and C$_{16}$Ge. In the C$_{17}$Ge structure, a germanium atom replaces a carbon atom while in C$_{16}$Ge structure, a carbon-carbon bond is replaced by a single germanium atom. These two types of doping have been experimentally made possible by Tripathi \etal [{\it{ACS Nano (2018) 1254641-4647}}]. We find that C$_{16}$Ge has a planar structure, whereas, the Ge atom in C$_{17}$Ge settles in an out-of-the plane position, resulting in a buckled structure. Due to Ge doping, the band-gaps open up in both. The 1.227 eV direct gap of C$_{17}$Ge is ideal for effective light absorbance and optoelectronic devices. Further study of optical properties supports this claim as well.


title: Instanton Floer homology for sutured manifolds with tangles

abstract: We prove an excision theorem for the singular instanton Floer homology that allows the excision surfaces to intersect the singular locus. This is an extension of the non-singular excision theorem by Kronheimer and Mrowka and the genus-zero singular excision theorem by Street. We use the singular excision theorem to define an instanton Floer homology theory for sutured manifolds with tangles. As applications, we prove that the annular Khovanov homology (1) detects the unlink, (2) detects the closure of the trivial braid, and (3) distinguishes braid closures from other links; we also prove that the annular instanton Floer homology detects the Thurston norm of meridional surfaces.


title: On the number of even roots of permutations

abstract: Let $\sigma$ be a permutation on $n$ letters. We say that a permutation $\tau$ is an even (resp. odd) $k$th root of $\sigma$ if $\tau^k=\sigma$ and $\tau$ is an even (resp. odd) permutation. In this article, we obtain generating functions for the number of even and odd $k$th roots of permutations. Our result implies know generating functions of Moser and Wyman and also some generating functions for sequences in The On-line Encyclopedia of Integer Sequences (OEIS).


title: Spatio-thermal depth correction of RGB-D sensors based on Gaussian Processes in real-time

abstract: Commodity RGB-D sensors capture color images along with dense pixel-wise depth information in real-time. Typical RGB-D sensors are provided with a factory calibration and exhibit erratic depth readings due to coarse calibration values, ageing and thermal influence effects. This limits their applicability in computer vision and robotics. We propose a novel method to accurately calibrate depth considering spatial and thermal influences jointly. Our work is based on Gaussian Process Regression in a four dimensional Cartesian and thermal domain. We propose to leverage modern GPUs for dense depth map correction in real-time. For reproducibility we make our dataset and source code publicly available.


title: Edge detection based on joint iteration ghost imaging

abstract: Imaging and edge detection have been widely applied and played an important role in security checking and medical diagnosis. However, as we know, most edge detection based on ghost imaging system require a large measurement times and the target object image cannot be provided directly. In this work, a new edge detection based on joint iteration of projected Landweber iteration regularization and guided filter ghost imaging method have been proposed which can be improved the feature detection quality in ghost imaging. This method can also achieve high quality imaging. Simulation and experiment results show that the spatial information and edge information of target object are successfully recovered from the random speckle patterns without special coding under a low measurement times, and the edge image quality is improved remarkably. This approach improves the the applicability of ghost imaging, and can satisfy the practical application fields of imaging and edge detection at the same time.


title: Plateau's problem as a singular limit of capillarity problems

abstract: Soap films at equilibrium are modeled, rather than as surfaces, as regions of small total volume through the introduction of a capillarity problem with a homotopic spanning condition. This point of view introduces a length scale in the classical Plateau's problem, which is in turn recovered in the vanishing volume limit. This approximation of area minimizing hypersurfaces leads to an energy based selection principle for Plateau's problem, points at physical features of soap films that are unaccessible by simply looking at minimal surfaces, and opens several challenging questions.


title: Male Under-performance in Undergraduate Engineering Mathematical Courses: Causes and Solution Strategy

abstract: There has been an increasing trend of females performing better than males academically across the mathematical engineering courses. To confirm this assumption, final marks of two independent samples of students from Calculus courses across all fields within Engineering at a local university of UAE are considered. A two-sample t-test indicates a significant difference in the performance between the two genders. Accordingly, a survey was designed to identify factors that may yield to this scenario. Analysis of the survey found that the time spend studying outside the classroom is a statistically significant factor contributing to the disparity between the gender performances. Based on these results, we propose immediate short-term solutions that can be applied by instructors to address this issue. This study advocates the need of continuous research at micro level to identify gender-based student performance variance. Such researches can assist in immediate intervention thereby leading to the bridging of such a gap.


title: Model-free Friction Observers for Flexible Joint Robots with Torque Measurements

abstract: This paper tackles a friction compensation problem without using a friction model. The unique feature of the proposed friction observer is that the nominal motor-side signal is fed back into the controller instead of the measured signal. By doing so, asymptotic stability and passivity of the controller are maintained. Another advantage of the proposed observer is that it provides a clear understanding for the stiction compensation which is hard to be captured in model-free approaches. This allows to design observers that do not overcompensate for the stiction. The proposed scheme is validated through simulations and experiments.