title: Two-real-scalar-singlet extension of the SM: LHC phenomenology and benchmark scenarios

abstract: We investigate the LHC phenomenology of a model where the Standard Model (SM) scalar sector is extended by two real scalar singlets. A $\mathbb{Z}_2\otimes\mathbb{Z}_2'$ discrete symmetry is imposed to reduce the number of scalar potential parameters, which is spontaneously broken by the vacuum expectation values of the singlet fields. As a result, all three neutral scalar fields mix, leading to three neutral CP-even scalar bosons, out of which one is identified with the observed Higgs boson at 125 GeV. We explore all relevant collider signatures of the three scalars in this model. Besides the single production of a scalar boson decaying directly to SM particle final states, we extensively discuss the possibility of resonant multi-scalar production. The latter includes decays of the produced scalar boson to two identical scalars ("symmetric decays"), as well as to two different scalars ("asymmetric decays"). Furthermore, we discuss the possibility of successive decays to the lightest scalar states ("cascade decays"), which lead to experimentally spectacular three- and four-Higgs final states. We provide six benchmark scenarios for detailed experimental studies of these Higgs-to-Higgs decay signatures.


title: Non-Thermal Resistive Switching in Mott Insulators

abstract: Resistive switching can be achieved in a Mott insulator by applying current/voltage, which triggers an insulator-metal transition (IMT). This phenomenon is key for understanding IMT physics and developing novel memory elements and brain-inspired technology. Despite this, the roles of electric field and Joule heating in the switching process remain controversial. We resolve this issue by studying nanowires of two archetypical Mott insulators - VO2 and V2O3. Our findings show a crossover between two qualitatively different regimes. In one, the IMT is driven by Joule heating to the transition temperature, while in the other, field-assisted carrier generation gives rise to a doping driven IMT which is purely non-thermal. By identifying the key material properties governing these phenomena, we propose a universal mechanism for resistive switching in Mott insulators. This understanding enabled us to control the switching mechanism using focused ion-beam irradiation, thereby facilitating an electrically driven non-thermal IMT. The energy consumption associated with the non-thermal IMT is extremely low, rivaling that of state of the art electronics and biological neurons. These findings pave the way towards highly energy-efficient applications of Mott insulators.


title: The harmonic balance method for finding approximate periodic solutions of the Lorenz system

abstract: We consider the harmonic balance method for finding approximate periodic solutions of the Lorenz system. When developing software that implements the described method, the math package Maxima was chosen. The drawbacks of symbolic calculations for obtaining a system of nonlinear algebraic equations with respect to the cyclic frequency, free terms and amplitudes of the harmonics, that make up the desired solution, are shown. To speed up the calculations, this system was obtained in a general form for the first time. The results of the computational experiment are given: the coefficients of trigonometric polynomials approximating the found periodic solution, the initial condition, and the cycle period. The results obtained were verified using a high-precision method of numerical integration based on the power series method and described earlier in the articles of the authors.


title: Driving solar coronal MHD simulations on high-performance computers

abstract: The quality of today's research is often tightly limited to the available computing power and scalability of codes to many processors. For example, tackling the problem of heating the solar corona requires a most realistic description of the plasma dynamics and the magnetic field. Numerically solving such a magneto-hydrodynamical (MHD) description of a small active region (AR) on the Sun requires millions of computation hours on current high-performance computing (HPC) hardware. The aim of this work is to describe methods for an efficient parallelization of boundary conditions and data input/output (IO) strategies that allow for a better scaling towards thousands of processors (CPUs). The Pencil Code is tested before and after optimization to compare the performance and scalability of a coronal MHD model above an AR. We present a novel boundary condition for non-vertical magnetic fields in the photosphere, where we approach the realistic pressure increase below the photosphere. With that, magnetic flux bundles become narrower with depth and the flux density increases accordingly. The scalability is improved by more than one order of magnitude through the HPC-friendly boundary conditions and IO strategies. This work describes also the necessary nudging methods to drive the MHD model with observed magnetic fields from the Sun's photosphere. In addition, we present the upper and lower atmospheric boundary conditions (photospheric and towards the outer corona), including swamp layers to diminish perturbations before they reach the boundaries. Altogether, these methods enable more realistic 3D MHD simulations than previous models regarding the coronal heating problem above an AR -- simply because of the ability to use a large amount of CPUs efficiently in parallel.

categories: astro-ph.SR physics.comp-ph physics.plasm-ph physics.space-ph


title: Conformal prediction with localization

abstract: We propose a new method called localized conformal prediction, where we can perform conformal inference using only a local region around a new test sample to construct its confidence interval. Localized conformal inference is a natural extension to conformal inference. It generalizes the method of conformal prediction to the case where we can break the data exchangeability, so as to give the test sample a special role. To our knowledge, this is the first work that introduces such a localization to the framework of conformal prediction. We prove that our proposal can also have assumption-free and finite sample coverage guarantees, and we compare the behaviors of localized conformal prediction and conformal prediction in simulations.


title: Damping of the Anderson-Bogolyubov mode by spin and mass imbalance in Fermi mixtures

abstract: We study the temporally nonlocal contributions to the gradient expansion of the pair fluctuation propagator for spin- and mass-imbalanced Fermi mixtures. These terms are related to damping processes of sound-like (Anderson-Bogolyubov) collective modes and are relevant for the structure of the complex pole of the pair fluctuation propagator. We derive conditions under which damping occurs even at zero temperature for large enough mismatch of the Fermi surfaces. We compare our analytical results with numerically computed damping rates of the Anderson-Bogolyubov mode.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el cond-mat.supr-con


title: Exploring the multiphase medium in MKW 08: from the central active galaxy up to cluster scales

abstract: The study of the brightest cluster galaxy (BCG) coronae embedded in noncool core (NCC) galaxy clusters is crucial to understand the BCG's role in galaxy cluster evolution as well as the activation of the self-regulated cooling and heating mechanism in the central regions of galaxy clusters. We explore the X-ray properties of the intracluster medium (ICM) of the NCC galaxy cluster MKW 08 and the BCG corona, along with their interface region. With recent and deep archival Chandra observations, we study the BCG corona in detail, and with archival XMM-Newton observations, we investigate the implications of the central active galactic nuclei (AGN) on the BCG. We carry out imaging and spectral analyses of MKW 08 with archival XMM-Newton and Chandra X-ray observations. Our spectral analysis suggests the presence of a central AGN by a power-law with a photon index of $\Gamma$ ~ 1.8 at the core of its BCG. Although the ICM does not exhibit a cluster scale cool core, the BCG manifests itself as a mini cool core characterized by a cooling time as short as 64 Myr at r = 3 kpc centered at the galaxy. The isothermality of the BCG corona seems to favor mechanical feedback from the central AGN as the major source of gas heating. The gas pressure profile of this mini cool core suggests that the BCG coronal gas reaches pressure equilibrium with the hotter and less dense ICM inside an interface of nearly constant pressure, delimited by radii 4 < r < 10 kpc at the galactic center. As revealed by the presence of a metal enriched tail (Z ~ 0.5 - 0.9 Solar) extending up to 40 kpc, the BCG corona seems to be experiencing ram-pressure stripping by the surrounding ICM and/or interacting with a nearby galaxy, IC 1042.}


title: On the calculation of exact sum rules of rational order for quantum billiards

abstract: We study the Helmholtz equation for a heterogeneous system in $d$ dimensions and show that it is possible to calculate exactly the sum rules of rational order using perturbation theory by relating the sum rules to suitable traces. The present calculation is restricted to a positive definite spectrum, e.g. Dirichlet boundary conditions, and it reproduces the result previously obtained in Ref.~\cite{Amore12}, working directly with Rayleigh-Schr\"odinger perturbation theory.


title: On the calculation of exact sum rules of rational order for quantum billiards (spectrum with a null eigenvalue)

abstract: We generalize the calculation of Ref.~\cite{Amore19B} to the case of a spectrum containing a zero mode. Using a renormalization procedure, we express the sum rules in terms of suitable traces and show that the final expressions, calculated up to second order in perturbation theory agree with the results obtained when working directly with the eigenvalues and using Rayleigh-Schr\"odinger perturbation theory.


title: Applications of Nature-Inspired Algorithms for Dimension Reduction: Enabling Efficient Data Analytics

abstract: In [1], we have explored the theoretical aspects of feature selection and evolutionary algorithms. In this chapter, we focus on optimization algorithms for enhancing data analytic process, i.e., we propose to explore applications of nature-inspired algorithms in data science. Feature selection optimization is a hybrid approach leveraging feature selection techniques and evolutionary algorithms process to optimize the selected features. Prior works solve this problem iteratively to converge to an optimal feature subset. Feature selection optimization is a non-specific domain approach. Data scientists mainly attempt to find an advanced way to analyze data n with high computational efficiency and low time complexity, leading to efficient data analytics. Thus, by increasing generated/measured/sensed data from various sources, analysis, manipulation and illustration of data grow exponentially. Due to the large scale data sets, Curse of dimensionality (CoD) is one of the NP-hard problems in data science. Hence, several efforts have been focused on leveraging evolutionary algorithms (EAs) to address the complex issues in large scale data analytics problems. Dimension reduction, together with EAs, lends itself to solve CoD and solve complex problems, in terms of time complexity, efficiently. In this chapter, we first provide a brief overview of previous studies that focused on solving CoD using feature extraction optimization process. We then discuss practical examples of research studies are successfully tackled some application domains, such as image processing, sentiment analysis, network traffics / anomalies analysis, credit score analysis and other benchmark functions/data sets analysis.


title: Intent term selection and refinement in e-commerce queries

