title: Integrating the Common Variability Language with Multilanguage Annotations for Web Engineering

abstract: Web applications development involves managing a high diversity of files and resources like code, pages or style sheets, implemented in different languages. To deal with the automatic generation of custom-made configurations of web applications, industry usually adopts annotation-based approaches despite the majority of studies encourage the use of composition-based approaches to implement Software Product Lines. Recent work tries to combine both approaches to get the complementary benefits. However, technological companies are reticent to adopt new development paradigms such as feature-oriented programming or aspect-oriented programming. Moreover, it is extremely difficult, or even impossible, to apply these programming models to web applications, mainly because of their multilingual nature, since their development involves multiple types of source code (Java, Groovy, JavaScript), templates (HTML, Markdown, XML), style sheet files (CSS and its variants, such as SCSS), and other files (JSON, YML, shell scripts). We propose to use the Common Variability Language as a composition-based approach and integrate annotations to manage fine grained variability of a Software Product Line for web applications. In this paper, we (i) show that existing composition and annotation-based approaches, including some well-known combinations, are not appropriate to model and implement the variability of web applications; and (ii) present a combined approach that effectively integrates annotations into a composition-based approach for web applications. We implement our approach and show its applicability with an industrial real-world system.


title: The production of gauge bosons pairs $W^+W^-$ associated with 0, 1 and 2 jets in proton-proton collisions at LHC

abstract: We report in this work the production of $W^+W^-$ pairs gauge bosons associated with 0, 1 and 2 jets in proton-proton collisions at LHC with an energy of 14 TeV in the center of mass. These processes are produced at leading-order (LO) and next-to-leading-order (NLO) with QCD corrections in the standard model, using MadGraph5@aMC. For a realistic description of the processes, we match the hard scattering processes with Pythia8 parton showering and hadronization. The obtained events are run through the fast detector simulation, Delphes, which serves to accurately model the ATLAS and CMS detectors and the final state reconstructions that are performed. We analyze the total cross sections according on two cuts in jet transverse momentum p T,j > 20 GeV and p T,j > 100 GeV. We describe the important numerical aspects of our calculations by presenting transverse momentum and rapidity distributions at partonic fixed order and at parton shower for both W and the $W^+W^-$ pair.


title: Connectivity for an unlabelled bridge-addable graph class

abstract: Let the class A of graphs be bridge-addable; that is, whenever a graph G in A has vertices u and v in different components then the graph G+uv is in A. For a random graph sampled uniformly from the graphs in A on vertex set {1,..,n}, there are known lower bounds on the probability of being connected (for example, the probability is always at least 1/e). We ask here about similar results when the random graph is sampled uniformly from the unlabelled n-vertex graphs in A.


title: A Software-Defined Networking approach for congestion control in Opportunistic Networking

abstract: The short-term adoption of opportunistic networks (OppNet) depends on improving the current performance of this type of network. Software-Defined Networks (SDN) architecture is used by Internet applications with high resource demand. SDN technology improves network performance by programmatically managing the network configuration by using a control layer. In this paper, we propose that OppNet nodes use a control layer to get an overview of the whole network and use this knowledge to apply policies to get a better performance of the network. As a use case for our experimentation, we have focused on improving congestion control in OppNet with a control layer that dynamically regulates the replication degree used by forwarding algorithms. We have compared the performance of our proposal with two different configurations of the OppNet, over two community scenarios based on real mobility traces. The results of the test prove that our SDN-like approach overruns the other two approaches in terms of delivery ratio and latency time performance.


title: A condition for Hamiltonicity in Sparse Random Graphs with a Fixed Degree Sequence

abstract: We consider the random graph $G_{n, {\bf d}}$ chosen uniformly at random from the set of all graphs with a given sparse degree sequence ${\bf d}$. We assume ${\bf d}$ has minimum degree at least 4, at most a power law tail, and place one more condition on its tail. For $k\ge 2$ define $\beta_k(G) = \max e(A, B) + k(|A|-|B|) - d(A)$, with the maximum taken over disjoint vertex sets $A, B$. It is shown that the problem of determining if $G_{n, {\bf d}}$ contains a Hamilton cycle reduces to calculating $\beta_2(G_{n, {\bf d}})$. If $k\ge 2$ and $\delta\ge k+2$, the problem of determining if $G_{n, {\bf d}}$ contains a $k$-factor reduces to calculating $\beta_k(G_{n, {\bf d}})$.


title: The Stochastic Strichartz estimates and stochastic nonlinear Schr\"{o}dinger equations driven by L\'{e}vy noise

abstract: We establish a new version of the stochastic Strichartz estimate for the stochastic convolution driven by jump noise which we apply to the stochastic nonlinear Schr\"{o}dinger equation with nonlinear multiplicative jump noise in the Marcus canonical form. With the help of the deterministic Strichartz estimates, we prove the existence and uniqueness of a global solution to stochastic nonlinear Schr\"{o}dinger equation in $L^2(\RR^n)$ with either focusing or defocusing nonlinearity in the full subcritical range of exponents as in the deterministic case.


title: Model-based clustering for multidimensional social networks

abstract: Social network data are relational data recorded among a group of actors, interacting in different contexts. Often, the same set of actors can be characterized by multiple social relations, captured by a multidimensional network. A common situation is that of colleagues working in the same institution, whose social interactions can be defined on professional and personal levels. In addition, individuals in a network tend to interact more frequently with similar others, naturally creating communities. Latent space models for network data are useful to recover clustering of the actors, as they allow to represent similarities between them by their positions and relative distances in an interpretable low dimensional social space. We propose the infinite latent position cluster model for multidimensional network data, which enables model-based clustering of actors interacting across multiple social dimensions. The model is based on a Bayesian nonparametric framework, that allows to perform automatic inference on the clustering allocations, the number of clusters, and the latent social space. The method is tested on simulated data experiments, and it is employed to investigate the presence of communities in two multidimensional networks recording relationships of different types among colleagues.


title: Characterization of lip sets

abstract: We denote the local ``little" Lipschitz constant of a function $f: {{\mathbb R}}\to { {\mathbb R}}$ by $ {\mathrm{lip}}f$. In this paper we settle the following question: For which sets $E {\subset} { {\mathbb R}}$ is it possible to find a continuous function $f$ such that $ {\mathrm{lip}}f=\mathbf{1} _E$? In an earlier paper we introduced the concept of strongly one-sided dense sets. Our main result characterizes $ {\mathrm{lip}}1$ sets as countable unions of closed sets which are strongly one-sided dense. We also show that a stronger statement is not true i.e. there are strongly one-sided dense $F _\sigma$ sets which are not $ {\mathrm{lip}}1$.


title: Bi-interpretation in weak set theories

abstract: In contrast to the robust mutual interpretability phenomenon in set theory, Ali Enayat proved that bi-interpretation is absent: distinct theories extending ZF are never bi-interpretable and models of ZF are bi-interpretable only when they are isomorphic. Nevertheless, for natural weaker set theories, we prove, including Zermelo-Fraenkel set theory $\text{ZFC}^-$ without power set and Zermelo set theory Z, there are nontrivial instances of bi-interpretation. Specifically, there are well-founded models of $\text{ZFC}^-$ that are bi-interpretable, but not isomorphic---even $\langle H_{\omega_1},\in\rangle$ and $\langle H_{\omega_2},\in\rangle$ can be bi-interpretable---and there are distinct bi-interpretable theories extending $\text{ZFC}^-$. Similarly, using a construction of Mathias, we prove that every model of ZF is bi-interpretable with a model of Zermelo set theory in which the replacement axiom fails.


title: Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry

abstract: We study the symmetric weighted first-order model counting task and present ApproxWFOMC, a novel anytime method for efficiently bounding the weighted first-order model count in the presence of an unweighted first-order model counting oracle. The algorithm has applications to inference in a variety of first-order probabilistic representations, such as Markov logic networks and probabilistic logic programs. Crucially for many applications, we make no assumptions on the form of the input sentence. Instead, our algorithm makes use of the symmetry inherent in the problem by imposing cardinality constraints on the number of possible true groundings of a sentence's literals. Realising the first-order model counting oracle in practice using the approximate hashing-based model counter ApproxMC3, we show how our algorithm outperforms existing approximate and exact techniques for inference in first-order probabilistic models. We additionally provide PAC guarantees on the generated bounds.


title: Towards Deep Unsupervised SAR Despeckling with Blind-Spot Convolutional Neural Networks

abstract: SAR despeckling is a problem of paramount importance in remote sensing, since it represents the first step of many scene analysis algorithms. Recently, deep learning techniques have outperformed classical model-based despeckling algorithms. However, such methods require clean ground truth images for training, thus resorting to synthetically speckled optical images since clean SAR images cannot be acquired. In this paper, inspired by recent works on blind-spot denoising networks, we propose a self-supervised Bayesian despeckling method. The proposed method is trained employing only noisy images and can therefore learn features of real SAR images rather than synthetic data. We show that the performance of the proposed network is very close to the supervised training approach on synthetic data and competitive on real data.


title: Quantum Monte Carlo simulation of intervortex potential in superconductors

abstract: We investigate the interaction potential of superconducting vortices at the full quantum level. We formulate the interaction potential in a constrained path integral and calculate it by the quantum Monte Carlo simulation. The vortex-vortex potential is attractive (type-I), repulsive (type-II), and flat (critical) depending on a coupling constant. The vortex-antivortex potential also depends on the coupling constant at long range but is always attractive at short range.


title: Deep Learning for MIR Tutorial

