title: Association Free Energies of Metal Cations with Mesylate and Acetate in Brine Calculated via Molecular Dynamics Simulation

abstract: Here we report results from fully-atomistic molecular dynamics simulations and present the calculated binding free energies of the associations between metal cations and anionic functional groups under brine condition. Specifically the ion pair formations of Na+ and Ca2+ metal cations with sulfonate and carboxylate functional groups were considered. In our simulations, sulfonate and carboxylate functional groups in polyelectrolytes were modeled by mesylate and acetate anions, respectively. The simulations show that the binding strengths of Na+ and Ca2+ with sulfonate group are relatively weak with correlation times for the contact ion pairs being around 300-400 ps. In the case of acetate, the binding strength with Na+ was found to be comparable to the case of sulfonate group, while the binding of acetate with Ca2+ was found to be much stronger with a correlation time of the order of hundreds of nanoseconds. The binding free energies of Na+ and Ca2+ with sulfonate as well as that of Na+ with acetate have been calculated directly from the radial distribution functions. For the case of binding between Ca2+ and acetate constrained MD simulations with umbrella sampling were carried out to improve the sampling of the phase space and the potential of mean force was obtained by the weighted histogram analysis method. The binding free energy of a 2:1 binding event between one Ca2+ ion and two acetates was also calculated. Finally the binding free energies between Ca2+ and acetate were compared for different force field parameters and water models, and also with experimental and calculated values reported in the literature.


title: Perceived Audiovisual Quality Modelling based on Decison Trees, Genetic Programming and Neural Networks

abstract: Our objective is to build machine learning based models that predict audiovisual quality directly from a set of correlated parameters that are extracted from a target quality dataset. We have used the bitstream version of the INRS audiovisual quality dataset that reflects contemporary real-time configurations for video frame rate, video quantization, noise reduction parameters and network packet loss rate. We have utilized this dataset to build bitstream perceived quality estimation models based on the Random Forests, Bagging, Deep Learning and Genetic Programming methods. We have taken an empirical approach and have generated models varying from very simple to the most complex depending on the number of features used from the quality dataset. Random Forests and Bagging models have overall generated the most accurate results in terms of RMSE and Pearson correlation coefficient values. Deep Learning and Genetic Programming based bitstream models have also achieved good results but that high performance was observed only with a limited range of features. We have also obtained the epsilon-insensitive RMSE values for each model and have computed the significance of the difference between the correlation coefficients. Overall we conclude that computing the bitstream information is worth the effort it takes to generate and helps to build more accurate models for real-time communications. However, it is useful only for the deployment of the right algorithms with the carefully selected subset of the features. The dataset and tools that have been developed during this research are publicly available for research and development purposes.


title: Optimal control of a separated boundary-layer flow over a bump

abstract: The optimal control of a globally unstable two-dimensional separated boundary layer over a bump is considered using augmented Lagrangian optimization procedures. The present strategy allows of controlling the flow from a fully developed nonlinear state back to the steady state using a single actuator. The method makes use of a decomposition between the slow dynamics associated with the baseflow modification, and the fast dynamics characterized by a large scale oscillation of the recirculation region, known as flapping. Starting from a steady state forced by a suction actuator located near the separation point, the baseflow modification is shown to be controlled by a vanishing suction strategy. For weakly unstable flow regimes, this control law can be further optimized by means of direct-adjoint iterations of the nonlinear Navier-Stokes equations. In the absence of external noise, this novel approach proves to be capable of controlling the transient dynamics and the baseflow modification simultaneously.


title: Collisions in Primordial Star Clusters: Formation Pathway for intermediate mass black holes

abstract: Collisions were suggested to potentially play a role in the formation of massive stars in present day clusters, and have likely been relevant during the formation of massive stars and intermediate mass black holes within the first star clusters. In the early Universe, the first stellar clusters were particularly dense, as fragmentation typically only occurred at densities above $10^9$cm$^{-3}$, and the radii of the protostars were enhanced due to the larger accretion rates, suggesting a potentially more relevant role of stellar collisions. We present here a detailed parameter study to assess how the number of collisions as well as the mass growth of the most massive object depends on the properties of the cluster, and we characterize the time evolution with three effective parameters, the time when most collisions occur, the duration of the collisions period, as well as the normalization required to obtain the total number of collisions. We apply our results to typical Population III (Pop.III) clusters of about $1000$M$_\odot$, finding that a moderate enhancement of the mass of the most massive star by a factor of a few can be expected. For more massive Pop.III clusters as expected in the first atomic cooling halos, we expect a more significant enhancement by a factor of $15-32$. We therefore conclude that collisions in massive Pop.III clusters were likely relevant to form the first intermediate mass black holes.


title: Evaluating High Order Discontinuous Galerkin Discretization of the Boltzmann Collision Integral in $O(N^2)$ Operations Using the Discrete Fourier Transform

abstract: We present a numerical algorithm for evaluating the Boltzmann collision operator with $O(N^2)$ operations based on high order discontinuous Galerkin discretizations in the velocity variable. To formulate the approach, Galerkin projection of the collision operator is written in the form of a bilinear circular convolution. An application of the discrete Fourier transform allows to rewrite the six fold convolution sum as a three fold weighted convolution sum in the frequency space. The new algorithm is implemented and tested in the spatially homogeneous case, and results in a considerable improvement in speed as compared to the direct evaluation. Simultaneous and separate evaluations of the gain and loss terms of the collision operator were considered. Less numerical error was observed in the conserved quantities with simultaneous evaluation.


title: A very brief introduction to quantum computing and quantum information theory for mathematicians

abstract: This is a very brief introduction to quantum computing and quantum information theory, primarily aimed at geometers. Beyond basic definitions and examples, I emphasize aspects of interest to geometers, especially connections with asymptotic representation theory. Proofs of most statements can be found in standard references.


title: Deep Learning: An Introduction for Applied Mathematicians

abstract: Multilayered artificial neural networks are becoming a pervasive tool in a host of application fields. At the heart of this deep learning revolution are familiar concepts from applied and computational mathematics; notably, in calculus, approximation theory, optimization and linear algebra. This article provides a very brief introduction to the basic ideas that underlie deep learning from an applied mathematics perspective. Our target audience includes postgraduate and final year undergraduate students in mathematics who are keen to learn about the area. The article may also be useful for instructors in mathematics who wish to enliven their classes with references to the application of deep learning techniques. We focus on three fundamental questions: what is a deep neural network? how is a network trained? what is the stochastic gradient method? We illustrate the ideas with a short MATLAB code that sets up and trains a network. We also show the use of state-of-the art software on a large scale image classification problem. We finish with references to the current literature.


title: Sparsely Aggregated Convolutional Networks

abstract: We explore a key architectural aspect of deep convolutional neural networks: the pattern of internal skip connections used to aggregate outputs of earlier layers for consumption by deeper layers. Such aggregation is critical to facilitate training of very deep networks in an end-to-end manner. This is a primary reason for the widespread adoption of residual networks, which aggregate outputs via cumulative summation. While subsequent works investigate alternative aggregation operations (e.g. concatenation), we focus on an orthogonal question: which outputs to aggregate at a particular point in the network. We propose a new internal connection structure which aggregates only a sparse set of previous outputs at any given depth. Our experiments demonstrate this simple design change offers superior performance with fewer parameters and lower computational requirements. Moreover, we show that sparse aggregation allows networks to scale more robustly to 1000+ layers, thereby opening future avenues for training long-running visual processes.


title: Batch Auction Design For Cloud Container Services

abstract: Cloud containers represent a new, light-weight alternative to virtual machines in cloud computing. A user job may be described by a container graph that specifies the resource profile of each container and container dependence relations. This work is the first in the cloud computing literature that designs efficient market mechanisms for container based cloud jobs. Our design targets simultaneously incentive compatibility, computational efficiency, and economic efficiency. It further adapts the idea of batch online optimization into the paradigm of mechanism design, leveraging agile creation of cloud containers and exploiting delay tolerance of elastic cloud jobs. The new and classic techniques we employ include: (i) compact exponential optimization for expressing and handling non-traditional constraints that arise from container dependence and job deadlines; (ii) the primal-dual schema for designing efficient approximation algorithms for social welfare maximization; and (iii) posted price mechanisms for batch decision making and truthful payment design. Theoretical analysis and trace-driven empirical evaluation verify the efficacy of our container auction algorithms.


title: Pair-cat codes: autonomous error-correction with low-order nonlinearity

abstract: We introduce a driven-dissipative two-mode bosonic system whose reservoir causes simultaneous loss of two photons in each mode and whose steady states are superpositions of pair-coherent/Barut-Girardello coherent states. We show how quantum information encoded in a steady-state subspace of this system is exponentially immune to phase drifts (cavity dephasing) in both modes. Additionally, it is possible to protect information from arbitrary photon loss in either (but not simultaneously both) of the modes by continuously monitoring the difference between the expected photon numbers of the logical states. Despite employing more resources, the two-mode scheme enjoys two advantages over its one-mode cat-qubit counterpart with regards to implementation using current circuit QED technology. First, monitoring the photon number difference can be done without turning off the currently implementable dissipative stabilizing process. Second, a lower average photon number per mode is required to enjoy a level of protection at least as good as that of the cat-codes. We discuss circuit QED proposals to stabilize the code states, perform gates, and protect against photon loss via either active syndrome measurement or an autonomous procedure. We introduce quasiprobability distributions allowing us to represent two-mode states of fixed photon number difference in a two-dimensional complex plane, instead of the full four-dimensional two-mode phase space. The two-mode codes are generalized to multiple modes in an extension of the stabilizer formalism to non-diagonalizable stabilizers. The $M$-mode codes can protect against either arbitrary photon losses in up to $M-1$ modes or arbitrary losses and gains in any one mode.


title: Brody hyperbolicity of base spaces of certain families of varieties

