title: Lifelong Control of Off-grid Microgrid with Model Based Reinforcement Learning

abstract: The lifelong control problem of an off-grid microgrid is composed of two tasks, namely estimation of the condition of the microgrid devices and operational planning accounting for the uncertainties by forecasting the future consumption and the renewable production. The main challenge for the effective control arises from the various changes that take place over time. In this paper, we present an open-source reinforcement framework for the modeling of an off-grid microgrid for rural electrification. The lifelong control problem of an isolated microgrid is formulated as a Markov Decision Process (MDP). We categorize the set of changes that can occur in progressive and abrupt changes. We propose a novel model based reinforcement learning algorithm that is able to address both types of changes. In particular the proposed algorithm demonstrates generalisation properties, transfer capabilities and better robustness in case of fast-changing system dynamics. The proposed algorithm is compared against a rule-based policy and a model predictive controller with look-ahead. The results show that the trained agent is able to outperform both benchmarks in the lifelong setting where the system dynamics are changing over time.


title: Spin-orbit-parity coupled superconductivity in topological monolayer WTe$_2$

abstract: Recent experiments reported gate-induced superconductivity in the monolayer 1T$'$-WTe$_2$ which is a two-dimensional topological insulator in its normal state [1, 2]. The in-plane upper critical field $B_{c2}$ is found to exceed the conventional Pauli paramagnetic limit $B_p$ by 1-3 times. The enhancement cannot be explained by conventional spin-orbit coupling which vanishes due to inversion symmetry. In this work, we unveil some distinctive superconducting properties of centrosymmetric 1T$'$-WTe$_2$ which arise from the coupling of spin, momentum and band parity degrees of freedom. As a result of this spin-orbit-parity coupling: (i) there is a first-order superconductor-metal transition at $B_{c2}$ much higher than the Pauli paramagnetic limit $B_p$, (ii) spin-susceptibility is anisotropic with respect to in-plane directions and results in anisotropic $B_{c2}$ and (iii) the $B_{c2}$ exhibits a strong gate dependence as the spin-orbit-parity coupling is significant only near the topological band crossing points. The importance of SOPC on the topologically nontrivial inter-orbital pairing phase is also discussed. Our theory generally applies to centrosymmetric materials with topological band inversions.


title: Graph Partitioning and Graph Neural Network based Hierarchical Graph Matching for Graph Similarity Computation

abstract: Graph similarity computation aims to predict a similarity score between one pair of graphs to facilitate downstream applications, such as finding the most similar chemical compounds similar to a query compound or Fewshot 3D Action Recognition. Recently, some graph similarity computation models based on neural networks have been proposed, which are either based on graph-level interaction or node-level comparison. However, when the number of nodes in the graph increases, it will inevitably bring about reduced representation ability or high computation cost. Motivated by this observation, we propose a graph partitioning and graph neural network-based model, called PSimGNN, to effectively resolve this issue. Specifically, each of the input graphs is partitioned into a set of subgraphs to extract the local structural features directly. Next, a novel graph neural network with an attention mechanism is designed to map each subgraph into an embedding vector. Some of these subgraph pairs are automatically selected for node-level comparison to supplement the subgraph-level embedding with fine-grained information. Finally, coarse-grained interaction information among subgraphs and fine-grained comparison information among nodes in different subgraphs are integrated to predict the final similarity score. Experimental results on graph datasets with different graph sizes demonstrate that PSimGNN outperforms state-of-the-art methods in graph similarity computation tasks using approximate Graph Edit Distance (GED) as the graph similarity metric.


title: Towards in-store multi-person tracking using head detection and track heatmaps

abstract: Computer vision algorithms are being implemented across a breadth of industries to enable technological innovations. In this paper, we study the problem of computer vision based customer tracking in retail industry. To this end, we introduce a dataset collected from a camera in an office environment where participants mimic various behaviors of customers in a supermarket. In addition, we describe an illustrative example of the use of this dataset for tracking participants based on a head tracking model in an effort to minimize errors due to occlusion. Furthermore, we propose a model for recognizing customers and staff based on their movement patterns. The model is evaluated using a real-world dataset collected in a supermarket over a 24-hour period that achieves 98% accuracy during training and 93% accuracy during evaluation.


title: Gravitational Landau Damping for massive scalar modes

abstract: We establish the possibility of Landau damping for gravitational scalar waves which propagate in a non-collisional gas of particles. In particular, under the hypothesis of homogeneity and isotropy, we describe the medium at the equilibrium with a J\"uttner-Maxwell distribution, and we analytically determine the damping rate from the Vlasov equation. We find that damping occurs only if the phase velocity of the wave is subluminal throughout the propagation within the medium. Finally, we investigate relativistic media in cosmological settings by adopting numerical techniques.

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.HE physics.plasm-ph


title: Decision Fusion in Space-Time Spreading aided Distributed MIMO WSNs

abstract: In this letter, we propose space-time spreading (STS) of local sensor decisions before reporting them over a wireless multiple access channel (MAC), in order to achieve flexible balance between diversity and multiplexing gain as well as eliminate any chance of intrinsic interference inherent in MAC scenarios. Spreading of the sensor decisions using dispersion vectors exploits the benefits of multi-slot decision to improve low-complexity diversity gain and opportunistic throughput. On the other hand, at the receive side of the reporting channel, we formulate and compare optimum and sub-optimum fusion rules for arriving at a reliable conclusion.Simulation results demonstrate gain in performance with STS aided transmission from a minimum of 3 times to a maximum of 6 times over performance without STS.


title: An epidemiological model for the spread of COVID-19: A South African case study

abstract: An epidemiological model is developed for the spread of COVID-19 in South Africa. A variant of the classical compartmental SEIR model, called the SEIQRDP model, is used. As South Africa is still in the early phases of the global COVID-19 pandemic with the confirmed infectious cases not having peaked, the SEIQRDP model is first parameterized on data for Germany, Italy, and South Korea - countries for which the number of infectious cases are well past their peaks. Good fits are achieved with reasonable predictions of where the number of COVID-19 confirmed cases, deaths, and recovered cases will end up and by when. South African data for the period from 23 March to 8 May 2020 is then used to obtain SEIQRDP model parameters. It is found that the model fits the initial disease progression well, but that the long-term predictive capability of the model is rather poor. The South African SEIQRDP model is subsequently recalculated with the basic reproduction number constrained to reported values. The resulting model fits the data well, and long-term predictions appear to be reasonable. The South African SEIQRDP model predicts that the peak in the number of confirmed infectious individuals will occur at the end of October 2020, and that the total number of deaths will range from about 10,000 to 90,000, with a nominal value of about 22,000. All of these predictions are heavily dependent on the disease control measures in place, and the adherence to these measures. These predictions are further shown to be particularly sensitive to parameters used to determine the basic reproduction number. The future aim is to use a feedback control approach together with the South African SEIQRDP model to determine the epidemiological impact of varying lockdown levels proposed by the South African Government.


title: Extending low energy effective field theory with a complete set of dimension-7 operators

abstract: We present a complete and independent set of dimension-7 operators in the low energy effective field theory (LEFT) where the dynamical degrees of freedom are the standard model five quarks and all of the neutral and charged leptons. All operators are non-Hermitian and are classified according to their baryon ($\Delta B$) and lepton ($\Delta L$) numbers violated. Including Hermitian-conjugated operators, there are in total $3168$, $750$, $588$, $712$ operators with $(\Delta B,\Delta L)=(0,0)$, $(0,\pm 2)$, $(\pm 1,\mp 1)$, $(\pm 1,\pm 1)$ respectively. We perform the tree-level matching with the standard model effective field theory (SMEFT) up to dimension-7 (dim-7) operators in both LEFT and SMEFT. As a phenomenological application we study the effective neutrino-photon interactions due to dim-7 lepton number violating operators that are induced and much enhanced at one loop from dim-6 operators that in turn are matched from dim-7 SMEFT operators. We compare the cross sections of various neutrino-photon scattering with their counterparts in the standard model and highlight the new features. Finally we illustrate how these effective interactions could arise from ultraviolet completion.


title: New results on EP elements in rings with involution

abstract: In this paper, we mainly give characterizations of EP elements in terms of equations. In addition, a related notion named a central EP element is defined and investigated. Finally, we focus on characterizations of a generalized EP element, i.e. *-DMP element.


title: Pressure-induced Topological and Structural Phase Transitions in an Antiferromagnetic Topological Insulator

abstract: Recently, natural van der Waals heterostructures of (MnBi2Te4)m(Bi2Te3)n have been theoretically predicted and experimentally shown to host tunable magnetic properties and topologically nontrivial surface states. In this work, we systematically investigate both the structural and electronic responses of MnBi2Te4 and MnBi4Te7 to external pressure. In addition to the suppression of antiferromagnetic order, MnBi2Te4 is found to undergo a metal-semiconductor-metal transition upon compression. The resistivity of MnBi4Te7 changes dramatically under high pressure and a non-monotonic evolution of \r{ho}(T) is observed. The nontrivial topology is proved to persists before the structural phase transition observed in the high-pressure regime. We find that the bulk and surface states respond differently to pressure, which is consistent with the non-monotonic change of the resistivity. Interestingly, a pressure-induced amorphous state is observed in MnBi2Te4, while two high pressure phase transitions are revealed in MnBi4Te7. Our combined theoretical and experimental research establishes MnBi2Te4 and MnBi4Te7 as highly tunable magnetic topological insulators, in which phase transitions and new ground states emerge upon compression.


title: DAMIA: Leveraging Domain Adaptation as a Defense against Membership Inference Attacks

