title: Verification and Validation of a Numerical Wave Tank Using Waves2FOAM

abstract: Clean energy systems have been investigated recently by the researchers of the University of New Mexico to increase the efficiency specifically in the solar tower technology. Similar to solar energy, wave power harnesses energy that comes from the sun. Solar irradiation causes wind by changing the pressure, and wind gives its momentum to the ocean surface which produces waves. Modeling and simulation (M&S) of free surface flow can be a very useful tool for the wave energy industry. However, if these tools are to be relied upon, their accuracy must be tested and shown to be sound. In this investigation, we focus on verification and validation (V&V) of wave tank flow M&S. The Volume of Fluid (VOF) model was applied to perform transient computational fluid dynamics (CFD) analysis using the numerical simulation software OpenFOAM. To assess V&V, the height of the free surface flow was considered as the system response quantity (SRQ). Stokes theory (fifth order) was utilized as the most accurate available approximation of the exact solution to measure the order of accuracy of the discretized mathematical model which is known as code verification. Data collected during model-scale testing at the Naval Surface Warfare Center, Carderock Division (NSWCCD) Maneuvering and Seakeeping (MASK) basin were utilized to validate the computational results. The CFD domain consists of a two-dimensional plane representing the region of interest of the wave basin which has several wave height measurement probes. Our simulation results were compared to the data from one of these probes in order to conduct the V&V analysis. Code verification and comparison with experimental values demonstrate the accuracy and efficiency of our model.


title: Many-body calculations of plasmon and phonon satellites in angle-resolved photoelectron spectra using the cumulant expansion approach

abstract: The interaction of electrons with crystal lattice vibrations (phonons) and collective charge-density fluctuations (plasmons) influences profoundly the spectral properties of solids revealed by photoemission spectroscopy experiments. Photoemission satellites, for instance, are a prototypical example of quantum emergent behavior that may result from the strong coupling of electronic states to plasmons and phonons. The existence of these spectral features has been verified over energy scales spanning several orders of magnitude (from 50 meV to 15-20 eV) and for a broad class of compounds such as simple metals, semiconductors, and highly-doped oxides. During the past few years the cumulant expansion approach, alongside with the GW approximation and the theory of electron-phonon and electron-plasmon coupling in solids, has evolved into a predictive and quantitatively accurate approach for the description of the spectral signatures of electron-boson coupling entirely from first principles, and it has thus become the state-of-the-art theoretical tool for the description of these phenomena. In this chapter we introduce the fundamental concepts needed to interpret plasmon and phonon satellites in photoelectron spectra, and we review recent progress on first-principles calculations of these features using the cumulant expansion method.


title: Longitudinal optical fields in light scattering from dielectric spheres and Anderson localization of light

abstract: Recent research has shown that coupling between point scatterers in a disordered medium by longitudinal electromagnetic fields is harmful for Anderson localization of light. However, it has been unclear if this feature is generic or specific for point scatterers. The present work demonstrates that the intensity of longitudinal field outside a spherical dielectric scatterer illuminated by monochromatic light exhibits a complicated, nonmonotonous dependence on the scatterer size. Moreover, the intensity is reduced for a hollow sphere, whereas one can adjust the parameters of a coated sphere to obtain a relatively low longitudinal field together with a strong resonant scattering efficiency. Therefore, random arrangements of structured (hollow or coated) spheres may be promising three-dimensional disordered materials for reaching Anderson localization of light.


title: Oscillations on the Stretched Sierpinski Gasket

abstract: The Stretched Sierpinski Gasket is a non-self-similar set but it still exhibits very high symmetry. In an earlier work we calculated the leading term for the eigenvalue counting function for operators coming from resistance forms that were introduced by Alonso-Ruiz, Freiberg and Kigami. In this work we want to refine the results. The next question that arises is if there are oscillations in the leading term which are typical for highly symmetrical fractals. We have to distinguish between the existence of a periodic function in front of the leading term and oscillations in general. The first one is unlikely as we will see, however the second one still holds. This means there are oscillations in the leading term, but these will not have this very strict periodic behaviour that we know of the Sierpinski Gasket. We will show, that there exist localized eigenfunctions on the SSG which have eigenvalues with very high multiplicities. However in contrast to the self-similar case this fact alone is not enough to show that there can't be convergence. We need to use another method to show the existence of oscillations.


title: Mass Spectra and Decay Constants of Heavy-Light Mesons: A Case Study of QCD Sum Rules and Quark Model

abstract: In this paper we visited mass spectra and decay constants of pseudoscalar and vector heavy-light mesons ($B$, $B_s$, $D$ and $D_S$) in the framework of QCD sum rule and quark model. The harmonic oscillator wave function was used in quark model while a simple interpolating current was used in QCD sum rule calculation. We obtained good results in accordance with the available experimental data and theoretical studies.


title: Git Loss for Deep Face Recognition

abstract: Convolutional Neural Networks (CNNs) have been widely used in computer vision tasks, such as face recognition and verification, and have achieved state-of-the-art results due to their ability to capture discriminative deep features. Conventionally, CNNs have been trained with softmax as supervision signal to penalize the classification loss. In order to further enhance the discriminative capability of deep features, we introduce a joint supervision signal, Git loss, which leverages on softmax and center loss functions. The aim of our loss function is to minimize the intra-class variations as well as maximize the inter-class distances. Such minimization and maximization of deep features are considered ideal for face recognition task. We perform experiments on two popular face recognition benchmarks datasets and show that our proposed loss function achieves maximum separability between deep face features of different identities and achieves state-of-the-art accuracy on two major face recognition benchmark datasets: Labeled Faces in the Wild (LFW) and YouTube Faces (YTF). However, it should be noted that the major objective of Git loss is to achieve maximum separability between deep features of divergent identities.


title: Geostatistical modeling to capture seismic-shaking patterns from earthquake-induced landslides

abstract: In this paper, we investigate earthquake-induced landslides using a geostatistical model that includes a latent spatial effect (LSE). The LSE represents the spatially structured residuals in the data, which are complementary to the information carried by the covariates. To determine whether the LSE can capture the residual signal from a given trigger, we test whether the LSE is able to capture the pattern of seismic shaking caused by an earthquake from the distribution of seismically induced landslides, without prior knowledge of the earthquake being included in the statistical model. We assess the landslide intensity, i.e., the expected number of landslide activations per mapping unit, for the area in which landslides triggered by the Wenchuan (M 7.9, May 12, 2008) and Lushan (M 6.6, April 20, 2013) earthquakes overlap. We chose an area of overlapping landslides in order to test our method on landslide inventories located in the near and far fields of the earthquake. We generated three different models for each earthquake-induced landslide scenario: i) seismic parameters only (as a proxy for the trigger); ii) the LSE only; and iii) both seismic parameters and the LSE. The three configurations share the same set of morphometric covariates. This allowed us to study the pattern in the LSE and assess whether it adequately approximated the effects of seismic wave propagation. Moreover, it allowed us to check whether the LSE captured effects that are not explained by the shaking levels, such as topographic amplification. Our results show that the LSE reproduced the shaking patterns in space for both earthquakes with a level of spatial detail even greater than the seismic parameters. In addition, the models including the LSE perform better than conventional models featuring seismic parameters only.


title: A Review of Experimental Solubilities and a General Correlation between the Temperature-Dependent Solubility and Solute and Solvent Molar Masses for Binary n-Alkane Mixtures

abstract: The solubility of a "heavy" alkane (solute) in a "light" alkane (solvent) is generally temperature dependent. Moreover, it is determined by the molar masses of the solute and solvent. In the current paper, published solubility data for binary normal-alkane mixtures is reviewed (solid-liquid equilibrium). A total of 43 unique solute-solvent data-sets, obtained from a total of 24 published experimental studies, are collected and presented in a systematic manner. Based on thermodynamic considerations and the experimental data, it is demonstrated that there is a log-linear relationship between the solubility and the temperature in the dilute range. Linear regression is employed to 1) obtain data-set-specific solubility-temperature best-fit parameters and 2) obtain a general correlation between the solubility and the solvent and solute molar masses and the temperature. Finally, it is demonstrated that the developed correlation carries predictive power even for multi-component mixtures by utilizing solvent and solute average molar masses.


title: Plasmonic interferences of two-particle N00N states

abstract: Quantum plasmonics lies at the intersection between nanophotonics and quantum optics. Genuine quantum effects can be observed with non-classical states such as Fock states and with entangled states. A N00N state combines both aspects: it is a quantum superposition state of a Fock state with N excitations in two spatial modes. Here we report the first observation of two-plasmon (N=2) N00N state interferences using a plasmonic beamsplitter etched on a planar interface between gold and air. We analyze in detail the role of losses at the beamsplitter and during the propagation along the metal/air interface. While the intrinsic losses of the beamsplitter are responsible for the emergence of quantum nonlinear absorption, we note that N00N states decay N times faster than classical states due to propagation losses.


title: Search for dark matter in the form of hidden photons and axion-like particles in the XMASS detector

abstract: Hidden photons and axion-like particles are candidates for cold dark matter if they were produced non-thermally in the early universe. We conducted a search for both of these bosons using 800 live-days of data from the XMASS detector with 327 kg of liquid xenon in the fiducial volume. No significant signal was observed, and thus we set constraints on the $\alpha' / \alpha$ parameter related to kinetic mixing of hidden photons and the coupling constant $g_{Ae}$ of axion-like particles in the mass range from 40 to 120 keV/$c^2$, resulting in $\alpha' / \alpha < 6 \times 10^{-26}$ and $g_{Ae} < 4 \times 10^{-13}$. These limits are the most stringent derived from both direct and indirect searches to date.


title: Quasinormal mode spectra for odd parity perturbations in spacetimes with smeared matter sources

