title: An HAM-Based Analytic Modeling Methodology for Memristor Enabling Fast Convergence

abstract: Memristor has great application prospects in various high-performance electronic systems, such as memory, artificial intelligence, and neural networks, due to its fast speed, nano-scale dimensions, and low-power consumption. However, traditional nonanalytic models and lately reported analytic models for memristor have the problems of nonconvergence and slow convergence, respectively. These problems lay great obstacles in the analysis, simulation and design of memristor. To address these problems, a modeling methodology for analytic approximate solution of the state variable in memristor is proposed in this work. This methodology solves the governing equation of memristor by adopting the Homotopy Analysis Method (HAM) for the first time, and the convergence performance of the methodology is enhanced by an optimized convergence-control parameter in the HAM. The simulation results, compared with the reported analytic models, demonstrate that the HAM-based modeling methodology achieves faster convergence while guaranteeing sufficient accuracy. Based on the methodology, it can be simultaneously revealed that highly nonlinearity is the potential sources of slow convergence in analytic models, which is beneficial for the analysis and design guidance. In addition, a Spice subcircuit is constructed based on the obtained HAM model, and then it is integrated into an oscillator to verify its applicability. Due to the generality of HAM, this methodology may be easily extended to other memory devices.


title: Efficiency and robustness in Monte Carlo sampling of 3-D geophysical inversions with Obsidian v0.1.2: Setting up for success

abstract: The rigorous quantification of uncertainty in geophysical inversions is a challenging problem. Inversions are often ill-posed and the likelihood surface may be multi-modal; properties of any single mode become inadequate uncertainty measures, and sampling methods become inefficient for irregular posteriors or high-dimensional parameter spaces. We explore the influences of different choices made by the practitioner on the efficiency and accuracy of Bayesian geophysical inversion methods that rely on Markov chain Monte Carlo sampling to assess uncertainty, using a multi-sensor inversion of the three-dimensional structure and composition of a region in the Cooper Basin of South Australia as a case study. The inversion is performed using an updated version of the Obsidian distributed inversion software. We find that the posterior for this inversion has complex local covariance structure, hindering the efficiency of adaptive sampling methods that adjust the proposal based on the chain history. Within the context of a parallel-tempered Markov chain Monte Carlo scheme for exploring high-dimensional multi-modal posteriors, a preconditioned Crank-Nicholson proposal outperforms more conventional forms of random walk. Aspects of the problem setup, such as priors on petrophysics or on 3-D geological structure, affect the shape and separation of posterior modes, influencing sampling performance as well as the inversion results. Use of uninformative priors on sensor noise can improve inversion results by enabling optimal weighting among multiple sensors even if noise levels are uncertain. Efficiency could be further increased by using posterior gradient information within proposals, which Obsidian does not currently support, but which could be emulated using posterior surrogates.


title: Models of vacuum energy interacting with cold dark matter: Constraints and comparison

abstract: In this paper, we investigate the observational constraints on the scenario of vacuum energy interacting with cold dark matter. We consider eight typical interaction forms in such an interacting vacuum energy scenario. The observational data used in this work to constrain these models include the JLA sample of type Ia supernovae observation, the Planck 2015 distance priors data of cosmic microwave background anisotropies observation, the baryon acoustic oscillations data, and the Hubble constant direct measurement. We find that the current observational data almost equally favor these interacting vacuum energy models. We also find that for all these models of vacuum energy interacting with cold dark matter the case of no interaction is actually well consistent with the current observational data within 1$\sigma$ range.


title: (Semi-)leptonic decays of D Mesons at BESIII

abstract: Leptonic and semi-leptonic $D$ decays at BESIII contribute the most precise experimental measurement of $|V_{cs(d)}|$ and form factor $f_{D_{(s)}}$ in the world based on 2.93 fb$^{-1}$ and 3.19 fb$^{-1}$ data taken at center-of-mass energies $\sqrt{s} = 3.773$ and 4.180~GeV, respectively. The largest samples at the mass threshold of the charmed hardons $D_{(s)}$ also provide chances to extract form factors of some semi-electronic decays for the first time and together with the semi-muonic decays we could understand lepton flavour universality better.


title: Derivatives of Schubert polynomials and proof of a determinant conjecture of Stanley

abstract: We study the action of a differential operator on Schubert polynomials. Using this action, we first give a short new proof of an identity of I. Macdonald (1991). We then prove a determinant conjecture of R. Stanley (2017). This conjecture implies the (strong) Sperner property for the weak order on the symmetric group, a property recently established by C. Gaetz and Y. Gao (2018).


title: Operator Method and Recursion Relations for Inflationary Correlator

abstract: We develop the systematics for applying operators on Minkowski correlation functions to get the inflationary correlation functions. Simple structures and recursion relations are known for Minkowski correlation functions. Using the operator technique, various novel recursion relations for inflationary correlation functions are obtained.


title: Mean Transverse Energy of Ultrananocrystalline Diamond Photocathode

abstract: Nitrogen incorporated ultrananocrystalline diamond ((N)UNCD) could be an enabling material platform for photocathode applications due to its high emissivity. While the quantum efficiency (QE) of UNCD was reported by many groups, no experimental measurements of the intrinsic emittance/mean transverse energy (MTE) have been reported. Here, MTE measurement results for an (N)UNCD photocathode in the photon energy range of 4.41 to 5.26 eV are described. The MTE demonstrates no noticeable dependence on the photon energy, with an average value of 266 meV. This spectral behavior is shown to not to be dependent upon physical or chemical surface roughness and inconsistent with low electron effective mass emission from graphitic grain boundaries, but may be associated with emission from spatially-confined states in the graphite regions between the diamond grains. The combined effect of fast-growing QE and constant MTE with respect to the excess laser energy may pave the way to bright UNCD photocathodes.


title: CrowdPose: Efficient Crowded Scenes Pose Estimation and A New Benchmark

abstract: Multi-person pose estimation is fundamental to many computer vision tasks and has made significant progress in recent years. However, few previous methods explored the problem of pose estimation in crowded scenes while it remains challenging and inevitable in many scenarios. Moreover, current benchmarks cannot provide an appropriate evaluation for such cases. In this paper, we propose a novel and efficient method to tackle the problem of pose estimation in the crowd and a new dataset to better evaluate algorithms. Our model consists of two key components: joint-candidate single person pose estimation (SPPE) and global maximum joints association. With multi-peak prediction for each joint and global association using graph model, our method is robust to inevitable interference in crowded scenes and very efficient in inference. The proposed method surpasses the state-of-the-art methods on CrowdPose dataset by 5.2 mAP and results on MSCOCO dataset demonstrate the generalization ability of our method. Source code and dataset will be made publicly available.


title: Novel Magnetic Block States in Low-Dimensional Iron-Based Superconductors

abstract: Inelastic neutron scattering recently confirmed the theoretical prediction of a $\uparrow\uparrow\downarrow\downarrow$-magnetic state along the legs of quasi-one-dimensional (quasi-1D) iron-based ladders in the orbital-selective Mott phase (OSMP). We show here that electron-doping of the OSMP induces a whole class of novel block-states with a variety of periodicities beyond the previously reported $\pi/2$ pattern. We discuss the magnetic phase diagram of the OSMP regime that could be tested by neutrons once appropriate quasi-1D quantum materials with the appropriate dopings are identified.


title: Comparing optimization strategies for force field parameterization

abstract: Classical molecular dynamics (MD) simulations enable modeling of materials and examination of microscopic details that are not accessible experimentally. The predictive capability of MD relies on the force field (FF) used to describe interatomic interactions. FF parameters are typically determined to reproduce selected material properties computed from density functional theory (DFT) and/or measured experimentally. A common practice in parameterizing FFs is to use least-squares local minimization algorithms. Genetic algorithms (GAs) have also been demonstrated as a viable global optimization approach, even for complex FFs. However, an understanding of the relative effectiveness and efficiency of different optimization techniques for the determination of FF parameters is still lacking. In this work, we evaluate various FF parameter optimization schemes, using as example a training data set calculated from DFT for different polymorphs of Ir$O_2$. The Morse functional form is chosen for the pairwise interactions and the optimization of the parameters against the training data is carried out using (1) multi-start local optimization algorithms: Simplex, Levenberg-Marquardt, and POUNDERS, (2) single-objective GA, and (3) multi-objective GA. Using random search as a baseline, we compare the algorithms in terms of reaching the lowest error, and number of function evaluations. We also compare the effectiveness of different approaches for FF parameterization using a test data set with known ground truth (i.e generated from a specific Morse FF). We find that the performance of optimization approaches differs when using the Test data vs. the DFT data. Overall, this study provides insight for selecting a suitable optimization method for FF parameterization, which in turn can enable more accurate prediction of material properties and chemical phenomena.


title: Spin squeezing and many-body dipolar dynamics in optical lattice clocks

abstract: The recent experimental realization of a three-dimensional (3D) optical lattice clock not only reduces the influence of collisional interactions on the clock's accuracy but also provides a promising platform for studying dipolar many-body quantum physics. Here, by solving the governing master equation, we investigate the role of both elastic and dissipative long-range interactions in the clock's dynamics and study its dependence on lattice spacing, dimensionality, and dipolar orientation. For small lattice spacing, i.e., $k_0a\ll 1$, where $a$ is the lattice constant and $k_0$ is the transition wavenumber, a sizable spin squeezing appears in the transient state which is favored in a head-to-tail dipolar configuration in 1D systems and a side-by-side configuration in 2D systems, respectively. For large lattice spacing, i.e., $k_0a\gg 1$, the single atomic decay rate can be effectively suppressed due to the destructive dissipative emission of neighboring atoms in both 1D and 2D. Our results will not only aid in the design of the future generation of ultraprecise atomic clocks but also illuminates the rich many-body physics exhibited by radiating dipolar system.


title: End-to-end Learning of Convolutional Neural Net and Dynamic Programming for Left Ventricle Segmentation

