title: Increasing Cluster Size Asymptotics for Nested Error Regression Models

abstract: This paper establishes asymptotic results for the maximum likelihood and restricted maximum likelihood (REML) estimators of the parameters in the nested error regression model for clustered data when both of the number of independent clusters and the cluster sizes (the number of observations in each cluster) go to infinity. Under very mild conditions, the estimators are shown to be asymptotically normal with an elegantly structured covariance matrix. There are no restrictions on the rate at which the cluster size tends to infinity but it turns out that we need to treat within cluster parameters (i.e. coefficients of unit-level covariates that vary within clusters and the within cluster variance) differently from between cluster parameters (i.e. coefficients of cluster-level covariates that are constant within clusters and the between cluster variance) because they require different normalisations and are asymptotically independent.


title: Structural Phase Transition and Interlayer Coupling in Few-Layer 1T' and Td MoTe2

abstract: We performed polarized Raman spectroscopy on mechanically exfoliated few-layer MoTe2 samples and observed both 1T' and Td phases at room temperature. Few-layer 1T' and Td MoTe2 exhibited a significant difference especially in interlayer vibration modes, from which the interlayer coupling strengths were extracted using the linear chain model: strong in-plane anisotropy was observed in both phases. Furthermore, temperature-dependent Raman measurements revealed a peculiar phase transition behavior in few-layer 1T' MoTe2. In contrast to bulk 1T' MoTe2 crystals where the phase transition to the Td phase occurs at ~250 K, the temperature-driven phase transition to the Td phase is increasingly suppressed as the thickness is reduced, and the transition and the critical temperature varied dramatically from sample to sample even for the same thickness. Raman spectra of intermediate phases that correspond to neither 1T' nor Td phase with different interlayer vibration modes were observed, which suggests that several metastable phases exist with similar total energies.


title: Study to improve the performance of interferometer with ultra-cold atoms

abstract: Ultra-cold atoms provide ideal platforms for interferometry. The macroscopic matter-wave property of ultra-cold atoms leads to large coherent length and long coherent time, which enable high accuracy and sensitivity to measurement. Here, we review our efforts to improve the performance of the interferometer. We demonstrate a shortcut method for manipulating ultra-cold atoms in an optical lattice. Compared with traditional ones, this shortcut method can reduce manipulation time by up to three orders of magnitude. We construct a matter-wave Ramsey interferometer for trapped motional quantum states and significantly increase its coherence time by one order of magnitude with an echo technique based on this method. Efforts have also been made to enhance the resolution by multimode scheme. Application of a noise-resilient multi-component interferometer shows that increasing the number of paths could sharpen the peaks in the time-domain interference fringes, which leads to a resolution nearly twice compared with that of a conventional double-path two-mode interferometer. With the shortcut method mentioned above, improvement of the momentum resolution could also be fulfilled, which leads to atomic momentum patterns less than 0.6 $\hbar k_L$. To identify and remove systematic noises, we introduce the methods based on the principal component analysis (PCA) that reduce the noise in detection close to the $1/\sqrt{2}$ of the photon-shot noise and separate and identify or even eliminate noises. Furthermore, we give a proposal to measure precisely the local gravity acceleration within a few centimeters based on our study of ultracold atoms in precision measurements.


title: Bayesian hierarchical stacking: Some models are (somewhere) useful

abstract: Stacking is a widely used model averaging technique that asymptotically yields optimal predictions among linear averages. We show that stacking is most effective when model predictive performance is heterogeneous in inputs, and we can further improve the stacked mixture with a hierarchical model. We generalize stacking to Bayesian hierarchical stacking. The model weights are varying as a function of data, partially-pooled, and inferred using Bayesian inference. We further incorporate discrete and continuous inputs, other structured priors, and time series and longitudinal data. To verify the performance gain of the proposed method, we derive theory bounds, and demonstrate on several applied problems.


title: Re-evaluation of Spin-Orbit Dynamics of Polarized e+ e- Beams in High Energy Circular Accelerators and Storage Rings: an approach based on a Bloch equation

abstract: We give an overview of our current/future analytical and numerical work on the spin polarization in high-energy electron storage rings. Our goal is to study the possibility of polarization for the CEPC and FCC-ee. Our work is based on the so-called Bloch equation for the polarization density introduced by Derbenev and Kondratenko in 1975. We also give an outline of the standard approach, the latter being based on the Derbenev-Kondratenko formulas.


title: Existence of an exotic plane in an acylindrical 3-manifold

abstract: Let $P$ be a geodesic plane in a convex cocompact, acylindrical hyperbolic 3-manifold $M$. Assume that $P^*=M^*\cap P$ is nonempty, where $M^*$ is the interior of the convex core of $M$. Does this condition imply that $P$ is either closed or dense in $M$? A positive answer would furnish an analogue of Ratner's theorem in the infinite volume setting. In arXiv:1802.03853 it is shown that $P^*$ is either closed or dense in $M^*$. Moreover, there are at most countably many planes with $P^*$ closed, and in all previously known examples, $P$ was also closed in $M$. In this note we show more exotic behavior can occur: namely, we give an explicit example of a pair $(M,P)$ such that $P^*$ is closed in $M^*$ but $P$ is not closed in $M$. In particular, the answer to the question above is no. Thus Ratner's theorem fails to generalize to planes in acylindrical 3-manifolds, without additional restrictions.


title: Kinetic modelling of three-dimensional shock/laminar separation bubble instabilities in hypersonic flows over a double wedge

abstract: Linear global instability of the three-dimensional (3-D), spanwise-homogeneous laminar separation bubble (LSB) induced by shock-wave/boundary-layer interaction (SBLI) in a Mach 7 flow of nitrogen over a $30^{\circ}-55^{\circ}$ double wedge is studied. At these conditions corresponding to a freestream unit Reynolds number, $Re_1=5.2\times 10^{4}$ m$^{-1}$, the flow exhibits rarefaction effects and comparable shock-thicknesses to the size of the boundary-layer at separation. This, in turn, requires the use of the high-fidelity Direct Simulation Monte Carlo (DSMC) method to accurately resolve unsteady flow features. We show for the first time that the LSB sustains self-excited, small-amplitude, 3-D perturbations that lead to spanwise-periodic flow structures not only in and downstream of the separated region, as seen in a multitude of experiments and numerical simulations, but also in the internal structure of the separation and detached shock layers. The spanwise-periodicity length and growth rate of the structures in the two zones are found to be identical. It is shown that the linear global instability leads to low-frequency unsteadiness of the triple point formed by the intersection of separation and detached shocks, corresponding to a Strouhal number of $St\sim0.02$. Linear superposition of the spanwise-homogeneous base flow and the leading 3-D flow eigenmode provides further evidence of the strong coupling between linear instability in the LSB and the shock layer.


title: Generalized Adler-Moser Polynomials and Multiple vortex rings for the Gross-Pitaevskii equation

abstract: New finite energy traveling wave solutions with small speed are constructed for the three dimensional Gross-Pitaevskii equation \begin{equation*} i\Psi_t= \Delta \Psi+(1-|\Psi|^2)\Psi, \end{equation*} where $\Psi$ is a complex valued function defined on ${\mathbb R}^3\times{\mathbb R}$. These solutions have the shape of $2n+1$ vortex rings, far away from each other. Among these vortex rings, $n+1$ of them have positive orientation and the other $n$ of them have negative orientation. The location of these rings are described by the roots of a sequence of polynomials with rational coefficients. The polynomials found here can be regarded as a generalization of the classical Adler-Moser polynomials and can be expressed as the Wronskian of certain very special functions. The techniques used in the derivation of these polynomials should have independent interest.


title: Differentiating dark interactions with perturbation

abstract: A cosmological model with an energy transfer between dark matter (DM) and dark energy (DE) can give rise to comparable energy densities at the present epoch. The present work deals with the perturbation analysis, parameter estimation and Bayesian evidence calculation of interacting models with dynamical coupling parameter that determines the strength of the interaction. We have considered two cases, where the interaction is a more recent phenomenon and where the interaction is a phenomenon in the distant past. Moreover, we have considered the quintessence DE equation of state with Chevallier-Polarski-Linder (CPL) parametrisation and energy flow from DM to DE. Using the current observational datasets like the cosmic microwave background (CMB), baryon acoustic oscillation (BAO), Type Ia Supernovae (SNe Ia) and redshift-space distortions (RSD), we have estimated the mean values of the parameters. Using the perturbation analysis and Bayesian evidence calculation, we have shown that interaction present as a brief early phenomenon is preferred over a recent interaction.


title: A review on geometric formulations for classical field theory: the Bonzom-Livine model for gravity

abstract: Motivated by the study of physical models associated with General Relativity, we review some finite-dimensional, geometric and covariant formulations that allow us to characterize in a simple manner the symmetries for classical field theory by implementing an appropriate fibre-bundle structure, either at the Lagrangian, the multisymplectic or the polysymplectic levels. In particular, we are able to formulate Noether's theorems by means of the covariant momentum maps and to systematically introduce a covariant Poisson-Hamiltonian framework. Also, by focusing on the space plus time decomposition for a generic classical field theory and its relation to these geometric formulations, we are able to successfully recover the gauge content and the true local degrees of freedom for the theory. In order to illustrate the relevance of these geometric frameworks, we center our attention to the analysis of a model for $3$-dimensional theory of General Relativity that involves an arbitrary Immirzi-like parameter. At the Lagrangian level, we reproduce the field equations of the system which for this model turn out to be equivalent to the vanishing torsion condition and the Einstein equations. We also concentrate on the analysis of the gauge symmetries of the system in order to obtain the Lagrangian covariant momentum map associated with the theory and, consequently, its corresponding Noether currents. Next, we aim our attention to describing how the gauge symmetries of the model yield covariant canonical transformations on the covariant multimomenta phase-space, thus giving rise to the existence of a covariant momentum map. Besides, we analyze the physical system under consideration within the De Donder-Weyl canonical theory implemented at the polysymplectic level, thus establishing a relation from the covariant momentum map to the conserved currents of the theory.