abstract: We have found the Quasi Normal Mode (QNM) frequencies of a class of static spherically symmetric spacetimes having a {\it {smeared}} matter distribution, parameterized by $\Theta$ - an inherent length scale. Here our main focus is on the QNMs for the odd parity perturbation in this background geometry. The results presented here for diffused mass distribution reveal significant changes in the QNM spectrum. This could be relevant for future generation (cosmological) observations, specifically to distinguish the signals of GW from a non-singular source in contrast to a singular geometry. We also provide numerical estimates for the $\Theta$-corrected QNM spectrum applicable to typical globular cluster like spherical galaxies having a Gaussian spread in their mass distribution. We find that the $\Theta$-correction to the GW signal due to smeared distribution is accessible to present day observational precision.


title: Implementing Neural Turing Machines

abstract: Neural Turing Machines (NTMs) are an instance of Memory Augmented Neural Networks, a new class of recurrent neural networks which decouple computation from memory by introducing an external memory unit. NTMs have demonstrated superior performance over Long Short-Term Memory Cells in several sequence learning tasks. A number of open source implementations of NTMs exist but are unstable during training and/or fail to replicate the reported performance of NTMs. This paper presents the details of our successful implementation of a NTM. Our implementation learns to solve three sequential learning tasks from the original NTM paper. We find that the choice of memory contents initialization scheme is crucial in successfully implementing a NTM. Networks with memory contents initialized to small constant values converge on average 2 times faster than the next best memory contents initialization scheme.


title: SmB6: A material with anomalous energy distribution function of charge carriers?

abstract: We argue that because of valence-fluctuation caused dynamical changes (fluctuations) of impurity energies in an impurity band of valence fluctuating semiconductors both occupied and unoccupied sites can be found in the impurity band above as well as below the Fermi level even in the ground state. As a consequence, the ground state energy distribution function of the subsystem of localized charge carriers for valence fluctuating semiconductors is qualitatively different than one for conventional semiconductors at T = 0 K, what sheds new light on interpretation of experimental results of valence fluctuating semiconductors, e.g. SmB6 and YbB12, at lowest temperatures.


title: Analysis of the vector and axialvector $QQ\bar{Q}\bar{Q}$ tetraquark states with QCD sum rules

abstract: In this article, we construct the axialvector-diquark-axialvector-antidiquark type currents to study both the vector and axialvector $QQ\bar{Q}\bar{Q}$ tetraquark states with the QCD sum rules, and obtain the masses $M_{Y(cc\bar{c}\bar{c},1^{+-})} =6.05\pm0.08\,\rm{GeV}$, $M_{Y(cc\bar{c}\bar{c},1^{--})} =6.11\pm0.08\,\rm{GeV}$, $M_{Y(bb\bar{b}\bar{b},1^{+-})} =18.84\pm0.09\,\rm{GeV}$, $M_{Y(bb\bar{b}\bar{b},1^{--})} =18.89\pm0.09\,\rm{GeV}$. The vector tetraquark states lie $40\,\rm{MeV}$ above the corresponding centroids of the $0^{++}$, $1^{+-}$ and $2^{++}$ tetraquark states, which is a typical feature of the vector tetraquark states consist of four heavy quarks.


title: Kinematics of Spiral galaxies as a Portal to the Nature of Dark Matter

abstract: The gravitational field of Spiral galaxies is well traced by their rotation curves. Only recently it has become of extreme interest that the latter form a family ruled by two parameters of the {\it luminous} component: the disk length-scale $R_D$ and the magnitude $M_I$. This evidence is so strong and consequential that it must be taken as the starting point for the investigation on the issue of the dark matter in galaxies. The emerging fact is that structural quantities deeply rooted in the luminous components, like the disk length scales are found to tightly correlate with structural quantities deeply rooted in the dark component, like the DM halo core radii. This unexpected evidence may strongly call for a shift of paradigm with respect to the current Cold collisionless Dark Matter one.


title: Acoustic Pressure Monopole, Velocity Monopole, and Hybrid Monopole

abstract: We show that there are two types of acoustic monopoles, namely the pressure monopoles (PMs) and the velocity monopoles (VMs). Under one wave incidence, only the pressure field near a PM at resonance possesses monopolar symmetry, while for a VM at resonance only the velocity field possesses monopolar symmetry. It is the dipolar response function of the monopoles that dictates whether they are PMs or VMs. A hybrid monopolar device with neither velocity nor pressure field symmetry is also demonstrated by combining a VM and a PM, which exhibits two monopole resonances with neither PM nor VM symmetry. The breaking of symmetry could lead to higher absorption of the subwavelength scale devices.


title: Type-II Dirac line node in strained Na3N

abstract: Dirac line node (DLN) semimetals are a class of topological semimetals that feature band-crossing lines in momentum space. We study the type-I and type-II classification of DLN semimetals by developing a criterion that determines the type using band velocities. Using first-principles calculations, we also predict that Na3N under an epitaxial tensile strain realizes a type-II DLN semimetal with vanishing spin-orbit coupling (SOC), characterized by the Berry phase that is Z2-quantized in the presence of inversion and time-reversal symmetries. The surface energy spectrum is calculated to demonstrate the topological phase, and the type-II nature is demonstrated by calculating the band velocities. We also develop a tight-binding model and a low-energy effective Hamiltonian that describe the low-energy electronic structure of strained Na3N. The occurrence of a DLN in Na3N under strain is captured in the optical conductivity, which we propose as a means to experimentally confirm the type-II class of the DLN semimetal.


title: Peer Methods for the Solution of Large-Scale Differential Matrix Equations

abstract: We consider the application of implicit and linearly implicit (Rosenbrock-type) peer methods to matrix-valued ordinary differential equations. In particular the differential Riccati equation (DRE) is investigated. For the Rosenbrock-type schemes, a reformulation capable of avoiding a number of Jacobian applications is developed that, in the autonomous case, reduces the computational complexity of the algorithms. Dealing with large-scale problems, an efficient implementation based on low-rank symmetric indefinite factorizations is presented. The performance of both peer approaches up to order 4 is compared to existing implicit time integration schemes for matrix-valued differential equations.


title: A multi-wavelength view of magnetic flaring from PMS stars

abstract: Flares from the Sun and other stars are most prominently observed in the soft X-ray band. Most of the radiated energy, however, is released at optical/UV wavelengths. In spite of decades of investigation, the physics of flares is not fully understood. Even less is known about the powerful flares routinely observed from pre-main sequence stars, which might significantly influence the evolution of circumstellar disks. Observations of the NGC2264 star forming region were obtained in Dec. 2011, simultaneously with three telescopes, Chandra (X-rays), CoRoT (optical), and Spitzer (mIR), as part of the "Coordinated Synoptic Investigation of NGC2264" (CSI-NGC2264). Shorter Chandra and CoRoT observations were also obtained in March 2008. We analyzed the lightcurves to detect X-ray flares with an optical and/or mIR counterpart. Basic flare properties from the three datasets, such as emitted energies and peak luminosities, were then compared to constrain the spectral energy distribution of the flaring emission and the physical conditions of the emitting regions. Flares from stars with and without circumstellar disks were also compared to establish any difference that might be attributed to the presence of disks. Seventy-eight X-ray flares with an optical and/or mIR counterpart were detected. Their optical emission is found to correlate well with, and to be significantly larger than, the X-ray emission. The slopes of the correlations suggest that the difference becomes smaller for the most powerful flares. The mIR flare emission seems to be strongly affected by the presence of a circumstellar disk: flares from stars with disks have a stronger mIR emission with respect to stars without disks. This might be attributed to the reprocessing of the optical (and X-ray) flare emission by the inner circumstellar disk, providing evidence for flare-induced disk heating.


title: Improving Deep Models of Person Re-identification for Cross-Dataset Usage

abstract: Person re-identification (Re-ID) is the task of matching humans across cameras with non-overlapping views that has important applications in visual surveillance. Like other computer vision tasks, this task has gained much with the utilization of deep learning methods. However, existing solutions based on deep learning are usually trained and tested on samples taken from same datasets, while in practice one need to deploy Re-ID systems for new sets of cameras for which labeled data is unavailable. Here, we mitigate this problem for one state-of-the-art model, namely, metric embedding trained with the use of the triplet loss function, although our results can be extended to other models. The contribution of our work consists in developing a method of training the model on multiple datasets, and a method for its online practically unsupervised fine-tuning. These methods yield up to 19.1% improvement in Rank-1 score in the cross-dataset evaluation.


title: On the asymptotics of a cotangent sum related to the Estermann zeta function

abstract: The sum $c_0(1/k)=-\sum_{m=1}^{k-1}(m/k)\cot(m{\pi}/k)$ is related to the Estermann zeta function. A recent paper computes the first two terms of the large-$k$ asymptotic expansion of $c_0(1/k)$. Using the Poisson summation formula for finite sums, we find three additional terms.


title: Radio pulsars: already fifty years!

abstract: Although fifty years have passed since the discovery of radio pulsars, there is still no satisfactory understanding of how these amazing objects operate. While there has been significant progress in understanding the basic properties of radio pulsars, there is as yet no consensus on key issues, such as the nature of coherent radio emission or the conversion mechanism of the electromagnetic energy of the pulsar wind into particle energy. In this review, we present the main theoretical results on the magnetosphere of neutron stars. We formulate a number of apparently simple questions, which nevertheless remain unanswered since the very beginning of the field and which must be resolved before any further progress can be made.


title: A large area detector for thermal neutron flux measurements at the KamLAND site

