title: Trajectory-Based Recognition of Dynamic Persian Sign Language Using Hidden Markov Model

abstract: Sign Language Recognition (SLR) is an important step in facilitating the communication among deaf people and the rest of society. Existing Persian sign language recognition systems are mainly restricted to static signs which are not very useful in everyday communications. In this study, a dynamic Persian sign language recognition system is presented. A collection of 1200 videos were captured from 12 individuals performing 20 dynamic signs with a simple white glove. The trajectory of the hands, along with hand shape information were extracted from each video using a simple region-growing technique. These time-varying trajectories were then modeled using Hidden Markov Model (HMM) with Gaussian probability density functions as observations. The performance of the system was evaluated in different experimental strategies. Signer-independent and signer-dependent experiments were performed on the proposed system and the average accuracy of 97.48% was obtained. The experimental results demonstrated that the performance of the system is independent of the subject and it can also perform excellently even with a limited number of training data.


title: On a phase field model of Cahn-Hilliard type for tumour growth with mechanical effects

abstract: Mechanical effects have mostly been neglected so far in phase field tumour models that are based on a Cahn-Hilliard approach. In this paper we study a macroscopic mechanical model for tumour growth in which cell-cell adhesion effects are taken into account with the help of a Ginzburg--Landau type energy. In the overall model an equation of Cahn-Hilliard type is coupled to the system of linear elasticity and a reaction-diffusion equation for a nutrient concentration. The highly non-linear coupling between a fourth-order Cahn-Hilliard equation and the quasi-static elasticity system lead to new challenges which cannot be dealt within a gradient flow setting which was the method of choice for other elastic Cahn-Hilliard systems. We show existence, uniqueness and regularity results. In addition, several continuous dependence results with respect to different topologies are shown. Some of these results give uniqueness for weak solutions and other results will be helpful for optimal control problems.


title: A Constraint-Tightening Approach to Nonlinear Stochastic Model Predictive Control for Systems under General Disturbances

abstract: This paper presents a nonlinear model predictive control strategy for stochastic systems with general (state and input dependent) disturbances subject to chance constraints. Our approach uses an online computed stochastic tube to ensure stability, constraint satisfaction and recursive feasibility in the presence of stochastic uncertainties. The shape of the tube and the constraint backoff is based on an offline computed incremental Lyapunov function.


title: The Plausibility Paradox for Scaled-Down Users in Virtual Environments

abstract: This paper identifies a new phenomenon: when users interact with simulated objects in a virtual environment where the user is much smaller than usual, there is a mismatch between the object physics that they expect and the object physics that would be correct at that scale. We report the findings of our study investigating the relationship between perceived realism and a physically accurate approximation of reality in a virtual reality experience in which the user has been scaled down by a factor of ten. We conducted a within-subjects experiment in which 44 subjects performed a simple interaction task with objects under two different physics simulation conditions. In one condition, the objects, when dropped and thrown, behaved accurately according to the physics that would be correct at that reduced scale in the real world, our true physics condition. In the other condition, the movie physics condition, the objects behaved in a similar manner as they would if no scaling of the user had occurred. We found that a significant majority of the users considered the latter condition to be the more realistic one. We argue that our findings have implications for many virtual reality and telepresence applications involving operation with simulated or physical objects in small scales.


title: The most frequent programming mistakes that cause software vulnerabilities

abstract: All computer programs have flaws, some of which can be exploited to gain unauthorized access to computer systems. We conducted a field study on publicly reported vulnerabilities affecting three open source software projects in widespread use. This paper highlights the main observations and conclusions from the field data collected in the study.


title: Gel and glass transition in fragile colloidal clays

abstract: Dynamic Light Scattering (DLS) measurements were performed on colloidal suspensions of Laponite\textsuperscript{\textregistered} at different concentrations in the range $C_\text{w}= (1.5{\div}3.0)$%. The slowing down of the dynamics induced by aging was monitored by following the temporal evolution of autocorrelation functions at different concentrations towards the gel and glass transition. Exploiting analogies with supercooled liquids approaching their glass transitions, an Angell plot for the structural relaxation times was drawn. Finally, the fragility of Laponite\textsuperscript{\textregistered} suspensions at different concentrations, in different solvents, at two salt concentrations and with the addition of a polymer was reported and discussed.


title: Lattice calculation of the hadronic leading order contribution to the muon $g-2$

abstract: The persistent discrepancy of about 3.5 standard deviations between the experimental measurement and the Standard Model prediction for the muon anomalous magnetic moment, $a_\mu$, is one of the most promising hints for the possible existence of new physics. Here we report on our lattice QCD calculation of the hadronic vacuum polarisation contribution $a_\mu^{\rm hvp}$, based on gauge ensembles with $N_f=2+1$ flavours of O($a$) improved Wilson quarks. We address the conceptual and numerical challenges that one encounters along the way to a sub-percent determination of the hadronic vacuum polarisation contribution. The current status of lattice calculations of $a_\mu^{\rm hvp}$ is presented by performing a detailed comparison with the results from other groups.


title: Role of charge transfer in hybridization-induced spin transition in metal-organic molecules

abstract: The spin-crossover in organometallic molecules constitutes one of the most promising routes towards the realization of molecular spintronic devices. In this article, we explore the hybridization-induced spin-crossover in metal-organic complexes. We propose a minimal many-body model that captures the essence of the spin-state switching in a generic parameter space, thus providing insight into the underlying physics. Combining the model with density functional theory (DFT), we then study the spin-crossover in isomeric structures of Ni-porphyrin (Ni-TPP). We show that metal-ligand charge transfer plays a crucial role in the determination of the spin-state in Ni-TPP. Finally, we propose a spin-crossover mechanism based on mechanical strain, which does not require a switch between isomeric structures.


title: A Mean Field Games Model for Cryptocurrency Mining

abstract: We propose a mean field game model to study the question of how centralization of reward and computational power occur in Bitcoin-like cryptocurrencies. Miners compete against each other for mining rewards by increasing their computational power. This leads to a novel mean field game of jump intensity control, which we solve explicitly for miners maximizing exponential utility, and handle numerically in the case of miners with power utilities. We show that the heterogeneity of their initial wealth distribution leads to greater imbalance of the reward distribution, and increased wealth heterogeneity over time, or a "rich get richer" effect. This concentration phenomenon is aggravated by a higher bitcoin mining reward, and reduced by competition. Additionally, an advantaged miner with cost advantages such as access to cheaper electricity, contributes a significant amount of computational power in equilibrium, unaffected by competition from less efficient miners. Hence, cost efficiency can also result in the type of centralization seen among miners of cryptocurrencies.


title: News & Views on a new search for the doubly charmed baryon $\Xi_{cc}^+$ at the LHC

abstract: Invited "News & Views" for the journal, SCIENCE CHINA: Physics, Mechanics & Astronomy, on a recently new search for the doubly charmed baryon $\Xi_{cc}^+$ at the LHC, which is done by the LHCb Collaboration, arXiv:1909.12273.


title: EmbedMask: Embedding Coupling for One-stage Instance Segmentation

abstract: Current instance segmentation methods can be categorized into segmentation-based methods that segment first then do clustering, and proposal-based methods that detect first then predict masks for each instance proposal using repooling. In this work, we propose a one-stage method, named EmbedMask, that unifies both methods by taking advantages of them. Like proposal-based methods, EmbedMask builds on top of detection models making it strong in detection capability. Meanwhile, EmbedMask applies extra embedding modules to generate embeddings for pixels and proposals, where pixel embeddings are guided by proposal embeddings if they belong to the same instance. Through this embedding coupling process, pixels are assigned to the mask of the proposal if their embeddings are similar. The pixel-level clustering enables EmbedMask to generate high-resolution masks without missing details from repooling, and the existence of proposal embedding simplifies and strengthens the clustering procedure to achieve high speed with higher performance than segmentation-based methods. Without any bells and whistles, EmbedMask achieves comparable performance as Mask R-CNN, which is the representative two-stage method, and can produce more detailed masks at a higher speed. Code is available at github.com/yinghdb/EmbedMask.


title: Mosco Convergence of Stable-Like Non-Local Dirichlet Forms on Metric Measure Spaces

abstract: We prove that stable-like non-local Dirichlet forms converge to local Dirichlet form in the sense of Mosco on metric measure spaces. We prove that subordinated Dirichlet forms converge to the original Dirichlet form in the sense of Mosco on metric measure spaces.


title: Receiver operating characteristic (ROC) movies, universal ROC (UROC) curves, and coefficient of predictive ability (CPA)

abstract: Throughout science and technology, receiver operating characteristic (ROC) curves and associated area under the curve (AUC) measures constitute powerful tools for assessing the predictive abilities of features, markers and tests in binary classification problems. Despite its immense popularity, ROC analysis has been subject to a fundamental restriction, in that it applies to dichotomous (yes or no) outcomes only. Here we introduce ROC movies and universal ROC (UROC) curves that apply to just any linearly ordered outcome, along with an associated coefficient of predictive ability (CPA) measure. CPA equals the area under the UROC curve, and admits appealing interpretations in terms of probabilities and rank based covariances. For binary outcomes CPA equals AUC, and for pairwise distinct outcomes CPA relates linearly to Spearman's coefficient, in the same way that the C index relates linearly to Kendall's coefficient. ROC movies, UROC curves, and CPA nest and generalize the tools of classical ROC analysis, and are bound to supersede them in a wealth of applications. Their usage is illustrated in data examples from biomedicine and meteorology, where rank based measures yield new insights in the WeatherBench comparison of the predictive performance of convolutional neural networks and physical-numerical models for weather prediction.


title: A probabilistic assessment of the Indo-Aryan Inner-Outer Hypothesis