abstract: Deep Learning has become state of the art in visual computing and continuously emerges into the Music Information Retrieval (MIR) and audio retrieval domain. In order to bring attention to this topic we propose an introductory tutorial on deep learning for MIR. Besides a general introduction to neural networks, the proposed tutorial covers a wide range of MIR relevant deep learning approaches. \textbf{Convolutional Neural Networks} are currently a de-facto standard for deep learning based audio retrieval. \textbf{Recurrent Neural Networks} have proven to be effective in onset detection tasks such as beat or audio-event detection. \textbf{Siamese Networks} have been shown effective in learning audio representations and distance functions specific for music similarity retrieval. We will incorporate both academic and industrial points of view into the tutorial. Accompanying the tutorial, we will create a Github repository for the content presented at the tutorial as well as references to state of the art work and literature for further reading. This repository will remain public after the conference.


title: Correcting Decalibration of Stereo Cameras in Self-Driving Vehicles

abstract: We address the problem of optical decalibration in mobile stereo camera setups, especially in context of autonomous vehicles. In real world conditions, an optical system is subject to various sources of anticipated and unanticipated mechanical stress (vibration, rough handling, collisions). Mechanical stress changes the geometry between the cameras that make up the stereo pair, and as a consequence, the pre-calculated epipolar geometry is no longer valid. Our method is based on optimization of camera geometry parameters and plugs directly into the output of the stereo matching algorithm. Therefore, it is able to recover calibration parameters on image pairs obtained from a decalibrated stereo system with minimal use of additional computing resources. The number of successfully recovered depth pixels is used as an objective function, which we aim to maximize. Our simulation confirms that the method can run constantly in parallel to stereo estimation and thus help keep the system calibrated in real time. Results confirm that the method is able to recalibrate all the parameters except for the baseline distance, which scales the absolute depth readings. However, that scaling factor could be uniquely determined using any kind of absolute range finding methods (e.g. a single beam time-of-flight sensor).


title: AVOLAR. A high voltage generator for liquid argon time projection chambers

abstract: Some of the main neutrino oscillation and dark matter experiments have chosen time projection chambers (TPC) filled with liquid argon (LAr) as their technology for the next generation of detectors. Because of its typical drift length of several meters, relatively large cathode voltages are desirable to provide a sizeable drift field. Current designs are based on feedthroughs with high voltages (HV) limited to several hundred kV. The present work proposes a novel method to produce higher voltages inside the detector. It is based on a Van de Graaff HV generator where the charge transporting belt is replaced by a cryogenic LAr flow. Negative charge is injected in liquid by means of a grounded sharp point facing a positive voltage electrode with a high speed LAr stream in between. The LAr flow transports the charge to the cathode through an electrically insulating pipe. In the cathode the charge is extracted with a metallic mesh. The LAr flux is driven by a cryogenic helium pump with unidirectional valves assuring a continuous flow. The LAr operational temperature is maintained by a pressurized liquid nitrogen deposit with automatic filling. The whole system is installed within a dewar container that will be filled with LAr reproducing the typical TPC conditions. This design has no mobile parts, so it is very robust and can be easily embedded within the structural support of a TPC cathode. A prototype of this HV generator has been constructed at CIEMAT (Madrid), and is currently being characterized. This R&D is presented and the preliminary results are discussed.


title: Nonlinear Improvement of Qubit-qudit Entanglement Witnesses

abstract: The entanglement witness is an important and experimentally applicable tool for entanglement detection. In this paper, we provide a nonlinear improvement of any entanglement witness for $2\otimes d$ quantum systems. Compared with any existing entanglement witness, the improved separability criterion only needs two more measurements on local observables. Detailed examples are employed to illustrate the efficiency of the nonlinear improvement for general, optimal and non-decomposable entanglement witnesses.


title: Continuous-action Reinforcement Learning for Playing Racing Games: Comparing SPG to PPO

abstract: In this paper, a novel racing environment for OpenAI Gym is introduced. This environment operates with continuous action- and state-spaces and requires agents to learn to control the acceleration and steering of a car while navigating a randomly generated racetrack. Different versions of two actor-critic learning algorithms are tested on this environment: Sampled Policy Gradient (SPG) and Proximal Policy Optimization (PPO). An extension of SPG is introduced that aims to improve learning performance by weighting action samples during the policy update step. The effect of using experience replay (ER) is also investigated. To this end, a modification to PPO is introduced that allows for training using old action samples by optimizing the actor in log space. Finally, a new technique for performing ER is tested that aims to improve learning speed without sacrificing performance by splitting the training into two parts, whereby networks are first trained using state transitions from the replay buffer, and then using only recent experiences. The results indicate that experience replay is not beneficial to PPO in continuous action spaces. The training of SPG seems to be more stable when actions are weighted. All versions of SPG outperform PPO when ER is used. The ER trick is effective at improving training speed on a computationally less intensive version of SPG.


title: Safe Voting: Resilience to Abstention and Sybils

abstract: Voting rules may implement the will of the society when all eligible voters vote, and only them. However, they may fail to do so when sybil (fake or duplicate) votes are present and when only some honest (non sybil) voters actively participate. As, unfortunately, sometimes this is the case, our aim here is to address social choice in the presence of sybils and voter abstention. To do so we build upon the framework of Reality-aware Social Choice: we assume the status-quo as an ever-present distinguished alternative, and study Status-Quo Enforcing voting rules, which add virtual votes in support of the status-quo. We characterize the tradeoff between safety and liveness (the ability of active honest voters to maintain/change the status-quo, respectively) in several domains, and show that the Status-Quo Enforcing voting rules are often optimal. We comment on the applicability of our methods and analyses to the governance of digital communities.


title: FGN: Fusion Glyph Network for Chinese Named Entity Recognition

abstract: Chinese NER is a challenging task. As pictographs, Chinese characters contain latent glyph information, which is often overlooked. In this paper, we propose the FGN, Fusion Glyph Network for Chinese NER. Except for adding glyph information, this method may also add extra interactive information with the fusion mechanism. The major innovations of FGN include: (1) a novel CNN structure called CGS-CNN is proposed to capture both glyph information and interactive information between glyphs from neighboring characters. (2) we provide a method with sliding window and Slice-Attention to fuse the BERT representation and glyph representation for a character, which may capture potential interactive knowledge between context and glyph. Experiments are conducted on four NER datasets, showing that FGN with LSTM-CRF as tagger achieves new state-of-the-arts performance for Chinese NER. Further, more experiments are conducted to investigate the influences of various components and settings in FGN.


title: BIS- A Blockchain-based Solution for the Insurance Industry in Smart Cities

abstract: Insurance is one of the fundamental services offered to the citizens to reduce their costs and assist them in case of an emergency. One of the most important challenges in the insurance industry is to address liability challenge and the forging of documents by the involved parties, i.e., insurance company or the users, in order to increase financial gain. Conventional methods to address this challenge is significantly time consuming and costly and also suffers from lock of transparency. In this paper, we propose a blockchain-based solution for the insurance industry in smart cities (BIS). BIS creates a big umbrella that consists of the smart city managers, insurance companies, users, and sensors and devices. The users are known by changeable Public Keys (PKs) that introduces a level of anonymity. The data collected by the sensors is stored in cloud or local storage and is shared with insurance company on demand to find the liable party that in turn increases the privacy of the users. BIS enables the users to prove and share the history of their insurances with other users or insurances. Using Proof of Concept (POC) implementation we demonstrated the applicability of blockchain in insurance industry. The implementation results prove that BIS significantly reduces delay involved in insurance industry as compared with conventional insurance methods.


title: A characterization of projective spaces from the Mori theoretic viewpoint

abstract: We give a characterization of projective spaces for quasi-log canonical pairs from the Mori theoretic viewpoint.


title: Reactive flow in fractured porous media

abstract: In this work we present a model reduction procedure to derive a hybrid-dimensional framework for the mathematical modeling of reactive transport in fractured porous media. Fractures are essential pathways in the underground which allow fast circulation of the fluids present in the rock matrix, often characterized by low permeability. However, due to infilling processes fractures may change their hydraulic properties and become barriers for the flow creating impervious blocks. The geometrical as well as the physical properties of the fractures require a special treatment to allow the subsequent numerical discretization to be affordable and accurate. The aim of this work is to introduce a simple yet complete mathematical model to account for such diagenetic effects where chemical reactions will occlude or empty portions of the porous media and, in particular, fractures.


title: Cloudless Friend-to-Friend Middleware for Smartphones

abstract: Using smartphones for peer-to-peer communication over the Internet is difficult without the aid of centralized services. These centralized services, which usually reside in the cloud, are necessary for brokering communication between peers, and all communication must pass through them. A reason for this is that smartphones lack publicly reachable IP addresses. Also, because people carry their smartphones with them, smartphones will often disconnect from one network and connect to another. Smartphones can also go offline. Additionally, a network of trusted peers (or friends) requires a directory of known peers, authentication mechanisms, and secure communication channels. In this paper, we propose a peer-to-peer middleware that provides these features without the need for centralized services.


title: Model-Driven Beamforming Neural Networks

abstract: Beamforming is evidently a core technology in recent generations of mobile communication networks. Nevertheless, an iterative process is typically required to optimize the parameters, making it ill-placed for real-time implementation due to high complexity and computational delay. Heuristic solutions such as zero-forcing (ZF) are simpler but at the expense of performance loss. Alternatively, deep learning (DL) is well understood to be a generalizing technique that can deliver promising results for a wide range of applications at much lower complexity if it is sufficiently trained. As a consequence, DL may present itself as an attractive solution to beamforming. To exploit DL, this article introduces general data- and model-driven beamforming neural networks (BNNs), presents various possible learning strategies, and also discusses complexity reduction for the DL-based BNNs. We also offer enhancement methods such as training-set augmentation and transfer learning in order to improve the generality of BNNs, accompanied by computer simulation results and testbed results showing the performance of such BNN solutions.


