title: Where is the Model Looking At?--Concentrate and Explain the Network Attention

abstract: Image classification models have achieved satisfactory performance on many datasets, sometimes even better than human. However, The model attention is unclear since the lack of interpretability. This paper investigates the fidelity and interpretability of model attention. We propose an Explainable Attribute-based Multi-task (EAT) framework to concentrate the model attention on the discriminative image area and make the attention interpretable. We introduce attributes prediction to the multi-task learning network, helping the network to concentrate attention on the foreground objects. We generate attribute-based textual explanations for the network and ground the attributes on the image to show visual explanations. The multi-model explanation can not only improve user trust but also help to find the weakness of network and dataset. Our framework can be generalized to any basic model. We perform experiments on three datasets and five basic models. Results indicate that the EAT framework can give multi-modal explanations that interpret the network decision. The performance of several recognition approaches is improved by guiding network attention.


title: Distributed ADMM with Synergetic Communication and Computation

abstract: In this paper, we propose a novel distributed alternating direction method of multipliers (ADMM) algorithm with synergetic communication and computation, called SCCD-ADMM, to reduce the total communication and computation cost of the system. Explicitly, in the proposed algorithm, each node interacts with only part of its neighboring nodes, the number of which is progressively determined according to a heuristic searching procedure, which takes into account both the predicted convergence rate and the communication and computation costs at each iteration, resulting in a trade-off between communication and computation. Then the node chooses its neighboring nodes according to an importance sampling distribution derived theoretically to minimize the variance with the latest information it locally stores. Finally, the node updates its local information with a new update rule which adapts to the number of communication nodes. We prove the convergence of the proposed algorithm and provide an upper bound of the convergence variance brought by randomness. Extensive simulations validate the excellent performances of the proposed algorithm in terms of convergence rate and variance, the overall communication and computation cost, the impact of network topology as well as the time for evaluation, in comparison with the traditional counterparts.


title: Online Trainable Wireless Link Quality Prediction System using Camera Imagery

abstract: Machine-learning-based prediction of future wireless link quality is an emerging technique that can potentially improve the reliability of wireless communications, especially at higher frequencies (e.g., millimeter-wave and terahertz technologies), through predictive handover and beamforming to solve line-of-sight (LOS) blockage problem. In this study, a real-time online trainable wireless link quality prediction system was proposed; the system was implemented with commercially available laptops. The proposed system collects datasets, updates a model, and infers the received power in real-time. The experimental evaluation was conducted using 5 GHz Wi-Fi, where received signal strength could be degraded by 10 dB when the LOS path was blocked by large obstacles. The experimental results demonstrate that the prediction model is updated in real-time, adapts to the change in environment, and predicts the time-varying Wi-Fi received power accurately.


title: Quantum copy-protection of compute-and-compare programs in the quantum random oracle model

abstract: Copy-protection allows a software distributor to encode a program in such a way that it can be evaluated on any input, yet it cannot be "pirated" - a notion that is impossible to achieve in a classical setting. Aaronson (CCC 2009) initiated the formal study of quantum copy-protection schemes, and speculated that quantum cryptography could offer a solution to the problem thanks to the quantum no-cloning theorem. In this work, we introduce a quantum copy-protection scheme for a large class of evasive functions known as "compute-and-compare programs" - a more expressive generalization of point functions. A compute-and-compare program $\mathsf{CC}[f,y]$ is specified by a function $f$ and a string $y$ within its range: on input $x$, $\mathsf{CC}[f,y]$ outputs $1$, if $f(x) = y$, and $0$ otherwise. We prove that our scheme achieves non-trivial security against fully malicious adversaries in the quantum random oracle model (QROM), which makes it the first copy-protection scheme to enjoy any level of provable security in a standard cryptographic model. As a complementary result, we show that the same scheme fulfils a weaker notion of software protection, called "secure software leasing", introduced very recently by Ananth and La Placa (eprint 2020), with a standard security bound in the QROM, i.e. guaranteeing negligible adversarial advantage. Finally, as a third contribution, we elucidate the relationship between unclonable encryption and copy-protection for multi-bit output point functions.


title: Heavy range of the randomly biased walk on Galton-Watson trees in the slow movement regime

abstract: We consider the randomly biased random walk on trees in the slow movement regime as in [HS16], whose potential is given by a branching random walk in the boundary case. We study the heavy range up to the $n$-th return to the root, i.e., the number of edges visited more than $k_n$ times. For $k_n=n^\theta$ with $\theta\in(0,1)$, we obtain the convergence in probability of the rescaled heavy range, which improves one result of [AD20].


title: Magnetic proximity effect on excitonic spin states in Mn-doped layered hybrid perovskites

abstract: Materials combining the optoelectronic functionalities of semiconductors with control of the spin degree of freedom are highly sought after for the advancement of quantum technology devices. Here, we report the paramagnetic Ruddlesden-Popper hybrid perovskite Mn:(PEA)2PbI4 (PEA = phenethylammonium) in which the interaction of isolated Mn2+ ions with magnetically brightened excitons leads to circularly polarized photoluminescence. Using a combination of superconducting quantum interference device (SQUID) magnetometry and magneto-optical experiments, we find that the Brillouin-shaped polarization curve of the photoluminescence follows the magnetization of the material. This indicates coupling between localized manganese magnetic moments and exciton spins via a magnetic proximity effect. The saturation polarization of 15% at 4 K and 6 T indicates a highly imbalanced spin population and demonstrates that manganese doping enables efficient control of excitonic spin states in Ruddlesden-Popper perovskites. Our finding constitutes the first example of polarization control in magnetically doped hybrid perovskites and will stimulate research on this highly tuneable material platform that promises tailored interactions between magnetic moments and electronic states.


title: Intrusion Detection Framework for SQL Injection

abstract: In this era of internet, E-Business and e-commerce applications are using Databases as their integral part. These Databases irrespective of the technology used are vulnerable to SQL injection attacks. These Attacks are considered very dangerous as well as very easy to use for attackers and intruders. In this paper, we are proposing a new approach to detect intrusion from attackers by using SQL injection. The main idea of our proposed solution is to create trusted user profiles fetched from the Queries submitted by authorized users by using association rules. After that we will use a hybrid (anomaly + misuse) detection model which will depend on data mining techniques to detect queries that deviates from our normal behavior profile. The normal behavior profile will be created in XML format. In this way we can minimize false positive alarms.


title: An Study of The Role of Software Project Manger in the Outcome of the Project

abstract: This paper describes an in depth analysis of successful and unsuccessful software Projects and the Role of Software Project Mangers in that success. One of the main reason in software project success is manager. Software houses are investing too much in this regard but the average ratio of software project failure is on the high side. Project managers experience, technical knowledge, and skills are not good enough for success in general. In this paper we have conducted a survey related to the approached used by different project managers, their methods and techniques, and the success ratio of their projects, and the steps they took during their projects. We will explore the core reasons of software project success and then will suggest key steps to be taken by the software project managers to deliver a successful software project.


title: Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids

abstract: Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized here. The ideas of Haykazyan and Moosa, found in ["Functoriality and uniformity in Hrushovski's groupoid-cover correspondence," Annals of Pure and Applied Logic , 2018] are used, and extended, to define an equivalence of categories. Finally, a couple of examples are studied with these new tools.


title: Signs for Ethical AI: A Route Towards Transparency

abstract: Today, Artificial Intelligence (AI) has a direct impact on the daily life of billions of people. Being applied to sectors like finance, health, security and advertisement, AI fuels some of the biggest companies and research institutions in the world. Its impact in the near future seems difficult to predict or bound. In contrast to all this power, society remains mostly ignorant of the capabilities and standard practices of AI today. To address this imbalance, improving current interactions between people and AI systems, we propose a transparency scheme to be implemented on any AI system open to the public. The scheme is based on two pillars: Data Privacy and AI Transparency. The first recognizes the relevance of data for AI, and is supported by GDPR. The second considers aspects of AI transparency currently unregulated: AI capabilities, purpose and source. We design this pillar based on ethical principles. For each of the two pillars, we define a three-level display. The first level is based on visual signs, inspired by traffic signs managing the interaction between people and cars, and designed for quick and universal interpretability. The second level uses factsheets, providing limited details. The last level provides access to all available information. After detailing and exemplifying the proposed transparency scheme, we define a set of principles for creating transparent by design software, to be used during the integration of AI components on user-oriented services.


title: Timing of thermal metamorphism in CM chondrites: implication for Ryugu and Bennu future sample return

abstract: Carbonaceous chondrites are often considered potential contributors of water and other volatiles to terrestrial planets as most of them contain significant amounts of hydrous mineral phases. As such, carbonaceous chondrites are candidate building blocks for Earth, and elucidating their thermal histories is of direct important for understanding the volatile element history of Earth and the terrestrial planets. A significant fraction of CM type carbonaceous chondrites are thermally metamorphosed or heated and have lost part of their water content. The origin and the timing of such heating events are still debated, as they could have occurred either in the first Myrs of the Solar System via short-lived radioactive heating, or later by impact induced heating and or solar radiation. Since Rb is more volatile than Sr, and some heated CM chondrites are highly depleted in Rb, a dating system based on the radioactive decay of 87Rb to 87Sr could be used to date the heating event relating to the fractionation of Rb and Sr. Here, we have leveraged the 87Rb 87Sr system to date the heating of five CM chondrites (PCA 02012, PCA 02010, PCA 91008, QUE 93005 and MIL 07675). We find that the heating events of all five meteorites occurred at least 3 Ga after the formation of the Solar System. Such timing excludes short-lived radioactive heating as the origin of thermal metamorphism in these meteorites, and relates such heating events to ages of collisional families of C-type asteroids.


title: A map between time-dependent and time-independent quantum many-body Hamiltonians