abstract: This paper uses a novel data-driven probabilistic approach to address the century-old Inner-Outer hypothesis of Indo-Aryan. I develop a Bayesian hierarchical mixed-membership model to assess the validity of this hypothesis using a large data set of automatically extracted sound changes operating between Old Indo-Aryan and Modern Indo-Aryan speech varieties. I employ different prior distributions in order to model sound change, one of which, the logistic normal distribution, has not received much attention in linguistics outside of Natural Language Processing, despite its many attractive features. I find evidence for cohesive dialect groups that have made their imprint on contemporary Indo-Aryan languages, and find that when a logistic normal prior is used, the distribution of dialect components across languages is largely compatible with a core-periphery pattern similar to that proposed under the Inner-Outer hypothesis.


title: Physics enhanced neural networks predict order and chaos

abstract: Conventional artificial neural networks are powerful tools in science and industry, but they can fail when applied to nonlinear systems where order and chaos coexist. We use neural networks that incorporate the structures and symmetries of Hamiltonian dynamics to predict phase space trajectories even as nonlinear systems transition from order to chaos. We demonstrate Hamiltonian neural networks on the canonical Henon-Heiles system, which models diverse dynamics from astrophysics to chemistry. The power of the technique and the ubiquity of chaos suggest widespread utility.


title: When Autonomous Intelligent Goodware will Fight Autonomous Intelligent Malware: A Possible Future of Cyber Defense

abstract: In the coming years, the future of military combat will include, on one hand, artificial intelligence-optimized complex command, control, communications, computers, intelligence, surveillance and reconnaissance (C4ISR) and networks and, on the other hand, autonomous intelligent Things fighting autonomous intelligent Things at a fast pace. Under this perspective, enemy forces will seek to disable or disturb our autonomous Things and our complex infrastructures and systems. Autonomy, scale and complexity in our defense systems will trigger new cyber-attack strategies, and autonomous intelligent malware (AIM) will be part of the picture. Should these cyber-attacks succeed while human operators remain unaware or unable to react fast enough due to the speed, scale or complexity of the mission, systems or attacks, missions would fail, our networks and C4ISR would be heavily disrupted, and command and control would be disabled. New cyber-defense doctrines and technologies are therefore required. Autonomous cyber defense (ACyD) is a new field of research and technology driven by the defense sector in anticipation of such threats to future military infrastructures, systems and operations. It will be implemented via swarms of autonomous intelligent cyber-defense agents (AICAs) that will fight AIM within our networks and systems. This paper presents this cyber-defense technology of the future, the current state of the art in this field and its main challenges. First, we review the rationale of the ACyD concept and its associated AICA technology. Then, we present the current research results from NATO's IST-152 Research Task Group on the AICA Reference Architecture. We then develop the 12 main technological challenges that must be resolved in the coming years, besides ethical and political issues.


title: Pattern and Anomaly Detection in Urban Temporal Networks

abstract: Broad spectrum of urban activities including mobility can be modeled as temporal networks evolving over time. Abrupt changes in urban dynamics caused by events such as disruption of civic operations, mass crowd gatherings, holidays and natural disasters are potentially reflected in these temporal mobility networks. Identification and early detecting of such abnormal developments is of critical importance for transportation planning and security. Anomaly detection from high dimensional network data is a challenging task as edge level measurements often have low values and high variance resulting in high noise-to-signal ratio. In this study, we propose a generic three-phase pipeline approach to tackle curse of dimensionality and noisiness of the original data. Our pipeline consists of i) initial network aggregation leveraging community detection ii) unsupervised dimensionality reduction iii) clustering of the resulting representations for outlier detection. We perform extensive experiments to evaluate the proposed approach on mobility data collected from two major cities, New York City and Taipei. Our results empirically prove that proposed methodology outperforms traditional approaches for anomaly detection. We further argue that the proposed anomaly detection framework is potentially generalizable to various other types of temporal networks e.g. social interactions, information propagation and epidemic spread.


title: Wavelet regularization of gauge theories

abstract: Extending the principle of local gauge invariance $\psi(x)\to \exp\left(\imath \sum_A \omega^A(x)T^A \right) \psi(x), x \in \mathbb{R}^d$, with $T^A$ being the generators of the gauge group $\mathcal{A}$, to the fields $\psi(g)\equiv \langle \chi|\Omega^*(g)|\psi\rangle$, defined on a locally compact Lie group $G$, $g\in G$, where $\Omega(g)$ is suitable square-integrable representation of $G$, it is shown that taking the coordinates ($g$) on the affine group, we get a gauge theory that is finite by construction. The renormalization group in the constructed theory relates to each other the charges measured at different scales. The case of the $\mathcal{A}=SU(N)$ gauge group is considered.


title: Unbiasing the initiator approximation in Full Configuration Interaction Quantum Monte Carlo

abstract: We identify and rectify a crucial source of bias in the initiator FCIQMC algorithm. Non-initiator determinants (i.e. determinants whose population is below the initiator threshold) are subject to a systematic {\em undersampling} bias, which in large systems leads to a bias in the energy when an insufficient number of walkers is used. We show that the acceptance probability ($p_{acc}$), that a non-initiator determinant has its spawns accepted, can be used to unbias the initiator bias, in a simple and accurate manner, by reducing the applied shift to the non-initiator proportionately to $p_{acc}$. This modification preserves the property that in the large walker limit, when $p_{acc}\rightarrow1$, the unbiasing procedure disappears, and the initiator approximation becomes exact. We demonstrate that this algorithm shows rapid convergence to the FCI limit with respect to walker number, and furthermore largely removes the dependence of the algorithm on the initiator threshold, enabling highly accurate results to be obtained even with large values of the threshold. This is exemplified in the case of butadiene/ANO-L-pVDZ and benzene/cc-pVDZ, correlating 22 and 30 electrons in 82 and 108 orbitals respectively. In butadiene $5\times 10^7$ and in benzene $10^8$ walkers suffice to obtain an energy to within a milli-Hartree of the CCSDT(Q) result, in Hilbert spaces of $10^{26}$ and $10^{35}$ respectively. Essentially converged results require $\sim 10^8$ walkers for butadiene and $\sim 10^9$ walkers for benzene, and lie slightly lower than CCSDT(Q). Owing to large-scale parallelisability, these calculations can be executed in a matter of hours on a few hundred processors. The present method largely solves the initiator-bias problems that the initiator method suffered from when applied to medium-sized molecules.


title: LHCb gets closer to discovering the second doubly charmed baryon

abstract: We comment on the results of the recent search by the LHCb collaboration for the doubly charmed baryon $\Xi_{cc}^+$.


title: High order ADER schemes for continuum mechanics

abstract: In this paper we first review the development of high order ADER finite volume and ADER discontinuous Galerkin schemes on fixed and moving meshes, since their introduction in 1999 by Toro et al. We show the modern variant of ADER based on a space-time predictor-corrector formulation in the context of ADER discontinuous Galerkin schemes with a posteriori subcell finite volume limiter on fixed and moving grids, as well as on space-time adaptive Cartesian AMR meshes. We then present and discuss the unified symmetric hyperbolic and thermodynamically compatible (SHTC) formulation of continuum mechanics developed by Godunov, Peshkov and Romenski (GPR model), which allows to describe fluid and solid mechanics in one single and unified first order hyperbolic system. In order to deal with free surface and moving boundary problems, a simple diffuse interface approach is employed, which is compatible with Eulerian schemes on fixed grids as well as direct Arbitrary-Lagrangian-Eulerian methods on moving meshes. We show some examples of moving boundary problems in fluid and solid mechanics.


title: Phase transitions for nonlinear nonlocal aggregation-diffusion equations

abstract: We are interested in studying the stationary solutions and phase transitions of aggregation equations with degenerate diffusion of porous medium-type, with exponent $1 < m < \infty$. We first prove the existence of possibly infinitely many bifurcations from the spatially homogeneous steady state. We then focus our attention on the associated free energy proving existence of minimisers and even uniqueness for sufficiently weak interactions. In the absence of uniqueness, we show that the system exhibits phase transitions: we classify values of $m$ and interaction potentials $W$ for which these phase transitions are continuous or discontinuous. Finally, we comment on the limit $m \to \infty$ and the influence that the presence of a phase transition has on this limit.


title: Epoch-wise label attacks for robustness against label noise

abstract: The current accessibility to large medical datasets for training convolutional neural networks is tremendously high. The associated dataset labels are always considered to be the real "ground truth". However, the labeling procedures often seem to be inaccurate and many wrong labels are integrated. This may have fatal consequences on the performance of both training and evaluation. In this paper, we show the impact of label noise in the training set on a specific medical problem based on chest X-ray images. With a simple one-class problem, the classification of tuberculosis, we measure the performance on a clean evaluation set when training with label-corrupt data. We develop a method to compete with incorrectly labeled data during training by randomly attacking labels on individual epochs. The network tends to be robust when flipping correct labels for a single epoch and initiates a good step to the optimal minimum on the error surface when flipping noisy labels. On a baseline with an AUC (Area under Curve) score of 0.924, the performance drops to 0.809 when 30% of our training data is misclassified. With our approach the baseline performance could almost be maintained, the performance raised to 0.918.


title: Free energy asymptotics of the quantum Heisenberg spin chain

abstract: We consider the ferromagnetic quantum Heisenberg model in one dimension, for any spin $S\geq 1/2$. We give upper and lower bounds on the free energy, proving that at low temperature it is asymptotically equal to the one of an ideal Bose gas of magnons, as predicted by the spin-wave approximation. The trial state used in the upper bound yields an analogous estimate also in the case of two spatial dimensions, which is believed to be sharp at low temperature.


title: Non-Perturbative 3D Quantum Gravity: Quantum Boundary States and Exact Partition Function

abstract: We push forward the investigation of holographic dualities in 3D quantum gravity formulated as a topological quantum field theory, studying the correspondence between boundary and bulk structures. Working with the Ponzano-Regge topological state-sum model defining an exact discretization of 3d quantum gravity, we analyze how the partition function for a solid twisted torus depends on the boundary quantum state. This configuration is relevant to the AdS${}_{3}$/CFT${}_{2}$ correspondence. We introduce boundary spin network states with coherent superposition of spins on a square lattice on the boundary surface. This allows for the first exact analytical calculation of Ponzano-Regge amplitudes with extended 2D boundary (beyond the single tetrahedron). We get a regularized finite truncation of the BMS character formula obtained from the one-loop perturbative quantization of 3D gravity. This hints towards the existence of an underlying symmetry and the integrability of the theory for finite boundary at the quantum level for coherent boundary spin network states.