title: CLIC Higgs coupling prospects with a longer first energy stage

abstract: One of the most attractive features of a linear collider is the ability to extend its energy reach in stages, and to adapt the running plan flexibly in terms of maximum centre-of-mass energy and time spent at each stage. The baseline luminosity staging scenario for CLIC is well-established, and has been used to obtain sensitivity projections for Standard Model measurements and Beyond Standard Model scenarios. Here, as an exercise to illustrate what could be obtained from an alternative running scenario, Higgs coupling sensitivities are presented for the case where more data is collected at the initial stage $\sqrt{s}=380$ GeV, before proceeding to the higher energy stages of $\sqrt{s}=1.5$ and 3 TeV. This could be achieved through running for longer, or operating the collider at an increased repetition rate of 100 Hz at the initial stage, or a combination of both.


title: DGCM-Net: Dense Geometrical Correspondence Matching Network for Incremental Experience-based Robotic Grasping

abstract: This article presents a method for grasping novel objects by learning from experience. Successful attempts are remembered and then used to guide future grasps such that more reliable grasping is achieved over time. To generalise the learned experience to unseen objects, we introduce the dense geometric correspondence matching network (DGCM-Net). This applies metric learning to encode objects with similar geometry nearby in feature space. Retrieving relevant experience for an unseen object is thus a nearest neighbour search with the encoded feature maps. DGCM-Net also reconstructs 3D-3D correspondences using the view-dependent normalised object coordinate space to transform grasp configurations from retrieved samples to unseen objects. In comparison to baseline methods, our approach achieves an equivalent grasp success rate. However, the baselines are significantly improved when fusing the knowledge from experience with their grasp proposal strategy. Offline experiments with a grasping dataset highlight the capability to generalise within and between object classes as well as to improve success rate over time from increasing experience. Lastly, by learning task-relevant grasps, our approach can prioritise grasps that enable the functional use of objects.


title: Double Higgs boson production as an exclusive probe for a sequential fourth generation with wrong-sign Yukawa couplings

abstract: It has been shown that the data from the Large Hadron Collider (LHC) does not rule out a chiral sequential fourth generation of fermions that obtain their masses through an identical mechanism as the other three generations do. However, this is possible only if the scalar sector of the Standard Model is suitably enhanced, like embedding it in a type-II two-Higgs doublet model. In this article, we try to show that double Higgs production (DHP) can unveil the existence of such a hidden fourth generation in a very efficient way. While the DHP cross-section in the SM is quite small, it is significantly enhanced with a fourth generation. We perform a detailed analysis of the dependence of the DHP cross-section on the model parameters, and show that either a positive signal of DHP is seen in the early next run of the LHC, or the model is ruled out.


title: Min-Max Elementwise Backward Error for Roots of Polynomials and a Corresponding Backward Stable Root Finder

abstract: A new measure called min-max elementwise backward error is introduced for approximate roots of scalar polynomials $p(z)$. Compared with the elementwise relative backward error, this new measure allows for larger relative perturbations on the coefficients of $p(z)$ that do not participate much in the overall backward error. By how much these coefficients can be perturbed is determined via an associated max-times polynomial and its tropical roots. An algorithm is designed for computing the roots of $p(z)$. It uses a companion linearization $C(z) = A-zB$ of $p(z)$ to which we added an extra zero leading coefficient, and an appropriate two-sided diagonal scaling that balances $A$ and makes $B$ graded in particular when there is variation in the magnitude of the coefficients of $p(z)$. An implementation of the QZ algorithm with a strict deflation criterion for eigenvalues at infinity is then used to obtain approximations to the roots of $p(z)$. Under the assumption that this implementation of the QZ algorithm exhibits a graded backward error when $B$ is graded, we prove that our new algorithm is min-max elementwise backward stable. Several numerical experiments show the superior performance of the new algorithm compared with the MATLAB \texttt{roots} function. Extending the algorithm to polynomial eigenvalue problems leads to a new polynomial eigensolver that exhibits excellent numerical behaviour compared with other existing polynomial eigensolvers, as illustrated by many numerical tests.


title: Behaviour of observables for neutral meson decaying to two vectors in the presence of $T$, $CP$ and $CPT$ violation in mixing only

abstract: When a neutral meson $(P^0 \text{ or } \bar P^0)$ decays to two vector particles, a large number of observables can be constructed from differential decay rate based on the polarization of final state. But, theoretically, all of them are not independent to each other and hence, some relations among observables emerge. These relations have been well studied in the scenario with no $T$ and $CPT$ violation in neutral meson mixing and no direct $CP$ violation as well. In this paper, we have studied the relations among observables in the presence of $T$, $CP$ and $CPT$ violating effects in mixing only. We find that except four of them, all the other old relations get violated and new relations appear if $T$ and $CPT$ violations in mixing are present. Invalidity of these relation will signify the presence of direct violation of $T$, $CP$ and $CPT$ (i.e. violation in the decay itself).


title: NEW: A Generic Learning Model for Tie Strength Prediction in Networks

abstract: Tie strength prediction, sometimes named weight prediction, is vital in exploring the diversity of connectivity pattern emerged in networks. Due to the fundamental significance, it has drawn much attention in the field of network analysis and mining. Some related works appeared in recent years have significantly advanced our understanding of how to predict the strong and weak ties in the social networks. However, most of the proposed approaches are scenario-aware methods heavily depending on some special contexts and even exclusively used in social networks. As a result, they are less applicable to various kinds of networks. In contrast to the prior studies, here we propose a new computational framework called Neighborhood Estimating Weight (NEW) which is purely driven by the basic structure information of the network and has the flexibility for adapting to diverse types of networks. In NEW, we design a novel index, i.e., connection inclination, to generate the representative features of the network, which is capable of capturing the actual distribution of the tie strength. In order to obtain the optimized prediction results, we also propose a parameterized regression model which approximately has a linear time complexity and thus is readily extended to the implementation in large-scale networks. The experimental results on six real-world networks demonstrate that our proposed predictive model outperforms the state of the art methods, which is powerful for predicting the missing tie strengths when only a part of the network's tie strength information is available.


title: Improving Spoken Language Understanding By Exploiting ASR N-best Hypotheses

abstract: In a modern spoken language understanding (SLU) system, the natural language understanding (NLU) module takes interpretations of a speech from the automatic speech recognition (ASR) module as the input. The NLU module usually uses the first best interpretation of a given speech in downstream tasks such as domain and intent classification. However, the ASR module might misrecognize some speeches and the first best interpretation could be erroneous and noisy. Solely relying on the first best interpretation could make the performance of downstream tasks non-optimal. To address this issue, we introduce a series of simple yet efficient models for improving the understanding of semantics of the input speeches by collectively exploiting the n-best speech interpretations from the ASR module.


title: Detecting New Word Meanings: A Comparison of Word Embedding Models in Spanish

abstract: Semantic neologisms (SN) are defined as words that acquire a new word meaning while maintaining their form. Given the nature of this kind of neologisms, the task of identifying these new word meanings is currently performed manually by specialists at observatories of neology. To detect SN in a semi-automatic way, we developed a system that implements a combination of the following strategies: topic modeling, keyword extraction, and word sense disambiguation. The role of topic modeling is to detect the themes that are treated in the input text. Themes within a text give clues about the particular meaning of the words that are used, for example: viral has one meaning in the context of computer science (CS) and another when talking about health. To extract keywords, we used TextRank with POS tag filtering. With this method, we can obtain relevant words that are already part of the Spanish lexicon. We use a deep learning model to determine if a given keyword could have a new meaning. Embeddings that are different from all the known meanings (or topics) indicate that a word might be a valid SN candidate. In this study, we examine the following word embedding models: Word2Vec, Sense2Vec, and FastText. The models were trained with equivalent parameters using Wikipedia in Spanish as corpora. Then we used a list of words and their concordances (obtained from our database of neologisms) to show the different embeddings that each model yields. Finally, we present a comparison of these outcomes with the concordances of each word to show how we can determine if a word could be a valid candidate for SN.


title: Exploring and Improving Robustness of Multi Task Deep Neural Networks via Domain Agnostic Defenses

abstract: In this paper, we explore the robustness of the Multi-Task Deep Neural Networks (MT-DNN) against non-targeted adversarial attacks across Natural Language Understanding (NLU) tasks as well as some possible ways to defend against them. Liu et al., have shown that the Multi-Task Deep Neural Network, due to the regularization effect produced when training as a result of its cross task data, is more robust than a vanilla BERT model trained only on one task (1.1%-1.5% absolute difference). We further show that although the MT-DNN has generalized better, making it easily transferable across domains and tasks, it can still be compromised as after only 2 attacks (1-character and 2-character) the accuracy drops by 42.05% and 32.24% for the SNLI and SciTail tasks. Finally, we propose a domain agnostic defense which restores the model's accuracy (36.75% and 25.94% respectively) as opposed to a general-purpose defense or an off-the-shelf spell checker.


title: Spectrum and rearrangement decays of tetraquark states with four different flavors

abstract: We have systematically investigated the mass spectrum and rearrangement decay properties of the exotic tetraquark states with four different flavors using a color-magnetic interaction model. Their masses are estimated by assuming that the $X(4140)$ is a $cs\bar{c}\bar{s}$ tetraquark state and their decay widths are obtained by assuming that the Hamiltonian for decay is a constant. According to the adopted method, we find that the most stable states are probably the isoscalar $bs\bar{u}\bar{d}$ and $cs\bar{u}\bar{d}$ with $J^P=0^+$ and $1^+$. The width for most unstable tetraquarks is about tens of MeVs, but that for unstable $cu\bar{s}\bar{d}$ and $cs\bar{u}\bar{d}$ can be around 100 MeV. For the $X(5568)$, our method cannot give consistent mass and width if it is a $bu\bar{s}\bar{d}$ tetraquark state. For the $I(J^P)=0(0^+),0(1^+)$ double-heavy $T_{bc}=bc\bar{u}\bar{d}$ states, their widths can be several MeVs.