abstract: Given a time-independent Hamiltonian $\widetilde H$, one can construct a time-dependent Hamiltonian $H_t$ by means of the gauge transformation $H_t=U_t \widetilde H \, U^\dagger_t-i\, U_t\, \partial_t U_t^\dagger$. Here $U_t$ is the unitary transformation that relates the solutions of the corresponding Schrodinger equations. In the many-body case one is usually interested in Hamiltonians with few-body (often, at most two-body) interactions. We refer to such Hamiltonians as "physical". We formulate sufficient conditions on $U_t$ ensuring that $H_t$ is physical as long as $\widetilde H$ is physical (and vice versa). This way we obtain a general method for finding such pairs of physical Hamiltonians $H_t$, $\widetilde H$ that the driven many-body dynamics governed by $H_t$ can be reduced to the quench dynamics due to the time-independent $\widetilde H$. We apply this method to a number of many-body systems. First we review the mapping of a spin system with isotropic Heisenberg interaction and arbitrary time-dependent magnetic field to the time-independent system without a magnetic field [F. Yan, L. Yang, B. Li, Phys. Lett. A 251, 289 (1999); Phys. Lett. A 259, 207 (1999)]. Then we demonstrate that essentially the same gauge transformation eliminates an arbitrary time-dependent magnetic field from a system of interacting fermions. Further, we apply the method to the quantum Ising spin system and a spin coupled to a bosonic environment. We also discuss a more general situation where $\widetilde H = \widetilde H_t$ is time-dependent but dynamically integrable.


title: Sampled-data in Space Control of Scalar Semilinear Parabolic and Hyperbolic Systems

abstract: The paper describes a novel method of sampled-data in space (spatial variable) control of scalar semilinear systems of parabolic and hyperbolic type with unknown parameters and distributed disturbances. A finite set of sampled-data in the spatial variable measurements is available. The control law depends on the function which depends on the spatial variable and on a finite set of state measurements. A special choice of this function can affect on some properties of the closed-loop system. In particular, the paper describes the examples of this function that provides reduced control costs in comparison with some other control methods. The exponential stability of the closed-loop system and robustness with respect to unknown parameters and disturbances is proposed in terms of linear matrix inequalities (LMIs). The simulations confirm theoretical results and show the efficiency of the proposed control law compared with some existing ones.


title: Equivalence of Sobolev norms with respect to weighted Gaussian measures

abstract: We consider the spaces $L^p(X,\nu;V)$, where $X$ is a separable Banach space, $\mu$ is a centred non-degenerate Gaussian measure, $\nu:=Ke^{-U}\mu$ with normalizing factor $K$ and $V$ is a separable Hilbert space. In this paper we prove a vector-valued Poincar\'e inequality for functions $F\in W^{1,p}(X,\nu;V)$, which allows us to show that for every $p\in(1,+\infty)$ and every $k\in\mathbb N$ the norm in $W^{k,p}(X,\nu)$ is equivalent to the graph norm of $D_H^k$ (the $k$-th Malliavin derivative) in $L^p(X,\nu)$. To conclude, we show exponential decay estimates for $(T^V(t))_{t\geq0}$ as $t\rightarrow+\infty$. Useful tools are the study of the asymptotic behaviour of the scalar perturbed Ornstein-Uhlenbeck $(T(t))_{t\geq0}$, and pointwise estimates for $|D_HT(t)f|_H^p$ by means both of $T(t)|D_Hf|^p_H$ and of $T(t)|f|^p$.


title: Polystable log Calabi-Yau varieties and Gravitational instantons

abstract: Open Calabi-Yau manifolds and log Calabi-Yau varieties have been broadly studied over decades. Regarding them as "semistable" objects, we propose to consider their good proper subclass, which we regard as certain poly-stable ones, morally corresponding to semistable with closed (minimal) orbits} as the classical analogue of GIT. We partially confirm that the new polystability seems equivalent to the existence of non-compact complete Ricci-flat Kahler metrics with small volume growths, notably many examples of gravitational instantons. Also, we prove some compactness or polystable reduction type results, partially motivated by bubbles of compact Ricci-flat metrics.