title: A probability theoretic approach to drifting data in continuous time domains

abstract: The notion of drift refers to the phenomenon that the distribution, which is underlying the observed data, changes over time. Albeit many attempts were made to deal with drift, formal notions of drift are application-dependent and formulated in various degrees of abstraction and mathematical coherence. In this contribution, we provide a probability theoretical framework, that allows a formalization of drift in continuous time, which subsumes popular notions of drift. In particular, it sheds some light on common practice such as change-point detection or machine learning methodologies in the presence of drift. It gives rise to a new characterization of drift in terms of stochastic dependency between data and time. This particularly intuitive formalization enables us to design a new, efficient drift detection method. Further, it induces a technology, to decompose observed data into a drifting and a non-drifting part.


title: Probing stops in the coannihilation region at the HL-LHC: a comparative study of different processes

abstract: In the minimal supersymmetric model, the coannihilation of the lighter stop $\tilde{t}_1$ and bino-like dark matter $\chi$ provides a feasible way to accommodate the correct dark matter relic abundance. In this scenario, due to the compressed masses, $\tilde{t}_1$ merely appears as missing energy at the LHC and thus the pair production of $\tilde{t}_1$ can only be probed by requiring an associated energetic jet. Meanwhile, since $\tilde{t}_2$ and $\tilde{b}_1$ are correlated in mass and mixing with $\tilde{t}_1$, the production of $\tilde{t}_2\tilde{t}_2^*$ or $\tilde{b}_1\tilde{b}_1^*$, each of which dominantly decays into $\tilde{t}_1$ plus $Z$, $h$ or $W$ boson, may serve as a complementary probe. We examine all these processes at the HL-LHC and find that the $2\sigma$ sensitivity to $\chi$ mass can be as large as about 570 GeV, 600 GeV and 1.1 TeV from the production process of $\tilde{t}_1\tilde{t}_1^*+{\rm jet}$, $\tilde{t}_2\tilde{t}_2^*$ and $\tilde{b}_1\tilde{b}_1^*$, respectively.


title: Analogues of gravity-induced instabilities in anisotropic metamaterials

abstract: In the context of field theory in curved spacetimes, it is known that suitable background spacetime geometries can trigger instabilities of fields, leading to exponential growth of their (quantum and classical) fluctuations --- a phenomenon called $\textit{vacuum awakening}$ in the quantum context, which in some classical scenarios seeds $\textit{spontaneous scalarization/vectorization}$. Despite its conceptual interest, an actual observation in nature of this effect is uncertain since it depends on the existence of fields with appropriate masses and couplings in strong-gravity regimes. Here, we propose analogues for this gravity-induced instability based on nonlinear optics of metamaterials which could, in principle, be observed in laboratory.


title: SemEval-2016 Task 3: Community Question Answering

abstract: This paper describes the SemEval--2016 Task 3 on Community Question Answering, which we offered in English and Arabic. For English, we had three subtasks: Question--Comment Similarity (subtask A), Question--Question Similarity (B), and Question--External Comment Similarity (C). For Arabic, we had another subtask: Rerank the correct answers for a new question (D). Eighteen teams participated in the task, submitting a total of 95 runs (38 primary and 57 contrastive) for the four subtasks. A variety of approaches and features were used by the participating systems to address the different subtasks, which are summarized in this paper. The best systems achieved an official score (MAP) of 79.19, 76.70, 55.41, and 45.83 in subtasks A, B, C, and D, respectively. These scores are significantly better than those for the baselines that we provided. For subtask A, the best system improved over the 2015 winner by 3 points absolute in terms of Accuracy.


title: SemEval-2016 Task 4: Sentiment Analysis in Twitter

abstract: This paper discusses the fourth year of the ``Sentiment Analysis in Twitter Task''. SemEval-2016 Task 4 comprises five subtasks, three of which represent a significant departure from previous editions. The first two subtasks are reruns from prior years and ask to predict the overall sentiment, and the sentiment towards a topic in a tweet. The three new subtasks focus on two variants of the basic ``sentiment classification in Twitter'' task. The first variant adopts a five-point scale, which confers an ordinal character to the classification task. The second variant focuses on the correct estimation of the prevalence of each class of interest, a task which has been called quantification in the supervised learning literature. The task continues to be very popular, attracting a total of 43 teams.


title: Image-free real-time classification of fast moving objects using 'learned' spatial light modulation and a single-pixel detector

abstract: Objects classification generally relies on image acquisition and analysis. Real-time classification of high-speed moving objects is challenging, as both high temporal resolution in image acquisition and low computational complexity in objects classification algorithms are required. Here we propose and experimentally demonstrate an approach for real-time moving objects classification without image acquisition. As objects classification algorithms rely on the feature information of objects, we propose to use spatial light modulation to acquire the feature information directly rather than performing image acquisition followed by features extraction. A convolutional neural network is designed and trained to learn the spatial features of the target objects. The trained network can generate structured patterns for spatial light modulation. Using the resulting structured patterns for spatial light modulation, the feature information of target objects can be compressively encoded into a short light intensity sequence. The resulting one-dimensional signal is collected by a single-pixel detector and fed to the convolutional neural network for objects classification. As experimentally demonstrated, the proposed approach can achieve accurate and real-time classification of fast moving objects. The proposed method has potential applications in the fields where fast moving objects classification in real time and for long duration is required.


title: Vortex Core and POD Analysis on Hairpin Vortex Formation in Flow Transition

abstract: In this study, the new concept of vortex core line based on Liutex definition is applied to demonstrate that vortex ring is not part of the Lambda-vortex and the generation of ring like vortex is formed separately from the Lambda-vortex. The proper orthogonal decomposition is also applied to analyze the Kelvin Helmholtz instability happening in hairpin ring areas of flow transition on the flat plate to understand the ring like vortex formation. The new identification method named modified Omega-Liutex method is efficiently used to visualize and observe the shapes of vortex structures in 3D. The streamwise vortex structure characteristics can be found in POD Mode1 as the mean flow. The other POD modes are in spanwise structures and have the fluctuation motions, which are induced by KH instability. Moreover, the result shows that fluctuated POD modes are in pairs and share the same characteristics such as amplitudes, mode shapes and time evolutions. The vortex core and POD results confirm that the Lambda-vortex is not self deformed to a hairpin vortex, but it is formed by the KH instability during the formation of Lambda vortex and hairpin vortex in boundary layer flow transition.


title: On the regularity and approximation of invariant densities for random continued fractions

abstract: We study perturbations of random dynamical systems whose associated transfer operators admit a uniform spectral gap. We provide a $k^{\text{th}}$-order approximation for the invariant density of the associated random dynamical system. We apply our result to random continued fractions.


title: Proof of Dudley's Convex Approximation

abstract: We provide a self contained proof of a result of Dudley [Dud64]} which shows that a bounded convex-body in $\Re^d$ can be $\varepsilon$-approximated, by the intersection of $O_d\bigl(\varepsilon^{-(d-1)/2} \bigr)$ halfspaces, where $O_d$ hides constants that depends on $d$.


title: FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks

abstract: With a constant improvement in the network architectures and training methodologies, Neural Networks (NNs) are increasingly being deployed in real-world Machine Learning systems. However, despite their impressive performance on "known inputs", these NNs can fail absurdly on the "unseen inputs", especially if these real-time inputs deviate from the training dataset distributions, or contain certain types of input noise. This indicates the low noise tolerance of NNs, which is a major reason for the recent increase of adversarial attacks. This is a serious concern, particularly for safety-critical applications, where inaccurate results lead to dire consequences. We propose a novel methodology that leverages model checking for the Formal Analysis of Neural Network (FANNet) under different input noise ranges. Our methodology allows us to rigorously analyze the noise tolerance of NNs, their input node sensitivity, and the effects of training bias on their performance, e.g., in terms of classification accuracy. For evaluation, we use a feed-forward fully-connected NN architecture trained for the Leukemia classification. Our experimental results show $\pm 11\%$ noise tolerance for the given trained network, identify the most sensitive input nodes, and confirm the biasness of the available training dataset.


title: A new review of excitation functions of hadron production in $pp$ collisions in the NICA energy range

abstract: Data on hadron multiplicities from inelastic proton-proton interactions in the energy range of the NICA collider have been compiled. The compilation includes recent results from the NA61/SHINE and NA49 experiments at the CERN SPS accelerator. New parameterizations for excitation functions of mean multiplicities $\left<\pi^{\pm}\right>$, $\left<K^{\pm}\right>$, $\left<K^{0}_S\right>$, $\left<\Lambda\right>$, $\left<p\right>$, $\left<\bar{p}\right>$ are obtained in the region of collision energies $3<\sqrt{s_{NN}}<31$ GeV. The energy dependence of the particle yields, as well as variation of rapidity and transverse momentum distributions are discussed. A standalone algorithm for hadron phase space generation in pp collisions is suggested and compared to model predictions using an example of the PHQMD generator.


title: Throughput Maximization for UAV-aided Backscatter Communication Networks

