title: R-VGAE: Relational-variational Graph Autoencoder for Unsupervised Prerequisite Chain Learning

abstract: The task of concept prerequisite chain learning is to automatically determine the existence of prerequisite relationships among concept pairs. In this paper, we frame learning prerequisite relationships among concepts as an unsupervised task with no access to labeled concept pairs during training. We propose a model called the Relational-Variational Graph AutoEncoder (R-VGAE) to predict concept relations within a graph consisting of concept and resource nodes. Results show that our unsupervised approach outperforms graph-based semi-supervised methods and other baseline methods by up to 9.77% and 10.47% in terms of prerequisite relation prediction accuracy and F1 score. Our method is notably the first graph-based model that attempts to make use of deep learning representations for the task of unsupervised prerequisite learning. We also expand an existing corpus which totals 1,717 English Natural Language Processing (NLP)-related lecture slide files and manual concept pair annotations over 322 topics.


title: Radial-velocity variations due to meridional flows in the Sun and solar-type stars: impact on exoplanet detectability

abstract: Stellar variability due to magnetic activity and flows at different spatial scales strongly impacts radial velocities. This variability is seen as oscillations, granulation, supergranulation, and meridional flows. The effect of this latter process is poorly known but could affect exoplanet detectability. We aim to quantify its amplitude when integrated over the disc and its temporal variability, first for the Sun, seen with different inclinations, and then for other solar-type stars. We used long time series of solar latitudinal meridional circulation to reconstruct its integrated contribution. We then used scaling laws from HD simulations relating the amplitude of the meridional flow variability with stellar mass and rotation rate to estimate the typical amplitude expected for other solar-type stars. We find typical rms of the order of 0.5-0.7 m/s (edge-on) and 1.2-1.7 m/s (pole-on) for the Sun, with a minimal jitter for an inclination of 45-55 deg. This is significant compared to other stellar activity contributions and is much larger than the radial-velocity signal of the Earth. The variability is strongly related to the activity cycle. Extension to other solar-type stars shows that the variability due to meridional flows is dominated by the amplitude of the cycle of those stars. The meridional flow contribution sometimes represents a high fraction of the convective blueshift inhibition signal, especially for quiet, low-mass stars. Our study shows that these meridional flows could be critical for exoplanet detection. Low inclinations are more impacted than edge-on configurations, but these latter still exhibit significant variability. Meridional flows also degrade the correlation between radial velocities due to convective blueshift inhibition and chromospheric activity indicators. This will make the correction from this signal challenging for stars with no multi-cellular patterns.


title: Observation of electroweak production of two jets and a $Z$-boson pair

abstract: Electroweak symmetry breaking explains the origin of the masses of elementary particles through their interactions with the Higgs field. Besides the measurements of the Higgs boson properties, the study of the scattering of massive vector bosons with spin one allows the nature of electroweak symmetry breaking to be probed. Among all processes related to vector-boson scattering, the electroweak production of two jets and a $Z$-boson pair is a rare and important one. Here we report the observation of this process from proton-proton collision data corresponding to an integrated luminosity of 139/fb recorded at a centre-of-mass energy of 13 TeV with the ATLAS detector at the Large Hadron Collider. We consider two different final states originating from the decays of the $Z$-boson pair - one containing four charged leptons and the other containing two charged leptons and two neutrinos. The hypothesis of no electroweak production is rejected with a statistical significance of 5.7 $\sigma$, and the measured cross-section for electroweak production is consistent with the standard model prediction. In addition, we report cross-sections for inclusive production of a $Z$-boson pair and two jets for the two final states.


title: On the analyticity of static solutions of a field equation in Finsler gravity

abstract: It is well-known that static vacuum solutions of Einstein equations are analytic in suitable coordinates. We ask here for an extension of this result in the context of Finsler gravity. We consider Finsler spacetimes that retain several properties of static Lorentzian spacetimes, are Berwald and have vanishing Ricci scalar.


title: Optimal quarantine strategies for COVID-19 control models

abstract: Optimal control problems reflecting the finding of effective quarantine strategies are considered for two control SEIR~type models describing the spread of the COVID-19 virus in the human population. The properties of the corresponding optimal controls are established analytically by applying the Pontryagin maximum principle. The optimal solutions are obtained numerically using BOCOP 2.0.5 software. The behavior of the appropriate optimal solutions and their dependence on the basic reproductive ratio and length of quarantine are discussed in detail. Necessary conclusions are made.


title: Trajectory of a flying plasma mirror traversing a target with density gradient

abstract: It has been proposed that laser-induced relativistic plasma mirror can accelerate if the plasma has a properly tailored density profile. Such accelerating plasma mirrors can serve as analog black holes to investigate Hawking evaporation and the associated information loss paradox. Here we reexamine the underlying dynamics of mirror motion in a graded-density plasma to provide an explicit trajectory as a function of the plasma density and its gradient. Specifically, a decreasing plasma density profile (down-ramp) along the direction of laser propagation would in general accelerate the mirror. In particular, a constant-plus-exponential density profile would generate the Davies-Fulling trajectory with a well-defined analog Hawking temperature, which is sensitive to the plasma density gradient but not to the density itself. We show that without invoking nano-fabricated thin-films, a much lower density gas target at, for example, $\sim 1\times 10^{17}{\rm cm}^{-3}$, would be able to induce an analog Hawking temperature, $k_{_B}T_{_H}\sim 6.6 \times 10^{-2}{\rm eV}$, in the far-infrared region. We hope that this would help to better realize the experiment proposed by Chen and Mourou.


title: The role of Coherent Structures and Inhomogeneity in Near-Field Inter-Scale Turbulent Energy Transfers

abstract: We use DNS to study inter-scale and inter-space energy exchanges in the near-field of a turbulent wake of a square prism in terms of the KHMH equation written for a triple decomposition of the velocity field accounting for the quasi-periodic vortex shedding. Orientation-averaged terms of the KHMH are computed on the plane of the mean flow and on the geometric centreline. We consider locations between $2$ and $8$ times the width $d$ of the prism. The mean flow produces kinetic energy which feeds the vortex shedding coherent structures. In turn, these structures transfer energy to the stochastic fluctuations over all length-scales $r$ from the Taylor length $\lambda$ to $d$ and dominate spatial turbulent transport of two-point stochastic turbulent fluctuations. The orientation-averaged non-linear inter-scale transfer rate $\Pi^{a}$ which was found to be approximately independent of $r$ by Alves Portela et. al. (2017) in the range $\lambda\le r \le 0.3d$ at a distance $x_{1}=2d$ from the square prism requires an inter-scale transfer contribution of coherent structures for this approximate constancy. However, the near-constancy of $\Pi^a$ at $x_1=8d$ which was also found by Alves Portela et. al. (2017) is mostly due to stochastic fluctuations. Even so, the proximity of $-\Pi^a$ to the turbulence dissipation rate $\varepsilon$ in the range $\lambda\le r\le d$ at $x_1=8d$ requires contributions of the coherent structures. Spatial inhomogeneity also makes a direct and distinct contribution to $\Pi^a$, and the constancy of $-\Pi^a/\varepsilon$ close to 1 would not have been possible without it either in this near-field flow. Finally, the pressure-velocity term is also an important contributor to the KHMH, particularly at scales r larger than about $0.4d$, and appears to correlate with the purely stochastic non-linear inter-scale transfer rate when the orientation average is lifted.


title: Twins: BFT Systems Made Robust

abstract: This paper presents Twins, an automated unit test generator of Byzantine attacks. Twins implements three types of Byzantine behaviors: (i) leader equivocation, (ii) double voting, and (iii) losing internal state such as forgetting 'locks' guarding voted values. To emulate interesting attacks by a Byzantine node, it instantiates twin copies of the node instead of one, giving both twins the same identities and network credentials. To the rest of the system, the twins appear indistinguishable from a single node behaving in a 'questionable' manner. Twins can systematically generate Byzantine attack scenarios at scale, execute them in a controlled manner, and examine their behavior. Twins scenarios iterate over protocol rounds and vary the communication patterns among nodes. Twins runs in a production setting within DiemBFT where it can execute 44M Twins-generated scenarios daily. Whereas the system at hand did not manifest errors, subtle safety bugs that were deliberately injected for the purpose of validating the implementation of Twins itself were exposed within minutes. Twins can prevent developers from regressing correctness when updating the codebase, introducing new features, or performing routine maintenance tasks. Twins only requires a thin wrapper over DiemBFT, we thus envision other systems using it. Building on this idea, one new attack and several known attacks against other BFT protocols were materialized as Twins scenarios. In all cases, the target protocols break within fewer than a dozen protocol rounds, hence it is realistic for the Twins approach to expose the problems.


title: Moment-Based Domain Adaptation: Learning Bounds and Algorithms

abstract: This thesis contributes to the mathematical foundation of domain adaptation as emerging field in machine learning. In contrast to classical statistical learning, the framework of domain adaptation takes into account deviations between probability distributions in the training and application setting. Domain adaptation applies for a wider range of applications as future samples often follow a distribution that differs from the ones of the training samples. A decisive point is the generality of the assumptions about the similarity of the distributions. Therefore, in this thesis we study domain adaptation problems under as weak similarity assumptions as can be modelled by finitely many moments.


title: Derivation of Heard-Of Predicates From Elementary Behavioral Patterns

abstract: There are many models of distributed computing, and no unifying mathematical framework for considering them all. One way to sidestep this issue is to start with simple communication and fault models, and use them as building blocks to derive the complex models studied in the field. We thus define operations like union, succession or repetition, which makes it easier to build complex models from simple ones while retaining expressivity. To formalize this approach, we abstract away the complex models and operations in the Heard-Of model. This model relies on (possibly asynchronous) rounds; sequence of digraphs, one for each round, capture which messages sent at a given round are received before the receiver goes to the next round. A set of sequences, called a heard-of predicate,defines the legal communication behaviors -- that is to say, a model of communication. Because the proposed operations behave well with this transformation of operational models into heard-of predicates, we can derive bounds, characterizations, and implementations of the heard-of predicates for the constructions.