title: Review the possible advective disk structures around a black hole with two-type gas inflows

abstract: We studied the general advective accretion solutions around the Kerr black hole (BH) with investigating two types of inflow gases at the outer accretion boundary (AB). We classified these two types of gases as a \cm and a \hm inflow gas at the outer AB on the basis of their temperatures and solutions. We found that the \hm gas is more efficient for angular momentum transportation around the outer AB than the \cm gas. The \hm gas can give global multiple \cite[popular as shock solution][]{c89} or single sonic point solutions and the \cm can give smooth global solution \cite[popular as ADAF][]{ny94} or two sonic point solutions. These solutions also represented on a plane of energy and angular momentum ($\be-L_0$) parameter space. Theoretically for the first time, we explored the relation between the nature of accretion solutions with the nature of initial accreting gas at the AB with detail computational and possible physical analysis. We also found that the surface density of the flow is highly affected with changing of the temperature at the AB, which can alter the radiative emissivities of the flow. The flow variables of various advective solutions also compared. On the basis of those results, we plotted some inner disk structures around the BHs. Doing so, we conjectured about the persistent/transient nature of spectral states, soft-excess and time scales of variabilities around the black hole $X-$ ray binaries (BXBs) and active galactic nuclei (AGNs).


title: Knowledge Graph Completion with Text-aided Regularization

abstract: Knowledge Graph Completion is a task of expanding the knowledge graph/base through estimating possible entities, or proper nouns, that can be connected using a set of predefined relations, or verb/predicates describing interconnections of two things. Generally, we describe this problem as adding new edges to a current network of vertices and edges. Traditional approaches mainly focus on using the existing graphical information that is intrinsic of the graph and train the corresponding embeddings to describe the information; however, we think that the corpus that are related to the entities should also contain information that can positively influence the embeddings to better make predictions. In our project, we try numerous ways of using extracted or raw textual information to help existing KG embedding frameworks reach better prediction results, in the means of adding a similarity function to the regularization part in the loss function. Results have shown that we have made decent improvements over baseline KG embedding methods.


title: Non-unitary triplet superconductivity tuned by field-controlled magnetization --URhGe, UCoGe and UTe$_2$--

abstract: We report on theoretical studies on ferromagnetic superconductors, URhGe, and UCoGe and identifies the pairing state as a non-unitary spin-triplet one, analogous to superfluid $^3$He-A phase. A recently found superconductor UTe$_2$ with almost ferromagnet is analyzed by the same manner. Through investigating their peculiar upper critical field $H_{\rm c2}$ shapes, it is shown that the pairing symmetry realized in all three compounds can be tuned by their magnetization curves under applied fields. This leads to the reentrant $H_{\rm c2}$ in URhGe, an S-shaped in UCoGe and an L-shaped $H_{\rm c2}$ in UTe$_2$ observed under the field direction parallel to the magnetic hard axis in orthorhombic crystals in common. The identification with double chiral form: ${\bf d}(k)=(\hat{b}+i\hat{c})(k_b+ik_c)$ in UTe$_2$ naturally enables us to understand (1) multiple phases with A$_1$, A$_2$, and A$_0$ phases observed under pressure, (2) the enhanced reentrant $H_{\rm c2}$ for the off-axis direction fields associated with first order meta-magnetic transition, and (3) Weyl point nodes oriented along the $a$-axis. All three compounds are found to be topologically rich solid-state materials worth further investigation.


title: Probabilistic Framework For Loss Distribution Of Smart Contract Risk

abstract: Smart contract risk can be defined as a financial risk of loss due to cyber attacks on or contagious failures of smart contracts. Its quantification is of paramount importance to technology platform providers as well as companies and individuals when considering the deployment of this new technology. That is why, as our primary contribution, we propose a structural framework of aggregate loss distribution for smart contract risk under the assumption of a tree-stars graph topology representing the network of interactions among smart contracts and their users. Up to our knowledge, there exist no theoretical frameworks or models of an aggregate loss distribution for smart contracts in this setting. To achieve our goal, we contextualize the problem in the probabilistic graph-theoretical framework using bond percolation models. We assume that the smart contract network topology is represented by a random tree graph of finite size, and that each smart contract is the center of a {random} star graph whose leaves represent the users of the smart contract. We allow for heterogeneous loss topology superimposed on this smart contract and user topology and provide analytical results and instructive numerical examples.


title: Minimization of information leakage in continuous-variable quantum key distribution

abstract: A communication protocol based on a Gaussian modulation of squeezed states in a single quadrature and measured via homodyne detection can completely eliminate information leakage to an eavesdropper in a pure-loss channel. However, the asymmetry of the protocol with respect to the quadratures of light presents security issues and the eavesdropper's information is not necessarily minimized for general asymmetric attacks. Here, we perform asymptotic security analysis of the asymmetric protocol against general asymmetric collective attacks and bound the eavesdropper's information via the Heisenberg uncertainty principle. The bound is not tight and therefore, we symmetrize the protocol in a heralding way, discarding the issues of asymmetry altogether. Our proposed heralding protocol asymptotically eliminates information leakage in a pure-loss channel and minimizes leakage in a noisy channel.


title: A note on Minkowski formula of conformal Killing-Yano $2$-form

abstract: We study the Minkowski formula of conformal Killing-Yano two-forms in a spacetime of constant curvature. We establish the spacetime Alexandrov theorem with a free boundary.


title: Human Interaction Recognition Framework based on Interacting Body Part Attention

abstract: Human activity recognition in videos has been widely studied and has recently gained significant advances with deep learning approaches; however, it remains a challenging task. In this paper, we propose a novel framework that simultaneously considers both implicit and explicit representations of human interactions by fusing information of local image where the interaction actively occurred, primitive motion with the posture of individual subject's body parts, and the co-occurrence of overall appearance change. Human interactions change, depending on how the body parts of each human interact with the other. The proposed method captures the subtle difference between different interactions using interacting body part attention. Semantically important body parts that interact with other objects are given more weight during feature representation. The combined feature of interacting body part attention-based individual representation and the co-occurrence descriptor of the full-body appearance change is fed into long short-term memory to model the temporal dynamics over time in a single framework. We validate the effectiveness of the proposed method using four widely used public datasets by outperforming the competing state-of-the-art method.


title: Non-i.i.d. random holomorphic dynamical systems and the generic dichotomy

abstract: We consider non-i.i.d. random holomorphic dynamical systems whose choice of maps depends on Markovian rules. We show that generically, such a system is mean stable or chaotic with full Julia set. If a system is mean stable, then the Lyapunov exponent is uniformly negative for every initial value and almost every random orbit. Moreover, we consider families of random holomorphic dynamical systems and show that the set of mean stable systems has full measure under certain conditions. The latter is a new result even for i.i.d. random dynamical systems.


title: A novel DL approach to PE malware detection: exploring Glove vectorization, MCC_RCNN and feature fusion

abstract: In recent years, malware becomes more threatening. Concerning the increasing malware variants, there comes Machine Learning (ML)-based and Deep Learning (DL)-based approaches for heuristic detection. Nevertheless, the prediction accuracy of both needs to be improved. In response to the above issues in the PE malware domain, we propose the DL-based approaches for detection and use static-based features fed up into models. The contributions are as follows: we recapitulate existing malware detection methods. That is, we propose a vec-torized representation model of the malware instruction layer and semantic layer based on Glove. We implement a neural network model called MCC_RCNN (Malware Detection and Recurrent Convolutional Neural Network), comprising of the combination with CNN and RNN. Moreover, we provide a description of feature fusion in static behavior levels. With the numerical results generated from several comparative experiments towards evaluating the Glove-based vectoriza-tion, MCC_RCNN-based classification methodology and feature fusion stages, our proposed classification methods can obtain a higher prediction accuracy than the other baseline methods.


title: An Update-based Maximum Column Distance Coding Scheme for Index Coding

abstract: In this paper, we propose a new scalar linear coding scheme for the index coding problem called update-based maximum column distance (UMCD) coding scheme. The central idea in each transmission is to code messages such that one of the receivers with the minimum size of side information is instantaneously eliminated from unsatisfied receivers. One main contribution of the paper is to prove that the other satisfied receivers can be identified after each transmission, using a polynomial-time algorithm solving the well-known maximum cardinality matching problem in graph theory. This leads to determining the total number of transmissions without knowing the coding coefficients. Once this number and what messages to transmit in each round are found, we then propose a method to determine all coding coefficients from a sufficiently large finite field. We provide concrete instances where the proposed UMCD coding scheme has a better broadcast performance compared to the most efficient existing coding schemes, including the recursive scheme (Arbabjolfaei and Kim, 2014) and the interlinked-cycle cover (ICC) scheme (Thapa et al., 2017). We prove that the proposed UMCD coding scheme performs at least as well as the MDS coding scheme in terms of broadcast rate. By characterizing two classes of index coding instances, we show that the gap between the broadcast rates of the recursive and ICC schemes and the UMCD scheme grows linearly with the number of messages. Then, we extend the UMCD coding scheme to its vector version by applying it as a basic coding block to solve the subinstances.


title: Martingale convergence Theorems for Tensor Splines

abstract: In this article we prove martingale type pointwise convergence theorems pertaining to tensor product splines defined on $d$-dimensional Euclidean space ($d$ is a positive integer), where conditional expectations are replaced by their corresponding tensor spline orthoprojectors. Versions of Doob's maximal inequality, the martingale convergence theorem and the characterization of the Radon-Nikod\'{y}m property of Banach spaces $X$ in terms of pointwise $X$-valued martingale convergence are obtained in this setting. Those assertions are in full analogy to their martingale counterparts and hold independently of filtration, spline degree, and dimension $d$.


title: Localized 4f-electrons in the quantum critical heavy fermion ferromagnet CeRh$_6$Ge$_4$