abstract: Differentiable programming is able to combine different functions or programs in a processing pipeline with the goal of applying end-to-end learning or optimization. A significant impediment is the non-differentiable nature of some algorithms. We propose to use synthetic gradients (SG) to overcome this difficulty. SG uses the universal function approximation property of neural networks. We apply SG to combine convolutional neural network (CNN) with dynamic programming (DP) in end-to-end learning for segmenting left ventricle from short axis view of heart MRI. Our experiments show that end-to-end combination of CNN and DP requires fewer labeled images to achieve a significantly better segmentation accuracy than using only CNN.


title: Iterative Reorganization with Weak Spatial Constraints: Solving Arbitrary Jigsaw Puzzles for Unsupervised Representation Learning

abstract: Learning visual features from unlabeled image data is an important yet challenging task, which is often achieved by training a model on some annotation-free information. We consider spatial contexts, for which we solve so-called jigsaw puzzles, i.e., each image is cut into grids and then disordered, and the goal is to recover the correct configuration. Existing approaches formulated it as a classification task by defining a fixed mapping from a small subset of configurations to a class set, but these approaches ignore the underlying relationship between different configurations and also limit their application to more complex scenarios. This paper presents a novel approach which applies to jigsaw puzzles with an arbitrary grid size and dimensionality. We provide a fundamental and generalized principle, that weaker cues are easier to be learned in an unsupervised manner and also transfer better. In the context of puzzle recognition, we use an iterative manner which, instead of solving the puzzle all at once, adjusts the order of the patches in each step until convergence. In each step, we combine both unary and binary features on each patch into a cost function judging the correctness of the current configuration. Our approach, by taking similarity between puzzles into consideration, enjoys a more reasonable way of learning visual knowledge. We verify the effectiveness of our approach in two aspects. First, it is able to solve arbitrarily complex puzzles, including high-dimensional puzzles, that prior methods are difficult to handle. Second, it serves as a reliable way of network initialization, which leads to better transfer performance in a few visual recognition tasks including image classification, object detection, and semantic segmentation.


title: On the module structure of the center of hyperelliptic Krichever-Novikov algebras II

abstract: Let $R := R_{2}(p)=\mathbb{C}[t^{\pm 1}, u : u^2 = t(t-\alpha_1)\cdots (t-\alpha_{2n})] $ be the coordinate ring of a nonsingular hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra. \color{black} Here $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$ and \begin{equation*} p(t)= t(t-\alpha_1)\cdots (t-\alpha_{2n})=\sum_{k=1}^{2n+1}a_kt^k. \end{equation*} In earlier work, Cox and Im gave a generator and relations description of the universal central extension of $\mathfrak{g}\otimes R$ in terms of certain families of polynomials $P_{k,i}$ and $Q_{k,i}$ and they described how the center $\Omega_R/dR$ of this universal central extension decomposes into a direct sum of irreducible representations when the automorphism group was the cyclic group $C_{2k}$ or the dihedral group $D_{2k}$. We give examples of $2n$-tuples $(\alpha_1,\dots,\alpha_{2n})$, which are the automorphism groups $\mathbb G_n=\text{Dic}_{n}$, $\mathbb U_n\cong D_n$ ($n$ odd), or $\mathbb U_n$ ($n$ even) of the hyperelliptic curves \begin{equation} S=\mathbb{C}[t, u: u^2 = t(t-\alpha_1)\cdots (t-\alpha_{2n})] \end{equation} given in [CGLZ17]. In the work below, we describe this decomposition when the automorphism group is $\mathbb U_n=D_n$, where $n$ is odd.


title: MSP: A Multi-step Screening Procedure for Sparse Recovery

abstract: We propose a Multi-step Screening Procedure (MSP) for the recovery of sparse linear models in high-dimensional data. This method is based on a repeated small penalty strategy that quickly converges to an estimate within a few iterations. Specifically, in each iteration, an adaptive lasso regression with a small penalty is fit within the reduced feature space obtained from the previous step, rendering its computational complexity roughly comparable with the Lasso. MSP is shown to select the true model under complex correlation structures among the predictors and response, even when the irrepresentable condition fails. Further, under suitable regularity conditions, MSP achieves the optimal minimax rate $(q \log n /n)^{1/2}$ for the upper bound of $l_2$-norm error. Numerical comparisons show that the method works effectively both in model selection and estimation, and the MSP fitted model is stable over a range of small tuning parameter values, eliminating the need to choose the tuning parameter by cross-validation. We also apply MSP to financial data and show that MSP is successful in asset allocation selection.


title: ProxylessNAS: Direct Neural Architecture Search on Target Task and Hardware

abstract: Neural architecture search (NAS) has a great impact by automatically designing effective neural network architectures. However, the prohibitive computational demand of conventional NAS algorithms (e.g. $10^4$ GPU hours) makes it difficult to \emph{directly} search the architectures on large-scale tasks (e.g. ImageNet). Differentiable NAS can reduce the cost of GPU hours via a continuous representation of network architecture but suffers from the high GPU memory consumption issue (grow linearly w.r.t. candidate set size). As a result, they need to utilize~\emph{proxy} tasks, such as training on a smaller dataset, or learning with only a few blocks, or training just for a few epochs. These architectures optimized on proxy tasks are not guaranteed to be optimal on the target task. In this paper, we present \emph{ProxylessNAS} that can \emph{directly} learn the architectures for large-scale target tasks and target hardware platforms. We address the high memory consumption issue of differentiable NAS and reduce the computational cost (GPU hours and GPU memory) to the same level of regular training while still allowing a large candidate set. Experiments on CIFAR-10 and ImageNet demonstrate the effectiveness of directness and specialization. On CIFAR-10, our model achieves 2.08\% test error with only 5.7M parameters, better than the previous state-of-the-art architecture AmoebaNet-B, while using 6$\times$ fewer parameters. On ImageNet, our model achieves 3.1\% better top-1 accuracy than MobileNetV2, while being 1.2$\times$ faster with measured GPU latency. We also apply ProxylessNAS to specialize neural architectures for hardware with direct hardware metrics (e.g. latency) and provide insights for efficient CNN architecture design.


title: PVRNet: Point-View Relation Neural Network for 3D Shape Recognition

abstract: Three-dimensional (3D) shape recognition has drawn much research attention in the field of computer vision. The advances of deep learning encourage various deep models for 3D feature representation. For point cloud and multi-view data, two popular 3D data modalities, different models are proposed with remarkable performance. However the relation between point cloud and views has been rarely investigated. In this paper, we introduce Point-View Relation Network (PVRNet), an effective network designed to well fuse the view features and the point cloud feature with a proposed relation score module. More specifically, based on the relation score module, the point-single-view fusion feature is first extracted by fusing the point cloud feature and each single view feature with point-singe-view relation, then the point-multi-view fusion feature is extracted by fusing the point cloud feature and the features of different number of views with point-multi-view relation. Finally, the point-single-view fusion feature and point-multi-view fusion feature are further combined together to achieve a unified representation for a 3D shape. Our proposed PVRNet has been evaluated on ModelNet40 dataset for 3D shape classification and retrieval. Experimental results indicate our model can achieve significant performance improvement compared with the state-of-the-art models.


title: Image Score: How to Select Useful Samples

abstract: There has long been debates on how we could interpret neural networks and understand the decisions our models make. Specifically, why deep neural networks tend to be error-prone when dealing with samples that output low softmax scores. We present an efficient approach to measure the confidence of decision-making steps by statistically investigating each unit's contribution to that decision. Instead of focusing on how the models react on datasets, we study the datasets themselves given a pre-trained model. Our approach is capable of assigning a score to each sample within a dataset that measures the frequency of occurrence of that sample's chain of activation. We demonstrate with experiments that our method could select useful samples to improve deep neural networks in a semi-supervised leaning setting.


title: GAN-EM: GAN based EM learning framework

abstract: Expectation maximization (EM) algorithm is to find maximum likelihood solution for models having latent variables. A typical example is Gaussian Mixture Model (GMM) which requires Gaussian assumption, however, natural images are highly non-Gaussian so that GMM cannot be applied to perform clustering task on pixel space. To overcome such limitation, we propose a GAN based EM learning framework that can maximize the likelihood of images and estimate the latent variables with only the constraint of L-Lipschitz continuity. We call this model GAN-EM, which is a framework for image clustering, semi-supervised classification and dimensionality reduction. In M-step, we design a novel loss function for discriminator of GAN to perform maximum likelihood estimation (MLE) on data with soft class label assignments. Specifically, a conditional generator captures data distribution for $K$ classes, and a discriminator tells whether a sample is real or fake for each class. Since our model is unsupervised, the class label of real data is regarded as latent variable, which is estimated by an additional network (E-net) in E-step. The proposed GAN-EM achieves state-of-the-art clustering and semi-supervised classification results on MNIST, SVHN and CelebA, as well as comparable quality of generated images to other recently developed generative models.


title: Macro action selection with deep reinforcement learning in StarCraft

abstract: StarCraft (SC) is one of the most popular and successful Real Time Strategy (RTS) games. In recent years, SC is also widely accepted as a challenging testbed for AI research because of its enormous state space, partially observed information, multi-agent collaboration, and so on. With the help of annual AIIDE and CIG competitions, a growing number of SC bots are proposed and continuously improved. However, a large gap remains between the top-level bot and the professional human player. One vital reason is that current SC bots mainly rely on predefined rules to select macro actions during their games. These rules are not scalable and efficient enough to cope with the enormous yet partially observed state space in the game. In this paper, we propose a deep reinforcement learning (DRL) framework to improve the selection of macro actions. Our framework is based on the combination of the Ape-X DQN and the Long-Short-Term-Memory (LSTM). We use this framework to build our bot, named as LastOrder. Our evaluation, based on training against all bots from the AIIDE 2017 StarCraft AI competition set, shows that LastOrder achieves an 83% winning rate, outperforming 26 bots in total 28 entrants.


title: Pseudo-N\'eron Model and Restriction of Sections with an appendix by Jason Michael Starr

abstract: We introduce the notion of pseudo-N\'eron model and give new examples of varieties admitting pseudo-N\'eron models other than Abelian varieties. As an application of pseudo-N\'eron models, given a scheme admitting a finite morphism to an Abelian scheme over a positive-dimensional base, we prove that for a very general genus-0, degree-d curve in the base with d sufficiently large, every section of the scheme over the curve is contained in a unique section over the entire base.