abstract: In e-commerce, a user tends to search for the desired product by issuing a query to the search engine and examining the retrieved results. If the search engine was successful in correctly understanding the user's query, it will return results that correspond to the products whose attributes match the terms in the query that are representative of the query's product intent. However, the search engine may fail to retrieve results that satisfy the query's product intent and thus degrading user experience due to different issues in query processing: (i) when multiple terms are present in a query it may fail to determine the relevant terms that are representative of the query's product intent, and (ii) it may suffer from vocabulary gap between the terms in the query and the product's description, i.e., terms used in the query are semantically similar but different from the terms in the product description. Hence, identifying the terms that describe the query's product intent and predicting additional terms that describe the query's product intent better than the existing query terms to the search engine is an essential task in e-commerce search. In this paper, we leverage the historical query reformulation logs of a major e-commerce retailer to develop distant-supervised approaches to solve both these problems. Our approaches exploit the fact that the significance of a term is dependent upon the context (other terms in the neighborhood) in which it is used in order to learn the importance of the term towards the query's product intent. We show that identifying and emphasizing the terms that define the query's product intent leads to a 3% improvement in ranking. Moreover, for the tasks of identifying the important terms in a query and for predicting the additional terms that represent product intent, experiments illustrate that our approaches outperform the non-contextual baselines.


title: Dimension reduction in vertex-weighted exponential random graphs

abstract: We investigate the behavior of vertex-weighted exponential random graphs. We show that vertex-weighted exponential random graphs with edge weights induced by products of independent vertex weights are approximate mixtures of graphs whose vertex weight vector is a near fixed point of a certain vector equation. For graphs with Hamiltonians counting cliques, it is demonstrated that, under appropriate conditions, every solution to this equation is close to a block vector with a small number of communities. We prove that for the cases of positive weights and small weights in the Hamiltonian in particular, the vector equation has a unique solution. Lastly, the behavior of vertex-weighted exponential random graphs counting triangles is studied in detail and the solution to the vector equation is shown to approach the zero vector as the weight diverges to negative infinity for sufficiently large networks.


title: Unsupervised Text Summarization via Mixed Model Back-Translation

abstract: Back-translation based approaches have recently lead to significant progress in unsupervised sequence-to-sequence tasks such as machine translation or style transfer. In this work, we extend the paradigm to the problem of learning a sentence summarization system from unaligned data. We present several initial models which rely on the asymmetrical nature of the task to perform the first back-translation step, and demonstrate the value of combining the data created by these diverse initialization methods. Our system outperforms the current state-of-the-art for unsupervised sentence summarization from fully unaligned data by over 2 ROUGE, and matches the performance of recent semi-supervised approaches.


title: Surface states in bulk single crystal of topological semimetal Co$_3$Sn$_2$S$_2$ towards water oxidation

abstract: The band inversion in topological phase matters bring exotic physical properties such as the emergence of a topologically protected surface states. They strongly influence the surface electronic structures of the investigated materials and could serve as a good platform to gain insight into the catalytic mechanism of surface reactions. Here we synthesized high-quality bulk single crystals of the topological semimetal Co$_3$Sn$_2$S$_2$. We found that at room temperature, Co$_3$Sn$_2$S$_2$ naturally hosts the band structure of a topological semimetal. This guarantees the existence of robust surface states from the Co atoms. Bulk single crystal of Co$_3$Sn$_2$S$_2$ exposes their Kagome lattice that constructed by Co atoms and have high electrical conductivity. They serves as catalytic centers for oxygen evolution process (OER), making bonding and electron transfer more efficient due to the partially filled $e_g$ orbital. The bulk single crystal exhibits outstanding OER catalytic performance, although the surface area is much smaller than that of Co-based nanostructured catalysts. Our findings emphasize the importance of tailoring topological non-trivial surface states for the rational design of high-activity electrocatalysts.


title: Signatures for half-metallicity and nontrivial surface states in a Kagome-lattice magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$

abstract: Weyl semimetals with time reversal symmetry breaking are expected to show various fascinating physical behaviors, such as intrinsic giant anomalous Hall effect, chiral anomaly effect in the bulks, and Fermi arcs on the surfaces. Here we report a scanning tunneling microscopy study on the magnetic Weyl semimetal candidate Co$_3$Sn$_2$S$_2$. According to the morphology and local density of states of the surface, we provide assignments to different surface terminations. The measured local density of states reveals a semimetal gap of ~300 mV, which is further verified as the gap in spin-minority bands using spin-resolved tunneling spectra. Additionally, signature for the nontrivial surface states around 50 mV is proposed. This is further confirmed by the observations of standing waves around a step-edge of the sample. Our observations and their comparison with band structure calculations provide direct yet timely evidence for the bulk and surface band structures of the magnetic Weyl semimetal Co$_3$Sn$_2$S$_2$.


title: Eigenstate thermalization hypothesis and integrals of motion

abstract: Even though foundations of the eigenstate thermalization hypothesis (ETH) are based on random matrix theory, physical Hamiltonians and observables substantially differ from random operators. One of the major challenges is to embed local integrals of motion (LIOMs) within the ETH. Here we focus on their impact on fluctuations and structure of the diagonal matrix elements of local observables. We first show that nonvanishing fluctuations entail the presence of LIOMs. Then we introduce a generic protocol to construct observables, subtracted by their projections on LIOMs as well as products of LIOMs. The protocol systematically reduces fluctuations and/or the structure of the diagonal matrix elements. We verify our arguments by numerical results for integrable and nonintegrable models.


title: Peak Electricity Demand and Global Warming in the Industrial and Residential areas of Pune : An Extreme Value Approach

abstract: Industrial and residential activities respond distinctly to electricity demand on temperature. Due to increasing temperature trend on account of global warming, its impact on peak electricity demand is a proxy for effective management of electricity infrastructure. Few studies explore the relationship between electricity demand and temperature changes in industrial areas in India mainly due to the limitation of data. The precise role of industrial and residential activities response to the temperature is not explored in sub-tropical humid climate of India. Here, we show the temperature sensitivity of industrial and residential areas in the city of Pune, Maharashtra by keeping other influencing variables on electricity demand as constant. The study seeks to estimate the behaviour of peak electricity demand with the apparent temperature (AT) using the Extreme Value Theory. Our analysis shows that industrial activities are not much influenced by the temperature whereas residential activities show around 1.5-2% change in average electricity demand with 1 degree rise in AT. Further, we show that peak electricity demand in residential areas, performed using stationary and non-stationary GEV models, are significantly influenced by the rise in temperature. The study shows that with the improvement in data collection, better planning for the future development, accounting for the climate change effects, will enhance the effectiveness of electricity distribution system. The study is limited to the geographical area of Pune. However, the methods are useful in estimating the peak power load attributed to climate change to other geographical regions located in subtropical and humid climate.


title: Nonequilibrium Orbital Transitions via Applied Electrical Current in Calcium Ruthenate

abstract: Simultaneous control of structural and physical properties via applied electrical current poses a key, new research topic and technological significance. Studying the spin-orbit-coupled antiferromagnet Ca2RuO4, with 3% Mn doping to weaken the violent first-order transition at 357 K for more robust measurements, we find that a small applied electrical current couples to the lattice by significantly reducing its orthorhombicity and octahedral rotations, concurrently diminishing the 125 K- antiferromagnetic transition and inducing a new, orbital order below 80 K. Our effort to establish a phase diagram reveals a critical regime near a current density of 0.15 A/cm2 that separates the vanishing antiferromagnetic order and the new orbital order. Further increasing current density (> 1 A/cm2) enhances competitions between relevant interactions in a metastable manner, leading to a peculiar glassy behavior above 80 K. The coupling between the lattice and nonequilibrium driven current is interpreted theoretically in terms of t2g orbital occupancies. The current-controlled lattice is the driving force of the observed novel phenomena.


title: On Proximity and Structural Role-based Embeddings in Networks: Misconceptions, Techniques, and Applications

abstract: Structural roles define sets of structurally similar nodes that are more similar to nodes inside the set than outside, whereas communities define sets of nodes with more connections inside the set than outside. Roles based on structural similarity and communities based on proximity are fundamentally different but important complementary notions. Recently, the notion of structural roles has become increasingly important and has gained a lot of attention due to the proliferation of work on learning representations (node/edge embeddings) from graphs that preserve the notion of roles. Unfortunately, recent work has sometimes confused the notion of structural roles and communities (based on proximity) leading to misleading or incorrect claims about the capabilities of network embedding methods. As such, this paper seeks to clarify the misconceptions and key differences between structural roles and communities, and formalize the general mechanisms (e.g., random walks, feature diffusion) that give rise to community or role-based structural embeddings. We theoretically prove that embedding methods based on these mechanisms result in either community or role-based structural embeddings. These mechanisms are typically easy to identify and can help researchers quickly determine whether a method preserves community or role-based embeddings. Furthermore, they also serve as a basis for developing new and improved methods for community or role-based structural embeddings. Finally, we analyze and discuss applications and data characteristics where community or role-based embeddings are most appropriate.


title: Kobayashi non-hyperbolicity of Calabi-Yau manifolds via mirror symmetry

abstract: A compact complex manifold is Kobayashi non-hyperbolic if there exists an entire curve on it. Using mirror symmetry we establish that there are (possibly singular) elliptic or rational curves on any Calabi-Yau manifold $X$, whose mirror dual $\check X$ exists and is not "Hodge degenerate", therefore proving that $X$ is Kobayashi non-hyperbolic. We are not aware of any higher dimensional simply connected Calabi-Yau manifolds that satisfy the "Hodge degenerate" condition.


title: RNNs Evolving on an Equilibrium Manifold: A Panacea for Vanishing and Exploding Gradients?

