title: Weaponizing Unicodes with Deep Learning -- Identifying Homoglyphs with Weakly Labeled Data

abstract: Visually similar characters, or homoglyphs, can be used to perform social engineering attacks or to evade spam and plagiarism detectors. It is thus important to understand the capabilities of an attacker to identify homoglyphs -- particularly ones that have not been previously spotted -- and leverage them in attacks. We investigate a deep-learning model using embedding learning, transfer learning, and augmentation to determine the visual similarity of characters and thereby identify potential homoglyphs. Our approach uniquely takes advantage of weak labels that arise from the fact that most characters are not homoglyphs. Our model drastically outperforms the Normalized Compression Distance approach on pairwise homoglyph identification, for which we achieve an average precision of 0.97. We also present the first attempt at clustering homoglyphs into sets of equivalence classes, which is more efficient than pairwise information for security practitioners to quickly lookup homoglyphs or to normalize confusable string encodings. To measure clustering performance, we propose a metric (mBIOU) building on the classic Intersection-Over-Union (IOU) metric. Our clustering method achieves 0.592 mBIOU, compared to 0.430 for the naive baseline. We also use our model to predict over 8,000 previously unknown homoglyphs, and find good early indications that many of these may be true positives. Source code and list of predicted homoglyphs are uploaded to Github: https://github.com/PerryXDeng/weaponizing_unicode


title: Lightweight, Dynamic Graph Convolutional Networks for AMR-to-Text Generation

abstract: AMR-to-text generation is used to transduce Abstract Meaning Representation structures (AMR) into text. A key challenge in this task is to efficiently learn effective graph representations. Previously, Graph Convolution Networks (GCNs) were used to encode input AMRs, however, vanilla GCNs are not able to capture non-local information and additionally, they follow a local (first-order) information aggregation scheme. To account for these issues, larger and deeper GCN models are required to capture more complex interactions. In this paper, we introduce a dynamic fusion mechanism, proposing Lightweight Dynamic Graph Convolutional Networks (LDGCNs) that capture richer non-local interactions by synthesizing higher order information from the input graphs. We further develop two novel parameter saving strategies based on the group graph convolutions and weight tied convolutions to reduce memory usage and model complexity. With the help of these strategies, we are able to train a model with fewer parameters while maintaining the model capacity. Experiments demonstrate that LDGCNs outperform state-of-the-art models on two benchmark datasets for AMR-to-text generation with significantly fewer parameters.


title: Learning 3D Face Reconstruction with a Pose Guidance Network

abstract: We present a self-supervised learning approach to learning monocular 3D face reconstruction with a pose guidance network (PGN). First, we unveil the bottleneck of pose estimation in prior parametric 3D face learning methods, and propose to utilize 3D face landmarks for estimating pose parameters. With our specially designed PGN, our model can learn from both faces with fully labeled 3D landmarks and unlimited unlabeled in-the-wild face images. Our network is further augmented with a self-supervised learning scheme, which exploits face geometry information embedded in multiple frames of the same person, to alleviate the ill-posed nature of regressing 3D face geometry from a single image. These three insights yield a single approach that combines the complementary strengths of parametric model learning and data-driven learning techniques. We conduct a rigorous evaluation on the challenging AFLW2000-3D, Florence and FaceWarehouse datasets, and show that our method outperforms the state-of-the-art for all metrics.


title: Identification of multi-valued treatment effects with unobserved heterogeneity

abstract: In this paper, we establish sufficient conditions for identifying treatment effects on continuous outcomes in endogenous and multi-valued discrete treatment settings with unobserved heterogeneity. We employ the monotonicity assumption for multi-valued discrete treatments and instruments, and our identification condition has a clear economic interpretation. In addition, we identify the local treatment effects in multi-valued treatment settings and derive closed-form expressions of the identified treatment effects. We provide examples to illustrate the usefulness of our result.


title: Spectroscopic properties of $\Delta$ Baryons

abstract: The resonance state of $\Delta$ baryon existing in four isospin ($I=\frac{3}{2}$) states, has been studied using Hypercentral Constituent Quark Model (hCQM) with a simple linear potential with added first order correction. The calculated data range for 1S-5S, 1P-5P, 1D-4D and 1F-2F with possible spin-parity assignments of all the states. The magnetic moments have also been obtained for all four configuration. The $N\pi$ decay channel width has been calculated for few states. The linear nature of the data has been verified through Regge trajectories.


title: Berry-Esseen bounds for functionals of independent random variables

abstract: We derive Berry-Esseen approximation bounds for general functionals of independent random variables, based on chaos expansions methods. Our results apply to $U$-statistics satisfying the weak assumption of decomposability in the Hoeffding sense, and yield Kolmogorov distance bounds instead of the Wasserstein bounds previously derived in the special case of degenerate $U$-statistics. Linear and quadratic functionals of arbitrary sequences of independent random variables are included as particular cases, with new fourth moment bounds, and applications are given to Hoeffding decompositions, weighted $U$-statistics, quadratic forms, and random subgraph weighing. In the case of quadratic forms, our results recover and improve the bounds available in the literature, and apply to matrices with non-empty diagonals.


title: Sentence, Phrase, and Triple Annotations to Build a Knowledge Graph of Natural Language Processing Contributions -- A Trial Dataset

abstract: Purpose: The aim of this work is to normalize the NLPCONTRIBUTIONS scheme (henceforward, NLPCONTRIBUTIONGRAPH) to structure, directly from article sentences, the contributions information in Natural Language Processing (NLP) scholarly articles via a two-stage annotation methodology: 1) pilot stage - to define the scheme (described in prior work); and 2) adjudication stage - to normalize the graphing model (the focus of this paper). Design/methodology/approach: We re-annotate, a second time, the contributions-pertinent information across 50 prior-annotated NLP scholarly articles in terms of a data pipeline comprising: contribution-centered sentences, phrases, and triple statements. To this end, specifically, care was taken in the adjudication annotation stage to reduce annotation noise while formulating the guidelines for our proposed novel NLP contributions structuring and graphing scheme. Findings: The application of NLPCONTRIBUTIONGRAPH on the 50 articles resulted finally in a dataset of 900 contribution-focused sentences, 4,702 contribution-information-centered phrases, and 2,980 surface-structured triples. The intra-annotation agreement between the first and second stages, in terms of F1, was 67.92% for sentences, 41.82% for phrases, and 22.31% for triple statements indicating that with increased granularity of the information, the annotation decision variance is greater. Practical Implications: We demonstrate NLPCONTRIBUTIONGRAPH data integrated into the Open Research Knowledge Graph (ORKG), a next-generation KG-based digital library with intelligent computations enabled over structured scholarly knowledge, as a viable aid to assist researchers in their day-to-day tasks.


title: A Survey of Knowledge-Enhanced Text Generation

abstract: The goal of text generation is to make machines express in human language. It is one of the most important yet challenging tasks in natural language processing (NLP). Since 2014, various neural encoder-decoder models pioneered by Seq2Seq have been proposed to achieve the goal by learning to map input text to output text. However, the input text alone often provides limited knowledge to generate the desired output, so the performance of text generation is still far from satisfaction in many real-world scenarios. To address this issue, researchers have considered incorporating various forms of knowledge beyond the input text into the generation models. This research direction is known as knowledge-enhanced text generation. In this survey, we present a comprehensive review of the research on knowledge enhanced text generation over the past five years. The main content includes two parts: (i) general methods and architectures for integrating knowledge into text generation; (ii) specific techniques and applications according to different forms of knowledge data. This survey can have broad audiences, researchers and practitioners, in academia and industry.


title: Phase field modelling of fracture and fatigue in Shape Memory Alloys

abstract: We present a new phase field framework for modelling fracture and fatigue in Shape Memory Alloys (SMAs). The constitutive model captures the superelastic behaviour of SMAs and damage is driven by the elastic and transformation strain energy densities. We consider both the assumption of a constant fracture energy and the case of a fracture energy dependent on the martensitic volume fraction. The framework is implemented in an implicit time integration scheme, with both monolithic and staggered solution strategies. The potential of this formulation is showcased by modelling a number of paradigmatic problems. First, a boundary layer model is used to examine crack tip fields and compute crack growth resistance curves (R-curves). We show that the model is able to capture the main fracture features associated with SMAs, including the toughening effect associated with stress-induced phase transformation. Insight is gained into the role of temperature, material strength, crack density function and fracture energy homogenisation. Secondly, several 2D and 3D boundary value problems are addressed, demonstrating the capabilities of the model in capturing complex cracking phenomena in SMAs, such as unstable crack growth, mixed-mode fracture or the interaction between several cracks. Finally, the model is extended to fatigue and used to capture crack nucleation and propagation in biomedical stents, a paradigmatic application of nitinol SMAs.


title: Latent Dirichlet Allocation Model Training with Differential Privacy

abstract: Latent Dirichlet Allocation (LDA) is a popular topic modeling technique for hidden semantic discovery of text data and serves as a fundamental tool for text analysis in various applications. However, the LDA model as well as the training process of LDA may expose the text information in the training data, thus bringing significant privacy concerns. To address the privacy issue in LDA, we systematically investigate the privacy protection of the main-stream LDA training algorithm based on Collapsed Gibbs Sampling (CGS) and propose several differentially private LDA algorithms for typical training scenarios. In particular, we present the first theoretical analysis on the inherent differential privacy guarantee of CGS based LDA training and further propose a centralized privacy-preserving algorithm (HDP-LDA) that can prevent data inference from the intermediate statistics in the CGS training. Also, we propose a locally private LDA training algorithm (LP-LDA) on crowdsourced data to provide local differential privacy for individual data contributors. Furthermore, we extend LP-LDA to an online version as OLP-LDA to achieve LDA training on locally private mini-batches in a streaming setting. Extensive analysis and experiment results validate both the effectiveness and efficiency of our proposed privacy-preserving LDA training algorithms.


title: Classification of congruences of twisted partition monoids

