title: On the computational power and complexity of Spiking Neural Networks

abstract: The last decade has seen the rise of neuromorphic architectures based on artificial spiking neural networks, such as the SpiNNaker, TrueNorth, and Loihi systems. The massive parallelism and co-locating of computation and memory in these architectures potentially allows for an energy usage that is orders of magnitude lower compared to traditional Von Neumann architectures. However, to date a comparison with more traditional computational architectures (particularly with respect to energy usage) is hampered by the lack of a formal machine model and a computational complexity theory for neuromorphic computation. In this paper we take the first steps towards such a theory. We introduce spiking neural networks as a machine model where---in contrast to the familiar Turing machine---information and the manipulation thereof are co-located in the machine. We introduce canonical problems, define hierarchies of complexity classes and provide some first completeness results.


title: Rydberg-State-Resolved Resonant Energy Transfer in Cold Electric-Field-Controlled Intrabeam Collisions of NH$_3$ with Rydberg He Atoms

abstract: The resonant transfer of energy from the inversion sublevels in NH$_3$ to He atoms in triplet Rydberg states with principal quantum number $n=38$ has been controlled using electric fields below 15 V/cm in intrabeam collisions at translational temperatures of $\sim1$ K. The experiments were performed in pulsed supersonic beams of NH$_3$ seeded in He at a ratio of 1:19. The He atoms were prepared in the metastable 1s2s $^3$S$_1$ level in a pulsed electric discharge in the trailing part of the beams. The velocity slip between the heavy NH$_3$ and the lighter metastable He was exploited to perform collision studies at center-of-mass collision speeds of $\sim70$ m/s. Resonant energy transfer in the atom-molecule collisions was identified by Rydberg-state-selective electric-field ionization. The experimental data have been compared to a theoretical model of the resonant dipole-dipole interactions between the collision partners based on the impact parameter method.


title: Effect of Spin-Orbit Coupling on Decay Widths of Electronic Decay Processes

abstract: Auger-Meitner processes are electronic decay processes of energetically low-lying vacancies. In these processes, the vacancy is filled by an electron of an energetically higher lying orbital, while another electron is simultaneously emitted to the continuum. In low-lying orbitals relativistic effects can not even be neglected for light elements. At the same time lifetime calculations are computationally expensive. In this context, we investigate which effect spin-orbit coupling has on Auger-Meitner decay widths and aim for a rule of thumb for the relative decay widths of initial states split by spin-orbit coupling. We base this rule of thumb on Auger-Meitner decay widths of Sr4$p^{-1}$ and Ra6$p^{-1}$ obtained by relativistic FanoADC-Stieltjes calculations.


title: Marked point processes and intensity ratios for limit order book modeling

abstract: This paper extends the analysis of Muni Toke and Yoshida (2020) to the case of marked point processes. We consider multiple marked point processes with intensities defined by three multiplicative components, namely a common baseline intensity, a state-dependent component specific to each process, and a state-dependent component specific to each mark within each process. We show that for specific mark distributions, this model is a combination of the ratio models defined in Muni Toke and Yoshida (2020). We prove convergence results for the quasi-maximum and quasi-Bayesian likelihood estimators of this model and provide numerical illustrations of the asymptotic variances. We use these ratio processes in order to model transactions occuring in a limit order book. Model flexibility allows us to investigate both state-dependency (emphasizing the role of imbalance and spread as significant signals) and clustering. Calibration, model selection and prediction results are reported for high-frequency trading data on multiple stocks traded on Euronext Paris. We show that the marked ratio model outperforms other intensity-based methods (such as "pure" Hawkes-based methods) in predicting the sign and aggressiveness of market orders on financial markets.


title: Investigation of electron and phonon transport in Bi-doped CaMnO$_3$ for thermoelectric applications

abstract: Electron and phonon transports in CaMnO3 and its Bi-doped counterpart, Bi0.03Ca0.97MnO3, are investigated by thermoelectric transport measurements, Raman spectroscopy, and first-principles calculations. In particular, we focus on CaMnO3 and Bi0.03Ca0.97MnO3's electronic structures, temperature-dependent electron and phonon lifetimes, and their sound velocities. We find that the anti-ferromagnetic insulator CaMnO3 breaks the Wiedemann-Franz (WF) law with the Lorenz number reaching four times that of ordinary metals at room temperature. Bismuth doping reduces both the electrical resistivity and the Seebeck coefficient of CaMnO3, thus it recovers the WF law behavior. Raman spectroscopy confirms that Bi0.03Ca0.97MnO3 has a lower Debye frequency as well as a shorter phonon lifetime. As a result, Bi0.03Ca0.97MnO3 exhibits superior thermoelectric properties over the pristine CaMnO3 due to the lower thermal conductivity and electronic resistivity.


title: On the human evaluation of audio adversarial examples

abstract: Human-machine interaction is increasingly dependent on speech communication. Machine Learning models are usually applied to interpret human speech commands. However, these models can be fooled by adversarial examples, which are inputs intentionally perturbed to produce a wrong prediction without being noticed. While much research has been focused on developing new techniques to generate adversarial perturbations, less attention has been given to aspects that determine whether and how the perturbations are noticed by humans. This question is relevant since high fooling rates of proposed adversarial perturbation strategies are only valuable if the perturbations are not detectable. In this paper we investigate to which extent the distortion metrics proposed in the literature for audio adversarial examples, and which are commonly applied to evaluate the effectiveness of methods for generating these attacks, are a reliable measure of the human perception of the perturbations. Using an analytical framework, and an experiment in which 18 subjects evaluate audio adversarial examples, we demonstrate that the metrics employed by convention are not a reliable measure of the perceptual similarity of adversarial examples in the audio domain.


title: Scattering Properties and Dispersion Estimates for a One-Dimensional Discrete Dirac Equation

abstract: We derive dispersion estimates for solutions of a one-dimensional discrete Dirac equations with a potential. In particular, we improve our previous result, weakening the conditions on the potential. To this end we also provide new results concerning scattering for the corresponding perturbed Dirac operators which are of independent interest. Most notably, we show that the reflection and transmission coefficients belong to the Wiener algebra.


title: Linear-time Interval Algorithm For Time-varying Power Flow

abstract: Balanced steady operation state in power networks changes over time. Traditional power flow algorithm is focused on the steady operation state under a certain time point and calculates the corresponding voltage and power distributions for given nodal power injections and network topology. A linear-time interval algorithm for time-varying power flow is first proposed in this paper, which is focused on the balanced operation state under a time interval and computes the voltage and power distributions at any time point via a time-varying function, through which the power flow time-varying process is well represented in steady-date power networks. In this paper, a linear-time interval regarding nodal power injections is defined, in which the norms of nodal voltage derivatives and Jacobian matrix are analyzed, a combined time-varying nodal voltage function is proposed, and a linear-time interval algorithm for time-varying power flow with high accuracy is finally achieved, which is leveraged for simplifying the complexity of solving non-linear dynamic time-varying problems. Simulation case studies on IEEE 5-bus and modified 118-bus systems have demonstrated the effectiveness and efficiency of the proposed algorithm.


title: Cavity buildup dispersion spectroscopy

abstract: Measurements of ultrahigh-fidelity absorption spectra can help validate quantum theory, engineer ultracold chemistry, and remotely sense atmospheres. Recent achievements in cavity-enhanced spectroscopy using either frequency-based dispersion or time-based absorption approaches have set new records for accuracy with uncertainties at the sub-per-mil level. However, laser scanning5 or susceptibility to nonlinearities limits their ultimate performance. Here we present cavity buildup dispersion spectroscopy (CBDS) in which the dispersive frequency shift of a cavity resonance is encoded in the cavity's transient response to a phase-locked non-resonant laser excitation. Beating between optical frequencies during buildup exactly localizes detuning from mode center, and thus enables single-shot dispersion measurements. CBDS yields an accuracy limited by the chosen frequency standard, a speed limited by the cavity round-trip time, and is currently 50 times less susceptible to detection nonlinearity compared to intensity-based methods. The universality of CBDS shows promise for improving fundamental research into a variety of light-matter interactions.


title: A Closer Look at Lightweight Graph Reordering

abstract: Graph analytics power a range of applications in areas as diverse as finance, networking and business logistics. A common property of graphs used in the domain of graph analytics is a power-law distribution of vertex connectivity, wherein a small number of vertices are responsible for a high fraction of all connections in the graph. These richly-connected (hot) vertices inherently exhibit high reuse. However, their sparse distribution in memory leads to a severe underutilization of on-chip cache capacity. Prior works have proposed lightweight skew-aware vertex reordering that places hot vertices adjacent to each other in memory, reducing the cache footprint of hot vertices. However, in doing so, they may inadvertently destroy the inherent community structure within the graph, which may negate the performance gains achieved from the reduced footprint of hot vertices. In this work, we study existing reordering techniques and demonstrate the inherent tension between reducing the cache footprint of hot vertices and preserving original graph structure. We quantify the potential performance loss due to disruption in graph structure for different graph datasets. We further show that reordering techniques that employ fine-grain reordering significantly increase misses in the higher level caches, even when they reduce misses in the last-level cache. To overcome the limitations of existing reordering techniques, we propose Degree-Based Grouping (DBG), a novel lightweight reordering technique that employs a coarse-grain reordering to largely preserve graph structure while reducing the cache footprint of hot vertices. Our evaluation on 40 combinations of various graph applications and datasets shows that, compared to a baseline with no reordering, DBG yields an average application speed-up of 16.8% vs 11.6% for the best-performing existing lightweight technique.


title: The Evolutionary Status of Protostellar Clumps Hosting Class II Methanol Masers