title: A Comprehensive Survey on the Ambulance Routing and Location Problems

abstract: In this research, an extensive literature review was performed on the recent developments of the ambulance routing problem (ARP) and ambulance location problem (ALP). Both are respective modifications of the vehicle routing problem (VRP) and maximum covering problem (MCP), with modifications to objective functions and constraints. Although alike, a key distinction is emergency service systems (EMS) are considered critical and the optimization of these has become all the more important as a result. Similar to their parent problems, these are NP-hard and must resort to approximations if the space size is too large. Much of the current work has simply been on modifying existing systems through simulation to achieve a more acceptable result. There has been attempts towards using meta-heuristics, though practical experimentation is lacking when compared to VRP or MCP. The contributions of this work are a comprehensive survey of current methodologies, summarized models, and suggested future improvements.


title: Selected applications of typicality to real-time dynamics of quantum many-body systems

abstract: Loosely speaking, the concept of quantum typicality refers to the fact that a single pure state can imitate the full statistical ensemble. This fact has given rise to a rather simple but remarkably useful numerical approach to simulate the dynamics of quantum many-body systems, called dynamical quantum typicality (DQT). In this paper, we give a brief overview of selected applications of DQT, where particular emphasis is given to questions on transport and thermalization in low-dimensional lattice systems like chains or ladders of interacting spins or fermions. For these systems, we discuss that DQT provides an efficient means to obtain time-dependent equilibrium correlation functions for comparatively large Hilbert-space dimensions and long time scales, allowing the quantitative extraction of transport coefficients within the framework of, e.g., linear response theory. Furthermore, it is discussed that DQT can also be used to study the far-from-equilibrium dynamics resulting from sudden quench scenarios, where the initial state is a thermal Gibbs state of the pre-quench Hamiltonian. Eventually, we summarize a few combinations of DQT with other approaches such as numerical linked cluster expansions or projection operator techniques. In this way, we demonstrate the versatility of DQT.


title: Morton Filters for Superior Template Protection for Iris Recognition

abstract: We address the fundamental performance issues of template protection (TP) for iris verification. We base our work on the popular Bloom-Filter templates protection & address the key challenges like sub-optimal performance and low unlinkability. Specifically, we focus on cases where Bloom-filter templates results in non-ideal performance due to presence of large degradations within iris images. Iris recognition is challenged with number of occluding factors such as presence of eye-lashes within captured image, occlusion due to eyelids, low quality iris images due to motion blur. All of such degrading factors result in obtaining non-reliable iris codes & thereby provide non-ideal biometric performance. These factors directly impact the protected templates derived from iris images when classical Bloom-filters are employed. To this end, we propose and extend our earlier ideas of Morton-filters for obtaining better and reliable templates for iris. Morton filter based TP for iris codes is based on leveraging the intra and inter-class distribution by exploiting low-rank iris codes to derive the stable bits across iris images for a particular subject and also analyzing the discriminable bits across various subjects. Such low-rank non-noisy iris codes enables realizing the template protection in a superior way which not only can be used in constrained setting, but also in relaxed iris imaging. We further extend the work to analyze the applicability to VIS iris images by employing a large scale public iris image database - UBIRIS(v1 & v2), captured in a unconstrained setting. Through a set of experiments, we demonstrate the applicability of proposed approach and vet the strengths and weakness. Yet another contribution of this work stems in assessing the security of the proposed approach where factors of Unlinkability is studied to indicate the antagonistic nature to relaxed iris imaging scenarios.


title: Algorithms for Optimizing Fleet Staging of Air Ambulances

abstract: In a disaster situation, air ambulance rapid response will often be the determining factor in patient survival. Obstacles intensify this circumstance, with geographical remoteness and limitations in vehicle placement making it an arduous task. Considering these elements, the arrangement of responders is a critical decision of the utmost importance. Utilizing real mission data, this research structured an optimal coverage problem with integer linear programming. For accurate comparison, the Gurobi optimizer was programmed with the developed model and timed for performance. A solution implementing base ranking followed by both local and Tabu search-based algorithms was created. The local search algorithm proved insufficient for maximizing coverage, while the Tabu search achieved near-optimal results. In the latter case, the total vehicle travel distance was minimized and the runtime significantly outperformed the one generated by Gurobi. Furthermore, variations utilizing parallel CUDA processing further decreased the algorithmic runtime. These proved superior as the number of test missions increased, while also maintaining the same minimized distance.


title: The empirical structure of word frequency distributions

abstract: The frequencies at which individual words occur across languages follow power law distributions, a pattern of findings known as Zipf's law. A vast literature argues over whether this serves to optimize the efficiency of human communication, however this claim is necessarily post hoc, and it has been suggested that Zipf's law may in fact describe mixtures of other distributions. From this perspective, recent findings that Sinosphere first (family) names are geometrically distributed are notable, because this is actually consistent with information theoretic predictions regarding optimal coding. First names form natural communicative distributions in most languages, and I show that when analyzed in relation to the communities in which they are used, first name distributions across a diverse set of languages are both geometric and, historically, remarkably similar, with power law distributions only emerging when empirical distributions are aggregated. I then show this pattern of findings replicates in communicative distributions of English nouns and verbs. These results indicate that if lexical distributions support efficient communication, they do so because their functional structures directly satisfy the constraints described by information theory, and not because of Zipf's law. Understanding the function of these information structures is likely to be key to explaining humankind's remarkable communicative capacities.


title: Lazy object copy as a platform for population-based probabilistic programming

abstract: This work considers dynamic memory management for population-based probabilistic programs, such as those using particle methods for inference. Such programs exhibit a pattern of allocating, copying, potentially mutating, and deallocating collections of similar objects through successive generations. These objects may assemble data structures such as stacks, queues, lists, ragged arrays, and trees, which may be of random, and possibly unbounded, size. For the simple case of $N$ particles, $T$ generations, $D$ objects, and resampling at each generation, dense representation requires $O(DNT)$ memory, while sparse representation requires only $O(DT+DN\log DN)$ memory, based on existing theoretical results. This work describes an object copy-on-write platform to automate this saving for the programmer. The core idea is formalized using labeled directed multigraphs, where vertices represent objects, edges the pointers between them, and labels the necessary bookkeeping. A specific labeling scheme is proposed for high performance under the motivating pattern. The platform is implemented for the Birch probabilistic programming language, using smart pointers, hash tables, and reference-counting garbage collection. It is tested empirically on a number of realistic probabilistic programs, and shown to significantly reduce memory use and execution time in a manner consistent with theoretical expectations. This enables copy-on-write for the imperative programmer, lazy deep copies for the object-oriented programmer, and in-place write optimizations for the functional programmer.


title: Distributions of differences of Riemann zeta zeros

abstract: We study distributions of differences of unscaled Riemann zeta zeros, $\gamma-\gamma'$, at large. We show, that independently of the location of the zeros, their differences have similar statistical properties. The distributions of differences are skewed towards the nearest zeta zero, have local maximum of variance and local minimum of kurtosis at or near each zeta zero. Furthermore, we show that distributions can be fitted with Johnson probability density function, despite the value of skewness or kurtosis of the distribution.


title: Language Models Are An Effective Patient Representation Learning Technique For Electronic Health Record Data

abstract: Widespread adoption of electronic health records (EHRs) has fueled the development of using machine learning to build prediction models for various clinical outcomes. This process is often constrained by having a relatively small number of patient records for training the model. We demonstrate that using patient representation schemes inspired from techniques in natural language processing can increase the accuracy of clinical prediction models by transferring information learned from the entire patient population to the task of training a specific model, where only a subset of the population is relevant. Such patient representation schemes enable a 3.5% mean improvement in AUROC on five prediction tasks compared to standard baselines, with the average improvement rising to 19% when only a small number of patient records are available for training the clinical prediction model.


title: Urdu-English Machine Transliteration using Neural Networks

abstract: Machine translation has gained much attention in recent years. It is a sub-field of computational linguistic which focus on translating text from one language to other language. Among different translation techniques, neural network currently leading the domain with its capabilities of providing a single large neural network with attention mechanism, sequence-to-sequence and long-short term modelling. Despite significant progress in domain of machine translation, translation of out-of-vocabulary words(OOV) which include technical terms, named-entities, foreign words are still a challenge for current state-of-art translation systems, and this situation becomes even worse while translating between low resource languages or languages having different structures. Due to morphological richness of a language, a word may have different meninges in different context. In such scenarios, translation of word is not only enough in order provide the correct/quality translation. Transliteration is a way to consider the context of word/sentence during translation. For low resource language like Urdu, it is very difficult to have/find parallel corpus for transliteration which is large enough to train the system. In this work, we presented transliteration technique based on Expectation Maximization (EM) which is un-supervised and language independent. Systems learns the pattern and out-of-vocabulary (OOV) words from parallel corpus and there is no need to train it on transliteration corpus explicitly. This approach is tested on three models of statistical machine translation (SMT) which include phrasebased, hierarchical phrase-based and factor based models and two models of neural machine translation which include LSTM and transformer model.


title: Dialectal Layers in West Iranian: a Hierarchical Dirichlet Process Approach to Linguistic Relationships