abstract: The twisted partition monoid $\mathcal{P}_n^\Phi$ is an infinite monoid obtained from the classical finite partition monoid $\mathcal{P}_n$ by taking into account the number of floating components when multiplying partitions. The main result of this paper is a complete description of the congruences on $\mathcal{P}_n^\Phi$. The succinct encoding of a congruence, which we call a C-pair, consists of a sequence of $n+1$ congruences on the additive monoid $\mathbb{N}$ of natural numbers and a certain $(n+1)\times\mathbb{N}$ matrix. We also give a description of the inclusion ordering of congruences in terms of a lexicographic-like ordering on C-pairs. This is then used to classify congruences on the finite $d$-twisted partition monoids $\mathcal{P}_{n,d}^\Phi$, which are obtained by factoring out from $\mathcal{P}_n^\Phi$ the ideal of all partitions with more than $d$ floating components. Further applications of our results, elucidating the structure and properties of the congruence lattices of the ($d$-)twisted partition monoids, will be the subject of a future article.


title: Semibricks in extriangulated categories

abstract: Let $\mathcal{X}$ be a semibrick in an extriangulated category $\mathscr{C}$. Let $\mathcal{T}$ be the filtration subcategory generated by $\mathcal{X}$. We give a one-to-one correspondence between simple semibricks and length wide subcategories in $\mathscr{C}$. This generalizes a bijection given by Ringel in module categories, which has been generalized by Enomoto to exact categories. Moreover, we also give a one-to-one correspondence between cotorsion pairs in $\mathcal{T}$ and certain subsets of $\mathcal{X}$. Applying to the simple minded systems of an triangulated category, we recover a result given by Dugas.


title: Radial boundary layers for the singular Keller-Segel model

abstract: This paper is concerned with the diffusion limit (as $\va\rightarrow 0$) of radial solutions to a chemotaxis system with logarithmic singular sensitivity in a bounded interval with mixed Dirichlet and Robin boundary conditions. We use a Cole-Hopf type transformation to resolve the logarithmic singularity and prove that the solution of the transformed system has a boundary-layer profile as $\va \to 0$, where the boundary layer thickness is of $\mathcal{O}(\va^{\alpha})$ with $0<\alpha<\frac{1}{2}$. By transferring the results back to the original chemotaxis model via Cole-Hopf transformation, we find that boundary layer profile is present at the gradient of solutions and the solution itself is uniformly convergent with respect to $\va>0$.


title: gundapusunil at SemEval-2020 Task 9: Syntactic Semantic LSTM Architecture for SENTIment Analysis of Code-MIXed Data

abstract: The phenomenon of mixing the vocabulary and syntax of multiple languages within the same utterance is called Code-Mixing. This is more evident in multilingual societies. In this paper, we have developed a system for SemEval 2020: Task 9 on Sentiment Analysis for Code-Mixed Social Media Text. Our system first generates two types of embeddings for the social media text. In those, the first one is character level embeddings to encode the character level information and to handle the out-of-vocabulary entries and the second one is FastText word embeddings for capturing morphology and semantics. These two embeddings were passed to the LSTM network and the system outperformed the baseline model.


title: Dropping Standardized Testing for Admissions Trades Off Information and Access

abstract: We study the role of information and access in capacity-constrained selection problems with fairness concerns. We develop a theoretical statistical discrimination framework, where each applicant has multiple features and is potentially strategic. The model formalizes the trade-off between the (potentially positive) informational role of a feature and its (negative) exclusionary nature when members of different social groups have unequal access to this feature. Our framework finds a natural application to recent policy debates on dropping standardized testing in college admissions. Our primary takeaway is that the decision to drop a feature (such as test scores) cannot be made without the joint context of the information provided by other features and how the requirement affects the applicant pool composition. Dropping a feature may exacerbate disparities by decreasing the amount of information available for each applicant, especially those from non-traditional backgrounds. However, in the presence of access barriers to a feature, the interaction between the informational environment and the effect of access barriers on the applicant pool size becomes highly complex. In this case, we provide a threshold characterization regarding when removing a feature improves both academic merit and diversity. Finally, using calibrated simulations in both the strategic and non-strategic settings, we demonstrate the presence of practical instances where the decision to eliminate standardized testing improves or worsens all metrics.


title: 4D ultrafast ultrasound imaging of naturally occurring shear waves in the human heart

abstract: The objectives were to develop a novel three-dimensional technology for imaging naturally occurring shear wave (SW) propagation, demonstrate feasibility on human volunteers and quantify SW velocity in different propagation directions. Imaging of natural SWs generated by valve closures has emerged to obtain a direct measurement of cardiac stiffness. Recently, natural SW velocity was assessed in two dimensions on parasternal long axis view under the assumption of a propagation direction along the septum. However, in this approach the source localization and the complex three-dimensional propagation wave path was neglected making the speed estimation unreliable. High volume rate transthoracic acquisitions of the human left ventricle (1100 volume/s) was performed with a 4D ultrafast echocardiographic scanner. Four-dimensional tissue velocity cineloops enabled visualization of aortic and mitral valve closure waves. Energy and time of flight mapping allowed propagation path visualization and source localization, respectively. Velocities were quantified along different directions. Aortic and mitral valve closure SW velocities were assessed for the three volunteers with low standard deviation. Anisotropic propagation was also found suggesting the necessity of using a three-dimensional imaging approach. Different velocities were estimated for the three directions for the aortic (3.4$\pm$0.1 m/s, 3.5$\pm$0.3 m/s, 5.4$\pm$0.7 m/s) and the mitral (2.8$\pm$0.5 m/s, 2.9$\pm$0.3 m/s, 4.6$\pm$0.7 m/s) valve SWs. 4D ultrafast ultrasound alleviates the limitations of 2D ultrafast ultrasound for cardiac SW imaging based on natural SW propagations and enables a comprehensive measurement of cardiac stiffness. This technique could provide stiffness mapping of the left ventricle.


title: On the Truncation Error of Numerical Renormalization Group

abstract: Using the recently developed exact numerical renormalization group (NRG) method, we analyse the NRG truncation errors $\delta \chi$ of the local magnetic susceptibility and $\delta F$ of the free energy for the spin-boson model (SBM). We find that for temperatures higher than a crossover temperature $T_{cr}$, as the number of kept states $M$ increases, both errors have oscillations with quasi period $\ln{M}/\ln{N_b}$ and the envelopes decrease as $\epsilon_{tr}=\Lambda^{-\ln{M}/\ln{N_b}}$ ($N_b$ is the number of boson states used for each bath site). For $T \ll T_{cr}$, they decrease slower than the power law. We extract that $T_{cr} = T^{\ast} \epsilon_{tr}$, with $T^{\ast}$ being the crossover energy scale between the declocalized and the critical fixed points of SBM. The same rule applies to $\delta \chi$ and $\delta F$ calculated from the full density matrix NRG method and is expected to hold for general impurity models, allowing accurate removal of NRG truncation errors in static quantities at high temperatures.


title: Hilbert valued fractionally integrated autoregressive moving average processes with long memory operators

abstract: Fractionally integrated autoregressive moving average (FIARMA) processes have been widely and successfully used to model and predict univariate time series exhibiting long range dependence. Vector and functional extensions of these processes have also been considered more recently. Here we study these processes by relying on a spectral domain approach in the case where the processes are valued in a separable Hilbert space H0. In this framework, the usual univariate long memory parameter d is replaced by a long memory operator D acting on H0, leading to a class of H0-valued FIARMA(D, p, q) processes, where p and q are the degrees of the AR and MA polynomials. When D is a normal operator, we provide a necessary and sufficient condition for the D-fractional integration of an H0-valued ARMA(p, q) process to be well defined. Then, we derive the best predictor for a class of causal FIARMA processes and study how this best predictor can be consistently estimated from a finite sample of the process. To this end, we provide a general result on quadratic functionals of the periodogram, which incidentally yields a result of independent interest. Namely, for any ergodic stationary process valued in H0 with finite second moment, the empirical autocovariance operator converges, in trace-norm, to the true autocovariance operator almost surely at each lag.


title: Stand Up Indulgent Rendezvous

abstract: We consider two mobile oblivious robots that evolve in a continuous Euclidean space. We require the two robots to solve the rendezvous problem (meeting in finite time at the same location, not known beforehand) despite the possibility that one of those robots crashes unpredictably. The rendezvous is stand up indulgent in the sense that when a crash occurs, the correct robot must still meet the crashed robot on its last position. We characterize the system assumptions that enable problem solvability, and present a series of algorithms that solve the problem for the possible cases.


title: Lyapunov-Stable Orientation Estimator for Humanoid Robots

abstract: In this paper, we present an observation scheme, with proven Lyapunov stability, for estimating a humanoid's floating base orientation. The idea is to use velocity aided attitude estimation, which requires to know the velocity of the system. This velocity can be obtained by taking into account the kinematic data provided by contact information with the environment and using the IMU and joint encoders. We demonstrate how this operation can be used in the case of a fixed or a moving contact, allowing it to be employed for locomotion. We show how to use this velocity estimation within a selected two-stage state tilt estimator: (i) the first which has a global and quick convergence (ii) and the second which has smooth and robust dynamics. We provide new specific proofs of almost global Lyapunov asymptotic stability and local exponential convergence for this observer. Finally, we assess its performance by employing a comparative simulation and by using it within a closed-loop stabilization scheme for HRP-5P and HRP-2KAI robots performing whole-body kinematic tasks and locomotion.


title: Generating Novel Glyph without Human Data by Learning to Communicate

abstract: In this paper, we present Neural Glyph, a system that generates novel glyph without any training data. The generator and the classifier are trained to communicate via visual symbols as a medium, which enforces the generator to come up with a set of distinctive symbols. Our method results in glyphs that resemble the human-made glyphs, which may imply that the visual appearances of existing glyphs can be attributed to constraints of communication via writing. Important tricks that enable this framework are described and the code is made available.


title: Measurement of the mechanical reservoir spectral density in optomechanical system

