title: Interactive Topic Modeling with Anchor Words

abstract: The formalism of anchor words has enabled the development of fast topic modeling algorithms with provable guarantees. In this paper, we introduce a protocol that allows users to interact with anchor words to build customized and interpretable topic models. Experimental evidence validating the usefulness of our approach is also presented.


title: Infrared $K_s$-band Photometry of Field RR Lyrae Variable Stars

abstract: We present multi-epoch infrared photometry in the $K_s$-band for 74 bright RR Lyrae variable stars tied directly to the 2MASS photometric system. We systematize additional $K$-band photometry from the literature to the 2MASS system and combine it to obtain photometry for 146 RR Lyrae stars on a consistent, modern system. A set of outlier stars in the literature photometry is identified and discussed. Reddening estimates for each star were gathered from the literature and combined to provide an estimate of the interstellar absorption affecting each star, and we find excellent agreement with another source in the literature. We utilize trigonometric parallaxes from the Second Data Release of ESA's Gaia astrometric satellite to determine the absolute magnitude, $M_{K_s}$ for each of these stars, and analyze them using the astrometry based luminosity prescription to obtain a parallax-based calibration of $M_K$(RR). Our period-luminosity-metallicity relationship is $ M_{K_s} = (-2.8\pm 0.2) (\log P +0.27) + (0.12\pm 0.02) ( [\mathrm{Fe/H}] + 1.3) - (0.41\pm 0.03)$ mag. A Gaia global zero-point error of $\pi_{zp} = -0.042\pm 0.013\,$mas is determined for this sample of RR Lyrae stars.


title: Spin-Wave Multiplexed Atom-Cavity Electrodynamics

abstract: We introduce multiplexed atom-cavity quantum electrodynamics with an atomic ensemble coupled to a single optical cavity mode. Multiple Raman dressing beams establish cavity-coupled spin-wave excitations with distinctive spatial profiles. Experimentally, we demonstrate the concept by observing spin-wave vacuum Rabi splittings, selective superradiance, and interference in the cavity-mediated interactions of two spin waves. We highlight that the current experimental configuration allows rapid, interchangeable cavity-coupling to 4 profiles with an overlap parameter of less than 10%, enough to demonstrate, for example, a quantum repeater network simulation in the cavity. With further improvements to the optical multiplexing setup, we infer the ability to access more than $10^3$ independent spin-wave profiles.


title: Transformations of mass/charges fission fragments spectra with consideration the postfission emission of nuclear particles: 232Th

abstract: The possibilities of the proposed statistical approach are shown in the task of investigating the post-scission transformation of mass and charge yields of fission fragments with considering the emission of different length of chains of elementary particles as the beta particles and neutrons fission. Using as the example the 232 Th isotope, which is located on the border between pre-actinide and actinides nuclei, the changes in the topology of fission fragments yields, the role of emission of nuclear particles in the competition of symmetric and asymmetric modes in fission processes are investigated. The proposed method allows one to determine the most probable two fission's fragments clusters, obtained in considering the different chain's length of emitted nuclear particles and the parameters of their stability. All these results are essential when interpreting the experimental data.


title: Two- and three-loop anomalous dimensions of Weinberg's dimension-six CP-odd gluonic operator

abstract: We apply a fully automated extension of the $R^*$-operation capable of calculating higher-loop anomalous dimensions of n-point Green's functions of arbitrary, possibly non-renormalisable, local Quantum Field Theories. We focus on the case of the CP-violating Weinberg operator of the Standard Model Effective Field Theory whose anomalous dimension is so far known only at one loop. We calculate the two-loop anomalous dimension in full QCD and the three-loop anomalous dimensions in the limit of pure Yang-Mills theory. We find sizeable two-loop and large three-loop corrections, due to the appearance of a new quartic group invariant. We discuss phenomenological implications for electric dipole moments and future applications of the method.


title: Infer Implicit Contexts in Real-time Online-to-Offline Recommendation

abstract: Understanding users' context is essential for successful recommendations, especially for Online-to-Offline (O2O) recommendation, such as Yelp, Groupon, and Koubei. Different from traditional recommendation where individual preference is mostly static, O2O recommendation should be dynamic to capture variation of users' purposes across time and location. However, precisely inferring users' real-time contexts information, especially those implicit ones, is extremely difficult, and it is a central challenge for O2O recommendation. In this paper, we propose a new approach, called Mixture Attentional Constrained Denoise AutoEncoder (MACDAE), to infer implicit contexts and consequently, to improve the quality of real-time O2O recommendation. In MACDAE, we first leverage the interaction among users, items, and explicit contexts to infer users' implicit contexts, then combine the learned implicit-context representation into an end-to-end model to make the recommendation. MACDAE works quite well in the real system. We conducted both offline and online evaluations of the proposed approach. Experiments on several real-world datasets (Yelp, Dianping, and Koubei) show our approach could achieve significant improvements over state-of-the-arts. Furthermore, online A/B test suggests a 2.9% increase for click-through rate and 5.6% improvement for conversion rate in real-world traffic. Our model has been deployed in the product of "Guess You Like" recommendation in Koubei.


title: Maximum Entropy approach to multivariate time series randomization

abstract: Natural and social multivariate systems are commonly studied through sets of simultaneous and time-spaced measurements of the observables that drive their dynamics, i.e., through sets of time series. Typically, this is done via hypothesis testing: the statistical properties of the empirical time series are tested against those expected under a suitable null hypothesis. This is a very challenging task in complex interacting systems, where statistical stability is often poor due to lack of stationarity and ergodicity. Here, we describe an unsupervised, data-driven framework to perform hypothesis testing in such situations. This consists of a statistical mechanical approach - analogous to the configuration model for networked systems - for ensembles of time series designed to preserve, on average, some of the statistical properties observed on an empirical set of time series. We showcase its possible applications with a case study on financial portfolio selection.


title: Synchronizing Audio-Visual Film Stimuli in Unity (version 5.5.1f1): Game Engines as a Tool for Research

abstract: Unity is a software specifically designed for the development of video games. However, due to its programming possibilities and the polyvalence of its architecture, it can prove to be a versatile tool for stimuli presentation in research experiments. Nevertheless, it also has some limitations and conditions that need to be taken into account to ensure optimal performance in particular experimental situations. Such is the case if we want to use it in an experimental design that includes the acquisition of biometric signals synchronized with the broadcasting of video and audio in real time. In the present paper, we analyse how Unity (version 5.5.1f1) reacts in one such experimental design that requires the execution of audio-visual material. From the analysis of an experimental procedure in which the video was executed following the standard software specifications, we have detected the following problems desynchronization between the emission of the video and the audio; desynchronization between the temporary counter and the video; a delay in the execution of the screenshot; and depending on the encoding of the video a bad fluency in the video playback, which even though it maintains the total playback time, it causes Unity to freeze frames and proceed to compensate with little temporary jumps in the video. Finally, having detected all the problems, a compensation and verification process is designed to be able to work with audio-visual material in Unity (version 5.5.1f1) in an accurate way. We present a protocol for checks and compensations that allows solving these problems to ensure the execution of robust experiments in terms of reliability.


title: Speech bandwidth extension with WaveNet

abstract: Large-scale mobile communication systems tend to contain legacy transmission channels with narrowband bottlenecks, resulting in characteristic "telephone-quality" audio. While higher quality codecs exist, due to the scale and heterogeneity of the networks, transmitting higher sample rate audio with modern high-quality audio codecs can be difficult in practice. This paper proposes an approach where a communication node can instead extend the bandwidth of a band-limited incoming speech signal that may have been passed through a low-rate codec. To this end, we propose a WaveNet-based model conditioned on a log-mel spectrogram representation of a bandwidth-constrained speech audio signal of 8 kHz and audio with artifacts from GSM full-rate (FR) compression to reconstruct the higher-resolution signal. In our experimental MUSHRA evaluation, we show that a model trained to upsample to 24kHz speech signals from audio passed through the 8kHz GSM-FR codec is able to reconstruct audio only slightly lower in quality to that of the Adaptive Multi-Rate Wideband audio codec (AMR-WB) codec at 16kHz, and closes around half the gap in perceptual quality between the original encoded signal and the original speech sampled at 24kHz. We further show that when the same model is passed 8kHz audio that has not been compressed, is able to again reconstruct audio of slightly better quality than 16kHz AMR-WB, in the same MUSHRA evaluation.


title: Bag-of-Audio-Words based on Autoencoder Codebook for Continuous Emotion Prediction

abstract: In this paper we present a novel approach for extracting a Bag-of-Words (BoW) representation based on a Neural Network codebook. The conventional BoW model is based on a dictionary (codebook) built from elementary representations which are selected randomly or by using a clustering algorithm on a training dataset. A metric is then used to assign unseen elementary representations to the closest dictionary entries in order to produce a histogram. In the proposed approach, an autoencoder (AE) encompasses the role of both the dictionary creation and the assignment metric. The dimension of the encoded layer of the AE corresponds to the size of the dictionary and the output of its neurons represents the assignment metric. Experimental results for the continuous emotion prediction task on the AVEC 2017 audio dataset have shown an improvement of the Concordance Correlation Coefficient (CCC) from 0.225 to 0.322 for arousal dimension and from 0.244 to 0.368 for valence dimension relative to the conventional BoW version implemented in a baseline system.


title: Multiband Probabilistic Cataloging: A Joint Fitting Approach to Point Source Detection and Deblending

abstract: Probabilistic cataloging (PCAT) outperforms traditional cataloging methods on single-band optical data in crowded fields (Portillo et al. 2017). We extend our work to multiple bands, achieving greater sensitivity ($\sim$ 0.4 mag) and greater speed (500x) compared to previous single-band results. We demonstrate the effectiveness of multiband PCAT on mock data, both in terms of recovering accurate posteriors in the catalog space, and in directly deblending sources. When applied to Sloan Digital Sky Survey (SDSS) observations of M2, taking Hubble Space Telescope data as truth, our joint fit on $r$ and $i$ band data goes $\sim0.4$ mag deeper than single-band probabilistic cataloging and has a false discovery rate less than 20\% for F606W$\leq 20$. Compared to DAOPHOT, the two-band SDSS catalog fit goes nearly 1.5 magnitudes deeper using the same data, and maintains a lower false discovery rate down to F606W$\sim 20.5$. Given recent improvements in computational speed, multiband PCAT shows promise in application to large-scale surveys and is a plausible framework for joint analysis of multi-instrument observational data.


