title: Intersection Types for the Computational lambda-Calculus

abstract: We study polymorphic type assignment systems for untyped lambda-calculi with effects, based on Moggi's monadic approach. Moving from the abstract definition of monads, we introduce a version of the call-by-value computational lambda-calculus based on Wadler's variant with unit and bind combinators, and without let. We define a notion of reduction for the calculus and prove it confluent, and also we relate our calculus to the original work by Moggi showing that his untyped metalanguage can be interpreted and simulated in our calculus. We then introduce an intersection type system inspired to Barendregt, Coppo and Dezani system for ordinary untyped lambda-calculus, establishing type invariance under conversion, and provide models of the calculus via inverse limit and filter model constructions and relate them. We prove soundness and completeness of the type system, together with subject reduction and expansion properties. Finally, we introduce a notion of convergence, which is precisely related to reduction, and characterize convergent terms via their types.


title: Shapley Q-value: A Local Reward Approach to Solve Global Reward Games

abstract: Cooperative game is a critical research area in the multi-agent reinforcement learning (MARL). Global reward game is a subclass of cooperative games, where all agents aim to maximize the global reward. Credit assignment is an important problem studied in the global reward game. Most of previous works stood by the view of non-cooperative-game theoretical framework with the shared reward approach, i.e., each agent being assigned a shared global reward directly. This, however, may give each agent an inaccurate reward on its contribution to the group, which could cause inefficient learning. To deal with this problem, we i) introduce a cooperative-game theoretical framework called extended convex game (ECG) that is a superset of global reward game, and ii) propose a local reward approach called Shapley Q-value. Shapley Q-value is able to distribute the global reward, reflecting each agent's own contribution in contrast to the shared reward approach. Moreover, we derive an MARL algorithm called Shapley Q-value deep deterministic policy gradient (SQDDPG), using Shapley Q-value as the critic for each agent. We evaluate SQDDPG on Cooperative Navigation, Prey-and-Predator and Traffic Junction, compared with the state-of-the-art algorithms, e.g., MADDPG, COMA, Independent DDPG and Independent A2C. In the experiments, SQDDPG shows a significant improvement on the convergence rate. Finally, we plot Shapley Q-value and validate the property of fair credit assignment.


title: Deep auscultation: Predicting respiratory anomalies and diseases via recurrent neural networks

abstract: Respiratory diseases are among the most common causes of severe illness and death worldwide. Prevention and early diagnosis are essential to limit or even reverse the trend that characterizes the diffusion of such diseases. In this regard, the development of advanced computational tools for the analysis of respiratory auscultation sounds can become a game changer for detecting disease-related anomalies, or diseases themselves. In this work, we propose a novel learning framework for respiratory auscultation sound data. Our approach combines state-of-the-art feature extraction techniques and advanced deep-neural-network architectures. Remarkably, to the best of our knowledge, we are the first to model a recurrent-neural-network based learning framework to support the clinician in detecting respiratory diseases, at either level of abnormal sounds or pathology classes. Results obtained on the ICBHI benchmark dataset show that our approach outperforms competing methods on both anomaly-driven and pathology-driven prediction tasks, thus advancing the state-of-the-art in respiratory disease analysis.


title: Robust GPU-based Virtual Reality Simulation of Radio Frequency Ablations for Various Needle Geometries and Locations

abstract: Purpose: Radio-frequency ablations play an important role in the therapy of malignant liver lesions. The navigation of a needle to the lesion poses a challenge for both the trainees and intervening physicians. Methods: This publication presents a new GPU-based, accurate method for the simulation of radio-frequency ablations for lesions at the needle tip in general and for an existing visuo-haptic 4D VR simulator. The method is implemented real-time capable with Nvidia CUDA. Results: It performs better than a literature method concerning the theoretical characteristic of monotonic convergence of the bioheat PDE and a in vitro gold standard with significant improvements (p < 0.05) in terms of Pearson correlations. It shows no failure modes or theoretically inconsistent individual simulation results after the initial phase of 10 seconds. On the Nvidia 1080 Ti GPU it achieves a very high frame rendering performance of >480 Hz. Conclusion: Our method provides a more robust and safer real-time ablation planning and intraoperative guidance technique, especially avoiding the over-estimation of the ablated tissue death zone, which is risky for the patient in terms of tumor recurrence. Future in vitro measurements and optimization shall further improve the conservative estimate.


title: Simulating Radial Velocity Observations of Trappist-1 with SPIRou

abstract: We simulate a radial velocity (RV) follow-up of the TRAPPIST-1 system, a faithful representative of M dwarfs hosting transiting Earth-sized exoplanets to be observed with SPIRou in the months to come. We generate a RV curve containing the signature of the 7 transiting TRAPPIST-1 planets and a realistic stellar activity curve statistically compatible with the light curve obtained with the K2 mission. We find a +/-5 m/s stellar activity signal comparable in amplitude with the planet signal. Using various sampling schemes and white noise levels, we create time-series from which we estimate the masses of the 7 planets. We find that the precision on the mass estimates is dominated by (i) the white noise level for planets c, f and e and (ii) the stellar actvitity signal for planets b, d and h. In particular, the activity signal completely outshines the RV signatures of planets d and h that remain undetected regardless of the RV curve sampling and level of white noise in the dataset. We find that a RV follow-up of TRAPPIST-1 using SPIRou alone would likely result in an insufficient coverage of the rapidly evolving activity signal of the star, especially with bright-time observations only, making statistical methods such as Gaussian Process Regression hardly capable of firmly detecting planet f and accurately recovering the mass of planet g. In contrast, we show that using bi-site observations with good longitudinal complementary would allow for a more accurate filtering of the stellar activity RV signal.


title: Associate submersions and qualitative properties of nonlinear circuits with implicit characteristics

abstract: We introduce in this paper an equivalence notion for submersions $U \to \R$, $U$ open in $\R^2$, which makes it possible to identify a smooth planar curve with a unique class of submersions. This idea, which extends to the nonlinear setting the construction of a dual projective space, provides a systematic way to handle global implicit descriptions of smooth planar curves. We then apply this framework to model nonlinear electrical devices as {\em classes of equivalent functions}. In this setting, linearization naturally accommodates incremental resistances (and other analogous notions) in homogeneous terms. This approach, combined with a projectively-weighted version of the matrix-tree theorem, makes it possible to formulate and address in great generality several problems in nonlinear circuit theory. In particular, we tackle unique solvability problems in resistive circuits, and discuss a general expression for the characteristic polynomial of dynamic circuits at equilibria. Previously known results, which were derived in the literature under unnecessarily restrictive working assumptions, are simply obtained here by using dehomogenization. Our results are shown to apply also to circuits with memristors. We finally present a detailed, graph-theoretic study of certain stationary bifurcations in nonlinear circuits using the formalism here introduced.


title: Gravitational radiation, vorticity and super-energy: A conspicuous threesome

abstract: We elaborate on the link relating gravitational radiation, vorticity and a flux of super-energy on the plane orthogonal to the vorticity vector. We examine the vorticity appearing in the congruence of observers at the outside of the source, as well as the vorticity of the fluid distribution, the source of the gravitational radiation is made of. The information provided by the study of the physical aspects of the source poses new questions which could, in principle, be solved by the observational evidence. Besides the study of the theoretical issues associated to such relationship, we also stress the new observational possibilities to detect gravitational radiation, appearing as consequence of the above mentioned link. The high degree of development achieved in the gyroscope technology, as well as recent proposals to detect rotations by means of ring lasers, atom interferometers, atom lasers and anomalous spin-precession experiments, lead us to believe that an alternative to the laser interferometers used so far to detect gravitational waves, may be implemented based on the detection of the vorticity associated with gravitational radiation. Additionally, this kind of detectors might be able to elucidate the open question about the physical properties of the tail of the waves appearing as the consequence of the violation of the Huygens's principle in general relativity.


title: Mach's Principle in the Acoustic World

abstract: The aim of this paper is to investigate the coupled oscillations of multiple bubbles within a cluster. The interaction between a bubble and the other bubbles in a cluster produces an additional mass. For a fixed number of bubbles ( ) and uniformly distributed, in case of a certain value of the bubble density, we deduce the relations analogous to the Eddington relation (between the cluster radius and the bubble radius) and the Sciama relation (between the cluster radius and the gravitoacoustic radius) according to Mach's Principle.


title: Propagation of Polar Gravitational Waves in f(R,T) Scenario

abstract: This paper investigates the propagation of polar gravitational waves in the spatially flat FRW universe consisting of a perfect fluid in the scenario of $R+2\lambda T$ model of $f(R,T)$ gravity ($\lambda$ being the model parameter). The spatially flat universe model is perturbed via Regge-Wheeler perturbations inducing polar gravitational waves and the field equations are formulated for both unperturbed as well as perturbed spacetimes. We solve these field equations simultaneously for the perturbation parameters introduced in the metric, matter, and velocity in the radiation, as well as dark energy, dominated phases. It is found that the polar gravitational waves can produce changes in the background matter distribution as well as velocity components in the radiation era similar to general relativity case. Moreover, we have discussed the impact of model parameter on the amplitude of gravitational waves.


title: Order and Chaos: NTK views on DNN Normalization, Checkerboard and Boundary Artifacts

abstract: We analyze architectural features of Deep Neural Networks (DNNs) using the so-called Neural Tangent Kernel (NTK), which describes the training and generalization of DNNs in the infinite-width setting. In this setting, we show that for fully-connected DNNs, as the depth grows, two regimes appear: "order", where the (scaled) NTK converges to a constant, and "chaos", where it converges to a Kronecker delta. Extreme order slows down training while extreme chaos hinders generalization. Using the scaled ReLU as a nonlinearity, we end up in the ordered regime. In contrast, Layer Normalization brings the network into the chaotic regime. We observe a similar effect for Batch Normalization (BN) applied after the last nonlinearity. We uncover the same order and chaos modes in Deep Deconvolutional Networks (DC-NNs). Our analysis explains the appearance of so-called checkerboard patterns and border artifacts. Moving the network into the chaotic regime prevents checkerboard patterns; we propose a graph-based parametrization which eliminates border artifacts; finally, we introduce a new layer-dependent learning rate to improve the convergence of DC-NNs. We illustrate our findings on DCGANs: the ordered regime leads to a collapse of the generator to a checkerboard mode, which can be avoided by tuning the nonlinearity to reach the chaotic regime. As a result, we are able to obtain good quality samples for DCGANs without BN.