abstract: To investigate the dynamical behavior of a quantum system embedded in a memory environment, it is crucial to obtain the knowledge of the reservoir spectral density. However, such knowledge is usually based on a priori assumptions about the environment. In this paper, we put forward a method to obtain key information about the reservoir spectral density of an optomechanical resonator without additional assumptions about the spectral shape. This is achieved by detecting and analysing the optical transmission rate of the emitted light. In the weak optomechanical singlephoton coupling regime, we establish a simple relation between the output light spectrum and the reservoir spectral density. This provide a straightforward and effective way for reconstructing the spectral density profile in single or even multiple decoherence channels.


title: Deep Reinforcement Learning for Asset Allocation in US Equities

abstract: Reinforcement learning is a machine learning approach concerned with solving dynamic optimization problems in an almost model-free way by maximizing a reward function in state and action spaces. This property makes it an exciting area of research for financial problems. Asset allocation, where the goal is to obtain the weights of the assets that maximize the rewards in a given state of the market considering risk and transaction costs, is a problem easily framed using a reinforcement learning framework. It is first a prediction problem for expected returns and covariance matrix and then an optimization problem for returns, risk, and market impact. Investors and financial researchers have been working with approaches like mean-variance optimization, minimum variance, risk parity, and equally weighted and several methods to make expected returns and covariance matrices' predictions more robust. This paper demonstrates the application of reinforcement learning to create a financial model-free solution to the asset allocation problem, learning to solve the problem using time series and deep neural networks. We demonstrate this on daily data for the top 24 stocks in the US equities universe with daily rebalancing. We use a deep reinforcement model on US stocks using different architectures. We use Long Short Term Memory networks, Convolutional Neural Networks, and Recurrent Neural Networks and compare them with more traditional portfolio management. The Deep Reinforcement Learning approach shows better results than traditional approaches using a simple reward function and only being given the time series of stocks. In Finance, no training to test error generalization results come guaranteed. We can say that the modeling framework can deal with time series prediction and asset allocation, including transaction costs.


title: Finite Decomposition of Minimal surfaces, Maximal surfaces, Timelike Minimal surfaces and Born-Infeld solitons

abstract: We show that the height function of Scherk's second surface decomposes into a finite sum of scaled and translated versions of itself, using an Euler Ramanujan identity. A similar result appears in R. Kamien's work on liquid crystals where he shows (using an Euler-Ramanujan identity) that the Scherk's first surface decomposes into a finite sum of scaled and translated versions of itself. We give another finite decomposition of the height function of the Scherk's first surface in terms of translated helicoids and scaled and translated Scherk's first surface. We give some more examples, for instance a (complex) maximal surface and a (complex) BI soliton. We then show, using the Weierstrass-Enneper representation of minimal (maximal) surfaces, that one can decompose the height function of a minimal (maximal) surface into finite sums of height functions of surfaces which, upon change of coordinates, turn out to be minimal (maximal) surfaces, each minimal (maximal) w.r.t. to its own new coordinates. We then exhibit a general property of minimal surfaces, maximal surfaces, timelike minimal surfaces and Born-Infeld soliton surfaces that their local height functions $z=Z(x,y)$ split into finite sum of scaled and translated versions of functions of the same form. Upto scaling these new functions are height functions of the minimal surfaces, maximal surfaces, timelike minimal surfaces and Born-Infeld soliton surfaces respectively. Lastly, we exhibit a foliation of ${\mathbb R}^3$ minus certain lines by shifted helicoids (which appear in one of the Euler-Ramanujan identities).


title: A Survey of Non-Volatile Main Memory Technologies: State-of-the-Arts, Practices, and Future Directions

abstract: Non-Volatile Main Memories (NVMMs) have recently emerged as promising technologies for future memory systems. Generally, NVMMs have many desirable properties such as high density, byte-addressability, non-volatility, low cost, and energy efficiency, at the expense of high write latency, high write power consumption and limited write endurance. NVMMs have become a competitive alternative of Dynamic Random Access Memory (DRAM), and will fundamentally change the landscape of memory systems. They bring many research opportunities as well as challenges on system architectural designs, memory management in operating systems (OSes), and programming models for hybrid memory systems. In this article, we first revisit the landscape of emerging NVMM technologies, and then survey the state-of-the-art studies of NVMM technologies. We classify those studies with a taxonomy according to different dimensions such as memory architectures, data persistence, performance improvement, energy saving, and wear leveling. Second, to demonstrate the best practices in building NVMM systems, we introduce our recent work of hybrid memory system designs from the dimensions of architectures, systems, and applications. At last, we present our vision of future research directions of NVMMs and shed some light on design challenges and opportunities.


title: An Overview on Multiway Relay Communications: Fundamental Issues, Recent Advances, and New Challenges

abstract: To address the coverage and capacity challenges in fifth-generation (5G) wireless networks, the relay technique has been considered as a promising solution and recently attracted great attentions from academia. The multiway relay channel (mRC), which serves as a fundamental building block of a relay network, defines the family of all possible information-flow patterns between a relay node and its neighboring nodes. Combined with several new techniques, such as physical-layer network coding (PLNC), signal and interference alignments, multi-input multi-output (MIMO), etc., the mRC exhibits superior capability to assist multiuser information exchange. In this article, we aim to provide a comprehensive overview on the state-of-the-art of the mRC from the perspectives of both information-theoretic and communication-theoretic studies. The key results are summarized and discussed to identify the current research progress of the mRC. Open problems and research challenges are also discussed to spur future research towards the mRC.


title: Dirichlet Graph Variational Autoencoder

abstract: Graph Neural Networks (GNNs) and Variational Autoencoders (VAEs) have been widely used in modeling and generating graphs with latent factors. However, there is no clear explanation of what these latent factors are and why they perform well. In this work, we present Dirichlet Graph Variational Autoencoder (DGVAE) with graph cluster memberships as latent factors. Our study connects VAEs based graph generation and balanced graph cut, and provides a new way to understand and improve the internal mechanism of VAEs based graph generation. Specifically, we first interpret the reconstruction term of DGVAE as balanced graph cut in a principled way. Furthermore, motivated by the low pass characteristics in balanced graph cut, we propose a new variant of GNN named Heatts to encode the input graph into cluster memberships. Heatts utilizes the Taylor series for fast computation of heat kernels and has better low pass characteristics than Graph Convolutional Networks (GCN). Through experiments on graph generation and graph clustering, we demonstrate the effectiveness of our proposed framework.


title: Symmetry and monotonicity of singular solutions of double phase problems

abstract: We consider positive singular solutions of PDEs arising from double phase functionals. Exploiting a rather new version of the moving plane method originally developed by Sciunzi, we prove symmetry and monotonicity properties of such solutions.


title: Theoretical Modelling of High-Resolution X-Ray Absorption Spectra at Uranium M4 Edge

abstract: We investigate the origin of satellite features that appear in the high-resolution x-ray absorption spectra measured at the uranium M 4 edge in compounds where the uranium atoms are in the U 6+ oxidation state. We employ a material-specific Anderson impurity model derived from the electronic structure obtained by the density-functional theory.


title: Uncertainty-Aware Semantic Augmentation for Neural Machine Translation

abstract: As a sequence-to-sequence generation task, neural machine translation (NMT) naturally contains intrinsic uncertainty, where a single sentence in one language has multiple valid counterparts in the other. However, the dominant methods for NMT only observe one of them from the parallel corpora for the model training but have to deal with adequate variations under the same meaning at inference. This leads to a discrepancy of the data distribution between the training and the inference phases. To address this problem, we propose uncertainty-aware semantic augmentation, which explicitly captures the universal semantic information among multiple semantically-equivalent source sentences and enhances the hidden representations with this information for better translations. Extensive experiments on various translation tasks reveal that our approach significantly outperforms the strong baselines and the existing methods.


title: Fair and Representative Subset Selection from Data Streams

abstract: We study the problem of extracting a small subset of representative items from a large data stream. In many data mining and machine learning applications such as social network analysis and recommender systems, this problem can be formulated as maximizing a monotone submodular function subject to a cardinality constraint $k$. In this work, we consider the setting where data items in the stream belong to one of several disjoint groups and investigate the optimization problem with an additional \emph{fairness} constraint that limits selection to a given number of items from each group. We then propose efficient algorithms for the fairness-aware variant of the streaming submodular maximization problem. In particular, we first give a $ (\frac{1}{2}-\varepsilon) $-approximation algorithm that requires $ O(\frac{1}{\varepsilon} \log \frac{k}{\varepsilon}) $ passes over the stream for any constant $ \varepsilon>0 $. Moreover, we give a single-pass streaming algorithm that has the same approximation ratio of $(\frac{1}{2}-\varepsilon)$ when unlimited buffer sizes and post-processing time are permitted, and discuss how to adapt it to more practical settings where the buffer sizes are bounded. Finally, we demonstrate the efficiency and effectiveness of our proposed algorithms on two real-world applications, namely \emph{maximum coverage on large graphs} and \emph{personalized recommendation}.


title: A deep learning based interactive sketching system for fashion images design

abstract: In this work, we propose an interactive system to design diverse high-quality garment images from fashion sketches and the texture information. The major challenge behind this system is to generate high-quality and detailed texture according to the user-provided texture information. Prior works mainly use the texture patch representation and try to map a small texture patch to a whole garment image, hence unable to generate high-quality details. In contrast, inspired by intrinsic image decomposition, we decompose this task into texture synthesis and shading enhancement. In particular, we propose a novel bi-colored edge texture representation to synthesize textured garment images and a shading enhancer to render shading based on the grayscale edges. The bi-colored edge representation provides simple but effective texture cues and color constraints, so that the details can be better reconstructed. Moreover, with the rendered shading, the synthesized garment image becomes more vivid.


title: A Vertex Cut based Framework for Load Balancing and Parallelism Optimization in Multi-core Systems