abstract: This paper investigates unmanned aerial vehicle (UAV)-aided backscatter communication (BackCom) networks, where the UAV is leveraged to help the backscatter device (BD) forward signals to the receiver. Based on the presence or absence of a direct link between BD and receiver, two protocols, namely transmit-backscatter (TB) protocol and transmit-backscatter-relay (TBR) protocol, are proposed to utilize the UAV to assist the BD. In particular, we formulate the system throughput maximization problems for the two protocols by jointly optimizing the time allocation, reflection coefficient and UAV trajectory. Different static/dynamic circuit power consumption models for the two protocols are analyzed. The resulting optimization problems are shown to be non-convex, which are challenging to solve. We first consider the dynamic circuit power consumption model, and decompose the original problems into three sub-problems, namely time allocation optimization with fixed UAV trajectory and reflection coefficient, reflection coefficient optimization with fixed UAV trajectory and time allocation, and UAV trajectory optimization with fixed reflection coefficient and time allocation. Then, an efficient iterative algorithm is proposed for both protocols by leveraging the block coordinate descent method and successive convex approximation (SCA) techniques. In addition, for the static circuit power consumption model, we obtain the optimal time allocation with a given reflection coefficient and UAV trajectory and the optimal reflection coefficient with low computational complexity by using the Lagrangian dual method. Simulation results show that the proposed protocols are able to achieve significant throughput gains over the compared benchmarks.


title: Local magnetic moment oscillation around an Anderson impurity on graphene

abstract: We theoretically investigate the spin resolved Friedel oscillation (FO) and quasiparticle interference (QPI) in graphene induced by an Anderson impurity. Once the impurity becomes magnetic, the resulted FO becomes spin dependent, which gives rise to a local magnetic moment oscillation with an envelop decaying as $r^{-2}$ in real space in the doping cases. Meanwhile, at half filling, the charge density and local magnetic moment will not oscillate but decay as $r^{-3}$. Such spin resolved FO has both sublattice and spin asymmetry. Interestingly, the local magnetic moment decay at half filling only occurs at one sublattice of graphene, which is quite like the phenomenon observed in a recent STM experiment [H. Gonzalez-Herrero et al., Science 352, 437 (2016)]. We further give an analytic formula about such spin dependent FO based on the stationary phase approximation. Finally, we study the interference of quasiparticles around the magnetic impurity by calculating the spin-dependent Fourier-transformed local density of states (FT-LDOS). Our work gives a comprehensive understanding about the local magnetic moment oscillation around an Anderson impurity on graphene.


title: Neural Academic Paper Generation

abstract: In this work, we tackle the problem of structured text generation, specifically academic paper generation in $\LaTeX{}$, inspired by the surprisingly good results of basic character-level language models. Our motivation is using more recent and advanced methods of language modeling on a more complex dataset of $\LaTeX{}$ source files to generate realistic academic papers. Our first contribution is preparing a dataset with $\LaTeX{}$ source files on recent open-source computer vision papers. Our second contribution is experimenting with recent methods of language modeling and text generation such as Transformer and Transformer-XL to generate consistent $\LaTeX{}$ code. We report cross-entropy and bits-per-character (BPC) results of the trained models, and we also discuss interesting points on some examples of the generated $\LaTeX{}$ code.


title: On the contribution of work or heat in exchanged energy via interaction in open bipartite quantum systems

abstract: In this paper, unambiguous redefinitions of heat and work are presented for quantum thermodynamic systems. We will use genuine reasoning based on which Clausius originally defined work and heat in establishing thermodynamics. The change in the energy which is accompanied by a change in the entropy is identified as heat, while any change in the energy which does not lead to a change in the entropy is known as work. It will be seen that quantum coherence does not allow all the energy exchanged between two quantum systems to be only of the heat form. Several examples will also be discussed. Finally, it will be shown that these refined definitions will strongly affect the entropy production of quantum thermodynamic processes giving new insight into the irreversibility of quantum processes.


title: A user-operator assignment game with heterogeneous user groups for empirical evaluation of a microtransit service in Luxembourg

abstract: We tackle the problem of evaluating the impact of different operation policies on the performance of a microtransit service. This study is the first empirical application using the stable matching modeling framework to evaluate different operation cost allocation and pricing mechanisms on microtransit service. We extend the deterministic stable matching model to a stochastic reliability-based one to consider user's heterogeneous perceptions of utility on the service routes. The proposed model is applied to the evaluation of Kussbus microtransit service in Luxembourg. We found that the current Kussbus operation is not a stable outcome. By reducing their route operating costs of 50%, it is expected to increase the ridership of 10%. If Kussbus can reduce in-vehicle travel time on their own by 20%, they can significantly increase profit several folds from the baseline.


title: Unraveling the degradation mechanism in FIrpic based Blue OLEDs: II. Trap and detect molecules at the interfaces

abstract: The impact of organic light emitting diodes (OLEDs) in modern life is witnessed by their wide employment in full-color, energy-saving, flat panel displays and smart-screens; a bright future is likewise expected in the field of solid state lighting. Cyclometalated iridium complexes are the most used phosphorescent emitters in OLEDs due to their widely tunable photophysical properties and their versatile synthesis. Blue-emitting OLEDs, suffer from intrinsic instability issues hampering their long term stability. Backed by computational studies, in this work we studied the sky-blue emitter FIrpic in both ex-situ and in-situ degradation experiments combining complementary, mutually independent, experiments including chemical metathesis reactions, in liquid phase and solid state, thermal and spectroscopic studies and LC-MS investigations. We developed a straightforward protocol to evaluate the degradation pathways in iridium complexes, finding that FIrpic degrades through the loss of the picolinate ancillary ligand. The resulting iridium fragment was than efficiently trapped "in-situ" as BPhen derivative 1. This process is found to be well mirrored when a suitably engineered, FIrpic-based, OLED is operated and aged. In this paper we (i) describe how it is possible to effectively study OLED materials with a small set of readily accessible experiments and (ii) evidence the central role of host matrix in trapping experiments.


title: From the Sun to solar-like stars: how does the solar modelling problem affect our studies of solar-like oscillators?

abstract: Since the first observations of solar oscillations in 1962, helioseismology has probably been one of the most successful fields of astrophysics. Besides the improvement of observational data, solar seismologists developed sophisticated techniques to infer the internal structure of the Sun. Back in 1990s these comparisons showed a very high agreement between solar models and the Sun. However, the downward revision of the CNO surface abundances in the Sun in 2005, confirmed in 2009, induced a drastic reduction of this agreement leading to the so-called solar modelling problem. More than ten years later, in the era of the space-based photometry missions which have established asteroseismology of solar-like stars as a standard approach to obtain their masses, radii and ages, the solar modelling problem still awaits a solution. We will briefly present the results of new helioseismic inversions, discuss the current uncertainties of solar models and possible solutions to the solar modelling problem. We will also discuss how the solar problem can have significant implications for asteroseismology as a whole by discussing the modelling of the exoplanet-host star Kepler-444, thus impacting the fields requiring a precise and accurate knowledge of stellar masses, radii and ages, such as Galactic archaeology and exoplanetology.


title: Scalable Bayesian Preference Learning for Crowds

abstract: We propose a scalable Bayesian preference learning method for jointly predicting the preferences of individuals as well as the consensus of a crowd from pairwise labels. Peoples' opinions often differ greatly, making it difficult to predict their preferences from small amounts of personal data. Individual biases also make it harder to infer the consensus of a crowd when there are few labels per item. We address these challenges by combining matrix factorisation with Gaussian processes, using a Bayesian approach to account for uncertainty arising from noisy and sparse data. Our method exploits input features, such as text embeddings and user metadata, to predict preferences for new items and users that are not in the training set. As previous solutions based on Gaussian processes do not scale to large numbers of users, items or pairwise labels, we propose a stochastic variational inference approach that limits computational and memory costs. Our experiments on a recommendation task show that our method is competitive with previous approaches despite our scalable inference approximation. We demonstrate the method's scalability on a natural language processing task with thousands of users and items, and show improvements over the state of the art on this task. We make our software publicly available for future work.


title: Self-consistent simulations of ECR-based charge breeders: evidence and impact of the plasmoid-halo structure

abstract: This paper discusses the capture of an ion beam in a magnetized plasma of an Electron Cyclotron Resonance Ion Source based Charge Breeder, as modelled by numerical simulations. As a relevant step forward with respect to previous works, here the capture is modeled by considering a plasma structure determined in a self-consisent way. The plasmoid-halo structure of the ECR plasma - that is consisting of a dense core (the plasmoid) surrounded by a rarefied halo - is further confirmed by the self-consistent calculations, having also some fine structures affected by the electromagnetic field distribution and by the magnetostatic field profile. The capture of Rb1+ ions has been investigated in details, vs. various plasma parameters, and then compared to experimental results.


title: On the linear extension property for interpolating sequences

abstract: Let $S$ be a sequence of points in $\Omega ,$ where $\Omega$ is the unit ball or the unit polydisc in ${\mathbb{C}}^{n}.$ Denote $H^{p}$($\Omega $) the Hardy space of $\Omega .$ Suppose that $S$ is $H^{p}$ interpolating with $p\geq 2.$ Then $S$ has the bounded linear extension property. The same is true for the Bergman spaces of the ball by use of the "Subordination Lemma". The point of view used here is the vectorial one: Hilbertian and Besselian basis.


title: On Computing the Hamiltonian Index of Graphs

abstract: The $r$-th iterated line graph $L^{r}(G)$ of a graph $G$ is defined by: (i) $L^{0}(G) = G$ and (ii) $L^{r}(G) = L(L^{(r- 1)}(G))$ for $r > 0$, where $L(G)$ denotes the line graph of $G$. The Hamiltonian Index $h(G)$ of $G$ is the smallest $r$ such that $L^{r}(G)$ has a Hamiltonian cycle. Checking if $h(G) = k$ is NP-hard for any fixed integer $k \geq 0$ even for subcubic graphs $G$. We study the parameterized complexity of this problem with the parameter treewidth, $tw(G)$, and show that we can find $h(G)$ in time $O*((1 + 2^{(\omega + 3)})^{tw(G)})$ where $\omega$ is the matrix multiplication exponent and the $O*$ notation hides polynomial factors in input size. The NP-hard Eulerian Steiner Subgraph problem takes as input a graph $G$ and a specified subset $K$ of terminal vertices of $G$ and asks if $G$ has an Eulerian (that is: connected, and with all vertices of even degree.) subgraph $H$ containing all the terminals. A second result (and a key ingredient of our algorithm for finding $h(G)$) in this work is an algorithm which solves Eulerian Steiner Subgraph in $O*((1 + 2^{(\omega + 3)})^{tw(G)})$ time.