abstract: This paper addresses a series of complex and unresolved issues in the historical phonology of West Iranian languages. The West Iranian languages (Persian, Kurdish, Balochi, and other languages) display a high degree of non-Lautgesetzlich behavior. Most of this irregularity is undoubtedly due to language contact; we argue, however, that an oversimplified view of the processes at work has prevailed in the literature on West Iranian dialectology, with specialists assuming that deviations from an expected outcome in a given non-Persian language are due to lexical borrowing from some chronological stage of Persian. It is demonstrated that this qualitative approach yields at times problematic conclusions stemming from the lack of explicit probabilistic inferences regarding the distribution of the data: Persian may not be the sole donor language; additionally, borrowing at the lexical level is not always the mechanism that introduces irregularity. In many cases, the possibility that West Iranian languages show different reflexes in different conditioning environments remains under-explored. We employ a novel Bayesian approach designed to overcome these problems and tease apart the different determinants of irregularity in patterns of West Iranian sound change. Our methodology allows us to provisionally resolve a number of outstanding questions in the literature on West Iranian dialectology concerning the dialectal affiliation of certain sound changes. We outline future directions for work of this sort.


title: Exploring the stability of twisted van der Waals heterostructures

abstract: Recent research showed that the rotational degree of freedom in stacking 2D materials yields great changes in the electronic properties. Here we focus on an often overlooked question: are twisted geometries stable and what defines their rotational energy landscape? Our simulations show how epitaxy theory breaks down in these systems and we explain the observed behaviour in terms of an interplay between flexural phonons and the interlayer coupling, governed by Moir\'e superlattice. Our argument applied to the well-studied MoS$_2$/Graphene system rationalize experimental results and could serve as guidance to design twistronics devices.


title: Throughput Optimal Routing in Blockchain Based Payment Systems

abstract: Cryptocurrency networks such as Bitcoin have emerged as a distributed alternative to traditional centralized financial transaction networks. However, there are major challenges in scaling up the throughput of such networks. Lightning network and Spider network are alternates that build bidirectional payment channels on top of cryptocurrency networks using smart contracts, to enable fast transactions that bypass the Blockchain. In this paper, we study the problem of routing transactions in such a payment processing network. We first propose a Stochastic model to study such a system, as opposed to a fluid model that is studied in the literature. Each link in such a model is a two-sided queue, and unlike classical queues, such queues are not stable unless there is an external control. We propose a notion of stability for the payment processing network consisting of such two-sided queues using the notion of on-chain rebalancing. We then characterize the capacity region and propose a throughput optimal algorithm that stabilizes the system under any load within the capacity region. The stochastic model enables us to study closed loop policies, which typically have better queuing/delay performance than the open loop policies (or static split rules) studied in the literature. We investigate this through simulations.


title: Magnesium Oxide at Extreme Temperatures and Pressures Studied with First-Principles Simulations

abstract: We combine two first-principles computer simulation techniques, path integral Monte-Carlo and density functional theory molecular dynamics, to determine the equation of state of magnesium oxide in the regime of warm dense matter, with densities ranging from 0.35 to 71~g$\,$cm$^{-3}$ and temperatures from 10,000 K to $5\times10^8$~K. These conditions are relevant for the interiors of giant planets and stars as well as for shock wave compression measurements and inertial confinement fusion experiments. We study the electronic structure of MgO and the ionization mechanisms as a function of density and temperature. We show that the L-shell orbitals of magnesium and oxygen hybridize at high density. This results into a gradual ionization of the L-shell with increasing density and temperature. In this regard, MgO behaves differently from pure oxygen, which is reflected in the shape of the MgO principal shock Hugoniot curve. The curve of oxygen shows two compression maxima, while that of MgO shows only one. We predict a maximum compression ratio of 4.66 to occur for a temperature of 6.73 $\times 10^7$ K. Finally we study how multiple shocks and ramp waves can be used to cover a large range of densities and temperatures.


title: Dressing for a vector modified KdV hierarchy

abstract: We present the hierarchy and soliton solutions associated to a multi-component generalisation of the modified Korteweg-de Vries equation. A recursive formula for obtaining the Lax operators associated to the higher flows of the hierarchy is provided. Using the method of rational dressing and the symmetries of the Lax operators we obtain the one-soliton solution. We also derive the general rank one-breather solution and express it in terms of determinants. We present the simplest case of the one-breather solution, which is parametrised by two constant unit vectors normal to each other. Finally, we obtain the associated B\"acklund transformation for the hierarchy.


title: Testing tidal alignment models for anisotropic correlations of halo ellipticities with N-body simulations

abstract: There is a growing interest of using the intrinsic alignment (IA) of galaxy images as a tool to extract cosmological information complimentary to galaxy clustering analysis. Recently, Okumura & Taruya derived useful formulas for the intrinsic ellipticity--ellipticity correlation, the gravitational shear--intrinsic ellipticity correlation, and the velocity--intrinsic ellipticity correlation functions based on the linear alignment (LA) model. In this paper, using large-volume $N$-body simulations, we measure these alignment statistics in real and redshift space and compare them to the LA and nonlinear alignment model predictions. We find that anisotropic features of baryon acoustic oscillations in the IA statistics can be accurately predicted by our models. The anisotropy due to redshift-space distortions (RSDs) is also well described in the large-scale limit. Our results indicate that one can extract the cosmological information encoded in the IA through the Alcock-Paczynski and RSD effects.


title: CRC-Aided Belief Propagation List Decoding of Polar Codes

abstract: Although iterative decoding of polar codes has recently made huge progress based on the idea of permuted factor graphs, it still suffers from a non-negligible performance degradation when compared to state-of-the-art CRC-aided successive cancellation list (CA-SCL) decoding. In this work, we show that iterative decoding of polar codes based on the belief propagation list (BPL) algorithm can approach the error-rate performance of CA-SCL decoding and, thus, can be efficiently used for decoding the standardized 5G polar codes. Rather than only utilizing the cyclic redundancy check (CRC) as a stopping condition (i.e., for error-detection), we also aim to benefit from the error-correction capabilities of the outer CRC code. For this, we develop two distinct soft-decision CRC decoding algorithms: a Bahl-Cocke-Jelinek-Raviv (BCJR)-based approach and a sum product algorithm (SPA)-based approach. Further, an optimized selection of permuted factor graphs is analyzed and shown to reduce the decoding complexity significantly. Finally, we benchmark the proposed CRC-aided belief propagation list (CA-BPL) to state-of-the-art 5G polar codes under CA-SCL decoding and, thereby, showcase an error-rate performance not just close to the CA-SCL but also close to the maximum likelihood (ML) bound as estimated by ordered statistic decoding (OSD).


title: Computationally easy, spectrally good multipliers for congruential pseudorandom number generators

abstract: Congruential pseudorandom number generators rely on good multipliers, that is, integers that have good performance with respect to the spectral test. We provide lists of multipliers with a good lattice structure up to dimension eight and up to lag eight for generators with typical power-of-two moduli, analyzing in detail multipliers close to the square root of the modulus, whose product can be computed quickly.


title: Stability and superconductivity of lanthanum and yttrium decahydrides

abstract: Rare-earth hydrides can exhibit high-temperature superconductivity under high pressure. Here, we apply a crystal structure prediction method to the current record-holding $T_c$ material, LaH$_{10}$, and a candidate for even higher $T_c$, YH$_{10}$. We find a pressure-induced phase transition from the experimentally observed cubic LaH$_{10}$ phase to a new hexagonal phase at around 420 GPa. This hexagonal phase could explain experimental observations of hcp impurities in fcc samples. We find that YH$_{10}$ forms similar structures to LaH$_{10}$ and discuss the sensitivity of superconductivity calculations to the computational parameters used.


title: On the basic properties of $GC_n$ sets

abstract: A planar node set $\mathcal X,$ with $\#\mathcal X=\binom{n+2}{2},$ is called $GC_n$ set if each node possesses fundamental polynomial in form of a product of $n$ linear factors. We say that a node uses a line if the line is a factor of the fundamental polynomial of the node. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ At most $n+1$ nodes can be collinear in any $GC_n$ set and an $(n+1)$-node line is called a maximal line. The Gasca-Maeztu conjecture (1982) states that every $GC_n$ set has a maximal line. Until now the conjecture has been proved only for the cases $n \le 5.$ Here, for a line $\ell$ we introduce and study the concept of $\ell$-lowering of the set $\mathcal X$ and define so called proper lines. We also provide refinements of several basic properties of $GC_n$ sets regarding the maximal lines, $n$-node lines, the used lines, as well as the subset of nodes that use a given line.


title: Homoclinic dynamics in a spatial restricted four body problem blue skies into Smale horseshoes for vertical Lyapunov families

abstract: The set of transverse homoclinic intersections for a saddle-focus equilibrium in the planar equilateral restricted four-body problem admit certain simple homoclinic orbits which form the skeleton of the complete homoclinic intersection -- or homoclinic web. In the present work, the planar restricted four-body problem is viewed as an invariant subsystem of the spatial problem, and the influence of this planar homoclinic skeleton on the spatial dynamics is studied from a numerical point of view. Starting from the vertical Lyapunov families emanating from saddle focus equilibria, we compute the stable/unstable manifolds of these spatial periodic orbits and look for intersections between these manifolds near the fundamental planar homoclinics. In this way, we are able to continue all of the basic planar homoclinic motions into the spatial problem as homoclinics for appropriate vertical Lyapunov orbits which, by the Smale Tangle theorem, suggest the existence of chaotic motions in the spatial problem. While the saddle-focus equilibrium solutions in the planar problems occur only at a discrete set of energy levels, the cycle-to-cycle homoclinics in the spatial problem are robust with respect to small changes in energy.


title: Auto Completion of User Interface Layout Design Using Transformer-Based Tree Decoders