title: Degenerate Tur\'an densities of sparse hypergraphs

abstract: For fixed integers $r>k\ge 2,e\ge 3$, let $f_r(n,er-(e-1)k,e)$ be the maximum number of edges in an $r$-uniform hypergraph in which the union of any $e$ distinct edges contains at least $er-(e-1)k+1$ vertices. A classical result of Brown, Erd\H{o}s and S\'os in 1973 showed that $f_r(n,er-(e-1)k,e)=\Theta(n^k).$ The degenerate Tur\'an density is defined to be the limit (if it exists) $$\pi(r,k,e):=\lim_{n\rightarrow\infty}\frac{f_r(n,er-(e-1)k,e)}{n^k}.$$ Extending a recent result of Glock for the special case of $r=3,k=2,e=3$, we show that $$\pi(r,2,3):=\lim_{n\rightarrow\infty}\frac{f_r(n,3r-4,3)}{n^2}=\frac{1}{r^2-r-1}$$ for arbitrary fixed $r\ge 4$. For the more general cases $r>k\ge 3$, we show that $$\frac{1}{r^k-r}\le\liminf_{n\rightarrow\infty}\frac{f_r(n,3r-2k,3)}{n^k}\le\limsup_{n\rightarrow\infty}\frac{f_r(n,3r-2k,3)}{n^k}\le \frac{1}{k!\binom{r}{k}-\frac{k!}{2}}.$$ The main difficulties in proving these results are the constructions establishing the lower bounds. The first construction is recursive and purely combinatorial, and is based on a (carefully designed) approximate induced decomposition of the complete graph, whereas the second construction is algebraic, and is proved by a newly defined matrix property which we call {\it strongly 3-perfect hashing}.


title: GraphSAINT: Graph Sampling Based Inductive Learning Method

abstract: Graph Convolutional Networks (GCNs) are powerful models for learning representations of attributed graphs. To scale GCNs to large graphs, state-of-the-art methods use various layer sampling techniques to alleviate the "neighbor explosion" problem during minibatch training. We propose GraphSAINT, a graph sampling based inductive learning method that improves training efficiency and accuracy in a fundamentally different way. By changing perspective, GraphSAINT constructs minibatches by sampling the training graph, rather than the nodes or edges across GCN layers. Each iteration, a complete GCN is built from the properly sampled subgraph. Thus, we ensure fixed number of well-connected nodes in all layers. We further propose normalization technique to eliminate bias, and sampling algorithms for variance reduction. Importantly, we can decouple the sampling from the forward and backward propagation, and extend GraphSAINT with many architecture variants (e.g., graph attention, jumping connection). GraphSAINT demonstrates superior performance in both accuracy and training time on five large graphs, and achieves new state-of-the-art F1 scores for PPI (0.995) and Reddit (0.970).


title: The effect of telescope aperture, scattered light, and human vision on early measurements of sunspot and group numbers

abstract: Early telescopic observations of sunspots were conducted with instruments of relatively small aperture. These instruments also suffered from a higher level of scattered light, and the human eye served as a "detector". The eye's ability to resolve small details depends on image contrast, and on average the intensity variations smaller than $\approx$ 3\% contrast relative to background are not detected even if they are resolved by the telescope. Here we study the effect of these three parameters (telescope aperture, scattered light, and detection threshold of human vision) on sunspot number, group number, and area of sunspots. As an "ideal" dataset, we employ white-light (pseudo-continuum) observations from Helioseismic and Magnetic Imager (HMI) onboard of Solar Dynamics Observatory, and we model the appearance of sunspots by degrading the HMI images to corresponding telescope apertures with an added scattered light. We discuss the effects of different parameters on sunspot counts and derive functional dependencies, which could be used to normalize historical observations of sunspot counts to common denominator.


title: Hydrodynamical interaction of stellar and planetary winds: effects of charge exchange and radiation pressure on the observed Ly$\alpha$ absorption

abstract: Lyman $\alpha$ observations of the transiting exoplanet HD 209458b enable the study of exoplanets exospheres exposed to stellar EUV fluxes, as well as the interacting stellar wind properties. In this study we present 3D hydrodynamical models for the stellar-planetary wind interaction including radiation pressure and charge exchange, together with photoionization, recombination and collisional ionization processes. Our models explore the contribution of the radiation pressure and charge exchange on the Ly$\alpha$ absorption profile in a hydrodynamical framework, and for a single set of stellar wind parameters appropriate for HD 209458. We find that most of the absorption is produced by the material from the planet, with a secondary contribution of neutralized stellar ions by charge exchange. At the same time, the hydrodynamic shock heats up the planetary material, resulting in a broad thermal profile. Meanwhile, the radiation pressure yielded a small velocity shift of the absorbing material. While neither charge exchange nor radiation pressure provide enough neutrals at the velocity needed to explain the observations at $-100~\mathrm{km~s^{-1}}$ individually, we find that the two effects combined with the broad thermal profile are able to explain the observations.


title: CallE: An Effect System for Method Calls

abstract: Effect systems are used to statically reason about the effects an expression may have when evaluated. In the literature, such effects include various behaviours as diverse as memory accesses and exception throwing. Here we present CallE, an object-oriented language that takes a flexible approach where effects are just method calls: this works well because ordinary methods often model things like I/O operations, access to global state, or primitive language operations such as thread creation. CallE supports both flexible and fine-grained control over such behaviour, in a way designed to minimise the complexity of annotations. CallE's effect system can be used to prevent OO code from performing privileged operations, such as querying a database, modifying GUI widgets, exiting the program, or performing network communication. It can also be used to ensure determinism, by preventing methods from (indirectly) calling non-deterministic primitives like random number generation or file reading.


title: Safety Control with Preview Automaton

abstract: This paper considers the problem of safety controller synthesis for systems equipped with sensor modalities that can provide preview information. We consider switched systems where switching mode is an external signal for which preview information is available. In particular, it is assumed that the sensors can notify the controller about an upcoming mode switch before the switch occurs. We propose preview automaton, a mathematical construct that captures both the preview information and the possible constraints on switching signals. Then, we study safety control synthesis problem with preview information. An algorithm that computes the maximal invariant set in a given mode-dependent safe set is developed. These ideas are demonstrated on two case studies from autonomous driving domain.


title: Neutral carbon and highly excited CO in a massive star-forming main sequence galaxy at z=2.2

abstract: We used the Plateau De Bure Interferometer to observe multiple CO and neutral carbon transitions in a z=2.2 main sequence disk galaxy, BX610. Our observation of CO(7-6), CO(4-3), and both far-infrared(FIR) [CI] lines complements previous observations of H$\alpha$ and low-J CO, and reveals a galaxy that is vigorously forming stars with UV fields (Log($G$ G$_0^{-1}) \lesssim3.25);$ although less vigorously than local ultra-luminous infrared galaxies or most starbursting submillimeter galaxies in the early universe. Our observations allow new independent estimates of the cold gas mass which indicate $M_\textrm{gas}\sim2\times10^{11}$M$_\odot$, and suggest a modestly larger $\alpha_{\textrm{CO}}$ value of $\sim$8.2. The corresponding gas depletion timescale is $\sim$1.5 Gyr. In addition to gas of modest density (Log($n$ cm$^3)\lesssim3$ ) heated by star formation, BX610 shows evidence for a significant second gas component responsible for the strong high-J CO emission. This second component might either be a high-density molecular gas component heated by star formation in a typical photodissociation region, or could be molecular gas excited by low-velocity C shocks. The CO(7-6)-to-FIR luminosity ratio we observe is significantly higher than typical star-forming galaxies and suggests that CO(7-6) is not a reliable star-formation tracer in this galaxy.


title: Mathematical Analysis of Dynamic Risk Default in Microfinance

abstract: In this work we will develop a new approach to solve the non repayment problem in microfinance due to the problem of asymmetric information. This approach is based on modeling and simulation of ordinary differential systems where time remains a primordial component, they thus enable microfinance institutions to manage their risk portfolios by a prediction of numbers of solvent and insolvent borrowers ever a period, in order to define or redefine its development strategy, investment and management in an area, where the population is often poor and in need a mechanism of financial inclusion.


title: Mini-EUSO data acquisition and control software

abstract: We present the data acquisition and control software for the operation of the Mini-Extreme Universe Space Observatory (EUSO), a space-based fluorescence telescope for the observation of extensive air showers and atmospheric phenomena. This framework has been extensively tested alongside the development of Mini-EUSO and was finalized ahead of the successful launch of the instrument to the ISS on August 22, 2019. The data acquisition, housekeeping, and subsystem control are achieved using custom-designed front-end electronics based on a Xilinx Zynq XC7Z030 chip interfaced with a PCIe/104 CPU module via the integrated Zynq processing system. The instrument control interface is handled using an object-oriented C++ design, which can be run both autonomously and interactively as required. Although developed for Mini-EUSO, the modular design of both the software and hardware can easily be scaled up to larger instrument designs and adapted to different subsystem and communication requirements. As such, this framework will also be used in the upgrade of the EUSO-TA instrument and potentially for the next EUSO-SPB2 NASA Balloon flight. The software and firmware presented are open source and released with detailed and integrated documentation.


title: Multi-element SIAC filter for shock capturing applied to high-order discontinuous Galerkin spectral element methods

abstract: We build a multi-element variant of the smoothness increasing accuracy conserving (SIAC) shock capturing technique proposed for single element spectral methods by Wissink et al. (B.W. Wissink, G.B. Jacobs, J.K. Ryan, W.S. Don, and E.T.A. van der Weide. Shock regularization with smoothness-increasing accuracy-conserving Dirac-delta polynomial kernels. Journal of Scientific Computing, 77:579--596, 2018). In particular, the baseline scheme of our method is the nodal discontinuous Galerkin spectral element method (DGSEM) for approximating the solution of systems of conservation laws. It is well known that high-order methods generate spurious oscillations near discontinuities which can develop in the solution for nonlinear problems, even when the initial data is smooth. We propose a novel multi-element SIAC filtering technique applied to the DGSEM as a shock capturing method. We design the SIAC filtering such that the numerical scheme remains high-order accurate and that the shock capturing is applied adaptively throughout the domain. The shock capturing method is derived for general systems of conservation laws. We apply the novel SIAC filter to the two-dimensional Euler and ideal magnetohydrodynamics (MHD) equations to several standard test problems with a variety of boundary conditions.