abstract: We prove that quasi-projective base spaces of smooth families of minimal varieties of general type with maximal variation do not admit Zariski dense entire curves. We deduce the fact that moduli stacks of polarized varieties of this sort are Brody hyperbolic, answering a special case of a question of Viehweg and Zuo. For two-dimensional bases, we show analogous results in the more general case of families of varieties admitting a good minimal model.


title: On the cycle index and the weight enumerator

abstract: In this paper, we introduce the concept of the complete cycle index and discuss a relation with the complete weight enumerator in coding theory. This work was motivated by Cameron's lecture note "Polynomial aspects of codes, matroids and permutation groups."


title: Driving many distant atoms into high-fidelity steady state entanglement via Lyapunov control

abstract: Based on Lyapunov control theory in closed and open systems, we propose a scheme to generate W state of many distant atoms in the cavity-fiber-cavity system. In the closed system, the W state is generated successfully even when the coupling strength between the cavity and fiber is extremely weak. In the presence of atomic spontaneous emission or cavity and fiber decay, the photon-measurement and quantum feedback approaches are proposed to improve the fidelity, which enable efficient generation of high-fidelity W state in the case of large dissipation. Furthermore, the time-optimal Lyapunov control is investigated to shorten the evolution time and improve the fidelity in open systems.


title: Instability of the layered orthorhombic post-perovskite phase of SrTiO$_3$ and other candidate orthorhombic phases under pressure

abstract: While the tetragonal antiferro-electrically distorted (AFD) phase with space group $I4/mcm$ is well known for SrTiO$_3$ to occur below 105 K, there are also some hints in literature of an orthorhombic phase, either at lower temperature at high pressure. A previously proposed orthorhombic layered structure of SrTiO$_3$, known as the post-perovskite or CaIrO$_3$ structure with space group $Cmcm$ is shown to have significantly higher energy than the cubic or tetragonal phase and to have its minimum volume at larger volume than cubic perovskite. It thus cannot correspond to a high-pressure phase of SrTiO$_3$. We also study an alternative $Pnma$ phase obtained by two octahedral rotations about different axes. This phase is found to have slightly lower energy than the $I4/mcm$ phase in spite of the fact that its parent, in-phase tilted $P4/mbm$ phase is not found to occur. Alternative ferro-electric tetragonal and orthorhombic structures are also considered. These are not found to occur in our zero temperature calculations but have been suggested in previous literature to occur at higher temperature.


title: Many-body stabilization of a resonant p-wave Fermi gas in one dimension

abstract: Using the asymptotic Bethe Ansatz, we study the stabilization problem of the one-dimensional spin-polarized Fermi gas confined in a hard-wall potential with tunable p-wave scattering length and finite effective range. We find that the interplay of two factors, i.e., the finite interaction range and the hard-wall potential, will stabilize the system near resonance. The stabilization occurs even in the positive scattering length side, where the system undergoes a many-body collapse if any of the factors is absent. At p-wave resonance, the fermion system is found to feature the "quasi-particle condensation" for any value of effective range, which is stabilized if the range is above twice the mean particle distance. Slightly away from resonance, the correction to the stability condition linearly depends on the inverse scattering length. Finally, a global picture is presented for the energetics and stability properties of fermions from weakly attractive to deep bound state regime. Our results raise the possibility for achieving stable p-wave superfluidity in quasi-1D atomic systems, and meanwhile, shed light on the intriguing s- and p-wave physics in 1D that violate the Bose-Fermi duality.


title: Sun-to-Earth MHD Simulation of the 14 July 2000 "Bastille Day" Eruption

abstract: Solar eruptions are the main driver of space-weather disturbances at the Earth. Extreme events are of particular interest, not only because of the scientific challenges they pose, but also because of their possible societal consequences. Here we present a magnetohydrodynamic (MHD) simulation of the 14 July 2000 Bastille Day eruption, which produced a very strong geomagnetic storm. After constructing a thermodynamic MHD model of the corona and solar wind, we insert a magnetically stable flux rope along the polarity inversion line of the eruption's source region and initiate the eruption by boundary flows. More than 10^33 ergs of magnetic energy are released in the eruption within a few minutes, driving a flare, an EUV wave, and a coronal mass ejection (CME) that travels in the outer corona at about 1500 km/s, close to the observed speed. We then propagate the CME to Earth, using a heliospheric MHD code. Our simulation thus provides the opportunity to test how well in situ observations of extreme events are matched if the eruption is initiated from a stable magnetic-equilibrium state. We find that the flux-rope center is very similar in character to the observed magnetic cloud, but arrives about 8.5 hours later and about 15 degrees too far to the North, with field strengths that are too weak by a factor of about 1.6. The front of the flux rope is highly distorted, exhibiting localized magnetic-field concentrations as it passes 1 AU. We discuss these properties with regard to the development of space-weather predictions based on MHD simulations of solar eruptions.


title: Understanding the spectral hardenings and radial distribution of Galactic cosmic rays and Fermi diffuse gamma-rays with spatially-dependent propagation

abstract: Recent direct measurements of Galactic cosmic ray spectra by balloon/space-borne detectors reveal spectral hardenings of all major nucleus species at rigidities of a few hundred GV. The all-sky diffuse gamma-ray emissions measured by the Fermi Large Area Telescope also show spatial variations of the intensities and spectral indices of cosmic rays. These new observations challenge the traditional simple acceleration and/or propagation scenario of Galactic cosmic rays. In this work we propose a spatially-dependent diffusion scenario to explain all these phenomena. The diffusion coefficient is assumed to be anti-correlated with the source distribution, which is a natural expectation from the charged particle transportation in turbulent magnetic field. The spatially-dependent diffusion model also gives a lower level of anisotropies of cosmic rays, which are consistent with observations by underground muons and air shower experiments. The spectral variations of cosmic rays across the Galaxy can be properly reproduced by this model.


title: Dynamical process of optically trapped singlet ground state $^{85}$Rb$^{133}$Cs molecules produced via short-range photoassociation

abstract: We investigate the dynamical process of optically trapped X$^{1}$$\Sigma$$^{+}$ (v" = 0) state $^{85}$Rb$^{133}$Cs molecules distributing in J" = 1 and J" = 3 rotational states. The considered molecules, formed from short-range photoassociation of mixed cold atoms, are subsequently confined in a crossed optical dipole trap. Based on a phenomenological rate equation, we provide a detailed study of the dynamics of $^{85}$Rb$^{133}$Cs molecules during the loading and holding processes. The inelastic collisions of $^{85}$Rb$^{133}$Cs molecules in the X$^{1}$$\Sigma$$^{+}$ (v" = 0, J" = 1 and J" = 3) states with ultracold $^{85}$Rb (or $^{133}$Cs) atoms are measured to be 1.0 (2)$\times$10$^{-10}$ cm$^{3}$s$^{-1}$ (1.2 (3)$ \times$ 10$^{-10}$ cm$^{3}$s$^{-1}$). Our work provides a simple and generic procedure for studying the dynamical process of trapped cold molecules in the singlet ground states.


title: Unsupervised Hashtag Retrieval and Visualization for Crisis Informatics

abstract: In social media like Twitter, hashtags carry a lot of semantic information and can be easily distinguished from the main text. Exploring and visualizing the space of hashtags in a meaningful way can offer important insights into a dataset, especially in crisis situations. In this demonstration paper, we present a functioning prototype, HashViz, that ingests a corpus of tweets collected in the aftermath of a crisis situation (such as the Las Vegas shootings) and uses the fastText bag-of-tricks semantic embedding algorithm (from Facebook Research) to embed words and hashtags into a vector space. Hashtag vectors obtained in this way can be visualized using the t-SNE dimensionality reduction algorithm in 2D. Although multiple Twitter visualization platforms exist, HashViz is distinguished by being simple, scalable, interactive and portable enough to be deployed on a server for million-tweet corpora collected in the aftermath of arbitrary disasters, without special-purpose installation, technical expertise, manual supervision or costly software or infrastructure investment. Although simple, we show that HashViz offers an intuitive way to summarize, and gain insight into, a developing crisis situation. HashViz is also completely unsupervised, requiring no manual inputs to go from a raw corpus to a visualization and search interface. Using the recent Las Vegas mass shooting massacre as a case study, we illustrate the potential of HashViz using only a web browser on the client side.


title: On the constant scalar curvature K\"ahler metrics, general automorphism group

abstract: In this paper, we derive estimates for scalar curvature type equations with more singular right hand side. As an application, we prove Donaldson's conjecture on the equivalence between geodesic stability and existence of cscK when $Aut_0(M,J)\neq0$. Moreover, we also show that when $Aut_0(M,J)\neq0$, the properness of $K$-energy with respect to a suitably defined distance implies the existence of cscK.


title: An Efficient Data-aided Synchronization in L-DACS1 for Aeronautical Communications

abstract: L-band Digital Aeronautical Communication System type-1 (L-DACS1) is an emerging standard that aims at enhancing air traffic management (ATM) by transitioning the traditional analog aeronautical communication systems to the superior and highly efficient digital domain. L-DACS1 employs modern and efficient orthogonal frequency division multiplexing (OFDM) modulation technique to achieve more efficient and higher data rate in comparison to the existing aeronautical communication systems. However, the performance of OFDM systems is very sensitive to synchronization errors. L-DACS1 transmission is in the L-band aeronautical channels that suffer from large interference and large Doppler shifts, which makes the synchronization for L-DACS more challenging. This paper proposes a novel computationally efficient synchronization method for L-DACS1 systems that offers robust performance. Through simulation, the proposed method is shown to provide accurate symbol timing offset (STO) estimation as well as fractional carrier frequency offset (CFO) estimation in a range of aeronautical channels. In particular, it can yield excellent synchronization performance in the face of a large carrier frequency offset.


title: Scheduling and Tiling Reductions on Realistic Machines