title: Regularized Wasserstein Means for Aligning Distributional Data

abstract: We propose to align distributional data from the perspective of Wasserstein means. We raise the problem of regularizing Wasserstein means and propose several terms tailored to tackle different problems. Our formulation is based on the variational transportation to distribute a sparse discrete measure into the target domain. The resulting sparse representation well captures the desired property of the domain while reducing the mapping cost. We demonstrate the scalability and robustness of our method with examples in domain adaptation, point set registration, and skeleton layout.


title: Spin scattering and noncollinear spin structure-induced intrinsic anomalous Hall effect in antiferromagnetic topological insulator $\mathrm{MnBi_2Te_4}$

abstract: $\mathrm{MnBi_2Te_4}$ has recently been established as an intrinsic antiferromagnetic (AFM) topological insulator and predicted to be an ideal platform to realize quantum anomalous Hall (QAH) insulator and axion insulator states. We performed comprehensive studies on the structure, nontrivial surface state and magnetotransport properties of this material. Our results reveal an intrinsic anomalous Hall effect arising from a non-collinear spin structure for the magnetic field parallel to the $c$-axis. We also observed remarkable negative magnetoresistance under arbitrary field orientation below and above the Neel temperature (T$_N$), providing clear evidence for strong spin fluctuation-driven spin scattering in both the AFM and paramagnetic states. Further, we found that the nontrivial surface state opens a large gap (~85 meV) even at temperatures far above T$_N$ = 25K. These findings demonstrate that the bulk band structure of $\mathrm{MnBi_2Te_4}$ is strongly coupled to the magnetic structure and that a net Berry curvature in momentum space can be created in a canted AFM state. In addition, our results imply that the gap opening in the surface states is intrinsic, likely caused by the strong spin fluctuations near the surface layers.


title: Machine-Learning-based High-resolution DOA Measurement and Robust DM for Hybrid Analog-Digital Massive MIMO Transceiver

abstract: At hybrid analog-digital (HAD) transceiver, an improved HAD rotational invariance techniques (ESPRIT), called I-HAD-ESPRIT, is proposed to measure the direction of arrival (DOA) of desired user, where the phase ambiguity due to HAD structure is addressed successfully. Subsequently, a machine-learning (ML) framework is proposed to improve the precision of measuring DOA. In the training stage, the HAD transceiver works as a receiver and repeatedly measures the values of DOA via I-HAD-ESPRIT to form a slightly large training data set (TDS) of DOA. From TDS, we find that the probability density function (PDF) of DOA measurement error (DOAME) is approximated as a Gaussian distribution by the histogram method in ML. This TDS is used to learn the mean of DOA and the variance of DOAME, which are utilized to infer their values and improve their precisions in the real-time stage. The HAD transceiver rapidly measures the real-time value of DOA some times to form a relatively small real-time set (RTS), which is used to learn the real-time mean and variance of DOA/ DOAME. Then, three weight combiners are proposed to combine the-maximum-likelihood-learning outputs of TDS and RTS. Their weight factors depend intimately on the numbers of elements in TDS and RTS, and signal-to-noise ratios during the two stages. Using the mean and variance of DOA/DOAME, their PDFs can be given directly, and we propose a robust beamformer for directional modulation (DM) transmitter with HAD by fully exploiting the PDF of DOA/DOAME, especially a robust analog beamformer on RF chain. Simulation results show that: 1) The proposed I-HAD-ESPRIT can achieve the HAD CRLB; 2) The proposed ML framework performs much better than the corresponding real-time one without training stage, 3) The proposed robust DM transmitter can perform better than the corresponding non-robust ones in terms of bit error rate and secrecy rate.


title: Many Server Queueing Models with Heterogeneous Servers and Parameter Uncertainty with Customer Contact Centre Applications

abstract: In this thesis, we study the queueing systems with heterogeneous servers and service rate uncertainty under the Halfin-Whitt heavy traffic regime. First, we analyse many server queues with abandonments when service rates are i.i.d. random variables. We derive a diffusion approximation using a novel method. The diffusion has a random drift, and hence depending on the realisations of service rates, the system can be in Quality Driven (QD), Efficiency Driven (ED) or Quality-Efficiency-Driven (QED) regime. When the system is under QD or QED regime, the abandonments are negligible in the fluid limit, but when it is under ED regime, the probability of abandonment will converge to a non-zero value. We then analyse the optimal staffing levels to balance holding costs with staffing costs combining these three regimes. We also analyse how the variance of service rates influence abandonment rate. Next, we focus on the state space collapse (SSC) phenomenon. We prove that under some assumptions, the system process will collapse to a lower dimensional process without losing essential information. We first formulate a general method to prove SSC results inside pools for heavy traffic systems using the hydrodynamic limit idea. Then we work on the SSC in multi-class queueing networks under the Halfin-Whitt heavy traffic when service rates are i.i.d. random variables within pools. For such systems, exact analysis provides limited insight on the general properties. Alternatively, asymptotic analysis by diffusion approximation proves to be effective. Further, limit theorems, which state the diffusively scaled system process weakly converges to a diffusion process, are usually the central part in such asymptotic analysis. The SSC result is key to proving such a limit. We conclude by giving examples on how SSC is applied to the analysis of systems.


title: Analysis on Gradient Propagation in Batch Normalized Residual Networks

abstract: We conduct mathematical analysis on the effect of batch normalization (BN) on gradient backpropogation in residual network training, which is believed to play a critical role in addressing the gradient vanishing/explosion problem, in this work. By analyzing the mean and variance behavior of the input and the gradient in the forward and backward passes through the BN and residual branches, respectively, we show that they work together to confine the gradient variance to a certain range across residual blocks in backpropagation. As a result, the gradient vanishing/explosion problem is avoided. We also show the relative importance of batch normalization w.r.t. the residual branches in residual networks.


title: Configurational entropy of tachyon kinks on unstable Dp-branes

abstract: We consider tachyon effective theory with Born-Infeld electromagnetic fields and investigate the configurational entropy of the various tachyon kink solutions. We find that the configurational entropy stats at a minimum value and saturates to a maximum value as the negative pressure of pure tachyonic field increases. In particular, when an electric field is turned on and its magnitude is larger than or equal to the critical value, we find the configurational entropy has a global minimum, which is related to the predominant tachyonic states.


title: How to Make a BLT Sandwich? Learning to Reason towards Understanding Web Instructional Videos

abstract: Understanding web instructional videos is an essential branch of video understanding in two aspects. First, most existing video methods focus on short-term actions for a-few-second-long video clips; these methods are not directly applicable to long videos. Second, unlike unconstrained long videos, e.g., movies, instructional videos are more structured in that they have step-by-step procedure constraining the understanding task. In this paper, we study reasoning on instructional videos via question-answering (QA). Surprisingly, it has not been an emphasis in the video community despite its rich applications. We thereby introduce YouQuek, an annotated QA dataset for instructional videos based on the recent YouCook2. The questions in YouQuek are not limited to cues on one frame but related to logical reasoning in the temporal dimension. Observing the lack of effective representations for modeling long videos, we propose a set of carefully designed models including a novel Recurrent Graph Convolutional Network (RGCN) that captures both temporal order and relation information. Furthermore, we study multiple modalities including description and transcripts for the purpose of boosting video understanding. Extensive experiments on YouQuek suggest that RGCN performs the best in terms of QA accuracy and a better performance is gained by introducing human annotated description.


title: Behavior of Signal Harmonics in Magnetic Particle Imaging Based on a Lock-in-Amplifier Model

abstract: We previously presented a lock-in-amplifier model for analyzing the behavior of signal harmonics in magnetic particle imaging (MPI). In that study, the magnetization and particle size distribution of magnetic nanoparticles (MNPs) were assumed to obey the Langevin theory of paramagnetism and a log-normal distribution, respectively, and a drive magnetic field was assumed to be applied parallel to a selection magnetic field. The purpose of the current study was to investigate the behavior of signal harmonics in MPI with the drive magnetic field being applied to the selection magnetic field in an arbitrary direction using the lock-in-amplifier model. In the lock-in-amplifier model, the signal induced by MNPs in a receiving coil was multiplied with a reference signal, and was then fed through a low-pass filter to extract the DC component of the filtered signal (MPI signal). The strength of the selection magnetic field in MPI was assumed to be given by the product of the gradient strength of the selection magnetic field and the distance from the field-free region (x). The relationships between the MPI signal and x were calculated for odd- and even-numbered harmonics and were investigated for various angles between the axis of a receiving coil and the selection magnetic field. The behavior of signal harmonics in MPI largely depended on the angle between them. This study will be useful for improved understanding, optimization, and development of MPI.


title: Influence of gravity waves on the climatology of high-altitude Martian carbon dioxide ice clouds

abstract: Carbon dioxide (CO$_2$) ice clouds have been routinely observed in the middle atmosphere of Mars. However, there are still uncertainties concerning physical mechanisms that control their altitude, geographical, and seasonal distributions. Using the Max Planck Institute Martian General Circulation Model (MPI-MGCM), incorporating a state-of-the-art whole atmosphere subgrid-scale gravity wave parameterization [Yi\u{g}it et al., 2008], we demonstrate that internal gravity waves generated by lower atmospheric weather processes have wide reaching impact on the Martian climate. Globally, GWs cool the upper atmosphere of Mars by $\sim$10 % and facilitate high-altitude CO$_2$ ice cloud formation. CO$_2$ ice cloud seasonal variations in the mesosphere and the mesopause region appreciably coincide with the spatio-temporal variations of GW effects, providing insight into the observed distribution of clouds. Our results suggest that GW propagation and dissipation constitute a necessary physical mechanism for CO$_2$ ice cloud formation in the Martian upper atmosphere during all seasons.


title: Moment of inertia - mass universal relations for neutron stars in scalar-tensor theory with self-interacting massive scalar field

abstract: We are investigating universal relations between different normalisations of the moment of inertia and the compactness of neutron stars in slow rotation approximation. We study the relations in particular class of massive scalar-sensor theories with self-interaction, for which significant deviations from General Relativity are allowed for values of the parameters that are in agreement with the observations. Moment of inertia-compactness relations are examined for different normalisation of the moment of inertia. It is shown that for all studied cases the deviations from EOS universality are small for the examined equations of state. On the other hand the scalarization can lead to large deviations from the general relativistic universal relations for values of the parameters that are in agreement with the current observations that can be potentially used to set further test the scalar-tensor theories.