title: Dual solutions Schr\"odinger type for Poisson equation in dielectric and magnetic linear media

abstract: Solutions are obtained for the dual form of the Schr\"odinger equation got from the transformation of Poisson equation for the vector and the scalar potential, in dielectric and magnetic materials, having into account homogeneous isotropic linear mechanisms. We study and apply these dual equation solutions in some specific potentials.


title: Duration of Classicality of an inhomogeneous quantum field with repulsive contact self-interactions

abstract: Quantum fields with large degeneracy are often approximated as classical fields. Here, we show how quantum and classical evolution of a highly degenerate quantum field with repulsive contact self-interactions differ from each other. Initially, the field is taken to be homogeneous except for a small plane wave perturbations in only one mode. In quantum field theory, modes satisfying both momentum and energy conservation of the quasi-particles, grow exponentially with time. However, in the classical field approximation, the system is stable. We calculate the time scale after which the classical field description becomes invalid.


title: Constraints on neutrino electric millicharge from experiments of elastic neutrino-electron interaction and future experimental proposals involving coherent elastic neutrino-nucleus scattering

abstract: In several extensions of the Standard Model of Particle Physics (SMPP), the neutrinos acquire electromagnetic properties such as the electric millicharge. Theoretical and experimental bounds have been reported in the literature for this parameter. In this work, we first carried out a statistical analysis by using data from reactor neutrino experiments, which include elastic neutrino-electron scattering (ENES) processes, in order to obtain both individual and combined limits on the neutrino electric millicharge (NEM). Then we performed a similar calculation to show a estimate of the sensitivity of future experiments of reactor neutrinos to the NEM, by involving coherent elastic neutrino-nucleus scattering (CENNS). In the first case, the constraints achieved from the combination of several experiments are $-1.1\times 10^{-12}e < q_{\nu} < 9.3\times 10^{-13}e$ ($90\%$ C.L.), and in the second scenario we obtained the bounds $-1.8\times 10^{-14}e < q_{\nu} < 1.8\times 10^{-14}e$ ($90\%$ C.L.). As we will show here, these combined analyses of different experimental data can lead to stronger constraints than those based on individual analysis. Where CENNS interactions would stand out as an important alternative to improve the current limits on NEM.


title: Astro2020 APC White Paper: Accessible Astronomy: Policies, Practices, and Strategies to Increase Participation of Astronomers with Disabilities

abstract: (Abridged) In this white paper, we outline the major barriers to access within the educational and professional practice of astronomy. We present current best practices for inclusivity and accessibility, including classroom practices, institutional culture, support for infrastructure creation, hiring processes, and outreach initiatives. We present specific ways--beyond simple compliance with the ADA--that funding agencies, astronomers, and institutions can work together to make astronomy as a field more accessible, inclusive, and equitable. In particular, funding agencies should include the accessibility of institutions during proposal evaluation, hold institutions accountable for inaccessibility, and support efforts to gather data on the status and progress of astronomers and astronomy students with disabilities.


title: Can Unconditional Language Models Recover Arbitrary Sentences?

abstract: Neural network-based generative language models like ELMo and BERT can work effectively as general purpose sentence encoders in text classification without further fine-tuning. Is it possible to adapt them in a similar way for use as general-purpose decoders? For this to be possible, it would need to be the case that for any target sentence of interest, there is some continuous representation that can be passed to the language model to cause it to reproduce that sentence. We set aside the difficult problem of designing an encoder that can produce such representations and, instead, ask directly whether such representations exist at all. To do this, we introduce a pair of effective, complementary methods for feeding representations into pretrained unconditional language models and a corresponding set of methods to map sentences into and out of this representation space, the reparametrized sentence space. We then investigate the conditions under which a language model can be made to generate a sentence through the identification of a point in such a space and find that it is possible to recover arbitrary sentences nearly perfectly with language models and representations of moderate size without modifying any model parameters.


title: A deep learning enabler for non-intrusive reduced order modeling of fluid flows

abstract: In this paper, we introduce a modular deep neural network (DNN) framework for data-driven reduced order modeling of dynamical systems relevant to fluid flows. We propose various deep neural network architectures which numerically predict evolution of dynamical systems by learning from either using discrete state or slope information of the system. Our approach has been demonstrated using both residual formula and backward difference scheme formulas. However, it can be easily generalized into many different numerical schemes as well. We give a demonstration of our framework for three examples: (i) Kraichnan-Orszag system, an illustrative coupled nonlinear ordinary differential equations, (ii) Lorenz system exhibiting chaotic behavior, and (iii) a non-intrusive model order reduction framework for the two-dimensional Boussinesq equations with a differentially heated cavity flow setup at various Rayleigh numbers. Using only snapshots of state variables at discrete time instances, our data-driven approach can be considered truly non-intrusive, since any prior information about the underlying governing equations is not required for generating the reduced order model. Our \textit{a posteriori} analysis shows that the proposed data-driven approach is remarkably accurate, and can be used as a robust predictive tool for non-intrusive model order reduction of complex fluid flows.


title: How to search for gravitational waves from $r$-modes of known pulsars

abstract: Searches for continuous gravitational waves from known pulsars so far have been targeted at or near the spin frequency or double the spin frequency of each pulsar, appropriate for mass quadrupole emission. But some neutron stars might radiate strongly through current quadrupoles via $r$-modes, which oscillate at about four thirds the spin frequency. We show for the first time how to construct searches over appropriate ranges of frequencies and spin-down parameters to target $r$-modes from known pulsars. We estimate computational costs and sensitivities of realistic $r$-mode searches using the coherent $\mathcal{F}$-statistic, and find that feasible searches for known pulsars can beat spin-down limits on gravitational wave emission even with existing LIGO and Virgo data.


title: Emergence of material momentum in optical media

abstract: Understanding the momentum of light when propagating through optical media is not only fundamental for studies as varied as classical electrodynamics and polaritonics in condensed matter physics, but also for important applications such as optical-force manipulations and photovoltaics. From a microscopic perspective, an optical medium is in fact a complex system that can split the light momentum into the electromagnetic field, as well as the material electrons and the ionic lattice. Here, we disentangle the partition of momentum associated with light propagation in optical media, and develop a quantum theory to explicitly calculate its distribution. The material momentum here revealed, which is distributed among electrons and ionic lattice, leads to the prediction of unexpected phenomena. In particular, the electron momentum manifests through an intrinsic DC current, and strikingly, we find that under certain conditions this current can be along the photonic wave vector, implying an optical pulling effect on the electrons. Likewise, an optical pulling effect on the lattice can also be observed, such as in graphene during plasmon propagation. We also predict the emergence of boundary electric dipoles associated with light transmission through finite media, offering a microscopic explanation of optical pressure on material boundaries.


title: Magnetic-field control of topological electronic response near room temperature in correlated Kagome magnets

abstract: Strongly correlated Kagome magnets are promising candidates for achieving controllable topological devices owing to the rich interplay between inherent Dirac fermions and correlation-driven magnetism. Here we report tunable local magnetism and its intriguing control of topological electronic response near room temperature in the Kagome magnet Fe3Sn2 using small angle neutron scattering, muon spin rotation, and magnetoresistivity measurement techniques. The average bulk spin direction and magnetic domain texture can be tuned effectively by small magnetic fields. Magnetoresistivity, in response, exhibits a measurable degree of anisotropic weak localization behavior, which allows the direct control of Dirac fermions with strong electron correlations. Our work points to a novel platform for manipulating emergent phenomena in strongly-correlated topological materials relevant to future applications.


title: On the tilting complexes for the Auslander algebra of the truncated polynomial ring

abstract: We give a bijection between the tilting complexes in the bounded homotopy category of the Auslander algebra of the truncated polynomial ring and ZxB where B is the Artin braid goup of type A with n-1 generators. The tilting complexes have mutation components parametrized by Z and each component has a natural faithful and transitive operation of B. This also implies that the derived Picard group of this algebra is isomorphic to the direct product of its outer isomorphism group and ZxB. This work is to be seen as a continuation of the work of Geuenich and an application of the work of Aihara and Mizuno on tilting complexes of preprojective algebras of Dynkin type.


title: Exponential stability for the nonlinear Schr\"odinger equation on a star-shaped network

abstract: In this paper, we prove the exponential stability of the solution of the nonlinear dissipative Schr\"odinger equation on a star-shaped network and where the damping is localized on one branch and at the infinity.


title: Radiality Constraints for Resilient Reconfiguration of Distribution Systems: Formulation and Application to Microgrid Formation

abstract: Network reconfiguration is an effective strategy for different purposes of distribution systems (DSs), e.g., resilience enhancement. In particular, DS automation, distributed generation integration and microgrid (MG) technology development, etc., are empowering much more flexible reconfiguration and operation of the system, e.g., DSs or MGs with flexible boundaries. However, the formulation of DS reconfiguration-related optimization problems to include those new flexibilities is non-trivial, especially for the issue of topology, which has to be radial. That is, existing methods of formulating radiality constraints can cause underutilization of DS flexibilities. Thus, this work proposes a new method for radiality constraints formulation fully enabling the topological and some other related flexibilities of DSs, so that the reconfiguration-related optimization problems can have extended feasibility and enhanced optimality. Graph-theoretic supports are provided to certify its theoretical validity. As integer variables are involved, we also analyze the tightness and compactness issues. The proposed radiality constraints are specifically applied to post-disaster MG formation, which is involved in many DS resilience-oriented service restoration and/or infrastructure recovery problems. The resulting new MG formation model, which allows more flexible merge and/or separation of sub-grids, etc., establishes superiority over the models in the literature. Case studies are conducted on two test systems.


title: How a-type anomalies can depend on marginal couplings

abstract: Even dimensional defects and boundaries in conformal field theory support type $a$ anomalies on their world-volume. We show that the one-point functions of marginal operators, in the presence of defects and boundaries, are anomalous, and that the Wess-Zumino consistency condition relates them to the derivative of the $a$-anomaly with respect to the marginal coupling. We also argue that the constant term $F$ for odd dimensional surfaces can depend on marginal parameters.


title: Digital image quantification of rice sheath blight: Optimized segmentation and automatic classification