abstract: Computations, where the number of results is much smaller than the input data and are produced through some sort of accumulation, are called Reductions. Reductions appear in many scientific applications. Usually, reductions admit an associative and commutative binary operator over accumulation. Reductions are therefore highly parallel. Given unbounded fan-in, one can execute a reduction in constant/linear time provided that the data is available. However, due to the fact that real machines have bounded fan-in, accumulations cannot be performed in one time step and have to be broken into parts. Thus, a (partial) serialization of reductions becomes necessary. This makes scheduling reductions a difficult and interesting problem. There have been a number of research works in the context of scheduling reductions. We focus on the scheduling techniques presented in Gupta et al., identify a potential issue in their scheduling algorithm and provide a solution. In addition, we demonstrate how these scheduling techniques can be extended to "tile" reductions and briefly survey other studies that address the problem of scheduling reductions.


title: Dual Third-order Jacobsthal Quaternions

abstract: In 2016, Y\"uce and Torunbalc\i\ Ayd\i n \cite{Yuc-Tor} defined dual Fibonacci quaternions. In this paper, we defined the dual third-order Jacobsthal quaternions and dual third-order Jacobsthal-Lucas quaternions. Also, we investigated the relations between the dual third-order Jacobsthal quaternions and third-order Jacobsthal numbers. Furthermore, we gave some their quadratic properties, the summations, the Binet's formulas and Cassini-like identities for these quaternions.


title: Preventing Social Disappointment in Elections

abstract: Mechanism design is concerned with settings where a policymaker (or social planner) faces the problem of aggregating the announced preferences of multiple agents into a collective (or social), system-wide decision. One of the most important ways for aggregating preference that has been used in multi-agent systems is election. In an election, the aim is to select the candidate who reflects the common will of society. Despite the importance of this subject, in some situations, the result of the election does not respect the purpose of those who execute it and the election leads to dissatisfaction of a large amount of people and in some cases causes polarization in societies. To analyze these situations, we introduce a new notion called social disappointment and we show which voting rules can prevent it in elections. In addition, we propose new protocols to prevent social disappointment in elections. A version of the impossibility theorem is proved regarding social disappointment in elections, showing that there is no voting rule for four or more candidates that simultaneously satisfies avoiding social disappointment and Condorcet winner criteria. We give conditions under which one of our new protocols always selects the Condorcet winner under the assumption of single peakedness. We empirically compare our protocols with seven well-known other voting protocols and observe that our protocols are capable of preventing social disappointment and are more robust against manipulations.


title: On the influence of Dice loss function in multi-class organ segmentation of abdominal CT using 3D fully convolutional networks

abstract: Deep learning-based methods achieved impressive results for the segmentation of medical images. With the development of 3D fully convolutional networks (FCNs), it has become feasible to produce improved results for multi-organ segmentation of 3D computed tomography (CT) images. The results of multi-organ segmentation using deep learning-based methods not only depend on the choice of networks architecture, but also strongly rely on the choice of loss function. In this paper, we present a discussion on the influence of Dice-based loss functions for multi-class organ segmentation using a dataset of abdominal CT volumes. We investigated three different types of weighting the Dice loss functions based on class label frequencies (uniform, simple and square) and evaluate their influence on segmentation accuracies. Furthermore, we compared the influence of different initial learning rates. We achieved average Dice scores of 81.3%, 59.5% and 31.7% for uniform, simple and square types of weighting when the learning rate is 0.001, and 78.2%, 81.0% and 58.5% for each weighting when the learning rate is 0.01. Our experiments indicated a strong relationship between class balancing weights and initial learning rate in training.


title: Variance Components Genetic Association Test for Zero-inflated Count Outcomes

abstract: Commonly in biomedical research, studies collect data in which an outcome measure contains informative excess zeros; for example when observing the burden of neuritic plaques in brain pathology studies, those who show none contribute to our understanding of neurodegenerative disease. The outcome may be characterized by a mixture distribution with one component being the `structural zero' and the other component being a Poisson distribution. We propose a novel variance components score test of genetic association between a set of genetic markers and a zero-inflated count outcome from a mixture distribution. This test shares advantageous properties with SNP-set tests which have been previously devised for standard continuous or binary outcomes, such as the Sequence Kernel Association Test (SKAT). In particular, our method has superior statistical power compared to competing methods, especially when there is correlation within the group of markers, and when the SNPs are associated with both the mixing proportion and the rate of the Poisson distribution. We apply the method to Alzheimer's data from the Rush University Religious Orders Study and Memory and Aging Project (ROSMAP), where as proof of principle we find highly significant associations with the APOE gene, in both the `structural zero' and `count' parameters, when applied to a zero-inflated neuritic plaques count outcome.


title: The De Bruijn-Newman constant is non-negative

abstract: For each $t \in {\bf R}$, define the entire function $$ H_t(x) := \int_0^\infty e^{tu^2} \Phi(u) \cos(xu)\ du$$ where $\Phi$ is the super-exponentially decaying function $$ \Phi(u) := \sum_{n=1}^\infty (2\pi^2 n^4 e^{9u} - 3\pi n^2 e^{5u} ) \exp(-\pi n^2 e^{4u} ).$$ Newman showed that there exists a finite constant $\Lambda$ (the \emph{de Bruijn-Newman constant}) such that the zeroes of $H_t$ are all real precisely when $t \geq \Lambda$. The Riemann hypothesis is the equivalent to the assertion $\Lambda \leq 0$, and Newman conjectured the complementary bound $\Lambda \geq 0$. In this paper we establish Newman's conjecture. The argument proceeds by assuming for contradiction that $\Lambda < 0$, and then analyzing the dynamics of zeroes of $H_t$ (building on the work of Csordas, Smith, and Varga) to obtain increasingly strong control on the zeroes of $H_t$ in the range $\Lambda < t \leq 0$, until one establishes that the zeroes of $H_0$ are in local equilibrium, in the sense that locally behave (on average) as if they were equally spaced in an arithmetic progression, with gaps staying close to the global average gap size. But this latter claim is inconsistent with the known results about the local distribution of zeroes of the Riemann zeta function, such as the pair correlation estimates of Montgomery.


title: Security in Mobile Edge Caching with Reinforcement Learning

abstract: Mobile edge computing usually uses cache to support multimedia contents in 5G mobile Internet to reduce the computing overhead and latency. Mobile edge caching (MEC) systems are vulnerable to various attacks such as denial of service attacks and rogue edge attacks. This article investigates the attack models in MEC systems, focusing on both the mobile offloading and the caching procedures. In this paper, we propose security solutions that apply reinforcement learning (RL) techniques to provide secure offloading to the edge nodes against jamming attacks. We also present light-weight authentication and secure collaborative caching schemes to protect data privacy. We evaluate the performance of the RL-based security solution for mobile edge caching and discuss the challenges that need to be addressed in the future.


title: Citation Analysis of Innovative ICT and Advances of Governance (2008-2017)

abstract: This paper opens by introducing the Internet Plus Government (IPG), a new government initiative emerging in the last decade. To understand benefits and challenges associated with this initiative worldwide, we conducted analyses on research articles published in the e-governance area between 2008 and 2017. Content analysis and citation analysis were performed on 2105 articles to address three questions: (1) What types of new ICT have been adopted in the IPG initiative in the past decade? (2) How did scholars investigate interactions between the new ICTs and governance core to IPG? (3) How did the new ICTs interact and shape while also being shaped by the evolution of governance in the past decade? Our analysis suggests that IPG initiative has enriched the government information infrastructure. It presented opportunities to accumulate and use huge volume of data for better decision making and proactive government-citizen interaction. At the same time, the advance of open data, the widespread use of social media and the potential of data analytics also generated great pressure to address challenging questions and issues in the domain of e-democracy.


title: A Large-Scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques

abstract: The large body of existing research in Test Case Prioritization (TCP) techniques, can be broadly classified into two categories: dynamic techniques (that rely on run-time execution information) and static techniques (that operate directly on source and test code). Absent from this current body of work is a comprehensive study aimed at understanding and evaluating the static approaches and comparing them to dynamic approaches on a large set of projects. In this work, we perform the first extensive study aimed at empirically evaluating four static TCP techniques comparing them with state-of-research dynamic TCP techniques at different test-case granularities (e.g., method and class-level) in terms of effectiveness, efficiency and similarity of faults detected. This study was performed on 30 real-word Java programs encompassing 431 KLoC. In terms of effectiveness, we find that the static call-graph-based technique outperforms the other static techniques at test-class level, but the topic-model-based technique performs better at test-method level. In terms of efficiency, the static call-graph-based technique is also the most efficient when compared to other static techniques. When examining the similarity of faults detected for the four static techniques compared to the four dynamic ones, we find that on average, the faults uncovered by these two groups of techniques are quite dissimilar, with the top 10% of test cases agreeing on only 25% - 30% of detected faults. This prompts further research into the severity/importance of faults uncovered by these techniques, and into the potential for combining static and dynamic information for more effective approaches.


title: Extend the shallow part of Single Shot MultiBox Detector via Convolutional Neural Network

abstract: Single Shot MultiBox Detector (SSD) is one of the fastest algorithms in the current object detection field, which uses fully convolutional neural network to detect all scaled objects in an image. Deconvolutional Single Shot Detector (DSSD) is an approach which introduces more context information by adding the deconvolution module to SSD. And the mean Average Precision (mAP) of DSSD on PASCAL VOC2007 is improved from SSD's 77.5% to 78.6%. Although DSSD obtains higher mAP than SSD by 1.1%, the frames per second (FPS) decreases from 46 to 11.8. In this paper, we propose a single stage end-to-end image detection model called ESSD to overcome this dilemma. Our solution to this problem is to cleverly extend better context information for the shallow layers of the best single stage (e.g. SSD) detectors. Experimental results show that our model can reach 79.4% mAP, which is higher than DSSD and SSD by 0.8 and 1.9 points respectively. Meanwhile, our testing speed is 25 FPS in Titan X GPU which is more than double the original DSSD.