abstract: The Methanol MultiBeam survey (MMB) provides the most complete sample of Galactic massive young stellar objects (MYSOs) hosting 6.7GHz class II methanol masers. We characterise the properties of these maser sources using dust emission detected by the Herschel Infrared Galactic Plane Survey (Hi-GAL) to assess their evolutionary state. Associating 731 (73%) of MMB sources with compact emission at four Hi-GAL wavelengths, we derive clump properties and define the requirements of a MYSO to host a 6.7GHz maser. The median far-infrared (FIR) mass and luminosity are 630M$_{\odot}$ and 2500L$_{\odot}$ for sources on the near side of Galactic centre and 3200M$_{\odot}$ and 10000L$_{\odot}$ for more distant sources. The median luminosity-to-mass ratio is similar for both at $\sim$4.2L$_{\odot}/$M$_{\odot}$. We identify an apparent minimum 70$\mu$m luminosity required to sustain a methanol maser of a given luminosity (with $L_{70} \propto L_{6.7}^{0.6}$). The maser host clumps have higher mass and higher FIR luminosities than the general Galactic population of protostellar MYSOs. Using principal component analysis, we find 896 protostellar clumps satisfy the requirements to host a methanol maser but lack a detection in the MMB. Finding a 70$\mu$m flux density deficiency in these objects, we favour the scenario in which these objects are evolved beyond the age where a luminous 6.7GHz maser can be sustained. Finally, segregation by association with secondary maser species identifies evolutionary differences within the population of 6.7GHz sources.


title: Low-Complexity LSTM Training and Inference with FloatSD8 Weight Representation

abstract: The FloatSD technology has been shown to have excellent performance on low-complexity convolutional neural networks (CNNs) training and inference. In this paper, we applied FloatSD to recurrent neural networks (RNNs), specifically long short-term memory (LSTM). In addition to FloatSD weight representation, we quantized the gradients and activations in model training to 8 bits. Moreover, the arithmetic precision for accumulations and the master copy of weights were reduced from 32 bits to 16 bits. We demonstrated that the proposed training scheme can successfully train several LSTM models from scratch, while fully preserving model accuracy. Finally, to verify the proposed method's advantage in implementation, we designed an LSTM neuron circuit and showed that it achieved significantly reduced die area and power consumption.


title: Model-independent constraints on Lorentz invariance violation: implication from updated Gamma-ray burst observations

abstract: Astrophysical observations provide a unique opportunity to test possible signatures of Lorentz Invariance Violation (LIV), due to the high energies and long distances involved. In quantum theory of gravity, one may expect the modification of the dispersion relation between energy and momentum for photons, which can be probed with the time-lag (the arrival time delay between light curves in different energy bands) of Gamma-ray bursts (GRBs). In this paper, by using the detailed time-delay measurements of GRB 160625B at different energy bands, as well as 23 time-delay GRBs covering the redshifts range of $z=0.168-2.5$ (which were measured at different energy channels from the light curves), we propose an improved model-independent method (based on the newly-compiled sample of $H(z)$ measurements) to probe the energy-dependent velocity due to the modified dispersion relation for photons. In the framework of a more complex and reasonable theoretical expression to describe the time delays, our results imply that the intrinsic time lags can be better described with more GRBs time delay data. More importantly, through direct fitting of the time-delay measurements of a sample of GRBs, our limit on the LIV energy scale is comparable to that with unknown constant for the intrinsic time lag, much lower than the Planck energy scale in both linear LIV and quadratic LIV cases.


title: Convection and Dynamo in Newly-born Neutron Stars

abstract: To study properties of magneto-hydrodynamic (MHD) convection and resultant dynamo activities in proto-neutron stars (PNSs), we construct a "PNS in a box" simulation model with solving compressible MHD equation coupled with a nuclear equation of state (EOS) and a simplified leptonic transport. As a demonstration, we apply it to two types of PNS models with different internal structures: fully-convective model and spherical-shell convection model. By varying the spin rate of models, the rotational dependence of convection and dynamo that operate inside the PNS is investigated. We find that, as a consequence of turbulent transport by rotating stratified convection, large-scale structures of flow and thermodynamic fields are developed in all models. Depending on the spin rate and the convection zone depth, various profiles of the large-scale structures are obtained, which can be physically understood as steady-state solutions to the "mean-field" equation of motion. Additionally to those hydrodynamic structures, the large-scale magnetic component with $\mathcal{O}(10^{15})$ G is also spontaneously organized in disordered tangled magnetic fields in all models. The higher the spin rate, the stronger the large-scale magnetic component is built up. Intriguingly, as an overall trend, the fully-convective models have a stronger large-scale magnetic component than that in the spherical-shell convection models. The deeper the convection zone extends, the larger the size of the convection eddies becomes. As a result, the rotationally-constrained convection seems to be more easily achieved in the fully-convective model, resulting in the higher efficiency of the large-scale dynamo there. To gain a better understanding of the origin of the diversity of NS's magnetic field, we need to study the PNS dynamo in a wider parameter range.


title: Free-algebra functors from a coalgebraic perspective

abstract: Given a set $\Sigma$ of equations, the free-algebra functor $F_{\Sigma}$ associates to each set $X$ of variables the free algebra $F_{\Sigma}(X)$ over $X$. Extending the notion of \emph{derivative} $\Sigma'$ for an arbitrary set $\Sigma$ of equations, originally defined by Dent, Kearnes, and Szendrei, we show that $F_\Sigma$ preserves preimages if and only if $\Sigma \vdash \Sigma'$, i.e. $\Sigma$ derives its derivative $\Sigma'$. If $F_\Sigma$ weakly preserves kernel pairs, then every equation $p(x,x,y)=q(x,y,y)$ gives rise to a term $s(x,y,z,u)$ such that $p(x,y,z)=s(x,y,z,z)$ and $q(x,y,z)=s(x,x,y,z)$. In this case n-permutable varieties must already be permutable, i.e. Mal'cev. Conversely, if $\Sigma$ defines a Mal'cev variety, then $F_\Sigma$ weakly preserves kernel pairs. As a tool, we prove that arbitrary $Set-$endofunctors $F$ weakly preserve kernel pairs if and only if they weakly preserve pullbacks of epis.


title: Impact-aware humanoid robot motion generation with a quadratic optimization controller

abstract: Impact-aware tasks (i.e. on purpose impacts) are not handled in multi-objective whole body controllers of hu-manoid robots. This leads to the fact that a humanoid robot typically operates at near-zero velocity to interact with the external environment. We explicitly investigate the propagation of the impact-induced velocity and torque jumps along the structure linkage and propose a set of constraints that always satisfy the hardware limits, sustain already established contacts and the stability measure, i.e. the zero moment point condition. Without assumptions on the impact location or timing, our proposed controller enables humanoid robots to generate non-zero contact velocity without breaking the established contacts or falling. The novelty of our approach lies in building on existing continuous dynamics whole body multi-objective controller without the need of reset-maps or hybrid control.


title: Generalizing Zeckendorf's Theorem to Homogeneous Linear Recurrences, I

abstract: Zeckendorf's theorem states that every positive integer can be written uniquely as the sum of non-consecutive shifted Fibonacci numbers $\{F_n\}$, where we take $F_1=1$ and $F_2=2$. This has been generalized for any Positive Linear Recurrence Sequence (PLRS), which informally is a sequence satisfying a homogeneous linear recurrence with a positive leading coefficient and non-negative integer coefficients. These decompositions are generalizations of base $B$ decompositions. In this and the follow-up paper, we provide two approaches to investigate linear recurrences with leading coefficient zero, followed by non-negative integer coefficients, with differences between indices relatively prime (abbreviated ZLRR). The first approach involves generalizing the definition of a legal decomposition for a PLRS found in Kolo\u{g}lu, Kopp, Miller and Wang. We prove that every positive integer $N$ has a legal decomposition for any ZLRR using the greedy algorithm. We also show that a specific family of ZLRRs loses uniqueness of decompositions. The second approach converts a ZLRR to a PLRR that has the same growth rate. We develop the Zeroing Algorithm, a powerful helper tool for analyzing the behavior of linear recurrence sequences. We use it to prove a very general result that guarantees the possibility of conversion between certain recurrences, and develop a method to quickly determine whether certain sequences diverge to $+\infty$ or $-\infty$, given any real initial values. This paper investigates the first approach.


title: Ada-LISTA: Learned Solvers Adaptive to Varying Models

abstract: Neural networks that are based on unfolding of an iterative solver, such as LISTA (learned iterative soft threshold algorithm), are widely used due to their accelerated performance. Nevertheless, as opposed to non-learned solvers, these networks are trained on a certain dictionary, and therefore they are inapplicable for varying model scenarios. This work introduces an adaptive learned solver, termed Ada-LISTA, which receives pairs of signals and their corresponding dictionaries as inputs, and learns a universal architecture to serve them all. We prove that this scheme is guaranteed to solve sparse coding in linear rate for varying models, including dictionary perturbations and permutations. We also provide an extensive numerical study demonstrating its practical adaptation capabilities. Finally, we deploy Ada-LISTA to natural image inpainting, where the patch-masks vary spatially, thus requiring such an adaptation.


title: Thermodynamics of dynamical wormholes

abstract: We study thermodynamics of dynamical traversable wormholes. These wormholes are investigated in the background of different cosmological models, with and without the cosmological constant, and which include the power-law and exponential cosmologies also. We work out the generalized surface gravity for wormholes of different shapes. The surface gravity is evaluated at the trapping horizon and the unified first law of thermodynamics is set up. The thermodynamic stability of these wormholes has also been investigated. Some cases of asymptotically flat, de Sitter and anti-de Sitter wormholes have been considered as well. Our results generalize those that exist for static Morris-Thorne wormholes.


title: Anomalous Phonon Renormalization in Single Crystal of Silicon

abstract: The temperature dependence of the first-order phonon mode of single crystal of Silicon (Si) is determined by Raman scattering in a broad temperature range of 4-623 K. Our studies reveal the anomalous red-shift of the Raman active phonon mode at temperature (~ 50 K) attributed to the anomalous expansion of Si in the low temperature region. Silicon shows negative thermal expansion below 120 K, however, odd behaviour is also observed at very low temperatures i.e., softening of the Si crystal is detected below 40 K. This peculiar behaviour of Si is described by the anomalous phonon anharmonicity observed at low temperature.


title: Study of semileptonic decay of $\bar{B}_s^0\to \phi l^+ l^-$ in QCD sum rule