abstract: Rapid and accurate phenotypic screening of rice germplasms is crucial in screening for sources of rice sheath blight resistance. However, visual and/or caliper-based estimations of coalescing, necrotic, ShB disease lesions are time-consuming, labor-intensive and exposed to human rater subjectivity. Here, we propose the use of RGB images and image processing techniques to quantify ShB disease progression in terms of lesion height and diseased area. To be specific, we developed a pixel color- and coordinate-based K-Means Clustering (PCC-KMC) algorithm utilizing Mahalanobis metric aimed at accurate segmentation of symptomatic and non-symptomatic regions within rice stem images. The performance of PCC-KMC was evaluated using Lin's concordance correlation coefficient by comparing its results to visual measurements of ShB lesion height and to lesion/diseased area measured using ImageJ. Low bias and high precision were observed for absolute lesion height (bias=0.93, precision=0.94) and absolute symptomatic area (bias=0.98, precision=0.97) studies. Moreover, we introduced a convolutional neural network (CNN) for the automatic annotation on clusters, termed PCC-KMC-CNN. Our CNN was trained based on 85%:15% of composition for training and testing dataset from total 168 ShB-infected stem sample images, recording 92% accuracy and 0.21 loss. PCC-KMC-CNN also showed high accuracy and precision for the absolute lesion height (bias=0.86, precision=0.90) and absolute diseased area (bias=0.99, precision=0.97) studies. These results demonstrate that the present methodology has great potential and promise to substitute the traditional visual-based ShB disease severity assessment.


title: Modelling the Socialization of Creative Agents in a Master-Apprentice Setting: The Case of Movie Title Puns

abstract: This paper presents work on modelling the social psychological aspect of socialization in the case of a computationally creative master-apprentice system. In each master-apprentice pair, the master, a genetic algorithm, is seen as a parent for its apprentice, which is an NMT based sequence-to-sequence model. The effect of different parenting styles on the creative output of each pair is in the focus of this study. This approach brings a novel view point to computational social creativity, which has mainly focused in the past on computationally creative agents being on a socially equal level, whereas our approach studies the phenomenon in the context of a social hierarchy.


title: Demazure and local Weyl modules for twisted hyper current algebras

abstract: In this paper, we study local graded Weyl modules and Demazure modules for twisted hypercurrent algebras. We prove that local graded Weyl modules for a twisted hypercurrent algebra are isomorphic to the corresponding level 1 Demazure modules, and moreover, that they are restrictions of corresponding local graded Weyl modules for the untwisted hypercurrent algebra.


title: Nonparametric estimation of the conditional density function with right-censored and dependent data

abstract: In this paper, we study the local constant and the local linear estimators of the conditional density function with right-censored data which exhibit some type of dependence. It is assumed that the observations form a stationary $\alpha-$mixing sequence. The asymptotic normality of the two estimators is established, which combined with the condition that $\lim\limits_{n\rightarrow\infty}nh_nb_n=\infty$ implies the consistency of the two estimators and can be employed to construct confidence intervals for the conditional density function. The result on the local linear estimator of the conditional density function in Kim et al. (2010) is relaxed from the i.i.d. assumption to the $\alpha-$mixing setting, and the result on the local linear estimator of the conditional density function in Spierdijk (2008) is relaxed from the $\rho$-mixing assumption to the $\alpha-$mixing setting. Finite sample behavior of the estimators is investigated by simulations.


title: Vision-and-Dialog Navigation

abstract: Robots navigating in human environments should use language to ask for assistance and be able to understand human responses. To study this challenge, we introduce Cooperative Vision-and-Dialog Navigation, a dataset of over 2k embodied, human-human dialogs situated in simulated, photorealistic home environments. The Navigator asks questions to their partner, the Oracle, who has privileged access to the best next steps the Navigator should take according to a shortest path planner. To train agents that search an environment for a goal location, we define the Navigation from Dialog History task. An agent, given a target object and a dialog history between humans cooperating to find that object, must infer navigation actions towards the goal in unexplored environments. We establish an initial, multi-modal sequence-to-sequence model and demonstrate that looking farther back in the dialog history improves performance. Sourcecode and a live interface demo can be found at https://cvdn.dev/


title: Regge behaviors in orbitally excited spectroscopy of charmed and bottom baryons

abstract: Stimulated by recent progress made by the LHCb Collaboration in discoveries of new bottom baryons, e.g., the $\Xi _{b}(6227)^{-}$ and the $\Sigma_{b}(6097)^{\pm}$, we re-examine the orbitally excited spectrum of the charmed and bottom baryons using Regge approach in the heavy quark-diquark picture. The results indicate that the spin-averaged mass spectrum of the orbitally-excited charmed and bottom baryons can be described by a linear Regge relation, which is derived from the rotating QCD string model. By giving further mass-splitting analysis of spin-dependent interactions, we explain the baryons $\Xi_{b}(6227)^{-}$ and the $\Sigma_{b}(6097)^{\pm}$,and the $\Sigma _{c}(2800)$ and $\Xi _{c}^{\prime }(2930)$ to be the $1P$%-wave baryons, all with the spin-parity $J^{P}=3/2^{-}$ preferably. Mass prediction of the bottom baryon $\Xi_{b}$ in its P- and D-waves are presented, providing clues for the coming experiments like the LHCb to find them.


title: Regular path-constrained time-optimal control problems in three-dimensional flow fields

abstract: This article concerns a class of time-optimal state constrained control problems with dynamics defined by an ordinary differential equation involving a three-dimensional steady flow vector field. The problem is solved via an indirect method based on the maximum principle in Gamkrelidze's form. The proposed computational method essentially uses a certain regularity condition imposed on the data of the problem. The property of regularity guarantees the continuity of the measure multiplier associated with the state constraint, and ensures the appropriate behavior of the corresponding numerical procedure which, in general, consists in computing the entire field of extremals for the problem in question. Several examples of vector fields are considered to illustrate the computational approach.


title: Physics Beyond the Standard Model With Pulsar Timing Arrays

abstract: Pulsar timing arrays (PTAs) will enable the detection of nanohertz gravitational waves (GWs) from a population of supermassive binary black holes (SMBBHs) in the next $\sim 3-7$ years. In addition, PTAs provide a rare opportunity to probe exotic physics. Potential sources of GWs in the nanohertz band include, cosmic strings and cosmic superstrings, inflation and, phase transitions in the early universe. GW observations will also make possible tests of gravitational theories that, by modifying Einstein's theory of general relativity, attempt to explain the origin of cosmic acceleration and reconcile quantum mechanics and gravity, two of the most profound challenges facing fundamental physics today. Finally, PTAs also provide a new means to probe certain dark matter models.


title: Dust Transport and Processing in Centrifugally Driven Protoplanetary Disk Winds

abstract: There is evidence that protoplanetary disks--including the protosolar one--contain crystalline dust grains on spatial scales where the dust temperature is lower than the threshold value for their formation through thermal annealing of amorphous interstellar silicates. We interpret these observations in terms of an extended, magnetocentrifugally driven disk wind that transports grains from the inner disk--where they are thermally processed by the stellar radiation after being uplifted from the disk surfaces--to the outer disk regions. For any disk radius $r$ there is a maximum grain size $a_\mathrm{max}(r)$ that can be uplifted from that location: grains of size $a$$\ll$$a_\mathrm{max}$ are carried away by the wind, whereas those with $a$$\lesssim$$a_\mathrm{max}$ reenter the disk at larger radii. A significant portion of the reentering grains converge to--and subsequently accumulate in--a narrow region just beyond $r_\mathrm{max}(a)$, the maximum radius from which grains of size $a$ can be uplifted. We show that this model can account for the inferred crystallinity fractions in classical T Tauri and Herbig Ae disks and for their indicated near constancy after being established early in the disk evolution. It is also consistent with the reported radial gradients in the mean grain size, crystallinity, and crystal composition. In addition, this model yields the properties of the grains that remain embedded in the outflows from protoplanetary disks and naturally explains the inferred persistence of small grains in the surface layers of these disks.


title: Dimensionality reduction and band quantization induced by potassium intercalation in 1$T$-HfTe$_2$

abstract: We have performed angle-resolved photoemission spectroscopy on transition-metal dichalcogenide 1$T$-HfTe$_2$ to elucidate the evolution of electronic states upon potassium (K) deposition. In pristine HfTe$_2$, an in-plane hole pocket and electron pockets are observed at the Brillouin-zone center and corner, respectively, indicating the semimetallic nature of bulk HfTe$_2$, with dispersion perpendicular to the plane. In contrast, the band structure of heavily K-dosed HfTe$_2$ is obviously different from that of bulk, and resembles the band structure calculated for monolayer HfTe$_2$. It was also observed that lightly K-dosed HfTe$_2$ is characterized by quantized bands originating from bilayer and trilayer HfTe$_2$, indicative of staging. The results suggest that the dimensionality-crossover from 3D (dimensional) to 2D electronic states due to systematic K intercalation takes place via staging in a single sample. The study provides a new strategy for controlling the dimensionality and functionality of novel quantum materials.


title: Comparison between DAMA/LIBRA and COSINE-100 in the light of Quenching Factors

abstract: There is a long standing debate about whether or not the annual modulation signal reported by the DAMA/LIBRA collaboration is induced by Weakly Interacting Massive Particles~(WIMP) in the galaxy's dark matter halo scattering from nuclides in their NaI(Tl) crystal target/detector. This is because regions of WIMP-mass vs. WIMP-nucleon cross-section parameter space that can accommodate the DAMA/LIBRA-phase1 modulation signal in the context of the standard WIMP dark matter galactic halo and isospin-conserving~(canonical), spin-independent~(SI) WIMP-nucleon interactions have been excluded by many of other dark matter search experiments including COSINE-100, which uses the same NaI(Tl) target/detector material. Moreover, the recently released DAMA/LIBRA-phase2 results are inconsistent with an interpretation as WIMP-nuclide scattering via the canonical SI interaction and prefer, instead, isospin-violating or spin-dependent interactions. Dark matter interpretations of the DAMA/LIBRA signal are sensitive to the NaI(Tl) scintillation efficiency for nuclear recoils, which is characterized by so-called quenching factors~(QF), and the QF values used in previous studies differ significantly from recently reported measurements, which may have led to incorrect interpretations of the DAMA/LIBRA signal. In this article, the compatibility of the DAMA/LIBRA and COSINE-100 results, in light of the new QF measurements is examined for different possible types of WIMP-nucleon interactions. The resulting allowed parameter space regions associated with the DAMA/LIBRA signal are explicitly compared with 90\% confidence level upper limits from the initial 59.5~day COSINE-100 exposure. With the newly measured QF values, the allowed 3$\sigma$ regions from the DAMA/LIBRA data are still generally excluded by the COSINE-100 data.

