title: Chemistry on Rotating Grain Surface: Ro-Thermal Desorption of Molecules from Ice Mantles

abstract: It is widely believed that water and complex organic molecules (COMs) first form in the ice mantle of dust grains and are subsequently returned into the gas due to grain heating by intense radiation of protostars. Previous research on the desorption of molecules from the ice mantle assumed that grains are at rest which is contrary to the fact that grains are suprathermally rotating as a result of their interaction with an anisotropic radiation or gas flow. {To clearly understand how molecules are released in to the gas phase, the effect of grain suprathermal rotation on surface chemistry must be quantified}. In this paper, we study the effect of suprathermal rotation of dust grains spun-up by radiative torques on the desorption of molecules from icy grain mantles around protostars. We show that centrifugal potential energy due to grain rotation reduces the potential barrier of molecules and significantly enhances their desorption rate. We term this mechanism {\it rotational-thermal} or {\it ro-thermal} desorption. We apply the ro-thermal mechanism for studying the desorption of molecules from icy grains which are simultaneously heated to high temperatures and spun-up to suprathermal rotation by an intense radiation of protostars. We find that ro-thermal desorption is much more efficient than thermal desorption for molecules with high binding energy such as water and COMs. Our results have important implications for understanding the origin of COMs detected in star-forming regions and call for attention to the effect of suprathermal rotation of icy grains to use molecules as a tracer of physical conditions of star-forming regions.

categories: astro-ph.GA astro-ph.EP astro-ph.SR physics.chem-ph


title: PyProcar: A Python library for electronic structure pre/post-processing

abstract: The PyProcar Python package plots the band structure and the Fermi surface as a function of site and/or s,p,d,f - projected wavefunctions obtained for each $k$-point in the Brillouin zone and band in an electronic structure calculation. This can be performed on top of any electronic structure code, as long as the band and projection information is written in the PROCAR format, as done by the VASP and ABINIT codes. PyProcar can be easily modified to read other formats as well. This package is particularly suitable for understanding atomic effects into the band structure, Fermi surface, spin texture, etc. PyProcar can be conveniently used in a command line mode, where each one of the parameters define a plot property. In the case of Fermi-surfaces, the package is able to plot the surface with colors depending on other properties such as the electron velocity or spin projection. The mesh used to calculate the property does not need to be the same as the one used to obtain the Fermi surface. A file with a specific property evaluated for each $k$-point in a $k-$mesh and for each band can be used to project other properties such as electron-phonon mean path, Fermi velocity, electron effective mass, etc. Another existing feature refers to the band unfolding of supercell calculations into predefined unit cells.


title: Constraining Radio Mode Feedback in Galaxy Clusters with the Cluster Radio AGN Properties to z$\sim$1

abstract: We study the properties of the Sydney University Molonglo Sky Survey (SUMSS) 843~MHz radio AGN population in galaxy clusters from two large catalogs created using the Dark Energy Survey (DES): $\sim$11,800 optically selected RM-Y3 and $\sim$1,000 X-ray selected MARD-Y3 clusters. We show that cluster radio loud AGN are highly concentrated around cluster centers to $z\sim1$. We measure the halo occupation number for cluster radio AGN above a threshold luminosity, finding that the number of radio AGN per cluster increases with cluster halo mass as $N\propto M^{1.2\pm0.1}$ ($N\propto M^{0.68\pm0.34}$) for the RM-Y3 (MARD-Y3) sample. Together, these results indicate that radio mode feedback is favoured in more massive galaxy clusters. Using optical counterparts for these sources, we demonstrate weak redshift evolution in the host broad band colors and the radio luminosity at fixed host galaxy stellar mass. We use the redshift evolution in radio luminosity to break the degeneracy between density and luminosity evolution scenarios in the redshift trend of the radio AGN luminosity function (LF). The LF exhibits a redshift trend of the form $(1+z)^\gamma$ in density and luminosity, respectively, of $\gamma_{\rm D}=3.0\pm0.4$ and $\gamma_{\rm P}=0.21\pm0.15$ in the RM-Y3 sample, and $\gamma_{\rm D}=2.6\pm0.7$ and $\gamma_{\rm P}=0.31\pm0.15$ in MARD-Y3. We discuss the physical drivers of radio mode feedback in cluster AGN, and we use the cluster radio galaxy LF to estimate the average radio-mode feedback energy as a function of cluster mass and redshift and compare it to the core ($<0.1R_{500}$) X-ray radiative losses for clusters at $z<1$.


title: No Pressure! Addressing the Problem of Local Minima in Manifold Learning Algorithms

abstract: Nonlinear embedding manifold learning methods provide invaluable visual insights into the structure of high-dimensional data. However, due to a complicated nonconvex objective function, these methods can easily get stuck in local minima and their embedding quality can be poor. We propose a natural extension to several manifold learning methods aimed at identifying pressured points, i.e. points stuck in poor local minima and have poor embedding quality. We show that the objective function can be decreased by temporarily allowing these points to make use of an extra dimension in the embedding space. Our method is able to improve the objective function value of existing methods even after they get stuck in a poor local minimum.


title: Feshbach projection XMCQDPT2 model for metastable electronic states

abstract: Autoionizing electronic states are common intermediates in processes initiated by electron impact or high-energy radiation. These states belong to the continuous spectrum of the Hamiltonian, and as such cannot be treated with methods developed for bound electronic states. Here we propose a new model for describing metastable electronic states, which combines discretized Feshbach projection formalism and multireference perturbation theory and exploits absorbing potential to generate the basis of the coupled valence state and continuum. The results of benchmark calculations for a series of shape resonances in polyatomic molecules are in good agreement with experimental and theoretical reference values.


title: Dynamically Stable Matching

abstract: I introduce a stability notion, dynamic stability, for two-sided dynamic matching markets where (i) matching opportunities arrive over time, (ii) matching is one-to-one, and (iii) matching is irreversible. The definition addresses two conceptual issues. First, since not all agents are available to match at the same time, one must establish which agents are allowed to form blocking pairs. Second, dynamic matching markets exhibit a form of externality that is not present in static markets: an agent's payoff from remaining unmatched cannot be defined independently of what other contemporaneous agents' outcomes are. Dynamically stable matchings always exist. Dynamic stability is a necessary condition to ensure timely participation in the economy by ensuring that agents do not strategically delay the time at which they are available to match.


title: From self-tuning regulators to reinforcement learning and back again

abstract: Machine and reinforcement learning (RL) are increasingly being applied to plan and control the behavior of autonomous systems interacting with the physical world. Examples include self-driving vehicles, distributed sensor networks, and agile robots. However, when machine learning is to be applied in these new settings, the algorithms had better come with the same type of reliability, robustness, and safety bounds that are hallmarks of control theory, or failures could be catastrophic. Thus, as learning algorithms are increasingly and more aggressively deployed in safety critical settings, it is imperative that control theorists join the conversation. The goal of this tutorial paper is to provide a starting point for control theorists wishing to work on learning related problems, by covering recent advances bridging learning and control theory, and by placing these results within an appropriate historical context of system identification and adaptive control.


title: Enhancing quantum annealing performance by a degenerate two-level system

abstract: Quantum annealing is an innovative idea and method for avoiding the increase of the calculation cost of the combinatorial optimization problem. Since the combinatorial optimization problems are ubiquitous, quantum annealing machine with high efficiency and scalability will give an immeasurable impact on many fields. However, the conventional quantum annealing machine may not have a high success probability for finding the solution because the energy gap closes exponentially as a function of the system size. To propose an idea for finding high success probability is one of the most important issues. Here we show that a degenerate two-level system provides the higher success probability than the conventional spin-1/2 model in a weak longitudinal magnetic field region. The physics behind this is that the quantum annealing in this model can be reduced into that in the spin-1/2 model, where the effective longitudinal magnetic field may open the energy gap, which suppresses the Landau--Zener tunneling providing leakage of the ground state. We also present the success probability of the $\Lambda$-type system, which may show the higher success probability than the conventional spin-1/2 model.


title: Quantum Pin Codes

abstract: We introduce quantum pin codes: a class of quantum CSS codes. Quantum pin codes are a generalization of quantum color codes and Reed-Muller codes and share a lot of their structure and properties. Pin codes have gauge operators, an unfolding procedure and their stabilizers form so-called $\ell$-orthogonal spaces meaning that the joint overlap between any $\ell$ stabilizer elements is always even. This last feature makes them interesting for devising magic-state distillation protocols, for instance by using puncturing techniques. We study examples of these codes and their properties.


title: A Tutorial on Concentration Bounds for System Identification

abstract: We provide a brief tutorial on the use of concentration inequalities as they apply to system identification of state-space parameters of linear time invariant systems, with a focus on the fully observed setting. We draw upon tools from the theories of large-deviations and self-normalized martingales, and provide both data-dependent and independent bounds on the learning rate.


title: How response designs and class proportions affect the accuracy of validation data

abstract: Reference data collected to validate land cover maps are generally considered free of errors. In practice, however, they contain errors despite all efforts to minimise them. These errors then propagate up to the accuracy assessment stage and impact the validation results. For photo-interpreted reference data, the three most widely studied sources of error are systematic incorrect labelling, vigilance drops, and demographic factors. How internal estimation errors, i.e., errors intrinsic to the response design, affect the accuracy of reference data is far less understood. We analysed the impact of estimation errors for two types of legends as well as for point-based and partition-based response designs with a range of sub-sample sizes. We showed that the accuracy of response designs depends on the class proportions within the sampling units, with complex landscapes being more prone to errors. As a result, response designs where the number of sub-samples are fixed are inefficient, and the labels of reference data sets have inconsistent confidence levels. To control estimation errors, to guarantee high accuracy standards of validation data, and to minimise data collection efforts, we proposed to rely on confidence intervals of the photo-interpreted data to define how many sub-samples should be labelled. In practice, sub-samples are iteratively selected and labelled until the estimated class proportions reach the desired level of confidence. As a result, less effort is spent on labelling obvious cases and the spared effort can be allocated to more complex cases. This approach could reduce the labelling effort by 50% to 75% in our study site, with greater gains in homogeneous landscapes. We contend that adopting this optimisation approach will not only increase the efficiency of reference data collection but will also help deliver reliable accuracy estimates to the user community.