title: Instability of regularized 4D charged Einstein-Gauss-Bonnet de-Sitter black holes

abstract: We studied the instability of the regularized 4D charged Einstein-Gauss-Bonnet de-Sitter black holes under charged scalar perturbations. The unstable modes satisfy the superradiant condition, but not all modes satisfying the superradiant condition are unstable. The instability occurs when the cosmological constant is small and the black hole charge is not too large. The Gauss-Bonnet coupling constant makes the unstable black hole more unstable when both the black hole charge and cosmological constant are small, and makes the stable black hole more stable when the black hole charge is large.


title: Enstrophy transfers in helical turbulence

abstract: In this paper we study the enstrophy transers in helical turbulence using direct numerical simulation. We observe that the helicity injection does not have significant effects on the inertial-range energy and helicity spectra ($\sim k^{-5/3}$) and fluxes (constants). We also calculate the separate contributions to enstrophy transfers via velocity to vorticity and vorticity to vorticity channels. There are four different enstrophy fluxes associated with the former channel or vorticity stretching, and one flux associated with the latter channel or vorticity advection. In the inertial range, the fluxes due to vorticity stretching are larger than that due to advection. These transfers too are insensitive to helicity injection.


title: On Area Growth in Sol

abstract: Let Sol be the $3$-dimensional solvable Lie group whose underlying space is $\mathbb{R}^3$ and whose left-invariant Riemannian metric is given by $$e^{-2z} dx^2 + e^{2z} dy^2 + dz^2.$$ Building on previous joint work with Matei Coiculescu, which characterizes the cut locus in Sol, we prove that the sphere of radius r in sol has area at most $20 \pi e^r$ provided that r is sufficiently large. This estimate is sharp up to a factor of 10


title: Majorana bound states in topological insulators with hidden Dirac points

abstract: We address the issue whether it is possible to generate Majorana bound states at the magnetic-superconducting interface in two-dimensional topological insulators with hidden Dirac points in the spectrum. In this case, the Dirac point of edge states is located at the energies of the bulk states such that two types of states are strongly hybridized. Here, we show that well-defined Majorana bound states can be obtained even in materials with hidden Dirac point provided that the width of the magnetic strip is chosen to be comparable with the localization length of the edge states. The obtained topological phase diagram allows one to extract precisely the position of the Dirac point in the spectrum. In addition to standard zero-bias peak features caused by Majorana bound states in transport experiments, we propose to supplement future experiments with measurements of charge and spin polarization. In particular, we demonstrate that both observables flip their signs at the topological phase transition, thus, providing an independent signature of the presence of topological superconductivity. All features remain stable against substantially strong disorder.


title: Contextualised Graph Attention for Improved Relation Extraction

abstract: This paper presents a contextualized graph attention network that combines edge features and multiple sub-graphs for improving relation extraction. A novel method is proposed to use multiple sub-graphs to learn rich node representations in graph-based networks. To this end multiple sub-graphs are obtained from a single dependency tree. Two types of edge features are proposed, which are effectively combined with GAT and GCN models to apply for relation extraction. The proposed model achieves state-of-the-art performance on Semeval 2010 Task 8 dataset, achieving an F1-score of 86.3.


title: Non-Archimedean analytic curves in the complements of hypersurface divisors

abstract: We study the degeneration dimension of non-archimedean analytic maps into the complement of hypersurface divisors of smooth projective varieties. We also show that there exist no non-archimedean analytic maps into $P^n\setminus\cup_{i= 1}^n D_i$ where $D_i, 1\le i\le n$, are hypersurfaces of degree at least 2 in general position and intersecting transversally. Moreover, we prove that there exist no non-archimedean analytic maps into $P^2\setminus\cup_{i=1}^2 D_i$ when $D_1, D_2$ are generic plane curves with deg$D_1+$deg$D_2\ge 4$.


title: Lyapunov exponents for random perturbations of coupled standard maps

abstract: In this paper, we give a quantitative estimate for the sum of the first $N$ Lyapunov exponents for random perturbations of a natural class $2N$-dimensional volume-preserving systems exhibiting strong hyperbolicity on a large but noninvariant subset of phase space. Concrete models covered by our setting include systems of coupled standard maps, in both `weak' and `strong' coupling regimes.


title: Comparative study of charged multiplicities and moments in $pp$ collisions at $\sqrt{s}$=7 TeV in the forward region at the LHC

abstract: Charged particle multiplicities in proton-proton collisions measured in the LHCb detector at a centre-of-mass energy of $\sqrt s$=7 TeV in different windows of pseudorapidity $\eta$, in the forward region of the vertex detector are studied by using different statistical distributions. Three distributions are compared with the data and the moments of the distributions are calculated. The data constituting two sets, one of minimum bias events and another of hard QCD events are analysed. The distributions considered derive from different functional forms based on underlying interaction dynamics. The analysis complements the multiplicity analysis done by LHCb in terms of Monte Carlo event generators. The present analysis is from a different perspective, using statistical distributions.


title: Curvature and thermal corrections in tree-level CPT-Violating Leptogenesis

abstract: In a model for leptogenesis based on spontaneous breaking of Lorentz and CPT symmetry [1-3], we examine the consistency of using the approximation of plane-wave solutions for a free spin-(1/2) Dirac (or Majorana) fermion field propagating in a Friedmann-Lemaitre-Robertson-Walker space time augmented with a cosmic time-dependent (or, equivalently, a temperature-dependent) Kalb-Ramond (KR) background. For the range of parameters relevant for leptogenesis, our analysis fully justifies the use of plane-wave solutions in our study of leptogenesis with Boltzmann equations; any corrections induced by space-time-curvature are negligible. We also elaborate further on how the lepton asymmetry is communicated to the Baryon sector. We demonstrate that the KR background (KRB) does not contribute to the anomaly equations that determine the baryon asymmetry a) through an explicit evaluation of a triangle Feynman graph and b) indirectly, on topological grounds, by identifying the KRB as torsion (in the effective string-inspired low energy gravitational field theory).


title: Amortized Bayesian model comparison with evidential deep learning

abstract: Comparing competing mathematical models of complex natural processes is a shared goal among many branches of science. The Bayesian probabilistic framework offers a principled way to perform model comparison and extract useful metrics for guiding decisions. However, many interesting models are intractable with standard Bayesian methods, as they lack a closed-form likelihood function or the likelihood is computationally too expensive to evaluate. With this work, we propose a novel method for performing Bayesian model comparison using specialized deep learning architectures. Our method is purely simulation-based and circumvents the step of explicitly fitting all alternative models under consideration to each observed dataset. Moreover, it requires no hand-crafted summary statistics of the data and is designed to amortize the cost of simulation over multiple models and observable datasets. This makes the method particularly effective in scenarios where model fit needs to be assessed for a large number of datasets, so that per-dataset inference is practically infeasible.Finally, we propose a novel way to measure epistemic uncertainty in model comparison problems. We demonstrate the utility of our method on toy examples and simulated data from non-trivial models from cognitive science and single-cell neuroscience. We show that our method achieves excellent results in terms of accuracy, calibration, and efficiency across the examples considered in this work. We argue that our framework can enhance and enrich model-based analysis and inference in many fields dealing with computational models of natural processes. We further argue that the proposed measure of epistemic uncertainty provides a unique proxy to quantify absolute evidence even in a framework which assumes that the true data-generating model is within a finite set of candidate models.


title: Dimension spectrum of infinite self-affine iterated function systems