categories: hep-ex astro-ph.IM hep-ph physics.ins-det


title: A Model-based Approach for Sample-efficient Multi-task Reinforcement Learning

abstract: The aim of multi-task reinforcement learning is two-fold: (1) efficiently learn by training against multiple tasks and (2) quickly adapt, using limited samples, to a variety of new tasks. In this work, the tasks correspond to reward functions for environments with the same (or similar) dynamical models. We propose to learn a dynamical model during the training process and use this model to perform sample-efficient adaptation to new tasks at test time. We use significantly fewer samples by performing policy optimization only in a "virtual" environment whose transitions are given by our learned dynamical model. Our algorithm sequentially trains against several tasks. Upon encountering a new task, we first warm-up a policy on our learned dynamical model, which requires no new samples from the environment. We then adapt the dynamical model with samples from this policy in the real environment. We evaluate our approach on several continuous control benchmarks and demonstrate its efficacy over MAML, a state-of-the-art meta-learning algorithm, on these tasks.


title: FindeR: Accelerating FM-Index-based Exact Pattern Matching in Genomic Sequences through ReRAM technology

abstract: Genomics is the critical key to enabling precision medicine, ensuring global food security and enforcing wildlife conservation. The massive genomic data produced by various genome sequencing technologies presents a significant challenge for genome analysis. Because of errors from sequencing machines and genetic variations, approximate pattern matching (APM) is a must for practical genome analysis. Recent work proposes FPGA, ASIC and even process-in-memory-based accelerators to boost the APM throughput by accelerating dynamic-programming-based algorithms (e.g., Smith-Waterman). However, existing accelerators lack the efficient hardware acceleration for the exact pattern matching (EPM) that is an even more critical and essential function widely used in almost every step of genome analysis including assembly, alignment, annotation and compression. State-of-the-art genome analysis adopts the FM-Index that augments the space-efficient BWT with additional data structures permitting fast EPM operations. But the FM-Index is notorious for poor spatial locality and massive random memory accesses. In this paper, we propose a ReRAM-based process-in-memory architecture, FindeR, to enhance the FM-Index EPM search throughput in genomic sequences. We build a reliable and energy-efficient Hamming distance unit to accelerate the computing kernel of FM-Index search using commodity ReRAM chips without introducing extra CMOS logic. We further architect a full-fledged FM-Index search pipeline and improve its search throughput by lightweight scheduling on the NVDIMM. We also create a system library for programmers to invoke FindeR to perform EPMs in genome analysis. Compared to state-of-the-art accelerators, FindeR improves the FM-Index search throughput by $83\%\sim 30K\times$ and throughput per Watt by $3.5\times\sim 42.5K\times$.


title: Discontinuous critical Fujita exponents for the heat equation with combined nonlinearities

abstract: We consider the nonlinear heat equation $u_t-\Delta u =|u|^p+b |\nabla u|^q$ in $(0,\infty)\times \R^n$, where $n\geq 1$, $p>1$, $q\geq 1$ and $b>0$. First, we focus our attention on positive solutions and obtain an optimal Fujita-type result: any positive solution blows up in finite time if $p\leq 1+\frac{2}{n}$ or $q\leq 1+\frac{1}{n+1}$, while global classical positive solutions exist for suitably small initial data when $p>1+\frac{2}{n}$ and $q> 1+\frac{1}{n+1}$. Although finite time blow-up cannot be produced by the gradient term alone and should be considered as an effect of the source term $|u|^p$, this result shows that the gradient term induces an interesting phenomenon of discontinuity of the critical Fujita exponent, jumping from $p=1+\frac{2}{n}$ to $p=\infty$ as $q$ reaches the value $1+\frac{1}{n+1}$ from above. Next, we investigate the case of sign-changing solutions and show that if $p\le 1+\frac{2}{n}$ or $0<(q-1)(np-1)\le 1$, then the solution blows up in finite time for any nontrivial initial data with nonnegative mean. Finally, a Fujita-type result, with a different critical exponent, is % also obtained for sign-changing solutions to the inhomogeneous version of this problem.


title: Diverse Trajectory Forecasting with Determinantal Point Processes

abstract: The ability to forecast a set of likely yet diverse possible future behaviors of an agent (e.g., future trajectories of a pedestrian) is essential for safety-critical perception systems (e.g., autonomous vehicles). In particular, a set of possible future behaviors generated by the system must be diverse to account for all possible outcomes in order to take necessary safety precautions. It is not sufficient to maintain a set of the most likely future outcomes because the set may only contain perturbations of a single outcome. While generative models such as variational autoencoders (VAEs) have been shown to be a powerful tool for learning a distribution over future trajectories, randomly drawn samples from the learned implicit likelihood model may not be diverse -- the likelihood model is derived from the training data distribution and the samples will concentrate around the major mode that has most data. In this work, we propose to learn a diversity sampling function (DSF) that generates a diverse and likely set of future trajectories. The DSF maps forecasting context features to a set of latent codes which can be decoded by a generative model (e.g., VAE) into a set of diverse trajectory samples. Concretely, the process of identifying the diverse set of samples is posed as a parameter estimation of the DSF. To learn the parameters of the DSF, the diversity of the trajectory samples is evaluated by a diversity loss based on a determinantal point process (DPP). Gradient descent is performed over the DSF parameters, which in turn move the latent codes of the sample set to find an optimal diverse and likely set of trajectories. Our method is a novel application of DPPs to optimize a set of items (trajectories) in continuous space. We demonstrate the diversity of the trajectories produced by our approach on both low-dimensional 2D trajectory data and high-dimensional human motion data.


title: High-precision asteroseismology in Slowly Pulsating B star: HD 50230

abstract: SPB star HD 50230, in fact a hybrid B-type pulsator, has been observed by CoRoT least 137 days. A nearly equidistant period spacing pattern are found among 8 modes which are extracted from the oscillation spectrum with more than 500 frequencies. However, it is thought to be most likely accidental by Szewczuk et al. (2014). In the present work, we analyze the 8 modes in depth with the $\chi^2$-matching method. Based on the best fitting model (model MA), we find that they can be well explained as a sequences of consecutive dipolar $(l,~m)=(1,~0)$. The period discrepancies between observations and the best fitting model are within 100 s except for the outlier which is up to 300 s. Based on the calculated CMMs, we find that, for pure g-mode oscillations, the buoyancy radius $\Lambda_{0}$ can be precisely measured with the $\chi^2$-matching method between observations and calculations. It represents the "Propagation time" of the g-mode from stellar surface to center. It is of $\Lambda_{0}=245.78\pm0.59~\mu$Hz with a precision of 0.24\%. In addition, we also find that HD 50230 is a metal-rich ($Z_{\rm init}=0.034-0.043$) star with a mass of $M=6.15-6.27~{\rm M_{\odot}}$. It is still located on hydrogen-burning phase with central hydrogen $X_{\rm C}=0.298-0.316$ (or $X_{\rm C}=0.306^{+0.010}_{-0.008}$), therefore has a convective core with a radius of $R_{\rm cc}=0.525-0.536~{\rm R_{\odot}}$ (or $R_{\rm cc}=0.531^{+0.005}_{-0.006}~{\rm R_{\odot}}$). In order to well interpret the structure of observed period spacing pattern, the convective core overshooting ($f_{\rm ov}=0.0175-0.0200$) and the extra diffusion mixing ($\log D_{\rm mix}=3.7-3.9$) should be taken into account in theoretical models.


title: Soft excess in the quiescent Be/X-ray pulsar RX J0812.4-3114

abstract: We report a 72 ks XMM-Newton observation of the Be/X-ray pulsar (BeXRP) RX J0812.4-3114 in quiescence ($L_X \approx 1.6 \times 10^{33}~\mathrm{erg~s^{-1}}$). Intriguingly, we find a two component spectrum, with a hard power-law ($\Gamma \approx 1.5$) and a soft blackbody-like excess below $\approx 1~\mathrm{keV}$. The blackbody component is consistent in $kT$ with a prior quiescent Chandra observation reported by Tsygankov et al. and has an inferred blackbody radius of $\approx 10~\mathrm{km}$, consistent with emission from the entire neutron star (NS) surface. There is also mild evidence for an absorption line at $\approx 1~\mathrm{keV}$ and/or $\approx 1.4~\mathrm{keV}$. The hard component shows pulsations at $P \approx 31.908~\mathrm{s}$ (pulsed fraction $0.84 \pm 0.10$), agreeing with the pulse period seen previously in outbursts, but no pulsations were found in the soft excess (pulsed fraction $\lesssim 31\%$). We conclude that the pulsed hard component suggests low-level accretion onto the neutron star poles, while the soft excess seems to originate from the entire NS surface. We speculate that, in quiescence, the source switches between a soft thermal-dominated state (when the propeller effect is at work) and a relatively hard state with low-level accretion, and use the propeller cutoff to estimate the magnetic field of the system to be $\lesssim 8.4 \times 10^{11}~\mathrm{G}$. We compare the quiescent thermal $L_X$ predicted by the standard deep crustal heating model to our observations and find that RX J0812.4-3114 has a high thermal $L_X$, at or above the prediction for minimum cooling mechanisms. This suggests that RX J0812.4-3114 either contains a relatively low-mass NS with minimum cooling, or that the system may be young enough that the NS has not fully cooled from the supernova explosion.


title: Chromatic (co)homology of finite general linear groups

abstract: We study the Morava $E$-theory (at a prime $p$) of $BGL_d(F)$, where $F$ is a finite field with $|F|=1\pmod{p}$. Taking all $d$ together, we obtain a structure with two products $\times$ and $\bullet$. We prove that it is a polynomial ring under $\times$, and that the module of $\times$-indecomposables inherits a $\bullet$-product, and we describe the structure of the resulting ring. In the process, we prove many auxiliary structural results.


title: Hanany-Witten Transition in Quantum Curves