title: Parametric dependence of hot electron relaxation timescales on electron-electron and electron-phonon interaction strengths

abstract: Understanding how photoexcited electron dynamics depend on electron-electron (e-e) and electron-phonon (e-p) interaction strengths is important for many fields, e.g. ultrafast magnetism, photocatalysis, plasmonics, and others. Here, we report simple expressions that capture the interplay of e-e and e-p interactions on electron distribution relaxation times. We observe a dependence of the dynamics on e-e and e-p interaction strengths that is universal to most metals and is also counterintuitive. While only e-p interactions reduce the total energy stored by excited electrons, the time for energy to leave the electronic subsystem also depends on e-e interaction strengths because e-e interactions increase the number of electrons emitting phonons. The effect of e-e interactions on energy-relaxation is largest in metals with strong e-p interactions. Finally, the time high energy electron states remain occupied depends only on the strength of e-e interactions, even if e-p scattering rates are much greater than e-e scattering rates.


title: Increasing signal amplitude in electrical impedance tomography of neural activity using a parallel resistor inductor capacitor (RLC) circuit

abstract: Objective: To increase the impedance signal amplitude produced during neural activity using a novel approach of implementing a parallel resistor inductor capacitor (RLC) circuit across the current source used in electrical impedance tomography (EIT) of peripheral nerve. Approach: Experiments were performed in vitro on sciatic nerve of Sprague-Dawley rats. Design of the RLC circuit was performed in electrical circuit modelling software, aided by in vitro impedance measurements on nerve and nerve cuff in the range 5 Hz to 50 kHz. Main results: The frequency range 17 +/- 1 kHz was selected for the RLC experiment. The RLC experiment was performed on four subjects using an RLC circuit designed to produce a resonant frequency of 17 kHz with a bandwidth of 3.6 kHz, and containing a 22 mH inductive element and a 3.45 nF capacitive element. With the RLC circuit connected, relative increases in the impedance signal (+/- 3sig noise) of 44 % (+/-15 %), 33 % (+/-30 %), 37 % (+/-8.6 %), and 16 % (+/-19 %) were produced. Significance: The increase in impedance signal amplitude at high frequencies, generated by the novel implementation of a parallel RLC circuit across the drive current, improves spatial resolution by increasing the number of parallel drive currents which can be implemented in a frequency division multiplexed (FDM) EIT system, and aids the long term goal of a real-time FDM EIT system by reducing the need for ensemble averaging.


title: Permanence properties of $F$-injectivity

abstract: We prove that $F$-injectivity localizes, descends under faithfully flat homomorphisms, and ascends under flat homomorphisms with Cohen-Macaulay and geometrically $F$-injective fibers, all for arbitrary Noetherian rings of prime characteristic. As a consequence, we show that the $F$-injective locus is open on most rings arising in arithmetic and geometry. As a geometric application, we prove that over an algebraically closed field of characteristic $p > 3$, generic projection hypersurfaces associated to suitably embedded smooth projective varieties of dimension $\le 5$ are $F$-pure, and hence $F$-injective. This geometric result is the positive characteristic analogue of a theorem of Doherty.


title: Ploonets: formation, evolution and detectability of tidally detached exomoons

abstract: Close-in giant planets represent the most significant evidence of planetary migration. If large exomoons form around migrating giant planets which are more stable (e.g. those in the Solar System), what happens to these moons after migration is still under intense research. This paper explores the scenario where large regular exomoons escape after tidal-interchange of angular momentum with its parent planet, becoming small planets by themselves. We name this hypothetical type of object a \textit{ploonet}. By performing semi-analytical simulations of tidal interactions between a large moon with a close-in giant, and integrating numerically their orbits for several Myr, we found that in $\sim$50 per cent of the cases a young ploonet may survive ejection from the planetary system, or collision with its parent planet and host star, being in principle detectable. Volatile-rich ploonets are dramatically affected by stellar radiation during both planetocentric and siderocentric orbital evolution, and their radius and mass change significantly due to the sublimation of most of their material during time-scales of hundred of Myr. We estimate the photometric signatures that ploonets may produce if they transit the star during the phase of evaporation, and compare them with noisy lightcurves of known objects ("Kronian" stars and non-periodical dips in dusty lightcurves). Additionally, the typical transit timing variations (TTV) induced by the interaction of a ploonet with its planet are computed. We find that present and future photometric surveys' capabilities can detect these effects and distinguish them from those produced by other nearby planetary encounters.


title: Quantum Phase Estimation with Time-Frequency Qudits in a Single Photon

abstract: The Phase Estimation Algorithm (PEA) is an important quantum algorithm used independently or as a key subroutine in other quantum algorithms. Currently most implementations of the PEA are based on qubits, where the computational units in the quantum circuits are two-dimensional states. Performing quantum computing tasks with higher dimensional states -- qudits -- has been proposed, yet a qudit-based PEA has not been realized. Using qudits can reduce the resources needed for achieving a given precision or success probability. Compared to other quantum computing hardware, photonic systems have the advantage of being resilient to noise, but the probabilistic nature of photon-photon interaction makes it difficult to realize two-photon controlled gates that are necessary components in many quantum algorithms. In this work, we report an experimental realization of a qudit-based PEA on a photonic platform, utilizing the high dimensionality in time and frequency degrees of freedom (DoFs) in a single photon. The controlled-unitary gates can be realized in a deterministic fashion, as the control and target registers are now represented by two DoFs in a single photon. This first implementation of a qudit PEA, on any platform, successfully retrieves any arbitrary phase with one ternary digit of precision.


title: An Algorithm for Transmitting VR Video Based on Adaptive Modulation

abstract: Virtual reality (VR) is making waves around the world recently. However, traditional video streaming is not suitable for VR video because of the huge size and view switch requirements of VR videos. Since the view of each user is limited, it is unnecessary to send the whole 360-degree scene at high quality which can be a heavy burden for the transmission system. Assuming filed-of-view (FoV) of each user can be predicted with high probability, we can divide the video screen into partitions and send those partitions which will appear in FoV at high quality. Hence, we propose an novel strategy for VR video streaming. First, we define a quality-of-experience metric to measure the viewing experience of users and define a channel model to reflect the fluctuation of the wireless channel. Next, we formulate the optimization problem and find its feasible solution by convex optimization. In order to improve bandwidth efficiency, we also add adaptive modulation to this part. Finally, we compare our algorithm with other VR streaming algorithm in the simulation. It turns out that our algorithm outperforms other algorithms.


title: A decade of Gamma-Ray Bursts observed by $Fermi$-LAT: The 2$^{nd}$ GRB catalog

abstract: The Large Area Telescope (LAT) aboard the $Fermi$ spacecraft routinely observes high-energy emission from gamma-ray bursts (GRBs). Here we present the second catalog of LAT-detected GRBs, covering the first 10 years of operations, from 2008 August 4 to 2018 August 4. A total of 186 GRBs are found; of these, 91 show emission in the range $30-100\,$MeV (17 of which are seen only in this band) and 169 are detected above 100 MeV. Most of these sources were discovered by other instruments ($Fermi$/GBM, $Swift$/BAT, AGILE, INTEGRAL) or reported by the Interplanetary Network (IPN); the LAT has independently triggered on 4 GRBs. This catalog presents the results for all 186 GRBs. We study onset, duration and temporal properties of each GRB, as well as spectral characteristics in the $100\,$MeV$-100\,$GeV energy range. Particular attention is given to the photons with highest energy. Compared with the first LAT GRB catalog, our rate of detection is significantly improved. The results generally confirm the main findings of the first catalog: the LAT primarily detects the brightest GBM bursts, and the high-energy emission shows delayed onset as well as longer duration. However, in this work we find delays exceeding 1 ks, and several GRBs with durations over 10 ks. Furthermore, the larger number of LAT detections shows that these GRBs cover not only the high-fluence range of GBM-detected GRBs, but also samples lower fluences. In addition, the greater number of detected GRBs with redshift estimates allows us to study their properties in both the observer and rest frames. Comparison of the observational results with theoretical predictions reveals that no model is currently able to explain all results, highlighting the role of LAT observations in driving theoretical models.


title: Discrete scattering by a pair of parallel defects

abstract: Scattering of a time harmonic anti-plane shear wave due to either a pair of crack tips or a pair of rigid constraint tips on square lattice is considered. The two problems correspond to the so called zero-offset case of scattering due to a pair of identical Sommerfeld screens. The peculiar structural symmetry allows the reduction of coupled equations to two scalar Wiener-Hopf equations and a total of four geometrically reduced problems on lattice half-plane. Exact solution of each problem for incidence from the bulk lattice, as well as from an associated lattice waveguide, is constructed. A suitable superposition of the four expressions is used to construct the solution of the main problem. The discrete paradigm involving the wave mode incident from the waveguide is relevant for modern applications where an investigation of mechanisms of electronic and thermal transport at nanoscale remains an interesting problem.


title: BioGen: Automated Biography Generation

abstract: A biography of a person is the detailed description of several life events including his education, work, relationships, and death. Wikipedia, the free web-based encyclopedia, consists of millions of manually curated biographies of eminent politicians, film and sports personalities, etc. However, manual curation efforts, even though efficient, suffers from significant delays. In this work, we propose an automatic biography generation framework BioGen. BioGen generates a short collection of biographical sentences clustered into multiple events of life. Evaluation results show that biographies generated by BioGen are significantly closer to manually written biographies in Wikipedia. A working model of this framework is available at nlpbiogen.herokuapp.com/home/.


title: Photoluminescence decomposition analysis: a technique to characterize NV creation in diamond