abstract: Deep Learning (DL) techniques allow ones to train models from a dataset to solve tasks. DL has attracted much interest given its fancy performance and potential market value, while security issues are amongst the most colossal concerns. However, the DL models may be prone to the membership inference attack, where an attacker determines whether a given sample is from the training dataset. Efforts have been made to hinder the attack but unfortunately, they may lead to a major overhead or impaired usability. In this paper, we propose and implement DAMIA, leveraging Domain Adaptation (DA) as a defense aginist membership inference attacks. Our observation is that during the training process, DA obfuscates the dataset to be protected using another related dataset, and derives a model that underlyingly extracts the features from both datasets. Seeing that the model is obfuscated, membership inference fails, while the extracted features provide supports for usability. Extensive experiments have been conducted to validates our intuition. The model trained by DAMIA has a negligible footprint to the usability. Our experiment also excludes factors that may hinder the performance of DAMIA, providing a potential guideline to vendors and researchers to benefit from our solution in a timely manner.


title: Information-theoretic limits of a multiview low-rank symmetric spiked matrix model

abstract: We consider a generalization of an important class of high-dimensional inference problems, namely spiked symmetric matrix models, often used as probabilistic models for principal component analysis. Such paradigmatic models have recently attracted a lot of attention from a number of communities due to their phenomenological richness with statistical-to-computational gaps, while remaining tractable. We rigorously establish the information-theoretic limits through the proof of single-letter formulas for the mutual information and minimum mean-square error. On a technical side we improve the recently introduced adaptive interpolation method, so that it can be used to study low-rank models (i.e., estimation problems of "tall matrices") in full generality, an important step towards the rigorous analysis of more complicated inference and learning models.


title: JT gravity and the models of Hawking-Page transition for 2D black holes

abstract: We propose a top down construction for Jackiw-Teitelboim (JT) gravity using compactification of $ D=5 $ gravity theories in the presence of Abelian ($ U(1) $) as well as $ SU(2) $ Yang-Mills (YM) fields. The background solutions corresponding to $ D=2 $ model have been obtained in the perturbative regime of the theory where the corrections have been estimated over the uncharged JT solutions while treating the gauge couplings as the parameters of the expansion. Our analysis reveals the existence of two classes of solutions namely, (i) the \emph{interpolating} vacuum solution with AdS$_2$ in the IR and Lifshitz$_2$ in the UV (which serves as the thermal radiation background for our analysis) and (ii) the charged 2D black hole solution exhibiting Lifshitz$_2$ asymptotics. The analysis on thermal stability reveals the onset of a first order phase transition at $ T \sim T_0 $ such that for $ T < T_0 $ the only possible state is the thermal radiation background without any black hole. On the other hand, as the temperature is gradually increased beyond certain \emph{crossover} value $ T\sim T_2 (>T_0 )$, an emerging \emph{globally} stable black hole dominated phase has been observed which clearly indicates the onset of Hawking-Page (HP) transition in 2D gravity models.


title: Influence of process conditions and pore morphology on the closure rate of pores in hot rolling of steel

abstract: Steel sheets are manufactured from slabs produced in continuous casting, which inevitably results in a porous initial microstructure. These pores are nuclei for ductile damage and need to be closed during rolling in regard of the strict performance requirements of todays advanced high strength steels. Due to the beneficial shape factor of the roll gap, recrystallization and high diffusion rates pore closure and elimination occurs primarily during hot rolling. In this paper, relevant influencing factors on pore closure are investigated based on representative volume elements (RVE). First, the load regime of typical multi-pass hot rolling schedules is calculated via macro scale FEM and then applied to micro scale RVEs. Within the RVE, shape changes of a given pore are tracked and the closure ratio is calculated. This paper elucidates the effect of different roll diameters, absolute reductions per pass, pore shape and pore orientation on the closure rate. The results show that the majority of pores can be closed during the initial hot rolling stages. However, pore closure can be accelerated through suitable process parameters. Furthermore, shape and orientation of pores should be taken into account, if a precise knowledge of the total height reduction, leading to complete pore closure, is desired.


title: Weierstrass' variational theory for analysing meniscus stability in ribbon growth processes

abstract: We use the method of free energy minimization based on the first law of thermodynamics to derive static meniscus shapes for crystal ribbon growth systems. To account for the possibility of multivalued curves as solutions to the minimization problem, we choose a parametric representation of the meniscus geometry. Using Weierstrass' form of the Euler-Lagrange equation we derive analytical solutions that provide explicit knowledge on the behaviour of the meniscus shapes. Young's contact angle and Gibbs pinning conditions are also analyzed and are shown to be a consequence of the energy minimization problem with variable end-points. For a given ribbon growth configuration, we find that there can exist multiple static menisci that satisfy the boundary conditions. The stability of these solutions is analyzed using second order variations and are found to exhibit saddle node bifurcations. We show that the arc length is a natural representation of a meniscus geometry and provides the complete solution space, not accessible through the classical variational formulation. We provide a range of operating conditions for hydro-statically feasible menisci and illustrate the transition from a stable to spill-over configuration using a simple proof of concept experiment.


title: PyCDFT: A Python package for constrained density functional theory

abstract: We present PyCDFT, a Python package to compute diabatic states using constrained density functional theory (CDFT). PyCDFT provides an object-oriented, customizable implementation of CDFT, and allows for both single-point self-consistent-field calculations and geometry optimizations. PyCDFT is designed to interface with existing density functional theory (DFT) codes to perform CDFT calculations where constraint potentials are added to the Kohn-Sham Hamiltonian. Here we demonstrate the use of PyCDFT by performing calculations with a massively parallel first-principles molecular dynamics code, Qbox, and we benchmark its accuracy by computing the electronic coupling between diabatic states for a set of organic molecules. We show that PyCDFT yields results in agreement with existing implementations and is a robust and flexible package for performing CDFT calculations. The program is available at https://github.com/hema-ted/pycdft/.


title: Do neutrons disagree with photons about where they have been inside an interferometer?

abstract: Recent experiments with identically tuned nested Mach-Zehnder interferometers which attempted to observe the location of particles inside these interferometers are analyzed. In spite of claims to the contrary, it is argued that all experiments support the same surprising picture according to which the location of the particles inside the interferometers is not described by continuous trajectories.


title: Balancing coherent and dissipative dynamics in a central-spin system

abstract: The average time required for an open quantum system to reach a steady state (the steady-state time) is generally determined through a competition of coherent and incoherent (dissipative) dynamics. Here, we study this competition for a ubiquitous central-spin system, corresponding to a `central' spin-1/2 coherently coupled to ancilla spins and undergoing dissipative spin relaxation. The ancilla system can describe $N$ spins-1/2 or, equivalently, a single large spin of length $I=N/2$. We find exact analytical expressions for the steady-state time in terms of the dissipation rate, resulting in a minimal (optimal) steady-state time at an optimal value of the dissipation rate, according to a universal curve. Due to a collective-enhancement effect, the optimized steady-state time grows only logarithmically with increasing $N=2I$, demonstrating that the system size can be grown substantially with only a moderate cost in steady-state time. This work has direct applications to the rapid initialization of spin qubits in quantum dots or bound to donor impurities, to dynamic nuclear-spin polarization protocols, and may provide key intuition for the benefits of error-correction protocols in quantum annealing.


title: Semi-supervised Learning for Multi-speaker Text-to-speech Synthesis Using Discrete Speech Representation

abstract: Recently, end-to-end multi-speaker text-to-speech (TTS) systems gain success in the situation where a lot of high-quality speech plus their corresponding transcriptions are available. However, laborious paired data collection processes prevent many institutes from building multi-speaker TTS systems of great performance. In this work, we propose a semi-supervised learning approach for multi-speaker TTS. A multi-speaker TTS model can learn from the untranscribed audio via the proposed encoder-decoder framework with discrete speech representation. The experiment results demonstrate that with only an hour of paired speech data, no matter the paired data is from multiple speakers or a single speaker, the proposed model can generate intelligible speech in different voices. We found the model can benefit from the proposed semi-supervised learning approach even when part of the unpaired speech data is noisy. In addition, our analysis reveals that different speaker characteristics of the paired data have an impact on the effectiveness of semi-supervised TTS.


title: IntelliCode Compose: Code Generation Using Transformer

abstract: In software development through integrated development environments (IDEs), code completion is one of the most widely used features. Nevertheless, majority of integrated development environments only support completion of methods and APIs, or arguments. In this paper, we introduce IntelliCode Compose $-$ a general-purpose multilingual code completion tool which is capable of predicting sequences of code tokens of arbitrary types, generating up to entire lines of syntactically correct code. It leverages state-of-the-art generative transformer model trained on 1.2 billion lines of source code in Python, $C\#$, JavaScript and TypeScript programming languages. IntelliCode Compose is deployed as a cloud-based web service. It makes use of client-side tree-based caching, efficient parallel implementation of the beam search decoder, and compute graph optimizations to meet edit-time completion suggestion requirements in the Visual Studio Code IDE and Azure Notebook. Our best model yields an average edit similarity of $86.7\%$ and a perplexity of 1.82 for Python programming language.


title: Non-line-of-sight Imaging

abstract: Emerging single-photon-sensitive sensors combined with advanced inverse methods to process picosecond-accurate time-stamped photon counts have given rise to unprecedented imaging capabilities. Rather than imaging photons that travel along direct paths from a source to an object and back to the detector, non-line-of-sight (NLOS) imaging approaches analyse photons {scattered from multiple surfaces that travel} along indirect light paths to estimate 3D images of scenes outside the direct line of sight of a camera, hidden by a wall or other obstacles. Here we review recent advances in the field of NLOS imaging, discussing how to see around corners and future prospects for the field.


title: An Effective and Efficient Initialization Scheme for Training Multi-layer Feedforward Neural Networks

abstract: Network initialization is the first and critical step for training neural networks. In this paper, we propose a novel network initialization scheme based on the celebrated Stein's identity. By viewing multi-layer feedforward neural networks as cascades of multi-index models, the projection weights to the first hidden layer are initialized using eigenvectors of the cross-moment matrix between the input's second-order score function and the response. The input data is then forward propagated to the next layer and such a procedure can be repeated until all the hidden layers are initialized. Finally, the weights for the output layer are initialized by generalized linear modeling. Such a proposed SteinGLM method is shown through extensive numerical results to be much faster and more accurate than other popular methods commonly used for training neural networks.


title: Various Total Variation for Snapshot Video Compressive Imaging

abstract: Sampling high-dimensional images is challenging due to limited availability of sensors; scanning is usually necessary in these cases. To mitigate this challenge, snapshot compressive imaging (SCI) was proposed to capture the high-dimensional (usually 3D) images using a 2D sensor (detector). Via novel optical design, the {\em measurement} captured by the sensor is an encoded image of multiple frames of the 3D desired signal. Following this, reconstruction algorithms are employed to retrieve the high-dimensional data. Though various algorithms have been proposed, the total variation (TV) based method is still the most efficient one due to a good trade-off between computational time and performance. This paper aims to answer the question of which TV penalty (anisotropic TV, isotropic TV and vectorized TV) works best for video SCI reconstruction? Various TV denoising and projection algorithms are developed and tested for video SCI reconstruction on both simulation and real datasets.


title: Windowing Artifacts Likely Account for Recent Claimed Detection of Oscillating Cosmic Scale Factor

abstract: Using the Pantheon data set of Type Ia supernovae, a recent publication (R20 in this work) reports a $~2\sigma$ detection of oscillations in the expansion history of the universe. Applying the R20 methodology to simulated Pantheon data, we determine that these oscillations likely arise from analysis artifacts. The uneven spacing of Type Ia supernovae in redshift space and the complicated analysis method of R20 impose a structured throughput function. When analyzed with the R20 prescription, about $11\%$ of artificial $\Lambda$CDM data sets produce a stronger oscillatory signal than the actual Pantheon data. The study conducted by R20 is a wholly worthwhile endeavor. However, we believe that the detected oscillations are not due to an oscillating cosmic scale factor and are instead artifacts of the data processing. Our results underscore the importance of understanding the false `signals' that can be introduced by complicated data analyses.