abstract: High-level applications, such as machine learning, are evolving from simple models based on multilayer perceptrons for simple image recognition to much deeper and more complex neural networks for self-driving vehicle control systems.The rapid increase in the consumption of memory and computational resources by these models demands the use of multi-core parallel systems to scale the execution of the complex emerging applications that depend on them. However, parallel programs running on high-performance computers often suffer from data communication bottlenecks, limited memory bandwidth, and synchronization overhead due to irregular critical sections. In this paper, we propose a framework to reduce the data communication and improve the scalability and performance of these applications in multi-core systems. We design a vertex cut framework for partitioning LLVM IR graphs into clusters while taking into consideration the data communication and workload balance among clusters. First, we construct LLVM graphs by compiling high-level programs into LLVM IR, instrumenting code to obtain the execution order of basic blocks and the execution time for each memory operation, and analyze data dependencies in dynamic LLVM traces. Next, we formulate the problem as Weight Balanced $p$-way Vertex Cut, and propose a generic and flexible framework, wherein four different greedy algorithms are proposed for solving this problem. Lastly, we propose a memory-centric run-time mapping of the linear time complexity to map clusters generated from the vertex cut algorithms onto a multi-core platform. We conclude that our best algorithm, WB-Libra, provides performance improvements of 1.56x and 1.86x over existing state-of-the-art approaches for 8 and 1024 clusters running on a multi-core platform, respectively.


title: Commutative rings with one-absorbing factorization

abstract: Let $R$ be a commutative ring with nonzero identity. A. Yassine et al. defined in the paper (Yassine, Nikmehr and Nikandish, 2020), the concept of $1$-absorbing prime ideals as follows: a proper ideal $I$ of $R$ is said to be a $1$-absorbing prime ideal if whenever $xyz\in I$ for some nonunit elements $x,y,z\in R$, then either $xy\in I$ or $z\in\ I$. We use the concept of $1$-absorbing prime ideals to study those commutative rings in which every proper ideal is a product of $1$-absorbing prime ideals (we call them $OAF$-rings). Any $OAF$-ring has dimension at most one and local $OAF$-domains $(D,M)$ are atomic such that $M^2$ is universal.


title: Convolutional Recurrent Residual U-Net Embedded with Attention Mechanism and Focal Tversky Loss Function for Cancerous Nuclei Detection

abstract: Since the beginning of this decade, CNN has been a very successful tool in the field of Computer Vision tasks.The invention of CNN was inspired from neuroscience and it shares a lot of anatomical similarities with our visual system.Inspired by the anatomyof humanvisual system, wearguethat the existing U-Net architecture can be improvedin many ways. As human visual system uses attention mechanism, we have used attention concatenation in place of normalconcatenation.Although, CNN is purely feed-forward in nature but anatomical evidences show that our brain contains recurrent synapses and they often outnumber feed-forward and top-down connections. Thisfact inspiresus to userecurrent convolution connectionsin place of normalconvolution blocksin U-Net.Thispaper also addressesthe class imbalance issuein the field of medical image analysis. The paperresolvestheproblem of class imbalanceswith the help of state-of-the-art loss functions.Weargue thatourproposed architecturecan be trained end to end with a few training data and it outperforms the other variantsof U-Net.


title: Changing-look active galactic nuclei: close binaries of supermassive black holes in action

abstract: Changing-look active galactic nuclei (CL-AGNs) as a new subpopulation challenge some fundamental physics of AGNs because the timescales of the phenomenon can hardly be reconciled with accretion disk models. In this Letter{\textit{}}, we demonstrate the extreme case: close binaries of supermassive black holes (CB-SMBHs) with high eccentricities are able to trigger the CL transition through one orbit. In this scenario, binary black holes build up their own mini-disks by peeling gas off the inner edges of the circumbinary disk during the apastron phase, after which they tidally interact with the disks during the periastron phase to efficiently exchange angular momentum within one orbital period. For mini-disks rotating retrograde to the orbit, the tidal torque rapidly squeezes the tidal parts of the mini-disks into a much smaller radius, which rapidly results in higher accretion and short flares before the disks decline into type-2 AGNs. Prograde-rotation mini-disks gain angular momentum from the binary and rotate outward, which causes a rapid turn-off from type-1 to type-2. Turn-on occurs around the apastron phase. CB-SMBHs control cycle transitions between type-1 and type-2 with orbital periods but allow diverse properties in CL-AGN light curves.


title: Embedding the Minimum Cost SFC with End-to-end Delay Constraint

abstract: Many network applications, especially the multimedia applications, often deliver flows with high QoS, like end-to-end delay constraint. Flows of these applications usually need to traverse a series of different network functions orderly before reaching to the host in the customer end, which is called the service function chain (SFC). The emergence of network function virtualization (NFV) increases the deployment flexibility of such network functions. In this paper, we present heuristics to embed the SFC for a given flow considering: i) bounded end-to-end delay along the path, and ii) minimum cost of the SFC embedding, where cost and delay can be independent metrics and be attached to both links and nodes. This problem of embedding SFC is NP-hard, which can be reduced to the Knapsack problem. We then design a greedy algorithm which is applied to a multilevel network. The simulation results demonstrate that the multilevel greedy algorithm can efficiently solve the NP-hard problem.


title: Discovery of HC3O+ in space: The chemistry of O-bearing species in TMC-1

abstract: Using the Yebes 40m and IRAM 30m radio telescopes, we detected a series of harmonically related lines with a rotational constant B0=4460.590 +/- 0.001 MHz and a distortion constant D0=0.511 +/- 0.005 kHz towards the cold dense core TMC-1. High-level-of-theory ab initio calculations indicate that the best possible candidate is protonated tricarbon monoxide, HC3O+. We have succeeded in producing this species in the laboratory and observed its J = 2-1 and 3-2 rotational transitions. Hence, we report the discovery of HC3O+ in space based on our observations, theoretical calculations, and laboratory experiments. We derive an abundance ratio N(C3O)/N(HC3O+) = 7. The high abundance of the protonated form of C3O is due to the high proton affinity of the neutral species. The chemistry of O-bearing species is modelled, and predictions are compared to the derived abundances from our data for the most prominent O-bearing species in TMC-1.


title: Prognosis Prediction in Covid-19 Patients from Lab Tests and X-ray Data through Randomized Decision Trees

abstract: AI and Machine Learning can offer powerful tools to help in the fight against Covid-19. In this paper we present a study and a concrete tool based on machine learning to predict the prognosis of hospitalised patients with Covid-19. In particular we address the task of predicting the risk of death of a patient at different times of the hospitalisation, on the base of some demographic information, chest X-ray scores and several laboratory findings. Our machine learning models use ensembles of decision trees trained and tested using data from more than 2000 patients. An experimental evaluation of the models shows good performance in solving the addressed task.


title: Long-distance tiny face detection based on enhanced YOLOv3 for unmanned system

abstract: Remote tiny face detection applied in unmanned system is a challeng-ing work. The detector cannot obtain sufficient context semantic information due to the relatively long distance. The received poor fine-grained features make the face detection less accurate and robust. To solve the problem of long-distance detection of tiny faces, we propose an enhanced network model (YOLOv3-C) based on the YOLOv3 algorithm for unmanned platform. In this model, we bring in multi-scale features from feature pyramid networks and make the features fu-sion to adjust prediction feature map of the output, which improves the sensitivity of the entire algorithm for tiny target faces. The enhanced model improves the accuracy of tiny face detection in the cases of long-distance and high-density crowds. The experimental evaluation results demonstrated the superior perfor-mance of the proposed YOLOv3-C in comparison with other relevant detectors in remote tiny face detection. It is worth mentioning that our proposed method achieves comparable performance with the state of the art YOLOv4[1] in the tiny face detection tasks.


title: Substrate engineering in the growth of perovskite crystals

abstract: Metal halide perovskites have recently emerged as promising materials for the next generation of optoelectronic devices owing to their remarkable intrinsic properties. In the growth of perovskite crystals, the substrates are essential and play a vital role. Herein, substrate engineering in the growth of perovskite crystals have been reviewed. Particularly, various modified strategies and corresponding mechanism based on the substrate engineering applied to the optimization of thickness, nucleation and growth rate are highlighted. Then the alterable adhesion to substrates will also be discussed. Furthermore, applying the structural coherence of epitaxial crystals with substrate, scalable perovskite single-crystalline thin films have been obtained and can be transferred onto arbitrary substrates. Substrate engineering also can stabilize the desired perovskite phases by modulating the strain between crystals and substrates. Finally, several key challenges and related solutions in the growth of perovskite crystals based on substrate engineering are proposed. This review aims to guide the future of substrate engineering in perovskite crystals for various optoelectronic applications.


title: Large $|k|$ behavior of d-bar problems for domains with a smooth boundary

abstract: In a previous work on the large $|k|$ behavior of complex geometric optics solutions to a system of d-bar equations, we treated in detail the situation when a certain potential is the characteristic function of a strictly convex set with real-analytic boundary. We here extend the results to the case of sets with smooth boundary, by using almost holomorphic functions.


title: Gathering a Euclidean Closed Chain of Robots in Linear Time

abstract: This work focuses on the following question related to the Gathering problem of $n$ autonomous, mobile robots in the Euclidean plane: Is it possible to solve Gathering of robots that do not agree on any axis of their coordinate systems (disoriented robots) and see other robots only up to a constant distance (limited visibility) in $o(n^2)$ fully synchronous rounds? The best known algorithm that solves Gathering of disoriented robots with limited visibility assuming oblivious robots needs $\Theta(n^2)$ rounds [SPAA'11]. The lower bound for this algorithm even holds in a simplified closed chain model, where each robot has exactly two neighbors and the chain connections form a cycle. The only existing algorithms achieving a linear number of rounds for disoriented robots assume robots that are located on a two dimensional grid [IPDPS'16] and [SPAA'16]. Both algorithms make use of locally visible lights (the LUMINOUS model). In this work, we show for the closed chain model, that $n$ disoriented robots with limited visibility in the Euclidean plane can be gathered in $\Theta\left(n\right)$ rounds assuming the LUMINOUS model. The lights are used to initiate and perform so-called runs along the chain. For the start of such runs, locally unique robots need to be determined. In contrast to the grid [IPDPS'16], this is not possible in every configuration in the Euclidean plane. Based on the theory of isogonal polygons by Gr\"unbaum, we identify the class of isogonal configurations in which no such locally unique robots can be identified. Our solution combines two algorithms: The first one gathers isogonal configurations; it works without any lights. The second one works for non-isogonal configurations; it identifies locally unique robots to start runs, using a constant number of lights. Interleaving these algorithms solves the Gathering problem in $\mathcal{O}(n)$ rounds.