title: Rate-Optimal Streaming Codes for Channels with Burst and Isolated Erasures

abstract: Recovery of data packets from packet erasures in a timely manner is critical for many streaming applications. An early paper by Martinian and Sundberg introduced a framework for streaming codes and designed rate-optimal codes that permit delay-constrained recovery from an erasure burst of length up to $B$. A recent work by Badr et al. extended this result and introduced a sliding-window channel model $\mathcal{C}(N,B,W)$. Under this model, in a sliding-window of width $W$, one of the following erasure patterns are possible (i) a burst of length at most $B$ or (ii) at most $N$ (possibly non-contiguous) arbitrary erasures. Badr et al. obtained a rate upper bound for streaming codes that can recover with a time delay $T$, from any erasure patterns permissible under the $\mathcal{C}(N,B,W)$ model. However, constructions matching the bound were absent, except for a few parameter sets. In this paper, we present an explicit family of codes that achieves the rate upper bound for all feasible parameters $N$, $B$, $W$ and $T$.


title: The influence of Unruh effect on quantum steering for accelerated two-level detectors with different measurements

abstract: We study the dynamics of steering between two correlated Unruh-Dewitt detectors when one of them locally interacts with external scalar field via different quantifiers. We find that the quantum steering, either measured by the entropic steering inequality or the Cavalcanti-Jones-Wiseman-Reid inequality, is fragile under the influence of Unruh thermal noise. The quantum steering is found always asymmetric and the asymmetry is extremely sensitive to the initial state parameter. In addition, the steering-type quantum correlations experience "sudden death" for some accelerations, which are quite different from the behaviors of other quantum correlations in the same system. It is worth noting that the domination value of the tight quantum steering exists a transformation point with increasing acceleration. We also find that the robustness of quantum steerability under the Unruh thermal noise can be realized by choosing the smallest energy gap in the detectors.


title: Moment inequalities for matrix-valued U-statistics of order 2

abstract: We present Rosenthal-type moment inequalities for matrix-valued U-statistics of order 2. As a corollary, we obtain new matrix concentration inequalities for U-statistics. One of our main technical tools, a version of the non-commutative Khintchine inequality for the spectral norm of the Rademacher chaos, could be of independent interest.


title: Graph Based Analysis for Gene Segment Organization In a Scrambled Genome

abstract: DNA rearrangement processes recombine gene segments that are organized on the chromosome in a variety of ways. The segments can overlap, interleave or one may be a subsegment of another. We use directed graphs to represent segment organizations on a given locus where contigs containing rearranged segments represent vertices and the edges correspond to the segment relationships. Using graph properties we associate a point in a higher dimensional Euclidean space to each graph such that cluster formations and analysis can be performed with methods from topological data analysis. The method is applied to a recently sequenced model organism \textit{Oxytricha trifallax}, a species of ciliate with highly scrambled genome that undergoes massive rearrangement process after conjugation. The analysis shows some emerging star-like graph structures indicating that segments of a single gene can interleave, or even contain all of the segments from fifteen or more other genes in between its segments. We also observe that as many as six genes can have their segments mutually interleaving or overlapping.


title: (Information) Paradox Regained? A Brief Comment on Maudlin on Black Hole Information Loss

abstract: We discuss some recent work by Tim Maudlin concerning Black Hole Information Loss. We argue, contra Maudlin, that there is a paradox, in the straightforward sense that there are propositions that appear true, but which are incompatible with one another. We discuss the significance of the paradox and Maudlin's response to it.


title: On-Device Bug Reporting for Android Applications

abstract: Bugs that surface in mobile applications can be difficult to reproduce and fix due to several confounding factors including the highly GUI-driven nature of mobile apps, varying contextual states, differing platform versions and device fragmentation. It is clear that developers need support in the form of automated tools that allow for more precise reporting of application defects in order to facilitate more efficient and effective bug fixes. In this paper, we present a tool aimed at supporting application testers and developers in the process of On-Device Bug Reporting. Our tool, called ODBR, leverages the uiautomator framework and low-level event stream capture to offer support for recording and replaying a series of input gesture and sensor events that describe a bug in an Android application.


title: A New Peak Detection Method for Single or Three-Phase Unbalanced Sinusoidal Signals

abstract: In this paper, a fast amplitude detection method for the single or three-phase unbalanced sinusoidal is reported. The proposed method is a method of the amplitude detection for a single phase or three phase unbalanced sinusoidal signal, based on detecting of the pulse width corresponding to the peak amplitude. The detection period is the half period of the input signal. This method is independent of the three-phase signal's unbalance and phase sequence. The proposed method was verified through experiments for the single or three-phase unbalanced signals.


title: The Utility Cost of Robust Privacy Guarantees

abstract: Consider a data publishing setting for a data set with public and private features. The objective of the publisher is to maximize the amount of information about the public features in a revealed data set, while keeping the information leaked about the private features bounded. The goal of this paper is to analyze the performance of privacy mechanisms that are constructed to match the distribution learned from the data set. Two distinct scenarios are considered: (i) mechanisms are designed to provide a privacy guarantee for the learned distribution; and (ii) mechanisms are designed to provide a privacy guarantee for every distribution in a given neighborhood of the learned distribution. For the first scenario, given any privacy mechanism, upper bounds on the difference between the privacy-utility guarantees for the learned and true distributions are presented. In the second scenario, upper bounds on the reduction in utility incurred by providing a uniform privacy guarantee are developed.


title: An Overview of Machine Teaching

abstract: In this paper we try to organize machine teaching as a coherent set of ideas. Each idea is presented as varying along a dimension. The collection of dimensions then form the problem space of machine teaching, such that existing teaching problems can be characterized in this space. We hope this organization allows us to gain deeper understanding of individual teaching problems, discover connections among them, and identify gaps in the field.


title: On partitions into squares of distinct integers whose reciprocals sum to 1

abstract: In 1963, Graham proved that all integers greater than 77 (but not 77 itself) can be partitioned into distinct positive integers whose reciprocals sum to 1. He further conjectured that for any sufficiently large integer, it can be partitioned into squares of distinct positive integers whose reciprocals sum to 1. In this study, we establish the exact bound for existence of such partitions by proving that 8542 is the largest integer with no such partition.


title: Planar Hall effect in type-II Weyl semimetal WTe2

abstract: Adler-Bell-Jackiw chiral anomaly is a representative feature arising from the topological nature in topological semimetal. We report the first experimental observation of giant planar Hall effect in type-II Weyl semimetal WTe2. Our comprehensive analyes of the experimental data demonstrate that the detected planar Hall effect is originated from the chiral anomaly of Weyl fermions. Unlike the somewhat elusive negative magnetoresistance, the planar Hall effect is robust and easy to be detected in type-II Weyl semimetal. This work reveals that the planar Hall effect is an effective transport probe to determine the topological nature of topological semimetals, especially in type-II Weyl semimetals.


title: Transverse Momentum Dependent Quasi-Parton-Distributions

abstract: We investigate the transverse momentum dependent parton distributions (TMDs) in the quasi-parton-distribution framework. The long standing hurdle of the so-called pinch pole singularity from the space-like gauge links in the TMD definitions can be resolved by the finite length of the gauge link along the hadron moving direction. In addition, with the soft factor subtraction, the quasi-TMD is free of linear divergence. We further demonstrate that the energy evolution equation of the quasi-TMD a.k.a. the Collins-Soper evolution, only depends on the hadron momentum. This leads to a clear matching between the quasi-TMD and the standard TMDs.


title: Faster Learning by Reduction of Data Access Time

abstract: Nowadays, the major challenge in machine learning is the Big Data challenge. The big data problems due to large number of data points or large number of features in each data point, or both, the training of models have become very slow. The training time has two major components: Time to access the data and time to process (learn from) the data. So far, the research has focused only on the second part, i.e., learning from the data. In this paper, we have proposed one possible solution to handle the big data problems in machine learning. The idea is to reduce the training time through reducing data access time by proposing systematic sampling and cyclic/sequential sampling to select mini-batches from the dataset. To prove the effectiveness of proposed sampling techniques, we have used Empirical Risk Minimization, which is commonly used machine learning problem, for strongly convex and smooth case. The problem has been solved using SAG, SAGA, SVRG, SAAG-II and MBSGD (Mini-batched SGD), each using two step determination techniques, namely, constant step size and backtracking line search method. Theoretical results prove the same convergence for systematic sampling, cyclic sampling and the widely used random sampling technique, in expectation. Experimental results with bench marked datasets prove the efficacy of the proposed sampling techniques and show up to six times faster training.


title: Enhancing Bug Reports for Mobile Apps

abstract: The modern software development landscape has seen a shift in focus toward mobile applications as "smart" devices near ubiquitous adoption. Due to this trend, the complexity of mobile applications has been increasing, making development and maintenance particularly challenging. However, it is clear that current bug tracking systems are not able effectively support construction of reports with actionable information that will directly lead to a bug's resolution. To address the need for an improved reporting system, we introduce a novel solution, called FUSION, that helps users auto-complete reproduction steps in bug reports for mobile apps. FUSION links information, that users provide, to program artifacts extracted through static and dynamic analysis performed before testing or release. The approach that FUSION employs is generalizable to other current mobile software platforms, and constitutes a new method by which off-device bug reporting can be conducted for mobile software projects. We evaluate FUSION by conducting a study that quantitatively and qualitatively measures the user experience of the system for both reporting and reproducing bugs, as well as the quality of the bug reports it produces. In a study involving 28 participants we apply FUSION to support the maintenance tasks of reporting and reproducing defects on 15 real-world bugs found in 14 open source Android apps. Our results demonstrate that FUSION allows for more reliable reproduction of bugs from reports by aiding users in reporting more detailed application-specific information compared to traditional bug tracking systems.


title: Resonance properties including asymptotic normalization coefficients deduced from phase-shift data without the effective-range function