title: Convergence to consensus for a Hegselmann-Krause-type model with distributed time delay

abstract: In this paper we study a Hegselmann-Krause opinion formation model with distributed time delay and positive influence functions. Through a Lyapunov functional approach, we provide a consensus result under a smallness assumption on the initial delay. Furthermore, we analyze a transport equation, obtained as mean--field limit of the particle one. We prove global existence and uniqueness of the measure-valued solution for the delayed transport equation and its convergence to consensus under a smallness assumption on the delay, using a priori estimates which are uniform with respect to the number of agents.


title: Heart Rate Variability as a Predictive Biomarker of Thermal Comfort

abstract: Thermal comfort is an assessment of one's satisfaction with the surroundings; yet, most mechanisms that are used to provide thermal comfort are based on approaches that preclude physiological, psychological, and personal psychophysics that are precursors to thermal comfort. This leads to many people feeling either cold or hot in an environment that was supposed to be thermally comfortable to most users. To address this problem, this paper proposes to use heart rate variability (HRV) as an alternative indicator of thermal comfort status. Since HRV is linked to homeostasis, we conjectured that people's thermal comfort could be more accurately estimated based on their heart rate variability (HRV). To test our hypothesis, we analyzed statistical, spectral, and nonlinear HRV indices of 17 human subjects doing light office work in a cold, neutral, and hot environment. The resulting HRV indices were used as inputs to machine learning classification algorithms. We observed that HRV is distinctively different depending on the thermal environment and that it is possible to reliably predict each subject's thermal state (cold, neutral, and hot) with up to 93.7% accuracy. The result of this study suggests that it could be possible to design automatic real-time thermal comfort controllers based on people's HRV.


title: Flocking of V-shaped and Echelon Northern Bald Ibises with Different Wingspans: Repositioning and Energy Saving

abstract: V-shaped and echelon formations help migratory birds to consume less energy for migration. As the case study, the formation flight of the Northern Bald Ibises is considered to investigate different effects on their flight efficiency. The effects of the wingtip spacing and wingspan are examined on the individual drag of each Ibis in the flock. Two scenarios are considered in this study, (1) increasing and (2) decreasing wingspans toward the tail. An algorithm is applied for replacement mechanism and load balancing of the Ibises during their flight. In this replacing mechanism, the Ibises with the highest value of remained energy are replaced with the Ibises with the lowest energy, iteratively. The results indicate that depending on the positions of the birds with various sizes in the flock, they consume a different level of energy. Moreover, it is found that also small birds have the chance to take the lead during the flock.


title: Towards classification parity across cohorts

abstract: Recently, there has been a lot of interest in ensuring algorithmic fairness in machine learning where the central question is how to prevent sensitive information (e.g. knowledge about the ethnic group of an individual) from adding "unfair" bias to a learning algorithm (Feldman et al. (2015), Zemel et al. (2013)). This has led to several debiasing algorithms on word embeddings (Qian et al. (2019) , Bolukbasi et al. (2016)), coreference resolution (Zhao et al. (2018a)), semantic role labeling (Zhao et al. (2017)), etc. Most of these existing work deals with explicit sensitive features such as gender, occupations or race which doesn't work with data where such features are not captured due to privacy concerns. In this research work, we aim to achieve classification parity across explicit as well as implicit sensitive features. We define explicit cohorts as groups of people based on explicit sensitive attributes provided in the data (age, gender, race) whereas implicit cohorts are defined as groups of people with similar language usage. We obtain implicit cohorts by clustering embeddings of each individual trained on the language generated by them using a language model. We achieve two primary objectives in this work : [1.] We experimented and discovered classification performance differences across cohorts based on implicit and explicit features , [2] We improved classification parity by introducing modification to the loss function aimed to minimize the range of model performances across cohorts.


title: Sturm theory with applications in geometry and classical mechanics

abstract: Classical Sturm non-oscillation and comparison theorems as well as the Sturm theorem on zeros for solutions of second order differential equations have a natural symplectic version, since they describe the rotation of a line in the phase plane of the equation. In the higher dimensional symplectic version of these theorems, lines are replaced by Lagrangian subspaces and intersections with a given line are replaced by non-transversality instants with a distinguished Lagrangian subspace. Thus the symplectic Sturm theorems describe some properties of the Maslov index. Starting from the celebrated paper of Arnol'd on symplectic Sturm theory for optical Hamiltonians, we provide a generalization of his results to general Hamiltonians. We finally apply these results for detecting some geometrical information about the distribution of conjugate and focal points on semi-Riemannian manifolds and for studying the geometrical properties of the solutions space of singular Lagrangian systems arising in Celestial Mechanics.


title: Single-participant structural connectivity matrices lead to greater accuracy in classification of participants than function in autism in MRI

abstract: In this work, we introduce a technique of deriving symmetric connectivity matrices from regional histograms of grey-matter volume estimated from T1-weighted MRIs. We then validated the technique by inputting the connectivity matrices into a convolutional neural network (CNN) to classify between participants with autism and age-, motion-, and intracranial-volume-matched controls from six different databases (29,288 total connectomes, mean age = 30.72, range 0.42-78.00, including 1555 subjects with autism). We compared this method to similar classifications of the same participants using fMRI connectivity matrices as well as univariate estimates of grey-matter volumes. We further applied graph-theoretical metrics on output class activation maps to identify areas of the matrices that the CNN preferentially used to make the classification, focusing particularly on hubs. Our results gave AUROCs of 0.7298 (69.71% accuracy) when classifying by only structural connectivity, 0.6964 (67.72% accuracy) when classifying by only functional connectivity, and 0.7037 (66.43% accuracy) when classifying by univariate grey matter volumes. Combining structural and functional connectivities gave an AUROC of 0.7354 (69.40% accuracy). Graph analysis of class activation maps revealed no distinguishable network patterns for functional inputs, but did reveal localized differences between groups in bilateral Heschl's gyrus and upper vermis for structural connectivity. This work provides a simple means of feature extraction for inputting large numbers of structural MRIs into machine learning models.


title: Phase separation of a Bose-Bose mixture: impact of the trap and particle number imbalance

abstract: We explore a few-body mixture of two bosonic species confined in quasi-one-dimensional parabolic traps of different length scales. The ground state phase diagrams in the three-dimensional parameter space spanned by the harmonic length scale ratio, inter-species coupling strength and particle number ratio are investigated. As a first case study we use the mean-field ansatz (MF) to perform a detailed analysis of the separation mechanism. It allows us to derive a simple and intuitive rule predicting which of the immiscible phases is energetically more favorable at the miscible-immiscible phase boundary. We estimate the critical coupling strength for the miscible-immiscible transition and perform a comparison to correlated many-body results obtained by means of the Multi-Layer Multi-Configuration Time Dependent Hartree method for bosonic mixtures (ML-X). At a critical ratio of the trap frequencies, determined solely by the particle number ratio, the deviations between MF and ML-X are very pronounced and can be attributed to a high degree of entanglement between the components. As a result, we evidence the breakdown of the effective one-body picture. Additionally, when many-body correlations play a substantial role, the one-body density is in general not sufficient for deciding upon the phase at hand which we demonstrate exemplarily.


title: Leptogenesis due to oscillating Higgs field

abstract: We propose a new leptogenesis scenario in which the lepton asymmetry and matter particles are simultaneously generated due to the coherent oscillating Higgs background. To demonstrate the possibility of our scenario, we consider the type-I seesaw model as an illuminating example and show the numerical analysis. In order to generate the required lepton number $|n_L/s| = 2.4 \times 10^{-10}$, we find that the scales of the Higgs background oscillation and the lightest right-handed neutrinos mass are required to be higher than $10^{14}$ GeV


title: The edge metric dimension of the generalized Petersen graph $P(n,3)$ is 4