title: WHO 2016 subtyping and automated segmentation of glioma using multi-task deep learning

abstract: Accurate characterization of glioma is crucial for clinical decision making. A delineation of the tumor is also desirable in the initial decision stages but is a time-consuming task. Leveraging the latest GPU capabilities, we developed a single multi-task convolutional neural network that uses the full 3D, structural, pre-operative MRI scans to can predict the IDH mutation status, the 1p/19q co-deletion status, and the grade of a tumor, while simultaneously segmenting the tumor. We trained our method using the largest, most diverse patient cohort to date containing 1508 glioma patients from 16 institutes. We tested our method on an independent dataset of 240 patients from 13 different institutes, and achieved an IDH-AUC of 0.90, 1p/19q-AUC of 0.85, grade-AUC of 0.81, and a mean whole tumor DICE score of 0.84. Thus, our method non-invasively predicts multiple, clinically relevant parameters and generalizes well to the broader clinical population.


title: Analysis and numerical treatment of bulk-surface reaction-diffusion models of Gierer-Meinhardt type

abstract: We consider a Gierer-Meinhardt system on a surface coupled with a parabolic PDE in the bulk, the domain confined by this surface. Such a model was recently proposed and analyzed for two-dimensional bulk domains by Gomez, Ward and Wei (SIAM J. Appl. Dyn. Syst. 18, 2019). We prove the well-posedness of the bulk-surface system in arbitrary space dimensions and show that solutions remain uniformly bounded in parabolic H\"older spaces for all times. The proof uses Schauders fixed point theorem and a splitting in a surface and a bulk part. We also solve a reduced system, corresponding to the assumption of a well mixed bulk solution, numerically. We use operator-splitting methods which combine a finite element discretization of the Laplace-Beltrami operator with a positivity-preserving treatment of the source and sink terms. The proposed methodology is based on the flux-corrected transport (FCT) paradigm. It constrains the space and time discretization of the reduced problem in a manner which provides positivity preservation, conservation of mass, and second-order accuracy in smooth regions. The results of numerical studies for the system on a two-dimensional sphere demonstrate the occurrence of localized steady-state multispike pattern that have also been observed in one-dimensional models.


title: Real-time Mask Detection on Google Edge TPU

abstract: After the COVID-19 outbreak, it has become important to automatically detect whether people are wearing masks in order to reduce risk of front-line workers. In addition, processing user data locally is a great way to address both privacy and network bandwidth issues. In this paper, we present a light-weighted model for detecting whether people in a particular area wear masks, which can also be deployed on Coral Dev Board, a commercially available development board containing Google Edge TPU. Our approach combines the object detecting network based on MobileNetV2 plus SSD and the quantization scheme for integer-only hardware. As a result, the lighter model in the Edge TPU has a significantly lower latency which is more appropriate for real-time execution while maintaining accuracy comparable to a floating point device.


title: Rethinking the Extraction and Interaction of Multi-Scale Features for Vessel Segmentation

abstract: Analyzing the morphological attributes of blood vessels plays a critical role in the computer-aided diagnosis of many cardiovascular and ophthalmologic diseases. Although being extensively studied, segmentation of blood vessels, particularly thin vessels and capillaries, remains challenging mainly due to the lack of an effective interaction between local and global features. In this paper, we propose a novel deep learning model called PC-Net to segment retinal vessels and major arteries in 2D fundus image and 3D computed tomography angiography (CTA) scans, respectively. In PC-Net, the pyramid squeeze-and-excitation (PSE) module introduces spatial information to each convolutional block, boosting its ability to extract more effective multi-scale features, and the coarse-to-fine (CF) module replaces the conventional decoder to enhance the details of thin vessels and process hard-to-classify pixels again. We evaluated our PC-Net on the Digital Retinal Images for Vessel Extraction (DRIVE) database and an in-house 3D major artery (3MA) database against several recent methods. Our results not only demonstrate the effectiveness of the proposed PSE module and CF module, but also suggest that our proposed PC-Net sets new state of the art in the segmentation of retinal vessels (AUC: 98.31%) and major arteries (AUC: 98.35%) on both databases, respectively.


title: Baseline System of Voice Conversion Challenge 2020 with Cyclic Variational Autoencoder and Parallel WaveGAN

abstract: In this paper, we present a description of the baseline system of Voice Conversion Challenge (VCC) 2020 with a cyclic variational autoencoder (CycleVAE) and Parallel WaveGAN (PWG), i.e., CycleVAEPWG. CycleVAE is a nonparallel VAE-based voice conversion that utilizes converted acoustic features to consider cyclically reconstructed spectra during optimization. On the other hand, PWG is a non-autoregressive neural vocoder that is based on a generative adversarial network for a high-quality and fast waveform generator. In practice, the CycleVAEPWG system can be straightforwardly developed with the VCC 2020 dataset using a unified model for both Task 1 (intralingual) and Task 2 (cross-lingual), where our open-source implementation is available at https://github.com/bigpon/vcc20_baseline_cyclevae. The results of VCC 2020 have demonstrated that the CycleVAEPWG baseline achieves the following: 1) a mean opinion score (MOS) of 2.87 in naturalness and a speaker similarity percentage (Sim) of 75.37% for Task 1, and 2) a MOS of 2.56 and a Sim of 56.46% for Task 2, showing an approximately or nearly average score for naturalness and an above average score for speaker similarity.


title: Large-scale randomized experiment reveals machine learning helps people learn and remember more effectively

abstract: Machine learning has typically focused on developing models and algorithms that would ultimately replace humans at tasks where intelligence is required. In this work, rather than replacing humans, we focus on unveiling the potential of machine learning to improve how people learn and remember factual material. To this end, we perform a large-scale randomized controlled trial with thousands of learners from a popular learning app in the area of mobility. After controlling for the length and frequency of study, we find that learners whose study sessions are optimized using machine learning remember the content over $\sim$67% longer than those whose study sessions are generated using two alternative heuristics. Our randomized controlled trial also reveals that the learners whose study sessions are optimized using machine learning are $\sim$50% more likely to return to the app within 4-7 days.


title: UVIT/ASTROSAT studies of Blue Straggler stars and post-mass transfer systems in star clusters: Detection of one more blue lurker in M67

abstract: The blue straggler stars (BSSs) are main-sequence (MS) stars, which have evaded stellar evolution by acquiring mass while on the MS. The detection of extremely low mass (ELM) white dwarf (WD) companions to two BSSs and one yellow straggler star (YSS) from our earlier study using UVIT/ASTROSAT, as well as WD companions to main-sequence stars (known as blue lurkers) suggest a good fraction of post-mass transfer binaries in M67. Using deeper UVIT observations, here we report the detection of another blue lurker in M67, with an ELM WD companion. The post-mass transfer systems with the presence of ELM WDs, including BSSs, are formed from Case A/B mass transfer and are unlikely to show any difference in surface abundances. We find a correlation between the temperature of the WD and the $v\ sin i$ of the BSSs. We also find that the progenitors of the massive WDs are likely to belong to the hot and luminous group of BSSs in M67. The only detected BSS+WD system by UVIT in the globular cluster NGC 5466, has a normal WD and suggests that open cluster like environment might be present in the outskirts of low density globular clusters.


title: Metal (boro-) hydrides for high energy density storage and relevant emerging technologies

abstract: The current energy transition imposes a rapid implementation of energy storage systems with high energy density and eminent regeneration and cycling efficiency. Metal hydrides are potential candidates for generalized energy storage, when coupled with fuel cell units and/or batteries. An overview of ongoing research is reported and discussed in this review work on the light of application as hydrogen and heat storage matrices, as well as thin films for hydrogen optical sensors. These include a selection of single-metal hydrides, Ti-V(Fe) based intermetallics, multi-principal element alloys (high-entropy alloys), and a series of novel synthetically accessible metal borohydrides. Metal hydride materials can be as well of important usefulness for MH-based electrodes with high capacity (e.g. MgH2 ~ 2000 mAh g-1) and solid-state electrolytes displaying high ionic conductivity suitable, respectively, for Li-ion and Li/Mg battery technologies. To boost further research and development directions some characterization techniques dedicated to the study of M-H interactions, their equilibrium reactions, and additional quantification of hydrogen concentration in thin film and bulk hydrides are presented at the end of this manuscript.


title: Twisted differential operators of negative level and prismatic crystals

abstract: We introduce twisted differential calculus of negative level and prove a descent theorem: Frobenius pullback provides an equivalence between finitely presented modules endowed with a topologically quasi-nilpotent twisted connection of level minus one and those of level zero. We explain how this is related to the existence of a Cartier operator on prismatic crystals. For the sake of readability, we limit ourselves to the case of dimension one.


title: Tuning Convolutional Spiking Neural Network with Biologically-plausible Reward Propagation

abstract: Spiking Neural Networks (SNNs) contain more biologically realistic structures and biologically-inspired learning principles than those in standard Artificial Neural Networks (ANNs). SNNs are considered the third generation of ANNs, powerful on the robust computation with a low computational cost. The neurons in SNNs are non-differential, containing decayed historical states and generating event-based spikes after their states reaching the firing threshold. These dynamic characteristics of SNNs make it difficult to be directly trained with the standard backpropagation (BP), which is also considered not biologically plausible. In this paper, a Biologically-plausible Reward Propagation (BRP) algorithm is proposed and applied to the SNN architecture with both spiking-convolution (with both 1D and 2D convolutional kernels) and full-connection layers. Unlike the standard BP that propagates error signals from post to presynaptic neurons layer by layer, the BRP propagates target labels instead of errors directly from the output layer to all pre-hidden layers. This effort is more consistent with the top-down reward-guiding learning in cortical columns of the neocortex. Synaptic modifications with only local gradient differences are induced with pseudo-BP that might also be replaced with the Spike-Timing Dependent Plasticity (STDP). The performance of the proposed BRP-SNN is further verified on the spatial (including MNIST and Cifar-10) and temporal (including TIDigits and DvsGesture) tasks, where the SNN using BRP has reached a similar accuracy compared to other state-of-the-art BP-based SNNs and saved 50% more computational cost than ANNs. We think the introduction of biologically plausible learning rules to the training procedure of biologically realistic SNNs will give us more hints and inspirations toward a better understanding of the biological system's intelligent nature.