abstract: It has been of increasing interest in the field to develop automatic machineries to facilitate the design process. In this paper, we focus on assisting graphical user interface (UI) layout design, a crucial task in app development. Given a partial layout, which a designer has entered, our model learns to complete the layout by predicting the remaining UI elements with a correct position and dimension as well as the hierarchical structures. Such automation will significantly ease the effort of UI designers and developers. While we focus on interface layout prediction, our model can be generally applicable for other layout prediction problems that involve tree structures and 2-dimensional placements. Particularly, we design two versions of Transformer-based tree decoders: Pointer and Recursive Transformer, and experiment with these models on a public dataset. We also propose several metrics for measuring the accuracy of tree prediction and ground these metrics in the domain of user experience. These contribute a new task and methods to deep learning research.


title: Study of the semi-boosted topology in top anti-top quark pair spectra

abstract: The aim of this contribution is to present results of adding the semi-boosted transition region between the resolved and boosted top quark pair reconstruction in the $\ell$ + jets channel. This region is often omitted due to more complex reconstruction, which usually leads to a smaller efficiency. The reconstruction is performed for all three topologies for comparison and combination purposes. Hypothetical particle $Z'$ was used as a probe to study the increase in the number of events in the studied energy region.


title: DisCo Fever: Robust Networks Through Distance Correlation

abstract: While deep learning has proven to be extremely successful at supervised classification tasks at the LHC and beyond, for practical applications, raw classification accuracy is often not the only consideration. One crucial issue is the stability of network predictions, either versus changes of individual features of the input data, or against systematic perturbations. We present a new method based on a novel application of "distance correlation" (DisCo), a measure quantifying non-linear correlations, that achieves equal performance to state-of-the-art adversarial decorrelation networks but is much simpler and more stable to train. To demonstrate the effectiveness of our method, we carefully recast a recent ATLAS study of decorrelation methods as applied to boosted, hadronic W-tagging. We also show the feasibility of DisCo regularization for more powerful convolutional neural networks, as well as for the problem of hadronic top tagging.


title: ABCNet: An attention-based method for particle tagging

abstract: In high energy physics, graph-based implementations have the advantage of treating the input data sets in a similar way as they are collected by collider experiments. To expand on this concept, we propose a graph neural network enhanced by attention mechanisms called ABCNet. To exemplify the advantages and flexibility of treating collider data as a point cloud, two physically motivated problems are investigated: quark-gluon discrimination and pileup reduction. The former is an event-by-event classification while the latter requires each reconstructed particle to receive a classification score. For both tasks ABCNet shows an improved performance compared to other algorithms available.


title: Learning similarity measures from data

abstract: Defining similarity measures is a requirement for some machine learning methods. One such method is case-based reasoning (CBR) where the similarity measure is used to retrieve the stored case or set of cases most similar to the query case. Describing a similarity measure analytically is challenging, even for domain experts working with CBR experts. However, data sets are typically gathered as part of constructing a CBR or machine learning system. These datasets are assumed to contain the features that correctly identify the solution from the problem features, thus they may also contain the knowledge to construct or learn such a similarity measure. The main motivation for this work is to automate the construction of similarity measures using machine learning, while keeping training time as low as possible. Our objective is to investigate how to apply machine learning to effectively learn a similarity measure. Such a learned similarity measure could be used for CBR systems, but also for clustering data in semi-supervised learning, or one-shot learning tasks. Recent work has advanced towards this goal, relies on either very long training times or manually modeling parts of the similarity measure. We created a framework to help us analyze current methods for learning similarity measures. This analysis resulted in two novel similarity measure designs. One design using a pre-trained classifier as basis for a similarity measure. The second design uses as little modeling as possible while learning the similarity measure from data and keeping training time low. Both similarity measures were evaluated on 14 different datasets. The evaluation shows that using a classifier as basis for a similarity measure gives state of the art performance. Finally the evaluation shows that our fully data-driven similarity measure design outperforms state of the art methods while keeping training time low.


title: Tensor Graph Convolutional Networks for Text Classification

abstract: Compared to sequential learning models, graph-based neural networks exhibit some excellent properties, such as ability capturing global information. In this paper, we investigate graph-based neural networks for text classification problem. A new framework TensorGCN (tensor graph convolutional networks), is presented for this task. A text graph tensor is firstly constructed to describe semantic, syntactic, and sequential contextual information. Then, two kinds of propagation learning perform on the text graph tensor. The first is intra-graph propagation used for aggregating information from neighborhood nodes in a single graph. The second is inter-graph propagation used for harmonizing heterogeneous information between graphs. Extensive experiments are conducted on benchmark datasets, and the results illustrate the effectiveness of our proposed framework. Our proposed TensorGCN presents an effective way to harmonize and integrate heterogeneous information from different kinds of graphs.


title: Embedding Compression with Isotropic Iterative Quantization

abstract: Continuous representation of words is a standard component in deep learning-based NLP models. However, representing a large vocabulary requires significant memory, which can cause problems, particularly on resource-constrained platforms. Therefore, in this paper we propose an isotropic iterative quantization (IIQ) approach for compressing embedding vectors into binary ones, leveraging the iterative quantization technique well established for image retrieval, while satisfying the desired isotropic property of PMI based models. Experiments with pre-trained embeddings (i.e., GloVe and HDC) demonstrate a more than thirty-fold compression ratio with comparable and sometimes even improved performance over the original real-valued embedding vectors.


title: A Continuous Space Neural Language Model for Bengali Language

abstract: Language models are generally employed to estimate the probability distribution of various linguistic units, making them one of the fundamental parts of natural language processing. Applications of language models include a wide spectrum of tasks such as text summarization, translation and classification. For a low resource language like Bengali, the research in this area so far can be considered to be narrow at the very least, with some traditional count based models being proposed. This paper attempts to address the issue and proposes a continuous-space neural language model, or more specifically an ASGD weight dropped LSTM language model, along with techniques to efficiently train it for Bengali Language. The performance analysis with some currently existing count based models illustrated in this paper also shows that the proposed architecture outperforms its counterparts by achieving an inference perplexity as low as 51.2 on the held out data set for Bengali.


title: Authorship Attribution in Bangla literature using Character-level CNN

abstract: Characters are the smallest unit of text that can extract stylometric signals to determine the author of a text. In this paper, we investigate the effectiveness of character-level signals in Authorship Attribution of Bangla Literature and show that the results are promising but improvable. The time and memory efficiency of the proposed model is much higher than the word level counterparts but accuracy is 2-5% less than the best performing word-level models. Comparison of various word-based models is performed and shown that the proposed model performs increasingly better with larger datasets. We also analyze the effect of pre-training character embedding of diverse Bangla character set in authorship attribution. It is seen that the performance is improved by up to 10% on pre-training. We used 2 datasets from 6 to 14 authors, balancing them before training and compare the results.


title: CycleCluster: Modernising Clustering Regularisation for Deep Semi-Supervised Classification

abstract: Given the potential difficulties in obtaining large quantities of labelled data, many works have explored the use of deep semi-supervised learning, which uses both labelled and unlabelled data to train a neural network architecture. The vast majority of SSL approaches focus on implementing the low-density separation assumption or consistency assumption, the idea that decision boundaries should lie in low density regions. However, they have implemented this assumption by making local changes to the decision boundary at each data point, ignoring the global structure of the data. In this work, we explore an alternative approach using the global information present in the clustered data to update our decision boundaries. We propose a novel framework, CycleCluster, for deep semi-supervised classification. Our core optimisation is driven by a new clustering based regularisation along with a graph based pseudo-labels and a shared deep network. Demonstrating that direct implementation of the cluster assumption is a viable alternative to the popular consistency based regularisation. We demonstrate the predictive capability of our technique through a careful set of numerical results.


title: Faster Regret Matching

abstract: The regret matching algorithm proposed by Sergiu Hart is one of the most powerful iterative methods in finding correlated equilibrium. However, it is possibly not efficient enough, especially in large scale problems. We first rewrite the algorithm in a computationally practical way based on the idea of the regret matrix. Moreover, the rewriting makes the original algorithm more easy to understand. Then by some modification to the original algorithm, we introduce a novel variant, namely faster regret matching. The experiment result shows that the novel algorithm has a speed advantage comparing to the original one.


title: Interplay of phase separation and itinerant magnetism for correlated few fermions in a double-well

abstract: We explore the stability of the phase separation phenomenon in few-fermion spin-$1/2$ systems confined in a double-well potential. It is shown that within the SU(2) symmetric case, where the total spin is conserved, the phase separation cannot be fully stabilized. An interaction regime characterized by metastable phase separation emerges for intermediate interactions which is inherently related with ferromagnetic spin-spin correlations emanating within each of the wells. The breaking of the SU(2) symmetry crucially affects the stability properties of the system as the phase separated state can be stabilized even for weak magnetic potential gradients. Our results imply an intricate relation between the phenomena of phase separation and ferromagnetism that lies beyond the view of the Stoner instability.


title: A Tree Adjoining Grammar Representation for Models Of Stochastic Dynamical Systems

abstract: Model structure and complexity selection remains a challenging problem in system identification, especially for parametric non-linear models. Many Evolutionary Algorithm (EA) based methods have been proposed in the literature for estimating model structure and complexity. In most cases, the proposed methods are devised for estimating structure and complexity within a specified model class and hence these methods do not extend to other model structures without significant changes. In this paper, we propose a Tree Adjoining Grammar (TAG) for stochastic parametric models. TAGs can be used to generate models in an EA framework while imposing desirable structural constraints and incorporating prior knowledge. In this paper, we propose a TAG that can systematically generate models ranging from FIRs to polynomial NARMAX models. Furthermore, we demonstrate that TAGs can be easily extended to more general model classes, such as the non-linear Box-Jenkins model class, enabling the realization of flexible and automatic model structure and complexity selection via EA.