title: Increase the frame rate of a camera via temporal ghost imaging

abstract: Computational temporal ghost imaging (CTGI) allows the reconstruction of a fast signal from a two dimensional detection with no temporal resolution. High speed spatial modulation is implemented to encode temporal detail of the signal into the two dimensional detection. By calculating the correlation between the modulation and the rendered image, the temporal information can be retrieved. CTGI indicates a way to detect high speed non-reproducible signal from a slow detector. Based on CTGI, we propose an innovative scheme that can increase the frame rate of a camera by resolving the temporal detail of every camera image. To achieve this, CTGI is conducted parallelly to different areas of the scene. High speed spatial multiplexed modulation is performed, constraining the continuous scene into a series of short-time-scale frames. All the modulated frames are accumulated into one image that is eventually used in the correlation retrieval process. By performing CTGI reconstruction on each area independently, the temporal detail of the whole scene can be obtained. This method can have a strong application in ultrafast imaging.


title: A Logic for Recursive Quantum Programs

abstract: Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple of quantum programming languages. So, it can be expected that recursion will become one of the fundamental paradigms of quantum programming. Several program logics have been developed for verification of non-recursive quantum programs. However, there are as yet no general methods for reasoning about recursive procedures in quantum computing. We fill the gap in this paper by presenting a logic for recursive quantum programs. This logic is an extension of quantum Hoare logic for quantum While-programs. The (relative) completeness of the logic is proved, and its effectiveness is shown by a running example: fixed-point Grover's search.


title: A Study on Dialogue Reward Prediction for Open-Ended Conversational Agents

abstract: The amount of dialogue history to include in a conversational agent is often underestimated and/or set in an empirical and thus possibly naive way. This suggests that principled investigations into optimal context windows are urgently needed given that the amount of dialogue history and corresponding representations can play an important role in the overall performance of a conversational system. This paper studies the amount of history required by conversational agents for reliably predicting dialogue rewards. The task of dialogue reward prediction is chosen for investigating the effects of varying amounts of dialogue history and their impact on system performance. Experimental results using a dataset of 18K human-human dialogues report that lengthy dialogue histories of at least 10 sentences are preferred (25 sentences being the best in our experiments) over short ones, and that lengthy histories are useful for training dialogue reward predictors with strong positive correlations between target dialogue rewards and predicted ones.


title: On the derived category of quasi-hereditary algebras with two simple modules

abstract: We describe the derived Picard groups and two-term silting complexes for quasi-hereditary algebras with two simple modules. We also describe by quivers with relations all algebras derived equivalent to a quasi-hereditary algebra with two simple modules.


title: MDU-Net: Multi-scale Densely Connected U-Net for biomedical image segmentation

abstract: Biomedical image segmentation plays a central role in quantitative analysis, clinical diagnosis, and medical intervention. In the light of the fully convolutional networks (FCN) and U-Net, deep convolutional networks (DNNs) have made significant contributions to biomedical image segmentation applications. In this paper, we propose three different multi-scale dense connections (MDC) for the encoder, the decoder of U-shaped architectures, and across them. Based on three dense connections, we propose a multi-scale densely connected U-Net (MDU-Net) for biomedical image segmentation. MDU-Net directly fuses the neighboring feature maps with different scales from both higher layers and lower layers to strengthen feature propagation in the current layer. Multi-scale dense connections, which contain shorter connections between layers close to the input and output, also make a much deeper U-Net possible. Besides, we introduce quantization to alleviate the potential overfitting in dense connections, and further improve the segmentation performance. We evaluate our proposed model on the MICCAI 2015 Gland Segmentation (GlaS) dataset. The three MDC improve U-Net performance by up to 1.8% on test A and 3.5% on test B in the MICCAI Gland dataset. Meanwhile, the MDU-Net with quantization obviously improves the segmentation performance of original U-Net.


title: Accelerate CNN via Recursive Bayesian Pruning

abstract: Channel Pruning, widely used for accelerating Convolutional Neural Networks, is an NP-hard problem due to the inter-layer dependency of channel redundancy. Existing methods generally ignored the above dependency for computation simplicity. To solve the problem, under the Bayesian framework, we here propose a layer-wise Recursive Bayesian Pruning method (RBP). A new dropout-based measurement of redundancy, which facilitate the computation of posterior assuming inter-layer dependency, is introduced. Specifically, we model the noise across layers as a Markov chain and target its posterior to reflect the inter-layer dependency. Considering the closed form solution for posterior is intractable, we derive a sparsity-inducing Dirac-like prior which regularizes the distribution of the designed noise to automatically approximate the posterior. Compared with the existing methods, no additional overhead is required when the inter-layer dependency assumed. The redundant channels can be simply identified by tiny dropout noise and directly pruned layer by layer. Experiments on popular CNN architectures have shown that the proposed method outperforms several state-of-the-arts. Particularly, we achieve up to $\bf{5.0\times}$ and $\bf{2.2\times}$ FLOPs reduction with little accuracy loss on the large scale dataset ILSVRC2012 for VGG16 and ResNet50, respectively.


title: On the GeV emission of the type I BdHN GRB 130427A

abstract: We propose that the "inner engine" of a type I binary-driven hypernova (BdHN) is composed of a Kerr black hole (BH) in a non-stationary state, embedded in a uniform magnetic field $B_0$ aligned with the BH rotation axis, and surrounded by an ionized plasma of extremely low density of $10^{-14}$~g~cm$^{-3}$. Using GRB 130427A as a prototype we show that this "inner engine" acts in a sequence of "elementary impulses". Electrons are accelerated to ultra-relativistic energy near the BH horizon and, propagating along the polar axis, $\theta =0$, they can reach energies of $\sim 10^{18}$ eV, and partially contribute to ultra-high energy cosmic rays (UHECRs). When propagating with ${\theta \neq 0}$ through the magnetic field $B_0$ they give origin by synchrotron emission to GeV and TeV radiation. The mass of BH, $M=2.3 M_\odot$, its spin, $\alpha = 0.47$, and the value of magnetic field $B_0= 3.48 \times 10^{10}$ G, are determined self-consistently in order to fulfill the energetic and the transparency requirement. The repetition time of each elementary impulse of energy ${\cal E} \sim 10^{37}$ erg, is $\sim 10^{-14}$ s at the beginning of the process, then slowly increasing with time evolution. In principle, this "\textit{inner engine}" can operate in a GRB for thousands of years. By scaling the BH mass and the magnetic field the same "inner engine" can describe active galactic nuclei (AGN).


title: Continuous-variable entanglement distillation over a pure loss channel with multiple quantum scissors

abstract: Entanglement distillation is a key primitive for distributing high-quality entanglement between remote locations. Probabilistic noiseless linear amplification based on the quantum scissors is a candidate for entanglement distillation from noisy continuous-variable (CV) entangled states. Being a non-Gaussian operation, quantum scissors is challenging to analyze. We present a derivation of the non-Gaussian state heralded by multiple quantum scissors in a pure loss channel with two-mode squeezed vacuum input. We choose the reverse coherent information (RCI)---a proven lower bound on the distillable entanglement of a quantum state under one-way local operations and classical communication (LOCC), as our figure of merit. We evaluate a Gaussian lower bound on the RCI of the heralded state. We show that it can exceed the unlimited two-way LOCCassisted direct transmission entanglement distillation capacity of the pure loss channel. The optimal heralded Gaussian RCI with two quantum scissors is found to be significantly more than that with a single quantum scissors, albeit at the cost of decreased success probability. Our results fortify the possibility of a quantum repeater scheme for CV quantum states using the quantum scissors.


title: Observability on lattice points for heat equations and applications

abstract: Observability inequalities on lattice points are established for non-negative solutions of the heat equation with potentials in the whole space. As applications, some controllability results of heat equations are derived by the above-mentioned observability inequalities.


title: Typical growth behavior of the out-of-time-ordered commutator in many-body localized systems

abstract: We investigate the typicality of the growth behavior of the out-of-time-ordered commutator (OTOC) in the many-body localized (MBL) quantum spin chains across random disorder realizations. In the MBL phase of the Heisenberg XXZ chain, we find that the estimate of the OTOC fluctuates significantly with the disorder realizations at the intermediate times of the main growth. Despite the consequent failure of the disorder average in the MBL phase, we argue that the characteristic behavior of the OTOC growth can still be identified by going through individual disorder realizations. We find that a power-law-type growth behavior appears typically after a disorder-dependent relaxation period, which is very close to the $t^2$ form derived in the effective Hamiltonian of a fully MBL system. The characteristic growth behavior observed at an individual disorder realization is robust in our tests with various state preparations and also verified in another MBL system of the random-transverse-field quantum Ising chain in a uniform longitudinal field.


title: Weakening of Hardy property for means

abstract: The aim of this paper is to find a broad family of means defined on a subinterval of $I \subset [0,+\infty)$ such that $$ \sum_{n=1}^\infty \mathscr{M}(a_1,\dots,a_n) <+\infty \quad\text{ for all }\quad a \in \ell_1(I).$$ Equivalently, the averaging operator $$ (a_1,\,a_2,a_3\,,\dots) \mapsto \big( a_1,\,\mathscr{M}(a_1,a_2),\,\mathscr{M}(a_1,a_2,a_3), \dots\big) $$ is a selfmapping of $\ell_1(I)$. This property is closely related to so-called Hardy inequality for means (which additionally requires boundedness of this operator). In fact we prove that these two properties are equivalent in a family of Gini means and Gaussian product of Power means. Moreover it is shown that this is not the case for quasi-arithmetic means.


title: Locally Consistent Parsing for Text Indexing in Small Space