abstract: Ferromagnetic quantum critical points were predicted to be prohibited in clean itinerant ferromagnetic systems, yet such a phenomenon was recently revealed in CeRh$_6$Ge$_4$, where the Curie temperature can be continuously suppressed to zero under a moderate hydrostatic pressure. Here we report the observation of quantum oscillations in CeRh$_6$Ge$_4$ from measurements using the cantilever and tunnel-diode oscillator methods in fields up to 45 T, clearly demonstrating that the ferromagnetic quantum criticality occurs in a clean system. In order to map the Fermi surface of CeRh$_6$Ge$_4$, we performed angle-dependent measurements of quantum oscillations at ambient pressure, and compared the results to density functional theory calculations. The results are consistent with the Ce 4f electrons remaining localized, and not contributing to the Fermi surface, suggesting that localized ferromagnetism is a key factor for the occurrence of a ferromagnetic quantum critical point in CeRh$_6$Ge$_4$.


title: Asynchronous Networked Aggregative Games

abstract: We propose a fully asynchronous networked aggregative game (Asy-NAG) where each player minimizes a cost function that depends on its local action and the aggregate of all players' actions. In sharp contrast to the existing NAGs, each player in our Asy-NAG can compute an estimate of the aggregate action at any wall-clock time by only using (possibly stale) information from nearby players of a directed network. Such an asynchronous update does not require any coordination among players. Moreover, we design a novel distributed algorithm with an aggressive mechanism for each player to adaptively adjust the optimization stepsize per update. Particularly, the slow players in terms of updating their estimates smartly increase their stepsizes to catch up with the fast ones. Then, we develop an augmented system approach to address the asynchronicity and the information delays between players, and rigorously show the convergence to a Nash equilibrium of the Asy-NAG via a perturbed coordinate algorithm which is also of independent interest. Finally, we evaluate the performance of the distributed algorithm through numerical simulations.


title: Sydney's Scientific Beginnings: William Dawes' Observatories in Context