title: Self-Supervised Learning of Pretext-Invariant Representations

abstract: The goal of self-supervised learning from images is to construct image representations that are semantically meaningful via pretext tasks that do not require semantic annotations for a large training set of images. Many pretext tasks lead to representations that are covariant with image transformations. We argue that, instead, semantic representations ought to be invariant under such transformations. Specifically, we develop Pretext-Invariant Representation Learning (PIRL, pronounced as "pearl") that learns invariant representations based on pretext tasks. We use PIRL with a commonly used pretext task that involves solving jigsaw puzzles. We find that PIRL substantially improves the semantic quality of the learned image representations. Our approach sets a new state-of-the-art in self-supervised learning from images on several popular benchmarks for self-supervised learning. Despite being unsupervised, PIRL outperforms supervised pre-training in learning image representations for object detection. Altogether, our results demonstrate the potential of self-supervised learning of image representations with good invariance properties.


title: Research on dynamic target detection and tracking system of hexapod robot

abstract: Dynamic target detection and target tracking are hot issues in the field of image. In order to explore its application value in the field of mobile robot, a dynamic target detection and tracking system is designed based on hexapod robot. Firstly, the dynamic target detection method is introduced with region merging and adaptive external point filtering based on motion compensation method. This method achieves the accurate compensation of the moving background through symmetric matching and adaptive external point filtering, and achieves complete detection of non-rigid objects by region merging. Secondly, the application of target tracking algorithm based on KCF in hexapod robot platform is studied, and the Angle tracking of moving target is realized by adaptive adjustment of tracking speed. The last, the architecture of robot monitoring system is designed, which consists of operator, processor, hexapod robot and vision sensor, and the moving object detection and tracking algorithm proposed in this paper is applied to the system. The experimental results show that the improved algorithm can effectively detect and track the moving target when applied to the system of the mobile hexapod robot.


title: CaPtAs: a new noncentrosymmetric superconductor

abstract: We report the discovery of a new noncentrosymmetric superconductor CaPtAs. It crystallizes in a tetragonal structure (space group $I4_1md$, No.109), featuring three dimensional honeycomb networks of Pt-As and a much elongated $c$-axis ($a = b = 4.18 $ \AA, and $c = 43.70 $ \AA). The superconductivity of CaPtAs with $T_c$ = 1.47 K was characterized by means of electrical resistivity, specific heat, and ac magnetic susceptibility. The electronic specific heat $C_\mathrm{e}(T)/T$ shows evidence for a deviation from the behavior of a conventional BCS superconductor, and can be reasonably fitted by a $p$-wave model. The upper critical field $\mu_0H_{c2}$ of CaPtAs exhibits a relatively large anisotropy, with an in-plane value of around 204 mT and an out-of-plane value of 148 mT. Density functional theory calculations indicate that the Pt-5$d$ and As-4$p$ orbitals mainly contribute to the density of states near the Fermi level, showing that the Pt-As honeycomb networks may significantly influence the superconducting properties.


title: The Golomb space is topologically rigid

abstract: The $Golomb$ $space$ $\mathbb N_\tau$ is the set $\mathbb N$ of positive integers endowed with the topology $\tau$ generated by the base consisting of arithmetic progressions $\{a+bn:n\ge 0\}$ with coprime $a,b$. We prove that the Golomb space $\mathbb N_\tau$ is topologically rigid in the sense that its homeomorphism group is trivial. This resolves a problem posed by the first author at Mathoverflow in 2017.


title: Energy-Efficient Cooperative Secure Transmission in Multi-UAV Enabled Wireless Networks

abstract: This paper investigates a multiple unmanned aerial vehicles (UAVs) enabled cooperative secure transmission scheme in the presence of multiple potential eavesdroppers. Specifically, multiple source UAVs (SUAVs) send confidential information to multiple legitimate ground users and in the meantime multiple jamming UAVs (JUAVs) cooperatively transmit interference signals to multiple eavesdroppers in order to improve the legitimate users' achievable secrecy rate. By taking into account the limited energy budget of UAV, our goal is to maximize the system secrecy energy efficiency (SEE), namely the achievable secrecy rate per energy consumption unit, by jointly optimizing the UAV trajectory, transmit power and user scheduling under the constraints of UAV mobility as well as the maximum transmit power. The resulting optimization problem is shown to be a non-convex and mixed-integer fractional optimization problem, which is challenging to solve. We decompose the original problem into three sub-problems, and then an efficient iterative algorithm is proposed by leveraging the block coordinate descent and Dinkelbach method in combination with successive convex approximation techniques. Simulation results show that the proposed scheme outperforms the other benchmarks significantly in terms of the system SEE.


title: Fire Resistance Deformable Soft Gripper Based on Wire Jamming Mechanism

abstract: Able to grasp objects of any shape and size, universal grippers using variable stiffness phenomenon such as granular jamming have been developed for disaster robotics application. However, as their contact interface is mainly composed of unrigid and burnable silicone rubber, conventional soft grippers are not applicable to objects with sharp sections such as broken valves and glass fragments, especially on fire. In this research, the authors proposed a new method of variable stiffness mechanism using a string of beads that can be composed of cut-resistant and incombustible metals, arrange the mechanism to form a torus gripper, and conducted experiments to show its effectiveness.


title: Bounds on mixed state entanglement

abstract: In the general framework of $d\times d$ mixed states, we derive an explicit bound for bipartite NPT entanglement based on the mixedness characterization of the physical system. The result derived is very general, being based only on the assumption of finite dimensionality. In addition it turns out to be of experimental interest since some purity measuring protocols are known. Exploiting the bound in the particular case of thermal entanglement, a way to connect thermodynamic features to monogamy of quantum correlations is suggested, and some recent results on the subject are given a physically clear explanation.


title: On the Gaussian functions of two discrete variables

abstract: A remarkable discrete counterpart of the Gaussian function of one continuous variable can be defined by using a Jacobi theta function, that is, as the sum of a convergent series. We extend this approach to Gaussian functions of two variables, and investigate the Fourier transform and Wigner function of the functions of discrete variable defined in this way.


title: To beer or not to beer: does tapping beer cans prevent beer loss? A randomised controlled trial

abstract: Objective: Preventing or minimising beer loss when opening a can of beer is socially and economically desirable. One theoretically grounded approach is tapping the can prior to opening, although this has never been rigorously evaluated. We aimed to evaluate the effect of tapping a can of beer on beer loss. Methods: Single centre parallel-group randomised controlled trial. 1031 cans of cans of beer of 330mL were randomised into one of four groups before the experiment: unshaken/untapped (n=256), unshaken/tapped (n=251), shaken/untapped (n=249), or shaken/tapped (n=244). The intervention was tapping the can of beer three times on its side with a single finger. We compared tapping versus non-tapping for cans that had been shaken for 2 minutes or were unshaken. Three teams weighed, tapped or did not tap, opened cans, absorbed any beer loss using paper towels, then re-weighed cans. The teams recorded the mass of each can before and after opening with an accuracy of +/-0.01 grams. Main outcome measure: The main outcome measure was beer loss (in grams). This was calculated as the difference in the mass of the beer after the can was opened compared to before the can was opened. Results: For shaken cans, there was no statistically significant difference in the mass of beer lost when tapping compared to not tapping (mean difference of -0.159g beer lost with tapping, 95% CI -0.36 to 0.04). For unshaken cans, there was also no statistically significant difference between tapping and not tapping. Conclusion: These findings suggest that tapping shaken beer cans does not prevent beer loss when the container is opened. Thus, the practice of tapping a beer prior to opening is unsupported. The only apparent remedy to avoid liquid loss is to wait for bubbles to settle before opening the can.


title: On games with coordinating and anti-coordinating agents

abstract: This work studies Nash equilibria for games where a mixture of coordinating and anti-coordinating agents, with possibly heterogeneous thresholds, coexist and interact through an all-to-all network. Whilst games with only coordinating or only anti-coordinating agents are potential, also in the presence of heterogeneities, this does not hold when both type of agents are simultaneously present. This makes their analysis more difficult and existence of Nash equilibria not guaranteed. Our main result is a checkable condition on the threshold distributions that characterizes the existence of Nash equilibria in such mixed games. When this condition is satisfied an explicit algorithm allows to determine the complete set of such equilibria. Moreover, for the special case when only one type of agents is present (either coordinating or anti-coordinating), our results allow an explicit computation of the cardinality of Nash equilibria.


title: Multi-color forcing in graphs

abstract: Let $G=(V,E)$ be a finite connected graph along with a coloring of the vertices of $G$ using the colors in a given set $X$. In this paper, we introduce multi-color forcing, a generalization of zero-forcing on graphs, and give conditions in which the multi-color forcing process terminates regardless of the number of colors used. We give an upper bound on the number of steps required to terminate a forcing procedure in terms of the number of vertices in the graph on which the procedure is being applied. We then focus on multi-color forcing with three colors and analyze the end states of certain families of graphs, including complete graphs, complete bipartite graphs, and paths, based on various initial colorings. We end with a few directions for future research.


title: Surface singularities in $R^4$: first steps towards Lipschitz knot theory

abstract: A link of an isolated singularity of a two-dimensional semialgebraic surface in $R^4$ is a knot (or a link) in $S^3$. Thus the ambient Lipschitz classification of surface singularities in $R^4$ can be interpreted as a bi-Lipschitz refinement of the topological classification of knots (or links) in $S^3$. We show that, given a knot $K$ in $S^3$, there are infinitely many distinct ambient Lipschitz equivalence classes of outer metric Lipschitz equivalent singularities in $R^4$ with the links topologically equivalent to $K$.


title: Global Helioseismology