title: Ferromagnetic phase transition in topological crystalline insulator thin films: interplay of anomalous Hall angle and magnetic anisotropy

abstract: In magnetic topological phases of matter, the quantum anomalous Hall (QAH) effect is an emergent phenomenon driven by ferromagnetic doping, magnetic proximity effects and strain engineering. The realization of QAH states with multiple dissipationless edge and surface conduction channels defined by a Chern number $\mathcal{C}\geq1$ was foreseen for the ferromagnetically ordered SnTe class of topological crystalline insulators (TCIs). From magnetotransport measurements on Sn$_{1-x}$Mn$_{x}$Te ($0.00\leq{x}\leq{0.08}$)(111) epitaxial thin films grown by molecular beam epitaxy on BaF$_{2}$ substrates, hole mediated ferromagnetism is observed in samples with $x\geq0.06$ and the highest $T_\mathrm{c}\sim7.5\,\mathrm{K}$ is inferred from an anomalous Hall behavior in Sn$_{0.92}$Mn$_{0.08}$Te. The sizable anomalous Hall angle $\sim$0.3 obtained for Sn$_{0.92}$Mn$_{0.08}$Te is one of the greatest reported for magnetic topological materials. The ferromagnetic ordering with perpendicular magnetic anisotropy, complemented by the inception of anomalous Hall effect in the Sn$_{1-x}$Mn$_{x}$Te layers for a thickness commensurate with the decay length of the top and bottom surface states, points at Sn$_{1-x}$Mn$_{x}$Te as a preferential platform for the realization of QAH states in ferromagnetic TCIs.


title: Geometry, Zitterbewegung, Quantization

abstract: In the most general geometric background, we study Dirac spinor fields with particular emphasis given to the explicit form of their gauge momentum and the way in which this can be inverted so to give the expression of the corresponding velocity; we study how zitterbewegung affects the motion of particles, focusing on the internal dynamics involving the chiral parts; we discuss the connections to field quantization, sketching in what way anomalous terms may be gotten eventually.


title: Why Blocking Targeted Adversarial Perturbations Impairs the Ability to Learn

abstract: Despite their accuracy, neural network-based classifiers are still prone to manipulation through adversarial perturbations. Those perturbations are designed to be misclassified by the neural network, while being perceptually identical to some valid input. The vast majority of attack methods rely on white-box conditions, where the attacker has full knowledge of the attacked network's parameters. This allows the attacker to calculate the network's loss gradient with respect to some valid input and use this gradient in order to create an adversarial example. The task of blocking white-box attacks has proven difficult to solve. While a large number of defense methods have been suggested, they have had limited success. In this work we examine this difficulty and try to understand it. We systematically explore the abilities and limitations of defensive distillation, one of the most promising defense mechanisms against adversarial perturbations suggested so far in order to understand the defense challenge. We show that contrary to commonly held belief, the ability to bypass defensive distillation is not dependent on an attack's level of sophistication. In fact, simple approaches, such as the Targeted Gradient Sign Method, are capable of effectively bypassing defensive distillation. We prove that defensive distillation is highly effective against non-targeted attacks but is unsuitable for targeted attacks. This discovery leads us to realize that targeted attacks leverage the same input gradient that allows a network to be trained. This implies that blocking them will require losing the network's ability to learn, presenting an impossible tradeoff to the research community.


title: The effect of a graft transformation on distance signless Laplacian spectral radius of the graphs

abstract: Suppose that the vertex set of a connected graph $G$ is $V(G)=\{v_1,\cdots,v_n\}$. Then we denote by $Tr_{G}(v_i)$ the sum of distances between $v_i$ and all other vertices of $G$. Let $Tr(G)$ be the $n\times n$ diagonal matrix with its $(i,i)$-entry equal to $Tr_{G}(v_{i})$ and $D(G)$ be the distance matrix of $G$. Then $Q_{D}(G)=Tr(G)+D(G)$ is the distance signless Laplacian matrix of $G$. The largest eigenvalues of $Q_D(G)$ is called distance signless Laplacian spectral radius of $G$. In this paper we give some graft transformations on distance signless Laplacian spectral radius of the graphs and use them to characterize the graphs with the minimum and maximal distance signless Laplacian spectral radius among non-starlike and non-caterpillar trees.


title: Wind Estimation Using Quadcopter Motion: A Machine Learning Approach

abstract: In this article, we study the well known problem of wind estimation in atmospheric turbulence using small unmanned aerial systems (sUAS). We present a machine learning approach to wind velocity estimation based on quadcopter state measurements without a wind sensor. We accomplish this by training a long short-term memory (LSTM) neural network (NN) on roll and pitch angles and quadcopter position inputs with forcing wind velocities as the targets. The datasets are generated using a simulated quadcopter in turbulent wind fields. The trained neural network is deployed to estimate the turbulent winds as generated by the Dryden gust model as well as a realistic large eddy simulation (LES) of a near-neutral atmospheric boundary layer (ABL) over flat terrain. The resulting NN predictions are compared to a wind triangle approach that uses tilt angle as an approximation of airspeed. Results from this study indicate that the LSTM-NN based approach predicts lower errors in both the mean and variance of the local wind field as compared to the wind triangle approach. The work reported in this article demonstrates the potential of machine learning for sensor-less wind estimation and has strong implications to large-scale low-altitude atmospheric sensing using sUAS for environmental and autonomous navigation applications.


title: New classes of null hypersurfaces in indefinite Sasakian space-forms

abstract: We introduce two classes of null hypersurfaces of an indefinite Sasakian manifold, $(\overline{M}, \overline{\phi},\zeta, \eta)$, tangent to the characteristic vector field $\zeta$, called; {\it contact screen conformal} and {\it contact screen umbilic} null hypersurfaces. These hypersurfaces come in to fill the existing gap in screen conformal and screen totally umbilic null hypersurfaces. We prove that such hypersurfaces are contained in indefinite Sasakian space forms of constant $\overline{\phi}$-sectional curvature of $-3$.


title: Imaging localized plasmon resonances in vacancy doped Cu3-xP semiconductor nanocrystals with STEM-EELS

abstract: Copper binary compounds are often intrinsic p-type semiconductors due to the presence of Cu(I) vacancies, with corresponding hole carriers in the valence band. If the free carrier concentration is high enough, localized plasmon resonances can be sustained in nanocrystals, with frequencies in the infra-red (<1 eV), with respect to the typical resonances seen in the visible range in the case of metals (Ag, Au, ...). The localization of the resonances can be demonstrated with scanning transmission electron energy loss spectroscopy (STEM-EELS) by combining high spatial and high energy resolutions. Here we demonstrate that Cu(I) vacancies can be directly measured from the STEM images in Cu(3-x)P hexagonal nanocrystals. Two localized resonances can be seen from STEM-EELS, which are in agreement with the resonances calculated from the vacancy concentration obtained from the STEM.


title: Some geometric properties of Riemann's non-differentiable function

abstract: Riemann's non-differentiable function is a celebrated example of a continuous but almost nowhere differentiable function. There is strong numeric evidence that one of its complex versions represents a geometric trajectory in experiments related to the binormal flow or the vortex filament equation. In this setting, we analyse certain geometric properties of its image in $\mathbb{C}$. The objective of this note is to assert that the Hausdorff dimension of its image is no larger than 4/3 and that it has nowhere a tangent.


title: Topological Anderson insulator phase in a quasicrystal lattice

abstract: Motivated by the recent experimental realization of the topological Anderson insulator and research interest on the topological quasicrystal lattices, we investigate the effects of disorder on topological properties of a two-dimensional Penrose-type quasicrystal lattice that supports the quantum spin Hall insulator (QSHI) and normal insulator (NI) phases in the clean limit. It is shown that the helical edge state of the QSHI phase is robust against weak disorder. Most saliently, it is found that disorder can induce a phase transition from NI to QSHI phase in the quasicrystal system. The numerical results based on a two-terminal device show that a quantized conductance plateau can arise inside the energy gap of NI phase for moderate Anderson disorder strength. Further, it is confirmed that the local current distributions of the disorder-induced quantized conductance plateau are located on the two edges of sample. Finally, we identify this disorder-induced phase as topological Anderson insulator phase by computing the disorder-averaged spin Bott index.


title: Space Efficient Approximation to Maximum Matching Size from Uniform Edge Samples