abstract: We consider two closely related problems of text indexing in a sub-linear working space. The first problem is the Sparse Suffix Tree (SST) construction of a set of suffixes $B$ using only $O(|B|)$ words of space. The second problem is the Longest Common Extension (LCE) problem, where for some parameter $1\le\tau\le n$, the goal is to construct a data structure that uses $O(\frac {n}{\tau})$ words of space and can compute the longest common prefix length of any pair of suffixes. We show how to use ideas based on the Locally Consistent Parsing technique, that was introduced by Sahinalp and Vishkin [STOC '94], in some non-trivial ways in order to improve the known results for the above problems. We introduce new Las-Vegas and deterministic algorithms for both problems. We introduce the first Las-Vegas SST construction algorithm that takes $O(n)$ time. This is an improvement over the last result of Gawrychowski and Kociumaka [SODA '17] who obtained $O(n)$ time for Monte-Carlo algorithm, and $O(n\sqrt{\log |B|})$ time for Las-Vegas algorithm. In addition, we introduce a randomized Las-Vegas construction for an LCE data structure that can be constructed in linear time and answers queries in $O(\tau)$ time. For the deterministic algorithms, we introduce an SST construction algorithm that takes $O(n\log \frac{n}{|B|})$ time (for $|B|=\Omega(\log n)$). This is the first almost linear time, $O(n\cdot poly\log{n})$, deterministic SST construction algorithm, where all previous algorithms take at least $\Omega\left(\min\{n|B|,\frac{n^2}{|B|}\}\right)$ time. For the LCE problem, we introduce a data structure that answers LCE queries in $O(\tau\sqrt{\log^*n})$ time, with $O(n\log\tau)$ construction time (for $\tau=O(\frac{n}{\log n})$). This data structure improves both query time and construction time upon the results of Tanimura et al. [CPM '16].


title: Bidirectional and passive optical field to microwave field quantum converter with high bandwidth

abstract: The conversion between microwave photons and optical photons with quantum coherence is important for quantum communication and computation. In this paper, we report a proposal using an ensemble of atoms coupled to microwave and optical resonators. Input photons to one resonator are converted into output photons in the other resonator without active operation. Usually the conversion is only optimized at certain frequency. In our proposal, we find that the efficiency is almost a constant and can be close to 100% in a large interval of frequency, i.e. a high-bandwidth conversion can be realized with our proposal.


title: Longitudinal structure function FL at small x extracted from the Berger-Block-Tan parametrization of F2

abstract: The longitudinal structure function FL(x,Q2) is extracted at low values of the Bjorken variable x from the Berger-Block-Tan parametrization of F2(x,Q2). The obtained FL(x,Q2) does not violate the high-energy asymptotic Froissart boundary and is in a reasonable good agreement with the available experimental data.


title: Relative \v{C}ech-Dolbeault homology and applications

abstract: We define the relative Dolbeault homology of a complex manifold with currents via a \v{C}ech approach and we prove its equivalence with the relative \v{C}ech-Dolbeault cohomology as defined in [T. Suwa, \v{C}ech-Dolbeault cohomology and the $\overline\partial$-Thom class, {\em Singularities---Niigata---Toyama 2007}, 321--340, Adv. Stud. Pure Math., \textbf{56}, Math. Soc. Japan, Tokyo, 2009. ]. This definition is then used to compare the relative Dolbeault cohomology groups of two complex manifolds of the same dimension related by a suitable proper surjective holomorphic map. Finally, an application to blow-ups is considered.


title: Micro-Tesla Offset in Thermally Stable AlGaN/GaN 2DEG Hall-effect Plates using Current Spinning

abstract: This letter describes the characterization of a low-offset Hall-effect plate using the AlGaN/GaN two-dimensional electron gas(2DEG). Four-phase current spinning was used to reduce sensor offset voltage to values in the range of 20 nV, which corresponds to a low residual offset of 2.6 micro-Tesla when supplied with low voltages (0.04 to 0.5V). These offsets are 50x smaller than the values previously reported for GaN Hall-effect plates, and it is on par with state-of-the-art silicon Hall-effect plates. In addition, the offset does not exceed 10 micro-Tesla even at higher supply voltage of 2.34V. The sensor also shows stable current-scaled sensitivity over a wide temperature range of -100C to 200C, with temperature drift of -125 ppm/C. This value is 3x better than state-of-the-art Silicon Hall-effect plates. Additionally, the sensor's voltage sensitivity (57 mV/V/T) is also similar. Because of their low offset values, AlGaN/GaN Hall-effect plates are viable candidates for low-field and high temperature magnetic sensing in monolithic GaN systems used in extreme temperature environments such as power inverter, down-well, combustion, and space applications.


title: Time and periodicity from Ptolemy to Schroedinger: paradigm shifts vs continuity

abstract: I briefly consider the Kuhnian notion of "paradigm shifts" applied to the history of mathematics and argue that the succession and intergenerational continuity of mathematical thought was undeservedly neglected in the historical studies. To this end, I focus on the history of mathematical theory of time and periodicity, from Ptolemy's epicycles to Schroedinger's quantum amplitudes interference and contemporary cosmological models.


title: Quick Best Action Identification in Linear Bandit Problems

abstract: In this paper, we consider a best action identification problem in the stochastic linear bandit setup with a fixed confident constraint. In the considered best action identification problem, instead of minimizing the accumulative regret as done in existing works, the learner aims to obtain an accurate estimate of the underlying parameter based on his action and reward sequences. To improve the estimation efficiency, the learner is allowed to select his action based his historical information; hence the whole procedure is designed in a sequential adaptive manner. We first show that the existing algorithms designed to minimize the accumulative regret is not a consistent estimator and hence is not a good policy for our problem. We then characterize a lower bound on the estimation error for any policy. We further design a simple policy and show that the estimation error of the designed policy achieves the same scaling order as that of the derived lower bound.


title: A Tverberg type theorem for collectively unavoidable complexes

abstract: We prove (Theorem 2.4) that the symmetrized deleted join $SymmDelJoin(\mathcal{K})$ of a "balanced family" $\mathcal{K} = \langle K_i\rangle_{i=1}^r$ of collectively $r$-unavoidable subcomplexes of $2^{[m]}$ is $(m-r-1)$-connected. As a consequence we obtain a Tverberg-Van Kampen-Flores type result (Theorem 3.2) which is more conceptual and more general then previously known results. Already the case $r=2$ of Theorem 3.2 seems to be new as an extension of the classical Van Kampen-Flores theorem. The main tool used in the paper is R. Forman's discrete Morse theory.


title: Astrophysical code migration into Exascale Era

abstract: The ExaNeSt and EuroExa H2020 EU-funded projects aim to design and develop an exascale ready computing platform prototype based on low-energy-consumption ARM64 cores and FPGA accelerators. We participate in the application-driven design of the hardware solutions and prototype validation. To carry on this work we are using, among others, Hy-Nbody, a state-of-the-art direct N-body code. Core algorithms of Hy-Nbody have been improved in such a way to increasingly fit them to the exascale target platform. Waiting for the ExaNest prototype release, we are performing tests and code tuning operations on an ARM64 SoC facility: a SLURM managed HPC cluster based on 64-bit ARMv8 Cortex-A72/Cortex-A53 core design and powered by a Mali-T864 embedded GPU. In parallel, we are porting a kernel of Hy-Nbody on FPGA aiming to test and compare the performance-per-watt of our algorithms on different platforms. In this paper we describe how we re-engineered the application and we show first results on ARM SoC.


title: LCD codes from weighing matrices

abstract: Linear codes with complementary duals are linear codes whose intersection with their duals are trivial, shortly named LCD codes. In this paper we outline a construction for LCD codes over finite fields of order $q$ using weighing matrices and their orbit matrices. The LCD codes constructed can be of any length dimension according to the choice of matrices used in their construction. As a special case, LCD codes of length $2n$ and dimension $n$ are constructed which also have the property of being formally self-dual. Alternatively, under a condition depending on $q$ that the codes are not LCD, this method constructs self-dual codes. To illustrate the method we construct LCD codes from weighing matrices, including the Paley conference matrices and Hadamard matrices. We also extend the construction to Hermitian LCD codes over the finite field of order 4. In addition, we propose a decoding algorithm that can be feasible for the LCD codes obtained from some of the given methods.


title: Link Delay Estimation Using Sparse Recovery for Dynamic Network Tomography

abstract: When the scale of communication networks has been growing rapidly in the past decades, it becomes a critical challenge to extract fast and accurate estimation of key state parameters of network links, e.g., transmission delays and dropped packet rates, because such monitoring operations are usually time-consuming. Based on the sparse recovery technique reported in [Wang et al. (2015) IEEE Trans. Information Theory, 61(2):1028--1044], which can infer link delays from a limited number of measurements using compressed sensing, we particularly extend to networks with dynamic changes including link insertion and deletion. Moreover, we propose a more efficient algorithm with a better theoretical upper bound. The experimental result also demonstrates that our algorithm outperforms the previous work in running time while maintaining a similar recovery performance, which shows its capability to cope with large-scale networks.


title: Variations of dynamic random networks: localization approach

abstract: We study the variation of exchangeable graph-valued process ${\bf \Gamma}$ and its graph limit. We used a constructive method using localization technique. Our method provides a specific estimation of variation for exchangeable graph-valued process ${\bf \Gamma}$ and its graph limit for different types of metric. As a result, we extend the bounded variation of graph limit as in Crane (2016).


title: Predicting Inpatient Discharge Prioritization With Electronic Health Records

abstract: Identifying patients who will be discharged within 24 hours can improve hospital resource management and quality of care. We studied this problem using eight years of Electronic Health Records (EHR) data from Stanford Hospital. We fit models to predict 24 hour discharge across the entire inpatient population. The best performing models achieved an area under the receiver-operator characteristic curve (AUROC) of 0.85 and an AUPRC of 0.53 on a held out test set. This model was also well calibrated. Finally, we analyzed the utility of this model in a decision theoretic framework to identify regions of ROC space in which using the model increases expected utility compared to the trivial always negative or always positive classifiers.


title: Asymptotics of a locally dependent statistic on finite reflection groups

abstract: This paper discusses the asymptotic behaviour of the number of descents in a random signed permutation and its inverse, which was posed as an open problem by Chatterjee and Diaconis in a recent publication. For that purpose, we generalize their result for the asymptotic normality of the number of descents in a random permutation and its inverse to other finite reflection groups. This is achieved by applying their proof scheme on signed permutations, so elements of Coxeter groups of type $ B_n $, which is also known as the hyperoctahedral group. Furthermore, a similar central limit theorem for elements of Coxeter groups of type $D_n$ is derived via Slutsky's Theorem and a bound on the Wasserstein distance of certain normalized statistics with local dependency structures and bounded local components is proven for both types of Coxeter groups. In addition, we show a two-dimensional central limit theorem via the Cram\'er-Wold device.


title: Local free-fall temperatures of charged BTZ black holes in massive gravity

abstract: We obtain a (3+3)-dimensional global flat embedding of the generalized (2+1) charged Ba\~nados-Teitelboim-Zanelli black holes in massive gravity. We also study the local free-fall temperatures for freely falling observers starting from rest and investigate the effect of the charge and graviton mass in free-fall temperatures.


title: Nebular history of an ultrarefractory phase bearing CAI from a reduced type CV chondrite

abstract: Ultrarefractory (UR) phases in CAIs could have formed at higher T compared to common CAI minerals and thus they potentially provide constraints on very high-T processes in the solar nebula. We report a detailed characterization of an UR phase davisite bearing CAI from a reduced type CV chondrite. Absence of secondary iron- and/or alkali-rich phases and occurrence of LIME olivine indicate that primitive chemical and isotopic compositions are preserved in the CAI. Davisite occur only in one lithological unit that consists of three chemically and isotopically distinct parts: i) $^{16}$O-poor regions with reversely-zoned melilite and davisite; ii) $^{16}$O-rich regions consisting of unzoned, gehlenitic melilite, diopside and spinel; and iii) spinel framboids composed of $^{16}$O-rich spinel and $^{16}$O-poor melilite. Random distribution of chemical and isotopic heterogeneities with sharp boundaries in the CAI indicates its formation by an aggregation of mineral assemblages formed and processed separately at different time and/or space. Although isotope exchange prior to the final agglomeration of the CAI cannot be ruled out, we suggest that modification of chemical and isotopic composition of porous CAI precursors or aggregation of isotopically distinct mineral assemblages are alternative scenarios for the origin of O-isotopic heterogeneity in CAIs. In either case, coexistence of spatially and/or temporally distinct $^{16}$O-rich and -poor gaseous reservoirs at the earliest stage of the solar system formation is required. The grain-scale oxygen isotopic disequilibrium in the CAI indicate that post-formation heating of the CAI was short, which can be achieved by rapid outward transport of the CAI. High Ti$^{3+}$/Ti$^{\mathrm{tot}}$ ratios of pyroxene and presence of LIME olivine document that the entire CAI formation process took place under highly reducing conditions.