abstract: Helioseismology is one of the most successful fields of astrophysics. The observation and characterization of solar oscillation has allowed solar seismologists to study the internal structure and dynamics of the Sun with unprecedented thoroughness. Ground-based networks and dedicated space missions have delivered data of exquisite quality, enabling the development of sophisticated inference techniques. The achievements of the fields count, amongst other, the determination of solar photospheric helium abundance, unacessible to spectroscopic constraints, the precise positioning of the base of the convective zone and the demonstration of the importance of microscopic diffusion in stellar radiative regions. Helioseismology played also a key role in validating the framework used to compute solar and stellar models and played an important role in the so-called solar neutrino problem. In the current era of astrophysics, with the increasing importance of asteroseismology to precisely characterize stars, the Sun still plays a crucial calibration role, acting as a benchmark for stellar models. With the revision of the solar abundances and the current discussions related to radiative opacity computations, the role of the Sun as a laboratory of fundamental physics is undisputable. In this brief review, I will discuss some of the inference techniques developed in the field of helioseismology, dedicated to the exploitation of the solar global oscillation modes.


title: Toroidal Grothendieck rings and cluster algebras

abstract: We study deformations of cluster algebras with several quantum parameters, called toroidal cluster algebras, which naturally appear in the study of Grothendieck rings of representations of quantum affine algebras. In this context, we construct toroidal Grothendieck rings and we establish these are flat deformations of Grothendieck rings. We prove that for a family of monoidal categories $\mathscr{C}_1$ of simply-laced quantum affine algebras categorifying finite-type cluster algebras, the toroidal Grothendieck ring has a natural structure of a toroidal cluster algebra.


title: Challenges in Architecting Fully Automated Driving; with an Emphasis on Heavy Commercial Vehicles

abstract: Fully automated vehicles will require new functionalities for perception, navigation and decision making -- an Autonomous Driving Intelligence (ADI). We consider architectural cases for such functionalities and investigate how they integrate with legacy platforms. The cases range from a robot replacing the driver -- with entire reuse of existing vehicle platforms, to a clean-slate design. Focusing on Heavy Commercial Vehicles (HCVs), we assess these cases from the perspectives of business, safety, dependability, verification, and realization. The original contributions of this paper are the classification of the architectural cases themselves and the analysis that follows. The analysis reveals that although full reuse of vehicle platforms is appealing, it will require explicitly dealing with the accidental complexity of the legacy platforms, including adding corresponding diagnostics and error handling to the ADI. The current fail-safe design of the platform will also tend to limit availability. Allowing changes to the platforms, will enable more optimized designs and fault-operational behaviour, but will require initial higher development cost and specific emphasis on partitioning and control to limit the influences of safety requirements. For all cases, the design and verification of the ADI will pose a grand challenge and relate to the evolution of the regulatory framework including safety standards.


title: On normalizers of maximal tori in classical Lie groups

abstract: The normalizer $N_G(H_G)$ of a maximal torus $H_G$ in a semisimple complex Lie group $G$ does not in general allow a presentation as a semidirect product of $H_G$ and the corresponding Weyl group $W_G$. Meanwhile, splitting holds for classical groups corresponding to the root systems $A_\ell$, $B_\ell$, $D_\ell$. For the remaining classical groups corresponding to the root systems $C_\ell$ there still exists an embedding of the Tits extension of $W_G$ into normalizer $N_G(H_G)$. We provide explicit unified construction of the lifts of the Weyl groups into normalizers of maximal tori for classical Lie groups corresponding to the root systems $A_\ell$, $B_\ell$, $D_\ell$ using embeddings into general linear Lie groups. For symplectic series of classical Lie groups we provide an explanation of impossibility of embedding of the Weyl group into the symplectic group. The explicit formula for adjoint action of the lifts of the Weyl groups on $\mathfrak{g}={\rm Lie}(G)$ are given. Finally some examples of the groups closely associated with classical Lie groups are considered.


title: On stability of users equilibria in heterogeneous routing games

abstract: The asymptotic behaviour of deterministic logit dynamics in heterogeneous routing games is analyzed. It is proved that in directed multigraphs with parallel routes, and in series composition of such multigraphs, the dynamics admits a globally asymptotically stable fixed point. Moreover, the unique fixed point of the dynamics approaches the set of Wardrop equilibria, as the noise vanishes. The result relies on the fact that the dynamics of aggregate flows is monotone, and its Jacobian is strictly diagonally dominant by columns.


title: Exact asymptotics for phase retrieval and compressed sensing with random generative priors

abstract: We consider the problem of compressed sensing and of (real-valued) phase retrieval with random measurement matrix. We derive sharp asymptotics for the information-theoretically optimal performance and for the best known polynomial algorithm for an ensemble of generative priors consisting of fully connected deep neural networks with random weight matrices and arbitrary activations. We compare the performance to sparse separable priors and conclude that generative priors might be advantageous in terms of algorithmic performance. In particular, while sparsity does not allow to perform compressive phase retrieval efficiently close to its information-theoretic limit, it is found that under the random generative prior compressed phase retrieval becomes tractable.

categories: math.ST cond-mat.dis-nn cs.LG eess.SP stat.ML stat.TH


title: A statistical-inference approach to reconstruct inter-cellular interactions in cell-migration experiments

abstract: Migration of cells can be characterized by two, prototypical types of motion: individual and collective migration. We propose a statistical-inference approach designed to detect the presence of cell-cell interactions that give rise to collective behaviors in cell-motility experiments. Such inference method has been first successfully tested on synthetic motional data, and then applied to two experiments. In the first experiment, cell migrate in a wound-healing model: when applied to this experiment, the inference method predicts the existence of cell-cell interactions, correctly mirroring the strong intercellular contacts which are present in the experiment. In the second experiment, dendritic cells migrate in a chemokine gradient. Our inference analysis does not provide evidence for interactions, indicating that cells migrate by sensing independently the chemokine source. According to this prediction, we speculate that mature dendritic cells disregard inter-cellular signals that could otherwise delay their arrival to lymph vessels.


title: PROPHECY4F 3.0: A Monte Carlo program for Higgs-boson decays into four-fermion final states in and beyond the Standard Model

abstract: The Monte Carlo generator PPROPHECY4F provides a PROPer description of the Higgs dECaY into 4 Fermions within the Standard Model, the Standard Model with a fourth fermion generation, a simple Higgs-singlet extension of the Standard Model, and the Two-Higgs-Doublet Model. The fully differential predictions include the full QCD and electroweak next-to-leading-order corrections, all interference contributions between different WW/ZZ channels, and all off-shell effects of intermediate W/Z bosons. PPROPHECY4F computes the inclusive partial decay widths and allows for the computation of binned differential distributions of the decay products. For leptonic final states also unweighted events are provided.


title: Electric field on nucleus due to phonon lattice oscillations in solid states

abstract: In atoms and molecules, the electrons screen the nucleus from the external electric field. However, if the frequency of the electric field reaches the energy of atomic or molecular transition, the electric field at the nucleus may be resonantly enhanced by many orders in magnitude. In this paper, we study the mechanisms of screening or enhancement of electric field acting on the nuclei in solid states. We show that in dielectric crystals the phonon oscillations of the lattice play crucial role for determining the electric field on nuclei in the MHz-THz region. As an application, we propose an experimental scheme for measuring nuclear electric dipole moment in a solid state based on the coherent excitation of acoustic phonons.


title: Variability as a better characterization of Shannon entropy

abstract: The Shannon entropy, one of the cornerstones of information theory, is widely used in physics, particularly in statistical mechanics. Yet its characterization and connection to physics remain vague, leaving ample room for misconceptions and misunderstanding. We will show that the Shannon entropy can be fully understood as measuring the variability of the elements within a given distribution: it characterizes how much variation can be found within a collection of objects. We will see that it is the only indicator that is continuous and linear, that it quantifies the number of yes/no questions (i.e. bits) that are needed to identify an element within the distribution, and we will see how applying this concept to statistical mechanics in different ways leads to the Boltzmann, Gibbs and von Neumann entropies.


title: Key Modes for Time-Space Evolutions of ENSO and PDO by ESMD Method

abstract: The relation between El Ni\~{n}o-Southern Oscillation (ENSO) and Pacific Decadal Oscillation (PDO) perplexes the researchers. Probably, this is due to the default choice on empirical orthogonal function (EOF) method whose outputs are merely static maps without evolution characteristics. To change this situation, the new extreme-point symmetric mode decomposition (ESMD) method is tried. It reveals that: (1) As the ENSO concerned, the key modes are the quarter-decadal and half-decadal ones; (2) As the PDO concerned, the key modes are the half-decadal, decadal and interdecadal ones; (3) The half-decadal mode can be seen as a mutual component for ENSO and PDO and it plays a key part in the so-called "ENSO-like" variation of PDO. In addition, an integrated version of ESMD is developed for time-space evolution. Its outputs have verified the warm-cold shiftings of ENSO and PDO for the most typical episode during 1997-2000.


title: Fermion condensation under rotation on anti-de Sitter space

abstract: Due to the local curvature, the fermion condensate (FC) for a free Dirac field on anti-de Sitter (adS) space becomes finite, even in the massless limit. Employing the point splitting method using an exact expression for the Feynman two-point function, an experssion for the local FC is derived. Integrating this expression, we report the total FC in the adS volume and on its boundary.


title: Using Sequence-to-Sequence Learning for Repairing C Vulnerabilities

abstract: Software vulnerabilities affect all businesses and research is being done to avoid, detect or repair them. In this article, we contribute a new technique for automatic vulnerability fixing. We present a system that uses the rich software development history that can be found on GitHub to train an AI system that generates patches. We apply sequence-to-sequence learning on a big dataset of code changes and we evaluate the trained system on real world vulnerabilities from the CVE database. The result shows the feasibility of using sequence-to-sequence learning for fixing software vulnerabilities.


title: Influence of electron-phonon coupling strength on signatures of even and odd-frequency superconductivity