abstract: Recurrent neural networks (RNNs) are particularly well-suited for modeling long-term dependencies in sequential data, but are notoriously hard to train because the error backpropagated in time either vanishes or explodes at an exponential rate. While a number of works attempt to mitigate this effect through gated recurrent units, well-chosen parametric constraints, and skip-connections, we develop a novel perspective that seeks to evolve the hidden state on the equilibrium manifold of an ordinary differential equation (ODE). We propose a family of novel RNNs, namely {\em Equilibriated Recurrent Neural Networks} (ERNNs) that overcome the gradient decay or explosion effect and lead to recurrent models that evolve on the equilibrium manifold. We show that equilibrium points are stable, leading to fast convergence of the discretized ODE to fixed points. Furthermore, ERNNs account for long-term dependencies, and can efficiently recall informative aspects of data from the distant past. We show that ERNNs achieve state-of-the-art accuracy on many challenging data sets with 3-10x speedups, 1.5-3x model size reduction, and with similar prediction cost relative to vanilla RNNs.


title: Theory of bi-linear magnetoresistance within the minimal model for surface states in topological insulators

abstract: A new mechanism of bi-linear magnetoresistance (BMR) is studied theoretically within the minimal model describing surface electronic states in topological insulators (TIs). The BMR appears as a consequence of the second-order response to electric field, and depends linearly on both electric field (current) and magnetic field. The mechanism is based on the interplay of current-induced spin polarization and scattering processes due to peculiar spin-orbit defects. The proposed mechanism is compared to that based on a Fermi surface warping, and is shown to be dominant at lower Fermi energies. We provide a consistent theoretical approach based on the Green function formalism and show that the magnetic field dependent relaxation processes in the presence of non-equilibrium current-induced spin polarization give rise to the BMR.


title: Mobility-aware Content Preference Learning in Decentralized Caching Networks

abstract: Due to the drastic increase of mobile traffic, wireless caching is proposed to serve repeated requests for content download. To determine the caching scheme for decentralized caching networks, the content preference learning problem based on mobility prediction is studied. We first formulate preference prediction as a decentralized regularized multi-task learning (DRMTL) problem without considering the mobility of mobile terminals (MTs). The problem is solved by a hybrid Jacobian and Gauss-Seidel proximal multi-block alternating direction method (ADMM) based algorithm, which is proven to conditionally converge to the optimal solution with a rate $O(1/k)$. Then we use the tool of \textit{Markov renewal process} to predict the moving path and sojourn time for MTs, and integrate the mobility pattern with the DRMTL model by reweighting the training samples and introducing a transfer penalty in the objective. We solve the problem and prove that the developed algorithm has the same convergence property but with different conditions. Through simulation we show the convergence analysis on proposed algorithms. Our real trace driven experiments illustrate that the mobility-aware DRMTL model can provide a more accurate prediction on geography preference than DRMTL model. Besides, the hit ratio achieved by most popular proactive caching (MPC) policy with preference predicted by mobility-aware DRMTL outperforms the MPC with preference from DRMTL and random caching (RC) schemes.


title: Rapid classification of quantum sources enabled by machine learning

abstract: Deterministic nanoassembly may enable unique integrated on-chip quantum photonic devices. Such integration requires a careful large-scale selection of nanoscale building blocks such as solid-state single-photon emitters by the means of optical characterization. Second-order autocorrelation is a cornerstone measurement that is particularly time-consuming to realize on a large scale. We have implemented supervised machine learning-based classification of quantum emitters as "single" or "not-single" based on their sparse autocorrelation data. Our method yields a classification accuracy of over 90% within an integration time of less than a second, realizing roughly a hundredfold speedup compared to the conventional, Levenberg-Marquardt approach. We anticipate that machine learning-based classification will provide a unique route to enable rapid and scalable assembly of quantum nanophotonic devices and can be directly extended to other quantum optical measurements.


title: On Convergence Rate of Adaptive Multiscale Value Function Approximation For Reinforcement Learning

abstract: In this paper, we propose a generic framework for devising an adaptive approximation scheme for value function approximation in reinforcement learning, which introduces multiscale approximation. The two basic ingredients are multiresolution analysis as well as tree approximation. Starting from simple refinable functions, multiresolution analysis enables us to construct a wavelet system from which the basis functions are selected adaptively, resulting in a tree structure. Furthermore, we present the convergence rate of our multiscale approximation which does not depend on the regularity of basis functions.


title: Extensive Online Shock Model Database

abstract: We present a new database of fully radiative shock models calculated with the shock and photoionization code MAPPINGS V. The database architecture is built to contain diverse shock grids comprising of multiple shock parameters. It can be easily accessible through the MySQL protocol. Intensities of spectral lines from infrared to X-rays are stored along with other useful outputs such as the ionic fractions/temperature, integrated densities, etc. A web page was created in other to explore interactively the database as it evolves with time. Examples of its usage is given using the Python language.


title: The long-lived Type IIn SN 2015da: Infrared echoes and strong interaction within an extended massive shell

abstract: In this paper we report the results of the first $\sim$four years of spectroscopic and photometric monitoring of the Type IIn supernova SN 2015da (also known as PSN J13522411+3941286, or iPTF16tu). The supernova exploded in the nearby spiral galaxy NGC 5337 in a relatively highly extinguished environment. The transient showed prominent narrow Balmer lines in emission at all times and a slow rise to maximum in all bands. In addition, early observations performed by amateur astronomers give a very well-constrained explosion epoch. The observables are consistent with continuous interaction between the supernova ejecta and a dense and extended H-rich circumstellar medium. The presence of such an extended and dense medium is difficult to reconcile with standard stellar evolution models, since the metallicity at the position of SN 2015da seems to be slightly subsolar. Interaction is likely the mechanism powering the light curve, as confirmed by the analysis of the pseudo bolometric light curve, which gives a total radiated energy $\gtrsim10^{51}\,\rm{erg}$. Modeling the light curve in the context of a supernova shock breakout through a dense circumstellar medium allowed us to infer the mass of the prexisting gas to be $\simeq8\,\rm{M_{\odot}}$, with an extreme mass-loss rate for the progenitor star $\simeq0.6\,\rm{M_{\odot}}\,\rm{yr^{-1}}$, suggesting that most of the circumstellar gas was produced during multiple eruptive events. Near- and mid-infrared observations reveal a flux excess in these domains, similar to those observed in SN 2010jl and other interacting transients, likely due to preexisting radiatively heated dust surrounding the supernova. By modeling the infrared excess, we infer a mass $\gtrsim0.4\times10^{-3}\,\rm{M_{\odot}}$ for the dust.


title: DC3 -- A Diagnostic Case Challenge Collection for Clinical Decision Support

abstract: In clinical care, obtaining a correct diagnosis is the first step towards successful treatment and, ultimately, recovery. Depending on the complexity of the case, the diagnostic phase can be lengthy and ridden with errors and delays. Such errors have a high likelihood to cause patients severe harm or even lead to their death and are estimated to cost the U.S. healthcare system several hundred billion dollars each year. To avoid diagnostic errors, physicians increasingly rely on diagnostic decision support systems drawing from heuristics, historic cases, textbooks, clinical guidelines and scholarly biomedical literature. The evaluation of such systems, however, is often conducted in an ad-hoc fashion, using non-transparent methodology, and proprietary data. This paper presents DC3, a collection of 31 extremely difficult diagnostic case challenges, manually compiled and solved by clinical experts. For each case, we present a number of temporally ordered physician-generated observations alongside the eventually confirmed true diagnosis. We additionally provide inferred dense relevance judgments for these cases among the PubMed collection of 27 million scholarly biomedical articles.


title: Fermionic entanglement in the Lipkin model

abstract: We examine the fermionic entanglement in the ground state of the fermionic Lipkin model and its relation with bipartite entanglement. It is first shown that the one-body entanglement entropy, which quantifies the minimum distance to a fermionic Gaussian state, behaves similarly to the mean-field order parameter and is essentially proportional to the total bipartite entanglement between the upper and lower modes, a quantity meaningful only in the fermionic realization of the model. We also analyze the entanglement of the reduced state of four single-particle modes (two up-down pairs), showing that its fermionic concurrence is strongly peaked at the phase transition and behaves differently from the corresponding up-down entanglement. We finally show that the first measures and the up-down reduced entanglement can be correctly described through a basic mean-field approach supplemented with symmetry restoration, whereas the concurrence requires at least the inclusion of RPA-type correlations for a proper prediction. Fermionic separability is also discussed.


title: Measuring the magnetic field of young stars using iSHELL observations: BP Tau and V347 Aur

abstract: While it has been suggested that there is a connection between the magnetic properties and the internal structure of young stars, there have not been enough magnetic measurements to firmly establish such a correlation at the earliest ages. Here, we contribute to this endeavor by presenting stellar parameters and magnetic field strength measurements of BP Tau and V347 Aur, both stars observed with the near-infrared spectrograph iSHELL. We first test the accuracy of our method by fitting synthetic stellar spectra to a sample of nine main and post-main-sequence stars. We report uncertainties of $\sigma_{\rm Teff}$ = 91 K in temperature and $\sigma_{\rm log(g)}$ = 0.14 in gravity. We then apply the modeling technique to BP Tau and measure a surface magnetic field strength of $\langle \rm B \rangle $ = 2.5$^{+0.15}_{-0.16}$ kG, confirming literature results. For this star, however, we obtain a much lower temperature value than previous optical studies ($\Delta \rm T \sim 400$ K) and interpret this significant temperature difference as due to the relatively higher impact of starspots at near-infrared wavelengths than at optical wavelengths. We further apply this technique to the class I protostellar source V347 Aur and measure for the first time its magnetic field strength $\langle \rm B \rangle = $ 1.36$^{+0.06}_{-0.05}$ kG and its surface gravity log(g) = 3.25$^{+0.14}_{-0.14}$. Lastly, we combine our measurements with pre-main-sequence stellar evolutionary models and illustrate the effects produced by starspots on the retrieved masses and ages of young stars.


title: Feedbackward Decoding for Semantic Segmentation