abstract: In this work we study the semi-leptonic decay of $\bar{B}_s^0\to \phi l^+ l^-$($l=e, \mu, \tau$) with QCD sum rule method. We calculate the $\bar{B}_s^0\to \phi$ translation form factors relevant to this semi-leptonic decay, then the branching ratios of $\bar{B}_s^0\to \phi l^+ l^-$($l=e, \mu, \tau$) decays are calculated with the form factors obtained here. Our result for the branching ratio of $\bar{B}_s^0\to \phi\mu^+ \mu^-$ agrees very well with the recent experimental data. For the unmeasured decay modes such as $\bar{B}_s^0\to \phi e^+ e^-$ and $\bar{B}_s^0\to \phi\tau^+ \tau^-$, we give theoretical predictions.


title: Cryogenic frequency-domain electron spin resonance spectrometer based on coplanar waveguides and field modulation

abstract: We present an instrument to perform frequency-domain electron spin resonance (ESR) experiments that is based on coplanar waveguides and field modulation. A large parameter space in frequency (up to 25 GHz), magnetic field (up to 8 T), and temperature (down to 1.6 K) is accessible. We performed experiments on DPPH (2,2-diphenyl-1-picrylhydrazyl) as a standard to calibrate the field modulation as well as on a carbon fibre sample to estimate the overall sensitivity of the instruments. Spectra of a ruby sample in a broad frequency- and field range at cryogenic temperatures are recorded with and without field modulation. The comparison reveals the improved signal-to-noise ratio achieved by field modulation.


title: Exfoliated hexagonal BN as gate dielectric for InSb nanowire quantum dots with improved gate hysteresis and charge noise

abstract: We characterize InSb quantum dots induced by bottom finger gates within a nanowire that is grown via the vapor-liquid-solid process. The gates are separated from the nanowire by an exfoliated 35\,nm thin hexagonal BN flake. We probe the Coulomb diamonds of the gate induced quantum dot exhibiting charging energies of $\sim 2.5\,\mathrm{meV}$ and orbital excitation energies up to $0.3\,\mathrm{meV}$. The gate hysteresis for sweeps covering 5 Coulomb diamonds reveals an energy hysteresis of only $60\mathrm{\mu eV}$ between upwards and downwards sweeps. Charge noise is studied via long-term measurements at the slope of a Coulomb peak revealing potential fluctuations of $\sim 1\,\mu \mathrm{eV}/\mathrm{\sqrt{Hz}}$ at 1\,Hz. This makes h-BN the dielectric with the currently lowest gate hysteresis and lowest low-frequency potential fluctuations reported for low-gap III-V nanowires. The extracted values are similar to state-of-the art quantum dots within Si/SiGe and Si/SiO${_2}$ systems.


title: Applications of entropy of product systems: higher-rank graphs

abstract: We consider C*-algebras of finite higher-rank graphs along with their rotational action. We show how the entropy theory of product systems with finite frames applies to identify the phase transitions of the dynamics. We compute the positive inverse temperatures where symmetry breaks, and in particular we identify the subharmonic parts of the gauge-invariant equilibrium states. Our analysis applies to positively weighted rotational actions through a recalibration of the entropies.


title: Bunch width versus macrostep height: A quantitative study of the effects of step-step repulsion

abstract: Bunching of steps at the surface of growing crystals can be induced by both directions of the driving force: step up and step down. The processes happen in different adatom concentrations and differ in character. In this study we show how the overall picture of the bunching process depends on the strength of short range step-step repulsion. The repulsive interaction between steps, controlled by an additional parameter, is introduced into the recently studied atomistic scale model of vicinal crystal growth, based on cellular automata. It is shown that the repulsion modifies bunching process in a different way, depending on the direction of the destabilizing force. In particular, bunch profiles, stability diagrams and time-scaling dependences of various bunch properties are affected when the step-step repulsion increases. The repulsion between steps creates a competition between two characteristic sizes - bunch width and macrostep height, playing the role of the second length scale that describes the step bunching phenomenon. A new characteristic time scale dependent on the step-step repulsion parameter emerges as an effect of interplay between (01) faceted macrosteps and (11) faceted bunches. The bunch height being the major characteristic size of the bunches is not influenced dramatically by the repulsion.

categories: cond-mat.mtrl-sci nlin.CG nlin.PS physics.comp-ph


title: A proof of the Veselov Conjecture for segments

abstract: In this note, we prove Veselov's conjecture on the zeros of Wronskians whose entries are Hermite polynomials when the degrees of the polynomials are consecutive positive integres.


title: Shrinkage with Robustness: Log-Adjusted Priors for Sparse Signals

abstract: We introduce a new class of distributions named log-adjusted shrinkage priors for the analysis of sparse signals, which extends the three parameter beta priors by multiplying an additional log-term to their densities. The proposed prior has density tails that are heavier than even those of the Cauchy distribution and realizes the tail-robustness of the Bayes estimator, while keeping the strong shrinkage effect on noises. We verify this property via the improved posterior mean squared errors in the tail. An integral representation with latent variables for the new density is available and enables fast and simple Gibbs samplers for the full posterior analysis. Our log-adjusted prior is significantly different from existing shrinkage priors with logarithms for allowing its further generalization by multiple log-terms in the density. The performance of the proposed priors is investigated through simulation studies and data analysis.


title: MEGARA-GTC Stellar Spectral Library (I)