abstract: Recently, a new $\Delta$ method for the calculation of asymptotic normalization coefficients (ANC) from phase-shift data has been formulated, proved and used for bound states. This method differs from the conventional one by fitting only the nuclear part of the effective-range function which includes a partial phase shift. It should be applied to large-charge nuclei when the conventional effective-range expansion or the Pad\'e-approximations using the effective-range function $K_l(k^2)$ fitting do not work. A typical example is the nucleus vertex $\alpha+^{12}$C $\longleftrightarrow ^{16}$O. Here we apply the $\Delta$ method, which totally excludes the effective-range function, to isolated resonance states. In fact, we return to the initial renormalized scattering amplitude with a denominator which defines the well-known pole condition. Concrete calculations are made for the resonances observed in the $^3$He-$^4$He, $\alpha$-$\alpha$, and $\alpha$-$^{12}$C collisions. We use the experimental phase-shift and resonant energy data including their uncertainties and find the ANC variations for the states considered. The corresponding results are in a good agreement with those for the $S$-matrix pole method which uses the differing formalism. The simple formula for narrow resonances given in the literature is used to check the deduced results. The related ANC function clearly depends on the resonance energy ($E_0$) and width ($\Gamma$), which is used to find the ANC uncertainty ($\Delta$ANC) through the energy ($\Delta E_0$) and the width ($\Delta\Gamma$) uncertainties.We also discuss the $\Delta$ method differences between bound and resonance states pole conditions.


title: Condensation of Non-Reversible Zero-Range Processes

abstract: In this article, we investigate the condensation phenomena for a class of nonreversible zero-range processes on a fixed finite set. By establishing a novel inequality bounding the capacity between two sets, and by developing a robust framework to perform quantitative analysis on the metastability of non-reversible processes, we prove that the condensed site of the corresponding zero-range processes approximately behaves as a Markov chain on the underlying graph whose jump rate is proportional to the capacity with respect to the underlying random walk. The results presented in the current paper complete the generalization of the work of Beltran and Landim [4] on reversible zero-range processes, and that of Landim [22] on totally asymmetric zero-range processes on a one-dimensional discrete torus.


title: Computation of the Maximum Likelihood estimator in low-rank Factor Analysis

abstract: Factor analysis, a classical multivariate statistical technique is popularly used as a fundamental tool for dimensionality reduction in statistics, econometrics and data science. Estimation is often carried out via the Maximum Likelihood (ML) principle, which seeks to maximize the likelihood under the assumption that the positive definite covariance matrix can be decomposed as the sum of a low rank positive semidefinite matrix and a diagonal matrix with nonnegative entries. This leads to a challenging rank constrained nonconvex optimization problem. We reformulate the low rank ML Factor Analysis problem as a nonlinear nonsmooth semidefinite optimization problem, study various structural properties of this reformulation and propose fast and scalable algorithms based on difference of convex (DC) optimization. Our approach has computational guarantees, gracefully scales to large problems, is applicable to situations where the sample covariance matrix is rank deficient and adapts to variants of the ML problem with additional constraints on the problem parameters. Our numerical experiments demonstrate the significant usefulness of our approach over existing state-of-the-art approaches.


title: Gradient Estimates and Ergodicity for SDEs Driven by Multiplicative L\'{e}vy Noises via Coupling

abstract: We consider SDEs driven by multiplicative pure jump L\'{e}vy noises, where L\'evy processes are not necessarily comparable to $\alpha$-stable-like processes. By assuming that the SDE has a unique solution, we obtain gradient estimates of the associated semigroup when the drift term is locally H\"{o}lder continuous, and we establish the ergodicity of the process both in the $L^1$-Wasserstein distance and the total variation, when the coefficients are dissipative for large distances. The proof is based on a new explicit Markov coupling for SDEs driven by multiplicative pure jump L\'{e}vy noises, which is derived for the first time in this paper.


title: Fixing Bug Reporting for Mobile and GUI-Based Applications

abstract: Smartphones and tablets have established themselves as mainstays in the modern computing landscape. It is conceivable that in the near future such devices may supplant laptops and desktops, becoming many users primary means of carrying out typical computer assisted tasks. In turn, this means that mobile applications will continue on a trajectory to becoming more complex, and the primary focus of millions of developers worldwide. In order to properly create and maintain these apps developers will need support, especially with regard to the prompt confirmation and resolution of bug reports. Unfortunately, current issue tracking systems typically only implement collection of coarse grained natural language descriptions, and lack features to facilitate reporters including important information in their reports. This illustrates the lexical information gap that exists in current bug reporting systems for mobile and GUI-based apps. This paper outlines promising preliminary work towards addressing this problem and proposes a comprehensive research program which aims to implement new bug reporting mechanisms and examine the impact that they might have on related software maintenance tasks.


title: WiLAD: Wireless Localisation through Anomaly Detection

abstract: We propose a new approach towards RSS (Received Signal Strength) based wireless localisation for scenarios where, instead of absolute positioning of an object, only the information whether an object is inside or outside of a specific area is required. This is motivated through a number of applications including, but not limited to, a) security: detecting whether an object is removed from a secure location, b) wireless sensor networks: detecting sensor movements outside of a network area, and c) computational behaviour analytics: detecting customers leaving a retail store. The result of such detection systems can naturally be utilised in building a higher level contextual understanding of a system or user behaviours. We use a supervised learning method to overcome issues related to RSS based localisation systems including multipath fading, shadowing, and incorrect model parameters (as in unsupervised methods). Moreover, to reduce the cost of collecting training data, we employ a detection method called One-Class SVM (OC-SVM) which requires only one class of data (positive data, or target class data) for training. We derive a mathematical approximation of accuracy which utilises the characteristics of wireless signals as well as OC-SVM. Based on this we then propose a novel mathematical formula to find optimal placement of devices. This enables us to optimize the placement without performing any costly experiments or simulations. We validate our proposed mathematical framework based on simulated and real experiments.


title: A secret sharing scheme on p^2 -dimensional quantum system

abstract: In this paper, we give the mutually unbiased bases on the p^2 -dimensional quantum system where p is an odd prime number, and construct the corresponding unitary transformation based on the properties of these mutually unbiased bases. Then, we construct a (N,N) threshold secret sharing scheme using unitary transformation between these mutually unbiased bases, and analyze the scheme's security by several ways, for example, intercept-and-resend attack, entangle-and-measure attack, Trojan horse attack, and so on. Using our method, we construct a single-particle quantum protocol involving only one qudit, and the method shows much more scalability than other schemes.


title: FUSION: A Tool for Facilitating and Augmenting Android Bug Reporting

abstract: As the popularity of mobile smart devices continues to climb the complexity of "apps" continues to increase, making the development and maintenance process challenging. Current bug tracking systems lack key features to effectively support construction of reports with actionable information that directly lead to a bug's resolution. In this demo we present the implementation of a novel bug reporting system, called Fusion, that facilitates users including reproduction steps in bug reports for mobile apps. Fusion links user-provided information to program artifacts extracted through static and dynamic analysis performed before testing or release. Results of preliminary studies demonstrate that Fusion both effectively facilitates reporting and allows for more reliable reproduction of bugs from reports compared to traditional issue tracking systems by presenting more detailed contextual app information. Tool website: www.fusion-android. com Video url: https://youtu.be/AND9h0ElxRg


title: ALMA Astrochemical Observations of the Infrared-Luminous Merger NGC 3256

abstract: In external galaxies, molecular composition may be influenced by extreme environments such as starbursts and galaxy mergers. To study such molecular chemistry, we observed the luminous-infrared galaxy and merger NGC 3256 using the Atacama Large Millimeter/sub-millimeter Array. We covered most of the 3-mm and 1.3-mm bands for a multi-species, multi-transition analysis. We first analyzed intensity ratio maps of selected lines such as HCN/HCO$^+$, which shows no enhancement at an AGN. We then compared the chemical compositions within NGC 3256 at the two nuclei, tidal arms, and positions with influence from galactic outflows. We found the largest variation in SiO and CH$_3$OH, species that are likely to be enhanced by shocks. Next, we compared the chemical compositions in the nuclei of NGC 3256, NGC 253, and Arp 220; these galactic nuclei have varying star formation efficiencies. Arp 220 shows higher abundances of SiO and HC$_3$N than NGC 3256 and NGC 253. Abundances of most species do not show strong correlation with the star formation efficiencies, although the CH$_3$CCH abundance seems to have a weak positive correlation with the star formation efficiency. Lastly, the chemistry of spiral arm positions in NGC 3256 is compared with that of W 51, a Galactic molecular cloud complex in a spiral arm. We found higher fractional abundances of shock tracers, and possibly also higher dense gas fraction in NGC 3256 compared with W 51.


title: Imprints of the redshift evolution of double neutron star merger rate on the signal to noise ratio distribution

abstract: Proposed third generation gravitational wave (GW) interferometers such as Cosmic Explorer will have the sensitivity to observe double neutron star (DNS) mergers up to a redshift of $\sim 5$ with good signal to noise ratios. We argue that the comoving spatial distribution of DNS mergers leaves a unique imprint on the statistical distribution of signal to noise ratios (SNRs) of the detected DNS mergers. Hence the SNR distribution of DNS mergers will facilitate a novel probe of their redshift evolution independent of the luminosity distance measurements. We consider detections of DNS mergers by the third generation detector Cosmic Explorer and study the SNR distribution for different possible redshift evolution models of DNSs and employ Anderson Darling p-value statistic to demonstrate the distinguishability between these different models. We find that a few hundreds of DNS mergers in the Cosmic Explorer era will allow us to distinguish between different models of redshift evolution.


title: Analytic solutions to various dissipation models of the simple and driven quantum harmonic oscillator