abstract: Treatment of lab-grown diamond by electron irradiation and annealing has enabled quantum sensors based on negatively-charged nitrogen-vacancy (NV$^\text{-}$) centers to demonstrate record sensitivities. \cite{Clevenson2015,Wolf2015,Barry2016,Chatzidrosos2017}. Here we investigate the irradiation and annealing process applied to 28 diamond samples using a new ambient-temperature, all-optical approach. As the presence of the neutrally-charged nitrogen-vacancy (NV$^\text{0}$) center is deleterious to sensor performance, this photoluminescence decomposition analysis (PDA) is first employed to determine the concentration ratio of NV$^\text{-}$ to NV$^0$ in diamond samples from the measured photoluminescence spectrum. The analysis hinges on (i) isolating each NV charge state's emission spectrum and (ii) measuring the NV$^\text{-}$ to NV$^0$ emission ratio, which is found to be 2.5$\pm$0.5 under low-intensity 532 nm illumination. Using the PDA method, we measure the effects of irradiation and annealing on conversion of substitutional nitrogen to NV centers. Combining these measurements with a phenomenological model for diamond irradiation and annealing, we extract an estimated monovacancy creation rate of $0.52\pm 0.26$ cm$^{\text{-1}}$ for 1 MeV electron irradiation and an estimated monovacancy diffusion coefficient of 1.8 nm$^2$/s at 850~$^\circ$C. Finally we find that irradiation doses $\gtrsim 10^{18}$ e$^\text{-}$/cm$^2$ deteriorate the NV$^\text{-}$ decoherence time $T_2$ whereas $T_1$ is unaffected up to the the maximum investigated dose of $5\times 10^{18}$ e$^\text{-}$/cm$^2$.


title: Emergence of Exploratory Look-Around Behaviors through Active Observation Completion

abstract: Standard computer vision systems assume access to intelligently captured inputs (e.g., photos from a human photographer), yet autonomously capturing good observations is a major challenge in itself. We address the problem of learning to look around: how can an agent learn to acquire informative visual observations? We propose a reinforcement learning solution, where the agent is rewarded for reducing its uncertainty about the unobserved portions of its environment. Specifically, the agent is trained to select a short sequence of glimpses after which it must infer the appearance of its full environment. To address the challenge of sparse rewards, we further introduce sidekick policy learning, which exploits the asymmetry in observability between training and test time. The proposed methods learn observation policies that not only perform the completion task for which they are trained, but also generalize to exhibit useful "look-around" behavior for a range of active perception tasks.


title: Mean Gradient Descent: An optimization approach for single-shot interferogram analysis

abstract: Complex object wave recovery from single-shot interference pattern is an important practical problem in interferometry and digital holography. The most popular single-shot interferogram analysis method involves Fourier filtering of cross-term but this method suffers from poor resolution. For obtaining full pixel resolution, it is necessary to model the object wave recovery as an optimization problem. The optimization approach typically involves minimizing a cost function consisting of a data consistency term and one or more constraint terms. Despite its potential performance advantages, this method is not used widely due to several tedious and difficult tasks such as empirical tuning of free parameters. We introduce a new optimization approach Mean gradient descent (MGD) for single-shot interferogram analysis that is simple to implement, robust and does not require any free parameters. The MGD iteration does not try to achieve minimization of any cost function but instead aims to reach a solution point where the data consistency and the constraint terms balance each other. This is achieved by iteratively progressing the solution in the direction that bisects the descent directions associated with the error and constraint terms. Numerical illustrations are shown for recovery of a step phase object from its corresponding off-axis as well as on-axis interferograms simulated with multiple noise levels. Our results show full pixel resolution as evident from the recovery of phase step and excellent rms phase accuracy relative to the ground truth phase map. The concept of MGD as presented here can potentially find applications to wider class of optimization problems.


title: Generalization of Dempster-Shafer theory: A complex belief function

abstract: Dempster-Shafer evidence theory has been widely used in various fields of applications, because of the flexibility and effectiveness in modeling uncertainties without prior information. However, the existing evidence theory is insufficient to consider the situations where it has no capability to express the fluctuations of data at a given phase of time during their execution, and the uncertainty and imprecision which are inevitably involved in the data occur concurrently with changes to the phase or periodicity of the data. In this paper, therefore, a generalized Dempster-Shafer evidence theory is proposed. To be specific, a mass function in the generalized Dempster-Shafer evidence theory is modeled by a complex number, called as a complex basic belief assignment, which has more powerful ability to express uncertain information. Based on that, a generalized Dempster's combination rule is exploited. In contrast to the classical Dempster's combination rule, the condition in terms of the conflict coefficient between the evidences K<1 is released in the generalized Dempster's combination rule. Hence, it is more general and applicable than the classical Dempster's combination rule. When the complex mass function is degenerated from complex numbers to real numbers, the generalized Dempster's combination rule degenerates to the classical evidence theory under the condition that the conflict coefficient between the evidences K is less than 1. In a word, this generalized Dempster-Shafer evidence theory provides a promising way to model and handle more uncertain information.


title: Computational MRI with Physics-based Constraints: Application to Multi-contrast and Quantitative Imaging

abstract: Compressed sensing takes advantage of low-dimensional signal structure to reduce sampling requirements far below the Nyquist rate. In magnetic resonance imaging (MRI), this often takes the form of sparsity through wavelet transform, finite differences, and low rank extensions. Though powerful, these image priors are phenomenological in nature and do not account for the mechanism behind the image formation. On the other hand, MRI signal dynamics are governed by physical laws, which can be explicitly modeled and used as priors for reconstruction. {1}These explicit and implicit signal priors can be synergistically combined in an inverse problem framework to recover sharp, multi-contrast images from highly accelerated scans. Furthermore, the physics-based constraints provide a recipe for recovering quantitative, bio-physical parameters from the data. This article introduces physics-based modeling constraints in MRI and shows how they can be used in conjunction with compressed sensing for image reconstruction and quantitative imaging. We describe model-based quantitative MRI, as well as its linear subspace approximation. We also discuss approaches to selecting user-controllable scan parameters given knowledge of the physical model. We present several MRI applications that take advantage of this framework for the purpose of multi-contrast imaging and quantitative mapping.


title: Local and global analyticity for $\mu$-Camassa-Holm equations

abstract: We solve Cauchy problems for some $\mu$-Camassa-Holm integro-partial differential equations in the analytic category. The equations to be considered are $\mu$CH of Khesin-Lenells-Misio\l{}ek, $\mu$DP of Lenells-Misio\l{}ek-Ti\u{g}lay, the higher-order $\mu$CH of Wang-Li-Qiao and the non-quasilinear version of Qu-Fu-Liu. We prove the unique local solvability of the Cauchy problems and provide an estimate of the lifespan of the solutions. Moreover, we show the existence of a unique global-in-time analytic solution for $\mu$CH, $\mu$DP and the higher-order $\mu$CH. The present work is the first result of such a global nature for these equations. AMS subject classification: 35R09, 35A01, 35A10, 35G25


title: Cooperative Light Emission in the Presence of Strong Inhomogeneous Broadening

abstract: We study photon emission by an ensemble of two-level systems, with strong inhomogeneous broadening and coupled to a cavity mode whose frequency has linear time-dependence. The analysis shows that, regardless the distribution of energy level splittings, a sharp phase transition occurs between the weak and strong cooperative emission phases near a critical photonic frequency sweeping rate. The associated scaling exponent is determined. We suggest that this phase transition can be observed in an ensemble of negatively charged NV centers in diamond interacting with a microwave half-wavelength cavity mode even in the regime of weak coupling and at strong disorder of two-level splittings.


title: Experimental searches for the chiral magnetic effect in heavy-ion collisions

abstract: The chiral magnetic effect (CME) in quantum chromodynamics (QCD) refers to a charge separation (an electric current) of chirality imbalanced quarks generated along an external strong magnetic field. The chirality imbalance results from interactions of quarks, under the approximate chiral symmetry restoration, with metastable local domains of gluon fields of non-zero topological charges out of QCD vacuum fluctuations. Those local domains violate the $\mathcal{P}$ and $\mathcal{CP}$ invariance, potentially offering a solution to the strong $\mathcal{CP}$ problem in explaining the magnitude of the matter-antimatter asymmetry in today's universe. Relativistic heavy-ion collisions, with the likely creation of the high energy density quark-gluon plasma and restoration of the approximate chiral symmetry, and the possibly long-lived strong magnetic field, provide a unique opportunity to detect the CME. Early measurements of the CME-induced charge separation in heavy-ion collisions are dominated by physics backgrounds. Major efforts have been devoted to eliminate or reduce those backgrounds. We review those efforts, with a somewhat historical perspective, and focus on the recent innovative experimental undertakings in the search for the CME in heavy-ion collisions.


title: A New Littlest Seesaw Model

abstract: We propose and discuss a new Littlest Seesaw model, realised in the tri-direct CP approach, in which the couplings of the two right-handed neutrinos to the lepton doublets are proportional to $(0,-1,1)$ and $(1,5/2,-1/2)$ respectively with the relative phase $\eta=-\pi/2$. This model can give an excellent description of lepton flavour mixing, including an atmospheric neutrino mixing angle in the second octant, in terms of only two input parameters. We show that the observed baryon asymmetry can be generated for the lightest right-handed neutrino mass $M_{1}=1.176\times 10^{11}$ GeV in SM and $M_{1}=3.992\times 10^{10}$ GeV in MSSM with $\tan\beta=5$. We construct an explicit Littlest Seesaw model based on the flavour symmetry $S_4\times Z_4\times Z_9$ in which the desired alignments and the phase $\eta=-\pi/2$ are achieved.


title: Few-Shot Video Classification via Temporal Alignment