abstract: The voyage of the "First Fleet" from Britain to the new colony of New South Wales was not only a military enterprise, it also had a distinct scientific purpose. Britain's fifth Astronomer Royal, Nevil Maskelyne, had selected William Dawes, a promising young Marine with a propensity for astronomical observations, as his prot\'eg\'e. Maskelyne convinced the British Board of Longitude to supply Dawes with a suite of state-of-the-art instruments and allow the young Marine to establish an observatory in the new settlement. The Astronomer Royal may have had a dual motivation, one driven by strategic national interests combined with a personal investment linked to the suggested re-appearance of a comet in the southern sky. With the unexpected assistance of the French Lap\'erouse expedition, between 1788 and 1791 Dawes established not one but two observatories within a kilometre of Sydney's present-day city centre. Motivated by persisting confusion in the literature, we explore the historical record to narrow down the precise location of Dawes' observatory. We conclude that the memorial plaque attached to Sydney Harbour Bridge indicates an incorrect location. Overwhelming contemporary evidence -- maps, charts and pictorial representations -- implies that Dawes' observatory was located on the northeastern tip of the promontory presently known as The Rocks (formerly Dawes' Point), with any remains having vanished during the construction of the Harbour Bridge.


title: William Dawes: Practical Astronomy on the "First Fleet" from England to Australia

abstract: On 13 May 1787, a convict fleet of 11 ships left Portsmouth, England, on a 24,000 km, 8-month-long voyage to New South Wales. The voyage would take the "First Fleet" under Captain Arthur Phillip via Tenerife (Canary Islands), the port of Rio de Janeiro (Brazil), Table Bay at the southern extremity of the African continent and the southernmost cape of present-day Tasmania to their destination of Botany Bay. Given the navigation tools available at the time and the small size of the convoy's ships, their safe arrival within a few days of each other was a phenomenal achievement. This was particularly so, because they had not lost a single ship and only a relatively small number of crew and convicts. Phillip and his crew had only been able to ensure their success because of the presence of crew members who were highly proficient in practical astronomy, most notably Lieutenant William Dawes. We explore in detail his educational background and the events leading up to Dawes' appointment by the Board of Longitude as the convoy's dedicated astronomer-cum-Marine. In addition to Dawes, John Hunter, second captain of the convoy's flagship H.M.S. Sirius, Lieutenant William Bradley and Lieutenant Philip Gidley King were also experts in navigation and longitude determination, using both chronometers and "lunar distance" measurements. The historical record of the First Fleet's voyage is remarkably accurate, even by today's standards.


title: Predictive Wireless Based Status Update for Communication-Agnostic Sampling

abstract: In a wireless network that conveys status updates from sources (i.e., sensors) to destinations, one of the key issues studied by existing literature is how to design an optimal source sampling strategy on account of the communication constraints which are often modeled as queues. In this paper, an alternative perspective is presented -- a novel status-aware communication scheme, namely \emph{parallel communications}, is proposed which allows sensors to be communication-agnostic. Specifically, the proposed scheme can determine, based on an online prediction functionality, whether a status packet is worth transmitting considering both the network condition and status prediction, such that sensors can generate status packets without communication constraints. We evaluate the proposed scheme on a Software-Defined-Radio (SDR) test platform, which is integrated with a collaborative autonomous driving simulator, i.e., Simulation-of-Urban-Mobility (SUMO), to produce realistic vehicle control models and road conditions. The results show that with online status predictions, the channel occupancy is significantly reduced, while guaranteeing low status recovery error. Then the framework is applied to two scenarios: a multi-density platooning scenario, and a flight formation control scenario. Simulation results show that the scheme achieves better performance on the network level, in terms of keeping the minimum safe distance in both vehicle platooning and flight control.


title: Phonon Coupled Scattering Caused Ultralow Lattice Thermal Conductivity and Its Role in The Remarkable Thermoelectric Performance of Newly Predicted SiS2 and SiSe2 monolayers

abstract: For high efficiency thermoelectric power conversion not only improvement of materials properties but also prediction and synthesis of new thermoelectric materials is needed. Here we have carried out a systematic investigation on thermoelectric performance of newly predicted two dimensional (2D) semiconducting SiS2 and SiSe2 monolayers of group IVA-VIA family using density functional theory (DFT) and Boltzmann transport equation (BTE). Our computed values of lattice thermal conductivity (kph) are ultralow which result very high thermoelectric figure of merit (ZT) value of 0.78 (0.80) at 500K in SiS2 (SiSe2) monolayer. The ultralow values of kph are attributed to phonon-phonon coupling of acoustic and low frequency optical branches which leads to larger scattering, low group velocity, smaller mean free path and shorter lifetime of phonons. It is also found from our investigation that p-type doping is more effective than n-type doping to get optimal power factor (PF) and ZT. Our theoretical investigation suggests that newly predicted semiconducting SiS2 and SiSe2 monolayers can be very promising thermoelectric materials for fabrication of high efficiency thermoelectric power generator to convert wastage heat into electricity.


title: Visual Question Answering based on Local-Scene-Aware Referring Expression Generation

abstract: Visual question answering requires a deep understanding of both images and natural language. However, most methods mainly focus on visual concept; such as the relationships between various objects. The limited use of object categories combined with their relationships or simple question embedding is insufficient for representing complex scenes and explaining decisions. To address this limitation, we propose the use of text expressions generated for images, because such expressions have few structural constraints and can provide richer descriptions of images. The generated expressions can be incorporated with visual features and question embedding to obtain the question-relevant answer. A joint-embedding multi-head attention network is also proposed to model three different information modalities with co-attention. We quantitatively and qualitatively evaluated the proposed method on the VQA v2 dataset and compared it with state-of-the-art methods in terms of answer prediction. The quality of the generated expressions was also evaluated on the RefCOCO, RefCOCO+, and RefCOCOg datasets. Experimental results demonstrate the effectiveness of the proposed method and reveal that it outperformed all of the competing methods in terms of both quantitative and qualitative results.


title: Black Holes LIGO/Virgo Domination and Single-lined Binaries with a Black Hole Candidate Component

abstract: In this letter, we note that the observed in the LIGO / Virgo experiment ratio of the detection rate of black holes to the rate of detection of binary neutron stars requires the assumption of a "conservative" collapse of massive stars into a black hole: almost all the mass of the collapsing star goes under the horizon. This is consistent with the large masses of black holes detected by LIGO/Virgo. On the other hand, the assumption of a small loss of matter during the collapse into a black hole is in good agreement with the small eccentricity of Single-lined Binaries. At the same time, the absence of X-rays from most black holes in binary systems with blue stars is explained. We argue that three sets of LIGO / Virgo observations and data on the Single-lined Binary with a Candidate Black Hole Component confirm the scenario of the evolution of massive field binaries.


title: Nonstationary Stochastic Multiarmed Bandits: UCB Policies and Minimax Regret

abstract: We study the nonstationary stochastic Multi-Armed Bandit (MAB) problem in which the distribution of rewards associated with each arm are assumed to be time-varying and the total variation in the expected rewards is subject to a variation budget. The regret of a policy is defined by the difference in the expected cumulative rewards obtained using the policy and using an oracle that selects the arm with the maximum mean reward at each time. We characterize the performance of the proposed policies in terms of the worst-case regret, which is the supremum of the regret over the set of reward distribution sequences satisfying the variation budget. We extend Upper-Confidence Bound (UCB)-based policies with three different approaches, namely, periodic resetting, sliding observation window and discount factor and show that they are order-optimal with respect to the minimax regret, i.e., the minimum worst-case regret achieved by any policy. We also relax the sub-Gaussian assumption on reward distributions and develop robust versions the proposed polices that can handle heavy-tailed reward distributions and maintain their performance guarantees.


title: Twisted-Pair Superposition Transmission

abstract: We propose in this paper a new coding scheme called twisted-pair superposition transmission (TPST). The encoding is to "mix together" a pair of basic codes by superposition, while the decoding can be implemented as a successive cancellation list decoding algorithm. The most significant features of the TPST code are its predictable performance that can be estimated numerically from the basic codes and its flexible construction in the sense that it can be easily adapted to different coding rates. To construct good TPST codes in the finite length regime, we propose two design approaches-rate allocation and partial superposition. By taking tail-biting convolutional codes (TBCC) as basic codes, we show by numerical results that the TPST codes can have near-capacity performance in the short length regime.


title: Efficient Near-Field Imaging Using Cylindrical MIMO Arrays

abstract: Multiple-input multiple-output (MIMO) array based millimeter-wave (MMW) imaging has a tangible prospect in applications of concealed weapons detection. A near-field imaging algorithm based on wavenumber domain processing is proposed for a cylindrical MIMO array scheme with uniformly spaced transmit and receive antennas over both the vertical and horizontal-arc directions. The spectrum aliasing associated with the proposed MIMO array is analyzed through a zero-filling discrete-time Fourier transform. The analysis shows that an undersampled array can be used in recovering the MMW image by a wavenumber domain algorithm. The requirements for the antenna inter-element spacing of the MIMO array are delineated. Numerical simulations as well as comparisons with the backprojection (BP) algorithm are provided to demonstrate the effectiveness of the proposed method.


title: CSI-Based Localization with CNNs Exploiting Phase Information

abstract: In this paper we study the use of the Channel State Information (CSI) as fingerprint inputs of a Convolutional Neural Network (CNN) for localization. We examine whether the CSI can be used as a distinct fingerprint corresponding to a single position by considering the inconsistencies with its raw phase that cause the CSI to be unreliable. We propose two methods to produce reliable fingerprints including the phase information. Furthermore, we examine the structure of the CNN and more specifically the impact of pooling on the positioning performance, and show that pooling over the subcarriers can be more beneficial than over the antennas.


title: Analysis of stock index with a generalized BN-S model: an approach based on machine learning and fuzzy parameters

abstract: In this paper we implement a combination of data-science and fuzzy theory to improve the classical Barndorff-Nielsen and Shephard model, and implement this to analyze the S&P 500 index. We pre-process the index data based on fuzzy theory. After that, S&P 500 stock index data for the past ten years are analyzed, and a deterministic parameter is extracted using various machine and deep learning methods. The results show that the new model, where fuzzy parameters are incorporated, can incorporate the long-term dependence in the classical Barndorff-Nielsen and Shephard model. The modification is based on only a few changes compared to the classical model. At the same time, the resulting analysis effectively captures the stochastic dynamics of the stock index time series.


title: Dynamics and Rheology of Polymer Melts via Hierarchical Atomistic, Coarse-grained, and Slip-spring Simulations

abstract: A hierarchical (triple scale) simulation methodology is presented for the prediction of the dynamical and rheological properties of high molecular weight entangled polymer melts. The methodology consists of atomistic, moderately coarse-grained (mCG), and highly coarse-grained slip-spring (SLSP) simulations. At the mCG level, a few chemically bonded atoms are lumped into one coarse-grained bead. At this level, the chemical identity of the atomistic system, and the interchain topological constraints (entanglements) are preserved. The mCG potentials are derived by matching local structural distributions of the mCG model to those of the atomistic model through iterative Boltzmann inversion. For matching mCG and atomistic dynamics, the mCG time is scaled by a time scaling factor, which compensates for the lower monomeric friction coefficient of the mCG model than that of the atomistic one. At the SLSP level, multiple Kuhn segments of a polymer chain are represented by one coarse-grained bead. The very soft nonbonded interactions between beads do not prevent chain crossing and, hence, can not capture entanglements. The topological constraints are represented by slip-springs. A compensating pair potential is used in the SLSP model, to keep the static macromolecular properties unaltered upon the introduction of slip-springs. The static and kinetic parameters of the SLSP model are determined based on the lower level simulation models. Particularly, matching the orientational autocorrelation of the end-to-end vector, we determine the number of slip-springs and calibrate the timescale of the SLSP model. As the test case, the hierarchical methodology is applied to $cis$-1,4-polybutadiene (cPB) at 413 K. Dynamical properties of cPB melts are calculated for a broad range of molecular weights. The calculations are compared, and found in good agreement, with experimental data from the literature.


title: Artificial intelligence prediction of stock prices using social media

abstract: The primary objective of this work is to develop a Neural Network based on LSTM to predict stock market movements using tweets. Word embeddings, used in the LSTM network, are initialised using Stanford's GloVe embeddings, pretrained specifically on 2 billion tweets. To overcome the limited size of the dataset, an augmentation strategy is proposed to split each input sequence into 150 subsets. To achieve further improvements in the original configuration, hyperparameter optimisation is performed. The effects of variation in hyperparameters such as dropout rate, batch size, and LSTM hidden state output size are assessed individually. Furthermore, an exhaustive set of parameter combinations is examined to determine the optimal model configuration. The best performance on the validation dataset is achieved by hyperparameter combination 0.4,8,100 for the dropout, batch size, and hidden units respectively. The final testing accuracy of the model is 76.14%.


title: Progressive Image Super-Resolution via Neural Differential Equation

abstract: We propose a new approach for the image super-resolution (SR) task that progressively restores a high-resolution (HR) image from an input low-resolution (LR) image on the basis of a neural ordinary differential equation. In particular, we newly formulate the SR problem as an initial value problem, where the initial value is the input LR image. Unlike conventional progressive SR methods that perform gradual updates using straightforward iterative mechanisms, our SR process is formulated in a concrete manner based on explicit modeling with a much clearer understanding. Our method can be easily implemented using conventional neural networks for image restoration. Moreover, the proposed method can super-resolve an image with arbitrary scale factors on continuous domain, and achieves superior SR performance over state-of-the-art SR methods.


title: Photoproduction $\gamma p \to K^+\Lambda(1520)$ in an effective Lagrangian approach

abstract: The data on differential cross sections and photon-beam asymmetries for the $\gamma p \to K^+\Lambda(1520)$ reaction have been analyzed within a tree-level effective Lagrangian approach. In addition to the $t$-channel $K$ and $K^\ast$ exchanges, the $u$-channel $\Lambda$ exchange, the $s$-channel nucleon exchange, and the interaction current, a minimal number of nucleon resonances in the $s$ channel are introduced in constructing the reaction amplitudes to describe the data. The results show that the experimental data can be well reproduced by including either the $N(2060)5/2^-$ or the $N(2120)3/2^-$ resonance. In both cases, the contact term and the $K$ exchange are found to make significant contributions, while the contributions from the $K^\ast$ and $\Lambda$ exchanges are negligible in the former case and considerable in the latter case. Measurements of the data on target asymmetries are called on to further pin down the resonance contents and to clarify the roles of the $K^\ast$ and $\Lambda$ exchanges in this reaction.


title: Fractional parts of powers of real algebraic numbers

abstract: Let $\alpha$ be a real number greater than $1$. We establish an effective lower bound for the distance between an integral power of $\alpha$ and its nearest integer.


title: Self-similar analysis of the time-dependent compressible and incompressible boundary layers including heat conduction

abstract: We investigate the incompressible and compressible heat conducting boundary layer with applying the two-dimensional self-similar Ansatz. Analytic solutions can be found for the incompressible case which can be expressed with special functions. The parameter dependencies are studied and discussed in details. In the last part of our study we present the ordinary differential equation (ODE) system which is obtained for compressible boundary layers.


title: Emergence of homochirality in large molecular systems

abstract: The selection of a single molecular handedness, or homochirality across all living matter, is a mystery in the origin of life. Frank's seminal model showed in the fifties how chiral symmetry breaking can occur in non-equilibrium chemical networks. However, an important shortcoming in this classic model is that it considers a small number of species, while there is no reason for the prebiotic system, in which homochirality first appeared, to have had such a simple composition. Furthermore, this model does not provide information on what could have been the size of the molecules involved in this homochiral prebiotic system. Here, we show that large molecular systems are likely to undergo a phase transition towards a homochiral state, as a consequence of the fact that they contain a large number of chiral species. Using chemoinformatics tools, we quantify how abundant are chiral species in the chemical universe of all possible molecules of a given length. Then, we propose that Frank's model should be extended to include a large number of species, in order to possess the transition towards homochirality as confirmed by numerical simulations. Finally, using random matrix theory, we prove that large non-equilibrium reaction networks possess a generic and robust phase transition towards a homochiral state.


title: Cross Chest Graph for Disease Diagnosis with Structural Relational Reasoning

abstract: Locating lesions is important in the computer-aided diagnosis of X-ray images. However, box-level annotation is time-consuming and laborious. How to locate lesions accurately with few, or even without careful annotations is an urgent problem. Although several works have approached this problem with weakly-supervised methods, the performance needs to be improved. One obstacle is that general weakly-supervised methods have failed to consider the characteristics of X-ray images, such as the highly-structural attribute. We therefore propose the Cross-chest Graph (CCG), which improves the performance of automatic lesion detection by imitating doctor's training and decision-making process. CCG models the intra-image relationship between different anatomical areas by leveraging the structural information to simulate the doctor's habit of observing different areas. Meanwhile, the relationship between any pair of images is modeled by a knowledge-reasoning module to simulate the doctor's habit of comparing multiple images. We integrate intra-image and inter-image information into a unified end-to-end framework. Experimental results on the NIH Chest-14 database (112,120 frontal-view X-ray images with 14 diseases) demonstrate that the proposed method achieves state-of-the-art performance in weakly-supervised localization of lesions by absorbing professional knowledge in the medical field.


title: Automatic Volumetric Segmentation of Additive Manufacturing Defects with 3D U-Net

abstract: Segmentation of additive manufacturing (AM) defects in X-ray Computed Tomography (XCT) images is challenging, due to the poor contrast, small sizes and variation in appearance of defects. Automatic segmentation can, however, provide quality control for additive manufacturing. Over recent years, three-dimensional convolutional neural networks (3D CNNs) have performed well in the volumetric segmentation of medical images. In this work, we leverage techniques from the medical imaging domain and propose training a 3D U-Net model to automatically segment defects in XCT images of AM samples. This work not only contributes to the use of machine learning for AM defect detection but also demonstrates for the first time 3D volumetric segmentation in AM. We train and test with three variants of the 3D U-Net on an AM dataset, achieving a mean intersection of union (IOU) value of 88.4%.


title: Numerical study of the stabilization of 1D locally coupled wave equations

abstract: In this paper, we study the numerical stabilization of a 1D system of two wave equations coupled by velocities with an internal, local control acting on only one equation. In the theoretical part of this study, we distinguished two cases. In the first one, the two waves assumed propagate at the same speed. Under appropriate geometric conditions, we had proved that the energy decays exponentially. While in the second case, when the waves propagate at different speeds, under appropriate geometric conditions, we had proved that the energy decays only at a polynomial rate. In this paper, we confirmed these two results in a 1D numerical approximation. However, when the coupling region does not intersect the damping region, the stabilization of the system is still theoretically an open problem. But, here in both cases, we observed an unpredicted behavior : the energy decays at an exponential rate when the propagation speeds are the same or at a polynomial rate when they are different.


title: Asymptotics of ODE's flows everywhere or almost-everywhere in the torus:from rotation sets to homogenization of transport equations

abstract: In this paper, we study various aspects of the ODE's flow $X$ solution to the equation $\partial_t X(t,x)=b(X(t,x))$, $X(0,x)=x$ in the $d$-dimensional torus $Y_d$, where $b$ is a regular $\mathbb{Z}^d$-periodic vector field from $\mathbb{R}^d$ in $\mathbb{R}^d$.We present an original and complete picture in any dimension of all logical connections between the following seven conditions involving the field $b$: (i) the everywhere asymptotics of the flow $X$, (ii) the almost-everywhere asymptotics of the flow $X$, (iii) the global rectification of the vector field $b$ in $Y_d$, (iv) the ergodicity of the flow related to an invariant probability measure which is absolutely continuous with respect to Lebesgue's measure, (v) the unit set condition for Herman's rotation set $C_b$ composed of the means of $b$ related to the invariant probability measures, (vi) the unit set condition for the subset $D_b$ of $C_b$ composed of the means of $b$ related to the invariant probability measures which are absolutely continuous with respect to Lebesgue's measure, (vii) the homogenization of the linear transport equation with oscillating data and the oscillating velocity $b(x/\varepsilon)$ when $b$ is divergence free. The main and surprising result of the paper is that the almost-everywhere asymptotics of the flow $X$ and the unit set condition for $D_b$ are equivalent when $D_b$ is assumed to be non empty, and that the two conditions turn to be equivalent to the homogenization of the transport equation when $b$ is divergence free. In contrast, using an elementary approach based on classical tools of PDE's analysis, we extend the two-dimensional results of Oxtoby and Marchetto to any $d$-dimensional Stepanoff flow: this shows that the ergodicity of the flow may hold without satisfying the everywhere asymptotics of the flow.


title: Everything You Wanted to Know About Noninvasive Glucose Measurement and Control

abstract: Diabetes is a chronicle disease where the body of a human is irregular to dissolve the blood glucose properly. The diabetes is due to lack of insulin in human body. The continuous monitoring of blood glucose is main important aspect for health care. Most of the successful glucose monitoring devices is based on methodology of pricking of blood. However, such kind of approach may not be advisable for frequent measurement. The paper presents the extensive review of glucose measurement techniques. The paper covers various non-invasive glucose methods and its control with smart healthcare technology. To fulfill the imperatives for non-invasive blood glucose monitoring system, there is a need to configure an accurate measurement device. Noninvasive glucose-level monitoring device for clinical test overcomes the problem of frequent pricking for blood samples. There is requirement to develop the Internet-Medical-Things (IoMT) integrated Healthcare Cyber-Physical System (H-CPS) based Smart Healthcare framework for glucose measurement with purpose of continuous health monitoring. The paper also covers selective consumer products along with selected state of art glucose measurement approaches. The paper has also listed several challenges and open problems for glucose measurement.


title: A blockchain-based pattern for confidential and pseudo-anonymous contract enforcement

abstract: Blockchain has been praised for its capacity to hold data in a decentralized and tamper-proof way. It also supports the execution of code through blockchain's smart contracts, adding automation of actions to the network with high trustability. However, as smart contracts are visible by anybody on the network, the business data and logic may be at risk, thus companies could be reluctant to use such technology. This paper aims to propose a pattern that allows the execution of automatable legal contract clauses, where its execution states are stored in an on-chain smart-contract and the logic needed to enforce it wraps it off-chain. An engine completes this pattern by running a business process that corresponds to the legal contract. We then propose a pattern-based solution based on a real-life use case: transportation of refrigerated goods. We argue that this pattern guarantees companies pseudonymity and data confidentiality while ensuring that an audit trail can be reconstituted through the blockchain smart-contract to identify misbehavior or errors. This paper paves the way for a future possible implementation of the solution described, as well as its evaluation.


title: Decision process for blockchain architectures based on requirements

abstract: In recent years, blockchain has grown in popularity due to its singular attributes, enabling the development of new innovative decentralized applications. But when companies consider leveraging blockchain for their applications, the plethora of possible choices and the difficulty of integrating blockchain into architectures can hinder its adoption. Our research project aims to ease the adoption of blockchain into companies, notably with the construction of an automated decision process to solve this issue in which requirements are first-class citizens, a knowledge base containing architectural patterns and blockchains refined over time, and an architecture generator able to process outputs into architectural stubs. This paper will also present our current progression on this decision process, by introducing the preliminary version that is able to choose the most suitable blockchain between multiple choices and our process-driven benchmarking tool.


title: Wet to dry self-transitions in dense emulsions: from order to disorder and back

abstract: One of the most distinctive hallmarks of many-body systems far from equilibrium is the spontaneous emergence of order under conditions where disorder would be plausibly expected. Here, we report on the self-transition between ordered and disordered emulsions in divergent microfluidic channels, i.e. from monodisperse assemblies to heterogeneous polydisperse foam-like structures, and back again to ordered ones. The transition is driven by the nonlinear competition between viscous dissipation and surface tension forces as controlled by the device geometry, particularly the aperture angle of the divergent microfluidic channel. An unexpected route back to order is observed in the regime of large opening angles, where a trend towards increasing disorder would be intuitively expected.


title: Transport properties of superfluid phonons in neutron stars

abstract: We review the effective field theory associated with the superfluid phonons that we use for the study of transport properties in the core of superfluid neutrons stars in their low temperature regime. We then discuss the shear and bulk viscosities together with the thermal conductivity coming from the collisions of superfluid phonons in neutron stars. With regard to shear, bulk, and thermal transport coefficients, the phonon collisional processes are obtained in terms of the equation of state and the superfluid gap. We compare the shear coefficient due to the interaction among superfluid phonons with other dominant processes in neutron stars, such as electron collisions. We also analyze the possible consequences for the r-mode instability in neutron stars. As for the bulk viscosities, we determine that phonon collisions contribute decisively to the bulk viscosities inside neutron stars. For the thermal conductivity resulting from phonon collisions, we find that it is temperature independent well below the transition temperature. We also obtain that the thermal conductivity due to superfluid phonons dominates over the one resulting from electron-muon interactions once phonons are in the hydrodynamic regime. As the phonons couple to the $Z$ electroweak gauge boson, we estimate the associated neutrino emissivity. We also briefly comment on how the superfluid phonon interactions are modified in the presence of a gravitational field or in a moving background.


title: Linear Regression with Distributed Learning: A Generalization Error Perspective

abstract: Distributed learning provides an attractive framework for scaling the learning task by sharing the computational load over multiple nodes in a network. Here, we investigate the performance of distributed learning for large-scale linear regression where the model parameters, i.e., the unknowns, are distributed over the network. We adopt a statistical learning approach. In contrast to works that focus on the performance on the training data, we focus on the generalization error, i.e., the performance on unseen data. We provide high-probability bounds on the generalization error for both isotropic and correlated Gaussian data as well as sub-gaussian data. These results reveal the dependence of the generalization performance on the partitioning of the model over the network. In particular, our results show that the generalization error of the distributed solution can be substantially higher than that of the centralized solution even when the error on the training data is at the same level for both the centralized and distributed approaches. Our numerical results illustrate the performance with both real-world image data as well as synthetic data.


title: A Fast-Convergence Routing of the Hot-Potato

abstract: Interactions between the intra- and inter-domain routing protocols received little attention despite playing an important role in forwarding transit traffic. More precisely, by default, IGP distances are taken into account by BGP to select the closest exit gateway for the transit traffic (hot-potato routing). Upon an IGP update, the new best gateway may change and should be updated through the (full) re-convergence of BGP, causing superfluous BGP processing and updates in many cases. We propose OPTIC (Optimal Protection Technique for Inter-intra domain Convergence), an efficient way to assemble both protocols without losing the hot-potato property. OPTIC pre-computes sets of gateways (BGP next-hops) shared by groups of prefixes. Such sets are guaranteed to contain the post-convergence gateway after any single IGP event for the grouped prefixes. The new optimal exits can be found through a single walk-through of each set, allowing the transit traffic to benefit from optimal BGP routes almost as soon as the IGP converges. Compared to vanilla BGP, OPTIC's structures allow it to consider a reduced number of entries: this number can be reduced by 99\% for stub networks. The update of OPTIC's structures, which is not required as long as border routers remain at least bi-connected, scales linearly in time with its number of groups.


title: Thermal noise of a cryo-cooled silicon cantilever locally heated up to its melting point

abstract: The Fluctuation-Dissipation Theorem (FDT) is a powerful tool to estimate the thermal noise of physical systems in equilibrium. In general however, thermal equilibrium is an approximation, or cannot be assumed at all. A more general formulation of the FDT is then needed to describe the behavior of the fluctuations. In our experiment we study a micro-cantilever brought out-ofequilibrium by a strong heat flux generated by the absorption of the light of a laser. While the base is kept at cryogenic temperatures, the tip is heated up to the melting point, thus creating the highest temperature difference the system can sustain. We independently estimate the temperature profile of the cantilever and its mechanical fluctuations, as well as its dissipation. We then demonstrate how the thermal fluctuations of all the observed degrees of freedom, though increasing with the heat flux, are much lower than what is expected from the average temperature of the system. We interpret these results thanks to a minimal extension of the FDT: this dearth of thermal noise arises from a dissipation shared between clamping losses and distributed damping.


title: CMSAOne@Dravidian-CodeMix-FIRE2020: A Meta Embedding and Transformer model for Code-Mixed Sentiment Analysis on Social Media Text

abstract: Code-mixing(CM) is a frequently observed phenomenon that uses multiple languages in an utterance or sentence. CM is mostly practiced on various social media platforms and in informal conversations. Sentiment analysis (SA) is a fundamental step in NLP and is well studied in the monolingual text. Code-mixing adds a challenge to sentiment analysis due to its non-standard representations. This paper proposes a meta embedding with a transformer method for sentiment analysis on the Dravidian code-mixed dataset. In our method, we used meta embeddings to capture rich text representations. We used the proposed method for the Task: "Sentiment Analysis for Dravidian Languages in Code-Mixed Text", and it achieved an F1 score of $0.58$ and $0.66$ for the given Dravidian code mixed data sets. The code is provided in the Github https://github.com/suman101112/fire-2020-Dravidian-CodeMix.


title: An in-place truncated Fourier transform

abstract: We show that simple modifications to van der Hoeven's forward and inverse truncated Fourier transforms allow the algorithms to be performed in-place, and with only a linear overhead in complexity.


title: High-efficient two-step entanglement purification using hyperentanglement

abstract: Entanglement purification is a powerful method to distill the high-quality entanglement from low-quality entanglement. In the paper, we propose an efficient two-step entanglement purification protocol (EPP) for the polarization entanglement by using only one copy of two-photon hyperentangled state in polarization, spatial-mode, and time-bin DOFs. We suppose that the entanglement in all DOFs suffer from channel noise. In two purification steps, the parties can reduce the bit-flip error and phase-flip error in polarization DOF by consuming the imperfect entanglement in the spatial-mode and time-bin DOFs, respectively. This EPP effectively reduces the consumption of entanglement pairs and the experimental difficulty. Moreover, if consider the practical photon transmission and detector efficiencies, our EPP has much higher purification efficiency than previous recurrence EPPs. Meanwhile, when one or two purification steps fail, the distilled mixed state may have residual entanglement. Taking use of the residual entanglement, the parties may still distill higher-quality polarization entanglement. Even if not, they can still reuse the residual entanglement in the next purification round. The existence of residual entanglement benefits for increasing the yield of the EPP. All the above advantages make our EPP have potential application in future quantum information processing.


title: HASOCOne@FIRE-HASOC2020: Using BERT and Multilingual BERT models for Hate Speech Detection

abstract: Hateful and Toxic content has become a significant concern in today's world due to an exponential rise in social media. The increase in hate speech and harmful content motivated researchers to dedicate substantial efforts to the challenging direction of hateful content identification. In this task, we propose an approach to automatically classify hate speech and offensive content. We have used the datasets obtained from FIRE 2019 and 2020 shared tasks. We perform experiments by taking advantage of transfer learning models. We observed that the pre-trained BERT model and the multilingual-BERT model gave the best results. The code is made publically available at https://github.com/suman101112/hasoc-fire-2020.


title: Strong gravitational lensing by Kerr and Kerr-Newman black holes

abstract: We study the strong gravitational lensing due to the Kerr black holes with angular momentum $a$ and the Kerr-Newman black holes with additional charge $Q$. We first derive the analytical expressions of the deflection angles of light rays that particularly diverge as they travel near the photon sphere. In this strong deflection limit, the light rays can circle around the black hole multiple times before reaching the observer, giving relativistic images. The obtained analytical expressions are then applied to compute the angular positions and the magnifications of relativistic images due to the supermassive galactic black holes. In this work, we focus on the outermost image with reference to the optical axis. We find that its angular separation from the one closest to the optical axis and the magnification increase in angular momentum $a$ of the black holes for light rays with direct orbits. Additionally, the effects of the charge $Q$ of black holes also increase the angular separation of the outermost image from the others and the magnification for both direct and retrograde orbits. The potentially increasing observability of the relativistic images from the effects of angular momentum and charge of the black holes will be discussed.


title: Does a Hybrid Neural Network based Feature Selection Model Improve Text Classification?

abstract: Text classification is a fundamental problem in the field of natural language processing. Text classification mainly focuses on giving more importance to all the relevant features that help classify the textual data. Apart from these, the text can have redundant or highly correlated features. These features increase the complexity of the classification algorithm. Thus, many dimensionality reduction methods were proposed with the traditional machine learning classifiers. The use of dimensionality reduction methods with machine learning classifiers has achieved good results. In this paper, we propose a hybrid feature selection method for obtaining relevant features by combining various filter-based feature selection methods and fastText classifier. We then present three ways of implementing a feature selection and neural network pipeline. We observed a reduction in training time when feature selection methods are used along with neural networks. We also observed a slight increase in accuracy on some datasets.


title: May oxygen depletion explain the FLASH effect? A chemical track structure analysis

abstract: Background and purpose: Recent observations in animal models show that ultra-high dose rate ("FLASH") radiation treatment significantly reduces normal tissue toxicity maintaining an equivalent tumor control. The dependence of this "FLASH" effect on target oxygenation has led to the assumption that oxygen "depletion" could be its major driving force. Materials and Methods: In a bottom-up approach starting from the chemical track evolution of 1 MeV electrons in oxygenated water simulated with the TRAX-CHEM Monte Carlo code, we determine the oxygen consumption and radiolytic reactive oxygen species production following a short radiation pulse. Based on these values, the effective dose weighted by oxygen enhancement ratio (OER) or the in vitro cell survival under dynamic oxygen pressure is calculated and compared to that of conventional exposures, at constant OER. Results: We find an excellent agreement of our Monte Carlo predictions with the experimental value for radiolytic oxygen removal from oxygenated water. However, the application of the present model to published radiobiological experiment conditions shows that oxygen depletion can only have a negligible impact on radiosensitivity through oxygen enhancement, especially at typical experimental oxygenations where a FLASH effect has been observed. Conclusion: We show that the magnitude and dependence of the "oxygen depletion" hypothesis are not consistent with the observed biological effects of FLASH irradiation. While oxygenation plays an undoubted role in mediating the FLASH effect, we conclude that state-of-the-art radiation chemistry models do not support oxygen depletion and radiation-induced transient hypoxia as the main mechanism.


title: Quantum optomechanical system in a Mach-Zehnder interferometer

abstract: We consider an oscillating micromirror replacing one of the two fixed mirrors of a Mach-Zehnder interferometer. In this ideal optical set-up the quantum oscillator is subjected to the radiation pressure interaction of travelling light waves, no cavity is involved. This configuration shows that squeezed light can be generated by pure scattering on a quantum system, without involving a cavity. The squeezing can be detected at the output ports of the interferometer either by direct detection or by measuring the spectrum of the difference current. We use the Hudson-Parthasarathy equation to model the global evolution. It can describe the scattering of photons and the resulting radiation pressure interaction on the quantum oscillator. It allows to consider also the interaction with a thermal bath. In this way we have a unitary dynamics giving the evolution of oscillator and fields. The Bose fields of quantum stochastic calculus and the related generalized Weyl operators allow to describe the whole optical circuit. By working in the Heisenberg picture, the quantum Langevin equations for position and momentum and the output fields arise, which are used to describe the monitoring in continuous time of the light at the output ports. In the case of strong laser and weak radiation pressure interaction highly non-classical light is produced, and this can be revealed either by direct detection (a negative Mandel Q-parameter is found), either by the intensity spectrum of the difference current of two photodetector; in the second case a nearly complete cancellation of the shot noise can be reached. In this last case it appears that the Mach-Zehnder configuration together with the detection of the difference current corresponds to an homodyne detection scheme, so that we can say that the apparatus is measuring the spectrum of squeezing.


title: Multilingual Pre-Trained Transformers and Convolutional NN Classification Models for Technical Domain Identification

abstract: In this paper, we present a transfer learning system to perform technical domain identification on multilingual text data. We have submitted two runs, one uses the transformer model BERT, and the other uses XLM-ROBERTa with the CNN model for text classification. These models allowed us to identify the domain of the given sentences for the ICON 2020 shared Task, TechDOfication: Technical Domain Identification. Our system ranked the best for the subtasks 1d, 1g for the given TechDOfication dataset.


title: Classification of strict limits of planar BV homeomorphisms

abstract: We present a classification of strict limits of planar BV homeomorphisms. The authors and S. Hencl showed in a previous work \cite{CHKR} that such mappings allow for cavitations and fractures singularities but fulfill a suitable generalization of the INV condition. As pointed out by J. Ball \cite{B}, these features are physically expected by limit configurations of elastic deformations. In the present work we develop a suitable generalization of the \emph{no-crossing} condition introduced by De Philippis and Pratelli in \cite{PP} to describe weak limits of planar Sobolev homeomorphisms that we call \emph{BV no-crossing} condition, and we show that a planar mapping satisfies this property if and only if it can be approximated strictly by homeomorphisms of bounded variations.


title: Personal Fixations-Based Object Segmentation with Object Localization and Boundary Preservation

abstract: As a natural way for human-computer interaction, fixation provides a promising solution for interactive image segmentation. In this paper, we focus on Personal Fixations-based Object Segmentation (PFOS) to address issues in previous studies, such as the lack of appropriate dataset and the ambiguity in fixations-based interaction. In particular, we first construct a new PFOS dataset by carefully collecting pixel-level binary annotation data over an existing fixation prediction dataset, such dataset is expected to greatly facilitate the study along the line. Then, considering characteristics of personal fixations, we propose a novel network based on Object Localization and Boundary Preservation (OLBP) to segment the gazed objects. Specifically, the OLBP network utilizes an Object Localization Module (OLM) to analyze personal fixations and locates the gazed objects based on the interpretation. Then, a Boundary Preservation Module (BPM) is designed to introduce additional boundary information to guard the completeness of the gazed objects. Moreover, OLBP is organized in the mixed bottom-up and top-down manner with multiple types of deep supervision. Extensive experiments on the constructed PFOS dataset show the superiority of the proposed OLBP network over 17 state-of-the-art methods, and demonstrate the effectiveness of the proposed OLM and BPM components. The constructed PFOS dataset and the proposed OLBP network are available at https://github.com/MathLee/OLBPNet4PFOS.


title: Unsupervised Technical Domain Terms Extraction using Term Extractor

abstract: Terminology extraction, also known as term extraction, is a subtask of information extraction. The goal of terminology extraction is to extract relevant words or phrases from a given corpus automatically. This paper focuses on the unsupervised automated domain term extraction method that considers chunking, preprocessing, and ranking domain-specific terms using relevance and cohesion functions for ICON 2020 shared task 2: TermTraction.


title: Higher dimensional Shimura varieties in the Prym loci of ramified double covers

abstract: In this paper we construct Shimura subvarieties of dimension bigger than one of the moduli space of polarised abelian varieties of a given dimension, which are generically contained in the Pym loci of (ramified) double covers. The idea is to adapt the techniques already used to construct Shimura curves in the Prym loci to the higher dimensional case, namely to use families of Galois covers of the projective line. The case of abelian covers is treated in detail, since in this case it is possible to make explicit computations that allow to verify a sufficient condition for such a family to yield a Shimura subvariety of the space polarised abelian varieties of a given dimension.


title: Crossing Symmetric Dispersion Relations for Mellin Amplitudes

abstract: We consider manifestly crossing symmetric dispersion relations for Mellin amplitudes of scalar four point correlators in conformal field theories (CFTs). This allows us to set up the non-perturbative Polyakov bootstrap for CFTs in Mellin space on a firm foundation, thereby fixing the contact term ambiguities in the crossing symmetric blocks. Our new approach employs certain "locality" constraints replacing the requirement of crossing symmetry in the usual fixed-$t$ dispersion relation. Using these constraints we show that the sum rules based on the two channel dispersion relations and the present dispersion relations are identical. Our framework allows us to connect with the conceptually rich picture of the Polyakov blocks being Witten diagrams in anti-de Sitter (AdS) space. We also give two sided bounds for Wilson coefficients for effective field theories in AdS space.


title: Network Clustering for Multi-task Learning

abstract: The Multi-Task Learning (MTL) technique has been widely studied by word-wide researchers. The majority of current MTL studies adopt the hard parameter sharing structure, where hard layers tend to learn general representations over all tasks and specific layers are prone to learn specific representations for each task. Since the specific layers directly follow the hard layers, the MTL model needs to estimate this direct change (from general to specific) as well. To alleviate this problem, we introduce the novel cluster layer, which groups tasks into clusters during training procedures. In a cluster layer, the tasks in the same cluster are further required to share the same network. By this way, the cluster layer produces the general presentation for the same cluster, while produces relatively specific presentations for different clusters. As transitions the cluster layers are used between the hard layers and the specific layers. The MTL model thus learns general representations to specific representations gradually. We evaluate our model with MTL document classification and the results demonstrate the cluster layer is quite efficient in MTL.


title: On The Cauchy Problem For A Derivative Nonlinear Schr{\"o}Dinger Equation With Nonvanishing Boundary Conditions

abstract: In this paper we consider the Schr{\"o}dinger equation with nonlinear derivative term. Our goal is to initiate the study of this equation with non vanishing boundary conditions. We obtain the local well posedness for the Cauchy problem on Zhidkov spaces X k (R) and in $\phi$ + H k (R). Moreover, we prove the existence of conservation laws by using localizing functions. Finally, we give explicit formulas for stationary solutions on Zhidkov spaces.


title: Experimentally Realizing Efficient Quantum Control with Reinforcement Learning

abstract: Robust and high-precision quantum control is crucial but challenging for scalable quantum computation and quantum information processing. Traditional adiabatic control suffers severe limitations on gate performance imposed by environmentally induced noise because of a quantum system's limited coherence time. In this work, we experimentally demonstrate an alternative approach {to quantum control} based on deep reinforcement learning (DRL) on a trapped $^{171}\mathrm{Yb}^{+}$ ion. In particular, we find that DRL leads to fast and robust {digital quantum operations with running time bounded by shortcuts to adiabaticity} (STA). Besides, we demonstrate that DRL's robustness against both Rabi and detuning errors can be achieved simultaneously without any input from STA. Our experiments reveal a general framework of digital quantum control, leading to a promising enhancement in quantum information processing.


title: B-DRRN: A Block Information Constrained Deep Recursive Residual Network for Video Compression Artifacts Reduction

abstract: Although the video compression ratio nowadays becomes higher, the video coders such as H.264/AVC, H.265/HEVC, H.266/VVC always suffer from the video artifacts. In this paper, we design a neural network to enhance the quality of the compressed frame by leveraging the block information, called B-DRRN (Deep Recursive Residual Network with Block information). Firstly, an extra network branch is designed for leveraging the block information of the coding unit (CU). Moreover, to avoid a great increase in the network size, Recursive Residual structure and sharing weight techniques are applied. We also conduct a new large-scale dataset with 209,152 training samples. Experimental results show that the proposed B-DRRN can reduce 6.16% BD-rate compared to the HEVC standard. After efficiently adding an extra network branch, this work can improve the performance of the main network without increasing any memory for storing.


title: A heavy-tailed and overdispersed collective risk model

abstract: Insurance data can be asymmetric with heavy tails, causing inadequate adjustments of the usually applied models. To deal with this issue, hierarchical models for collective risk with heavy-tails of the claims distributions that take also into account overdispersion of the number of claims are proposed. In particular, the distribution of the logarithm of the aggregate value of claims is assumed to follow a Student-t distribution. Additionally, to incorporate possible overdispersion, the number of claims is modeled as having a negative binomial distribution. Bayesian decision theory is invoked to calculate the fair premium based on the modified absolute deviation utility. An application to a health insurance dataset is presented together with some diagnostic measures to identify excess variability. The variability measures are analyzed using the marginal posterior predictive distribution of the premiums according to some competitive models. Finally, a simulation study is carried out to assess the predictive capability of the model and the adequacy of the Bayesian estimation procedure. Keywords: Continuous ranked probability score (CRPS); decision theory; insurance data; marginal posterior predictive; tail value at risk; value at risk.


title: Enhanced word embeddings using multi-semantic representation through lexical chains

abstract: The relationship between words in a sentence often tells us more about the underlying semantic content of a document than its actual words, individually. In this work, we propose two novel algorithms, called Flexible Lexical Chain II and Fixed Lexical Chain II. These algorithms combine the semantic relations derived from lexical chains, prior knowledge from lexical databases, and the robustness of the distributional hypothesis in word embeddings as building blocks forming a single system. In short, our approach has three main contributions: (i) a set of techniques that fully integrate word embeddings and lexical chains; (ii) a more robust semantic representation that considers the latent relation between words in a document; and (iii) lightweight word embeddings models that can be extended to any natural language task. We intend to assess the knowledge of pre-trained models to evaluate their robustness in the document classification task. The proposed techniques are tested against seven word embeddings algorithms using five different machine learning classifiers over six scenarios in the document classification task. Our results show the integration between lexical chains and word embeddings representations sustain state-of-the-art results, even against more complex systems.


title: Online Packing to Minimize Area or Perimeter

abstract: We consider online packing problems where we get a stream of axis-parallel rectangles. The rectangles have to be placed in the plane without overlapping, and each rectangle must be placed without knowing the subsequent rectangles. The goal is to minimize the perimeter or the area of the axis-parallel bounding box of the rectangles. We either allow rotations by 90 degrees or translations only. For the perimeter version we give algorithms with an absolute competitive ratio slightly less than 4 when only translations are allowed and when rotations are also allowed. We then turn our attention to minimizing the area and show that the asymptotic competitive ratio of any algorithm is at least $\Omega(\sqrt{n})$, where $n$ is the number of rectangles in the stream, and this holds with and without rotations. We then present algorithms that match this bound in both cases. We also show that the competitive ratio cannot be bounded as a function of OPT. We then consider two special cases. The first is when all the given rectangles have aspect ratios bounded by some constant. The particular variant where all the rectangles are squares and we want to minimize the area of the bounding square has been studied before and an algorithm with a competitive ratio of 8 has been given [Fekete and Hoffmann, Algorithmica, 2017]. We improve the analysis of the algorithm and show that the ratio is at most 6, which is tight. The second special case is when all edges have length at least 1. Here, the $\Omega(\sqrt n)$ lower bound still holds, and we turn our attention to lower bounds depending on OPT. We show that any algorithm has an asymptotic competitive ratio of at least $\Omega(\sqrt{OPT})$ for the translational case and $\Omega(\sqrt[4]{OPT})$ when rotations are allowed. For both versions, we give algorithms that match the respective lower bounds.


title: {\L}ojasiewicz inequalities for mean convex self-shrinkers

abstract: We prove {\L}ojasiewicz inequalities for round cylinders and cylinders over Abresch-Langer curves, using perturbative analysis of a quantity introduced by Colding-Minicozzi. A feature is that this auxiliary quantity allows us to work essentially at first order. This new method interpolates between the higher order perturbative analysis used by the author for certain shrinking cylinders, and the differential geometric method used by Colding-Minicozzi for the round case.


title: Improving estimates of the growth rate using galaxy-velocity correlations: a simulation study

abstract: We present an improved framework for estimating the growth rate of large-scale structure, using measurements of the galaxy-velocity cross-correlation in configuration space. We consider standard estimators of the velocity auto-correlation function, $\psi_1$ and $\psi_2$, the two-point galaxy correlation function, $\xi_{gg}$, and introduce a new estimator of the galaxy-velocity cross-correlation function, $\psi_3$. By including pair counts measured from random catalogues of velocities and positions sampled from distributions characteristic of the true data, we find that the variance in the galaxy-velocity cross-correlation function is significantly reduced. Applying a covariance analysis and $\chi^2$ minimisation procedure to these statistics, we determine estimates and errors for the normalised growth rate $f\sigma_8$ and the parameter $\beta = f/b$, where $b$ is the galaxy bias factor. We test this framework on mock hemisphere datasets for redshift $z < 0.1$ with realistic velocity noise constructed from the L-PICOLA simulation code, and find that we are able to recover the fiducial value of $f\sigma_8$ from the joint combination of $\psi_1$ + $\psi_2$ + $\psi_3$ + $\xi_{gg}$, with 15\% accuracy from individual mocks. We also recover the fiducial $f\sigma_8$ to within 1$\sigma$ regardless of the combination of correlation statistics used. When we consider all four statistics together we find that the statistical uncertainty in our measurement of the growth rate is reduced by $59\%$ compared to the same analysis only considering $\psi_2$, by $53\%$ compared to the same analysis only considering $\psi_1$, and by $52\%$ compared to the same analysis jointly considering $\psi_1$ and $\psi_2$.


title: Residue families, singular Yamabe problems and extrinsic conformal Laplacians

abstract: Let $(X,g)$ be a compact manifold with boundary $M^n$ and $\sigma$ a defining function of $M$. To these data, we associate natural conformally covariant polynomial one-parameter families of differential operators $C^\infty(X) \to C^\infty(M)$. They arise through a residue construction which generalizes an earlier construction in the framework of Poincar\'e-Einstein metrics. The main ingredient of the definition of residue families are eigenfunctions of the Laplacian of the singular metric $\sigma^{-2}g$. We prove that if $\sigma$ is an approximate solution of a singular Yamabe problem, these families can be written as compositions of certain degenerate Laplacians. This result implies that the notions of extrinsic conformal Laplacians and extrinsic $Q$-curvature introduced in recent works by Gover and Waldron can naturally be rephrased in terms of residue families. The new spectral theoretical perspective enables us to relate the extrinsic conformal Laplacians and the critical extrinsic $Q$-curvature to the scattering operator of the asymptotically hyperbolic metric $\sigma^{-2}g$ extending the work of Graham and Zworski. The latter relation implies that the extrinsic conformal Laplacians are self-adjoint. We describe the asymptotic expansion of the volume of a singular Yamabe metric in terms of Laplace-Robin operators. We also derive new local holographic formulas for all extrinsic $Q$-curvatures in terms of renormalized volume coefficients, the scalar curvature of the background metric, and the asymptotic expansions of eigenfunctions of the Laplacian of the singular metric $\sigma^{-2}g$. Furthermore, we prove a new formula for the singular Yamabe obstruction $B_n$, and we use the latter formula to derive explicit expressions for the obstructions in low-order cases (confirming earlier results). Finally, we relate the obstruction $B_n$ to the supercritical $Q$-curvature $Q_{n+1}$.


title: A Closer Look at Temporal Sentence Grounding in Videos: Dataset and Metric

abstract: Temporal Sentence Grounding in Videos (TSGV), i.e., grounding a natural language sentence which indicates complex human activities in a long and untrimmed video sequence, has received unprecedented attentions over the last few years. Although each newly proposed method plausibly can achieve better performance than previous ones, current TSGV models still tend to capture the moment annotation biases and fail to take full advantage of multi-modal inputs. Even more incredibly, several extremely simple baselines without training can also achieve state-of-the-art performance. In this paper, we take a closer look at the existing evaluation protocols for TSGV, and find that both the prevailing dataset splits and evaluation metrics are the devils to cause unreliable benchmarking. To this end, we propose to re-organize two widely-used TSGV benchmarks (ActivityNet Captions and Charades-STA). Specifically, we deliberately make the ground-truth moment distribution different in the training and test splits, i.e., out-of-distribution (OOD) testing. Meanwhile, we introduce a new evaluation metric dR@n,IoU@m to calibrate the basic IoU scores by penalizing on the bias-influenced moment predictions and alleviate the inflating evaluations caused by the dataset annotation biases such as overlong ground-truth moments. Under our new evaluation protocol, we conduct extensive experiments and ablation studies on eight state-of-the-art TSGV methods. All the results demonstrate that the re-organized dataset splits and new metric can better monitor the progress in TSGV. Our reorganized datsets are available at https://github.com/yytzsy/grounding_changing_distribution.


title: Indication of a Pulsar Wind Nebula in the hard X-ray emission from SN 1987A

abstract: Since the day of its explosion, SN 1987A (SN87A) was closely monitored with the aim to study its evolution and to detect its central compact relic. The detection of neutrinos from the supernova strongly supports the formation of a neutron star (NS). However, the constant and fruitless search for this object has led to different hypotheses on its nature. Up to date, the detection in the ALMA data of a feature somehow compatible with the emission arising from a proto Pulsar Wind Nebula (PWN) is the only hint of the existence of such elusive compact object. Here we tackle this 33-years old issue by analyzing archived observations of SN87A performed Chandra and NuSTAR in different years. We firmly detect nonthermal emission in the $10-20$ kev energy band, due to synchrotron radiation. The possible physical mechanism powering such emission is twofold: diffusive shock acceleration (DSA) or emission arising from an absorbed PWN. By relating a state-of-the-art magneto-hydrodynamic simulation of SN87A to the actual data, we reconstruct the absorption pattern of the PWN embedded in the remnant and surrounded by cold ejecta. We found that, even though the DSA scenario cannot be firmly excluded, the most likely scenario that well explains the data is the PWN emission.


title: Counting Centralizers of a Finite Group with an Application in Constructing the Commuting Conjugacy Class Graph

abstract: The set of all centralizers of elements in a finite group $G$ is denoted by $Cent(G)$ and $G$ is called $n-$centralizer if $|Cent(G)| = n$. In this paper, the structure of centralizers in a non-abelian finite group $G$ with this property that $\frac{G}{Z(G)} \cong Z_{p^2} \rtimes Z_{p^2}$ is obtained. As a consequence, it is proved that such a group has exactly $[(p+1)^2+1]$ element centralizers and the structure of the commuting conjugacy class graph of $G$ is completely determined.


title: CutLang V2: towards a unified Analysis Description Language

abstract: We will present the latest developments in CutLang, the runtime interpreter of a recently-developed analysis description language (ADL) for collider data analysis. ADL is a domain-specific, declarative language that describes the contents of an analysis in a standard and unambiguous way, independent of any computing framework. In ADL, analyses are written in human-readable plain text files, separating object, variable and event selection definitions in blocks, with a syntax that includes mathematical and logical operations, comparison and optimisation operators, reducers, four-vector algebra and commonly used functions. Adopting ADLs would bring numerous benefits to the LHC experimental and phenomenological communities, ranging from analysis preservation beyond the lifetimes of experiments or analysis software to facilitating the abstraction, design, visualization, validation, combination, reproduction, interpretation and overall communication of the analysis contents. Since their initial release, ADL and CutLang have been used for implementing and running numerous LHC analyses. In this process, the original syntax from CutLang v1 has been modified for better ADL compatibility, and the interpreter has been adapted to work with that syntax, resulting in the current release v2. Furthermore, CutLang has been enhanced to handle object combinatorics, to include tables and weights, to save events at any analysis stage, to benefit from multi-core/multi-CPU hardware among other improvements. In this contribution, these and other enhancements are discussed in details. In addition, real life examples from LHC analyses are presented together with a user manual.


title: Checking Robustness Between Weak Transactional Consistency Models

abstract: Concurrent accesses to databases are typically encapsulated in transactions in order to enable isolation from other concurrent computations and resilience to failures. Modern databases provide transactions with various semantics corresponding to different trade-offs between consistency and availability. Since a weaker consistency model provides better performance, an important issue is investigating the weakest level of consistency needed by a given program (to satisfy its specification). As a way of dealing with this issue, we investigate the problem of checking whether a given program has the same set of behaviors when replacing a consistency model with a weaker one. This property known as robustness generally implies that any specification of the program is preserved when weakening the consistency. We focus on the robustness problem for consistency models which are weaker than standard serializability, namely, causal consistency, prefix consistency, and snapshot isolation. We show that checking robustness between these models is polynomial time reducible to a state reachability problem under serializability. We use this reduction to also derive a pragmatic proof technique based on Lipton's reduction theory that allows to prove programs robust. We have applied our techniques to several challenging applications drawn from the literature of distributed systems and databases.


title: Reionization and galaxy inference from the high-redshift Ly{\alpha} forest

abstract: The transmission of Lyman-{\alpha} (Ly{\alpha}) in the spectra of distant quasars depends on the density, temperature, and ionization state of the intergalactic medium (IGM). Therefore, high-redshift (z > 5) Ly{\alpha} forests could be invaluable in studying the late stages of the epoch of reionization (EoR), as well as properties of the sources that drive it. Indeed, high-quality quasar spectra have now firmly established the existence of large-scale opacity fluctuations at z > 5, whose physical origins are still debated. Here we introduce a Bayesian framework capable of constraining the EoR and galaxy properties by forward-modelling the high-z Ly{\alpha} forest. Using priors from galaxy and CMB observations, we demonstrate that the final overlap stages of the EoR (when >95% of the volume was ionized) should occur at z < 5.6, in order to reproduce the large-scale opacity fluctuations seen in forest spectra. However, it is the combination of patchy reionization and the inhomogeneous UV background that produces the longest Gunn-Peterson troughs. Ly{\alpha} forest observations tighten existing constraints on the characteristic ionizing escape fraction of galaxies, with the combined observations suggesting f_{\rm esc} \approx 7^4_3%, and disfavoring a strong evolution with the galaxy's halo (or stellar) mass.