title: Ensemble-based implicit sampling for Bayesian inverse problems with non-Gaussian priors

abstract: In the paper, we develop an ensemble-based implicit sampling method for Bayesian inverse problems. For Bayesian inference, the iterative ensemble smoother (IES) and implicit sampling are integrated to obtain importance ensemble samples, which build an importance density. The proposed method shares a similar idea to importance sampling. IES is used to approximate mean and covariance of a posterior distribution. This provides the MAP point and the inverse of Hessian matrix, which are necessary to construct the implicit map in implicit sampling. The importance samples are generated by the implicit map and the corresponding weights are the ratio between the importance density and posterior density. In the proposed method, we use the ensemble samples of IES to find the optimization solution of likelihood function and the inverse of Hessian matrix. This approach avoids the explicit computation for Jacobian matrix and Hessian matrix, which are very computationally expensive in high dimension spaces. To treat non-Gaussian models, discrete cosine transform and Gaussian mixture model are used to characterize the non-Gaussian priors. The ensemble-based implicit sampling method is extended to the non-Gaussian priors for exploring the posterior of unknowns in inverse problems. The proposed method is used for each individual Gaussian model in the Gaussian mixture model. The proposed approach substantially improves the applicability of implicit sampling method. A few numerical examples are presented to demonstrate the efficacy of the proposed method with applications of inverse problems for subsurface flow problems and anomalous diffusion models in porous media.


title: Criticality and Transport in Magnetized Holographic Systems

abstract: In this master's thesis the Einstein-Maxwell-Dilaton theory is used to model the dynamics of 2+1-dimensional, strongly coupled, large-$N$ quantum field theories with intrinsic T-violation, at finite density and temperature, in the presence of a magnetic field. We include axion fields in order to introduce momentum relaxation. We find analytic expressions for the DC conductivity and present numerical results for the AC conductivity. We also classify the IR-asymptotic hyperscaling violating solutions of the theory.


title: On the mixing and Bernoulli properties for geodesic flows on rank 1 manifolds without focal points

abstract: If $(M,g)$ is a smooth compact rank $1$ Riemannian manifold without focal points, it is shown that the measure $\mu_{\max}$ of maximal entropy for the geodesic flow is unique. In this article, we study the statistic properties and prove that this unique measure $\mu_{\max}$ is mixing. Stronger conclusion that the geodesic flow on the unit tangent bundle $SM$ with respect to $\mu_{\max}$ is Bernoulli is acquired provided $M$ is a compact surface with genus greater than one and no focal points.


title: Sub-nanometer height sensitivity by phase shifting interference microscopy under ambient environmental fluctuations

abstract: Phase shifting interferometric (PSI) techniques are among the most sensitive phase measurement methods. Owing to its high sensitivity, any minute phase change caused due to environmental instability results into, inaccurate phase measurement. Consequently, a well calibrated piezo electric transducer (PZT) and highly-stable environment is mandatory for measuring accurate phase map using PSI implementation. Here, we present a new method of recording temporal phase shifted interferograms and a numerical algorithm, which can retrieve phase maps of the samples with negligible errors under the ambient environmental fluctuations. The method is implemented by recording a video of continuous temporally phase shifted interferograms and phase shifts were calculated between all the data frames using newly developed algorithm with a high accuracy less than or equal to 5.5*10-4*pi rad. To demonstrate the robustness of the proposed method, a manual translation of the stage was employed to introduce continuous temporal phase shift between data frames. The developed algorithm is first verified by performing quantitative phase imaging of optical waveguide and red blood cells using uncalibrated PZT under the influence of vibrations/air turbulence and compared with the well calibrated PZT results. Furthermore, we demonstrated the potential of the proposed approach by acquiring the quantitative phase imaging of an optical waveguide with a rib height of only 2 nm. By using 12-bit CMOS camera the height of shallow rib waveguide is measured with a height sensitivity of 4 Angstrom without using PZT and in presence of environmental fluctuations.


title: The smallest parts function associated with $\omega(q)$

abstract: We establish two families of congruences modulo powers of 5 for the Fourier coefficients of $(2E_2(2\tau)-E_2(\tau))\eta(2\tau)^{-1}$, where $E_2(\tau)$ is the weight 2 Eisenstein series and $\eta(\tau)$ is the Dedekind eta function. This allows us to prove similar congruences for two smallest parts functions. The first function is $\mathrm{spt}_{\omega}(n)$, which was introduced by Andrews, Dixit and Yee and associated with Ramanujan/Watson's third order mock theta function $\omega(q)$. The second one is $\mathrm{spt}_{C5}(n)$, which appeared in the work of Garvan and Jennings-Shaffer. Moreover, we confirm two conjectural congruences of Wang.


title: A search for pair production of new light bosons decaying into muons in proton-proton collisions at 13 TeV

abstract: A search for new light bosons decaying into muon pairs is presented using a data sample corresponding to an integrated luminosity of 35.9 fb$^{-1}$ of proton-proton collisions at a center-of-mass energy $\sqrt{s} =$ 13 TeV, collected with the CMS detector at the CERN LHC. The search is model independent, only requiring the pair production of a new light boson and its subsequent decay to a pair of muons. No significant deviation from the predicted background is observed. A model independent limit is set on the product of the production cross section times branching fraction to dimuons squared times acceptance as a function of new light boson mass. This limit varies between 0.15 and 0.39 fb over a range of new light boson masses from 0.25 to 8.5 GeV. It is then interpreted in the context of the next-to-minimal supersymmetric standard model and a dark supersymmetry model that allows for nonnegligible light boson lifetimes. In both cases, there is significant improvement over previously published limits.


title: Towards Automatic Discovery of Cybercrime Supply Chains