abstract: The recently discovered APt$_3$P (A=Sr,Ca,La) family of superconductors offers a platform to study frequency dependent superconducting phenomena as the electron-phonon coupling varies from weak to strong. Here we perform ab initio Eliashberg theory calculations to investigate two such phenomena, the occurrence of dip-hump structures in the tunneling spectra and the magnetic field induced coexistence of even and odd frequency superconductivity in these compounds. By calculating the superfluid density, we make predictions for the occurrence of the paramagnetic Meissner effect as a hallmark of odd frequency pairing. Our results provide a link between two seemingly uncorrelated aspects of even and odd frequency superconductivity and provide theoretical guidance for the experimental identification of bulk odd frequency superconductivity in this material's family.


title: Straintronics in graphene nanoribbons

abstract: The interplay between uniaxial strain and charging effects in zigzag graphene nanoribbons (ZGNR) is investigated by using non-equilibrium Green's function formalism. The I-V characteristic curves and especially negative differential resistance (NDR) induced by some quantum selection rules are affected by the type, strength and also direction of the applied strain. For the oblique strain, the parity conservation fails while it conserves at the longitudinal and transverse strains. Therefore, in the oblique strain, on-off current ratio drastically decreases in compared to the un-strained case. For the tensile strain along the ribbon axis, $ I_{on}/I_{off} $ ratio increases while for the compressive strain, NDR will be gradually disappeared. This property can be useful for nano-electromechanical switch in which by changing the tensile to compressive strain, current switches between its on and off-current state. Furthermore, under influence of the oblique uniaxial strain, the geometry symmetry of charge accumulation as well as bond local currents will be broken across ZGNR giving rise to a transverse current between upper and lower edges of the nanoribbon. This transverse current would be enhanced by the strain strength where gradient of charge density would be maximum at the off-current state.


title: Lattice Boltzmann modeling and simulation of forced-convection boiling on a cylinder

abstract: When boiling occurs in a liquid flow field, the phenomenon is known as forced-convection boiling. We numerically investigate such a boiling system on a cylinder in a flow at a saturated condition. To deal with the complicated liquid-vapor phase-change phenomenon, we develop a numerical scheme based on the pseudopotential lattice Boltzmann method (LBM). The collision stage is performed in the space of central moments (CMs) to enhance numerical stability for high Reynolds numbers. The adopted forcing scheme, consistent with the CMs-based LBM, leads to a concise yet robust algorithm. Furthermore, additional terms required to ensure thermodynamic consistency are derived in a CMs framework. The effectiveness of the present scheme is successfully tested against a series of boiling processes, including nucleation, growth, and departure of a vapor bubble for Reynolds numbers varying between 30 and 30000. Our CMs-based LBM can reproduce all the boiling regimes, i.e., nucleate boiling, transition boiling, and film boiling, without any artificial input such as initial vapor phase. We find that the typical boiling curve, also known as the Nukiyama curve, appears even though the focused system is not the pool boiling but the forced-convection system. Also, our simulations support experimental observations of intermittent direct solid-liquid contact even in the film-boiling regime. Finally, we provide quantitative comparison with the semi-empirical correlations for the forced-convection film boiling on a cylinder on the Nu-Ja diagram.


title: Applying systems-theoretic process analysis in the context of cooperative driving

abstract: Highly automated, cooperative driving vehicles will allow for a more fluid flow of traffic, resulting in more efficient, eco-friendly and safe traffic situations. The automotive industry however, is safety critical and current safety standards were not designed to deal with cooperative driving. In this paper, we apply a modern safety analysis method, Systems-Theoretic Process Analysis, in the context of cooperative driving as part of the Grand Cooperative Driving Challenge (GCDC) and present our reflections on the method.


title: All-fiber polarization-manageable directional couplers

abstract: Flexible management of light polarization is necessary to develop the technologies of optical fiber communications. However, it is still a great challenge to manipulate optical polarization in all-fiberbased devices. Here we present a novel structural design of three-core fiber couplers to create arbitrary polarization management by embedding a vector mode segregated core within the conventional fiber couplers. We take advantages of these coupling structures to achieve polarization split, rotation, and exchange, as three essential polarization managements for fiber-guided modes. We study these couplers based on coupled-mode theory and numerically simulations. The obtained results show that they manifest favorable operation performance on management of the fiber modal polarization states. Compared to previous couplers used for management of power, wavelengths and modal forms, this kind of fiber couplers introduces a new manageable degree of freedom for modal polarization. It is expected that the presented all-fiber polarization-manageable directional couplers might find potential applications in fiber optical communications and sensing systems.


title: Derandomization and absolute reconstruction for sums of powers of linear forms

abstract: We study the decomposition of multivariate polynomials as sums of powers of linear forms. As one of our main results we give an algorithm for the following problem: given a homogeneous polynomial of degree 3, decide whether it can be written as a sum of cubes of linearly independent linear forms with complex coefficients. Compared to previous algorithms for the same problem, the two main novel features of this algorithm are: (i) It is an algebraic algorithm, i.e., it performs only arithmetic operations and equality tests on the coefficients of the input polynomial. In particular, it does not make any appeal to polynomial factorization. (ii) For an input polynomial with rational coefficients, the algorithm runs in polynomial time when implemented in the bit model of computation. The algorithm relies on methods from linear and multilinear algebra (symmetric tensor decomposition by simultaneous diagonalization). We also give a version of our algorithm for decomposition over the field of real numbers. In this case, the algorithm performs arithmetic operations and comparisons on the input coefficients. Finally we give several related derandomization results on black box polynomial identity testing, the minimization of the number of variables in a polynomial, the computation of Lie algebras and factorization into products of linear forms.


title: Mode conversion and orbital angular momentum transfer among multiple modes by helical gratings

abstract: The coupling feature of helical gratings (HGs) has been studied on flexible conversion between two orbital angular momentum (OAM) modes by both the transverse and longitudinal modulation of HGs. Apart from one to one OAM exchange, HGs can achieve OAM transfer among multiple modes, provided both the helix and phase matching conditions are well satisfied for successive coupling. It is contributed from the fold number of modulation fringes of HGs and the difference multiplication of propagation constants between two of the successive modes. Based on the coupled mode theory, we investigate the mode conversion and OAM transfer among three modes using a 3 fold HGs in a ring core fiber, and numerically simulate it by transmission matrix. Our work about the multiple modes transferring can be regarded as an extension of mode coupling for optical gratings, and might flourish the mode conversion, as well as OAM manipulation in optics fields.


title: Full-Vectorial Mode Coupling in Optical Fibers

abstract: Optical full vectorial modes have closely attracted much attention because of their unique optical features and thus may develop the fundamental researches and new functionalities of light. Beyond the conventional linear polarization modal coupling, we thoroughly investigate the inherent polarizationdependence and polarization-isolation features for full vectorial mode coupling in optical fibers, as well as the coupling crosstalk in view of the modal degeneracy. We present the general full vectorial coupling mechanism and numerically simulate the full vectorial mode coupling for both fiber directional and grating assisted coupling cases. Furthermore, we give the detailed analyses of coupling crosstalk based on the unified threemode coupling model. Apart from lifting the modal degeneracy, significantly, the crosstalk can also be reduced by weakening the coupling coefficient and meanwhile increasing the coupling length. This extended full vectorial mode coupling mechanismmay provide theoretical guidance on exploiting new all fiberbased polarization-sensitive passive elements to control fullvectorial fields and modal polarization states.


title: Template co-updating in multi-modal human activity recognition systems

abstract: Multi-modal systems are quite common in the context of human activity recognition; widely used RGB-D sensors (Kinect is the most prominent example) give access to parallel data streams, typically RGB images, depth data, skeleton information. The richness of multimodal information has been largely exploited in many works in the literature, while an analysis of their effectiveness for incremental template updating has not been investigated so far. This paper is aimed at defining a general framework for unsupervised template updating in multi-modal systems, where the different data sources can provide complementary information, increasing the effectiveness of the updating procedure and reducing at the same time the probability of incorrect template modifications.


title: Chimera States are Fragile under Random Links

abstract: We study the dynamics of coupled systems, ranging from maps supporting chaotic attractors to nonlinear differential equations yielding limit cycles, under different coupling classes, connectivity ranges and initial states. Our focus is the robustness of chimera states in the presence of a few time-varying random links, and we demonstrate that chimera states are often destroyed, yielding either spatiotemporal fixed points or spatiotemporal chaos, in the presence of even a single dynamically changing random connection. We also study the global impact of random links by exploring the Basin Stability of the chimera state, and we find that the basin size of the chimera state rapidly falls to zero under increasing fraction of random links. This indicates the extreme fragility of chimera patterns under minimal spatial randomness in many systems, significantly impacting the potential observability of chimera states in naturally occurring scenarios.


title: Simulating space-time random fields with nonseparable Gneiting-type covariance functions

abstract: Two algorithms are proposed to simulate space-time Gaussian random fields with a covariance function belonging to an extended Gneiting class, the definition of which depends on a completely monotone function associated with the spatial structure and a conditionally negative definite function associated with the temporal structure. In both cases, the simulated random field is constructed as a weighted sum of cosine waves, with a Gaussian spatial frequency vector and a uniform phase. The difference lies in the way to handle the temporal component. The first algorithm relies on a spectral decomposition in order to simulate a temporal frequency conditional upon the spatial one, while in the second algorithm the temporal frequency is replaced by an intrinsic random field whose variogram is proportional to the conditionally negative definite function associated with the temporal structure. Both algorithms are scalable as their computational cost is proportional to the number of space-time locations, which may be unevenly spaced in space and/or in time. They are illustrated and validated through synthetic examples.


title: Non-thermal emission in lobes of radio galaxies: III. 3C 98, Pictor A, DA 240, Cygnus A, 3C 326, and 3C 236

abstract: Recent analyses of the broad spectral energy distributions (SED) of extensive lobes of local radio-galaxies have confirmed the leptonic origin of their Fermi/LAT gamma-ray emission, significantly constraining the level of hadronic contribution. SED of distant (D > 125 Mpc) radio-galaxy lobes are currently limited to the radio and X-ray bands, hence give no information on the presence of non-thermal (NT) protons but are adequate to describe the properties of NT electrons. Modeling lobe radio and X-ray emission in 3C 98, Pictor A, DA 240, Cygnus A, 3C 326, and 3C 236, we fully determine the properties of intra-lobe NT electrons and estimate the level of the related gamma-ray emission from Compton scattering of the electrons off the superposed Cosmic Microwave Background, Extragalactic Background Light, and source-specific radiation fields.