abstract: A large area (0.5~m $\times$ 0.5~m) thermal neutron detector was developed based on 0.32~mm-thick $^{6}$LiF:ZnS(Ag) scintillator sheets. The detector was constructed for measurements of seasonal variations in low intensity thermal neutron flux at deep underground sites. The detector response to neutrons was studied using a low intensity $^{241}$Am/$^{9}$Be($\alpha$,n) neutron source. The digital pulse shape discrimination technique was applied to separate neutron capture events from the background caused by traces of $\alpha$-emitters from Uranium and Thorium decay chains in scintillator components. The thermal neutron detection efficiency was 0.368$\pm$0.018 (0.155$\pm$0.009) before (after) event selection based on the digital pulse shape discrimination method. The measured $\alpha$-particle background event rate in the $^{6}$LiF:ZnS(Ag) scintillator was (4.88$\pm$0.06(stat))$\times$10$^{-6}$ $\alpha$ cm$^{-2}$sec$^{-1}$. As a test of detector performance we measured the thermal neutron flux at the KamLAND area of the Kamioka neutrino observatory and compared it with result of the neutron flux measurement carried out at the Super-Kamiokande site. The thermal neutron flux at KamLAND was (6.43$\pm$0.50)$\times$10$^{-6}$ n cm$^{-2}$sec$^{-1}$ that included $\sim$10~\% contribution from neutrons with energies above 1~eV. During the detector construction we identified a source of high amplitude noise pulses generated by 5-inch R1250 photomultipliers manufactured by Hamamatsu Photonics K. K..


title: $R_{D^{(\ast)}}$, $R_{K^{(\ast)}}$ and neutrino mass in the 2HDM-III with right-handed neutrinos

abstract: Given that the two-Higgs-doublet model of type III (2HDM-III) has the potential to address the $R_{D^{(\ast)}}$ anomalies while the resolution to the $R_{K^{(\ast)}}$ deficits requires new degrees of freedom within this framework, we consider in this paper a unified scenario where the low-scale type-I seesaw mechanism is embedded into the 2HDM-III, so as to accommodate the $R_{D^{(\ast)}}$ and $R_{K^{(\ast)}}$ anomalies as well as the neutrino mass. We first revisit the $R_{D^{(\ast)}}$ anomalies and find that the current world-averaged results can be addressed at $2\sigma$ level without violating the bound from the branching ratio $\mathcal{B}(B_c^-\rightarrow \tau^- \bar{\nu})\leqslant 30\%$. The scenario predicts two sub-eV neutrino masses based on a decoupled heavy Majorana neutrino and two nearly degenerate Majorana neutrinos with mass around the electroweak scale. For the $R_{K^{(\ast)}}$ anomalies, the same scenario can generate the required Wilson coefficients in the direction $ C_{9 \mu}^{\rm NP}=-C_{10 \mu}^{\rm NP}<0$, with $\mathcal{O}(1)$ Yukawa couplings for the muon and the top quark.


title: Multisensor Management Algorithm for Airborne Sensors Using Frank-Wolfe Method

abstract: This study proposes an airborne multisensor management algorithm for target tracking, taking each of multiple unmanned aircraft as a sensor. The purpose of the algorithm is to determine the configuration of the sensor deployment and to guide the mobile sensors to track moving targets in an optimal way. The cost function as a performance metric is defined as a combination of the D-optimality criterion of the Fisher information matrix. The convexity of the cost function is proved and the optimal solution for deployment and guidance problem is derived by the Frank-Wolfe method, also known as the conditional gradient descent method. An intuitive optimal approach to deal with the problem is to direct the sensor to the optimal position obtained by solving a nonlinear optimization problem. On the other hand, the proposed method takes the conditional gradient of the cost function as the command to the deployed sensors, so that the sensors are guaranteed to be in the feasible points and they achieve the current best performance. Simulation results demonstrate that the proposed algorithm provides better performance than directing each sensor to its optimal position.


title: Performance Analysis of Cooperative Communications at Road Intersections Using Stochastic Geometry Tools

abstract: Vehicular safety communications (VSCs) are known to provide relevant contributions to avoid congestions and prevent road accidents, and more particularly at road intersections since these areas are more prone to accidents. In this context, one of the main impairments that affect the performance of VSCs are interference. In this paper, we develop a tractable framework to model cooperative transmissions in presence of interference for VSCs at intersections. We use tools from stochastic geometry, and model interferer vehicles locations as a Poisson point process. First, we calculate the outage probability (OP) for a direct transmission when the received node can be anywhere on the plan. Then, we analyze the OP performance of a cooperative transmission scheme. The analysis takes into account two dimensions: the decoding strategy at the receiver, and the vehicles mobility. We derive the optimal relay position, from analytical and simulation results, for different traffic densities and for different vehicles mobility models. We also show that the OP does not improve after the number of infrastructure relays reached a threshold value. Finally, we show that the OP performance of VSCs is higher at intersections than on highways. We validated our analytical results by Monte-Carlo simulations.


title: An Empirical Orthogonal Function Reanalysis of the Northern Polar External and Induced Magnetic Field During Solar Cycle 23

abstract: We apply the method of data-interpolating empirical orthogonal functions (EOFs) to ground-based magnetic vector data from the SuperMAG archive to produce a series of month length reanalyses of the surface external and induced magnetic field (SEIMF) in 110,000 km$^{2}$ equal-area bins over the entire northern polar region at 5 min cadence over solar cycle 23, from 1997.0 to 2009.0. Each EOF reanalysis also decomposes the measured SEIMF variation into a hierarchy of spatiotemporal patterns which are ordered by their contribution to the monthly magnetic field variance. We find that the leading EOF patterns can each be (subjectively) interpreted as well-known SEIMF systems or their equivalent current systems. The relationship of the equivalent currents to the true current flow is not investigated. We track the leading SEIMF or equivalent current systems of similar type by intermonthly spatial correlation and apply graph theory to (objectively) group their appearance and relative importance throughout a solar cycle, revealing seasonal and solar cycle variation. In this way, we identify the spatiotemporal patterns that maximally contribute to SEIMF variability over a solar cycle. We propose this combination of EOF and graph theory as a powerful method for objectively defining and investigating the structure and variability of the SEIMF or their equivalent ionospheric currents for use in both geomagnetism and space weather applications. It is demonstrated here on solar cycle 23 but is extendable to any epoch with sufficient data coverage.


title: Particle Filtering Methods for Stochastic Optimization with Application to Large-Scale Empirical Risk Minimization

abstract: This paper is concerned with sequential filtering based stochastic optimization (FSO) approaches that leverage a probabilistic perspective to implement the incremental proximity method (IPM). The present FSO methods are derived based on the Kalman filter (KF) and the extended KF (EKF). In contrast with typical methods such as stochastic gradient descent (SGD) and IPMs, they do not need to pre-schedule the learning rate for convergence. Nevertheless, they have limitations that inherit from the KF mechanism. As the particle filtering (PF) method outperforms KF and its variants remarkably for nonlinear non-Gaussian sequential filtering problems, it is natural to ask if FSO methods can benefit from PF to get around of their limitations. We provide an affirmative answer to this question by developing two PF based stochastic optimizers (PFSOs). For performance evaluation, we apply them to address nonlinear least-square fitting with simulated data, and empirical risk minimization for binary classification of real data sets. Experimental results demonstrate that PFSOs outperform remarkably a benchmark SGD algorithm, the vanilla IPM, and KF-type FSO methods in terms of numerical stability, convergence speed, and flexibility in handling diverse types of loss functions.


title: A preliminary comparison of Na lidar and meteor radar zonal winds during geomagnetic quiet and disturbed conditions

abstract: We investigate the possibility that sufficiently large electric fields and/or ionization during geomagnetic disturbed conditions may invalidate the assumptions applied in the retrieval of neutral horizontal winds from meteor and/or lidar measurements. As per our knowledge, the possible errors in the wind estimation have never been reported. In the present case study, we have been using co-located meteor radar and sodium resonance lidar zonal wind measurements over Andenes (69.27$^{\circ}$N, 16.04$^{\circ}$E) during intense substorms in the declining phase of the January 2005 solar proton event (21-22 January 2005). In total, 14 h of measurements are available for the comparison, which covers both quiet and disturbed conditions. For comparison, the lidar zonal wind measurements are averaged over the same time and altitude as the meteor radar wind measurements. High cross correlations ($\sim$0.8) are found in all height regions. The discrepancies can be explained in light of differences in the observational volumes of the two instruments. Further, we extended the comparison to address the electric field and/or ionization impact on the neutral wind estimation. For the periods of low ionization, the neutral winds estimated with both instruments are quite consistent with each other. During periods of elevated ionization, comparatively large differences are noticed at the highermost altitude, which might be due to the electric field and/or ionization impact on the wind estimation. At present, one event is not sufficient to make any firm conclusion. Further study with more co-located measurements are needed to test the statistical significance of the result.


title: Unsupervised Image-to-Image Translation with Stacked Cycle-Consistent Adversarial Networks

abstract: Recent studies on unsupervised image-to-image translation have made a remarkable progress by training a pair of generative adversarial networks with a cycle-consistent loss. However, such unsupervised methods may generate inferior results when the image resolution is high or the two image domains are of significant appearance differences, such as the translations between semantic layouts and natural images in the Cityscapes dataset. In this paper, we propose novel Stacked Cycle-Consistent Adversarial Networks (SCANs) by decomposing a single translation into multi-stage transformations, which not only boost the image translation quality but also enable higher resolution image-to-image translations in a coarse-to-fine manner. Moreover, to properly exploit the information from the previous stage, an adaptive fusion block is devised to learn a dynamic integration of the current stage's output and the previous stage's output. Experiments on multiple datasets demonstrate that our proposed approach can improve the translation quality compared with previous single-stage unsupervised methods.


title: Classes of low-frequency earthquakes based on inter-time distribution reveal a precursor event for the 2011 Great Tohoku Earthquake