title: Inplane spin orbit torque magnetization switching and its detection using the spin rectification effect at sub-GHz frequencies

abstract: Inplane magnetization reversal of a permalloy/platinum bilayer was detected using the spin rectification effect. Using a sub GHz microwave frequency to excite spin torque ferromagnetic resonance (ST FMR) in the bilayer induces two discrete DC voltages around an external static magnetic field of 0 mT. These discrete voltages depend on the magnetization directions of the permalloy and enable detection of the inplane magnetization reversal. The threshold current density for the magnetization reversal is from 10 to 20 MA/cm^2, the same order as for known spin orbit torque (SOT) switching with in-plane magnetization materials. The magnitude of the signal is the same or larger than that of the typical ST FMR signal; that is, detection of magnetization switching is highly sensitive in spite of deviation from the optimal ST-FMR condition. The proposed method is applicable to a simple device structure even for a small ferromagnetic electrode with a width of 100 nm.


title: Near 65ps-fwhm in 20mm-LSO TOF-PET by using a time walk correction based on multi-photon stamps: a Monte Carlo study

abstract: Aim: Investigate whether a time walk assessment derived from crystal light sharing and multi-photon time stamps can improved the TOF resolution. Method: Monte Carlo simulations were performed for SiPM (FBK-NUV-HD) coupled to conventional 4x4 mm2 pixelated LSO (0.2%Ca:Ce ) and also coupled to 8x4 mm2 pixelated LSO in which a triangular optical window allows light sharing between the two 4x4 mm2 sub-pixels depending on the DOI. A time walk estimation was modelled as a DOI dependent weighted sum of the time differences within the photons detection sequence. The DOI dependent weights were optimized in order to get the best TOF resolution. Results: A strong linear DOI dependence of the light sharing between the two 4x4 mm2 sub-pixels was observed. The TOF resolutions for a 4x4x20 mm3 LSO were 99.7, 81.2, 66.4 ps-fwhm without any correction, with DOI correction and with DOI dependent time walk correction, respectively. The time walk correction was derived from the 7 time stamps of the (2**k )th photons in the sequence, with k within[0,6]. Conclusion: photon time walk can be estimated from the photon time detection series and can be advantageously combined with the DOI assessment to improve TOF resolution.


title: Magnetic Induction Imaging with a cold-atom radio-frequency magnetometer

abstract: The sensitive detection of either static or radio-frequency \textsc{(rf)} magnetic fields is essential to many fundamental studies and applications. Here, we demonstrate the operation of a cold-atom-based, \textsc{rf} magnetometer in performing {1-D and 2-D imaging} of small metallic objects. It is based on a cold $^{85}$Rb atomic sample, and operates in an unshielded environment with no active field stabilization. It shows a sensitivity up to $200\, \rm{pT}/\sqrt{\rm Hz}$ in the $5-35\, \rm{kHz}$ range bandwidth and can resolve a cut $0.4\, \rm{mm}$ wide in a $0.8\, \rm{mm}$ thick metallic foil. The characteristics of our system make it a good candidate for applications in civil and industrial surveillance.


title: Multichannel Generative Language Model: Learning All Possible Factorizations Within and Across Channels

abstract: A channel corresponds to a viewpoint or transformation of an underlying meaning. A pair of parallel sentences in English and French express the same underlying meaning, but through two separate channels corresponding to their languages. In this work, we present the Multichannel Generative Language Model (MGLM). MGLM is a generative joint distribution model over channels. MGLM marginalizes over all possible factorizations within and across all channels. MGLM endows flexible inference, including unconditional generation, conditional generation (where 1 channel is observed and other channels are generated), and partially observed generation (where incomplete observations are spread across all the channels). We experiment with the Multi30K dataset containing English, French, Czech, and German. We demonstrate experiments with unconditional, conditional, and partially conditional generation. We provide qualitative samples sampled unconditionally from the generative joint distribution. We also quantitatively analyze the quality-diversity trade-offs and find MGLM outperforms traditional bilingual discriminative models.


title: Congruences Related to Dual Sequences and Catalan Numbers

abstract: During the study of dual sequences, Sun introduced the polynomials \[ D_n(x,y)=\sum_{k=0}^{n}{n\choose k}{x\choose k}y^k\text{ and } S_n(x,y)=\sum_{k=0}^{n}\binom{n}{k}\binom{x}{k}\binom{-1-x}{k} y^k. \] Many related congruences have been established and conjectured by Sun. Here we generalize some of them by determining \[ \sum_{k=0}^{p-1}D_k(x_1,y_1)D_k(x_2,y_2)\pmod p \text{ and } \sum_{k=0}^{p-1}S_k(x_1,y_1)S_k(x_2,y_2)\pmod p \] for any odd prime $p$ and $p$-adic integers $x_i,\ y_i$ with $i\in\{1,2\}$. Considering the immediate connection between binomial coefficients and Catalan numbers, we also characterize \[ \sum_{n=0}^{p-1}\left(\sum_{k=0}^n {n \choose k} \frac{C_k}{a^k}\right)^2 \pmod {p}, \] where $C_k$ denotes the $k$th Catalan number, $a\in\mathbb{Z}\setminus \{0\}$ with $\gcd(a,p)=1$. These confirm and generalise some of Sun's conjectures.


title: Learning Value Functions in Deep Policy Gradients using Residual Variance

abstract: Policy gradient algorithms have proven to be successful in diverse decision making and control tasks. However, these methods suffer from high sample complexity and instability issues. In this paper, we address these challenges by providing a different approach for training the critic in the actor-critic framework. Our work builds on recent studies indicating that traditional actor-critic algorithms do not succeed in fitting the true value function, calling for the need to identify a better objective for the critic. In our method, the critic uses a new state-value (resp. state-action-value) function approximation that learns the value of the states (resp. state-action pairs) relative to their mean value rather than the absolute value as in conventional actor-critic. We prove the theoretical consistency of the new gradient estimator and observe dramatic empirical improvement across a variety of continuous control tasks and algorithms. Furthermore, we validate our method in tasks with sparse rewards, where we provide experimental evidence and theoretical insights.


title: Mediated semi-quantum key distribution in randomization-based environment

abstract: This paper proposes the first mediated semi-quantum key distribution in randomization-based environment with an untrusted third party(TP) who has the complete quantum capabilities to help two classical users to establish a secure key. The entanglement swapping between the collapsed qubits of Bell states and the Bell states is used to facilitate the design of the RSQKD protocol.


title: Direct confirmation of the radial-velocity planet $\beta$ Pic c

abstract: Methods used to detect giant exoplanets can be broadly divided into two categories: indirect and direct. Indirect methods are more sensitive to planets with a small orbital period, whereas direct detection is more sensitive to planets orbiting at a large distance from their host star. %, and thus on long orbital period. This dichotomy makes it difficult to combine the two techniques on a single target at once. Simultaneous measurements made by direct and indirect techniques offer the possibility of determining the mass and luminosity of planets and a method of testing formation models. Here, we aim to show how long-baseline interferometric observations guided by radial-velocity can be used in such a way. We observed the recently-discovered giant planet $\beta$ Pictoris c with GRAVITY, mounted on the Very Large Telescope Interferometer (VLTI). This study constitutes the first direct confirmation of a planet discovered through radial velocity. We find that the planet has a temperature of $T = 1250\pm50$\,K and a dynamical mass of $M = 8.2\pm0.8\,M_{\rm Jup}$. At $18.5\pm2.5$\,Myr, this puts $\beta$ Pic c close to a 'hot start' track, which is usually associated with formation via disk instability. Conversely, the planet orbits at a distance of 2.7\,au, which is too close for disk instability to occur. The low apparent magnitude ($M_{\rm K} = 14.3 \pm 0.1$) favours a core accretion scenario. We suggest that this apparent contradiction is a sign of hot core accretion, for example, due to the mass of the planetary core or the existence of a high-temperature accretion shock during formation.


title: Ring-Frustrated Non-Hermitian $XY$ Model

abstract: We study a non-Hermitian version of XY closed chain with odd number of lattice sites. We consider both anti-ferromagnetic coupling and also a symmetric non-collinear spin coupling. It is found that the energy spectrum is real in certain region of the parameter space. In contrast to previous non-Hermitian models, the ground state is a state with one mode occupied inside this real energy spectrum region, instead of the artificially identified vacuum state. At the same time, there appears a gapless excitation, which is made by kink like spin configurations. It is also found that this kink phase has non-trivial topological invariant.


title: Jointly-Learned State-Action Embedding for Efficient Reinforcement Learning

abstract: While reinforcement learning has achieved considerable successes in recent years, state-of-the-art models are often still limited by the size of state and action spaces. Model-free reinforcement learning approaches use some form of state representations and the latest work has explored embedding techniques for actions, both with the aim of achieving better generalization and applicability. However, these approaches consider only states or actions, ignoring the interaction between them when generating embedded representations. In this work, we establish the theoretical foundations for the validity of training a reinforcement learning agent using embedded states and actions. We then propose a new approach for jointly learning embeddings for states and actions that combines aspects of model-free and model-based reinforcement learning, which can be applied in both discrete and continuous domains. Specifically, we use a model of the environment to obtain embeddings for states and actions and present a generic architecture that leverages these to learn a policy. In this way, the embedded representations obtained via our approach enable better generalization over both states and actions by capturing similarities in the embedding spaces. Evaluations of our approach on several gaming, robotic control, and recommender systems show it significantly outperforms state-of-the-art models in both discrete/continuous domains with large state/action spaces, thus confirming its efficacy.


title: Investigating Constraint Relationship in Evolutionary Many-Constraint Optimization