abstract: We propose a novel approach for semantic segmentation that uses an encoder in the reverse direction to decode. Many semantic segmentation networks adopt a feedforward encoder-decoder architecture. Typically, an input is first downsampled by the encoder to extract high-level semantic features and continues to be fed forward through the decoder module to recover low-level spatial clues. Our method works in an alternative direction that lets information flow backward from the last layer of the encoder towards the first. The encoder performs encoding in the forward pass and the same network performs decoding in the backward pass. Therefore, the encoder itself is also the decoder. Compared to conventional encoder-decoder architectures, ours doesn't require additional layers for decoding and further reuses the encoder weights thereby reducing the total number of parameters required for processing. We show by using only the 13 convolutional layers from VGG-16 plus one tiny classification layer, our model significantly outperforms other frequently cited models that are also adapted from VGG-16. On the Cityscapes semantic segmentation benchmark, our model uses 50.0% less parameters than SegNet and achieves an 18.1% higher "IoU class" score; it uses 28.3% less parameters than DeepLab LargeFOV and the achieved "IoU class" score is 3.9% higher; it uses 89.1% fewer parameters than FCN-8s and the achieved "IoU class" score is 3.1% higher. Our code will be publicly available on Github later.


title: An 11 Earth-Mass, Long-Period Sub-Neptune Orbiting a Sun-like Star

abstract: Although several thousands of exoplanets have now been detected and characterized, observational biases have led to a paucity of long-period, low-mass exoplanets with measured masses and a corresponding lag in our understanding of such planets. In this paper we report the mass estimation and characterization of the long-period exoplanet Kepler-538b. This planet orbits a Sun-like star (V = 11.27) with M_* = 0.892 +/- (0.051, 0.035) M_sun and R_* = 0.8717 +/- (0.0064, 0.0061) R_sun. Kepler-538b is a 2.215 +/- (0.040, 0.034) R_earth sub-Neptune with a period of P = 81.73778 +/- 0.00013 d. It is the only known planet in the system. We collected radial velocity (RV) observations with HIRES on Keck I and HARPS-N on the TNG. We characterized stellar activity by a Gaussian process with a quasi-periodic kernel applied to our RV and cross correlation function full width at half maximum (FWHM) observations. By simultaneously modeling Kepler photometry, RV, and FWHM observations, we found a semi-amplitude of K = 1.68 +/- (0.39, 0.38) m s^-1 and a planet mass of M_p = 10.6 +/- (2.5, 2.4) M_earth. Kepler-538b is the smallest planet beyond P = 50 d with an RV mass measurement. The planet likely consists of a significant fraction of ices (dominated by water ice), in addition to rocks/metals, and a small amount of gas. Sophisticated modeling techniques such as those used in this paper, combined with future spectrographs with ultra high-precision and stability will be vital for yielding more mass measurements in this poorly understood exoplanet regime. This in turn will improve our understanding of the relationship between planet composition and insolation flux and how the rocky to gaseous transition depends on planetary equilibrium temperature.


title: PHEMTO : Polarimetric High Energy Modular Telescope Observatory

abstract: With the opening of the X and gamma--ray windows in the sixties, thanks to to sounding rockets and satellite-borne instruments, extremely energetic and violent phenomena were discovered and subsequently found to be ubiquitous in the Universe. Observations in the high energy domain are fundamental for understanding how matter is organized and behaves around black holes; unravelling how these extreme objects influence their environments on a very large scale; and finding the still elusive obscured massive objects in the centre of galaxies. Other major problems in contemporary astrophysics, such as the understanding of acceleration processes at shocks of all sizes (those of pulsar wind nebulae, supernova remnants, but also at larger scales those of Active Galactic Nuclei radio lobes) in relation to the origin of cosmic-rays, or the definitive characterization of the debated non-thermal X-ray energy content of clusters of galaxies, also requires observations at very high energies. An observatory type medium mission operating from around 1 keV to about 600 keV can provide direct insights into these major questions. The essential characteristics will be coverage of the full energy range by telescopes featuring a large throughput and arc-second resolution optics, coupled to a compact focal plane assembly, with excellent imaging resolution and spectroscopy. In addition, the mission will provide unique polarimetry measurements in the hard X-ray domain, an important new diagnostic tool at energies for which the non-thermal processes dominate. The Polarimetric High-Energy Modular Telescope Observatory (PHEMTO) is designed to have performance several orders of magnitude better than the present hard X-ray instruments. This gives to PHEMTO the improvements in scientific performance needed for a mission in the 2050 era.


title: The Dirichlet problem for elliptic operators having a BMO anti-symmetric part

abstract: The present paper establishes the first result on the absolute continuity of elliptic measure with respect to the Lebesgue measure for a divergence form elliptic operator with non-smooth coefficients that have a BMO anti-symmetric part. In particular, the coefficients are not necessarily bounded. We prove that the Dirichlet problem for elliptic equation ${\rm div}(A\nabla u)=0$ in the upper half-space $(x,t)\in\mathbb{R}^{n+1}_+$ is uniquely solvable when $n\ge2$ and the boundary data is in $L^p(\mathbb{R}^n,dx)$ for some $p\in (1,\infty)$. This result is equivalent to saying that the elliptic measure associated to $L$ belongs to the $A_\infty$ class with respect to the Lebesgue measure $dx$, a quantitative version of absolute continuity.


title: A joint 3D UNet-Graph Neural Network-based method for Airway Segmentation from chest CTs

abstract: We present an end-to-end deep learning segmentation method by combining a 3D UNet architecture with a graph neural network (GNN) model. In this approach, the convolutional layers at the deepest level of the UNet are replaced by a GNN-based module with a series of graph convolutions. The dense feature maps at this level are transformed into a graph input to the GNN module. The incorporation of graph convolutions in the UNet provides nodes in the graph with information that is based on node connectivity, in addition to the local features learnt through the downsampled paths. This information can help improve segmentation decisions. By stacking several graph convolution layers, the nodes can access higher order neighbourhood information without substantial increase in computational expense. We propose two types of node connectivity in the graph adjacency: i) one predefined and based on a regular node neighbourhood, and ii) one dynamically computed during training and using the nearest neighbour nodes in the feature space. We have applied this method to the task of segmenting the airway tree from chest CT scans. Experiments have been performed on 32 CTs from the Danish Lung Cancer Screening Trial dataset. We evaluate the performance of the UNet-GNN models with two types of graph adjacency and compare it with the baseline UNet.


title: Learning Similarity Conditions Without Explicit Supervision

abstract: Many real-world tasks require models to compare images along multiple similarity conditions (e.g. similarity in color, category or shape). Existing methods often reason about these complex similarity relationships by learning condition-aware embeddings. While such embeddings aid models in learning different notions of similarity, they also limit their capability to generalize to unseen categories since they require explicit labels at test time. To address this deficiency, we propose an approach that jointly learns representations for the different similarity conditions and their contributions as a latent variable without explicit supervision. Comprehensive experiments across three datasets, Polyvore-Outfits, Maryland-Polyvore and UT-Zappos50k, demonstrate the effectiveness of our approach: our model outperforms the state-of-the-art methods, even those that are strongly supervised with pre-defined similarity conditions, on fill-in-the-blank, outfit compatibility prediction and triplet prediction tasks. Finally, we show that our model learns different visually-relevant semantic sub-spaces that allow it to generalize well to unseen categories.


title: Network-Accelerated Non-Contiguous Memory Transfers

abstract: Applications often communicate data that is non-contiguous in the send- or the receive-buffer, e.g., when exchanging a column of a matrix stored in row-major order. While non-contiguous transfers are well supported in HPC (e.g., MPI derived datatypes), they can still be up to 5x slower than contiguous transfers of the same size. As we enter the era of network acceleration, we need to investigate which tasks to offload to the NIC: In this work we argue that non-contiguous memory transfers can be transparently networkaccelerated, truly achieving zero-copy communications. We implement and extend sPIN, a packet streaming processor, within a Portals 4 NIC SST model, and evaluate strategies for NIC-offloaded processing of MPI datatypes, ranging from datatype-specific handlers to general solutions for any MPI datatype. We demonstrate up to 10x speedup in the unpack throughput of real applications, demonstrating that non-contiguous memory transfers are a first-class candidate for network acceleration.


title: Photoexcited Small Polaron Formation in Goethite ({\alpha}-FeOOH) Nanorods Probed by Transient Extreme Ultraviolet Spectroscopy

abstract: Small polaron formation limits the mobility and lifetimes of photoexcited carriers in metal oxides. As the ligand field strength increases, the carrier mobility decreases, but the effect on the photoexcited small polaron formation is still unknown. Extreme ultraviolet transient absorption spectroscopy is employed to measure small polaron formation rates and probabilities in goethite ({\alpha}-FeOOH) crystalline nanorods at pump photon energies from 2.2 to 3.1 eV. The measured polaron formation time increases with excitation photon energy from 70 {\pm} 10 fs at 2.2 eV to 350 {\pm} 30 fs at 2.6 eV, whereas the polaron formation probability (85 {\pm} 10%) remains constant. By comparison to hematite ({\alpha}-Fe2O3), an oxide analog, the role of ligand composition and metal center density in small polaron formation time is discussed. This work suggests that incorporating small changes in ligands and crystal structure could enable the control of photoexcited small polaron formation in metal oxides.


title: Complex symmetry and cyclicity of composition operators on $H^2(\mathbb{C}_+)$

abstract: In this article, we completely characterize the complex symmetry, cyclicity and hypercyclicity of composition operators $C_\phi f=f\circ\phi$ induced by affine self-maps $\phi$ of the right half-plane $\mathbb{C}_+$ on the Hardy-Hilbert space $H^2(\mathbb{C}_+)$. We also provide new proofs for the normal, self-adjoint and unitary cases and for an adjoint formula discovered by Gallardo-Guti\'{e}rrez and Montes-Rodr\'{i}gues.


title: Revealing the Dark Secrets of BERT