title: Observability and Controllability for the Schr{\"o}dinger Equation on Quotients of Groups of Heisenberg Type

abstract: We give necessary and sufficient conditions for the controllability of a Schr\''odinger equation involving the sub-Laplacian of a nilmanifold obtained by taking the quotient of a group of Heisenberg type by one of its discrete sub-groups.This class of nilpotent Lie groups is a major example of stratified Lie groups of step 2. The sub-Laplacian involved in these Schr\''odinger equations is subelliptic, and, contrarily to what happens for the usual elliptic Schr\''odinger equation for example on flat tori or on negatively curved manifolds, there exists a minimal time of controllability. The main tools used in the proofs are (operator-valued) semi-classical measures constructed by use of representation theory and a notion of semi-classical wave packets that we introduce here in the context of groups of Heisenberg type.


title: Physics-Constrained Predictive Molecular Latent Space Discovery with Graph Scattering Variational Autoencoder

abstract: Recent advances in artificial intelligence have propelled the development of innovative computational materials modeling and design techniques. Generative deep learning models have been used for molecular representation, discovery, and design. In this work, we assess the predictive capabilities of a molecular generative model developed based on variational inference and graph theory in the small data regime. Physical constraints that encourage energetically stable molecules are proposed. The encoding network is based on the scattering transform with adaptive spectral filters to allow for better generalization of the model. The decoding network is a one-shot graph generative model that conditions atom types on molecular topology. A Bayesian formalism is considered to capture uncertainties in the predictive estimates of molecular properties. The model's performance is evaluated by generating molecules with desired target properties.


title: MAB-based Client Selection for Federated Learning with Uncertain Resources in Mobile Networks

abstract: This paper proposes a client selection method for federated learning (FL) when the computation and communication resource of clients cannot be estimated; the method trains a machine learning (ML) model using the rich data and computational resources of mobile clients without collecting their data in central systems. Conventional FL with client selection estimates the required time for an FL round from a given clients' computation power and throughput and determines a client set to reduce time consumption in FL rounds. However, it is difficult to obtain accurate resource information for all clients before the FL process is conducted because the available computation and communication resources change easily based on background computation tasks, background traffic, bottleneck links, etc. Consequently, the FL operator must select clients through exploration and exploitation processes. This paper proposes a multi-armed bandit (MAB)-based client selection method to solve the exploration and exploitation trade-off and reduce the time consumption for FL in mobile networks. The proposed method balances the selection of clients for which the amount of resources is uncertain and those known to have a large amount of resources. The simulation evaluation demonstrated that the proposed scheme requires less learning time than the conventional method in the resource fluctuating scenario.


title: Flip actions and Gelfand pairs for affine Weyl groups

abstract: Several combinatorial actions of the affine Weyl group of type $\widetilde{C}_{n}$ on triangulations, trees, words and permutations are compared. Addressing a question of David Vogan, we show that, modulo a natural involution, these permutation representations are multiplicity-free. The proof uses a general construction of Gelfand subgroups in the affine Weyl groups of types $\widetilde{C}_{n}$ and $\widetilde{B}_n$.


title: Lipschitz neural networks are dense in the set of all Lipschitz functions

abstract: This note shows that, for a fixed Lipschitz constant $L > 0$, one layer neural networks that are $L$-Lipschitz are dense in the set of all $L$-Lipschitz functions with respect to the uniform norm on bounded sets.


title: On the accretion history of galaxy clusters: temporal and spatial distribution

abstract: We analyse the results of an Eulerian AMR cosmological simulation in order to quantify the mass growth of galaxy clusters, exploring the differences between dark matter and baryons. We have determined the mass assembly histories (MAHs) of each of the mass components and computed several proxies for the instantaneous mass accretion rate (MAR). The mass growth of both components is clearly dominated by the contribution of major mergers, but high MARs can also occur during smooth accretion periods. We explored the correlations between MARs, merger events and clusters' environments, finding the mean densities in $1 \leq r/R_{200m} \leq 1.5$ to correlate strongly with $\Gamma_{200m}$ in massive clusters which undergo major mergers through their MAH. From the study of the dark matter velocity profiles, we find a strong anticorrelation between the MAR proxies $\Gamma_{200m}$ and $\alpha_{200m}$. Last, we present a novel approach to study the angularly-resolved distribution of gas accretion flows in simulations, which allows to extract and interpret the main contributions to the accretion picture and to assess systematic differences between the thermodynamical properties of each of these contributions using multipolar analysis. We have preliminarily applied the method to the best numerically-resolved cluster in our simulation. Amongst the most remarkable results, we find that the gas infalling through the cosmic filaments has systematically lower entropy compared to the isotropic component, but we do not find a clear distinction in temperature.


title: Astrophysical magnetohydrodynamical outflows in the extragalactic binary system LMC X-1

abstract: In this work, at first we present a model of studying astrophysical flows of binary systems and microquasars based on the laws of relativistic magnetohydrodynamics. Then, by solving the time independent transfer equation, we estimate the primary and secondary particle distributions within the hadronic astrophysical jets as well as the emissivities of high energy neutrinos and $\gamma$-rays. One of our main goals is, by taking into consideration the various energy-losses of particles into the hadronic jets, to determine through the transport equation the respective particle distributions focusing on relativistic hadronic jets of binary systems. As a concrete example we examine the extragalactic binary system LMC X-1 located in the Large Magellanic Cloud, a satellite galaxy of our Milky Way Galaxy.


title: Quaternion Matrix Optimization and The Underlying Calculus

abstract: Optimization models involving quaternion matrices are widely used in color image process and other engineering areas. These models optimize real functions of quaternion matrix variables. In particular, $\ell_0$-norms and rank functions of quaternion matrices are discrete. Yet calculus with derivatives, subdifferentials and generalized subdifferentials of such real functions is needed to handle such models. In this paper, we introduce first and second order derivatives and establish their calculation rules for such real functions. Our approach is consistent with the subgradient concept for norms of quaternion matrix variables, recently introduced in the literature. We develop the concepts of generalized subdifferentials of proper functions of quaternion matrices, and use them to analyze the optimality conditions of a sparse low rank color image denoising model. We introduce R-product for two quaternion matrix vectors, as a key tool for our calculus. We show that the real representation set of low-rank quaternion matrices is closed and semi-algebraic. We also establish first order and second order optimality conditions for constrained optimization problems of real functions in quaternion matrix variables.


title: A Multi-term and Multi-task Analyzing Framework for Affective Analysis in-the-wild

abstract: Human affective recognition is an important factor in human-computer interaction. However, the method development with in-the-wild data is not yet accurate enough for practical usage. In this paper, we introduce the affective recognition method focusing on valence-arousal (VA) and expression (EXP) that was submitted to the Affective Behavior Analysis in-the-wild (ABAW) 2020 Contest. Since we considered that affective behaviors have many observable features that have their own time frames, we introduced multiple optimized time windows (short-term, middle-term, and long-term) into our analyzing framework for extracting feature parameters from video data. Moreover, multiple modality data are used, including action units, head poses, gaze, posture, and ResNet 50 or Efficient NET features, and are optimized during the extraction of these features. Then, we generated affective recognition models for each time window and ensembled these models together. Also, we fussed the valence, arousal, and expression models together to enable the multi-task learning, considering the fact that the basic psychological states behind facial expressions are closely related to each another. In the validation set, our model achieved a valence-arousal score of 0.498 and a facial expression score of 0.471. These verification results reveal that our proposed framework can improve estimation accuracy and robustness effectively.


title: Collisional Penrose process of BTZ black holes

abstract: The Penrose process in the vicinity of an extremal Ban\~ados-Teitelboim-Zanelli(BTZ) black hole is studied. Due to the existence of negative cosmological constant, only massless particles could escape to infinity. Hence we analyse the Penrose process by one massless particle collides with another massive particle near the horizon of BTZ black holes. Calculations of the maximum energy extraction efficiency of this process is carried out for both spinless and spinning particles. Our results show that the spinning particle have a higher energy extraction efficiency than the spinless particle. Moreover, our calculation also indicates that the maximum energy extraction efficiency is independent of the value of the cosmological constant of BTZ black holes.


title: Longest k-monotone chains

abstract: We study higher order convexity properties of random point sets in the unit square. Given $n$ uniform i.i.d random points, we derive asymptotic estimates for the maximal number of them which are in $k$-monotone position, subject to mild boundary conditions. Besides determining the order of magnitude of the expectation, we also prove strong concentration estimates. We provide a general framework that includes the previously studied cases of $k=1$ (longest increasing sequences) and $k=2$ (longest convex chains).


title: Utility is in the Eye of the User: A Critique of NLP Leaderboards

abstract: Benchmarks such as GLUE have helped drive advances in NLP by incentivizing the creation of more accurate models. While this leaderboard paradigm has been remarkably successful, a historical focus on performance-based evaluation has been at the expense of other qualities that the NLP community values in models, such as compactness, fairness, and energy efficiency. In this opinion paper, we study the divergence between what is incentivized by leaderboards and what is useful in practice through the lens of microeconomic theory. We frame both the leaderboard and NLP practitioners as consumers and the benefit they get from a model as its utility to them. With this framing, we formalize how leaderboards -- in their current form -- can be poor proxies for the NLP community at large. For example, a highly inefficient model would provide less utility to practitioners but not to a leaderboard, since it is a cost that only the former must bear. To allow practitioners to better estimate a model's utility to them, we advocate for more transparency on leaderboards, such as the reporting of statistics that are of practical concern (e.g., model size, energy efficiency, and inference latency).


title: Sequence-to-Sequence Learning for Indonesian Automatic Question Generator

abstract: Automatic question generation is defined as the task of automating the creation of question given a various of textual data. Research in automatic question generator (AQG) has been conducted for more than 10 years, mainly focused on factoid question. In all these studies, the state-of-the-art is attained using sequence-to-sequence approach. However, AQG system for Indonesian has not ever been researched intensely. In this work we construct an Indonesian automatic question generator, adapting the architecture from some previous works. In summary, we used sequence-to-sequence approach using BiGRU, BiLSTM, and Transformer with additional linguistic features, copy mechanism, and coverage mechanism. Since there is no public large dan popular Indonesian dataset for question generation, we translated SQuAD v2.0 factoid question answering dataset, with additional Indonesian TyDiQA dev set for testing. The system achieved BLEU1, BLEU2, BLEU3, BLEU4, and ROUGE-L score at 38,35, 20,96, 10,68, 5,78, and 43,4 for SQuAD, and 39.9, 20.78, 10.26, 6.31, 44.13 for TyDiQA, respectively. The system performed well when the expected answers are named entities and are syntactically close with the context explaining them. Additionally, from native Indonesian perspective, the best questions generated by our best models on their best cases are acceptable and reasonably useful.


title: SiO emission as a probe of Cloud-Cloud Collisions in Infrared Dark Clouds

abstract: Infrared Dark Clouds (IRDCs) are very dense and highly extincted regions that host the initial conditions of star and stellar cluster formation. It is crucial to study the kinematics and molecular content of IRDCs to test their formation mechanism and ultimately characterise these initial conditions. We have obtained high-sensitivity Silicon Monoxide, SiO(2-1), emission maps toward the six IRDCs, G018.82$-$00.28, G019.27+00.07, G028.53$-$00.25, G028.67+00.13, G038.95$-$00.47 and G053.11+00.05 (cloud A, B, D, E, I and J, respectively), using the 30-m antenna at the Instituto de Radioastronom\'{i}a Millim\'{e}trica (IRAM30m). We have investigated the SiO spatial distribution and kinematic structure across the six clouds to look for signatures of cloud-cloud collision events that may have formed the IRDCs and triggered star formation within them. Toward clouds A, B, D, I and J we detect spatially compact SiO emission with broad line profiles which are spatially coincident with massive cores. Toward the IRDCs A and I, we report an additional SiO component that shows narrow line profiles and that is widespread across quiescent regions. Finally, we do not detect any significant SiO emission toward cloud E. We suggest that the broad and compact SiO emission detected toward the clouds is likely associated with ongoing star formation activity within the IRDCs. However, the additional narrow and widespread SiO emission detected toward cloud A and I may have originated from the collision between the IRDCs and flows of molecular gas pushed toward the clouds by nearby HII regions.


title: Towards Effective Context for Meta-Reinforcement Learning: an Approach based on Contrastive Learning

abstract: Context, the embedding of previous collected trajectories, is a powerful construct for Meta-Reinforcement Learning (Meta-RL) algorithms. By conditioning on an effective context, Meta-RL policies can easily generalize to new tasks within a few adaptation steps. We argue that improving the quality of context involves answering two questions: 1. How to train a compact and sufficient encoder that can embed the task-specific information contained in prior trajectories? 2. How to collect informative trajectories of which the corresponding context reflects the specification of tasks? To this end, we propose a novel Meta-RL framework called CCM (Contrastive learning augmented Context-based Meta-RL). We first focus on the contrastive nature behind different tasks and leverage it to train a compact and sufficient context encoder. Further, we train a separate exploration policy and theoretically derive a new information-gain-based objective which aims to collect informative trajectories in a few steps. Empirically, we evaluate our approaches on common benchmarks as well as several complex sparse-reward environments. The experimental results show that CCM outperforms state-of-the-art algorithms by addressing previously mentioned problems respectively.


title: Method of fundamental solutions for Neumann problems of the modified Helmholtz equation in disk domains

abstract: The method of the fundamental solutions (MFS) is used to construct an approximate solution for a partial differential equation in a bounded domain. It is demonstrated by combining the fundamental solutions shifted to the points outside the domain and determining the coefficients of the linear sum to satisfy the boundary condition on the finite points of the boundary. In this paper, the existence of the approximate solution by the MFS for the Neumann problems of the modified Helmholtz equation in disk domains is rigorously demonstrated. We reveal the sufficient condition of the existence of the approximate solution. Applying Green's theorem to the Neumann problem of the modified Helmholtz equation, we bound the error between the approximate solution and exact solution into the difference of the function of the boundary condition and the normal derivative of the approximate solution by boundary integrations. Using this estimate of the error, we show the convergence of the approximate solution by the MFS to the exact solution with exponential order, that is, $N^2a^N$ order, where $a$ is a positive constant less than one and $N$ is the number of collocation points. Furthermore, it is demonstrated that the error tends to $0$ in exponential order in the numerical simulations with increasing number of collocation points $N$.


title: On the gravitational wave sources from the NANOGrav 12.5-yr data

abstract: The NANOGrav Collaboration recently reported a strong evidence for a stochastic common-spectrum process in the pulsar-timing data. We evaluate the evidence of interpreting this process as mergers of super massive black hole binaries and/or various stochastic gravitational wave background sources in the early Universe, including first-order phase transitions, cosmic strings, domain walls, and large amplitude curvature perturbations. We discuss the implications of the constraints on these possible sources. It is found that the cosmic string is the most favored source against other gravitational wave sources based on the Bayes factor analysis.


title: Congruence of matrix spaces, matrix tuples, and multilinear maps

abstract: Two matrix vector spaces $V,W\subset \mathbb C^{n\times n}$ are said to be equivalent if $SVR=W$ for some nonsingular $S$ and $R$. These spaces are congruent if $R=S^T$. We prove that if all matrices in $V$ and $W$ are symmetric, or all matrices in $V$ and $W$ are skew-symmetric, then $V$ and $W$ are congruent if and only if they are equivalent. Let $F: U\times\dots\times U\to V$ and $G: U'\times\dots\times U'\to V'$ be symmetric or skew-symmetric $k$-linear maps over $\mathbb C$. If there exists a set of linear bijections $\varphi_1,\dots,\varphi_k:U\to U'$ and $\psi:V\to V'$ that transforms $F$ to $G$, then there exists such a set with $\varphi_1=\dots=\varphi_k$.


title: Message Passing Neural Processes

abstract: Neural Processes (NPs) are powerful and flexible models able to incorporate uncertainty when representing stochastic processes, while maintaining a linear time complexity. However, NPs produce a latent description by aggregating independent representations of context points and lack the ability to exploit relational information present in many datasets. This renders NPs ineffective in settings where the stochastic process is primarily governed by neighbourhood rules, such as cellular automata (CA), and limits performance for any task where relational information remains unused. We address this shortcoming by introducing Message Passing Neural Processes (MPNPs), the first class of NPs that explicitly makes use of relational structure within the model. Our evaluation shows that MPNPs thrive at lower sampling rates, on existing benchmarks and newly-proposed CA and Cora-Branched tasks. We further report strong generalisation over density-based CA rule-sets and significant gains in challenging arbitrary-labelling and few-shot learning setups.


title: The Tait First and Second Conjectures for Alternating Periodic Weaves

abstract: A periodic weave is the lift of a particular link embedded in a thickened surface to its universal cover. Its components are infinite unknotted simple open curves that can be partitioned in at least two distinct sets of threads. The classification of periodic weaves can be reduced to the one of their generating cells, namely their weaving motifs. However, this cannot be achieved through the classical theory of links in a thickened surface since periodicity in the universal cover is not encoded. In this paper, the Tait first and second conjectures are extended to minimal reduced alternating weaving motifs. The first one states that any minimal alternating reduced weaving motif has the minimum possible number of crossings, while the second one formulates that two such oriented weaving motifs have the same writhe.


title: Research on mouse brain tissue optical model based on Monte Carlo

abstract: We studied the transmission of photons in mouse brain in both with and without intact skull states using Monte Carlo method. Photon track, optical absorption density and fluence rate were used as indicators for analysis. We found that, the photon distribution without intact skull goes farther in both longitudinal and transverse directions compared with that of with intact skull. The distribution of optical absorption density and fluence rate was fusiform and rounder on the whole with intact skull. This study will provide reference and theoretical guidance for the optical imaging of mouse brain and the study of the mouse and human brain.


title: Weakly-supervised Salient Instance Detection

abstract: Existing salient instance detection (SID) methods typically learn from pixel-level annotated datasets. In this paper, we present the first weakly-supervised approach to the SID problem. Although weak supervision has been considered in general saliency detection, it is mainly based on using class labels for object localization. However, it is non-trivial to use only class labels to learn instance-aware saliency information, as salient instances with high semantic affinities may not be easily separated by the labels. We note that subitizing information provides an instant judgement on the number of salient items, which naturally relates to detecting salient instances and may help separate instances of the same class while grouping different parts of the same instance. Inspired by this insight, we propose to use class and subitizing labels as weak supervision for the SID problem. We propose a novel weakly-supervised network with three branches: a Saliency Detection Branch leveraging class consistency information to locate candidate objects; a Boundary Detection Branch exploiting class discrepancy information to delineate object boundaries; and a Centroid Detection Branch using subitizing information to detect salient instance centroids. This complementary information is further fused to produce salient instance maps. We conduct extensive experiments to demonstrate that the proposed method plays favorably against carefully designed baseline methods adapted from related tasks.


title: Multiple Intelligent Reflecting Surfaces Assisted Cell-Free MIMO Communications

abstract: In this paper, we investigate an intelligent reflecting surface (IRS) assisted cell-free multiple input multiple output (MIMO) communication system, where distributed multiple IRSs are dedicated deployed to assist distributed multiple base stations (BSs) for cooperative transmission. Our objective is to maximize the achievable sum-rate of the cell-free system by jointly optimizing the active transmit beamforming matrices at BSs and the passive reflecting beamforming matrices at IRSs, while the constraints on the maximum transmit power of each BS and the phase shift of each IRS element are satisfied. We propose an efficient framework to jointly design the BSs, the IRSs, and the user equipment (UEs). As a compromise approach, we first transform the non-convex problem into an equivalent form based on the fractional programming methods and then decompose the reformulated problem into two subproblems and solve them alternately. Particularly, we propose a Lagrangian dual sub-gradient based algorithm to solve the subproblem of optimizing the active transmit beamforming with nearly closed-form solutions. We reformulate the subproblem of optimizing the passive reflecting beamforming as a constant modulus constrained quadratic programming (CMC-QP) problem. We first provide two feasible solutions by proposing a pair of relaxation-based algorithms. We also develop a low-complexity alternating sequential optimization (ASO) algorithm to obtain closed-form solutions. All three algorithms are guaranteed to converge to locally optimal solutions. Simulation results demonstrate that the proposed algorithms achieve considerable performance improvements compared with the benchmark schemes.


title: Structural asymmetry along protein sequences and co-translational folding

abstract: Proteins are translated from the N- to the C-terminus, raising the basic question of how this innate directionality affects their evolution. To explore this question, we analyze 16,200 structures from the protein data bank (PDB). We find remarkable enrichment of $\alpha$-helices at the C terminus and $\beta$-strands at the N terminus. Furthermore, this $\alpha$-$\beta$ asymmetry correlates with sequence length and contact order, both determinants of folding rate, hinting at possible links to co-translational folding (CTF). Hence, we propose the 'slowest-first' scheme, whereby protein sequences evolved structural asymmetry to accelerate CTF: the slowest of the cooperatively-folding segments are positioned near the N terminus so they have more time to fold during translation. A phenomenological model predicts that CTF can be accelerated by asymmetry, up to double the rate, when folding time is commensurate with translation time; analysis of the PDB reveals that structural asymmetry is indeed maximal in this regime. This correspondence is greater in prokaryotes, which generally require faster protein production. Altogether, this indicates that accelerating CTF is a substantial evolutionary force whose interplay with stability and functionality is encoded in sequence asymmetry.


title: Evaluation of tilt control for wind-turbine arrays in the atmospheric boundary layer

abstract: Wake redirection is a promising approach designed to mitigate turbine-wake interactions which have a negative impact on the performance and lifetime of wind farms. It has recently been found that substantial power gains can be obtained by tilting the rotors of spanwise-periodic wind-turbine arrays. Rotor tilt is associated to the generation of coherent streamwise vortices which deflect wakes towards the ground and, by exploiting the vertical wind shear, replace them with higher-momentum fluid (high-speed streaks). The objective of this work is to evaluate power gains that can be obtained by tilting rotors in spanwise-periodic wind-turbine arrays immersed in the atmospheric boundary layer and, in particular, to analyze the influence of the rotor size on power gains in the case where the turbines emerge from the atmospheric surface layer. We show that, for the case of wind-aligned arrays, large power gains can be obtained for positive tilt angles of the order of 30{\deg}. Power gains are substantially enhanced by operating tilted-rotor turbines at thrust coefficients higher than in the reference configuration. These power gains initially increase with the rotor size reaching a maximum for rotor diameters of the order of 3.6 boundary layer momentum thicknesses (for the considered cases) and decrease for larger sizes. Maximum power gains are obtained for wind-turbine spanwise spacings which are very similar to those of large-scale and very large scale streaky motions which are naturally amplified in turbulent boundary layers. These results are all congruent with the findings of previous investigations of passive control of canonical boundary layers for drag-reduction applications where high-speed streaks replaced wakes of spanwise-periodic rows of wall-mounted roughness elements.


title: Utterance-level Dialogue Understanding: An Empirical Study

abstract: The recent abundance of conversational data on the Web and elsewhere calls for effective NLP systems for dialog understanding. Complete utterance-level understanding often requires context understanding, defined by nearby utterances. In recent years, a number of approaches have been proposed for various utterance-level dialogue understanding tasks. Most of these approaches account for the context for effective understanding. In this paper, we explore and quantify the role of context for different aspects of a dialogue, namely emotion, intent, and dialogue act identification, using state-of-the-art dialog understanding methods as baselines. Specifically, we employ various perturbations to distort the context of a given utterance and study its impact on the different tasks and baselines. This provides us with insights into the fundamental contextual controlling factors of different aspects of a dialogue. Such insights can inspire more effective dialogue understanding models, and provide support for future text generation approaches. The implementation pertaining to this work is available at https://github.com/declare-lab/dialogue-understanding.


title: Performance Modeling of Streaming Kernels and Sparse Matrix-Vector Multiplication on A64FX

abstract: The A64FX CPU powers the current number one supercomputer on the Top500 list. Although it is a traditional cache-based multicore processor, its peak performance and memory bandwidth rival accelerator devices. Generating efficient code for such a new architecture requires a good understanding of its performance features. Using these features, we construct the Execution-Cache-Memory (ECM) performance model for the A64FX processor in the FX700 supercomputer and validate it using streaming loops. We also identify architectural peculiarities and derive optimization hints. Applying the ECM model to sparse matrix-vector multiplication (SpMV), we motivate why the CRS matrix storage format is inappropriate and how the SELL-C-sigma format with suitable code optimizations can achieve bandwidth saturation for SpMV.


title: An exceptional symmetry algebra for the 3D Dirac-Dunkl operator

abstract: We initiate the study of an algebra of symmetries for the 3D Dirac-Dunkl operator associated with the Weyl group of the exceptional root system $G_2$. For this symmetry algebra, we give both an abstract definition and an explicit realisation. We then construct ladder operators, using an intermediate result we prove for the Dirac-Dunkl symmetry algebra associated with arbitrary finite reflection group acting on a three-dimensional space.


title: Aligning Intraobserver Agreement by Transitivity

abstract: Annotation reproducibility and accuracy rely on good consistency within annotators. We propose a novel method for measuring within annotator consistency or annotator Intraobserver Agreement (IA). The proposed approach is based on transitivity, a measure that has been thoroughly studied in the context of rational decision-making. The transitivity measure, in contrast with the commonly used test-retest strategy for annotator IA, is less sensitive to the several types of bias introduced by the test-retest strategy. We present a representation theorem to the effect that relative judgement data that meet transitivity can be mapped to a scale (in terms of measurement theory). We also discuss a further application of transitivity as part of data collection design for addressing the problem of the quadratic complexity of data collection of relative judgements.


title: Recent twists in twisted light: A perspective on optical vortices from dielectric metasurfaces

abstract: Optical vortices are the electromagnetic analogue of fluid vortices studied in hydrodynamics. In both cases the traveling wavefront, either made of light or fluid, is twisted like a corkscrew around its propagation axis - an analogy that inspired also the first proposition of the concept of optical vortex. Even though vortices are one of the most fundamental topological excitations in nature, they are rarely found in their electromagnetic form in natural systems, for the exception of energetic sources in astronomy, such as pulsars, quasars and black holes. Mostly optical vortices are artificially created in the laboratory by a rich variety of approaches. Here we provide our perspective on a technology that shook-up optics in the last decade - metasurfaces, planar nanostructured metamaterials - with a specific focus on its use for molding and controlling optical vortices.


title: Research on the laser-brain tissue interaction by finite element analysis

abstract: The study of the interaction between laser and brain tissue has important theoretical and practical significance for brain imaging. A two-dimensional simulation model that studies the propagation of light and heat transfer in brain tissue based on finite element has been developed by using the commercial finite element simulation software COMSOL Multiphysics. In this study, the model consists of three parts of 1) a layer of water on the surface of the brain, 2) brain tissue and 3) short pulsed laser source (the wavelength is 840nm). The laser point source is located in the middle of the layer of water above the brain tissue and irradiates the brain tissue. The propagation of light in brain tissue was simulated by solving the diffusion equation. And the temperature changes of gray matter and blood vessels were achieved by solving the biological heat transfer equation. The simulation results show that the light energy in the brain tissue decreases exponentially with the increase of penetration depth. Since the cerebral blood vessels have a stronger absorption on light compared with the surrounding tissues, the remaining light energy of the blood vessels in the cerebral cortex is ~ 85.8% of the remaining light energy in the surrounding gray matter. In the process of biological heat transfer, due to more light deposition in blood vessels, the temperature of blood vessels is 0.15 K higher than that of gray matter, and the temperature of gray matter hardly changes. This research is helpful to understand the propagation of light in the brain and the interaction between them, and has certain theoretical guiding for the optical imaging of the brain.