title: A Maximin Optimal Online Power Control Policy for Energy Harvesting Communications

abstract: A general theory of online power control for discrete-time battery limited energy harvesting communications is developed, which leads to, among other things, an explicit characterization of a maximin optimal policy. This policy only requires the knowledge of the (effective) mean of the energy arrival process and maximizes the minimum asymptotic expected average reward (with the minimization taken over all energy arrival distributions of a given (effective) mean). Moreover, it is universally near optimal and has a strictly better worst-case performance as well as a strictly improved lower multiplicative factor in comparison with the fixed fraction policy proposed by Shaviv and \"{O}zg\"{u}r when the objective is to maximize the throughput over an additive white Gaussian noise channel. The competitiveness of this maximin optimal policy is also demonstrated via numerical examples.


title: Asymptotic temperature of a lossy condensate

abstract: We monitor the time evolution of the temperature of phononic collective modes in a one-dimensional quasicondensate submitted to losses. At long times the ratio between the temperature and the energy scale $mc^2$, where $m$ is the atomic mass and $c$ the sound velocity takes, within a precision of 20\%, an asymptotic value. This asymptotic value is observed while $mc^2$ decreases in time by a factor as large as 2.5. Moreover this ratio is shown to be independent on the loss rate and on the strength of interactions. These results confirm theoretical predictions and the measured stationary ratio is in quantitative agreement with the theoretical calculations.


title: Fault tolerant funnel control for uncertain linear systems

abstract: We study adaptive fault tolerant tracking control for uncertain linear systems. Based on recent results in funnel control and the time-varying Byrnes-Isidori form, we develop a low-complexity model-free controller which achieves prescribed performance of the tracking error for any given sufficiently smooth reference signal. Within the considered system class, we allow for more inputs than outputs as long as a certain redundancy of the actuators is satisfied. An important role in the controller design is played by the controller weight matrix. This is a rectangular input transformation chosen such that in the resulting system the zero dynamics, which are assumed to be uniformly exponentially stable, are independent of the new input. We illustrate the fault tolerant funnel controller by an example of a linearized model for the lateral motion of a Boeing 737 aircraft.


title: An Open Platform to Teach How the Internet Practically Works

abstract: Each year at ETH Zurich, around 100 students collectively build and operate their very own Internet infrastructure composed of hundreds of routers and dozens of Autonomous Systems (ASes). Their goal? Enabling Internet-wide connectivity. We find this class-wide project to be invaluable in teaching our students how the Internet infrastructure practically works. Among others, our students have a much deeper understanding of Internet operations alongside their pitfalls. Besides students tend to love the project: clearly the fact that all of them need to cooperate for the entire Internet to work is empowering. In this paper, we describe the overall design of our teaching platform, how we use it, and interesting lessons we have learnt over the years. We also make our platform openly available.


title: Fingering instability of a stretched liquid bridge

abstract: When a liquid viscous bridge between two parallel substrates is stretched by accelerating one substrate, its interface recedes in the radial direction. In some cases the interface becomes unstable. Such instability leads to the emergence of a network of fingers. In this study the mechanisms of the fingering are studied experimentally and analysed theoretically. The experimental setup allows a constant acceleration of the movable substrate with up to 180 m/s$^2$. The phenomena are observed using two high-speed video systems. The number of fingers is measured for different liquid viscosities and liquid bridge sizes. A linear stability analysis of the bridge interface takes into account the inertial, viscous and capillary effects in the liquid flow. The theoretically predicted maximum number of fingers, corresponding to a mode with the maximum amplitude, and a threshold for the onset of finger formation are proposed. Both models agree well with the experimental data up to the onset of emerging cavitation bubbles.


title: Tracking with prescribed performance for linear non-minimum phase systems

abstract: We consider tracking control for uncertain linear systems with known relative degree which are possibly non-minimum phase, i.e., their zero dynamics may have an unstable part. For a given sufficiently smooth reference signal we design a low-complexity controller which achieves that the tracking error evolves within a prescribed performance funnel. We present a novel approach where a new output is constructed, with respect to which the system has a higher relative degree, but the unstable part of the zero dynamics is eliminated. Using recent results in funnel control, we then design a controller with respect to this new output, which also incorporates a new reference signal. We prove that the original output stays within a prescribed performance funnel around the original reference trajectory and all signals in the closed-loop system are bounded. The results are illustrated by some simulations.


title: Precise yield of high-energy photons from Higgsino dark matter annihilation

abstract: The impact of electroweak Sudakov logarithms on the endpoint of the photon spectrum for wino dark matter annihilation was studied intensively over the last several years. In this work, we extend these results to Higgsino dark matter $\chi_1^0$. We achieve NLL' resummation accuracy for narrow and intermediate spectral energy resolutions, of order $m_W^2 / m_\chi$ and $m_W$, respectively. This is the most accurate prediction to date for the yield of high-energy $\gamma$-rays from $\chi_1^0 \chi_1^0 \to \gamma + X$ annihilation for the energy resolutions realized by current and next-generation telescopes. We also discuss for the first time the effect of power corrections in $m_W/m_\chi$ in this context and argue why they are not sizeable.


title: The polyharmonic Bergman space for the union of rotated unit balls

abstract: In the paper we consider the polyharmonic Bergman space for the union of the rotated unit Euclidean balls. Using so called zonal polyharmonics we derive the formulas for the kernel of this space. Moreover, we study the weighted polyharmonic Bergman space. By the same argument we get the Bergman kernel for this space.


title: The method of detecting online password attacks based on high-level protocol analysis and clustering techniques

abstract: Although there have been many solutions applied, the safety challenges related to the password security mechanism are not reduced. The reason for this is that while the means and tools to support password attacks are becoming more and more abundant, the number of transaction systems through the Internet is increasing, and new services systems appear. For example, IoT also uses password-based authentication. In this context, consolidating password-based authentication mechanisms is critical, but monitoring measures for timely detection of attacks also play an important role in this battle. The password attack detection solutions being used need to be supplemented and improved to meet the new situation. In this paper we propose a solution that automatically detects online password attacks in a way that is based solely on the network, using unsupervised learning techniques and protected application orientation. Our solution, therefore, minimizes dependence on the factors encountered by host-based or supervised learning solutions. The certainty of the solution comes from using the results of an in-depth analysis of attack characteristics to build the detection capacity of the mechanism. The solution was implemented experimentally on the real system and gave positive results.


title: AdversarialNAS: Adversarial Neural Architecture Search for GANs

abstract: Neural Architecture Search (NAS) that aims to automate the procedure of architecture design has achieved promising results in many computer vision fields. In this paper, we propose an AdversarialNAS method specially tailored for Generative Adversarial Networks (GANs) to search for a superior generative model on the task of unconditional image generation. The AdversarialNAS is the first method that can search the architectures of generator and discriminator simultaneously in a differentiable manner. During searching, the designed adversarial search algorithm does not need to comput any extra metric to evaluate the performance of the searched architecture, and the search paradigm considers the relevance between the two network architectures and improves their mutual balance. Therefore, AdversarialNAS is very efficient and only takes 1 GPU day to search for a superior generative model in the proposed large search space ($10^{38}$). Experiments demonstrate the effectiveness and superiority of our method. The discovered generative model sets a new state-of-the-art FID score of $10.87$ and highly competitive Inception Score of $8.74$ on CIFAR-10. Its transferability is also proven by setting new state-of-the-art FID score of $26.98$ and Inception score of $9.63$ on STL-10. Code is at: \url{https://github.com/chengaopro/AdversarialNAS}.


title: Design and Status of JUNO

abstract: The Jiangmen Underground Neutrino Observatory (JUNO) is a 20 kton multi-purpose liquid scintillator detector currently being built in a dedicated underground laboratory in Jiangmen (PR China). JUNO' s main physics goal is to determine the neutrino mass ordering using electron anti-neutrinos from two nuclear power plants at a baseline of about 53 km. JUNO aims for an unprecedented energy resolution of 3% at 1 MeV for the central detector, with which the mass ordering can be measured with 3 - 4 $\sigma$ significance within six years of operation. Most neutrino oscillation parameters in the solar and atmospheric sectors can also be measured with an accuracy of 1% or better. Furthermore, being the largest liquid scintillator detector of its kind, JUNO will monitor the neutrino sky continuously for contributing to neutrino and multi-messenger astronomy. JUNO' s design as well as the status of its construction will be presented, together with a short excursion into its rich R&D program.


title: Stochastic proximal splitting algorithm for composite minimization

abstract: Supported by the recent contributions in multiple branches, the first-order splitting algorithms became central for structured nonsmooth optimization. In the large-scale or noisy contexts, when only stochastic information on the smooth part of the objective function is available, the extension of proximal gradient schemes to stochastic oracles is based on proximal tractability of the nonsmooth component and it has been deeply analyzed in the literature. However, there remained gaps illustrated by composite models where the nonsmooth term is not proximally tractable anymore. In this note we tackle composite optimization problems, where the access only to stochastic information on both smooth and nonsmooth components is assumed, using a stochastic proximal first-order scheme with stochastic proximal updates. We provide $\mathcal{O}\left( \frac{1}{k} \right)$ the iteration complexity (in expectation of squared distance to the optimal set) under the strong convexity assumption on the objective function. Empirical behavior is illustrated by numerical tests on parametric sparse representation models.


title: Universal principles justify the existence of concept cells

abstract: It is largely believed that complex cognitive phenomena require the perfect orchestrated collaboration of many neurons. However, this is not what converging experimental evidence suggests. Single neurons, the so-called concept cells, may be responsible for complex tasks performed by an individual. Here, starting from a few first principles, we layout physical foundations showing that concept cells are not only possible but highly likely, given that neurons work in a high dimensional space.