abstract: MEGARA (Multi Espectr{\'o}grafo en GTC de Alta Resoluci{\'o}n para Astronom{\'\i}a) is an optical (3650~--~9750\AA), fibre-fed, medium-high spectral resolution (R = 6000, 12000, 20000) instrument for the GTC 10.4m telescope, commissioned in the summer of 2017, and currently in operation. The scientific exploitation of MEGARA demands a stellar-spectra library to interpret galaxy data and to estimate the contribution of the stellar populations. This paper introduces the MEGARA-GTC spectral library, detailing the rationale behind the catalogue building. We present the spectra of 97 stars (21 individual stars and 56 members of the globular cluster M15, being both sub-samples taken during the commissioning runs; and 20 stars from our on-going GTC Open-Time program). The spectra have R~=~20000 in the HR-R and HR-I setups, centred at 6563 and 8633~\AA\ respectively. We describe the procedures to reduce and analyse the data. Then, we determine the best-fitting theoretical models to each spectrum through a $\chi^{2}$ minimisation technique to derive the stellar physical parameters and discuss the results. We have also measured some absorption lines and indices. Finally, this article introduces our project to complete the library and the database to make the spectra available to the community.


title: Stimulated Hawking Emission From Electromagnetic Analogue Black Hole: Theory and Observation

abstract: In this paper we consider possible analogue Hawking radiation from a normal dielectric and metamaterial composite, having an analogue horizon where the dielectric parameters vanish and change sign upon crossing this transition zone. We follow a complex path analysis to show the presence of an analogue Hawking temperature at the horizon and subsequent photon production from the ambient electromagnetic field. Possibility of experimental observation is also commented upon.


title: Strongly Stable and Maximum Weakly Stable Noncrossing Matchings

abstract: In IWOCA 2019, Ruangwises and Itoh introduced stable noncrossing matchings, where participants of each side are aligned on each of two parallel lines, and no two matching edges are allowed to cross each other. They defined two stability notions, strongly stable noncrossing matching (SSNM) and weakly stable noncrossing matching (WSNM), depending on the strength of blocking pairs. They proved that a WSNM always exists and presented an $O(n^{2})$-time algorithm to find one for an instance with $n$ men and $n$ women. They also posed open questions of the complexities of determining existence of an SSNM and finding a largest WSNM. In this paper, we show that both problems are solvable in polynomial time. Our algorithms are applicable to extensions where preference lists may include ties, except for one case which we show to be NP-complete. This NP-completeness holds even if each person's preference list is of length at most two and ties appear in only men's preference lists. To complement this intractability, we show that the problem is solvable in polynomial time if the length of preference lists of one side is bounded by one (but that of the other side is unbounded).


title: Dan Reznik's identities and more

abstract: Dan Reznik found, by computer experimentation, a number of conserved quantities associated with periodic billiard trajectories in ellipses. We prove some of his observations using a non-standard generating function for the billiard ball map. In this way, we also obtain some identities valid for all smooth convex billiard tables.


title: Charged particle dynamics near an X-point of a non-symmetric magnetic field with closed field lines

abstract: Understanding particle drifts in a non-symmetric magnetic field is of primary interest in designing optimized stellarators to minimize the neoclassical radial loss of particles. Quasisymmetry and omnigeneity, two distinct properties proposed to ensure radial localization of collisionless trapped particles in stellarators, have been explored almost exclusively for magnetic fields that generate nested flux surfaces. In this work, we extend these concepts to the case where all the field lines are closed. We then study charged particle dynamics in the exact non-symmetric vacuum magnetic field with closed field lines, obtained recently by Weitzner and Sengupta (arXiv:1909.01890), which possesses X-points. The magnetic field can be used to construct magnetohydrodynamic equilibrium in the limit of vanishing plasma pressure. Expanding in the amplitude of the non-symmetric fields, we explicitly evaluate the omnigeneity and quasisymmetry constraints. We show that the magnetic field is omnigeneous in the sense that the drift surfaces coincide with the pressure surfaces. However, it is not quasisymmetric according to the standard definitions.


title: The first eigenvalue of a homogeneous CROSS

abstract: We provide explicit formulae for the first eigenvalue of the Laplace-Beltrami operator on a compact rank one symmetric space (CROSS) endowed with any homogeneous metric. As consequences, we prove that homogeneous metrics on CROSSes are isospectral if and only if they are isometric, and also discuss their stability (or lack thereof) as solutions to the Yamabe problem.


title: Joint Inference on Truth/Rumor and Their Sources in Social Networks

abstract: In the contemporary era of information explosion, we are often faced with the mixture of massive \emph{truth} (true information) and \emph{rumor} (false information) flooded over social networks. Under such circumstances, it is very essential to infer whether each claim (e.g., news, messages) is a truth or a rumor, and identify their \emph{sources}, i.e., the users who initially spread those claims. While most prior arts have been dedicated to the two tasks respectively, this paper aims to offer the joint inference on truth/rumor and their sources. Our insight is that a joint inference can enhance the mutual performance on both sides. To this end, we propose a framework named SourceCR, which alternates between two modules, i.e., \emph{credibility-reliability training} for truth/rumor inference and \emph{division-querying} for source detection, in an iterative manner. To elaborate, the former module performs a simultaneous estimation of claim credibility and user reliability by virtue of an Expectation Maximization algorithm, which takes the source reliability outputted from the latter module as the initial input. Meanwhile, the latter module divides the network into two different subnetworks labeled via the claim credibility, and in each subnetwork launches source detection by applying querying of theoretical budget guarantee to the users selected via the estimated reliability from the former module. The proposed SourceCR is provably convergent, and algorithmic implementable with reasonable computational complexity. We empirically validate the effectiveness of the proposed framework in both synthetic and real datasets, where the joint inference leads to an up to 35\% accuracy of credibility gain and 29\% source detection rate gain compared with the separate counterparts.


title: Three-dimensional reconstruction of multiple particle acceleration regions during a coronal mass ejection

abstract: Context. Some of the most prominent sources for particle acceleration in our Solar System are large eruptions of magnetised plasma from the Sun called coronal mass ejections (CMEs). These accelerated particles can generate radio emission through various mechanisms. Aims. CMEs are often accompanied by a variety of solar radio bursts with different shapes and characteristics in dynamic spectra. Radio bursts directly associated with CMEs often show movement in the direction of CME expansion. Here, we aim to determine the emission mechanism of multiple moving radio bursts that accompanied a flare and CME that took place on 14 June 2012. Methods. We used radio imaging from the Nancay Radioheliograph, combined with observations from the Solar Dynamics Observatory and Solar Terrestrial Relations Observatory spacecraft, to analyse these moving radio bursts in order to determine their emission mechanism and three-dimensional (3D) location with respect to the expanding CME. Results. In using a 3D representation of the particle acceleration locations in relation to the overlying coronal magnetic field and the CME propagation, for the first time, we provide evidence that these moving radio bursts originate near the CME flanks and some that are possible signatures of shock-accelerated electrons following the fast CME expansion in the low corona. Conclusions. The moving radio bursts, as well as other stationary bursts observed during the eruption, occur simultaneously with a type IV continuum in dynamic spectra, which is not usually associated with emission at the CME flanks. Our results show that moving radio bursts that could traditionally be classified as moving type IVs can represent shock signatures associated with CME flanks or plasma emission inside the CME behind its flanks, which are closely related to the lateral expansion of the CME in the low corona.


title: Efficient solution of the multi-channel L\"uscher determinant condition through eigenvalue decomposition

abstract: We present a method for efficiently finding solutions of L\"uscher's quantisation condition, the equation which relates two-particle scattering amplitudes to the discrete spectrum of states in a periodic spatial volume of finite extent such as that present in lattice QCD. The approach proposed is based on an eigenvalue decomposition in the space of coupled-channels and partial-waves, which proves to have several desirable and simplifying features that are of great benefit when considering problems beyond simple elastic scattering of spinless particles. We illustrate the method with a toy model of vector-vector scattering featuring a high density of solutions, and with an application to explicit lattice QCD energy level data describing $J^P=1^-$ and $1^+$ scattering in several coupled channels.


title: On a criterion for log-convex decay in non-selfadjoint dynamics

abstract: The short-time and global behaviour are studied for autonomous linear evolution equations defined by generators of uniformly bounded holomorphic semigroups in a Hilbert space. A general criterion for log-convexity in time of the norm of the solution is treated. Strict decrease and differentiability at the initial time results, with a derivative controlled by the lower bound of the negative generator, which is proved strictly accretive with equal numerical and spectral abscissas.


title: Higher order BPZ equations for Liouville conformal field theory

abstract: Inspired by some intrinsic relations between Coulomb gas integrals and Gaussian multiplicative chaos, this article introduces a general mechanism to prove BPZ equations of order $(r,1)$ and $(1,r)$ in the setting of probabilistic Liouville conformal field theory, a family of conformal field theory which depends on a parameter $\gamma \in (0,2)$. The method consists in regrouping singularities on the degenerate insertion, and transforming the proof into an algebraic problem. With this method we show that BPZ equations hold on the sphere for the parameter $\gamma \in [\sqrt{2},2)$ in the case $(r,1)$ and for $\gamma \in (0,2)$ in the case $(1,r)$. The same technique applies to the boundary Liouville field theory when the bulk cosmological constant $\mu_{\text{bulk}} = 0$, where we prove BPZ equations of order $(r,1)$ and $(1,r)$ for $\gamma \in (0,2)$.


title: Semi-supervised Grasp Detection by Representation Learning in a Vector Quantized Latent Space

abstract: For a robot to perform complex manipulation tasks, it is necessary for it to have a good grasping ability. However, vision based robotic grasp detection is hindered by the unavailability of sufficient labelled data. Furthermore, the application of semi-supervised learning techniques to grasp detection is under-explored. In this paper, a semi-supervised learning based grasp detection approach has been presented, which models a discrete latent space using a Vector Quantized Variational AutoEncoder (VQ-VAE). To the best of our knowledge, this is the first time a Variational AutoEncoder (VAE) has been applied in the domain of robotic grasp detection. The VAE helps the model in generalizing beyond the Cornell Grasping Dataset (CGD) despite having a limited amount of labelled data by also utilizing the unlabelled data. This claim has been validated by testing the model on images, which are not available in the CGD. Along with this, we augment the Generative Grasping Convolutional Neural Network (GGCNN) architecture with the decoder structure used in the VQ-VAE model with the intuition that it should help to regress in the vector-quantized latent space. Subsequently, the model performs significantly better than the existing approaches which do not make use of unlabelled images to improve the grasp.


title: Star Games and Hydras

abstract: The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees (or corresponding terms) equipped with a 'star' as control symbol, signifying a command to make that tree (or term) smaller in the order being defined. This leads to star games that are very convenient for proving termination of many rewriting tasks. For instance, using already the simplest star game on finite unlabeled trees, we obtain a very direct proof of termination of the famous Hydra battle, direct in the sense that there is not the usual mention of ordinals. We also include an alternative road to setting up the star games, using a proof method of Buchholz, adapted by van Oostrom, resulting in a quantitative version of the star as control symbol. We conclude with a number of questions and future research directions.


title: Nonlocal Boundary Value Problem for Generalized Hilfer Implicit Fractional Differential Equations

abstract: In this paper, we derive the equivalent fractional integral equation to the nonlinear implicit fractional differential equations involving $\varphi$-Hilfer fractional derivative subject to nonlocal fractional integral boundary conditions. The existence of a solution, Ulam-Hyers, and Ulam-Hyers-Rassias stability has been acquired by means equivalent fractional integral equation. Our investigations depend on the fixed point theorem due to Krasnoselskii and the Gronwall inequality involving $\varphi$-Riemann--Liouville fractional integral. An example is provided to show the utilization of primary outcomes.


title: Segmentation of Retinal Low-Cost Optical Coherence Tomography Images using Deep Learning

abstract: The treatment of age-related macular degeneration (AMD) requires continuous eye exams using optical coherence tomography (OCT). The need for treatment is determined by the presence or change of disease-specific OCT-based biomarkers. Therefore, the monitoring frequency has a significant influence on the success of AMD therapy. However, the monitoring frequency of current treatment schemes is not individually adapted to the patient and therefore often insufficient. While a higher monitoring frequency would have a positive effect on the success of treatment, in practice it can only be achieved with a home monitoring solution. One of the key requirements of a home monitoring OCT system is a computer-aided diagnosis to automatically detect and quantify pathological changes using specific OCT-based biomarkers. In this paper, for the first time, retinal scans of a novel self-examination low-cost full-field OCT (SELF-OCT) are segmented using a deep learning-based approach. A convolutional neural network (CNN) is utilized to segment the total retina as well as pigment epithelial detachments (PED). It is shown that the CNN-based approach can segment the retina with high accuracy, whereas the segmentation of the PED proves to be challenging. In addition, a convolutional denoising autoencoder (CDAE) refines the CNN prediction, which has previously learned retinal shape information. It is shown that the CDAE refinement can correct segmentation errors caused by artifacts in the OCT image.


title: Learning Object Placements For Relational Instructions by Hallucinating Scene Representations

abstract: Robots coexisting with humans in their environment and performing services for them need the ability to interact with them. One particular requirement for such robots is that they are able to understand spatial relations and can place objects in accordance with the spatial relations expressed by their user. In this work, we present a convolutional neural network for estimating pixelwise object placement probabilities for a set of spatial relations from a single input image. During training, our network receives the learning signal by classifying hallucinated high-level scene representations as an auxiliary task. Unlike previous approaches, our method does not require ground truth data for the pixelwise relational probabilities or 3D models of the objects, which significantly expands the applicability in practical applications. Our results obtained using real-world data and human-robot experiments demonstrate the effectiveness of our method in reasoning about the best way to place objects to reproduce a spatial relation. Videos of our experiments can be found at https://youtu.be/zaZkHTWFMKM


title: Internet congestion control: from stochastic to dynamical models

abstract: Since its inception, control of data congestion on the Internet has been based on stochastic models. One of the first such models was Random Early Detection. Later, this model was reformulated as a dynamical system, with the average queue sizes at a router's buffer being the states. Recently, the dynamical model has been generalized to improve global stability. In this paper we review the original stochastic model and both nonlinear models of Random Early Detection with a two-fold objective: (i) illustrate how a random model can be "smoothed out" to a deterministic one through data aggregation, and (ii) how this translation can shed light into complex processes such as the Internet data traffic. Furthermore, this paper contains new materials concerning the occurrence of chaos, bifurcation diagrams, Lyapunov exponents and global stability robustness with respect to control parameters. The results reviewed and reported here are expected to help design an active queue management algorithm in real conditions, that is, when system parameters such as the number of users and the round-trip time of the data packets change over time. The topic also illustrates the much-needed synergy of a theoretical approach, practical intuition and numerical simulations in engineering.


title: Renormalizability of leading order covariant chiral nucleon-nucleon interaction

abstract: In this work, we study the renormalization group invariance (RGI) of the recently proposed covariant power counting (PC) scheme in the case of nucleon-nucleon scattering [Chin.Phys. C42 (2018) 014103] at leading order (LO). We show that unlike the LO Weinberg case, RGI is satisfied in the $^3P_{0}$ channel, because a term of $pp'$ appears naturally in the covariant PC scheme at LO. Another interesting feature is that the $^1S_{0}$ and $^3P_{1}$ channels are correlated. Fixing the two relevant low energy constants by fitting to the $^1S_{0}$ phase shifts at $T_\mathrm{lab.}=10$ and $25$ MeV with a cutoff $\Lambda$ of $400-650$ MeV, the $^3P_{1}$ phase shifts can be described relatively well. In the limit of $\Lambda\rightarrow \infty$, the $^1S_0$ channel becomes cutoff independent, while RGI is lost in the $^3P_{1}$ channel, consistent with the Wigner bound and the previous observation that the $^{3}P_1$ channel better be treated perturbatively. As for the $^1P_{1}$ and $^3S_{1}$-$^3D_{1}$ channels, RGI is satisfied, similar to the Weinberg approach.


title: Spin glasses in a field show a phase transition varying the distance among real replicas (and how to exploit it to find the critical line in a field)

abstract: We discuss a phase transition in spin glass models which have been rarely considered in the past, namely the phase transition that may take place when two real replicas are forced to be at a larger distance (i.e. at a smaller overlap) than the typical one. In the first part of the work, by solving analytically the Sherrington-Kirkpatrick model in a field close to its critical point, we show that even in a paramagnetic phase the forcing of two real replicas to an overlap small enough leads the model to a phase transition where the symmetry between replicas is spontaneously broken. More importantly, this phase transition is related to the de Almeida-Thouless (dAT) critical line. In the second part of the work, we exploit the phase transition in the overlap between two real replicas to identify the critical line in a field in finite-dimensional spin glasses. This is a notoriously difficult computational problem, because of huge finite-size corrections. We introduce a new method of analysis of Monte Carlo data for disordered systems, where the overlap between two real replicas is used as a conditioning variate. We apply this analysis to equilibrium measurements collected in the paramagnetic phase in a field, $h>0$ and $T_c(h)<T<T_c(h=0)$, of the $d=1$ spin glass model with long-range interactions decaying fast enough to be outside the regime of validity of the mean-field theory. We thus provide very reliable estimates for the thermodynamic critical temperature in a field.


title: The small sphere limit of quasilocal energy in higher dimensions along lightcone cuts

abstract: The problem of quasilocal energy has been extensively studied mainly in four dimensions. Here we report results regarding the quasilocal energy in spacetime dimension $n\geq 4$. After generalising three distinct quasilocal energy definitions to higher dimensions under appropriate assumptions, we evaluate their small sphere limits along lightcone cuts shrinking towards the lightcone vertex. The results in vacuum are conveniently represented in terms of the electromagnetic decompositions of the Weyl tensor. We find that the limits at presence of matter yield the stress tensor as expected, but the vacuum limits are in general not proportional to the Bel-Robinson superenergy $Q$ in dimensions $n>4$. The result defies the role of the Bel-Robinson superenergy as characterising the gravitational energy in higher dimensions, albeit the fact that it uniquely generalises. Surprisingly, the Hawking energy and the Brown-York energy exactly agree upon the small sphere limits across all dimensions. The new vacuum limit $\mathcal{Q}$, however, cannot be interpreted as a gravitational energy because of its non-positivity. Furthermore, we also give the small sphere limits of the Kijowski-Epp-Liu-Yau type energy in higher dimensions, and again we see $\mathcal{Q}$ in place of $Q$. Our work extends earlier investigations of the small sphere limits [1, 2, 3, 4], and also complements [5].


title: State transition graph of the Preisach model and the role of return point memory

abstract: The Preisach model has been useful as a null-model for understanding memory formation in periodically driven disordered systems. In amorphous solids for example, the athermal response to shear is due to localized plastic events (soft spots). As shown recently by one of us, the plastic response to applied shear can be rigorously described in terms of a directed network whose transitions correspond to one or more soft spots changing states. The topology of this graph depends on the interactions between soft-spots and when such interactions are negligible, the resulting description becomes that of the Preisach model. A first step in linking transition graph topology with the underlying soft-spot interactions is therefore to determine the structure of such graphs in the absence of interactions. Here we perform a detailed analysis of the transition graph of the Preisach model. We highlight the important role played by return point memory in organizing the graph into a hierarchy of loops and sub-loops. Our analysis reveals that the topology of a large portion of this graph is actually not governed by the values of the switching fields that describe the individual hysteretic behavior of the individual elements, but by a coarser parameter, a permutation $\rho$ which prescribes the sequence in which the individual hysteretic elements change their states as the main hysteresis loop is traversed. This in turn allows us to derive combinatorial properties, such as the number of major loops in the transition graph as well as the number of states $| \mathcal{R} |$ constituting the main hysteresis loop and its nested subloops. We find that $| \mathcal{R} |$ is equal to the number of increasing subsequences contained in the permutation $\rho$.


title: Algebraic units, anti-unitary symmetries, and a small catalogue of SICs

abstract: In complex vector spaces maximal sets of equiangular lines, known as SICs, are related to real quadratic number fields in a dimension dependent way. If the dimension is of the form $n^2+3$ the base field has a fundamental unit of negative norm, and there exists a SIC with anti-unitary symmetry. We give eight examples of exact solutions of this kind, for which we have endeavoured to make them as simple as we can---as a belated reply to the referee of an earlier publication, who claimed that our exact solution in dimension 28 was too complicated to be fit to print. An interesting feature of the simplified solutions is that the components of the fiducial vectors largely consist of algebraic units.


title: Instability of algebraic standing waves for nonlinear Schr\"odinger equations with double power nonlinearities

abstract: We consider a nonlinear Schr\"odinger equation with double power nonlinearity \begin{align*} i\partial_t u+\Delta u-|u|^{p-1}u+|u|^{q-1}u=0,\quad (t,x)\in\mathbb{R}\times\mathbb{R}^N, \end{align*} where $1<p<q<1+4/(N-2)_+$. Due to the defocusing effect from the lower power order nonlinearity, the equation has algebraically decaying standing waves with zero frequency, which we call algebraic standing waves, as well as usual standing waves decaying exponentially with positive frequency. In this paper we study stability properties of two types of standing waves. We prove strong instability for all frequencies when $q\ge 1+4/N$ and instability for small frequencies when $q<1+4/N$, which especially give the first results on stability properties of algebraic standing waves. The instability result for small positive frequency when $q<1+4/N$ not only improves previous results in one-dimensional case but also gives a first result on instability in higher-dimensional case. The key point in our approach is to take advantage of algebraic standing waves.


title: WoV: WiFi-based VLC testbed

abstract: We present a complete Visible Light Communications (VLC) transceiver system consisting of low-cost Commercial-Off-The-Shelf (COTS) components. In particular, we show that COTS IEEE 802.11n (WiFi) devices can be used so that the physical and data link layers of radio frequency (RF) WiFi, i.e. 2.4 GHz, are reused for VLC. Moreover, as WiFi is fully integrated with the Linux system, higher protocols from network to transport and application layer can be used and tested in VLC-related experiments. Our approach has the advantage that a VLC experimenter can fully focus on VLC-related low-level aspects like the design of novel VLC front-ends, e.g. LED drivers, lenses, and photodetectors and test their impact directly on the full network protocol stack in an end-to-end manner with real applications like adaptive video streaming. We present first results from experiments using our prototype showing the performance of unidirectional VLC transmission. Here we analyze the distortions introduced as well as the relationship between signal strength on frame error rate for different MCS and the maximum communication distance. Experimental results reveal that a data rate of up to 150 Mbps is possible over short ranges.


title: A group representation approach to balance of gain graphs

abstract: We study the balance of $G$-gain graphs, where $G$ is an arbitrary group, by investigating their adjacency matrices and their spectra. As a first step, we characterize switching equivalence and balance of gain graphs in terms of their adjacency matrices in $M_n(\mathbb C G)$. Then we introduce a represented adjacency matrix, associated with a gain graph and a group representation, by extending the theory of Fourier transforms from the group algebra $\mathbb C G$ to the algebra $M_n(\mathbb C G)$. We prove that a gain graph is balanced if and only if the spectrum of the represented adjacency matrix associated with any (or equivalently all) faithful unitary representation of $G$ coincides with the spectrum of the underlying graph, with multiplicity given by the degree of the representation. We show that the complex adjacency matrix of unit gain graphs and the adjacency matrix of a cover graph are indeed particular cases of our construction. This enables us to recover some classical results and prove some new characterizations of balance in terms of spectrum, index or structure of these graphs.


title: The Hawking energy on photon surfaces

abstract: The Hawking energy has a monotonicity property under the inverse mean curvature flow on totally umbilic hypersurfaces with constant scalar curvature in Einstein spaces. It grows if the hypersurface is spacelike, and decreases if it is timelike. Timelike examples include Minkowski and de Sitter hyperboloids, and photon surfaces in Schwarzschild.


title: Characterization of random variables with stationary digits

abstract: Let $q\ge2$ be an integer, $\{X_n\}_{n\geq 1}$ a stochastic process with state space $\{0,\ldots,q-1\}$, and $F$ the cumulative distribution function (CDF) of $\sum_{n=1}^\infty X_n q^{-n}$. We show that stationarity of $\{X_n\}_{n\geq 1}$ is equivalent to a functional equation obeyed by $F$ and use this to characterize the characteristic function of $X$ and the structure of $F$ in terms of its Lebesgue decomposition. More precisely, while the absolutely continuous component of $F$ can only be the uniform distribution on the unit interval, its discrete component can only be a countable convex combination of certain explicitly computable CDFs for probability distributions with finite support. We also show that $\mathrm{d} F$ is a Rajchman measure if and only if $F $ is the uniform CDF on $[0,1]$.


title: Automorphisms of contact graphs of ${\rm CAT(0)}$ cube complexes

abstract: We show that, under weak assumptions, the automorphism group of a ${\rm CAT(0)}$ cube complex $X$ coincides with the automorphism group of Hagen's contact graph $\mathcal{C}(X)$. The result holds, in particular, for universal covers of Salvetti complexes, where it provides an analogue of Ivanov's theorem on curve graphs of non-sporadic surfaces. This highlights a contrast between contact graphs and Kim-Koberda extension graphs, which have much larger automorphism group. We also study contact graphs associated to Davis complexes of right-angled Coxeter groups. We show that these contact graphs are less well-behaved and describe exactly when they have more automorphisms than the universal cover of the Davis complex.


title: Demonstration of variable angle Super-Heterodyne Dynamic Light Scattering for measuring colloidal dynamics

abstract: We demonstrate a prototype light scattering instrument combining a frequency domain approach to the intermediate scattering function from Super-Heterodyning Doppler Velocimetry with the versatility of a standard homodyne Dynamic Light Scattering goniometer setup for investigations over a large range of scattering vectors. Comparing to reference experiments in correlation-time domain, we show that the novel approach can determine diffusion constants and hence hydrodynamic radii with high precision and accuracy. Possible future applications are discussed shortly.


title: Congestion Control Mechanisms in IEEE 802.11p and Sidelink C-V2X

abstract: Connected vehicles are expected to play a major role in the next future to improve safety and traffic efficiency on the road and short-range technologies have been defined to enable the direct exchange of information. To this aim, two solutions are currently the subject of a debate that goes beyond the technician, i.e., IEEE 802.11p and sidelink cellular-vehicle-to-anything (C-V2X). Tested and mature for deployment the first, possibly more efficient the second. In both cases, one of the main aspects is the management of channel congestions, which can cause serious packet losses and have a critical impact on the reliability of applications. Congestions can be managed through different approaches, including the control of transmission power, packet generation frequency, and the adopted modulation and coding scheme. Congestion management has been well studied in IEEE 802.11p, with consolidated algorithms included in the standards, whereas it appears somehow as a new topic looking at C-V2X. In this work, a review of the main congestion control mechanisms and a discussion of their applicability and efficiency in the two technologies is provided. This topic is addressed without focusing on specific algorithms and with the aim to provide general guidelines as a starting point for new proposals.


title: SPOQ $\ell_p$-Over-$\ell_q$ Regularization for Sparse Signal Recovery applied to Mass Spectrometry

abstract: Underdetermined or ill-posed inverse problems require additional information for \ldd{d} sound solutions with tractable optimization algorithms. Sparsity yields consequent heuristics to that matter, with numerous applications in signal restoration, image recovery, or machine learning. Since the $\ell_0$ count measure is barely tractable, many statistical or learning approaches have invested in computable proxies, such as the $\ell_1$ norm. However, the latter does not exhibit the desirable property of scale invariance for sparse data. Extending the SOOT Euclidean/Taxicab $\ell_1$-over-$\ell_2$ norm-ratio initially introduced for blind deconvolution, we propose SPOQ, a family of smoothed (approximately) scale-invariant penalty functions. It consists of a Lipschitz-differentiable surrogate for $\ell_p$-over-$\ell_q$ quasi-norm/norm ratios with $p\in\,]0,2[$ and $q\ge 2$. This surrogate is embedded into a novel majorize-minimize trust-region approach, generalizing the variable metric forward-backward algorithm. For naturally sparse mass-spectrometry signals, we show that SPOQ significantly outperforms $\ell_0$, $\ell_1$, Cauchy, Welsch, SCAD and Celo penalties on several performance measures. Guidelines on SPOQ hyperparameters tuning are also provided, suggesting simple data-driven choices.


title: Crushing the Wave -- new Z-Wave vulnerabilities exposed

abstract: This paper describes two denial of service attacks against the Z-Wave protocol and their effects on smart home gateways. Both utilize modified unencrypted packets, which are used in the inclusion phase and during normal operation. These are the commands Nonce Get/S2 Nonce Get and Find Nodes In Range. This paper shows how both can be manipulated and used to block a Z-Wave gateway's communication processing which in turn disables the whole Z-Wave network connected to it


title: Hecke System of Harmonic Maass Functions and Applications to Modular Curves of Higher Genera

abstract: In Monstrous moonshine, genus 0 property and the notion of replicability are strongly connected. With regards to recent developments of moonshine, we investigate a higher genus generalization of replicability for a general automorphic form. Specifically, we extend the definitions of replicates and a Hecke operator to harmonic Maass functions on modular curves of higher genera to obtain number theoretic generalizations of important results in Monstrous moonshine. Furthermore, we show the utility of the extended notions in yielding uniform proofs for numerous arithmetic properties of Fourier coefficients of modular functions of arbitrary level, which have been proved only for special cases of curves of genus zero or small prime levels.


title: A Large Scale Event-based Detection Dataset for Automotive

abstract: We introduce the first very large detection dataset for event cameras. The dataset is composed of more than 39 hours of automotive recordings acquired with a 304x240 ATIS sensor. It contains open roads and very diverse driving scenarios, ranging from urban, highway, suburbs and countryside scenes, as well as different weather and illumination conditions. Manual bounding box annotations of cars and pedestrians contained in the recordings are also provided at a frequency between 1 and 4Hz, yielding more than 255,000 labels in total. We believe that the availability of a labeled dataset of this size will contribute to major advances in event-based vision tasks such as object detection and classification. We also expect benefits in other tasks such as optical flow, structure from motion and tracking, where for example, the large amount of data can be leveraged by self-supervised learning methods.


title: Work fluctuations of self-propelled particles in the phase separated state

abstract: We study the large deviations of the distribution P(W_\tau) of the work associated with the propulsion of individual active brownian particles in a time interval \tau, in the region of the phase diagram where macroscopic phase separation takes place. P(W_\tau) is characterised by two peaks, associated to particles in the gaseous and in the clusterised phases, and two separate non-convex branches. Accordingly, the generating function of W_\tau cumulants displays a double singularity. We discuss the origin of such non-convex branches in terms of the peculiar dynamics of the system phases, and the relation between the observation time \tau and the typical persistence times of the particles in the two phases.


title: An ultracold heavy Rydberg system formed from ultra-long-range molecules bound in a stairwell potential

abstract: We propose a scheme to realize a heavy Rydberg system (HRS), a bound pair of oppositely charged ions, from a gas of ultracold atoms. The intermediate step to achieve large internuclear separations is the creation of a unique class of ultra-long-range Rydberg molecules bound in a stairwell potential energy curve. Here, a ground-state atom is bound to a Rydberg atom in an oscillatory potential emerging due to attractive singlet $p$-wave electron scattering. The utility of our approach originates in the large electronic dipole transition element between the Rydberg- and the ionic molecule, while the nuclear configuration of the ultracold gas is preserved. The Rabi coupling between the Rydberg molecule and the heavy Rydberg system is typically in the MHz range and the permanent electric dipole moments of the HRS can be as large as one kilo-Debye. We identify specific transitions which place the creation of the heavy Rydberg system within immediate reach of experimental realization.


title: Computing with vortices: Bridging fluid dynamics and its information-processing capability

abstract: Herein, the Karman vortex system is considered to be a large recurrent neural network, and the computational capability is numerically evaluated by emulating nonlinear dynamical systems and the memory capacity. Therefore, the Reynolds number dependence of the Karman vortex system computational performance is revealed and the optimal computational performance is achieved near the critical Reynolds number at the onset of Karman vortex shedding, which is associated with a Hopf bifurcation. Our finding advances the understanding of the relationship between the physical properties of fluid dynamics and its computational capability as well as provides an alternative to the widely believed viewpoint that the information processing capability becomes optimal at the edge of chaos.


title: ExEm: Expert Embedding using dominating set theory with deep learning approaches

abstract: A collaborative network is a social network that is comprised of experts who cooperate with each other to fulfill a special goal. Analyzing this network yields meaningful information about the expertise of these experts and their subject areas. To perform the analysis, graph embedding techniques have emerged as an effective and promising tool. Graph embedding attempts to represent graph nodes as low-dimensional vectors. In this paper, we propose a graph embedding method, called ExEm, that uses dominating-set theory and deep learning approaches to capture node representations. ExEm finds dominating nodes of the collaborative network and constructs intelligent random walks that comprise of at least two dominating nodes. One dominating node should appear at the beginning of each path sampled to characterize the local neighborhoods. Moreover, the second dominating node reflects the global structure information. To learn the node embeddings, ExEm exploits three embedding methods including Word2vec, fastText and the concatenation of these two. The final result is the low-dimensional vectors of experts, called expert embeddings. The extracted expert embeddings can be applied to many applications. In order to extend these embeddings into the expert recommendation system, we introduce a novel strategy that uses expert vectors to calculate experts' scores and recommend experts. At the end, we conduct extensive experiments to validate the effectiveness of ExEm through assessing its performance over the multi-label classification, link prediction, and recommendation tasks on common datasets and our collected data formed by crawling the vast author Scopus profiles. The experiments show that ExEm outperforms the baselines especially in dense networks.


title: Supermassive Neutron Stars in Axion $F(R)$ Gravity

abstract: We investigated realistic neutron stars in axion $R^{2}$ gravity. The coupling between curvature and axion field $\phi$ is assumed in the simple form $\sim R^2\phi$. For the axion mass in the range $m_{a}\sim 10^{-11}-10^{-10}$ eV the solitonic core within neutron star and corresponding halo with size $\sim 100$ km can exist. Therefore the effective contribution of $R^2$ term grows inside the star and it leads to change of star parameters (namely, mass and radius). We obtained the increase of star mass independent from central density for wide range of masses. Therefore, maximal possible mass for given equation of state grows. At the same time, the star radius increases not so considerably in comparison with GR. {Hence, our model may predict possible existence of supermassive compact stars with masses $M\sim 2.2-2.3M_\odot$ and radii $R_{s}\sim 11$ km for realistic equation of state (we considered APR equation of state). In General Relativity one can obtain neutron stars with such characteristics only for unrealistic, extremely stiff equations of state.} Note that this increase of mass occurs due to change of solution for scalar curvature outside the star. In GR curvature drops to zero on star surface where $\rho=p=0$. In the model under consideration the scalar curvature dumps more slowly in comparison with vacuum $R^2$ gravity due to axion "galo" around the star.


title: Functional Magnetic Resonance Spectroscopy in the mouse

abstract: Functional magnetic resonance spectroscopy (fMRS) quantifies metabolic variations upon presentation of a stimulus and can therefore provide complementary information compared to functional magnetic resonance imaging (fMRI). However, to our knowledge, fMRS has not yet been performed in the mouse, despite that murine models are crucial for basic and applied research. Here, we performed fMRS experiments in the mouse, for the first time, and show the feasibility of such an approach for reliably quantifying metabolic variations. In particular, we observed metabolic variations in the superior colliculus of mice upon visual stimulation in a block paradigm commonly used for fMRI (short periods of stimulus), followed by a recovery period. We notably report a robust modulation of glutamate, as well as a modulation of NAAG, PCr and Cr. A control experiment with no stimulation reveals potential metabolic signal "drifts" that are not correlated with the functional activity, which should be taken into account when analyzing fMRS data in general. Our findings are promising for future applications of fMRS in the mouse.


title: Some properties of pseudomeadows

abstract: The purpose of this paper is to study the commutative pseudomeadows, the structure which is defined in the same way as commutative meadows, except that the existence of a multiplicative identity is not required. We extend the characterization of finite commutative meadows, given by I.~Bethke, P.~Rodenburg, and A.~Sevenster in their 2015 paper, to the case of commutative pseudomeadows with finitely many idempotents. We also extend the well-known characterization of general commutative meadows as the subdirect products of fields to the case of commutative pseudomeadows. Finally we investigate localizations of commutative pseudomeadows.


title: Goldstino spectrum in an ultracold Bose-Fermi mixture with explicitly broken supersymmetry

abstract: We theoretically investigate a supersymmetric collective mode called Goldstino in a Bose-Fermi mixture. The explicit supersymmetry breaking, which is unavoidable in cold atom experiments, is considered. We derive the Gell-Mann--Oakes-Renner (GOR) relation for the Goldstino, which gives the relation between the energy gap at the zero momentum and the explicit breaking term. We also numerically evaluate the gap of Goldstino above the Bose-Einstein condensation temperature within the random phase approximation (RPA). While the gap obtained from the GOR relation coincides with that in the RPA for the mass-balanced system, there is a deviation from the GOR relation in the mass-imbalanced system. We point out the deviation becomes large when the Goldstino pole is close to the branch point, although it is parametrically a higher order with respect to the mass-imbalanced parameter. To examine the existence of the goldstino pole in realistic cold atomic systems, we show how the mass-imbalance effect appears in $^6$Li-$^7$Li, $^{40}$K-$^{41}$K, and $^{173}$Yb-$^{174}$Yb mixtures. Furthermore, we analyze the Goldstino spectral weight in a $^{173}$Yb-$^{174}$Yb mixture with realistic interactions and show a clear peak due to the Goldstino pole. As a possibility to observe the Goldstino spectrum in cold atom experiments, we discuss the effects of the Goldstino pole on the fermionic single-particle excitation as well as the relationship between the GOR relation and Tan's contact.


title: A rapid-onset diffusion functional MRI signal reflects neuromorphological coupling dynamics

abstract: Functional Magnetic Resonance Imaging (fMRI) has transformed our understanding of brain function in-vivo. However, the neurovascular coupling mechanisms underlying fMRI are somewhat "distant" from neural activity. Interestingly, evidence from Intrinsic Optical Signals (IOSs) indicates that neural activity is also coupled to (sub)cellular morphological modulations. Diffusion-weighted functional MRI (dfMRI) experiments have been previously proposed to probe such neuromorphological couplings, but the underlying mechanisms have remained highly contested. Here, we provide the first direct link between in vivo ultrafast dfMRI signals upon rat forepaw stimulation and IOSs in acute slices stimulated optogenetically. We reveal a hitherto unreported rapid onset (<100 ms) dfMRI signal which (i) agrees with fast-rising IOSs dynamics; (ii) evidences a punctate quantitative correspondence to the stimulation period; (iii) and is rather insensitive to a vascular challenge. Our findings suggest that neuromorphological coupling can be detected via dfMRI signals, auguring well for future mapping of neural activity more directly.


title: Spectro-Polarimetric Analysis of an Umbral Filament

abstract: High-resolution observations of the solar photosphere have recently revealed the presence of elongated filamentary bright structures inside sunspot umbrae. These features, which have been called umbral filaments (UFs), differ in morphology, evolution, and magnetic configuration from light bridges that are usually observed to intrude in sunspots. To study an UF observed in the leading sunspot of active region NOAA 12529, we have analyzed spectro-polarimetric observations taken in the photosphere with the spectropolarimeter (SP) aboard the Hinode satellite. High-resolution observations in the upper chromosphere and transition region taken with the IRIS telescope and observations acquired by SDO/HMI and SDO/AIA have been used to complement the spectro-polarimetric analysis. The results obtained from the inversion of the Hinode/SP measurements allow us to discard the hypothesis that UFs are a kind of light bridge. In fact, we find no field-free or low-field strength region cospatial to the observed UF. In contrast, we detect in the structure Stokes profiles that indicate the presence of strong horizontal fields, larger than 2500 G. Furthermore, a significant portion of the UF has opposite polarity with respect to the hosting umbra. In the upper atmospheric layers, we observe filaments being cospatial to the UF in the photosphere. We interpret these findings as suggesting that the UF could be the photospheric manifestation of a flux rope hanging above the sunspot, which triggers the formation of penumbral-like filaments within the umbra via magneto-convection.


title: Bibliography of distributed approximation beyond bounded degree

abstract: This document is an informal bibliography of the papers dealing with distributed approximation algorithms. A classic setting for such algorithms is bounded degree graphs, but there is a whole set of techniques that have been developed for other classes. These later classes are the focus of the current work. These classes have a geometric nature (planar, bounded genus and unit-disk graphs) and/or have bounded parameters (arboricity, expansion, growth, independence) or forbidden structures (forbidden minors).


title: Profiles of James Peebles, Michel Mayor, and Didier Queloz: 2019 Nobel Laureates in Physics

abstract: The 2019 Nobel Prize in Physics honors three pioneering scientists for their fundamental contributions to basic cosmic questions - Professor James Peebles (Princeton University), Michel Mayor (University of Geneva), and Didier Queloz (University of Geneva and the University of Cambridge) - "for contributions to our understanding of the evolution of the universe and Earth's place in the cosmos," with one half to James Peebles "for theoretical discoveries in physical cosmology," and the other half jointly to Michel Mayor and Didier Queloz "for the discovery of an exoplanet orbiting a solar-type star." We summarize the historical and scientific backdrop to this year's Physics Nobel.


title: A precise local limit theorem for the multinomial distribution and some applications

abstract: In Siotani & Fujikoshi (1984), a precise local limit theorem for the multinomial distribution is derived by inverting the Fourier transform, where the error terms are explicit up to order $N^{-1}$. In this paper, we give an alternative (conceptually simpler) proof based on Stirling's formula and a careful handling of Taylor expansions, and we show how the result can be used to approximate multinomial probabilities on most subsets of $\mathbb{R}^d$. Furthermore, we discuss a recent application of the result to obtain asymptotic properties of Bernstein estimators on the simplex, we improve the main result in Carter (2002) on the Le Cam distance bound between multinomial and multivariate normal experiments while simultaneously simplifying the proof, and we mention another potential application related to finely tuned continuity corrections.


title: Non-Contact Spin Pumping by Microwave Evanescent Fields

abstract: The angular momentum of evanescent light fields has been studied in nano-optics and plasmonics, but not in the microwave regime. Here we predict non-contact pumping of electron spin currents in conductors by the evanescent stray fields of excited magnetic nanostructures. The coherent transfer of the photon to the electron spin is proportional to the $g$-factor, which is large in narrow-gap semiconductors and surface states of topological insulators. The spin pumping current is chiral when the spin susceptibility displays singularities that indicate collective states. However, 1D systems with linear dispersion at the Fermi energy such as metallic carbon nanotubes are an exception since spin pumping is chiral even without interactions.


title: Filter Sketch for Network Pruning

abstract: We propose a novel network pruning approach by information preserving of pre-trained network weights (filters). Network pruning with the information preserving is formulated as a matrix sketch problem, which is efficiently solved by the off-the-shelf Frequent Direction method. Our approach, referred to as FilterSketch, encodes the second-order information of pre-trained weights, which enables the representation capacity of pruned networks to be recovered with a simple fine-tuning procedure. FilterSketch requires neither training from scratch nor data-driven iterative optimization, leading to a several-orders-of-magnitude reduction of time cost in the optimization of pruning. Experiments on CIFAR-10 show that FilterSketch reduces 63.3% of FLOPs and prunes 59.9% of network parameters with negligible accuracy cost for ResNet-110. On ILSVRC-2012, it reduces 45.5% of FLOPs and removes 43.0% of parameters with only 0.69% accuracy drop for ResNet-50. Our code and pruned models can be found at https://github.com/lmbxmu/FilterSketch.


title: In-vivo Magnetic Resonance Imaging of GABA and Glutamate

abstract: Chemical Exchange Saturation Transfer (CEST) Magnetic Resonance Imaging (MRI) is a molecular imaging methodology capable of mapping brain metabolites with relatively high spatial resolution. Specificity is the main goal of such experiments; yet CEST is confounded by spectral overlap between different molecular species. Here, we overcome this major limitation using a general framework termed overlap-resolved CEST (orCEST) - a kind of spectrally-edited experiment restoring specificity. First, we present evidence revealing that CEST experiments targeting the central nervous system's primary excitatory neurotransmitter, Glutamate (GluCEST) - is significantly contaminated by gamma-aminobutyric acid (GABA) - the primary inhibitory neurotransmitter in the CNS. Then, we harness the novel orCEST methodology to separate Glutamate and - for the first time - GABA signals, thus delivering the desired specificity. In-vivo orCEST experiments resolved the rat brain's primary neurotransmitters and revealed changes in Glutamate and GABA levels upon water deprivation in thirst-related areas. orCEST's features bode well for many applications in neuroscience and biomedicine.


title: Communication-Efficient String Sorting

abstract: There has been surprisingly little work on algorithms for sorting strings on distributed-memory parallel machines. We develop efficient algorithms for this problem based on the multi-way merging principle. These algorithms inspect only characters that are needed to determine the sorting order. Moreover, communication volume is reduced by also communicating (roughly) only those characters and by communicating repetitions of the same prefixes only once. Experiments on up to 1280 cores reveal that these algorithm are often more than five times faster than previous algorithms.


title: DCT-Conv: Coding filters in convolutional networks with Discrete Cosine Transform

abstract: Convolutional neural networks are based on a huge number of trained weights. Consequently, they are often data-greedy, sensitive to overtraining, and learn slowly. We follow the line of research in which filters of convolutional neural layers are determined on the basis of a smaller number of trained parameters. In this paper, the trained parameters define a frequency spectrum which is transformed into convolutional filters with Inverse Discrete Cosine Transform (IDCT, the same is applied in decompression from JPEG). We analyze how switching off selected components of the spectra, thereby reducing the number of trained weights of the network, affects its performance. Our experiments show that coding the filters with trained DCT parameters leads to improvement over traditional convolution. Also, the performance of the networks modified this way decreases very slowly with the increasing extent of switching off these parameters. In some experiments, a good performance is observed when even 99.9% of these parameters are switched off.


title: Data approximation with time-frequency invariant systems

abstract: In this paper we prove the existence of a time-frequency space that best approximates a given finite set of data. Here best approximation is in the least square sense, among all time-frequency spaces with no more than a prescribed number of generators. We provide a formula to construct the generators from the data and give the exact error of approximation. The setting is in the space of square integrable functions defined on a second countable LCA group and we use the Zak transform as the main tool.


title: $(p,q)$-frames in shift-invariant subspaces of mixed Lebesgue spaces $L^{p,q}(\mathbf{R}\times \mathbf{R}^{d})$

abstract: In this paper, we mainly discuss the $(p,q)$-frame in shift-invariant subspace \begin{equation*} V_{p,q}(\Phi)=\left\{\sum\limits_{i=1}^{r}\sum\limits_{j_{1}\in \mathbf{Z}}\sum\limits_{j_{2}\in \mathbf{Z}^{d}}d_{i}(j_{1},j_{2})\phi_{i}(\cdot-j_{1},\cdot-j_{2}):\Big(d_{i}(j_{1},j_{2})\Big)_{(j_{1},j_{2})\in \mathbf{Z}\times\mathbf{Z}^{d}}\in \ell^{p,q}(\mathbf{Z}\times\mathbf{Z}^d)\right\} \end{equation*} of mixed Lebesgue space $L^{p,q}(\mathbf{R}\times \mathbf{R}^{d})$. Some equivalent conditions for $\{\phi_{i}(\cdot-j_{1},\cdot-j_{2}):(j_{1},j_{2})\in\mathbf{Z}\times\mathbf{Z}^d,1\leq i\leq r\}$ to constitute a $(p,q)$-frame of $V_{p,q}(\Phi)$ are given. Moreover, the result shows that $V_{p,q}(\Phi)$ is closed under these equivalent conditions of $(p,q)$-frame for the family $\{\phi_{i}(\cdot-j_{1},\cdot-j_{2}):(j_{1},j_{2})\in\mathbf{Z}\times\mathbf{Z}^d,1\leq i\leq r\}$, although the general result is not correct.


title: Derivation of Spin Projection Operator using Lagrange Interpolation Formula

abstract: This note discusses how an operator analog of the Lagrange polynomial naturally arises in the quantum-mechanical problem of constructing an explicit form of the spin projection operator.


title: Framework for Converting Mechanistic Network Models to Probabilistic Models

abstract: There are two prominent paradigms to the modeling of networks: in the first, referred to as the mechanistic approach, one specifies a set of domain-specific mechanistic rules that are used to grow or evolve the network over time; in the second, referred to as the probabilistic approach, one describes a model that specifies the likelihood of observing a given network. Mechanistic models are scalable and, in select cases, allow for analytical solutions for some of their properties, whereas probabilistic models have inferential tools available. Mechanistic models are appealing because they capture scientific processes that are hypothesized to be responsible for network generation. We introduce a generic framework for converting a mechanistic network model to a probabilistic network model. The proposed framework makes it possible to identify the essential network properties and their joint probability distribution for mechanistic network models, which enables addressing questions such as whether two mechanistic models generate networks with identical distributions of properties of interest, or whether a network property, such as clustering, is over- or under- represented in the generated networks compared to a reference model. The proposed framework is intended to bridge some of the gap that currently exists between mechanistic and probabilistic network models.


title: Natural and bionic neuronal membranes: possible sites for quantum biology

abstract: A new concept for bionic quantum technology is presented based on a hybrid of a silicon wafer on which is layered a phospholipid membrane, such as is found in biological cell membranes. The phosphorus atoms in the head groups of the membranes carry nuclear spins which serve as memory qubits. The role of control qubits may be played by unpaired spins of extra electrons on phosphate groups with a single negative charge, in polar, zwitterionic headgroups such as phosphatidylcholine (PC). Classical control gates and circuits are embedded on the silicon wafer, as in proposals by Kane and others for solid state quantum computing devices. A proposal to extend these ideas to neuronal membranes, which makes use of the chirality of the phospholipid molecules that make up its bulk, is also briefly sketched. The chirality of the phospholipid molecules is argued, at least at low temperature, to induce Chern-Simons couplings, which may give rise to robust qubits in topological winding states, defined on the cylinder mod punctures-which are the ion channels.


title: Pelican: A Deep Residual Network for Network Intrusion Detection

abstract: One challenge for building a secure network communication environment is how to effectively detect and prevent malicious network behaviours. The abnormal network activities threaten users' privacy and potentially damage the function and infrastructure of the whole network. To address this problem, the network intrusion detection system (NIDS) has been used. By continuously monitoring network activities, the system can timely identify attacks and prompt counter-attack actions. NIDS has been evolving over years. The current-generation NIDS incorporates machine learning (ML) as the core technology in order to improve the detection performance on novel attacks. However, the high detection rate achieved by a traditional ML-based detection method is often accompanied by large false-alarms, which greatly affects its overall performance. In this paper, we propose a deep neural network, Pelican, that is built upon specially-designed residual blocks. We evaluated Pelican on two network traffic datasets, NSL-KDD and UNSW-NB15. Our experiments show that Pelican can achieve a high attack detection performance while keeping a much low false alarm rate when compared with a set of up-to-date machine learning based designs.


title: IceCube Search for Galactic Neutrino Sources based on Very High Energy Gamma-ray Observations

abstract: Galactic cosmic rays reach energies of at least several PeV, and their interactions should generate $\gamma$-rays and neutrinos from decay of secondary pions. Therefore, Galactic sources have a guaranteed contribution to the total high-energy cosmic neutrino flux observed by IceCube. Assuming that the highest energy $\gamma$-rays are pionic, promising neutrino source candidates have been identified based on their spectra, and observing them is likely over the lifetime of the IceCube experiment. Here, we present the search for Galactic sources of high-energy cosmic neutrinos by focusing on sources identified by HAWC's very high energy $\gamma$-ray survey.


title: Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems

abstract: Many software systems have become too large and complex to be managed efficiently by human administrators, particularly when they operate in uncertain and dynamic environments and require frequent changes. Requirements-driven adaptation techniques have been proposed to endow systems with the necessary means to autonomously decide ways to satisfy their requirements. However, many current approaches rely on general-purpose languages, models and/or frameworks to design, develop and analyze autonomous systems. Unfortunately, these tools are not tailored towards the characteristics of adaptation problems in autonomous systems. In this paper, we present Optimal by Design (ObD ), a framework for model-based requirements-driven synthesis of optimal adaptation strategies for autonomous systems. ObD proposes a model (and a language) for the high-level description of the basic elements of self-adaptive systems, namely the system, capabilities, requirements and environment. Based on those elements, a Markov Decision Process (MDP) is constructed to compute the optimal strategy or the most rewarding system behaviour. Furthermore, this defines a reflex controller that can ensure timely responses to changes. One novel feature of the framework is that it benefits both from goal-oriented techniques, developed for requirement elicitation, refinement and analysis, and synthesis capabilities and extensive research around MDPs, their extensions and tools. Our preliminary evaluation results demonstrate the practicality and advantages of the framework.


title: Collisional time and shear relaxation time for interacting QGP

abstract: We have studied the collisional time and relaxation time of a QGP(Quark-Gluon Plasma) by parameterizing them by temperature. From this parameterization we have obtained the decay rate parameterized by temperature which further helps us to calculate and compare the shear viscosity to entropy density ratio of a QGP with the KSS(Kovtun-Son-Starinets) result.


title: Quantum walks of interacting Mott insulator defects with three-body interactions

abstract: Quantum walks of interacting particles may display non-trivial features due to the interplay between the statistical nature and the many-body interactions associated to them. We analyze the quantum walk of interacting defects on top of an uniform bosonic Mott insulator at unit filling in an one dimensional graph. While the quantum walk of single particle defect shows trivial features, the case of two particles exhibits interesting phenomenon of quantum walk reversal as a function of additional onsite three-body attractive interactions. In the absence of the three-body interaction a quantum walk of pairs of particles is obtained and as the strength of the three-body interaction becomes more and more attractive, the independent particle behavior in quantum walk appears. Interestingly, further increase in the three-body interaction leads to the re-appearance of the quantum walk associated to a pair of particles. This quantum-walk reversal phenomenon is studied using the real-space density evolution, Bloch oscillation as well as two-particle correlation functions.


title: Annual and daily ideal periods for deliquescence at the landing site of InSight based on GCM model calculations

abstract: Liquid water is one of the key elements in the search for possible life outside of the Earth and has a wide range of consequences on various chemical and geological processes. The InSight probe landed on Mars with a special equipment dedicated to examine geophysical characteristics and internal heat flow of the planet and some meteorological instruments also included in the payload. We examine the annual and daily variations of near-surface relative humidity and surface temperature calculated from the General Circulation Model (GCM) at Elysium Planitia, the landing site of InSight and search for possible ideal times for deliquescence. We inspect three different hygroscopic salts, but find that out of the three only calcium-perchlorate could liquify at the environment of InSight. We find that nighttime ideal periods could occur in a limited window between approximately Ls 90 and 150 at the late evening hours centered around 9 PM. In our daily studies we find no instances where the whole night could be ideal for deliquescence. This is mostly due to the temperatures dropping below eutectic level leading to a 0.5 - 2 hour long presumed ideal period before midnight. On multiple occasions the temperature is just a few degrees below the necessary limit while relative humidity is high enough, therefore the precise temperature measurements of InSight could be critical in determining ideal periods for deliquescence.