abstract: It was known that the U$(N)^4$ super Chern-Simons matrix model describing the worldvolume theory of D3-branes with two NS5-branes and two $(1,k)$5-branes in IIB brane configuration (dual to M2-branes after taking the T-duality and the M-theory lift) corresponds to the $D_5$ quantum curve. For deformations of these two objects, on one hand the super Chern-Simons matrix model has three degrees of freedom (of relative rank deformations interpreted as fractional branes in brane configurations), while on the other hand the $D_5$ curve has five degrees of freedom (characterized by point configurations of asymptotic values). To identify the three-dimensional parameter space of brane configurations in the five-dimensional space of point configurations, we propose the necessity to cut the compact T-duality circle (or the circular quiver diagram) open, which is similar to the idea of "fixing a reference frame" or "fixing a local chart". Since the parameter space of curves enjoys the $D_5$ Weyl group beautifully, we are naturally led to conjecture that M2-branes are not only deformed by fractional branes but more obscure geometrical backgrounds.


title: VER J2227+608: A Hadronic PeVatron Pulsar Wind Nebula?

abstract: We report the detection of GeV $\gamma$-ray emission from the very-high-energy (VHE) $\gamma$-ray source VER J2227+608 associated with the "tail" region of SNR G106.3+2.7. The GeV $\gamma$-ray emission is extended and spatially coincident with molecular clouds traced by CO emission. The broadband GeV to TeV emission of VER J2227+608 can be well fitted by a single power-law function with an index of 1.90$\pm$0.04, without obvious indication of spectral cutoff toward high energies. The pure leptonic model for the $\gamma$-ray emission can be marginally ruled out by the X-ray and TeV data. In the hadronic model, the low energy content of CRs and the hard $\gamma$-ray spectrum, in combination with the center-bright source structure, suggest that VER J2227+608 may be powered by the PWN instead of shocks of the SNR. And the cutoff energy of the proton distribution needs to be higher than $\sim$ 400 TeV, which makes it an attractive PeVatron candidate. Future observations by the upcoming Large High Altitude Air Shower Observatory (LHAASO) and the Cherenkov Telescope Array in the north (CTA-North) could distinguish these models and constrain the maximum energy of cosmic rays in supernova remnants.


title: Matlis category equivalences for a ring epimorphism

abstract: Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the abelian categories of $u$-comodules and $u$-contramodules and construct the recollement of unbounded derived categories of $R$-modules, $U$-modules, and complexes of $R$-modules with $u$-co/contramodule cohomology. Further assumptions allow to describe the third category in the recollement as the unbounded derived category of the abelian categories of $u$-comodules and $u$-contramodules. For commutative rings, we also prove that any homological epimorphism of projective dimension $1$ is flat. Injectivity of the map $u$ is not required.


title: Non-parametric Bayesian approach to extrapolation problems in configuration interaction methods

abstract: We propose a non-parametric extrapolation method based on constrained Gaussian processes for configuration interaction methods. Our method has many advantages: (i) applicability to small data sets such as results of {\it ab initio} methods, (ii) flexibility to incorporate constraints, which are guided by physics, into the extrapolation model, (iii) providing predictions with quantified extrapolation uncertainty, etc. In the present study, we show an application to the extrapolation needed in full configuration interaction method as an example.


title: My lips are concealed: Audio-visual speech enhancement through obstructions

abstract: Our objective is an audio-visual model for separating a single speaker from a mixture of sounds such as other speakers and background noise. Moreover, we wish to hear the speaker even when the visual cues are temporarily absent due to occlusion. To this end we introduce a deep audio-visual speech enhancement network that is able to separate a speaker's voice by conditioning on both the speaker's lip movements and/or a representation of their voice. The voice representation can be obtained by either (i) enrollment, or (ii) by self-enrollment -- learning the representation on-the-fly given sufficient unobstructed visual input. The model is trained by blending audios, and by introducing artificial occlusions around the mouth region that prevent the visual modality from dominating. The method is speaker-independent, and we demonstrate it on real examples of speakers unheard (and unseen) during training. The method also improves over previous models in particular for cases of occlusion in the visual modality.


title: Einstein's Equations in Matter

abstract: Einstein's equations in matter are gravitational analogues of Maxwell's equations in matter, providing an effective classical description of gravitational fields. We derive Einstein's equations in matter for relativistic fluids, and use them to illustrate how the Tolman-Oppenheimer-Volkoff equations are modified by the matter's response to curvature. For a gas of massive fermions, we evaluate how the effective Newton's constant and other susceptibilities depend on the temperature and density. In anti-de Sitter space, we study the $O(1/(T\ell)^2)$ corrections to the geometries sourced by perfect fluids, and illustrate the breakdown of hydrostatics in AdS at small temperatures.


title: Lattice models for protein organization throughout thylakoid membrane stacks

abstract: Proteins in photosynthetic membranes can organize into patterned arrays that span the membrane's lateral size. Attractions between proteins in different layers of a membrane stack can play a key role in this ordering, as was suggested by microscopy and fluorescence spectroscopy and demonstrated by computer simulations of a coarse-grained model. The architecture of thylakoid membranes, however, also provides opportunities for inter-layer interactions that instead disfavor the high protein densities of ordered arrangements. Here we explore the interplay between these opposing driving forces, and in particular the phase transitions that emerge in the periodic geometry of stacked thylakoid membrane discs. We propose a lattice model that roughly accounts for proteins' attraction within a layer and across the stromal gap, steric repulsion across the lumenal gap, and regulation of protein density by exchange with the stroma lamellae. Mean field analysis and computer simulation reveal rich phase behavior for this simple model, featuring a broken-symmetry striped phase that is disrupted at both high and low extremes of chemical potential. The resulting sensitivity of microscopic protein arrangement to the thylakoid's mesoscale vertical structure raises intriguing possibilities for regulation of photosynthetic function.


title: Agile Domain Adaptation

abstract: Domain adaptation investigates the problem of leveraging knowledge from a well-labeled source domain to an unlabeled target domain, where the two domains are drawn from different data distributions. Because of the distribution shifts, different target samples have distinct degrees of difficulty in adaptation. However, existing domain adaptation approaches overwhelmingly neglect the degrees of difficulty and deploy exactly the same framework for all of the target samples. Generally, a simple or shadow framework is fast but rough. A sophisticated or deep framework, on the contrary, is accurate but slow. In this paper, we aim to challenge the fundamental contradiction between the accuracy and speed in domain adaptation tasks. We propose a novel approach, named {\it agile domain adaptation}, which agilely applies optimal frameworks to different target samples and classifies the target samples according to their adaptation difficulties. Specifically, we propose a paradigm which performs several early detections before the final classification. If a sample can be classified at one of the early stage with enough confidence, the sample would exit without the subsequent processes. Notably, the proposed method can significantly reduce the running cost of domain adaptation approaches, which can extend the application scenarios of domain adaptation to even mobile devices and real-time systems. Extensive experiments on two open benchmarks verify the effectiveness and efficiency of the proposed method.


title: Integer Laplacian Eigenvalues of Chordal Graphs

abstract: In this paper, structural properties of chordal graphs are analysed, in order to establish a relationship between these structures and integer Laplacian eigenvalues. We present the characterization of chordal graphs with equal vertex and algebraic connectivities, by means of the vertices that compose the minimal vertex separators of the graph; we stablish a sufficient condition for the cardinality of a maximal clique to appear as an integer Laplacian eigenvalue. Finally, we review two subclasses of chordal graphs, showing for them some new properties.


title: Neural Network-based Equalizer by Utilizing Coding Gain in Advance

abstract: Recently, deep learning has been exploited in many fields with revolutionary breakthroughs. In the light of this, deep learning-assisted communication systems have also attracted much attention in recent years and have potential to break down the conventional design rule for communication systems. In this work, we propose two kinds of neural network-based equalizers to exploit different characteristics between convolutional neural networks and recurrent neural networks. The equalizer in conventional block-based design may destroy the code structure and degrade the capacity of coding gain for decoder. On the contrary, our proposed approach not only eliminates channel fading, but also exploits the code structure with utilization of coding gain in advance, which can effectively increase the overall utilization of coding gain with more than 1.5 dB gain.


title: The KO-valued spectral flow for skew-adjoint Fredholm operators

