title: A polymorphous band structure model of gapping in the anti-ferromagnetic and paramagnetic phases of the Mott insulators MnO, FeO, CoO, and NiO

abstract: A band structure description of the observed large band gaps and moments in both the antiferromagnetic (AFM) and paramagnetic (PM) phases of the classic NaCl-structure Mott insulators MnO, FeO, CoO, and NiO is provided by ordinary, single-determinant density functional theory method. As noted by previous authors, the ordered AFM phases already show in band theory significant band gaps. However, for the disordered PM phases the commonly used band model has been to assume the macroscopically observed, averaged NaCl structure, where all transition metal sites are forced to be symmetry-equivalent (a monomorphous description); for the PM phase this forces zero moment on an atom by atom basis, thus producing a gapless PM state, in sharp conflict with experiment. Instead, we allow larger NaCl-type supercells where each TM site can have different local bonding and spin environments (a polymorphous description) and thus the geometric flexibility to acquire symmetry-lowering distortions that lower the total energy and can break the symmetry of the d orbitals. The existence of a distribution of different local spin and bonding environments allows large on-site magnetic moments to develop spontaneously in the DFT+U calculations leading to significant (1-3 eV) band gaps in the AFM, FM, and PM phases of the classic Mott insulators MnO, FeO, CoO, and NiO. We adapt to the spin disordered configurations in the PM phases the "special quasi-random structure" whereby supercell approximants which represent the best random configuration average for finite supercells of a given lattice symmetry are constructed. Thus, avoiding a monomorphous description of the disordered magnetic phases allows even ordinary DFT+U, which represents the N electron system with a single-determinant wavefunction, to describe the gapping not only in the AFM phases but also in the PM phases of MnO, FeO, CoO, and NiO.


title: DeepFeat: A Bottom Up and Top Down Saliency Model Based on Deep Features of Convolutional Neural Nets

abstract: A deep feature based saliency model (DeepFeat) is developed to leverage the understanding of the prediction of human fixations. Traditional saliency models often predict the human visual attention relying on few level image cues. Although such models predict fixations on a variety of image complexities, their approaches are limited to the incorporated features. In this study, we aim to provide an intuitive interpretation of convolu- tional neural network deep features by combining low and high level visual factors. We exploit four evaluation metrics to evaluate the correspondence between the proposed framework and the ground-truth fixations. The key findings of the results demon- strate that the DeepFeat algorithm, incorporation of bottom up and top down saliency maps, outperforms the individual bottom up and top down approach. Moreover, in comparison to nine 9 state-of-the-art saliency models, our proposed DeepFeat model achieves satisfactory performance based on all four evaluation metrics.


title: E-String Theory on Riemann Surfaces