abstract: Given a source of iid samples of edges of an input graph $G$ with $n$ vertices and $m$ edges, how many samples does one need to compute a constant factor approximation to the maximum matching size in $G$? Moreover, is it possible to obtain such an estimate in a small amount of space? We show that, on the one hand, this problem cannot be solved using a nontrivially sublinear (in $m$) number of samples: $m^{1-o(1)}$ samples are needed. On the other hand, a surprisingly space efficient algorithm for processing the samples exists: $O(\log^2 n)$ bits of space suffice to compute an estimate. Our main technical tool is a new peeling type algorithm for matching that we simulate using a recursive sampling process that crucially ensures that local neighborhood information from `dense' regions of the graph is provided at appropriately higher sampling rates. We show that a delicate balance between exploration depth and sampling rate allows our simulation to not lose precision over a logarithmic number of levels of recursion and achieve a constant factor approximation. The previous best result on matching size estimation from random samples was a $\log^{O(1)} n$ approximation [Kapralov et al'14]. Our algorithm also yields a constant factor approximate local computation algorithm (LCA) for matching with $O(d\log n)$ exploration starting from any vertex. Previous approaches were based on local simulations of randomized greedy, which take $O(d)$ time {\em in expectation over the starting vertex or edge} (Yoshida et al'09, Onak et al'12), and could not achieve a better than $d^2$ runtime. Interestingly, we also show that unlike our algorithm, the local simulation of randomized greedy that is the basis of the most efficient prior results does take $\wt{\Omega}(d^2)\gg O(d\log n)$ time for a worst case edge even for $d=\exp(\Theta(\sqrt{\log n}))$.


title: Deuteron wave function for Reid93 potential and polarization observables in elastic lepton-deuteron scattering

abstract: Elastic lepton-deuteron scattering was considered within the limit of zero lepton mass. The deuteron wave function in the coordinate representation for the Reid93 potential was applied to numerical calculations. The angular-momentum dependence of values spin correlation coefficients $C_{xz}^{(0)}$, $C_{zz}^{(0)}$ and tensor asymmetries $A_{xx}^{(0)}$, $A_{xz}^{(0)}$, $A_{zz}^{(0)}$ have been evaluated in 3D format for Reid93 potential. These polarization observables are analyzed for different energies and scattering angles. Application of the obtained values allows better explanation and illustration of the laws of elastic lepton-deuteron scattering.


title: Existence and characterisation of magnetic energy minimisers on oriented, compact Riemannian 3-manifolds with boundary in arbitrary helicity classes

abstract: In this paper we deal with the existence, regularity and Beltrami field property of magnetic energy minimisers under a helicity constraint. We in particular tackle the problem of characterising local as well as global minimisers of the given minimisation problem. Further we generalise Arnold's results concerning the problem of finding the minimum magnetic energy in an orbit of the group of volume-preserving diffeomorphisms to the setting of abstract manifolds with boundary.


title: Ross 128 -- GL 447A possible activity cycle for a slow-rotating fully-convective star

abstract: Context. Long-term chromospheric activity in slow-rotating fully-convective stars has been scarcely explored. Ross 128 (Gl 447) is a slow-rotator and inactive dM4 star which has been extensively observed. It hosts the fourth closest extrasolar planet. Aims. Ross 128 is an ideal target to test dynamo theories in slow-rotating low-mass star. Methods. To characterize the magnetic activity of Ross 128 we study the SK indexes derived from CASLEO, HARPS, FEROS, UVES and XSHOOTER spectra. Using the Generalized Lomb-Scargle and CLEAN periodograms, we analyze the whole SK time-series obtained between 2004 and 2018. We perform a similar analysis for the Na I index and we analyze its relation with the SK-index. Results. From both indexes, we obtain a possible activity cycle with a 5-year period, which is one of a small handful of activity cycles reported for a slow-rotating fully convective star.


title: Particle Ratios within EPOS, UrQMD and Thermal Models at AGS, SPS and RHIC Energies

abstract: The particle ratios $k^+/\pi^+$, $\pi^-/K^-$, $\bar{p}/\pi^-$, $\Lambda/\pi^-$, $\Omega/\pi^-$, $p/\pi^+$, $\pi^-/\pi^+$, $K^-/K^+$, $\bar{p}/p$, $\bar{\Lambda}/\Lambda$, $\bar{\Sigma}/\Sigma$, $ \bar{\Omega}/\Omega$ measured at AGS, SPS and RHIC energies are compared with large statistical ensembles of $100,000$ events deduced from the CRMC EPOS $1.99$ and the Ultra-relativistic Quantum Molecular Dynamics (UrQMD) hybrid model. In the UrQMD hybrid model two types of phase transitions are taken into account. All these are then confronted to the Hadron Resonance Gas Model. The two types of phase transitions are apparently indistinguishable. Apart from $k^+/\pi^+$, $k^-/\pi^-$, $\Omega/\pi^-$, $\bar{p}/\pi^+$, and $\bar{\Omega}/\Omega$, the UrQMD hybrid model agrees well with the CRMC EPOS $1.99$. Also, we conclude that the CRMC EPOS $1.99$ seems to largely underestimate $k^+/\pi^+$, $k^-/\pi^-$, $\Omega/\pi^-$, and $\bar{p}/\pi^+$.


title: Neutron optics of the PSI ultracold neutron source: characterization and simulation

abstract: The ultracold neutron (UCN) source at the Paul Scherrer Institute serves mainly experiments in fundamental physics. High UCN intensities are the key for progress and success in such experiments. A detailed understanding of all source parameters is required for future improvements. Here we present the UCN source components, elements of the neutron optics, the characterization of important related parameters like emptying times, storage times or transmission probabilities of UCN which are ultimately defining the UCN intensity delivered at the beamports. We also introduce a detailed simulation model of the PSI UCN source, used to analyze the measurements and to extract surface parameters.


title: Dynamics and stability of sessile drops with contact points

abstract: In an effort to study the stability of contact lines in fluids, we consider the dynamics of a drop of incompressible viscous Stokes fluid evolving above a one-dimensional flat surface under the influence of gravity. This is a free boundary problem: the interface between the fluid on the surface and the air above (modeled by a trivial fluid) is free to move and experiences capillary forces. The three-phase interface where the fluid, air, and solid vessel wall meet is known as a contact point, and the angle formed between the free interface and the flat surface is called the contact angle. We consider a model of this problem that allows for fully dynamic contact points and angles. We develop a scheme of a priori estimates for the model, which then allow us to show that for initial data sufficiently close to equilibrium, the model admits global solutions that decay to a shifted equilibrium exponentially fast.


title: Phase-field modeling of crystal nucleation in undercooled liquids -- A review

abstract: We review how phase-field models contributed to the understanding of various aspects of crystal nucleation including homogeneous and heterogeneous processes, and their role in microstructure evolution. We recall results obtained both by the conventional phase-field approaches that rely on spatially averaged (coarse grained) order parameters in capturing freezing, and by the recently developed phase-field crystal models that work on the molecular scale, while employing time averaged particle densities, and are regarded as simple dynamical density functional theories of classical particles. Besides simpler cases of homogeneous and heterogeneous nucleation, phenomena addressed by these techniques include precursor assisted nucleation, nucleation in eutectic and phase separating systems, phase selection via competing nucleation processes, growth front nucleation (a process, in which grains of new orientations form at the solidification front) yielding crystal sheaves and spherulites, and transition between the growth controlled cellular and the nucleation dominated equiaxial solidification morphologies.

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


title: (Co-)type and the linear stability of Wigner's symmetry theorem

abstract: We study the relation between the linear stability of almost-symmetries and the geometry of the Banach spaces on which these transformations are defined. We show that any transformation between finite dimensional Banach spaces that preserves transition probabilities up to an additive error admits an approximation by a linear map, and the quality of the approximation depends on the type and cotype constants of the involved spaces.


title: Averages along the Square Integers: $\ell^p$ improving and Sparse Inequalities

abstract: Let $f\in \ell^2(\mathbb Z)$. Define the average of $ f$ over the square integers by $ A_N f(x):=\frac{1}{N}\sum_{k=1}^N f(x+k^2) $. We show that $ A_N$ satisfies a local scale-free $ \ell ^{p}$-improving estimate, for $ 3/2 < p \leq 2$: \begin{equation*} N ^{-2/p'} \lVert A_N f \rVert _{ p'} \lesssim N ^{-2/p} \lVert f\rVert _{\ell ^{p}}, \end{equation*} provided $ f$ is supported in some interval of length $ N ^2 $, and $ p' =\frac{p} {p-1}$ is the conjugate index. The inequality above fails for $ 1< p < 3/2$. The maximal function $ A f = \sup _{N\geq 1} |A_Nf| $ satisfies a similar sparse bound. Novel weighted and vector valued inequalities for $ A$ follow. A critical step in the proof requires the control of a logarithmic average over $ q$ of a function $G(q,x)$ counting the number of square roots of $x$ mod $q$. One requires an estimate uniform in $x$.


title: On the Origin of Dust in Galaxy Clusters at Low to Intermediate Redshift

abstract: Stacked analyses of galaxy clusters at low-to-intermediate redshift show signatures attributable to dust, but the origin of this dust is uncertain. We test the hypothesis that the bulk of cluster dust derives from galaxy ejecta. To do so, we employ dust abundances obtained from detailed chemical evolution models of galaxies. We integrate the dust abundances over cluster luminosity functions (one-slope and two-slope Schechter functions). We consider both a hierarchical scenario of galaxy formation and an independent evolution of the three main galactic morphologies: elliptical/S0, spiral and irregular. We separate the dust residing within galaxies from the dust ejected in the intracluster medium. To the latter, we apply thermal sputtering. The model results are compared to low-to-intermediate redshift observations of dust masses. We find that in any of the considered scenarios, elliptical/S0 galaxies contribute negligibly to the present-time intracluster dust, despite producing the majority of gas-phase metals in galaxy clusters. Spiral galaxies, instead, provide both the bulk of the spatially-unresolved dust and of the dust ejected into the intracluster medium. The total dust-to-gas mass ratio in galaxy clusters amounts to $10^{-4}$, while the intracluster medium dust-to-gas mass ratio amounts to $10^{-6}$ at most. These dust abundances are consistent with the estimates of cluster observations at $0.2 < z <1$. We propose that galactic sources, spiral galaxies in particular, are the major contributors to the cluster dust budget.


title: Global bifurcation of waves with multiple critical layers

abstract: Analytic global bifurcation theory is used to construct a large variety of families of steady periodic two-dimensional gravity water waves with real-analytic vorticity distributions, propagating in an incompressible fluid. The waves that are constructed can possess an arbitrary number of interior stagnation points in the fluid, and corresponding critical layers consisting of closed streamlines. This is made possible by the use of the so-called naive flattening transform, which has previously only been used for local bifurcation.


title: PC-DARTS: Partial Channel Connections for Memory-Efficient Architecture Search

abstract: Differentiable architecture search (DARTS) provided a fast solution in finding effective network architectures, but suffered from large memory and computing overheads in jointly training a super-network and searching for an optimal architecture. In this paper, we present a novel approach, namely, Partially-Connected DARTS, by sampling a small part of super-network to reduce the redundancy in exploring the network space, thereby performing a more efficient search without comprising the performance. In particular, we perform operation search in a subset of channels while bypassing the held out part in a shortcut. This strategy may suffer from an undesired inconsistency on selecting the edges of super-net caused by sampling different channels. We alleviate it using edge normalization, which adds a new set of edge-level parameters to reduce uncertainty in search. Thanks to the reduced memory cost, PC-DARTS can be trained with a larger batch size and, consequently, enjoys both faster speed and higher training stability. Experimental results demonstrate the effectiveness of the proposed method. Specifically, we achieve an error rate of 2.57% on CIFAR10 with merely 0.1 GPU-days for architecture search, and a state-of-the-art top-1 error rate of 24.2% on ImageNet (under the mobile setting) using 3.8 GPU-days for search. Our code has been made available at: https://github.com/yuhuixu1993/PC-DARTS.


title: Learning a Curve Guardian for Motorcycles

abstract: Up to 17% of all motorcycle accidents occur when the rider is maneuvering through a curve and the main cause of curve accidents can be attributed to inappropriate speed and wrong intra-lane position of the motorcycle. Existing curve warning systems lack crucial state estimation components and do not scale well. We propose a new type of road curvature warning system for motorcycles, combining the latest advances in computer vision, optimal control and mapping technologies to alleviate these shortcomings. Our contributes are fourfold: 1) we predict the motorcycle's intra-lane position using a convolutional neural network (CNN), 2) we predict the motorcycle roll angle using a CNN, 3) we use an upgraded controller model that incorporates road incline for a more realistic model and prediction, 4) we design a scale-able system by utilizing HERE Technologies map database to obtain the accurate road geometry of the future path. In addition, we present two datasets that are used for training and evaluating of our system respectively, both datasets will be made publicly available. We test our system on a diverse set of real world scenarios and present a detailed case-study. We show that our system is able to predict more accurate and safer curve trajectories, and consequently warn and improve the safety for motorcyclists.


title: Spin Seebeck effect and phonon energy transfer in heterostructures containing layers of a normal metal and a ferromagnetic insulator

abstract: In the framework of the kinetic approach based on the Boltzmann equation for the phonon distribution function, we analyze phonon heat transfer in a heterostructure containing a layer of a normal metal ($ N $) and a layer of a ferromagnetic insulator ($ F $). Two realistic methods for creating a temperature gradient in such a heterostructure are considered: by heating of the $N$-layer by an electric current and by placing the $N/F$-bilayer between massive dielectrics with different temperatures. The electron temperature $ T_e $ in the $ N $-layer and the magnon temperature $ T_m $ in the $ F $-layer are calculated. The difference in these temperatures determines the voltage $ V_{ISHE} $ on the $ N $-layer in the Seebeck spin effect regime. The dependence of $ V_{ISHE} $ on the bath temperature and on the thickness of the $ N $ and $ F $ layers is compared with the available experimental data.


title: Gated-SCNN: Gated Shape CNNs for Semantic Segmentation

abstract: Current state-of-the-art methods for image segmentation form a dense image representation where the color, shape and texture information are all processed together inside a deep CNN. This however may not be ideal as they contain very different type of information relevant for recognition. Here, we propose a new two-stream CNN architecture for semantic segmentation that explicitly wires shape information as a separate processing branch, i.e. shape stream, that processes information in parallel to the classical stream. Key to this architecture is a new type of gates that connect the intermediate layers of the two streams. Specifically, we use the higher-level activations in the classical stream to gate the lower-level activations in the shape stream, effectively removing noise and helping the shape stream to only focus on processing the relevant boundary-related information. This enables us to use a very shallow architecture for the shape stream that operates on the image-level resolution. Our experiments show that this leads to a highly effective architecture that produces sharper predictions around object boundaries and significantly boosts performance on thinner and smaller objects. Our method achieves state-of-the-art performance on the Cityscapes benchmark, in terms of both mask (mIoU) and boundary (F-score) quality, improving by 2% and 4% over strong baselines.


title: Efficient global structure optimization with a machine learned surrogate model

abstract: We propose a scheme for global optimization with first-principles energy expressions (GOFEE) of atomistic structure. While unfolding its search, the method actively learns a surrogate model of the potential energy landscape on which it performs a number of local relaxations (exploitation) and further structural searches (exploration). Assuming Gaussian Processes, an acquisition function is used to decide on which of the resulting structures is the more promising. Subsequently, a single point first-principles energy calculation is conducted for that structure. The method is demonstrated to outperform by two orders of magnitude a well established first-principles based evolutionary algorithm in finding surface reconstructions. Finally, GOFEE is utilized to identify initial stages of the edge oxidation and oxygen intercalation of graphene sheets on the Ir(111) surface.


title: ADF22: Blind detections of [CII] line emitters shown to be spurious

abstract: We report Atacama Large Millimetre/submillimeter Array (ALMA) Cycle-5 follow-up observations of two candidate [CII] emitters at z ~ 6 in the ALMA deep field in SSA22 (ADF22). The candidates were detected blindly in a Cycle-2 ALMA survey covering ~ 5 square arcmins, with a single tuning, along with two CO lines associated with galaxies at lower redshifts. Various tests suggested at least one of the two > 6-sigma [CII] candidates should be robust (Hayatsu et al. 2017). Nevertheless, our new, deeper observations recover neither candidate, demonstrating a higher contamination rate than expected. The cause of the spurious detections is under investigation but at present it remains unclarified.


title: Semi-Supervised Graph Embedding for Multi-Label Graph Node Classification

abstract: The graph convolution network (GCN) is a widely-used facility to realize graph-based semi-supervised learning, which usually integrates node features and graph topologic information to build learning models. However, as for multi-label learning tasks, the supervision part of GCN simply minimizes the cross-entropy loss between the last layer outputs and the ground-truth label distribution, which tends to lose some useful information such as label correlations, so that prevents from obtaining high performance. In this paper, we pro-pose a novel GCN-based semi-supervised learning approach for multi-label classification, namely ML-GCN. ML-GCN first uses a GCN to embed the node features and graph topologic information. Then, it randomly generates a label matrix, where each row (i.e., label vector) represents a kind of labels. The dimension of the label vector is the same as that of the node vector before the last convolution operation of GCN. That is, all labels and nodes are embedded in a uniform vector space. Finally, during the ML-GCN model training, label vectors and node vectors are concatenated to serve as the inputs of the relaxed skip-gram model to detect the node-label correlation as well as the label-label correlation. Experimental results on several graph classification datasets show that the proposed ML-GCN outperforms four state-of-the-art methods.


title: Quantum critical scaling and holographic bound for transport coefficients near Lifshitz points

abstract: The transport behavior of strongly anisotropic systems is significantly richer compared to isotropic ones. The most dramatic spatial anisotropy at a critical point occurs at a Lifshitz transition, found in systems with merging Dirac or Weyl point or near the superconductor-insulator quantum phase transition. Previous work found that in these systems a famous conjecture on the existence of a lower bound for the ratio of a shear viscosity to entropy is violated, and proposed a generalization of this bound for anisotropic systems near charge neutrality involving the electric conductivities. The present study uses scaling arguments and the gauge-gravity duality to confirm the previous analysis of universal bounds in anisotropic Dirac systems. We investigate the strongly-coupled phase of quantum Lifshitz systems in a gravitational Einstein-Maxwell-dilaton model with a linear massless scalar which breaks translations in the boundary dual field theory and sources the anisotropy. The holographic computation demonstrates that some elements of the viscosity tensor can be related to the ratio of the electric conductivities through a simple geometric ratio of elements of the bulk metric evaluated at the horizon, and thus obey a generalized bound, while others violate it. From the IR critical geometry, we express the charge diffusion constants in terms of the square butterfly velocities. The proportionality factor turns out to be direction-independent, linear in the inverse temperature, and related to the critical exponents which parametrize the anisotropic scaling of the dual field theory.


title: Monopole-antimonopole pair production by magnetic fields

abstract: Quantum electrodynamics predicts that in a strong electric field, electron-positron pairs are produced by the Schwinger process, which can be interpreted as quantum tunnelling through the Coulomb potential barrier. If magnetic monopoles exist, monopole-antimonopole pairs would be similarly produced in strong magnetic fields by the electromagnetic dual of this process. The production rate can be computed using semiclassical techniques without relying on perturbation theory, and therefore it can be done reliably in spite of the monopoles' strong coupling to the electromagnetic field. This article explains this phenomenon and discusses the bounds on monopole masses arising from the strongest magnetic fields in the Universe, which are in neutron stars known as magnetars and in heavy ion collision experiments such as lead-lead collisions carried out in November 2018 in the Large Hadron Collider at CERN. It will also discuss open theoretical questions affecting the calculation.


title: Topological complexity of photons' paths in biological tissues

abstract: In the present contribution three means of measuring the geometrical and topological complexity of photons' paths in random media are proposed. This is realized by investigating the behavior of the average crossing number, the mean writhe, and the minimal crossing number of photons' paths generated by Monte Carlo (MC) simulations, for different sets of optical parameters. It is observed that the complexity of the photons' paths increases for increasing light source/detector spacing, and that highly "knotted" paths are formed. Due to the particular rules utilized to generate the MC photons' paths, the present results may have an interest not only for the biomedical optics community, but also from a pure mathematical point of view.


title: On the nature of the lowest-lying odd parity charmed baryon $\Lambda_c(2595)$ and $\Lambda_c(2625)$ resonances

abstract: We study the structure of the $\Lambda_c(2595)$ and $\Lambda_c(2625)$ resonances in the framework of an effective field theory consistent with heavy quark spin and chiral symmetries, that incorporates the interplay between $\Sigma_c^{(*)}\pi-ND^{(*)}$ baryon-meson degrees of freedom and bare P-wave $c\bar ud$ quark-model states. We show that these two resonances are not HQSS partners. The $J^P= 3/2^-$ $\Lambda_c(2625)$ should be viewed mostly as a dressed three quark state, whose origin is determined by a bare state, predicted to lie very close to the mass of the resonance. The $J^P= 1/2^-$ $\Lambda_c(2595)$ seems to have, however, a predominant molecular structure. This is because, it is either the result of the chiral $\Sigma_c\pi$ interaction, which threshold is located much more closer than the mass of the bare three-quark state, or because the light degrees of freedom in its inner structure are coupled to the unnatural $0^-$ quantum-numbers. We show that both situations can occur depending on the renormalization procedure used. We find some additional states, but the classification of the spectrum in terms of HQSS is difficult, despite having used interactions that respect this symmetry. This is because the bare quark-model state and the $\Sigma_c\pi$ threshold are located extraordinarily close to the $\Lambda_c(2625)$ and $\Lambda_c(2595)$, respectively, and hence they play totally different roles in each sector.


title: Benchmarking Physical Performance of Neural Inference Circuits

abstract: Numerous neural network circuits and architectures are presently under active research for application to artificial intelligence and machine learning. Their physical performance metrics (area, time, energy) are estimated. Various types of neural networks (artificial, cellular, spiking, and oscillator) are implemented with multiple CMOS and beyond-CMOS (spintronic, ferroelectric, resistive memory) devices. A consistent and transparent methodology is proposed and used to benchmark this comprehensive set of options across several application cases. Promising architecture/device combinations are identified.


title: X-ray and Radio Variabilities of PSR J2032+4127 near Periastron

abstract: We present X-ray and radio monitoring observations of the gamma-ray binary PSR J2032+4127/MT91 213 during its periastron passage in late 2017. Dedicated Chandra, XMM-Newton,NuSTAR X-ray observations and VLA radio observations of this long orbit (50 years), 143 ms pulsar/Be star system clearly revealed flux and spectral variability during the passage. The X-ray spectrum hardened near periastron, with a significant decrease in the power-law photon index from \Gamma ~ 2 to 1.2 and evidence of an increased absorption column density. We identified a possible spectral break at a few keV in the spectrum that suggests synchrotron cooling. A coincident radio and X-ray flare occurred one week after periastron, which is possibly the result of the pulsar wind interacting with the Be stellar disk and generating synchrotron radiation. However, a multi-wavelength comparison indicate that the X-ray and radio spectra cannot be simply connected by a single power-law component. Hence, the emission in these two energy bands must originate from different particle populations.


title: A Regionalisation Approach for Rainfall based on Extremal Dependence

abstract: To mitigate the risk posed by extreme rainfall events, we require statistical models that reliably capture extremes in continuous space with dependence. However, assuming a stationary dependence structure in such models is often erroneous, particularly over large geographical domains. Furthermore, there are limitations on the ability to fit existing models, such as max-stable processes, to a large number of locations. To address these modelling challenges, we present a regionalisation method that partitions stations into regions of similar extremal dependence using clustering. To demonstrate our regionalisation approach, we consider a study region of Australia and discuss the results with respect to known climate and topographic features. To visualise and evaluate the effectiveness of the partitioning, we fit max-stable models to each of the regions. This work serves as a prelude to how one might consider undertaking a project where spatial dependence is non-stationary and is modelled on a large geographical scale.


title: On substitutions closed under derivation: examples

abstract: We study infinite words fixed by a morphism and their derived words. A derived word is a coding of return words to a factor. We exhibit two examples of sets of morphisms which are closed under derivation --- any derived word with respect to any factor of the fixed point is again fixed by a morphism from this set. The first example involves standard episturmian morphisms, and the second concerns the period doubling morphism.


title: Infinity-enhancing of Leibniz algebras

abstract: We establish a correspondence between infinity-enhanced Leibniz algebras, recently introduced in order to encode tensor hierarchies, and differential graded Lie algebras, which have been already used in this context. We explain how any Leibniz algebra gives rise to a differential graded Lie algebra with a corresponding infinity-enhanced Leibniz algebra. Moreover, by a theorem of Getzler, this differential graded Lie algebra canonically induces an $L_\infty$-algebra structure on the suspension of the underlying chain complex. We explicitly give the brackets to all orders and show that they agree with the partial results obtained from the infinity-enhanced Leibniz algebras in arXiv:1904.11036.


title: Secrecy Analysis and Learning-based Optimization of Cooperative NOMA SWIPT Systems

abstract: Non-orthogonal multiple access (NOMA) is considered to be one of the best candidates for future networks due to its ability to serve multiple users using the same resource block. Although early studies have focused on transmission reliability and energy efficiency, recent works are considering cooperation among the nodes. The cooperative NOMA techniques allow the user with a better channel (near user) to act as a relay between the source and the user experiencing poor channel (far user). This paper considers the link security aspect of energy harvesting cooperative NOMA users. In particular, the near user applies the decode-and-forward (DF) protocol for relaying the message of the source node to the far user in the presence of an eavesdropper. Moreover, we consider that all the devices use power-splitting architecture for energy harvesting and information decoding. We derive the analytical expression of intercept probability. Next, we employ deep learning based optimization to find the optimal power allocation factor. The results show the robustness and superiority of deep learning optimization over conventional iterative search algorithm.


title: Spectroscopy of the 1001 nm transition in atomic dysprosium

abstract: We report on spectroscopy of cold dysprosium atoms on the $1001\,\mathrm{nm}$ transition and present measurements of the excited state lifetime which is at least $87.2(6.7)\,\mathrm{ms}$ long. Due to the long excited state lifetime we are able to measure the ratio of the excited state polarizability to the ground state polarizability at $1064\,\mathrm{nm}$ to be $0.828(0.129)$ by parametric heating in an optical dipole trap. In addition we measure the isotope shifts of the three most abundant bosonic isotopes of dysprosium on the $1001\,\mathrm{nm}$ transition with an accuracy better than $30\,\mathrm{kHz}$.


title: Proceedings of FACTS-IR 2019

abstract: The proceedings list for the program of FACTS-IR 2019, the Workshop on Fairness, Accountability, Confidentiality, Transparency, and Safety in Information Retrieval held at SIGIR 2019.


title: Information versus stability in an anti-de Sitter black hole

abstract: Information entropies associated with the energy density in position and momentum spaces are build for an anti-de Sitter (AdS) black hole. These quantities, that satisfy an entropic uncertainty relation, vary with the temperature. The higher is the black hole temperature, the greater/smaller is the information encoded respectively in the position/momentum distributions of energy. On the other hand, as it is well know, AdS black holes are subject to the Hawking Page phase transition. The amplitude for dominance of the black hole phase over the thermal AdS phase increases with the temperature. So, as the system becomes more stable, there is a change in the way that information is stored. In particular: information stored in the spatial energy density increases while information stored in the energy density in momentum space decreases.


title: Automated Word Stress Detection in Russian

abstract: In this study we address the problem of automated word stress detection in Russian using character level models and no part-speech-taggers. We use a simple bidirectional RNN with LSTM nodes and achieve the accuracy of 90% or higher. We experiment with two training datasets and show that using the data from an annotated corpus is much more efficient than using a dictionary, since it allows us to take into account word frequencies and the morphological context of the word.


title: Statistical Entropy of a Schwarzschild-anti-de Sitter Black Hole

abstract: We calculate the intrinsic entropy of a Schwarzschild black hole in an asymptotically antide Sitter space. The statistical calculation of the entropy is based on a model for particle structure that leads to confinement. The constituents of the particle are distinguishable quasiparticles. The entropy (temperature) is less (greater) than the entropy of a Schwarzschild black hole in an asymptotically flat space. The equilibrium thermodynamic states are described by pure states, myriotic fields, and the distinguishability of the internal microstates may provide a solution to the black hole information paradox by suggesting a Bose-Einstein condensate whereby the zero mass state is a limit point (or accumulation point) of condensates on the event horizon.


title: Evolution of sub-spaces at high and low energies

abstract: The evolution of sub-spaces in the framework of gravity with higher derivatives is studied. Numerical solutions to exact differential equations are found. It is shown that the initial conditions play crucial role in the space dynamic. Appropriate metrics describing an expanding and a stationary sub-space shed light on the well-known question: why our 3-dim space is large but extra space is small and stable (if exists)? It is assumed that the values of parameters at high energies strongly depend on uncontrolled quantum corrections and, hence, are not equal to their values at low energies. Therefore, there is no way to trace solutions throughout the energy range, and we restrict ourselves to the sub-Planckian and the inflationary energies.


title: Gate-tunable emission of exciton-plasmon polaritons in hybrid MoS2-gap-mode metasurfaces

abstract: The advance in designing arrays of ultrathin two-dimensional optical nano-resonators, known as metasurfaces, is currently enabling a large variety of novel flat optical components. The remarkable control over the electromagnetic fields offered by this technology can be further extended to the active regime in order to manipulate the light characteristics in real-time. In this contribution, we couple the excitonic resonance of atomic thin MoS2 monolayers with gap-surface-plasmon (GSP) metasurfaces, and demonstrate selective enhancement of the exciton-plasmon polariton emissions. We further demonstrate tunable emissions by controlling the charge density at interface through electrically gating in MOS structure. Straddling two very active fields of research, this demonstration of electrically tunable light-emitting metasurfaces enables real-time manipulation of light-matter interactions at the extreme subwavelength dimensions.


title: Curvature-dimension conditions for diffusions under time change

abstract: We derive precise transformation formulas for synthetic lower Ricci bounds under time change. More precisely, for local Dirichlet forms we study how the curvature-dimension condition in the sense of Bakry-Emery will transform under time change. Similarly, for metric measure spaces we study how the curvature-dimension condition in the sense of Lott-Sturm-Villani will transform under time change.


title: Computation of extremes values of time averaged observables in climate models with large deviation techniques

abstract: One of the goals of climate science is to characterize the statistics of extreme and potentially dangerous events in the present and future climate. Extreme events like heat waves, droughts, or floods due to persisting rains are characterized by large anomalies of the time average of an observable over a long time. The framework of Donsker-Varadhan large deviation theory could therefore be useful for their analysis. In this paper we discuss how concepts and numerical algorithms developed in relation with large deviation theory can be applied to study extreme, rare fluctuations of time averages of surface temperatures at regional scale with comprehensive numerical climate models. We study the convergence of large deviation functions for the time averaged European surface temperature obtained with direct numerical simulation of the climate model Plasim, and discuss their climate implications. We show how using a rare event algorithm can improve the efficiency of the computation of the large deviation rate functions. We discuss the relevance of the large deviation asymptotics for applications, and we show how rare event algorithms can be used also to improve the statistics of events on time scales shorter than the one needed for reaching the large deviation asymptotics.


title: Peaked and low action solutions of NLS equations on graphs with terminal edges

abstract: We consider the nonlinear Schr\"odinger equation with focusing power-type nonlinearity on compact graphs with at least one terminal edge, i.e. an edge ending with a vertex of degree 1. On the one hand, we introduce the associated action functional and we provide a profile description of positive low action solutions at large frequencies, showing that they concentrate on one terminal edge, where they coincide with suitable rescaling of the unique solution to the corresponding problem on the real line. On the other hand, a Ljapunov-Schmidt reduction procedure is performed to construct one-peaked and multipeaked positive solutions with sufficiently large frequency, exploiting the presence of one or more terminal edges.


title: CosmicNet I: Physics-driven implementation of neural networks within Boltzmann-Einstein solvers

abstract: Einstein-Boltzmann Solvers (EBSs) are run on a massive scale by the cosmology community when fitting cosmological models to data. We present a new concept for speeding up such codes with neural networks. The originality of our approach stems from not substituting the whole EBS by a machine learning algorithm, but only its most problematic and least parallelizable step: the integration of perturbation equations over time. This approach offers two significant advantages: the task depends only on a subset of cosmological parameters, and it is blind to the characteristics of the experiment for which the output must be computed (for instance, redshift bins). These allow us to construct a fast and highly re-usable network. In this proof-of-concept paper, we focus on the prediction of CMB source functions, and design our networks according to physical considerations and analytical approximations. This allows us to reduce the depth and training time of the networks compared to a brute-force approach. Indeed, the calculation of the source functions using the networks is fast enough so that it is not a bottleneck in the EBS anymore. Finally, we show that their accuracy is more than sufficient for accurate MCMC parameter inference from Planck data. This paves the way for a new project, CosmicNet, aimed at gradually extending the use and the range of validity of neural networks within EBSs, and saving massive computational time in the context of cosmological parameter extraction.


title: Learning to Handle Parameter Perturbations in Combinatorial Optimization: an Application to Facility Location

abstract: We present an approach to couple the resolution of Combinatorial Optimization problems with methods from Machine Learning, applied to the single source, capacitated, facility location problem. Our study is framed in the context where a reference facility location optimization problem is given. Assuming there exist data for many variations of the reference problem (historical or simulated) along with their optimal solution, we study how one can exploit these to make predictions about an unseen new instance. We demonstrate how a classifier can be built from these data to determine whether the solution to the reference problem still applies to a new instance. In case the reference solution is partially applicable, we build a regressor indicating the magnitude of the expected change, and conversely how much of it can be kept for the new instance. This insight, derived from a priori information, is expressed via an additional constraint in the original mathematical programming formulation. We present an empirical evaluation and discuss the benefits, drawbacks and perspectives of such an approach. Although presented through the application to the facility location problem, the approach developed here is general and explores a new perspective on the exploitation of past experience in combinatorial optimization.


title: Scalar dark matter coannihilating with a coloured fermion

abstract: We analyse the phenomenology of a simplified model for a real scalar dark matter candidate interacting with quarks via a coloured fermionic mediator. In the coannihilation regime, the dark matter abundance is controlled by the dynamics of the coloured fermions which can be significantly affected by non-perturbative effects. We employ a non-relativistic effective field theory approach which allows us to systematically treat the Sommerfeld effect and bound-state formation in the early Universe. The parameter space compatible with the dark matter relic abundance is confronted with direct, indirect and collider searches. A substantial part of the parameter space, with dark matter masses up to 18 TeV, is already excluded by XENON1T. Most of the remaining thermal relics can be probed by a future Darwin-like experiment, when taking properly into account the running of the relevant couplings for the direct detection processes.


title: Equal bi-Vectorized (EBV) method to high performance on GPU

abstract: Due to importance of reducing of time solution in numerical codes, we propose an algorithm for parallel LU decomposition solver for dense and sparse matrices on GPU. This algorithm is based on first bi-vectorizing a triangular matrices of decomposed coefficient matrix and then equalizing vectors. So we improve performance of LU decomposition on equal contributed scheme on threads. This algorithm also is convenient for other parallelism method and multi devices. Several test cases show advantage of this method over other familiar method.


title: DFT study of undoped and As-doped Si nanowires approaching the bulk limit

abstract: The electronic properties of pure and As-doped Si nanowires with radii up to 9.53 nm are studied using large scale density functional theory (DFT) calculations. We show that, for the undoped nanowires, the DFT bandgap reduces with increasing diameter and converges to its bulk value, a trend in agreement with experimental data. Moreover, we show that the atoms closest to the surface of the nanowire contribute less to the states near the band edges, when compared with atoms close to the centre; this is shown to be due to differences in Si-Si atomic distances, as well as surface passivation effects. When considering As-doped Si nanowires we show that dopant placement within the nanowire plays an important role in deciding electronic properties. We show that a low velocity band is introduced by As doping, in the gap, but close to the conduction band edge. The dopant location affects the curvature of this band, with the curvature reducing when the dopant is placed closer to the center. We also show that asymmetry of dopant location with the nanowire leads to splitting of the valence band edge.


title: Herglotz' variational principle and Lax-Oleinik evolution

abstract: We develop an elementary method to give a Lipschitz estimate for the minimizers in the problem of Herglotz' variational principle proposed in \cite{CCWY2018} in the time-dependent case. We deduce Erdmann's condition and the Euler-Lagrange equation separately under different sets of assumptions, by using a generalized du Bois-Reymond lemma. As an application, we obtain a representation formula for the viscosity solution of the Cauchy problem for the Hamilton-Jacobi equation \begin{align*} D_tu(t,x)+H(t,x,D_xu(t,x),u(t,x))=0 \end{align*} and study the related Lax-Oleinik evolution.


title: A variational approach to the Hermitian-Einstein metrics and the Quot-scheme limit of Fubini-Study metrics

abstract: This is a sequel of our paper [arXiv:1809.08425] on the Quot-scheme limit and variational properties of Donaldson's functional, which established its coercivity for slope stable holomorphic vector bundles over smooth projective varieties. Assuming that the coercivity is uniform in a certain sense, we provide a new proof of the Donaldson-Uhlenbeck-Yau theorem, in such a way that the analysis involved in the proof is elementary except for the asymptotic expansion of the Bergman kernel.


title: Deep Learning-powered Iterative Combinatorial Auctions

abstract: In this paper, we study the design of deep learning-powered iterative combinatorial auctions (ICAs). We build on prior work where preference elicitation was done via kernelized support vector regressions (SVRs). However, the SVR-based approach has limitations because it requires solving a machine learning (ML)-based winner determination problem (WDP). With expressive kernels (like gaussians), the ML-based WDP cannot be solved for large domains. While linear or quadratic kernels have better computational scalability, these kernels have limited expressiveness. In this work, we address these shortcomings by using deep neural networks (DNNs) instead of SVRs. We first show how the DNN-based WDP can be reformulated into a mixed integer program (MIP). Second, we experimentally compare the prediction performance of DNNs against SVRs. Third, we present experimental evaluations in two medium-sized domains which show that even ICAs based on relatively small-sized DNNs lead to higher economic efficiency than ICAs based on kernelized SVRs. Finally, we show that our DNN-powered ICA also scales well to very large CA domains.


title: Exploration by Optimisation in Partial Monitoring

abstract: We provide a simple and efficient algorithm for adversarial $k$-action $d$-outcome non-degenerate locally observable partial monitoring game for which the $n$-round minimax regret is bounded by $6(d+1) k^{3/2} \sqrt{n \log(k)}$, matching the best known information-theoretic upper bound. The same algorithm also achieves near-optimal regret for full information, bandit and globally observable games.


title: Structured inversion of the Bernstein mass matrix

abstract: Bernstein polynomials, long a staple of approximation theory and computational geometry, have also increasingly become of interest in finite element methods. Many fundamental problems in interpolation and approximation give rise to interesting linear algebra questions. Previously, we gave block-structured algorithms for inverting the Bernstein mass matrix on simplicial cells, but did not study fast alorithms for the univariate case. Here, we give several approaches to inverting the univariate mass matrix based on exact formulae for the inverse; decompositions of the inverse in terms of Hankel, Toeplitz, and diagonal matrices; and a spectral decomposition. In particular, the eigendecomposition can be explicitly constructed in $\mathcal{O}(n^2)$ operations, while its accuracy for solving linear systems is comparable to that of the Cholesky decomposition. Moreover, we study conditioning and accuracy of these methods from the standpoint of the effect of roundoff error in the $L^2$ norm on polynomials, showing that the conditioning in this case is far less extreme than in the standard 2-norm.


title: Hello, It's GPT-2 -- How Can I Help You? Towards the Use of Pretrained Language Models for Task-Oriented Dialogue Systems

abstract: Data scarcity is a long-standing and crucial challenge that hinders quick development of task-oriented dialogue systems across multiple domains: task-oriented dialogue models are expected to learn grammar, syntax, dialogue reasoning, decision making, and language generation from absurdly small amounts of task-specific data. In this paper, we demonstrate that recent progress in language modeling pre-training and transfer learning shows promise to overcome this problem. We propose a task-oriented dialogue model that operates solely on text input: it effectively bypasses explicit policy and language generation modules. Building on top of the TransferTransfo framework (Wolf et al., 2019) and generative model pre-training (Radford et al., 2019), we validate the approach on complex multi-domain task-oriented dialogues from the MultiWOZ dataset. Our automatic and human evaluations show that the proposed model is on par with a strong task-specific neural baseline. In the long run, our approach holds promise to mitigate the data scarcity problem, and to support the construction of more engaging and more eloquent task-oriented conversational agents.


title: Retrieving CeB$_6$'s lost magnetic entropy

abstract: The reported temperature variations of CeB6 s magnetic entropy are inconsistent with the fourfold degeneracy of the crystal field ground state. This old question is here addressed through new specific heat measurements and an improved description, in the cage context, of both the phonons and crystal field contributions to the specific heat. The antiferromagnetic transition is characterized as first-order and its latent heat determined. From the phonons dispersion for a cage compound, the lattice specific heat contribution is derived from the LaB6 data. Once corrected for the first-order transition and lattice contributions, the magnetic entropy displays the characteristic plateau of the quadruplet crystal field ground state, but at temperatures in excess of 30 K. Below 30 K, as the ordering temperature is approached, the magnetic entropy is substantially reduced. This anomalous temperature dependence is consistent with a crystal field ground state split by the rare-earth movement, a phenomenon specific to rare-earth cage compounds.


title: On different expressions for invariants of hyperelliptic curves of genus 3

abstract: In this paper we give a passage formula between different invariants of genus 3 hyperelliptic curves: in particular between Tsuyumine and Shioda invariants. This is needed to get modular expressions for Shioda invariants, that is, for example, useful for proving the correctness of numerically computed equations of CM genus 3 hyperelliptic curves. On the other hand, we also get Shioda invariants described in terms of differences of roots of the equation defining the hyperelliptic curve, that has applications for studying the reduction type of the curve. Under certain conditions on its jacobian, we give a criterion for determining the type of bad reduction of a genus 3 hyperelliptic curve.


title: Elastic properties of isotropic discrete systems: Connections between geometric structure and Poisson's ratio

abstract: The use of discrete material representation in numerical models is advantageous due to the straightforward way it takes into account material heterogeneity and randomness, and the discrete and orientated nature of cracks. Unfortunately, it also restricts the macroscopic Poisson's ratio and therefore narrows its applicability. The paper studies the Poisson's ratio of a discrete model analytically. It derives theoretical limits for cases where the geometry of the model is completely arbitrary, but isotropic in the statistical sense. It is shown that the widest limits are obtained for models where normal directions of contacts between discrete units are parallel with the vectors connecting these units. Any deviation from parallelism causes the limits to shrink. A comparison of the derived equations to the results of the actual numerical model is presented. It shows relatively large deviations from the theory because the fundamental assumptions behind the theoretical derivations are largely violated in systems with complex geometry. The real shrinking of the Poisson's ratio limit is less severe compared to that which is theoretically derived.


title: Non-Existence of Periodic Orbits for Forced-Damped Potential Systems in Bounded Domains

abstract: We prove Lr-estimates on periodic solutions of periodically-forced, linearly-damped mechanical systems with polynomially-bounded potentials. The estimates are applied to obtain a non-existence result of periodic solutions in bounded domains, depending on an upper bound on the gradient of the potential. The results are illustrated on examples.


title: Long-term memory and delayed shear localisation in soft glassy materials

abstract: We study theoretically the dynamics of soft glassy materials during the process of stress relaxation following the rapid imposition of a shear strain. By detailed numerical simulations of a mesoscopic soft glassy rheology model and three different simplified continuum fluidity models, we show that a dramatic shear localisation instability arises, in which the strain field suddenly becomes heterogeneous within the sample, accompanied by a precipitous drop in the stress. Remarkably, this instability can arise at extremely long delay times after the strain was applied, due to the long-term memory inherent to glassy systems. The finding that a catastrophic mechanical instability can arise long after any deformation could have far reaching consequences for material processing and performance, and potentially also for delayed geophysical phenomena.


title: Controlled and robust two-mode emission from the interplay of driving and thermalization in a dye-filled photonic cavity

abstract: Two dimensional photon gases trapped in dye-filled microcavities can undergo thermalization and nearly ideal equilibrium Bose-Einstein condensation. However, they are inherently driven-dissipative systems that can exhibit an intricate interplay between the thermalizing influence of the environment given by the dye solution and the pump and loss processes driving the system out of equilibrium. We show that this interplay gives rise to a robust mechanism for two-mode emission, when the system is driven by an off-centered pump beam. Namely, after the system starts lasing in the dominantly pumped excited mode, in a second transition a photon condensate is formed in the ground mode, when the pump power is increased further. This effect is a consequence of the redistribution of excited dye molecules via the lasing mode in combination with thermalization. We propose to exploit this effect for engineering controlled two-mode emission and demonstrate that by tailoring the transverse potential landscape for the photons, the threshold pump power can be tuned by orders of magnitude.


title: Path Weights in Concentration Graphs

abstract: A graphical model provides a compact and efficient representation of the association structure of a multivariate distribution by means of a graph. Relevant features of the distribution are represented by vertices, edges and other higher-order graphical structures, such as cliques or paths. Typically, paths play a central role in these models because they determine the independence relationships among variables. However, while a theory of path coefficients is available in models for directed graphs, little has been investigated about the strength of the association represented by a path in an undirected graph. Essentially, it has been shown that the covariance between two variables can be decomposed into a sum of weights associated with each of the paths connecting the two variables in the corresponding concentration graph. In this context, we consider concentration graph models and provide an extensive analysis of the properties of path weights and their interpretation. More specifically, we give an interpretation of covariance weights through their factorisation into a partial covariance and an inflation factor. We then extend the covariance decomposition over the paths of an undirected graph to other measures of association, such as the marginal correlation coefficient and a quantity that we call the inflated correlation. The usefulness of these findings is illustrated with an application to the analysis of dietary intake networks.


title: Homogeneous Transitions during Inflation: a Description in Quantum Cosmology

abstract: The usual description of inflationary fluctuations uses the framework of quantum field theory (QFT) in curved spacetime, in which quantum fluctuations are superimposed on a classical background spacetime. Even for large fluctuations, such as those envisioned during a regime of eternal inflation, this framework is frequently used. In the present work we go one step beyond this description by quantising both the scalar field and the scale factor of the universe. Employing the Lorentzian path integral formulation of semi-classical gravity we restrict to a simplified minisuperspace setting by considering homogeneous transitions. This approach allows us to determine the dominant geometry and inflaton evolution contributing to such amplitudes. We find that for precisely specified initial scale factor and inflaton values (and uncertain momenta), two distinct saddle point geometries contribute to the amplitude, leading to interference effects. However, when the momenta of both scale factor and inflaton are specified with sufficient certainty, only a single saddle point is relevant and QFT in curved spacetime is applicable. In particular we find that for inflaton transitions up the potential, meaningful results are only obtained when the initial uncertainty in the inflaton value is large enough, allowing the dominant evolution to be a complexified slow-roll solution \emph{down} from a comparatively unlikely position higher up in the potential.


title: Improving the Projection of Global Structures in Data through Spanning Trees

abstract: The connection of edges in a graph generates a structure that is independent of a coordinate system. This visual metaphor allows creating a more flexible representation of data than a two-dimensional scatterplot. In this work, we present STAD (Spanning Trees as Approximation of Data), a dimensionality reduction method to approximate the high-dimensional structure into a graph with or without formulating prior hypotheses. STAD generates an abstract representation of high-dimensional data by giving each data point a location in a graph which preserves the distances in the original high-dimensional space. The STAD graph is built upon the Minimum Spanning Tree (MST) to which new edges are added until the correlation between the distances from the graph and the original dataset is maximized. Additionally, STAD supports the inclusion of additional functions to focus the exploration and allow the analysis of data from new perspectives, emphasizing traits in data which otherwise would remain hidden. We demonstrate the effectiveness of our method by applying it to two real-world datasets: traffic density in Barcelona and temporal measurements of air quality in Castile and Le\'on in Spain.


title: Propagation of uniform upper bounds for the spatially homogeneous relativistic Boltzmann equation

abstract: In this paper, we prove the propagation of uniform upper bounds for the spatially homogeneous relativistic Boltzmann equation. These $L^\infty$ bounds have been known to be a challenging open problem in relativistic kinetic theory. To accomplish this, we establish two types of estimates for the gain part of the collision operator: first, we prove a potential type estimate and a relativistic hyper-surface integral estimate. We then combine those estimates using the relativistic counter-part of the Carleman representation to derive uniform control of the gain term for the relativistic collision operator. This allows us to prove the desired propagation of the uniform bounds of the solution. We further present two applications of the propagation of the uniform upper bounds: first we give another proof of the Boltzmann $H$-theorem, and second we prove the asymptotic convergence of solutions to the relativistic Maxwellian equilibrium.


title: Asymmetric Dark Matter Imprint on Low-mass Main-sequence Stars in the Milky Way Nuclear Star Cluster

abstract: In this work, we study the impact of asymmetric dark matter (ADM) on low-mass main-sequence stars in the Milky Way's nuclear star cluster, where the dark matter (DM) density is expected to be orders of magnitude above what is found near the Sun (${\rho }_{\mathrm{DM}}\gtrsim {10}^{3}\ \mathrm{GeV}\ {\mathrm{cm}}^{-3}$). Using a modified stellar evolution code and considering a DM particle ($m_{\chi} = 4 \text{ GeV}$) with a spin-dependent interaction cross section close to the limits allowed by direct detection, we found that the interactions of ADM with baryons in the star's core can have two separate effects on the evolution of these stars: a decrease in the hydrogen burning rate, extending the duration of the main-sequence of stars with $M ~ 1M_{\odot}$ by a few Gyr; the suppression of the onset of convection in the core of stars with $M \lesssim 1.5M_{\odot}$ and consequent quench of supply for the nuclear reactions. If we consider $\rho_{\text{DM}} > 10^3 \ \text{GeV cm}^{-3}$ (corresponding to the inner 5 pc of the Milky Way), stars lighter than the Sun will have a main-sequence life span comparable to the current age of the universe. Stars heavier than two solar masses are not sensitive to the DM particles considered here.


title: Lectures on Quantum Mechanics for mathematicians

abstract: The main goal of these lectures -- introduction to Quantum Mechanics for mathematically-minded readers. The second goal is to discuss the mathematical interpretation of the main quantum postulates: transitions between quantum stationary orbits, wave-particle duality and probabilistic interpretation. We suggest a dynamical interpretation of these phenomena based on the new conjectures on attractors of nonlinear Hamiltonian partial differential equations. This conjecture is confirmed for a list of {\it model Hamiltonian nonlinear} PDEs by the results obtained since 1990 (we survey sketchy these results). However, for the Maxwell--Schr\"odinger equations this conjecture is still an {\it open problem}. We calculate the diffraction amplitude for the scattering of electron beams and Aharonov--Bohm shift via the Kirchhoff approximation.


title: Modernism, Fiction and Mathematics

abstract: This is an expanded version of my review of Nina Engelhardt's book "Modernism, Fiction and Mathematics", Edinburgh University Press 2018. A considerably shortened version will appear in the Notices of the AMS.


title: A machine learning assessment of the two states model for lipid bilayer phase transitions

abstract: We have adapted a set of classification algorithms, also known as Machine Learning, to the identification of fluid and gel domains close to the main transition of dipalmitoyl-phosphatidylcholine (DPPC) bilayers. Using atomistic molecular dynamics conformations in the low and high temperature phases as learning sets, the algorithm was trained to categorize individual lipid configurations as fluid or gel, in relation with the usual two-states phenomenological description of the lipid melting transition. We demonstrate that our machine can learn and sort lipids according to their most likely state without prior assumption regarding the nature of the order parameter of the transition. Results from our machine learning approach provides strong support in favor of a two-states model approach of membrane fluidity.


title: Generating Sentences from Disentangled Syntactic and Semantic Spaces

abstract: Variational auto-encoders (VAEs) are widely used in natural language generation due to the regularization of the latent space. However, generating sentences from the continuous latent space does not explicitly model the syntactic information. In this paper, we propose to generate sentences from disentangled syntactic and semantic spaces. Our proposed method explicitly models syntactic information in the VAE's latent space by using the linearized tree sequence, leading to better performance of language generation. Additionally, the advantage of sampling in the disentangled syntactic and semantic latent spaces enables us to perform novel applications, such as the unsupervised paraphrase generation and syntax-transfer generation. Experimental results show that our proposed model achieves similar or better performance in various tasks, compared with state-of-the-art related work.


title: Qwant Research @DEFT 2019: Document matching and information retrieval using clinical cases

abstract: This paper reports on Qwant Research contribution to tasks 2 and 3 of the DEFT 2019's challenge, focusing on French clinical cases analysis. Task 2 is a task on semantic similarity between clinical cases and discussions. For this task, we propose an approach based on language models and evaluate the impact on the results of different preprocessings and matching techniques. For task 3, we have developed an information extraction system yielding very encouraging results accuracy-wise. We have experimented two different approaches, one based on the exclusive use of neural networks, the other based on a linguistic analysis.


title: WikiMatrix: Mining 135M Parallel Sentences in 1620 Language Pairs from Wikipedia

abstract: We present an approach based on multilingual sentence embeddings to automatically extract parallel sentences from the content of Wikipedia articles in 85 languages, including several dialects or low-resource languages. We do not limit the the extraction process to alignments with English, but systematically consider all possible language pairs. In total, we are able to extract 135M parallel sentences for 1620 different language pairs, out of which only 34M are aligned with English. This corpus of parallel sentences is freely available at https://github.com/facebookresearch/LASER/tree/master/tasks/WikiMatrix. To get an indication on the quality of the extracted bitexts, we train neural MT baseline systems on the mined data only for 1886 languages pairs, and evaluate them on the TED corpus, achieving strong BLEU scores for many language pairs. The WikiMatrix bitexts seem to be particularly interesting to train MT systems between distant languages without the need to pivot through English.


title: Knowledge-incorporating ESIM models for Response Selection in Retrieval-based Dialog Systems

abstract: Goal-oriented dialog systems, which can be trained end-to-end without manually encoding domain-specific features, show tremendous promise in the customer support use-case e.g. flight booking, hotel reservation, technical support, student advising etc. These dialog systems must learn to interact with external domain knowledge to achieve the desired goal e.g. recommending courses to a student, booking a table at a restaurant etc. This paper presents extended Enhanced Sequential Inference Model (ESIM) models: a) K-ESIM (Knowledge-ESIM), which incorporates the external domain knowledge and b) T-ESIM (Targeted-ESIM), which leverages information from similar conversations to improve the prediction accuracy. Our proposed models and the baseline ESIM model are evaluated on the Ubuntu and Advising datasets in the Sentence Selection track of the latest Dialog System Technology Challenge (DSTC7), where the goal is to find the correct next utterance, given a partial conversation, from a set of candidates. Our preliminary results suggest that incorporating external knowledge sources and leveraging information from similar dialogs leads to performance improvements for predicting the next utterance.


title: Unsupervised Adversarial Attacks on Deep Feature-based Retrieval with GAN

abstract: Studies show that Deep Neural Network (DNN)-based image classification models are vulnerable to maliciously constructed adversarial examples. However, little effort has been made to investigate how DNN-based image retrieval models are affected by such attacks. In this paper, we introduce Unsupervised Adversarial Attacks with Generative Adversarial Networks (UAA-GAN) to attack deep feature-based image retrieval systems. UAA-GAN is an unsupervised learning model that requires only a small amount of unlabeled data for training. Once trained, it produces query-specific perturbations for query images to form adversarial queries. The core idea is to ensure that the attached perturbation is barely perceptible to human yet effective in pushing the query away from its original position in the deep feature space. UAA-GAN works with various application scenarios that are based on deep features, including image retrieval, person Re-ID and face search. Empirical results show that UAA-GAN cripples retrieval performance without significant visual changes in the query images. UAA-GAN generated adversarial examples are less distinguishable because they tend to incorporate subtle perturbations in textured or salient areas of the images, such as key body parts of human, dominant structural patterns/textures or edges, rather than in visually insignificant areas (e.g., background and sky). Such tendency indicates that the model indeed learned how to toy with both image retrieval systems and human eyes.


title: ACTNET: end-to-end learning of feature activations and multi-stream aggregation for effective instance image retrieval

abstract: We propose a novel CNN architecture called ACTNET for robust instance image retrieval from large-scale datasets. Our key innovation is a learnable activation layer designed to improve the signal-to-noise ratio (SNR) of deep convolutional feature maps. Further, we introduce a controlled multi-stream aggregation, where complementary deep features from different convolutional layers are optimally transformed and balanced using our novel activation layers, before aggregation into a global descriptor. Importantly, the learnable parameters of our activation blocks are explicitly trained, together with the CNN parameters, in an end-to-end manner minimising triplet loss. This means that our network jointly learns the CNN filters and their optimal activation and aggregation for retrieval tasks. To our knowledge, this is the first time parametric functions have been used to control and learn optimal aggregation. We conduct an in-depth experimental study on three non-linear activation functions: Sine-Hyperbolic, Exponential and modified Weibull, showing that while all bring significant gains the Weibull function performs best thanks to its ability to equalise strong activations. The results clearly demonstrate that our ACTNET architecture significantly enhances the discriminative power of deep features, improving significantly over the state-of-the-art retrieval results on all datasets.


title: Cotilting with balanced big Cohen-Macaulay modules

abstract: Over $d$-dimensional Cohen-Macaulay rings with a canonical module, $d$-cotilting classes containing the maximal and balanced big Cohen-Macaulay modules are classified. Particular emphasis is paid to the direct limit closure of the balanced big Cohen-Macaulay modules, and the class of modules of depth $d$, which are shown to respectively be the smallest and largest such cotilting classes. Considerations are then given to the interplay between local cohomology, canonical duality and cotilting modules for the class of Gorenstein flat modules over Gorenstein local rings.


title: The possibility of blocking the process of DNA base pairs opening by hydrogen peroxide

abstract: One of the most progressive methods of cancer treatment is ion beam therapy. The simulations of water radiolysis show that in the cell medium the most long-living species are hydrogen peroxide (H$_2$O$_2$) molecules. But up to the present time the role of H$_2$O$_2$ molecules in the deactivation of cancer cells has not been determined yet. To understand the possible role of H$_2$O$_2$ in ion beam therapy, the competitive interaction of H$_2$O$_2$ and H$_2$O molecules with nucleic bases in a pair on the different stages of genetic information transfer is studied in the present work. Atom-atomic potential functions method is used for the calculations. It is shown, that some configurations of AT and GC complementary pairs are stabilized much better by H$_2$O$_2$ molecule compared to water molecule. Formation of such interaction complexes can terminate the processes of DNA unzipping by enzymes and consequently block genetic information transfer processes in cancer cells during ion beam therapy treatment. Experimental verification method of hydrogen peroxide interaction with nucleic base pairs is proposed.


title: Metallicity gradients in M31, M33, NGC 300 and the Milky Way using abundances of different elements

abstract: Metallicity gradients derived from planetary nebulae (PNe) using O, Ne, and Ar abundances are studied and compared to those from HII regions in the galaxies M31, M33, NGC 300 and the Milky Way. Galactocentric radii and chemical abundances were collected from the literature, carefully selecting a homogeneous sample for each galaxy. Metallicity gradients shown by PNe are flatter than those of HII regions in all cases. The extreme case is M31 where PN abundances are not related to galactocentric distances and the gradients are consistent with zero. To analyze the evolution of gradients with time we build gradients for Peimbert Type I and non-Type I PNe finding that Type I PNe show steeper gradients than non-Type I PNe and more similar to the ones of HII regions indicating that the chemical gradients might steepen with time. Alternatively, the flat gradients for old PNe show that radial migration could have an important role in the evolution of galaxies.


title: Concordance Cosmology?

abstract: We propose a new intuitive metric for evaluating the tension between two experiments, and apply it to several data sets. While our metric is non-optimal, if evidence of tension is detected, this evidence is robust and easy to interpret. Assuming a flat $\Lambda$CDM cosmological model, we find that there is a modest $2.2\sigma$ tension between the DES Year 1 results and the ${\it Planck}$ measurements of the Cosmic Microwave Background (CMB). This tension is driven by the difference between the amount of structure observed in the late-time Universe and that predicted from fitting the ${\it Planck}$ data, and appears to be unrelated to the tension between ${\it Planck}$ and local esitmates of the Hubble rate. In particular, combining DES, Baryon Acoustic Oscillations (BAO), Big-Bang Nucleosynthesis (BBN), and supernovae (SNe) measurements recovers a Hubble constant and sound horizon consistent with ${\it Planck}$, and in tension with local distance-ladder measurements. If the tension between these various data sets persists, it is likely that reconciling ${\it all}$ current data will require breaking the flat $\Lambda$CDM model in at least two different ways: one involving new physics in the early Universe, and one involving new late-time Universe physics.