abstract: We obtain analytic solutions to various models of dissipation of the quantum harmonic oscillator, employing a simple method in the Wigner function Fourier transform description of the system; and study as an exemplification, the driven open quantum harmonic oscillator. The environmental models we use are based on optical master equations for the zero and finite temperature bath and whose open dynamics are described by a Lindblad master equation, and also we use the Caldeira-Leggett model for the high temperature limit, in the the under damped an the over damped case. Under the Wigner Fourier transform or chord function as it has been called, it becomes particularly simple to solve the dynamics of the open oscillator in the sense that the dynamics of the system are reduced to the application of an evolution matrix related to the damped motion of the oscillator.


title: PTB-TIR: A Thermal Infrared Pedestrian Tracking Benchmark

abstract: Thermal infrared (TIR) pedestrian tracking is one of the important components among numerous applications of computer vision, which has a major advantage: it can track pedestrians in total darkness. The ability to evaluate the TIR pedestrian tracker fairly, on a benchmark dataset, is significant for the development of this field. However, there is not a benchmark dataset. In this paper, we develop a TIR pedestrian tracking dataset for the TIR pedestrian tracker evaluation. The dataset includes 60 thermal sequences with manual annotations. Each sequence has nine attribute labels for the attribute based evaluation. In addition to the dataset, we carry out the large-scale evaluation experiments on our benchmark dataset using nine publicly available trackers. The experimental results help us understand the strengths and weaknesses of these trackers.In addition, in order to gain more insight into the TIR pedestrian tracker, we divide its functions into three components: feature extractor, motion model, and observation model. Then, we conduct three comparison experiments on our benchmark dataset to validate how each component affects the tracker's performance. The findings of these experiments provide some guidelines for future research. The dataset and evaluation toolkit can be downloaded at {https://github.com/QiaoLiuHit/PTB-TIR_Evaluation_toolkit}.


title: Excellent microwave and magnetic properties of La-Cu substituted Ba-hexaferrites prepared by ceramic process

abstract: We demonstrate exceptional microwave magnetic performance of crystallographycally textured barium hexaferrites prepared by conventional ceramic method. Vibrating sample magnetometer (VSM) and rectangular cavity perturbation measurements indicate that bulk Ba0.8La0.2Fe11.2Cu0.2O19 samples exhibit a strong magnetic anisotropy field Ha of 14.6kOe, the highest remanent magnetization of 3.96kGs, and the lowest ferromagnetic resonance (FMR) linewidth of 401Oe with zero applied bias field at Q-band. Broadband millimeter-wave transmittance measurements determined the complex permeability and permittivity. The remanent magnetization, anisotropy field Ha, and effective linewidth were also estimated based on Schlomann's theory of the complex permeability. These calculated values are in good agreement with the VSM and FMR measurements.


title: On Efficiently Detecting Overlapping Communities over Distributed Dynamic Graphs

abstract: Modern networks are of huge sizes as well as high dynamics, which challenges the efficiency of community detection algorithms. In this paper, we study the problem of overlapping community detection on distributed and dynamic graphs. Given a distributed, undirected and unweighted graph, the goal is to detect overlapping communities incrementally as the graph is dynamically changing. We propose an efficient algorithm, called \textit{randomized Speaker-Listener Label Propagation Algorithm} (rSLPA), based on the \textit{Speaker-Listener Label Propagation Algorithm} (SLPA) by relaxing the probability distribution of label propagation. Besides detecting high-quality communities, rSLPA can incrementally update the detected communities after a batch of edge insertion and deletion operations. To the best of our knowledge, rSLPA is the first algorithm that can incrementally capture the same communities as those obtained by applying the detection algorithm from the scratch on the updated graph. Extensive experiments are conducted on both synthetic and real-world datasets, and the results show that our algorithm can achieve high accuracy and efficiency at the same time.


title: Large-Scale Simulation of Multi-Asset Ising Financial Markets

abstract: We perform a large-scale simulation of an Ising-based financial market model that includes 300 asset time series. The financial system simulated by the model shows a fat-tailed return distribution and volatility clustering and exhibits unstable periods indicated by the volatility index measured as the average of absolute-returns. Moreover, we determine that the cumulative risk fraction, which measures the system risk, changes at high volatility periods. We also calculate the inverse participation ratio (IPR) and its higher-power version, IPR6, from the absolute-return cross-correlation matrix. Finally, we show that the IPR and IPR6 also change at high volatility periods.


title: Uplink Coverage Performance of an Underlay Drone Cell for Temporary Events

abstract: Using a drone as an aerial base station (ABS) to provide coverage to users on the ground is envisaged as a promising solution for beyond fifth generation (beyond-5G) wireless networks. While the literature to date has examined downlink cellular networks with ABSs, we consider an uplink cellular network with an ABS. Specifically, we analyze the use of an underlay ABS to provide coverage for a temporary event, such as a sporting event or a concert in a stadium. Using stochastic geometry, we derive the analytical expressions for the uplink coverage probability of the terrestrial base station (TBS) and the ABS. The results are expressed in terms of (i) the Laplace transforms of the interference power distribution at the TBS and the ABS and (ii) the distance distribution between the ABS and an independently and uniformly distributed (i.u.d.) ABS-supported user equipment and between the ABS and an i.u.d. TBS-supported user equipment. The accuracy of the analytical results is verified by Monte Carlo simulations. Our results show that varying the ABS height leads to a trade-off between the uplink coverage probability of the TBS and the ABS. In addition, assuming a quality of service of 90% at the TBS, an uplink coverage probability of the ABS of over 85% can be achieved, with the ABS deployed at or below its optimal height of typically between 250-500 m for the considered setup.


title: Sputtered Gold Nanoparticles Enhanced Quantum Dot Light-emitting Diodes

abstract: Surface plasmonic effects of metallic particles have been known to be an effective method to improve the performance light emitting didoes. In this work, we reported the sputtered Au nanoparticles enhanced electroluminescence in inverted quantum dot light emitting diodes (ITO/Au NPs/ZnMgO/QDs/TFB/PEDOT:PSS/Al). By combining the time-resolved photoluminescence, transient electroluminescence and ultraviolet photoelectron spectrometer measurements, the enhancement can be explained to the internal field enhanced exciton coupling to surface plasmons and the increased electron injection rate with Au nanoparticles incorporation. Phenomenological numerical calculations indicated that the electron mobility of the electron transport layer was increased from 1.39x10-5 to 1.91x10-5 cm2/V.s for Au NPs modified devices. As a result, the maximum device luminescence is enhanced by 1.41 folds from 14,600 to 20,720 cd/cm2 and maximum current efficiency is improved by 1.29 folds from 3.12 to 4.02 cd/A.


title: Toward Scalable Verification for Safety-Critical Deep Networks

abstract: The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Formal verification can address these concerns by guaranteeing that a deep learning system operates as intended, but the state of the art is limited to small systems. In this work-in-progress report we give an overview of our work on mitigating this difficulty, by pursuing two complementary directions: devising scalable verification techniques, and identifying design choices that result in deep learning systems that are more amenable to verification.


title: Quadratically Constrained Myopic Adversarial Channels

abstract: We study communication in the presence of a jamming adversary where quadratic power constraints are imposed on the transmitter and the jammer. The jamming signal is allowed to be a function of the codebook, and a noncausal but noisy observation of the transmitted codeword. For a certain range of the noise-to-signal ratios (NSRs) of the transmitter and the jammer, we are able to characterize the capacity of this channel under deterministic encoding or stochastic encoding, i.e., with no common randomness between the encoder/decoder pair. For the remaining NSR regimes, we determine the capacity under the assumption of a small amount of common randomness (at most $2\log(n)$ bits in one sub-regime, and at most $\Omega(n)$ bits in the other sub-regime) available to the encoder-decoder pair. Our proof techniques involve a novel myopic list-decoding result for achievability, and a Plotkin-type push attack for the converse in a subregion of the NSRs, both of which which may be of independent interest. We also give bounds on the secrecy capacity of this channel assuming that the jammer is simultaneously eavesdropping.


title: Convergence rates of truncated EM scheme for NSDDEs

abstract: This paper is concerned with strong convergence of the truncated Euler-Maruyama scheme for neutral stochastic differential delay equations driven by Brownian motion and pure jumps respectively. Under local Lipschitz condition, convergence rates of the truncated EM scheme are given.


title: Tailoring a nanofiber for enhanced photon emission and coupling efficiency from single quantum emitters

abstract: We present a novel approach to enhance the spontaneous emission rate of single quantum emitters in an optical nanofiber-based cavity by introducing a narrow air-filled groove into the cavity. Our results show that the Purcell factor for single quantum emitters located inside the groove of the nanofiber-based cavity can be at least six times greater than that for such an emitter on the fiber surface when using an optimized cavity mode and groove width. Moreover, the coupling efficiency of single quantum emitters into the guided mode of this nanofiber-based cavity can reach up to $\sim$ 80 $\%$ with only 35 cavity-grating periods. This new system has the potential to act as an all-fiber platform to realize efficient coupling of photons from single emitters into an optical fiber for quantum information applications.


title: Stability of Symmetry Breaking States in Finite-size Dicke Model with Photon Leakage

abstract: We investigate the finite-size Dicke model with photon leakage. It is shown that the symmetry breaking states, which are characterized by non-vanishing $\langle \hat{a} \rangle \neq 0$ and correspond to the ground states in the superradiant phase in the thermodynamic limit, are stable, while the eigenstates of the isolated finite-size Dicke Hamiltonian conserve parity symmetry. We introduce and analyze an effective master equation that describes the dynamics of a pair of the symmetry breaking states that are the degenerate lowest energy eigenstates in the superradiant region with photon leakage. It becomes clear that photon leakage is essential to stabilize the symmetry breaking states and to realize the superradiant phase without the thermodynamic limit. Our theoretical analysis provides an alternative interpretation using the finite-size model to explain results from cold atomic experiments showing superradiance with the symmetry breaking in an optical cavity.


title: Filamentary Fragmentation and Accretion in High-Mass Star-Forming Molecular Clouds