abstract: Recently, slow earthquakes (slow EQ) have received much attention relative to understanding the mechanisms underlying large earthquakes and to detecting their precursors. Low-frequency earthquakes (LFE) are a specific type of slow EQ. In the present paper, we reveal the relevance of LFEs to the 2011 Great Tohoku Earthquake (Tohoku-oki EQ) by means of cluster analysis. We classified LFEs in northern Japan in a data-driven manner, based on inter-time, the time interval between neighboring LFEs occurring within 10 km. We found that there are four classes of LFE that are characterized by median inter-times of 24 seconds, 27 minutes, 2.0 days, and 35 days, respectively. Remarkably, in examining the relevance of these classes to the Tohoku-oki EQ, we found that activity in the shortest inter-time class (median 23 seconds) diminished significantly at least three months before the Tohoku-oki EQ, and became completely quiescent 30 days before the event (p-value = 0.00014). Further statistical analysis implies that this class, together with a similar class of volcanic tremor, may have served as a precursor of the Tohoku-oki EQ. We discuss a generative model for these classes of LFE, in which the shortest inter-time class is characterized by a generalized gamma distribution with the product of shape parameters 1.54 in the domain of inter-time close to zero. We give a possible geodetic interpretation for the relevance of LFE to the Tohoku-oki EQ.


title: Travelling-wave spatially periodic forcing of asymmetric binary mixtures

abstract: We study travelling-wave spatially periodic solutions of a forced Cahn-Hilliard equation. This is a model for phase separation of a binary mixture, subject to external forcing. We look at arbitrary values of the mean mixture concentration, corresponding to asymmetric mixtures (previous studies have only considered the symmetric case). We characterize in depth one particular solution which consists of an oscillation around the mean concentration level, using a range of techniques, both numerical and analytical. We determine the stability of this solution to small-amplitude perturbations. Next, we use methods developed elsewhere in the context of shallow-water waves to uncover a (possibly infinite) family of multiple-spike solutions for the concentration profile, which linear stability analysis demonstrates to be unstable. Throughout the work, we perform thorough parametric studies to outline for which parameter values the different solution types occur.


title: Total variation cutoff for the transpose top-$2$ with random shuffle

abstract: In this paper, we investigate the properties of a random walk on the alternating group $A_n$ generated by $3$-cycles of the form $(i,n-1,n)$ and $(i,n,n-1)$. We call this the transpose top-$2$ with random shuffle. We find the spectrum of the transition matrix of this shuffle. We show that the mixing time is of order $\left(n-\frac{3}{2}\right)\log n$ and prove that there is a total variation cutoff for this shuffle.


title: Pseudo-quotients of algebraic actions and their application to character varieties

abstract: In this paper, we propose a weak version of quotient for the algebraic action of a group on a variety, which we shall call a pseudo-quotient. They arise when we focus on the purely topological properties of good GIT quotients regardless of their algebraic properties. The flexibility granted by their topological nature enables an easier identification in geometric constructions than classical GIT quotients. We obtain several results about the interplay between pseudo-quotients and good quotients. Additionally, we show that in characteristic zero pseudo-quotients are unique up to virtual class in the Grothendieck ring of algebraic varieties. As an application, we compute the virtual class of $\mathrm{SL}_{2}(k)$-character varieties for free groups and surface groups as well as their parabolic counterparts with punctures of Jordan type.


title: Dark Matter in Galaxies: evidences and challenges

abstract: The evidence of the phenomenon for which, in galaxies, the gravitating mass is distributed differently than the luminous mass, increases as new data become available. Furthermore, this discrepancy is well structured and it depends on the magnitude and the compactness of the galaxy and on the radius, in units of its luminous size $R_{opt}$, where the measurement is performed. For the disk systems with $-13\geq M_I\geq -24$ all this leads to an amazing scenario, revealed by the investigation of individual and coadded rotation curves, according to which, the circular velocity follows, from their centers out to their virial radii, an universal profile $V_{URC} (r/R_{opt}, M_I)$ function only of the properties of the luminous mass component. Moreover, from the Universal Rotation Curve, so as from many individual high-quality RCs, we discover that, in the innermost regions of galaxies, the DM halo density profiles are very shallow. Finally, the disk mass, the central halo density and its core radius, come out all related to each other and to two properties of the distribution of light in galaxies: the luminosity and the compactness. This phenomenology, being absent in the simplest $\Lambda CDM$ Cosmology scenario, poses serious challenges to the latter or, alternatively, it requires a substantial and tuned involvement of baryons in the formation of the galactic halos. On the other side, the URC helps to explain the two-accelerations relationship found by McGaugh et al 2016, in terms of only well known astrophysical processes, acting in a standard DM halos + luminous disks scenario


title: Multiparameter quantum Cauchy-Binet formulas

abstract: The quantum Cayley-Hamilton theorem for the generator of the reflection equation algebra has been proven by Pyatov and Saponov, with explicit formulas for the coefficients in the Cayley-Hamilton formula. However, these formulas do not give an \emph{easy} way to compute these coefficients. Jordan and White provided an elegant formula for the coefficients given with respect to the generators of the reflection equation algebra. In this paper, we provide Cauchy-Binet formulas for these coefficients with respect to generators of $\mathcal{O}_{q,Q}^{\mathbb{R}}(M_{N}(\mathbb{C}))$, the multiparameter quantized $^{*}$-algebra of functions on $M_{N}(\mathbb{C})$ as a real variety, which contains the reflection equation algebra as a subalgebra. We also prove a Cauchy-Binet formula for the inverse of a matrix involving these generators.


title: Set Cover with Delay -- Clairvoyance is not Required

abstract: In most online problems with delay, clairvoyance (i.e. knowing the future delay of a request upon its arrival) is required for polylogarithmic competitiveness. In this paper, we show that this is not the case for set cover with delay (SCD) -- specifically, we present the first non-clairvoyant algorithm, which is $O(\log n \log m)$-competitive, where $n$ is the number of elements and $m$ is the number of sets. This matches the best known result for the classic online set cover (a special case of non-clairvoyant SCD). Moreover, clairvoyance does not allow for significant improvement - we present lower bounds of $\Omega(\sqrt{\log n})$ and $\Omega(\sqrt{\log m})$ for SCD which apply for the clairvoyant case. In addition, the competitiveness of our algorithm does not depend on the number of requests. Such a guarantee on the size of the universe alone was not previously known even for the clairvoyant case - the only previously-known algorithm (due to Carrasco et al.) is clairvoyant, with competitiveness that grows with the number of requests. For the special case of vertex cover with delay, we show a simpler, deterministic algorithm which is $3$-competitive (and also non-clairvoyant).


title: Magnetic field induced phenomena in UIrGe in fields applied along b axis

abstract: The metamagnetic transition between the antiferromagnetic and paramagnetic state in UIrGe has been studied at various temperatures by magnetization, heat capacity and magnetocaloric-effect measurements on a single crystal in static and pulsed magnetic fields applied along the orthorhombic b-axis. A first-order transition is observed at temperatures below 13 K and a second-order one at higher temperatures up to the N\'eel temperature (TN = 16.5 K). The first-order transition is accompanied by a dramatic increase of the Sommerfeld coefficient. Magnetization measurements extended to the paramagnetic range revealed an anomalous S-shape (inflection point at a magnetic field Hm) in magnetization isotherms at temperatures above 13 K and a temperature dependence of susceptibility with a maximum at Tmax well above TN. The lines representing the temperature-induced evolution of Hm and field-induced evolution of Tmax, respectively, are bound for the point in the magnetic phase diagram at which the order of metamagnetic transition changes. A tentative scenario explaining these anomalies by antiferromagnetic correlations or short-range order in the paramagnetic state is discussed.


title: Towards a Programmable Framework for Agent Game Playing

abstract: The field of Game Theory provides a useful mechanism for modeling many decision-making scenarios. In participating in these scenarios individuals and groups adopt particular strategies, which generally perform with varying levels of success. However, most results have focussed on players that play the same game in an iterated fashion. This paper describes a framework which can be used to observe agents when they do not know in advance which game they are going to play. That is, the same group of agents could first play a few rounds of the Iterated Prisoner's Dilemma, and then a few rounds of the Linear Public Goods Game, and then a few rounds of Minority Game, or perhaps all games in a strictly alternating fashion or a randomized instantiation of games. This framework will allow for investigation of agents in more complex settings, when there is uncertainty about the future, and limited resources to store strategies.


title: The role of metastability in enhancing water-oxidation activity

abstract: While metastability enhanced water-oxidation activity was experimentally reported, the reason behind this effect is still unclear. We determine here, using density functional theory calculations, oxygen evolution reaction overpotentials for a variety of defective (001) surfaces of three different perovskite materials. For all three, we find a large range of overpotentials for different reaction sites including also overpotentials at the top of the activity volcano. Assuming that these sites dominate the apparent catalytic activity, this implies that a large number of geometrically different reaction sites, as they occur when a catalyst is operated at the border of its stability conditions, can lead to a strong enhancement of the apparent activity. This also implies that a pre-treatment of the catalyst creating a variety of different reactive sites could lead to superior catalytic activities for thermodynamically stable materials.


title: Linear multistep methods for optimal control problems and applications to hyperbolic relaxation systems

abstract: We are interested in high-order linear multistep schemes for time discretization of adjoint equations arising within optimal control problems. First we consider optimal control problems for ordinary differential equations and show loss of accuracy for Adams-Moulton and Adams-Bashford methods, whereas BDF methods preserve high--order accuracy. Subsequently we extend these results to semi--lagrangian discretizations of hyperbolic relaxation systems. Computational results illustrate theoretical findings.


title: Highest Energy Proton-Nucleus Cross Sections

abstract: The description of very high energy proton-proton cross sections in terms of a `black disc' with an `edge' allows of a simple generalization to highest energy proton-nucleus cross sections. This results in a leading $ln^2W$ term and a $ln\, W$ term whose coefficient depends linearly on the radius of the nucleus ($W$ the c.m. energy). The necessary parameters are determined from the fits to p-p data. Since the coefficient of the $ln W$ term is rather large, it is doubtful that the regime of $ln^2W$ dominance can be reached with available energies in accelerators or cosmic rays. However, the $ln W$ term can be relevant for highest energy cosmic rays in the atmosphere, where a large increase for the cross section on nitrogen is expected. Tests of the theory should be possible by studying the coefficient of $ln W$ at p-nucleus colliders.


title: Spacetime-Entangled Networks (I) Relativity and Observability of Stepwise Consensus