abstract: There is a growing interest in learning a model which could recognize novel classes with only a few labeled examples. In this paper, we propose Temporal Alignment Module (TAM), a novel few-shot learning framework that can learn to classify a previous unseen video. While most previous works neglect long-term temporal ordering information, our proposed model explicitly leverages the temporal ordering information in video data through temporal alignment. This leads to strong data-efficiency for few-shot learning. In concrete, TAM calculates the distance value of query video with respect to novel class proxies by averaging the per frame distances along its alignment path. We introduce continuous relaxation to TAM so the model can be learned in an end-to-end fashion to directly optimize the few-shot learning objective. We evaluate TAM on two challenging real-world datasets, Kinetics and Something-Something-V2, and show that our model leads to significant improvement of few-shot video classification over a wide range of competitive baselines.


title: Clustering by the way of atomic fission

abstract: Cluster analysis which focuses on the grouping and categorization of similar elements is widely used in various fields of research. Inspired by the phenomenon of atomic fission, a novel density-based clustering algorithm is proposed in this paper, called fission clustering (FC). It focuses on mining the dense families of a dataset and utilizes the information of the distance matrix to fissure clustering dataset into subsets. When we face the dataset which has a few points surround the dense families of clusters, K-nearest neighbors local density indicator is applied to distinguish and remove the points of sparse areas so as to obtain a dense subset that is constituted by the dense families of clusters. A number of frequently-used datasets were used to test the performance of this clustering approach, and to compare the results with those of algorithms. The proposed algorithm is found to outperform other algorithms in speed and accuracy.


title: Combining Stochastic Adaptive Cubic Regularization with Negative Curvature for Nonconvex Optimization

abstract: We focus on minimizing nonconvex finite-sum functions that typically arise in machine learning problems. In an attempt to solve this problem, the adaptive cubic regularized Newton method has shown its strong global convergence guarantees and ability to escape from strict saddle points. This method uses a trust region-like scheme to determine if an iteration is successful or not, and updates only when it is successful. In this paper, we suggest an algorithm combining negative curvature with the adaptive cubic regularized Newton method to update even at unsuccessful iterations. We call this new method Stochastic Adaptive cubic regularization with Negative Curvature (SANC). Unlike the previous method, in order to attain stochastic gradient and Hessian estimators, the SANC algorithm uses independent sets of data points of consistent size over all iterations. It makes the SANC algorithm more practical to apply for solving large-scale machine learning problems. To the best of our knowledge, this is the first approach that combines the negative curvature method with the adaptive cubic regularized Newton method. Finally, we provide experimental results including neural networks problems supporting the efficiency of our method.


title: Importance of multicranked configuration mixing for angular-momentum-projection calculations: Study of superdeformed rotational bands in $^{152}$Dy and $^{194}$Hg

abstract: Recently we have investigated an effective method of multicranked configuration-mixing for angular-momentum-projection calculation, where several cranked mean-field states are coupled after projection: The basic idea was originally proposed by Peierls and Thouless more than fifty years ago. With this method a good description of the rotational band has been achieved in a fully microscopic manner. In the present work, we apply the method to the high-spin superdeformed band, for which long rotational sequence is observed, and study how the good description is obtained for the rotational spectrum as well as the $\Jonem$ and $\Jtwom$ moments of inertia as functions of angular momentum. The Gogny D1S force is employed as an effective interaction, and the yrast superdeformed bands in $^{152}$Dy and $^{194}$Hg are taken as typical examples in the $A\approx 150$ and $A\approx 190$ regions, respectively. The effect of pairing correlations is examined by the variation after particle-number projection approach to understand the different behaviors of $\Jtwom$ moments of inertia observed in these two nuclei. The particle-number projection on top of the angular-momentum projection has been performed for the first time with the multicranked configuration-mixing.


title: Automatic Coverage Selection for Surface-Based Visual Localization

abstract: Localization is a critical capability for robots, drones and autonomous vehicles operating in a wide range of environments. One of the critical considerations for designing, training or calibrating visual localization systems is the coverage of the visual sensors equipped on the platforms. In an aerial context for example, the altitude of the platform and camera field of view plays a critical role in how much of the environment a downward facing camera can perceive at any one time. Furthermore, in other applications, such as on roads or in indoor environments, additional factors such as camera resolution and sensor placement altitude can also affect this coverage. The sensor coverage and the subsequent processing of its data also has significant computational implications. In this paper we present for the first time a set of methods for automatically determining the trade-off between coverage and visual localization performance, enabling the identification of the minimum visual sensor coverage required to obtain optimal localization performance with minimal compute. We develop a localization performance indicator based on the overlapping coefficient, and demonstrate its predictive power for localization performance with a certain sensor coverage. We evaluate our method on several challenging real-world datasets from aerial and ground-based domains, and demonstrate that our method is able to automatically optimize for coverage using a small amount of calibration data. We hope these results will assist in the design of localization systems for future autonomous robot, vehicle and flying systems.


title: Atom interferometry using $\delta$-kicked and finite duration pulse-sequences

abstract: We investigate an atom interferometer in which large momentum differences between the arms are obtained by using quantum resonances in the atom optics $\delta$-kicked rotor. The interferometer can potentially measure the Talbot time (from which $h/m$ can be deduced), the local gravitational field, or can serve as a narrow velocity filter. We present an analytical analysis in the short pulse limit, and a numerical investigation for finite pulse durations. The sensitivity of the interferometer is improved by a moderate violation of the short pulse limit. Remarkably simple relations predict the optimal pulse duration, and the sensitivity of the interferometer.


title: FSM Error Messages

abstract: Computer Science students, in general, find Automata Theory difficult and mostly unrelated to their area of study. To mitigate these perceptions, FSM, a library to program state machines and grammars, was developed to bring programming to the Automata Theory classroom. The results of the library's maiden voyage at Seton Hall University had a positive impact on students, but the students found the library difficult to use due to the error messages generated. These messages were generated by the host language meaning that students needed to be familiar with the library's implementation to make sense of them. This article presents the design of and results obtained from using an error-messaging system tailor-made for FSM. The effectiveness of the library was measured by both a control group study and a survey. The results strongly suggest that the error-messaging system has had a positive impact on students' attitude towards automata theory, towards programming in FSM, and towards FSM error messages. The consequence has been a marked improvement on students' ability to implement algorithms developed as part of constructive proofs by making the debugging of FSM programs easier.


title: Stepping OCaml

abstract: Steppers, which display all the reduction steps of a given program, are a novice-friendly tool for understanding program behavior. Unfortunately, steppers are not as popular as they ought to be; indeed, the tool is only available in the pedagogical languages of the DrRacket programming environment. We present a stepper for a practical fragment of OCaml. Similarly to the DrRacket stepper, we keep track of evaluation contexts in order to reconstruct the whole program at each reduction step. The difference is that we support effectful constructs, such as exception handling and printing primitives, allowing the stepper to assist a wider range of users. In this paper, we describe the implementation of the stepper, share the feedback from our students, and show an attempt at assessing the educational impact of our stepper.


title: Vector Programming Using Generative Recursion

abstract: Vector programming is an important topic in many Introduction to Computer Science courses. Despite the importance of vectors, learning vector programming is a source of frustration for many students. Much of the frustration is rooted in discovering the source of bugs that are manifested as out-of-bounds indexing. The problem is that such bugs are, sometimes, rooted in incorrectly computing an index. Other times, however, these errors are rooted in mistaken reasoning about how to correctly process a vector. Unfortunately, either way, all too often beginners are left adrift to resolve indexing errors on their own. This article extends the work done on vector programming using vector intervals and structural recursion to using generative recursion. As for problems solved using structural recursion, vector intervals provide beginners with a useful framework for designing code that properly indexes vectors. This article presents the methodology and concrete examples that others may use to build their own CS1 modules involving vector programming using any programming language.


title: Evidence for singular-phonon-induced nematic superconductivity in a topological superconductor candidate Sr$_{0.1}$Bi$_2$Se$_3$

abstract: Superconductivity mediated by phonons is typically conventional, exhibiting a momentum-independent s-wave pairing function, due to the isotropic interactions between electrons and phonons along different crystalline directions. Here, by performing inelastic neutron scattering measurements on a superconducting single crystal of Sr0.1Bi2Se3, a prime candidate for realizing topological superconductivity by doping the topological insulator Bi2Se3, we find that there exist highly anisotropic phonons, with the linewidths of the acoustic phonons increasing substantially at long wavelengths, but only for those along the [001] direction. This observation indicates a large and singular electron-phonon coupling at small momenta, which we propose to give rise to the exotic p-wave nematic superconducting pairing in the MxBi2Se3 (M = Cu, Sr, Nb) superconductor family. Therefore, we show these superconductors to be example systems where electron-phonon interaction can induce more exotic superconducting pairing than the s-wave, consistent with the topological superconductivity.


title: Introducing Certified Compilation in Education by a Functional Language Approach

abstract: Classes on compiler technology are commonly found in Computer Science curricula, covering aspects of parsing, semantic analysis, intermediate transformations and target code generation. This paper reports on introducing certified compilation techniques through a functional language approach in an introductory course on Compiler Construction. Targeting students with little or no experience in formal methods, the proof process is highly automated using the Why3 framework. Underlying logic, semantic modelling and proofs are introduced along with exercises and assignments leading up to a formally verified compiler for a simplistic imperative language. This paper covers the motivation, course design, tool selection, and teaching methods, together with evaluations and suggested improvements from the perspectives of both students and teachers.


title: Hierarchical Data Reduction and Learning

abstract: This paper describes a hierarchical learning strategy for generating sparse representations of multivariate datasets. The hierarchy arises from approximation spaces considered at successively finer scales. A detailed analysis of stability, convergence and behavior of error functionals associated with the approximations are presented, along with a well chosen set of applications. Results show the performance of the approach as a data reduction mechanism for both synthetic (univariate and multivariate) and real datasets (geospatial and numerical model outcomes). The sparse representation generated is shown to efficiently reconstruct data and minimize error in prediction.


title: Security of 5G-Mobile Backhaul Networks: A Survey