abstract: Filamentary structures are ubiquitous in high-mass star-forming molecular clouds. Their relation with high-mass star formation is still to be understood. Here we report interferometric observations toward 8 filamentary high-mass star-forming clouds. A total of 50 dense cores are identified in these clouds, most of which present signatures of high-mass star formation. Five of them are not associated with any star formation indicators, hence are prestellar core candidates. Evolutionary phases of these cores and their linewidths, temperatures, NH$_3$ abundances, and virial parameters are found to be correlated. In a sub-sample of 4 morphologically well-defined filaments, we find that their fragmentation can not be solely explained by thermal or turbulence pressure support. We also investigate distributions of gas temperatures and non-thermal motions along the filaments, and find a spatial correlation between non-thermal linewidths and star formation activities. We find evidence of gas flows along these filaments, and derive an accretion rate along filaments of $\sim$10$^{-4}$ M$_\odot$ yr$^{-1}$. These results suggest a strong relationship between massive filaments and high-mass star formation, through i) filamentary fragmentation in very early evolutionary phases to form dense cores, ii) accretion flows along filaments that are important for the growth of dense cores and protostars, and iii) enhancement of non-thermal motion in the filaments by the feedback or accretion during star formation.


title: Simple analytic model for radiotherapeutic X-ray induced acoustic signal as a function of absorption parameters

abstract: It is possible to make image reconstruction based on the dose dependence of the therapeutic XA (X-ray induced acoustic signal) amplitude which is then used to make dose mapping. We give further explicit parametrization for the acoustic signal in terms of the absorption parameters based on a physical model of the absorption process. The first step is to obtain pressure waveform due to a point dose absorption by solving the thermo-acoustic equation governing the heat absorption-pressure induction process based on the analytic integration technique. Then, clinically relevant XA signal profile at the detection point is obtained by generalizing point-dose-gradient induced acoustic signal to surface-dose-gradient of a uniform spherical 3D dose distribution based on the reciprocity principle for pressure waves in fluid media. Therapeutic XA signal induced from the surface of the uniform spherical dose distribution due to X-ray irradiation onto $5x5$ $cm^2$ field of the water surface by $1~\mu s$ pulses delivering $1.7$ mGy/pulse is simulated in time and frequency domain. XA waves obtained in previous empirical studies are simulated and compared by means of shape and relative amplitude. Considering the previous studies on this subject, we believe that the significance of this study is the foundation of a novel and self-contained analytic approach to simulate the therapeutic X-ray acoustic waves based on the physical parametrization of the energy transfer process. This not only provides a better understanding of the physical phenomena underlying the medical technique in terms of the medically relevant parameters such as field size, pulse duration, absorbed dose per pulse etc. together with the physical assumptions used to obtain a solution to the photo-acoustic equation, but also brings consistent simulation results with previous experimental and k-Wave results.


title: Multidimensional effects on proton acceleration using high-power intense laser pulses

abstract: Dimensional effects in particle-in-cell (PIC) simulation of target normal sheath acceleration (TNSA) of protons are considered. As the spatial divergence of the laser-accelerated hot sheath electrons and the resulting space-charge electric field on the target backside depend on the spatial dimension, the maximum energy of the accelerated protons obtained from three-dimensional (3D) simulations is usually much less that from two-dimensional (2D) simulations. By closely examining the TNSA of protons in 2D and 3D PIC simulations, we deduce an empirical ratio between the maximum proton energies obtained from the 2D and 3D simulations. This ratio may be useful for estimating the maximum proton energy in realistic (3D) TNSA from the results of the corresponding 2D simulation. It is also shown that the scaling law also applies to TNSA from structured targets.


title: On a Generic Security Game Model

abstract: To protect the systems exposed to the Internet against attacks, a security system with the capability to engage with the attacker is needed. There have been attempts to model the engagement/interactions between users, both benign and malicious, and network administrators as games. Building on such works, we present a game model which is generic enough to capture various modes of such interactions. The model facilitates stochastic games with imperfect information. The information is imperfect due to erroneous sensors leading to incorrect perception of the current state by the players. To model this error in perception distributed over other multiple states, we use Euclidean distances between the outputs of the sensors. We build a 5-state game to represent the interaction of the administrator with the user. The states correspond to 1) the user being out of the system in the Internet, and after logging in to the system; 2) having low privileges; 3) having high privileges; 4) when he successfully attacks and 5) gets trapped in a honeypot by the administrator. Each state has its own action set. We present the game with a distinct perceived action set corresponding to each distinct information set of these states. The model facilitates stochastic games with imperfect information. The imperfect information is due to erroneous sensors leading to incorrect perception of the current state by the players. To model this error in perception distributed over the states, we use Euclidean distances between outputs of the sensors. A numerical simulation of an example game is presented to show the evaluation of rewards to the players and the preferred strategies. We also present the conditions for formulating the strategies when dealing with more than one attacker and making collaborations.


title: Mapping topological to conformal field theories through strange correlators

abstract: We extend the concept of strange correlators, defined for symmetry-protected phases in [You et al., Phys. Rev. Lett. 112, 247202 (2014)], to topological phases of matter by taking the inner product between string-net ground states and product states. The resulting two-dimensional partition functions are shown to be either critical or symmetry broken, as the corresponding transfer matrices inherit all matrix product operator symmetries of the string-net states. For the case of critical systems, those non-local matrix product operator symmetries are the lattice remnants of topological conformal defects in the field theory description. Following [Aasen et al., J. Phys. A 49, 354001 (2016)], we argue that the different conformal boundary conditions can be obtained by applying the strange correlator concept to the different topological sectors of the string-net obtained from Ocneanu's tube algebra. This is demonstrated by calculating the conformal field theory spectra on the lattice in the different topological sectors for the Fibonacci/hard-hexagon and Ising string-net. Additionally, we provide a complementary perspective on symmetry-preserving real-space renormalization by showing how known tensor network renormalization methods can be understood as the approximate truncation of an exactly coarse-grained strange correlator.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-lat math-ph math.MP


title: In-medium $\mbox{NN}\to \mbox{N}\Delta$ cross section and its dependence on effective Lagrange parameters in isospin-asymmetric nuclear matter

abstract: The in-medium $NN\rightarrow N\Delta$ cross section and its differential cross section in isospin asymmetric nuclear medium are investigated in the framework of the one-boson exchange model by including the isovector mesons, i.e., $\delta$ and $\rho$ mesons. Our results show that the in-medium $NN\rightarrow N\Delta$ cross sections are suppressed with density increasing, and the differential cross sections become isotropic with the density increasing at the beam energy around the $\Delta$ threshold energy. The isospin splitting on the medium correction factor, $R=\sigma_{ NN\rightarrow N\Delta}^*/\sigma_{NN\rightarrow N\Delta}^{\text{free}}$ is observed for different channels of $NN\to N\Delta$, especially around the threshold energy for all the effective Lagrangian parameters. By analyzing the selected effective Lagrangian parameters, our results show that the larger effective mass is, the weaker medium correction $R$ is.


title: Investigating the region of 3C 397 in High Energy Gamma rays

abstract: We investigate the supernova remnant (SNR) 3C 397 and its neighboring pulsar PSR J1906+0722 in high energy gamma rays by using nearly six years of archival data of {\it Large Area Telescope} on board {\it Fermi Gamma Ray Space Telescope} (Fermi-LAT). The off-pulse analysis of gamma-ray flux from the location of PSR J1906+0722 reveals an excess emission which is found to be very close to the radio location of 3C 397. Here, we present the preliminary results of this gamma-ray analysis of 3C 397 and PSR J1906+0722.


title: Antiferromagnetic spin correlation of SU($\mathcal{N}$) Fermi gas in an optical super-lattice

abstract: Large-spin cold atomic systems can exhibit unique phenomena that do not appear in spin-1/2 systems. We report the observation of nearest-neighbor antiferromagnetic spin correlations of a Fermi gas with SU($\mathcal{N}$) symmetry trapped in an optical lattice. The precise control of the spin degrees of freedom provided by an optical pumping technique enables us a straightforward comparison between the cases of SU(2) and SU(4). Our important finding is that the antiferromagnetic correlation is enhanced for the SU(4)-spin system compared with SU(2) as a consequence of a Pomeranchuk cooling effect. This work is an important step towards the realization of novel SU($\mathcal{N}>2$) quantum magnetism.


title: Formula for calculating the Wiener polarity index with applications to benzenoid graphs and phenylenes

abstract: The Wiener polarity index of a graph is defined as the number of unordered pairs of vertices at distance three. In recent years, this topological index was extensively studied since it has many known applications in chemistry and also in network theory. In this paper, we generalize the result of Behmaram, Yousefi-Azari, and Ashrafi proved in 2012 for calculating the Wiener polarity index of a graph. An important advantage of our generalization is that it can be used for graphs that contain $4$-cycles and also for graphs whose different cycles have more than one common edge. In addition, using the main result a closed formula for the Wiener polarity index is derived for phenylenes and recalculated for catacondensed benzenoid graphs. The catacondensed benzenoid graphs and phenylenes attaining the extremal values with respect to the Wiener polarity index are also characterized.


title: Investigation of the 9B nucleus and its cluster-nucleon correlations

abstract: In order to study the correlation between clusters and nucleons in light nuclei, we formulate a new superposed THSR wave function which describes both spatial large spreading and cluster-correlated dynamics of valence nucleons. By using the new THSR wave function, the binding energy of 9B is essentially improved comparing with our previous studies. We calculate the excited states of 9B and obtain the energy spectrum of 9B which is consistent with the experimental results, including prediction of the 1/2+ excited state of 9B which is not fixed yet experimentally. We study the proton dynamics in 9B and find that the cluster-proton correlation plays an essential role for the proton dynamics in the ground state of 9B. Further more, we discuss the density distribution of the valence proton with special attention to its tail structure. Finally, the resonance nature of excited states of 9B is illustrated by comparing root-mean-square radii between the ground and excited states.