abstract: It is known that the problem of computing the edge dimension of a graph is NP-hard, and that the edge dimension of any generalized Petersen graph $P(n,k)$ is at least 3. We prove that the graph $P(n,3)$ has edge dimension 4 for $n\ge 11$, by showing semi-combinatorially the nonexistence of an edge resolving set of order 3 and by constructing explicitly an edge resolving set of order 4.


title: Improved x-space Algorithm for Min-Max Bilevel Integer Programming with an Application to Misinformation Spread in Social Networks

abstract: In this work we propose an improvement of the $x$-space algorithm developed for solving a class of min--max bilevel optimization problems (Tang Y., Richard J.P.P., Smith J.C. (2016), A class of algorithms for mixed-integer bilevel min--max optimization. Journal of Global Optimization, 66(2), 225--262). In this setting, the leader of the upper level problem aims at restricting the follower's decisions by minimizing an objective function, which the follower intends to maximize in the lower level problem by making decisions still available to her. The $x$-space algorithm solves upper and lower bound problems consecutively until convergence, and requires the dualization of an approximation of the follower's problem in formulating the lower bound problem. We first reformulate the lower bound problem using the properties of an optimal solution to the original formulation, which makes the dualization step unnecessary. The reformulation makes possible the integration of a greedy covering heuristic into the solution scheme, which results in a considerable increase in the efficiency. The new algorithm referred to as the improved $x$-space algorithm is implemented and applied to a recent min--max bilevel optimization problem that arises in the context of reducing the misinformation spread in social networks. It is also assessed on the benchmark instances of two other bilevel problems: zero-one knapsack problem with interdiction and maximum clique problem with interdiction. Numerical results indicate that the performance of the new algorithm is superior to that of the original algorithm, and also compares favorably with a recent algorithm developed for mixed-integer bilevel linear programs.


title: Artificial neural networks for 3D cell shape recognition from confocal images

abstract: We present a dual-stage neural network architecture for analyzing fine shape details from microscopy recordings in 3D. The system, tested on red blood cells, uses training data from both healthy donors and patients with a congenital blood disease. Characteristic shape features are revealed from the spherical harmonics spectrum of each cell and are automatically processed to create a reproducible and unbiased shape recognition and classification for diagnostic and theragnostic use.


title: NeuroAttack: Undermining Spiking Neural Networks Security through Externally Triggered Bit-Flips

abstract: Due to their proven efficiency, machine-learning systems are deployed in a wide range of complex real-life problems. More specifically, Spiking Neural Networks (SNNs) emerged as a promising solution to the accuracy, resource-utilization, and energy-efficiency challenges in machine-learning systems. While these systems are going mainstream, they have inherent security and reliability issues. In this paper, we propose NeuroAttack, a cross-layer attack that threatens the SNNs integrity by exploiting low-level reliability issues through a high-level attack. Particularly, we trigger a fault-injection based sneaky hardware backdoor through a carefully crafted adversarial input noise. Our results on Deep Neural Networks (DNNs) and SNNs show a serious integrity threat to state-of-the art machine-learning techniques.


title: Streaming Transformer-based Acoustic Models Using Self-attention with Augmented Memory

abstract: Transformer-based acoustic modeling has achieved great suc-cess for both hybrid and sequence-to-sequence speech recogni-tion. However, it requires access to the full sequence, and thecomputational cost grows quadratically with respect to the in-put sequence length. These factors limit its adoption for stream-ing applications. In this work, we proposed a novel augmentedmemory self-attention, which attends on a short segment of theinput sequence and a bank of memories. The memory bankstores the embedding information for all the processed seg-ments. On the librispeech benchmark, our proposed methodoutperforms all the existing streamable transformer methods bya large margin and achieved over 15% relative error reduction,compared with the widely used LC-BLSTM baseline. Our find-ings are also confirmed on some large internal datasets.


title: Examples of finite-dimensional pointed Hopf algebras in characteristic $2$

abstract: We present new examples of finite-dimensional Nichols algebra over fields of characteristic 2 starting from braided vector spaces that are not of diagonal type, admit realizations as Yetter-Drinfeld modules over finite abelian groups and are analogous to braidings over fields of odd characteristic with finite-dimensional Nichols algebras presented in arXiv:1905.03074. As these last ones, they are related to the Nichols algebras of finite Gelfand-Kirillov dimension in characteristic 0 described in arXiv:1606.02521. New finite-dimensional pointed Hopf algebras over fields of characteristic 2 are obtained by bosonization with group algebras of suitable finite abelian groups.


title: Generalization Bounds via Information Density and Conditional Information Density

abstract: We present a general approach, based on exponential inequalities, to derive bounds on the generalization error of randomized learning algorithms. Using this approach, we provide bounds on the average generalization error as well as bounds on its tail probability, for both the PAC-Bayesian and single-draw scenarios. Specifically, for the case of sub-Gaussian loss functions, we obtain novel bounds that depend on the information density between the training data and the output hypothesis. When suitably weakened, these bounds recover many of the information-theoretic bounds available in the literature. We also extend the proposed exponential-inequality approach to the setting recently introduced by Steinke and Zakynthinou (2020), where the learning algorithm depends on a randomly selected subset of the available training data. For this setup, we present bounds for bounded loss functions in terms of the conditional information density between the output hypothesis and the random variable determining the subset choice, given all training data. Through our approach, we recover the average generalization bound presented by Steinke and Zakynthinou (2020) and extend it to the PAC-Bayesian and single-draw scenarios. For the single-draw scenario, we also obtain novel bounds in terms of the conditional $\alpha$-mutual information and the conditional maximal leakage.


title: Visual Relationship Detection using Scene Graphs: A Survey

abstract: Understanding a scene by decoding the visual relationships depicted in an image has been a long studied problem. While the recent advances in deep learning and the usage of deep neural networks have achieved near human accuracy on many tasks, there still exists a pretty big gap between human and machine level performance when it comes to various visual relationship detection tasks. Developing on earlier tasks like object recognition, segmentation and captioning which focused on a relatively coarser image understanding, newer tasks have been introduced recently to deal with a finer level of image understanding. A Scene Graph is one such technique to better represent a scene and the various relationships present in it. With its wide number of applications in various tasks like Visual Question Answering, Semantic Image Retrieval, Image Generation, among many others, it has proved to be a useful tool for deeper and better visual relationship understanding. In this paper, we present a detailed survey on the various techniques for scene graph generation, their efficacy to represent visual relationships and how it has been used to solve various downstream tasks. We also attempt to analyze the various future directions in which the field might advance in the future. Being one of the first papers to give a detailed survey on this topic, we also hope to give a succinct introduction to scene graphs, and guide practitioners while developing approaches for their applications.


abstract: The INTERSPEECH 2020 Far-Field Speaker Verification Challenge (FFSVC 2020) addresses three different research problems under well-defined conditions: far-field text-dependent speaker verification from single microphone array, far-field text-independent speaker verification from single microphone array, and far-field text-dependent speaker verification from distributed microphone arrays. All three tasks pose a cross-channel challenge to the participants. To simulate the real-life scenario, the enrollment utterances are recorded from close-talk cellphone, while the test utterances are recorded from the far-field microphone arrays. In this paper, we describe the database, the challenge, and the baseline system, which is based on a ResNet-based deep speaker network with cosine similarity scoring. For a given utterance, the speaker embeddings of different channels are equally averaged as the final embedding. The baseline system achieves minDCFs of 0.62, 0.66, and 0.64 and EERs of 6.27%, 6.55%, and 7.18% for task 1, task 2, and task 3, respectively.


title: Simple, Scalable, and Stable Variational Deep Clustering

abstract: Deep clustering (DC) has become the state-of-the-art for unsupervised clustering. In principle, DC represents a variety of unsupervised methods that jointly learn the underlying clusters and the latent representation directly from unstructured datasets. However, DC methods are generally poorly applied due to high operational costs, low scalability, and unstable results. In this paper, we first evaluate several popular DC variants in the context of industrial applicability using eight empirical criteria. We then choose to focus on variational deep clustering (VDC) methods, since they mostly meet those criteria except for simplicity, scalability, and stability. To address these three unmet criteria, we introduce four generic algorithmic improvements: initial $\gamma$-training, periodic $\beta$-annealing, mini-batch GMM (Gaussian mixture model) initialization, and inverse min-max transform. We also propose a novel clustering algorithm S3VDC (simple, scalable, and stable VDC) that incorporates all those improvements. Our experiments show that S3VDC outperforms the state-of-the-art on both benchmark tasks and a large unstructured industrial dataset without any ground truth label. In addition, we analytically evaluate the usability and interpretability of S3VDC.


title: Link homology and Frobenius extensions II

abstract: The first two sections of the paper provide a convenient scheme and additional diagrammatics for working with Frobenius extensions responsible for key flavors of equivariant SL(2) link homology theories. The goal is to clarify some basic structures in the theory and propose a setup to work over sufficiently non-degenerate base rings. The third section works out two related SL(2) evaluations for seamed surfaces.


title: Modeling Stochastic Variability in Multi-Band Time Series Data

abstract: In preparation for the era of the time-domain astronomy with upcoming large-scale surveys, we propose a state-space representation of a multivariate damped random walk process as a tool to analyze irregularly-spaced multi-filter light curves with heteroscedastic measurement errors. We adopt a computationally efficient and scalable Kalman-filtering approach to evaluate the likelihood function, leading to maximum $O(k^3n)$ complexity, where $k$ is the number of available bands and $n$ is the number of unique observation times across the $k$ bands. This is a significant computational advantage over a commonly used univariate Gaussian process that can stack up all multi-band light curves in one vector with maximum $O(k^3n^3)$ complexity. Using such efficient likelihood computation, we provide both maximum likelihood estimates and Bayesian posterior samples of the model parameters. Three numerical illustrations are presented; (i) analyzing simulated five-band light curves for a comparison with independent single-band fits; (ii) analyzing five-band light curves of a quasar obtained from the Sloan Digital Sky Survey (SDSS) Stripe~82 to estimate the short-term variability and timescale; (iii) analyzing gravitationally lensed $g$- and $r$-band light curves of Q0957+561 to infer the time delay. Two R packages, Rdrw and timedelay, are publicly available to fit the proposed models.