abstract: The rapid involution of the mobile generation with incipient data networking capabilities and utilization has exponentially increased the data traffic volumes. Such traffic drains various key issues in 5G mobile backhaul networks. Security of mobile backhaul is of utmost importance; however, there are a limited number of articles, which have explored such a requirement. This paper discusses the potential design issues and key challenges of the secure 5G mobile backhaul architecture. The comparisons of the existing state-of-the-art solutions for secure mobile backhaul, together with their major contributions have been explored. Furthermore, the paper discussed various key issues related to Quality of Service (QoS), routing and scheduling, resource management, capacity enhancement, latency, security-management, and handovers using mechanisms like Software Defined Networking and millimeter Wave technologies. Moreover, the trails of research challenges and future directions are additionally presented.


title: ELKPPNet: An Edge-aware Neural Network with Large Kernel Pyramid Pooling for Learning Discriminative Features in Semantic Segmentation

abstract: Semantic segmentation has been a hot topic across diverse research fields. Along with the success of deep convolutional neural networks, semantic segmentation has made great achievements and improvements, in terms of both urban scene parsing and indoor semantic segmentation. However, most of the state-of-the-art models are still faced with a challenge in discriminative feature learning, which limits the ability of a model to detect multi-scale objects and to guarantee semantic consistency inside one object or distinguish different adjacent objects with similar appearance. In this paper, a practical and efficient edge-aware neural network is presented for semantic segmentation. This end-to-end trainable engine consists of a new encoder-decoder network, a large kernel spatial pyramid pooling (LKPP) block, and an edge-aware loss function. The encoder-decoder network was designed as a balanced structure to narrow the semantic and resolution gaps in multi-level feature aggregation, while the LKPP block was constructed with a densely expanding receptive field for multi-scale feature extraction and fusion. Furthermore, the new powerful edge-aware loss function is proposed to refine the boundaries directly from the semantic segmentation prediction for more robust and discriminative features. The effectiveness of the proposed model was demonstrated using Cityscapes, CamVid, and NYUDv2 benchmark datasets. The performance of the two structures and the edge-aware loss function in ELKPPNet was validated on the Cityscapes dataset, while the complete ELKPPNet was evaluated on the CamVid and NYUDv2 datasets. A comparative analysis with the state-of-the-art methods under the same conditions confirmed the superiority of the proposed algorithm.


title: Heat current fluctuations and anomalous transport in low dimensional carbon lattices

abstract: Molecular dynamics simulations and nonequilibrium importance sampling are used to study the heat transport of low dimensional carbon lattices. For both carbon nanotubes and graphene sheets heat transport is found to be anomalous, violating Fourier's law of conduction with a system size dependent thermal conductivity and concomitant nonlinear temperature profiles. For carbon nanotubes, the thermal conductivity is found to increase as the square root of the length of the nanotube, while for graphene sheets the thermal conductivity is found to increase as the logarithm of the length of the sheet. The particular length dependence and nonlinear temperature profiles place carbon lattices into a universality class with nonlinear lattice models, and suggest that heat transport through carbon nano-structures is better described by a Levy walk rather than simple diffusion.


title: Horndeski model in nonlinearly realized supergravity

abstract: We construct the Horndeski Lagrangian within non-linearly realized supergravity. We will show that the bosonic part of the Horndeski Lagrangian can be realized. Gravitino naturally couples to Horndeski sector in a super-covariant way. Such gravitino couplings are also free from ghosts.


title: User Validation of Recommendation Serendipity Metrics

abstract: Though it has been recognized that recommending serendipitous (i.e., surprising and relevant) items can be helpful for increasing users' satisfaction and behavioral intention, how to measure serendipity in the offline environment is still an open issue. In recent years, a number of metrics have been proposed, but most of them were based on researchers' assumptions due to the serendipity's subjective nature. In order to validate these metrics' actual performance, we collected over 10,000 users' real feedback data and compared with the metrics' results. It turns out the user profile based metrics, especially content-based ones, perform better than those based on item popularity, in terms of estimating the unexpectedness facet of recommendations. Moreover, the full metrics, which involve the unexpectedness component, relevance, timeliness, and user curiosity, can more accurately indicate the recommendation's serendipity degree, relative to those that just involve some of them. The application of these metrics to several recommender algorithms further consolidates their practical usage, because the comparison results are consistent with those from user evaluation. Thus, this work is constructive for filling the gap between offline measurement and user study on recommendation serendipity.


title: An Approach for Reviewing Security-Related Aspects in Agile Requirements Specifications of Web Applications

abstract: Defects in requirements specifications can have severe consequences during the software development lifecycle. Some of them result in overall project failure due to incorrect or missing quality characteristics such as security. There are several concerns that make security difficult to deal with; for instance, (1) when stakeholders discuss general requirements in (review) meetings, they are often not aware that they should also discuss security-related topics, and (2) they typically do not have enough security expertise. These concerns become even more challenging in agile development contexts, where lightweight documentation is typically involved. The goal of this paper is to design and evaluate an approach to support reviewing security-related aspects in agile requirements specifications of web applications. The designed approach considers user stories and security specifications as input and relates those user stories to security properties via Natural Language Processing (NLP) techniques. Based on the related security properties, our approach then identifies high-level security requirements from the Open Web Application Security Project (OWASP) to be verified and generates a focused reading techniques to support reviewers in detecting detects. We evaluate our approach via two controlled experiment trials, comparing the effectiveness and efficiency of novice inspectors verifying security aspects in agile requirements using our reading technique against using the complete list of OWASP high-level security requirements. The (statistically significant) results indicate that using the reading technique has a positive impact (with very large effect size) on the performance of inspectors in terms of effectiveness and efficiency.


title: Necessary conditions for the extendibility of a first-order flex of a polyhedron to its flex

abstract: We derive fundamentally new equations that are satisfied by first-order flexes of a flexible polyhedron. Moreover, we indicate two sources of such new equations. These sources are the Dehn invariants and rigidity matrix. The equations derived provide us with fundamentally new necessary conditions for the extendibility of a first-order flex of a polyhedron to its flex.


title: Deep neural network for the dielectric response of insulators

abstract: We introduce a deep neural network to model in a symmetry preserving way the environmental dependence of the centers of the electronic charge. The model learns from ab-initio density functional theory, wherein the electronic centers are uniquely assigned by the maximally localized Wannier functions. When combined with the Deep Potential model of the atomic potential energy surface, the scheme predicts the dielectric response of insulators for trajectories inaccessible to direct ab-initio simulation. The scheme is non-perturbative and can capture the response of a mutating chemical environment. We demonstrate the approach by calculating the infrared spectra of liquid water at standard conditions, and of ice under extreme pressure, when it transforms from a molecular to an ionic crystal.


title: DeepVIO: Self-supervised Deep Learning of Monocular Visual Inertial Odometry using 3D Geometric Constraints

abstract: This paper presents an self-supervised deep learning network for monocular visual inertial odometry (named DeepVIO). DeepVIO provides absolute trajectory estimation by directly merging 2D optical flow feature (OFF) and Inertial Measurement Unit (IMU) data. Specifically, it firstly estimates the depth and dense 3D point cloud of each scene by using stereo sequences, and then obtains 3D geometric constraints including 3D optical flow and 6-DoF pose as supervisory signals. Note that such 3D optical flow shows robustness and accuracy to dynamic objects and textureless environments. In DeepVIO training, 2D optical flow network is constrained by the projection of its corresponding 3D optical flow, and LSTM-style IMU preintegration network and the fusion network are learned by minimizing the loss functions from ego-motion constraints. Furthermore, we employ an IMU status update scheme to improve IMU pose estimation through updating the additional gyroscope and accelerometer bias. The experimental results on KITTI and EuRoC datasets show that DeepVIO outperforms state-of-the-art learning based methods in terms of accuracy and data adaptability. Compared to the traditional methods, DeepVIO reduces the impacts of inaccurate Camera-IMU calibrations, unsynchronized and missing data.


title: Adaptive First-Order System Least-Squares Finite Element Methods for Second Order Elliptic Equations in Non-Divergence Form

abstract: This paper studies adaptive first-order least-squares finite element methods for second-order elliptic partial differential equations in non-divergence form. Unlike the classical finite element method which uses weak formulations of PDEs not applicable for the non-divergence equation, the first-order least-squares formulations naturally have stable weak forms without using integration by parts, allow simple finite element approximation spaces, and have build-in a posteriori error estimators for adaptive mesh refinements. The non-divergence equation is first written as a system of first-order equations by introducing the gradient as a new variable. Then two versions of least-squares finite element methods using simple $C^0$ finite elements are developed in the paper, one is the $L^2$-LSFEM which uses linear elements, the other is the weighted-LSFEM with a mesh-dependent weight to ensure the optimal convergence. Under a very mild assumption that the PDE has a unique solution, optimal a priori and a posteriori error estimates are proved. With an extra assumption on the operator regularity which is weaker than traditionally assumed, convergences in standard norms for the weighted-LSFEM are also discussed. $L^2$-error estimates are derived for both formulations. We perform extensive numerical experiments for smooth, non-smooth, and even degenerate coefficients on smooth and singular solutions to test the accuracy and efficiency of the proposed methods.


title: Hard Pixel Mining for Depth Privileged Semantic Segmentation

abstract: Semantic segmentation has achieved remarkable progress but remains challenging due to the complex scene, object occlusion, and so on. Some research works have attempted to use extra information such as a depth map to help RGB based semantic segmentation because the depth map could provide complementary geometric cues. However, due to the inaccessibility of depth sensors, depth information is usually unavailable for the test images. In this paper, we leverage only the depth of training images as the privileged information to mine the hard pixels in semantic segmentation, in which depth information is only available for training images but not available for test images. Specifically, we propose a novel Loss Weight Module, which outputs a loss weight map by employing two depth-related measurements of hard pixels: Depth Prediction Error and Depthaware Segmentation Error. The loss weight map is then applied to segmentation loss, with the goal of learning a more robust model by paying more attention to the hard pixels. Besides, we also explore a curriculum learning strategy based on the loss weight map. Meanwhile, to fully mine the hard pixels on different scales, we apply our loss weight module to multi-scale side outputs. Our hard pixels mining method achieves the state-of-the-art results on two benchmark datasets, and even outperforms the methods which need depth input during testing.