abstract: Given an infinite iterated function system (IFS) $\mathcal{F}$, we define its dimension spectrum $D(\mathcal{F})$ to be the set of real numbers which can be realised as the dimension of some subsystem of $\mathcal{F}$. In the case where $\mathcal{F}$ is a conformal IFS, the properties of the dimension spectrum have been studied by several authors. In this paper we investigate for the first time the properties of the dimension spectrum when $\mathcal{F}$ is a non-conformal IFS. In particular, unlike dimension spectra of conformal IFS which are always compact and perfect (by a result of Chousionis, Leykekhman and Urba\'{n}ski, Selecta 2019), we construct examples to show that $D(\mathcal{F})$ need not be compact and may contain isolated points.


title: The new methods for equity fund selection and optimal portfolio construction

abstract: We relook at the classic equity fund selection and portfolio construction problems from a new perspective and propose an easy-to-implement framework to tackle the problem in practical investment. Rather than the conventional way by constructing a long only portfolio from a big universe of stocks or macro factors, we show how to produce a long-short portfolio from a smaller pool of stocks from mutual fund top holdings and generate impressive results. As these methods are based on statistical evidence, we need closely monitoring the model validity, and prepare repair strategies.


title: Order book dynamics with liquidity fluctuations: limit theorems and large deviations

abstract: We propose a class of stochastic models for a dynamics of limit order book with different type of liquidities. Within this class of models we study the one where a spread decreases uniformly, belonging to the class of processes known as a population processes with uniform catastrophes. The law of large numbers (LLN), central limit theorem (CLT) and large deviations (LD) are proved for our model with uniform catastrophes. Our results allow us to satisfactorily explain the volatility and local trends in the prices, relevant empirical characteristics that are observed in this type of markets. Furthermore, it shows us how these local trends and volatility are determined by the typical values of the bid-ask spread. In addition, we use our model to show how large deviations occur in the spread and prices, such as those observed in flash crashes.


title: Local bifurcation structure of a bouncing ball system with a piecewise polynomial function for table displacement

abstract: The system in which a small rigid ball is bouncing repeatedly on a massive at table vibrating vertically, so-called the bouncing ball system, has been widely studied. Under the assumption that the table is vibrating with a piecewise polynomial function of time, the bifurcation diagram changes qualitatively depending on the order of the polynomial function. We elucidate the mechanism of the difference in the bifurcation diagrams by focusing on the two-period solution. In addition, we derive the approximate curve of the branch close to the period-doubling bifurcation point in the case of the piecewise cubic function of time for the table vibration. We also performed numerical calculation, and we demonstrate that the approximations well reproduce the numerical results.


title: MangaGAN: Unpaired Photo-to-Manga Translation Based on The Methodology of Manga Drawing

abstract: Manga is a world popular comic form originated in Japan, which typically employs black-and-white stroke lines and geometric exaggeration to describe humans' appearances, poses, and actions. In this paper, we propose MangaGAN, the first method based on Generative Adversarial Network (GAN) for unpaired photo-to-manga translation. Inspired by how experienced manga artists draw manga, MangaGAN generates the geometric features of manga face by a designed GAN model and delicately translates each facial region into the manga domain by a tailored multi-GANs architecture. For training MangaGAN, we construct a new dataset collected from a popular manga work, containing manga facial features, landmarks, bodies, and so on. Moreover, to produce high-quality manga faces, we further propose a structural smoothing loss to smooth stroke-lines and avoid noisy pixels, and a similarity preserving module to improve the similarity between domains of photo and manga. Extensive experiments show that MangaGAN can produce high-quality manga faces which preserve both the facial similarity and a popular manga style, and outperforms other related state-of-the-art methods.


title: The double polytrope for anisotropic matter: Newtonian Case

abstract: A general formalism developed few years ago to model polytropic Newtonian stars with anisotropic pressure is applied to model stars for which, both, radial and tangential pressure satisfy polytropic equations of state. We obtain the corresponding Lane--Emden equation, and integrate it for a wide range of values of the parameters, thereby illustrating the effects of the pressure anisotropy on stellar objects. We calculate Chandrasekhar mass for a white dwarf and compare it with previous results. Finally, prospective applications to some astrophysical scenarios are discussed.


title: Magnetic phase diagram of the linear quantum ferro-antiferromagnet Cs$_{2}$Cu$_{2}$Mo$_{3}$O$_{12}$

abstract: A single-crystal sample of the frustrated quasi one-dimensional quantum magnet Cs$_{2}$Cu$_{2}$Mo$_{3}$O$_{12}$ is investigated by magnetic and thermodynamic measurements.A combination of specific heat and magnetic torque measurements maps out the entire $H$-$T$ phase diagram for three orientations.Remarkably, a new phase emerges below the saturation field, irrespective of the crystal orientation. It is suggested that the presaturation phase represents spin-nematic order or other multi-magnon condensate. The phase diagrams within the long-range ordered dome are qualitatively different for each geometry. In particular, multiple transitions are identified in the field along the chain direction.


title: Extended search for sub-eV axion-like resonances via four-wave mixing with a quasi-parallel laser collider in a high-quality vacuum system

abstract: Resonance states of axion-like particles were searched for via four-wave mixing by focusing two-color pulsed lasers into a quasi-vacuum. A quasi-parallel collision system that allows probing of the sub-eV mass range was realized by focusing the combined laser fields with an off-axis parabolic mirror. A 0.10 mJ/34 fs Ti:Sapphire laser pulse and a 0.14 mJ/9 ns Nd:YAG laser pulse were spatiotemporally synchronized by sharing a common optical axis and focused into the vacuum system. No significant four-wave mixing signal was observed at the vacuum pressure of $3.7 \times 10^{-5}$ Pa , thereby providing upper bounds on the coupling-mass relation by assuming exchanges of scalar and pseudoscalar fields at a 95 % confidence level in the mass range below 0.21 eV. For this search, the experimental setup was substantially upgraded so that optical components are compatible with the requirements of the high-quality vacuum system, hence enabling the pulse power to be increased. With the increased pulse power, a new kind of pressure-dependent background photons emerged in addition to the known atomic four-wave mixing process. This paper shows the pressure dependence of these background photons and how to handle them in the search.


title: Discovering Imperfectly Observable Adversarial Actions using Anomaly Detection

abstract: Anomaly detection is a method for discovering unusual and suspicious behavior. In many real-world scenarios, the examined events can be directly linked to the actions of an adversary, such as attacks on computer networks or frauds in financial operations. While the defender wants to discover such malicious behavior, the attacker seeks to accomplish their goal (e.g., exfiltrating data) while avoiding the detection. To this end, anomaly detectors have been used in a game-theoretic framework that captures these goals of a two-player competition. We extend the existing models to more realistic settings by (1) allowing both players to have continuous action spaces and by assuming that (2) the defender cannot perfectly observe the action of the attacker. We propose two algorithms for solving such games -- a direct extension of existing algorithms based on discretizing the feature space and linear programming and the second algorithm based on constrained learning. Experiments show that both algorithms are applicable for cases with low feature space dimensions but the learning-based method produces less exploitable strategies and it is scalable to higher dimensions. Moreover, we use real-world data to compare our approaches with existing classifiers in a data-exfiltration scenario via the DNS channel. The results show that our models are significantly less exploitable by an informed attacker.


title: Restoring geometrical optics near caustics using sequenced metaplectic transforms

abstract: Geometrical optics (GO) is often used to model wave propagation in weakly inhomogeneous media and quantum-particle motion in the semiclassical limit. However, GO predicts spurious singularities of the wavefield near reflection points and, more generally, at caustics. We present a new formulation of GO, called metaplectic geometrical optics (MGO), that is free from these singularities and can be applied to any linear wave equation. MGO uses sequenced metaplectic transforms of the wavefield, corresponding to symplectic transformations of the ray phase space, such that caustics disappear in the new variables, and GO is reinstated. The Airy problem and the quantum harmonic oscillator are studied analytically using MGO for illustration. In both cases, the MGO solutions are remarkably close to the exact solutions and remain finite at cutoffs, unlike the usual GO solutions.


title: Semantic Entity Enrichment by Leveraging Multilingual Descriptions for Link Prediction

abstract: Most Knowledge Graphs (KGs) contain textual descriptions of entities in various natural languages. These descriptions of entities provide valuable information that may not be explicitly represented in the structured part of the KG. Based on this fact, some link prediction methods which make use of the information presented in the textual descriptions of entities have been proposed to learn representations of (monolingual) KGs. However, these methods use entity descriptions in only one language and ignore the fact that descriptions given in different languages may provide complementary information and thereby also additional semantics. In this position paper, the problem of effectively leveraging multilingual entity descriptions for the purpose of link prediction in KGs will be discussed along with potential solutions to the problem.


title: Automatic Detection of Coronavirus Disease (COVID-19) in X-ray and CT Images: A Machine Learning-Based Approach

abstract: The newly identified Coronavirus pneumonia, subsequently termed COVID-19, is highly transmittable and pathogenic with no clinically approved antiviral drug or vaccine available for treatment. The most common symptoms of COVID-19 are dry cough, sore throat, and fever. Symptoms can progress to a severe form of pneumonia with critical complications, including septic shock, pulmonary edema, acute respiratory distress syndrome and multi-organ failure. While medical imaging is not currently recommended in Canada for primary diagnosis of COVID-19, computer-aided diagnosis systems could assist in the early detection of COVID-19 abnormalities and help to monitor the progression of the disease, potentially reduce mortality rates. In this study, we compare popular deep learning-based feature extraction frameworks for automatic COVID-19 classification. To obtain the most accurate feature, which is an essential component of learning, MobileNet, DenseNet, Xception, ResNet, InceptionV3, InceptionResNetV2, VGGNet, NASNet were chosen amongst a pool of deep convolutional neural networks. The extracted features were then fed into several machine learning classifiers to classify subjects as either a case of COVID-19 or a control. This approach avoided task-specific data pre-processing methods to support a better generalization ability for unseen data. The performance of the proposed method was validated on a publicly available COVID-19 dataset of chest X-ray and CT images. The DenseNet121 feature extractor with Bagging tree classifier achieved the best performance with 99% classification accuracy. The second-best learner was a hybrid of the a ResNet50 feature extractor trained by LightGBM with an accuracy of 98%.


title: Assessing criticality in pre-seizure single-neuron activity of human epileptic cortex

abstract: Epileptic seizures are characterized by abnormal and excessive neural activity, where cortical network dynamics seem to become unstable. However, most of the time, during seizure-free periods, cortex of epilepsy patients shows perfectly stable dynamics. This raises the question of how recurring instability can arise in the light of this stable default state. In this work, we examine two potential scenarios of seizure generation: (i) epileptic cortical areas might generally operate closer to instability, which would make epilepsy patients generally more susceptible to seizures, or (ii) epileptic cortical areas might drift systematically towards instability before seizure onset. We analyzed single-unit spike recordings from both the epileptogenic (focal) and the nonfocal cortical hemispheres of 20 epilepsy patients. We quantified the distance to instability in the framework of criticality, using a novel estimator, which enables an unbiased inference from a small set of recorded neurons. Surprisingly, we found no evidence for either scenario: Neither did focal areas generally operate closer to instability, nor were seizures preceded by a drift towards instability. In fact, our results from both pre-seizure and seizure-free intervals suggest that despite epilepsy, human cortex operates in the stable, slightly subcritical regime, just like cortex of other healthy mammalians.


title: Universal Dependencies v2: An Evergrowing Multilingual Treebank Collection

abstract: Universal Dependencies is an open community effort to create cross-linguistically consistent treebank annotation for many languages within a dependency-based lexicalist framework. The annotation consists in a linguistically motivated word segmentation; a morphological layer comprising lemmas, universal part-of-speech tags, and standardized morphological features; and a syntactic layer focusing on syntactic relations between predicates, arguments and modifiers. In this paper, we describe version 2 of the guidelines (UD v2), discuss the major changes from UD v1 to UD v2, and give an overview of the currently available treebanks for 90 languages.


title: Gamma-Ray Absorption By The Cosmic Lyman Continuum From Star-forming Galaxies

abstract: Motivated by the discovery of the ultra-strong emission line starburst galaxies (EELGs) known as "green pea galaxies", we consider here their contribution to the intergalactic flux of ionizing UV at high redshifts. Most galaxies that have been observed show a precipitous drop in their flux blueward of the Lyman limit. However, recent observations of EELGs have discovered that many more Lyman continuum photons escape from them into intergalactic space than was previously suspected. We calculate their contribution to the extragalactic background light (EBL). We also calculate the effect of these photons on the absorption of high energy $\gamma$-rays. For the more distant $\gamma$-ray sources, particularly at $z \ge 3$, the intergalactic opacity above a few GeV is significantly higher than previous estimates which ignored the Lyman continuum photons. We calculate the results of this increased opacity on observed $\gamma$-ray spectra, which produces a high-energy turnover starting at lower energies than previously thought, and a gradual spectral steepening that may also be observable.


title: AmbigQA: Answering Ambiguous Open-domain Questions

abstract: Ambiguity is inherent to open-domain question answering; especially when exploring new topics, it can be difficult to ask questions that have a single, unambiguous answer. In this paper, we introduce AmbigQA, a new open-domain question answering task which involves finding every plausible answer, and then rewriting the question for each one to resolve the ambiguity. To study this task, we construct AmbigNQ, a dataset covering 14,042 questions from NQ-open, an existing open-domain QA benchmark. We find that over half of the questions in NQ-open are ambiguous, with diverse sources of ambiguity such as event and entity references. We also present strong baseline models for AmbigQA which we show benefit from weakly supervised learning that incorporates NQ-open, strongly suggesting our new task and data will support significant future research effort. Our data and baselines are available at https://nlp.cs.washington.edu/ambigqa.


title: Optimization of the coherence properties of diamond samples with an intermediate concentration of NV centers

abstract: The sensitivity of the nitrogen-vacancy (NV) color centers in diamond-based magnetometers strongly depends on the number of NV centers involved in the measurement. Unfortunately, an increasing concentration of NV centers leads to decreases of their dephasing and coherence time if the nitrogen content exceeds a certain threshold level (approximately ${10^{17}}{\rm{ c}}{{\rm{m}}^{ - 3}}$). Here, we demonstrate that this increased dephasing can be efficiently compensated by postprocessing procedures in the vicinity of the threshold concertation, thus extending possible useful concentrations on NV centers with the maximum possible decoherence time in diamonds with a natural carbon content.


title: Phase Transitions of Quintessential AdS Black Holes in M-theory/Superstring Inspired Models

abstract: We study $d$-dimensional $AdS$ black holes surrounded by Dark Energy (DE), embedded in $D$-dimensional M-theory/superstring inspired models having $AdS_d \times \mathbb{S}^{d+k}$ space-time with $D=2d+k$. We focus on the thermodynamic Hawking-Page phase transitions of quintessential DE black hole solutions, whose microscopical origin is linked to $N$ coincident $(d-2)$-branes supposed to live in such $(2d+k)$-dimensional models. Interpreting the cosmological constant as the number of colors $\propto N^{\frac{d-1}{2}}$, we calculate various thermodynamical quantities in terms of brane number, entropy and DE contributions. Computing the chemical potential conjugated to the number of colors in the absence of DE, we show that a generic black hole is more stable for a larger number of branes for lower dimensions $d$.In the presence of DE, we find that the DE state parameter $\omega_q$ should take particular values, for $(D,d,k)$ models, providing a non trivial phase transition structure.


title: Optical spectroscopy and ultrafast pump-probe study on Bi$_2$Rh$_3$Se$_2$: evidence for charge-density-wave order formation

abstract: The parkerite-type ternary chalcogenide Bi$_2$Rh$_3$Se$_2$ was discovered to be a charge density wave (CDW) superconductor. However, there was a debate on whether the observed phase transition at 240 K could be attributed to the formation of CDW order. To address the issue, we performed optical spectroscopy and ultrafast pump-probe measurements on single crystal samples of Bi$_2$Rh$_3$Se$_2$. Our optical conductivity measurement reveals clearly the formation of an energy gap with associated spectral change only at low energies, yielding strong evidence for a CDW phase transition at 240 K. Time resolved pump-probe measurement provides further support for the CDW phase transition. The amplitude and relaxation time of quasiparticles extracted from the photoinduced reflectivity show strong enhancement near transition temperature, yielding further evidence for the CDW energy gap formation. Additionally, a collective mode is identified from the oscillations in the pump-probe time delay at low temperature. This mode, whose frequency decreases gradually at elevated temperature, could be naturally attributed to the amplitude mode of CDW state.


title: Some stability properties for the Bishop--Phelps--Bollob\'as property for Lipschitz maps

abstract: We study the stability behavior of the Bishop-Phelps-Bollob\'as property for Lipschitz maps (Lip-BPB property). This property is a Lipschitz version of the classical Bishop-Phelps-Bollob\'as property and deals with the possibility of approximating a Lipschitz map that almost attains its (Lipschitz) norm at a pair of distinct points by a Lipschitz map attaining its norm at a pair of distinct points (relatively) very closed to the previous one. We first study the stability of this property under the (metric) sum of the domain spaces. Next, we study when it is possible to pass the Lip-BPB property from scalar functions to some vector-valued maps, getting some positive results related to the notions of $\Gamma$-flat operators and $ACK$ structure. We get sharper results for the case of Lipschitz compact maps. The behaviour of the property with respect to absolute sums of the target space is also studied. We also get results similar to the above ones about the density of strongly norm attaining Lipschitz maps and of Lipschitz compact maps.


title: On certain linearized polynomials with high degree and kernel of small dimension

abstract: Let $f$ be the $\mathbb{F}_q$-linear map over $\mathbb{F}_{q^{2n}}$ defined by $x\mapsto x+ax^{q^s}+bx^{q^{n+s}}$ with $\gcd(n,s)=1$. It is known that the kernel of $f$ has dimension at most $2$, as proved by Csajb\'ok et al. in "A new family of MRD-codes" (2018). For $n$ big enough, e.g. $n\geq5$ when $s=1$, we classify the values of $b/a$ such that the kernel of $f$ has dimension at most $1$. To this aim, we translate the problem into the study of some algebraic curves of small degree with respect to the degree of $f$; this allows to use intersection theory and function field theory together with the Hasse-Weil bound. Our result implies a non-scatteredness result for certain high degree scattered binomials, and the asymptotic classification of a family of rank metric codes.


title: Programmable Phase-change Metasurfaces on Waveguides for Multimode Photonic Convolutional Neural Network

abstract: Neuromorphic photonics has recently emerged as a promising hardware accelerator, with significant potential speed and energy advantages over digital electronics, for machine learning algorithms such as neural networks of various types. Integrated photonic networks are particularly powerful in performing analog computing of matrix-vector multiplication (MVM) as they afford unparalleled speed and bandwidth density for data transmission. Incorporating nonvolatile phase-change materials in integrated photonic devices enables indispensable programming and in-memory computing capabilities for on-chip optical computing. Here, we demonstrate a multimode photonic computing core consisting of an array of programable mode converters based on metasurface made of phase-change materials. The programmable converters utilize the refractive index change of the phase-change material Ge-Sb-Te during phase transition to control the waveguide spatial modes with a very high precision of up 64 levels in modal contrast. This contrast is used to represent the matrix elements, with 6-bit resolution and both positive and negative values, to perform MVM computation in neural network algorithms. We demonstrate an optical convolutional neural network that can perform image processing and classification tasks with high accuracy. With a broad operation bandwidth and a compact device footprint, the demonstrated multimode photonic core is very promising toward a large-scale photonic processor for high-throughput optical neural networks.


title: A Fortran-Keras Deep Learning Bridge for Scientific Computing

abstract: Implementing artificial neural networks is commonly achieved via high-level programming languages like Python and easy-to-use deep learning libraries like Keras. These software libraries come pre-loaded with a variety of network architectures, provide autodifferentiation, and support GPUs for fast and efficient computation. As a result, a deep learning practitioner will favor training a neural network model in Python, where these tools are readily available. However, many large-scale scientific computation projects are written in Fortran, making it difficult to integrate with modern deep learning methods. To alleviate this problem, we introduce a software library, the Fortran-Keras Bridge (FKB). This two-way bridge connects environments where deep learning resources are plentiful, with those where they are scarce. The paper describes several unique features offered by FKB, such as customizable layers, loss functions, and network ensembles. The paper concludes with a case study that applies FKB to address open questions about the robustness of an experimental approach to global climate simulation, in which subgrid physics are outsourced to deep neural network emulators. In this context, FKB enables a hyperparameter search of one hundred plus candidate models of subgrid cloud and radiation physics, initially implemented in Keras, to be transferred and used in Fortran. Such a process allows the model's emergent behavior to be assessed, i.e. when fit imperfections are coupled to explicit planetary-scale fluid dynamics. The results reveal a previously unrecognized strong relationship between offline validation error and online performance, in which the choice of optimizer proves unexpectedly critical. This reveals many neural network architectures that produce considerable improvements in stability including some with reduced error, for an especially challenging training dataset.


title: Foo Fighters and Microwave Oven Plasma Balls

abstract: An explanation is given for two peculiar phenomena - Foo Fighters and microwave oven plasma balls. Both are proposed to arise from the interaction of microwave energy with areas of hot, partially ionized, gas. In the former case it is suggested that the airplane's own radar irradiated its hot exhaust thus producing a glowing object that appeared to follow it. The physics of these situations is examined and we attempt to delineate the temperatures and field strengths necessary for such processes to be viable. To do this we employ an interesting iterative method for the solution of the appropriate partial differential equations. We find that both processes do make good physical sense although the field strengths required are towards the higher end of what would be considered reasonable.


title: Hidden variables simulating quantum contextuality increasingly violate the Holevo bound

abstract: In this paper from 2011 we approach some questions about quantum contextuality with tools from formal logic. In particular, we consider an experiment associated with the Peres-Mermin square. The language of all possible sequences of outcomes of the experiment is classified in the Chomsky hierarchy and seen to be a regular language. Next, we make the rather evident observation that a finite set of hidden finite valued variables can never account for indeterminism in an ideally isolated repeatable experiment. We see that, when the language of possible outcomes of the experiment is regular, as is the case with the Peres-Mermin square, the amount of binary-valued hidden variables needed to de-randomize the model for all sequences of experiments up to length n grows as bad as it could be: linearly in n. We introduce a very abstract model of machine that simulates nature in a particular sense. A lower-bound on the number of memory states of such machines is proved if they were to simulate the experiment that corresponds to the Peres-Mermin square. Moreover, the proof of this lower bound is seen to scale to a certain generalization of the Peres- Mermin square. For this scaled experiment it is seen that the Holevo bound is violated and that the degree of violation increases uniformly.


title: Formal Verification of Flow Equivalence in Desynchronized Designs

abstract: Seminal work by Cortadella, Kondratyev, Lavagno, and Sotiriou includes a hand-written proof that a particular handshaking protocol preserves flow equivalence, a notion of equivalence between synchronous latch-based specifications and their desynchronized bundled-data asynchronous implementations. In this work we identify a counterexample to Cortadella et al.'s proof illustrating how their protocol can in fact lead to a violation of flow equivalence. However, two of the less concurrent protocols identified in their paper do preserve flow equivalence. To verify this fact, we formalize flow equivalence in the Coq proof assistant and provide mechanized, machine-checkable proofs of our results.


title: Emergent Properties in a V1-Inspired Network of Hodgkin-Huxley Neurons

abstract: This article is devoted to the theoretical and numerical analysis of a network of excitatory and inhibitory neurons of Hodgkin-Huxley (HH) type, for which the topology is inspired by that of a single local layer of visual cortex V1. Our model is related to the recent CSY model and therefore differs from other classical models in the field. It combines a driven stochastic drive -- which may be interpreted as an ambient drive for each neuron -- with recurrent inputs resulting from the network activity. After a review of the dynamics of a single HH equation for both the deterministic and the stochastically driven case, we proceed to an analysis of the network. This analysis reveals emergent properties of the system such as partial synchronization and synchronization (defined here as a state of the network for which all the neurons spike within a short interval of time), correlation between excitatory and inhibitory conductances, and oscillations in the gamma-band frequency. The collective behavior enumerated herein is observed when the input-amplitude parameter $S^{EE}$ measuring excitatory-to-excitatory coupling (recurrent excitation) increases to within a certain range. Of note, our work indicates a distinct mechanism for obtaining the emergent properties, some of which have been classically observed. As a consequence our article contributes to the understanding of how assemblies of inhibitory and excitatory cells interact together to produce rhythms in the network. It also aims to bring problems from neuroscience to the realm of mathematics, where they can be analyzed rigorously.


title: Typilus: Neural Type Hints

abstract: Type inference over partial contexts in dynamically typed languages is challenging. In this work, we present a graph neural network model that predicts types by probabilistically reasoning over a program's structure, names, and patterns. The network uses deep similarity learning to learn a TypeSpace -- a continuous relaxation of the discrete space of types -- and how to embed the type properties of a symbol (i.e. identifier) into it. Importantly, our model can employ one-shot learning to predict an open vocabulary of types, including rare and user-defined ones. We realise our approach in Typilus for Python that combines the TypeSpace with an optional type checker. We show that Typilus accurately predicts types. Typilus confidently predicts types for 70% of all annotatable symbols; when it predicts a type, that type optionally type checks 95% of the time. Typilus can also find incorrect type annotations; two important and popular open source libraries, fairseq and allennlp, accepted our pull requests that fixed the annotation errors Typilus discovered.


title: Birhythmic Analog Circuit Maze: A Nonlinear Neurostimulation Testbed

abstract: Brain dynamics can exhibit narrow-band nonlinear oscillations and multistability. For a subset of disorders of consciousness and motor control, we hypothesize that some symptoms originate from the inability to spontaneously transition from one attractor to another. Using external perturbations, such as electrical pulses delivered by deep brain stimulation devices, it may be possible to induce such transition out of the pathological attractors. However, the induction of transition may be non-trivial, rendering the current open-loop stimulation strategies insufficient. In order to develop next-generation neural stimulators that can intelligently learn to induce attractor transitions, we require a platform to test the efficacy of such systems. To this end, we designed an analog circuit as a model for the multistable brain dynamics. The circuit spontaneously oscillates stably on two periods as an instantiation of a 3-dimensional continuous-time gated recurrent neural network. To discourage simple perturbation strategies such as constant or random stimulation patterns from easily inducing transition between the stable limit cycles, we designed a state-dependent nonlinear circuit interface for external perturbation. We demonstrate the existence of nontrivial solutions to the transition problem in our circuit implementation.


title: Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on $M_\supset$

abstract: We estimate the size of a labelled tree by comparing the amount of (labelled) nodes with the size of the set of labels. Roughly speaking, a exponentially big labelled tree, is any labelled tree that has an exponential gap between its size, number of nodes, and the size of its labelling set. The number of sub-formulas of any formula is linear on the size of it, and hence any exponentially big proof has a size $a^n$, where $a>1$ and $n$ is the size of its conclusion. In this article, we show that the linearly height labelled trees whose sizes have an exponential gap with the size of their labelling sets posses at least one sub-tree that occurs exponentially many times in them. Natural Deduction proofs and derivations in minimal implicational logic ($M_\supset$) are essentially labelled trees. By the sub-formula principle any normal derivation of a formula $\alpha$ from a set of formulas $\Gamma=\{\gamma_1,\ldots,\gamma_n\}$ in $M_\supset$, establishing $\Gamma\vdash_{M_\supset}\alpha$, has only sub-formulas of the formulas $\alpha,\gamma_1,\ldots,\gamma_n$ occurring in it. By this relationship between labelled trees and derivations in $M_\supset$, we show that any normal proof of a tautology in $M_\supset$ that is exponential on the size of its conclusion has a sub-proof that occurs exponentially many times in it. Thus, any normal and linearly height bounded proof in $M_\supset$ is inherently redundant. Finally, we briefly discuss how this redundancy provides us with a highly efficient compression method for propositional proofs. We also provide some examples that serve to convince us that exponentially big proofs are more frequent than one can imagine.


title: Problems and Solutions of Service Architecture in Small and Medium Enterprise Communities

abstract: Lack of resources is a challenge for small and medium enterprises (SMEs) in implementing an IT-based system to facilitate more efficient business decisions and expanding the market. A community system based on service-oriented architecture (SOA) can help SMEs alleviate this problem. This paper explores and analyses the frameworks proposed by previous studies in the context of inter-enterprise SOA for SMEs. Several problems being the background of the system implementation are identified. Afterward, the offered solutions are presented, including the system architecture, technology adoption, specific elements, and collaboration model. The study also discusses the system architecture patterns of the reviewed studies as well as the collaboration organizational structures.


title: Level correspondence of $K$-theoretic $I$-function in Grassmann duality

abstract: In this paper, we prove a class of nontrivial q-Pochhammer symbol identities with extra parameters by iterated residue method. Then we use these identities to find relations of the quasi-map $K$-theoretical $I$-functions with level structure between Grassmannian and its dual Grassmannian. Here we find an interval of levels within which two $I$-functions are the same, and on the boundary of that interval, two $I$-functions are intertwining with each other. We call this phenomenon level correspondence in Grassmann duality.


title: The Strong Homotopy Structure of Poisson Reduction

abstract: In this paper we propose a reduction scheme for multivector fields phrased in terms of $L_\infty$-morphisms. Using well-know geometric properties of the reduced manifolds we perform a Taylor expansion of multivector fields, which allows us to built up a suitable deformation retract of DGLA's. We first obtained an explicit formula for the $L_\infty$-Projection and -Inclusion of generic DGLA retracts. We then applied this formula to the deformation retract that we constructed in the case of multivector fields on reduced manifolds. This allows us to obtain the desired reduction $L_\infty$-morphism. Finally, we perfom a comparison with other reduction procedures.


title: Fast and Scalable Dialogue State Tracking with Explicit Modular Decomposition

abstract: We present a fast and scalable architecture called Explicit Modular Decomposition (EMD), in which we incorporate both classification-based and extraction-based methods and design four modules (for classification and sequence labelling) to jointly extract dialogue states. Experimental results based on the MultiWoz 2.0 dataset validates the superiority of our proposed model in terms of both complexity and scalability when compared to the state-of-the-art methods, especially in the scenario of multi-domain dialogues entangled with many turns of utterances.


title: A review: Deep learning for medical image segmentation using multi-modality fusion

abstract: Multi-modality is widely used in medical imaging, because it can provide multiinformation about a target (tumor, organ or tissue). Segmentation using multimodality consists of fusing multi-information to improve the segmentation. Recently, deep learning-based approaches have presented the state-of-the-art performance in image classification, segmentation, object detection and tracking tasks. Due to their self-learning and generalization ability over large amounts of data, deep learning recently has also gained great interest in multi-modal medical image segmentation. In this paper, we give an overview of deep learning-based approaches for multi-modal medical image segmentation task. Firstly, we introduce the general principle of deep learning and multi-modal medical image segmentation. Secondly, we present different deep learning network architectures, then analyze their fusion strategies and compare their results. The earlier fusion is commonly used, since it's simple and it focuses on the subsequent segmentation network architecture. However, the later fusion gives more attention on fusion strategy to learn the complex relationship between different modalities. In general, compared to the earlier fusion, the later fusion can give more accurate result if the fusion method is effective enough. We also discuss some common problems in medical image segmentation. Finally, we summarize and provide some perspectives on the future research.


title: A Supernova Candidate at z=0.092 in XMM-Newton Archival Data

abstract: During a search for X-ray transients in the XMM-Newton archive within the EXTraS project, we discovered a new X-ray source that is detected only during a ~5 min interval of a ~21 h-long observation performed on 2011 June 21 (EXMM 023135.0-603743, probability of a random Poissonian fluctuation: ~$1.4\times10^{-27}$). With dedicated follow-up observations, we found that its position is consistent with a star-forming galaxy (SFR = 1-2 $M_\odot$ yr$^{-1}$) at redshift $z=0.092\pm0.003$ ($d=435\pm15$ Mpc). At this redshift, the energy released during the transient event was $2.8\times10^{46}$ erg in the 0.3-10 keV energy band (in the source rest frame). The luminosity of the transient, together with its spectral and timing properties, make EXMM 023135.0-603743 a gripping analog to the X-ray transient associated to SN 2008D, which was discovered during a Swift/XRT observation of the nearby ($d=27$ Mpc) supernova-rich galaxy NGC 2770. We interpret the XMM-Newton event as a supernova shock break-out or an early cocoon, and show that our serendipitous discovery is compatible with the rate of core-collapse supernovae derived from optical observations and much higher than that of tidal disruption events.


title: Data-driven modeling reveals a universal dynamic underlying the COVID-19 pandemic under social distancing

abstract: We show that the COVID-19 pandemic under social distancing exhibits universal dynamics. The cumulative numbers of both infections and deaths quickly cross over from exponential growth at early times to a longer period of power law growth, before eventually slowing. In agreement with a recent statistical forecasting model by the IHME, we show that this dynamics is well described by the erf function. Using this functional form, we perform a data collapse across countries and US states with very different population characteristics and social distancing policies, confirming the universal behavior of the COVID-19 outbreak. We show that the predictive power of statistical models is limited until a few days before curves flatten, forecast deaths and infections assuming current policies continue and compare our predictions to the IHME models. We present simulations showing this universal dynamics is consistent with disease transmission on scale-free networks and random networks with non-Markovian transmission dynamics.


title: Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description)

