title: Probing the Galactic s-process nucleosynthesis using barium stars

abstract: The origin and evolution of neutron-capture elements in our Galaxy is poorly understood. In this work, we have attempted to understand the Galactic s-process nucleosynthesis using barium stars as probes. We have performed high resolution spectroscopic analysis for three barium stars HD 36650, HD 207585 and HD 219116. The analysis of HD 219116 is based on HCT/HESP data at a resolution of 60,000 covering a wavelength region 3530-9970 {\rm \AA}. For HD 36650, we have used the FEROS spectrum at a resolution of 48,000 covering the wavelength region 3520-9200 {\rm \AA}. For HD 207585, the spectrum from VLT/UVES at a resolution of 48,000 covering the wavelength region 3290-6650 {\rm \AA} is used. Our analysis clearly shows that the surface chemical composition of these barium stars are enriched by s-process nucleosynthesis products coming from their former companion low-mass AGB stars. A discussion on the distribution of abundance ratios based on the existing nucleosynthesis theories is presented.


title: The subset relation and $2$-stratified sentences in set theory and class theory

abstract: Hamkins and Kikuchi (2016 and 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. If $\mathcal{M}$ is a model of set theory, then $\langle M, \subseteq^\mathcal{M} \rangle$ is an atomic unbounded relatively complemented distributive lattice. If $\mathcal{M}$ is model of class theory, then $\langle M, \subseteq^\mathcal{M} \rangle$ is an infinite atomic boolean algebra. We identify the minimal subsystem of $\mathrm{ZF}$, $\mathrm{BAS}$, that ensures that the definable subset relation is an atomic unbounded relatively complemented distributive lattice and classify the atomic unbounded relatively complemented distributive lattices that can be realised as a subset relations of this theory. The fact that the theory of atomic unbounded relatively complemented distributive lattices is complete is used to show that $\mathrm{BAS}$ decides every $2$-stratified sentence of set theory. We also identify the minimal subsystem of $\mathrm{NBG}$, $\mathrm{BAC}$, that ensures that the definable subset relation is an infinite atomic Boolean algebra. We show that there is a complete extension, $\mathrm{IABA}_\mathrm{Ideal}$, of the theory of infinite atomic boolean algebras and an extension $\mathrm{BAC}^+$ of $\mathrm{BAC}$ corresponding to the minimal theory such that if $\mathcal{M}$ is a model of $\mathrm{BAC}^+$, then $\langle M, \mathcal{S}^\mathcal{M}, \subseteq^\mathcal{M} \rangle$ is a model of $\mathrm{IABA}_{\mathrm{Ideal}}$, where $\mathcal{S}^\mathcal{M}$ is a unary predicate that distinguishes sets from classes. This is used to show that $\mathrm{BAC}^+$, a subsystem of $\mathrm{NBG}$, decides every $2$-sentence in the language of class theory that includes a unary predicate distinguishing sets from classes.


title: Data-driven Control of an LCC HVDC System for Real-time Frequency Regulation

abstract: Recent advances in data sensing and processing technologies enable data-driven control of high-voltage direct-current (HVDC) systems for improving the operational stability of interfacing power grids. This paper proposes an optimal data-driven control strategy for an HVDC system with line-commutated converters (LCCs), wherein the dc-link voltage and current are optimally regulated at distinct HVDC terminals to improve frequency regulation (FR) in both rectifier- and inverter-side grids. Each HVDC converter is integrated with feedback loops for regulation of grid frequency and dc-link voltage in a localized manner. For optimal FR in both-side grids, a data-driven model of the HVDC-linked grids is then developed to design a data-driven linear quadratic Gaussian (LQG) regulator, which is incorporated with the converter feedback loops. Case studies on two different LCC HVDC systems are performed using the data-driven models, which are validated via comparisons with physics-based models and comprehensive MATLAB/SIMULINK models. The results of the case studies confirm that the optimal data-driven control strategy successfully exploits the fast dynamics of HVDC converters; moreover, cooperation of the HVDC system and synchronous generators in both-side grids is achieved, improving real-time FR under various HVDC system specifications, LQG parameters, and inertia emulation and droop control conditions.


title: Determining Context Factors for Hybrid Development Methods with Trained Models

abstract: Selecting a suitable development method for a specific project context is one of the most challenging activities in process design. Every project is unique and, thus, many context factors have to be considered. Recent research took some initial steps towards statistically constructing hybrid development methods, yet, paid little attention to the peculiarities of context factors influencing method and practice selection. In this paper, we utilize exploratory factor analysis and logistic regression analysis to learn such context factors and to identify methods that are correlated with these factors. Our analysis is based on 829 data points from the HELENA dataset. We provide five base clusters of methods consisting of up to 10 methods that lay the foundation for devising hybrid development methods. The analysis of the five clusters using trained models reveals only a few context factors, e.g., project/product size and target application domain, that seem to significantly influence the selection of methods. An extended descriptive analysis of these practices in the context of the identified method clusters also suggests a consolidation of the relevant practice sets used in specific project contexts.


title: Relieving the Need for Bi-Level Decision-Making for Optimal Retail Pricing via Online Meta-Prediction of Data-Driven Demand Response of HVAC Systems

abstract: Price-based demand response (DR) of heating, ventilating, and air-conditioning (HVAC) systems is a challenging task, requiring comprehensive models to represent the building thermal dynamics and game theoretic interactions among participants. This paper proposes an online learning-based strategy for a distribution system operator (DSO) to determine optimal electricity prices, considering the optimal DR of HVAC systems in commercial buildings. An artificial neural network (ANN) is trained with building energy data and represented using an explicit set of linear and nonlinear equations, without physics-based model parameters. An optimization problem for price-based DR is then formulated using this equation set and repeatedly solved offline, producing data on optimal DR schedules for various conditions of electricity prices and building thermal environments. Another ANN is then trained online to directly predict DR schedules for day-ahead electricity prices, which is referred to as meta-prediction (MP). By replacing the DR optimization problem with the MP-enabled ANN, an optimal electricity pricing strategy can be implemented using a single-level decision-making structure, which is simpler and more practical than a bi-level one. In simulation case studies, the proposed single-level strategy is verified to successfully reflect the game theoretic relations between the DSO and commercial building operators, so that they effectively exploit the operational flexibility of the HVAC systems to make the DR application profitable, while ensuring the grid voltage stability and occupants thermal comfort.


title: Amenability, proximality and higher order syndeticity

abstract: We show that the universal minimimal proximal flow and the universal minimal strongly proximal flow of a discrete group can be realized as the Stone spaces of translation invariant Boolean algebras of subsets of the group satisfying a higher order notion of syndeticity. We establish algebraic, combinatorial and topological dynamical characterizations of these subsets that we use to obtain new necessary and sufficient conditions for strong amenability and amenability. We also characterize dense orbit sets, answering a question of Glasner, Tsankov, Weiss and Zucker.


title: Hierarchical Planning for Long-Horizon Manipulation with Geometric and Symbolic Scene Graphs

abstract: We present a visually grounded hierarchical planning algorithm for long-horizon manipulation tasks. Our algorithm offers a joint framework of neuro-symbolic task planning and low-level motion generation conditioned on the specified goal. At the core of our approach is a two-level scene graph representation, namely geometric scene graph and symbolic scene graph. This hierarchical representation serves as a structured, object-centric abstraction of manipulation scenes. Our model uses graph neural networks to process these scene graphs for predicting high-level task plans and low-level motions. We demonstrate that our method scales to long-horizon tasks and generalizes well to novel task goals. We validate our method in a kitchen storage task in both physical simulation and the real world. Our experiments show that our method achieved over 70% success rate and nearly 90% of subgoal completion rate on the real robot while being four orders of magnitude faster in computation time compared to standard search-based task-and-motion planner.


title: Learning how to approve updates to machine learning algorithms in non-stationary settings

abstract: Machine learning algorithms in healthcare have the potential to continually learn from real-world data generated during healthcare delivery and adapt to dataset shifts. As such, the FDA is looking to design policies that can autonomously approve modifications to machine learning algorithms while maintaining or improving the safety and effectiveness of the deployed models. However, selecting a fixed approval strategy, a priori, can be difficult because its performance depends on the stationarity of the data and the quality of the proposed modifications. To this end, we investigate a learning-to-approve approach (L2A) that uses accumulating monitoring data to learn how to approve modifications. L2A defines a family of strategies that vary in their "optimism''---where more optimistic policies have faster approval rates---and searches over this family using an exponentially weighted average forecaster. To control the cumulative risk of the deployed model, we give L2A the option to abstain from making a prediction and incur some fixed abstention cost instead. We derive bounds on the average risk of the model deployed by L2A, assuming the distributional shifts are smooth. In simulation studies and empirical analyses, L2A tailors the level of optimism for each problem-setting: It learns to abstain when performance drops are common and approve beneficial modifications quickly when the distribution is stable.


title: A Reinforcement Learning Formulation of the Lyapunov Optimization: Application to Edge Computing Systems with Queue Stability

abstract: In this paper, a deep reinforcement learning (DRL)-based approach to the Lyapunov optimization is considered to minimize the time-average penalty while maintaining queue stability. A proper construction of state and action spaces is provided to form a proper Markov decision process (MDP) for the Lyapunov optimization. A condition for the reward function of reinforcement learning (RL) for queue stability is derived. Based on the analysis and practical RL with reward discounting, a class of reward functions is proposed for the DRL-based approach to the Lyapunov optimization. The proposed DRL-based approach to the Lyapunov optimization does not required complicated optimization at each time step and operates with general non-convex and discontinuous penalty functions. Hence, it provides an alternative to the conventional drift-plus-penalty (DPP) algorithm for the Lyapunov optimization. The proposed DRL-based approach is applied to resource allocation in edge computing systems with queue stability and numerical results demonstrate its successful operation.


title: Contrastive Learning with Adversarial Perturbations for Conditional Text Generation

abstract: Recently, sequence-to-sequence (seq2seq) models with the Transformer architecture have achieved remarkable performance on various conditional text generation tasks, such as machine translation. However, most of them are trained with teacher forcing with the ground truth label given at each time step, without being exposed to incorrectly generated tokens during training, which hurts its generalization to unseen inputs, that is known as the "exposure bias" problem. In this work, we propose to mitigate the conditional text generation problem by contrasting positive pairs with negative pairs, such that the model is exposed to various valid or incorrect perturbations of the inputs, for improved generalization. However, training the model with naive contrastive learning framework using random non-target sequences as negative examples is suboptimal, since they are easily distinguishable from the correct output, especially so with models pretrained with large text corpora. Also, generating positive examples requires domain-specific augmentation heuristics which may not generalize over diverse domains. To tackle this problem, we propose a principled method to generate positive and negative samples for contrastive learning of seq2seq models. Specifically, we generate negative examples by adding small perturbations to the input sequence to minimize its conditional likelihood, and positive examples by adding large perturbations while enforcing it to have a high conditional likelihood. Such "hard" positive and negative pairs generated using our method guides the model to better distinguish correct outputs from incorrect ones. We empirically show that our proposed method significantly improves the generalization of the seq2seq on three text generation tasks - machine translation, text summarization, and question generation.


title: Emergence of oscillons in kink-impurity interactions

abstract: The (1+1)-dimensional classical $\varphi^4$ theory contains stable, topological excitations in the form of solitary waves or kinks, as well as stable but non-topological solutions, such as the oscillon. Both are used in effective descriptions of excitations throughout myriad fields of physics. The oscillon is well-known to be a coherent, particle-like solution when introduced as an Ansatz in the $\varphi^4$ theory. Here, we show that oscillons also arise naturally in the dynamics of the theory, in particular as the result of kink-antikink collisions in the presence of an impurity. We show that in addition to the scattering of kinks and the formation of a breather, both bound oscillon pairs and propagating oscillons may emerge from the collision. We discuss their resonances and critical velocity as a function of impurity strength and highlight the role played by the impurity in the scattering process.


title: Spiral Delone sets in relative metric

abstract: A general Archimedean spiral lattice is a Delone set in the relative distance if and only if its rotation angle is badly approximable.


title: Towards Accurate Spatiotemporal COVID-19 Risk Scores using High Resolution Real-World Mobility Data

abstract: As countries look towards re-opening of economic activities amidst the ongoing COVID-19 pandemic, ensuring public health has been challenging. While contact tracing only aims to track past activities of infected users, one path to safe reopening is to develop reliable spatiotemporal risk scores to indicate the propensity of the disease. Existing works which aim to develop risk scores either rely on compartmental model-based reproduction numbers (which assume uniform population mixing) or develop coarse-grain spatial scores based on reproduction number (R0) and macro-level density-based mobility statistics. Instead, in this paper, we develop a Hawkes process-based technique to assign relatively fine-grain spatial and temporal risk scores by leveraging high-resolution mobility data based on cell-phone originated location signals. While COVID-19 risk scores also depend on a number of factors specific to an individual, including demography and existing medical conditions, the primary mode of disease transmission is via physical proximity and contact. Therefore, we focus on developing risk scores based on location density and mobility behaviour. We demonstrate the efficacy of the developed risk scores via simulation based on real-world mobility data. Our results show that fine-grain spatiotemporal risk scores based on high-resolution mobility data can provide useful insights and facilitate safe re-opening.


title: Moving Object Captured with Pink Noise Pattern in Computational Ghost Imaging

abstract: We develop and experimentally demonstrate an imaging method based on the pink noise pattern in the computational ghost imaging (CGI) system, which has a strong ability to photograph moving objects. To examine its unique ability and scope of application, the object oscillates with variable amplitude in horizontal axis, and the result via commonly used white noise are also measured as a comparison. We show that our method can image the object when the white noise method fails. In addition, our method uses less number of patterns, and enhances the signal-to-noise ratio (SNR) to a great extent.


title: On safe post-selection for Bell tests with ideal detectors: Causal diagram approach

abstract: Reasoning about Bell nonlocality from the correlations observed in post-selected data is always a matter of concern. This is because conditioning on the outcomes is a source of non-causal correlations, known as a selection bias, rising doubts whether the conclusion concerns the actual causal process or maybe it is just an effect of processing the data. Yet, even in the idealised case without detection inefficiencies, post-selection is an integral part of experimental designs, not least because it is a part of the entanglement generation process itself. In this paper we discuss a broad class of scenarios with post-selection on multiple spatially distributed outcomes. A simple criterion is worked out, called the all-but-one principle, showing when the conclusions about nonlocality from breaking Bell inequalities with post-selected data remain in force. Generality of this result, attained by adopting the high-level diagrammatic tools of causal inference, provides safe grounds for systematic reasoning based on the standard form of multipartite Bell inequalities in a wide array of entanglement generation schemes, without worrying about the dangers of selection bias. In particular, it can be applied to post-selection defined by single-particle events in each detection chanel when the number of particles in the system is conserved.


title: A nonlinear solar magnetic field calibration method for the filter-based magnetograph by the residual network

abstract: The method of solar magnetic field calibration for the filter-based magnetograph is normally the linear calibration method under weak-field approximation that cannot generate the strong magnetic field region well due to the magnetic saturation effect. We try to provide a new method to carry out the nonlinear magnetic calibration with the help of neural networks to obtain more accurate magnetic fields. We employed the data from Hinode/SP to construct a training, validation and test dataset. The narrow-band Stokes I, Q, U, and V maps at one wavelength point were selected from all the 112 wavelength points observed by SP so as to simulate the single-wavelength observations of the filter-based magnetograph. We used the residual network to model the nonlinear relationship between the Stokes maps and the vector magnetic fields. After an extensive performance analysis, it is found that the trained models could infer the longitudinal magnetic flux density, the transverse magnetic flux density, and the azimuth angle from the narrow-band Stokes maps with a precision comparable to the inversion results using 112 wavelength points. Moreover, the maps that were produced are much cleaner than the inversion results. The method can effectively overcome the magnetic saturation effect and infer the strong magnetic region much better than the linear calibration method. The residual errors of test samples to standard data are mostly about 50 G for both the longitudinal and transverse magnetic flux density. The values are about 100 G with our previous method of multilayer perceptron, indicating that the new method is more accurate in magnetic calibration.


title: Information-Theoretic Segmentation by Inpainting Error Maximization

abstract: We study image segmentation from an information-theoretic perspective, proposing a novel adversarial method that performs unsupervised segmentation by partitioning images into maximally independent sets. More specifically, we group image pixels into foreground and background, with the goal of minimizing predictability of one set from the other. An easily computed loss drives a greedy search process to maximize inpainting error over these partitions. Our method does not involve training deep networks, is computationally cheap, class-agnostic, and even applicable in isolation to a single unlabeled image. Experiments demonstrate that it achieves a new state-of-the-art in unsupervised segmentation quality, while being substantially faster and more general than competing approaches.


title: Semantic Layout Manipulation with High-Resolution Sparse Attention

abstract: We tackle the problem of semantic image layout manipulation, which aims to manipulate an input image by editing its semantic label map. A core problem of this task is how to transfer visual details from the input images to the new semantic layout while making the resulting image visually realistic. Recent work on learning cross-domain correspondence has shown promising results for global layout transfer with dense attention-based warping. However, this method tends to lose texture details due to the resolution limitation and the lack of smoothness constraint of correspondence. To adapt this paradigm for the layout manipulation task, we propose a high-resolution sparse attention module that effectively transfers visual details to new layouts at a resolution up to 512x512. To further improve visual quality, we introduce a novel generator architecture consisting of a semantic encoder and a two-stage decoder for coarse-to-fine synthesis. Experiments on the ADE20k and Places365 datasets demonstrate that our proposed approach achieves substantial improvements over the existing inpainting and layout manipulation methods.


title: Robust Downlink Transmit Optimization under Quantized Channel Feedback via the Strong Duality for QCQP

abstract: Consider a robust multiple-input single-output downlink beamforming optimization problem in a frequency division duplexing system. The base station (BS) sends training signals to the users, and every user estimates the channel coefficients, quantizes the gain and the direction of the estimated channel and sends them back to the BS. Suppose that the channel state information at the transmitter is imperfectly known mainly due to the channel direction quantization errors, channel estimation errors and outdated channel effects. The actual channel is modeled as in an uncertainty set composed of two inequality homogeneous and one equality inhomogeneous quadratic constraints, in order to account for the aforementioned errors and effects. Then the transmit power minimization problem is formulated subject to robust signal-to-noise-plus-interference ratio constraints. Each robust constraint is transformed equivalently into a quadratic matrix inequality (QMI) constraint with respect to the beamforming vectors. The transformation is accomplished by an equivalent phase rotation process and the strong duality result for a quadratically constrained quadratic program. The minimization problem is accordingly turned into a QMI problem, and the problem is solved by a restricted linear matrix inequality relaxation with additional valid convex constraints. Simulation results are presented to demonstrate the performance of the proposed method, and show the efficiency of the restricted relaxation.


title: Learning Category-level Shape Saliency via Deep Implicit Surface Networks

abstract: This paper is motivated from a fundamental curiosity on what defines a category of object shapes. For example, we may have the common knowledge that a plane has wings, and a chair has legs. Given the large shape variations among different instances of a same category, we are formally interested in developing a quantity defined for individual points on a continuous object surface; the quantity specifies how individual surface points contribute to the formation of the shape as the category. We term such a quantity as category-level shape saliency or shape saliency for short. Technically, we propose to learn saliency maps for shape instances of a same category from a deep implicit surface network; sensible saliency scores for sampled points in the implicit surface field are predicted by constraining the capacity of input latent code. We also enhance the saliency prediction with an additional loss of contrastive training. We expect such learned surface maps of shape saliency to have the properties of smoothness, symmetry, and semantic representativeness. We verify these properties by comparing our method with alternative ways of saliency computation. Notably, we show that by leveraging the learned shape saliency, we are able to reconstruct either category-salient or instance-specific parts of object surfaces; semantic representativeness of the learned saliency is also reflected in its efficacy to guide the selection of surface points for better point cloud classification.


title: Group Communication with Context Codec for Lightweight Source Separation

abstract: Despite the recent progress on neural network architectures for speech separation, the balance between the model size, model complexity and model performance is still an important and challenging problem for the deployment of such models to low-resource platforms. In this paper, we propose two simple modules, group communication and context codec, that can be easily applied to a wide range of architectures to jointly decrease the model size and complexity without sacrificing the performance. A group communication module splits a high-dimensional feature into groups of low-dimensional features and captures the inter-group dependency. A separation module with a significantly smaller model size can then be shared by all the groups. A context codec module, containing a context encoder and a context decoder, is designed as a learnable downsampling and upsampling module to decrease the length of a sequential feature processed by the separation module. The combination of the group communication and the context codec modules is referred to as the GC3 design. Experimental results show that applying GC3 on multiple network architectures for speech separation can achieve on-par or better performance with as small as 2.5% model size and 17.6% model complexity, respectively.


title: Spectral distortion constraints on photon injection from low-mass decaying particles

abstract: Spectral distortions (SDs) of the cosmic microwave background (CMB) provide a powerful tool for studying particle physics. Here we compute the distortion signals from decaying particles that convert directly into photons at different epochs during cosmic history, focusing on injection energies $E_\mathrm{inj}\lesssim 20\,\mathrm{keV}$. We deliver a comprehensive library of SD solutions that can be used to study a wide range of particle physics scenarios. We use {\tt CosmoTherm} to compute the SD signals, including effects on the ionization history and opacities of the Universe. We also consider the effect of blackbody-induced stimulated decay, which can modify the injection history significantly. Then, we use data from COBE/FIRAS and EDGES to constrain the properties of the decaying particles. We explore scenarios where these provide a dark matter (DM) candidate or constitute only a small fraction of DM. We complement the SD constraints with CMB anisotropy constraints, highlighting new effects from injections at very-low photon energies ($h\nu\lesssim 10^{-4}\,\mathrm{eV}$). Our model-independent constraints exhibit rich structures in the lifetime-energy domain, covering injection energies $E_\mathrm{inj}\simeq 10^{-10}\mathrm{eV}-10\mathrm{keV}$ and lifetimes $\tau_X\simeq 10^5\,\mathrm{s}-10^{33}\mathrm{s}$. We discuss the constraints on axions and axion-like particles that convert directly into two photons, revising existing SD constraints in the literature. Our limits are competitive with other constraints for axion masses $m_a c^2\gtrsim 27\,\mathrm{eV}$ and we find that simple estimates based on the overall energetics are generally inaccurate. Future CMB spectrometers could significantly improve the obtained constraints, thus providing an important complementary probe of early-universe particle physics.


title: Observation of quantum spin Hall states in Ta$_2$Pd$_3$Te$_5$

abstract: Two-dimensional topological insulators (2DTIs), which host the quantum spin Hall (QSH) effect, are one of the key materials in next-generation spintronic devices. To date, experimental evidence of the QSH effect has only been observed in a few materials, and thus, the search for new 2DTIs is at the forefront of physical and materials science. Here, we report experimental evidence of a 2DTI in the van der Waals material Ta$_2$Pd$_3$Te$_5$. First-principles calculations show that each monolayer of Ta$_2$Pd$_3$Te$_5$ is a 2DTI with weak interlayer interactions. Combined transport, angle-resolved photoemission spectroscopy, and scanning tunneling microscopy measurements confirm the existence of a band gap at the Fermi level and topological edge states inside the gap. These results demonstrate that Ta$_2$Pd$_3$Te$_5$ is a promising material for fabricating spintronic devices based on the QSH effect.


title: Testing mean-field theory for jamming of non-spherical particles: Contact number, gap distribution, and vibrational density of states

abstract: We perform numerical simulations of the jamming transition of non-spherical particles in two dimensions. In particular, we systematically investigate how the physical quantities at the jamming transition point behave when the shapes of the particle deviate slightly from the perfect disks. For efficient numerical simulation, we first derive an analytical expression of the gap function, using the perturbation theory around the reference disks. Starting from disks, we observe the effects of the deformation of the shapes of particles by the $n$-th order term of the Fourier series $\sin(n\theta)$. We show that the several physical quantities, such as the number of contacts, gap distribution, and characteristic frequencies of the vibrational density of states, show the power-law behaviors with respect to the linear deviation from the reference disks. The power-law behaviors do not depend on $n$ and are fully consistent with the mean-field theory of the jamming of non-spherical particles. This result suggests that the mean-field theory holds very generally for nearly spherical particles whose shape can be expressed by the Fourier series.


title: MgO surface lattice phonons observation during Interstellar ice transition

abstract: Relevant information on the origins of the solar system and the early evolution of life itself can be derive from systematic and controlled exploration of amorphous water ice here on Earth. Therefore, over the last decades, a huge effort on experimental methodologies has been made to study the multiple crystal ice phases, which are observed outside our home-gravitational-potential. By employing (100)-oriented MgO lattice surface as a microcantilever sensor, we conducted the first ever study on the dynamics of the Structural Phase Transition at 185 K in amorphous water ice by means of coherent elastic scattering of electron diffraction. We estimate the amount of phonons caused by this transition applying precise quantum computing key tools, resulting in a maximum value of 1.23 $\pm$ 0.02. Further applications of our microcantilever sensor were assessed using unambiguous mapping of the surface stress induced by the c(4$\times$2) $\longleftrightarrow$ p(3$\times$2) Structural Phase Transition of the interstellar ice formulated on the Williamsom-Hall model. This development paves the way and thus establishes an efficient characterization tool of the surface mechanical strains of materials with potential applications arising from interstellar ice inclusive glaciers to the wide spectrum of solid-state physics.


title: Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems

abstract: In this work, we propose a compositional framework for the construction of control barrier functions for networks of continuous-time stochastic hybrid systems enforcing complex logic specifications expressed by finite-state automata. The proposed scheme is based on a notion of so-called pseudo-barrier functions computed for subsystems, by employing which one can synthesize hybrid controllers for interconnected systems enforcing complex specifications over a finite-time horizon. Particularly, we first leverage sufficient small-gain type conditions to compositionally construct control barrier functions for interconnected systems based on the corresponding pseudo-barrier functions computed for subsystems. Then, using the constructed control barrier functions, we provide probabilistic guarantees on the satisfaction of given complex specifications in a bounded time horizon. In this respect, we decompose the given complex specification to simpler reachability tasks based on automata representing the complements of original finite-state automata. We then provide systematic approaches to solve those simpler reachability tasks by computing corresponding pseudo-barrier functions. Two different systematic techniques are provided based on (i) the sum-of-squares (SOS) optimization program and (ii) counter-example guided inductive synthesis (CEGIS) to search for pseudo-barrier functions of subsystems while synthesizing local controllers. We demonstrate the effectiveness of our proposed results by applying them to a fully-interconnected Kuramoto network of 100 nonlinear oscillators with Markovian switching signals.


title: Source Data-absent Unsupervised Domain Adaptation through Hypothesis Transfer and Labeling Transfer

abstract: Unsupervised domain adaptation (UDA) aims to transfer knowledge from a related but different well-labeled source domain to a new unlabeled target domain. Most existing UDA methods require access to the source data, and thus are not applicable when the data are confidential and not shareable due to privacy concerns. This paper aims to tackle a realistic setting with only a classification model available trained over, instead of accessing to, the source data. To effectively utilize the source model for adaptation, we propose a novel approach called Source HypOthesis Transfer (SHOT), which learns the feature extraction module for the target domain by fitting the target data features to the frozen source classification module (representing classification hypothesis). Specifically, SHOT exploits both information maximization and self-supervised learning for the feature extraction module learning to ensure the target features are implicitly aligned with the features of unseen source data via the same hypothesis. Furthermore, we propose a new labeling transfer strategy, which separates the target data into two splits based on the confidence of predictions (labeling information), and then employ semi-supervised learning to improve the accuracy of less-confident predictions in the target domain. We denote labeling transfer as SHOT++ if the predictions are obtained by SHOT. Extensive experiments on both digit classification and object recognition tasks show that SHOT and SHOT++ achieve results surpassing or comparable to the state-of-the-arts, demonstrating the effectiveness of our approaches for various visual domain adaptation problems. Code is available at \url{https://github.com/tim-learn/SHOT-plus}.


title: Coarse metric and uniform metric

abstract: We introduce the notion of coarse metric. Every coarse metric induces a coarse structure on the underlying set. Conversely, we observe that all coarse spaces come from a particular type of coarse metric in a unique way. In the case when the coarse structure $\mathcal{E}$ on a set $X$ is defined by a coarse metric that takes values in a meet-complete totally ordered set, we define the associated Hausdorff coarse metric on the set $\mathcal{P}_0(X)$ of non-empty subsets of $X$ and show that it induces the Hausdorff coarse structure on $\mathcal{P}_0(X)$. On the other hand, we define the notion of pseudo uniform metric. Each pseudo uniform metric induces a uniform structure on the underlying space. In the reverse direction, we show that a uniform structure $\mathcal{U}$ on a set $X$ is induced by a map $d$ from $X\times X$ to a partially ordered set (with no requirement on $d$) if and only if $\mathcal{U}$ admits a base $\mathcal{B}$ such that $\mathcal{B}\cup \{\bigcap \mathcal{U}\}$ is closed under arbitrary intersections. In this case, $\mathcal{U}$ is actually defined by a pseudo uniform metric. We also show that a uniform structures $\mathcal{U}$ comes from a pseudo uniform metric that takes values in a totally ordered set if and only if $\mathcal{U}$ admits a totally ordered base. Finally, a valuation ring will produce an example of a coarse and pseudo uniform metric that take values in a totally ordered set.


title: Measurements of Polarization Dependencies in Parametric Down-Conversion of X-rays into Ultraviolet Radiation

abstract: We present measurements of the polarization dependencies of the x-ray signal photons generated by the effect of parametric down-conversion of x rays into ultraviolet radiation. The results exhibit pronounced discrepancies with the classical model for the nonlinearity but qualitatively agree with a newly developed quantum mechanical theory for the nonlinear interaction. Our work shows that the reconstruction of the atomic scale charge distribution of valence electrons in crystals by using nonlinear interaction between x rays and longer wavelength radiation, as was suggested in previous works, requires the knowledge of polarization of the generated x-ray signal beam. The results presented in this work indicate a new methodology for the study of properties of the Wannier functions in crystals.


title: Unsupervised Summarization for Chat Logs with Topic-Oriented Ranking and Context-Aware Auto-Encoders

abstract: Automatic chat summarization can help people quickly grasp important information from numerous chat messages. Unlike conventional documents, chat logs usually have fragmented and evolving topics. In addition, these logs contain a quantity of elliptical and interrogative sentences, which make the chat summarization highly context dependent. In this work, we propose a novel unsupervised framework called RankAE to perform chat summarization without employing manually labeled data. RankAE consists of a topic-oriented ranking strategy that selects topic utterances according to centrality and diversity simultaneously, as well as a denoising auto-encoder that is carefully designed to generate succinct but context-informative summaries based on the selected utterances. To evaluate the proposed method, we collect a large-scale dataset of chat logs from a customer service environment and build an annotated set only for model evaluation. Experimental results show that RankAE significantly outperforms other unsupervised methods and is able to generate high-quality summaries in terms of relevance and topic coverage.


title: Constraining the quasar radio-loud fraction at $z \sim 6$ with deep radio observations

abstract: We carry out a series of deep Karl G. Jansky Very Large Array (VLA) S-band observations of a sample of 21 quasars at $z\sim6$. The new observations expand the searches of radio continuum emission to the optically faint quasar population at the highest redshift with rest-frame $4400 \rm \AA$ luminosities down to $3 \times10^{11} \ L_{\odot}$. We report the detections of two new radio-loud quasars: CFHQS J2242+0334 (hereafter J2242+0334) at $z=5.88$ and CFHQS J0227$-$0605 (hereafter J0227$-$0605) at $z=6.20$, detected with 3 GHz flux densities of $87.0 \pm 6.3 \ \mu \rm Jy$ and $55.4 \pm 6.7 \ \mu \rm Jy$, respectively. Their radio \replaced{loudness}{loudnesses} are estimated to be $54.9 \pm 4.7$ and $16.5 \pm 3.2$, respectively. To better constrain the radio-loud fraction (RLF), we combine the new measurements with the archival VLA L-band data as well as available data from the literature, considering the upper limits for non-detections and \deleted{and} possible selection effects. The final derived RLF is $9.4 \pm 5.7\%$ for the optically selected quasars at $z\sim6$. We also compare the RLF to that of the quasar samples at low redshift and check the RLF in different quasar luminosity bins. The RLF for the optically faint objects is still poorly constrained due to the limited sample size. Our \replaced{result}{results} show no evidence of significant quasar RLF evolution with redshift. There is also no clear trend of RLF evolution with quasar UV/optical luminosity due to the limited sample size of optically faint objects with deep radio observations.


title: Torsion of digraphs and path complexes

abstract: We define the notions of Reidemeister torsion and analytic torsion for directed graphs by means of the path homology theory introduced by the authors in \cite{Grigoryan-Lin-Muranov-Yau2013, Grigoryan-Lin-Muranov-Yau2014, Grigoryan-Lin-Muranov-Yau2015, Grigoryan-Lin-Muranov-Yau2020}. We prove the identity of the two notions of torsions as well as obtain formulas for torsions of Cartesian products and joins of digraphs.


title: A comparison between repeating bursts of FRB 121102 and giant pulses from Crab pulsar and its applications

abstract: There are some similarities between bursts of repeating fast radio bursts (FRBs) and giant pulses (GPs) of pulsars. To explore possible relations between them, we study the cumulative energy distributions of these two phenomena using the observations of repeating FRB 121102 and the GPs of Crab pulsar. We find that the power-law slope of GPs (with fluence $\geq$130 Jy ms) is $2.85\pm0.10$. The energy distribution of FRB 121102 can be well fitted by a smooth broken power-law function. For the bursts of FRB 121102 above the break energy (1.22 $\times 10^{37}$ erg), the best-fitting slope is $2.90_{-0.44}^{+0.55}$, similar to the index of GPs at the same observing frequency ($\sim$1.4 GHz). We further discuss the physical origin of the repeating FRB 121102 in the framework of the super GPs model. And we find that the super GPs model involving a millisecond pulsar is workable and favored for explaining FRB 121102 despite that the magnetar burst model is more popular.


title: Multi Modal Adaptive Normalization for Audio to Video Generation

abstract: Speech-driven facial video generation has been a complex problem due to its multi-modal aspects namely audio and video domain. The audio comprises lots of underlying features such as expression, pitch, loudness, prosody(speaking style) and facial video has lots of variability in terms of head movement, eye blinks, lip synchronization and movements of various facial action units along with temporal smoothness. Synthesizing highly expressive facial videos from the audio input and static image is still a challenging task for generative adversarial networks. In this paper, we propose a multi-modal adaptive normalization(MAN) based architecture to synthesize a talking person video of arbitrary length using as input: an audio signal and a single image of a person. The architecture uses the multi-modal adaptive normalization, keypoint heatmap predictor, optical flow predictor and class activation map[58] based layers to learn movements of expressive facial components and hence generates a highly expressive talking-head video of the given person. The multi-modal adaptive normalization uses the various features of audio and video such as Mel spectrogram, pitch, energy from audio signals and predicted keypoint heatmap/optical flow and a single image to learn the respective affine parameters to generate highly expressive video. Experimental evaluation demonstrates superior performance of the proposed method as compared to Realistic Speech-Driven Facial Animation with GANs(RSDGAN) [53], Speech2Vid [10], and other approaches, on multiple quantitative metrics including: SSIM (structural similarity index), PSNR (peak signal to noise ratio), CPBD (image sharpness), WER(word error rate), blinks/sec and LMD(landmark distance). Further, qualitative evaluation and Online Turing tests demonstrate the efficacy of our approach.


title: Operational forecast of the PSF figures of merit

abstract: The optimization and scheduling of scientific observations done with instrumentation supported by adaptive optics could greatly benefit from the forecast of PSF figures of merit (FWHM, Strehl Ratio, Encircle Energy and contrast), that depend on the AO instrument, the scientific target and turbulence conditions during the observing night. In this contribution we explore the the possibility to forecast a few among the most useful PSF figures of merit (SR and FWHM). To achieve this goal, we use the optical turbulence forecasted by the mesoscale atmospheric model Astro-Meso-NH on a short timescale as an input for PSF simulation software developed and tailored for specific AO instruments. A preliminary validation will be performed by comparing the results with on-sky measured PSF figures of merit obtained on specific targets using the SCAO systems SOUL (FLAO upgrade) feeding the camera LUCI at LBT and SAXO, the extreme SCAO system feeding the high resolution SPHERE instrument at VLT. This study will pave the way to the implementation of an operational forecasts of such a figure of merits on the base of existing operational forecast system of the atmosphere (turbulence and atmospheric parameters). In this contribution we focus our attention on the forecast of the PSF on-axis.


title: Statistical mechanics study of the introduction of a vaccine against COVID-19 disease

abstract: By the end of 2020, a year since the first cases of infection by the Covid-19 virus have been reported, there is a light at the end of the tunnel. Several pharmaceutical companies made significant progress in developing effective vaccines against the Covid-19 virus that has claimed the lives of more than a million people over the world. On the other hand, there is growing evidence of re-infection by the virus, which can cause further outbreaks. In this paper, we apply statistical physics tools to examine the vaccination rate required to control the pandemic for three different vaccine efficiency scenarios. Also, we study the effect of temporal restrictions/reliefs on the pandemic's outbreak, assuming that re-infection is possible. When examining the efficiency of the vaccination rate of the general population in preventing an additional outbreak of the disease, we find that a high vaccination rate (where at least 0.3% of the population is vaccinated daily, which is equivalent to ~ 1 million vaccine doses in the United States daily) is required to gain control over the spread of the virus without further restrictions. Due to feasible limitations on the vaccination rate, the vaccination process should be accompanied by the prevailing restrictions until most of the population is vaccinated.


title: Optimal maintenance schedule for a wind turbine with aging components

abstract: Wind power is one of the most important sources of renewable energy. A large part of the wind energy cost is due to the cost of maintaining the wind power equipment. To further reduce the maintenance cost, one can improve the design of the wind turbine components. One can also reduce the maintenance costs by optimal scheduling of the component replacements. The latter task is the main motivation for this paper. When a wind turbine component fails to function, it might need to be replaced under less than ideal circumstances. This is known as corrective maintenance. To minimize the unnecessary costs, a more active maintenance policy based on the life expectancy of the key components is preferred. Optimal scheduling of preventive maintenance activities requires advanced mathematical modeling. In this paper, an optimization model is developed using the renewal-reward theorem. In the multi-component setting, our approach involves a new idea of virtual maintenance which allows us to treat each replacement event as a renewal event even if some components are not replaced by new ones. The proposed optimization algorithm is applied to a four-component model of a wind turbine and the optimal maintenance plans are computed for various initial conditions. The modeling results showed clearly the benefit of PM planning compared to pure CM strategy (about 8.5% lower maintenance cost). When we compare it with another state-of-art optimization model, it shows similar scheduling with a much faster CPU time. The comparison demonstrated that our model is both fast and accurate.


title: Category and Cohomology of Hodge-Iwasawa Modules

abstract: In this paper we study the corresponding categories and the corresponding cohomologies of the Hodge-Iwasawa modules we developed in our series papers on Hodge-Iwasawa theory. The corresponding cohomologies will be essential in the corresponding development of the contact with the corresponding Iwasawa theoretic consideration, while they are as well very crucial in the corresponding study of the corresponding deformations of local systems over general analytic spaces. We contact with some applications in analytic geometry and arithmetic geometry which all have their own interests and deserve further study for us in the future, including local systems over general analytic spaces after Kedlaya-Liu, arithmetic Riemann-Hilbert correspondence in families after Liu-Zhu, and equivariant Iwasawa theory and geometrization of equivariant Iwasawa theory after Berger-Fourquaux and Nakamura.


title: Event Data Quality: A Survey

abstract: Event data are prevalent in diverse domains such as financial trading, business workflows and industrial IoT nowadays. An event is often characterized by several attributes denoting the meaning associated with the corresponding occurrence time/duration. From traditional operational systems in enterprises to online systems for Web services, event data is generated from physical world uninterruptedly. However, due to the variety and veracity features of Big data, event data generated from heterogeneous and dirty sources could have very different event representations and data quality issues. In this work, we summarize several typical works on studying data quality issues of event data, including: (1) event matching, (2) event error detection, (3) event data repair, and (4) approximate pattern matching.


title: Stable equivalence of bridge positions of a handlebody-knot

abstract: We show that any two bridge positions of a handlebody-knot are stably equivalent.


title: Topic-Oriented Spoken Dialogue Summarization for Customer Service with Saliency-Aware Topic Modeling

abstract: In a customer service system, dialogue summarization can boost service efficiency by automatically creating summaries for long spoken dialogues in which customers and agents try to address issues about specific topics. In this work, we focus on topic-oriented dialogue summarization, which generates highly abstractive summaries that preserve the main ideas from dialogues. In spoken dialogues, abundant dialogue noise and common semantics could obscure the underlying informative content, making the general topic modeling approaches difficult to apply. In addition, for customer service, role-specific information matters and is an indispensable part of a summary. To effectively perform topic modeling on dialogues and capture multi-role information, in this work we propose a novel topic-augmented two-stage dialogue summarizer (TDS) jointly with a saliency-aware neural topic model (SATM) for topic-oriented summarization of customer service dialogues. Comprehensive studies on a real-world Chinese customer service dataset demonstrated the superiority of our method against several strong baselines.


title: Energy Efficient Competitive Resource Allocation in MIMO networks

abstract: This paper considers the competitive resource allocation problem in Multiple-Input Multiple-Output (MIMO) interfering channels, when users maximize their energy efficiency. Considering each transmitter-receiver pair as a selfish player, conditions on the existence and uniqueness of the Nash equilibrium of the underlying noncooperative game are obtained. A decentralized asynchronous algorithm is proven to converge towards this equilibrium under the same conditions. Two frameworks are considered for the analysis of this game. On the one hand, the game is rephrased as a Quasi-Variational Inequality (QVI). On the other hand, the best response of the players is analyzed in light of the contraction mappings. For this problem, the contraction approach is shown to lead to tighter results than the QVI one. When specializing the obtained results to OFDM networks, the obtained conditions appear to significantly outperform state-of-the-art works, and to lead to much simpler decentralized algorithms. Numerical results finally assess the obtained conditions in different settings.


title: Basis-Free Analysis of Singular Tuples and Eigenpairs of Tensors

abstract: A tensor in applied mathematics is usually defined as a multidimensional array of numbers. This presumes a choice of basis in $\mathbb{R}^n$ or in some other vector space, and tensorial concepts are defined accordingly. In this article we define eigenvalues, eigenvectors, singular values, and singular vectors of a tensor intrinsically, without reference to a basis. The basis-free approach has several advantages. First, it shows more clearly the relationship between tensor analysis and areas of pure mathematics such as abstract algebra, differential topology, and algebraic geometry. Second, it obviates the need to prove that a concept defined in terms of coordinates is independent of the choice of basis. Third, an intrinsic definition is usually conceptually simpler. As illustrations we show how Morse theory from differential topology can be used to analyze eigenvalues and eigenvectors of a symmetric tensor. We also reprove a few results that are obvious in the basis-free approach, but not otherwise.


title: Large cycles in random generalized Johnson graphs

abstract: This paper studies thresholds in random generalized Johnson graphs for containing large cycles, i.e. cycles of variable length growing with the size of the graph. Thresholds are obtained for different growth rates.


title: Morphology on categorical distributions

abstract: The categorical distribution is a natural representation of uncertainty in multi-class segmentations. In the two-class case the categorical distribution reduces to the Bernoulli distribution, for which grayscale morphology provides a range of useful operations. In the general case, applying morphological operations on uncertain multi-class segmentations is not straightforward as an image of categorical distributions is not a complete lattice. Although morphology on color images has received wide attention, this is not so for color-coded or categorical images and even less so for images of categorical distributions. In this work, we establish a set of requirements for morphology on categorical distributions by combining classic morphology with a probabilistic view. We then define operators respecting these requirements, introduce protected operations on categorical distributions and illustrate the utility of these operators on two example tasks: modeling annotator bias in brain tumor segmentations and segmenting vesicle instances from the predictions of a multi-class U-Net.


title: Malliavin Calculus for Degenerate Diffusions

abstract: Let $(W,H,\mu)$ be the classical Wiener space on $\R^d$. Assume that $X=(X_t(x))$ is a diffusion process satisfying the stochastic differential equation with diffusion and drift coefficients $\sigma: \R^n\to \R^n\otimes \R^d$, $b: \R^n\to \R^n$, $B$ is an $\R^d$-valued Brownian motion. We suppose that $b$ and $\sigma$ are Lipschitz. Let $P(x)$ be the orthogonal projection from $\R^d$ to its closed subspace $\sigma(x)^\star(\R^n)$, assuming that $x\to P(x)$ is continuously differentiable, we construct a covariant derivative $\hat{\nabla}$ on the paths of the diffusion process, along the elements of the Cameron-Martin space and prove that this derivative is closable on $L^p(\nu)$, where $\nu$ represents the law of the above diffusion process, i.e., $\nu=X(x)(\mu)$, the image of the Wiener measure under the function $w\to X_\cdot(w,x)$. We study the adjoint of this operator and we prove several results: representation theorem for $L^2(\nu)$-functionals, the logarithmic Sobolev inequality for $\nu$. As applications of these results the proof of the Logarithmic Sobolev inequality on the path space of Dyson's Brownian motion is given by using the covariant derivative. We then explain how to use this theory for deriving the functional inequalities for the measures defined by the semigroups of the diffusion process at the time $t=1$ and with fixed starting point. Finally we show that one can obtain also these inequalities for the conditional measures due to a conditional independence result which is a consequence of the degeneracy of the diffusion process.


title: Parallel decoding of multiple logical qubits in tensor-network codes

abstract: We consider tensor-network stabilizer codes and show that their tensor-network decoder has the property that independent logical qubits can be decoded in parallel. As long as the error rate is below threshold, we show that this parallel decoder is essentially optimal. As an application, we verify this for the max-rate holographic Steane (heptagon) code. For holographic codes this tensor-network decoder was shown to be efficient with complexity polynomial in n, the number of physical qubits. Here we show that, by using the parallel decoding scheme, the complexity is also linear in k, the number of logical qubits. Because the tensor-network contraction is computationally efficient, this allows us to exactly contract tensor networks corresponding to codes with up to half a million qubits. Finally, we calculate the bulk threshold (the threshold for logical qubits a fixed distance from the code centre) under depolarizing noise for the max-rate holographic Steane code to be 9.4%.


title: UVIT study of UV bright stars in the globular cluster NGC 4147

abstract: We present far ultraviolet (FUV) observations of globular cluster NGC 4147 using three FUV filters, BaF2 (F154W), Sapphire (F169M), and Silica (F172M) of Ultra-Violet Imaging Telescope (UVIT) on-board the \mbox{{\em AstroSat}} satellite. We confirmed the cluster membership of the UVIT observed sources using proper motions from Gaia data release 2 (GAIA DR2). We identified 37 blue horizontal branch stars (BHBs), one blue straggler star (BSS) and 15 variable stars using UV-optical color magnitude diagrams (CMDs). We find that all the FUV bright BHBs are second generation population stars. Using UV-optical CMDs, we identify two sub-populations, BHB1 and BHB2, among the UV-bright BHBs in the cluster with stars count ratio of 24:13 for BHB1 and BHB2. The effective temperatures (T$_{\mathrm{eff}}$) of BHB1 and BHB2 were derived using color-temperature relation of BaSTI-IAC zero-age horizontal branch (ZAHB). We found that BHB1 stars are more centrally concentrated than BHB2 stars. We also derive physical parameters of the detected FUV bright BSS by fitting younger age BaSTI-IAC isochrones on optical and UV-optical CMDs.


title: Evolutionary Multi-Objective Optimization Algorithm Framework with Three Solution Sets

abstract: It is assumed in the evolutionary multi-objective optimization (EMO) community that a final solution is selected by a decision maker from a non-dominated solution set obtained by an EMO algorithm. The number of solutions to be presented to the decision maker can be totally different. In some cases, the decision maker may want to examine only a few representative solutions from which a final solution is selected. In other cases, a large number of non-dominated solutions may be needed to visualize the Pareto front. In this paper, we suggest the use of a general EMO framework with three solution sets to handle various situations with respect to the required number of solutions. The three solution sets are the main population of an EMO algorithm, an external archive to store promising solutions, and a final solution set which is presented to the decision maker. The final solution set is selected from the archive. Thus the population size and the archive size can be arbitrarily specified as long as the archive size is not smaller than the required number of solutions. The final population is not necessarily to be a good solution set since it is not presented to the decision maker. Through computational experiments, we show the advantages of this framework over the standard final population and final archive frameworks. We also discuss how to select a final solution set and how to explain the reason for the selection, which is the first attempt towards an explainable EMO framework.


title: Optimizing Discrete Spaces via Expensive Evaluations: A Learning to Search Framework

abstract: We consider the problem of optimizing expensive black-box functions over discrete spaces (e.g., sets, sequences, graphs). The key challenge is to select a sequence of combinatorial structures to evaluate, in order to identify high-performing structures as quickly as possible. Our main contribution is to introduce and evaluate a new learning-to-search framework for this problem called L2S-DISCO. The key insight is to employ search procedures guided by control knowledge at each step to select the next structure and to improve the control knowledge as new function evaluations are observed. We provide a concrete instantiation of L2S-DISCO for local search procedure and empirically evaluate it on diverse real-world benchmarks. Results show the efficacy of L2S-DISCO over state-of-the-art algorithms in solving complex optimization problems.


title: Elliptic asymptotic representation of the fifth Painlev\'e transcendents

abstract: For the fifth Painlev\'e transcendents an asymptotic representation by the Jacobi $\mathrm{sn}$-function is presented in cheese-like strips along generic directions near the point at infinity. Its elliptic main part depends on a single integration constant, which is the phase shift and is parametrised by monodromy data for the associated isomonodromy deformation. In addition, under a certain supposition, the error term is also expressed by an explicit asymptotic formula, whose leading term is written in terms of integrals of the $\mathrm{sn}$-function and the $\vartheta$-function, and contains the other integration constant. This paper contains corrections of the Stokes graph and of the related results in the early version.


title: Gmunu: Paralleled, grid-adaptive, general-relativistic magnetohydrodynamics in curvilinear geometries in dynamical spacetimes

abstract: We present an update of the General-relativistic multigrid numerical (Gmunu) code, a parallelized, multi-dimensional curvilinear, general relativistic magnetohydrodynamics code with an efficient non-linear cell-centred multigrid (CCMG) elliptic solver, which is fully coupled with an efficient block-based adaptive mesh refinement modules. Currently, Gmunu is able to solve the elliptic metric equations in the conformally flat condition (CFC) approximation with the multigrid approach and the equations of ideal general-relativistic magnetohydrodynamics by means of high-resolution shock-capturing finite volume method with reference-metric formularise multi-dimensionally in cartesian, cylindrical or spherical geometries. To guarantee the absence of magnetic monopoles during the evolution, we have developed an elliptical divergence cleaning method by using multigrid solver. In this paper, we present the methodology, full evolution equations and implementation details of our code Gmunu and its properties and performance in some benchmarking and challenging relativistic magnetohydrodynamics problems.


title: Triviality of the Hecke action on ordinary Drinfeld cuspforms of level $\Gamma_1(t^n)$

abstract: Let $k\geq 2$ and $n\geq 1$ be any integers. In this paper, we prove that all Hecke operators act trivially on the space of ordinary Drinfeld cuspforms of level $\Gamma_1(t^n)$ and weight $k$.


title: Minimal model program for semi-stable threefolds in mixed characteristic

abstract: In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of relative dimension two without any assumption on the residue characteristics of $V$. We also prove that we can run a $(K_{X/V}+\Delta)$-MMP over $Z$, where $\pi \colon X \to Z$ is a projective birational morphism of $\mathbb{Q}$-factorial quasi-projective $V$-schemes and $(X,\Delta)$ is a three-dimensional dlt pair with $\mathrm{Exc}(\pi) \subset \lfloor \Delta \rfloor $.


title: Fair Integral Submodular Flows

abstract: Integer-valued elements of an integral submodular flow polyhedron $Q$ are investigated which are decreasingly minimal (dec-min) in the sense that their largest component is as small as possible, within this, the second largest component is as small as possible, and so on. As a main result, we prove that the set of dec-min integral elements of $Q$ is the set of integral elements of another integral submodular flow polyhedron arising from $Q$ by intersecting a face of $Q$ with a box. Based on this description, we develop a strongly polynomial algorithm for computing not only a dec-min integer-valued submodular flow but even a cheapest one with respect to a linear cost-function. A special case is the problem of finding a strongly connected (or $k$-edge-connected) orientation of a mixed graph whose in-degree vector is decreasingly minimal.


title: Entropy inequality and energy dissipation of inertial Qian-Sheng model for nematic liquid crystals

abstract: For the inertial Qian-Sheng model of nematic liquid crystals in the $Q$-tensor framework, we illustrate the roles played by the entropy inequality and energy dissipation in the well-posedness of smooth solutions when we employ energy method. We first derive the coefficients requirements from the entropy inequality, and point out the entropy inequality is insufficient to guarantee energy dissipation. We then introduce a novel Condition (H) which ensures the energy dissipation. We prove that when both the entropy inequality and Condition (H) are obeyed, the local in time smooth solutions exist for large initial data. Otherwise, we can only obtain small data local solutions. Furthermore, to extend the solutions globally in time and obtain the decay of solutions, we require at least one of the two conditions: entropy inequality, or $\tilde{\mu}_2= \mu_2$, which significantly enlarge the range of the coefficients in previous works.


title: The complexity of homeomorphism relations on some classes of compacta with bounded topological dimension

abstract: We are dealing with the complexity of the homeomorphism equivalence relation on some classes of metrizable compacta from the viewpoint of invariant descriptive set theory. We prove that the homeomorphism equivalence relation of absolute retracts in the plane is Borel bireducible with the isomorphism equivalence relation of countable graphs. In order to stress the sharpness of this result, we prove that neither the homeomorphism relation of locally connected continua in the plane nor the homeomorphism relation of absolute retracts in $\mathbb R^3$ is Borel reducible to the isomorphism relation of countable graphs. We also improve the recent results of Chang and Gao by constructing a Borel reduction from both the homeomorphism equivalence relation of compact subsets of $\mathbb R^n$ and the ambient homeomorphism equivalence relation of compact subsets of $[0,1]^n$ to the homeomorphism equivalence relation of $n$-dimensional continua in $\mathbb R^{n+1}$.


title: Stability of Compact Symmetric Spaces

abstract: In this article we study the stability problem for the Einstein-Hilbert functional on compact symmetric spaces following and completing the seminal work of Koiso on the subject. We classify in detail the irreducible representations of simple Lie algebras with Casimir eigenvalue less than the Casimir eigenvalue of the adjoint representation, and use this information to prove the stability of the Einstein metrics on both the quaternionic and Cayley projective plane. Moreover we prove that the Einstein metrics on quaternionic Grassmannians different from projective spaces are unstable.


title: Warm-assisted natural inflation

abstract: We consider natural inflation in a warm inflation framework with a temperature-dependent dissipative coefficient $\Gamma \propto T^3$. Natural inflation can be compatible with the Planck 2018 results with such warm assistance. With no a priori assumptions on the dissipative effect's magnitude, we find that the Planck results prefer a weak dissipative regime for our benchmark scale $f=5 M_{\rm pl}$, which lies outside the $2\sigma$ region in the cold case. The inflation starts in the cold regime and evolves with a growing thermal fluctuation that dominates over quantum fluctuation before the end of the inflation. The observed spectral tilt puts stringent constraints on the model's parameter space. We find that $f< 1 M_{\rm pl}$ is excluded. A possible origin of such dissipative coefficient from axion-like coupling to gauge fields and tests of the model are also discussed.


title: Active Hierarchical Imitation and Reinforcement Learning

abstract: Humans can leverage hierarchical structures to split a task into sub-tasks and solve problems efficiently. Both imitation and reinforcement learning or a combination of them with hierarchical structures have been proven to be an efficient way for robots to learn complex tasks with sparse rewards. However, in the previous work of hierarchical imitation and reinforcement learning, the tested environments are in relatively simple 2D games, and the action spaces are discrete. Furthermore, many imitation learning works focusing on improving the policies learned from the expert polices that are hard-coded or trained by reinforcement learning algorithms, rather than human experts. In the scenarios of human-robot interaction, humans can be required to provide demonstrations to teach the robot, so it is crucial to improve the learning efficiency to reduce expert efforts, and know human's perception about the learning/training process. In this project, we explored different imitation learning algorithms and designed active learning algorithms upon the hierarchical imitation and reinforcement learning framework we have developed. We performed an experiment where five participants were asked to guide a randomly initialized agent to a random goal in a maze. Our experimental results showed that using DAgger and reward-based active learning method can achieve better performance while saving more human efforts physically and mentally during the training process.


title: Audio Captioning using Pre-Trained Large-Scale Language Model Guided by Audio-based Similar Caption Retrieval

abstract: The goal of audio captioning is to translate input audio into its description using natural language. One of the problems in audio captioning is the lack of training data due to the difficulty in collecting audio-caption pairs by crawling the web. In this study, to overcome this problem, we propose to use a pre-trained large-scale language model. Since an audio input cannot be directly inputted into such a language model, we utilize guidance captions retrieved from a training dataset based on similarities that may exist in different audio. Then, the caption of the audio input is generated by using a pre-trained language model while referring to the guidance captions. Experimental results show that (i) the proposed method has succeeded to use a pre-trained language model for audio captioning, and (ii) the oracle performance of the pre-trained model-based caption generator was clearly better than that of the conventional method trained from scratch.


title: Combining Similarity and Adversarial Learning to Generate Visual Explanation: Application to Medical Image Classification

abstract: Explaining decisions of black-box classifiers is paramount in sensitive domains such as medical imaging since clinicians confidence is necessary for adoption. Various explanation approaches have been proposed, among which perturbation based approaches are very promising. Within this class of methods, we leverage a learning framework to produce our visual explanations method. From a given classifier, we train two generators to produce from an input image the so called similar and adversarial images. The similar image shall be classified as the input image whereas the adversarial shall not. Visual explanation is built as the difference between these two generated images. Using metrics from the literature, our method outperforms state-of-the-art approaches. The proposed approach is model-agnostic and has a low computation burden at prediction time. Thus, it is adapted for real-time systems. Finally, we show that random geometric augmentations applied to the original image play a regularization role that improves several previously proposed explanation methods. We validate our approach on a large chest X-ray database.


title: Intrinsic Image Captioning Evaluation

abstract: The image captioning task is about to generate suitable descriptions from images. For this task there can be several challenges such as accuracy, fluency and diversity. However there are few metrics that can cover all these properties while evaluating results of captioning models.In this paper we first conduct a comprehensive investigation on contemporary metrics. Motivated by the auto-encoder mechanism and the research advances of word embeddings we propose a learning based metrics for image captioning, which we call Intrinsic Image Captioning Evaluation(I2CE). We select several state-of-the-art image captioning models and test their performances on MS COCO dataset with respects to both contemporary metrics and the proposed I2CE. Experiment results show that our proposed method can keep robust performance and give more flexible scores to candidate captions when encountered with semantic similar expression or less aligned semantics. On this concern the proposed metric could serve as a novel indicator on the intrinsic information between captions, which may be complementary to the existing ones.


title: Taming nucleon density distributions with deep neural network method

abstract: We investigate the density distributions of finite nuclei employing a well-designed deep neural network method. We calculate the target nucleon density distributions with Skyrme density functional theories, which are used to train the networks. We find that the training with only about $10\%$ nuclei ($300-400$) is sufficient to describe the nucleon density distributions of all the nuclear chart within 2\% relative error. The relative error comes to 5\% when about 200 proton(neutron) density distributions are used for training. We obtained very similar results for different Skyrme density functional theories. Therefore the ability to train networks is weakly dependent on the theoretical model. Moreover, in the process of machine learning, there is a turning point showing the transition from the Fermi-like distribution to the realistic Skyrme distribution, which provides significant properties of convergence process.


title: LRC-BERT: Latent-representation Contrastive Knowledge Distillation for Natural Language Understanding

abstract: The pre-training models such as BERT have achieved great results in various natural language processing problems. However, a large number of parameters need significant amounts of memory and the consumption of inference time, which makes it difficult to deploy them on edge devices. In this work, we propose a knowledge distillation method LRC-BERT based on contrastive learning to fit the output of the intermediate layer from the angular distance aspect, which is not considered by the existing distillation methods. Furthermore, we introduce a gradient perturbation-based training architecture in the training phase to increase the robustness of LRC-BERT, which is the first attempt in knowledge distillation. Additionally, in order to better capture the distribution characteristics of the intermediate layer, we design a two-stage training method for the total distillation loss. Finally, by verifying 8 datasets on the General Language Understanding Evaluation (GLUE) benchmark, the performance of the proposed LRC-BERT exceeds the existing state-of-the-art methods, which proves the effectiveness of our method.


title: Analytic Geometry and Hodge-Frobenius Structure Continued

abstract: This is our sequel to our previous work on the corresponding generalized Frobenius modules over some big multivariate Robba rings. We will go beyond our previous discussion where we focused on the corresponding analytic functions on polydiscs and polyannuli in the strictly affinoid situation, and general Hodge-Frobenius structures which are admissible in the corresponding context in our previous work.


title: Lava Worlds: From Early Earth to Exoplanets

abstract: The magma ocean concept was first conceived to explain the geology of the Moon, but hemispherical or global oceans of silicate melt could be a widespread "lava world" phase of rocky planet accretion, and could persist on planets on short-period orbits around other stars. The formation and crystallization of magma oceans could be a defining stage in the assembly of a core, origin of a crust, initiation of tectonics, and formation of an atmosphere. The last decade has seen significant advances in our understanding of this phenomenon through analysis of terrestrial and extraterrestrial samples, planetary missions, and astronomical observations of exoplanets. This review describes the energetic basis of magma oceans and lava worlds and the lava lake analogs available for study on Earth and Io. It provides an overview of evidence for magma oceans throughout the Solar System and considers the factors that control the rocks these magma oceans leave behind. It describes research on theoretical and observed exoplanets that could host extant magma oceans and summarizes efforts to detect and characterize them. It reviews modeling of the evolution of magma oceans as a result of crystallization and evaporation, the interaction with the underlying solid mantle, and the effects of planetary rotation. The review also considers theoretical investigations on the formation of an atmosphere in concert with the magma ocean and in response to irradiation from the host star, and possible end-states. Finally, it describes needs and gaps in our knowledge and points to future opportunities with new planetary missions and space telescopes to identify and better characterize lava worlds around nearby stars.


title: Period Rings with Big Coefficients and Applications I

abstract: Following ideas of Kedlaya-Liu, we are going to consider extending our previous work to the context of more general adic spaces, which will be corresponding deformation of the relative $p$-adic Hodge structure over more general adic spaces. This means that the deformation could be also realized by an adic spaces (perfectoid, preperfectoid, relatively perfectoid and so on). Parts of the whole project here actually are inspired by the corresponding Drinfeld's lemma for diamonds after Scholze, as well as the work from Carter-Kedlaya-Z\'abr\'adi which is aimed at studying the representation theory of products of \'etale fundamental groups. Moreover, we gain motivations from noncommutative analytic geometries and noncommutative Tamagawa number conjectures.


title: Verifiable Observation of Permissioned Ledgers

abstract: Permissioned ledger technologies have gained significant traction over the last few years. For practical reasons, their applications have focused on transforming narrowly scoped use-cases in isolation. This has led to a proliferation of niche, isolated networks that are quickly becoming data and value silos. To increase value across the broader ecosystem, these networks must seamlessly integrate with existing systems and interoperate with one another. A fundamental requirement for enabling crosschain communication is the ability to prove the validity of the internal state of a ledger to an external party. However, due to the closed nature of permissioned ledgers, their internal state is opaque to an external observer. This makes consuming and verifying states from these networks a non-trivial problem. This paper addresses this fundamental requirement for state sharing across permissioned ledgers. In particular, we address two key problems for external clients: (i) assurances on the validity of state in a permissioned ledger and (ii) the ability to reason about the currency of state. We assume an adversarial model where the members of the committee managing the permissioned ledger can be malicious in the absence of detectability and accountability. We present a formalization of the problem for state sharing and examine its security properties under different adversarial conditions. We propose the design of a protocol that uses a secure public ledger for providing guarantees on safety and the ability to reason about time, with at least one honest member in the committee. We then provide a formal security analysis of our design and a proof of concept implementation based on Hyperledger Fabric demonstrating the effectiveness of the proposed protocol.


title: Articulated Shape Matching Using Laplacian Eigenfunctions and Unsupervised Point Registration

abstract: Matching articulated shapes represented by voxel-sets reduces to maximal sub-graph isomorphism when each set is described by a weighted graph. Spectral graph theory can be used to map these graphs onto lower dimensional spaces and match shapes by aligning their embeddings in virtue of their invariance to change of pose. Classical graph isomorphism schemes relying on the ordering of the eigenvalues to align the eigenspaces fail when handling large data-sets or noisy data. We derive a new formulation that finds the best alignment between two congruent $K$-dimensional sets of points by selecting the best subset of eigenfunctions of the Laplacian matrix. The selection is done by matching eigenfunction signatures built with histograms, and the retained set provides a smart initialization for the alignment problem with a considerable impact on the overall performance. Dense shape matching casted into graph matching reduces then, to point registration of embeddings under orthogonal transformations; the registration is solved using the framework of unsupervised clustering and the EM algorithm. Maximal subset matching of non identical shapes is handled by defining an appropriate outlier class. Experimental results on challenging examples show how the algorithm naturally treats changes of topology, shape variations and different sampling densities.


title: A One-Size-Fits-All Solution to Conservative Bandit Problems

abstract: In this paper, we study a family of conservative bandit problems (CBPs) with sample-path reward constraints, i.e., the learner's reward performance must be at least as well as a given baseline at any time. We propose a One-Size-Fits-All solution to CBPs and present its applications to three encompassed problems, i.e. conservative multi-armed bandits (CMAB), conservative linear bandits (CLB) and conservative contextual combinatorial bandits (CCCB). Different from previous works which consider high probability constraints on the expected reward, we focus on a sample-path constraint on the actually received reward, and achieve better theoretical guarantees ($T$-independent additive regrets instead of $T$-dependent) and empirical performance. Furthermore, we extend the results and consider a novel conservative mean-variance bandit problem (MV-CBP), which measures the learning performance with both the expected reward and variability. For this extended problem, we provide a novel algorithm with $O(1/T)$ normalized additive regrets ($T$-independent in the cumulative form) and validate this result through empirical evaluation.


title: Non-uniform ergodic properties of Hamiltonian flows with impacts

abstract: The ergodic properties of two uncoupled oscillators, a horizontal and vertical one, residing in a class of non rectangular star-shaped polygons with only vertical and horizontal boundaries and impacting elastically from its boundaries are studied. We prove that the iso-energy level sets topology changes non-trivially; the flow on level sets is always conjugated to a translation flow on a translation surface, yet, for some segments of partial energies the genus of the surface is strictly larger than one. When at least one of the oscillators is un-harmonic, or when both are harmonic and non-resonant, we prove that for almost all partial energies, including the impacting ones, the flow on level sets is unique ergodic. When both oscillators are harmonic and resonant, we prove that there exist intervals of partial energies on which periodic ribbons and additional ergodic components co-exist. We prove that for almost all partial energies in such segments the motion is unique ergodic on the part of the level set that is not occupied by the periodic ribbons. This implies that ergodic averages project to piecewise smooth weighted averages in the configuration space.


title: The simplest cohomological invariants for vertex algebras

abstract: For the double complex structure of grading-restricted vertex algebra cohomology defined in \cite{Huang}, we introduce a multiplication of elements of double complex spaces. We show that the orthogonality and bi-grading conditions applied on double complex spaces, provide in relation among mappings and actions of co-boundary operators. Thus, we endow the double complex spaces with structure of bi-graded differential algebra. We then introduce the simples cohomology classes for a grading-restricted vertex algebra, and show their independence on the choice of mappings from double complex spaces. We prove that its cohomology class does not depend on mappings representing of the double complex spaces. Finally, we show that the orthogonality relations together with the bi-grading condition bring about generators and commutation relations for a continual Lie algebra.


title: Isospectral hyperbolic surfaces of infinite genus

abstract: We show that any infinite-type surface without planar ends admits arbitrarily large families of length isospectral hyperbolic structures. If the surface has infinite genus and its space of ends is self-similar, we construct an uncountable family of isospectral and quasiconformally distinct hyperbolic structures.


title: Spatially Resolved Properties of Galaxies with a Kinematically Distinct Core

abstract: Aims. Interacting galaxies show unique irregularities in their kinematic structure. By investigating the spatially resolved kinematics and stellar population properties of galaxies that show irregularities, we can paint a detailed picture of the formation and evolutionary processes that took place during its lifetimes. Methods. In this work, we focus on galaxies with a specific kinematic irregularity, a kinematically distinct stellar core (KDC), in particular, counter-rotating galaxies where the core and main body of the galaxy are rotating in opposite directions. We visually identify eleven MaNGA galaxies with a KDC from their stellar kinematics, and investigate their spatially resolved stellar and gaseous kinematic properties, namely the two-dimensional stellar and gaseous velocity and velocity dispersion ({\sigma}) maps. Additionally, we examine the stellar population properties, as well as spatially resolved recent star formation histories using the Dn4000 and H{\delta} gradients. Results. The galaxies display multiple off-centred, symmetrical peaks in the stellar {\sigma} maps. The gaseous velocity and {\sigma} maps display regular properties. The stellar population properties and their respective gradients show differing properties depending on the results of the spatially resolved emission line diagnostics of the galaxies, with some galaxies showing inside-out quenching but others not. The star formation histories also largely differ based on the spatially resolved emission line diagnostics, but most galaxies show indications of recent star formation either in their outskirts or core. Conclusions. We find a distinct difference in kinematic and stellar population properties in galaxies with a counter-rotating stellar core, depending on its classification using spatially resolved emission line diagnostics.


title: Better scalability under potentially heavy-tailed feedback

abstract: We study scalable alternatives to robust gradient descent (RGD) techniques that can be used when the losses and/or gradients can be heavy-tailed, though this will be unknown to the learner. The core technique is simple: instead of trying to robustly aggregate gradients at each step, which is costly and leads to sub-optimal dimension dependence in risk bounds, we instead focus computational effort on robustly choosing (or newly constructing) a strong candidate based on a collection of cheap stochastic sub-processes which can be run in parallel. The exact selection process depends on the convexity of the underlying objective, but in all cases, our selection technique amounts to a robust form of boosting the confidence of weak learners. In addition to formal guarantees, we also provide empirical analysis of robustness to perturbations to experimental conditions, under both sub-Gaussian and heavy-tailed data, along with applications to a variety of benchmark datasets. The overall take-away is an extensible procedure that is simple to implement, trivial to parallelize, which keeps the formal merits of RGD methods but scales much better to large learning problems.


title: Classification of ALS patients based on acoustic analysis of sustained vowel phonations

abstract: Amyotrophic lateral sclerosis (ALS) is incurable neurological disorder with rapidly progressive course. Common early symptoms of ALS are difficulty in swallowing and speech. However, early acoustic manifestation of speech and voice symptoms is very variable, that making their detection very challenging, both by human specialists and automatic systems. This study presents an approach to voice assessment for automatic system that separates healthy people from patients with ALS. In particular, this work focus on analysing of sustain phonation of vowels /a/ and /i/ to perform automatic classification of ALS patients. A wide range of acoustic features such as MFCC, formants, jitter, shimmer, vibrato, PPE, GNE, HNR, etc. were analysed. We also proposed a new set of acoustic features for characterizing harmonic structure of the vowels. Calculation of these features is based on pitch synchronized voice analysis. A linear discriminant analysis (LDA) was used to classify the phonation produced by patients with ALS and those by healthy individuals. Several algorithms of feature selection were tested to find optimal feature subset for LDA model. The study's experiments show that the most successful LDA model based on 32 features picked out by LASSO feature selection algorithm attains 99.7% accuracy with 99.3% sensitivity and 99.9% specificity. Among the classifiers with a small number of features, we can highlight LDA model with 5 features, which has 89.0% accuracy (87.5% sensitivity and 90.4% specificity).


title: Bandit Learning in Decentralized Matching Markets

abstract: We study two-sided matching markets in which one side of the market (the players) does not have a priori knowledge about its preferences for the other side (the arms) and is required to learn its preferences from experience. Also, we assume the players have no direct means of communication. This model extends the standard stochastic multi-armed bandit framework to a decentralized multiple player setting with competition. We introduce a new algorithm for this setting that, over a time horizon $T$, attains $\mathcal{O}(\log(T))$ stable regret when preferences of the arms over players are shared, and $\mathcal{O}(\log(T)^2)$ regret when there are no assumptions on the preferences on either side. Moreover, in the setting where a single player may deviate, we show that the algorithm is incentive compatible whenever the arms' preferences are shared, but not necessarily so when preferences are fully general.


title: Commissioning of Namakanui on the JCMT

abstract: Namakanui is an instrument containing three inserts in an ALMA type Dewar. The three inserts are Alaihi, Uu and Aweoweo operating around 86, 230 and 345GHz. The receiver is being commissioned on the JCMT. It will be used for both Single dish and VLBI observations. We will present commissioning results and the system.


title: The Open Brands Dataset: Unified brand detection and recognition at scale

abstract: Intellectual property protection(IPP) have received more and more attention recently due to the development of the global e-commerce platforms. brand recognition plays a significant role in IPP. Recent studies for brand recognition and detection are based on small-scale datasets that are not comprehensive enough when exploring emerging deep learning techniques. Moreover, it is challenging to evaluate the true performance of brand detection methods in realistic and open scenes. In order to tackle these problems, we first define the special issues of brand detection and recognition compared with generic object detection. Second, a novel brands benchmark called "Open Brands" is established. The dataset contains 1,437,812 images which have brands and 50,000 images without any brand. The part with brands in Open Brands contains 3,113,828 instances annotated in 3 dimensions: 4 types, 559 brands and 1216 logos. To the best of our knowledge, it is the largest dataset for brand detection and recognition with rich annotations. We provide in-depth comprehensive statistics about the dataset, validate the quality of the annotations and study how the performance of many modern models evolves with an increasing amount of training data. Third, we design a network called "Brand Net" to handle brand recognition. Brand Net gets state-of-art mAP on Open Brand compared with existing detection methods.


title: Cosmological singularities, entanglement and quantum extremal surfaces

abstract: We study aspects of entanglement and extremal surfaces in various families of spacetimes exhibiting cosmological, Big-Crunch, singularities, in particular isotropic $AdS$ Kasner. The classical extremal surface dips into the bulk radial and time directions. Explicitly analysing the extremization equations in the semiclassical region far from the singularity, we find the surface bends in the direction away from the singularity. In the 2-dim cosmologies obtained by dimensional reduction of these and other singularities, we have studied quantum extremal surfaces by extremizing the generalized entropy. The resulting extremization shows the quantum extremal surfaces to always be driven to the semiclassical region far from the singularity. We give some comments and speculations on our analysis.


title: A massless scalar particle coupled to the Wahlquist metric

abstract: We study the solutions of the wave equation where a massless scalar field is coupled to the Wahlquist metric, a type-D solution. We first take the full metric and then write simplifications of the metric by taking some of the constants in the metric null. When we do not equate any of the arbitrary constants in the metric to zero, we find the solution is given in terms of the general Heun function, apart from some simple functions multiplying this solution. This is also true, if we equate one of the constants $Q_0$ or $a_1$ to zero. When both the NUT-related constant $a_1$ and $Q_0$ are zero, the singly confluent Heun function is the solution. When we also equate the constant $\nu_0$ to zero, we get the double confluent Heun-type solution. In the latter two cases, we have an exponential and two monomials raised to powers multiplying the Heun type function. Thus, we generalize the Batic et al. result for type-D metrics for this metric and show that all variations of the Wahlquist metric give Heun type solutions.


title: REDAT: Accent-Invariant Representation for End-to-End ASR by Domain Adversarial Training with Relabeling

abstract: Accents mismatching is a critical problem for end-to-end ASR. This paper aims to address this problem by building an accent-robust RNN-T system with domain adversarial training (DAT). We unveil the magic behind DAT and provide, for the first time, a theoretical guarantee that DAT learns accent-invariant representations. We also prove that performing the gradient reversal in DAT is equivalent to minimizing the Jensen-Shannon divergence between domain output distributions. Motivated by the proof of equivalence, we introduce reDAT, a novel technique based on DAT, which relabels data using either unsupervised clustering or soft labels. Experiments on 23K hours of multi-accent data show that DAT achieves competitive results over accent-specific baselines on both native and non-native English accents but up to 13% relative WER reduction on unseen accents; our reDAT yields further improvements over DAT by 3% and 8% relatively on non-native accents of American and British English.