title: Exploring Low-degree Nodes First Accelerates Network Exploration

abstract: We consider information diffusion on Web-like networks and how random walks can simulate it. A well-studied problem in this domain is Partial Cover Time, i.e., the calculation of the expected number of steps a random walker needs to visit a given fraction of the nodes of the network. We notice that some of the fastest solutions in fact require that nodes have perfect knowledge of the degree distribution of their neighbors, which in many practical cases is not obtainable, e.g., for privacy reasons. We thus introduce a version of the Cover problem that considers such limitations: Partial Cover Time with Budget. The budget is a limit on the number of neighbors that can be inspected for their degree; we have adapted optimal random walks strategies from the literature to operate under such budget. Our solution is called Min-degree (MD) and, essentially, it biases random walkers towards visiting peripheral areas of the network first. Extensive benchmarking on six real datasets proves that the---perhaps counter-intuitive strategy---MD strategy is in fact highly competitive wrt. state-of-the-art algorithms for cover.


title: Charge Collection and Electrical Characterization of Neutron Irradiated Silicon Pad Detectors for the CMS High Granularity Calorimeter

abstract: The replacement of the existing endcap calorimeter in the Compact Muon Solenoid (CMS) detector for the high-luminosity LHC (HL-LHC), scheduled for 2027, will be a high granularity calorimeter. It will provide detailed position, energy, and timing information on electromagnetic and hadronic showers in the immense pileup of the HL-LHC. The High Granularity Calorimeter (HGCAL) will use 120-, 200-, and 300-$\mu\textrm{m}$ thick silicon (Si) pad sensors as the main active material and will sustain 1-MeV neutron equivalent fluences up to about $10^{16}~\textrm{n}_\textrm{eq}\textrm{cm}^{-2}$. In order to address the performance degradation of the Si detectors caused by the intense radiation environment, irradiation campaigns of test diode samples from 8-inch and 6-inch wafers were performed in two reactors. Characterization of the electrical and charge collection properties after irradiation involved both bulk polarities for the three sensor thicknesses. Since the Si sensors will be operated at -30 $^\circ$C to reduce increasing bulk leakage current with fluence, the charge collection investigation of 30 irradiated samples was carried out with the infrared-TCT setup at -30 $^\circ$C. TCAD simulation results at the lower fluences are in close agreement with the experimental results and provide predictions of sensor performance for the lower fluence regions not covered by the experimental study. All investigated sensors display 60$\%$ or higher charge collection efficiency at their respective highest lifetime fluences when operated at 800 V, and display above 90$\%$ at the lowest fluence, at 600 V. The collected charge close to the fluence of $10^{16}~\textrm{n}_\textrm{eq}\textrm{cm}^{-2}$ exceeds 1 fC at voltages beyond 800 V.


title: Controlling epidemic diseases based only on social distancing level

abstract: The World Health Organization (WHO) made the assessment that COVID-19 can be characterized as a pandemic on March 11, 2020. To the COVID-19 outbreak, there is no vaccination and no treatment. The only way to control the COVID-19 outbreak is sustained physical distancing. In this work, a simple control law was proposed to keep the infected individuals during the COVID-19 outbreak below the desired number. The proposed control law keeps the value of infected individuals controlled only adjusting the social distancing level. The stability analysis of the proposed control law is done and the uncertainties in the parameters were considered. A version of the proposed controller to daily update was developed. This is a very simple approach to the developed control law and can be calculated in a spreadsheet. In the end, numerical simulations were done to show the behavior of the number of infected individuals during an epidemic disease when the proposed control law is used to adjust the social distancing level.


title: Exploration of Audio Quality Assessment and Anomaly Localisation Using Attention Models

abstract: Many applications of speech technology require more and more audio data. Automatic assessment of the quality of the collected recordings is important to ensure they meet the requirements of the related applications. However, effective and high performing assessment remains a challenging task without a clean reference. In this paper, a novel model for audio quality assessment is proposed by jointly using bidirectional long short-term memory and an attention mechanism. The former is to mimic a human auditory perception ability to learn information from a recording, and the latter is to further discriminate interferences from desired signals by highlighting target related features. To evaluate our proposed approach, the TIMIT dataset is used and augmented by mixing with various natural sounds. In our experiments, two tasks are explored. The first task is to predict an utterance quality score, and the second is to identify where an anomalous distortion takes place in a recording. The obtained results show that the use of our proposed approach outperforms a strong baseline method and gains about 5% improvements after being measured by three metrics, Linear Correlation Coefficient and Spearman Rank Correlation Coefficient, and F1.


title: Classification vs regression in overparameterized regimes: Does the loss function matter?

abstract: We compare classification and regression tasks in an overparameterized linear model with Gaussian features. On the one hand, we show that with sufficient overparameterization all training points are support vectors: solutions obtained by least-squares minimum-norm interpolation, typically used for regression, are identical to those produced by the hard-margin support vector machine (SVM) that minimizes the hinge loss, typically used for training classifiers. On the other hand, we show that there exist regimes where these interpolating solutions generalize well when evaluated by the 0-1 test loss function, but do not generalize if evaluated by the square loss function, i.e. they approach the null risk. Our results demonstrate the very different roles and properties of loss functions used at the training phase (optimization) and the testing phase (generalization).


title: Phase separation in a mixture of trapped charged Bose-Einstein condensates

abstract: We study the phase separation configurations and their rotational properties for a mixture of two interacting charged Bose-Einstein condensates subject to a magnetic field trapped in disc and Corbino geometries. We calculate the ground state energies of azimuthal and radial phase separation configurations using the Gross-Pitaevskii and the Thomas-Fermi approximations. We show that the results for experimentally relevant system parameters from both approaches are in good agreement. The immiscible mixture in both geometries with equal intracomponent interactions favors the azimuthal phase separation for all intercomponent interactions. Only an imbalance in the intracomponent interactions can result in a transition to the radial phase separation, for which the transition becomes sensitive to the shape of the trap. We present phase diagrams as a function of the inter and intracomponent interactions. While the radial phase separation is widely favoured in disc geometry, the azimuthal phase separation is favoured for narrower Corbino geometries. We explore the rotational properties of the spatially separated condensates under the magnetic field, studying their angular momenta and velocity fields. The quantization of circulation breaks down for the azimuthal phase separation. In this case, the bulk region of the condensate continues to display superfluid flow behavior whereas the velocity field shows a rigid body behavior along the phase boundaries.


title: Recurrent Chunking Mechanisms for Long-Text Machine Reading Comprehension

abstract: In this paper, we study machine reading comprehension (MRC) on long texts, where a model takes as inputs a lengthy document and a question and then extracts a text span from the document as an answer. State-of-the-art models tend to use a pretrained transformer model (e.g., BERT) to encode the joint contextual information of document and question. However, these transformer-based models can only take a fixed-length (e.g., 512) text as its input. To deal with even longer text inputs, previous approaches usually chunk them into equally-spaced segments and predict answers based on each segment independently without considering the information from other segments. As a result, they may form segments that fail to cover the correct answer span or retain insufficient contexts around it, which significantly degrades the performance. Moreover, they are less capable of answering questions that need cross-segment information. We propose to let a model learn to chunk in a more flexible way via reinforcement learning: a model can decide the next segment that it wants to process in either direction. We also employ recurrent mechanisms to enable information to flow across segments. Experiments on three MRC datasets -- CoQA, QuAC, and TriviaQA -- demonstrate the effectiveness of our proposed recurrent chunking mechanisms: we can obtain segments that are more likely to contain complete answers and at the same time provide sufficient contexts around the ground truth answers for better predictions.


title: Nested Model Averaging on Solution Path for High-dimensional Linear Regression

abstract: We study the nested model averaging method on the solution path for a high-dimensional linear regression problem. In particular, we propose to combine model averaging with regularized estimators (e.g., lasso and SLOPE) on the solution path for high-dimensional linear regression. In simulation studies, we first conduct a systematic investigation on the impact of predictor ordering on the behavior of nested model averaging, then show that nested model averaging with lasso and SLOPE compares favorably with other competing methods, including the infeasible lasso and SLOPE with the tuning parameter optimally selected. A real data analysis on predicting the per capita violent crime in the United States shows an outstanding performance of the nested model averaging with lasso.


title: A Linear Time Algorithm for Computing the Eternal Vertex Cover Number of Cactus Graphs

abstract: The eternal vertex cover problem is a dynamic variant of the classical vertex cover problem. It is NP-hard to compute the eternal vertex cover number of graphs and known algorithmic results for the problem are very few. This paper presents a linear time recursive algorithm for computing the eternal vertex cover number of cactus graphs. Unlike other graph classes for which polynomial time algorithms for eternal vertex cover number are based on efficient computability of a known lower bound directly derived from minimum vertex cover, we show that it is a certain substructure property that helps the efficient computation of eternal vertex cover number of cactus graphs. An extension of the result to graphs in which each block is an edge, a cycle or a biconnected chordal graph is also presented.


title: Positive irreducible semigroups and their long-time behaviour

abstract: The notion \emph{Perron-Frobenius theory} usually refers to the interaction between three properties of operator semigroups: positivity, spectrum and long-time behaviour. These interactions gives rise to a profound theory with plenty of applications. By a brief walk-through of the field and with many examples, we highlight two aspects of the subject, both related to the long-time behaviour of semigroups: (i) The classical question how positivity of a semigroup can be used to prove convergence to an equilibrium as $t \to \infty$. (ii) The more recent phenomenon that positivity itself sometimes occurs only for large $t$, while being absent for smaller times.