abstract: In this article we give a comprehensive treatment of a `Clifford module flow' along paths in the skew-adjoint Fredholm operators on a real Hilbert space that takes values in KO${}_{*}(\mathbb{R})$ via the Clifford index of Atiyah-Bott-Shapiro. We develop its properties for both bounded and unbounded skew-adjoint operators including an axiomatic characterization. Our constructions and approach are motivated by the principle that \[ \text{spectral flow} = \text{Fredholm index}. \] That is, we show how the KO--valued spectral flow relates to a KO-valued index by proving a Robbin-Salamon type result. The Kasparov product is also used to establish a spectral flow $=$ Fredholm index result at the level of bivariant K-theory. We explain how our results incorporate previous applications of $\mathbb{Z}/ 2\mathbb{Z}$-valued spectral flow in the study of topological phases of matter.


title: Charged black holes in non-linear Q-clouds with O(3) symmetry

abstract: We construct charged soliton solutions around spherical charged black holes with no angular momentum in asymptotically flat spacetime. These solutions are non-linear generalizations of charged scalar clouds, dubbed Q-ball hair or Q-clouds, and they do not contradict the non-existence theorem for free (linear) scalar clouds around charged black holes. These solutions are the first examples of O(3) solutions for Q-clouds around a non-extremal and non-rotating BH in the Abelian gauge theory. We show that a solution exists with an infinitely short hair in the limit of extremal black holes. We discuss the evolution of scalar hair in a system with fixed total charge and describe how the existence of Q-clouds is related to the weak-gravity conjecture. The reason that the no-hair theorem by Mayo and Bekenstein cannot be applied to the massive scalar field is also discussed.


abstract: Image aesthetic quality assessment has been a relatively hot topic during the last decade. Most recently, comments type assessment (aesthetic captions) has been proposed to describe the general aesthetic impression of an image using text. In this paper, we propose Aesthetic Attributes Assessment of Images, which means the aesthetic attributes captioning. This is a new formula of image aesthetic assessment, which predicts aesthetic attributes captions together with the aesthetic score of each attribute. We introduce a new dataset named \emph{DPC-Captions} which contains comments of up to 5 aesthetic attributes of one image through knowledge transfer from a full-annotated small-scale dataset. Then, we propose Aesthetic Multi-Attribute Network (AMAN), which is trained on a mixture of fully-annotated small-scale PCCD dataset and weakly-annotated large-scale DPC-Captions dataset. Our AMAN makes full use of transfer learning and attention model in a single framework. The experimental results on our DPC-Captions and PCCD dataset reveal that our method can predict captions of 5 aesthetic attributes together with numerical score assessment of each attribute. We use the evaluation criteria used in image captions to prove that our specially designed AMAN model outperforms traditional CNN-LSTM model and modern SCA-CNN model of image captions.


title: Multichannel Loss Function for Supervised Speech Source Separation by Mask-based Beamforming

abstract: In this paper, we propose two mask-based beamforming methods using a deep neural network (DNN) trained by multichannel loss functions. Beamforming technique using time-frequency (TF)-masks estimated by a DNN have been applied to many applications where TF-masks are used for estimating spatial covariance matrices. To train a DNN for mask-based beamforming, loss functions designed for monaural speech enhancement/separation have been employed. Although such a training criterion is simple, it does not directly correspond to the performance of mask-based beamforming. To overcome this problem, we use multichannel loss functions which evaluate the estimated spatial covariance matrices based on the multichannel Itakura--Saito divergence. DNNs trained by the multichannel loss functions can be applied to construct several beamformers. Experimental results confirmed their effectiveness and robustness to microphone configurations.


title: The propagation of choked jet outflows in power-law external media

abstract: Observations of both gamma-ray bursts (GRBs) and active galactic nuclei (AGNs) point to the idea that some relativistic jets are suffocated by their environment before we observe them. In these "choked" jets, all the jet's kinetic energy is transferred into a hot and narrow cocoon of near-uniform pressure. We consider the evolution of an elongated, axisymmetric cocoon formed by a choked jet as it expands into a cold power-law ambient medium $\rho \propto R^{-\alpha}$, in the case where the shock is decelerating ($\alpha<3$). The evolution proceeds in three stages, with two breaks in behaviour: the first occurs once the outflow has doubled its initial width, and the second once it has doubled its initial height. Using the Kompaneets approximation, we derive analytical formulae for the shape of the cocoon shock, and obtain approximate expressions for the height and width of the outflow versus time in each of the three dynamical regimes. The asymptotic behaviour is different for flat ($\alpha \le 2$) and steep ($2 < \alpha < 3$) density profiles. Comparing the analytical model to numerical simulations, we find agreement to within $\sim15$ per cent out to 45 degrees from the axis, but discrepancies of a factor of 2-3 near the equator. The shape of the cocoon shock can be measured directly in AGNs, and is also expected to affect the early light from failed GRB jets. Observational constraints on the shock geometry provide a useful diagnostic of the jet properties, even long after jet activity ceases.


title: Heard More Than Heard: An Audio Steganography Method Based on GAN

abstract: Audio steganography is a collection of techniques for concealing the existence of information by embedding it within a non-secret audio, which is referred to as carrier. Distinct from cryptography, the steganography put emphasis on the hiding of the secret existence. The existing audio steganography methods mainly depend on human handcraft, while we proposed an audio steganography algorithm which automatically generated from adversarial training. The method consists of three neural networks: encoder which embeds the secret message in the carrier, decoder which extracts the message, and discriminator which determine the carriers contain secret messages. All the networks are simultaneously trained to create embedding, extracting and discriminating process. The system is trained with different training settings on two datasets. Competed the majority of audio steganographic schemes, the proposed scheme could produce high fidelity steganographic audio which contains secret audio. Besides, the additional experiments verify the robustness and security of our algorithm.


title: The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices

abstract: In this paper, we provide an overview of the SAT+CAS method that combines satisfiability checkers (SAT solvers) and computer algebra systems (CAS) to resolve combinatorial conjectures, and present new results vis-\`a-vis best matrices. The SAT+CAS method is a variant of the Davis$\unicode{8211}$Putnam$\unicode{8211}$Logemann$\unicode{8211}$Loveland $\operatorname{DPLL}(T)$ architecture, where the $T$ solver is replaced by a CAS. We describe how the SAT+CAS method has been previously used to resolve many open problems from graph theory, combinatorial design theory, and number theory, showing that the method has broad applications across a variety of fields. Additionally, we apply the method to construct the largest best matrices yet known and present new skew Hadamard matrices constructed from best matrices. We show the best matrix conjecture (that best matrices exist in all orders of the form $r^2+r+1$) which was previously known to hold for $r\leq6$ also holds for $r=7$. We also confirmed the results of the exhaustive searches that have been previously completed for $r\leq6$.


title: Object Detection in Video with Spatial-temporal Context Aggregation

abstract: Recent cutting-edge feature aggregation paradigms for video object detection rely on inferring feature correspondence. The feature correspondence estimation problem is fundamentally difficult due to poor image quality, motion blur, etc, and the results of feature correspondence estimation are unstable. To avoid the problem, we propose a simple but effective feature aggregation framework which operates on the object proposal-level. It learns to enhance each proposal's feature via modeling semantic and spatio-temporal relationships among object proposals from both within a frame and across adjacent frames. Experiments are carried out on the ImageNet VID dataset. Without any bells and whistles, our method obtains 80.3\% mAP on the ImageNet VID dataset, which is superior over the previous state-of-the-arts. The proposed feature aggregation mechanism improves the single frame Faster RCNN baseline by 5.8% mAP. Besides, under the setting of no temporal post-processing, our method outperforms the previous state-of-the-art by 1.4% mAP.


title: Turbulence and self-similarity in highly-aerated shear flows: the stable hydraulic jump

abstract: Hydraulic jumps are oftentimes encountered in natural and human-made environments. The transition from supercritical to subcritical flow involves large energy dissipation rates and substantial air entrainment, preventing the use of monophasic flow measurement instrumentation. This paper presents an experimental study of a stable hydraulic jump with a Froude number of 4.25, utilizing novel intrusive phase-detection probe techniques and image-based velocimetry from a side perspective. Turbulence estimations were obtained for the impinging region and the roller region of the jump including Reynolds stresses, turbulent integral scales and velocity fluctuations spectra. The velocity spectra had a -5/3 slope in the inertial subrange and flattened at larger frequencies. This is thought to be linked to an energy transfer from the inertial range to the frequencies associated with bubble scales. Overall, the collected data is of particular interest for high-fidelity numerical model validation and the study represents an advancement in air-water flow research.


title: Eco-driving with Learning Model Predictive Control

abstract: We present a predictive cruise controller which iteratively improves the fuel economy of a vehicle traveling along the same route every day. Our approach uses historical data from previous trip iterations to improve vehicle performance while guaranteeing a desired arrival time. The proposed predictive cruise controller is based on the recently developed Learning Model Predictive Control (LMPC) framework, which is extended in this paper to include time constraints. Moreover, we reformulate the modified LMPC with time constraint into a computationally tractable form. Our method is presented in detail, applied to the predictive cruise control problem, and validated through simulations.


title: Necessary and sufficient conditions for the uniform integrability of the stochastic exponential

abstract: We establish necessary and sufficient conditions for the uniform integrability of the stochastic exponential E(M).


title: Valley-Contrasting Orbital Magnetic Moment Induced Negative Magnetoresistance

abstract: The valley-contrasting orbital magnetic moment of Bloch electrons allows the lifting of valley degeneracy by an out-of-plane magnetic field. We demonstrate that this leads to negative magnetoresistance, utilizing a gapped two-dimensional multi-valley model as an example. An intuitive physical picture in terms of the increased carrier density from a magnetic gating effect is proposed for this negative magnetoresistance. In particular, giant negative magnetoresistance is achieved after one of the two valleys is depleted by the magnetic field. This new mechanism of negative magnetoresistance is argued to be relevant in ionic-liquid gated gapped graphene with small effective mass.


title: The average number of spanning hypertrees in sparse uniform hypergraphs

abstract: An $r$-uniform hypergraph $H$ consists of a set of vertices $V$ and a set of edges whose elements are $r$-subsets of $V$. We define a hypertree to be a connected hypergraph which contains no cycles. A hypertree spans a hypergraph $H$ if it is a subhypergraph of $H$ which contains all vertices of $H$. Greenhill, Isaev, Kwan and McKay (2017) gave an asymptotic formula for the average number of spanning trees in graphs with given, sparse degree sequence. We prove an analogous result for $r$-uniform hypergraphs with given degree sequence $\boldsymbol{k} = (k_1,\ldots, k_n)$. Our formula holds when $r^5 k_{\max}^3 = o((kr-k-r)n)$, where $k$ is the average degree and $k_{\max}$ is the maximum degree.


title: On the behavior of $\pi$-submaximal subgroups under homomorphisms

abstract: We construct examples that show the difference in behavior or $\pi$-maximal and $\pi$-submaximal subgroups under group homomorphisms.


title: Pattern of Impact-Induced Ejecta from Granular Targets with Large Inclusions

abstract: We performed impact experiments to observe patterns in an ejecta curtain with targets consisting of small sand particles and large inclusions comparable to or smaller than the size of the projectiles. The spatial intensity distributions in the ejecta at early stages of crater formation depend on the size of the inclusions. Our numerical simulations of radially spreading particles with different sizes support this result. Based on the results, we proposed a procedure for evaluating the subsurface structures of celestial bodies from the images of ejecta curtains obtained from space-impact experiments.


title: Decoherence and Visibility Enhancement in Multi-Path Interference

abstract: We theoretically analyze the observations reported in a four-path quantum interference experiment via multiple beam Ramsey interference [Phys. Rev. Lett. 86, 559 (2001)]. In this experiment, a selective scattering of photons from just one interfering path causes decoherence. However, contrary to expectations, there is an increase in the contrast of the interference pattern, demonstrating that path selective decoherence can not only lead to a decrease, but under certain conditions, to an increase of the fringe contrast. Here we explain this seemingly counter-intuitive effect based on a model for a multi-path interference, with four to six slits, in the presence of decoherence. The effect of the environment is modeled via a coupling to a bath of harmonic oscillators. When decoherence is introduced in one of the multiple paths, an enhancement in fringe contrast is seen under certain conditions. A similar effect is shown to appear if instead of path-selective decoherence, a selective path detector is introduced. Our analysis points to the fact that while traditional fringe visibility captures the wave nature in the two-path case, it can fail in multi-path situations. We explain the enhancement of fringe visibility and also show that quantum coherence based on the l1 norm of coherence, in contrast to traditional visibility, remains a good quantifier of wave nature, even in such situations. The enhancement of fringe contrast in the presence of environmental decoherence underscores the limitations of traditional visibility as a good measure for wave nature in quantifying complementarity and also makes it an unlikely candidate for quantifying decoherence. Our analysis could lead to better insight in ways to quantify decoherence in multi-path interference, and in studies that seek to exploit quantum superpositions and quantum coherence for quantum information applications.


title: On K-polystability for log del Pezzo pairs of Maeda type

abstract: We give an algebraic proof for which log del Pezzo pairs of Maeda type are K-polystable or not. If the base field is the complex number field, then the result is already known by Li and Sun.


title: On the uniform K-stability for some asymptotically log del Pezzo surfaces

abstract: Motivated by the problem for the existence of K\"ahler-Einstein edge metrics, Cheltsov and Rubinstein conjectured the K-polystability of asymptotically log Fano varieties with small cone angles when the anti-log-canonical divisors are not big. Cheltsov, Rubinstein and Zhang proved it affirmatively in dimension $2$ with irreducible boundaries except for the type $(\operatorname{I.9B.}n)$ with $1\leq n\leq 6$. Unfortunately, recently, Fujita, Liu, S\"u\ss, Zhang and Zhuang showed the non-K-polystability for some members of type $(\operatorname{I.9B.}1)$ and for some members of type $(\operatorname{I.9B.}2)$. In this article, we show that Cheltsov--Rubinstein's problem is true for all of the remaining cases. More precisely, we explicitly compute the delta-invariant for asymptotically log del Pezzo surfaces of type $(\operatorname{I.9B.}n)$ for all $n\geq 1$ with small cone angles. As a consequence, we finish Cheltsov--Rubinstein's problem in dimension $2$ with irreducible boundaries.


title: Nonlinear nonhomogeneous boundary value problems with competition phenomena

abstract: We consider a nonlinear boundary value problem driven by a nonhomogeneous differential operator. The problem exhibits competing nonlinearities with a superlinear (convex) contribution coming from the reaction term and a sublinear (concave) contribution coming from the parametric boundary (source) term. We show that for all small parameter values $\lambda>0$, the problem has at least five nontrivial smooth solutions, four of constant sign and one nodal. We also produce extremal constant sign solutions and determine their monotonicity and continuity properties as the parameter $\lambda>0$ varies. In the semilinear case we produce a sixth nontrivial solution but without any sign information. Our approach uses variational methods together with truncation and perturbation techniques, and Morse theory.


title: ADDMC: Weighted Model Counting with Algebraic Decision Diagrams

abstract: We present an algorithm to compute exact literal-weighted model counts of Boolean formulas in Conjunctive Normal Form. Our algorithm employs dynamic programming and uses Algebraic Decision Diagrams as the primary data structure. We implement this technique in ADDMC, a new model counter. We empirically evaluate various heuristics that can be used with ADDMC. We then compare ADDMC to state-of-the-art exact weighted model counters (Cachet, c2d, d4, and miniC2D) on 1914 standard model counting benchmarks and show that ADDMC significantly improves the virtual best solver.


title: Transformation optics based on metasurfaces

abstract: Recently, new artificial material has been proposed to control an electromagnetic wave-metasurface, a two-dimensional metamaterial. Compared with a three-dimensional bulky metamaterial, this artificial plane material with sub-wavelength thickness greatly reduces fabrication time and mitigates fabrication complexity. Additionally, traditional metamaterials usually control the wavefront of an electromagnetic wave by accumulating the phase through propagating at a distance far larger than the wavelength. However, a metasurface can efficiently manipulate the wavefront of an incident electromagnetic wave through just the subwavelength propagation distance. Therefore, this can largely alleviate the propagation loss. Given the fact that a metasurface has high manipulation efficiency for an electromagnetic wave in the near filed regime, our group investigated experimental work on the analogy of gravity using a metasurface.


title: A predicted distribution for Galois groups of maximal unramified extensions

abstract: We consider the distribution of the Galois groups $\operatorname{Gal}(K^{\operatorname{un}}/K)$ of maximal unramified extensions as $K$ ranges over $\Gamma$-extensions of $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We prove two properties of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these properties. In Part I, we build such a distribution as a limit of distributions on $n$-generated profinite groups. In Part II, we prove as $q\rightarrow\infty$, agreement of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ as $K$ varies over totally real $\Gamma$-extensions of $\mathbb{F}_q(t)$ with our distribution from Part I, in the moments that are relatively prime to $q(q-1)|\Gamma|$. In particular, we prove for every finite group $\Gamma$, in the $q\rightarrow\infty$ limit, the prime-to-$q(q-1)|\Gamma|$-moments of the distribution of class groups of totally real $\Gamma$-extensions of $\mathbb{F}_q(t)$ agree with the prediction of the Cohen--Lenstra--Martinet heuristics.


title: Rigid Lie algebras and algebraicity

abstract: The notion of rigidity of Lie algebra is linked to the following problem: when does a Lie brackets $\mu$ on a vector space g satisfy that every Lie bracket $\mu_1$ sufficiently close to $\mu$ is of the form $\mu_1 = P.\mu $ for some P in GL(g) close to the identity? A Lie algebra which satisfies the above condition will be called rigid. The most famous example is the Lie algebra sl(2,C) of square matrices of order $2$ with vanishing trace. This Lie algebra is rigid, that is any close deformation is isomorphic to it. Let us note that, for this Lie algebra, there exists a quantification of its universal algebra. This led to the definition of the famous quantum group SL(2). Another interest of studying the rigid Lie algebras is the fact that there exists, for a given dimension, only a finite number of isomorphic classes of rigid Lie algebras. So we are tempted to establish a classification. This problem has been solved up to the dimension 8. To continue in this direction, properties must be established on the structure of these algebras. One of the first results establishes an algebraicity criterion \cite{Carles}. However, the notion of algebraicity which is used is not the classical notion and it includes non-algebraic Lie algebras in the usual sense. The aim of this work is to show that a the Lie algebra is rigid, then its algebra of inner derivations is algebraic.


title: Hom-Poisson-Nijenhuis structures on Hom-Lie algebroids and Hom-Dirac structures on Hom-Courant algebroids

abstract: In this paper, we develop the theory of Hom-Lie algebroids, Hom-Lie bialgebroids and Hom-Courant algebroids introduced by Cai, Liu and Sheng. Specifically, we introduce the notions of Hom-Poisson, Hom-Nijenhuis and Hom-Poisson-Nijenhuis structures on a Hom-Lie algebroid and the notion of Hom-Dirac structures on a Hom-Courant algebroid. We show that these structures satisfy similar properties to structures non "Hom-"version. For example, there exists the hierarchy of a Hom-Poisson-Nijenhuis structure and we have a relation between Hom-Dirac structures and Maurer-Cartan type equation. Moreover we show that there exists a one-to-one correspondence between the pairs consisting of a Poisson structure on $M$ and a Poisson isomorphism for it.


title: A discontinuous phase transition in the threshold-$\theta \geq 2$ contact process on random graphs

abstract: We study the discrete-time threshold-$\theta \geq 2$ contact process on random graphs of general degrees. For random graphs with a given degree distribution $\mu$, we show that if $\mu$ is lower bounded by $\theta+2$ and has finite $k$th moments for all $k>0$, then the discrete-time threshold-$\theta$ contact process on the random graph exhibits a discontinuous phase transition in the emergence of metastability, thus answering a question of Chatterjee and Durrett \cite{cd13}. To be specific, we establish that (i) for any large enough infection probability $p>p_1$, the process started from the all-infected state w.h.p. survives for $e^{\Theta(n)}$-time, maintaining a large density of infection; (ii) for any $p<1$, if the initial density is smaller than $\varepsilon(p)>0$, then it dies out in $O(\log n)$-time w.h.p.. We also explain some extensions to more general random graphs, including the Erd\H{o}s-R\'enyi graphs. Moreover, we prove that the threshold-$\theta$ contact process on a random $(\theta+1)$-regular graph dies out in time $n^{O(1)}$ w.h.p..


title: Two-stream Spatiotemporal Feature for Video QA Task

abstract: Understanding the content of videos is one of the core techniques for developing various helpful applications in the real world, such as recognizing various human actions for surveillance systems or customer behavior analysis in an autonomous shop. However, understanding the content or story of the video still remains a challenging problem due to its sheer amount of data and temporal structure. In this paper, we propose a multi-channel neural network structure that adopts a two-stream network structure, which has been shown high performance in human action recognition field, and use it as a spatiotemporal video feature extractor for solving video question and answering task. We also adopt a squeeze-and-excitation structure to two-stream network structure for achieving a channel-wise attended spatiotemporal feature. For jointly modeling the spatiotemporal features from video and the textual features from the question, we design a context matching module with a level adjusting layer to remove the gap of information between visual and textual features by applying attention mechanism on joint modeling. Finally, we adopt a scoring mechanism and smoothed ranking loss objective function for selecting the correct answer from answer candidates. We evaluate our model with TVQA dataset, and our approach shows the improved result in textual only setting, but the result with visual feature shows the limitation and possibility of our approach.


title: Semi-supervised Feature-Level Attribute Manipulation for Fashion Image Retrieval

abstract: With a growing demand for the search by image, many works have studied the task of fashion instance-level image retrieval (FIR). Furthermore, the recent works introduce a concept of fashion attribute manipulation (FAM) which manipulates a specific attribute (e.g color) of a fashion item while maintaining the rest of the attributes (e.g shape, and pattern). In this way, users can search not only "the same" items but also "similar" items with the desired attributes. FAM is a challenging task in that the attributes are hard to define, and the unique characteristics of a query are hard to be preserved. Although both FIR and FAM are important in real-life applications, most of the previous studies have focused on only one of these problem. In this study, we aim to achieve competitive performance on both FIR and FAM. To do so, we propose a novel method that converts a query into a representation with the desired attributes. We introduce a new idea of attribute manipulation at the feature level, by matching the distribution of manipulated features with real features. In this fashion, the attribute manipulation can be done independently from learning a representation from the image. By introducing the feature-level attribute manipulation, the previous methods for FIR can perform attribute manipulation without sacrificing their retrieval performance.