title: A Reinforcement Learning Approach for Efficient Opportunistic Vehicle-to-Cloud Data Transfer

abstract: Vehicular crowdsensing is anticipated to become a key catalyst for data-driven optimization in the Intelligent Transportation System (ITS) domain. Yet, the expected growth in massive Machine-type Communication (mMTC) caused by vehicle-to-cloud transmissions will confront the cellular network infrastructure with great capacity-related challenges. A cognitive way for achieving relief without introducing additional physical infrastructure is the application of opportunistic data transfer for delay-tolerant applications. Hereby, the clients schedule their data transmissions in a channel-aware manner in order to avoid retransmissions and interference with other cell users. In this paper, we introduce a novel approach for this type of resourceaware data transfer which brings together supervised learning for network quality prediction with reinforcement learningbased decision making. The performance evaluation is carried out using data-driven network simulation and real world experiments in the public cellular networks of multiple Mobile Network Operators (MNOs) in different scenarios. The proposed transmission scheme significantly outperforms state-of-the-art probabilistic approaches in most scenarios and achieves data rate improvements of up to 181% in uplink and up to 270% in downlink transmission direction in comparison to conventional periodic data transfer.


title: Meson masses in external magnetic fields with HISQ fermions

abstract: We studied the temporal correlation function of mesons in the pseudo-scalar channel in (2+1)-flavor QCD in the presence of external magnetic fields at zero temperature. The simulations were performed on $32^3 \times 96$ lattices using the Highly Improved Staggered Quarks (HISQ) action with $m_{\pi} \approx $ 230 MeV. The strength of magnetic fields $|eB|$ ranges from 0 to around 3.3 GeV$^2$ ($\sim 60 m_\pi^2$). We found that the masses of neutral pseudo-scalar particles, e.g. neutral pion and kaon, monotonouslly decrease as the magnetic field grows and then saturate at a nonzero value. It is observed that heavier neutral pseudo-scalars are less affected by magnetic fields. Moreover, we found a non-monotonous behavior of charged pion and kaon mass in magnetic field for the first time. In the case of small magnetic field (0 $\leq~|eB| \lesssim$ 0.3 GeV$^2~\sim 6m_\pi^2$ ) the mass of charged pseudo-scalar grows with magnetic field and can be well described by the Lowest Landau Level approximation, while for $|eB|$ larger than 0.3 GeV$^2$ the mass starts to decrease. The possible connection between $|eB|$ dependences of neutral pion mass and the decreasing behavior of pseudo-critical temperature in magnetic field is discussed. Due to the nonzero value of neutral pion mass our simulation indicates that the superconducting phase of QCD does not exist in the current window of magnetic field.


title: Correlation decay for hard spheres via Markov chains

abstract: We improve upon all known lower bounds on the critical fugacity and critical density of the hard sphere model in dimensions two and higher. As the dimension tends to infinity our improvements are by factors of $2$ and $1.7$, respectively. We make these improvements by utilizing techniques from theoretical computer science to show that a certain Markov chain for sampling from the hard sphere model mixes rapidly at low enough fugacities. We then prove an equivalence between optimal spatial and temporal mixing for hard spheres to deduce our results.


title: Tubes & Bubbles -- Topological confinement of YouTube recommendations

abstract: The role of recommendation algorithms in online user confinement is at the heart of a fast-growing literature. Recent empirical studies generally suggest that filter bubbles may principally be observed in the case of explicit recommendation (based on user-declared preferences) rather than implicit recommendation (based on user activity). We focus on YouTube which has become a major online content provider but where confinement has until now been little-studied in a systematic manner. Starting from a diverse number of seed videos, we first describe the properties of the sets of suggested videos in order to design a sound exploration protocol able to capture latent recommendation graphs recursively induced by these suggestions. These graphs form the background of potential user navigations along non-personalized recommendations. From there, be it in topological, topical or temporal terms, we show that the landscape of what we call mean-field YouTube recommendations is often prone to confinement dynamics. Moreover, the most confined recommendation graphs i.e., potential bubbles, seem to be organized around sets of videos that garner the highest audience and thus plausibly viewing time.


title: On sums of four pentagonal numbers with coefficients

abstract: The pentagonal numbers are the integers given by $p_5(n)=n(3n-1)/2\ (n=0,1,2,\ldots)$. Let $(b,c,d)$ be one of the triples $(1,1,2),(1,2,3),(1,2,6)$ and $(2,3,4)$. We show that each $n=0,1,2,\ldots$ can be written as $w+bx+cy+dz$ with $w,x,y,z$ pentagonal numbers, which was first conjectured by Z.-W. Sun in 2016. In particular, any nonnegative integer is a sum of five pentagonal numbers two of which are equal; this refines a classical result of Cauchy claimed by Fermat.


title: A BERT based Sentiment Analysis and Key Entity Detection Approach for Online Financial Texts

abstract: The emergence and rapid progress of the Internet have brought ever-increasing impact on financial domain. How to rapidly and accurately mine the key information from the massive negative financial texts has become one of the key issues for investors and decision makers. Aiming at the issue, we propose a sentiment analysis and key entity detection approach based on BERT, which is applied in online financial text mining and public opinion analysis in social media. By using pre-train model, we first study sentiment analysis, and then we consider key entity detection as a sentence matching or Machine Reading Comprehension (MRC) task in different granularity. Among them, we mainly focus on negative sentimental information. We detect the specific entity by using our approach, which is different from traditional Named Entity Recognition (NER). In addition, we also use ensemble learning to improve the performance of proposed approach. Experimental results show that the performance of our approach is generally higher than SVM, LR, NBM, and BERT for two financial sentiment analysis and key entity detection datasets.


title: Precision calculation of the axion-nucleon coupling in chiral perturbation theory

abstract: We derive the axion-nucleon interaction Lagrangian in heavy baryon chiral perturbation theory up to next-to-next-to-leading order. The effective axion-nucleon coupling is calculated to a few percent accuracy.


title: Quantum computation of thermal averages in the presence of a sign problem

abstract: We illustrate the application of Quantum Computing techniques to the investigation of the thermodynamical properties of a simple system, made up of three quantum spins with frustrated pair interactions and affected by a hard sign problem when treated within classical computational schemes. We show how quantum algorithms completely solve the problem, and discuss how this can apply to more complex systems of physical interest, with emphasis on the possible systematics and on their control.


title: Magnetic Feshbach resonances in $^{7}\text{Li}-^{133}\text{Cs}$ mixtures

abstract: Motivated by the prospect of observing Efimov and Bose polaron physics in ultracold mixtures of bosonic atoms with large mass imbalance, this work investigates the magnetic Feshbach resonances between $^{7}\text{Li}$ and $^{133}\text{Cs}$. The resonances are predicted at the 1 gauss level using the model of Pires et al. [Phys. Rev. A, 90, 012710] obtained from experimental observations of resonances between $^{6}\text{Li}$ and $^{133}\text{Cs}$. It is found that a few resonances in a practical range of magnetic field intensity could be used to tune the scattering length between $^{7}\text{Li}$ and $^{133}\text{Cs}$ atoms. Opportunities for observing Efimov and Bose polaron physics are discussed.


title: Thermodynamic stabilization of mixed-halide perovskites against phase segregation

abstract: Mixing iodide and bromide in halide perovskite semiconductors is an effective strategy to tune their bandgap, therefore mixed-halide perovskites hold great promise for color-tunable LEDs and tandem solar cells. However, the bandgap of mixed-halide perovskites is unstable under (sun-)light, since the halides segregate into domains of different bandgaps. Using pressure-dependent ultrafast transient absorption spectroscopy, we show that high external pressure increases the range of thermodynamically stable halide mixing ratios. Chemical pressure, by inserting a smaller cation, has the same effect, which means that any iodide-to-bromide ratio can be thermodynamically stabilized by tuning the crystal volume and compressibility. We interpret this stabilization by an alteration of the Helmholtz free energy via the largely overlooked PdeltaV term.


title: Migration of Cytotoxic T Lymphocytes in 3D Collagen Matrices

abstract: To fulfill their killing functions, cytotoxic T lymphocytes (CTLs) need to migrate to search for their target cells in complex biological microenvironments, a key component of which is extracellular matrix (ECM). The mechanisms underlying CTL's navigation are not well understood so far. Here we use a collagen assay as a model for the ECM and analyze the migration trajectories of primary human CTLs in collagen matrices with different concentrations. We observe different migration patterns for individual T cells. Three different motility types can be distinguished: slow, fast and mixed motilities. Slow CTLs remain nearly stationary within the collagen matrix and show slightly anti-persistent motility, while the fast ones move quickly and persistent (i.e. with not too large turning angles). The dynamics of the mixed type consists of periods of slow and fast motions; both states are persistent, but they have different persistencies. The dynamics can be well described by a two-state persistent random walk model. We extract the parameters of the model by analyzing experimental data. The mean square displacements predicted by the model and those measured experimentally are in very good agreement, without any fitting parameter. Potential reasons for the observed two-state motility are discussed. T cells dig the collagen during their migration and form channels, which facilitate the movement of other CTLs in the collagen network.


title: A new finite element approach for the Dirichlet eigenvalue problem

abstract: In this paper, we propose a new finite element approach, which is different than the classic Babuska-Osborn theory, to approximate Dirichlet eigenvalues. The Dirichlet eigenvalue problem is formulated as the eigenvalue problem of a holomorphic Fredholm operator function of index zero. Using conforming finite elements, the convergence is proved using the abstract approximation theory for holomorphic operator functions. The spectral indicator method is employed to compute the eigenvalues. A numerical example is presented to validate the theory.


title: Effects of high intensity Lasers on the Entanglement fidelity of quantum plasmas