title: Adaptive Influence Maximization: If Influential Node Unwilling to Be the Seed

abstract: Influence maximization problem attempts to find a small subset of nodes that makes the expected influence spread maximized, which has been researched intensively before. They all assumed that each user in the seed set we select is activated successfully and then spread the influence. However, in the real scenario, not all users in the seed set are willing to be an influencer. Based on that, we consider each user associated with a probability with which we can activate her as a seed, and we can attempt to activate her many times. In this paper, we study the adaptive influence maximization with multiple activations (Adaptive-IMMA) problem, where we select a node in each iteration, observe whether she accepts to be a seed, if yes, wait to observe the influence diffusion process; If no, we can attempt to activate her again with a higher cost or select another node as a seed. We model the multiple activations mathematically and define it on the domain of integer lattice. We propose a new concept, adaptive dr-submodularity, and show our Adaptive-IMMA is the problem that maximizing an adaptive monotone and dr-submodular function under the expected knapsack constraint. Adaptive dr-submodular maximization problem is never covered by any existing studies. Thus, we summarize its properties and study its approximability comprehensively, which is a non-trivial generalization of existing analysis about adaptive submodularity. Besides, to overcome the difficulty to estimate the expected influence spread, we combine our adaptive greedy policy with sampling techniques without losing the approximation ratio but reducing the time complexity. Finally, we conduct experiments on several real datasets to evaluate the effectiveness and efficiency of our proposed policies.


title: The Degrees Of Toroidal Regular Proper Hypermaps

abstract: Recently the classification of all possible faithful transitive permutation representations of the group of symmetries of a regular toroidal map was accomplished. In this paper we complete this investigation on a surface of genus 1 considering the group of a regular toroidal hypermap of type $(3,3,3)$ that is a subgroup of index $2$ of the group of symmetries of a toroidal map of type $\{6,3\}$.


title: An energy stable and positivity-preserving scheme for the Maxwell-Stefan diffusion system

abstract: We develop a new finite difference scheme for the Maxwell-Stefan diffusion system. The scheme is conservative, energy stable and positivity-preserving. These nice properties stem from a variational structure and are proved by reformulating the finite difference scheme into an equivalent optimization problem. The solution to the scheme emerges as the minimizer of the optimization problem, and as a consequence energy stability and positivity-preserving properties are obtained.


title: Distributed Bounded Model Checking

abstract: Program verification is a resource-hungry task. This paper looks at the problem of parallelizing SMT-based automated program verification, specifically bounded model-checking, so that it can be distributed and executed on a cluster of machines. We present an algorithm that dynamically unfolds the call graph of the program and frequently splits it to create sub-tasks that can be solved in parallel. The algorithm is adaptive, controlling the splitting rate according to available resources, and also leverages information from the SMT solver to split where most complexity lies in the search. We implemented our algorithm by modifying CORRAL, the verifier used by Microsoft's Static Driver Verifier (SDV), and evaluate it on a series of hard SDV benchmarks.


title: Boundedness for a fully parabolic Keller-Segel model with sublinear segregation and superlinear aggregation

abstract: This work deals with a fully parabolic chemotaxis model with nonlinear production and chemoattractant. The problem is formulated on a bounded domain and, depending on a specific interplay between the coefficients associated to such production and chemoattractant, we establish that the related initial-boundary value problem has a unique classical solution which is uniformly bounded in time. To be precise, we study this zero-flux problem \begin{equation}\label{problem_abstract} \tag{$\Diamond$} \begin{cases} u_t= \Delta u - \nabla \cdot (f(u) \nabla v) & \text{ in } \Omega \times (0,T_{max}),\\ v_t=\Delta v-v+g(u) & \text{ in } \Omega \times (0,T_{max}),\\ \end{cases} \end{equation} where $\Omega$ is a bounded and smooth domain of $\mathbb{R}^n$, for $n\geq 2$, and $f(u)$ and $g(u)$ are reasonably regular functions generalizing, respectively, the prototypes $f(u)=u^\alpha$ and $g(u)=u^l$, with proper $\alpha, l>0$. After having shown that any sufficiently smooth $ u(x,0)=u_0(x)\geq 0, \, v(x,0)=v_0(x)\geq 0$ emanate a unique classical and nonnegative solution $(u,v)$ to problem \eqref{problem_abstract}, which is defined on $\Omega \times (0,T_{max})$ with $T_{max}$ denoting the maximum time of existence, we establish that for any $l\in (0,\frac{2}{n})$ and $\frac{2}{n}\leq \alpha<1+\frac{1}{n}-\frac{l}{2}$, $T_{max}=\infty$ and $u$ and $v$ are actually uniformly bounded in time. This paper is in line with the contribution by Horstmann and Winkler, moreover, extends the result by Liu and Tao. Indeed, in the first work it is proved that for $g(u)=u$ the value $\alpha=\frac{2}{n}$ represents the critical blow-up exponent to the model, whereas in the second, for $f(u)=u$, corresponding to $\alpha=1$, boundedness of solutions is shown under the assumption $0<l<\frac{2}{n}.$


title: How Biased is the Population of Facebook Users? Comparing the Demographics of Facebook Users with Census Data to Generate Correction Factors

abstract: Censuses around the world are key sources of data to guide government investments and public policies. However, these sources are very expensive to obtain and are collected relatively infrequently. Over the last decade, there has been growing interest in the use of data from social media to complement traditional data sources. However, social media users are not representative of the general population. Thus, analyses based on social media data require statistical adjustments, like post-stratification, in order to remove the bias and make solid statistical claims. These adjustments are possible only when we have information about the frequency of demographic groups using social media. These data, when compared with official statistics, enable researchers to produce appropriate statistical correction factors. In this paper, we leverage the Facebook advertising platform to compile the equivalent of an aggregate-level census of Facebook users. Our compilation includes the population distribution for seven demographic attributes such as gender and age at different geographic levels for the US. By comparing the Facebook counts with official reports provided by the US Census and Gallup, we found very high correlations, especially for political leaning and race. We also identified instances where official statistics may be underestimating population counts as in the case of immigration. We use the information collected to calculate bias correction factors for all computed attributes in order to evaluate the extent to which different demographic groups are more or less represented on Facebook. We provide the first comprehensive analysis for assessing biases in Facebook users across several dimensions. This information can be used to generate bias-adjusted population estimates and demographic counts in a timely way and at fine geographic granularity in between data releases of official statistics


title: Independence of the inverse spin Hall effect with the magnetic phase in thin NiCu films

abstract: Large spin Hall angles have been observed in 3d ferromagnets, but their origin, and especially their link with the ferromagnetic order, remain unclear. Here, we investigate the inverse spin Hall effect of Ni60Cu40 and Ni50Cu50 across their Curie temperature using spin pumping experiments. We evidence that the inverse spin Hall effect in these samples is comparable to that of platinum, and that it is insensitive to the magnetic order. These results points towards a Heisenberg localized model of the transition, and suggest that the large spin Hall effects in 3d ferromagnets can be independent of the magnetic phase.


title: Forecasting with sktime: Designing sktime's New Forecasting API and Applying It to Replicate and Extend the M4 Study

abstract: We present a new open-source framework for forecasting in Python. Our framework forms part of sktime, a more general machine learning toolbox for time series with scikit-learn compatible interfaces for different learning tasks. Our new framework provides dedicated forecasting algorithms and tools to build, tune and evaluate composite models. We use sktime to both replicate and extend key results from the M4 forecasting study. In particular, we further investigate the potential of simple off-the-shelf machine learning approaches for univariate forecasting. Our main results are that simple hybrid approaches can boost the performance of statistical models, and that simple pure approaches can achieve competitive performance on the hourly data set, outperforming the statistical algorithms and coming close to the M4 winner.


title: Model-Augmented Actor-Critic: Backpropagating through Paths

abstract: Current model-based reinforcement learning approaches use the model simply as a learned black-box simulator to augment the data for policy optimization or value function learning. In this paper, we show how to make more effective use of the model by exploiting its differentiability. We construct a policy optimization algorithm that uses the pathwise derivative of the learned model and policy across future timesteps. Instabilities of learning across many timesteps are prevented by using a terminal value function, learning the policy in an actor-critic fashion. Furthermore, we present a derivation on the monotonic improvement of our objective in terms of the gradient error in the model and value function. We show that our approach (i) is consistently more sample efficient than existing state-of-the-art model-based algorithms, (ii) matches the asymptotic performance of model-free algorithms, and (iii) scales to long horizons, a regime where typically past model-based approaches have struggled.


title: Beyond SM Physics and searches for SUSY at the LHC

abstract: This is the written version of a talk given by S.K. at the $10^{th}$ International Conference on High Energy and Astroparticle, Constantine, Algeria. We briefly review the Standard Model (SM) and the major evidences and main direction of physics beyond the SM (BSM). We introduce supersymmetry, as one of the well-motivated BSM. Basic introduction to Minimal Supersymmetric Standard Model (MSSM) is given. We analyze the thermal relic abundance of lightest neutralino, which is the Lightest Supersymmetric Particle (LSP) in the MSSM. We show that the combined Large Hadron Collider (LHC) and relic abundance constraints rule out most of the MSSM parameter space except a very narrow region. We also review non-minimal SUSY model, based on the gauge group $SU(3)_C \times SU(2)_L \times U(1)_Y \times U(1)_{B-L}$ (BLSSM), where an Inverse Seesaw mechanism of light neutrino mass generation is naturally implemented. The phenomenological implications of this type of model at the Large Hadron Collider (LHC) are analyzed.


title: The Support Uncertainty Principle and the Graph Rihaczek Distribution: Revisited and Improved