title: What does the world look like according to superdeterminism?

abstract: The violation of Bell inequalities seems to establish an important fact about the world: that it is non-local. However, this result relies on the assumption of the statistical independence of the measurement settings with respect to potential past events that might have determined them. Superdeterminism refers to the view that a local, and determinist, account of Bell inequalities violations is possible, by rejecting this assumption of statistical independence. We examine and clarify various problems with superdeterminism, looking in particular at its consequences on the nature of scientific laws and scientific reasoning. We argue that the view requires a neo-Humean account of at least some laws, and creates a significant problem for the use of statistical independence in other parts of physics and science more generally.


title: Implications of Gravitational-wave Production from Dark Photon Resonance to Pulsar-timing Observations and Effective Number of Relativistic Species

abstract: The coherent oscillation of axionic fields naturally drives copious production of dark photon particles in the early universe, due to resonance and tachyonic enhancement. During the process, energy is abruptly transferred from the former to the latter, sourcing gravitational wave generation. The resulting gravitational waves are eventually to be observed as stochastic background today. We report analytical results of this production and connect them to the recent pulsar-timing results by the NANOGrav collaboration. We show an available parameter space, around the mass $m_\phi \sim 10^{-13} \, {\rm eV}$ and the decay constant $f_\phi \sim 10^{16} \, {\rm GeV}$ with a dimensionless coupling of ${\cal O}(1)$, for our mechanism to account for the signal. A mechanism to avoid the axion over-dominating the universe is a necessary ingredient of this model, and we discuss a possibility to recover a symmetry and render the axion massless after the production. We also comment on potential implications of the required effective number of relativistic species to the determination of the present Hubble constant.