abstract: Consensus protocols can be an effective tool for synchronizing small amounts of data over small regions. We describe the concept and implementation of entangled links, applied to data transmission, using the framework of Promise Theory as a tool to help bring certainty to distributed consensus. Entanglement describes co-dependent evolution of state. Networks formed by entanglement of agents keep certain promises: they deliver sequential messages, end-to-end, in order, and with atomic confirmation of delivery to both ends of the link. These properties can be used recursively to assure a hierarchy of conditional promises at any scale. This is a useful property where a consensus of state or `common knowledge' is required. We intentionally straddle theory and implementation in this discussion.


title: Special K\"ahler structures, cubic differentials and hyperbolic metrics

abstract: We obtain necessary conditions for the existence of special K\"ahler structures with isolated singularities on compact Riemann surfaces. We prove that these conditions are also sufficient in the case of the Riemann sphere and, moreover, we determine the whole moduli space of special K\"ahler structures with fixed singularities. The tool we develop for this aim is a correspondence between special K\"ahler structures and pairs consisting of a cubic differential and a hyperbolic metric.


title: The light speed vs the observer: the Kennedy-Thorndike test from GRAAL-ESRF

abstract: High precision tests of the light speed constancy for all observers as of empirical basis of the Special Relativity have continuously been among the goals of advanced experimental studies. Based on the Compton Edge method proposed by us [1], a constraint on the one-way light speed isotropy and the Lorentz invariance violation has been obtained at the dedicated GRAAL experiment at European Synchrotron Radiation Facility (ESRF, Grenoble) [2-5]. Using the GRAAL's data we now get a new constraint on one of key tests of Special Relativity - the Kennedy-Thorndike experiment [6] - in probing the light speed invariance with respect to the velocity of the observer (apparatus). Our analysis takes advantage of GRAAL's setup where two separate energy scales are involved: first, via the position of the Compton Edge determining the light speed in the reference frame of incident 6 GeV electrons within the tagging system, second, in the calorimeter via the 1.27 MeV photons of the ^22 Na source. The two energy scales are engaged to each other through production of $\eta$ mesons by tagged laser Compton backscattered $\gamma$-rays. Accuracy of the calibration and stability of energies reached in each section enable us to obtain the limit 7 10^-12 for the Kennedy-Thorndike test, which improves the currently existing limits by three orders of magnitude.

categories: physics.ins-det astro-ph.HE gr-qc physics.acc-ph physics.class-ph


title: Matrix Models of Strength Distributions

abstract: In this work we use matrix models to study the problem of strength distributions. This is motivated by noticing near exponential fall offs of strengths in calculated magnetic dipole excitations. We emphasize that the quality of the exponential fall offs depend on the parameters in our matrices, especially the relative size of the couplings to the unperturbed level separations. We also find a matrix for which all transitions vanish.


title: Bond and site color-avoiding percolation in scale free networks

abstract: Recently the problem of classes of vulnerable vertices (represented by colors) in complex networks has been discussed, where all vertices with the same vulnerability are prone to fail together. Utilizing redundant paths each avoiding one vulnerability (color), a robust color-avoiding connectivity is possible. However, many infrastructure networks show the problem of vulnerable classes of \textit{edges} instead of vertices. Here we formulate color-avoiding percolation for colored edges as well. Additionally, we allow for random failures of vertices or edges. The interplay of random failures and possible collective failures implies a rich phenomenology. A new form of critical behavior is found for networks with a power law degree distribution independent of the number of the colors, but still dependent on existence of the colors and therefore different from standard percolation. Our percolation framework fills a gap between different multilayer network percolation scenarios.


title: Large Positive and Negative Values of Hardy's $Z$-Function

abstract: Let $Z(t):=\zeta\left(\frac{1}{2}+it\right)\chi^{-\frac{1}{2}}\left(\frac{1}{2}+it\right)$ be Hardy's function, where the Riemann zeta function $\zeta(s)$ has the functional equation $\zeta(s)=\chi(s)\zeta(1-s)$. We prove that for any $\epsilon>0$, \begin{align*} &\quad\max_{T^{3/4}\leq t\leq T} Z(t) \gg \exp\left(\left(\frac{1}{2}-\epsilon\right)\sqrt{\frac{\log T\log\log\log T}{\log\log T}}\right)\\ \text{ and }& \max_{T^{3/4}\leq t\leq T}- Z(t) \gg \exp\left(\left(\frac{1}{2}-\epsilon\right)\sqrt{\frac{\log T\log\log\log T}{\log\log T}}\right). \end{align*}


title: Iterative Interaction Training for Segmentation Editing Networks

abstract: Automatic segmentation has great potential to facilitate morphological measurements while simultaneously increasing efficiency. Nevertheless often users want to edit the segmentation to their own needs and will need different tools for this. There has been methods developed to edit segmentations of automatic methods based on the user input, primarily for binary segmentations. Here however, we present an unique training strategy for convolutional neural networks (CNNs) trained on top of an automatic method to enable interactive segmentation editing that is not limited to binary segmentation. By utilizing a robot-user during training, we closely mimic realistic use cases to achieve optimal editing performance. In addition, we show that an increase of the iterative interactions during the training process up to ten improves the segmentation editing performance substantially. Furthermore, we compare our segmentation editing CNN (interCNN) to state-of-the-art interactive segmentation algorithms and show a superior or on par performance.


title: Explainable Neural Computation via Stack Neural Module Networks

abstract: In complex inferential tasks like question answering, machine learning models must confront two challenges: the need to implement a compositional reasoning process, and, in many applications, the need for this reasoning process to be interpretable to assist users in both development and prediction. Existing models designed to produce interpretable traces of their decision-making process typically require these traces to be supervised at training time. In this paper, we present a novel neural modular approach that performs compositional reasoning by automatically inducing a desired sub-task decomposition without relying on strong supervision. Our model allows linking different reasoning tasks though shared modules that handle common routines across tasks. Experiments show that the model is more interpretable to human evaluators compared to other state-of-the-art models: users can better understand the model's underlying reasoning procedure and predict when it will succeed or fail based on observing its intermediate outputs.


title: Power bounded weighted composition operators on function spaces defined by local properties

abstract: We study power boundedness and related properties such as mean ergodicity for (weighted) composition operators on function spaces defined by local properties. As a main application of our general approach we characterize when (weighted) composition operators are power bounded, topologizable, and (uniformly) mean ergodic on kernels of certain linear partial differential operators including elliptic operators as well as non-degenrate parabolic operators. Moreover, under mild assumptions on the weight and the symbol we give a characterisation of those weighted composition operators on the Fr\'echet space of continuous functions on a locally compact, $\sigma$-compact, non-compact Hausdorff space which are generators of strongly continuous semigroups on these spaces.


title: Superexchange tunneling conductance in molecular wires

abstract: The modified superexchange model is used to derive the expression for nonresonant tunneling conductance mediated by localized and delocalized molecular orbitals associated with the terminal and the interior molecular units respectively. The model is shown to work as long as delocalization of electron density in the chain's molecular orbitals is sustained during the tunneling. The criteria for reduction of the superexchange model of charge tunneling to the flat barrier model are formulated and the parameters of the barrier model (energy gap and effective electron mass) are specified in the terms of inter-site coupling and energy distance from the Fermi level to the delocalized wire's HOMO level. Application of the theory tothe experiment shows that the modified superexchange model is quite appropriate to explain the experimental results in case of the nonresonance tunneling conductance in --(CH$_2)$$_N$--NH$_2$ and HOOC--(CH$_2)$$_N$--COOH molecular wires.


title: T-matrix formulation of real-space dynamical mean-field theory and the Friedel sum rule for correlated lattice fermions

abstract: We formulate real-space dynamical mean-field theory within scattering theory. Thereby the Friedel sum rule is derived for interacting lattice fermions at zero temperature.


title: The Concept, Principles of Design and Implementation of the University Cloud-based Learning and Research Environment

abstract: The scientific and methodological background of creation and development of the university cloud-based learning and research environment is substantiated. The conceptual and terminology body of the cloud-based environment investigation is defined, the main features of such environment are revealed. The main methodological principles of the environment design and development are considered among them there are the principles of open education, open science and also the specific principles inherent to the cloud-based systems. The general model of the university cloud-based learning and research environment formation is substantiated and six main stages of this environment formation are distinguished in the model. The cloud-based environment functions, content and tools are revealed in accordance with the proposed methodological principles, the criteria for the estimation of this environment efficiency are elaborated. The results of implementation and experimental research of the cloud-based environment formation at the National University of Life and Environmental Sciences of Ukraine are described. The influence of different environment components use on students' success is explored.


title: The Cryogenic AntiCoincidence detector for ATHENA X-IFU: assessing the role of the athermal phonons collectors in the AC-S8 prototype

abstract: The ATHENA X-ray Observatory is the second large-class mission in the ESA Cosmic Vision 2015-2025 science programme. One of the two on-board instruments is the X-IFU, an imaging spectrometer based on a large array of TES microcalorimeters. To reduce the particle-induced background, the spectrometer works in combination with a Cryogenic Anticoincidence detector (CryoAC), placed less than 1 mm below the TES array. The last CryoAC single-pixel prototypes, namely AC-S7 and AC-S8, are based on large area (1 cm2) Silicon absorbers sensed by 65 parallel-connected iridium TES. This design has been adopted to improve the response generated by the athermal phonons, which will be used as fast anticoincidence flag. The latter sample is featured also with a network of Aluminum fingers directly connected to the TES, designed to further improve the athermals collection efficiency. In this paper we will report the main results obtained with AC-S8, showing that the additional fingers network is able to increase the energy collected from the athermal part of the pulses (from the 6% of AC-S7 up to the 26 % with AC-S8). Furthermore, the finger design is able to prevent the quasiparticle recombination in the aluminum, assuring a fast pulse rising front (L/R limited). In our road map, the AC-S8 prototype is the last step before the development of the CryoAC Demonstration Model (DM), which will be the detector able to demonstrate the critical technologies expected in the CryoAC development programme.


title: The Problems of Personnel Training for STEM Education in the Modern Innovative Learning and Research Environment

abstract: The aim of the article is to describe the problems of personnel training that arise in view of extension of the STEM approach to education, development of innovative technologies, in particular, virtualization, augmented reality, the use of ICT outsourcing in educational systems design. The object of research is the process of formation and development of the educational and scientific envi- ronment of educational institution. The subject of the study is the formation and development of the cloud-based learning and research environment for STEM education. The methods of research are: the analysis of publications on the prob- lem, generalization of domestic and foreign experience, theoretical analysis, sys- tem analysis, systematization and generalization of research facts and laws for the development and design of the model of the cloud-based learning environ- ment, substantiation of the main conclusions. The results of the research are the next: the concepts and the model of the cloud-based environment of STEM edu- cation is substantiated, the problems of personnel training at the present stage are outlined.


title: MVDepthNet: Real-time Multiview Depth Estimation Neural Network

abstract: Although deep neural networks have been widely applied to computer vision problems, extending them into multiview depth estimation is non-trivial. In this paper, we present MVDepthNet, a convolutional network to solve the depth estimation problem given several image-pose pairs from a localized monocular camera in neighbor viewpoints. Multiview observations are encoded in a cost volume and then combined with the reference image to estimate the depth map using an encoder-decoder network. By encoding the information from multiview observations into the cost volume, our method achieves real-time performance and the flexibility of traditional methods that can be applied regardless of the camera intrinsic parameters and the number of images. Geometric data augmentation is used to train MVDepthNet. We further apply MVDepthNet in a monocular dense mapping system that continuously estimates depth maps using a single localized moving camera. Experiments show that our method can generate depth maps efficiently and precisely.


title: Particle-scale statistical theory for hydrodynamically induced polar ordering in microswimmer suspensions

abstract: Previous particle-based computer simulations have revealed a significantly more pronounced tendency of spontaneous global polar ordering in puller (contractile) microswimmer suspensions than in pusher (extensile) suspensions. We here evaluate a microscopic statistical theory to investigate the emergence of such order through a linear instability of the disordered state. For this purpose, input concerning the orientation-dependent pair-distribution function is needed, and we discuss corresponding approaches, particularly a heuristic variant of the Percus test-particle method applied to active systems. Our theory identifies an inherent evolution of polar order in planar systems of puller microswimmers, if mutual alignment due to hydrodynamic interactions overcomes the thermal dealignment by rotational diffusion. In the theory, the cause of orientational ordering can be traced back to the actively induced hydrodynamic rotation--translation coupling between the swimmers. Conversely, disordered pusher suspensions remain linearly stable against homogeneous polar orientational ordering. We expect that our results can be confirmed in experiments on (semi-)dilute active microswimmer suspensions, based, for instance, on biological pusher- and puller-type swimmers.


title: The Cryogenic AntiCoincidence detector for ATHENA X-IFU: improvement of the test setup towards the Demonstration Model

abstract: The ATHENA X-IFU development program foresees to build and characterize an instrument Demonstration Model (DM), in order to probe the system critical technologies before the mission adoption. In this respect, we are now developing the DM of the X-IFU Cryogenic Anticoincidence Detector (CryoAC), which will be delivered to the Focal Plane Assembly (FPA) development team for the integration with the TES array. Before the delivery, we will characterize and test the CryoAC DM in our CryoLab at INAF/IAPS. In this paper we report the main results of the activities performed to improve our cryogenic test setup, making it suitable for the DM integration. These activities mainly consist in the development of a mechanichal setup and a cryogenic magnetic shielding system, whose effectiveness has been assessed by FEM simulations and a measurement at warm. The preliminary performance test has been performed by means of the last CryoAC single pixel prototype, the AC-S8 pre-DM sample.


title: Real-space dynamical mean-field theory of Friedel oscillations in strongly correlated electron systems

abstract: We study Friedel oscillations and screening effects of the impurity potential in the Hubbard model. Electronic correlations are accounted for by solving the real-space dynamical mean-field theory equations using the continuous time quantum Monte-Carlo simulations at finite temperatures and using a homogeneous self-energy approximation with the numerical renormalization group at zero temperature. We find that in the Fermi liquid phase both the amplitudes of Friedel oscillations and the screening charge decrease with increasing the interaction and follow the behavior of the Fermi liquid renormalization factor. Inside the Mott insulator regime the Friedel oscillations are absent but the residual screening charge remains finite.


title: Search for Higgs boson pair production in the $\gamma\gamma WW^{*}$ channel using $pp$ collision data recorded at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: Searches for non-resonant and resonant Higgs boson pair production are performed in the $\gamma\gamma WW^{*}$ channel with the final state of $\gamma\gamma\ell\nu jj$ using 36.1 fb$^{-1}$ of proton-proton collision data recorded at a centre-of-mass energy of $\sqrt{s} = 13$ TeV by the ATLAS detector at the Large Hadron Collider. No significant deviation from the Standard Model prediction is observed. A 95% confidence-level observed upper limit of 7.7 pb is set on the cross section for non-resonant production, while the expected limit is 5.4 pb. A search for a narrow-width resonance $X$ decaying to a pair of Standard Model Higgs bosons $HH$ is performed with the same set of data, and the observed upper limits on $\sigma(pp \rightarrow X) \times B(X \rightarrow HH)$ range between 40.0 pb and 6.1 pb for masses of the resonance between 260 GeV and 500 GeV, while the expected limits range between 17.6 pb and 4.4 pb. When deriving the limits above, the Standard Model branching ratios of the $H \rightarrow \gamma\gamma$ and $H \rightarrow WW^{*}$ are assumed.


title: Strain dependence of photoluminescence and circular dichroism in transition metal dichalcogenides: a k.p analysis

abstract: Within a two-band $k\cdot p$ method we analyze different types of strain for the $K$ valley optical characteristics of a freestanding monolayer MoS$_2$, MoSe$_2$, WS$_2$ and WSe$_2$. We predict that circular polarization selectivity for energies above the direct transition onset deteriorates/improves by tensile/compressive strain. Wide range of available strained-sample photoluminescence data can be reasonably reproduced by this simple bandstructure combined with accounting for excitons at a variational level. According to this model strain impacts optoelectronic properties through its hydrostatic component, whereas the shear strain only causes a rigid wavevector shift of the valley. Furthermore, under the stress loading of flexible substrates the presence of Poisson's effect or the lack of it are examined individually for the reported measurements.


title: Low-Cost and Low-Weight Horn and Reflector Antennas through 3D Printing

abstract: The revolution that wireless communication is suffering during the last decades has increased the need for antennas where performances such as lightweight, rapid manufacturing and portability run in parallel with their electric performance. The maker revolution in which 3D printers can help manufacturing customized, high performance, lightweight and rapid manufacturing antennas is a fact to be explored. This paper discusses the design, simulation and 3D printing of an offaxis reflector antenna. The proposed design is composed of a parabolic reflector and an X band circular horn antenna as a feed. By adding a dielectric rod waveguide (DRW) to the feed, a rotationally symmetric radiation pattern, similar to the one with a corrugated horn, is achieved.


title: Big data analyses reveal patterns and drivers of the movements of southern elephant seals

abstract: The growing number of large databases of animal tracking provides an opportunity for analyses of movement patterns at the scales of populations and even species. We used analytical approaches, developed to cope with big data, that require no a priori assumptions about the behaviour of the target agents, to analyse a pooled tracking dataset of 272 elephant seals (Mirounga leonina) in the Southern Ocean, that was comprised of >500,000 location estimates collected over more than a decade. Our analyses showed that the displacements of these seals were described by a truncated power law distribution across several spatial and temporal scales, with a clear signature of directed movement. This pattern was evident when analysing the aggregated tracks despite a wide diversity of individual trajectories. We also identified marine provinces that described the migratory and foraging habitats of these seals. Our analysis provides evidence for the presence of intrinsic drivers of movement, such as memory, that cannot be detected using common models of movement behaviour. These results highlight the potential for big data techniques to provide new insights into movement behaviour when applied to large datasets of animal tracking.

categories: q-bio.QM physics.bio-ph physics.data-an q-bio.PE


title: Invisible Steganography via Generative Adversarial Networks

abstract: Nowadays, there are plenty of works introducing convolutional neural networks (CNNs) to the steganalysis and exceeding conventional steganalysis algorithms. These works have shown the improving potential of deep learning in information hiding domain. There are also several works based on deep learning to do image steganography, but these works still have problems in capacity, invisibility and security. In this paper, we propose a novel CNN architecture named as \isgan to conceal a secret gray image into a color cover image on the sender side and exactly extract the secret image out on the receiver side. There are three contributions in our work: (i) we improve the invisibility by hiding the secret image only in the Y channel of the cover image; (ii) We introduce the generative adversarial networks to strengthen the security by minimizing the divergence between the empirical probability distributions of stego images and natural images. (iii) In order to associate with the human visual system better, we construct a mixed loss function which is more appropriate for steganography to generate more realistic stego images and reveal out more better secret images. Experiment results show that ISGAN can achieve start-of-art performances on LFW, Pascal VOC2012 and ImageNet datasets.


title: Coexistence of Diamagnetism and Vanishingly Small Electrical Resistance at Ambient Temperature and Pressure in Nanostructures

abstract: The great practical utility has motivated extensive efforts to discover ultra-low resistance electrical conductors and superconductors in ambience. Here we report the observation of vanishingly small electrical resistance at the ambient temperature and pressure conditions in films and pellets of a nanostructured material that is composed of silver particles embedded into a gold matrix. Upon cooling below a sample-specific temperature scale ($T_{C}$) as high as $286$ K, the film resistance drops below $\sim 2\mu\Omega$, being limited by measurement uncertainty. The corresponding resistivity ($\sim 10^{-12}$ $\Omega$.m) is at least four orders of magnitude below that of elemental noble metals, such as gold, silver or copper. Furthermore, the samples become strongly diamagnetic below $T_{C}$, with volume susceptibilities as low as -0.056. We additionally describe methods to tune $T_{C}$ to temperatures much higher than room temperature.


title: On Enumerating Distributions for Associated Vectors in the Entropy Space

abstract: This paper focuses on the problem of finding a distribution for an associated entropic vector in the entropy space nearest to a given, possibly non-entropic, target vector for random variables with a constraint on alphabet size. We show the feasibility to find distribution for associated vector via a sequence of perturbations in the probability mass function. Then we present an algorithm for numerically solving the problem together with extensions, applications, and comparison with the known results.


title: XMM-Newton detection of the 2.1 ms coherent pulsations from IGR J17379-3747

abstract: We report on the detection of X-ray pulsations at 2.1 ms from the known X-ray burster IGR J17379-3747 using XMM-Newton. The coherent signal shows a clear Doppler modulation from which we estimate an orbital period of ~1.9 hours and a projected semi-major axis of ~8 lt-ms. Taking into account the lack of eclipses (inclination angle of < 75 deg) and assuming a neutron star mass of 1.4 Msun, we estimated a minimum companion star of ~0.06 Msun. Considerations on the probability distribution of the binary inclination angle make less likely the hypothesis of a main-sequence companion star. On the other hand, the close correspondence with the orbital parameters of the accreting millisecond pulsar SAX J1808.4-3658 suggests the presence of a bloated brown dwarf. The energy spectrum of the source is well described by a soft disk black-body component (kT ~0.45 keV) plus a Comptonisation spectrum with photon index ~1.9. No sign of emission lines or reflection components is significantly detected. Finally, combining the source ephemerides estimated from the observed outbursts, we obtained a first constraint on the long-term orbital evolution of the order of dP_orb/dt = (-2.5 +/- 2.3)E-12 s/s.


title: Dynamical quantum correlations after sudden quenches

abstract: We employ the mean-field approach in the fermionic picture of the spin-1/2 XXZ chain to investigate the dynamics of bipartite quantum discord and concurrence under sudden quenching. In the case, when quenching is performed in the anisotropy from an initial value to the critical point, the quantum correlations show periodic cusps in time. Moreover, the first suppression (cusp) in quantum correlations can be explained in terms of the semi-classical picture of quasiparticle propagation. On the other hand, quenching to, as well as away from the criticality point shows that the longtime pairwise quantum discord gets enhanced from its initial state. Finally, we show that in the gapped region a quench in the transverse field displays survival of the next-nearest-neighbor quantum discord. Our results provide a further insight into the dynamical behavior of quantum correlations and their connections to quantum criticality.


title: Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

abstract: Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires modeling both structures and behaviour of systems. Unfortunately, existing languages do not integrate these aspects well, usually prioritizing one of them. It is common to develop a separate language for each of these facets. In this paper, we contribute Clafer: a small language that attempts to tackle this challenge. It combines rich structural modeling with state of the art behavioural formalisms. We are not aware of any other modeling language that seamlessly combines these facets common to system and software modeling. We show how Clafer, in a single unified syntax and semantics, allows capturing feature models (variability), component models, discrete control models (automata) and variability encompassing all these aspects. The language is built on top of first order logic with quantifiers over basic entities (for modeling structures) combined with linear temporal logic (for modeling behaviour). On top of this semantic foundation we build a simple but expressive syntax, enriched with carefully selected syntactic expansions that cover hierarchical modeling, associations, automata, scenarios, and Dwyer's property patterns. We evaluate Clafer using a power window case study, and comparing it against other notations that substantially overlap with its scope (SysML, AADL, Temporal OCL and Live Sequence Charts), discussing benefits and perils of using a single notation for the purpose.


title: Test and characterization of 400 Hamamatsu R5912-MOD photomultiplier tubes for the ICARUS T600 detector

abstract: ICARUS T600 will be operated as far detector of the Short Baseline Neutrino program at Fermilab (USA), which foresees three liquid argon time projection chambers along the Booster Neutrino Beam line to search for a LSND-like sterile neutrino signal. The detector employs 360 photomultiplier tubes, Hamamatsu model R5912-MOD, suitable for cryogenic applications. A total of 400 PMTs were procured from Hamamatsu and tested at room temperature to evaluate the performance of the devices and their compliance to detect the liquid argon scintillation light in the T600 detector. Furthermore 60 units were also characterized at cryogenic temperature, in liquid argon bath, to evaluate any parameter variation which could affect the scintillation light detection. All the tested PMTs were found to comply with the requirements of ICARUS T600 and a subset of 360 specimens was selected for the final installation in the detector.


title: Exploratory and Live, Programming and Coding: A Literature Study Comparing Perspectives on Liveness

abstract: Various programming tools, languages, and environments give programmers the impression of changing a program while it is running. This experience of liveness has been discussed for over two decades and a broad spectrum of research on this topic exists. Amongst others, this work has been carried out in the communities around three major ideas which incorporate liveness as an important aspect: live programming, exploratory programming, and live coding. While there have been publications on the focus of each particular community, the overall spectrum of liveness across these three communities has not been investigated yet. Thus, we want to delineate the variety of research on liveness. At the same time, we want to investigate overlaps and differences in the values and contributions between the three communities. Therefore, we conducted a literature study with a sample of 212 publications on the terms retrieved from three major indexing services. On this sample, we conducted a thematic analysis regarding the following aspects: motivation for liveness, application domains, intended outcomes of running a system, and types of contributions. We also gathered bibliographic information such as related keywords and prominent publications. Besides other characteristics the results show that the field of exploratory programming is mostly about technical designs and empirical studies on tools for general-purpose programming. In contrast, publications on live coding have the most variety in their motivations and methodologies with a majority being empirical studies with users. As expected, most publications on live coding are applied to performance art. Finally, research on live programming is mostly motivated by making programming more accessible and easier to understand, evaluating their tool designs through empirical studies with users. In delineating the spectrum of work on liveness, we hope to make the individual communities more aware of the work of the others. Further, by giving an overview of the values and methods of the individual communities, we hope to provide researchers new to the field of liveness with an initial overview.


title: An Improved Speedup Factor for Sporadic Tasks with Constrained Deadlines under Dynamic Priority Scheduling

abstract: Schedulability is a fundamental problem in real-time scheduling, but it has to be approximated due to the intrinsic computational hardness. As the most popular algorithm for deciding schedulability on multiprocess platforms, the speedup factor of partitioned-EDF is challenging to analyze and is far from been determined. Partitioned-EDF was first proposed in 2005 by Barush and Fisher [1], and was shown to have a speedup factor at most 3-1/m, meaning that if the input of sporadic tasks is feasible on m processors with speed one, partitioned-EDF will always return succeeded on m processors with speed 3-1/m. In 2011, this upper bound was improved to 2.6322-1/m by Chen and Chakraborty [2], and no more improvements have appeared ever since then. In this paper, we develop a novel method to discretize and regularize sporadic tasks, which enables us to improve, in the case of constrained deadlines, the speedup factor of partitioned-EDF to 2.5556-1/m, very close to the asymptotic lower bound 2.5 in [2].


title: Infinite Latin Squares: Neighbor Balance and Orthogonality

abstract: Regarding neighbor balance, we consider natural generalizations of $D$-complete Latin squares and Vatican squares from the finite to the infinite. We show that if $G$ is an infinite abelian group with $|G|$-many square elements, then it is possible to permute the rows and columns of the Cayley table to create an infinite Vatican square. We also construct a Vatican square of any given infinite order that is not obtainable by permuting the rows and columns of a Cayley table. Regarding orthogonality, we show that every infinite group $G$ has a set of $|G|$ mutually orthogonal orthomorphisms and hence there is a set of $|G|$ mutually orthogonal Latin squares based on $G$. We show that an infinite group $G$ with $|G|$-many square elements has a strong complete mapping; and, with some possible exceptions, infinite abelian groups have a strong complete mapping.


title: Electric field induced gelation in aqueous nanoclay suspensions

abstract: Aqueous colloidal Laponite clay suspensions transform spontaneously to a soft solid-like arrested state as its aging or waiting time increases. This article reports the rapid transformation of aqueous Laponite suspensions into soft solids due to the application of a DC electric field. A substantial increase in the speed of solidification at higher electric field strengths is also observed. The electric field is applied across two parallel brass plates immersed in the Laponite suspension. The subsequent solidification that takes place on the surface of the positive electrode is attributed to the dominant negative surface charges on the Laponite particles and the associated electrokinetic phenomena. With increasing electric field strength, a dramatic increase is recorded in the elastic moduli of the samples. These electric field induced Laponite soft solids demonstrate all the typical rheological characteristics of soft glassy materials. They also exhibit a two-step shear melting process similar to that observed in attractive soft glasses. The microstructures of the samples, studied using cryo-scanning electron microscopy (SEM), are seen to consist of percolated network gel-like structures, with the connectivity of the gel network increasing with increasing electric field strengths. In comparison with salt induced gels, the electric field induced gels studied here are mechanically stronger and more stable over longer periods of time


title: Person Search by Multi-Scale Matching

abstract: We consider the problem of person search in unconstrained scene images. Existing methods usually focus on improving the person detection accuracy to mitigate negative effects imposed by misalignment, mis-detections, and false alarms resulted from noisy people auto-detection. In contrast to previous studies, we show that sufficiently reliable person instance cropping is achievable by slightly improved state-of-the-art deep learning object detectors (e.g. Faster-RCNN), and the under-studied multi-scale matching problem in person search is a more severe barrier. In this work, we address this multi-scale person search challenge by proposing a Cross-Level Semantic Alignment (CLSA) deep learning approach capable of learning more discriminative identity feature representations in a unified end-to-end model. This is realised by exploiting the in-network feature pyramid structure of a deep neural network enhanced by a novel cross pyramid-level semantic alignment loss function. This favourably eliminates the need for constructing a computationally expensive image pyramid and a complex multi-branch network architecture. Extensive experiments show the modelling advantages and performance superiority of CLSA over the state-of-the-art person search and multi-scale matching methods on two large person search benchmarking datasets: CUHK-SYSU and PRW.


title: Hardware Optimizations of Dense Binary Hyperdimensional Computing: Rematerialization of Hypervectors, Binarized Bundling, and Combinational Associative Memory

abstract: Brain-inspired hyperdimensional (HD) computing models neural activity patterns of the very size of the brain's circuits with points of a hyperdimensional space, that is, with hypervectors. Hypervectors are $D$-dimensional (pseudo)random vectors with independent and identically distributed (i.i.d.) components constituting ultra-wide holographic words: $D = 10,000$ bits, for instance. At its very core, HD computing manipulates a set of seed hypervectors to build composite hypervectors representing objects of interest. It demands memory optimizations with simple operations for an e cient hardware realization. In this paper, we propose hardware techniques for optimizations of HD computing, in a synthesizable VHDL library, to enable co-located implementation of both learning and classification tasks on only a small portion of Xilinx(R) UltraScale(TM) FPGAs: (1) We propose simple logical operations to rematerialize the hypervectors on the fly rather than loading them from memory. These operations massively reduce the memory footprint by directly computing the composite hypervectors whose individual seed hypervectors do not need to be stored in memory. (2) Bundling a series of hypervectors over time requires a multibit counter per every hypervector component. We instead propose a binarized back-to-back bundling without requiring any counters. This truly enables on-chip learning with minimal resources as every hypervector component remains binary over the course of training to avoid otherwise multibit component. (3) For every classification event, an associative memory is in charge of finding the closest match between a set of learned hypervectors and a query hypervector by using a distance metric. This operator is proportional to [...]


title: Femtosecond Laser Induced Coulomb Explosion Imaging of Aligned OCS Oligmers inside Helium Nanodroplets

abstract: Dimers and trimers of carbonyl sulfide (OCS) molecules embedded in helium nanodroplets are aligned by a linearly polarized 160 ps long moderately intense laser pulse and Coulomb exploded with an intense 40 fs long probe pulse in order to determine their structures. For the dimer, recording of 2D images of OCS$^+$ and S$^+$ ions and covariance analysis of the emission directions of the ions allow us to conclude that the structure is a slipped-parallel shape similar to the structure found for gas phase dimers. For the trimer, the OCS$^+$ ion images and corresponding covariance maps reveal the presence of a barrel-shaped structure (as in gas phase) but also other structures not present in the gas phase, most notably a linear chain structure.


title: A refined mean field approximation of synchronous discrete-time population models

abstract: Mean field approximation is a popular method to study the behaviour of stochastic models composed of a large number of interacting objects. When the objects are asynchronous, the mean field approximation of a population model can be expressed as an ordinary differential equation. When the objects are (clock-) synchronous the mean field approximation is a discrete time dynamical system. We focus on the latter.We study the accuracy of mean field approximation when this approximation is a discrete-time dynamical system. We extend a result that was shown for the continuous time case and we prove that expected performance indicators estimated by mean field approximation are $O(1/N)$-accurate. We provide simple expressions to effectively compute the asymptotic error of mean field approximation, for finite time-horizon and steady-state, and we use this computed error to propose what we call a \emph{refined} mean field approximation. We show, by using a few numerical examples, that this technique improves the quality of approximation compared to the classical mean field approximation, especially for relatively small population sizes.


title: A Queuing Model for CPU Functional Unit and Issue Queue Configuration

abstract: In a superscalar processor, instructions of various types flow through an execution pipeline, traversing hardware resources which are mostly shared among many different instruction types. A notable exception to shared pipeline resources is the collection of functional units, the hardware that performs specific computations. In a trade-off of cost versus performance, a pipeline designer must decide how many of each type of functional unit to place in a processor's pipeline. In this paper, we model a superscalar processor's issue queue and functional units as a novel queuing network. We treat the issue queue as a finite-sized waiting area and the functional units as servers. In addition to common queuing problems, customers of the network share the queue but wait for specific servers to become ready (e.g., addition instructions wait for adders). Furthermore, the customers in this queue are not necessary ready for service, since instructions may be waiting for operands. In this paper we model a novel queuing network that provides a solution to the expected queue length of each type of instruction. This network and its solution can also be generalized to other problems, notably other resource-allocation issues that arise in superscalar pipelines.


title: Deep Dialog Act Recognition using Multiple Token, Segment, and Context Information Representations

abstract: Dialog act (DA) recognition is a task that has been widely explored over the years. Recently, most approaches to the task explored different DNN architectures to combine the representations of the words in a segment and generate a segment representation that provides cues for intention. In this study, we explore means to generate more informative segment representations, not only by exploring different network architectures, but also by considering different token representations, not only at the word level, but also at the character and functional levels. At the word level, in addition to the commonly used uncontextualized embeddings, we explore the use of contextualized representations, which provide information concerning word sense and segment structure. Character-level tokenization is important to capture intention-related morphological aspects that cannot be captured at the word level. Finally, the functional level provides an abstraction from words, which shifts the focus to the structure of the segment. We also explore approaches to enrich the segment representation with context information from the history of the dialog, both in terms of the classifications of the surrounding segments and the turn-taking history. This kind of information has already been proved important for the disambiguation of DAs in previous studies. Nevertheless, we are able to capture additional information by considering a summary of the dialog history and a wider turn-taking context. By combining the best approaches at each step, we achieve results that surpass the previous state-of-the-art on generic DA recognition on both SwDA and MRDA, two of the most widely explored corpora for the task. Furthermore, by considering both past and future context, simulating annotation scenario, our approach achieves a performance similar to that of a human annotator on SwDA and surpasses it on MRDA.


title: Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

abstract: State-machine based notations are ubiquitous in the description of component systems, particularly in the robotic domain. To ensure these systems are safe and predictable, formal verification techniques are important, and can be cost-effective if they are both automated and scalable. In this paper, we present a verification approach for a diagrammatic state machine language that utilises theorem proving and a denotational semantics based on Unifying Theories of Programming (UTP). We provide the necessary theory to underpin state machines (including induction theorems for iterative processes), mechanise an action language for states and transitions, and use these to formalise the semantics. We then describe the verification approach, which supports infinite state systems, and exemplify it with a fully automated deadlock-freedom check. The work has been mechanised in our proof tool, Isabelle/UTP, and so also illustrates the use of UTP to build practical verification tools.


title: Tilt-induced kink in the plasmon dispersion of two-dimensional Dirac electrons

abstract: The list of two dimensional Dirac systems with a tilt in their Dirac cone spectrum is expanding, and now in addition to organic system $\alpha$(BEDT-TTF)$_2$I$_3$ includes the two dimensional $8Pmmn$-borophene sheet, which allows for controlled doping by the gate voltage. We analytically calculate the polarization function of tilted Dirac cone for arbitrary tilt parameter, $0\le \eta <1$, and arbitrary doping. This enables us to find two interesting plasmonic effects solely caused by the tilt: (i) In addition to the standard plasmon oscillations, strong enough tilt, induces an additional linearly dispersing overdamped branch of plasmons, which is strongly Landau damped due to overlap with a large density of intra-band free particle-hole (PH) excitations. (ii) There appears a kink in the plasmon dispersion for any non-zero tilt parameter. The kink appears when the plasmon branch enters the inter-band continuum of PH excitations. This kink becomes most manifest for wave vectors perpendicular to the tilt direction and fades away by approaching the tilt direction. Experimental measurement of the wave vector and energy of the plasmonic kink, when combined with our analytic formula for the kink energy scale, allows for a direct experimental measurement of the tilt parameter.


title: Ideal Preconditioners for Saddle Point Systems with a Rank-Deficient Leading Block

abstract: We consider the iterative solution of symmetric saddle point systems with a rank-deficient leading block. We develop two preconditioners that, under certain assumptions on the rank structure of the system, yield a preconditioned matrix with a constant number of eigenvalues. We then derive some properties of the inverse of a particular class of saddle point system and exploit these to develop a third preconditioner, which remains ideal even when the earlier assumptions on rank structure are relaxed.


title: On a class of non-Hermitian matrices with positive definite Schur complements

abstract: Given a positive definite matrix $A\in \mathbb{C}^{n\times n}$ and a Hermitian matrix $D\in \mathbb{C}^{m\times m}$, we characterize under which conditions there exists a strictly contractive matrix $K\in \mathbb{C}^{n\times m}$ such that the non-Hermitian block-matrix \[ \left[ \begin{array}{cc} A & -AK \\ K^*A & D \end{array} \right] \] has a positive definite Schur complement with respect to its submatrix~$A$. Additionally, we show that~$K$ can be chosen such that diagonalizability of the block-matrix is guaranteed and we compute its spectrum. Moreover, we show a connection to the recently developed frame theory for Krein spaces.


title: Investigating the Rotational Phase of Stellar Flares on M dwarfs Using K2 Short Cadence Data

abstract: We present an analysis of K2 short cadence data of 34 M dwarfs which have spectral types in the range M0 - L1. Of these stars, 31 showed flares with a duration between $\sim$10-90 min. Using distances obtained from Gaia DR2 parallaxes, we determined the energy of the flares to be in the range $\sim1.2\times10^{29}-6\times10^{34}$ erg. In agreement with previous studies we find rapidly rotating stars tend to show more flares, with evidence for a decline in activity in stars with rotation periods longer than $\sim$10 days. The rotational modulation seen in M dwarf stars is widely considered to result from a starspot which rotates in and out of view. Flux minimum is therefore the rotation phase where we view the main starspot close to the stellar disk center. Surprisingly, having determined the rotational phase of each flare in our study we find none show any preference for rotational phase. We outline three scenarios which could account for this unexpected finding. The relationship between rotation phase and flare rate will be explored further using data from wide surveys such as NGTS and TESS.