abstract: BERT-based architectures currently give state-of-the-art performance on many NLP tasks, but little is known about the exact mechanisms that contribute to its success. In the current work, we focus on the interpretation of self-attention, which is one of the fundamental underlying components of BERT. Using a subset of GLUE tasks and a set of handcrafted features-of-interest, we propose the methodology and carry out a qualitative and quantitative analysis of the information encoded by the individual BERT's heads. Our findings suggest that there is a limited set of attention patterns that are repeated across different heads, indicating the overall model overparametrization. While different heads consistently use the same attention patterns, they have varying impact on performance across different tasks. We show that manually disabling attention in certain heads leads to a performance improvement over the regular fine-tuned BERT models.


title: Training Optimus Prime, M.D.: Generating Medical Certification Items by Fine-Tuning OpenAI's gpt2 Transformer Model

abstract: This article describes new results of an application using transformer-based language models to automated item generation (AIG), an area of ongoing interest in the domain of certification testing as well as in educational measurement and psychological testing. OpenAI's gpt2 pre-trained 345M parameter language model was retrained using the public domain text mining set of PubMed articles and subsequently used to generate item stems (case vignettes) as well as distractor proposals for multiple-choice items. This case study shows promise and produces draft text that can be used by human item writers as input for authoring. Future experiments with more recent transformer models (such as Grover, TransformerXL) using existing item pools are expected to improve results further and to facilitate the development of assessment materials.


title: Ultrahigh-Resolution Fiber-Optic Sensing Using a High-Finesse, Meter-Long Fiber Fabry-Perot Resonator

abstract: Ultrahigh-resolution fiber-optic sensing has been demonstrated with a meter-long, high-finesse fiber Fabry-Perot interferometer (FFPI). The main technical challenge of large, environment-induced resonance frequency drift is addressed by locking the interrogation laser to a similar meter-long FFPI, which, along with the FFPI sensor, is thermally and mechanically isolated from the ambient. A nominal, noise-limited strain resolution of 800 f{\epsilon} /sqrt(Hz) has been achieved within 1 to 100 Hz. Strain resolution further improves to 75 f{\epsilon} /sqrt(Hz) at 1 kHz, 60 f{\epsilon} /sqrt(Hz) at 2 kHz and 40 f{\epsilon} /sqrt(Hz) at 23 kHz, demonstrating comparable or even better resolutions than proven techniques such as {\pi}-phase-shifted and slow-light fiber Bragg gratings. Limitations of the current system are analyzed and improvement strategies are presented. The work lays out a feasible path toward ultrahigh-resolution fiber-optic sensing based on long FFPIs.


title: Regression Analysis of Unmeasured Confounding

abstract: When studying the causal effect of $x$ on $y$, researchers may conduct regression and report a confidence interval for the slope coefficient $\beta_{x}$. This common confidence interval provides an assessment of uncertainty from sampling error, but it does not assess uncertainty from confounding. An intervention on $x$ may produce a response in $y$ that is unexpected, and our misinterpretation of the slope happens when there are confounding factors $w$. When $w$ are measured we may conduct multiple regression, but when $w$ are unmeasured it is common practice to include a precautionary statement when reporting the confidence interval, warning against unwarranted causal interpretation. If the goal is robust causal interpretation then we can do something more informative. Uncertainty in the specification of three confounding parameters can be propagated through an equation to produce a confounding interval. Here we develop supporting mathematical theory and describe an example application. Our proposed methodology applies well to studies of a continuous response or rare outcome. It is a general method for quantifying error from model uncertainty. Whereas confidence intervals are used to assess uncertainty from unmeasured individuals, confounding intervals can be used to assess uncertainty from unmeasured attributes.


title: Sign Language Recognition, Generation, and Translation: An Interdisciplinary Perspective

abstract: Developing successful sign language recognition, generation, and translation systems requires expertise in a wide range of fields, including computer vision, computer graphics, natural language processing, human-computer interaction, linguistics, and Deaf culture. Despite the need for deep interdisciplinary knowledge, existing research occurs in separate disciplinary silos, and tackles separate portions of the sign language processing pipeline. This leads to three key questions: 1) What does an interdisciplinary view of the current landscape reveal? 2) What are the biggest challenges facing the field? and 3) What are the calls to action for people working in the field? To help answer these questions, we brought together a diverse group of experts for a two-day workshop. This paper presents the results of that interdisciplinary workshop, providing key background that is often overlooked by computer scientists, a review of the state-of-the-art, a set of pressing challenges, and a call to action for the research community.


title: Existence and multiplicity of positive solutions to a fourth-order multi-point boundary value problem

abstract: In this paper, we study the existence and multiplicity of positive solutions for a nonlinear fourth-order with multi-point boundary conditions involving an integral boundary condition. The main tool is Krasnosel'skii fixed point theorem on cones.


title: Black Body Radiation in Moving Frames

abstract: The problem of black body radiation, when measured by a moving observer, has a pivotal role in relativistic thermodynamics. Mutually, it depends on the thermodynamical definition of the thermal equilibrium and temperature of moving bodies, i.e. under a Lorentz transformation, and also in a gravitational field. Surprisingly, even after more than a century, relativistic thermodynamics is not a mature theory and is still an open problem without a consensus. This article is a brief review of the evolution of this theory with a special focus on the black body radiation in moving frames. As an application, we use the results in the most interesting topics of the quantum field theory in curved space: Hawking radiation, and Unruh effect.


title: Online Causal Inference for Advertising in Real-Time Bidding Auctions

abstract: Real-time bidding (RTB) systems, which utilize auctions to allocate user impressions to competing advertisers, continue to enjoy success in digital advertising. Assessing the effectiveness of such advertising remains a challenge in research and practice. This paper proposes a new approach to perform causal inference on advertising bought through such mechanisms. Leveraging the economic structure of first- and second-price auctions, we first show that the effects of advertising are identified by the optimal bids. Hence, since these optimal bids are the only objects that need to be recovered, we introduce an adapted Thompson sampling (TS) algorithm to solve a multi-armed bandit problem that succeeds in recovering such bids and, consequently, the effects of advertising while minimizing the costs of experimentation. We derive a regret bound for our algorithm which is order optimal and use data from RTB auctions to show that it outperforms commonly used methods that estimate the effects of advertising.


title: Object-RPE: Dense 3D Reconstruction and Pose Estimation with Convolutional Neural Networks for Warehouse Robots

abstract: We present an approach for recognizing all objects in a scene and estimating their full pose from an accurate 3D instance-aware semantic reconstruction using an RGB-D camera. Our framework couples convolutional neural networks (CNNs) and a state-of-the-art dense Simultaneous Localisation and Mapping (SLAM) system, ElasticFusion, to achieve both high-quality semantic reconstruction as well as robust 6D pose estimation for relevant objects. While the main trend in CNN-based 6D pose estimation has been to infer object's position and orientation from single views of the scene, our approach explores performing pose estimation from multiple viewpoints, under the conjecture that combining multiple predictions can improve the robustness of an object detection system. The resulting system is capable of producing high-quality object-aware semantic reconstructions of room-sized environments, as well as accurately detecting objects and their 6D poses. The developed method has been verified through experimental validation on the YCB-Video dataset and a newly collected warehouse object dataset. Experimental results confirmed that the proposed system achieves improvements over state-of-the-art methods in terms of surface reconstruction and object pose prediction. Our code and video are available at https://sites.google.com/view/object-rpe.


title: Single-electron tunneling PbS/InP neuromorphic computing building blocks

abstract: We study single-electron tunneling (SET) characteristics in crystalline PbS/InP junctions, that exhibit single-electron Coulomb-blockade staircases along with memory and memory-fading behaviors. This gives rise to both short-term and long-term plasticities as well as a convenient non-linear response, making this structure attractive for neuromorphic computing applications. For further insights into this prospect, we predict typical behaviors relevant to the field, obtained by an extrapolation of experimental data in the SET framework. The estimated minimum energy required for a synaptic operation is in the order of 1 fJ, while the maximum frequency of operation can reach the MHz range.


title: Neutral Current Neutrino-Nucleus Scattering. Theory

abstract: The treatment of nuclear effects in neutrino-nucleus interactions is one of the main sources of systematic uncertainty for the analysis and interpretation of data of neutrino oscillation experiments. Neutrinos interact with nuclei via charged or neutral currents and both cases must be studied to obtain a complete information. We give an overview of the theoretical work that has been done to describe nuclear effects in neutral-current neutrin onucleus scattering in the kinematic region ranging between beam energies of a few hundreds MeV to a few GeV, which is typical of most ongoing and future accelerator-based neutrino experiments, and where quasielastic scattering is the main interaction mechanism. We review the current status and challenges of the theoretical models, the role and relevance of the contributions of different nuclear effects, and the present status of the comparison between the numerical predictions of the models as well as the available experimental data. We discuss also the sensitivity to the strange form factors of the nucleon and the methods and observables that can allow one to obtain evidence for a possible strange quark contribution from measurements of neutrino and antineutrino-nucleus scattering.


title: Semiclassical Dispersion Corrections efficiently improve Multi-Configurational Theory with Short-Range Density-Functional Dynamic Correlation

abstract: Multi-configurational wave functions are known to describe electronic structure across a Born-Oppenheimer surface qualitatively correct. However, for quantitative reaction energies, dynamical correlation originating from the many configurations involving excitations out of the restricted orbital space, the active space, must be considered. Standard procedures involve approximations that eventually limit the ultimate accuracy achievable (most prominently, multi-reference perturbation theory). At the same time, the computational cost increase dramatically due to the necessity to obtain higher-order reduced density matrices. It is this disproportion that leads us here to propose a MC-srDFT-D hybrid approach of semiclassical dispersion (D) corrections to cover long-range dynamical correlation in a multi-configurational (MC) wave function theory which includes short-range (sr) dynamical correlation by density functional theory (DFT) without double counting. We demonstrate that the reliability of this approach is very good (at negligible cost), especially when considering that standard second-order multi-reference perturbation theory usually overestimates dispersion interactions.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el physics.comp-ph


title: Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey

abstract: Smart contracts are software programs featuring both traditional applications and distributed data storage on blockchains. Ethereum is a prominent blockchain platform with the support of smart contracts. The smart contracts act as autonomous agents in critical decentralized applications and hold a significant amount of cryptocurrency to perform trusted transactions and agreements. Millions of dollars as part of the assets held by the smart contracts were stolen or frozen through the notorious attacks just between 2016 and 2018, such as the DAO attack, Parity Multi-Sig Wallet attack, and the integer underflow/overflow attacks. These attacks were caused by a combination of technical flaws in designing and implementing software codes. However, many more vulnerabilities of less severity are to be discovered because of the scripting natures of the Solidity language and the non-updateable feature of blockchains. Hence, we surveyed 16 security vulnerabilities in smart contract programs, and some vulnerabilities do not have a proper solution. This survey aims to identify the key vulnerabilities in smart contracts on Ethereum in the perspectives of their internal mechanisms and software security vulnerabilities. By correlating 16 Ethereum vulnerabilities and 19 software security issues, we predict that many attacks are yet to be exploited. And we have explored many software tools to detect the security vulnerabilities of smart contracts in terms of static analysis, dynamic analysis, and formal verification. This survey presents the security problems in smart contracts together with the available analysis tools and the detection methods. We also investigated the limitations of the tools or analysis methods with respect to the identified security vulnerabilities of the smart contracts.


title: Noise sensitivity and exceptional times of transience for a simple symmetric random walk in one dimension

abstract: We define a dynamical simple symmetric random walk in one dimension, and show that there almost surely exist exceptional times at which the walk tends to infinity. This is in contrast to the usual dynamical simple symmetric random walk in one dimension, for which such exceptional times are known not to exist. In fact we show that the set of exceptional times has Hausdorff dimension $1/2$ almost surely, and give bounds on the rate at which the walk diverges at such times. We also show noise sensitivity of the event that our random walk is positive after $n$ steps. In fact this event is maximally noise sensitive, in the sense that it is quantitatively noise sensitive for any sequence $\varepsilon_n$ such that $n\varepsilon_n\to\infty$. This is again in contrast to the usual random walk, for which the corresponding event is known to be noise stable.


title: Analysis of dynamic ruptures generating seismic waves in a self-gravitating planet: an iterative coupling scheme and well-posedness

abstract: We study the solution of the system of equations describing the dynamical evolution of spontaneous ruptures generated in a prestressed elastic-gravitational deforming body and governed by rate and state friction laws. We propose an iterative coupling scheme based on a weak formulation with nonlinear interior boundary conditions, both for continuous time and with implicit discretization (backward Euler) in time. We regularize the problem by introducing viscosity. This guarantees the convergence of the scheme for solutions of the regularized problems in both cases. We also make precise the conditions on the relevant coefficients for convergence to hold.


title: A phylogenetic approach disentangles interlocus gene conversion tract length and initiation rate

abstract: Interlocus gene conversion (IGC) homogenizes paralogs. Little is known regarding the mutation events that cause IGC and even less is known about the IGC mutations that experience fixation. To disentangle the rates of fixed IGC mutations from the tract lengths of these fixed mutations, we employ a composite likelihood procedure. We characterize the procedure with simulations. We apply the procedure to duplicated primate introns and to protein-coding paralogs from both yeast and primates. Our estimates from protein-coding data concerning the mean length of fixed IGC tracts were unexpectedly low and are associated with high degrees of uncertainty. In contrast, our estimates from the primate intron data had lengths in the general range expected from IGC mutation studies. While it is challenging to separate the rate at which fixed IGC mutations initiate from the average number of nucleotide positions that these IGC events affect, all of our analyses indicate that IGC is responsible for a substantial proportion of evolutionary change in duplicated regions. Our results suggest that IGC should be considered whenever the evolution of multigene families is examined.


title: Song Hit Prediction: Predicting Billboard Hits Using Spotify Data

abstract: In this work, we attempt to solve the Hit Song Science problem, which aims to predict which songs will become chart-topping hits. We constructed a dataset with approximately 1.8 million hit and non-hit songs and extracted their audio features using the Spotify Web API. We test four models on our dataset. Our best model was random forest, which was able to predict Billboard song success with 88% accuracy.


title: Viability of machine learning to reduce workload in systematic review screenings in the health sciences: a working paper

abstract: Systematic reviews, which summarize and synthesize all the current research in a specific topic, are a crucial component to academia. They are especially important in the biomedical and health sciences, where they synthesize the state of medical evidence and conclude the best course of action for various diseases, pathologies, and treatments. Due to the immense amount of literature that exists, as well as the output rate of research, reviewing abstracts can be a laborious process. Automation may be able to significantly reduce this workload. Of course, such classifications are not easily automated due to the peculiar nature of written language. Machine learning may be able to help. This paper explored the viability and effectiveness of using machine learning modelling to classify abstracts according to specific exclusion/inclusion criteria, as would be done in the first stage of a systematic review. The specific task was performing the classification of deciding whether an abstract is a randomized control trial (RCT) or not, a very common classification made in systematic reviews in the healthcare field. Random training/testing splits of an n=2042 dataset of labelled abstracts were repeatedly created (1000 times in total), with a model trained and tested on each of these instances. A Bayes classifier as well as an SVM classifier were used, and compared to non-machine learning, simplistic approaches to textual classification. An SVM classifier was seen to be highly effective, yielding a 90% accuracy, as well as an F1 score of 0.84, and yielded a potential workload reduction of 70%. This shows that machine learning has the potential to significantly revolutionize the abstract screening process in healthcare systematic reviews.


title: Masur-Veech volumes, frequencies of simple closed geodesics and intersection numbers of moduli spaces of curves

abstract: We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space of meromorphic quadratic differential with simple poles as polynomials in the intersection numbers of psi-classes supported on the boundary cycles of the Deligne-Mumford compactification of the moduli space of curves. Our formulae are derived from lattice point count involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli space of bordered hyperbolic Riemann surfaces. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani through completely different approach. We prove further result: up to an explicit normalization factor depending only on the genus and on the number of cusps, the density of the orbit of any simple closed multicurve computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to the simple closed multicurve. We study the resulting densities in more detail in the special case when there are no cusps. In particular, we compute explicitly the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus g for all small genera g and we show that in large genera the separating closed geodesics are exponentially less frequent. We conclude with detailed conjectural description of combinatorial geometry of a random simple closed multicurve on a surface of large genus and of a random square-tiled surface of large genus. This description is conditional to the conjectural asymptotic formula for the Masur-Veech volume in large genera and to the conjectural uniform asymptotic formula for certain sums of intersection numbers of psi-classes in large genera.


title: Tiered Graph Autoencoders with PyTorch Geometric for Molecular Graphs

abstract: Tiered latent representations and latent spaces for molecular graphs provide a simple but effective way to explicitly represent and utilize groups (e.g., functional groups), which consist of the atom (node) tier, the group tier and the molecule (graph) tier. They can be learned using the tiered graph autoencoder architecture. In this paper we discuss adapting tiered graph autoencoders for use with PyTorch Geometric, for both the deterministic tiered graph autoencoder model and the probabilistic tiered variational graph autoencoder model. We also discuss molecular structure information sources that can be accessed to extract training data for molecular graphs. To support transfer learning, a critical consideration is that the information must utilize standard unique molecule and constituent atom identifiers. As a result of using tiered graph autoencoders for deep learning, each molecular graph possesses tiered latent representations. At each tier, the latent representation consists of: node features, edge indices, edge features, membership matrix, and node embeddings. This enables the utilization and exploration of tiered molecular latent spaces, either individually (the node tier, the group tier, or the graph tier) or jointly, as well as navigation across the tiers.


title: Large prime gaps and probabilistic models

abstract: We introduce a new probabilistic model of the primes consisting of integers that survive the sieving process when a random residue class is selected for every prime modulus below a specific bound. From a rigorous analysis of this model, we obtain heuristic upper and lower bounds for the size of the largest prime gap in the interval $[1,x]$. Our results are stated in terms of the extremal bounds in the interval sieve problem. The same methods also allow us to rigorously relate the validity of the Hardy-Littlewood conjectures for an arbitrary set (such as the actual primes) to lower bounds for the largest gaps within that set.


title: Composite stacks for reliable > 17 T trapped fields in bulk superconductor magnets

abstract: Trapped fields of over 20 T are, in principle, achievable in bulk, single-grain high temperature cuprate superconductors. The principle barriers to realizing such performance are, firstly, the large tensile stresses that develop during the magnetization of such trapped-field magnets as a result of the Lorentz force, which lead to brittle fracture of these ceramic-like materials at high fields and, secondly, catastrophic thermal instabilities as a result of flux movement during magnetization. Moreover, for a batch of samples nominally fabricated identically, the statistical nature of the failure mechanism means the best performance (i.e. trapped fields of over 17 T) cannot be attained reliably. The magnetization process, particularly to higher fields, also often damages the samples such that they cannot repeatedly trap high fields following subsequent magnetization. In this study, we report the sequential trapping of magnetic fields of ~ 17 T, achieving 16.8 T at 26 K initially and 17.6 T at 22.5 K subsequently, in a stack of two Ag-doped GdBa2Cu3O7-{\delta} bulk superconductor composites of diameter 24 mm reinforced with (1) stainless-steel laminations, and (2) shrink-fit stainless steel rings. A trapped field of 17.6 T is, in fact, comparable with the highest trapped fields reported to date for bulk superconducting magnets of any mechanical and chemical composition, and this was achieved using the first composite stack to be fabricated by this technique.


title: SmartEmbed: A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding

abstract: Ethereum has become a widely used platform to enable secure, Blockchain-based financial and business transactions. However, a major concern in Ethereum is the security of its smart contracts. Many identified bugs and vulnerabilities in smart contracts not only present challenges to maintenance of blockchain, but also lead to serious financial loses. There is a significant need to better assist developers in checking smart contracts and ensuring their reliability.In this paper, we propose a web service tool, named SmartEmbed, which can help Solidity developers to find repetitive contract code and clone-related bugs in smart contracts. Our tool is based on code embeddings and similarity checking techniques. By comparing the similarities among the code embedding vectors for existing solidity code in the Ethereum blockchain and known bugs, we are able to efficiently identify code clones and clone-related bugs for any solidity code given by users, which can help to improve the users' confidence in the reliability of their code. In addition to the uses by individual developers, SmartEmbed can also be applied to studies of smart contracts in a large scale. When applied to more than 22K solidity contracts collected from the Ethereum blockchain, we found that the clone ratio of solidity code is close to 90\%, much higher than traditional software, and 194 clone-related bugs can be identified efficiently and accurately based on our small bug database with a precision of 96\%. SmartEmbed can be accessed at \url{http://www.smartembed.net}. A demo video of SmartEmbed is at \url{https://youtu.be/o9ylyOpYFq8}


title: Quadratic Surface Support Vector Machine with L1 Norm Regularization

abstract: We propose $\ell_1$ norm regularized quadratic surface support vector machine models for binary classification in supervised learning. We establish their desired theoretical properties, including the existence and uniqueness of the optimal solution, reduction to the standard SVMs over (almost) linearly separable data sets, and detection of true sparsity pattern over (almost) quadratically separable data sets if the penalty parameter of $\ell_1$ norm is large enough. We also demonstrate their promising practical efficiency by conducting various numerical experiments on both synthetic and publicly available benchmark data sets.


title: Stochastic Simulation of Nonequilibrium Heat Conduction in Extended Molecule Junctions

abstract: Understanding phononic heat transport processes in molecular junctions is a central issue in the developing field of nanoscale heat conduction and manipulation. Here we present a Stochastic Nonequlibrium Molecular Dynamics simulation framework to investigate heat transport processes in molecular junctions in and beyond the linear response regime. We use extended molecular models which filter Markovian heat reservoirs through an intermediate substrate region, to provide a realistic and controllable effective bath spectral density. The results obtained for alkanedithol molecules connecting gold substrates agree with previous nonequilibrium Green's function calculations in frequency domain, and match recent experimental measurements (e.g. thermal conductance around 20 pW/K for alkanedithiols in single molecular junctions) Classical MD simulations using the full molecular forcefield and quantum Landauer-type calculations based on the harmonic part of the same forcefield are compared, and the similarity of the results indicate that heat transport is dominated by modes in the lower frequency range. Heat conductance simulations on polyynes of different lengths illuminates the effects of molecular conjugation on thermal transport.

categories: cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Stability of Leapfrogging Vortex Pairs: A Semi-analytic Approach