title: Selective-area van der Waals epitaxy of h-BN/graphene heterostructures via He$^{+}$ irradiation-induced defect-engineering in 2D substrates

abstract: The combination of two-dimensional (2D) materials into heterostructures enabled the formation of atomically thin devices with designed properties. To achieve a high density, bottom-up integration, the growth of these 2D heterostructures via van der Waals epitaxy (vdWE) is an attractive alternative to the currently mostly employed mechanical transfer, which is still problematic in terms of scaling and reproducibility. However, controlling the location of the nuclei formation remains a key challenge in vdWE. Here, we use a focused He ion beam for a deterministic placement of defects in graphene substrates, which act as preferential nucleation sites for the growth of insulating, 2D hexagonal boron nitride (h-BN). We demonstrate a mask-free, selective-area vdWE (SAvdWE), where nucleation yield and crystal quality of h-BN is controlled by the ion beam parameter used for the defect formation. Moreover, we show that h-BN grown via SAvdWE has electron tunneling characteristics comparable to those of mechanically transferred layers, thereby lying the foundation for a reliable, high density array fabrication of 2D heterostructures for device integration via defect engineering in 2D substrates.


title: High open-circuit voltage in transition metal dichalcogenide solar cells

abstract: The conversion efficiency of ultra-thin solar cells based on layered materials has been limited by their open-circuit voltage, which is typically pinned to a value under 0.6 V. Here we report an open-circuit voltage of 1.02 V in a 120 nm-thick vertically stacked homojunction fabricated with substitutionally doped MoS2. This high open-circuit voltage is consistent with the band alignment in the MoS2 homojunction, which is more favourable than in widely-used TMDC heterostructures. It is also attributed to the high performance of the substitutionally doped MoS2, in particular the p-type material doped with Nb, which is demonstrated by the observation of electroluminescence from tunnelling graphene/BN/MoS2 structures in spite of the indirect nature of bulk MoS2. We find that illuminating the TMDC/metal contacts decreases the measured open-circuit voltage in MoS2 van der Waals homojunctions because they are photoactive, which points to the need of developing low-resistance, ohmic contacts to doped MoS2 in order to achieve high efficiency in practical devices. The high open-circuit voltage demonstrated here confirms the potential of layered transition-metal dichalcogenides for the development of highly efficient, ultra-thin solar cells.


title: Visible Light Communication based Vehicle Localization for Collision Avoidance and Platooning

abstract: Collision avoidance and platooning applications require vehicle localization at cm-level accuracy and at least 50 Hz rate for full autonomy. The RADAR/LIDAR and camera based methods currently used for vehicle localization do not satisfy these requirements, necessitating complementary technologies. Visible light positioning (VLP) is a highly suitable complementary technology due to its high accuracy and high rate, exploiting the line-of-sight propagation feature of the visible light communication (VLC) signals from LED head/tail lights. However, existing vehicular VLP algorithms impose restrictive requirements, e.g., use of high-bandwidth circuits, road-side lights and certain VLC modulation strategies, and work for limited relative vehicle orientations, thus, are not feasible for general use. This paper proposes a VLC-based vehicle localization method that eliminates these restrictive requirements by a novel VLC receiver design and associated vehicular VLP algorithm. The VLC receiver, named QRX, is low-cost/size, and enables high-rate VLC and high-accuracy angle-of-arrival (AoA) measurement, simultaneously, via the usage of a quadrant photodiode. The VLP algorithm estimates the positions of two head/tail light VLC transmitters (TX) on a neighbouring vehicle by using AoA measurements from two QRXs for localization. The algorithm is theoretically analyzed by deriving its Cramer-Rao lower bound on positioning accuracy, and simulated localization performance is evaluated under realistic platooning and collision avoidance scenarios. Results demonstrate that the proposed method performs at cm-level accuracy and up to 250 Hz rate within a 10 m range under realistic harsh road and channel conditions, demonstrating its eligibility for collision avoidance and safe platooning.


title: Denoising convolutional neural networks for photoacoustic microscopy

abstract: Photoacoustic imaging is a new imaging technology in recent years, which combines the advantages of high resolution and rich contrast of optical imaging with the advantages of high penetration depth of acoustic imaging. Photoacoustic imaging has been widely used in biomedical fields, such as brain imaging, tumor detection and so on. The signal-to-noise ratio (SNR) of image signals in photoacoustic imaging is generally low due to the limitation of laser pulse energy, electromagnetic interference in the external environment and system noise. In order to solve the problem of low SNR of photoacoustic images, we use feedforward denoising convolutional neural network to further process the obtained images, so as to obtain higher SNR images and improve image quality. We use Python language to manage the referenced Python external library through Anaconda, and build a feedforward noise-reducing convolutional neural network on Pycharm platform.We first processed and segmated a training set containing 400 images, and then used it for network training. Finally, we tested it with a series of cerebrovascular photoacoustic microscopy images.The results show that the peak signal-to-noise ratio (PSNR) of the image increases significantly before and after denoising.The experimental results verify that the feed-forward noise reduction convolutional neural network can effectively improve the quality of photoacoustic microscopic images, which provides a good foundation for the subsequent biomedical research.


title: SoK: On the Security Challenges and Risks of Multi-Tenant FPGAs in the Cloud

abstract: In their continuous growth and penetration into new markets, Field Programmable Gate Arrays (FPGAs) have recently made their way into hardware acceleration of machine learning among other specialized compute-intensive services in cloud data centers, such as Amazon and Microsoft. To further maximize their utilization in the cloud, several academic works propose the spatial multi-tenant deployment model, where the FPGA fabric is simultaneously shared among mutually mistrusting clients. This is enabled by leveraging the partial reconfiguration property of FPGAs, which allows to split the FPGA fabric into several logically isolated regions and reconfigure the functionality of each region independently at runtime. In this paper, we survey industrial and academic deployment models of multi-tenant FPGAs in the cloud computing settings, and highlight their different adversary models and security guarantees, while shedding light on their fundamental shortcomings from a security standpoint. We further survey and classify existing academic works that demonstrate a new class of remotely exploitable physical attacks on multi-tenant FPGA devices, where these attacks are launched remotely by malicious clients sharing physical resources with victim users. Through investigating the problem of end-to-end multi-tenant FPGA deployment more comprehensively, we reveal how these attacks actually represent only one dimension of the problem, while various open security and privacy challenges remain unaddressed. We conclude with our insights and a call for future research to tackle these challenges.