abstract: The classical support uncertainty principle states that the signal and its discrete Fourier transform (DFT) cannot be localized simultaneously in an arbitrary small area in the time and the frequency domain. The product of the number of nonzero samples in the time domain and the frequency domain is greater or equal to the total number of signal samples. The support uncertainty principle has been extended to the arbitrary orthogonal pairs of signal basis and the graph signals, stating that the product of supports in the vertex domain and the spectral domain is greater than the reciprocal squared maximum absolute value of the basis functions. This form is then used in compressive sensing and sparse signal processing to define the reconstruction conditions. In this paper, we will revisit the graph signal uncertainty principle using the graph Rihaczek distribution as an analysis tool and derive an improved bound for the support uncertainty principle of graph signals.


title: There is no coincidence after all!

abstract: We show that if Dark Matter is made up of light bosons, they form a Bose-Einstein condensate in the early Universe. This in turn naturally induces a Dark Energy of approximately equal density and exerting negative pressure.This explains the so-called coincidence problem.


title: Speech Recognition and Multi-Speaker Diarization of Long Conversations

abstract: Speech recognition (ASR) and speaker diarization (SD) models have traditionally been trained separately to produce rich conversation transcripts with speaker labels. Recent advances have shown that joint ASR and SD models can learn to leverage audio-lexical inter-dependencies to improve word diarization performance. We introduce a new benchmark of hour-long podcasts collected from the weekly This American Life radio program to better compare these approaches when applied to extended multi-speaker conversations. We find that training separate ASR and SD models perform better when utterance boundaries are known but otherwise joint models can perform better. To handle long conversations with unknown utterance boundaries, we introduce a striding attention decoding algorithm and data augmentation techniques which, combined with model pre-training, improves ASR and SD.


title: The generalised rainbow Tur\'an problem for cycles

abstract: Given an edge-coloured graph, we say that a subgraph is rainbow if all of its edges have different colours. Let $\operatorname{ex}(n,H,$rainbow-$F)$ denote the maximal number of copies of $H$ that a properly edge-coloured graph on $n$ vertices can contain if it has no rainbow subgraph isomorphic to $F$. We determine the order of magnitude of $\operatorname{ex}(n,C_s,$rainbow-$C_t)$ for all $s,t$ with $s\not =3$. In particular, we answer a question of Gerbner, M\'esz\'aros, Methuku and Palmer by showing that $\operatorname{ex}(n,C_{2k},$rainbow-$C_{2k})$ is $\Theta(n^{k-1})$ if $k\geq 3$ and $\Theta(n^2)$ if $k=2$. We also determine the order of magnitude of $\operatorname{ex}(n,P_\ell,$rainbow-$C_{2k})$ for all $k,\ell\geq 2$, where $P_\ell$ denotes the path with $\ell$ edges.


title: Universality of eigenvector delocalization and the nature of the SIS phase transition in multiplex networks

abstract: Universal spectral properties of multiplex networks allow us to assess the nature of the transition between disease-free and endemic phases in the SIS epidemic spreading model. In a multiplex network, depending on a coupling parameter, $p$, the inverse participation ratio ($IPR$) of the leading eigenvector of the adjacency matrix can be in two different structural regimes: (i) layer-localized and (ii) delocalized. Here we formalize the structural transition point, $p^*$, between these two regimes, showing that there are universal properties regarding both the layer size $n$ and the layer configurations. Namely, we show that $IPR \sim n^{-\delta}$, with $\delta\approx 1$, and revealed an approximately linear relationship between $p^*$ and the difference between the layers' average degrees. Furthermore, we showed that this multiplex structural transition is intrinsically connected with the nature of the SIS phase transition, allowing us to both understand and quantify the phenomenon. As these results are related to the universal properties of the leading eigenvector, we expect that our findings might be relevant to other dynamical processes in complex networks.


title: On the size Ramsey number of all cycles versus a path

abstract: We say $G\to (\mathcal{C}, P_n)$ if $G-E(F)$ contains an $n$-vertex path $P_n$ for any spanning forest $F\subset G$. The size Ramsey number $\hat{R}(\mathcal{C}, P_n)$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges for which $G\to (\mathcal{C}, P_n)$. Dudek, Khoeini and Pra{\l}at proved that for sufficiently large $n$, $2.0036n \le \hat{R}(\mathcal{C}, P_n)\le 31n$. In this note, we improve both the lower and upper bounds to $2.066n\le \hat{R}(\mathcal{C}, P_n)\le 5.25n+O(1).$ Our construction for the upper bound is completely different than the one considered by Dudek, Khoeini and Pra{\l}at. We also have a computer assisted proof of the upper bound $\hat{R}(\mathcal{C}, P_n)\le \frac{75}{19}n +O(1) < 3.947n $.


title: A Deep Learning based Wearable Healthcare IoT Device for AI-enabled Hearing Assistance Automation

abstract: With the recent booming of artificial intelligence (AI), particularly deep learning techniques, digital healthcare is one of the prevalent areas that could gain benefits from AI-enabled functionality. This research presents a novel AI-enabled Internet of Things (IoT) device operating from the ESP-8266 platform capable of assisting those who suffer from impairment of hearing or deafness to communicate with others in conversations. In the proposed solution, a server application is created that leverages Google's online speech recognition service to convert the received conversations into texts, then deployed to a micro-display attached to the glasses to display the conversation contents to deaf people, to enable and assist conversation as normal with the general population. Furthermore, in order to raise alert of traffic or dangerous scenarios, an 'urban-emergency' classifier is developed using a deep learning model, Inception-v4, with transfer learning to detect/recognize alerting/alarming sounds, such as a horn sound or a fire alarm, with texts generated to alert the prospective user. The training of Inception-v4 was carried out on a consumer desktop PC and then implemented into the AI based IoT application. The empirical results indicate that the developed prototype system achieves an accuracy rate of 92% for sound recognition and classification with real-time performance.


title: Amenability and Inner Amenability of Transformation Groups

abstract: In this paper, we show that there is a net for amenable transformation groups like F{\o}lner net for amenable groups and investigate amenability of a transformation group constructed by semidirect product of groups. We introduce inner amenability of transformation groups and characterize this property.


title: Ontology and Cognitive Outcomes

abstract: Here we understand 'intelligence' as referring to items of knowledge collected for the sake of assessing and maintaining national security. The intelligence community (IC) of the United States (US) is a community of organizations that collaborate in collecting and processing intelligence for the US. The IC relies on human-machine-based analytic strategies that 1) access and integrate vast amounts of information from disparate sources, 2) continuously process this information, so that, 3) a maximally comprehensive understanding of world actors and their behaviors can be developed and updated. Herein we describe an approach to utilizing outcomes-based learning (OBL) to support these efforts that is based on an ontology of the cognitive processes performed by intelligence analysts. Of particular importance to the Cognitive Process Ontology is the class Representation that is Warranted. Such a representation is descriptive in nature and deserving of trust in its veridicality. The latter is because a Representation that is Warranted is always produced by a process that was vetted (or successfully designed) to reliably produce veridical representations. As such, Representations that are Warranted are what in other contexts we might refer to as 'items of knowledge'.


title: Weakly Nuclear Maps on Real $C^*$-algebras and Quasidiagonality of These Algebras

abstract: In this paper, we show that a completely positive linear map is weakly nuclear if and only if its complexification is weakly nuclear. It is shown that a real $C^*$-algebra is exact if and only if its complexification is exact and similar case is provided for the quasidiaginality.


title: Spectral preorder and perturbations of discrete weighted graphs

abstract: In this article, we introduce a geometric and a spectral preorder relation on the class of weighted graphs with a magnetic potential. The first preorder is expressed through the existence of a graph homomorphism respecting the magnetic potential and fulfilling certain inequalities for the weights. The second preorder refers to the spectrum of the associated Laplacian of the magnetic weighted graph. These relations give a quantitative control of the effect of elementary and composite perturbations of the graph (deleting edges, contracting vertices, etc.) on the spectrum of the corresponding Laplacians, generalising interlacing of eigenvalues. We give several applications of the preorders: we show how to classify graphs according to these preorders and we prove the stability of certain eigenvalues in graphs with a maximal d-clique. Moreover, we show the monotonicity of the eigenvalues when passing to spanning subgraphs and the monotonicity of magnetic Cheeger constants with respect to the geometric preorder. Finally, we prove a refined procedure to detect spectral gaps in the spectrum of an infinite covering graph.


title: Rethinking and Improving Natural Language Generation with Layer-Wise Multi-View Decoding

abstract: In sequence-to-sequence learning, e.g., natural language generation, the decoder relies on the attention mechanism to efficiently extract information from the encoder. While it is common practice to draw information from only the last encoder layer, recent work has proposed to use representations from different encoder layers for diversified levels of information. Nonetheless, the decoder still obtains only a single view of the source sequences, which might lead to insufficient training of the encoder layer stack due to the hierarchy bypassing problem. In this work, we propose layer-wise multi-view decoding, where for each decoder layer, together with the representations from the last encoder layer, which serve as a global view, those from other encoder layers are supplemented for a stereoscopic view of the source sequences. Systematic experiments and analyses show that we successfully address the hierarchy bypassing problem, require almost negligible parameter increase, and substantially improve the performance of sequence-to-sequence learning with deep representations on five diverse tasks, i.e., machine translation, abstractive summarization, image captioning, video captioning, medical report generation, and paraphrase generation. In particular, our approach achieves new state-of-the-art results on ten benchmark datasets, including a low-resource machine translation dataset and two low-resource medical report generation datasets.


title: Quasi-one-dimensional Ising models with defects of the "random local field" type: Imry-Ma phase in spaces with dimension higher than the lower critical one

abstract: The phase diagram in coordinates "temperature - concentration of defects" of quasi-one-dimensional Ising models with defects of the "random local field" type is investigated. The confrontation of the tendency to the emergence of the long-range order due to a weak interaction between one-dimensional spin chains and the tendency to the formation of the Imry-Ma phase in which the order parameter follows the fluctuations of the random field created by defects is studied. The possibility of the appearance of the Imry-Ma phase in a situation where the space dimension exceeds the lower critical dimension is shown. The question of the existence of the long-range order in the Ising model with random fields in space with the critical dimension dl = 2 is considered.