abstract: This paper contributes to the treatment of extensive constraints in evolutionary many-constraint optimization through consideration of the relationships between pair-wise constraints. In a conflicting relationship, the functional value of one constraint increases as the value in another constraint decreases. In a harmonious relationship, the improvement in one constraint is rewarded with simultaneous improvement in the other constraint. In an independent relationship, the adjustment to one constraint never affects the adjustment to the other. Based on the different features, methods for identifying constraint relationships are discussed, helping to simplify many-constraint optimization problems (MCOPs). Additionally, the transitivity of the relationships is further discussed at the aim of determining the relationship in a new pair of constraints.


title: The NU Voice Conversion System for the Voice Conversion Challenge 2020: On the Effectiveness of Sequence-to-sequence Models and Autoregressive Neural Vocoders

abstract: In this paper, we present the voice conversion (VC) systems developed at Nagoya University (NU) for the Voice Conversion Challenge 2020 (VCC2020). We aim to determine the effectiveness of two recent significant technologies in VC: sequence-to-sequence (seq2seq) models and autoregressive (AR) neural vocoders. Two respective systems were developed for the two tasks in the challenge: for task 1, we adopted the Voice Transformer Network, a Transformer-based seq2seq VC model, and extended it with synthetic parallel data to tackle nonparallel data; for task 2, we used the frame-based cyclic variational autoencoder (CycleVAE) to model the spectral features of a speech waveform and the AR WaveNet vocoder with additional fine-tuning. By comparing with the baseline systems, we confirmed that the seq2seq modeling can improve the conversion similarity and that the use of AR vocoders can improve the naturalness of the converted speech.


title: Understanding Fundamental Tradeoffs in Nanomechanical Resonant Sensors

abstract: Nanomechanical resonators are used as high performance detectors in a variety of applications such as mass spectrometry and atomic force microscopy. Initial emphasis in nanomechanical resonant sensor research was on increasing the sensitivity to the level of a single molecule, atom and beyond. On the other hand, there are applications where the speed of detection is crucial, prompting recent works that emphasize sensing schemes with improved time resolution. We first develop a general modeling framework encompassing all resonator tracking schemes currently in use, by extending recent previous work. We then explore the fundamental trade-offs between accuracy and speed in three resonant sensor architectures, namely the feedback-free open-loop approach, positive-feedback based self-sustaining oscillator, and negative-feedback based frequency-locked loop scheme. We comparatively analyze them in a unified manner, clarify some misconceptions that seem to exist in the literature, and unravel their speed versus accuracy characteristics.


title: Pressure-induced magnetism in iron-based superconductors $A$Fe$_2$As$_2$ ($A=$ K, Cs, Rb)

abstract: The magnetic properties of iron-based superconductors $A$Fe$_2$As$_2$ ($A=$K, Cs, and Rb), which are characterized by the V-shaped dependence of the critical temperature ($T_{\rm c}$) on pressure ($P$) were studied by means of the muon spin rotation/relaxation technique. In all three systems studied the magnetism was found to appear for pressures slightly below the critical one ($P_{\rm c}$), i.e. at pressure where $T_{\rm c}(P)$ changes the slope. Rather than competing, magnetism and superconductivity in $A$Fe$_2$As$_2$ are coexisting at $P\gtrsim P_{\rm c}$ pressure region. Our results support the scenario of a transition from one pairing state to another, with different symmetries on either side of $P_{\rm c}$.


title: CAMP: Cost-Aware Multiparty Session Protocols

abstract: This paper presents CAMP, a new static performance analysis framework for message-passing concurrent and distributed systems, based on the theory of multiparty session types (MPST). Understanding the run-time performance of concurrent and distributed systems is of great importance for the identification of bottlenecks and optimisation opportunities. In the message-passing setting, these bottlenecks are generally communication overheads and synchronisation times. Despite its importance, reasoning about these intensional properties of software, such as performance, has received little attention, compared to verifying extensional properties, such as correctness. Behavioural protocol specifications based on sessions types capture not only extensional, but also intensional properties of concurrent and distributed systems. CAMP augments MPST with annotations of communication latency and local computation cost, defined as estimated execution times, that we use to extract cost equations from protocol descriptions. CAMP is also extendable to analyse asynchronous communication optimisation built on a recent advance of session type theories. We apply our tool to different existing benchmarks and use cases in the literature with a wide range of communication protocols, implemented in C, MPI-C, Scala, Go, and OCaml. Our benchmarks show that, in most of the cases, we predict an upper-bound on the real execution costs with < 15% error.


title: A note on the orientation covering number