title: Fully autocompensating high-dimensional quantum cryptography by optical phase conjugation

abstract: We present a bidirectional quantum communication system based on optical phase conjugation for achieving fully autocompensating high-dimensional quantum cryptography. We prove that random phase shifts and couplings among 2N spatial and polarization optical modes described by SU(2N) transformations due to perturbations are autocompensated after a single round trip between Alice and Bob. Bob can use a source of single photons or, alternatively, coherent states and then Alice attenuates them up to a single photon level, and thus non-perturbated 1-qudit states are generated for high-dimensional QKD protocols, as the BB84 one, of a higher security.


title: A novel block non-symmetric preconditioner for mixed-hybrid finite-element-based flow simulations

abstract: In this work we propose a novel block preconditioner, labelled Explicit Decoupling Factor Approximation (EDFA), to accelerate the convergence of Krylov subspace solvers used to address the sequence of non-symmetric systems of linear equations originating from flow simulations in porous media. The flow model is discretized blending the Mixed Hybrid Finite Element (MHFE) method for Darcy's equation with the Finite Volume (FV) scheme for the mass conservation. The EDFA preconditioner is characterized by two features: the exploitation of the system matrix decoupling factors to recast the Schur complement and their inexact fully-parallel computation by means of restriction operators. We introduce two adaptive techniques aimed at building the restriction operators according to the properties of the system at hand. The proposed block preconditioner has been tested through an extensive experimentation on both synthetic and real-case applications, pointing out its robustness and computational efficiency.


title: Analytic representation of all planar two-loop five-point Master Integrals with one off-shell leg

abstract: We present analytic expressions in terms of polylogarithmic functions for all three families of planar two-loop five-point Master Integrals with one off-shell leg. The calculation is based on the Simplified Differential Equations approach. The results are relevant to the study of many $2\to 3$ scattering processes of interest at the LHC, especially for the leading-color $W+2$ jets production.


title: Sensitivity of solar wind mass flux to coronal temperature

abstract: Solar wind models predict that the mass flux carried away from the Sun in the solar wind should be extremely sensitive to the temperature in the corona, where the solar wind is accelerated. We perform a direct test of this prediction in coronal holes and active regions, using a combination of in-situ and remote sensing observations. For coronal holes, a 50% increase in temperature from 0.8 MK to 1.2 MK is associated with a tripling of the coronal mass flux. At temperatures over 2 MK, within active regions, this trend is maintained, with a four-fold increase in temperature corresponding to a 200-fold increase in coronal mass flux.


title: Designing everyday automation with well-being in mind

abstract: Nowadays, automation not only permeates industry but also becomes a substantial part of our private, everyday lives. Driven by the idea of increased convenience and more time for the "important things in life," automation relieves us from many daily chores - robots vacuum floors and automated coffee makers produce supposedly barista-quality coffee on the press of a button. In many cases, these offers are embraced by people without further questioning. However, while we save time by delegating more and more everyday activities to automation, we also may lose chances for enjoyable and meaningful experiences. In two field studies, we demonstrate that a manual process has experiential benefits over more automated processes by using the example of coffee-making. We present a way to account for potential experiential costs of everyday automation and strategies of how to design interaction with automation to reconcile experience with the advantages of a more and more powerful automation.


title: Lipschitz geometry of surface germs in $\mathbb{R}^4$: metric knots