title: Global manifold structure of a continuous-time heterodimensional cycle

abstract: A heterodimensional cycle consists of a pair of heteroclinic connections between two saddle periodic orbits with unstable manifolds of different dimensions. Recent theoretical work on chaotic dynamics beyond the uniformly hyperbolic setting has shown that heterodimensional cycles may occur robustly in diffeomorphisms of dimension at least three. We study a concrete example of a heterodimensional cycle in the continuous-time setting, specifically in a four-dimensional vector field model of intracellular calcium dynamics. By employing advanced numerical techniques, Zhang, Krauskopf and Kirk [Discr. Contin. Dynam. Syst. A 32(8) 2825--2851 (2012)] found that a heterodimensional cycle exists in this model. We investigate the geometric structure of the associated stable and unstable manifolds in the neighbourhood of this heterodimensional cycle, consisting of a single connecting orbit of codimension one and an entire cylinder of structurally stable connecting orbits between two saddle periodic orbits. We employ a boundary-value problem set-up to compute their stable and unstable manifolds, which we visualize in different projections of phase space and as intersection sets with a suitable three-dimensional Poincar\'e section. We show that, locally near the intersection set of the heterodimensional cycle, the manifolds interact as described by the theory for three-dimensional diffeomorphisms. On the other hand, their global structure is more intricate, which is due to the fact that it is not possible to find a Poincar\'e section that is transverse to the flow everywhere. Our results show that the abstract concept of a heterodimensional cycle arises and can be studied in continuous-time models from applications.


title: Signatures of quantum mechanical Zeeman effect in classical transport due to topological properties of two-dimensional spin-3/2 holes

abstract: The Zeeman interaction is a quantum mechanical effect that underpins spin-based quantum devices such as spin qubits. Typically, identification of the Zeeman interaction needs a large out-of-plane magnetic field coupled with ultralow temperatures, which limits the practicality of spin-based devices. However, in two-dimensional (2D) semiconductor holes, the strong spin-orbit interaction causes the Zeeman interaction to couple the spin, the magnetic field, and the momentum, and has terms with different winding numbers. In this work, we demonstrate a physical mechanism by which the Zeeman terms can be detected in classical transport. The effect we predict is very strong, and tunable by means of both the density and the in-plane magnetic field. It is a direct signature of the topological properties of the 2D hole system, and a manifestation in classical transport of an effect stemming from relativistic quantum mechanics. We discuss experimental observation and implications for quantum technologies.


title: Tunneling Between Schwarzschild-de Sitter Vacua

abstract: We extend the study of the effect of static primordial black holes on vacuum decay. In particular, we compare the tunneling rates between vacua of different values of the cosmological constant and black hole mass by pointing out the dominant processes based on a numerical examination of the thin wall instanton. Three distinct cases are considered, namely the nucleation of a true vacuum bubble into the false vacuum, the nucleation of a false vacuum bubble into the true vacuum as well as the Farhi-Guth-Guven mechanism. As a proof of concept, it is shown that in order to increase the transition rate into an inflating region, we find that not only is the inclusion of a black hole necessary, but the inclusion of a cosmological constant in the initial phase is also required. Among the cases studied, we show that the most likely scenario is the elimination of inhomogeneities in the final phase.


title: Distributed Clustering in the Anonymized Space with Local Differential Privacy

abstract: Clustering and analyzing on collected data can improve user experiences and quality of services in big data, IoT applications. However, directly releasing original data brings potential privacy concerns, which raises challenges and opportunities for privacy-preserving clustering. In this paper, we study the problem of non-interactive clustering in distributed setting under the framework of local differential privacy. We first extend the Bit Vector, a novel anonymization mechanism to be functionality-capable and privacy-preserving. Based on the modified encoding mechanism, we propose kCluster algorithm that can be used for clustering in the anonymized space. We show the modified encoding mechanism can be easily implemented in existing clustering algorithms that only rely on distance information, such as DBSCAN. Theoretical analysis and experimental results validate the effectiveness of the proposed schemes.


title: The Choi-Jamiolkowski isomorphism and covariant quantum channels

abstract: A generalization of the Choi-Jamiolkowski isomorphism for completely positive maps between operator algebras is introduced. Particular emphasis is placed on the case of normal unital completely positive maps defined between von Neumann algebras. This generalization is applied especially to the study of maps which are covariant under actions of a symmetry group. We highlight with the example of, e.g., phase-shift-covariant quantum channels the ease of this method in particular in the case of a compact symmetry group. We also discuss the case of channels which are covariant under actions of the Euclidean group of rigid motions in 3 dimensions.


title: Region Refinement Network for Salient Object Detection

abstract: Albeit intensively studied, false prediction and unclear boundaries are still major issues of salient object detection. In this paper, we propose a Region Refinement Network (RRN), which recurrently filters redundant information and explicitly models boundary information for saliency detection. Different from existing refinement methods, we propose a Region Refinement Module (RRM) that optimizes salient region prediction by incorporating supervised attention masks in the intermediate refinement stages. The module only brings a minor increase in model size and yet significantly reduces false predictions from the background. To further refine boundary areas, we propose a Boundary Refinement Loss (BRL) that adds extra supervision for better distinguishing foreground from background. BRL is parameter free and easy to train. We further observe that BRL helps retain the integrity in prediction by refining the boundary. Extensive experiments on saliency detection datasets show that our refinement module and loss bring significant improvement to the baseline and can be easily applied to different frameworks. We also demonstrate that our proposed model generalizes well to portrait segmentation and shadow detection tasks.


title: Spatial Coherence of a Strongly Interacting Bose Gas in the Trimerized Kagome Lattice