title: The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

abstract: The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures. Nelson and Oppen presented conditions that imply decidability (or polynomial-time decidability) of $\mathrm{CSP}(T_1 \cup T_2)$ under the assumption that $\mathrm{CSP}(T_1)$ and $\mathrm{CSP}(T_2)$ are decidable (or polynomial-time decidable). We show that for a large class of $\omega$-categorical theories $T_1, T_2$ the Nelson-Oppen conditions are not only sufficient, but also necessary for polynomial-time tractability of $\mathrm{CSP}(T_1 \cup T_2)$ (unless P=NP).


title: Towards probabilistic partial metric spaces: Diagonals between distance distributions

abstract: The quantale of distance distributions is of fundamental importance for understanding probabilistic metric spaces as enriched categories. Motivated by the categorical interpretation of partial metric spaces, we are led to investigate the quantaloid of diagonals between distance distributions, which is expected to establish the categorical foundation of probabilistic partial metric spaces. Observing that the quantale of distance distributions w.r.t. an arbitrary continuous t-norm is non-divisible, we precisely characterize diagonals between distance distributions, and prove that one-step functions are the only distance distributions on which the set of diagonals coincides with the generated down set.


title: Magnetic braids in eruptions of a spiral structure in the solar atmosphere

abstract: We report on high-resolution imaging and spectral observations of eruptions of a spiral structure in the transition region, which were taken with the Interface Region Imaging Spectrometer (IRIS), the Atmospheric Imaging Assembly (AIA) and the Helioseismic and Magnetic Imager (HMI). The eruption coincided with the appearance of two series of jets, with velocities comparable to the Alfv\'en speeds in their footpoints. Several pieces of evidence of magnetic braiding in the eruption are revealed, including localized bright knots, multiple well-separated jet threads, transition region explosive events and the fact that all these three are falling into the same locations within the eruptive structures. Through analysis of the extrapolated three-dimensional magnetic field in the region, we found that the eruptive spiral structure corresponded well to locations of twisted magnetic flux tubes with varying curl values along their lengths. The eruption occurred where strong parallel currents, high squashing factors, and large twist numbers were obtained. The electron number density of the eruptive structure is found to be $\sim3\times10^{12}$ cm$^{-3}$, indicating that significant amount of mass could be pumped into the corona by the jets. Following the eruption, the extrapolations revealed a set of seemingly relaxed loops, which were visible in the AIA 94 \AA\ channel indicating temperatures of around 6.3 MK. With these observations, we suggest that magnetic braiding could be part of the mechanisms explaining the formation of solar eruption and the mass and energy supplement to the corona.


title: 3D CNN-based classification using sMRI and MD-DTI images for Alzheimer disease studies

abstract: Computer-aided early diagnosis of Alzheimers Disease (AD) and its prodromal form, Mild Cognitive Impairment (MCI), has been the subject of extensive research in recent years. Some recent studies have shown promising results in the AD and MCI determination using structural and functional Magnetic Resonance Imaging (sMRI, fMRI), Positron Emission Tomography (PET) and Diffusion Tensor Imaging (DTI) modalities. Furthermore, fusion of imaging modalities in a supervised machine learning framework has shown promising direction of research. In this paper we first review major trends in automatic classification methods such as feature extraction based methods as well as deep learning approaches in medical image analysis applied to the field of Alzheimer's Disease diagnostics. Then we propose our own algorithm for Alzheimer's Disease diagnostics based on a convolutional neural network and sMRI and DTI modalities fusion on hippocampal ROI using data from the Alzheimers Disease Neuroimaging Initiative (ADNI) database (http://adni.loni.usc.edu). Comparison with a single modality approach shows promising results. We also propose our own method of data augmentation for balancing classes of different size and analyze the impact of the ROI size on the classification results as well.


title: On the stability of super-heavy nuclei

abstract: The potential-energy surfaces of an extended set of heavy and super-heavy even-even nuclei with $92 \le Z \le 126$ and isospins $40 \le N-Z \le 74$ are evaluated within the recently developed Fourier shape parametrization. Ground-state and decay properties are studied for 324 different even-even isotopes in a four-dimensional deformation space, defined by non-axiality, quadrupole, octupole, and hexadecapole degrees of freedom. Nuclear deformation energies are evaluated in the framework of the macroscopic-microscopic approach, with the Lublin-Strasbourg-Drop model and a Yukawa-folded mean-field potential. The evolution of the ground-state equilibrium shape (and possible isomeric, metastable states) is studied as a function of $Z$ and $N$. Alpha-decay $Q$-values and half-lives, as well as fission-barrier heights, are deduced. In order to understand the transition from asymmetric to symmetric fission along the Fm isotopic chain, the properties of all identified fission paths are investigated. Good agreement is found with experimental data wherever available. New interesting features about the population of different fission modes for nuclei beyond Fm are predicted.


title: Noise-induced stabilization and fixation in fluctuating environment

abstract: The dynamics of a two-species community of $N$ competing individuals is considered, with an emphasis on the role of environmental variations that affect coherently the fitness of entire populations. The chance of fixation of a mutant population (and, in particular, of a single mutant) is calculated as a function of the mean relative fitness of the mutant, the amplitude of fitness variations and their typical duration. We emphasize the distinction between the case of local competition and the case of global competition; in the latter a noise-induced stabilization mechanism yields a higher chance of fixation for a single mutant. The distinction becomes dramatic in the weak selection phase, where the chance of fixation for a single deleterious mutant is an $N$-independent constant for global competition and decays like $(\ln N)^{-1}$ in the local competition case. The possibility of long-term persistence of ${\cal O} (N)$ suboptimal (and extinction-prone) populations is discussed, as well as its relevance to stochastic tunneling between fitness peaks.


title: Current-driven skyrmion motion along disordered magnetic tracks

abstract: The motion of skyrmions along ferromagnetic strips driven by current pulses is theoretically analyzed by means of micromagnetic simulations. Analytical expressions describing the skyrmion dynamics during and after the current pulse are obtained from an extended rigid skyrmion model, and its predictions are compared with full micromagnetic simulations for perfect samples with a remarkable agreement. The dynamics along realistic samples with random disorder is also studied by both models. Our analysis describes the relevant ingredients behind the current-driven skyrmion dynamics, and it is expected to be useful to understand recent and future experimental.


title: WYFIWYG: Investigating Effective User Support in Aerial Videography

abstract: Tools for quadrotor trajectory design have enabled single videographers to create complex aerial video shots that previously required dedicated hardware and several operators. We build on this prior work by studying film-maker's working practices which informed a system design that brings expert workflows closer to end-users. For this purpose, we propose WYFIWYG, a new quadrotor camera tool which (i) allows to design a video solely via specifying its frames, (ii) encourages the exploration of the scene prior to filming and (iii) allows to continuously frame a camera target according to compositional intentions. Furthermore, we propose extensions to an existing algorithm, generating more intuitive angular camera motions and producing spatially and temporally smooth trajectories. Finally, we conduct a user study where we evaluate how end-users work with current videography tools. We conclude by summarizing the findings of work as implications for the design of UIs and algorithms of quadrotor camera tools.


title: A combinatorial approach to Rauzy-type dynamics II: the labelling method and a second proof of the KZB classification theorem

abstract: Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example (the Rauzy dynamics) concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincar\'e map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action have been classified by Kontsevich and Zorich, and by Boissy through methods involving both combinatorics algebraic geometry, topology and dynamical systems. Our first paper proposed an ad hoc combinatorial proof of this classification. In this paper we define a general method, called the labelling method, which allows one to classify Rauzy-type dynamics in a much more systematic way. We apply the method to the Rauzy dynamics and obtain a second combinatorial proof of the classification.


title: Privacy-preserving Data Splitting: A Combinatorial Approach

abstract: Privacy-preserving data splitting is a technique that aims to protect data privacy by storing different fragments of data in different locations. In this work we give a new combinatorial formulation to the data splitting problem. We see the data splitting problem as a purely combinatorial problem, in which we have to split data attributes into different fragments in a way that satisfies certain combinatorial properties derived from processing and privacy constraints. Using this formulation, we develop new combinatorial and algebraic techniques to obtain solutions to the data splitting problem. We present an algebraic method which builds an optimal data splitting solution by using Gr\"{o}bner bases. Since this method is not efficient in general, we also develop a greedy algorithm for finding solutions that are not necessarily minimal sized.


title: Groups whose elements are not conjugate to their powers

abstract: We call a finite group irrational if none of its elements is conjugate to a distinct power of itself. We prove that those groups are solvable and describe certain classes of these groups, where the above property is only required for $p$-elements, for $p$ from a prescribed set of primes.


title: Anomalies in a slightly doped insulator with strong particle-hole asymmetry and narrow gap---the case for SmB$_6$?

abstract: SmB$_6$, known to be a Kondo insulator, has received intense scrutiny in recent years due to its paradoxical experimental signatures: while some quantities show an insulating behavior, others point to a metallic state. This has led to the conjecture that SmB$_6$ hosts nontrivial excitations within its bulk gap, and has spawned several theories to that effect. In principle, there exists an alternative possibility: the system is a metal but unusually with both metal- and insulator-like properties. Inspired by this possibility, I consider a minimal model of a Kondo insulator---a flat band hybridized with a parabolic band---that is slightly electron doped, i.e., the chemical potential is in the conduction band but close to the band edge. By calculating the dc conductivity, ac conductivity, specific heat, and quantum oscillations at the phenomenological level, I show that these quantities exhibit unusual behaviors that are, surprisingly, qualitatively consistent with those observed experimentally in SmB$_6$. The rapid change of band curvature around the chemical potential arising from the strong particle-hole asymmetry and the narrow gap in the model, a feature not usually encountered in the textbook cases of metals or insulators, is at the heart of the unusual behaviors.