abstract: A link at the origin of an isolated singularity of a two-dimensional semialgebraic surface in $\mathbb{R}^4$ is a topological knot (or link) in $S^3$. We study the connection between the ambient Lipschitz geometry of semialgebraic surface germs in $\mathbb{R}^4$ and the knot theory. Namely, for any knot $K$, we construct a surface $X_K$ in $\mathbb{R}^4$ such that: the link at the origin of $X_{K}$ is a trivial knot; the germs $X_K$ are outer bi-Lipschitz equivalent for all $K$; two germs $X_{K}$ and $X_{K'}$ are ambient bi-Lipschitz equivalent only if the knots $K$ and $K'$ are isotopic. We show that the Jones polynomial can be used to recognize ambient bi-Lipschitz non-equivalent surface germs in $\mathbb{R}^4$, even when they are topologically trivial and outer bi-Lipschitz equivalent.


title: Efficient Study Design with Multiple Measurement Instruments

abstract: Outcomes from studies assessing exposure often use multiple measurements. In previous work, using a model first proposed by Buonoccorsi (1991), we showed that combining direct (e.g. biomarkers) and indirect (e.g. self-report) measurements provides a more accurate picture of true exposure than estimates obtained when using a single type of measurement. In this article, we propose a valuable tool for efficient design of studies that include both direct and indirect measurements of a relevant outcome. Based on data from a pilot or preliminary study, the tool, which is available online as a shiny app \citep{shinyR}, can be used to compute: (1) the sample size required for a statistical power analysis, while optimizing the percent of participants who should provide direct measures of exposure (biomarkers) in addition to the indirect (self-report) measures provided by all participants; (2) the ideal number of replicates; and (3) the allocation of resources to intervention and control arms. In addition we show how to examine the sensitivity of results to underlying assumptions. We illustrate our analysis using studies of tobacco smoke exposure and nutrition. In these examples, a near-optimal allocation of the resources can be found even if the assumptions are not precise.


title: Mobility Management in Emerging Ultra-Dense Cellular Networks: A Survey, Outlook, and Future Research Directions

abstract: The exponential rise in mobile traffic originating from mobile devices highlights the need for making mobility management in future networks even more efficient and seamless than ever before. Ultra-Dense Cellular Network vision consisting of cells of varying sizes with conventional and mmWave bands is being perceived as the panacea for the eminent capacity crunch. However, mobility challenges in an ultra-dense heterogeneous network with motley of high frequency and mmWave band cells will be unprecedented due to plurality of handover instances, and the resulting signaling overhead and data interruptions for miscellany of devices. Similarly, issues like user tracking and cell discovery for mmWave with narrow beams need to be addressed before the ambitious gains of emerging mobile networks can be realized. Mobility challenges are further highlighted when considering the 5G deliverables of multi-Gbps wireless connectivity, <1ms latency and support for devices moving at maximum speed of 500km/h, to name a few. Despite its significance, few mobility surveys exist with the majority focused on adhoc networks. This paper is the first to provide a comprehensive survey on the panorama of mobility challenges in the emerging ultra-dense mobile networks. We not only present a detailed tutorial on 5G mobility approaches and highlight key mobility risks of legacy networks, but also review key findings from recent studies and highlight the technical challenges and potential opportunities related to mobility from the perspective of emerging ultra-dense cellular networks.


title: An optimal Liouville theorem for the linear heat equation with a nonlinear boundary condition

abstract: Liouville theorems for scaling invariant nonlinear parabolic problems in the whole space and/or the halfspace (saying that the problem does not posses positive bounded solutions defined for all times $t\in(-\infty,\infty)$) guarantee optimal estimates of solutions of related initial-boundary value problems in general domains. We prove an optimal Liouville theorem for the linear equation in the halfspace complemented by the nonlinear boundary condition $\partial u/\partial\nu=u^q$, $q>1$.


title: Evidence of disc reflection in the X-ray spectrum of the neutron star low mass X-ray binary 4U 1636-536

abstract: We present a broadband spectral analysis of the atoll source 4U~1636-536 observed for $\sim92$ ks with \nustar{}. The source was found to be in a low-luminosity state during this observation with $3-79 \kev{}$ X-ray luminosity of $L_{3-79 keV}=(1.03\pm0.01)\times 10^{37}$ ergs/s, assuming a distance of 6 kpc. We have identified and removed twelve type-I X-ray bursts during this observation to study the persistent emission. The continuum is well described by a thermal Comptonization model {\tt nthcomp} with $\Gamma\sim1.9$, $kT_{e}\sim28 \kev{}$, and $kT_{s}\sim0.9\kev{}$. The \nustar{} data reveal a clear signature of disc reflection, a significantly broad Fe-K emission line (around $5-8\kev{}$), and the corresponding reflection hump (around $15-30\kev{}$). We have modeled the data with two relativistically blurred reflection models. Both families of reflection models prefer truncated inner disc radii prior to the ISCO. We find that the inner disc is truncated with an inner radius of $R_{in}=(3.2-4.7)\;R_{ISCO}$ ($\simeq16-24\,R_{g}\: \text{or}\: 36-54$ km). This inner disc radius suggests that the neutron star magnetic field strength is $B\leq2.0\times10^{9}$ G.


title: Adiabatic limit, Witten deformation and analytic torsion forms

abstract: We consider a smooth fibration equipped with a flat complex vector bundle and a hypersurface cutting the fibration into two pieces. Our main result is a gluing formula relating the Bismut-Lott analytic torsion form of the whole fibration to that of each piece. This result confirms a conjecture proposed in a conference in Goettingen in 2003. Our approach combines an adiabatic limit along the normal direction of the hypersurface and a Witten type deformation on the flat vector bundle. Due to disagreement among authors, author Zhang unilaterally decides to never publish this paper. If you saw this paper published somewhere, it must be without Zhang's approvement.


title: On the Sheafyness Property of Spectra of Banach Rings

abstract: Let R be a non-Archimedean Banach ring, satisfying some mild technical hypothesis that we will specify later on. We prove that to R one can associate a homotopical Huber spectrum Spa^h(R) via the introduction of the notion of derived rational localizations. The spectrum so obtained is endowed with a derived structural sheaf O_{Spa^h(R)} of simplicial Banach algebras for which the derived Tate-Cech complex is strictly exact. Under some hypothesis we can prove that there is a canonical morphism of sites Spa(R) -> |Spa^h(R)| that is an equivalence in some well-known examples of non-sheafy Banach rings. This permits to use the tools of derived geometry to understand the geometry of Spa(R) also when H^0(O_{Spa(R)}) is not a sheaf.


title: On Free Group Generated by Two Heisenberg Translations

abstract: In this paper, we will discuss the groups generated by two Heisenberg translations of ${\rm PSp}(2,1)$ and determine when they are free. We improve a result given in \cite{xwy} by Xie, Wang, Jiang in Canad. Math. Bull. $56(2013), 881-889.$ and from that derive result for the ${\rm PSp}(2,1)$ case.


title: Limit theorems for Bessel and Dunkl processes of large dimensions and free convolutions

abstract: We study Bessel and Dunkl processes $(X_{t,k})_{t\ge0}$ on $\mathbb R^N$ with possibly multivariate coupling constants $k\ge0$. These processes describe interacting particle systems of Calogero-Moser-Sutherland type with $N$ particles. For the root systems $A_{N-1}$ and $B_N$ these Bessel processes are related with $\beta$-Hermite and $\beta$-Laguerre ensembles. Moreover, for the frozen case $k=\infty$, these processes degenerate to deterministic or pure jump processes. We use the generators for Bessel and Dunkl processes of types A and B and derive analogues of Wigner's semicircle and Marchenko-Pastur limit laws for $N\to\infty$ for the empirical distributions of the particles with arbitrary initial empirical distributions by using free convolutions. In particular, for Dunkl processes of type B new non-symmetric semicircle-type limit distributions on $\mathbb R$ appear. Our results imply that the form of the limiting measures is already completely determined by the frozen processes. Moreover, in the frozen cases, our approach leads to a new simple proof of the semicircle and Marchenko-Pastur limit laws for the empirical measures of the zeroes of Hermite and Laguerre polynomials respectively.


title: Towards Intelligent Risk-based Customer Segmentation in Banking

abstract: Business Processes, i.e., a set of coordinated tasks and activities to achieve a business goal, and their continuous improvements are key to the operation of any organization. In banking, business processes are increasingly dynamic as various technologies have made dynamic processes more prevalent. For example, customer segmentation, i.e., the process of grouping related customers based on common activities and behaviors, could be a data-driven and knowledge-intensive process. In this paper, we present an intelligent data-driven pipeline composed of a set of processing elements to move customers' data from one system to another, transforming the data into the contextualized data and knowledge along the way. The goal is to present a novel intelligent customer segmentation process which automates the feature engineering, i.e., the process of using (banking) domain knowledge to extract features from raw data via data mining techniques, in the banking domain. We adopt a typical scenario for analyzing customer transaction records, to highlight how the presented approach can significantly improve the quality of risk-based customer segmentation in the absence of feature engineering.As result, our proposed method is able to achieve accuracy of 91% compared to classical approaches in terms of detecting, identifying and classifying transaction to the right classification.


title: Simultaneous polydirectional transport of colloidal bipeds

abstract: Detailed control over the motion of colloidal particles is relevant in many applications in colloidal science such as lab-on-a-chip devices. Here, we use an external magnetic field to assemble paramagnetic colloidal spheres into colloidal rods of several lengths. The rods reside above a square magnetic pattern and are transported via modulation of the direction of the external magnetic field. The rods behave like bipeds walking above the pattern. Depending on their length, the bipeds perform topologically distinct classes of protected walks above the pattern. We demonstrate that it is possible to design parallel polydirectional modulation loops of the external field that command up to six classes of bipeds to walk on distinct predesigned paths. We use such parallel polydirectional loops to induce the collision of reactant bipeds, their polymerization addition reaction to larger bipeds, the separation of product bipeds from the educts, the sorting of different product bipeds, and also the parallel writing of a word consisting of several different letters.


title: Residual acoustic echo suppression based on efficient multi-task convolutional neural network

abstract: Acoustic echo degrades the user experience in voice communication systems thus needs to be suppressed completely. We propose a real-time residual acoustic echo suppression (RAES) method using an efficient convolutional neural network. The double talk detector is used as an auxiliary task to improve the performance of RAES in the context of multi-task learning. The training criterion is based on a novel loss function, which we call as the suppression loss, to balance the suppression of residual echo and the distortion of near-end signals. The experimental results show that the proposed method can efficiently suppress the residual echo under different circumstances.


title: Exactness of mean-field equations for open Dicke models with an application to pattern retrieval dynamics

abstract: Open quantum Dicke models are paradigmatic systems for the investigation of light-matter interaction in out-of-equilibrium quantum settings. Albeit being structurally simple, these models can show intriguing physics. However, obtaining exact results on their dynamical behavior is challenging, since it requires the solution of a many-body quantum system, with several interacting continuous and discrete degrees of freedom. Here, we make a step forward in this direction by proving the validity of the mean-field semi-classical equations for open multimode Dicke models, which, to the best of our knowledge, so far has not been rigorously established. We exploit this result to show that open quantum multimode Dicke models can behave as associative memories, displaying a nonequilibrium phase transition towards a pattern-recognition phase.


title: Optical normal-mode-induced phonon-sideband splitting in photon-blockade effect

abstract: We study the photon-blockade effect in a loop-coupled optomechanical system consisting of two cavity modes and one mechanical mode. Here, the mechanical mode is optomechanically coupled to the two cavity modes, which are coupled with each other via a photon-hopping interaction. By treating the photon-hopping interaction as a perturbation, we obtain the analytical results of the eigenvalues and eigenstates of the system in the subspaces associated with zero, one, and two photons. We find a phenomenon of optical normal-mode-induced phonon-sideband splitting in the photon-blockade effect by analytically and numerically calculating the second-order correlation functions of the two cavity modes. This work not only presents a method to choose optimal driving frequency for photon blockade by tuning the photon-hopping interaction, but also provides a means to characterize the normal-mode splitting with cavity photon statistics.


title: Arithmetic Satake compactifications and algebraic Drinfeld modular forms

abstract: In this article we construct the arithmetic Satake compactification of the Drinfeld moduli schemes of arbitrary rank over the ring of integers of any global function field away from the level structure, and show that the universal family extends uniquely to a generalized Drinfeld module over the compactification. Using these and functorial properties, we define algebraic Drinfeld modular forms over more general bases and the action of the (prime-to-residue characteristic) Hecke algebra. The construction also furnishes many algebraic Drinfeld modular forms obtained from the coefficients of the universal family which are also Hecke eigenforms. Among them we obtain generalized Hasse invariants which already live on the arithmetic Satake compactification. We use these generalized Hasse invariants to study the geometry of the special fiber and to establish the Jacquet-Langlands correspondence (mod $v$) between Hecke eigensystems of rank $r$ Drinfeld modular forms and those of algebraic modular forms (in the sense of Gross) attached to a compact inner form of $GL_r$.


title: A Comparative Study of Deep Learning Loss Functions for Multi-Label Remote Sensing Image Classification

abstract: This paper analyzes and compares different deep learning loss functions in the framework of multi-label remote sensing (RS) image scene classification problems. We consider seven loss functions: 1) cross-entropy loss; 2) focal loss; 3) weighted cross-entropy loss; 4) Hamming loss; 5) Huber loss; 6) ranking loss; and 7) sparseMax loss. All the considered loss functions are analyzed for the first time in RS. After a theoretical analysis, an experimental analysis is carried out to compare the considered loss functions in terms of their: 1) overall accuracy; 2) class imbalance awareness (for which the number of samples associated to each class significantly varies); 3) convexibility and differentiability; and 4) learning efficiency (i.e., convergence speed). On the basis of our analysis, some guidelines are derived for a proper selection of a loss function in multi-label RS scene classification problems.


title: Band Depopulation of Graphene Nanoribbons Induced by Chemical Gating with Amino Groups

abstract: The electronic properties of graphene nanoribbons (GNRs) can be precisely tuned by chemical doping. Here we demonstrate that amino (NH$_2$) functional groups attached at the edges of chiral GNRs (chGNRs) can efficiently gate the chGNRs and lead to the valence band (VB) depopulation on a metallic surface. The NH$_2$-doped chGNRs are grown by on-surface synthesis on Au(111) using functionalized bianthracene precursors. Scanning tunneling spectroscopy resolves that the NH$_2$ groups significantly up-shift the bands of chGNRs, causing the Fermi level crossing of the VB onset of chGNRs. Through density functional theory simulations we confirm that the hole-doping behavior is due to an upward shift of the bands induced by the edge NH$_2$ groups.


title: Rigidity of transformation groups in differential geometry

abstract: In this survey, symmetry provides a framework for classification of manifolds with differential-geometric structures. We highlight pseudo-Riemannian metrics, conformal structures, and projective structures. A range of techniques have been developed and successfully deployed in this subject, some of them based on algebra and dynamics and some based on analysis. We aim to illustrate this variety.


title: Inherent color symmetry of quantum Yang-Mills theory

abstract: We present the basic non-perturbative structure of the space of classical dynamical solutions and corresponding one particle quantum states in SU(3) Yang-Mills theory. It has been demonstrated that the Weyl group of su(3) algebra plays an important role in constructing non-perturbative solutions and leads to profound changes in the structure of the classical and quantum Yang-Mills theory. We show that the Weyl group as a non-trivial color subgroup of SU(3) admits singlet irreducible representations on a space of classical dynamical solutions which lead to strict concepts of one particle quantum states for gluons and quarks. The Yang-Mills theory is a non-linear theory and, in general, it is not possible to construct a Hilbert space of classical solutions and quantum states as a linear vector space, so, usually, a perturbative approach is applied. We propose a non-perturbative approach based on Weyl symmetric solutions to full non-linear equations of motion and construct a full space of dynamical solutions representing an infinite but countable solution space classified by a finite set of integer numbers. It has been proved that the Weyl singlet structure of classical solutions provides the existence of a stable non-degenerate vacuum which serves as a main precondition of the color confinement phenomenon. Some physical implications in quantum chromodynamics are considered.