abstract: We produce a trimerized kagome lattice for ultracold atoms using an optical superlattice formed by overlaying triangular lattices generated with two colors of light at a 2:1 wavelength ratio. Adjusting the depth of each lattice tunes the strong intra-trimer (J) and weak inter-trimer (J') tunneling energies, and also the on-site interaction energy U. Two different trimerization patterns are distinguished using matter-wave diffraction. We characterize the coherence of a strongly interacting Bose gas in this lattice, observing persistent nearest-neighbor spatial coherence in the large U/J' limit, and that such coherence displays asymmetry between the strongly and the weakly coupled bonds.


title: The infrared or ultraviolet scale for a gauge theory

abstract: We propose a conjecture that leads to the determination of the intrinsic scale (the scale at which the coupling constant diverges) for any gauge theory by comparison to another theory for which there is phenomenological information, provided that the two theories are placed in the same space-time volume. This conjecture is verified independently for $U(1)_{em}$ and for $QCD$. In this framework and from this perspective we show that the group $SO(10)$ is the only viable candidate among the supersymmetric GUT groups $SU(5)$, $SO(10)$ and $E_6$.


title: X-ray differential phase contrast imaging on asymmetric dual-phase grating interferometer with source grating: theory and experiment

abstract: Recently, the dual-phase grating based X-ray differential phase contrast imaging technique has shown better radiation dose efficiency performance than the Talbot-Lau system. In this paper, we provide a theoretical analyses framework derived from wave optics to ease the design of such interferometer systems, including the inter-grating distances, the diffraction fringe period, the phase grating periods, and especially the source grating period if a medical grade X-ray tube with large focal spot is utilized. In addition, a geometrical explanation of the dual-phase grating system similar to the standard thin lens imaging theory is derived with an optical symmetry assumption for the first time. Finally, both numerical and experimental studies have been performed to validate the theory.


title: Improved Upper Bounds on the Growth Constants of Polyominoes and Polycubes

abstract: A $d$-dimensional polycube is a facet-connected set of cells (cubes) on the $d$-dimensional cubical lattice $\mathbb{Z}^d$. Let $A_d(n)$ denote the number of $d$-dimensional polycubes (distinct up to translations) with $n$ cubes, and $\lambda_d$ denote the limit of the ratio $A_d(n{+}1)/A_d(n)$ as $n \to \infty$. The exact value of $\lambda_d$ is still unknown rigorously for any dimension $d \geq 2$; the asymptotics of $\lambda_d$, as $d \to \infty$, also remained elusive as of today. In this paper, we revisit and extend the approach presented by Klarner and Rivest in 1973 to bound $A_2(n)$ from above. Our contributions are: Using available computing power, we prove that $\lambda_2 \leq 4.5252$. This is the first improvement of the upper bound on $\lambda_2$ in almost half a century; We prove that $\lambda_d \leq (2d-2)e+o(1)$ for any value of $d \geq 2$, using a novel construction of a rational generating function which dominates that of the sequence $\left(A_d(n)\right)$; For $d=3$, this provides a subtantial improvement of the upper bound on $\lambda_3$ from 12.2071 to 9.8073; However, we implement an iterative process in three dimensions, which improves further the upper bound on $\lambda_3$to $9.3835$.


title: Free ${\Bbb Z}^p$-actions on the three dimensional torus

abstract: We show that for each natural $p\geq 2$, the Lefschetz fixed point theorem is optimal when applied to ${\Bbb Z}^{p}$-actions by homeomorphisms on the three dimensional torus ${\Bbb T}^3$. More precisely, we show that for a spectrally unitary ${\Bbb Z}^p$-action ${\bf A}$ on the first homology group $H_1({\Bbb T}^3,{\Bbb Z})$ with trivial fixed point set, there exists a free ${\Bbb Z}^p$-action by real analytic diffeomorphisms of ${\Bbb T}^3$ whose induced ${\Bbb Z}^p$-action on $H_1({\Bbb T}^3,{\Bbb Z})$ is the action ${\bf A}$. In particular, we establish the normal form for this type of actions.


title: Continuous generation of quantum light from a single ground-state atom in an optical cavity

abstract: We show an optical wave-mixing scheme that generates quantum light by means of a single three-level atom. The atom couples to an optical cavity and two laser fields that together drive a cycling current within the atom. Weak driving in combination with strong atom-cavity coupling induces transitions between the dark states of the system, accompanied by single-photon emission and suppression of atomic excitation by quantum interference. For strong driving, the system can generate coherent or Schr\"odinger cat-like fields with frequencies distinct from those of the applied lasers.


title: Investigating Compilation Errors of Students Learning Haskell

abstract: While functional programming is an efficient way to express complex software, functional programming languages have a steep learning curve. Haskell can be challenging to learn for students who were only introduced to imperative programming. It is important to look for methods and tools that may reduce the difficulty of learning functional programming. Finding methods to help students requires understanding the errors that students make while learning Haskell. There are several previous studies revealing data about Haskell compiler errors, but they do not focus on the analysis of the compiler errors or they only study a certain kind of compiler errors. This study investigates compilation errors of novice Haskell students and make suggestions on how their learning efficiency can be improved. Unlike previous studies we focus on uncovering the root problems with the student solutions by analysing samples of their submissions.


title: Some non-vanishing results on log canonical pairs of dimension 4

abstract: Let $(X,\Delta)$ be a log canonical pair over $\mathbb{C}$ with $X$ a normal projective variety, $\Delta$ an effective $\mathbb{Q}$-divisor, and $K_X+\Delta$ nef. We give a non-vanishing criterion for $K_X+\Delta$ in dimension $n$ with $X$ uniruled, assuming various conjectures of LMMP in dimensions (up to) $n-1$ or $n$, and a semi-ampleness criterion in the irregular case. In particular, we obtain that if $X$ is a uniruled $4$-fold, then $\kappa(K_X+\Delta)\geq 0$ and if $X$ is a $4$-fold with $q(X)>0$, then $K_X+\Delta$ is semi-ample.


title: Traffic Management Strategies for Multi-Robotic Rigid Payload Transport Systems

abstract: In this work, we address traffic management of multiple payload transport systems comprising of non-holonomic robots. We consider loosely coupled rigid robot formations carrying a payload from one place to another. Each payload transport system (PTS) moves in various kinds of environments with obstacles. We ensure each PTS completes its given task by avoiding collisions with other payload systems and obstacles as well. Each PTS has one leader and multiple followers and the followers maintain a desired distance and angle with respect to the leader using a decentralized leader-follower control architecture while moving in the traffic. We showcase, through simulations the time taken by each PTS to traverse its respective trajectory with and without other PTS and obstacles. We show that our strategies help manage the traffic for a large number of PTS moving from one place to another.


title: Suppressing the Kibble-Zurek mechanism by a symmetry-violating bias

abstract: The formation of topological defects in continuous phase transitions is driven by the Kibble-Zurek mechanism. Here we study the formation of single- and half-quantum vortices during transition to the polar phase of $^3$He in the presence of a symmetry-breaking bias provided by the applied magnetic field. We find that vortex formation is suppressed exponentially when the length scale associated with the bias field becomes smaller than the Kibble-Zurek length. We thus demontrate an experimentally feasible shortcut to adiabaticity -- an important aspect for further understanding of phase transitions as well as for engineering applications such as quantum computers or simulators.


title: Nobeyama 45-m Mapping Observations toward Orion A. III. Multi-Line Observations toward an Outflow-shocked Region, OMC-2 FIR

abstract: We present the results of mapping observations toward an outflow-shocked region, OMC-2 FIR 4 using the Nobeyama 45-m telescope. We observed the area in $^{13}$CO ($J=1-0$), C$^{18}$O ($J=1-0$), N$_2$H$^+$ ($J=1-0$), CCS ($J_N=8_7-7_6$), HCO$^+$ ($J=1-0$), H$^{13}$CO$^+$ ($J=1-0$), HN$^{13}$C ($J=1-0$), H$^{13}$CN ($J=1-0$), DNC ($J=1-0$), N$_2$D$^+$ ($J=1-0$), and DC$_3$N ($J=9-8$). We detected a dense molecular clump that contains FIR 4/5. We also detected in $^{13}$CO blueshifted and redshifted components driven presumably by protostellar outflows in this region. The axes of the FIR 3 and VLA 13 outflows, projected on the plane of the sky, appear to point toward the FIR 4 clump, suggesting that the clump may be compressed by protostellar outflows from Class I sources, FIR 3 and VLA 13. Applying the hyperfine fit of N$_2$H$^+$ lines, we estimated the excitation temperature to be $\sim$ 20 K. The high excitation temperature is consistent with the fact that the clump contains protostars. The CCS emission was detected in this region for the first time. Its abundance is estimated to be a few $\times 10^{-12}$, indicating that the region is chemically evolved at $\sim 10^5$ years, which is comparable to the typical lifetime of the Class I protostars. This timescale is consistent with the scenario that star formation in FIR 4 is triggered by dynamical compression of the protostellar outflows. The [HNC]/[HCN] ratio is evaluated to be $\sim 0.5$ in the dense clump and the outflow lobes, whereas it is somewhat larger in the envelope of the dense clump. The small [HNC]/[HCN] ratio indicates that the HNC formation was prevented due to high temperatures. Such high temperatures seem to be consistent with the scenario that either protostellar radiation or outflow compression, or both, affected the thermal properties of this region.


title: PKUSEG: A Toolkit for Multi-Domain Chinese Word Segmentation

abstract: Chinese word segmentation (CWS) is a fundamental step of Chinese natural language processing. In this paper, we build a new toolkit, named PKUSEG, for multi-domain word segmentation. Unlike existing single-model toolkits, PKUSEG targets multi-domain word segmentation and provides separate models for different domains, such as web, medicine, and tourism. Besides, due to the lack of labeled data in many domains, we propose a domain adaptation paradigm to introduce cross-domain semantic knowledge via a translation system. Through this method, we generate synthetic data using a large amount of unlabeled data in the target domain and then obtain a word segmentation model for the target domain. We also further refine the performance of the default model with the help of synthetic data. Experiments show that PKUSEG achieves high performance on multiple domains. The new toolkit also supports POS tagging and model training to adapt to various application scenarios. The toolkit is now freely and publicly available for the usage of research and industry.


title: Enhancing Python Compiler Error Messages via Stack Overflow

abstract: Background: Compilers tend to produce cryptic and uninformative error messages, leaving programmers confused and requiring them to spend precious time to resolve the underlying error. To find help, programmers often take to online question-and-answer forums such as Stack Overflow to start discussion threads about the errors they encountered. Aims: We conjecture that information from Stack Overflow threads which discuss compiler errors can be automatically collected and repackaged to provide programmers with enhanced compiler error messages, thus saving programmers' time and energy. Method: We present Pycee, a plugin integrated with the popular Sublime Text IDE to provide enhanced compiler error messages for the Python programming language. Pycee automatically queries Stack Overflow to provide customised and summarised information within the IDE. We evaluated two Pycee variants through a think-aloud user study during which 16 programmers completed Python programming tasks while using Pycee. Results: The majority of participants agreed that Pycee was helpful while completing the study tasks. When compared to a baseline relying on the official Python documentation to enhance compiler error messages, participants generally preferred Pycee in terms of helpfulness, citing concrete suggestions for fixes and example code as major benefits. Conclusions: Our results confirm that data from online sources such as Stack Overflow can be successfully used to automatically enhance compiler error messages. Our work opens up venues for future work to further enhance compiler error messages as well as to automatically reuse content from Stack Overflow for other aspects of programming.


title: Searching for Neutrino-less Double Beta Decay of $^{136}$Xe with PandaX-II Liquid Xenon Detector

abstract: We report the Neutrino-less Double Beta Decay (NLDBD) search results from PandaX-II dual-phase liquid xenon time projection chamber. The total live time used in this analysis is 403.1 days from June 2016 to August 2018. With NLDBD-optimized event selection criteria, we obtain a fiducial mass of 219 kg of natural xenon. The accumulated xenon exposure is 242 kg$\cdot$yr, or equivalently 22.2 kg$\cdot$yr of $^{136}$Xe exposure. At the region around $^{136}$Xe decay Q-value of 2458 keV, the energy resolution of PandaX-II is 4.2%. We find no evidence of NLDBD in PandaX-II and establish a lower limit for decay half-life of 2.4 $ \times 10^{23} $ yr at the 90% confidence level, which corresponds to an effective Majorana neutrino mass $m_{\beta \beta} < (1.3 - 3.5)$ eV. This is the first NLDBD result reported from a dual-phase xenon experiment.


title: NGC 6388 reloaded: some like it hot, but not too much

abstract: Multiple stellar populations in globular clusters (GCs) are defined and recognized by their chemical signature, with second generation stars showing the effects of nucleosynthesis in the more massive stars of the earliest component formed in the first star formation burst. High temperature H-burning produces the whole pattern of (anti)-correlations among proton-capture elements widely found in GCs. However, where this burning occurred is still debated. Here we introduce new powerful diagnostic plots to detect evidence (if any) of products from proton-capture reactions occurring at very high temperatures. To test these Detectors Of High Temperature (in short DOHT) H-burning plots we show how to put stringent constraints on the temperature range of the first generation polluters that contributed to shape the chemistry of multiple stellar population in the massive bulge GC NGC 6388. Using the largest sample to date (185 stars) of giants with detailed abundance ratios in a single GC (except omega Cen) we may infer that the central temperature of part of the polluters must have been comprised between about 100 and about 150 million Kelvin (MK) if we consider hydrostatic H-burning in the core of massive stars. A much narrower range (110 to 120 MK) is inferred if the polluters can be identified in massive asymptotic giant branch (AGB) stars.


title: Quantum phase transition with inhomogeneous driving in the Lechner-Hauke-Zoller model

abstract: We study the zero-temperature phase diagram of the Lechner-Hauke-Zoller model. An analytic expression for the free-energy and critical coefficients for finite-size systems and in the thermodynamic limit are derived and numerically verified. With the aim to improve standard quantum annealing, we introduce an inhomogeneously driven transverse field with an additional time-dependent parameter that allows one to evade the first-order quantum phase transition and, thus, improve the efficiency of the ground-state preparation considerably.


title: Expository paper on Clifford algebras ,representations , and the octonion algebra

abstract: This paper is meant to be an informative introduction to spinor representations of Clifford algebras. In this paper we will have a look at Clifford algebras and the octonion algebra. We begin the paper looking at the quaternion algebra $\mathbb{H}$ and basic properties that relate Clifford algebras and the well know Pin and Spin groups. We then will look at generalized spinor representations of Clifford algebras, along with many examples. We conclude the paper looking at the octonion algebra $\mathbb{O}$. This paper provides background to constructing representations which can be used to look at elements in the appropriate Pin and Spin groups.


title: A Trust Architecture for Blockchain in IoT

abstract: Blockchain is a promising technology for establishing trust in IoT networks, where network nodes do not necessarily trust each other. Cryptographic hash links and distributed consensus mechanisms ensure that the data stored on an immutable blockchain can not be altered or deleted. However, blockchain mechanisms do not guarantee the trustworthiness of data at the origin. We propose a layered architecture for improving the end-to-end trust that can be applied to a diverse range of blockchain-based IoT applications. Our architecture evaluates the trustworthiness of sensor observations at the data layer and adapts block verification at the blockchain layer through the proposed data trust and gateway reputation modules. We present the performance evaluation of the data trust module using a simulated indoor target localization and the gateway reputation module using an end-to-end blockchain implementation, together with a qualitative security analysis for the architecture.


title: Toward Simulating Environments in Reinforcement Learning Based Recommendations

abstract: With the recent advances in Reinforcement Learning (RL), there have been tremendous interests in employing RL for recommender systems. However, directly training and evaluating a new RL-based recommendation algorithm needs to collect users' real-time feedback in the real system, which is time and efforts consuming and could negatively impact on users' experiences. Thus, it calls for a user simulator that can mimic real users' behaviors where we can pre-train and evaluate new recommendation algorithms. Simulating users' behaviors in a dynamic system faces immense challenges -- (i) the underlining item distribution is complex, and (ii) historical logs for each user are limited. In this paper, we develop a user simulator base on Generative Adversarial Network (GAN). To be specific, the generator captures the underlining distribution of users' historical logs and generates realistic logs that can be considered as augmentations of real logs; while the discriminator not only distinguishes real and fake logs but also predicts users' behaviors. The experimental results based on real-world e-commerce data demonstrate the effectiveness of the proposed simulator.


title: Automatic Colon Polyp Detection using Region based Deep CNN and Post Learning Approaches

abstract: Automatic detection of colonic polyps is still an unsolved problem due to the large variation of polyps in terms of shape, texture, size, and color, and the existence of various polyp-like mimics during colonoscopy. In this study, we apply a recent region based convolutional neural network (CNN) approach for the automatic detection of polyps in images and videos obtained from colonoscopy examinations. We use a deep-CNN model (Inception Resnet) as a transfer learning scheme in the detection system. To overcome the polyp detection obstacles and the small number of polyp images, we examine image augmentation strategies for training deep networks. We further propose two efficient post-learning methods such as, automatic false positive learning and off-line learning, both of which can be incorporated with the region based detection system for reliable polyp detection. Using the large size of colonoscopy databases, experimental results demonstrate that the suggested detection systems show better performance compared to other systems in the literature. Furthermore, we show improved detection performance using the proposed post-learning schemes for colonoscopy videos.


title: The supersoft X-ray transient ASASSN-16oh as a thermonuclear runaway without mass ejection

abstract: The supersoft X-ray and optical transient ASASSN-16oh has been interpreted by Maccarone et al. (2019) as having being induced by an accretion event on a massive white dwarf, resembling a dwarf nova super-outburst. These authors argued that the supersoft X-ray spectrum had a different origin than in an atmosphere heated by shell nuclear burning, because no mass was ejected. We find instead that the event's timescale and other characteristics are typical of non-mass ejecting thermonuclear runaways, as already predicted by Shara et al. (1977) and the extensive grid of nova models by Yaron et al. (2005). We suggest that the low X-ray and bolometric luminosity in comparison to the predictions of the models of nuclear burning are due to an optically thick accretion disk, hiding most of the white dwarf surface. If this is the case, we calculated that the optical transient can be explained as a non-ejective thermonuclear event on a WD of $\simeq$1.1M$_\odot$ accreting at the rate of $\simeq3.5{-}5{\times}10^{-7}$M$_\odot$yr$^{-1}$. We make predictions that should prove whether the nature of the transient event was due to thermonuclear burning or to accretion; observational proof should be obtained in the next few years, because a new outburst should occur within $\simeq$10-15 years of the event.


title: Loss Switching Fusion with Similarity Search for Video Classification

abstract: From video streaming to security and surveillance applications, video data play an important role in our daily living today. However, managing a large amount of video data and retrieving the most useful information for the user remain a challenging task. In this paper, we propose a novel video classification system that would benefit the scene understanding task. We define our classification problem as classifying background and foreground motions using the same feature representation for outdoor scenes. This means that the feature representation needs to be robust enough and adaptable to different classification tasks. We propose a lightweight Loss Switching Fusion Network (LSFNet) for the fusion of spatiotemporal descriptors and a similarity search scheme with soft voting to boost the classification performance. The proposed system has a variety of potential applications such as content-based video clustering, video filtering, etc. Evaluation results on two private industry datasets show that our system is robust in both classifying different background motions and detecting human motions from these background motions.


title: Joint Reflecting and Precoding Designs for SER Minimization in Reconfigurable Intelligent Surfaces Assisted MIMO Systems

abstract: This paper investigates the use of a reconfigurable intelligent surface (RIS) to aid point-to-point multi-data-stream multiple-input multiple-output (MIMO) wireless communications. With practical finite alphabet input, the reflecting elements at the RIS and the precoder at the transmitter are alternatively optimized to minimize the symbol error rate (MSER). In the reflecting optimization with a fixed precoder, two reflecting design methods are developed, referred as eMSER-Reflecting and vMSER-Reflecting. In the optimization of the precoding matrix with a fixed reflecting pattern, the matrix optimization is transformed to be a vector optimization problem and two methods are proposed to solve it, which are referred as MSER-Precoding and MMED-Precoding. The superiority of the proposed designs is investigated by simulations. Simulation results demonstrate that the proposed reflecting and precoding designs can offer a lower SER than existing designs with the assumption of complex Gaussian input. Moreover, we compare RIS with a full-duplex Amplify-and-Forward (AF) relay system in terms of SER to show the advantage of RIS.


title: Abnormal Colon Polyp Image Synthesis Using Conditional Adversarial Networks for Improved Detection Performance

abstract: One of the major obstacles in automatic polyp detection during colonoscopy is the lack of labeled polyp training images. In this paper, we propose a framework of conditional adversarial networks to increase the number of training samples by generating synthetic polyp images. Using a normal binary form of polyp mask which represents only the polyp position as an input conditioned image, realistic polyp image generation is a difficult task in a generative adversarial networks approach. We propose an edge filtering-based combined input conditioned image to train our proposed networks. This enables realistic polyp image generations while maintaining the original structures of the colonoscopy image frames. More importantly, our proposed framework generates synthetic polyp images from normal colonoscopy images which have the advantage of being relatively easy to obtain. The network architecture is based on the use of multiple dilated convolutions in each encoding part of our generator network to consider large receptive fields and avoid many contractions of a feature map size. An image resizing with convolution for upsampling in the decoding layers is considered to prevent artifacts on generated images. We show that the generated polyp images are not only qualitatively realistic but also help to improve polyp detection performance.


title: Simple transitive $2$-representations of Soergel bimodules for finite Coxeter types

abstract: In this paper we show that Soergel bimodules for finite Coxeter types have only finitely many equivalence classes of simple transitive $2$-representations and we complete their classification in all types but $H_{3}$ and $H_{4}$.


title: Automorphisms of 3-folds of general type acting trivially on cohomology

abstract: Let $X$ be a minimal projective threefold of general type over $\mathbb{C}$ with only Gorenstein quotient singularities, and let $\mathrm{Aut}_{\mathbb{Q}}(X)$ be the subgroup of automorphisms acting trivially on $H^*(X,\mathbb{Q})$. In this paper, we show that if $X$ is of maximal Albanese dimension, then $|\mathrm{Aut}_{\mathbb{Q}}(X)|\leq 6$. Moreover, if $X$ is nonsingular and $K_X$ is ample, then $|\mathrm{Aut}_{\mathbb{Q}}(X)|\leq 5$. Seeking for higher-dimensional examples of varieties with nontrivial $\mathrm{Aut}_{\mathbb{Q}}(X)$, we concern $d$-folds $X$ isogenous to an unmixed product of curves. If $d=3$, we show that $\mathrm{Aut}_{\mathbb{Q}}(X)$ is a $2$-elementray abelian group whose order is at most $4$ under some conditions on their minimal realizations. Moreover, each of the possible groups can be realized. If $d\geq 3$, we give a sufficient condition for $\mathrm{Aut}_{\mathbb{Q}}(X)$ being trivial. Curiously, there exist examples of projective threefolds $X$ with terminal singularities and maximal Albanese dimension whose $\mathrm{Aut}_{\mathbb{Q}}(X)$ can have an arbitrarily large order.


title: Automatically Extract the Semi-transparent Motion-blurred Hand from a Single Image

abstract: When we use video chat, video game, or other video applications, motion-blurred hands often appear. Accurately extracting these hands is very useful for video editing and behavior analysis. However, existing motion-blurred object extraction methods either need user interactions, such as user supplied trimaps and scribbles, or need additional information, such as background images. In this paper, a novel method which can automatically extract the semi-transparent motion-blurred hand just according to the original RGB image is proposed. The proposed method separates the extraction task into two subtasks: alpha matte prediction and foreground prediction. These two subtasks are implemented by Xception based encoder-decoder networks. The extracted motion-blurred hand images can be calculated by multiplying the predicted alpha mattes and foreground images. Experiments on synthetic and real datasets show that the proposed method has promising performance.