abstract: The dynamics of entanglement during the low energy scattering processes in bipartite systems at the presence of a laser field is studied, using the Kramers-Henneberger unitary transformation as the semi classical counterpart of the Block-Nordsieck transformation, in the quantizied field formalism. The Stationary-state Schrodinger equation for quantum scattering process is obtained for such systems. Then, by using partial wave analysis, we introduce new form of entanglement fidelity containing high intense laser field. Therefore, the effective potential of hot quantum plasmas including plasmon and quantum screening effect is used to show entanglement fidelity ratio as a function of the laser amplitude, plasmon parameter and the Debye length parameter for elastic electron-ion collisions. It is shown that the amplitude of laser beam or free electron oscillation play important roles in the evolution of entanglement of the system.


title: A new matrix modified Korteweg-de Vries equation: Riemann-Hilbert approach and exact solutions

abstract: A new matrix modified Korteweg-de Vries (mmKdV) equation with a $p\times q$ complex-valued potential matrix function is first studied via Riemann-Hilbert approach, which can be reduced to the well-known coupled modified Korteweg-de Vries equations by selecting special potential matrix. Starting from the special analysis for the Lax pair of this equation, we successfully establish a Riemann-Hilbert problem of the equation. By introducing the special conditions of irregularity and reflectionless case, some interesting exact solutions, including the $N$-soliton solution formula, of the mmKdV equation are derived through solving the corresponding Riemann-Hilbert problem. Moreover, due to the special symmetry of special potential matrices and the $N$-soliton solution formula, we make further efforts to classify the original exact solutions to obtain some other interesting solutions which are all displayed graphically. It is interesting that the local structures and dynamic behaviors of soliton solutions, breather-type solutions and bell-type soliton solutions are all analyzed via taking different types of potential matrices.


title: Two-Step Electroweak Symmetry-Breaking: Theory Meets Experiment

abstract: We study the phenomenology of a hypercharge-zero SU(2) triplet scalar whose existence is motivated by two-step electroweak symmetry-breaking. We consider both the possibility that the triplets are stable and contribute to the dark matter density, or that they decay via mixing with the standard model Higgs boson. The former is constrained by disappearing charged track searches at the LHC and by dark matter direct detection experiments, while the latter is constrained by existing multilepton collider searches. We find that a two-step electroweak phase transition involving a stable triplet with a negative quadratic term is ruled out by direct detection searches, while an unstable triplet with a mass less than $230\ \mathrm{GeV}$ is excluded at $95\%$ confidence level.


title: Zircon survival in shallow asthenosphere and deep lithosphere

abstract: Zircon is the most frequently used mineral for dating terrestrial and extraterrestrial rocks. However, the system of zircon in mafic/ultramafic melts has been rarely explored experimentally and most existing models based on the felsic, intermediate and/or synthetic systems are probably not applicable for prediction of zircon survival in terrestrial shallow asthenosphere. In order to determine the zircon stability in such natural systems, we have performed high-temperature experiments of zircon dissolution in natural mid-ocean ridge basaltic and synthetic haplobasaltic melts coupled with in situ electron probe microanalyses of the experimental products at high current. Taking into account the secondary fluorescence effect in zircon glass pairs during electron microprobe analysis, we have calculated zirconium diffusion coefficient necessary to predict zircon survival in asthenospheric melts of tholeiitic basalt composition. The data imply that typical 100 micron zircons dissolve rapidly (in 10 hours) and congruently upon the reaction with basaltic melt at mantle pressures. We observed incongruent (to crystal ZrO2 and SiO2 in melt) dissolution of zircon in natural mid-ocean ridge basaltic melt at low pressures and in haplobasaltic melt at elevated pressure. Our experimental data raise questions about the origin of zircons in mafic and ultramafic rocks, in particular, in shallow oceanic asthenosphere and deep lithosphere, as well as the meaning of the zircon-based ages estimated from the composition of these minerals. Large size zircon megacrysts in kimberlites, peridotites, alkali basalts and other magmas suggest the fast transport and short interaction between zircon and melt.The origin of zircon megacrysts is likely related to metasomatic addition of Zr into mantle as any mantle melting episode should obliterate them.


title: Secrecy and Accessibility in Distributed Storage

abstract: A distributed storage system (DSS) needs to be efficiently accessible and repairable. Recently, considerable effort has been made towards the latter, while the former is usually not considered, since a trivial solution exists in the form of systematic encoding. However, this is not a viable option when considering storage that has to be secure against eavesdroppers. This work investigates the problem of efficient access to data stored on an DSS under such security constraints. Further, we establish methods to balance the access load, i.e., ensure that each node is accessed equally often. We establish the capacity for the alphabet independent case and give an explicit code construction. For the alphabet-dependent case we give existence results based on a random coding argument.


title: Fences, their endpoints, and projective Fra\"iss\'e theory

abstract: We introduce a new class of compact metrizable spaces, which we call fences, and its subclass of smooth fences. We isolate two families $\mathcal F, \mathcal F_0$ of Hasse diagrams of finite partial orders and show that smooth fences are exactly the spaces which are approximated by projective sequences from $\mathcal F_0$. We investigate the combinatorial properties of Hasse diagrams of finite partial orders and show that $\mathcal F, \mathcal F_0$ are projective Fra\"iss\'e families with a common projective Fra\"iss\'e limit. We study this limit and characterize the smooth fence obtained as its quotient, which we call a Fra\"iss\'e fence. We show that the Fra\"iss\'e fence is a highly homogeneous space which shares several features with the Lelek fan, and we examine the structure of its spaces of endpoints. Along the way we establish some new facts in projective Fra\"iss\'e theory.


title: Impact of the underlying O(4) criticality on net-proton number fluctuations

abstract: We discuss the beam-energy dependence of ratios of the first four cumulants of the net-proton number, calculated using a phenomenologically motivated model in which critical mode fluctuations couple to protons and anti-protons. The model takes into account an impact of the underlying $O(4)$ criticality on the QCD phase diagram in the presence of a $Z(2)$ critical point. This allows us to capture qualitatively both the monotonic behavior of the lowest-order ratio and the non-monotonic behavior of higher-order ratios which are seen in the experimental data from the STAR Collaboration. We also discuss the dependence of our results on the coupling strength between the critical mode and the protons as well as the location of the critical point.


title: Finite Element Approximation of Transmission Eigenvalues for Anisotropic Media

abstract: The transmission eigenvalue problem arises from the inverse scattering theory for inhomogeneous media and has important applications in many qualitative methods. The problem is posted as a system of two second order partial differential equations and is essentially nonlinear, non-selfadjoint, and of higher order. It is nontrivial to develop effective numerical methods and the proof of convergence is challenging. In this paper, we formulate the transmission eigenvalue problem for anisotropic media as an eigenvalue problem of a holomorphic Fredholm operator function of index zero. The Lagrange finite elements are used for discretization and the convergence is proved using the abstract approximation theory for holomorphic operator functions. A spectral indicator method is developed to compute the eigenvalues. Numerical examples are presented for validation.


title: Single- and and double-differential cross-sections in $t\bar{t}$ final states in the $\ell$+jets channe

abstract: We present measurements of single- and double-differential cross-sections in $t\bar{t}$ final states in the lepton+jets channel, unfolded to particle and parton levels with both resolved and boosted topologies considered. Fully corrected spectra are presented as functions of the top-quark as well as $t\bar{t}$ system kinematic variables and jet multiplicities in data from pp collisions at $\sqrt{s}=13$ TeV collected in 2015 and 2016 by the ATLAS detector at the LHC, corresponding to integrated luminosity of $36\,\mathrm{fb}^{-1}$ . Measurements provided detailed information on the top-quark production and decay, enabling precision tests of modern Monte Carlo generators as well as latest fixed-order Standard Model predictions. Good agreement between the theoretical predictions and the data is observed within reduced systematic uncertainties w.r.t. previous ATLAS measurements.


title: Effective interaction model for coupled magnetism and phase stability in bcc Fe-Co systems

abstract: We present an ab-initio-based effective interaction model (EIM) for the study of magnetism, thermodynamics, and their interplay in body-centered cubic Fe-Co alloys, with Co content from 0 to 70%. The model includes explicitly both spin and chemical variables. For the former, a Heisenberg formalism is adopted. But, the spin magnitude of each Fe atom varies according to its local chemical environment, following a simple rule determined by density functional theory (DFT) calculations. The proposed model is able to describe precisely the ground-state magneto-energetic landscape of both chemically ordered and disordered Fe-Co systems, as given by DFT and experiments. In combination with on-lattice Monte Carlo simulations, it enables an accurate prediction at finite temperatures. In particular, the Curie point and the chemical order-disorder (B2-A2) transition temperature are accurately predicted, for all the concentrations considered. A strong dependency of the chemical transition temperature on the magnetic configuration is evidenced and analyzed. We also suggest a more important effect of magnetic rather than vibrational entropy on the chemical transition. However, this transition is not affected by a commonly accessible external magnetic field.


title: Causal Discovery from Incomplete Data: A Deep Learning Approach

abstract: As systems are getting more autonomous with the development of artificial intelligence, it is important to discover the causal knowledge from observational sensory inputs. By encoding a series of cause-effect relations between events, causal networks can facilitate the prediction of effects from a given action and analyze their underlying data generation mechanism. However, missing data are ubiquitous in practical scenarios. Directly performing existing casual discovery algorithms on partially observed data may lead to the incorrect inference. To alleviate this issue, we proposed a deep learning framework, dubbed Imputated Causal Learning (ICL), to perform iterative missing data imputation and causal structure discovery. Through extensive simulations on both synthetic and real data, we show that ICL can outperform state-of-the-art methods under different missing data mechanisms.