title: Tackling unsupervised multi-source domain adaptation with optimism and consistency

abstract: It has been known for a while that the problem of multi-source domain adaptation can be regarded as a single source domain adaptation task where the source domain corresponds to a mixture of the original source domains. Nonetheless, how to adjust the mixture distribution weights remains an open question. Moreover, most existing work on this topic focuses only on minimizing the error on the source domains and achieving domain-invariant representations, which is insufficient to ensure low error on the target domain. In this work, we present a novel framework that addresses both problems and beats the current state of the art by using a mildly optimistic objective function and consistency regularization on the target samples.


title: MS-RANAS: Multi-Scale Resource-Aware Neural Architecture Search

abstract: Neural Architecture Search (NAS) has proved effective in offering outperforming alternatives to handcrafted neural networks. In this paper we analyse the benefits of NAS for image classification tasks under strict computational constraints. Our aim is to automate the design of highly efficient deep neural networks, capable of offering fast and accurate predictions and that could be deployed on a low-memory, low-power system-on-chip. The task thus becomes a three-party trade-off between accuracy, computational complexity, and memory requirements. To address this concern, we propose Multi-Scale Resource-Aware Neural Architecture Search (MS-RANAS). We employ a one-shot architecture search approach in order to obtain a reduced search cost and we focus on an anytime prediction setting. Through the usage of multiple-scaled features and early classifiers, we achieved state-of-the-art results in terms of accuracy-speed trade-off.


title: On rectifiable measures in Carnot groups: existence of density

abstract: In this paper we start a detailed study of a new notion of rectifiability in Carnot groups: we say that a Radon measure is $\mathscr{P}_h$-rectifiable, for $h\in\mathbb N$, if it has positive $h$-lower density and finite $h$-upper density almost everywhere, and, at almost every point, it admits a unique tangent measure up to multiples. First, we compare $\mathscr{P}_h$-rectifiability with other notions of rectifiability previously known in the literature in the setting of Carnot groups, and we prove that it is strictly weaker than them. Second, we prove several structure properties of $\mathscr{P}_h$-rectifiable measures. Namely, we prove that the support of a $\mathscr P_h$-rectifiabile measure is almost everywhere covered by sets satisfying a cone-like property, and in the particular case of $\mathscr P_h$-rectifiabile measures with complemented tangents, we show that they are supported on the union of intrinsically Lipschitz and differentiable graphs. Such a covering property is used to prove the main result of this paper: we show that a $\mathscr{P}_h$-rectifiable measure has almost everywhere positive and finite $h$-density whenever the tangents admit at least one complementary subgroup.


title: Quantum reflection of a Bose-Einstein condensate from a rapidly varying potential: the role of dark soliton

abstract: We study the dynamic behavior of a Bose-Einstein condensate (BEC) containing a dark soliton separately reflected from potential drops and potential barriers. It is shown that for a rapidly varying potential and in a certain regime of incident velocity, the quantum reflection probability displays the cosine of the deflection angle between the incident soliton and the reflected soliton, i.e., $R(\theta) \sim \cos 2\theta$. For a potential drop, $R(\theta)$ is susceptible to the widths of potential drop up to the length of the dark soliton and the difference of the reflection rates between the orientation angle of the soliton $\theta=0$ and $\theta=\pi/2$, $\delta R_s$, displays oscillating exponential decay with increasing potential widths. However, for a barrier potential, $R(\theta)$ is insensitive for the potential width less than the decay length of the matter wave and $\delta R_s$ presents an exponential trend. This discrepancy of the reflectances in two systems is arisen from the different behaviors of matter waves in the region of potential variation.


title: Quantum mechanics of round magnetic electron lenses with Glaser and power law models of $B(z)$

abstract: Scalar theory of quantum electron beam optics, at the single-particle level, derived from the Dirac equation using a Foldy-Wouthuysen-like transformation technique is considered. Round magnetic electron lenses with Glaser and power law models for the axial magnetic field $B(z)$ are studied. Paraxial quantum propagator for the Glaser model lens is obtained in terms of the well known fundamental solutions of its paraxial equation of motion. In the case of lenses with the power law model for $B(z)$ the well known fundamental solutions of the paraxial equations, obtained by solving the differential equation, are constructed using the Peano-Baker series also. Quantum mechanics of aberrations is discussed briefly. Role of quantum uncertainties in aberrations, and in the nonlinear part of the equations of motion for a nonparaxial beam, is pointed out. The main purpose of this article is to understand the quantum mechanics of electron beam optics though the influence of quantum effects on the optics of present-day electron beam devices might be negligible.


title: Dispersive readout of reconfigurable ambipolar quantum dots in a silicon-on-insulator nanowire

abstract: We report on ambipolar gate-defined quantum dots in silicon on insulator (SOI) nanowires fabricated using a customised complementary metal-oxide-semiconductor (CMOS) process. The ambipolarity was achieved by extending a gate over an intrinsic silicon channel to both highly doped n-type and p-type terminals. We utilise the ability to supply ambipolar carrier reservoirs to the silicon channel to demonstrate an ability to reconfigurably define, with the same electrodes, double quantum dots with either holes or electrons. We use gate-based reflectometry to sense the inter-dot charge transition(IDT) of both electron and hole double quantum dots, achieving a minimum integration time of 160(100) $\mu$s for electrons (holes). Our results present the opportunity to combine, in a single device, the long coherence times of electron spins with the electrically controllable holes spins in silicon.


title: Ferrofluidic aqueous two-phase system with ultralow interfacial tension, instabilities and pattern formation

abstract: Ferrofluids are strongly magnetic fluids consisting of magnetic nanoparticles dispersed in a carrier fluid. Besides their technological applications, they have a tendency to form beautiful and intriguing patterns when subjected to external static and dynamic magnetic fields. Most of the patterns occur in systems consisting of two fluids: one ferrofluidic and one non-magnetic (oil, air, etc.), wherein the fluid-fluid interface deforms as a response to magnetic fields. Usually, the fluids are completely immiscible and so the interfacial energy in this systems is very large. Here we show that it is possible to design a fully aqueous ferrofluid system by using phase separation of incompatible polymers. This continuous aqueous system allows an ultralow interfacial tension (down to 1 $\mu$N/m) and nearly vanishing pinning at three phase contact lines. We demonstrate the normal-field instability with the system and focus on the miniaturization of the pattern length from the typical $\sim$10 mm size down to $\sim$200 $\mu$m. The normal-field instability is characterized in glass capillaries of thickness comparable to the pattern length. This system paves way towards interesting physics such as the interaction between magnetic instabilities and thermal capillary waves and offers a way to evaluate extremely small interfacial tensions.


title: ChemoVerse: Manifold traversal of latent spaces for novel molecule discovery

abstract: In order to design a more potent and effective chemical entity, it is essential to identify molecular structures with the desired chemical properties. Recent advances in generative models using neural networks and machine learning are being widely used by many emerging startups and researchers in this domain to design virtual libraries of drug-like compounds. Although these models can help a scientist to produce novel molecular structures rapidly, the challenge still exists in the intelligent exploration of the latent spaces of generative models, thereby reducing the randomness in the generative procedure. In this work we present a manifold traversal with heuristic search to explore the latent chemical space. Different heuristics and scores such as the Tanimoto coefficient, synthetic accessibility, binding activity, and QED drug-likeness can be incorporated to increase the validity and proximity for desired molecular properties of the generated molecules. For evaluating the manifold traversal exploration, we produce the latent chemical space using various generative models such as grammar variational autoencoders (with and without attention) as they deal with the randomized generation and validity of compounds. With this novel traversal method, we are able to find more unseen compounds and more specific regions to mine in the latent space. Finally, these components are brought together in a simple platform allowing users to perform search, visualization and selection of novel generated compounds.


title: A Local Trace Formula for the Local Gan-Gross-Prasad Conjecture for Special Orthogonal Groups

abstract: Through combining the work of Jean-Loup Waldspurger (\cite{waldspurger10} and \cite{waldspurgertemperedggp}) and Rapha\"el Beuzart-Plessis (\cite{beuzart2015local}), we give a proof for the tempered part of the local Gan-Gross-Prasad conjecture (\cite{ggporiginal}) for special orthogonal groups over any local fields of characteristic zero, which was already proved by Waldspurger over $p$-adic fields.


title: Design guidelines for a highly efficient high-purity Germanium (HPGe)-based double-heterojunction solar cell

abstract: In spite of having higher carrier mobilities and absorption coefficients of germanium (Ge) than those of silicon (Si), there has been less focus on Ge-based solar cells due to the low bandgap and high-cost of Ge wafer as well as requirement of its high-purity level. Currently, availability of high-purity Ge (HPGe), the low-cost wafer slicing method and proper design guidelines make it possible to design HPGe-based solar cells. Accordingly, in this article, we have designed and simulated a novel n-CdS/p-HPGe/p+-BaSi2 based npp+ double-heterojunction solar cell, where HPGe, cadmium sulfide (CdS) and orthorhombic barium disilicide (beta-BaSi2) have been used as the absorber, window and back-surface field (BSF) layers, respectively. Using the solar cell capacitance simulator (SCAPS-1D), the effects of different physical parameters such as the thickness, doping and defect densities, band offsets and temperature on the photovoltaic (PV) parameters of the designed solar cells have been investigated systematically. This article renders the optimized PV parameters to improve the device performance with the highest power conversion efficiency (PCE) of ~45.65% with a high open-circuit voltage of 1.16 V owing to the high built-in voltage of 1.7 V for the n-CdS/p-HPGe/p+-BaSi2 solar cells. This efficiency is almost consistent with the detailed-balance limit for double heterojunction solar cell.