abstract: Recently, a growing number of researchers have applied machine learning to assist users of interactive theorem provers. However, the expressive nature of underlying logics and esoteric structures of proof documents impede machine learning practitioners, who often do not have much expertise in formal logic, let alone Isabelle/HOL, from achieving a large scale success in this field. In this data description, we present a simple dataset that contains data on over 400k proof method applications along with over 100 extracted features for each in a format that can be processed easily without any knowledge about formal logic. Our simple data format allows machine learning practitioners to try machine learning tools to predict proof methods in Isabelle/HOL without requiring domain expertise in logic.


title: A new multi-beam apparatus for the study of surface chemistry routes to formation of complex organic molecules in space

abstract: A multi-beam ultra-high vacuum apparatus is presented. In this article we describe the design and construction of a new laboratory astrophysics experiment -- VErs de NoUvelles Synth\`eses (VENUS) -- that recreates the solid-state non-energetic formation conditions of complex organic molecules in dark clouds and circumstellar environments. The novel implementation of four operational differentially-pumped beam lines will be used to determine the feasibility and the rates for the various reactions that contribute to formation of molecules containing more than six atoms. Data are collected by means of Fourier transform infrared spectroscopy and quadrupole mass spectrometry. The gold-coated sample holder reaches temperatures between 7 and 400 K. The apparatus was carefully calibrated and the acquisition system was developed to ensure that experimental parameters are recorded as accurately as possible. A great effort has been made to have the beam lines converge towards the sample. Experiments have been developed to check the beam alignment using reacting systems of neutral species (NH$_3$, H$_2$CO). Preliminary original results were obtained for the NO+H system, which shows that chemistry occurs only in the very first outer layer of the deposited species, that is the chemical layer and the physical layer coincide. This article illustrates the characteristics, performance, and future potential of the new apparatus in view of the forthcoming launch of the James Webb Space Telescope. We show that VENUS will have a major impact through its contributions to surface science and astrochemistry.


title: Logarithmic stabilization of an acoustic system with a damping term of Brinkman type

abstract: We study the problem of stabilization for the acoustic system with a spatially distributed damping. Without imposing any hypotheses on the structural properties of the damping term, we identify logarithmic decay of solutions with growing time. Logarithmic decay rate is shown by using a frequency domain method and combines a contradiction argument with the multiplier technique and a new Carleman estimate to carry out a special analysis for the resolvent.


title: A General Difficulty Control Algorithm for Proof-of-Work Based Blockchains

abstract: Designing an efficient difficulty control algorithm is an essential problem in Proof-of-Work (PoW) based blockchains because the network hash rate is randomly changing. This paper proposes a general difficulty control algorithm and provides insights for difficulty adjustment rules for PoW based blockchains. The proposed algorithm consists a two-layer neural network. It has low memory cost, meanwhile satisfying the fast-updating and low volatility requirements for difficulty adjustment. Real data from Ethereum are used in the simulations to prove that the proposed algorithm has better performance for the control of the block difficulty.


title: Normative theory of patch foraging decisions

abstract: Foraging is a fundamental behavior as animals' search for food is crucial for their survival. Patch leaving is a canonical foraging behavior, but classic theoretical conceptions of patch leaving decisions lack some key naturalistic details. Optimal foraging theory provides general rules for when an animal should leave a patch, but does not provide mechanistic insights about how those rules change with the structure of the environment. Such a mechanistic framework would aid in designing quantitative experiments to unravel behavioral and neural underpinnings of foraging. To address these shortcomings, we develop a normative theory of patch foraging decisions. Using a Bayesian approach, we treat patch leaving behavior as a statistical inference problem. We derive the animals' optimal decision strategies in both non-depleting and depleting environments. A majority of these cases can be analyzed explicitly using methods from stochastic processes. Our behavioral predictions are expressed in terms of the optimal patch residence time and the decision rule by which an animal departs a patch. We also extend our theory to a hierarchical model in which the forager learns the environmental food resource distribution. The quantitative framework we develop will therefore help experimenters move from analyzing trial based behavior to continuous behavior without the loss of quantitative rigor. Our theoretical framework both extends optimal foraging theory and motivates a variety of behavioral and neuroscientific experiments investigating patch foraging behavior.


title: Embedded Policing and Policy Enforcement based Security in the era of Digital-Physical Convergence for Next-Generation Vehicular Electronics

abstract: The emergence of intelligent, connected vehicles, containing complex functionality has potential to greatly benefit society by improving safety, security and efficiency of vehicular transportation. Much of this has been enabled by technological advancements in embedded system architectures, which provided opportunities for vehicle manufacturers to implement intelligent vehicle services and consolidate them within a small number of flexible and integrable domain controllers. Thus allowing for increasingly centralised operations consisting of both new and legacy functionalities. While this era of digital-physical convergence of critical and non-critical vehicle services presents advantages in terms of reducing the cost and electronic footprint of vehicular electronics, it has produced significant security and safety challenges. One approach to this research problem is to introduce fail-over mechanisms that can detect unexpected or malicious behaviours, caused by attack or malfunction, and pro-actively respond to control and minimise physical damage or safety hazards. This paper presents a novel embedded policing and policy enforcement platform architecture and the accompanied security modelling approach for next-generation in-vehicle domain controllers. To demonstrate the proposed approach, a connected vehicle case study is conducted. A realistic attack scenarios have been considered to derive security policies and enforced by the proposed security platform to provide security and safety to domain-specific features.


title: Critical comments on the quantization of the angular momentum: II. Analysis based on the requirement that the eigenfunction of the third component of the operator of the angular momentum must be a single valued periodic function

abstract: We discuss the requirement of single valuedness and periodicity of eigenfunction of the third component of the operator of angular momentum. This condition, imposed on a non observable, is often used to derive that the eigenvalues of angular momentum could be only integer. We reexamine the arguments based on this requirement and alternate condition imposed by Pauli and show that they do not follow from the first principles and therefore these constraints can dropped. Consequently, we arrive to the same conclusion as in [1]: there exist regular, normalizable eigenfunctions with the non-integer eigenvalues thus a non-integer angular momentum is perfectly admissible from the theoretical viewpoint. The issue of the nature of eigenvalues forming the spectrum of the angular momentum remains open. What can be derived from the first principles is that to a fixed value of the angular momentum L corresponds a discrete spectrum of eigenvalues of the third component of the angular momentum, m, defined by the relation |m|=L-k, k=0,1,...,[L], where [L] is an integer part of L. As a mathematical byproduct of our analysis of eigenfunctions, we present an alternate definition of a power of a complex number allowing to retain initial translational invariance of a base.


title: Hybrid Blockchain-Enabled Secure Microservices Fabric for Decentralized Multi-Domain Avionics Systems

abstract: Advancement in artificial intelligence (AI) and machine learning (ML), dynamic data driven application systems (DDDAS), and hierarchical cloud-fog-edge computing paradigm provide opportunities for enhancing multi-domain systems performance. As one example that represents multi-domain scenario, a "fly-by-feel" system utilizes DDDAS framework to support autonomous operations and improve maneuverability, safety and fuel efficiency. The DDDAS "fly-by-feel" avionics system can enhance multi-domain coordination to support domain specific operations. However, conventional enabling technologies rely on a centralized manner for data aggregation, sharing and security policy enforcement, and it incurs critical issues related to bottleneck of performance, data provenance and consistency. Inspired by the containerized microservices and blockchain technology, this paper introduces BLEM, a hybrid BLockchain-Enabled secure Microservices fabric to support decentralized, secure and efficient data fusion and multi-domain operations for avionics systems. Leveraging the fine-granularity and loose-coupling features of the microservices architecture, multidomain operations and security functionalities are decoupled into multiple containerized microservices. A hybrid blockchain fabric based on two-level committee consensus protocols is proposed to enable decentralized security architecture and support immutability, auditability and traceability for data provenience in existing multi-domain avionics system. Our evaluation results show the feasibility of the proposed BLEM mechanism to support decentralized security service and guarantee immutability, auditability and traceability for data provenience across domain boundaries.


title: Speeding-up Logic Design and Refining Hardware EDA Flow by Exploring Chinese Character based Graphical Representation

abstract: Electrical design automation (EDA) techniques have deeply influenced the computer hardware design, especially in the field of very large scale Integration (VLSI) circuits. Particularly, the popularity of FPGA, ASIC and SOC applications have been dramatically increased due to the well developed EDA tool chains. Over decades, improving EDA tool in terms of functionality, efficiency, accuracy and intelligence is not only the academic research hot spot, but the industry attempting goal as well. In this paper, a novel perspective is taken to review current mainstream EDA working flow and design methods, aiming to shorten the EDA design periods and simplify the logic design overload significantly. Specifically, three major contributions are devoted. First, a Chinese character based representation system (CCRS), which is used for presenting logical abstract syntax tree, is proposed. Second, the register-transfer-level (RTL) level symbolic description technique for CCRS are introduced to replace traditional text-based programming methods. Finally, the refined EDA design flow based on CCRS is discussed. It is convincing that the graphic non-pure-english based EDA flow could lower the design cost and complexity. As a fundamental trial in this new field, it is confirmative that a lot of following works will make the related EDA development prosperous.


title: A posteriori error analysis for a Lagrange multiplier method for a Stokes/Biot fluid-poroelastic structure interaction model

abstract: In this work we develop an a posteriori error analysis of a conforming mixed finite element method for solving the coupled problem arising in the interaction between a free fluid and a fluid in a poroelastic medium on isotropic meshes in $\mathbb{R}^d$, $d\in\{2,3\}$. The approach utilizes the semi-discrete formulation proposed by Ilona Ambartsumyan et al. in (Numerische Mathematik, October 2017). The a posteriori error estimate is based on a suitable evaluation on the residual of the finite element solution. It is proven that the a posteriori error estimate provided in this paper is both reliable and efficient. The proof of reliability makes use of suitable auxiliary problems, diverse continuous inf-sup conditions satisfied by the bilinear forms involved, Helmholtz decomposition, and local approximation properties of the Cl\'ement interpolant. On the other hand, inverse inequalities, and the localization technique based on simplexe-bubble and face-bubble functions are the main tools for proving the efficiency of the estimator. Up to minor modifications, our analysis can be extended to other finite element subspaces yielding a stable Galerkin scheme.


title: Wurtzite InP Microdisks: from Epitaxy to Room-Temperature Lasing

abstract: Metastable wurtzite crystal phases of semiconductors comprise enormous potential for high-performance electro-optical devices, owed to their extended tunable direct band gap range. However, synthesizing these materials in good quality and beyond nanowire size constraints has remained elusive. In this work, the epitaxy of wurtzite InP microdisks and related geometries on insulator for optical applications is explored. This is achieved by an elaborate combination of selective area growth of fins and a zipper-induced epitaxial lateral overgrowth, which enables co-integration of diversely shaped crystals at precise position. The grown material possesses high phase purity and excellent optical quality characterized by STEM and $\mu$-PL. Optically pumped lasing at room temperature is achieved in microdisks with a lasing threshold of 365 $\mu J/cm^2$, thus demonstrating promise for a wide range of photonic applications.


title: Efficient modeling of correlated noise II. A flexible noise model with fast and scalable methods

abstract: Correlated noise affects most astronomical datasets and to neglect accounting for it can lead to spurious signal detections, especially in low signal-to-noise conditions, which is often the context in which new discoveries are pursued. For instance, in the realm of exoplanet detection with radial velocity time series, stellar variability can induce false detections. However, a white noise approximation is often used because accounting for correlated noise when analyzing data implies a more complex analysis. Moreover, the computational cost can be prohibitive as it typically scales as the cube of the dataset size. For some restricted classes of correlated noise models, there are specific algorithms that can be used to help bring down the computational cost. This improvement in speed is particularly useful in the context of Gaussian process regression, however, it comes at the expense of the generality of the noise model. Here, we present the S+LEAF noise model, which allows us to account for a large class of correlated noises with a linear scaling of the computational cost with respect to the size of the dataset. The S+LEAF model includes, in particular, mixtures of quasiperiodic kernels and calibration noise. This efficient modeling is made possible by a sparse representation of the covariance matrix of the noise and the use of dedicated algorithms for matrix inversion, solving, determinant computation, etc. We applied the S+LEAF model to reanalyze the HARPS radial velocity time series of HD 136352. We illustrate the flexibility of the S+LEAF model in handling various sources of noise. We demonstrate the importance of taking correlated noise into account, and especially calibration noise, to correctly assess the significance of detected signals. We provide an open-source implementation of the S+LEAF model, available at https://gitlab.unige.ch/jean-baptiste.delisle/spleaf.

categories: astro-ph.IM astro-ph.EP astro-ph.SR stat.CO


title: Generalized entropy minimization under full marginal constraints

abstract: We consider the problem of minimizing a generalized relative entropy, with respect to a reference diffusion law, over the set of path-measures with fully prescribed marginal distributions. When dealing with the actual relative entropy, problems of this kind have appeared in the stochastic mechanics literature, and minimizers go under the name of Nelson Processes. Through convex duality and stochastic control techniques, we obtain in our main result the full characterization of minimizers, containing the related results in the pioneering works of Cattiaux \& L\'eonard and Mikami as particular cases. We also establish that minimizers need not be Markovian in general, and may depend on the form of the generalized relative entropy if the state space has dimension greater or equal than two. Finally, we illustrate how generalized relative entropy minimization problems of this kind may prove useful beyond stochastic mechanics, by means of two applications: the analysis of certain mean-field games, and the study of scaling limits for a class of backwards SDEs.


title: Improved upper bound of third order Hankel determinant for Ozaki close-to-convex functions

abstract: In this paper we improve the upper bound of the third order Hankel determinant for the class of Ozaki close-to-convex functions. The sharp bound is conjectured.


title: Pseudo RGB-D for Self-Improving Monocular SLAM and Depth Prediction

abstract: Classical monocular Simultaneous Localization And Mapping (SLAM) and the recently emerging convolutional neural networks (CNNs) for monocular depth prediction represent two largely disjoint approaches towards building a 3D map of the surrounding environment. In this paper, we demonstrate that the coupling of these two by leveraging the strengths of each mitigates the other's shortcomings. Specifically, we propose a joint narrow and wide baseline based self-improving framework, where on the one hand the CNN-predicted depth is leveraged to perform pseudo RGB-D feature-based SLAM, leading to better accuracy and robustness than the monocular RGB SLAM baseline. On the other hand, the bundle-adjusted 3D scene structures and camera poses from the more principled geometric SLAM are injected back into the depth network through novel wide baseline losses proposed for improving the depth prediction network, which then continues to contribute towards better pose and 3D structure estimation in the next iteration. We emphasize that our framework only requires unlabeled monocular videos in both training and inference stages, and yet is able to outperform state-of-the-art self-supervised monocular and stereo depth prediction networks (e.g, Monodepth2) and feature-based monocular SLAM system (i.e, ORB-SLAM). Extensive experiments on KITTI and TUM RGB-D datasets verify the superiority of our self-improving geometry-CNN framework.


title: Sobolev functions without compactly supported approximations

abstract: A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian manifolds, it is well known that the same property remains valid under suitable geometric assumptions. However, on a complete non-compact manifold it can fail to be true in general, as we prove in this paper. This settles an open problem raised for instance by E. Hebey [\textit{Nonlinear analysis on manifolds: Sobolev spaces and inequalities}, Courant Lecture Notes in Mathematics, vol. 5, 1999, pp. 48-49].


title: Probing Flavor Structure of Cosmic Ray $e^\mp$ Spectrum and Implications for Dark Matter Indirect Searches

abstract: Measuring high energy cosmic ray electrons/positrons (CRE) provides important means for the dark matter (DM) indirect detection and for probing the nearby galactic sources. In this work, we perform a systematic analysis of the flavor structure of DM annihilations into charged leptons based on the cosmic ray CRE spectra measured by DAMPE, Fermi-LAT, AMS-02, and CALET experiments. We study the annihilations of possible TeV scale DM particles in a nearby subhalo, which is proposed to explain the possible peak-like structure of the DAMPE CRE data. We pay special attention to the possible non-resonant excess (besides the possible peak-like structure) and demonstrate that such non-resonant excess can mainly arise from the decay of muons produced by the DM annihilations in the subhalo. With these we study the flavor composition of the lepton final states from DM annihilations $\chi\chi\to e^+e^-, \mu^+\mu^-, \tau^+\tau^-$ by fitting the CRE data. We demonstrate that decays of the final states $\mu^+ \mu^-$ and $\tau^+ \tau^-$ can provide the non-resonant excess, while the peak excess arises from the $e^+ e^-$ final state. We further analyze the constraints on the lepton flavor composition using the Fermi-LAT $\gamma$-ray measurements. We find that the flavor composition is consistent with the Fermi-LAT data at relatively low Galactic latitudes, while the fraction of the final state $\tau^\pm$ is severely bounded.


title: Emergence of classical behavior in the early universe

abstract: We investigate three issues that have been discussed in the context of inflation: Fading of the importance of quantum non-commutativity; the phenomenon of quantum squeezing; and the ability to approximate the quantum state by a distribution function on the classical phase space. In the standard treatments, these features arise from properties of mode functions of quantum fields in (near) de Sitter space-time. Therefore, the three notions are often assumed to be essentially equivalent, representing different facets of the same phenomenon. We analyze them in general Friedmann-Lemaitre- Robertson-Walker space-times, through the lens of geometric structures on the classical phase space. The analysis shows that: (i) inflation does not play an essential role; classical behavior can emerge much more generally; (ii) the three notions are conceptually distinct; classicality can emerge in one sense but not in another; and, (iii) the third notion is realized in a surprisingly strong sense; there is exact equality between completely general $n$-point functions in the classical theory and those in the quantum theory, provided the quantum operators are Weyl ordered. These features arise already for linear cosmological perturbations by themselves: considerations such as mode-mode coupling, decoherence, and measurement theory --although important in their own right-- are not needed for emergence of classical behavior in any of the three senses discussed. Generality of the results stems from the fact that they can be traced back to geometrical structures on the classical phase space, available in a wide class of systems. Therefore, this approach may also be useful in other contexts.

categories: gr-qc astro-ph.CO hep-th math-ph math.MP quant-ph


title: Exact stability for Tur\'an's Theorem

abstract: Tur\'an's Theorem says that an extremal $K_{r+1}$-free graph is $r$-partite. The Stability Theorem of Erd\H{o}s and Simonovits shows that if a $K_{r+1}$-free graph with $n$ vertices has close to the maximal $t_r(n)$ edges, then it is close to being $r$-partite. In this paper we determine exactly the $K_{r+1}$-free graphs with at least $m$ edges that are farthest from being $r$-partite, for any $m\ge t_r(n) - \delta_r n^2$. This extends work by Erd\H{o}s, Gy\H{o}ri and Simonovits, and proves a conjecture of Balogh, Clemen, Lavrov, Lidick\'y and Pfender.


title: Grover on SIMON

abstract: For any symmetric key cryptosystem with $n$-bit secret key, the key can be recovered in $O(2^{n/2})$ exploiting Grover search algorithm, resulting in the effective key length to be half. In this direction, subsequent work has been done on AES and some other block ciphers. On the other hand, lightweight ciphers like SIMON was left unexplored. In this backdrop, we present Grover's search algorithm on all the variants of SIMON and enumerate the quantum resources to implement such attack in terms of NOT, CNOT and Toffoli gates. We also provide the T-depth of the circuits and the number of qubits required for the attack. We show that the number of qubits required for implementing Grover on SIMON $2n/mn$ is $O(2nr+mn)$, where $r$ is the number of chosen plaintext-cipher text pairs. We run a reduced version of SIMON in IBMQ quantum simulator and the 14-qubits processor as well. We found that where simulation supports theory, the actual implementation is far from the reality due to the infidelity of the gates and short decoherence time of the qubits. The complete codes for all version of SIMON have also been presented.


title: When Hopf meets saddle: bifurcations in the diffusive Selkov model for glycolysis

abstract: We study the linear instabilities and bifurcations in the Selkov model for glycolysis with diffusion. We show that this model has a zero wave-vector, finite frequency Hopf bifurcation to a growing oscillatory but spatially homogeneous state and a saddle-node bifurcation to a growing inhomogeneous state with a steady pattern with a finite wavevector. We further demonstrate that by tuning the relative diffusivity of the two concentrations, it is possible to make both the instabilities to occur at the same point in the parameter space, leading to an unusual type of codimension-two bifurcation. We then show that in the vicinity of this bifurcation the initial conditions decide whether a spatially uniform oscillatory or a spatially periodic steady pattern emerges in the long time limit.


title: Light-Matter Interaction and Hybrid Vector Breather

abstract: The nonlinear coherent interaction of light with the dispersive and Kerr-type third-order susceptibility medium containing optical impurity atoms or semiconductor quantum dots is considered. Using the generalized perturbation reduction method, the nonlinear wave equation is reduced to the coupled nonlinear Schr\"odinger equations. It is shown that the second-order derivatives play a key role in the description of the process of formation of the bound state of two breathers oscillating with the sum and the difference of frequencies and wave numbers. The resonant, nonresonant and hybrid mechanisms of the formation of the two-component nonlinear pulse -- the vector breather are realized depending on the light and medium parameters. Explicit analytical expressions for the profile and parameters of the nonlinear pulse are presented. The conditions of the excitation of resonant, nonresonant and hybrid nonlinear waves are discussed. In the particular case, the resonant vector breather coincides with the vector $0\pi$ pulse of self-induced transparency.


title: A (co)homology theory for some preordered topological spaces

abstract: The aim of this short note is to develop a (co)homology theory for topological spaces together with the specialisation preorder. A known way to construct such a (co)homology is to define a partial order on the topological space starting from the preorder, and then to consider some (co)homology for the obtained poset; however, we will prove that every topological space with the above preorder consists of two disjoint parts (one called 'poset part', and the other one called 'complementary part', which is not a poset in general): this suggests an improvement of the previous method that also takes into account the poset part, and this is indeed what we will study here.


title: Advanced Persistent Threat: Detection and Defence

abstract: The critical assessment presented within this paper explores existing research pertaining to the Advanced Persistent Threat (APT) branch of cyber security, applying the knowledge extracted from this research to discuss, evaluate and opinionate upon the areas of discussion as well as involving personal experiences and knowledge within this field. The synthesis of current literature delves into detection capabilities and techniques as well as defensive solutions for organisations with respect to APTs. Higher-tier detection and defensive strategies bear greater importance with larger organisations; especially government departments or organisations whose work impacts the public on a large scale. Successful APT attacks can result in the exfiltration of sensitive data, network down time and the infection of machines which allow for remote access from Command-and-control (C2) servers. This paper presents a well-rounded analysis of the Advanced Persistent Threat problem and provides well-reasoned conclusions of how to mitigate the security risk.


title: Some properties on the unbounded absolute weak convergence in Banach lattices

abstract: In this paper, we investigate more about relationship between $uaw$ -convergence (resp. $un$-convergence) and the weak convergence. More precisely, we characterize Banach lattices on which every weak null sequence is $uaw$-null. Also, we characterize order continuous Banach lattices under which every norm bounded $un$-null net (resp. sequence) is weakly null. As a consequence, we study relationship between sequentially $uaw$-compact operators and weakly compact operators. Also, it is proved that every continuous operator, from a Banach lattice $E$ into a non-zero Banach space $X$, is unbounded continuous if and only if $E^{\prime }$ is order continuous. Finally, we give a new characterization of $b$-weakly compact operators using the $uaw$-convergence sequences.


title: A multi-dimensional version of Lamperti's relation and the Matsumoto-Yor opposite drift theorem

abstract: A classic result on the 1-dimensional Brownian motion shows that conditionally on its first hitting time of 0, it has the distribution of a 3-dimensional Bessel bridge. By applying a certain time-change to this result, Matsumoto and Yor showed a theorem giving a relation between Brownian motions with opposite drifts. The relevant time change is the one appearing in Lamperti's relation. Sabot and Zeng showed that a family of Brownian motions with interacting drifts, conditioned on the vector of hitting times of 0, also has the distribution of independent 3-dimensional Bessel bridges. Moreover, the distribution of these hitting times is related to a random potential that appears in the study of the vertex-reinforced jump process. The aim of this paper is to prove a multivariate version of the Matsumoto-Yor opposite drift theorem, by applying a Lamperti-type time change to the previous family of interacting Brownian motions. Difficulties arise since the time change progresses at different speeds on different coordinates.


title: Ferromagnetic cluster-glass phase in Ca(Co,Ir)2As2 crystals

abstract: Single crystals of Ca[Co_(2-x)Ir_(x)]_(2-y)As2 with 0 <= x <= 0.35 and 0.10 <= y <= 0.14 have been grown using the self-flux technique and characterized by single-crystal x-ray diffraction (XRD), energy-dispersive x-ray spectroscopy, magnetization M and magnetic susceptibility chi measurements versus temperature T, magnetic field H, and time t, and heat capacity Cp(H,T) measurements. The XRD refinements reveal that all the Ir-substituted crystals crystallize in a collapsed-tetragonal structure as does the parent CaCo_(2-y)As2 compound. A small 3.3% Ir substitution for Co in CaCo_(1.86)As2 drastically lowers the A-type antiferromagnetic (AFM) transition temperature TN from 52 to 23 K with a significant enhancement of the Sommerfeld electronic heat-capacity coefficient. The positive Weiss temperatures obtained from Curie-Weiss fits to the chi(T>TN) data indicate that the dominant magnetic interactions are ferromagnetic (FM) for all x. A magnetic phase boundary is inferred to be present between x = 0.14 and x = 0.17 from a discontinuity in the x dependences of the effective moment and Weiss temperature in the Curie-Weiss fits. FM fluctuations that strongly increase with increasing x are also revealed from the chi(T) data. The magnetic ground state for x >= 0.17 is a spin glass as indicated by hysteresis in chi(T) between field-cooling and zero-field-cooling measurements and from the relaxation of M in a small field that exhibits a stretched-exponential time dependence. The spin glass has a small FM component to the ordering and is hence inferred to be comprised of small FM clusters. A logarithmic T dependence of Cp at low T for x = 0.14 is consistent with the presence of significant FM quantum fluctuations. This composition is near the T = 0 boundary at x = 0.16 between the A-type AFM phase containing ferromagnetically-aligned layers of spins and the FM cluster-glass phase.


title: DyNet: Dynamic Convolution for Accelerating Convolutional Neural Networks

abstract: Convolution operator is the core of convolutional neural networks (CNNs) and occupies the most computation cost. To make CNNs more efficient, many methods have been proposed to either design lightweight networks or compress models. Although some efficient network structures have been proposed, such as MobileNet or ShuffleNet, we find that there still exists redundant information between convolution kernels. To address this issue, we propose a novel dynamic convolution method to adaptively generate convolution kernels based on image contents. To demonstrate the effectiveness, we apply dynamic convolution on multiple state-of-the-art CNNs. On one hand, we can reduce the computation cost remarkably while maintaining the performance. For ShuffleNetV2/MobileNetV2/ResNet18/ResNet50, DyNet can reduce 37.0/54.7/67.2/71.3% FLOPs without loss of accuracy. On the other hand, the performance can be largely boosted if the computation cost is maintained. Based on the architecture MobileNetV3-Small/Large, DyNet achieves 70.3/77.1% Top-1 accuracy on ImageNet with an improvement of 2.9/1.9%. To verify the scalability, we also apply DyNet on segmentation task, the results show that DyNet can reduce 69.3% FLOPs while maintaining Mean IoU on segmentation task.


title: Microscopic Transport Analysis of Single Molecule Detection in MoS$_2$ Nanopore Membranes

abstract: A microscopic physical analysis of the various resistive effects involved in the electronic detection of single biomolecules in a nanopore of a MoS2 nanoribbon is presented. The analysis relies on a combined experimental-theoretical approach, where the variations of the transverse electronic current along the two-dimensional (2D) membrane due to the translocation of DNA and proteins molecules through the pore are compared with model calculations based on molecular dynamics (MD) and Boltzmann transport formalism for evaluating the membrane conductance. Our analysis that points to a self-consistent interaction among ions, charge carriers around the pore rim and biomolecules, emphasizes the effects of the electrolyte concentration, pore size, nanoribbon geometry, but also the doping polarity of the nanoribbon on the electrical sensitivity of the nanopore in detecting biomolecules, which agrees well with the experimental data.