title: A Robust Experimental Evaluation of Automated Multi-Label Classification Methods

abstract: Automated Machine Learning (AutoML) has emerged to deal with the selection and configuration of algorithms for a given learning task. With the progression of AutoML, several effective methods were introduced, especially for traditional classification and regression problems. Apart from the AutoML success, several issues remain open. One issue, in particular, is the lack of ability of AutoML methods to deal with different types of data. Based on this scenario, this paper approaches AutoML for multi-label classification (MLC) problems. In MLC, each example can be simultaneously associated to several class labels, unlike the standard classification task, where an example is associated to just one class label. In this work, we provide a general comparison of five automated multi-label classification methods -- two evolutionary methods, one Bayesian optimization method, one random search and one greedy search -- on 14 datasets and three designed search spaces. Overall, we observe that the most prominent method is the one based on a canonical grammar-based genetic programming (GGP) search method, namely Auto-MEKA$_{GGP}$. Auto-MEKA$_{GGP}$ presented the best average results in our comparison and was statistically better than all the other methods in different search spaces and evaluated measures, except when compared to the greedy search method.


title: Quasi-isometric embedding between $*$-algebras

abstract: The concept of quasi-isometric embedding maps between $*$-algebras is introduced. We have obtained some basic results related to this notion and similar to quasi-isometric embedding maps on metric spaces, under some conditions, we give a necessary and sufficient condition on a $*$-homomorphism to be a quasi-isometric embedding between $*$-algebras.


title: Generalized Fock space and moments

abstract: In this paper we develop a framework to extend the theory of generalized stochastic processes in the Hida white noise space to more general probability spaces which include the grey noise space. To obtain a Wiener-It\^o expansion we recast it as a moment problem and calculate the moments explicitly. We further show the importance of a family of topological algebras called strong algebras in this context. Furthermore we show the applicability of our approach to the study of stochastic processes.


title: Three-dimensional trapping and assembly of small particles with synchronized spherical acoustical vortices

abstract: Three-dimensional harmless contactless manipulation and assembly of micro-objects and micro-organisms would open new horizons in microrobotics and microbiology, e.g. for microsystems assembly or tissue engineering. In our previous work [Gong and Baudoin, Phys. Rev. Appl., 12: 024045 (2019)], we investigated theoretically the possibility to trap and assemble in two dimensions small particles compared to the wavelength with synchronized acoustical tweezers based on cylindrical acoustical vortices. However, since these wavefields are progressive along their central axis, they can only push or pull (not trap) particles in this direction and hence are mainly limited to 2D operations. In this paper, we extend our previous analysis and show theoretically that particles can be trapped and assembled in three-dimensions with synchronized spherical vortices. We show that the particles can be approached both laterally and axially and we determine the maximum assembly speed by balancing the Stokes' drag force and the critical radiation force. These theoretical results provide guidelines to design selective acoustical tweezers able to trap and assemble particles in three dimensions.


title: Universal Adversarial Perturbations: A Survey

abstract: Over the past decade, Deep Learning has emerged as a useful and efficient tool to solve a wide variety of complex learning problems ranging from image classification to human pose estimation, which is challenging to solve using statistical machine learning algorithms. However, despite their superior performance, deep neural networks are susceptible to adversarial perturbations, which can cause the network's prediction to change without making perceptible changes to the input image, thus creating severe security issues at the time of deployment of such systems. Recent works have shown the existence of Universal Adversarial Perturbations, which, when added to any image in a dataset, misclassifies it when passed through a target model. Such perturbations are more practical to deploy since there is minimal computation done during the actual attack. Several techniques have also been proposed to defend the neural networks against these perturbations. In this paper, we attempt to provide a detailed discussion on the various data-driven and data-independent methods for generating universal perturbations, along with measures to defend against such perturbations. We also cover the applications of such universal perturbations in various deep learning tasks.


title: Learning and Optimization with Seasonal Patterns

abstract: A standard assumption adopted in the multi-armed bandit (MAB) framework is that the mean rewards are constant over time. This assumption can be restrictive in the business world as decision-makers often face an evolving environment where the mean rewards are time-varying. In this paper, we consider a non-stationary MAB model with $K$ arms whose mean rewards vary over time in a periodic manner. The unknown periods can be different across arms and scale with the length of the horizon $T$ polynomially. We propose a two-stage policy that combines the Fourier analysis with a confidence-bound-based learning procedure to learn the periods and minimize the regret. In stage one, the policy correctly estimates the periods of all arms with high probability. In stage two, the policy explores the periodic mean rewards of arms using the periods estimated in stage one and exploits the optimal arm in the long run. We show that our learning policy incurs a regret upper bound $\tilde{O}(\sqrt{T\sum_{k=1}^K T_k})$ where $T_k$ is the period of arm $k$. Moreover, we establish a general lower bound $\Omega(\sqrt{T\max_{k}\{ T_k\}})$ for any policy. Therefore, our policy is near-optimal up to a factor of $\sqrt{K}$.


title: A Weak Form of Amenability of Topological Semigroups and its Applications in Ergodic and Fixed Point Theories

abstract: In this paper, we introduce a weak form of amenability on topological semigroups that we call $\varphi$-amenability, where $\varphi$ is a character on a topological semigroup. Some basic properties of this new notion are obtained and by giving some examples, we show that this definition is weaker than the amenability of semigroups. As a noticeable result, for a topological semigroup $S$, it is shown that if $S$ is $\varphi$-amenable, then $S$ is amenable. Moreover, $\varphi$-ergodicity for a topological semigroup $S$ is introduced and it is proved that under some conditions on $S$ and a Banach space $X$, $\varphi$-amenability and $\varphi$-ergodicity of any antirepresntation defined by a right action $S$ on $X$, are equivalent. A relation between $\varphi$-amenability of topological semigroups and existance of a common fixed point is investigated and by this relation, Hahn-Banach property of topological semigroups in the sense of $\varphi$-amenability defined and studied.


title: FiberStars: Visual Comparison of Diffusion Tractography Data between Multiple Subjects

abstract: Tractography from high-dimensional diffusion magnetic resonance imaging (dMRI) data allows brain's structural connectivity analysis. Recent dMRI studies aim to compare connectivity patterns across subject groups and disease populations to understand subtle abnormalities in the brain's white matter connectivity and distributions of biologically sensitive dMRI derived metrics. Existing software products focus solely on the anatomy, are not intuitive or restrict the comparison of multiple subjects. In this paper, we present the design and implementation of FiberStars, a visual analysis tool for tractography data that allows the interactive visualization of brain fiber clusters combining existing 3D anatomy with compact 2D visualizations. With FiberStars, researchers can analyze and compare multiple subjects in large collections of brain fibers using different views. To evaluate the usability of our software, we performed a quantitative user study. We asked domain experts and non-experts to find patterns in a tractography dataset with either FiberStars or an existing dMRI exploration tool. Our results show that participants using FiberStars can navigate extensive collections of tractography faster and more accurately. All our research, software, and results are available openly.


title: Imry-Ma phase in O(n) models for space dimensions higher than the lower critical dimensionality

abstract: Systems with continuous symmetry of the vector order parameter containing defects of the "random local field" or "random local anisotropy" types are investigated. It is shown that the disordered Imry-Ma phase, in which the order parameter follows the spatial fluctuations of the random field or random anisotropy direction, can also occur in a coordinate space of dimension d higher than the lower critical dimension dl = 4. For this, the hyperplanes of dimension m < dl, must exist in the coordinate space in which there is a strong exchange interaction between spins, and the interaction between spins belonging to adjacent hyperplanes should not exceed a certain critical value.


title: Imposing Regulation on Advanced Algorithms

abstract: This book discusses the necessity and perhaps urgency for the regulation of algorithms on which new technologies rely; technologies that have the potential to re-shape human societies. From commerce and farming to medical care and education, it is difficult to find any aspect of our lives that will not be affected by these emerging technologies. At the same time, artificial intelligence, deep learning, machine learning, cognitive computing, blockchain, virtual reality and augmented reality, belong to the fields most likely to affect law and, in particular, administrative law. The book examines universally applicable patterns in administrative decisions and judicial rulings. First, similarities and divergence in behavior among the different cases are identified by analyzing parameters ranging from geographical location and administrative decisions to judicial reasoning and legal basis. As it turns out, in several of the cases presented, sources of general law, such as competition or labor law, are invoked as a legal basis, due to the lack of current specialized legislation. This book also investigates the role and significance of national and indeed supranational regulatory bodies for advanced algorithms and considers ENISA, an EU agency that focuses on network and information security, as an interesting candidate for a European regulator of advanced algorithms. Lastly, it discusses the involvement of representative institutions in algorithmic regulation.


title: Growth of local height functions along orbits of self-morphisms on projective varieties

abstract: In this paper, we consider the limit $ \lim_{n \to \infty} \sum_{v\in S} \lambda_{Y,v}(f^{n}(x))/h_{H}(f^{n}(x)) $ where $f \colon X \longrightarrow X$ is a surjective self-morphism on a smooth projective variety $X$ over a number field, $S$ is a finite set of places, $ \lambda_{Y,v}$ is a local height function associated with a proper closed subscheme $Y \subset X$, and $h_{H}$ is an ample height function on $X$. We give a geometric condition which ensures that the limit is zero, unconditionally when $\dim Y=0$ and assuming Vojta's conjecture when $\dim Y\geq1$. In particular, we prove (one is unconditional, one is assuming Vojta's conjecture) Dynamical Lang-Siegel type theorems, that is, the relative sizes of coordinates of orbits on $\mathbb{P}^{N}$ are asymptotically the same with trivial exceptions. These results are higher dimensional generalization of Silverman's classical result.