abstract: Cybercrime forums enable modern criminal entrepreneurs to collaborate with other criminals into increasingly efficient and sophisticated criminal endeavors. Understanding the connections between different products and services can often illuminate effective interventions. However, generating this understanding of supply chains currently requires time-consuming manual effort. In this paper, we propose a language-agnostic method to automatically extract supply chains from cybercrime forum posts and replies. Our supply chain detection algorithm can identify 36% and 58% relevant chains within major English and Russian forums, respectively, showing improvements over the baselines of 13% and 36%, respectively. Our analysis of the automatically generated supply chains demonstrates underlying connections between products and services within these forums. For example, the extracted supply chain illuminated the connection between hack-for-hire services and the selling of rare and valuable `OG' accounts, which has only recently been reported. The understanding of connections between products and services exposes potentially effective intervention points.


title: Improved and Robust Controversy Detection in General Web Pages Using Semantic Approaches under Large Scale Conditions

abstract: Detecting controversy in general web pages is a daunting task, but increasingly essential to efficiently moderate discussions and effectively filter problematic content. Unfortunately, controversies occur across many topics and domains, with great changes over time. This paper investigates neural classifiers as a more robust methodology for controversy detection in general web pages. Current models have often cast controversy detection on general web pages as Wikipedia linking, or exact lexical matching tasks. The diverse and changing nature of controversies suggest that semantic approaches are better able to detect controversy. We train neural networks that can capture semantic information from texts using weak signal data. By leveraging the semantic properties of word embeddings we robustly improve on existing controversy detection methods. To evaluate model stability over time and to unseen topics, we asses model performance under varying training conditions to test cross-temporal, cross-topic, cross-domain performance and annotator congruence. In doing so, we demonstrate that weak-signal based neural approaches are closer to human estimates of controversy and are more robust to the inherent variability of controversies.


title: Ordeal Mechanisms, Information, and the Cost-Effectiveness of Subsidies: Evidence from Subsidized Eyeglasses in Rural China

abstract: The cost-effectiveness of policies providing subsidized goods is often compromised by limited use of the goods provided. Through a randomized trial, we test two approaches to improve the cost-effectiveness of a program distributing free eyeglasses to myopic children in rural China. Requiring recipients to undergo an ordeal better targeted eyeglasses to those who used them without reducing usage relative to free delivery. An information campaign increased use when eyeglasses were freely delivered but not under an ordeal. Free delivery plus information was determined to be the most socially cost-effective approach and obtained the highest rate of eyeglass use.


title: Snapping swallowtails in accelerating black hole thermodynamics

abstract: The thermodynamic behaviour of a charged and accelerating AdS black hole is studied in the context of extended phase space with variable cosmological constant. When compared to the charged AdS black hole without acceleration, a remarkable new feature of `snapping swallowtails' appears. Namely, for any black hole with charge $Q$ and any string tension $\mu$ causing the acceleration of the black hole, there exists a transition pressure $P_t=3\mu^2/(8\pi Q^2)$ at which the standard swallowtail `snaps', causing the branch of low temperature black holes to completely disappear, leading to a pressure induced zeroth order phase transition between small and large black holes. For intermediate values of the string tension, we also observe a reentrant phase transition, as the small black hole changes to a large one and then back to small, as the pressure decreases, crossing the coexistence line of the two phases several times. We also find a new class of `mini-entropic' black holes, whose isoperimetric ratio becomes unbounded in a certain region of parameter space.


title: Recent Progress in QCD Condensate Evaluations and Sum Rules

abstract: We review the recent status of the QCD sum rule approach to study the properties of hadrons in vacuum and in hot or dense matter. Special focus is laid on the progress made in the evaluation of the QCD condensates, which are the input of all QCD sum rule calculations, and for which much new information has become available through high precision lattice QCD calculations, chiral perturbation theory and experimental measurements. Furthermore, we critically examine common analysis methods for QCD sum rules and contrast them with potential alternative strategies. The status of QCD sum rule studies investigating the modification of hadrons at finite density as well as recent derivations of exact sum rules applicable to finite temperature spectral functions, are also reviewed.


title: g-frame representations with bounded operators

abstract: Dynamical sampling, as introduced by Aldroubi et al., deals with frame properties of sequences of the form $\{T^i f_1\}_{i\in \mathbb{N}}$, where $f_1$ belongs to Hilbert space $\h$ and $T:\h\rightarrow\h$ belongs to certain classes of the bounded operators. Christensen et al., study frames for $\h$ with index set $\mathbb{N}$ (or $\mathbb{Z}$), that have representations in the form $\{T^{i-1}f_1\}_{i\in \mathbb{N}}$ (or $\{T^if_0\}_{i\in \mathbb{Z}}$). As frames of subspaces, fusion frames and generalized translation invariant systems are the spacial cases of $g$-frames, the purpose of this paper is to study $g$-frames $\Lambda=\{\Lambda_i\in B(\h,\K): i\in I\}$ $(I=\mathbb{N}$ or $\mathbb{Z}$) having the form $\Lambda_{i+1}=\Lambda_1 T^{i},$ for $T\in B(\h).$


title: Four-Body Scale in Universal Few-Boson Systems

abstract: The role of an intrinsic four-body scale in universal few-boson systems is the subject of active debate. We study these systems within the framework of effective field theory. For systems of up to six bosons we establish that no four-body scale appears at leading order (LO). However, we find that at next-to-leading (NLO) order a four-body force is needed to obtain renormalized results for binding energies. With the associated parameter fixed to the binding energy of the four-boson system, this force is shown to renormalize the five- and six-body systems as well. We present an original ansatz for the short-distance limit of the bosonic $A$-body wave function from which we conjecture that new $A$-body scales appear at N$^{A-3}$LO. As a specific example, calculations are presented for clusters of helium atoms. Our results apply more generally to other few-body systems governed by a large scattering length, such as light nuclei and halo states, the low-energy properties of which are independent of the detailed internal structure of the constituents.


title: Dressed-Orbital Approach to Cavity Quantum Electrodynamics and Beyond

abstract: We present a novel representation of coupled matter-photon systems that allows the application of many-body methods developed for purely fermionic systems. We do so by rewriting the original coupled light-matter problem in a higher-dimensional configuration space and then use photon-dressed orbitals as a basis to expand the thus "fermionized" coupled system. As an application we present a dressed time-dependent density-functional theory approach. The resulting dressed Kohn-Sham scheme allows for straightforward non-adiabatic approximations to the unknown exchange-correlation potential that explicitly includes correlations. We illustrate this for simple model systems placed inside a high-Q optical cavity, and show also results for observables such as the photon-field fluctuations that are hard to capture in standard matter-photon Kohn-Sham. We finally highlight that the dressed-orbital approach extends beyond the context of cavity quantum electrodynamics and can be applied to, e.g., van-der-Waals problems.


title: Eigenvalue equation for genus two modular graphs

abstract: We obtain a second order differential equation on moduli space satisfied by certain modular graph functions at genus two, each of which has two links. This eigenvalue equation is obtained by analyzing the variations of these graphs under the variation of the Beltrami differentials. This equation involves seven distinct graphs, three of which appear in the integrand of the $D^8\mathcal{R}^4$ term in the low momentum expansion of the four graviton amplitude at genus two in type II string theory.


title: A simplified finite volume lattice Boltzmann method for simulations of fluid flows from laminar to turbulent regime, Part I: Numerical framework and its application to laminar flow simulation

abstract: In this paper, a finite volume lattice Boltzmann method (FVLBM) based on cell-center unstructured girds is presented and full studied to simulate the incompressible laminar flows, which is simple modified from the cell-vertex unstructured girds FVLBM proposed by Stiebler et al. [Computers & Fluids, 2006, 35(8): 814-819]. Compared with other complex flux reconstruct methods, the computational cost of present scheme is little and can achieve second-order spatial accuracy, the temporal accuracy is adjustable depending on the temporal discretization methods. Different boundary conditions are illustrated and easy implement to the complex geometries. Four cases are testified to validate the present method, including one plate driven Couette flow for accuracy test, flow in the square cavity, flow over the single circular cylinder and more complex double circular cylinders. Numerical experiments show that the present scheme can use relatively few grid cells to simulate relatively higher Reynolds number flow, steady and unsteady flows, demonstrate the good capability of the present method.


title: The production of $b\bar{b}$ dijet in heavy-ion collisions at the LHC

abstract: We report our recent theoretical calculations for $b\bar{b}$ dijet production in high-energy nuclear collisions. The NLO+parton shower (PS) event generator SHERPA has been employed to provide the pp baseline of $b\bar{b}$ dijet production. A framework which combines Langevin transport equation to describe the evolution of heavy quarks and the higher-twist scheme to consider the inelastic energy loss of both light and heavy partons has been implemented. Within this framework, we present the theoretical result of transverse momentum imbalance $x_J=p_{T1}/p_{T2}$ both for inclusive dijet and $b\bar{b}$ dijet in Pb+Pb collision at 5.02 TeV. The energy loss of b jet would shift $x_J$ to smaller value relative to p+p reference which is consistent with the CMS data. In addition, we show the medium modification for angular correlation of $b\bar{b}$ dijet in A+A collision at $\sqrt{s_{NN}}=5.02$~TeV. We observe a stronger suppression in small $\Delta \phi=|\phi_{b1}-\phi_{b2}|$ region where the gluon splitting processes dominate relative to large $\Delta \phi$ region. The difference leads to a modest suppression on near side ($\Delta \phi\sim 0$) and enhancement on away side ($\Delta\phi\sim\pi$).


title: Maximally highly proximal flows

abstract: For $G$ a Polish group, we consider $G$-flows which either contain a comeager orbit or have all orbits meager. We single out a class of flows, the maximally highly proximal (MHP) flows, for which this analysis is particularly nice. In the former case, we provide a complete structure theorem for flows containing comeager orbits, generalizing theorems of Melleray-Nguyen Van Th\'e-Tsankov and Ben Yaacov-Melleray-Tsankov. In the latter, we show that any minimal MHP flow with all orbits meager has a metrizable factor with all orbits meager, thus "reflecting" complicated dynamical behavior to metrizable flows. We then apply this to obtain a structure theorem for Polish groups whose universal minimal flow is distal.


title: How to measure the linear polarization of gluons in unpolarized proton using the heavy-quark pair production

abstract: In recent papers [1,2], two new ways have been proposed to probe the linear polarization of gluons in unpolarized proton: using the azimuthal asymmetries and Callan-Gross ratio in heavy-quark pair leptoproduction, $lN\rightarrow l^{\prime}Q\bar{Q}X$. In this talk, we discuss in details the sensitivity of the QCD predictions for the azimuthal $\cos \varphi$ and $\cos 2\varphi$ asymmetries to the contribution of linearly polarized gluons inside unpolarized proton, where the azimuth $\varphi$ is the angle between the lepton scattering plane $(l,l^{\prime})$ and the heavy quark production plane $(N,Q)$. Our analysis shows that the azimuthal distributions under consideration vary from 0 to 1 depending on the transverse-momentum dependent gluonic counterpart of the Boer-Mulders function, $h_{1}^{\perp g}$. We conclude that the $\cos \varphi$ and $\cos 2\varphi$ asymmetries in heavy-quark pair production in DIS processes are predicted to be large in wide kinematic ranges and sensitive to the contribution of linearly polarized gluons.


title: A simplified finite volume lattice Boltzmann method for simulations of fluid flows from laminar to turbulent regime, Part II: Extension towards turbulent flow simulation

abstract: In this paper, the finite volume lattice Boltzmann method (FVLBM) on unstructured grid presented in Part I of this paper is extended to simulate the turbulent flows. To model the turbulent effect, the $k-\omega$ SST turbulence model is incorporated into the present FVLBM framework and also is solved by the finite volume method. Based on the eddy viscosity hypothesis, the eddy viscosity is computed from the solution of k-\omega SST model, and the total viscosity is modified by adding this eddy viscosity to the laminar (kinematic) viscosity given in the Bhatnagar-Gross-Krook collision term. In order to enhance the computational efficiency, the three-stage second-order implicit-explicit (IMEX) Runge-Kutta method is used for temporal discretization and the time step can be larger one- or two-order of magnitude compared with explicit Euler forward scheme. Though the computational cost is increased, the finial computational efficiency is enhanced about one-order of magnitude and the good results also can be obtained at large time step through the test case of lid-driven cavity flow. Two turbulent flow cases are carried out to validate the present method, including flow over backward-facing step and flow around NACA0012 airfoil. Our numerical results are found to be in agreement with experimental data and numerical solutions, demonstrating applicability of the present FVLBM coupled with k-\omega SST model to accurately predict the incompressible turbulent flows.


title: Quantum Hamiltonian Computing protocols for molecular electronics Boolean logic gates

abstract: Quantum Hamiltonian Computing is a recent approach that uses quantum systems, in particular a single molecule, to perform computational tasks. Within this approach, we present explicit methods to construct logic gates using two different designs, where the logical outputs are encoded either at fixed energy and spatial positioning of the quantum states, or at different energies. We use these results to construct quantum Boolean adders involving a minimal number of quantum states with the two designs. We also establish a matrix algebra giving an analogy between classical Boolean logic gates and quantum ones, and assess the possibilities of both designs for more complex gates.


title: Pseudo-loop conditions

abstract: We initiate the systematic study of loop conditions of arbitrary finite width. Each loop condition is a finite set of identities of a particular shape, and satisfaction of these identities in an algebra is characterized by it forcing a constant tuple into certain invariant relations on powers of the algebra. By showing the equivalence of various loop conditions, we are able to provide a new and short proof of the recent celebrated result stating the existence of a weakest non-trivial idempotent strong Mal'cev condition. We then consider pseudo-loop conditions, a modification suitable for oligomorphic algebras, and show the equivalence of various pseudo-loop conditions within this context. This allows us to provide a new and short proof of the fact that the satisfaction of non-trivial identities of height 1 in a closed oligomorphic core implies the satisfaction of a fixed single identity.


title: Polytopal Bier spheres and Kantorovich-Rubinstein polytopes of weighted cycles

abstract: The problem of deciding if a given triangulation of a sphere can be realized as the boundary sphere of a simplicial, convex polytope is known as the "Simplicial Steinitz problem". It is known by an indirect and non-constructive argument that a vast majority of Bier spheres are non-polytopal. Contrary to that, we demonstrate that the Bier spheres associated to threshold simplicial complexes are all polytopal. Moreover, we show that all Bier spheres are starshaped. We also establish a connection between Bier spheres and Kantorovich-Rubinstein polytopes by showing that the boundary sphere of the KR-polytope associated to a polygonal linkage (weighted cycle) is isomorphic to the Bier sphere of the associated simplicial complex of "short sets".


title: Numerical investigation of nanosecond pulsed plasma actuators for control of shock-wave/boundary-layer separation

abstract: This study numerically explores the flow physics associated with nanosecond pulsed plasma actuators to control shock-wave induced boundary-layer separation. By using two actuators, parallel and canted with respect to the main flow direction, a previous experiment suggested the actuator worked in two ways: boundary layer heating and vorticity production. The heating effect was enhanced with the parallel electrode and made the separation stronger, while the canted electrode produced vorticity and suppressed the separation due to the momentum transfer. Because the detailed physics is still unclear, a numerical investigation is undertaken with a large eddy simulation and an energy deposition model for the actuator. The flow without the actuation corresponds to the experimental observation, indicating the calculation successfully resolves the separation. With the actuation, as with the experiment, the calculation successfully demonstrates definite difference between the parallel and canted electrodes: the parallel electrode causes excess heating and increases the separation, while the canted electrode leads to a reduction of the separation, with a corresponding thinning of the boundary layer due to the momentum transfer. The counter flow created by the canted actuator plays an important role in the vortex generation, transferring momentum to the boundary layer and, consequently, mitigating the separation.


title: Kiki Kills: Identifying Dangerous Challenge Videos from Social Media

abstract: There has been upsurge in the number of people participating in challenges made popular through social media channels. One of the examples of such a challenge is the Kiki Challenge, in which people step out of their moving cars and dance to the tunes of the song, 'Kiki, Do you love me?'. Such an action makes the people taking the challenge prone to accidents and can also create nuisance for the others traveling on the road. In this work, we introduce the prevalence of such challenges in social media and show how the machine learning community can aid in preventing dangerous situations triggered by them by developing models that can distinguish between dangerous and non-dangerous challenge videos. Towards this objective, we release a new dataset namely MIDAS-KIKI dataset, consisting of manually annotated dangerous and non-dangerous Kiki challenge videos. Further, we train a deep learning model to identify dangerous and non-dangerous videos, and report our results.


title: Acousto-optic tomography beyond the acoustic diffraction-limit using speckle decorrelation

abstract: Acousto-optic tomography (AOT) enables optical-contrast imaging deep inside scattering samples via localized ultrasound modulation of scattered light. However, the resolution of AOT is inherently limited by the ultrasound focus size, prohibiting microscopic investigations. In the last few years, advances in the field of digital wavefront-shaping have allowed the development of novel approaches for overcoming the acoustic resolution limit of AOT. However, these novel approaches require the execution of thousands of wavefront measurements within the sample speckle decorrelation time, limiting their application to static samples. Here, we show that it is possible to surpass the acoustic resolution limit with a conventional AOT system by exploiting the natural dynamics of speckle decorrelations rather than trying to overcome them. We achieve this by adapting the principles of super-resolution optical fluctuations imaging (SOFI), originally developed for imaging blinking fluorophores, to AOT. We show that naturally fluctuating optical speckle grains can serve as the analogues of blinking fluorophores, enabling super-resolution by statistical analysis of fluctuating acousto-optic signals.


title: Investigating performance of neural networks and gradient boosting models approximating microscopic traffic simulations in traffic optimization tasks

abstract: We analyze the accuracy of traffic simulations metamodels based on neural networks and gradient boosting models (LightGBM), applied to traffic optimization as fitness functions of genetic algorithms. Our metamodels approximate outcomes of traffic simulations (the total time of waiting on a red signal) taking as an input different traffic signal settings, in order to efficiently find (sub)optimal settings. Their accuracy was proven to be very good on randomly selected test sets, but it turned out that the accuracy may drop in case of settings expected (according to genetic algorithms) to be close to local optima, which makes the traffic optimization process more difficult. In this work, we investigate 16 different metamodels and 20 settings of genetic algorithms, in order to understand what are the reasons of this phenomenon, what is its scale, how it can be mitigated and what can be potentially done to design better real-time traffic optimization methods.


title: One-loop Amplitudes for N=2 Homogeneous Supergravities

abstract: We compute one-loop matter amplitudes in homogeneous Maxwell-Einstein supergravities with N=2 supersymmetry using the double-copy construction. We start from amplitudes of N=2 super-Yang-Mills theory with matter that obey manifestly the duality between color and kinematics. Taking advantage of the fact that amplitudes with external hypermultiplets have kinematical numerators which do not present any explicit dependence on the loop momentum, we find a relation between the one-loop divergence of the supergravity amplitudes and the beta function of the non-supersymmetric gauge theory entering the construction. Two distinct linearized counterterms are generated at one loop. The divergence corresponding to the first is nonzero for all homogeneous supergravities, while the divergence associated to the second vanishes only in the case of the four Magical supergravities.


title: A proof of Tsygan's formality conjecture for Hamiltonian actions

abstract: In this short note we prove an equivariant version of the formality of multidiffirential operators for a proper Lie group action. More precisely, we show that the equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism between the cohomology of the equivariant multidifferential operators and the complex of equivariant multivector fields extends to an $L_\infty$-quasi-isomorphism. We construct this $L_\infty$-quasi-isomorphism using the $G$-invariant formality constructed by Dolgushev. This result has immediate consequences in deformation quantization, since it allows to obtain a quantum moment map from a classical momentum map with respect to a $G$-invariant Poisson structure.


title: An equivalence between critical points for rank constraints versus low-rank factorizations

abstract: Two common approaches in low-rank optimization problems are either working directly with a rank constraint on the matrix variable, or optimizing over a low-rank factorization so that the rank constraint is implicitly ensured. In this paper, we study the natural connection between the rank-constrained and factorized approaches. We show that all second-order stationary points of the factorized objective function correspond to fixed points of projected gradient descent run on the original problem (where the projection step enforces the rank constraint). This result allows us to unify many existing optimization guarantees that have been proved specifically in either the rank-constrained or the factorized setting, and leads to new results for certain settings of the problem. We demonstrate application of our results to several concrete low-rank optimization problems arising in matrix inverse problems.


title: Some combinatorial coincidences for standard representations of affine Lie algebras

abstract: In this note we explain, in terms of finite dimensional representations of Lie algebras $\mathfrak{sp}_{2\ell}\subset\mathfrak{sl}_{2\ell}$, a combinatorial coincidence of difference conditions in two constructions of combinatorial bases for standard representations of symplectic affine Lie algebras.


title: Charm Leptonic and semi-Leptonic decays at BESIII

abstract: We present recent BESIII results about the study of mesons which contain at least one charm quark. We determined the D(s)+ decay constants, the form factors of D semi-leptonic decays, the CKM matrix elements |Vcs(d)|.


title: Hybrid Organic-Inorganic Perovskites as Promising Substrates for Pt Single-Atom Catalysts

abstract: Single-atom catalysts (SACs) combine the best of two worlds by bridging heterogeneous and homogeneous catalysis. The superior catalytic properties of SACs, however, can hardly be exploited without a suitable substrate. Here, we explore the possibility of using hybrid organic-inorganic perovskites as supporting materials for single transition-metal atoms. By means of first-principles calculations, we predict that single Pt atoms can be incorporated into methylammonium lead iodide surfaces by replacing the methylammonium groups at the outermost layer. The iodide anions at the surface provide potentially uniform anchoring sites for the Pt atoms and donate electrons, generating negatively-charged Pt$_{1}^{\delta-}$ species that allow for preferential O$_{2}$ adsorption in the presence of CO. Such Pt sites are able to catalyze CO oxidation and may also play a role in CO$_{2}$ reduction. The fundamental understanding generated here will shed light on potential applications of hybrid perovskites in the field of (photo)catalysis.