abstract: We investigate the stability of a one-parameter family of periodic solutions of the four-vortex problem known as `leapfrogging' orbits. These solutions, which consist of two pairs of identical yet oppositely-signed vortices, were known to W.\ Gr\"obli (1877) and A.\ E.\ H.\ Love (1883), and can be parameterized by a dimensionless parameter $\alpha$ related to the geometry of the initial configuration. Simulations by Acheson (2000) and numerical Floquet analysis by Toph{\o}j and Aref (2012) both indicate, to many digits, that the bifurcation occurs when $1/\alpha=\phi^2$, where $\phi$ is the golden ratio. This study aims to explain the origin of this remarkable value. Using a trick from the gravitational two-body problem, we change variables to render the Floquet problem in an explicit form that is more amenable to analysis. We then implement G. W. Hill's method of harmonic balance to high order using computer algebra to construct a rapidly-converging sequence of asymptotic approximations to the bifurcation value, confirming the value found earlier.


title: Efficient Task-Specific Data Valuation for Nearest Neighbor Algorithms

abstract: Given a data set $\mathcal{D}$ containing millions of data points and a data consumer who is willing to pay for \$$X$ to train a machine learning (ML) model over $\mathcal{D}$, how should we distribute this \$$X$ to each data point to reflect its "value"? In this paper, we define the "relative value of data" via the Shapley value, as it uniquely possesses properties with appealing real-world interpretations, such as fairness, rationality and decentralizability. For general, bounded utility functions, the Shapley value is known to be challenging to compute: to get Shapley values for all $N$ data points, it requires $O(2^N)$ model evaluations for exact computation and $O(N\log N)$ for $(\epsilon, \delta)$-approximation. In this paper, we focus on one popular family of ML models relying on $K$-nearest neighbors ($K$NN). The most surprising result is that for unweighted $K$NN classifiers and regressors, the Shapley value of all $N$ data points can be computed, exactly, in $O(N\log N)$ time -- an exponential improvement on computational complexity! Moreover, for $(\epsilon, \delta)$-approximation, we are able to develop an algorithm based on Locality Sensitive Hashing (LSH) with only sublinear complexity $O(N^{h(\epsilon,K)}\log N)$ when $\epsilon$ is not too small and $K$ is not too large. We empirically evaluate our algorithms on up to $10$ million data points and even our exact algorithm is up to three orders of magnitude faster than the baseline approximation algorithm. The LSH-based approximation algorithm can accelerate the value calculation process even further. We then extend our algorithms to other scenarios such as (1) weighed $K$NN classifiers, (2) different data points are clustered by different data curators, and (3) there are data analysts providing computation who also requires proper valuation.


title: Kink instability: evolution and energy dissipation in Relativistic Force-Free Non-Rotating Jets

abstract: We study the evolution of kink instability in a force-free, non-rotating plasma column of high magnetization. The main dissipation mechanism is identified as reconnection of magnetic field-lines with various intersection angles, driven by the compression of the growing kink lobes. We measure dissipation rates ${\rm d} U_{B\phi}/{{\rm d}t} \approx -0.1 U_{B\phi}/\tau$, where $\tau$ is the linear growth time of the kink instability. This value is consistent with the expansion velocity of the kink mode, which drives the reconnection. The relaxed state is close to a force-free Taylor state. We constraint the energy of that state using considerations from linear stability analysis. Our results are important for understanding magnetic field dissipation in various extreme astrophysical objects, most notably in relativistic jets. We outline the evolution of the kink instability in such jets and derive constrains on the conditions that allow for the kink instability to grow in these systems.


title: A classification of pure states on quantum spin chains satisfying the split property with on-site finite group symmetries

abstract: We consider a set $SPG(\mathcal{A})$ of pure split states on a quantum spin chain $\mathcal{A}$ which are invariant under the on-site action $\tau$ of a finite group $G$. For each element $\omega$ in $SPG(\mathcal{A})$ we can associate a second cohomology class $c_{\omega,R}$of $G$. We consider a classification of $SPG(\mathcal{A})$ whose criterion is given as follows: $\omega_{0}$ and $\omega_{1}$ in $SPG(\mathcal{A})$ are equivalent if there are automorphisms $\Xi_{R}$, $\Xi_L$ on $\mathcal{A}_{R}$, $\mathcal{A}_{L}$ (right and left half infinite chains) preserving the symmetry $\tau$, such that $\omega_{1}$ and $\omega_{0}\circ( \Xi_{L}\otimes \Xi_{R})$ are quasi-equivalent. It means that we can move $\omega_{0}$ close to $\omega_{1}$ without changing the entanglement nor breaking the symmetry. We show that the second cohomology class $c_{\omega,R}$ is the complete invariant of this classification.


title: Toward Maximizing the Visibility of Content in Social Media Brand Pages: A Temporal Analysis

abstract: A large amount of content is generated everyday in social media. One of the main goals of content creators is to spread their information to a large audience. There are many factors that affect information spread, such as posting time, location, type of information, number of social connections, etc. In this paper, we look at the problem of finding the best posting time(s) to get high content visibility. The posting time is derived taking other factors into account, such as location, type of information, etc. In this paper, we do our analysis over Facebook pages. We propose six posting schedules that can be used for individual pages or group of pages with similar audience reaction profile. We perform our experiment on a Facebook pages dataset containing 0.3 million posts, 10 million audience reactions. Our best posting schedule can lead to seven times more number of audience reactions compared to the average number of audience reactions that users would get without following any optimized posting schedule. We also present some interesting audience reaction patterns that we obtained through daily, weekly and monthly audience reaction analysis.


title: Exact inference under the perfect phylogeny model

abstract: Motivation: Many inference tools use the Perfect Phylogeny Model (PPM) to learn trees from noisy variant allele frequency (VAF) data. Learning in this setting is hard, and existing tools use approximate or heuristic algorithms. An algorithmic improvement is important to help disentangle the limitations of the PPM's assumptions from the limitations in our capacity to learn under it. Results: We make such improvement in the scenario, where the mutations that are relevant for evolution can be clustered into a small number of groups, and the trees to be reconstructed have a small number of nodes. We use a careful combination of algorithms, software, and hardware, to develop EXACT: a tool that can explore the space of all possible phylogenetic trees, and performs exact inference under the PPM with noisy data. EXACT allows users to obtain not just the most-likely tree for some input data, but exact statistics about the distribution of trees that might explain the data. We show that EXACT outperforms several existing tools for this same task. Availability: https://github.com/surjray-repos/EXACT


title: Helmholtz-Hodge decompositions in the nonlocal framework. Well-posedness analysis and applications

abstract: Nonlocal operators that have appeared in a variety of physical models satisfy identities and enjoy a range of properties similar to their classical counterparts. In this paper we obtain Helmholtz-Hodge type decompositions for two-point vector fields in three components that have zero nonlocal curls, zero nonlocal divergence, and a third component which is (nonlocally) curl-free and divergence-free. The results obtained incorporate different nonlocal boundary conditions, thus being applicable in a variety of settings.


title: Resolving the $(g-2)_{\mu}$ and $B$ anomalies with leptoquarks and a dark Higgs boson

abstract: At present, there are outstanding discrepancies between standard model predictions and measurements of the muon's $g-2$ and several $B$-meson properties. We resolve these anomalies by considering a two-Higgs-doublet model extended to include leptoquarks and a dark Higgs boson $S$. The leptoquarks modify $B$-meson decays and also induce an $S \gamma \gamma$ coupling, which contributes to the muon's $g-2$ through a Barr-Zee diagram. We show that, for TeV-scale leptoquarks and dark Higgs boson masses $m_{S} \sim 10-200~\text{MeV}$, a consistent resolution to all of the anomalies exists. The model predicts interesting new decays, such as $B \to K^{(*)} e^+ e^-$, $B \to K^{(*)} \gamma \gamma$, $K \to \pi \gamma \gamma$, and $h \to \gamma \gamma \gamma \gamma$, with branching fractions not far below current bounds.


title: Buerling-Ahlfors Commutators on Weighted Morrey Spaces and Applications to Beltrami Equations

abstract: Let $p\in(1, \infty)$, $\kappa\in(0, 1)$ and $w\in A_p(\mathbb C).$ In this article, the authors obtain a boundedness (resp., compactness) characterization of the Buerling-Ahlfors commutator $[\mathcal B, b]$ on the weighted Morrey space $L_w^{p,\,\kappa}(\mathbb C)$ via $\mathrm{BMO}(\mathbb C)$ [resp., $\mathrm{CMO}(\mathbb C)$], where $\mathcal B$ denotes the Buerling-Ahlfors transform and $b\in \mathrm{BMO}(\mathbb C)$ [resp., $\mathrm{CMO}(\mathbb C)$]. Moreover, an application to the Beltrami equation is also given.


title: Simply $sm$-factorizable (para)topological groups and their completions

abstract: Let us call a (para)topological group \emph{strongly submetrizable} if it admits a coarser separable metrizable (para)topological group topology. We present a characterization of simply $sm$-factorizable (para)topo\-logical groups by means of continuous real-valued functions. We show that a (para)topo\-logical group $G$ is a simply $sm$-factorizable if and only if for each continuous function $f\colon G\to \mathbb{R}$, one can find a continuous homomorphism $\varphi$ of $G$ onto a strongly submetrizable (para)topological group $H$ and a continuous function $g\colon H\to \mathbb{R}$ such that $f=g\circ\varphi$. This characterization is applied for the study of completions of simply $sm$-factorizable topological groups. We prove that the equalities $\mu{G}=\varrho_\omega{G}=\upsilon{G}$ hold for each Hausdorff simply $sm$-factorizable topological group $G$. This result gives a positive answer to a question posed by Arhangel'skii and Tkachenko in 2018. Also, we consider realcompactifications of simply $sm$-factorizable paratopological groups. It is proved, among other results, that the realcompactification, $\upsilon{G}$, and the Dieudonn\'e completion, $\mu{G}$, of a regular simply $sm$-factorizable paratopological group $G$ coincide and that $\upsilon{G}$ admits the natural structure of paratopological group containing $G$ as a dense subgroup and, furthermore, $\upsilon{G}$ is also simply $sm$-factorizable. Some results in [\emph{Completions of paratopological groups, Monatsh. Math. \textbf{183} (2017), 699--721}] are improved or generalized.


title: Shadow Removal via Shadow Image Decomposition

abstract: We propose a novel deep learning method for shadow removal. Inspired by physical models of shadow formation, we use a linear illumination transformation to model the shadow effects in the image that allows the shadow image to be expressed as a combination of the shadow-free image, the shadow parameters, and a matte layer. We use two deep networks, namely SP-Net and M-Net, to predict the shadow parameters and the shadow matte respectively. This system allows us to remove the shadow effects on the images. We train and test our framework on the most challenging shadow removal dataset (ISTD). Compared to the state-of-the-art method, our model achieves a 40% error reduction in terms of root mean square error (RMSE) for the shadow area, reducing RMSE from 13.3 to 7.9. Moreover, we create an augmented ISTD dataset based on an image decomposition system by modifying the shadow parameters to generate new synthetic shadow images. Training our model on this new augmented ISTD dataset further lowers the RMSE on the shadow area to 7.4.


title: Damping enhancement in coherent ferrite/insulating-paramagnet bilayers

abstract: High-quality epitaxial ferrites, such as low-damping MgAl-ferrite (MAFO), are promising nanoscale building blocks for all-oxide heterostructures driven by pure spin current. However, the impact of oxide interfaces on spin dynamics in such heterostructures remains an open question. Here, we investigate the spin dynamics and chemical and magnetic depth profiles of 15-nm-thick MAFO coherently interfaced with an isostructural $\approx$1-8-nm-thick overlayer of paramagnetic CoCr$_2$O$_4$ (CCO) as an all-oxide model system. Compared to MAFO without an overlayer, effective Gilbert damping in MAFO/CCO is enhanced by a factor of $>$3, irrespective of the CCO overlayer thickness. We attribute this damping enhancement to spin scattering at the $\sim$1-nm-thick chemically disordered layer at the MAFO/CCO interface, rather than spin pumping or proximity-induced magnetism. Our results indicate that damping in ferrite-based heterostructures is strongly influenced by interfacial chemical disorder, even if the thickness of the disordered layer is a small fraction of the ferrite thickness.


title: Stabilization of small solutions of discrete NLS with potential having two eigenvalues

abstract: We study the long time behavior of small (in $l^2$) solutions of discrete nonlinear Schr\"odinger equations with potential. In particular, we are interested in the case that the corresponding discrete Schr\"odinger operator has exactly two eigenvalues. We show that under the nondegeneracy condition of Fermi Golden Rule, all small solutions decompose into a nonlinear bound state and dispersive wave. We further show the instability of excited states and generalized equipartition property.


title: Image based cellular contractile force evaluation with small-world network inspired CNN: SW-UNet

abstract: We propose an image-based cellular contractile force evaluation method using a machine learning technique. We use a special substrate that exhibits wrinkles when cells grab the substrate and contract, and the wrinkles can be used to visualize the force magnitude and direction. In order to extract wrinkles from the microscope images, we develop a new CNN (convolutional neural network) architecture SW-UNet (small-world U-Net), which is a CNN that reflects the concept of the small-world network. The SW-UNet shows better performance in wrinkle segmentation task compared to other methods: the error (Euclidean distance) of SW-UNet is 4.9 times smaller than 2D-FFT (fast Fourier transform) based segmentation approach, and is 2.9 times smaller than U-Net. As a demonstration, we compare the contractile force of U2OS (human osteosarcoma) cells and show that cells with a mutation in the KRAS oncogne show larger force compared to the wild-type cells. Our new machine learning based algorithm provides us an efficient, automated and accurate method to evaluate the cell contractile force.


title: Analogue of electromagnetically induced transparency with high Q factor in Metal-dielectric metamaterials

abstract: We investigated numerically the electromagnetically induced transparency (EIT) behavior with the maximum Q factor is up to 28000 in a metal-dielectric metamaterial. It composed of two layers, a metallic strip as bright mode stacked above a dielectric rod as another bright mode. The coherent coupling between the broad electric dipole induced by the metal strip and the narrow toroidal dipole induced by the dielectric rod leads to the destructive interference, then introduces a transparency window. Interestingly, the EIT window could be effectively influenced by varying parameters of the two layers and the thickness of middle spacer. This process can be explained by using two-particle model. Furthermore, the radiation loss is greatly suppressed within the EIT windows and the slow light effect is improved a lot. These excellent properties also provide an effective platform for the filters and sensitive chemical and biological sensors in the optical range.


title: Comparing Process Calculi Using Encodings

abstract: Encodings or the proof of their absence are the main way to compare process calculi. To analyse the quality of encodings and to rule out trivial or meaningless encodings, they are augmented with encodability criteria. There exists a bunch of different criteria and different variants of criteria in order to reason in different settings. This leads to incomparable results. Moreover, it is not always clear whether the criteria used to obtain a result in a particular setting do indeed fit to this setting. This paper provides a short survey on often used encodability criteria, general frameworks that try to provide a unified notion of the quality of an encoding, and methods to analyse and compare encodability criteria.


title: Semantic Structures for Spatially-Distributed Multi-Agent Systems

abstract: Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, lies, and group epistemic behaviour inspired by social networks. They have also been used for proving new results about modal logics and giving semantics to process calculi. In this paper we will discuss the theory and main results about scs.


title: On the Meaning of Transition System Specifications

abstract: Transition System Specifications provide programming and specification languages with a semantics. They provide the meaning of a closed term as a process graph: a state in a labelled transition system. At the same time they provide the meaning of an n-ary operator, or more generally an open term with n free variables, as an n-ary operation on process graphs. The classical way of doing this, the closed-term semantics, reduces the meaning of an open term to the meaning of its closed instantiations. It makes the meaning of an operator dependent on the context in which it is employed. Here I propose an alternative process graph semantics of TSSs that does not suffer from this drawback. Semantic equivalences on process graphs can be lifted to open terms conform either the closed-term or the process graph semantics. For pure TSSs the latter is more discriminating. I consider five sanity requirements on the semantics of programming and specification languages equipped with a recursion construct: compositionality, applied to n-ary operators, recursion and variables, invariance under $\alpha$-conversion, and the recursive definition principle, saying that the meaning of a recursive call should be a solution of the corresponding recursion equations. I establish that the satisfaction of four of these requirements under the closed-term semantics of a TSS implies their satisfaction under the process graph semantics.


title: Conflict vs Causality in Event Structures

abstract: Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the literature. In this paper, we study how the spectrum of equivalences for Labelled Prime Event Structures built by Van Glabbeek and Goltz changes if we consider two simplified notions of event structures: the first is obtained by removing the causality relation (Coherence Spaces) and the second by removing the conflict relation (Elementary Event Structures). As expected, in both cases the spectrum turns out to be simplified, since some notions of equivalence coincide in the simplified settings; actually, we prove that removing causality simplifies the spectrum considerably more than removing conflict. Furthermore, while the labeling of events and their cardinality play no role when removing causality, both the labeling function and the cardinality of the event set dramatically influence the spectrum of equivalences in the conflict-free setting.