abstract: We study compactifications of the 6d E-string theory, the theory of a small E_8 instanton, to four dimensions. In particular we identify N=1 field theories in four dimensions corresponding to compactifications on arbitrary Riemann surfaces with punctures and with arbitrary non-abelian flat connections as well as fluxes for the abelian sub-groups of the E_8 flavor symmetry. This sheds light on emergent symmetries in a number of 4d N=1 SCFTs (including the `E7 surprise' theory) as well as leads to new predictions for a large number of 4-dimensional exceptional dualities and symmetries.


title: Optimal-Dimensionality Sampling on the Sphere: Improvements and Variations

abstract: For the accurate representation and reconstruction of band-limited signals on the sphere, an optimal-dimensionality sampling scheme has been recently proposed which requires the optimal number of samples equal to the number of degrees of freedom of the signal in the spectral (harmonic) domain. The computation of the spherical harmonic transform (SHT) associated with the optimal-dimensionality sampling requires the inversion of a series of linear systems in an iterative manner. The stability of the inversion depends on the placement of iso-latitude rings of samples along co-latitude. In this work, we have developed a method to place these iso-latitude rings of samples with the objective of improving the well-conditioning of the linear systems involved in the computation of the SHT. We also propose a multi-pass SHT algorithm to iteratively improve the accuracy of the SHT of band-limited signals. Furthermore, we review the changes in the computational complexity and improvement in accuracy of the SHT with the embedding of the proposed methods. Through numerical experiments, we illustrate that the proposed variations and improvements in the SHT algorithm corresponding to the optimal-dimensionality sampling scheme significantly enhance the accuracy of the SHT.


title: Young's double-slit interference with two-color biphotons

abstract: In classical optics, Young's double-slit experiment with colored coherent light gives rise to individual interference fringes for each light frequency, referring to single-photon interference. However, two-photon double-slit interference has been widely studied only for wavelength-degenerate biphoton, known as subwavelength quantum lithography. In this work, we report double-slit interference experiments with two-color biphoton. Different from the degenerate case, the experimental results depend on the measurement methods. From a two-axis coincidence measurement pattern we can extract complete interference information about two colors. The conceptual model provides an intuitional picture of the in-phase and out-of-phase photon correlations and a complete quantum understanding about the which-path information of two colored photons.


title: Model updating using sum of squares (SOS) optimization to minimize modal dynamic residuals

abstract: This research studies finite element (FE) model updating through sum of squares (SOS) optimization to minimize modal dynamic residuals. In the past few decades, many FE model updating algorithms have been studied to improve the similitude between a numerical model and the as-built structure. FE model updating usually requires solving nonconvex optimization problems, while most off-the-shelf optimization solvers can only find local optima. To improve the model updating performance, this paper proposes the SOS global optimization method for minimizing modal dynamic residuals of the generalized eigenvalue equations in structural dynamics. The proposed method is validated through both numerical simulation and experimental study of a four-story shear frame structure.


title: Super-speeds with Zero-RAM: Next Generation Large-Scale Optimization in Your Laptop!

abstract: This article presents the novel breakthrough general purpose algorithm for large scale optimization problems. The novel algorithm is capable of achieving breakthrough speeds for very large-scale optimization on general purpose laptops and embedded systems. Application of the algorithm to the Griewank function was possible in up to 1 billion decision variables in double precision took only 64485 seconds (~18 hours) to solve, while consuming 7,630 MB (7.6 GB) or RAM on a single threaded laptop CPU. It shows that the algorithm is computationally and memory (space) linearly efficient, and can find the optimal or near-optimal solution in a fraction of the time and memory that many conventional algorithms require. It is envisaged that this will open up new possibilities of real-time large-scale problems on personal laptops and embedded systems.


title: Clustering of Local Group distances: publication bias or correlated measurements? V. Galactic rotation constants

abstract: As part of on an extensive data mining effort, we have compiled a database of 162 Galactic rotation speed measurements at $R_0$ (the solar Galactocentric distance), $\Theta_0$. Published between 1927 and 2017 June, this represents the most comprehensive set of $\Theta_0$ values since the 1985 meta analysis that led to the last revision of the International Astronomical Union's recommended Galactic rotation constants. Although we do not find any compelling evidence of the presence of `publication bias' in recent decades, we find clear differences among the $\Theta_0$ values and the $\Theta_0/R_0$ ratios resulting from the use of different tracer populations. Specifically, young tracers (including OB and supergiant stars, masers, Cepheid variables, H{\sc ii} regions, and young open clusters), as well as kinematic measurements of Sgr A* near the Galactic Center, imply a significantly larger Galactic rotation speed at the solar circle and a higher $\Theta_0/R_0$ ratio (i.e., $\Theta_0 = 247 \pm 3$ km s$^{-1}$ and $\Theta_0/R_0 = 29.81 \pm 0.32$ km s$^{-1}$ kpc$^{-1}$; statistical uncertainties only) than any of the tracers dominating the Galaxy's mass budget (i.e., field stars and the H{\sc i}/CO distributions). Using the latter as most representative of the bulk of the Galaxy's matter distribution, we arrive at an updated set of Galactic rotation constants, $\Theta_0 = 225 \pm 3 \mbox{ (statistical)} \pm 10 \mbox{ (systematic) km s}^{-1}$, $R_0 = 8.3 \pm 0.2 \mbox{ (statistical)} \pm 0.4 \mbox{ (systematic) kpc}$, and $\Theta_0 / R_0 = 27.12 \pm 0.39 \mbox{ (statistical)} \pm 1.78 \mbox{ (systematic) km s}^{-1} \mbox{ kpc}^{-1}$.


title: Testing if the market microstructure noise is fully explained by the informational content of some variables from the limit order book

abstract: In this paper, we build tests for the presence of residual noise in a model where the market microstructure noise is a known parametric function of some variables from the limit order book. The tests compare two distinct quasi-maximum likelihood estimators of volatility, where the related model includes a residual noise in the market microstructure noise or not. The limit theory is investigated in a general nonparametric framework. In the presence of residual noise, we examine the central limit theory of the related quasi-maximum likelihood estimation approach.


title: Iterative Residual Fitting for Spherical Harmonic Transform of Band-Limited Signals on the Sphere: Generalization and Analysis

abstract: We present the generalized iterative residual fitting (IRF) for the computation of the spherical harmonic transform (SHT) of band-limited signals on the sphere. The proposed method is based on the partitioning of the subspace of band-limited signals into orthogonal subspaces. There exist sampling schemes on the sphere which support accurate computation of SHT. However, there are applications where samples~(or measurements) are not taken over the predefined grid due to nature of the signal and/or acquisition set-up. To support such applications, the proposed IRF method enables accurate computation of SHTs of signals with randomly distributed sufficient number of samples. In order to improve the accuracy of the computation of the SHT, we also present the so-called multi-pass IRF which adds multiple iterative passes to the IRF. We analyse the multi-pass IRF for different sampling schemes and for different size partitions. Furthermore, we conduct numerical experiments to illustrate that the multi-pass IRF allows sufficiently accurate computation of SHTs.


title: Aspects of electron transport in zigzag graphene nanoribbons

abstract: We investigate the aspects of the electron transport in the zigzag graphene nanoribbons (ZGNRs) using the non-equilibrium Green's function (NEGF) formalism. The latter is an esoteric tool in mesoscopic physics and using this tool the analysis is performed by considering the potential well within the system. Within this potential well, the dependence of the transmission coefficient, local density of states (LDOS) and the electron transport properties on the number of atoms per unit cell is discussed. We observe that the electron and thermal conductance increases with the increase of the number of atoms. In addition to these, the figure of merit which depends on these transport properties has also been studied and we find that the electrons' contribution to enhance the figure of merit is important above the crossover temperature.


title: A Simple Two-stage Equalizer With Simplified Orthogonal Time Frequency Space Modulation Over Rapidly Time-varying Channels

abstract: In this work, we derive a equivalent delay-Doppler channel matrix of the Orthogonal Time Frequency Space (OTFS) modulation that has not been studied in previous literature. It has the similar structure as the banded channel matrix of OFDM systems over rapidly time-varying channels. However, the band in the equivalent channel matrix will no longer spread with the increase of the Doppler spread once the length of maximum channel delay spread and the OTFS frame duration are deter- mined. Furthermore, the equivalent channel matrix can simplify the OTFS modulation in the transmitter side. Incorporating the equivalent channel matrix, we propose a simple two-stage equal- izer in 1 dimensional operations for OTFS modulation. First, the receive signal is equalized using the conventional OFDM single- tap equalizer in the frequency domain. The multipath effects can be removed. In the second stage, another low complexity delay- Doppler domain equalizer is employed to eliminate the effects of the residual interference caused by the Doppler spread with the equivalent channel matrix. The simulation results demonstrate that the proposed method is superior to the conventional single- tap equalizer and full minimum mean squared error (MMSE) equalizer of OFDM systems in terms of BER in high Doppler spread scenarios.


title: Effect of aging and Mn substitution on anisotropy of third generation piezoelectrics

abstract: We predict a new candidate high-temperature high-pressure structure of FeSiO$_3$ with space-group symmetry Cmmm by applying an evolutionary algorithm within DFT+U that we call post-perovskite II (PPv-II). An exhaustive search found no other competitive candidate structures with ABO$_3$ composition. We compared the X-ray diffraction (XRD) pattern of FeSiO$_3$ PPv-II with experimental results of the recently reported "H-phase" of (Fe,Mg)SiO$_3$. The intensities and positions of two main X-ray diffraction peaks of PPv-II FeSiO$_3$ compare well with those of the H-phase. We also calculated the static equation of state, the enthalpy and the bulk modulus of the PPv-II phase and compared it with those of perovskite (Pv) and post-perovskite (PPv) phases of FeSiO$_3$. According to the static DFT+U computations the PPv-II phase of FeSiO$_3$ is less stable than Pv and PPv phases under lower mantle pressure conditions at T=0 K and has a higher volume. PPv-II may be entropically stabilized, and may be a stable phase in Earth's lower mantle, coexisting with {\alpha-PbO$_2$ (Columbite-structure) silica and perovskite, or with magnesiowustite and/or ferropericlase, depending on bulk composition.


title: A Note on Nonvanishing Properties on Mod $\ell$ Drichlet $L$-values and Application to K-groups

abstract: Let $F$ be a number field. Let $p$ be a prime number. Washington proved the $\ell$-part of the class numbers in cyclotomic $\mathbb{Z}_p$ extension of $F$ is bounded when $F$ is an abelian number field and $\ell\neq p$ is a prime. By class number formula, this is essentially a mod $\ell$ nonvanishing property of Drichlet L-functions at $s=0$. In \cite{Sinnot}, Sinnot gave a different proof by algebraic methods. In this article, we show that Sinnot's method can prove nonvanishing properties of Drichlet L-functions at $s=-k$, where $k\geq 0$ is an integer. Since the Lichtenbaurn conjecture which relates the Dedekind zeta functions at $s=-k$ and higher K-groups is proved for abelian number fields, we give some bounded results on non-$p$ part of higher K-groups in cyclotomic $\mathbb{Z}_p$ extensions of a real abelian number field.


title: Deep Subspace Clustering Networks

abstract: We present a novel deep neural network architecture for unsupervised subspace clustering. This architecture is built upon deep auto-encoders, which non-linearly map the input data into a latent space. Our key idea is to introduce a novel self-expressive layer between the encoder and the decoder to mimic the "self-expressiveness" property that has proven effective in traditional subspace clustering. Being differentiable, our new self-expressive layer provides a simple but effective way to learn pairwise affinities between all data points through a standard back-propagation procedure. Being nonlinear, our neural-network based method is able to cluster data points having complex (often nonlinear) structures. We further propose pre-training and fine-tuning strategies that let us effectively learn the parameters of our subspace clustering networks. Our experiments show that the proposed method significantly outperforms the state-of-the-art unsupervised subspace clustering methods.


title: High-resolution one-photon absorption spectroscopy of the $D\,{}^2\Sigma^- \leftarrow X\,{}^2\Pi$ system of radical OH and OD

abstract: Vacuum-ultraviolet (VUV) photoabsorption spectra were recorded of the $A\,{}^2\Sigma^+(v'=0)\leftarrow{}X\,{}^2\Pi(v''=0)$, $D\,{}^2\Sigma^-(v'=0)\leftarrow{}X\,{}^2\Pi(v''=0)$ and $D\,{}^2\Sigma^-(v'=1)\leftarrow{}X\,{}^2\Pi(v''=0)$ bands of the OH and OD radicals generated in a plasma-discharge source using synchrotron radiation as a background continuum coupled with the VUV Fourier-transform spectrometer on the DESIRS beamline of synchrotron SOLEIL. High-resolution spectra permitted the quantification of transition frequencies, relative $f$-values, and natural line broadening. The $f$-values were absolutely calibrated with respect to a previous measurement of $A\,{}^2\Sigma^+(v'=0)\leftarrow{}X\,{}^2\Pi(v''=0)$ ([wang1979]). Lifetime broadening of the excited $D\,{}^2\Sigma^-(v=0)$ and $D\,{}^2\Sigma^-(v=1)$ levels is measured for the first time and compared with previous experimental limits, and implies a lifetime 5 times shorter than a theoretical prediction ([van_der_loo2005]). A local perturbation of the $D\,{}^2\Sigma^-(v=0)$ level in OH was found.


title: "Breaking" Disasters: Predicting and Characterizing the Global News Value of Natural and Man-made Disasters

abstract: Due to their often unexpected nature, natural and man-made disasters are difficult to monitor and detect for journalists and disaster management response teams. Journalists are increasingly relying on signals from social media to detect such stories in their early stage of development. Twitter, which features a vast network of local news outlets, is a major source of early signal for disaster detection. Journalists who work for global desks often follow these sources via Twitter's lists, but have to comb through thousands of small-scale or low-impact stories to find events that may be globally relevant. These are events that have a large scope, high impact, or potential geo-political relevance. We propose a model for automatically identifying events from local news sources that may break on a global scale within the next 24 hours. The results are promising and can be used in a predictive setting to help journalists manage their sources more effectively, or in a descriptive manner to analyze media coverage of disasters. Through the feature evaluation process, we also address the question: "what makes a disaster event newsworthy on a global scale?" As part of our data collection process, we have created a list of local sources of disaster/accident news on Twitter, which we have made publicly available.


title: Predicting the Popularity of Topics based on User Sentiment in Microblogging Websites

abstract: Behavioral economics show us that emotions play an important role in individual behavior and decision-making. Does this also affect collective decision making in a community? Here we investigate whether the community sentiment energy of a topic is related to the spreading popularity of the topic. To compute the community sentiment energy of a topic, we first analyze the sentiment of a user on the key phrases of the topic based on the recent tweets of the user. Then we compute the total sentiment energy of all users in the community on the topic based on the Markov Random Field (MRF) model and graph entropy model. Experiments on two communities find the linear correlation between the community sentiment energy and the real spreading popularity of topics. Based on the finding, we proposed two models to predict the popularity of topics. Experimental results show the effectiveness of the two models and the helpful of sentiment in predicting the popularity of topics. Experiments also show that community sentiment affects collective decision making of spreading a topic or not in the community.


title: Protecting coherence by reservoir engineering: intense bath disturbance

abstract: We put forward a scheme based on reservoir engineering to protect quantum coherence from leaking to bath, in which we intensely disturb the Lorentzian bath by N harmonic oscillators. We show that the intense disturbance changes the spectrum of the bath and reduces the qubit-bath interaction. Furthermore, we give the exact time evolution with the Lorentzian spectrum by a master equation, and calculate the concurrence and survival probability of the qubits to demonstrate the effect of the intense bath disturbance on the protection of coherence. Meanwhile, we reveal the dynamic effects of counter-rotating interaction on the qubits as compared to the results of the rotating wave approximation.


title: Intelligent Subset Selection of Power Generators for Economic Dispatch

abstract: Sustainable and economical generation of electrical power is an essential and mandatory component of infrastructure in today's world. Optimal generation (generator subset selection) of power requires a careful evaluation of various factors like type of source, generation, transmission & storage capacities, congestion among others which makes this a difficult task. We created a grid to simulate various conditions including stimuli like generator supply, weather and load demand using Siemens PSS/E software and this data is trained using deep learning methods and subsequently tested. The results are highly encouraging. As per our knowledge, this is the first paper to propose a working and scalable deep learning model for this problem.


title: Spatially-resolved spectroscopy of narrow-line Seyfert 1 host galaxies

abstract: We present optical integral field spectroscopy for five $z<0.062$ narrow-line Seyfert 1 galaxies (NLS1s) host galaxies, probing their host galaxies at $\gtrsim 2-3$ kpc scales. Emission lines in the nuclear AGN spectra and the large-scale host galaxy are analyzed separately, based on an AGN-host decomposition technique. The host galaxy gas kinematics indicates large-scale gas rotation in all five sources. At the probed scales of $\gtrsim 2-3$ kpc, the host galaxy gas is found to be predominantly ionized by star formation without any evidence of a strong AGN contribution. None of the five objects shows specific star formation rates exceeding the main sequence of low-redshift star forming galaxies. The specific star formation rates for MCG-05-01-013 and WPVS 007 are roughly consistent with the main sequence, while ESO 399-IG20, MS 22549-3712, and TON S180 show lower specific star formation rates, intermediate to the main sequence and red quiescent galaxies. The host galaxy metallicities, derived for the two sources with sufficient data quality (ESO 399-IG20 and MCG-05-01-013), indicate central oxygen abundances just below the low-redshift mass-metallicity relation. Based on this initial case study, we outline a comparison of AGN and host galaxy parameters as a starting point for future extended NLS1 studies with similar methods.


title: Observation of $^{6}$He+$t$ cluster states in $^{9}$Li

abstract: $^{6}$He+$t$ cluster states of exited $^{9}$Li have been measured by 32.7 MeV/nucleon $^{9}$Li beams bombarding on $^{208}$Pb target. Two resonant states are clearly observed with the excitation energies at 9.8 MeV and 12.6 MeV and spin-parity of 3/2$^{-}$ and 7/2$^{-}$ respectively. These two states are considered to be members of K$^{\pi}$=1/2$^{-}$ band. The spin-parity of them are identified by the method of angular correlation analysis and verified by the continuum discretized coupled channels (CDCC) calculation, which agrees with the prediction of the generator coordinate method (GCM). A monopole matrix element about 4 fm$^{2}$ for the 3/2$^{-}$ state is extracted from the distorted wave Born approximation (DWBA) calculation. These results strongly support the feature of clustering structure of two neutron-rich clusters in the neutron-rich nucleus $^{9}$Li for the first time.


title: Post-aragonite phases of CaCO$_{3}$ at lower mantle pressures

abstract: The stability, structure and properties of carbonate minerals at lower mantle conditions has significant impact on our understanding of the global carbon cycle and the composition of the interior of the Earth. In recent years, there has been significant interest in the behavior of carbonates at lower mantle conditions, specifically in their carbon hybridization, which has relevance for the storage of carbon within the deep mantle. Using high-pressure synchrotron X-ray diffraction in a diamond anvil cell coupled with direct laser heating of CaCO$_{3}$ using a CO$_{2}$ laser, we identify a crystalline phase of the material above 40 GPa $-$ corresponding to a lower mantle depth of around 1,000 km $-$ which has first been predicted by \textit{ab initio} structure predictions. The observed $sp^{2}$ carbon hybridized species at 40 GPa is monoclinic with $P2_{1}/c$ symmetry and is stable up to 50 GPa, above which it transforms into a structure which cannot be indexed by existing known phases. A combination of \textit{ab initio} random structure search (AIRSS) and quasi-harmonic approximation (QHA) calculations are used to re-explore the relative phase stabilities of the rich phase diagram of CaCO$_{3}$. Nudged elastic band (NEB) calculations are used to investigate the reaction mechanisms between relevant crystal phases of CaCO$_{3}$ and we postulate that the mineral is capable of undergoing $sp^{2}$-$sp^{3}$ hybridization change purely in the $P2_{1}/c$ structure $-$ forgoing the accepted post-aragonite $Pmmn$ structure.


title: Extreme Sparse Multinomial Logistic Regression: A Fast and Robust Framework for Hyperspectral Image Classification

abstract: Although the sparse multinomial logistic regression (SMLR) has provided a useful tool for sparse classification, it suffers from inefficacy in dealing with high dimensional features and manually set initial regressor values. This has significantly constrained its applications for hyperspectral image (HSI) classification. In order to tackle these two drawbacks, an extreme sparse multinomial logistic regression (ESMLR) is proposed for effective classification of HSI. First, the HSI dataset is projected to a new feature space with randomly generated weight and bias. Second, an optimization model is established by the Lagrange multiplier method and the dual principle to automatically determine a good initial regressor for SMLR via minimizing the training error and the regressor value. Furthermore, the extended multi-attribute profiles (EMAPs) are utilized for extracting both the spectral and spatial features. A combinational linear multiple features learning (MFL) method is proposed to further enhance the features extracted by ESMLR and EMAPs. Finally, the logistic regression via the variable splitting and the augmented Lagrangian (LORSAL) is adopted in the proposed framework for reducing the computational time. Experiments are conducted on two well-known HSI datasets, namely the Indian Pines dataset and the Pavia University dataset, which have shown the fast and robust performance of the proposed ESMLR framework.


title: Transient Dynamics of a Quantum-Dot in the Mixed Valence Regime

abstract: We investigate the dynamics of a strongly correlated quantum dot system in the mixed valence regime based on the hierarchical equations of motion (HEOM) approach. The transient and steady state transport properties after a quantum quench from equilibration by rapidly applying a bias voltage in a range of temperature below and above the Kondo temperature are described. We find that the time-dependent current exhibits a linear response behavior for weak bias voltage and outside of the linear response regime for larger bias voltage due to the transition of the voltage dependent quantum dot occupancies. The influence of the temperature, finite strongly correlated electron-electron interaction and energy level of the quantum dot on the nonlinear behavior and steady state values of current indicating the Kondo physics are explored in detail.


title: The quasi-Assouad dimension for stochastically self-similar sets

abstract: The class of stochastically self-similar sets contains many famous examples of random sets, e.g. Mandelbrot percolation and general fractal percolation. Under the assumption of the uniform open set condition and some mild assumptions on the iterated function systems used, we show that the quasi-Assouad dimension of self-similar random recursive sets is almost surely equal to the almost sure Hausdorff dimension of the set. We further comment on random homogeneous and $V$-variable sets and the removal of overlap conditions.


title: Sorting with GPUs: A Survey

abstract: Sorting is a fundamental operation in computer science and is a bottleneck in many important fields. Sorting is critical to database applications, online search and indexing,biomedical computing, and many other applications. The explosive growth in computational power and availability of GPU coprocessors has allowed sort operations on GPUs to be done much faster than any equivalently priced CPU. Current trends in GPU computing shows that this explosive growth in GPU capabilities is likely to continue for some time. As such, there is a need to develop algorithms to effectively harness the power of GPUs for crucial applications such as sorting.


title: Projective cocycles over SL(2,R) actions: measures invariant under the upper triangular group

abstract: We consider the action of $SL(2,\mathbb{R})$ on a vector bundle $\mathbf{H}$ preserving an ergodic probability measure $\nu$ on the base $X$. Under an irreducibility assumption on this action, we prove that if $\hat\nu$ is any lift of $\nu$ to a probability measure on the projectivized bunde $\mathbb{P}(\mathbf{H})$ that is invariant under the upper triangular subgroup, then $\hat \nu$ is supported in the projectivization $\mathbb{P}(\mathbf{E}_1)$ of the top Lyapunov subspace of the positive diagonal semigroup. We derive two applications. First, the Lyapunov exponents for the Kontsevich-Zorich cocycle depend continuously on affine measures, answering a question in [MMY]. Second, if $\mathbb{P}(\mathbf{V})$ is an irreducible, flat projective bundle over a compact hyperbolic surface $\Sigma$, with hyperbolic foliation $\mathcal{F}$ tangent to the flat connection, then the foliated horocycle flow on $T^1\mathcal{F}$ is uniquely ergodic if the top Lyapunov exponent of the foliated geodesic flow is simple. This generalizes results in [BG] to arbitrary dimension.


title: Remarks on strong embeddability for discrete metric spaces and groups

abstract: In this paper, we show that the strong embeddability has fibering permanence property and is preserved under the direct limit for the metric space. Moreover, we show the following result: let $G$ is a finitely generated group with a coarse quasi-action on a metric space $X$. If $X$ has finite asymptotic dimension and the quasi-stabilizers are strongly embeddable, then $G$ is also strongly embeddable.


title: Universal Barenco quantum gates via a tunable non-collinear interaction

abstract: The Barenco gate~($\mathbb{B}$) is a type of two-qubit quantum gate based on which alone universal quantum computation can be achieved. Each $\mathbb{B}$ is characterized by three angles ($\alpha,\theta$, and $\phi$) though it works in a two-qubit Hilbert space. Here we design $\mathbb{B}$ via a non-collinear interaction $V|r_1r_2\rangle\langle r_1r_3|+$H.c., where $|r_i\rangle$ is a state that can be excited from a qubit state and $V$ is adjustable. We present two protocols of $\mathbb{B}$. The first~(second) protocol consists of two~(six) pulses and one~(two) wait period(s), where the former causes rotations between the qubit states and excited states, and the latter induces gate transformation via the non-collinear interaction. In the first protocol, the variable $\phi$ can be tuned by varying phases of external controls, and the other two variables $\alpha$ and $\theta$, tunable via adjusting the wait duration, have a linear dependence upon each other. Meanwhile, the first protocol can give rise to the CNOT and Controlled-Y gates. In the second protocol, $\alpha,\theta$, and $\phi$ can be varied by changing the interaction amplitudes and wait durations, and the latter two are dependent on $\alpha$ non-linearly. Both protocols can also lead to another universal gate when $\{\alpha,\phi\}=\{1/4,1/2\}\pi$ with appropriate parameters. Implementation of these universal gates is analyzed based on the van der Waals interaction of neutral Rydberg atoms.


title: Optical polarization variations in the blazar PKS 1749+096

abstract: We report on the variation in the optical polarization of the blazar PKS 1749+096 observed in 2008--2015. The degree of polarization (PD) tends to increase in short flares having a time-scale of a few days. The object favors a polarization angle (PA) of $40^\circ$--$50^\circ$ at the flare maxima, which is close to the position angle of the jet ($20^\circ$--$40^\circ$). Three clear polarization rotations were detected in the negative PA direction associated with flares. In addition, a rapid and large decrease in the PA was observed in the other two flares, while another two flares showed no large PA variation. The light curve maxima of the flares possibly tend to lag behind the PD maxima and color-index minima. The PA became $-50^\circ$ to $-20^\circ$ in the decay phase of active states, which is almost perpendicular to the jet position angle. We propose a scenario to explain these observational features, where transverse shocks propagate along curved trajectories. The favored PA at the flare maxima suggests that the observed variations were governed by the variations in the Doppler factor, $\delta$. Based on this scenario, the minimum viewing angle of the source, $\theta_\mathrm{min}=4.8^\circ$--$6.6^\circ$, and the location of the source, $\Delta r\gtrsim 0.1$pc, from the central black hole were estimated. In addition, the acceleration of electrons by the shock and synchrotron cooling would have a time-scale similar to that of the change in $\delta$. The combined effect of the variation in $\delta$ and acceleration/cooling of electrons is probably responsible for the observed diversity of the polarization variations in the flares.


title: On the geometry of compatible Poisson and Riemannian structures

abstract: We consider compatibility conditions between Poisson and Riemannian structures on smooth manifolds by means of a contravariant partially complex structure, or $f$-structure, introducing the notion of (almost) K\"ahler--Poisson manifolds. In addition, we study some of their properties under structure preserving maps and symmetries.


title: Dust masses of $z>5$ galaxies from SED fitting and ALMA upper limits

abstract: We aim at constraining the dust mass in high-redshift ($z\gtrsim 5$) galaxies using the upper limits obtained by ALMA in combination with the rest-frame UV--optical spectral energy distributions (SEDs). For SED fitting, because of degeneracy between dust extinction and stellar age, we focus on two extremes: continuous star formation (Model A) and instantaneous star formation (Model B). We apply these models to Himiko (as a representative UV-bright object) and a composite SED of $z>5$ Lyman break galaxies (LBGs). For Himiko, Model A requires a significant dust extinction, which leads to a high dust temperature $>70$ K for consistency with the ALMA upper limit. This high dust temperature puts a strong upper limit on the total dust mass $M_\mathrm{d}\lesssim 2\times 10^6$ M$_{\odot}$, and the dust mass produced per supernova (SN) $m_\mathrm{d,SN}\lesssim 0.1$ M$_{\odot}$. Such a low $m_\mathrm{d,SN}$ suggests significant loss of dust by reverse shock destruction or outflow, and implies that SNe are not the dominant source of dust at high $z$. Model B allows $M_\mathrm{d}\sim 2\times 10^7$ M$_{\odot}$ and $m_\mathrm{d,SN}\sim 0.3$ M$_{\odot}$.} We could distinguish between Models A and B if we observe Himiko at {wavelength $<$ 1.2 mm by ALMA. For the LBG sample, we obtain $M_\mathrm{d}\lesssim 2\times 10^6$ M$_{\odot}$ for a typical LBG at $z>5$, but this only puts an upper limit for $m_\mathrm{d,SN}$ as $\sim 2$ M$_{\odot}$. This clarifies the importance of observing UV-bright objects (like Himiko) to constrain the dust production by SNe.


title: A note on the almost one half holomorphic pinching

abstract: Motivated by a previous work of Zheng and the second named author, we study pinching constants of compact K\"ahler manifolds with positive holomorphic sectional curvature. In particular we prove a gap theorem following the work of Petersen and Tao on Riemannian manifolds with almost quarter-pinched sectional curvature.


title: Spatial Modulation for More Spatial Multiplexing: RF-Chain-Limited Generalized Spatial Modulation Aided MmWave MIMO with Hybrid Precoding

abstract: The application of hybrid precoding in millimeter wave (mmWave) multiple-input multiple-output (MIMO) systems has been proved effective for reducing the number of radio frequency (RF) chains. However, the maximum number of independent data streams is conventionally restricted by the number of RF chains, which leads to limiting the spatial multiplexing gain. To further improve the achievable spectral efficiency (SE), in this paper we propose a novel generalized spatial modulation (GenSM) aided mmWave MIMO system to convey an extra data stream via the index of the active antennas group, while no extra RF chain is required. Moreover, we also propose a hybrid analog and digital precoding scheme for SE maximization. More specifically, a closed-form lower bound is firstly derived to quantify the achievable SE of the proposed system. By utilizing this lower bound as the cost function, a two-step algorithm is proposed to optimize the hybrid precoder. The proposed algorithm not only utilizes the concavity of the cost function over the digital power allocation vector, but also invokes the convex $\ell_\infty$ relaxation to handle the non-convex constraint imposed by analog precoding. Finally, the proposed scheme is shown via simulations to outperform state-of-the-art mmWave MIMO schemes in terms of achievable SE.


title: FAST: Frequency-Aware Spatio-Textual Indexing for In-Memory Continuous Filter Query Processing

abstract: Many applications need to process massive streams of spatio-textual data in real-time against continuous spatio-textual queries. For example, in location-aware ad targeting publish/subscribe systems, it is required to disseminate millions of ads and promotions to millions of users based on the locations and textual profiles of users. In this paper, we study indexing of continuous spatio-textual queries. There exist several related spatio-textual indexes that typically integrate a spatial index with a textual index. However, these indexes usually have a high demand for main-memory and assume that the entire vocabulary of keywords is known in advance. Also, these indexes do not successfully capture the variations in the frequencies of keywords across different spatial regions and treat frequent and infrequent keywords in the same way. Moreover, existing indexes do not adapt to the changes in workload over space and time. For example, some keywords may be trending at certain times in certain locations and this may change as time passes. This affects the indexing and searching performance of existing indexes significantly. In this paper, we introduce FAST, a Frequency-Aware Spatio-Textual index for continuous spatio-textual queries. FAST is a main-memory index that requires up to one third of the memory needed by the state-of-the-art index. FAST does not assume prior knowledge of the entire vocabulary of indexed objects. FAST adaptively accounts for the difference in the frequencies of keywords within their corresponding spatial regions to automatically choose the best indexing approach that optimizes the insertion and search times. Extensive experimental evaluation using real and synthetic datasets demonstrates that FAST is up to 3x faster in search time and 5x faster in insertion time than the state-of-the-art indexes.


title: On compact Hermitian manifolds with flat Gauduchon connections

abstract: Given a Hermitian manifold $(M^n,g)$, the Gauduchon connections are the one parameter family of Hermitian connections joining the Chern connection and the Bismut connection. We will call $\nabla^s = (1-\frac{s}{2})\nabla^c + \frac{s}{2}\nabla^b$ the $s$-Gauduchon connection of $M$, where $\nabla^c$ and $\nabla^b$ are respectively the Chern and Bismut connections. It is natural to ask when a compact Hermitian manifold could admit a flat $s$-Gauduchon connection. This is related to a question asked by Yau \cite{Yau}. The cases with $s=0$ (a flat Chern connection) or $s=2$ (a flat Bismut connection) are classified respectively by Boothby \cite{Boothby} in the 1950s or by Q. Wang and the authors recently \cite{WYZ}. In this article, we observe that if either $s\geq 4+2\sqrt{3} \approx 7.46$ or $s\leq 4-2\sqrt{3}\approx 0.54$ and $s\neq 0$, then $g$ is K\"ahler. We also show that, when $n=2$, $g$ is always K\"ahler unless $s=2$. Note that non-K\"ahler compact Bismut flat surfaces are exactly those isosceles Hopf surfaces by \cite{WYZ}.


title: A high order semi-Lagrangian discontinuous Galerkin method for Vlasov-Poisson simulations without operator splitting

abstract: In this paper, we develop a high order semi-Lagrangian (SL) discontinuous Galerkin (DG) method for nonlinear Vlasov-Poisson (VP) simulations without operator splitting. In particular, we combine two recently developed novel techniques: one is the high order non-splitting SLDG transport method [Cai, et al., J Sci Comput, 2017], and the other is the high order characteristics tracing technique proposed in [Qiu and Russo, J Sci Comput, 2017]. The proposed method with up to third order accuracy in both space and time is locally mass conservative, free of splitting error, positivity-preserving, stable and robust for large time stepping size. The SLDG VP solver is applied to classic benchmark test problems such as Landau damping and two-stream instabilities for VP simulations. Efficiency and effectiveness of the proposed scheme is extensively tested. Tremendous CPU savings are shown by comparisons between the proposed SL DG scheme and the classical Runge-Kutta DG method.


title: Generalizing Distance Covariance to Measure and Test Multivariate Mutual Dependence

abstract: We propose three measures of mutual dependence between multiple random vectors. All the measures are zero if and only if the random vectors are mutually independent. The first measure generalizes distance covariance from pairwise dependence to mutual dependence, while the other two measures are sums of squared distance covariance. All the measures share similar properties and asymptotic distributions to distance covariance, and capture non-linear and non-monotone mutual dependence between the random vectors. Inspired by complete and incomplete V-statistics, we define the empirical measures and simplified empirical measures as a trade-off between the complexity and power when testing mutual independence. Implementation of the tests is demonstrated by both simulation results and real data examples.

categories: math.ST stat.AP stat.CO stat.ME stat.ML stat.TH


title: Adaptive Processing of Spatial-Keyword Data Over a Distributed Streaming Cluster

abstract: The widespread use of GPS-enabled smartphones along with the popularity of micro-blogging and social networking applications, e.g., Twitter and Facebook, has resulted in the generation of huge streams of geo-tagged textual data. Many applications require real-time processing of these streams. For example, location-based e-coupon and ad-targeting systems enable advertisers to register millions of ads to millions of users. The number of users is typically very high and they are continuously moving, and the ads change frequently as well. Hence sending the right ad to the matching users is very challenging. Existing streaming systems are either centralized or are not spatial-keyword aware, and cannot efficiently support the processing of rapidly arriving spatial-keyword data streams. This paper presents Tornado, a distributed spatial-keyword stream processing system. Tornado features routing units to fairly distribute the workload, and furthermore, co-locate the data objects and the corresponding queries at the same processing units. The routing units use the Augmented-Grid, a novel structure that is equipped with an efficient search algorithm for distributing the data objects and queries. Tornado uses evaluators to process the data objects against the queries. The routing units minimize the redundant communication by not sending data updates for processing when these updates do not match any query. By applying dynamically evaluated cost formulae that continuously represent the processing overhead at each evaluator, Tornado is adaptive to changes in the workload. Extensive experimental evaluation using spatio-textual range queries over real Twitter data indicates that Tornado outperforms the non-spatio-textually aware approaches by up to two orders of magnitude in terms of the overall system throughput.


title: Biological Cell Resonators

abstract: This thesis develops the theory of whispering gallery modes, exploring under what conditions a micro or nanoscale device can sustain these resonances, and for which physical criteria the resonance conditions deteriorate. The study is then extended to consider the biological cell in which modes are definitively sustained without artificial assistance. The properties of resonators and their emitted energy spectra are studied within the general framework of the Finite Difference Time Domain method, requiring supercomputing resources to probe the transient behaviour and interactions among the electromagnetic fields. The formal theory of Mie scattering is also extended to develop a cutting-edge, computationally efficient model for general, multilayer microspheres, which represents a valuable achievement for the scientific community in its own right. The model unifies the approaches in the field of mathematical modelling to express the energy spectrum in a single encompassing equation, which is then applied in a range of contexts. The gulf between modelling and biological resonators is bridged by an in-depth study of the physical characteristics of a range of biological cells, and the selection criteria for viable resonator candidates are developed through a number of detailed feasibility studies. The bovine embryo is consequently selected as the optimal choice for this investigation. Evidence is established for the ability of a bovine embryo to sustain whispering gallery modes. The ability of a cell to sustain modes on its own represents a conceptually elegant paradigm for new technologies involving on-site cell interrogation and reporting of the status and health of a biological cell in the future. The methodological and technological developments contained herein thus become a vital asset for the future realisation of autonomous biological cell sensors.


title: Mirror Descent Search and its Acceleration

abstract: In recent years, attention has been focused on the relationship between black-box optimiza- tion problem and reinforcement learning problem. In this research, we propose the Mirror Descent Search (MDS) algorithm which is applicable both for black box optimization prob- lems and reinforcement learning problems. Our method is based on the mirror descent method, which is a general optimization algorithm. The contribution of this research is roughly twofold. We propose two essential algorithms, called MDS and Accelerated Mirror Descent Search (AMDS), and two more approximate algorithms: Gaussian Mirror Descent Search (G-MDS) and Gaussian Accelerated Mirror Descent Search (G-AMDS). This re- search shows that the advanced methods developed in the context of the mirror descent research can be applied to reinforcement learning problem. We also clarify the relationship between an existing reinforcement learning algorithm and our method. With two evaluation experiments, we show our proposed algorithms converge faster than some state-of-the-art methods.


title: Covariances, Robustness, and Variational Bayes

abstract: Mean-field Variational Bayes (MFVB) is an approximate Bayesian posterior inference technique that is increasingly popular due to its fast runtimes on large-scale datasets. However, even when MFVB provides accurate posterior means for certain parameters, it often mis-estimates variances and covariances. Furthermore, prior robustness measures have remained undeveloped for MFVB. By deriving a simple formula for the effect of infinitesimal model perturbations on MFVB posterior means, we provide both improved covariance estimates and local robustness measures for MFVB, thus greatly expanding the practical usefulness of MFVB posterior approximations. The estimates for MFVB posterior covariances rely on a result from the classical Bayesian robustness literature relating derivatives of posterior expectations to posterior covariances and include the Laplace approximation as a special case. Our key condition is that the MFVB approximation provides good estimates of a select subset of posterior means---an assumption that has been shown to hold in many practical settings. In our experiments, we demonstrate that our methods are simple, general, and fast, providing accurate posterior uncertainty estimates and robustness measures with runtimes that can be an order of magnitude faster than MCMC.


title: The effective Tolman temperature in curved spacetimes

abstract: We review a recently proposed effective Tolman temperature and present its applications to various gravitational systems. In the Unruh state for the evaporating black holes, the free-fall energy density is found to be negative divergent at the horizon, which is in contrast to the conventional calculations performed in the Kruskal coordinates. We resolve this conflict by invoking that the Kruskcal coordinates could be no longer proper coordinates at the horizon. In the Hartle-Hawking-Israel state, despite the negative finite proper energy density at the horizon, the Tolman temperature is divergent there due to the infinite blueshift of the Hawking temperature. However, a consistent Stefan-Boltzmann law with the Hawking radiation shows that the effective Tolman temperature is eventually finite everywhere and the equivalence principle is surprisingly restored at the horizon. Then, we also show that the firewall necessarily emerges out of the Unruh vacuum, so that the Tolman temperature in the evaporating black hole is naturally divergent due to the infinitely blueshifted negative ingoing flux crossing the horizon, whereas the outgoing Hawking radiation characterized by the effective Tolman temperature indeed originates from the quantum atmosphere, not just at the horizon. So, the firewall and the atmosphere for the Hawking radiation turn out to be compatible, once we discard the fact that the Hawking radiation in the Unruh state originates from the infinitely blueshifted outgoing excitations at the horizon. Finally, as a cosmological application, the initial radiation energy density in warm inflation scenarios has been assumed to be finite when inflation starts. We successfully find the origin of the non-vanishing initial radiation energy density in the warm inflation by using the effective Tolman temperature.


title: DeepFense: Online Accelerated Defense Against Adversarial Deep Learning

abstract: Recent advances in adversarial Deep Learning (DL) have opened up a largely unexplored surface for malicious attacks jeopardizing the integrity of autonomous DL systems. With the wide-spread usage of DL in critical and time-sensitive applications, including unmanned vehicles, drones, and video surveillance systems, online detection of malicious inputs is of utmost importance. We propose DeepFense, the first end-to-end automated framework that simultaneously enables efficient and safe execution of DL models. DeepFense formalizes the goal of thwarting adversarial attacks as an optimization problem that minimizes the rarely observed regions in the latent feature space spanned by a DL network. To solve the aforementioned minimization problem, a set of complementary but disjoint modular redundancies are trained to validate the legitimacy of the input samples in parallel with the victim DL model. DeepFense leverages hardware/software/algorithm co-design and customized acceleration to achieve just-in-time performance in resource-constrained settings. The proposed countermeasure is unsupervised, meaning that no adversarial sample is leveraged to train modular redundancies. We further provide an accompanying API to reduce the non-recurring engineering cost and ensure automated adaptation to various platforms. Extensive evaluations on FPGAs and GPUs demonstrate up to two orders of magnitude performance improvement while enabling online adversarial sample detection.


title: Infrared dust bubble CS51 and its interaction with the surrounding interstellar medium

abstract: A multiwavelength investigation of the southern infrared dust bubble CS51 is presented in this paper. We probe the associated ionized, cold dust, molecular and stellar components. Radio continuum emission mapped at 610 and 1300 MHz, using the Giant Metrewave Radio Telescope, India, reveal the presence of three compact emission components (A, B, and C) apart from large-scale diffuse emission within the bubble interior. Radio spectral index map show the coexistence of thermal and non-thermal emission components. Modified blackbody fits to the thermal dust emission using Herschel PACS and SPIRE data is performed to generate dust temperature and column density maps. We identify five dust clumps associated with CS51 with masses and radius in the range 810 - 4600 M{\sun} and 1.0 - 1.9 pc, respectively. We further construct the column density probability distribution functions of the surrounding cold dust which display the impact of ionization feedback from high-mass stars. The estimated dynamical and fragmentation timescales indicate the possibility of collect and collapse mechanism in play at the bubble border. Molecular line emission from the MALT90 survey is used to understand the nature of two clumps which show signatures of expansion of CS51.


title: The Expressive Power of Neural Networks: A View from the Width

abstract: The expressive power of neural networks is important for understanding deep learning. Most existing works consider this problem from the view of the depth of a network. In this paper, we study how width affects the expressiveness of neural networks. Classical results state that depth-bounded (e.g. depth-$2$) networks with suitable activation functions are universal approximators. We show a universal approximation theorem for width-bounded ReLU networks: width-$(n+4)$ ReLU networks, where $n$ is the input dimension, are universal approximators. Moreover, except for a measure zero set, all functions cannot be approximated by width-$n$ ReLU networks, which exhibits a phase transition. Several recent works demonstrate the benefits of depth by proving the depth-efficiency of neural networks. That is, there are classes of deep networks which cannot be realized by any shallow network whose size is no more than an exponential bound. Here we pose the dual question on the width-efficiency of ReLU networks: Are there wide networks that cannot be realized by narrow networks whose size is not substantially larger? We show that there exist classes of wide networks which cannot be realized by any narrow network whose depth is no more than a polynomial bound. On the other hand, we demonstrate by extensive experiments that narrow networks whose size exceed the polynomial bound by a constant factor can approximate wide and shallow network with high accuracy. Our results provide more comprehensive evidence that depth is more effective than width for the expressiveness of ReLU networks.


title: Beyond Views: Measuring and Predicting Engagement in Online Videos

abstract: The share of videos in the internet traffic has been growing, therefore understanding how videos capture attention on a global scale is also of growing importance. Most current research focus on modeling the number of views, but we argue that video engagement, or time spent watching is a more appropriate measure for resource allocation problems in attention, networking, and promotion activities. In this paper, we present a first large-scale measurement of video-level aggregate engagement from publicly available data streams, on a collection of 5.3 million YouTube videos published over two months in 2016. We study a set of metrics including time and the average percentage of a video watched. We define a new metric, relative engagement, that is calibrated against video properties and strongly correlate with recognized notions of quality. Moreover, we find that engagement measures of a video are stable over time, thus separating the concerns for modeling engagement and those for popularity -- the latter is known to be unstable over time and driven by external promotions. We also find engagement metrics predictable from a cold-start setup, having most of its variance explained by video context, topics and channel information -- R2=0.77. Our observations imply several prospective uses of engagement metrics -- choosing engaging topics for video production, or promoting engaging videos in recommender systems.


title: Fixed-Gain Augmented-State Tracking-Filters

abstract: A procedure for the design of fixed-gain tracking filters, using an augmented-state observer with signal and interference subspaces, is proposed. The signal subspace incorporates an integrating Newtonian model and a second-order maneuver model that is matched to a sustained constant-g turn; the deterministic interference model creates a Nyquist null for smoother track estimates. The selected models provide a simple means of shaping and analyzing the (transient and steady-state) response of tracking-filters of elevated order.


title: The detection of the imprint of filaments on cosmic microwave background lensing

abstract: Galaxy redshift surveys, such as 2dF, SDSS, 6df, GAMA and VIPERS, have shown that the spatial distribution of matter forms a rich web, known as the cosmic web. The majority of galaxy survey analyses measure the amplitude of galaxy clustering as a function of scale, ignoring information beyond a small number of summary statistics. Since the matter density field becomes highly non-Gaussian as structure evolves under gravity, we expect other statistical descriptions of the field to provide us with additional information. One way to study the non-Gaussianity is to study filaments, which evolve non-linearly from the initial density fluctuations produced in the primordial Universe. In our study, we report the first detection of CMB (Cosmic Microwave Background) lensing by filaments and we apply a null test to confirm our detection. Furthermore, we propose a phenomenological model to interpret the detected signal and we measure how filaments trace the matter distribution on large scales through filament bias, which we measure to be around 1.5. Our study provides a new scope to understand the environmental dependence of galaxy formation. In the future, the joint analysis of lensing and Sunyaev-Zel'dovich observations might reveal the properties of `missing baryons', the vast majority of the gas which resides in the intergalactic medium and has so far evaded most observations.


title: A new approach to the symplectic isotopy problem

abstract: The symplectic isotopy conjecture states that every smooth symplectic surface in $CP^2$ is symplectically isotopic to a complex algebraic curve. Progress began with Gromov's pseudoholomorphic curves [Gro85], and progressed further culminating in Siebert and Tian's proof of the conjecture up to degree 17 [ST05], but further progress has stalled. In this article we provide a new direction of attack on this problem. Using a solution to a nodal symplectic isotopy problem we guide model symplectic isotopies of smooth surfaces. This results in an equivalence between the smooth symplectic isotopy problem and an existence problem of certain embedded Lagrangian disks. This redirects study of this problem from the realm of pseudoholomorphic curves of high genus to the realm of Lagrangians and Floer theory. Because the main theorem is an equivalence going both directions, it could theoretically be used to either prove or disprove the symplectic isotopy conjecture.


title: Quarkonium production in proton-proton collisions with ALICE at the LHC

abstract: ALICE at the LHC has a unique potential to study proton-proton collisions with the goal to probe Quantum ChromoDynamics (QCD). The apparatus was designed to reconstruct particles over a large range in transverse momentum and rapidity. In particular, quarkonia are very interesting probes of QCD, because their production mechanisms are governed by both perturbative and non-perturbative QCD processes. In ALICE, quarkonia are reconstructed via their dilepton decay channel down to zero transverse momentum. This contribution gives a short overview of quarkonium production results in proton-proton collisions with ALICE and a comparison to other experimental results and to theoretical models.


title: New pinching estimates for Inverse curvature flows in space forms

abstract: We prove new pinching estimate for the inverse curvature flow of strictly convex hypersurfaces in the space form $N$ of constant sectional curvature $K_N$ with speed given by $F^{-\alpha}$, where $\alpha\in (0,1]$ for $K_N=0,-1$ and $\alpha=1$ for $K_N=1$, $F$ is a smooth, symmetric homogeneous of degree one function which is inverse concave and has dual $F_*$ approaching zero on the boundary of the positive cone $\Gamma_+$. We show that the ratio of the largest principal curvature to the smallest principal curvature of the flow hypersurface is controlled by its initial value. This can be used to prove the smooth convergence of the flow.


title: The Geometry of Large Tundra Lakes Observed in Historical Maps and Satellite Images

abstract: Tundra lakes are key components of the Arctic climate system because they represent a source of methane to the atmosphere. In this paper, we aim to analyze the geometry of the patterns formed by large ($>0.8$ km$^2$) tundra lakes in the Russian High Arctic. We have studied images of tundra lakes in historical maps from the State Hydrological Institute, Russia (date 1977; scale $0.21166$ km/pixel) and in Landsat satellite images derived from the Google Earth Engine (G.E.E.; date 2016; scale $0.1503$ km/pixel). The G.E.E. is a cloud-based platform for planetary-scale geospatial analysis on over four decades of Landsat data. We developed an image-processing algorithm to segment these maps and images, measure the area and perimeter of each lake, and compute the fractal dimension of the lakes in the images we have studied. Our results indicate that as lake size increases, their fractal dimension bifurcates. For lakes observed in historical maps, this bifurcation occurs among lakes larger than $100$ km$^2$ (fractal dimension $1.43$ to $1.87$). For lakes observed in satellite images this bifurcation occurs among lakes larger than $\sim$100 km$^2$ (fractal dimension $1.31$ to $1.95$). Tundra lakes with a fractal dimension close to $2$ have a tendency to be self-similar with respect to their area--perimeter relationships. Area--perimeter measurements indicate that lakes with a length scale greater than $70$ km$^2$ are power-law distributed. Preliminary analysis of changes in lake size over time in paired lakes (lakes that were visually matched in both the historical map and the satellite imagery) indicate that some lakes in our study region have increased in size over time, whereas others have decreased in size over time. Lake size change during this 39-year time interval can be up to half the size of the lake as recorded in the historical map.


title: Voltage-Dependent Differential Conductance (dI/dV) Imaging of a Polymer:Fullerene Bulk-Heterojunction

abstract: With scanning tunneling spectroscopy (STS), we probed differential conductance (dI/dV) images of P3HT:PCBM bulk-heterojunctions (BHJs). Since the materials are seen energetically in dI/dV images, the imaging process provides opportunities to view the nano-domains of the components in the BHJ. The images were recorded at different voltages to bring out the interface region between the two materials as well. The density of states (DOS) spectra of pristine materials provided location of energy levels of the polymer and the fullerene in forming energy diagram with a type-II alignment from the view-point of charge carriers. DOS spectra recorded in the P3HT:PCBM heterojunction in addition yielded energies that deviated from those of the components indicating bending of energy levels at the interface region.


title: A Novel Low-Complexity Framework in Ultra-Wideband Imaging for Breast Cancer Detection

abstract: In this research work, a novel framework is pro- posed as an efficient successor to traditional imaging methods for breast cancer detection in order to decrease the computational complexity. In this framework, the breast is devided into seg- ments in an iterative process and in each iteration, the one having the most probability of containing tumor with lowest possible resolution is selected by using suitable decision metrics. After finding the smallest tumor-containing segment, the resolution is increased in the detected tumor-containing segment, leaving the other parts of the breast image with low resolution. Our framework is applied on the most common used beamforming techniques, such as delay and sum (DAS) and delay multiply and sum (DMAS) and according to simulation results, our framework can decrease the computational complexity significantly for both DAS and DMAS without imposing any degradation on accuracy of basic algorithms. The amount of complexity reduction can be determined manually or automatically based on two proposed methods that are described in this framework.


title: Fractional analogue of k-Hessian operators

abstract: Applying ideas of fractional analogue of Monge-Amp\'ere operator by L. Caffarelli and F. Charro, we consider an analogue of fractional k-Hessian operators expressed as concave envelopes of fractional linear operators, and reproduce the same regularity results when k=2. Under the set up of global solutions prescribing data at infinity and global barriers, the key estimate is to prove that fractional 2-Hessian operator is strictly elliptic. Then we can apply nonlocal Evans-Krylov theorem to prove such solutions are classical.


title: Floer theoretic invariants for 3- and 4-manifolds

abstract: Seiberg-Witten (Floer) theory, Ozsvath-Szabo's Heegaard Floer theory, Hutchings's embedded contact homology, in different stages of development, define (or are expected to define) packages of invariants for 3- and 4-manifolds (including manifolds with boundary and manifolds with certain types of corners). We describe what are known about their relationship, what are expected, and raise some questions along the way.


title: The shift orbits of the graded Kronecker modules

abstract: The Kronecker modules (or matrix pencils) are the representations of the n-Kronecker quiver K(n) (the quiver with two vertices, namely a sink and a source, and n arrows) over some fixed field. The universal cover of K(n) is the n-regular tree with bipartite orientation. The paper deals with the representations of the n-regular tree with bipartite orientation (thus with graded Kronecker modules). The simultaneous Bernstein-Gelfand-Ponomarev reflection at all sinks will be called the shift functor, and we consider the orbits under this shift functor. Whereas the length of a regular module growths exponentially when we apply the shift functor repeatedly, the radius of such a module growths just linearly. To any regular shift orbit, we attach a positive integer r (the minimal radius of the sink modules in the orbit) and the path in T(n) which starts at the center p of the sink modules in the orbit and ends at the center q of the source modules in the orbit. If r is even, then p has to be a sink, otherwise a source. We call this path the center path of the orbit (since the center of any module in the orbit lies on this path). If the center path of a shift orbit has length b, then the orbit contains precisely b flow modules, the remaining modules are sink modules and source modules. We use this division in order to index the regular graded Kronecker modules in a coherent way. Conversely, we show that given a positive integer r and a path in T(n) (starting at a sink iff r is even), there are regular shift orbits with these invariants.


title: Enhanced superconducting-fluctuation effects on thermodynamic properties in BCS-BEC-crossover regime

abstract: Effects of superconducting fluctuation (SCF) on thermodynamic properties of electron systems in the so-called BCS-BEC-crossover regime are studied. As the attractive interaction between electrons becomes stronger upon approaching the BCS-BEC-crossover regime, importance of the mode coupling between SCF drastically increases. The enhanced mode coupling leads to lowering of both the zero-field superconducting critical temperature and the depairing field $B_\text{c2} (T)$. Consequently, SCF-induced contributions to the specific heat and the diamagnetic susceptibility can seemingly exceed the corresponding values in the Gaussian approximation. We discuss relevance of the present results to the anomalous SCF-induced diamagnetic response observed in the iron selenide (FeSe).


title: Learning to Segment Breast Biopsy Whole Slide Images

abstract: We trained and applied an encoder-decoder model to semantically segment breast biopsy images into biologically meaningful tissue labels. Since conventional encoder-decoder networks cannot be applied directly on large biopsy images and the different sized structures in biopsies present novel challenges, we propose four modifications: (1) an input-aware encoding block to compensate for information loss, (2) a new dense connection pattern between encoder and decoder, (3) dense and sparse decoders to combine multi-level features, (4) a multi-resolution network that fuses the results of encoder-decoders run on different resolutions. Our model outperforms a feature-based approach and conventional encoder-decoders from the literature. We use semantic segmentations produced with our model in an automated diagnosis task and obtain higher accuracies than a baseline approach that employs an SVM for feature-based segmentation, both using the same segmentation-based diagnostic features.


title: Causality-Aided Falsification

abstract: Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability. In this paper we introduce the idea of causality aid in falsification: by providing a falsification solver -- that relies on stochastic optimization of a certain cost function -- with suitable causal information expressed by a Bayesian network, search for a falsifying input value can be efficient. Our experiment results show the idea's viability.


title: Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars

abstract: The collective of autonomous cars is expected to generate almost optimal traffic. In this position paper we discuss the multi-agent models and the verification results of the collective behaviour of autonomous cars. We argue that non-cooperative autonomous adaptation cannot guarantee optimal behaviour. The conjecture is that intention aware adaptation with a constraint on simultaneous decision making has the potential to avoid unwanted behaviour. The online routing game model is expected to be the basis to formally prove this conjecture.


title: A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

abstract: The development and deployment of Autonomous Vehicles (AVs) on our roads is not only realistic in the near future but can also bring significant benefits. In particular, it can potentially solve several problems relating to vehicles and traffic, for instance: (i) possible reduction of traffic congestion, with the consequence of improved fuel economy and reduced driver inactivity; (ii) possible reduction in the number of accidents, assuming that an AV can minimise the human errors that often cause traffic accidents; and (iii) increased ease of parking, especially when one considers the potential for shared AVs. In order to deploy an AV there are significant steps that must be completed in terms of hardware and software. As expected, software components play a key role in the complex AV system and so, at least for safety, we should assess the correctness of these components. In this paper, we are concerned with the high-level software component(s) responsible for the decisions in an AV. We intend to model an AV capable of navigation; obstacle avoidance; obstacle selection (when a crash is unavoidable) and vehicle recovery, etc, using a rational agent. To achieve this, we have established the following stages. First, the agent plans and actions have been implemented within the Gwendolen agent programming language. Second, we have built a simulated automotive environment in the Java language. Third, we have formally specified some of the required agent properties through LTL formulae, which are then formally verified with the AJPF verification tool. Finally, within the MCAPL framework (which comprises all the tools used in previous stages) we have obtained formal verification of our AV agent in terms of its specific behaviours. For example, the agent plans responsible for selecting an obstacle with low potential damage, instead of a higher damage obstacle (when possible) can be formally verified within MCAPL. We must emphasise that the major goal (of our present approach) lies in the formal verification of agent plans, rather than evaluating real-world applications. For this reason we utilised a simple matrix representation concerning the environment used by our agent.


title: Monitoring of Traffic Manoeuvres with Imprecise Information

abstract: In monitoring, we algorithmically check if a single behavior satisfies a property. Here, we consider monitoring for Multi-Lane Spatial Logic (MLSL). The behavior is given as a finite transition sequence of MLSL and the property is that a spatial MLSL formula should hold at every point in time within the sequence. In our procedure we transform the transition sequence and the formula to the first-order theory of real-closed fields, which is decidable, such that the resulting formula is valid iff the MLSL formula holds throughout the transition sequence. We then assume that temporal data may have an error of up to $\varepsilon$, and that spatial data may have an error of up to $\delta$. We extend our procedure to check if the MLSL formula $\varepsilon$-$\delta$-robustly holds throughout the transition sequence.


title: Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

abstract: Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider a concept of imperfect knowledge, where cars have less information about other cars. To this end, we introduce the concept of a multi-view and propose crossing controllers using broadcast communication with data constraints for turning manoeuvres at intersections.


title: Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps

abstract: We assume that autonomous or highly automated driving (AD) will be accompanied by tough assurance obligations exceeding the requirements of even recent revisions of ISO 26262 or SOTIF. Hence, automotive control and safety engineers have to (i) comprehensively analyze the driving process and its control loop, (ii) identify relevant hazards stemming from this loop, (iii) establish feasible automated measures for the effective mitigation of these hazards or the alleviation of their consequences. By studying an example, this article investigates some achievements in the modeling for the steps (i), (ii), and (iii), amenable to formal verification of desired properties derived from potential assurance obligations such as the global existence of an effective mitigation strategy. In addition, the proposed approach is meant for step-wise refinement towards the automated synthesis of AD safety controllers implementing such properties.


title: Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

abstract: We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its station in finite time and remains in it while waiting for further instructions. We model the dynamics as well as the control law as a hybrid program and formally verify both the reachability and safety properties involved. We highlight in particular the automated generation of invariant regions which turns out to be crucial in performing such verification. We use the theorem prover Keymaera X to discharge some of the generated proof obligations.


title: Two circles and only a straightedge

abstract: We answer a question of David Hilbert: given two circles it is not possible in general to construct their centers using only a straightedge. On the other hand, we give infinitely many families of pairs of circles for which such construction is possible.


title: Coalescent results for diploid exchangeable population models

abstract: We consider diploid bi-parental analogues of Cannings models: in a population of fixed size $N$ the next generation is composed of $V_{i,j}$ offspring from parents $i$ and $j$, where $V=(V_{i,j})_{1\le i\neq j \le N}$ is a (jointly) exchangeable (symmetric) array. Every individual carries two chromosome copies, each of which is inherited from one of its parents. We obtain general conditions, formulated in terms of the vector of the total number of offspring to each individual, for the convergence of the properly scaled ancestral process for an $n$-sample of genes towards a ($\Xi$-)coalescent. This complements M\"ohle and Sagitov's (2001) result for the haploid case and sharpens the profile of M\"ohle and Sagitov's (2003) study of the diploid case, which focused on fixed couples, where each row of $V$ has at most one non-zero entry. We apply the convergence result to several examples, in particular to two diploid variations of Schweinsberg's (2003) model, leading to Beta-coalescents with two-fold and with four-fold mergers, respectively.


title: Democratic Fair Allocation of Indivisible Goods

abstract: We study the problem of fairly allocating indivisible goods to groups of agents. Agents in the same group share the same set of goods even though they may have different preferences. Previous work has focused on unanimous fairness, in which all agents in each group must agree that their group's share is fair. Under this strict requirement, fair allocations exist only for small groups. We introduce the concept of democratic fairness, which aims to satisfy a certain fraction of the agents in each group. This concept is better suited to large groups such as cities or countries. We present protocols for democratic fair allocation among two or more arbitrarily large groups of agents with monotonic, additive, or binary valuations. For two groups with arbitrary monotonic valuations, we give an efficient protocol that guarantees envy-freeness up to one good for at least $1/2$ of the agents in each group, and prove that the $1/2$ fraction is optimal. We also present other protocols that make weaker fairness guarantees to more agents in each group, or to more groups. Our protocols combine techniques from different fields, including combinatorial game theory, cake cutting, and voting.


title: Segmentation and Classification of Cine-MR Images Using Fully Convolutional Networks and Handcrafted Features

abstract: Three-dimensional cine-MRI is of crucial importance for assessing the cardiac function. Features that describe the anatomy and function of cardiac structures (e.g. Left Ventricle (LV), Right Ventricle (RV), and Myocardium(MC)) are known to have significant diagnostic value and can be computed from 3D cine-MR images. However, these features require precise segmentation of cardiac structures. Among the fully automated segmentation methods, Fully Convolutional Networks (FCN) with Skip Connections have shown robustness in medical segmentation problems. In this study, we develop a complete pipeline for classification of subjects with cardiac conditions based on 3D cine-MRI. For the segmentation task, we develop a 2D FCN and introduce Parallel Paths (PP) as a way to exploit the 3D information of the cine-MR image. For the classification task, 125 features were extracted from the segmented structures, describing their anatomy and function. Next, a two-stage pipeline for feature selection using the LASSO method is developed. A subset of 20 features is selected for classification. Each subject is classified using an ensemble of Logistic Regression, Multi-Layer Perceptron, and Support Vector Machine classifiers through majority voting. The Dice Coefficient for segmentation was 0.95+-0.03, 0.89+-0.13, and 0.90+-0.03 for LV, RV, and MC respectively. The 8-fold cross validation accuracy for the classification task was 95.05% and 92.77% based on ground truth and the proposed methods segmentations respectively. The results show that the PPs increase the segmentation accuracy, by exploiting the spatial relations. Moreover, the classification algorithm and the features showed discriminability while keeping the sensitivity to segmentation error as low as possible.


title: Evolution of the partially frustrated magnetic order in CePd$_{1-x}$Ni$_x$Al

abstract: We report on a single-crystal neutron diffraction study of the evolution of the antiferromagnetic order in the heavy-fermion compound CePd$_{1-x}$Ni$_x$Al which exhibits partial geometric frustration due to its distorted Kagom\'e structure. The magnetic structure is found to be unchanged with a propagation vector $Q_\mathrm{AF} \approx (0.5~0~0.35)$ for all Ni concentrations $x$ up to $x_c \approx 0.14$. Upon approaching the quantum critical concentration $x_c$, the ordered moment vanishes linearly with N\'eel temperature $T_{\rm N}$, in good agreement with CePdAl under hydrostatic pressure. For all Ni concentrations, substantial short-range magnetic correlations are observed above $T_{\rm N}$ as a result of frustration.


title: Enhancement of Coherent Phonon Amplitude in Phase-change Materials by Near-infrared Laser Irradiation

abstract: We have examined the effect of pump-probe photon energy on the amplitude of coherent optical phonons in a prototypical phase change material using a femtosecond time-resolved transmission technique. The photon energy was varied between 0.8 and 1.0 eV (corresponding to the wavelength of 1550 and 1200 nm), a range over which there is significant optical contrast between the crystalline and amorphous phases of Ge$_{2}$Sb$_{2}$Te$_{5}$ (GST225). It was found that in crystalline GST225 the coherent phonon amplitude monotonically increases as the photon energy increases, indicating that the phonon amplitude is enhanced by interband optical absorption, which is associated with the imaginary part of the dielectric function. In amorphous GST225, in contrast, the coherent phonon amplitude does not depend on the photon energy, remaining almost constant over the tuning range. A possible contribution from the polarizability associated with resonant bonding nature of GST225 is discussed.


title: Reproducing Kernels of Sobolev Spaces on $\mathbb{R}^d$ and Applications to Embedding Constants and Tractability

abstract: The standard Sobolev space $W^s_2(\mathbb{R}^d)$, with arbitrary positive integers $s$ and $d$ for which $s>d/2$, has the reproducing kernel $$ K_{d,s}(x,t)=\int_{\mathbb{R}^d}\frac{\prod_{j=1}^d\cos\left(2\pi\,(x_j-t_j)u_j\right)} {1+\sum_{0<|\alpha|_1\le s}\prod_{j=1}^d(2\pi\,u_j)^{2\alpha_j}}\,{\rm d}u $$ for all $x,t\in\mathbb{R}^d$, where $x_j,t_j,u_j,\alpha_j$ are components of $d$-variate $x,t,u,\alpha$, and $|\alpha|_1=\sum_{j=1}^d\alpha_j$ with non-negative integers $\alpha_j$. We obtain a more explicit form for the reproducing kernel $K_{1,s}$ and find a closed form for the kernel $K_{d, \infty}$. Knowing the form of $K_{d,s}$, we present applications on the best embedding constants between the Sobolev space $W^s_2(\mathbb{R}^d)$ and $L_\infty(\mathbb{R}^d)$, and on strong polynomial tractability of integration with an arbitrary probability density. We prove that the best embedding constants are exponentially small in $d$, whereas worst case integration errors of algorithms using $n$ function values are also exponentially small in $d$ and decay at least like $n^{-1/2}$. This yields strong polynomial tractability in the worst case setting for the absolute error criterion.


title: Josephson Coupling in the Dissipative State of a Thermally Hysteretic $\mu$-SQUID

abstract: Micron-sized superconducting interference devices ($\mu$-SQUIDs) based on constrictions optimized for minimizing thermal runaway are shown to exhibit voltage oscillations with applied magnetic flux despite their hysteretic behavior. We explain this remarkable feature by a significant supercurrent contribution surviving deep into the resistive state, due to efficient heat evacuation. A resistively shunted junction model, complemented by a thermal balance determining the amplitude of the critical current, describes well all experimental observations, including the flux modulation of the (dynamic) retrapping current and voltage by introducing a single dimensionless parameter. Thus hysteretic $\mu$-SQUIDs can be operated in the voltage read-out mode with a faster response. The quantitative modeling of this regime incorporating both heating and phase dynamics paves the way for further optimization of $\mu$-SQUIDs for nano-magnetism.


title: ASTRI SST-2M prototype and mini-array simulation chain, data reduction software, and archive in the framework of the Cherenkov Telescope Array

abstract: The Cherenkov Telescope Array (CTA) is a worldwide project aimed at building the next-generation ground-based gamma-ray observatory. Within the CTA project, the Italian National Institute for Astrophysics (INAF) is developing an end-to-end prototype of the CTA Small-Size Telescopes with a dual-mirror (SST-2M) Schwarzschild-Couder configuration. The prototype, named ASTRI SST-2M, is located at the INAF "M.C. Fracastoro" observing station in Serra La Nave (Mt. Etna, Sicily) and is currently in the scientific and performance validation phase. A mini-array of (at least) nine ASTRI telescopes has been then proposed to be deployed at the Southern CTA site, by means of a collaborative effort carried out by institutes from Italy, Brazil, and South-Africa. The CTA/ASTRI team is developing an end-to-end software package for the reduction of the raw data acquired with both ASTRI SST-2M prototype and mini-array, with the aim of actively contributing to the global ongoing activities for the official data handling system of the CTA observatory. The group is also undertaking a massive Monte Carlo simulation data production using the detector Monte Carlo software adopted by the CTA consortium. Simulated data are being used to validate the simulation chain and evaluate the ASTRI SST-2M prototype and mini-array performance. Both activities are also carried out in the framework of the European H2020-ASTERICS (Astronomy ESFRI and Research Infrastructure Cluster) project. A data archiving system, for both ASTRI SST-2M prototype and mini-array, has been also developed by the CTA/ASTRI team, as a testbed for the scientific archive of CTA. In this contribution, we present the main components of the ASTRI data handling systems and report the status of their development.


title: Weak-decay searches for $Qs\bar u\bar d$ tetraquarks

abstract: We propose to search for the open heavy-flavor exotic states with the quark components of $Qs\bar u\bar d$ with $Q=b,c$ via their weak decays. If there exist such exotic states below the $BK$ or $DK$ thresholds, they can only decay weakly. The advantages include: (i) the experimental backgrounds from the secondary decay vertex are much lower due to the long lifetimes, (ii) the productions are large enough for only one heavy quark in such states, (iii) the thresholds of $BK$ or $DK$ are about 260 MeV higher compared to the $B_s\pi$ or $D_s\pi$ thresholds of the configurations of $Qu\bar s\bar d$ or $Qd\bar s\bar u$ , with a higher possibility to exist such weakly-decay particles, and (iv) if observed, their inner structures are easier understood since they can not be induced by the kinematic effects.


title: A Conjectural Algorithm for Simple Characters of Algebraic Groups

abstract: We describe an algorithm, which - given the characters of tilting modules and assuming that Donkin's tilting conjecture is true - computes the characters of simple modules for an algebraic group in any characteristic.


title: The third symmetric potency of the circle and the Barnette sphere

abstract: We give an elementary (not cut just paste) proof of results of Bott and Shchepin: the space of non-empty subsets of a circle of cardinality at most 3, which is called the third symmetric potency of the circle, is homeomorphic to a 3-sphere and the inclusion of the space of one element subsets is a trefoil knot. Moreover, we give an explicit simplicial decomposition of the third symmetric potency of the circle which is isomorphic to the Barnette sphere.


title: Mirror actuation design for the interferometer control of the KAGRA gravitational wave telescope

abstract: KAGRA is a 3-km cryogenic interferometric gravitational wave telescope located at an underground site in Japan. In order to achieve its target sensitivity, the relative positions of the mirrors of the interferometer must be finely adjusted with attached actuators. We have developed a model to simulate the length control loops of the KAGRA interferometer with realistic suspension responses and various noises for mirror actuation. Using our model, we have designed the actuation parameters to have sufficient force range to acquire lock as well as to control all the length degrees of freedom without introducing excess noise.


title: Tunable light trapping and absorption enhancement with graphene-based complementary metamaterials

abstract: Surface plasmon resonance (SPR) has been intensively investigated and widely exploited to trap the incident light and enhance absorption in the optoelectronic devices. The availability of graphene as a plasmonic material with strong half-metallicity and continuously tunable surface conductivity makes it promising to dynamically modulate the absorption enhancement with graphene-based metamaterials. Here we numerically demonstrate tunable light trapping and absorption enhancement can be realized with graphene-based complementary metamaterials. Furthermore, we also explore the polarization sensitivity in the proposed device, in which case either TM or TE plane wave at the specific wavelength can be efficiently absorbed by simply manipulating the Fermi energy of graphene. Therefore, this work can find potential applications in the next generation of photodetectors with tunable spectral and polarization selectivity in the mid-infrared and terahertz (THz) regimes.


title: Deep learning for undersampled MRI reconstruction

abstract: This paper presents a deep learning method for faster magnetic resonance imaging (MRI) by reducing k-space data with sub-Nyquist sampling strategies and provides a rationale for why the proposed approach works well. Uniform subsampling is used in the time-consuming phase-encoding direction to capture high-resolution image information, while permitting the image-folding problem dictated by the Poisson summation formula. To deal with the localization uncertainty due to image folding, very few low-frequency k-space data are added. Training the deep learning net involves input and output images that are pairs of Fourier transforms of the subsampled and fully sampled k-space data. Numerous experiments show the remarkable performance of the proposed method; only 29% of k-space data can generate images of high quality as effectively as standard MRI reconstruction with fully sampled data.


title: An integrated quasi-Monte Carlo method for handling high dimensional problems with discontinuities in financial engineering

abstract: Quasi-Monte Carlo (QMC) method is a useful numerical tool for pricing and hedging of complex financial derivatives. These problems are usually of high dimensionality and discontinuities. The two factors may significantly deteriorate the performance of the QMC method. This paper develops an integrated method that overcomes the challenges of the high dimensionality and discontinuities concurrently. For this purpose, a smoothing method is proposed to remove the discontinuities for some typical functions arising from financial engineering. To make the smoothing method applicable for more general functions, a new path generation method is designed for simulating the paths of the underlying assets such that the resulting function has the required form. The new path generation method has an additional power to reduce the effective dimension of the target function. Our proposed method caters for a large variety of model specifications, including the Black-Scholes, exponential normal inverse Gaussian L\'evy, and Heston models. Numerical experiments dealing with these models show that in the QMC setting the proposed smoothing method in combination with the new path generation method can lead to a dramatic variance reduction for pricing exotic options with discontinuous payoffs and for calculating options' Greeks. The investigation on the effective dimension and the related characteristics explains the significant enhancement of the combined procedure.


title: A Combinatorial Grassmannian Representation of the Magic Three-Qubit Veldkamp Line

abstract: It is demonstrated that the magic three-qubit Veldkamp line occurs naturally within the Veldkamp space of combinatorial Grassmannian of type $G_2(7)$, $\mathcal{V}(G_2(7))$. The lines of the ambient symplectic polar space are those lines of $\mathcal{V}(G_2(7))$ whose cores feature an odd number of points of $G_2(7)$. After introducing basic properties of three different types of points and six distinct types of lines of $\mathcal{V}(G_2(7))$, we explicitly show the combinatorial Grassmannian composition of the magic Veldkamp line; we first give representatives of points and lines of its core generalized quadrangle GQ$(2,2)$, and then additional points and lines of a specific elliptic quadric $\mathcal{Q}^{-}$(5,2), a hyperbolic quadric $\mathcal{Q}^{+}$(5,2) and a quadratic cone $\widehat{\mathcal{Q}}$(4,2) that are centered on the GQ$(2,2)$. In particular, each point of $\mathcal{Q}^{+}$(5,2) is represented by a Pasch configuration and its complementary line, the (Schl\"afli) double-six of points in $\mathcal{Q}^{-}$(5,2) comprise six Cayley-Salmon configurations and six Desargues configurations with their complementary points, and the remaining Cayley-Salmon configuration stands for the vertex of $\widehat{\mathcal{Q}}$(4,2).


title: Balanced Line Separators of Unit Disk Graphs

abstract: We prove a geometric version of the graph separator theorem for the unit disk intersection graph: for any set of $n$ unit disks in the plane there exists a line $\ell$ such that $\ell$ intersects at most $O(\sqrt{(m+n)\log{n}})$ disks and each of the halfplanes determined by $\ell$ contains at most $2n/3$ unit disks from the set, where $m$ is the number of intersecting pairs of disks. We also show that an axis-parallel line intersecting $O(\sqrt{m+n})$ disks exists, but each halfplane may contain up to $4n/5$ disks. We give an almost tight lower bound (up to sublogarithmic factors) for our approach, and also show that no line-separator of sublinear size in $n$ exists when we look at disks of arbitrary radii, even when $m=0$. Proofs are constructive and suggest simple algorithms that run in linear time. Experimental evaluation has also been conducted, which shows that for random instances our method outperforms the method by Fox and Pach (whose separator has size $O(\sqrt{m})$).


title: $t$-Frobenius Negacyclic Codes

abstract: Let $\mathbb{F}_p$ denote the finite field of order $p$, where $p$ is an odd prime. We study certain quantum negacyclic codes over $\mathbb{F}_p$ which we call $t$-Frobenius negacyclic codes. We obtain a criterion for constructing such codes from certain subspaces of $\mathbb{F}_p^n\times\mathbb{F}_p^n$ in terms of generating pairs of ideals of cyclotomic rings and we completely classify all linear $t$-Frobenius negacyclic codes. Further, the notion of BCH distance is extended for these codes and several new codes are identified.