abstract: Given a graph $G$, its orientation covering number $\sigma(G)$ is the smallest non-negative integer $k$ with the property that we can choose $k$ orientations of $G$ such that whenever $x, y, z$ are vertices of $G$ with $xy,xz\in E(G)$ then there is a chosen orientation in which both $xy$ and $xz$ are oriented away from $x$. Esperet, Gimbel and King showed that $\sigma(G)\leq \sigma\left(K_{\chi(G)}\right)$, where $\chi(G)$ is the chromatic number of $G$, and asked whether we always have equality. In this note we prove that it is indeed always the case that $\sigma(G)=\sigma(K_{\chi(G)})$. We also determine the exact value of $\sigma(K_n)$ explicitly for `most' values of $n$.


title: Large-scale Huygens metasurfaces for holographic 3D near-eye displays

abstract: Novel display technologies aim at providing the users with increasingly immersive experiences. In this regard, it is a long-sought dream to generate three-dimensional (3D) scenes with high resolution and continuous depth, which can be overlaid with the real world. Current attempts to do so, however, fail in providing either truly 3D information, or a large viewing area and angle, strongly limiting the user immersion. Here, we report a proof-of-concept solution for this problem, and realize a compact holographic 3D near-eye display with a large exit pupil of 10mm x 8.66mm. The 3D image is generated from a highly transparent Huygens metasurface hologram with large (>10^8) pixel count and subwavelength pixels, fabricated via deep-ultraviolet immersion photolithography on 300 mm glass wafers. We experimentally demonstrate high quality virtual 3D scenes with ~50k active data points and continuous depth ranging from 0.5m to 2m, overlaid with the real world and easily viewed by naked eye. To do so, we introduce a new design method for holographic near-eye displays that, inherently, is able to provide both parallax and accommodation cues, fundamentally solving the vergence-accommodation conflict that exists in current commercial 3D displays.


title: EpidemiOptim: A Toolbox for the Optimization of Control Policies in Epidemiological Models

abstract: Epidemiologists model the dynamics of epidemics in order to propose control strategies based on pharmaceutical and non-pharmaceutical interventions (contact limitation, lock down, vaccination, etc). Hand-designing such strategies is not trivial because of the number of possible interventions and the difficulty to predict long-term effects. This task can be cast as an optimization problem where state-of-the-art machine learning algorithms such as deep reinforcement learning, might bring significant value. However, the specificity of each domain -- epidemic modelling or solving optimization problem -- requires strong collaborations between researchers from different fields of expertise. This is why we introduce EpidemiOptim, a Python toolbox that facilitates collaborations between researchers in epidemiology and optimization. EpidemiOptim turns epidemiological models and cost functions into optimization problems via a standard interface commonly used by optimization practitioners (OpenAI Gym). Reinforcement learning algorithms based on Q-Learning with deep neural networks (DQN) and evolutionary algorithms (NSGA-II) are already implemented. We illustrate the use of EpidemiOptim to find optimal policies for dynamical on-off lock-down control under the optimization of death toll and economic recess using a Susceptible-Exposed-Infectious-Removed (SEIR) model for COVID-19. Using EpidemiOptim and its interactive visualization platform in Jupyter notebooks, epidemiologists, optimization practitioners and others (e.g. economists) can easily compare epidemiological models, costs functions and optimization algorithms to address important choices to be made by health decision-makers.


title: Electronic and magnetic properties of $\alpha$-FeGe$_2$ films embedded in vertical spin valve devices

abstract: We studied metastable $\alpha$-FeGe$_2$, a novel layered tetragonal material, embedded as a spacer layer in spin valve structures with ferromagnetic Fe$_3$Si and Co$_2$FeSi electrodes. For both types of electrodes, spin valve operation is demonstrated with a metallic transport behavior of the $\alpha$-FeGe$_2$ spacer layer. The spin valve signals are found to increase both with temperature and spacer thickness, which is discussed in terms of a decreasing magnetic coupling strength between the ferromagnetic bottom and top electrodes. The temperature-dependent resistances of the spin valve structures exhibit characteristic features, which are explained by ferromagnetic phase transitions between 55 and 110~K. The metallic transport characteristics as well as the low-temperature ferromagnetism are found to be consistent with the results of first-principles calculations.


title: Precise Capture Rates of Cosmic Neutrinos and Their Implications on Cosmology

abstract: We explore the potential of measurements of cosmological effects, such as neutrino spectral distortions from the neutrino decoupling and neutrino clustering in our Galaxy, via cosmic neutrino capture on tritium. We compute the precise capture rates of each neutrino species including such cosmological effects to probe them. These precise estimates of capture rates are also important in that the would-be deviation of the estimated capture rate could suggest new neutrino physics and/or a non-standard evolution of the universe. In addition, we discuss the precise differences between the capture rates of Dirac and Majorana neutrinos for each species, the required energy resolutions to detect each neutrino species and the method of reconstruction of the spectrum of cosmic neutrinos via the spectrum of emitted electrons, with emphasis on the PTOLEMY experiment.


title: High contrast at small separation -- II. Impact on the dark hole of a realistic optical set-up with two deformable mirrors

abstract: Future large space- or ground-based telescopes will offer the resolution and sensitivity to probe the habitable zone of a large sample of nearby stars for exo-Earth imaging. To this end, such facilities are expected to be equipped with a high-contrast instrument to efficiently suppress the light from an observed star to image these close-in companions. These observatories will include features such as segmented primary mirrors, secondary mirrors, and struts, leading to diffraction effects on the star image that will limit the instrument contrast. To overcome these constraints, a promising method consists in combining coronagraphy and wavefront shaping to reduce starlight at small separations and generate a dark region within the image to enhance the exoplanet signal. We aim to study the limitations of this combination when observing short-orbit planets. Our analysis is focused on SPEED, the Nice test bed with coronagraphy, wavefront shaping with deformable mirrors (DMs), and complex telescope aperture shape to determine the main realistic parameters that limit contrast at small separations. We develop an end-to-end simulator of this bench with Fresnel propagation effects to study the impact of large phase and amplitude errors from the test-bed optical components and defects from the wavefront shaping system on the final image contrast. We numerically show that the DM finite stroke and non-functional actuators, coronagraph manufacturing errors, and near-focal-plane phase errors represent the major limitations for high-contrast imaging of exoplanets at small separations. We also show that a carefully defined optical set-up opens the path to high contrast at small separation.


title: Augmenting Physical Models with Deep Networks for Complex Dynamics Forecasting

abstract: Forecasting complex dynamical phenomena in settings where only partial knowledge of their dynamics is available is a prevalent problem across various scientific fields. While purely data-driven approaches are arguably insufficient in this context, standard physical modeling based approaches tend to be over-simplistic, inducing non-negligible errors. In this work, we introduce the APHYNITY framework, a principled approach for augmenting incomplete physical dynamics described by differential equations with deep data-driven models. It consists in decomposing the dynamics into two components: a physical component accounting for the dynamics for which we have some prior knowledge, and a data-driven component accounting for errors of the physical model. The learning problem is carefully formulated such that the physical model explains as much of the data as possible, while the data-driven component only describes information that cannot be captured by the physical model, no more, no less. This not only provides the existence and uniqueness for this decomposition, but also ensures interpretability and benefits generalization. Experiments made on three important use cases, each representative of a different family of phenomena, i.e. reaction-diffusion equations, wave equations and the non-linear damped pendulum, show that APHYNITY can efficiently leverage approximate physical models to accurately forecast the evolution of the system and correctly identify relevant physical parameters. Code is available at https://github.com/yuan-yin/APHYNITY .


title: On the Transmission Probabilities in Quantum Key Distribution Systems over FSO Links

abstract: In this paper, we investigate the transmission probabilities in three cases (depending only on the legitimate receiver, depending only the eavesdropper, and depending on both legitimate receiver and eavesdropper) in quantum key distribution (QKD) systems over free-space optical links. To be more realistic, we consider a generalized pointing error scenario, where the azimuth and elevation pointing error angles caused by stochastic jitters and vibrations in the legitimate receiver platform are independently distributed according to a non-identical normal distribution. Taking these assumptions into account, we derive approximate expressions of transmission probabilities by using the Gaussian quadrature method. To simplify the expressions and get some physical insights, some asymptotic analysis on the transmission probabilities is presented based on asymptotic expression for the generalized Marcum Q-function when the telescope gain at the legitimate receiver approaches to infinity. Moreover, from the asymptotic expression for the generalized Marcum Q-function, the asymptotic outage probability over Beckmann fading channels (a general channel model including Rayleigh, Rice, and Hoyt fading channels) can be also easily derived when the average signal-to-noise ratio is sufficiently large, which shows the diversity order and array gain.


title: Facebook Ads: Politics of Migration in Italy

abstract: Targeted online advertising is on the forefront of political communication, allowing hyper-local advertising campaigns around elections and issues. In this study, we employ a new resource for political ad monitoring -- Facebook Ads Library -- to examine advertising concerning the issue of immigration in Italy. A crucial topic in Italian politics, it has recently been a focus of several populist movements, some of which have adopted social media as a powerful tool for voter engagement. Indeed, we find evidence of targeting by the parties both in terms of geography and demographics (age and gender). For instance, Five Star Movement reaches a younger audience when advertising about immigration, while other parties' ads have a more male audience when advertising on this issue. We also notice a marked rise in advertising volume around elections, as well as a shift to more general audience. Thus, we illustrate political advertising targeting that likely has an impact on public opinion on a topic involving potentially vulnerable populations, and urge the research community to include online advertising in the monitoring of public discourse.


title: Retrieve and Refine: Exemplar-based Neural Comment Generation

abstract: Code comment generation which aims to automatically generate natural language descriptions for source code, is a crucial task in the field of automatic software development. Traditional comment generation methods use manually-crafted templates or information retrieval (IR) techniques to generate summaries for source code. In recent years, neural network-based methods which leveraged acclaimed encoder-decoder deep learning framework to learn comment generation patterns from a large-scale parallel code corpus, have achieved impressive results. However, these emerging methods only take code-related information as input. Software reuse is common in the process of software development, meaning that comments of similar code snippets are helpful for comment generation. Inspired by the IR-based and template-based approaches, in this paper, we propose a neural comment generation approach where we use the existing comments of similar code snippets as exemplars to guide comment generation. Specifically, given a piece of code, we first use an IR technique to retrieve a similar code snippet and treat its comment as an exemplar. Then we design a novel seq2seq neural network that takes the given code, its AST, its similar code, and its exemplar as input, and leverages the information from the exemplar to assist in the target comment generation based on the semantic similarity between the source code and the similar code. We evaluate our approach on a large-scale Java corpus, which contains about 2M samples, and experimental results demonstrate that our model outperforms the state-of-the-art methods by a substantial margin.


title: Generalized Limit Theorems For $U$-max Statistics

abstract: U-max statistics were introduced by Lao and Mayer in 2008. Instead of averaging the kernel over all possible subsets of the original sample, they considered the maximum of the kernel. Such statistics are natural in stochastic geometry. Examples are the maximal perimeters and areas of polygons and polyhedra formed by random points on a circle, ellipse, etc. The main method to study limit theorems for U-max statistics is a Poisson approximation. In this paper we consider a general class of kernels defined on a circle, and we prove a universal limit theorem with the Weibull distribution as a limit. Its parameters depend on the degree of the kernel, the structure of its points of maximum and the Hessians of the kernel at these points. Almost all limit theorems known so far may be obtained as simple special cases of our general theorem. We also consider several new examples. Moreover, we consider not only the uniform distribution of points but also almost arbitrary distribution on a circle satisfying mild additional conditions.


title: Systematics of prompt black-hole formation in neutron star mergers

abstract: This study addresses the collapse behavior of neutron star (NS) mergers expressed through the binary threshold mass M_thr for prompt black hole (BH) formation, which we determine by relativistic hydrodynamical simulations for 40 equation of state (EoS) models. M_thr can be well described by various fit formulae involving stellar parameters of nonrotating NSs. Using these relations we compute which constraints on NS radii and the tidal deformability are set by current and future merger detections revealing information about the merger product. We systematically investigate the impact of the binary mass ratio q=M_1/M_2 and assemble different fits, which make different assumptions about a-priori knowlegde. We find fit formulae for M_thr including an explicit q dependence, which are valid in a broad range of 0.7<=q<=1 and which are nearly as tight as relations for fixed mass ratios. For most EoS models except extreme cases M_thr of asymmetric mergers is equal or smaller than the one of equal-mass binaries. The impact of the binary mass asymmetry on M_thr becomes stronger with more extreme mass ratios, while M_thr is approximately constant for small deviations from q=1. We describe that a phase transition to deconfined quark matter can leave a characteristic imprint on the collapse behavior. The presence of quark matter can reduce the stability of the remnant and thus M_thr relative to a purely hadronic reference model. Comparing the threshold mass and the tidal deformability Lambda_thr of a system with M_thr can yield peculiar combinations of those two quantities, where M_thr is particularly small in relation to Lambda_thr. Hence, a combined measurement of both quantities can indicate the onset of quark deconfinement. We point out new univariate relations between M_thr and stellar properties of high-mass NSs, which can be employed for direct EoS constraints or consistency checks. (abridged)


title: Negative Mode Problem of False Vacuum Decay Revisited

abstract: We study negative modes around the Coleman-de Luccia bounce solution. The conditions for the appearance of an infinite number of the negative modes do not coincide between Lagrangian and Hamiltonian formulations in the literature, and we discuss the origin of this difference in detail. We show how different choices of the variable for the fluctuation around the bounce solution affect the negative mode condition in the Hamiltonian approach, and point out that there exists a choice which gives the same negative mode condition as the Lagrangian approach.


title: Bioinspired Bipedal Locomotion Control for Humanoid Robotics Based on EACO

abstract: To construct a robot that can walk as efficiently and steadily as humans or other legged animals, we develop an enhanced elitist-mutated ant colony optimization~(EACO) algorithm with genetic and crossover operators in real-time applications to humanoid robotics or other legged robots. This work presents promoting global search capability and convergence rate of the EACO applied to humanoid robots in real-time by estimating the expected convergence rate using Markov chain. Furthermore, we put a special focus on the EACO algorithm on a wide range of problems, from ACO, real-coded GAs, GAs with neural networks~(NNs), particle swarm optimization~(PSO) to complex robotics systems including gait synthesis, dynamic modeling of parameterizable trajectories and gait optimization of humanoid robotics. The experimental results illustrate the capability of this method to discover the premature convergence probability, tackle successfully inherent stagnation, and promote the convergence rate of the EACO-based humanoid robotics systems and demonstrated the applicability and the effectiveness of our strategy for solving sophisticated optimization tasks. We found reliable and fast walking gaits with a velocity of up to 0.47m/s using the EACO optimization strategy. These findings have significant implications for understanding and tackling inherent stagnation and poor convergence rate of the EACO and provide new insight into the genetic architectures and control optimization of humanoid robotics.


title: A Paley-Wiener theorem for Harish-Chandra modules

abstract: We formulate and prove a Paley-Wiener theorem for Harish-Chandra modules for a real reductive group. As a corollary we obtain a new and elementary proof of the Helgason conjecture.


title: Approximative Policy Iteration for Exit Time Feedback Control Problems driven by Stochastic Differential Equations using Tensor Train format

abstract: We consider a stochastic optimal exit time feedback control problem. The Bellman equation is solved approximatively via the Policy Iteration algorithm on a polynomial ansatz space by a sequence of linear equations. As high degree multi-polynomials are needed, the corresponding equations suffer from the curse of dimensionality even in moderate dimensions. We employ tensor-train methods to account for this problem. The approximation process within the Policy Iteration is done via a Least-Squares ansatz and the integration is done via Monte-Carlo methods. Numerical evidences are given for the (multi dimensional) double well potential and a three-hole potential.